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("");
}
