/*@ decreases 101-n ;
@ behavior less_than_101:
@ assumes n <= 100;
@ ensures \result == 91;
@ behavior greater_than_100:
@ assumes n >= 101;
@ ensures \result == n - 10;
@*/
int f91(int n) {
if (n <= 100) {
return f91(f91(n + 11));
}
else
return n - 10;
}
int f91(int n){
if(n>=101){
return n-10;
}else{
return f91(f91(n+11));
}
}
int f91(int N){
if(N <= 100)
return f91(f91(N+11));
else
return N-10;
}
int f91(int x) {
if (x > 100)
return x -10;
else {
return f91(f91(x+11));
}
}
int f91( int num)
{
if( num >= 101)
return num - 10;
else if( num <= 101)
f91(f91(num+11));
}
long f91(long n)
{
if(n>=101)
return n - 10;
if(n<=100)
return f91(f91(n+11));
}
int f91(int val){
if (val > 100) {
return val - 10;
} else if (calculated[val] > 0){
return calculated[val];
} else {
int v = f91(f91(val + 11));
calculated[val] = v;
return v;
}
}
int f91(int n){
if(n==0){
return n;
}else if(n<=100){
return f91(f91(n+11));
}else if(n>=101){
return n-10;
}
}
int main(void){
int x=f91(91);
printf("%d \n",x );
return 0;
}
int main(){
int n;
while(scanf("%d", &n)){
if(n==0)break;
printf("f91(%d) = %d\n", n, f91(n));
}
return 0;
}
int main()
{
int i;
while(scanf("%d\n", &i) != EOF && i != 0) {
printf( "f91(%d) = %d\n", i, f91(i));
}
return 0;
}
int main(int argc, char const *argv[]){
memset(calculated,0,sizeof(calculated));
int n;
while (scanf("%d\n",&n) != EOF && n != 0){
printf("f91(%d) = %d\n",n,f91(n));
}
return 0;
}
int main(){
int num;
while (scanf("%d", &num) != EOF&&num)
printf("f91(%d) = %d\n", num, f91(num));
return 0;
}
int main(){
int n;
while(scanf("%d",&n) && n != 0){
printf("f91(%d) = %d\n",n,f91(n));
}
return 0;
}
int main() {
int x = __VERIFIER_nondet_int();
int result = f91(x);
if (result == 91 || x > 101 && result == x - 10) {
return 0;
} else {
ERROR:assert(0);
goto ERROR;
}
}
int main()
{
int N;
scanf("%d", &N);
while(N>0){
printf("f91(%d) = %d\n", N, f91(N));
scanf("%d", &N);
}
return 0;
}
int main(){
int n;
for(;;){
scanf("%d", &n);
if(n == 0)
break;
printf("f91(%d) = %d\n", n, f91(n));
}
return 0;
}
int mainf91()
{
long num;
while(true)
{
scanf("%ld",&num);
if(num == 0) break;
printf("f91(%d) = %ld\n", num, f91(num));
}
}
int main()
{
int num;
freopen("./sample.txt", "r", stdin);
while( scanf("%d", &num) != EOF)
{
if(num == 0)
break;
printf("f91(%d) = %d\n", num, f91(num));
}
return 0;
}
int main(){
int numero=1,x;
while(numero != 0){
scanf("%d", &numero);
if(numero !=0){
x = f91(numero);
printf("f91(%d) = %d\n",numero, x);
}
else return 0;
}
}
int main()
{
int x[250000], i;
for(i=0;i<250000;i++)
{
scanf("%d", &x[i]);
if(x[i] == 0)
break;
}
i = 0;
while(x[i] != 0)
{
printf("f91(%d) = %d\n", x[i], f91(x[i]));
i++;
}
return 0;
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("10696.in", "r",stdin);
freopen("10696.out","w",stdout);
#endif
int n=0;
while(scanf("%d",&n)!=EOF){
if(n!=0)
printf("f91(%d) = %d\n",n,f91(n));
else
break;
}
return 0;
}
int main(void)
{
int n, i=0;
scanf("%d", &n);
while(i<250000 && n!=0)
{
if(n>1000000)return(0);
if(n!=0)
{
printf("f91(%d) = %d\n", n, f91(n));
}
i++;
scanf("%d", &n);
}
return(0);
}
int main(void) {
f0();
f1();
f2();
f3();
f4();
f5();
f6();
f7();
f8();
f9();
f10();
f11();
f12();
f13();
f14();
f15();
f16();
f17();
f18();
f19();
f20();
f21();
f22();
f23();
f24();
f25();
f26();
f27();
f28();
f29();
f30();
f31();
f32();
f33();
f34();
f35();
f36();
f37();
f38();
f39();
f40();
f41();
f42();
f43();
f44();
f45();
f46();
f47();
f48();
f49();
f50();
f51();
f52();
f53();
f54();
f55();
f56();
f57();
f58();
f59();
f60();
f61();
f62();
f63();
f64();
f65();
f66();
f67();
f68();
f69();
f70();
f71();
f72();
f73();
f74();
f75();
f76();
f77();
f78();
f79();
f80();
f81();
f82();
f83();
f84();
f85();
f86();
f87();
f88();
f89();
f90();
f91();
f92();
f93();
f94();
f95();
f96();
f97();
f98();
f99();
f100();
f101();
f102();
f103();
f104();
f105();
f106();
f107();
f108();
f109();
f110();
f111();
f112();
f113();
f114();
f115();
f116();
f117();
f118();
f119();
f120();
f121();
f122();
f123();
return 0;
}
int f91(int x){
if(x>=101) return x-10;
return f91(f91(x+11));
}
int f91(int num)
{
return num > 100 ? num - 10 : f91(f91(num + 11));
}
int main(){
int n;
while(scanf("%d", &n), n){
printf("f91(%d) = %d\n", n, f91(n));
}
}
int main() {
int i1;
int res1 = f91(i1);
return res1;
}
int main(void) {
f0();
f1();
f2();
f3();
f4();
f5();
f6();
f7();
f8();
f9();
f10();
f11();
f12();
f13();
f14();
f15();
f16();
f17();
f18();
f19();
f20();
f21();
f22();
f23();
f24();
f25();
f26();
f27();
f28();
f29();
f30();
f31();
f32();
f33();
f34();
f35();
f36();
f37();
f38();
f39();
f40();
f41();
f42();
f43();
f44();
f45();
f46();
f47();
f48();
f49();
f50();
f51();
f52();
f53();
f54();
f55();
f56();
f57();
f58();
f59();
f60();
f61();
f62();
f63();
f64();
f65();
f66();
f67();
f68();
f69();
f70();
f71();
f72();
f73();
f74();
f75();
f76();
f77();
f78();
f79();
f80();
f81();
f82();
f83();
f84();
f85();
f86();
f87();
f88();
f89();
f90();
f91();
f92();
f93();
f94();
f95();
f96();
f97();
f98();
f99();
f100();
f101();
f102();
f103();
f104();
f105();
f106();
f107();
f108();
f109();
f110();
f111();
f112();
f113();
f114();
f115();
f116();
f117();
f118();
f119();
f120();
f121();
f122();
f123();
f124();
f125();
f126();
f127();
f128();
f129();
f130();
f131();
f132();
f133();
f134();
f135();
f136();
f137();
f138();
f139();
f140();
f141();
f142();
f143();
f144();
f145();
f146();
f147();
f148();
f149();
f150();
f151();
f152();
f153();
f154();
f155();
f156();
f157();
f158();
f159();
f160();
f161();
f162();
f163();
f164();
f165();
f166();
f167();
f168();
f169();
f170();
f171();
f172();
f173();
f174();
f175();
f176();
f177();
f178();
f179();
f180();
f181();
f182();
f183();
f184();
f185();
f186();
f187();
f188();
f189();
f190();
f191();
f192();
f193();
f194();
f195();
f196();
f197();
f198();
f199();
return 0;
}
int f91(int x) {
if (x < 101)
return f91(f91(11 + x));
return x - 10;
}
