#include <stdio.h>
int main(void) {
// your code goes here
int a=3;
while(a<10000){
a=2*a-1;
}
printf("%dの時初めて10000を超える。",a
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgkvLyB5b3VyIGNvZGUgZ29lcyBoZXJlCglpbnQgYT0zOwoJd2hpbGUoYTwxMDAwMCl7CgkJYT0yKmEtMTsKCX0KCXByaW50ZigiJWTjga7mmYLliJ3jgoHjgaYxMDAwMOOCkui2heOBiOOCi+OAgiIsYSk7CglyZXR1cm4gMDsKfQo=