#include<stdio.h>
double d[]= {1156563417652693958656.0, 272};
int main()
{
d
[1]--?d
[0]*=2, main
() : printf("%s\n",(char*)d
); return 0;
}
I2luY2x1ZGU8c3RkaW8uaD4KZG91YmxlIGRbXT0gezExNTY1NjM0MTc2NTI2OTM5NTg2NTYuMCwgMjcyfTsKaW50IG1haW4oKQp7CiAgICBkWzFdLS0/ZFswXSo9MiwgbWFpbigpIDogcHJpbnRmKCIlc1xuIiwoY2hhciopZCk7CiAgICByZXR1cm4gMDsKfQ==