Пример #1
0
/*@ 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;
}
Пример #2
0
int f91(int n){
	if(n>=101){
		return n-10;
	}else{
		return f91(f91(n+11));
	}
}
Пример #3
0
int f91(int N){

	if(N <= 100)
		return f91(f91(N+11));
	else
		return N-10;
}
Пример #4
0
int f91(int x) {
    if (x > 100)
        return x -10;
    else {
        return f91(f91(x+11));
    }
}
Пример #5
0
int f91( int num)
{
	if( num >= 101)
		return num - 10;
	else if( num <= 101)
		f91(f91(num+11));
}
Пример #6
0
long f91(long n)
{
	
	if(n>=101) 
		return n - 10;

	if(n<=100) 
		return f91(f91(n+11));
	
}
Пример #7
0
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;
	}
}
Пример #8
0
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;
    }

}
Пример #9
0
int main(void){

	int x=f91(91);

	printf("%d \n",x );

	return 0;
}
Пример #10
0
int main(){
	int n;
	while(scanf("%d", &n)){
		if(n==0)break;
		printf("f91(%d) = %d\n", n, f91(n));
	}
	return 0;
}
Пример #11
0
int main()
{
    int i;
    while(scanf("%d\n", &i) != EOF && i != 0) {
        printf( "f91(%d) = %d\n", i, f91(i));
    }
    return 0;
}
Пример #12
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;
}
Пример #13
0
int main(){

	int num;

	while (scanf("%d", &num) != EOF&&num)
		printf("f91(%d) = %d\n", num, f91(num));

	return 0;
}
Пример #14
0
int main(){
	
	int n;

	while(scanf("%d",&n) && n != 0){
		printf("f91(%d) = %d\n",n,f91(n));
	}

	return 0;
}
Пример #15
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;
    }
}
Пример #16
0
int main()
{
    int N;

    scanf("%d", &N);
    while(N>0){
        printf("f91(%d) = %d\n", N, f91(N));
        scanf("%d", &N);
    }
    return 0;
}
Пример #17
0
int main(){
    int n;

    for(;;){
        scanf("%d", &n);
        if(n == 0)
            break;
        printf("f91(%d) = %d\n", n, f91(n));
    }

    return 0;
}
Пример #18
0
int mainf91()
{
	long num;

	while(true)
	{
		scanf("%ld",&num);
		if(num == 0) break;
		
		printf("f91(%d) = %ld\n", num, f91(num));
	}

}
Пример #19
0
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;
}
Пример #20
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;
		
	}

}
Пример #21
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;
}
Пример #22
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;
}
Пример #23
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);
}
Пример #24
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;
}
Пример #25
0
int f91(int x){
    if(x>=101) return x-10;
    return f91(f91(x+11));
}
Пример #26
0
int f91(int num)
{
	return num > 100 ? num - 10 : f91(f91(num + 11));
}
Пример #27
0
int main(){
    int n;
    while(scanf("%d", &n), n){
        printf("f91(%d) = %d\n", n, f91(n));
    }
}
Пример #28
0
int main() {
 int i1;
 int res1 = f91(i1);
 return res1;
}
Пример #29
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();
    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;
}
Пример #30
0
int f91(int x) {
 if (x < 101)
  return f91(f91(11 + x));
 return x - 10;
}