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