#include <cstdio>
using namespace std;
double m[]= {7709179928849219.0, 771};int main(){m[1]--?m[0]*=2,main():printf((char*)(void*)m);}
I2luY2x1ZGUgPGNzdGRpbz4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmRvdWJsZSBtW109IHs3NzA5MTc5OTI4ODQ5MjE5LjAsIDc3MX07aW50IG1haW4oKXttWzFdLS0/bVswXSo9MixtYWluKCk6cHJpbnRmKChjaGFyKikodm9pZCopbSk7fQ==