void out( __int128 x ) {
  unsigned long long M = 1e18, high = x / M, low = x % M;
  if (high)
    printf("%llu%018llu", high, low);
  else
    printf("%llu", low);
}