#include <stdio.h>
int main(void) {
int a,n;
a=3;
n=0;
do{a=a*2-1;
n=n+1;}
while(a>10000);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglpbnQgYSxuOwoJYT0zOwoJbj0wOwoJZG97YT1hKjItMTsKCSAgIG49bisxO30KCXdoaWxlKGE+MTAwMDApOwoJcHJpbnRmKCIlZFxuIixuKTsKCXByaW50ZigiJWRcbiIsYSk7CglyZXR1cm4gMDsKfQo=