#include <iostream>
#include <cassert>
#include <span>
#include <cstdint>
#include <string>
#include "lib.hpp"
using CString = const char*;
using U64 = std::uint64_t;
using String = std::string;


auto main() -> int {

    std::cout << "Hello world" << std::endl;

}