int main(int argc, char** argv) { int n, n1 = 0; scanf("%d",&n); if (n > 50) { n1 = n - 50; n -= n1; } uint64_t first = (uint64_t)1 << n; uint64_t second = (uint64_t)1 << n1; print_uint128(first, second); return 0; }
void put_uint128(uint128 n) { print_uint128(n); puts(""); }