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