int calculate_output(int);
int calculate_output2(int);
int calculate_output3(int);
extern void __VERIFIER_error(void);
extern int __VERIFIER_nondet_int(void);
extern void exit(int);

	// inputs
	int inputD = 4;
	int inputA = 1;
	int inputC = 3;
	int inputE = 5;
	int inputB = 2;
	int inputF = 6;


	 int a18 = 9;
	 int a24 = 3;
	 int a3 = 99;
	 int a15 = 4;

	int calculate_output2(int input);
	int calculate_output3(int input);

	int calculate_output(int input) {
		if(((((a24==1) && (a18==9)) && (a15==4)) &&  a3 <=  115 )){
		error_20: exit(0);
		}
		if(((((a24==1) && (a18==8)) && (a15==4)) &&  417 < a3 )){
		error_34: exit(0);
		}
		if(((((a24==2) && (a18==11)) && (a15==4)) &&  417 < a3 )){
		error_57: exit(0);
		}
		if(((((a24==1) && (a18==8)) && (a15==4)) &&  a3 <=  115 )){
		error_19: exit(0);
		}
		if(((((a24==0) && (a18==8)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_9: exit(0);
		}
		if(((((a24==0) && (a18==12)) && (a15==4)) &&  a3 <=  115 )){
		error_3: exit(0);
		}
		if(((((a24==2) && (a18==9)) && (a15==4)) &&  417 < a3 )){
		error_55: exit(0);
		}
		if(((((a24==2) && (a18==8)) && (a15==4)) &&  a3 <=  115 )){
		error_39: exit(0);
		}
		if(((((a24==1) && (a18==9)) && (a15==4)) &&  417 < a3 )){
		error_35: exit(0);
		}
		if(((((a24==1) && (a18==10)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_31: exit(0);
		}
		if(((((a24==2) && (a18==11)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_52: exit(0);
		}
		if(((((a24==0) && (a18==11)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_12: exit(0);
		}
		if(((((a24==0) && (a18==9)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_10: exit(0);
		}
		if(((((a24==0) && (a18==9)) && (a15==4)) &&  a3 <=  115 )){
		error_0: exit(0);
		}
		if(((((a24==1) && (a18==12)) && (a15==4)) &&  417 < a3 )){
		error_38: exit(0);
		}
		if(((((a24==0) && (a18==12)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_8: exit(0);
		}
		if(((((a24==2) && (a18==8)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_49: exit(0);
		}
		if(((((a24==1) && (a18==12)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_33: exit(0);
		}
		if(((((a24==1) && (a18==9)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_25: exit(0);
		}
		if(((((a24==0) && (a18==10)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_6: exit(0);
		}
		if(((((a24==0) && (a18==10)) && (a15==4)) &&  a3 <=  115 )){
		error_1: exit(0);
		}
		if(((((a24==1) && (a18==10)) && (a15==4)) &&  417 < a3 )){
		error_36: exit(0);
		}
		if(((((a24==1) && (a18==11)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_32: exit(0);
		}
		if(((((a24==2) && (a18==9)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_45: exit(0);
		}
		if(((((a24==1) && (a18==11)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_27: exit(0);
		}
		if(((((a24==0) && (a18==11)) && (a15==4)) &&  417 < a3 )){
		error_17: exit(0);
		}
		if(((((a24==2) && (a18==8)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_44: exit(0);
		}
		if(((((a24==2) && (a18==12)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_53: exit(0);
		}
		if(((((a24==2) && (a18==8)) && (a15==4)) &&  417 < a3 )){
		error_54: exit(0);
		}
		if(((((a24==0) && (a18==9)) && (a15==4)) &&  417 < a3 )){
		error_15: exit(0);
		}
		if(((((a24==2) && (a18==10)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_46: exit(0);
		}
		if(((((a24==3) && (a18==8)) && (a15==4)) &&  a3 <=  115 )){
		error_59: exit(0);
		}
		if(((((a24==0) && (a18==9)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_5: exit(0);
		}
		if(((((a24==1) && (a18==8)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_29: exit(0);
		}
		if(((((a24==2) && (a18==12)) && (a15==4)) &&  417 < a3 )){
		error_58: exit(0);
		}
		if(((((a24==1) && (a18==11)) && (a15==4)) &&  a3 <=  115 )){
		error_22: exit(0);
		}
		if(((((a24==0) && (a18==10)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_11: exit(0);
		}
		if(((((a24==1) && (a18==9)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_30: __VERIFIER_error();
		}
		if(((((a24==2) && (a18==9)) && (a15==4)) &&  a3 <=  115 )){
		error_40: exit(0);
		}
		if(((((a24==0) && (a18==12)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_13: exit(0);
		}
		if(((((a24==0) && (a18==10)) && (a15==4)) &&  417 < a3 )){
		error_16: exit(0);
		}
		if(((((a24==0) && (a18==11)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_7: exit(0);
		}
		if(((((a24==2) && (a18==10)) && (a15==4)) &&  417 < a3 )){
		error_56: exit(0);
		}
		if(((((a24==2) && (a18==11)) && (a15==4)) &&  a3 <=  115 )){
		error_42: exit(0);
		}
		if(((((a24==0) && (a18==8)) && (a15==4)) &&  417 < a3 )){
		error_14: exit(0);
		}
		if(((((a24==1) && (a18==8)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_24: exit(0);
		}
		if(((((a24==0) && (a18==8)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_4: exit(0);
		}
		if(((((a24==0) && (a18==8)) && (a15==4)) &&  a3 <=  115 )){
		globalError: exit(0);
		}
		if(((((a24==2) && (a18==12)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_48: exit(0);
		}
		if(((((a24==1) && (a18==12)) && (a15==4)) &&  a3 <=  115 )){
		error_23: exit(0);
		}
		if(((((a24==1) && (a18==11)) && (a15==4)) &&  417 < a3 )){
		error_37: exit(0);
		}
		if(((((a24==0) && (a18==12)) && (a15==4)) &&  417 < a3 )){
		error_18: exit(0);
		}
		if(((((a24==1) && (a18==10)) && (a15==4)) &&  a3 <=  115 )){
		error_21: exit(0);
		}
		if(((((a24==2) && (a18==11)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_47: exit(0);
		}
		if(((((a24==2) && (a18==10)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_51: exit(0);
		}
		if(((((a24==0) && (a18==11)) && (a15==4)) &&  a3 <=  115 )){
		error_2: exit(0);
		}
		if(((((a24==1) && (a18==10)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_26: exit(0);
		}
		if(((((a24==2) && (a18==9)) && (a15==4)) &&   ((306 < a3) && (417 >= a3)) )){
		error_50: exit(0);
		}
		if(((((a24==1) && (a18==12)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
		error_28: exit(0);
		}
		if(((((a24==2) && (a18==10)) && (a15==4)) &&  a3 <=  115 )){
		error_41: exit(0);
		}
		if(((((a24==2) && (a18==12)) && (a15==4)) &&  a3 <=  115 )){
		error_43: exit(0);
		}

	    if((((input == 5) && (( a3 <=  115  && ((a18==9) && (a24==3))) || (( 417 < a3  && ((a18==12) && (a24==2))) || ( a3 <=  115  && ((a24==3) && (a18==8)))))) && (a15==6))){
	    	a3 = (((((a3 * 9)/ 10) * 1) % 299791)+ 300208);
	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return 22;
	    } else if(((a15==5) && ((((input == 6) && ((a18==8) || (a18==9))) && (a24==3)) &&  417 < a3 ))){
	    	a3 = (((a3 - 124953) / 5) + -249228);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==4) && ((a24==4) && (((a18==11) || (a18==12)) && (input == 5)))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 + -235837) + 210119) + -280591);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 25;
	    } else if((((a24==4) && (((input == 3) && ((a18==9) || (a18==10))) && (a15==4))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 + -125183) + 316577) * -3);
	    		a24 = 1; 
	    		a18 = 8; 
	    		a15 = 5; 

	    	 return 21;
	    } else if(( a3 <=  115  && ((((input == 5) && ((a18==9) || (a18==10))) && (a15==5)) && (a24==1)))){
	    	a3 = ((((a3 + 0) % 95)+ 211) - 1);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a18==10) && (( 417 < a3  && (input == 3)) && (a15==5))) && (a24==3))){
	    	a3 = ((((((a3 / 5) % 55)+ 356) * 5) % 55)- -314);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((((((a18==8) || (a18==9)) || (a18==10)) && (input == 2)) && (a15==4)) && (a24==4)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = ((((a3 * 5) / 5) * 5) - 511620);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((((a18==11) || (a18==12)) && (input == 5)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==3))){
	    	a3 = (((a3 * 5) * 5) + 152989);
	    		a18 = 10; 

	    	 return 26;
	    } else if(((a18==12) && ((((input == 6) &&  a3 <=  115 ) && (a24==2)) && (a15==5)))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && (((((a18==10) || (a18==11)) || (a18==12)) && (input == 6)) && (a24==0))) && (a15==5))){
	    	a3 = (((a3 + -492005) - 108001) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && (((input == 2) && (((a18==12) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==8) &&  417 < a3 ))) && (a15==6)))){
	    	a3 = (((a3 + -600003) + -276) + -22);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((((a18==8) || (a18==9)) || (a18==10)) && (input == 3)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==1)))){
	    	a3 = ((((((a3 % 55)+ 342) * 9)/ 10) + -61412) + 61448);
	    		a24 = 4; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return 25;
	    } else if((((a24==0) && ((a15==6) && ((input == 2) && ((a18==9) || (a18==10))))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 + 28289) * 10)/ 9) - -559528);
	    		a18 = 10; 

	    	 return 26;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((a15==5) && ((input == 2) && (a18==12))) && (a24==3)))){

	    	 return 22;
	    } else if(((a15==5) && ((a24==2) && (  ((306 < a3) && (417 >= a3))  && (((a18==9) || (a18==10)) && (input == 5)))))){
	    	a3 = (((a3 + 507676) - -44123) / -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && (((input == 4) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a15==5)))){
	    	a3 = (((a3 * 5) * 5) - 257753);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && (( a3 <=  115  && (input == 6)) && (a15==5))) && (a18==11))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==10) && (  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((a24==0) && (input == 1)))))){
	    	a3 = ((((a3 - 489685) - -489506) - -522886) + -522861);
	    		a24 = 4; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 21;
	    } else if(((a24==3) && ((a15==6) && (((input == 4) && ((a18==10) || (a18==11))) &&  417 < a3 )))){
	    	a3 = (((a3 - 116826) - 483087) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ((a18==8) &&  417 < a3 )) || ( 417 < a3  && (a18==9))) && (input == 2)) && (a24==3)) && (a15==6))){
	    	a3 = (((((a3 - 473859) % 55)- -361) / 5) + 288);
	    		a24 = 2; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==4) && ((a15==4) && (  ((306 < a3) && (417 >= a3))  && (((a18==10) || ((a18==8) || (a18==9))) && (input == 1)))))){
	    	a3 = ((((a3 * 4)/ 10) + -559800) - -559927);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((a15==4) && ((  ((306 < a3) && (417 >= a3))  && ((input == 1) && ((a18==10) || ((a18==8) || (a18==9))))) && (a24==3)))){
	    	a3 = ((((a3 * 4)/ 10) - -595933) + -595866);
	    		a24 = 4; 
	    		a18 = 12; 

	    	 return 21;
	    } else if(((a24==2) && ((a15==6) && ( 417 < a3  && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 2)))))){
	    	a3 = ((((a3 - 0) - 576583) + -1411) - 22284);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 6) && (((a18==9) || (a18==10)) || (a18==11))) && (a24==2)) && (a15==6)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 - 189557) - 119436) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && ((a24==0) && (((a18==11) || (a18==12)) && (input == 1)))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 / -5) + -114521) + -348481);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a18==12) && (( a3 <=  115  && (input == 1)) && (a24==2))))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)- -210) / 5) - -204);
	    		a24 = 1; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && ((input == 4) && (((a18==9) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ( 417 < a3  && (a18==8)))))) && (a15==6))){
	    	a3 = ((((((a3 % 55)- -309) - 2) * 5) % 55)+ 348);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==1) && ((input == 1) && (a18==8))) &&  a3 <=  115 ) && (a15==5))){
	    	a3 = (((a3 / 5) - -593842) * 1);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 25;
	    } else if(((a15==4) && ((((((a18==12) && (a24==3)) &&  417 < a3 ) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || (((a24==4) && (a18==9)) &&  a3 <=  115 )) && (input == 5)))){
	    	a3 = (((((a3 * 9)/ 10) + -18815) / 5) - 203034);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==0) && ((a15==6) && ((input == 3) && ((a18==11) || (a18==12))))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 + 245225) + -351147) + -288530);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==0) && ((a15==6) && ((input == 1) && ((a18==9) || (a18==10))))))){

	    		a24 = 4; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 22;
	    } else if(((((a24==2) && ((a15==5) && (input == 2))) &&  a3 <=  115 ) && (a18==9))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && (((a15==6) && (((a18==9) || (a18==10)) && (input == 5))) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 - 189054) - 142438) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (((a24==4) && (((a18==9) || (a18==10)) && (input == 4))) &&  417 < a3 ))){
	    	a3 = (((a3 - 600257) + 156422) - 156169);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==5) && ( 417 < a3  && ((a24==1) && ((input == 6) && (a18==11)))))){
	    	a3 = (((a3 + 0) - 600399) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((( 417 < a3  && ((a24==3) && (a18==12))) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || ( a3 <=  115  && ((a24==4) && (a18==9)))) && (input == 2)) && (a15==5))){
	    	a3 = ((((a3 % 300057)- 299941) + 0) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((((a18==10) || (a18==11)) && (input == 3)) && (a24==3)) &&  a3 <=  115 ))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((( 417 < a3  && ((a15==5) && ((a18==11) && (a24==4)))) || ( 417 < a3  && ((a15==5) && ((a24==4) && (a18==12))))) || ( a3 <=  115  && ((a15==6) && ((a18==8) && (a24==0))))) && (input == 1))){
	    	a3 = ((((((a3 * 9)/ 10) % 55)- -362) + -271326) - -271325);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a15==6) && ((( a3 <=  115  && ((a18==9) && (a24==1))) || (( 417 < a3  && ((a18==12) && (a24==0))) || ( a3 <=  115  && ((a18==8) && (a24==1))))) && (input == 2)))){
	    	a3 = (((((a3 % 299791)+ 300208) + -511595) * 1) - -511597);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==4) && ((( 417 < a3  && (a18==8)) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12)))) && (input == 2))) && (a15==4))){
	    	a3 = ((((a3 - 246812) % 299791)- -300208) + 1);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 26;
	    } else if(((a18==11) && (((a24==1) && ((input == 3) && (a15==6))) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = ((((a3 - 175271) + 109800) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==5) && ((((a18==9) || (a18==10)) && (input == 5)) && (a24==1))))){

	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((((((a18==8) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 3)) && (a24==3)) && (a15==4))){
	    	a3 = ((((a3 - 0) + -210150) / 5) + 219839);
	    		a24 = 4; 
	    		a18 = 11; 

	    	 return 26;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((((a18==11) || (a18==12)) && (input == 3)) && (a24==0)) && (a15==5)))){
	    	a3 = (((a3 / -5) + -537874) / 5);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 21;
	    } else if((( a3 <=  115  && (((input == 2) && (a18==12)) && (a24==2))) && (a15==6))){

	    		a24 = 1; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a15==6) && ((input == 1) && (a24==0))) && (a18==11)))){
	    	a3 = (((((a3 + 433729) - -163417) * 1) % 55)+ 344);
	    		a24 = 3; 
	    		a18 = 8; 

	    	 return 25;
	    } else if(((a24==3) && ((a15==4) && (((input == 4) && ((a18==11) || (a18==12))) &&   ((115 < a3) && (306 >= a3)) )))){
	    	a3 = ((((a3 / -5) * 5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 5)) &&  417 < a3 ) && (a15==5)) && (a24==1))){
	    	a3 = (((a3 / -5) * 4) - 112270);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && (((input == 6) && (((a18==10) || (a18==11)) || (a18==12))) &&  a3 <=  115 )) && (a24==1))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && (((((a18==9) || (a18==10)) || (a18==11)) && (input == 4)) &&  417 < a3 )) && (a15==4))){
	    	a3 = ((((a3 - 600348) * 1) - -551189) + -550883);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a24==1) && (((a18==11) || (a18==12)) && (input == 4))) && (a15==6)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 - 106664) * 10)/ 9) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((a24==2) && ((input == 2) && (a18==12))) &&  a3 <=  115 ))){
	    	a3 = ((((a3 + 311999) / 5) / 5) - -587471);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((((a18==9) || (a18==10)) && (input == 4)) && (a24==2))) && (a15==5))){
	    	a3 = ((((a3 * 5) * 5) * 5) + -170401);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && ((((((a18==12) && (a24==3)) &&  417 < a3 ) || ( a3 <=  115  && ((a24==4) && (a18==8)))) || (((a24==4) && (a18==9)) &&  a3 <=  115 )) && (input == 2)))){
	    	a3 = ((((a3 % 300057)- 299941) + -3) + 0);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((  ((115 < a3) && (306 >= a3))  && (((input == 6) && ((a18==10) || ((a18==8) || (a18==9)))) && (a24==2))) && (a15==6))){
	    	a3 = (((a3 / -5) * 5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((a24==0) && ((a18==12) && (input == 4)))) && (a15==5))){
	    	a3 = ((((a3 + -350374) * 1) * 1) + 630246);
	    		a24 = 3; 
	    		a18 = 10; 

	    	 return 21;
	    } else if((((((a18==8) && (input == 1)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==4)) && (a15==4))){
	    	a3 = ((((a3 - -132427) * 10)/ 9) * 4);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((a15==4) && (  ((115 < a3) && (306 >= a3))  && ((a24==3) && ((input == 2) && ((a18==8) || (a18==9))))))){
	    	a3 = (((a3 + -451078) * 1) + -6890);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && ((((input == 4) && ((a18==9) || (a18==10))) && (a24==0)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 - 570855) + 51748) / 5);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return 22;
	    } else if(( a3 <=  115  && (((a15==5) && ((input == 4) && ((a18==10) || (a18==11)))) && (a24==0)))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==11) && (a24==1)) &&  417 < a3 ) || (((a24==1) && (a18==12)) &&  417 < a3 )) || (((a18==8) && (a24==2)) &&  a3 <=  115 )) && (input == 3)) && (a15==6))){
	    	a3 = (((((a3 % 300057)- 299941) * 1) - -312324) + -312324);
	    		a24 = 1; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((((a18==12) && (input == 2)) && (a15==6)) &&   ((306 < a3) && (417 >= a3)) ) && (a24==1))){

	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==4) && ((((input == 2) && ((a18==9) || (a18==10))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5)))){
	    	a3 = (((a3 / 5) + -247996) + -125990);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==12) && (a24==2)) &&  417 < a3 ) || ( a3 <=  115  && ((a18==8) && (a24==3)))) || (((a18==9) && (a24==3)) &&  a3 <=  115 )) && (input == 3)) && (a15==6))){
	    	a3 = ((((a3 % 95)- -211) - -90755) - 90754);
	    		a24 = 2; 
	    		a18 = 9; 

	    	 return -1;
	    } else if(((a15==4) && (((((a24==4) && (a18==9)) &&  a3 <=  115 ) || (( 417 < a3  && ((a24==3) && (a18==12))) || ( a3 <=  115  && ((a24==4) && (a18==8))))) && (input == 6)))){
	    	a3 = ((((a3 % 300057)- 299941) - 3) + 0);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a15==6) && (((input == 5) && ((a18==12) || ((a18==10) || (a18==11)))) && (a24==3))) &&  a3 <=  115 )){

	    		a18 = 10; 

	    	 return 25;
	    } else if(((a24==4) && ( a3 <=  115  && ((a18==10) && ((input == 4) && (a15==5)))))){

	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((a18==11) && (((a24==1) && (input == 5)) &&   ((306 < a3) && (417 >= a3)) )))){

	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if((((((((a24==3) && (a18==12)) &&  417 < a3 ) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || (((a24==4) && (a18==9)) &&  a3 <=  115 )) && (input == 5)) && (a15==5))){
	    	a3 = ((((((a3 * 9)/ 10) % 55)+ 361) - 5570) + 5570);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((a24==2) && (((input == 3) && (a18==9)) && (a15==5))) &&  a3 <=  115 )){
	    	a3 = ((((((a3 % 55)- -361) - -1) * 5) % 55)- -321);
	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((( a3 <=  115  && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 2))) && (a15==6)) && (a24==3))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((((input == 4) && ((a18==12) || ((a18==10) || (a18==11)))) && (a15==5)) && (a24==0)))){
	    	a3 = ((((a3 - 546051) - -353166) + -225492) - 181644);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((  ((115 < a3) && (306 >= a3))  && (((a18==11) || (a18==12)) && (input == 6))) && (a24==4)))){
	    	a3 = (((a3 + -267207) * 2) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 6) && ((a18==11) || (a18==12))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==4)) && (a24==3))){
	    	a3 = (((a3 - 233538) + 304894) * -5);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 25;
	    } else if(((a15==4) && (((a24==3) && ((input == 4) &&   ((115 < a3) && (306 >= a3)) )) && (a18==10)))){
	    	a3 = ((((a3 % 55)- -310) - 182118) - -182144);
	    		a18 = 12; 

	    	 return 22;
	    } else if(((a15==5) && (((a24==3) && (((a18==8) || (a18==9)) && (input == 4))) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 / -5) * 5) + -483134);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && (((((a18==11) || ((a18==9) || (a18==10))) && (input == 2)) &&  417 < a3 ) && (a24==0)))){

	    		a18 = 9; 

	    	 return 21;
	    } else if((( 417 < a3  && ((a24==2) && ((input == 6) && (((a18==9) || (a18==10)) || (a18==11))))) && (a15==6))){
	    	a3 = ((((a3 - 92069) / 5) * 5) + -508090);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && ((a15==6) && (  ((306 < a3) && (417 >= a3))  && (input == 5)))) && (a18==10))){

	    		a24 = 0; 

	    	 return -1;
	    } else if(((((a15==6) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 5))) && (a24==3)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 + -86655) + -241663) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && ((a24==2) && (((a18==10) || (a18==11)) && (input == 1)))) && (a15==5))){
	    	a3 = (((((a3 % 55)+ 335) + 127162) - 377530) - -250379);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((((((a18==9) &&  417 < a3 ) || (((a18==12) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==8) &&  417 < a3 ))) && (input == 6)) && (a24==3)) && (a15==6))){
	    	a3 = ((((a3 % 299791)+ 418) - -254727) + 15511);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a18==11) && (  ((115 < a3) && (306 >= a3))  && ((a15==6) && (input == 2)))) && (a24==0))){
	    	a3 = (((((a3 % 55)+ 330) - -551622) / 5) + -110076);
	    	 return 21;
	    } else if((((a15==5) && ((input == 2) && ((  ((306 < a3) && (417 >= a3))  && (a18==8)) || ((  ((115 < a3) && (306 >= a3))  && (a18==11)) || (  ((115 < a3) && (306 >= a3))  && (a18==12)))))) && (a24==2))){
	    	a3 = (((a3 * 5) / 5) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ( a3 <=  115  && (((a18==10) || (a18==11)) && (input == 1)))) && (a24==0))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((a15==6) && ((input == 6) && (a24==0))) && (a18==10)))){
	    	a3 = ((((a3 * 5) * -5) * 10)/ 9);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && ((a24==3) && ((input == 4) && (((a18==8) || (a18==9)) || (a18==10))))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 / -5) + 391912) / 5) + -246982);
	    		a18 = 10; 

	    	 return -1;
	    } else if((((a24==1) && (  ((306 < a3) && (417 >= a3))  && ((a15==6) && (input == 4)))) && (a18==10))){
	    	a3 = (((a3 - 568756) - -39065) + -62303);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && (  ((115 < a3) && (306 >= a3))  && ((input == 2) && ((a18==11) || (a18==12))))) && (a15==6))){

	    		a18 = 11; 

	    	 return 22;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==5) && ((a24==1) && ((input == 2) && ((a18==9) || (a18==10))))))){

	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((((input == 2) && ((  ((306 < a3) && (417 >= a3))  && (a18==9)) || ((  ((115 < a3) && (306 >= a3))  && (a18==12)) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) )))) && (a15==6)) && (a24==0))){
	    	a3 = (((((a3 * 5) % 55)- -358) + 428422) + -428464);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return 25;
	    } else if((((a15==6) && ( 417 < a3  && ((input == 2) && ((a18==10) || (a18==11))))) && (a24==3))){
	    	a3 = ((((a3 * 9)/ 10) * -1) + -3567);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((((a18==8) || (a18==9)) || (a18==10)) && (input == 4)) &&  417 < a3 ) && (a24==1)))){
	    	a3 = (((((a3 - 0) % 95)+ 132) * 9)/ 10);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a24==4) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 4)))) && (a15==5))){

	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(( 417 < a3  && ((a18==11) && (((input == 2) && (a24==3)) && (a15==5))))){
	    	a3 = (((a3 / 5) - 194334) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && (((((a18==10) || (a18==11)) && (input == 2)) &&  a3 <=  115 ) && (a15==6)))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==0) && (((input == 6) && ((a18==11) || (a18==12))) &&   ((306 < a3) && (417 >= a3)) )) && (a15==6))){
	    	a3 = (((a3 - 482897) - 10815) - 90332);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && (((a15==5) && ((a24==2) && (input == 1))) && (a18==9)))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && (  ((115 < a3) && (306 >= a3))  && ((a15==6) && ((((a18==8) || (a18==9)) || (a18==10)) && (input == 3)))))){
	    	a3 = (((((a3 + -167391) % 55)- -414) * 9)/ 10);
	    		a24 = 1; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((((  ((115 < a3) && (306 >= a3))  && ((input == 3) && (a24==0))) && (a15==5)) && (a18==12))){
	    	a3 = (((a3 - -107225) * 5) - 989175);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a18==10) && (((a24==1) && (input == 6)) && (a15==6))))){
	    	a3 = ((((a3 - 10913) * 5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && (((a24==2) && (input == 2)) && (a18==9))) && (a15==5))){
	    	a3 = ((((((a3 - 0) * 9)/ 10) / 5) % 95)+ 183);
	    		a24 = 3; 
	    		a15 = 4; 

	    	 return 26;
	    } else if(((a24==1) && ((a15==6) && ((a18==10) && (  ((306 < a3) && (417 >= a3))  && (input == 3)))))){
	    	a3 = (((a3 * 5) * 5) * 5);
	    		a24 = 4; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 1) && (((((a24==2) && (a18==12)) &&  417 < a3 ) || (((a18==8) && (a24==3)) &&  a3 <=  115 )) || (((a24==3) && (a18==9)) &&  a3 <=  115 ))) && (a15==5))){
	    	a3 = ((((a3 + 0) % 300057)+ -299941) - 1);
	    		a24 = 3; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 25;
	    } else if(((a24==1) && ((a15==6) && (  ((306 < a3) && (417 >= a3))  && ((a18==12) && (input == 3)))))){

	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((((((a18==8) || (a18==9)) && (input == 3)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==3)) && (a15==5))){

	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((( 417 < a3  && (((input == 1) && ((a18==10) || ((a18==8) || (a18==9)))) && (a24==1))) && (a15==6))){
	    	a3 = ((((a3 + -202771) % 55)+ 362) + -1);
	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if((( a3 <=  115  && ((a24==2) && (((a18==10) || (a18==11)) && (input == 6)))) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==1) && ((a15==5) && ((input == 1) && ((a18==9) || (a18==10))))))){

	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(( a3 <=  115  && ((a15==6) && ((a24==1) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 4)))))){
	    	a3 = ((((((a3 % 55)- -362) + -62676) * 5) % 55)+ 372);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((input == 6) && (((a18==9) || (a18==10)) || (a18==11))))) && (a24==3))){
	    	a3 = (((a3 * 5) * 5) + -452441);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((((a18==12) && (a24==2)) &&  417 < a3 ) || (((a18==8) && (a24==3)) &&  a3 <=  115 )) || ( a3 <=  115  && ((a18==9) && (a24==3)))) && (input == 1)))){
	    	a3 = ((((a3 % 55)- -362) - -75998) + -75998);
	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 2)) && (a15==5)) && (a24==2)) &&   ((306 < a3) && (417 >= a3)) )){

	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((  ((306 < a3) && (417 >= a3))  && (((((a18==8) || (a18==9)) || (a18==10)) && (input == 4)) && (a24==0))) && (a15==5))){
	    	a3 = (((a3 * 5) / -5) - 492008);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && (  ((115 < a3) && (306 >= a3))  && ((input == 2) && ((a18==9) || (a18==10))))) && (a24==2))){
	    	a3 = ((((a3 % 55)+ 358) - -38100) + -38118);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a24==0) && (((input == 5) && (((  ((115 < a3) && (306 >= a3))  && (a18==12)) || (  ((306 < a3) && (417 >= a3))  && (a18==8))) || ((a18==9) &&   ((306 < a3) && (417 >= a3)) ))) && (a15==6)))){
	    	a3 = (((a3 - 426555) * 1) - 85224);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && (((a24==0) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 3))) && (a15==5)))){
	    	a3 = ((((a3 % 55)- -349) + 238447) + -238484);
	    		a24 = 4; 
	    		a18 = 8; 

	    	 return 26;
	    } else if((((a24==3) && (((input == 6) && (a18==9)) &&  a3 <=  115 )) && (a15==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a15==5) && ((a18==11) && (input == 5))) && (a24==3)) &&   ((306 < a3) && (417 >= a3)) )){

	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((((((a18==9) || (a18==10)) && (input == 6)) && (a24==1)) && (a15==5)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 / 5) + -86788) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((a24==4) && ((a15==4) && ((input == 2) && ((a18==9) || (a18==10))))))){

	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 22;
	    } else if((((((a24==3) && (input == 1)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) ) && (a18==10))){
	    	a3 = (((a3 / -5) - 495685) + -6188);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==4) && ((a15==4) && ((input == 4) && ((a18==11) || (a18==12))))) &&  417 < a3 )){
	    	a3 = (((a3 - 600119) + -213) + -49);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==0) && ((((input == 5) && ((a18==11) || ((a18==9) || (a18==10)))) && (a15==5)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((((a3 + 74903) % 55)- -322) + 86378) - 86375);
	    		a24 = 3; 
	    		a18 = 11; 

	    	 return 26;
	    } else if((((( 417 < a3  && ((a24==1) && (a18==12))) || ( a3 <=  115  && ((a24==2) && (a18==8)))) && (input == 4)) && (a15==5))){
	    	a3 = ((((a3 % 300057)+ -299941) * 1) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && (  ((115 < a3) && (306 >= a3))  && ((input == 6) && ((a18==9) || (a18==10))))) && (a24==2))){
	    	a3 = (((a3 - 499587) - -528266) + 565008);
	    		a24 = 1; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && (((a15==5) && ((a24==4) && (input == 5))) && (a18==10)))){

	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a15==6) && (((((a18==9) && (a24==3)) &&  a3 <=  115 ) || ((((a24==2) && (a18==12)) &&  417 < a3 ) || (((a18==8) && (a24==3)) &&  a3 <=  115 ))) && (input == 6)))){
	    	a3 = (((((a3 * 9)/ 10) + -18293) % 300057)- 299941);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && ((  ((115 < a3) && (306 >= a3))  && ((input == 3) && ((a18==11) || (a18==12)))) && (a15==4)))){
	    	a3 = ((((a3 * 5) - -136601) * 4) * -1);
	    		a24 = 4; 
	    		a18 = 11; 

	    	 return 22;
	    } else if(((((a24==3) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 6))) &&  a3 <=  115 ) && (a15==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==5) && ( 417 < a3  && ((a18==11) && ((a24==3) && (input == 3)))))){
	    	a3 = (((((a3 * 9)/ 10) + 16316) % 95)- -140);
	    		a24 = 1; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==2) && (  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((input == 4) && ((a18==11) || ((a18==9) || (a18==10)))))))){
	    	a3 = (((a3 * -5) - -422540) + -755759);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((input == 3) && (( a3 <=  115  && (((a18==8) && (a24==0)) && (a15==6))) || (( 417 < a3  && (((a18==11) && (a24==4)) && (a15==5))) || (((a15==5) && ((a24==4) && (a18==12))) &&  417 < a3 ))))){
	    	a3 = (((((a3 % 300057)- 299941) + 483000) / 5) + -208875);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a24==4) && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 5)) && (a15==5))))){
	    	a3 = (((((a3 - -34125) * 10)/ 9) + -72306) - -296189);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==4) && ((a15==4) && ( 417 < a3  && ((input == 2) && ((a18==11) || (a18==12))))))){
	    	a3 = (((a3 - 600352) - 17) + -33);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==1) && ((((input == 2) && (((a18==8) || (a18==9)) || (a18==10))) && (a15==6)) &&  417 < a3 ))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)- -158) * 9)/ 10);
	    		a24 = 0; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((( 417 < a3  && ((a15==5) && ((input == 2) && (((a18==10) || (a18==11)) || (a18==12))))) && (a24==0))){
	    	a3 = (((a3 + -599991) + -376) / 5);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 4) && (( a3 <=  115  && ((a24==4) && (a18==9))) || (( 417 < a3  && ((a24==3) && (a18==12))) || ( a3 <=  115  && ((a24==4) && (a18==8)))))) && (a15==5))){
	    	a3 = (((((a3 % 95)- -211) - -1) + -459913) - -459911);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a15==6) && ((a24==1) && (  ((115 < a3) && (306 >= a3))  && ((input == 4) && ((a18==10) || ((a18==8) || (a18==9)))))))){
	    	a3 = ((((a3 + -24074) / 5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==1) && ((a15==5) && (input == 3))) &&  417 < a3 ) && (a18==11))){

	    		a24 = 2; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((a15==6) && ((input == 6) && (((a18==8) || (a18==9)) || (a18==10))))) && (a24==1))){
	    	a3 = ((((a3 / 5) - 413364) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && (((a18==8) && (input == 5)) && (a15==5))) && (a24==0))){
	    	a3 = ((((a3 % 95)+ 210) / 5) - -168);
	    		a24 = 2; 
	    		a18 = 11; 

	    	 return 25;
	    } else if(((a15==5) && ( 417 < a3  && ((((a18==9) || (a18==10)) && (input == 6)) && (a24==1))))){
	    	a3 = (((a3 / 5) - 368976) + -84976);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==0) && ((input == 3) && (((a18==9) || (a18==10)) || (a18==11)))) && (a15==6)) &&  417 < a3 )){
	    	a3 = ((((a3 % 95)+ 185) + -557016) + 556980);
	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return -1;
	    } else if(((a18==9) && ((((a15==5) && (input == 5)) &&  417 < a3 ) && (a24==2)))){
	    	a3 = ((((a3 / 5) - -185556) + 149195) - 583824);
	    		a24 = 1; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ( 417 < a3  && ((a24==0) && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 6)))))){
	    	a3 = ((((a3 / -5) * 10)/ 9) * 4);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && ((a15==4) && ((input == 3) && (((a18==10) || (a18==11)) || (a18==12))))) && (a24==3))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((( a3 <=  115  && ((a15==4) && ((input == 2) && ((a18==12) || ((a18==10) || (a18==11)))))) && (a24==3))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((((input == 6) && ((a18==9) || (a18==10))) && (a15==4)) && (a24==4)) &&  417 < a3 )){
	    	a3 = (((a3 - 497960) / 5) - 129660);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==5) && (((input == 4) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a24==2)))){
	    	a3 = ((((a3 + -453075) * 1) - -496454) + -621321);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((((((input == 5) && (a18==12)) && (a24==1)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==6))){
	    	a3 = (((a3 + 559405) / 5) - 169813);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((( a3 <=  115  && ((input == 5) && (a18==9))) && (a24==2)) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((input == 2) && (((((a15==5) && ((a18==11) && (a24==4))) &&  417 < a3 ) || (((a15==5) && ((a18==12) && (a24==4))) &&  417 < a3 )) || ( a3 <=  115  && (((a18==8) && (a24==0)) && (a15==6)))))){
	    	a3 = ((((a3 % 299791)- -300208) * 1) + 1);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a18==12) && ((a15==5) && ((  ((306 < a3) && (417 >= a3))  && (input == 6)) && (a24==3))))){
	    	a3 = ((((((a3 * 10)/ 14) / 5) / 5) * 149)/ 10);
	    		a24 = 0; 
	    		a18 = 9; 

	    	 return 21;
	    } else if((((((((a24==4) && (a18==11)) && (a15==5)) &&  417 < a3 ) || ( 417 < a3  && ((a15==5) && ((a18==12) && (a24==4))))) || ( a3 <=  115  && ((a15==6) && ((a24==0) && (a18==8))))) && (input == 5))){
	    	a3 = (((((a3 % 55)+ 361) / 5) + -210824) + 211148);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((a24==3) && ((a15==5) && (((input == 3) && ((a18==12) || ((a18==10) || (a18==11)))) &&   ((115 < a3) && (306 >= a3)) )))){
	    	a3 = ((((((a3 % 55)+ 307) * 10)/ 9) - 502807) - -502809);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((((a24==3) && ((a15==6) && ((input == 4) && (((a18==10) || (a18==11)) || (a18==12))))) &&  a3 <=  115 )){
	    	a3 = ((((a3 % 299791)+ 300208) - 0) - 0);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((a18==12) && (((a15==5) && ((input == 1) && (a24==3))) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((a3 + -464933) + -121992) - -414088);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && ((a15==4) && ((input == 6) && ((a18==8) || (a18==9))))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 / 5) / -5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==4) && (((((a18==11) || (a18==12)) && (input == 4)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 * 5) - 543917) / 5);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a15==6) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 5))) && (a24==2)))){
	    	a3 = (((a3 * 5) + -120433) - 423433);
	    		a18 = 9; 

	    	 return -1;
	    } else if(((((((a18==8) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 1)) && (a15==4)) && (a24==4))){
	    	a3 = (((((a3 / 5) / 5) + -353728) * -1)/ 10);
	    		a24 = 1; 
	    		a18 = 8; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((a15==5) && (((input == 2) && ((((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )) || ((a18==8) &&  417 < a3 ))) && (a24==2)))){
	    	a3 = ((((a3 / 5) / -5) - -217576) + -598337);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==10) || (a18==11)) || (a18==12)) && (input == 6)) && (a24==3)) && (a15==6)) &&  a3 <=  115 )){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && (((a24==2) && ((a15==5) && (input == 6))) && (a18==9)))){
	    	a3 = (((a3 / -5) - -574465) / -5);
	    		a24 = 4; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return 21;
	    } else if(( a3 <=  115  && (((a24==4) && ((input == 5) && ((a18==11) || (a18==12)))) && (a15==4)))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)+ 211) + -520198) - -520197);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(( a3 <=  115  && ((a15==6) && (((((a18==9) || (a18==10)) || (a18==11)) && (input == 3)) && (a24==0))))){
	    	a3 = ((((a3 - 0) - -521706) % 95)- -210);
	    		a24 = 3; 
	    		a18 = 10; 

	    	 return 25;
	    } else if((( a3 <=  115  && ((a24==2) && (((a18==10) || (a18==11)) && (input == 4)))) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && ((a15==6) && ((((a18==10) || (a18==11)) && (input == 6)) &&  a3 <=  115 )))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ( 417 < a3  && ((((a18==9) || (a18==10)) && (input == 3)) && (a24==1))))){
	    	a3 = ((((a3 * 9)/ 10) - 582937) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a15==5) && (((input == 3) && ((a18==9) || (a18==10))) && (a24==4))))){
	    	a3 = (((a3 - 384115) + -138585) * 1);
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 22;
	    } else if((((input == 1) && (( a3 <=  115  && ((a24==4) && (a18==9))) || ((((a24==3) && (a18==12)) &&  417 < a3 ) || ( a3 <=  115  && ((a24==4) && (a18==8)))))) && (a15==4))){
	    	a3 = ((((a3 - 0) % 300057)+ -299941) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((a15==5) && ((input == 3) && (((a18==8) || (a18==9)) || (a18==10)))) && (a24==3)))){
	    	a3 = (((a3 - -222713) / 5) / -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 1) && (( a3 <=  115  && (a18==12)) || (  ((115 < a3) && (306 >= a3))  && (a18==8)))) && (a24==0)) && (a15==6))){
	    	a3 = ((((((a3 * 9)/ 10) % 55)- -362) / 5) + 260);
	    		a24 = 1; 
	    		a18 = 12; 

	    	 return 22;
	    } else if(( 417 < a3  && ((((a18==11) && (input == 5)) && (a15==5)) && (a24==1)))){

	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((a18==10) && ((a15==6) && ((a24==0) && ((input == 3) &&   ((306 < a3) && (417 >= a3)) ))))){

	    	 return -1;
	    } else if(((a24==4) && (((input == 6) && (((a18==8) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )))) && (a15==4)))){
	    	a3 = (((((a3 * 9)/ 10) / -5) - -574086) * -1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 2)) &&   ((115 < a3) && (306 >= a3)) ) && (a15==4)) && (a24==4))){
	    	a3 = (((a3 / -5) * 5) - 102575);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && (((((a18==9) &&   ((306 < a3) && (417 >= a3)) ) || ((  ((115 < a3) && (306 >= a3))  && (a18==12)) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 1)) && (a24==0)))){
	    	a3 = ((((a3 % 55)- -326) - 12) - 5);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 1) && (( 417 < a3  && (a18==8)) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )))) && (a24==1)) && (a15==5))){
	    	a3 = ((((a3 * 9)/ 10) - -45185) * -1);
	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((  ((115 < a3) && (306 >= a3))  && ((input == 4) && (((a18==10) || (a18==11)) || (a18==12)))) && (a24==3)) && (a15==5))){
	    	a3 = (((a3 - 249142) * 2) + -18516);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && (((input == 5) && (((a18==8) &&   ((306 < a3) && (417 >= a3)) ) || (((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )))) && (a15==5)))){
	    	a3 = ((((a3 + -89516) - -57833) * 10)/ -9);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a15==4) && (((a24==3) && ((((a18==8) || (a18==9)) || (a18==10)) && (input == 6))) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((a3 * 5) - 108118) - 378730);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==4) && ( 417 < a3  && ((input == 1) && ((a18==9) || (a18==10))))) && (a15==4))){
	    	a3 = (((a3 - 600133) - -230159) + -230069);
	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 21;
	    } else if((((((a24==1) && (input == 1)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==6)) && (a18==12))){

	    		a24 = 4; 
	    		a15 = 4; 

	    	 return 21;
	    } else if(( a3 <=  115  && (((a24==2) && ((a18==12) && (input == 5))) && (a15==5)))){
	    	a3 = ((((((a3 / 5) % 95)- -211) * 5) % 95)+ 123);
	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((((input == 6) && (((a18==12) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==8) &&  417 < a3 ))) && (a15==6)) && (a24==2))){
	    	a3 = (((a3 / 5) / 5) * -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==5) && (((((a18==10) || (a18==11)) || (a18==12)) && (input == 1)) &&  417 < a3 )))){
	    	a3 = (((a3 / -5) - -187906) - 664383);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a18==11) && ((input == 4) && (a24==3)))) && (a15==5))){
	    	a3 = (((a3 - 379131) * 1) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==10) || (a18==11)) && (input == 3)) &&  a3 <=  115 ) && (a15==5)) && (a24==2))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((a24==3) && ((((a18==10) || (a18==11)) && (input == 5)) && (a15==6))))){
	    	a3 = (((((a3 * 9)/ 10) * 1) + -221488) - 328260);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && ( a3 <=  115  && ((input == 5) && (a15==5)))) && (a18==8))){

	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((a18==9) && (input == 1)) &&  417 < a3 ) && (a15==5)) && (a24==2))){
	    	a3 = ((((((a3 % 55)+ 360) - 50) * 5) % 55)+ 313);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (((((a18==9) || (a18==10)) && (input == 1)) && (a24==4)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 / -5) * 5) - 547274);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((((a24==1) && (input == 2)) && (a18==11)) &&  417 < a3 ) && (a15==5))){
	    	a3 = ((((a3 / -5) + 230985) + 32867) * -2);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 5) && ((((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )) || ((a18==8) &&  417 < a3 ))) && (a24==4)) && (a15==4))){
	    	a3 = (((((a3 % 55)+ 324) * 1) - 458794) - -458832);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(( 417 < a3  && (((a15==5) && ((input == 5) && ((a18==10) || (a18==11)))) && (a24==2)))){
	    	a3 = ((((a3 - 107077) % 55)- -361) * 1);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((a24==4) && (  ((115 < a3) && (306 >= a3))  && (((a18==11) || (a18==12)) && (input == 2)))) && (a15==5))){
	    	a3 = (((a3 * -5) - 3558) + -200043);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((a24==4) && ((input == 4) && ((a18==11) || (a18==12)))) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 / -5) / 5) * 5);
	    		a24 = 2; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==1) && ((a15==5) && (((input == 1) &&  a3 <=  115 ) && (a18==11))))){
	    	a3 = (((((a3 + 588233) - -8309) - 166649) % 55)+ 362);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((a15==6) && ((input == 1) && (a24==0))) &&  417 < a3 ) && (a18==8))){
	    	a3 = (((a3 + 0) - 600047) + -219);
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==8) &&  417 < a3 ) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 1)) && (a15==4)) && (a24==3))){
	    	a3 = ((((((a3 % 55)- -309) * 1) * 5) % 55)+ 325);
	    		a24 = 4; 
	    		a18 = 12; 

	    	 return 21;
	    } else if((((a24==3) && ((((a18==11) || ((a18==9) || (a18==10))) && (input == 3)) && (a15==6))) &&   ((306 < a3) && (417 >= a3)) )){

	    		a18 = 9; 

	    	 return 22;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==0) && (((input == 3) && (a18==11)) && (a15==6))))){
	    	a3 = (((a3 - -499132) * 1) * 1);
	    		a24 = 3; 
	    		a18 = 10; 

	    	 return 22;
	    } else if(((a15==5) && ((a24==1) && ( a3 <=  115  && ((input == 1) && ((a18==9) || (a18==10))))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==5) && ((input == 5) && (a18==11))) && (a24==1)) &&  a3 <=  115 )){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 3) && ((a18==11) || ((a18==9) || (a18==10)))) && (a24==3)) && (a15==4)) &&  417 < a3 )){
	    	a3 = (((a3 - 0) + -600222) - 134);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((((( 417 < a3  && ((a18==12) && (a24==3))) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || (((a24==4) && (a18==9)) &&  a3 <=  115 )) && (input == 6)) && (a15==5))){
	    	a3 = (((((a3 + 0) / 5) * 4) % 300057)- 299941);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (( a3 <=  115  && ((input == 3) && (a24==0))) && (a18==8)))){

	    		a24 = 2; 
	    		a18 = 12; 

	    	 return 22;
	    } else if((( 417 < a3  && ((a24==3) && (((a18==8) || (a18==9)) && (input == 1)))) && (a15==5))){
	    	a3 = ((((a3 - 600276) / 5) - -526846) * -1);
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return 26;
	    } else if(((a24==2) && ((a15==5) && ((input == 3) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) )))))){
	    	a3 = ((((a3 * 10)/ 2) * 5) - -347313);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((((a24==0) && ((((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 2))) && (a15==5))){
	    	a3 = ((((a3 % 95)+ 210) - -2) - 2);
	    		a24 = 3; 
	    		a18 = 11; 

	    	 return 26;
	    } else if((((a15==5) && (((input == 1) && (((a18==8) || (a18==9)) || (a18==10))) &&   ((306 < a3) && (417 >= a3)) )) && (a24==3))){
	    	a3 = (((a3 + -139) * 5) / 5);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return 26;
	    } else if((((((((a24==2) && (a18==12)) &&  417 < a3 ) || ( a3 <=  115  && ((a24==3) && (a18==8)))) || ( a3 <=  115  && ((a24==3) && (a18==9)))) && (input == 3)) && (a15==5))){
	    	a3 = ((((a3 % 300057)- 299941) + -3) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==8) || (a18==9)) || (a18==10)) && (input == 2)) && (a24==4)) && (a15==5)) &&  417 < a3 )){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==3) && (  ((115 < a3) && (306 >= a3))  && ((a15==5) && (((a18==8) || (a18==9)) && (input == 6)))))){
	    	a3 = (((a3 + -131119) * 4) - 61015);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==10) || (a18==11)) && (input == 2)) &&  417 < a3 ) && (a24==2)) && (a15==5))){
	    	a3 = ((((a3 - 421186) - -355802) + 22928) + -557586);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 2)) &&  a3 <=  115 ) && (a15==5)) && (a24==1))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((( 417 < a3  && ((a18==12) && (a24==1))) || ( a3 <=  115  && ((a18==8) && (a24==2)))) && (input == 2)) && (a15==5))){
	    	a3 = (((((a3 % 300057)+ -299941) / 5) + 105507) + -246470);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==2) && ((((a18==11) || ((a18==9) || (a18==10))) && (input == 5)) && (a15==6))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 * 5) + 587119) / -5);
	    		a24 = 1; 
	    		a18 = 11; 

	    	 return -1;
	    } 
	    return calculate_output2(input); 
	}

	int calculate_output2(int input) {


	    if((  ((306 < a3) && (417 >= a3))  && ((a24==2) && (((((a18==9) || (a18==10)) || (a18==11)) && (input == 1)) && (a15==6))))){
	    	a3 = ((((a3 - -295390) + -295576) / 5) + 170);
	    		a18 = 12; 

	    	 return -1;
	    } else if((( 417 < a3  && ((a15==6) && ((input == 1) && (((a18==9) || (a18==10)) || (a18==11))))) && (a24==0))){
	    	a3 = ((((a3 % 95)+ 136) - 391386) + 391437);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 25;
	    } else if((((((input == 5) && (a18==10)) && (a15==5)) &&  417 < a3 ) && (a24==3))){
	    	a3 = (((a3 / -5) * 4) + -76077);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a24==3) && ((a15==5) && ((input == 1) && ((a18==10) || (a18==11))))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 1) && (((((a24==0) && (a18==12)) &&  417 < a3 ) || (((a18==8) && (a24==1)) &&  a3 <=  115 )) || ( a3 <=  115  && ((a24==1) && (a18==9))))) && (a15==6))){
	    	a3 = ((((a3 % 300057)+ -299941) + -3) + 0);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && ((  ((306 < a3) && (417 >= a3))  && (input == 4)) && (a15==6))) && (a18==12))){

	    		a18 = 10; 

	    	 return -1;
	    } else if(((((input == 4) && ((((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )) || ( 417 < a3  && (a18==8)))) && (a15==4)) && (a24==4))){
	    	a3 = (((a3 / 5) - 185457) + -359914);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==4) && ((input == 4) && (( a3 <=  115  && ((a24==4) && (a18==9))) || ((((a24==3) && (a18==12)) &&  417 < a3 ) || (((a24==4) && (a18==8)) &&  a3 <=  115 )))))){
	    	a3 = ((((a3 + 0) % 300057)- 299941) - 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==3) && ((a15==4) && ((input == 4) && (( 417 < a3  && (a18==8)) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || (  ((306 < a3) && (417 >= a3))  && (a18==12)))))))){
	    	a3 = (((((a3 / 5) % 55)+ 335) - -21338) + -21349);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 25;
	    } else if(((a15==6) && ((((a18==8) && (input == 4)) &&  417 < a3 ) && (a24==0)))){
	    	a3 = ((((((a3 % 55)- -334) * 5) + -342050) % 55)+ 388);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return 22;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a15==4) && ((a24==4) && (((a18==9) || (a18==10)) && (input == 5)))))){
	    	a3 = (((a3 + -351209) * 1) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((  ((115 < a3) && (306 >= a3))  && ((input == 1) && (((a18==8) || (a18==9)) || (a18==10)))) && (a15==6)) && (a24==3))){
	    	a3 = (((a3 * 5) + 401484) + 195663);
	    		a24 = 2; 
	    		a18 = 9; 

	    	 return -1;
	    } else if((((input == 4) && ((( 417 < a3  && ((a24==0) && (a18==12))) || (((a24==1) && (a18==8)) &&  a3 <=  115 )) || (((a24==1) && (a18==9)) &&  a3 <=  115 ))) && (a15==6))){
	    	a3 = ((((a3 % 95)- -210) + 0) - -1);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==12) || ((a18==10) || (a18==11))) && (input == 5)) &&  a3 <=  115 ) && (a15==4)) && (a24==3))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)+ 210) - -563481) - 563479);
	    		a18 = 10; 

	    	 return 21;
	    } else if((((input == 6) && (( a3 <=  115  && ((a24==2) && (a18==8))) || ((((a24==1) && (a18==11)) &&  417 < a3 ) || ( 417 < a3  && ((a24==1) && (a18==12)))))) && (a15==6))){
	    	a3 = ((((a3 - 0) / 5) + 70566) - 277039);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((input == 3) && (((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12))) || ( 417 < a3  && (a18==8)))) && (a24==1)))){
	    	a3 = ((((a3 + -600031) * 1) + 229814) - 229714);
	    		a24 = 2; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((( 417 < a3  && (a18==8)) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 3)) && (a15==4)) && (a24==4))){
	    	a3 = (((a3 + -600088) - 109) / 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a24==2) && ( 417 < a3  && (input == 4))) && (a18==9)) && (a15==5))){

	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((a18==8) && ((a15==5) && (input == 4)))) && (a24==2))){
	    	a3 = (((((a3 % 55)- -335) + 5) - 106400) + 106419);
	    		a24 = 1; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==4) && (((input == 6) && (a18==8)) && (a15==4))))){
	    	a3 = (((a3 / 5) - -34270) * -5);
	    		a24 = 0; 

	    	 return -1;
	    } else if(( a3 <=  115  && (((a24==3) && (((a18==12) || ((a18==10) || (a18==11))) && (input == 4))) && (a15==4)))){
	    	a3 = (((((a3 % 95)- -210) + 1) - 295391) - -295391);
	    		a18 = 9; 

	    	 return 21;
	    } else if(((((((a18==8) || (a18==9)) && (input == 6)) && (a15==5)) &&  417 < a3 ) && (a24==0))){
	    	a3 = ((((a3 - 0) + -182899) + 73617) - 490836);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a24==0) && ((((a18==8) || (a18==9)) || (a18==10)) && (input == 3)))) && (a15==5))){
	    	a3 = ((((a3 * 5) - 436532) - -702373) * -2);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && (((input == 5) && (a18==12)) &&   ((306 < a3) && (417 >= a3)) )) && (a15==5))){
	    	a3 = (((a3 * 5) / -5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==2) && ((input == 4) && ((  ((306 < a3) && (417 >= a3))  && (a18==8)) || (((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) ))))))){
	    	a3 = (((((a3 + -31604) % 95)+ 226) / 5) + 121);
	    		a18 = 11; 

	    	 return -1;
	    } else if(((a15==5) && ((input == 4) && ((((a18==9) && (a24==3)) &&  a3 <=  115 ) || ((((a18==12) && (a24==2)) &&  417 < a3 ) || (((a24==3) && (a18==8)) &&  a3 <=  115 )))))){
	    	a3 = ((((((a3 % 95)- -211) * 5) * 5) % 95)- -211);
	    		a24 = 3; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 26;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((((a18==9) || (a18==10)) && (input == 1)) && (a15==5)) && (a24==2)))){
	    	a3 = ((((a3 / -5) - 126690) + 323186) * -3);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && ((a15==5) && ((((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12))) || ((a18==8) &&  417 < a3 )) && (input == 4))))){
	    	a3 = ((((a3 - 599963) + 321584) - 213242) + -108421);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a15==6) && (  ((306 < a3) && (417 >= a3))  && ((a24==1) && (((a18==8) || (a18==9)) && (input == 2)))))){

	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && (((a24==4) && ((input == 4) && ((a18==11) || (a18==12)))) && (a15==5)))){

	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==3) && ((((a18==8) || (a18==9)) && (input == 5)) && (a15==4))))){
	    	a3 = ((((a3 % 55)+ 359) / 5) - -330);
	    		a18 = 10; 

	    	 return 22;
	    } else if(((a15==6) && (  ((306 < a3) && (417 >= a3))  && ((((a18==11) || (a18==12)) && (input == 4)) && (a24==0))))){
	    	a3 = ((((a3 - 442409) + -75157) + 886999) * -1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==4) && (((((a18==8) || (a18==9)) || (a18==10)) && (input == 2)) && (a24==3))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = ((((((a3 * 4)/ 10) * 1) * 5) % 95)+ 143);
	    		a24 = 4; 
	    		a18 = 8; 

	    	 return 26;
	    } else if((( 417 < a3  && (((a18==10) && (input == 6)) && (a24==3))) && (a15==5))){
	    	a3 = (((((a3 * 9)/ 10) + -135101) - -50940) - 461817);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((a15==4) && (input == 4)) &&  a3 <=  115 ) && (a24==3)) && (a18==9))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==4) && (( 417 < a3  && ((input == 1) && ((a18==11) || (a18==12)))) && (a24==4)))){
	    	a3 = ((((a3 / -5) * 10)/ 9) + -311570);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==2) && ((a15==5) && ((input == 6) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || (  ((115 < a3) && (306 >= a3))  && (a18==12))) || (  ((306 < a3) && (417 >= a3))  && (a18==8))))))){
	    	a3 = (((((a3 + -167734) * 10)/ 9) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==10) && ((a15==4) && (((input == 6) &&  a3 <=  115 ) && (a24==4))))){
	    	a3 = (((((a3 % 95)- -211) * 1) - 216688) - -216688);
	    		a24 = 0; 
	    		a15 = 5; 

	    	 return 25;
	    } else if((((a15==5) && ((a24==0) && ( a3 <=  115  && (input == 4)))) && (a18==9))){
	    	a3 = ((((a3 % 55)+ 362) * 1) * 1);
	    		a24 = 2; 

	    	 return 25;
	    } else if(((a15==5) && ( a3 <=  115  && (((input == 4) && (a24==2)) && (a18==9))))){
	    	a3 = (((((a3 % 95)+ 210) + 0) + 65155) + -65154);
	    		a24 = 3; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a24==3) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 5))) && (a15==5)))){
	    	a3 = ((((a3 % 55)+ 336) * 1) + -21);
	    		a24 = 2; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==2) && (((input == 1) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a15==5)))){
	    	a3 = ((((a3 * 5) + 312497) - -270968) + -1067025);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((a24==4) && (((a18==11) || (a18==12)) && (input == 1)))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 / 5) * -5) + -536237);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==4) && (  ((306 < a3) && (417 >= a3))  && ((input == 6) && (((a18==8) || (a18==9)) || (a18==10))))))){
	    	a3 = (((a3 * 5) * -5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a15==5) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 5)))) && (a24==3))){
	    	a3 = ((((a3 / -5) + 56113) * 5) * -2);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==0) && ( a3 <=  115  && (((a18==11) || ((a18==9) || (a18==10))) && (input == 4)))) && (a15==6))){

	    		a24 = 2; 
	    		a18 = 12; 

	    	 return 22;
	    } else if((((a15==6) && ((((a18==12) &&  a3 <=  115 ) || (  ((115 < a3) && (306 >= a3))  && (a18==8))) && (input == 2))) && (a24==0))){
	    	a3 = (((((a3 % 300057)+ -299941) * 1) - -466629) - 466629);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ( a3 <=  115  && ((a24==1) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 1)))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==11) && ( 417 < a3  && (((input == 1) && (a24==3)) && (a15==5))))){
	    	a3 = (((a3 + -229901) / 5) + -297359);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((((a18==11) && (input == 5)) && (a24==3)) && (a15==5)))){
	    	a3 = ((((a3 % 55)+ 324) + 20) + 13);
	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((( a3 <=  115  && ((a15==4) && ((input == 4) && ((a18==11) || (a18==12))))) && (a24==4))){
	    	a3 = (((((a3 % 55)- -362) / 5) - -237700) - 237388);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((((a18==8) && ((a15==5) && (input == 2))) &&  a3 <=  115 ) && (a24==0))){
	    	a3 = ((((((a3 + 0) * 9)/ 10) + 482915) % 95)- -211);
	    		a24 = 2; 

	    	 return 26;
	    } else if(( a3 <=  115  && ((a15==4) && ((a24==4) && ((input == 1) && ((a18==11) || (a18==12))))))){
	    	a3 = ((((a3 % 55)- -361) + 0) + 0);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 21;
	    } else if(((a15==6) && ((((input == 5) && ((a18==10) || ((a18==8) || (a18==9)))) &&   ((115 < a3) && (306 >= a3)) ) && (a24==1)))){
	    	a3 = (((a3 / 5) + -529169) - 30787);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 1) && (((a18==9) || (a18==10)) || (a18==11))) &&  417 < a3 ) && (a15==6)) && (a24==2))){
	    	a3 = ((((a3 % 55)+ 319) / 5) - -294);
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==2) && (  ((115 < a3) && (306 >= a3))  && ((input == 2) && ((a18==10) || ((a18==8) || (a18==9)))))) && (a15==6))){

	    		a24 = 1; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a24==2) && ((a15==5) && ((input == 1) && ((a18==10) || (a18==11))))))){
	    	a3 = ((((a3 * 9)/ 10) / 5) - -540399);
	    		a24 = 3; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a24==4) && (((( a3 <=  115  && (a18==11)) || ( a3 <=  115  && (a18==12))) || (  ((115 < a3) && (306 >= a3))  && (a18==8))) && (input == 4))) && (a15==5))){
	    	a3 = ((((a3 * 9)/ 10) - 10839) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && ((a24==1) && (((a18==11) || (a18==12)) && (input == 5)))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 % 55)- -343) + -318920) + 318925);
	    		a24 = 0; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((((a15==5) && (((input == 6) && ((a18==11) || (a18==12))) &&   ((306 < a3) && (417 >= a3)) )) && (a24==0))){
	    	a3 = (((a3 - 444267) + -104446) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((( a3 <=  115  && ((a18==9) && (a24==3))) || ((((a24==2) && (a18==12)) &&  417 < a3 ) || ( a3 <=  115  && ((a24==3) && (a18==8))))) && (input == 4)))){
	    	a3 = ((((a3 % 300057)+ -299941) - 2) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 1) &&  a3 <=  115 ) && (a15==6)) && (a24==2)) && (a18==9))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 6)) && (a15==6)) && (a24==0))){
	    	a3 = ((((a3 % 300057)+ -299941) * 1) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==5) && ((a24==1) && ((input == 4) && ((a18==9) || (a18==10))))))){

	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((a15==4) && (((a18==11) || ((a18==9) || (a18==10))) && (input == 6))) &&  417 < a3 ) && (a24==3))){
	    	a3 = (((a3 - 413229) - -96489) - 283466);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && (((input == 5) && ((a18==9) || (a18==10))) && (a15==5))) && (a24==1))){
	    	a3 = (((a3 - -500185) - -90325) * 1);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a15==4) && (((((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12))) || ( 417 < a3  && (a18==8))) && (input == 5)) && (a24==3)))){
	    	a3 = (((a3 / 5) + 169567) * 2);
	    		a24 = 4; 
	    		a18 = 9; 

	    	 return 21;
	    } else if(((a15==6) && (((((a18==9) &&   ((306 < a3) && (417 >= a3)) ) || (((a18==12) &&   ((115 < a3) && (306 >= a3)) ) || (  ((306 < a3) && (417 >= a3))  && (a18==8)))) && (input == 3)) && (a24==0)))){
	    	a3 = (((((a3 * 5) - 389703) + -60924) % 95)+ 250);
	    		a24 = 4; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return 22;
	    } else if(( a3 <=  115  && ((a18==10) && (((input == 4) && (a15==4)) && (a24==4))))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((( a3 <=  115  && (((input == 5) && ((a18==10) || (a18==11))) && (a15==5))) && (a24==3))){

	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a24==2) && ((a15==6) && ((input == 4) && ((a18==10) || ((a18==8) || (a18==9)))))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 + -41262) * 10)/ 9) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==4) && ( 417 < a3  && (((input == 3) && ((a18==11) || (a18==12))) && (a15==4))))){
	    	a3 = (((a3 + -600335) / 5) - 125944);
	    		a24 = 2; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((a15==6) && ((((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ((a18==8) &&  417 < a3 )) && (input == 3)) && (a24==2)))){
	    	a3 = ((((a3 + -424004) / 5) / 5) + 383913);
	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && ((input == 6) && ((  ((306 < a3) && (417 >= a3))  && (a18==9)) || ((  ((115 < a3) && (306 >= a3))  && (a18==12)) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))))) && (a24==0))){
	    	a3 = (((a3 / -5) / 5) * 5);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((input == 1) && (((((a18==12) && (a24==3)) &&  417 < a3 ) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || ( a3 <=  115  && ((a24==4) && (a18==9))))))){
	    	a3 = ((((a3 % 300057)- 299941) * 1) - 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==12) && ( a3 <=  115  && (((a24==3) && (input == 6)) && (a15==5))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && ((a24==3) && ((a15==5) && (input == 4)))) && (a18==11))){
	    	a3 = (((a3 / 5) / -5) - 412531);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==4) && ((a24==3) && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 1)))) &&  417 < a3 )){
	    	a3 = ((((a3 + -600145) - 33) - -315605) + -315686);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==4) && (((a24==3) && ((input == 5) && ((a18==11) || ((a18==9) || (a18==10))))) &&  417 < a3 ))){
	    	a3 = ((((a3 - 0) - 600010) + 324047) - 324015);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 5; 

	    	 return 22;
	    } else if((((a15==5) && ((a24==2) && (((a18==10) || (a18==11)) && (input == 3)))) &&  417 < a3 )){
	    	a3 = (((a3 - 600297) - -482535) - 482385);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==5) && ((input == 3) && (( a3 <=  115  && (a18==12)) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )))))){
	    	a3 = (((((a3 % 300057)- 299941) + 247619) * 1) + -247621);
	    		a24 = 3; 
	    		a18 = 11; 

	    	 return 22;
	    } else if(((a15==6) && (  ((306 < a3) && (417 >= a3))  && ((a24==0) && ((input == 2) && (a18==10)))))){
	    	a3 = ((((a3 + -33842) - 560480) / 5) + 119012);
	    		a24 = 4; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 21;
	    } else if((( a3 <=  115  && ((a15==6) && ((input == 3) && ((a18==12) || ((a18==10) || (a18==11)))))) && (a24==3))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && (  ((115 < a3) && (306 >= a3))  && ((input == 3) && ((a18==9) || (a18==10))))) && (a15==5))){
	    	a3 = (((a3 * 5) * 5) / -5);
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((((((input == 5) && ((a18==11) || (a18==12))) && (a24==0)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==5))){
	    	a3 = (((a3 * -5) - 208207) * 2);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==5) && ((a24==1) && (input == 6))) &&  a3 <=  115 ) && (a18==8))){

	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((((input == 1) && ((a18==9) || (a18==10))) && (a24==1)) && (a15==5)))){
	    	a3 = (((a3 - 600092) * 1) / 5);
	    		a24 = 2; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a15==6) && ( 417 < a3  && ((((a18==10) || (a18==11)) && (input == 1)) && (a24==3))))){
	    	a3 = (((a3 / 5) - 303308) - 179168);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==5) && (((input == 2) && ((a18==10) || ((a18==8) || (a18==9)))) &&   ((306 < a3) && (417 >= a3)) )))){
	    	a3 = (((a3 / 5) + 390983) + -783525);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((( a3 <=  115  && (input == 6)) && (a18==10)) && (a15==5)) && (a24==4))){
	    	a3 = (((((a3 % 95)+ 211) * 5) % 95)+ 205);
	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return 22;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==3) && ((a15==4) && ((input == 1) && ((a18==11) || (a18==12))))))){
	    	a3 = (((a3 * 5) + 347415) / -5);
	    		a24 = 4; 
	    		a18 = 8; 

	    	 return 26;
	    } else if(((a24==1) && ((a15==6) && ((a18==11) && (  ((306 < a3) && (417 >= a3))  && (input == 1)))))){
	    	a3 = ((((a3 * 5) / -5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && (((input == 1) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || (  ((115 < a3) && (306 >= a3))  && (a18==12))) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a15==5)))){
	    	a3 = (((((a3 % 95)+ 169) + -15) - -40745) - 40763);
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((( a3 <=  115  && (((a18==10) || (a18==11)) && (input == 2))) && (a15==5)) && (a24==0))){
	    	a3 = ((((a3 / 5) + 399627) * 10)/ 9);
	    		a24 = 2; 
	    		a18 = 9; 

	    	 return 26;
	    } else if(((a15==5) && (( 417 < a3  && ((input == 3) && (a18==9))) && (a24==2)))){
	    	a3 = ((((a3 + 0) / 5) % 95)+ 164);
	    		a24 = 3; 
	    		a15 = 4; 

	    	 return 21;
	    } else if(((a15==5) && (((input == 2) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a24==1)))){
	    	a3 = (((a3 - 524684) + -18707) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && (((input == 2) && (a24==1)) && (a18==8))) &&  a3 <=  115 )){
	    	a3 = (((((a3 * 9)/ 10) % 55)+ 361) + 0);
	    		a24 = 4; 
	    		a18 = 11; 

	    	 return 21;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a24==3) && ((input == 3) && (((a18==8) || (a18==9)) || (a18==10)))) && (a15==6)))){
	    	a3 = (((a3 * 5) * 5) * 5);
	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==2) && (((input == 4) && (a18==12)) &&  a3 <=  115 )) && (a15==5))){
	    	a3 = ((((a3 + 366490) % 95)+ 210) + 0);
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==2) && ((input == 6) && (( 417 < a3  && (a18==8)) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))))))){
	    	a3 = (((a3 / 5) / -5) + -10954);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==4) && ((input == 3) && ((a18==11) || (a18==12)))) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 / 5) - 507268) / 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a18==11) && (((input == 3) && (a15==5)) && (a24==3))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 - 577812) - 20233) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==3) && (((a18==8) || (a18==9)) && (input == 2))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5))){
	    	a3 = (((a3 - -173677) * -3) - 39591);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((a15==6) && (((a24==0) && (input == 3)) && (a18==8))))){
	    	a3 = (((((a3 % 95)- -146) / 5) * 49)/ 10);
	    		a24 = 4; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a15==6) && (((input == 3) && ((a18==9) || (a18==10))) && (a24==0))))){
	    	a3 = (((a3 * 5) * -5) * 5);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return 25;
	    } else if(( a3 <=  115  && ((a15==6) && (((((a18==10) || (a18==11)) || (a18==12)) && (input == 3)) && (a24==1))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((((a18==10) || ((a18==8) || (a18==9))) && (input == 1)) &&   ((306 < a3) && (417 >= a3)) ) && (a24==4)))){
	    	a3 = ((((a3 / 5) * 69)/ 10) + 383903);
	    		a24 = 3; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a15==5) && (((((a18==8) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 4)) && (a24==2)))){
	    	a3 = (((a3 + 0) + -599992) * 1);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return 22;
	    } else if(((a18==10) && (( a3 <=  115  && ((input == 5) && (a15==4))) && (a24==4)))){
	    	a3 = ((((((a3 + 0) % 95)- -211) * 5) % 95)- -182);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((((a24==0) && ((a15==6) && (input == 5))) &&  417 < a3 ) && (a18==8))){
	    	a3 = (((((a3 % 55)- -348) - 7) + -316112) + 316103);
	    		a18 = 12; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a24==4) && ((a18==10) && ((a15==5) && (input == 3)))))){
	    	a3 = ((((a3 % 299791)- -300208) * 1) - -1);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 4) && (( a3 <=  115  && ((a24==2) && (a18==8))) || ((((a18==11) && (a24==1)) &&  417 < a3 ) || ( 417 < a3  && ((a18==12) && (a24==1)))))) && (a15==6))){
	    	a3 = (((a3 / 5) / 5) + -42467);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((( 417 < a3  && ((a15==5) && ((a24==4) && (a18==11)))) || ( 417 < a3  && (((a18==12) && (a24==4)) && (a15==5)))) || ( a3 <=  115  && (((a24==0) && (a18==8)) && (a15==6)))) && (input == 4))){
	    	a3 = ((((a3 % 95)- -211) - -1) * 1);
	    		a24 = 1; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a24==0) && ((((a18==10) || (a18==11)) && (input == 5)) && (a15==5))) &&  a3 <=  115 )){
	    	a3 = ((((a3 / 5) - -318888) * 10)/ 9);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return 26;
	    } else if(( a3 <=  115  && ((a18==10) && ((a24==4) && ((input == 3) && (a15==4)))))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==3) && (((  ((306 < a3) && (417 >= a3))  && (input == 3)) && (a15==5)) && (a18==12)))){
	    	a3 = (((((a3 * 5) % 95)- -126) + -434219) + 434223);
	    		a15 = 4; 

	    	 return 21;
	    } else if(((a15==6) && ( a3 <=  115  && ((a24==0) && ((input == 2) && ((a18==11) || ((a18==9) || (a18==10)))))))){
	    	a3 = ((((a3 - -556124) * 1) % 55)- -361);
	    		a24 = 3; 
	    		a18 = 8; 

	    	 return 22;
	    } else if(((a15==4) && (((a24==3) && ((input == 5) && (a18==9))) &&  a3 <=  115 ))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a18==11) && ((  ((306 < a3) && (417 >= a3))  && ((input == 6) && (a24==3))) && (a15==5)))){
	    	a3 = (((a3 / 5) - 281685) - 220788);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && ((a24==2) && ((input == 5) && (a15==6)))) && (a18==9))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==3) && ((input == 2) && ((a18==10) || (a18==11)))) && (a15==5)) &&  a3 <=  115 )){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==4) && ((input == 6) && ((a18==11) || (a18==12)))) &&  a3 <=  115 ) && (a15==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a24==0) && ((input == 6) && (a15==6))) && (a18==11)) &&   ((115 < a3) && (306 >= a3)) )){

	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a15==5) && ((((a18==10) || (a18==11)) && (input == 2)) && (a24==2))))){
	    	a3 = ((((a3 + 0) % 299791)- -300208) - -1);
	    		a24 = 3; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((((a15==6) && ((a24==3) && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 4)))) &&   ((306 < a3) && (417 >= a3)) )){

	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && (((((a18==10) || (a18==11)) && (input == 4)) && (a24==2)) && (a15==5)))){

	    		a24 = 3; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((((a24==3) && ((input == 1) && ((a18==11) || (a18==12)))) && (a15==6)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 * -5) - 179535) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && ((((a18==11) || (a18==12)) && (input == 6)) &&   ((115 < a3) && (306 >= a3)) )) && (a15==6))){
	    	a3 = (((a3 * 5) / 5) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && ((((a18==12) && (input == 4)) && (a15==6)) &&  a3 <=  115 ))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==8) && ((a24==2) && ((a15==5) && ((input == 5) &&   ((115 < a3) && (306 >= a3)) ))))){
	    	a3 = (((a3 * 5) * 5) * 5);
	    		a24 = 1; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((a15==6) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 1))) && (a24==3)) &&  a3 <=  115 )){
	    	a3 = ((((a3 % 299791)- -300208) - 0) + 1);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 5; 

	    	 return -1;
	    } else if(((a15==5) && ((((input == 2) && (a24==0)) && (a18==9)) &&  a3 <=  115 ))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && (((input == 3) && ((a18==8) || (a18==9))) && (a24==3))) && (a15==4))){

	    		a18 = 12; 

	    	 return 26;
	    } else if(((a24==4) && (((((a18==11) || (a18==12)) && (input == 5)) &&  417 < a3 ) && (a15==4)))){
	    	a3 = ((((a3 * 9)/ 10) - 540271) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==4) && (  ((115 < a3) && (306 >= a3))  && ((((a18==9) || (a18==10)) && (input == 4)) && (a15==5))))){
	    	a3 = (((((a3 / 5) - -296) * 5) % 55)- -338);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return 21;
	    } else if((((a15==6) && ((a18==10) && ((input == 2) &&   ((306 < a3) && (417 >= a3)) ))) && (a24==1))){

	    		a24 = 0; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((((((input == 1) && ((a18==10) || (a18==11))) &&  a3 <=  115 ) && (a15==6)) && (a24==2))){
	    	a3 = ((((a3 % 299791)+ 300208) + 1) + 0);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((input == 5) && (a24==3)))) && (a18==8))){
	    	a3 = ((((a3 / 5) + 335232) - -192484) + -697164);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((((a18==10) || (a18==11)) && (input == 6)) &&  a3 <=  115 ) && (a24==0)))){
	    	a3 = (((((a3 % 55)- -361) + 2) / 5) + 262);
	    		a24 = 2; 
	    		a18 = 12; 

	    	 return 26;
	    } else if(((a15==6) && (((a24==3) && (((a18==11) || (a18==12)) && (input == 4))) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = ((((a3 / 5) + 235204) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 9; 

	    	 return -1;
	    } else if((((((a24==3) && (input == 1)) && (a18==9)) &&  a3 <=  115 ) && (a15==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==1) && ((input == 3) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || (  ((306 < a3) && (417 >= a3))  && (a18==8))))) && (a15==5))){
	    	a3 = (((a3 * -5) + -458640) + -74105);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==4) && ((input == 4) && (a18==8))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==4))){
	    	a3 = (((a3 * 5) - 152212) + -319037);
	    		a24 = 0; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==0) && (((((a18==9) || (a18==10)) || (a18==11)) && (input == 6)) &&  a3 <=  115 )))){
	    	a3 = (((((a3 - -256975) - -72978) + 59929) % 299791)+ 300208);
	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==11) && (  ((115 < a3) && (306 >= a3))  && (((input == 4) && (a24==0)) && (a15==6))))){
	    	a3 = (((a3 / 5) + -494978) + 495292);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return 25;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((a18==11) && ((input == 4) && (a24==1)))))){
	    	a3 = ((((a3 - 417466) * 10)/ 9) - 65788);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((a24==0) && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 2)))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 + -413155) * 10)/ 9) - 35418);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==4) && (((input == 6) && ((a18==10) || ((a18==8) || (a18==9)))) && (a24==4))))){
	    	a3 = (((a3 / 5) * -5) - 173631);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==1) && (((input == 6) && ((a18==10) || ((a18==8) || (a18==9)))) &&  417 < a3 )) && (a15==6))){
	    	a3 = ((((((a3 % 55)+ 330) * 1) * 5) % 55)+ 326);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 5)) && (a24==2)) && (a15==5)) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = ((((a3 / 5) / 5) / 5) + 580327);
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((((a15==5) && ((input == 6) && ((((a18==11) &&  a3 <=  115 ) || ((a18==12) &&  a3 <=  115 )) || (  ((115 < a3) && (306 >= a3))  && (a18==8))))) && (a24==4))){
	    	a3 = ((((a3 % 300057)- 299941) / 5) + -398005);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==2) && ((((a18==10) || (a18==11)) && (input == 3)) &&  a3 <=  115 )))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 4) && (( a3 <=  115  && (a18==12)) || (  ((115 < a3) && (306 >= a3))  && (a18==8)))) && (a15==5)) && (a24==1))){
	    	a3 = ((((a3 * 9)/ 10) - 50450) - 3494);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && (((a18==9) && ((input == 5) && (a15==5))) && (a24==0)))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==8) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12)))) && (input == 6)) && (a24==3)) && (a15==4))){
	    	a3 = (((a3 - 0) + -600115) - 69);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a18==12) && ( a3 <=  115  && ((input == 6) && (a15==6)))) && (a24==2))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && (((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || (  ((115 < a3) && (306 >= a3))  && (a18==12))) || (  ((306 < a3) && (417 >= a3))  && (a18==8))) && (input == 3))) && (a24==2))){
	    	a3 = (((a3 / 5) + 328) - -2);
	    		a24 = 1; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && (((((a18==9) &&  417 < a3 ) || ((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ( 417 < a3  && (a18==8)))) && (input == 5)) && (a24==3)))){
	    	a3 = (((((a3 % 95)+ 154) * 9)/ 10) + -3);
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==8) || (a18==9)) || (a18==10)) && (input == 2)) && (a15==5)) && (a24==3)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((((a3 - 161) - -42) / 5) * 32)/ 10);
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a15==5) && ((a18==8) && ((input == 2) && (a24==2)))))){
	    	a3 = (((a3 - -26663) / 5) - -390761);
	    		a24 = 0; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((((a15==6) && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 5))) &&  a3 <=  115 ) && (a24==1))){
	    	a3 = ((((a3 % 55)+ 361) - 0) * 1);
	    		a24 = 4; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return 25;
	    } else if(((((((a18==10) || ((a18==8) || (a18==9))) && (input == 6)) &&  417 < a3 ) && (a24==4)) && (a15==5))){
	    	a3 = (((a3 + -600048) - 20) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((a15==5) && ((((a18==8) || (a18==9)) && (input == 2)) && (a24==3))))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)+ 198) - -450812) - 450873);
	    		a24 = 0; 
	    		a18 = 9; 

	    	 return 26;
	    } else if(((((input == 5) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || (  ((115 < a3) && (306 >= a3))  && (a18==12))) || (  ((306 < a3) && (417 >= a3))  && (a18==8)))) && (a15==6)) && (a24==2))){
	    	a3 = (((((a3 * 5) % 55)- -315) - -396523) + -396526);
	    		a24 = 0; 
	    		a18 = 9; 

	    	 return -1;
	    } else if((( a3 <=  115  && ((a24==1) && ((input == 4) && ((a18==9) || (a18==10))))) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((((a15==6) && (((input == 5) && ((a18==10) || (a18==11))) &&  a3 <=  115 )) && (a24==2))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && (  ((306 < a3) && (417 >= a3))  && ((a24==0) && (((a18==11) || (a18==12)) && (input == 2)))))){
	    	a3 = (((a3 + -496276) - 86553) - -262868);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && (((a18==8) && (input == 4)) && (a15==5))) && (a24==1))){

	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && (((input == 3) && ((a18==10) || (a18==11))) && (a15==6))) &&  417 < a3 )){

	    		a24 = 4; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 26;
	    } else if(((a18==9) && ( a3 <=  115  && (((input == 6) && (a24==2)) && (a15==5))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ( 417 < a3  && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 4)) && (a24==4))))){

	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a24==2) && (( a3 <=  115  && ((input == 5) && ((a18==10) || (a18==11)))) && (a15==5)))){
	    	a3 = (((((a3 % 55)- -362) - 1) + -285407) + 285408);
	    		a24 = 3; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a24==0) && (((((a18==11) || ((a18==9) || (a18==10))) && (input == 4)) &&  417 < a3 ) && (a15==6)))){
	    	a3 = (((((a3 - 0) + -550575) / 5) % 55)- -362);
	    		a24 = 4; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 2) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5)) && (a24==0)) && (a18==12))){
	    	a3 = (((a3 + 471605) * -1) - 35997);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==6) && ((input == 4) && (((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )))))){
	    	a3 = ((((a3 + 51670) % 299791)+ 300208) - 0);
	    		a24 = 1; 
	    		a18 = 11; 

	    	 return 22;
	    } else if((((((input == 6) && (a15==5)) &&  a3 <=  115 ) && (a24==0)) && (a18==9))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && ((input == 6) && (( a3 <=  115  && (a18==12)) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )))) && (a15==5))){
	    	a3 = (((((a3 - -342184) * 1) - -67276) % 300057)+ -299941);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a24==4) && ((input == 2) && ((a18==11) || (a18==12))))) && (a15==5))){

	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a24==0) && (((input == 1) && ((a18==11) || (a18==12))) && (a15==5))))){
	    	a3 = ((((a3 + 82715) * -5) * 10)/ 9);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (((((a18==10) || ((a18==8) || (a18==9))) && (input == 4)) && (a24==3)) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = ((((a3 - 281062) - -189973) / 5) + 18380);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 25;
	    } else if(( 417 < a3  && ((a15==4) && ((((a18==9) || (a18==10)) && (input == 3)) && (a24==4))))){

	    		a24 = 1; 
	    		a18 = 11; 
	    		a15 = 5; 

	    	 return 26;
	    } else if(((a15==5) && ((((input == 1) && (a24==4)) && (a18==10)) &&  a3 <=  115 ))){
	    	a3 = (((((a3 * 9)/ 10) / 5) % 55)- -361);
	    		a24 = 1; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (  ((115 < a3) && (306 >= a3))  && ((a18==12) && ((a24==0) && (input == 5)))))){
	    	a3 = ((((a3 - 527731) * -1)/ 10) + 75216);
	    		a24 = 3; 
	    		a18 = 11; 

	    	 return 25;
	    } else if(( 417 < a3  && (((a24==3) && (((a18==10) || (a18==11)) && (input == 6))) && (a15==6)))){
	    	a3 = ((((a3 - 0) + -235764) - -210834) + -575453);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((input == 2) && ((a18==11) || (a18==12))) && (a24==3)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 + -181485) - -640692) + -655914);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((((((a18==9) || (a18==10)) || (a18==11)) && (input == 2)) && (a15==6)) && (a24==2)))){
	    	a3 = ((((a3 * 10)/ 7) - -506955) * 1);
	    		a24 = 1; 
	    		a18 = 9; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==6) && ((( a3 <=  115  && (a18==12)) || (  ((115 < a3) && (306 >= a3))  && (a18==8))) && (input == 5))))){
	    	a3 = (((((a3 % 300057)- 299941) + -2) - -24950) + -24948);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((input == 3) && ((((a24==4) && (a18==9)) &&  a3 <=  115 ) || (( 417 < a3  && ((a24==3) && (a18==12))) || ( a3 <=  115  && ((a24==4) && (a18==8)))))))){
	    	a3 = ((((a3 + 0) % 300057)+ -299941) + -3);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && (((((a18==8) || (a18==9)) && (input == 4)) && (a15==4)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 + -3630) - 330740) - -61086);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && ((input == 1) && (( a3 <=  115  && ((a24==2) && (a18==8))) || ((((a18==11) && (a24==1)) &&  417 < a3 ) || (((a18==12) && (a24==1)) &&  417 < a3 )))))){
	    	a3 = ((((a3 % 300057)- 299941) * 1) - 2);
	    		a24 = 1; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==0) && ((a15==6) && ((input == 5) && (a18==11)))))){
	    	a3 = ((((((a3 + -233915) % 55)- -372) * 5) % 55)+ 320);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && (((( 417 < a3  && ((a24==0) && (a18==12))) || (((a18==8) && (a24==1)) &&  a3 <=  115 )) || (((a24==1) && (a18==9)) &&  a3 <=  115 )) && (input == 6)))){
	    	a3 = ((((a3 % 300057)- 299941) * 1) - 2);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (  ((115 < a3) && (306 >= a3))  && ((a24==4) && ((input == 2) && ((a18==11) || (a18==12))))))){
	    	a3 = (((a3 * 5) / 5) * -5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a24==3) && ((input == 4) && (((a18==8) || (a18==9)) || (a18==10)))) &&   ((306 < a3) && (417 >= a3)) ) && (a15==5))){
	    	a3 = (((a3 / 5) + 310616) * -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((((a18==9) || (a18==10)) || (a18==11)) && (input == 3)) && (a24==2)) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((((a3 - 175) * 5) - 464342) % 95)+ 231);
	    		a24 = 1; 
	    		a18 = 12; 

	    	 return -1;
	    } else if(((a24==0) && (((input == 6) && (((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) ))) && (a15==5)))){
	    	a3 = (((a3 / 5) - 80019) + -55888);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==4) && ((input == 3) && (((a18==8) &&   ((115 < a3) && (306 >= a3)) ) || (((a18==11) &&  a3 <=  115 ) || ((a18==12) &&  a3 <=  115 ))))))){
	    	a3 = ((((a3 % 300057)- 299941) + -2) - 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && (((input == 3) && ((a18==11) || (a18==12))) && (a24==4))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 - -556691) + 19755) + 1901);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 22;
	    } else if((( a3 <=  115  && ((a15==6) && (((a18==11) || ((a18==9) || (a18==10))) && (input == 1)))) && (a24==0))){
	    	a3 = (((((a3 % 95)+ 211) - 337944) + 322681) + 15262);
	    		a24 = 1; 
	    		a18 = 11; 

	    	 return 25;
	    } else if(((( a3 <=  115  && ((input == 2) && (a24==4))) && (a18==10)) && (a15==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==0) && (((  ((306 < a3) && (417 >= a3))  && (a18==9)) || ((  ((115 < a3) && (306 >= a3))  && (a18==12)) || (  ((306 < a3) && (417 >= a3))  && (a18==8)))) && (input == 4))))){
	    	a3 = (((((a3 * 5) - 539276) - -945607) % 55)- -325);
	    		a18 = 9; 

	    	 return 22;
	    } else if((((input == 5) && ((((a18==8) && (a24==2)) &&  a3 <=  115 ) || (( 417 < a3  && ((a24==1) && (a18==11))) || (((a24==1) && (a18==12)) &&  417 < a3 )))) && (a15==6))){
	    	a3 = (((((a3 % 300057)- 299941) * 1) + 541081) - 541082);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((  ((115 < a3) && (306 >= a3))  && (((a18==9) || (a18==10)) && (input == 6))) && (a15==6)))){
	    	a3 = (((a3 + 502459) + 8631) + -1092299);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((  ((115 < a3) && (306 >= a3))  && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 1))) && (a15==5)) && (a24==3))){
	    	a3 = (((a3 + -295614) * 2) + -4517);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((input == 1) && (((a18==12) &&  a3 <=  115 ) || (  ((115 < a3) && (306 >= a3))  && (a18==8))))) && (a24==0))){
	    	a3 = (((((a3 % 300057)- 299941) + -3) * 9)/ 10);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && (((( 417 < a3  && (a18==8)) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12)))) && (input == 2)) && (a15==5)))){
	    	a3 = (((a3 - 225429) / 5) + -274418);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==3) && ((a15==6) && ((input == 2) && ((a18==10) || ((a18==8) || (a18==9)))))))){

	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a15==5) && ((a24==0) && ((input == 4) && (a18==8)))))){

	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==8) || (a18==9)) && (input == 3)) && (a15==5)) &&  417 < a3 ) && (a24==0))){
	    	a3 = ((((a3 * 9)/ 10) - -58077) + -636180);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && ((a15==6) && ((input == 3) && (((a18==8) || (a18==9)) || (a18==10))))) && (a24==1))){
	    	a3 = ((((a3 - 362576) % 55)- -361) * 1);
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a15==4) && ((a24==4) && (((a18==9) || (a18==10)) && (input == 4)))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 / -5) / 5) - 368802);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((((input == 4) && ((a18==9) || (a18==10))) && (a24==1)) && (a15==5)) &&  417 < a3 )){
	    	a3 = ((((a3 % 55)- -317) + 43) + -53);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a15==6) && (((input == 2) &&  417 < a3 ) && (a18==8))) && (a24==0))){

	    	 return 21;
	    } else if(((  ((115 < a3) && (306 >= a3))  && (((input == 5) && (a18==8)) && (a24==4))) && (a15==4))){
	    	a3 = ((((a3 * 10)/ 2) + 361821) - -109713);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 22;
	    } else if((((((  ((115 < a3) && (306 >= a3))  && (a18==8)) || (( a3 <=  115  && (a18==11)) || ( a3 <=  115  && (a18==12)))) && (input == 1)) && (a24==4)) && (a15==5))){
	    	a3 = (((((a3 / 5) - 388906) * 1) % 95)- -232);
	    		a24 = 3; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return 25;
	    } else if(((a18==8) && ((a15==4) && (  ((115 < a3) && (306 >= a3))  && ((a24==4) && (input == 2)))))){
	    	a3 = (((a3 + -348052) * 1) * 1);
	    		a24 = 0; 

	    	 return -1;
	    } else if((((a24==1) && ((( a3 <=  115  && (a18==12)) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 5))) && (a15==5))){
	    	a3 = ((((a3 + 460537) - -99317) % 300057)+ -299941);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==4) && ((input == 1) && ((a18==11) || (a18==12)))) &&   ((115 < a3) && (306 >= a3)) ) && (a24==4))){
	    	a3 = (((a3 + -264808) / 5) + -532776);
	    		a24 = 1; 
	    		a18 = 11; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((a15==5) && ((a24==4) && (((( a3 <=  115  && (a18==11)) || ((a18==12) &&  a3 <=  115 )) || (  ((115 < a3) && (306 >= a3))  && (a18==8))) && (input == 2))))){
	    	a3 = ((((a3 - 0) % 300057)+ -299941) * 1);
	    		a18 = 12; 

	    	 return 26;
	    } else if((((input == 3) && (( 417 < a3  && ((a18==12) && (a24==1))) || (((a18==8) && (a24==2)) &&  a3 <=  115 ))) && (a15==5))){
	    	a3 = ((((a3 % 300057)+ -299941) + 186485) + -186486);
	    		a24 = 3; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 25;
	    } 
	    return calculate_output3(input); 
	}

	int calculate_output3(int input) {


	    if((  ((115 < a3) && (306 >= a3))  && ((a15==6) && ((a24==1) && ((input == 1) && ((a18==10) || ((a18==8) || (a18==9)))))))){
	    	a3 = ((((a3 * 5) - 228379) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a18==10) && ((a24==0) && ((input == 5) && (a15==6)))))){
	    	a3 = (((((a3 - 578654) + 578540) * 5) % 95)- -177);
	    		a24 = 4; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a18==10) && (  ((115 < a3) && (306 >= a3))  && ((a24==3) && (input == 5)))) && (a15==4))){
	    	a3 = (((a3 + 480105) + -828894) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a18==8) && ((input == 1) && (a24==0))) && (a15==5)) &&  a3 <=  115 )){
	    	a3 = (((((a3 * 9)/ 10) / 5) % 95)- -211);
	    		a24 = 2; 
	    		a18 = 9; 

	    	 return 26;
	    } else if(((a15==5) && ((((input == 1) && ((a18==9) || (a18==10))) && (a24==4)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = ((((a3 - 220252) + -152971) - -519832) + -704390);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && (((a18==9) && (input == 3)) && (a15==6))) && (a24==2))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && ((a15==5) && (  ((306 < a3) && (417 >= a3))  && ((input == 6) && (((a18==8) || (a18==9)) || (a18==10))))))){
	    	a3 = (((a3 - -224713) + -318603) - 374075);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( a3 <=  115  && (((input == 5) && (a15==6)) && (a18==12))) && (a24==2))){
	    	a3 = (((((a3 + 0) - -198715) - -161935) % 55)- -361);
	    		a24 = 0; 

	    	 return -1;
	    } else if((((a18==9) && (((input == 2) && (a24==3)) &&  a3 <=  115 )) && (a15==4))){

	    		a18 = 11; 

	    	 return 25;
	    } else if(((a15==5) && ((  ((306 < a3) && (417 >= a3))  && ((input == 2) && ((a18==10) || ((a18==8) || (a18==9))))) && (a24==4)))){
	    	a3 = (((a3 / -5) * 5) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==1) && ((a18==11) && ((input == 4) &&  417 < a3 ))))){
	    	a3 = (((((a3 * 9)/ 10) % 55)+ 322) * 1);
	    		a24 = 2; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((((a15==5) && ((input == 1) && (a24==3))) &&  a3 <=  115 ) && (a18==12))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==5) && ((a24==1) && (input == 3))) &&  a3 <=  115 ) && (a18==8))){

	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 2) && ((a18==11) || (a18==12))) && (a15==5)) && (a24==0)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 * -5) / 5) * 5);
	    		a24 = 4; 
	    		a18 = 12; 

	    	 return 21;
	    } else if(((a18==11) && ((a15==5) && ((  ((306 < a3) && (417 >= a3))  && (input == 2)) && (a24==3))))){
	    	a3 = (((a3 * -5) + 225437) + -658289);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && ((((input == 3) &&   ((115 < a3) && (306 >= a3)) ) && (a24==4)) && (a18==8)))){
	    	a3 = (((a3 + 576835) + 10477) * -1);
	    		a24 = 0; 

	    	 return -1;
	    } else if(((((((a18==8) || (a18==9)) && (input == 5)) && (a15==5)) &&  417 < a3 ) && (a24==3))){
	    	a3 = (((a3 / -5) * 4) / 5);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((((input == 6) && ((a18==8) || (a18==9))) && (a15==6)) && (a24==1)))){
	    	a3 = (((a3 - 221948) - 334823) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((( a3 <=  115  && ((input == 2) && (a18==10))) && (a24==4)) && (a15==5))){

	    		a18 = 12; 
	    		a15 = 4; 

	    	 return 26;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((((((a18==9) || (a18==10)) || (a18==11)) && (input == 1)) && (a15==5)) && (a24==0)))){
	    	a3 = (((a3 + -27346) + -170095) + -360716);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==6) && ( 417 < a3  && (((a18==11) || ((a18==9) || (a18==10))) && (input == 5)))))){
	    	a3 = (((a3 + -550462) + -49929) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((( 417 < a3  && ((a18==12) && (a24==1))) || ( a3 <=  115  && ((a18==8) && (a24==2)))) && (input == 1)))){
	    	a3 = ((((((a3 % 95)+ 211) - 1) / 5) * 51)/ 10);
	    		a24 = 3; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a15==6) && (((( 417 < a3  && ((a24==2) && (a18==12))) || (((a18==8) && (a24==3)) &&  a3 <=  115 )) || (((a24==3) && (a18==9)) &&  a3 <=  115 )) && (input == 2)))){
	    	a3 = ((((a3 + 0) % 300057)- 299941) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==12) && ((((a15==5) && (input == 4)) && (a24==3)) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((a3 + -210461) / 5) - 424035);
	    		a24 = 4; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return 25;
	    } else if(((a18==8) && ((a24==2) && (((a15==5) && (input == 3)) &&   ((115 < a3) && (306 >= a3)) )))){

	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a18==10) && (((a24==1) && (  ((306 < a3) && (417 >= a3))  && (input == 1))) && (a15==6)))){
	    	a3 = (((a3 + -210212) + -222317) + -2929);
	    		a18 = 11; 

	    	 return -1;
	    } else if(((a15==5) && ((((input == 1) &&  417 < a3 ) && (a24==3)) && (a18==10)))){
	    	a3 = ((((a3 - 600318) / 5) - -154691) * -3);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && (((a15==6) && (input == 3)) && (a18==8))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 * -5) / 5) + -202524);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (( a3 <=  115  && ((a18==12) && (input == 5))) && (a24==3)))){
	    	a3 = ((((((a3 % 55)- -362) * 5) * 5) % 55)+ 362);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a24==3) && ((a15==6) && ((( 417 < a3  && (a18==9)) || (((a18==12) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==8) &&  417 < a3 ))) && (input == 3))))){
	    	a3 = ((((((a3 % 55)- -308) + 21) / 5) * 48)/ 10);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && (((a15==5) && ((input == 5) && ((a18==12) || ((a18==10) || (a18==11))))) && (a24==0)))){
	    	a3 = ((((a3 * 9)/ 10) - -36392) - 632350);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((input == 6) && ((( 417 < a3  && ((a15==5) && ((a24==4) && (a18==11)))) || ( 417 < a3  && (((a24==4) && (a18==12)) && (a15==5)))) || ((((a18==8) && (a24==0)) && (a15==6)) &&  a3 <=  115 )))){
	    	a3 = (((((a3 * 9)/ 10) % 300057)+ -299941) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 6) && ((( 417 < a3  && ((a18==12) && (a24==2))) || ( a3 <=  115  && ((a24==3) && (a18==8)))) || (((a18==9) && (a24==3)) &&  a3 <=  115 ))) && (a15==5))){
	    	a3 = ((((a3 + 0) % 300057)+ -299941) - 3);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==2) && (( a3 <=  115  && (input == 4)) && (a15==6))) && (a18==9))){

	    		a24 = 1; 
	    		a18 = 12; 

	    	 return -1;
	    } else if((((a15==5) && ( 417 < a3  && ((input == 3) && ((a18==8) || (a18==9))))) && (a24==3))){
	    	a3 = (((a3 + -600125) / 5) - 225046);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && (  ((306 < a3) && (417 >= a3))  && ((((a18==11) || (a18==12)) && (input == 5)) && (a15==6))))){
	    	a3 = (((a3 * -5) * 5) + -417846);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (((( 417 < a3  && ((a24==3) && (a18==12))) || (((a24==4) && (a18==8)) &&  a3 <=  115 )) || ( a3 <=  115  && ((a18==9) && (a24==4)))) && (input == 3)))){
	    	a3 = ((((a3 % 300057)- 299941) - 0) / 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((( 417 < a3  && (a18==9)) || ((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ((a18==8) &&  417 < a3 ))) && (input == 1)) && (a15==6)) && (a24==3))){
	    	a3 = (((a3 - 600180) + -68) + -5);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && (((a18==12) && ((a15==5) && (input == 4))) && (a24==3)))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==11) && ((a15==5) && ((a24==1) && ((input == 3) &&  a3 <=  115 ))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==4) && (  ((115 < a3) && (306 >= a3))  && ((input == 5) && ((a18==9) || (a18==10))))))){

	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(( a3 <=  115  && ((a15==5) && ((a18==12) && ((a24==3) && (input == 2)))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((( 417 < a3  && ((a18==12) && (a24==1))) || ( a3 <=  115  && ((a18==8) && (a24==2)))) && (input == 5)) && (a15==5))){
	    	a3 = ((((a3 % 300057)+ -299941) + -3) + 0);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==4) && ((((a18==8) || (a18==9)) && (input == 1)) &&   ((115 < a3) && (306 >= a3)) )) && (a24==3))){
	    	a3 = (((((a3 + -336354) * 10)/ 9) + 613674) * -2);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((( a3 <=  115  && ((a18==8) && (a24==2))) || (( 417 < a3  && ((a18==11) && (a24==1))) || (((a24==1) && (a18==12)) &&  417 < a3 ))) && (input == 2)) && (a15==6))){
	    	a3 = (((a3 / 5) / 5) - 193557);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 4) && (a24==0)) && (a18==10)) && (a15==6)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 * -5) - 26325) + -245415);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( 417 < a3  && ((a15==6) && (((((a18==9) || (a18==10)) || (a18==11)) && (input == 3)) && (a24==2))))){
	    	a3 = (((a3 - 600325) + -21) - 8);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((((input == 1) && (a18==8)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==2)))){
	    	a3 = (((((a3 + -399259) * 10)/ 9) - -480809) - 273660);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==3) && ((input == 6) && ((a18==10) || (a18==11)))) &&  a3 <=  115 ) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 6) && ((((a24==1) && (a18==12)) &&  417 < a3 ) || ( a3 <=  115  && ((a24==2) && (a18==8))))) && (a15==5))){
	    	a3 = ((((a3 % 300057)- 299941) - 3) - 0);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==10) || ((a18==8) || (a18==9))) && (input == 5)) && (a24==0)) && (a15==5)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 - -442665) + 92897) + 22018);
	    		a24 = 3; 
	    		a18 = 12; 

	    	 return 22;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 3)) && (a15==4))) && (a24==3))){
	    	a3 = (((a3 * -5) - -433285) + -717706);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((( 417 < a3  && ((input == 4) && ((a18==8) || (a18==9)))) && (a24==0)) && (a15==5))){
	    	a3 = (((a3 / 5) - -381686) - 967713);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==1) && (( 417 < a3  && (input == 1)) && (a18==11))) && (a15==5))){

	    		a24 = 2; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a24==1) && ((input == 5) && ((((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || (  ((306 < a3) && (417 >= a3))  && (a18==12))) || ((a18==8) &&  417 < a3 )))) && (a15==5))){
	    	a3 = ((((a3 % 299791)+ 418) / 5) - -420468);
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((a15==6) && ((input == 1) &&   ((306 < a3) && (417 >= a3)) )) && (a18==8)) && (a24==3))){
	    	a3 = (((a3 - 586621) * 1) * 1);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 5) && ((a18==8) || (a18==9))) && (a15==5)) &&  417 < a3 ) && (a24==0))){
	    	a3 = ((((a3 % 95)- -153) - -494189) + -494212);
	    		a24 = 4; 
	    		a18 = 11; 

	    	 return 21;
	    } else if((((((input == 1) && ((a18==9) || (a18==10))) && (a15==5)) &&   ((306 < a3) && (417 >= a3)) ) && (a24==1))){
	    	a3 = ((((a3 / -5) * 10)/ 9) - 36262);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a18==11) && ((a24==1) && ( a3 <=  115  && (input == 4)))))){
	    	a3 = (((((a3 + 0) * 9)/ 10) % 95)+ 211);
	    		a24 = 0; 
	    		a15 = 6; 

	    	 return 22;
	    } else if(((a15==5) && ( a3 <=  115  && (((input == 3) && (a24==0)) && (a18==9))))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && ((a15==5) && (((a18==11) || (a18==12)) && (input == 3)))) && (a24==4))){

	    		a24 = 2; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a24==1) && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 2)) && (a15==6))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 * 5) - 144511) * 4);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((( a3 <=  115  && ((input == 3) && (a18==12))) && (a15==6)) && (a24==2))){
	    	a3 = (((((a3 + 507416) % 55)+ 362) / 5) + 280);
	    		a24 = 1; 
	    		a18 = 11; 

	    	 return -1;
	    } else if(((((((a24==3) && (a18==9)) &&  a3 <=  115 ) || (( 417 < a3  && ((a24==2) && (a18==12))) || (((a18==8) && (a24==3)) &&  a3 <=  115 ))) && (input == 5)) && (a15==5))){
	    	a3 = ((((a3 % 300057)+ -299941) - -3499) - 3501);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((a24==0) && ((((a18==9) || (a18==10)) || (a18==11)) && (input == 6))) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 + 251759) / 5) * 5);
	    		a24 = 3; 
	    		a18 = 8; 

	    	 return 22;
	    } else if(( 417 < a3  && ((a15==6) && ((a24==2) && ((input == 5) && (((a18==9) || (a18==10)) || (a18==11))))))){
	    	a3 = (((a3 + -600416) * 1) + -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==9) || (a18==10)) && (input == 6)) && (a24==1)) &&  a3 <=  115 ) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((input == 3) && (((a18==8) &&  417 < a3 ) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || (  ((306 < a3) && (417 >= a3))  && (a18==12))))) && (a24==2)))){
	    	a3 = (((a3 / -5) * 4) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && (  ((306 < a3) && (417 >= a3))  && ((a24==3) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 5)))))){
	    	a3 = (((a3 * -5) * 5) + -421636);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==0) && ((((input == 3) && ((a18==11) || ((a18==9) || (a18==10)))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5)))){
	    	a3 = (((((a3 % 55)+ 352) * 5) % 55)+ 346);
	    		a24 = 3; 
	    		a18 = 8; 

	    	 return 21;
	    } else if(((a24==1) && ((((input == 2) &&  a3 <=  115 ) && (a15==5)) && (a18==11)))){
	    	a3 = (((((a3 + 0) * 9)/ 10) % 55)+ 362);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((a24==4) && ((a15==4) && ((input == 6) && ((a18==11) || (a18==12))))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 - 556367) + 516565) - 261281);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a18==8) && (((input == 6) && (a15==5)) &&   ((115 < a3) && (306 >= a3)) )) && (a24==2))){
	    	a3 = (((a3 - 75636) * 5) * 1);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && ((a15==6) && ((((a18==8) || (a18==9)) && (input == 5)) &&   ((306 < a3) && (417 >= a3)) )))){

	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a15==4) && ((input == 6) && ((a18==9) || (a18==10)))) && (a24==4)))){
	    	a3 = ((((a3 / -5) * 10)/ 9) * 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==6) && (((a24==0) && (((a18==11) || ((a18==9) || (a18==10))) && (input == 5))) &&  a3 <=  115 ))){

	    		a18 = 12; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ((a18==8) &&  417 < a3 )) && (input == 5)) && (a24==2)))){
	    	a3 = ((((a3 - 300331) % 299791)- -300208) + 1);
	    		a24 = 1; 
	    		a18 = 11; 

	    	 return -1;
	    } else if(((a15==6) && (((((a18==11) || (a18==12)) && (input == 6)) && (a24==1)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((a3 * 5) - 551568) - 18434);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((((a18==8) || (a18==9)) || (a18==10)) && (input == 1)) && (a15==6)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==2))){
	    	a3 = ((((a3 / 5) * -5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==4) && ((input == 3) && ((a18==11) || (a18==12)))) &&  a3 <=  115 ) && (a24==4))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==0) && ((((((a18==8) || (a18==9)) || (a18==10)) && (input == 1)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==5)))){
	    	a3 = (((a3 + -393691) - -276142) - 216630);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 4) && ((a18==9) || (a18==10))) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5)) && (a24==2))){

	    		a18 = 10; 

	    	 return 22;
	    } else if(((  ((115 < a3) && (306 >= a3))  && (((input == 3) && ((a18==11) || (a18==12))) && (a24==1))) && (a15==6))){
	    	a3 = (((a3 + -510291) + -59438) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a18==10) && (((a15==4) && (input == 2)) && (a24==3))) &&   ((115 < a3) && (306 >= a3)) )){
	    	a3 = (((a3 + -521291) * 1) + -9196);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a15==6) && (((input == 6) && (a18==8)) && (a24==0))) &&  417 < a3 )){
	    	a3 = ((((a3 + -600234) * 1) + 297586) - 297405);
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((((a18==8) || (a18==9)) && (input == 1)) && (a24==0)) &&  417 < a3 ) && (a15==5))){
	    	a3 = (((a3 - 600243) - 161) - 12);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 5)) && (a24==1))) && (a15==6))){
	    	a3 = (((((a3 * 9)/ 10) * 1) % 55)+ 345);
	    		a18 = 11; 
	    		a15 = 5; 

	    	 return 22;
	    } else if(((((( a3 <=  115  && (a18==12)) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 1)) && (a15==5)) && (a24==1))){
	    	a3 = ((((a3 % 300057)- 299941) + -1) + -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((a18==9) && (input == 1)) &&  a3 <=  115 ) && (a24==0)) && (a15==5))){

	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==4) && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 5)) && (a15==4))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 * -5) * 5) + -544020);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a18==9) && (((a24==2) && (input == 6)) && (a15==6))))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (((((a18==11) || ((a18==9) || (a18==10))) && (input == 4)) && (a24==0)) &&   ((115 < a3) && (306 >= a3)) ))){
	    	a3 = (((((a3 % 55)- -326) / 5) * 48)/ 10);
	    		a24 = 3; 
	    		a18 = 12; 

	    	 return 25;
	    } else if(((((a24==3) && ((input == 4) &&   ((306 < a3) && (417 >= a3)) )) && (a18==8)) && (a15==6))){
	    	a3 = (((a3 / -5) / 5) + -274110);
	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 5; 

	    	 return 21;
	    } else if(((a24==3) && (  ((306 < a3) && (417 >= a3))  && ((a15==6) && (((a18==11) || ((a18==9) || (a18==10))) && (input == 5)))))){
	    	a3 = ((((a3 + -19095) / 5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((( 417 < a3  && (a18==8)) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) ))) && (input == 1))) && (a24==2))){
	    	a3 = ((((a3 % 95)- -152) - 524473) + 524442);
	    		a24 = 3; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return 25;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a24==1) && (((input == 6) && (a18==11)) && (a15==6))))){
	    	a3 = (((a3 * 5) - 174301) - 257370);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==2) && (((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ((a18==8) &&  417 < a3 )) && (input == 1))))){
	    	a3 = (((((a3 * 9)/ 10) / 5) * 5) * -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==4) && (  ((115 < a3) && (306 >= a3))  && ((input == 5) && ((a18==11) || (a18==12))))) && (a15==5))){
	    	a3 = (((a3 - -530317) * -1) - -511598);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((input == 6) && (((a18==8) &&   ((306 < a3) && (417 >= a3)) ) || (((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) ))))) && (a24==1))){
	    	a3 = (((a3 / -5) * 5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 5) && (( a3 <=  115  && ((a24==1) && (a18==9))) || ((((a24==0) && (a18==12)) &&  417 < a3 ) || (((a24==1) && (a18==8)) &&  a3 <=  115 )))) && (a15==6))){
	    	a3 = (((((a3 * 9)/ 10) % 55)- -362) - -1);
	    		a24 = 3; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return 22;
	    } else if(((a15==5) && (((input == 5) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || (  ((306 < a3) && (417 >= a3))  && (a18==8)))) && (a24==1)))){
	    	a3 = (((a3 / -5) * 5) * 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==1) && ((a15==5) && ( 417 < a3  && ((input == 2) && ((a18==9) || (a18==10))))))){
	    	a3 = (((((a3 % 95)- -211) - 7) + -364409) - -364321);
	    		a24 = 2; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((((input == 6) && ((a18==9) || (a18==10))) && (a15==5)) && (a24==2)))){
	    	a3 = ((((a3 + -439044) + 888150) / 5) * -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((((input == 4) && ((a18==10) || (a18==11))) &&  a3 <=  115 ) && (a24==3)))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==6) && ((a24==3) && (((input == 1) && (((a18==9) || (a18==10)) || (a18==11))) &&   ((306 < a3) && (417 >= a3)) )))){
	    	a3 = ((((a3 * -5) * 10)/ 9) - 248258);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==0) && ((((a18==8) || (a18==9)) && (input == 2)) && (a15==5))) &&  417 < a3 )){
	    	a3 = ((((a3 / -5) + 439722) * 1) * -1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((  ((306 < a3) && (417 >= a3))  && (a18==8)) || (((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || (  ((115 < a3) && (306 >= a3))  && (a18==12)))) && (input == 2)) && (a15==6)) && (a24==2))){
	    	a3 = (((a3 + -286536) + 462238) * -3);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((( 417 < a3  && (((input == 6) && (a18==11)) && (a15==5))) && (a24==3))){
	    	a3 = (((((a3 * 9)/ 10) / 5) / 5) * -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && (  ((306 < a3) && (417 >= a3))  && ((a15==6) && ((input == 2) && (((a18==9) || (a18==10)) || (a18==11))))))){
	    	a3 = (((a3 - -499668) - -6024) / -5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && (( a3 <=  115  && (input == 3)) && (a18==12))) && (a15==5))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==3) && ((((a18==8) || (a18==9)) && (input == 5)) &&   ((115 < a3) && (306 >= a3)) )))){
	    	a3 = (((a3 - 531322) + 519310) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==4) && ((a15==5) && (((input == 3) && ((a18==10) || ((a18==8) || (a18==9)))) &&  417 < a3 )))){
	    	a3 = ((((a3 - 150180) - 310980) + 456741) - 595726);
	    		a24 = 1; 
	    		a18 = 8; 

	    	 return 26;
	    } else if((( a3 <=  115  && ((((a18==10) || (a18==11)) && (input == 4)) && (a15==6))) && (a24==2))){
	    	a3 = (((((a3 % 95)- -211) * 1) + 289514) + -289514);
	    		a24 = 3; 
	    		a18 = 10; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==0) && ((a15==6) && ((input == 3) && (( a3 <=  115  && (a18==12)) || (  ((115 < a3) && (306 >= a3))  && (a18==8))))))){
	    	a3 = ((((a3 + 94090) % 300057)- 299941) * 1);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ((((a18==10) || ((a18==8) || (a18==9))) && (input == 5)) &&  417 < a3 )) && (a24==4))){
	    	a3 = ((((((a3 - 0) % 55)+ 334) * 5) % 55)- -359);
	    		a24 = 2; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a15==6) && (((((a18==10) || ((a18==8) || (a18==9))) && (input == 6)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==3)))){
	    	a3 = (((a3 / 5) - -320) - -35);
	    		a24 = 1; 
	    		a18 = 11; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==2) && (( a3 <=  115  && (input == 2)) && (a18==9))) && (a15==6))){

	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==0) && ((((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 5))))){
	    	a3 = ((((((a3 * 9)/ 10) % 95)+ 211) - -438126) + -438125);
	    		a24 = 3; 
	    		a18 = 8; 

	    	 return 25;
	    } else if(( 417 < a3  && (((a24==4) && (((a18==11) || (a18==12)) && (input == 6))) && (a15==4)))){
	    	a3 = (((a3 - 0) - 600138) + -71);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a24==1) && ((  ((115 < a3) && (306 >= a3))  && ((input == 1) && ((a18==11) || (a18==12)))) && (a15==6)))){

	    		a18 = 11; 

	    	 return -1;
	    } else if(((a24==4) && (((((a18==10) || ((a18==8) || (a18==9))) && (input == 4)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==4)))){
	    	a3 = ((((a3 * 5) % 95)- -125) * 1);
	    		a24 = 1; 
	    		a18 = 10; 
	    		a15 = 5; 

	    	 return 25;
	    } else if(((a24==1) && (( a3 <=  115  && ((((a18==10) || (a18==11)) || (a18==12)) && (input == 2))) && (a15==6)))){
	    	a3 = (((((a3 + 0) % 55)- -362) + 458587) - 458587);
	    		a24 = 0; 
	    		a18 = 10; 

	    	 return -1;
	    } else if((((a24==4) && ((a15==4) && ((a18==10) && (input == 1)))) &&  a3 <=  115 )){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==4) && (  ((306 < a3) && (417 >= a3))  && ((input == 6) && ((a18==11) || (a18==12))))))){
	    	a3 = (((a3 * 5) - 574289) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a15==4) && ((input == 2) && ((a18==11) || ((a18==9) || (a18==10))))) && (a24==3)) &&  417 < a3 )){
	    	a3 = (((a3 + -600129) - 241) / 5);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((a24==0) && (((a18==12) && (input == 1)) && (a15==5))))){
	    	a3 = (((a3 * -5) / 5) * 5);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((306 < a3) && (417 >= a3))  && (((input == 6) && (a18==12)) && (a15==6))) && (a24==1))){
	    	a3 = (((a3 * 5) * -5) + -554351);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && ((((input == 2) && ((a18==11) || (a18==12))) && (a24==3)) && (a15==4)))){
	    	a3 = (((a3 - 406098) / 5) - 3614);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((input == 5) && (((a18==8) &&   ((115 < a3) && (306 >= a3)) ) || (((a18==11) &&  a3 <=  115 ) || ((a18==12) &&  a3 <=  115 )))) && (a15==5)) && (a24==4))){
	    	a3 = ((((((a3 + 0) % 55)- -361) * 5) % 55)+ 352);
	    		a24 = 0; 
	    		a18 = 10; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((((a24==2) && ( a3 <=  115  && (input == 3))) && (a15==5)) && (a18==12))){
	    	a3 = ((((((a3 % 55)+ 361) * 5) - -268768) % 55)+ 318);
	    		a24 = 0; 
	    		a15 = 6; 

	    	 return 25;
	    } else if((((  ((306 < a3) && (417 >= a3))  && ((input == 3) && ((a18==8) || (a18==9)))) && (a24==1)) && (a15==6))){

	    		a24 = 4; 
	    		a18 = 12; 
	    		a15 = 4; 

	    	 return 21;
	    } else if(((a24==4) && ((a15==5) && (  ((306 < a3) && (417 >= a3))  && ((input == 1) && ((a18==11) || (a18==12))))))){
	    	a3 = ((((a3 - -278437) / -5) * 10)/ 9);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((a24==4) && (((a18==11) || (a18==12)) && (input == 5))) && (a15==5)) &&   ((306 < a3) && (417 >= a3)) )){

	    		a24 = 1; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a24==3) && (  ((115 < a3) && (306 >= a3))  && (((input == 1) && ((a18==8) || (a18==9))) && (a15==5))))){
	    	a3 = ((((a3 - -315256) + 60222) + 127166) - 671543);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 3) && ((a18==9) || (a18==10))) &&   ((306 < a3) && (417 >= a3)) ) && (a24==1)) && (a15==5))){

	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 21;
	    } else if((((a15==4) && (((input == 3) && (((a18==8) || (a18==9)) || (a18==10))) && (a24==4))) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 - 463226) - 56049) - 30162);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a15==5) && ((((a18==8) || (a18==9)) || (a18==10)) && (input == 3))) &&   ((306 < a3) && (417 >= a3)) ) && (a24==4))){
	    	a3 = (((a3 / -5) + -114427) + -219360);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 6) && (( 417 < a3  && (a18==8)) || (((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || (  ((306 < a3) && (417 >= a3))  && (a18==12))))) && (a15==5)) && (a24==1))){
	    	a3 = ((((a3 * 9)/ 10) - 553048) / 5);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && (((  ((306 < a3) && (417 >= a3))  && (a18==12)) || ( 417 < a3  && (a18==8))) && (input == 4))) && (a24==2))){
	    	a3 = (((a3 - 599977) - 211) + -66);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && (  ((306 < a3) && (417 >= a3))  && ((a24==0) && ((input == 4) && ((a18==11) || (a18==12))))))){
	    	a3 = (((a3 - 120) + -386244) - -386210);
	    		a24 = 4; 
	    		a18 = 10; 

	    	 return 21;
	    } else if((( 417 < a3  && ((a24==3) && ((input == 4) && (a18==10)))) && (a15==5))){
	    	a3 = ((((a3 + -546509) / 5) - -523087) * -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(( a3 <=  115  && ((a15==4) && (((input == 2) && ((a18==11) || (a18==12))) && (a24==4))))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((((a24==3) && ((a15==4) && (input == 3))) && (a18==9)) &&  a3 <=  115 )){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a15==5) && ((((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )) && (input == 4))) && (a24==0))){
	    	a3 = ((((a3 - -479640) % 300057)+ -299941) - 1);
	    		a24 = 3; 
	    		a18 = 12; 

	    	 return 25;
	    } else if((((((a18==11) && (input == 1)) && (a24==3)) &&   ((306 < a3) && (417 >= a3)) ) && (a15==5))){
	    	a3 = ((((a3 * -5) - -47142) * 5) * -2);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==1) && (  ((115 < a3) && (306 >= a3))  && ((input == 4) && ((a18==9) || (a18==10))))))){
	    	a3 = ((((a3 * -5) / 5) + 310281) * -1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && (( 417 < a3  && (((a18==8) || (a18==9)) && (input == 4))) && (a15==5)))){

	    		a18 = 8; 

	    	 return 25;
	    } else if((((((a15==4) && (input == 3)) && (a18==10)) &&   ((115 < a3) && (306 >= a3)) ) && (a24==3))){
	    	a3 = (((a3 - 561788) + -19243) + -17216);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((a24==0) && (((input == 6) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5))) && (a18==12))){
	    	a3 = (((a3 / 5) + 441283) - 445116);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==6) && (((input == 6) && (a18==8)) && (a24==3))))){
	    	a3 = (((((a3 + -47974) * 10)/ 9) + 376027) + -859195);
	    		a24 = 0; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((  ((115 < a3) && (306 >= a3))  && (((a24==1) && ((input == 2) && ((a18==9) || (a18==10)))) && (a15==5)))){
	    	a3 = (((a3 + 194776) + 314910) + 59449);
	    		a24 = 0; 
	    		a18 = 11; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((a15==5) && (((a24==0) && (((a18==10) || ((a18==8) || (a18==9))) && (input == 6))) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((a3 + 363685) / 5) + -317846);
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((a24==2) && ((input == 3) && ((a18==9) || (a18==10))))) && (a15==5))){
	    	a3 = (((a3 / 5) + 249200) + -248857);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a24==1) && ((((input == 3) && ((a18==9) || (a18==10))) &&  a3 <=  115 ) && (a15==5)))){
	    	a3 = ((((a3 / 5) - -218828) % 95)- -166);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((a24==3) && ((a15==5) && (((a18==10) && (input == 2)) &&  417 < a3 )))){
	    	a3 = ((((a3 + 0) % 55)- -355) + 8);
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 26;
	    } else if(((a24==1) && (((((a18==8) || (a18==9)) && (input == 4)) && (a15==6)) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((((a3 - 152) * 9)/ 10) / 5) - -151);
	    		a18 = 10; 

	    	 return -1;
	    } else if(((a24==0) && ( a3 <=  115  && ((a15==5) && ((input == 6) && (a18==8)))))){

	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==6) && ((input == 1) && ((((a18==11) &&   ((115 < a3) && (306 >= a3)) ) || ((a18==12) &&   ((115 < a3) && (306 >= a3)) )) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) )))) && (a24==2))){
	    	a3 = ((((a3 - -516636) + 36214) - -15968) * -1);
	    		a18 = 10; 

	    	 return -1;
	    } else if(((a15==6) && ((  ((306 < a3) && (417 >= a3))  && ((input == 2) && (a18==11))) && (a24==1)))){
	    	a3 = (((a3 + 536313) / -5) - 222899);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ( 417 < a3  && ((a24==2) && (((a18==10) || (a18==11)) && (input == 6)))))){
	    	a3 = (((a3 + -600084) - 198) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((((input == 5) && ((a18==9) || (a18==10))) && (a15==4)) &&  417 < a3 ) && (a24==4))){
	    	a3 = (((a3 / -5) / 5) + -396652);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((((a18==12) || ((a18==10) || (a18==11))) && (input == 6)) && (a15==5))) && (a24==3))){
	    	a3 = (((a3 / 5) - 224913) + -244476);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a18==8) && (((a15==6) && ((input == 2) && (a24==3))) &&   ((306 < a3) && (417 >= a3)) ))){
	    	a3 = (((a3 + -262113) - -794926) * 1);
	    		a24 = 0; 
	    		a18 = 11; 

	    	 return -1;
	    } else if((  ((306 < a3) && (417 >= a3))  && ((a15==5) && ((a24==1) && (((a18==9) || (a18==10)) && (input == 6)))))){
	    	a3 = (((a3 - 346964) - 81597) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==3) && ((( 417 < a3  && (a18==8)) || ((  ((306 < a3) && (417 >= a3))  && (a18==11)) || (  ((306 < a3) && (417 >= a3))  && (a18==12)))) && (input == 2))) && (a15==4))){
	    	a3 = ((((a3 * 9)/ 10) * -1) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(( 417 < a3  && ((((input == 4) && (((a18==9) || (a18==10)) || (a18==11))) && (a15==6)) && (a24==2)))){
	    	a3 = ((((a3 * 9)/ 10) * -1) * 1);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((input == 3) && (( a3 <=  115  && ((a18==9) && (a24==1))) || (( 417 < a3  && ((a24==0) && (a18==12))) || ( a3 <=  115  && ((a18==8) && (a24==1)))))) && (a15==6))){
	    	a3 = ((((a3 % 300057)+ -299941) + -1) - 2);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((( 417 < a3  && ((a24==2) && (a18==12))) || (((a24==3) && (a18==8)) &&  a3 <=  115 )) || (((a24==3) && (a18==9)) &&  a3 <=  115 )) && (input == 2)) && (a15==5))){
	    	a3 = (((((a3 % 300057)+ -299941) - 3) * 9)/ 10);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==5) && ((  ((115 < a3) && (306 >= a3))  && (((a18==9) || (a18==10)) && (input == 6))) && (a24==4)))){
	    	a3 = ((((a3 % 55)+ 341) * 1) + 10);
	    		a24 = 0; 
	    		a18 = 12; 

	    	 return 21;
	    } else if(((((((a18==8) || (a18==9)) && (input == 1)) && (a24==1)) && (a15==6)) &&   ((306 < a3) && (417 >= a3)) )){
	    	a3 = (((a3 / 5) * 5) + -345460);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a15==4) && ((a24==3) && (((input == 1) && (((a18==10) || (a18==11)) || (a18==12))) &&  a3 <=  115 )))){

	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if((((((((a18==10) || (a18==11)) || (a18==12)) && (input == 2)) &&   ((115 < a3) && (306 >= a3)) ) && (a15==5)) && (a24==3))){
	    	a3 = ((((a3 - 172245) + -128238) * 10)/ 9);
	    		a24 = 1; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 26;
	    } else if((((a15==6) && (  ((115 < a3) && (306 >= a3))  && (((a18==11) || (a18==12)) && (input == 3)))) && (a24==3))){
	    	a3 = ((((((a3 % 55)+ 320) - 12) * 5) % 55)+ 336);
	    		a24 = 2; 
	    		a18 = 10; 

	    	 return -1;
	    } else if(((a15==5) && ((a24==1) && ((input == 2) && (((a18==12) &&  a3 <=  115 ) || ((a18==8) &&   ((115 < a3) && (306 >= a3)) )))))){
	    	a3 = (((((a3 % 55)- -361) + 0) - -112814) - 112813);
	    		a24 = 0; 
	    		a18 = 12; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((a15==6) && ( a3 <=  115  && ((a18==12) && ((a24==2) && (input == 1)))))){
	    	a3 = (((((a3 % 55)+ 361) / 5) * 5) + 2);
	    		a24 = 3; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==2) && (  ((306 < a3) && (417 >= a3))  && (((input == 3) && ((a18==9) || (a18==10))) && (a15==5))))){
	    	a3 = (((a3 + 413206) - 981948) + 122837);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((a24==3) && (((a18==10) && ((input == 6) &&   ((115 < a3) && (306 >= a3)) )) && (a15==4)))){
	    	a3 = (((a3 * 5) + -583604) * 1);
	    		a24 = 0; 
	    		a18 = 8; 

	    	 return -1;
	    } else if(((a15==5) && (((( a3 <=  115  && (a18==12)) || (  ((115 < a3) && (306 >= a3))  && (a18==8))) && (input == 3)) && (a24==1)))){
	    	a3 = ((((a3 % 299791)- -300208) * 1) - 0);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 6; 

	    	 return 21;
	    } else if(((((((a18==11) || (a18==12)) && (input == 5)) &&   ((115 < a3) && (306 >= a3)) ) && (a15==6)) && (a24==3))){
	    	a3 = (((a3 - 580000) + -16558) - 2126);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a24==4) && ( 417 < a3  && (((a18==10) || ((a18==8) || (a18==9))) && (input == 1)))) && (a15==5))){
	    	a3 = ((((a3 + -599887) + -522) + 441660) + -441353);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((((input == 5) && ((((a18==11) &&   ((306 < a3) && (417 >= a3)) ) || ((a18==12) &&   ((306 < a3) && (417 >= a3)) )) || ((a18==8) &&  417 < a3 ))) && (a24==2)) && (a15==5))){
	    	a3 = (((((a3 * 9)/ 10) / 5) % 55)+ 324);
	    		a24 = 0; 
	    		a18 = 9; 
	    		a15 = 6; 

	    	 return 25;
	    } else if(((a15==6) && (((input == 6) && (((  ((115 < a3) && (306 >= a3))  && (a18==11)) || (  ((115 < a3) && (306 >= a3))  && (a18==12))) || ((a18==8) &&   ((306 < a3) && (417 >= a3)) ))) && (a24==2)))){
	    	a3 = (((a3 + -230893) + -45185) - 185687);
	    		a24 = 0; 
	    		a18 = 8; 
	    		a15 = 4; 

	    	 return -1;
	    } else if(((  ((115 < a3) && (306 >= a3))  && ((((a18==9) || (a18==10)) && (input == 1)) && (a15==5))) && (a24==2))){
	    	a3 = (((a3 / 5) + -508446) - 23939);
	    		a24 = 1; 
	    		a18 = 9; 
	    		a15 = 4; 

	    	 return -1;
	    } else if((((a15==5) && ( a3 <=  115  && ((input == 3) && ((a18==10) || (a18==11))))) && (a24==0))){
	    	a3 = ((((a3 % 299791)- -300208) - 0) * 1);
	    		a24 = 2; 
	    		a18 = 12; 

	    	 return 21;
	    } 
	    return -2;
	}

int main()
{
    // default output
    int output = -1;

    // main i/o-loop
    while(1)
    {
        // read input
        int input;
        input = __VERIFIER_nondet_int();
        if ((input != 1) && (input != 2) && (input != 3) && (input != 4) && (input != 5) && (input != 6)) return -2;

        // operate eca engine
        output = calculate_output(input);
    }
}