extern int __VERIFIER_nondet_int();

extern void __assert_fail (const char *__assertion, const char *__file,
      unsigned int __line, const char *__function)
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
extern void __assert_perror_fail (int __errnum, const char *__file,
      unsigned int __line, const char *__function)
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
extern void __assert (const char *__assertion, const char *__file, int __line)
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));

void reach_error() { ((void) sizeof ((0) ? 1 : 0), __extension__ ({ if (0) ; else __assert_fail ("0", "Problem11.c", 3, __extension__ __PRETTY_FUNCTION__); })); }
void reach_error_a(){ reach_error(); }
void reach_error_b(){ reach_error(); }
void reach_error_0(){ reach_error_b(); }
void reach_error_1(){ reach_error_a(); }
void reach_error_2(){ reach_error_a(); }
void reach_error_3(){ reach_error_b(); }
void reach_error_4(){ reach_error_b(); }
void reach_error_5(){ reach_error_b(); }
void reach_error_6(){ reach_error_b(); }
void reach_error_7(){ reach_error_b(); }
void reach_error_8(){ reach_error_b(); }
void reach_error_9(){ reach_error_a(); }
void reach_error_10(){ reach_error_b(); }
void reach_error_11(){ reach_error_b(); }
void reach_error_12(){ reach_error_a(); }
void reach_error_13(){ reach_error_b(); }
void reach_error_14(){ reach_error_a(); }
void reach_error_15(){ reach_error_a(); }
void reach_error_16(){ reach_error_b(); }
void reach_error_17(){ reach_error_a(); }
void reach_error_18(){ reach_error_b(); }
void reach_error_19(){ reach_error_a(); }
void reach_error_20(){ reach_error_b(); }
void reach_error_21(){ reach_error_b(); }
void reach_error_22(){ reach_error_b(); }
void reach_error_23(){ reach_error_a(); }
void reach_error_24(){ reach_error_b(); }
void reach_error_25(){ reach_error_b(); }
void reach_error_26(){ reach_error_b(); }
void reach_error_27(){ reach_error_b(); }
void reach_error_28(){ reach_error_b(); }
void reach_error_29(){ reach_error_a(); }
void reach_error_30(){ reach_error_a(); }
void reach_error_31(){ reach_error_b(); }
void reach_error_32(){ reach_error_b(); }
void reach_error_33(){ reach_error_a(); }
void reach_error_34(){ reach_error_a(); }
void reach_error_35(){ reach_error_b(); }
void reach_error_36(){ reach_error_b(); }
void reach_error_37(){ reach_error_b(); }
void reach_error_38(){ reach_error_b(); }
void reach_error_39(){ reach_error_a(); }
void reach_error_40(){ reach_error_b(); }
void reach_error_41(){ reach_error_b(); }
void reach_error_42(){ reach_error_b(); }
void reach_error_43(){ reach_error_a(); }
void reach_error_44(){ reach_error_a(); }
void reach_error_45(){ reach_error_a(); }
void reach_error_46(){ reach_error_b(); }
void reach_error_47(){ reach_error_a(); }
void reach_error_48(){ reach_error_a(); }
void reach_error_49(){ reach_error_b(); }
void reach_error_50(){ reach_error_b(); }
void reach_error_51(){ reach_error_b(); }
void reach_error_52(){ reach_error_a(); }
void reach_error_53(){ reach_error_b(); }
void reach_error_54(){ reach_error_b(); }
void reach_error_55(){ reach_error_b(); }
void reach_error_56(){ reach_error_a(); }
void reach_error_57(){ reach_error_b(); }
void reach_error_58(){ reach_error_b(); }
void reach_error_59(){ reach_error_a(); }
void reach_error_60(){ reach_error_b(); }
void reach_error_61(){ reach_error_a(); }
void reach_error_62(){ reach_error_b(); }
void reach_error_63(){ reach_error_b(); }
void reach_error_64(){ reach_error_b(); }
void reach_error_65(){ reach_error_a(); }
void reach_error_66(){ reach_error_a(); }
void reach_error_67(){ reach_error_b(); }
void reach_error_68(){ reach_error_b(); }
void reach_error_69(){ reach_error_a(); }
void reach_error_70(){ reach_error_b(); }
void reach_error_71(){ reach_error_b(); }
void reach_error_72(){ reach_error_a(); }
void reach_error_73(){ reach_error_a(); }
void reach_error_74(){ reach_error_a(); }
void reach_error_75(){ reach_error_a(); }
void reach_error_76(){ reach_error_b(); }
void reach_error_77(){ reach_error_b(); }
void reach_error_78(){ reach_error_a(); }
void reach_error_79(){ reach_error_a(); }
void reach_error_80(){ reach_error_b(); }
void reach_error_81(){ reach_error_b(); }
void reach_error_82(){ reach_error_b(); }
void reach_error_83(){ reach_error_b(); }
void reach_error_84(){ reach_error_b(); }
void reach_error_85(){ reach_error_a(); }
void reach_error_86(){ reach_error_b(); }
void reach_error_87(){ reach_error_b(); }
void reach_error_88(){ reach_error_b(); }
void reach_error_89(){ reach_error_a(); }
void reach_error_90(){ reach_error_b(); }
void reach_error_91(){ reach_error_b(); }
void reach_error_92(){ reach_error_a(); }
void reach_error_93(){ reach_error_b(); }
void reach_error_94(){ reach_error_b(); }
void reach_error_95(){ reach_error_b(); }
void reach_error_96(){ reach_error_a(); }
void reach_error_97(){ reach_error_a(); }
void reach_error_98(){ reach_error_a(); }
void reach_error_99(){ reach_error_b(); }


	// inputs
	int inputs[] = {7,10,6,2,5,3,9,4,8,1};

	void errorCheck();
	void calculate_output(int);
	void calculate_outputm1(int);
	void calculate_outputm2(int);
	void calculate_outputm3(int);
	void calculate_outputm4(int);
	void calculate_outputm5(int);
	void calculate_outputm6(int);
	void calculate_outputm7(int);
	void calculate_outputm8(int);
	void calculate_outputm9(int);
	void calculate_outputm10(int);
	void calculate_outputm11(int);
	void calculate_outputm12(int);
	void calculate_outputm13(int);
	void calculate_outputm14(int);
	void calculate_outputm15(int);
	void calculate_outputm16(int);
	void calculate_outputm17(int);
	void calculate_outputm18(int);
	void calculate_outputm19(int);
	void calculate_outputm20(int);
	void calculate_outputm21(int);
	void calculate_outputm22(int);
	void calculate_outputm23(int);
	void calculate_outputm24(int);
	void calculate_outputm25(int);
	void calculate_outputm26(int);
	void calculate_outputm27(int);
	void calculate_outputm28(int);
	void calculate_outputm29(int);
	void calculate_outputm30(int);
	void calculate_outputm31(int);
	void calculate_outputm32(int);
	void calculate_outputm33(int);
	void calculate_outputm34(int);
	void calculate_outputm35(int);
	void calculate_outputm36(int);
	void calculate_outputm37(int);
	void calculate_outputm38(int);
	void calculate_outputm39(int);
	void calculate_outputm40(int);
	void calculate_outputm41(int);
	void calculate_outputm42(int);
	void calculate_outputm43(int);
	void calculate_outputm44(int);
	void calculate_outputm45(int);
	void calculate_outputm46(int);
	void calculate_outputm47(int);
	void calculate_outputm48(int);
	void calculate_outputm49(int);
	void calculate_outputm50(int);
	void calculate_outputm51(int);
	void calculate_outputm52(int);
	void calculate_outputm53(int);
	void calculate_outputm54(int);
	void calculate_outputm55(int);
	void calculate_outputm56(int);
	void calculate_outputm57(int);
	void calculate_outputm58(int);
	void calculate_outputm59(int);
	void calculate_outputm60(int);
	void calculate_outputm61(int);
	void calculate_outputm62(int);
	void calculate_outputm63(int);
	void calculate_outputm64(int);
	void calculate_outputm65(int);
	void calculate_outputm66(int);
	void calculate_outputm67(int);
	void calculate_outputm68(int);
	void calculate_outputm69(int);
	void calculate_outputm70(int);
	void calculate_outputm71(int);
	void calculate_outputm72(int);
	void calculate_outputm73(int);
	void calculate_outputm74(int);
	void calculate_outputm75(int);
	void calculate_outputm76(int);
	void calculate_outputm77(int);
	void calculate_outputm78(int);
	void calculate_outputm79(int);
	void calculate_outputm80(int);
	void calculate_outputm81(int);
	void calculate_outputm82(int);
	void calculate_outputm83(int);
	void calculate_outputm84(int);
	void calculate_outputm85(int);
	void calculate_outputm86(int);
	void calculate_outputm87(int);
	void calculate_outputm88(int);
	void calculate_outputm89(int);
	void calculate_outputm90(int);
	void calculate_outputm91(int);
	void calculate_outputm92(int);
	void calculate_outputm93(int);
	void calculate_outputm94(int);
	void calculate_outputm95(int);
	void calculate_outputm96(int);
	void calculate_outputm97(int);
	void calculate_outputm98(int);
	void calculate_outputm99(int);
	void calculate_outputm100(int);
	void calculate_outputm101(int);
	void calculate_outputm102(int);
	void calculate_outputm103(int);
	void calculate_outputm104(int);
	void calculate_outputm105(int);
	void calculate_outputm106(int);
	void calculate_outputm107(int);
	void calculate_outputm108(int);
	void calculate_outputm109(int);
	void calculate_outputm110(int);
	void calculate_outputm111(int);
	void calculate_outputm112(int);
	void calculate_outputm113(int);
	void calculate_outputm114(int);
	void calculate_outputm115(int);
	void calculate_outputm116(int);
	void calculate_outputm117(int);
	void calculate_outputm118(int);
	void calculate_outputm119(int);
	void calculate_outputm120(int);
	void calculate_outputm121(int);
	void calculate_outputm122(int);
	void calculate_outputm123(int);
	void calculate_outputm124(int);
	void calculate_outputm125(int);
	void calculate_outputm126(int);
	void calculate_outputm127(int);
	void calculate_outputm128(int);
	void calculate_outputm129(int);
	void calculate_outputm130(int);
	void calculate_outputm131(int);
	void calculate_outputm132(int);
	void calculate_outputm133(int);
	void calculate_outputm134(int);
	void calculate_outputm135(int);
	void calculate_outputm136(int);
	void calculate_outputm137(int);
	void calculate_outputm138(int);
	void calculate_outputm139(int);
	void calculate_outputm140(int);
	void calculate_outputm141(int);
	void calculate_outputm142(int);
	void calculate_outputm143(int);
	void calculate_outputm144(int);
	void calculate_outputm145(int);
	void calculate_outputm146(int);
	void calculate_outputm147(int);
	void calculate_outputm148(int);
	void calculate_outputm149(int);
	void calculate_outputm150(int);
	void calculate_outputm151(int);
	void calculate_outputm152(int);
	void calculate_outputm153(int);
	void calculate_outputm154(int);
	void calculate_outputm155(int);
	void calculate_outputm156(int);
	void calculate_outputm157(int);
	void calculate_outputm158(int);
	void calculate_outputm159(int);
	void calculate_outputm160(int);
	void calculate_outputm161(int);
	void calculate_outputm162(int);
	void calculate_outputm163(int);
	void calculate_outputm164(int);
	void calculate_outputm165(int);
	void calculate_outputm166(int);
	void calculate_outputm167(int);
	void calculate_outputm168(int);
	void calculate_outputm169(int);

	 int a589117628 = 34;
	 int a1290652559 = 4;
	 int a236788248 = 16;
	 int a1580522136 = 161;
	 int a45685611 = 11;
	 int a1889803145 = 118;
	 int a910748832  = 36;
	 int a471011792 = 10;
	 int a946891643 = 5;
	 int a665096794 = 11;
	 int a850881173 = 141;
	 int a2040628137 = 8;
	 int a583510163 = 77;
	 int a1859402009 = 14;
	 int a268371874 = 51;
	 int a837448621  = 32;
	 int a824024208  = 32;
	 int a1171576990  = 32;
	 int a1422023390 = -4;
	 int a1605463015 = 9;
	 int a812175843  = 36;
	 int a890181220  = 32;
	 int a808219163  = 35;
	 int a1210734340 = 58;
	 int a1864015649  = 33;
	 int a1944090451  = 34;
	 int a412613099 = -28;
	 int a2139179119 = 15;
	 int cf = 1;
	 int a648283191 = -108;
	 int a71064409 = -168;
	 int a499699109 = 3;
	 int a1001390225 = -24;
	 int a274381288 = 312;
	 int a1218264876  = 32;
	 int a1535937505  = 32;
	 int a1879373572  = 32;
	 int a2064844468  = 32;
	 int a182175502 = 7;
	 int a482477713 = 8;
	 int a44138666  = 36;
	 int a418218587  = 36;
	 int a621522874 = 131;
	 int a2083223046  = 35;
	 int a1179664392  = 33;
	 int a166920931 = 8;
	 int a1684594625 = 108;
	 int a1534902259  = 32;
	 int a430318312 = 3;
	 int a1821141922  = 35;
	 int a835102539 = 5;
	 int a2079503415 = 13;
	 int a1071924404  = 34;
	 int a2061255735 = 6;
	 int a2122722213 = 2;
	 int a552913881 = 520;
	 int a173429297 = -35;
	 int a763506461 = 0;
	 int a635353122 = 1;
	 int a1075927325 = 0;
	 int a434613686 = 0;
	 int a95561532 = 0;
	 int a1487195600 = 1;
	 int a275262794 = 0;
	 int a273635060 = 1;
	 int a1221017635 = 0;
	 int a311962986 = 0;
	 int a2084484762 = 0;
	 int a460288454 = 0;
	 int a418880267 = 1;
	 int a1264277206 = 1;
	 int a1355501303 = 1;
	 int a547738254 = 0;
	 int a1515611838 = 0;
	 int a514396383 = 2;
	 int a1955344686 = 0;
	 int a220097023 = 1;
	 int a1053339053 = 2;
	 int a501521675 = 3;
	 int a487646776 = 2;
	 int a1716545843 = 0;
	 int a51415461 = 3;
	 int a1425431969 = 2;
	 int a416125995 = 3;
	 int a1498331231 = 1;
	 int a1148381820 = 2;
	 int a838736370 = 2;
	 int a834109496 = 3;
	 int a1859169403 = 0;
	 int a1743588795 = 1;
	 int a112204540 = 3;
	 int a1347184625 = 1;


	void errorCheck() {
	    if(((a824024208 == 33 && ((330 < a621522874) && (523 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_0();
	    }
	    if(((a1944090451 == 34 && a44138666 == 32) && a471011792 == 5)){
	    cf = 0;
	    reach_error_1();
	    }
	    if(((a910748832 == 32 && a236788248 == 17) && a471011792 == 9)){
	    cf = 0;
	    reach_error_2();
	    }
	    if(((a812175843 == 33 && a2122722213 == 7) && a471011792 == 12)){
	    cf = 0;
	    reach_error_3();
	    }
	    if(((a1944090451 == 36 && a44138666 == 32) && a471011792 == 5)){
	    cf = 0;
	    reach_error_4();
	    }
	    if(((a166920931 == 11 && a2122722213 == 8) && a471011792 == 12)){
	    cf = 0;
	    reach_error_5();
	    }
	    if(((a1422023390 <=  -145 && a236788248 == 10) && a471011792 == 9)){
	    cf = 0;
	    reach_error_6();
	    }
	    if(((a236788248 == 10 && a44138666 == 35) && a471011792 == 5)){
	    cf = 0;
	    reach_error_7();
	    }
	    if(((a808219163 == 32 && a418218587 == 33) && a471011792 == 7)){
	    cf = 0;
	    reach_error_8();
	    }
	    if(((a824024208 == 35 && ((330 < a621522874) && (523 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_9();
	    }
	    if(((((22 < a1422023390) && (156 >= a1422023390)) && a236788248 == 10) && a471011792 == 9)){
	    cf = 0;
	    reach_error_10();
	    }
	    if(((a236788248 == 10 && a44138666 == 36) && a471011792 == 5)){
	    cf = 0;
	    reach_error_11();
	    }
	    if(((a1864015649 == 33 && a236788248 == 13) && a471011792 == 9)){
	    cf = 0;
	    reach_error_12();
	    }
	    if(((a824024208 == 34 && a2122722213 == 4) && a471011792 == 12)){
	    cf = 0;
	    reach_error_13();
	    }
	    if(((a2083223046 == 33 && a418218587 == 34) && a471011792 == 7)){
	    cf = 0;
	    reach_error_14();
	    }
	    if(((a236788248 == 12 && a44138666 == 35) && a471011792 == 5)){
	    cf = 0;
	    reach_error_15();
	    }
	    if(((a1821141922 == 35 && a2122722213 == 2) && a471011792 == 12)){
	    cf = 0;
	    reach_error_16();
	    }
	    if(((((-101 < a1889803145) && (114 >= a1889803145)) && a45685611 == 12) && a471011792 == 6)){
	    cf = 0;
	    reach_error_17();
	    }
	    if(((a946891643 == 5 && a45685611 == 7) && a471011792 == 6)){
	    cf = 0;
	    reach_error_18();
	    }
	    if(((a1944090451 == 33 && a44138666 == 32) && a471011792 == 5)){
	    cf = 0;
	    reach_error_19();
	    }
	    if(((((383 < a552913881) && (501 >= a552913881)) && a44138666 == 34) && a471011792 == 5)){
	    cf = 0;
	    reach_error_20();
	    }
	    if(((a946891643 == 9 && a45685611 == 7) && a471011792 == 6)){
	    cf = 0;
	    reach_error_21();
	    }
	    if(((a2139179119 == 15 && a45685611 == 13) && a471011792 == 6)){
	    cf = 0;
	    reach_error_22();
	    }
	    if(((a1218264876 == 33 && a236788248 == 14) && a471011792 == 9)){
	    cf = 0;
	    reach_error_23();
	    }
	    if(((a236788248 == 12 && a44138666 == 36) && a471011792 == 5)){
	    cf = 0;
	    reach_error_24();
	    }
	    if(((((114 < a1889803145) && (196 >= a1889803145)) && a45685611 == 12) && a471011792 == 6)){
	    cf = 0;
	    reach_error_25();
	    }
	    if(((a910748832 == 34 && a236788248 == 17) && a471011792 == 9)){
	    cf = 0;
	    reach_error_26();
	    }
	    if(((a482477713 == 8 && a236788248 == 16) && a471011792 == 9)){
	    cf = 0;
	    reach_error_27();
	    }
	    if(((a808219163 == 34 && a418218587 == 33) && a471011792 == 7)){
	    cf = 0;
	    reach_error_28();
	    }
	    if(((((330 < a621522874) && (523 >= a621522874)) && a418218587 == 32) && a471011792 == 7)){
	    cf = 0;
	    reach_error_29();
	    }
	    if(((((75 < a589117628) && (276 >= a589117628)) && a236788248 == 12) && a471011792 == 9)){
	    cf = 0;
	    reach_error_30();
	    }
	    if(((a1071924404 == 35 && a1179664392 == 32) && a471011792 == 8)){
	    cf = 0;
	    reach_error_31();
	    }
	    if(((a1684594625 <=  -160 && a44138666 == 33) && a471011792 == 5)){
	    cf = 0;
	    reach_error_32();
	    }
	    if(((a1218264876 == 36 && a236788248 == 14) && a471011792 == 9)){
	    cf = 0;
	    reach_error_33();
	    }
	    if(((105 < a1684594625 && ((116 < a621522874) && (330 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_34();
	    }
	    if(((a166920931 == 13 && a2122722213 == 8) && a471011792 == 12)){
	    cf = 0;
	    reach_error_35();
	    }
	    if(((a430318312 == 9 && a1179664392 == 36) && a471011792 == 8)){
	    cf = 0;
	    reach_error_36();
	    }
	    if(((((-160 < a1684594625) && (-26 >= a1684594625)) && ((116 < a621522874) && (330 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_37();
	    }
	    if(((a648283191 <=  -91 && ((168 < a552913881) && (383 >= a552913881))) && a471011792 == 10)){
	    cf = 0;
	    reach_error_38();
	    }
	    if(((a2139179119 == 13 && a236788248 == 11) && a471011792 == 9)){
	    cf = 0;
	    reach_error_39();
	    }
	    if(((a1218264876 == 32 && a45685611 == 9) && a471011792 == 6)){
	    cf = 0;
	    reach_error_40();
	    }
	    if(((a1218264876 == 34 && a236788248 == 14) && a471011792 == 9)){
	    cf = 0;
	    reach_error_41();
	    }
	    if(((((-69 < a648283191) && (120 >= a648283191)) && a621522874 <=  116) && a471011792 == 11)){
	    cf = 0;
	    reach_error_42();
	    }
	    if(((156 < a1422023390 && a236788248 == 10) && a471011792 == 9)){
	    cf = 0;
	    reach_error_43();
	    }
	    if(((a1218264876 == 36 && a45685611 == 14) && a471011792 == 6)){
	    cf = 0;
	    reach_error_44();
	    }
	    if(((a824024208 == 34 && ((330 < a621522874) && (523 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_45();
	    }
	    if(((a2139179119 == 11 && a236788248 == 11) && a471011792 == 9)){
	    cf = 0;
	    reach_error_46();
	    }
	    if(((a482477713 == 7 && a236788248 == 16) && a471011792 == 9)){
	    cf = 0;
	    reach_error_47();
	    }
	    if(((a1071924404 == 36 && a1179664392 == 32) && a471011792 == 8)){
	    cf = 0;
	    reach_error_48();
	    }
	    if(((a499699109 == 3 && 523 < a621522874) && a471011792 == 11)){
	    cf = 0;
	    reach_error_49();
	    }
	    if(((a418218587 == 32 && a2122722213 == 3) && a471011792 == 12)){
	    cf = 0;
	    reach_error_50();
	    }
	    if(((a482477713 == 9 && a236788248 == 16) && a471011792 == 9)){
	    cf = 0;
	    reach_error_51();
	    }
	    if(((a2079503415 == 13 && a236788248 == 15) && a471011792 == 9)){
	    cf = 0;
	    reach_error_52();
	    }
	    if(((a482477713 == 6 && a236788248 == 16) && a471011792 == 9)){
	    cf = 0;
	    reach_error_53();
	    }
	    if(((276 < a589117628 && a236788248 == 12) && a471011792 == 9)){
	    cf = 0;
	    reach_error_54();
	    }
	    if(((((160 < a173429297) && (321 >= a173429297)) && a418218587 == 35) && a471011792 == 7)){
	    cf = 0;
	    reach_error_55();
	    }
	    if(((((-59 < a173429297) && (160 >= a173429297)) && a45685611 == 10) && a471011792 == 6)){
	    cf = 0;
	    reach_error_56();
	    }
	    if(((a71064409 <=  -150 && a1179664392 == 34) && a471011792 == 8)){
	    cf = 0;
	    reach_error_57();
	    }
	    if(((a2139179119 == 10 && a45685611 == 13) && a471011792 == 6)){
	    cf = 0;
	    reach_error_58();
	    }
	    if(((a1605463015 == 8 && a1179664392 == 33) && a471011792 == 8)){
	    cf = 0;
	    reach_error_59();
	    }
	    if(((a236788248 == 16 && a44138666 == 35) && a471011792 == 5)){
	    cf = 0;
	    reach_error_60();
	    }
	    if(((a1864015649 == 36 && a236788248 == 13) && a471011792 == 9)){
	    cf = 0;
	    reach_error_61();
	    }
	    if(((a1859402009 == 11 && a45685611 == 11) && a471011792 == 6)){
	    cf = 0;
	    reach_error_62();
	    }
	    if(((a808219163 == 36 && a418218587 == 33) && a471011792 == 7)){
	    cf = 0;
	    reach_error_63();
	    }
	    if(((a430318312 == 8 && a1179664392 == 36) && a471011792 == 8)){
	    cf = 0;
	    reach_error_64();
	    }
	    if(((a173429297 <=  -59 && a45685611 == 10) && a471011792 == 6)){
	    cf = 0;
	    reach_error_65();
	    }
	    if(((((-91 < a648283191) && (-69 >= a648283191)) && a418218587 == 36) && a471011792 == 7)){
	    cf = 0;
	    reach_error_66();
	    }
	    if(((a430318312 == 10 && a1179664392 == 36) && a471011792 == 8)){
	    cf = 0;
	    reach_error_67();
	    }
	    if(((a1864015649 == 34 && a236788248 == 13) && a471011792 == 9)){
	    cf = 0;
	    reach_error_68();
	    }
	    if(((a589117628 <=  50 && a236788248 == 12) && a471011792 == 9)){
	    cf = 0;
	    reach_error_69();
	    }
	    if(((a1605463015 == 4 && a1179664392 == 33) && a471011792 == 8)){
	    cf = 0;
	    reach_error_70();
	    }
	    if(((((-160 < a1684594625) && (-26 >= a1684594625)) && a44138666 == 33) && a471011792 == 5)){
	    cf = 0;
	    reach_error_71();
	    }
	    if(((a499699109 == 4 && 523 < a621522874) && a471011792 == 11)){
	    cf = 0;
	    reach_error_72();
	    }
	    if(((a946891643 == 12 && a45685611 == 7) && a471011792 == 6)){
	    cf = 0;
	    reach_error_73();
	    }
	    if(((((-145 < a1422023390) && (22 >= a1422023390)) && a236788248 == 10) && a471011792 == 9)){
	    cf = 0;
	    reach_error_74();
	    }
	    if(((a2139179119 == 16 && a45685611 == 13) && a471011792 == 6)){
	    cf = 0;
	    reach_error_75();
	    }
	    if(((((-69 < a648283191) && (120 >= a648283191)) && ((168 < a552913881) && (383 >= a552913881))) && a471011792 == 10)){
	    cf = 0;
	    reach_error_76();
	    }
	    if(((a1071924404 == 34 && a1179664392 == 32) && a471011792 == 8)){
	    cf = 0;
	    reach_error_77();
	    }
	    if(((a812175843 == 34 && a2122722213 == 9) && a471011792 == 12)){
	    cf = 0;
	    reach_error_78();
	    }
	    if(((a430318312 == 3 && a1179664392 == 36) && a471011792 == 8)){
	    cf = 0;
	    reach_error_79();
	    }
	    if(((a1218264876 == 34 && a45685611 == 9) && a471011792 == 6)){
	    cf = 0;
	    reach_error_80();
	    }
	    if(((a1179664392 == 36 && ((383 < a552913881) && (501 >= a552913881))) && a471011792 == 10)){
	    cf = 0;
	    reach_error_81();
	    }
	    if(((((-91 < a648283191) && (-69 >= a648283191)) && a621522874 <=  116) && a471011792 == 11)){
	    cf = 0;
	    reach_error_82();
	    }
	    if(((((160 < a173429297) && (321 >= a173429297)) && a45685611 == 10) && a471011792 == 6)){
	    cf = 0;
	    reach_error_83();
	    }
	    if(((a482477713 == 3 && a236788248 == 16) && a471011792 == 9)){
	    cf = 0;
	    reach_error_84();
	    }
	    if(((a808219163 == 35 && a418218587 == 33) && a471011792 == 7)){
	    cf = 0;
	    reach_error_85();
	    }
	    if(((a1218264876 == 35 && a236788248 == 14) && a471011792 == 9)){
	    cf = 0;
	    reach_error_86();
	    }
	    if(((a812175843 == 36 && a2122722213 == 9) && a471011792 == 12)){
	    cf = 0;
	    reach_error_87();
	    }
	    if(((a430318312 == 5 && a1179664392 == 36) && a471011792 == 8)){
	    cf = 0;
	    reach_error_88();
	    }
	    if(((a2079503415 == 16 && a236788248 == 15) && a471011792 == 9)){
	    cf = 0;
	    reach_error_89();
	    }
	    if(((a1684594625 <=  -160 && ((116 < a621522874) && (330 >= a621522874))) && a471011792 == 11)){
	    cf = 0;
	    reach_error_90();
	    }
	    if(((a2079503415 == 9 && a236788248 == 15) && a471011792 == 9)){
	    cf = 0;
	    reach_error_91();
	    }
	    if(((a1535937505 == 36 && a2122722213 == 6) && a471011792 == 12)){
	    cf = 0;
	    reach_error_92();
	    }
	    if(((((116 < a621522874) && (330 >= a621522874)) && a418218587 == 32) && a471011792 == 7)){
	    cf = 0;
	    reach_error_93();
	    }
	    if(((196 < a1889803145 && a45685611 == 8) && a471011792 == 6)){
	    cf = 0;
	    reach_error_94();
	    }
	    if(((a418218587 == 33 && a2122722213 == 3) && a471011792 == 12)){
	    cf = 0;
	    reach_error_95();
	    }
	    if(((a2139179119 == 9 && a45685611 == 13) && a471011792 == 6)){
	    cf = 0;
	    reach_error_96();
	    }
	    if(((a2083223046 == 35 && a418218587 == 34) && a471011792 == 7)){
	    cf = 0;
	    reach_error_97();
	    }
	    if(((a1071924404 == 33 && a1179664392 == 32) && a471011792 == 8)){
	    cf = 0;
	    reach_error_98();
	    }
	    if(((a1071924404 == 32 && a1179664392 == 32) && a471011792 == 8)){
	    cf = 0;
	    reach_error_99();
	    }
	}
 void calculate_outputm57(int input) {
    if((((a583510163 <=  8 && ( cf==1  && (input == 1))) && a1171576990 == 33) && (a412613099 <=  -144 && (a890181220 == 33 && (a850881173 <=  37 && a1210734340 <=  17))))) {
    	cf = 0;
    	a182175502 = (a2061255735 - -2);
    	a2040628137 = ((a182175502 - a236788248) - -18);
    	a1171576990 = 32 ;
    	a1879373572 = 32 ;
    	a837448621 = 32 ;
    	a471011792 = (a2061255735 + 1);
    	a45685611 = ((a835102539 / a1290652559) + 11);
    	a1889803145 = ((((((((a1210734340 * a1210734340) % 14999) + -12648) % 107) + 6) * 5) % 107) + 7);
    	a835102539 = a2061255735;
    	a665096794 = (a2040628137 - -3);
    	a268371874 = (((((((a268371874 * a412613099) % 14999) / 5) % 23) - -52) + -8322) + 8322);
    	a1001390225 = ((((((a1001390225 * a850881173) % 14999) + 1450) + -5894) % 98) - 47);
    	a850881173 = ((((((a583510163 * a583510163) % 14999) % 73) + 111) + 1) * 1);
    	a2061255735 = (a182175502 + -1); 
    	 
    } 
    if(((a2061255735 == 5 && (a268371874 <=  28 && (a850881173 <=  37 && a1171576990 == 33))) && (a1210734340 <=  17 && (((input == 8) &&  cf==1 ) && a1534902259 == 33)))) {
    	cf = 0;
    	a837448621 = 32 ;
    	a583510163 = (((((((a850881173 * a850881173) % 14999) % 70) + 79) * 5) % 70) + 20);
    	a1290652559 = a835102539;
    	a45685611 = (a236788248 + -10);
    	a1001390225 = ((((((a1001390225 * a583510163) % 14999) % 98) + -47) - 7454) + 7454);
    	a835102539 = (a182175502 - 1);
    	a2040628137 = ((a471011792 / a1290652559) - -7);
    	a471011792 = (a45685611 + -1);
    	a946891643 = ((a2061255735 / a665096794) - -6);
    	a412613099 = ((((((a412613099 * a268371874) % 14999) + 1366) * 1) % 62) + -80);
    	a268371874 = ((((((a268371874 * a850881173) % 14999) % 23) + 53) + -18800) + 18800);
    	a182175502 = (a1290652559 + 3);
    	a890181220 = 32 ;
    	a1534902259 = 32 ;
    	a1171576990 = 32 ;
    	a2061255735 = (a1290652559 + 2);
    	a665096794 = (a1290652559 - -7);
    	a1210734340 = (((((((a1210734340 * a850881173) % 14999) * 2) - 1) * 1) % 84) + 103);
    	a1879373572 = 32 ;
    	a850881173 = ((((((a850881173 * a1210734340) % 14999) / 5) % 73) - -111) - -1); 
    	 
    } 
}
 void calculate_outputm5(int input) {
    if((((a1290652559 == 3 && ( cf==1  && a236788248 == 17)) && a1001390225 <=  -146) && (((a412613099 <=  -144 && a268371874 <=  28) && a2040628137 == 7) && a1879373572 == 33))) {
    	calculate_outputm57(input);
    } 
}
 void calculate_outputm59(int input) {
    if(((a1290652559 == 4 && ((a665096794 == 11 && (a2061255735 == 6 && ((-144 < a412613099) && (-18 >= a412613099)))) && ((17 < a1210734340) && (187 >= a1210734340)))) && (( cf==1  && (input == 6)) && a837448621 == 32))) {
    	cf = 0;
    	a850881173 = (((((a583510163 * a583510163) - 23355) * 1) - -21072) + -21740);
    	a1210734340 = (((((a1001390225 * a412613099) / 5) - -15487) + -10052) - 17142);
    	a1171576990 = 33 ;
    	a2061255735 = ((a2040628137 + a665096794) + -14);
    	a2040628137 = (a665096794 - 4);
    	a890181220 = 33 ;
    	a1534902259 = 33 ;
    	a1001390225 = (((((((a850881173 * a268371874) % 14999) % 14927) - 15072) - 2) / 5) - 17421);
    	a268371874 = (((((a268371874 * a1210734340) % 14999) - 14973) / 5) + -2875);
    	a1879373572 = 33 ;
    	a471011792 = (a1290652559 + 5);
    	a1218264876 = 36 ;
    	a182175502 = ((a1290652559 / a45685611) + 6);
    	a665096794 = (a1290652559 - -6);
    	a236788248 = (a471011792 + 5);
    	a583510163 = ((((((a583510163 * a1210734340) % 14999) - 14993) + 26106) * 1) - 26107); 
    	 
    } 
    if(((a2064844468 == 32 && ((((17 < a1210734340) && (187 >= a1210734340)) && (a837448621 == 32 && a835102539 == 5)) && ((-144 < a412613099) && (-18 >= a412613099)))) && (a2061255735 == 6 && ((input == 5) &&  cf==1 )))) {
    	a1859169403 += (a1859169403 + 20) > a1859169403 ? 2 : 0;
    	cf = 0;
    	 
    	 
    } 
    if(((a2061255735 == 6 && ((a2064844468 == 32 && ((37 < a850881173) && (184 >= a850881173))) && a837448621 == 32)) && (((28 < a268371874) && (76 >= a268371874)) && (((input == 9) &&  cf==1 ) && a2040628137 == 8)))) {
    	a514396383 -= (a514396383 - 20) < a514396383 ? 4 : 0;
    	a51415461 -= (a51415461 - 20) < a51415461 ? 1 : 0;
    	cf = 0;
    	 
    	 
    } 
}
 void calculate_outputm61(int input) {
    if((((a182175502 == 7 && ((8 < a583510163) && (150 >= a583510163))) && ((-144 < a412613099) && (-18 >= a412613099))) && ((a890181220 == 32 && (a2064844468 == 32 && ((input == 3) &&  cf==1 ))) && ((17 < a1210734340) && (187 >= a1210734340))))) {
    	cf = 0;
    	a268371874 = ((((a268371874 * a583510163) + -23581) - 2955) * 1);
    	a236788248 = (a182175502 - -7);
    	a890181220 = 33 ;
    	a412613099 = ((((a412613099 * a850881173) + -2047) - 89) * 1);
    	a837448621 = 33 ;
    	a1218264876 = 32 ;
    	a1001390225 = (((((a1001390225 * a268371874) % 14999) / 5) - 23204) + -2476);
    	a850881173 = (((((a850881173 * a1210734340) % 14999) - 29142) - 458) + -374);
    	a471011792 = (a2061255735 + 3);
    	a665096794 = (a835102539 + 6);
    	a1171576990 = 33 ;
    	a2040628137 = ((a946891643 - a946891643) + 7);
    	a182175502 = ((a946891643 / a946891643) + 5);
    	a1879373572 = 33 ;
    	a2064844468 = 33 ;
    	a1290652559 = ((a45685611 - a236788248) - -10);
    	a2061255735 = (a946891643 + -5);
    	a1210734340 = ((((((a1210734340 * a268371874) % 14999) * 2) + 0) % 15008) + -14990); 
    	 
    } 
    if(((((((8 < a583510163) && (150 >= a583510163)) && a837448621 == 32) && a2061255735 == 6) && a1879373572 == 32) && (a182175502 == 7 && (a1171576990 == 32 && ( cf==1  && (input == 1)))))) {
    	cf = 0;
    	a648283191 = (((((a1001390225 * a412613099) / 5) % 10) - 80) - -2);
    	a1001390225 = ((((((a268371874 * a648283191) % 48) + 107) + 32) + -28495) + 28475);
    	a471011792 = a182175502;
    	a665096794 = (a2061255735 - -6);
    	a850881173 = (((((a850881173 * a1001390225) * 1) % 100) - -202) + 6);
    	a1290652559 = (a182175502 + -2);
    	a418218587 = 36 ;
    	a2061255735 = ((a1290652559 - a45685611) - -9);
    	a1210734340 = ((((((a1210734340 * a850881173) % 14999) / 5) % 17) - -198) - 6);
    	a583510163 = ((((((a583510163 * a1001390225) % 68) - -179) - -12) + 8370) - 8362);
    	a1171576990 = 34 ;
    	a1879373572 = 34 ;
    	a182175502 = (a45685611 + 1); 
    	 
    } 
}
 void calculate_outputm6(int input) {
    if((((a1534902259 == 32 && ((17 < a1210734340) && (187 >= a1210734340))) && ((8 < a583510163) && (150 >= a583510163))) && ((((a946891643 == 6 &&  cf==1 ) && a837448621 == 32) && a835102539 == 5) && a890181220 == 32))) {
    	calculate_outputm59(input);
    } 
    if(((((-144 < a412613099) && (-18 >= a412613099)) && (a1290652559 == 4 && (a2064844468 == 32 && ((28 < a268371874) && (76 >= a268371874))))) && (((a946891643 == 10 &&  cf==1 ) && ((37 < a850881173) && (184 >= a850881173))) && ((8 < a583510163) && (150 >= a583510163))))) {
    	calculate_outputm61(input);
    } 
}
 void calculate_outputm63(int input) {
    if(((((a182175502 == 7 && (a1534902259 == 32 && (((8 < a583510163) && (150 >= a583510163)) && ( cf==1  && (input == 5))))) && a2061255735 == 6) && (a835102539 == 5 && a665096794 == 11)) && a1347184625 <= -163)) {
    	cf = 0;
    	a412613099 = (((((a850881173 * a1889803145) % 14999) - -22919) * 1) + -37506);
    	a1210734340 = (((((a850881173 * a1001390225) % 15008) + -14990) / 5) - 8537);
    	a2061255735 = (a45685611 - 3);
    	a890181220 = 33 ;
    	a1534902259 = 33 ;
    	a850881173 = (((((a850881173 * a412613099) % 14999) / 5) + -14798) * 1);
    	a2040628137 = (a2061255735 + 2);
    	a1290652559 = (a182175502 - 4);
    	a837448621 = 33 ;
    	a1001390225 = ((((((a1001390225 * a1210734340) % 14999) % 14927) + -15072) * 1) + -2);
    	a471011792 = (a665096794 - 3);
    	a1179664392 = 32 ;
    	a1071924404 = 36 ;
    	a835102539 = (a665096794 - 7);
    	a2064844468 = 33 ;
    	a182175502 = (a665096794 - 5); 
    	 
    } 
    if(((((17 < a1210734340) && (187 >= a1210734340)) && (a1171576990 == 32 && (((28 < a268371874) && (76 >= a268371874)) && (a890181220 == 32 && a1879373572 == 32)))) && (( cf==1  && (input == 4)) && a665096794 == 11))) {
    	cf = 0;
    	a412613099 = (((((a1210734340 * a1210734340) % 14999) - 12949) - 5892) + -6931);
    	a1605463015 = ((a835102539 - a2040628137) - -13);
    	a182175502 = ((a2061255735 + a2061255735) + -6);
    	a471011792 = (a1290652559 - -4);
    	a583510163 = (((((a583510163 * a412613099) % 14999) + -8800) + -4764) + -431);
    	a1290652559 = (a45685611 + -5);
    	a1534902259 = 33 ;
    	a1879373572 = 33 ;
    	a837448621 = 33 ;
    	a890181220 = 33 ;
    	a1001390225 = (((((a1001390225 * a268371874) + -7633) * 10) / 9) + -1490);
    	a665096794 = ((a182175502 + a2040628137) - 4);
    	a850881173 = (((((a850881173 * a1210734340) % 14999) + -29525) - 51) - 18);
    	a268371874 = ((((((a1889803145 * a1889803145) % 14999) - -12815) + 401) - 12619) + -24037);
    	a2064844468 = 33 ;
    	a1171576990 = 33 ;
    	a2061255735 = ((a665096794 - a665096794) - -5);
    	a835102539 = (a182175502 + -2);
    	a1179664392 = 33 ;
    	a1210734340 = (((((a1210734340 * a1889803145) % 14999) - 11697) + -2572) + -222);
    	a2040628137 = (a182175502 + 1); 
    	 
    } 
    if((((((-144 < a412613099) && (-18 >= a412613099)) && (a1290652559 == 4 && (a890181220 == 32 && ((37 < a850881173) && (184 >= a850881173))))) && (a2064844468 == 32 && (((17 < a1210734340) && (187 >= a1210734340)) && ( cf==1  && (input == 2))))) && a112204540 <= -73)) {
    	cf = 0;
    	a2061255735 = a835102539;
    	a2064844468 = 33 ;
    	a1171576990 = 33 ;
    	a1210734340 = ((((a1210734340 * a412613099) * 1) * 1) / 5);
    	a1944090451 = 34 ;
    	a850881173 = ((((((a583510163 * a412613099) * 10) / 9) * 10) / 9) + -2316);
    	a268371874 = ((((((a268371874 * a1889803145) % 14999) + -14812) - -39526) * 1) * -1);
    	a1001390225 = ((((((a850881173 * a1889803145) % 14999) % 14927) - 15072) * 1) * 1);
    	a890181220 = 33 ;
    	a1879373572 = 33 ;
    	a665096794 = (a182175502 - -3);
    	a837448621 = 33 ;
    	a44138666 = 32 ;
    	a471011792 = (a182175502 + -2);
    	a583510163 = (((((a583510163 * a1001390225) % 14999) - 13730) + -1162) + -84);
    	a835102539 = ((a665096794 + a1290652559) - 10); 
    	 
    } 
    if((((((28 < a268371874) && (76 >= a268371874)) && (((8 < a583510163) && (150 >= a583510163)) && a1171576990 == 32)) && (((((input == 7) &&  cf==1 ) && a2061255735 == 6) && a837448621 == 32) && ((-146 < a1001390225) && (51 >= a1001390225)))) && a1148381820 == 31)) {
    	cf = 0;
    	a268371874 = (((((a1889803145 * a1001390225) % 14999) + 6664) / 5) + -23269);
    	a589117628 = (((((a1001390225 * a1210734340) / 5) + 26298) * 1) * -1);
    	a850881173 = (((((a850881173 * a412613099) / 5) * 10) / 9) - 9912);
    	a1171576990 = 33 ;
    	a236788248 = (a665096794 + 1);
    	a471011792 = (a835102539 + 4);
    	a412613099 = (((((((a412613099 * a268371874) % 14999) - 6479) % 14928) - 15071) / 5) - 22604);
    	a1534902259 = 33 ;
    	a2061255735 = ((a1290652559 / a45685611) + 5);
    	a665096794 = ((a1290652559 / a835102539) - -10);
    	a890181220 = 33 ;
    	a1290652559 = ((a835102539 * a835102539) - 22);
    	a1879373572 = 33 ;
    	a835102539 = (a2040628137 - 4); 
    	 
    } 
    if(((a665096794 == 11 && (((input == 9) &&  cf==1 ) && a837448621 == 32)) && (((17 < a1210734340) && (187 >= a1210734340)) && ((a1290652559 == 4 && a1171576990 == 32) && ((-144 < a412613099) && (-18 >= a412613099)))))) {
    	a1425431969 -= (a1425431969 - 20) < a1425431969 ? 2 : 0;
    	cf = 0;
    	a2122722213 = a2040628137;
    	a471011792 = ((a665096794 - a182175502) + 8);
    	a166920931 = (a2122722213 - -7); 
    	 
    } 
    if(((((28 < a268371874) && (76 >= a268371874)) && ((37 < a850881173) && (184 >= a850881173))) && ((a1879373572 == 32 && (a2040628137 == 8 && (a837448621 == 32 && ((input == 10) &&  cf==1 )))) && ((-144 < a412613099) && (-18 >= a412613099))))) {
    	a834109496 -= (a834109496 - 20) < a834109496 ? 1 : 0;
    	cf = 0;
    	a166920931 = (a45685611 + 7);
    	a2122722213 = a2040628137;
    	a471011792 = (a665096794 + 1); 
    	 
    } 
    if((((a835102539 == 5 && (((-146 < a1001390225) && (51 >= a1001390225)) && (((input == 8) &&  cf==1 ) && ((17 < a1210734340) && (187 >= a1210734340))))) && ((((37 < a850881173) && (184 >= a850881173)) && a665096794 == 11) && a1290652559 == 4)) && a1743588795 == 36)) {
    	cf = 0;
    	a621522874 = ((((((a268371874 * a268371874) % 96) - -405) - -2) - 12493) + 12447);
    	a824024208 = 34 ;
    	a471011792 = ((a1290652559 / a45685611) + 11); 
    	 
    } 
    if((((a835102539 == 5 && (a182175502 == 7 && (((37 < a850881173) && (184 >= a850881173)) && (a665096794 == 11 && ((17 < a1210734340) && (187 >= a1210734340)))))) && (((input == 1) &&  cf==1 ) && a2061255735 == 6)) && a834109496 == 34)) {
    	a514396383 -= (a514396383 - 20) < a514396383 ? 3 : 0;
    	cf = 0;
    	a471011792 = (a2040628137 + 1);
    	a890181220 = 33 ;
    	a850881173 = ((((a850881173 * a583510163) * 1) * -1) - 309);
    	a1879373572 = 33 ;
    	a236788248 = (a665096794 - -6);
    	a182175502 = a2061255735;
    	a1210734340 = (((((a1210734340 * a1001390225) % 15008) + -14990) - 1) * 1);
    	a268371874 = (((((a268371874 * a412613099) + -15406) / 5) - -22532) * -1);
    	a1534902259 = 33 ;
    	a910748832 = 32 ;
    	a1171576990 = 33 ;
    	a2064844468 = 33 ;
    	a1001390225 = ((((a1001390225 * a412613099) - 21300) - -2117) + -2612);
    	a2061255735 = a835102539;
    	a665096794 = (a1290652559 + 6); 
    	 
    } 
    if(((((a2061255735 == 6 && ((((8 < a583510163) && (150 >= a583510163)) && a837448621 == 32) && a2040628137 == 8)) && a182175502 == 7) && (a835102539 == 5 && ( cf==1  && (input == 3)))) && a1859169403 == 66)) {
    	cf = 0;
    	a812175843 = 34 ;
    	a2122722213 = (a665096794 + -2);
    	a471011792 = (a2040628137 - -4); 
    	 
    } 
    if((((((17 < a1210734340) && (187 >= a1210734340)) && ((37 < a850881173) && (184 >= a850881173))) && ((a2040628137 == 8 && ((a890181220 == 32 && ( cf==1  && (input == 6))) && ((-144 < a412613099) && (-18 >= a412613099)))) && a182175502 == 7)) && a838736370 == 62)) {
    	a1425431969 += (a1425431969 + 20) > a1425431969 ? 2 : 0;
    	cf = 0;
    	a1001390225 = (((((((a1210734340 * a1210734340) % 14999) - 7973) - 21497) * 1) % 48) - -138);
    	a418218587 = 34 ;
    	a2064844468 = 34 ;
    	a583510163 = (((((a583510163 * a1001390225) - -1571) * 1) % 68) + 175);
    	a1879373572 = 34 ;
    	a471011792 = (a665096794 - 4);
    	a665096794 = (a835102539 + 7);
    	a2061255735 = a182175502;
    	a1290652559 = ((a182175502 + a182175502) + -9);
    	a890181220 = 34 ;
    	a2040628137 = ((a45685611 + a45685611) + -7);
    	a1171576990 = 34 ;
    	a2083223046 = 35 ;
    	a268371874 = ((((((a268371874 * a412613099) % 14) + 93) - 18842) / 5) - -3840);
    	a850881173 = ((((((((a850881173 * a1889803145) % 14999) % 100) + 286) * 5) + -21143) % 100) - -341); 
    	 
    } 
}
 void calculate_outputm7(int input) {
    if((((a837448621 == 32 && (a1889803145 <=  -101 &&  cf==1 )) && ((17 < a1210734340) && (187 >= a1210734340))) && ((a2064844468 == 32 && (((37 < a850881173) && (184 >= a850881173)) && ((-146 < a1001390225) && (51 >= a1001390225)))) && ((8 < a583510163) && (150 >= a583510163))))) {
    	calculate_outputm63(input);
    } 
}
 void calculate_outputm71(int input) {
    if(((a665096794 == 11 && (a1534902259 == 32 && ((input == 4) &&  cf==1 ))) && ((((-144 < a412613099) && (-18 >= a412613099)) && (a835102539 == 5 && ((28 < a268371874) && (76 >= a268371874)))) && a1879373572 == 32))) {
    	a1716545843 += (a1716545843 + 20) > a1716545843 ? 1 : 0;
    	a838736370 -= (a838736370 - 20) < a838736370 ? 3 : 0;
    	cf = 0;
    	 
    	 
    } 
    if(((((((input == 1) &&  cf==1 ) && ((37 < a850881173) && (184 >= a850881173))) && a1879373572 == 32) && a2061255735 == 6) && (((-144 < a412613099) && (-18 >= a412613099)) && (((-146 < a1001390225) && (51 >= a1001390225)) && ((28 < a268371874) && (76 >= a268371874)))))) {
    	cf = 0;
    	a173429297 = (((((a268371874 * a583510163) / 5) - -18858) * 10) / -9);
    	a45685611 = (a471011792 + 4); 
    	 
    } 
    if((((((-146 < a1001390225) && (51 >= a1001390225)) && ( cf==1  && (input == 3))) && ((-144 < a412613099) && (-18 >= a412613099))) && (a1534902259 == 32 && (a1171576990 == 32 && (a665096794 == 11 && ((28 < a268371874) && (76 >= a268371874))))))) {
    	a1515611838 += (a1515611838 + 20) > a1515611838 ? 3 : 0;
    	a1955344686 += (a1955344686 + 20) > a1955344686 ? 2 : 0;
    	cf = 0;
    	 
    	 
    } 
    if(((a1290652559 == 4 && (( cf==1  && (input == 8)) && ((8 < a583510163) && (150 >= a583510163)))) && (a2040628137 == 8 && (a182175502 == 7 && (a1171576990 == 32 && a835102539 == 5))))) {
    	cf = 0;
    	 
    	 
    } 
    if((((a1534902259 == 32 && ( cf==1  && (input == 5))) && (a835102539 == 5 && (((-144 < a412613099) && (-18 >= a412613099)) && ((((28 < a268371874) && (76 >= a268371874)) && a890181220 == 32) && a665096794 == 11)))) && a1264277206 == 0)) {
    	a1053339053 += (a1053339053 + 20) > a1053339053 ? 2 : 0;
    	cf = 0;
    	a808219163 = 32 ;
    	a418218587 = 33 ;
    	a471011792 = (a45685611 - 4); 
    	 
    } 
    if((((a2064844468 == 32 && ((-146 < a1001390225) && (51 >= a1001390225))) && (((17 < a1210734340) && (187 >= a1210734340)) && (a2061255735 == 6 && ((( cf==1  && (input == 9)) && a2040628137 == 8) && ((8 < a583510163) && (150 >= a583510163)))))) && a1355501303 == 4)) {
    	a501521675 += (a501521675 + 20) > a501521675 ? 2 : 0;
    	cf = 0;
    	a1179664392 = 36 ;
    	a430318312 = (a665096794 - 1);
    	a471011792 = (a835102539 - -3); 
    	 
    } 
}
 void calculate_outputm10(int input) {
    if(((a182175502 == 7 && a1171576990 == 32) && ((((a2064844468 == 32 && ( cf==1  && a1859402009 == 13)) && ((17 < a1210734340) && (187 >= a1210734340))) && a2040628137 == 8) && a2061255735 == 6))) {
    	calculate_outputm71(input);
    } 
}
 void calculate_outputm76(int input) {
    if((((a1290652559 == 4 && (( cf==1  && (input == 8)) && ((37 < a850881173) && (184 >= a850881173)))) && (a2061255735 == 6 && ((a1171576990 == 32 && a2040628137 == 8) && ((28 < a268371874) && (76 >= a268371874))))) && a2084484762 == 7)) {
    	cf = 0;
    	a236788248 = ((a835102539 / a665096794) - -14);
    	a1218264876 = 34 ;
    	a471011792 = ((a182175502 / a2061255735) + 8); 
    	 
    } 
    if((((((input == 4) &&  cf==1 ) && ((-146 < a1001390225) && (51 >= a1001390225))) && ((17 < a1210734340) && (187 >= a1210734340))) && (a890181220 == 32 && ((a1171576990 == 32 && a1290652559 == 4) && ((28 < a268371874) && (76 >= a268371874)))))) {
    	a1053339053 -= (a1053339053 - 20) < a1053339053 ? 1 : 0;
    	a1859169403 -= (a1859169403 - 20) < a1859169403 ? 1 : 0;
    	cf = 0;
    	a45685611 = ((a665096794 / a2139179119) + 6);
    	a946891643 = (a182175502 + -1); 
    	 
    } 
    if(((((input == 9) &&  cf==1 ) && ((((37 < a850881173) && (184 >= a850881173)) && ((a835102539 == 5 && (a2040628137 == 8 && ((-146 < a1001390225) && (51 >= a1001390225)))) && a1879373572 == 32)) && a1290652559 == 4)) && a311962986 == -15)) {
    	a1148381820 -= (a1148381820 - 20) < a1148381820 ? 1 : 0;
    	cf = 0;
    	a482477713 = (a182175502 - 4);
    	a471011792 = (a665096794 + -2);
    	a236788248 = (a482477713 + 13); 
    	 
    } 
    if((((a835102539 == 5 && ((-146 < a1001390225) && (51 >= a1001390225))) && a665096794 == 11) && (a1171576990 == 32 && (((28 < a268371874) && (76 >= a268371874)) && (( cf==1  && (input == 7)) && a1534902259 == 32))))) {
    	a220097023 += (a220097023 + 20) > a220097023 ? 2 : 0;
    	a112204540 += (a112204540 + 20) > a112204540 ? 2 : 0;
    	cf = 0;
    	a946891643 = (a471011792 - -4);
    	a2040628137 = (a182175502 - -2);
    	a45685611 = (a665096794 + -4);
    	a1534902259 = 33 ;
    	a835102539 = ((a665096794 * a182175502) - 73); 
    	 
    } 
    if(((a1879373572 == 32 && (a835102539 == 5 && ( cf==1  && (input == 1)))) && (((17 < a1210734340) && (187 >= a1210734340)) && (a2061255735 == 6 && (a665096794 == 11 && ((28 < a268371874) && (76 >= a268371874))))))) {
    	cf = 0;
    	a2040628137 = (a45685611 - 6);
    	a1179664392 = 32 ;
    	a471011792 = ((a1290652559 - a835102539) + 9);
    	a412613099 = (((((a412613099 * a850881173) * 10) / 9) * 1) * 1);
    	a2064844468 = 33 ;
    	a583510163 = ((((a583510163 * a850881173) * -1) - 2375) / 5);
    	a1290652559 = ((a2139179119 * a182175502) - 74);
    	a1534902259 = 33 ;
    	a1001390225 = (((((a1001390225 * a1210734340) % 14927) + -15072) / 5) - 16277);
    	a837448621 = 33 ;
    	a1071924404 = 33 ;
    	a890181220 = 33 ;
    	a2061255735 = ((a2040628137 * a835102539) + -30);
    	a1171576990 = 33 ;
    	a182175502 = ((a665096794 * a45685611) + -137);
    	a835102539 = (a2061255735 + -1); 
    	 
    } 
}
 void calculate_outputm12(int input) {
    if((((((-144 < a412613099) && (-18 >= a412613099)) && (((37 < a850881173) && (184 >= a850881173)) && ( cf==1  && a2139179119 == 11))) && a2064844468 == 32) && (((8 < a583510163) && (150 >= a583510163)) && (a1290652559 == 4 && a1171576990 == 32)))) {
    	calculate_outputm76(input);
    } 
}
 void calculate_outputm86(int input) {
    if(((((a1171576990 == 34 && ((76 < a268371874) && (105 >= a268371874))) && a1534902259 == 34) && a1879373572 == 34) && (a835102539 == 6 && (((input == 9) &&  cf==1 ) && ((150 < a583510163) && (288 >= a583510163)))))) {
    	a487646776 -= (a487646776 - 20) < a487646776 ? 1 : 0;
    	cf = 0;
    	a835102539 = (a182175502 - 3);
    	a583510163 = (((((((a583510163 * a621522874) % 14999) + -13750) + -1832) / 5) % 70) - -80);
    	a837448621 = 32 ;
    	a890181220 = 32 ;
    	a471011792 = ((a1290652559 / a665096794) + 12);
    	a1290652559 = ((a471011792 * a182175502) + -92);
    	a1001390225 = (((((((a1001390225 * a621522874) % 14999) - -5400) * 1) / 5) % 98) - 109);
    	a2040628137 = (a471011792 - 4);
    	a1534902259 = 32 ;
    	a1210734340 = (((((a1001390225 * a268371874) * 1) % 84) + 103) + 1);
    	a1171576990 = 32 ;
    	a812175843 = 32 ;
    	a665096794 = ((a835102539 - a182175502) + 14);
    	a850881173 = (((((((a850881173 * a1210734340) % 14999) + 13923) * 1) + 265) % 73) - -87);
    	a2122722213 = (a182175502 - 1);
    	a268371874 = (((((((a268371874 * a583510163) % 23) + 39) * 5) - 6030) % 23) - -58);
    	a2064844468 = 32 ;
    	a1879373572 = 32 ;
    	a412613099 = ((((((a412613099 * a1210734340) * 4) / 5) + -25508) % 62) + -80);
    	a2061255735 = (a182175502 - 2);
    	a182175502 = (a471011792 + -5); 
    	 
    } 
    if(((((input == 1) &&  cf==1 ) && a182175502 == 8) && (((a665096794 == 12 && (a890181220 == 34 && ((187 < a1210734340) && (223 >= a1210734340)))) && ((184 < a850881173) && (386 >= a850881173))) && ((51 < a1001390225) && (148 >= a1001390225))))) {
    	cf = 0;
    	a182175502 = (a665096794 + -5);
    	a268371874 = (((((44 * 9) / 10) * 10) / 9) - 1);
    	a2040628137 = (a665096794 + -4);
    	a1210734340 = ((((((a1210734340 * a268371874) - -6563) % 84) - -43) - -18904) - 18860);
    	a471011792 = (a665096794 + -6);
    	a1534902259 = 32 ;
    	a45685611 = (a2061255735 + 4);
    	a583510163 = (((((a1210734340 * a268371874) % 70) - -33) - -36) - -1);
    	a412613099 = (((((a412613099 * a850881173) * 2) % 62) + -79) - 3);
    	a1171576990 = 32 ;
    	a1290652559 = (a2040628137 - 4);
    	a1001390225 = ((((((a1001390225 * a583510163) % 98) + -113) * 9) / 10) / 5);
    	a2061255735 = a471011792;
    	a1859402009 = (a835102539 - -7);
    	a890181220 = 32 ;
    	a2064844468 = 32 ;
    	a837448621 = 32 ;
    	a850881173 = (((((((a850881173 * a621522874) % 14999) % 73) + 96) / 5) - 15899) + 16049);
    	a1879373572 = 32 ;
    	a665096794 = (a2040628137 + 3);
    	a835102539 = (a2040628137 + -3); 
    	 
    } 
    if((((((((input == 6) &&  cf==1 ) && a665096794 == 12) && a1290652559 == 5) && a890181220 == 34) && a2064844468 == 34) && (((150 < a583510163) && (288 >= a583510163)) && ((184 < a850881173) && (386 >= a850881173))))) {
    	a1955344686 -= (a1955344686 - 20) < a1955344686 ? 1 : 0;
    	cf = 0;
    	a1210734340 = (((((a583510163 * a583510163) % 14999) + -22166) + 16961) - 13161);
    	a589117628 = ((((((((a850881173 * a268371874) % 14999) % 100) - -159) * 5) * 5) % 100) + 77);
    	a412613099 = ((((((a412613099 * a1210734340) % 14999) - -14883) * 1) % 14928) - 15071);
    	a890181220 = 33 ;
    	a471011792 = ((a2040628137 + a2040628137) - 9);
    	a1171576990 = 33 ;
    	a268371874 = (((((a1210734340 * a583510163) % 14999) - 14974) * 1) - 18);
    	a1534902259 = 33 ;
    	a236788248 = ((a471011792 + a2061255735) - 4);
    	a1879373572 = 33 ;
    	a850881173 = (((((a1001390225 * a621522874) % 14999) - 24659) + -4269) + -458);
    	a2061255735 = ((a182175502 / a835102539) - -4);
    	a1290652559 = (a835102539 - 3);
    	a665096794 = (a835102539 - -4); 
    	 
    } 
    if((((((184 < a850881173) && (386 >= a850881173)) && (a1879373572 == 34 && ((a182175502 == 8 && ((input == 2) &&  cf==1 )) && a665096794 == 12))) && (a835102539 == 6 && ((-18 < a412613099) && (36 >= a412613099)))) && a95561532 == 7)) {
    	cf = 0;
    	a1684594625 = ((((((a412613099 * a1210734340) - 10752) % 66) - 89) * 9) / 10);
    	a621522874 = (((((((a621522874 * a1001390225) % 14999) % 106) + 160) + 10284) / 5) + -1886);
    	a471011792 = (a835102539 - -5); 
    	 
    } 
    if((((a837448621 == 34 && a665096794 == 12) && (((76 < a268371874) && (105 >= a268371874)) && ((a890181220 == 34 && (a1171576990 == 34 && ( cf==1  && (input == 5)))) && a2040628137 == 9))) && a434613686 == -9)) {
    	cf = 0;
    	a471011792 = ((a1290652559 * a2040628137) - 36);
    	a2079503415 = (a182175502 + 1);
    	a236788248 = (a665096794 - -3); 
    	 
    } 
}
 void calculate_outputm15(int input) {
    if(((((523 < a621522874 &&  cf==1 ) && a182175502 == 8) && a837448621 == 34) && ((a1534902259 == 34 && (((184 < a850881173) && (386 >= a850881173)) && a2061255735 == 7)) && ((-18 < a412613099) && (36 >= a412613099))))) {
    	calculate_outputm86(input);
    } 
}
 void calculate_outputm93(int input) {
    if((((a837448621 == 33 && a2061255735 == 5) && a1290652559 == 3) && ((a1879373572 == 33 && (( cf==1  && (input == 9)) && a182175502 == 6)) && a583510163 <=  8))) {
    	a275262794 += (a275262794 + 20) > a275262794 ? 2 : 0;
    	a220097023 -= (a220097023 - 20) < a220097023 ? 4 : 0;
    	a1498331231 += (a1498331231 + 20) > a1498331231 ? 2 : 0;
    	a1148381820 += (a1148381820 + 20) > a1148381820 ? 1 : 0;
    	cf = 0;
    	a45685611 = (a665096794 + -2);
    	a1889803145 = ((((((a1001390225 * a268371874) % 14999) % 14949) + -15049) - -11946) - 11948);
    	a1290652559 = (a2040628137 - 3);
    	a1879373572 = 32 ;
    	a890181220 = 32 ;
    	a182175502 = (a1605463015 + -3);
    	a1001390225 = ((((((((a1001390225 * a268371874) % 14999) % 98) + -47) * 5) * 5) % 98) - 46);
    	a1210734340 = ((((((a1210734340 * a850881173) % 14999) + -12347) - -2026) % 84) - -101);
    	a2040628137 = a45685611;
    	a412613099 = ((((((a412613099 * a1001390225) % 14999) % 62) - 80) * 1) - -1);
    	a837448621 = 32 ;
    	a268371874 = ((((((((a1889803145 * a1889803145) % 14999) % 23) + 44) * 9) / 10) - -27761) - 27744);
    	a850881173 = (((((((a1889803145 * a583510163) % 14999) + 5117) + 4399) / 5) % 73) - -110);
    	a835102539 = ((a2061255735 / a1605463015) + 5);
    	a2064844468 = 32 ;
    	a471011792 = (a1605463015 - 4);
    	a665096794 = (a835102539 - -6);
    	a1534902259 = 32 ;
    	a1171576990 = 32 ;
    	a2061255735 = (a1605463015 - 4);
    	a583510163 = ((((((a583510163 * a1210734340) % 14999) / 5) % 70) + 79) - 1); 
    	 
    } 
    if(((((((input == 7) &&  cf==1 ) && a1879373572 == 33) && a583510163 <=  8) && a2064844468 == 33) && (a182175502 == 6 && (a890181220 == 33 && a850881173 <=  37)))) {
    	cf = 0;
    	a1534902259 = 32 ;
    	a1171576990 = 32 ;
    	a1879373572 = 32 ;
    	a850881173 = (((11 - 15531) - -15687) + 7);
    	a2064844468 = 32 ;
    	a412613099 = ((((((a850881173 * a850881173) % 14999) + 11108) / 5) % 62) - 125);
    	a583510163 = ((((((a412613099 * a1001390225) % 14999) / 5) % 70) + 62) - -11);
    	a890181220 = 32 ;
    	a1210734340 = (((((((a1210734340 * a268371874) % 14999) % 84) + 103) * 9) / 10) - 0);
    	a166920931 = ((a471011792 * a835102539) - 17);
    	a2122722213 = (a2040628137 - -1);
    	a835102539 = (a1605463015 - 5);
    	a2040628137 = (a2061255735 + 3);
    	a471011792 = ((a2061255735 + a1290652559) + 4);
    	a1290652559 = (a2061255735 + -1);
    	a837448621 = 32 ;
    	a268371874 = ((((((a583510163 * a412613099) + -4892) * 1) * 1) % 23) + 53);
    	a665096794 = ((a182175502 * a182175502) + -25);
    	a182175502 = (a2061255735 - -2);
    	a1001390225 = (((((((a1001390225 * a583510163) % 14999) + 1500) + 12241) / 5) % 98) - 47);
    	a2061255735 = (a1605463015 - 4); 
    	 
    } 
    if(((a835102539 == 4 && (( cf==1  && (input == 2)) && a583510163 <=  8)) && (((a850881173 <=  37 && a1290652559 == 3) && a1001390225 <=  -146) && a665096794 == 10))) {
    	cf = 0;
    	a2122722213 = ((a835102539 * a182175502) + -16);
    	a268371874 = ((((((a850881173 * a412613099) % 14999) % 23) - -51) - -1) - -2);
    	a835102539 = (a2040628137 + -2);
    	a1001390225 = (((((((a1001390225 * a583510163) % 14999) + -2391) - 3216) + -2914) % 98) + -47);
    	a890181220 = 32 ;
    	a2061255735 = (a1605463015 + -4);
    	a182175502 = ((a1290652559 - a2122722213) - -12);
    	a1171576990 = 32 ;
    	a665096794 = ((a835102539 + a1605463015) + -4);
    	a471011792 = (a1290652559 - -9);
    	a583510163 = (((((a268371874 * a1001390225) * 2) * 1) % 70) + 79);
    	a1879373572 = 32 ;
    	a1534902259 = 32 ;
    	a837448621 = 32 ;
    	a166920931 = (a471011792 - -3);
    	a1210734340 = ((((((a1210734340 * a412613099) % 14999) - 8701) % 84) - -102) - -2);
    	a412613099 = (((((((a412613099 * a850881173) % 14999) % 62) + -79) + -3) + 10065) - 10062);
    	a1290652559 = ((a2061255735 * a2061255735) - 32);
    	a850881173 = ((((((a850881173 * a268371874) % 14999) % 73) - -110) + 1) - 1);
    	a2064844468 = 32 ;
    	a2040628137 = a2122722213; 
    	 
    } 
    if(((a850881173 <=  37 && (a2040628137 == 7 && ( cf==1  && (input == 6)))) && (((a1210734340 <=  17 && a2064844468 == 33) && a412613099 <=  -144) && a1290652559 == 3))) {
    	a220097023 -= (a220097023 - 20) < a220097023 ? 1 : 0;
    	cf = 0;
    	a2079503415 = ((a2061255735 * a835102539) + -7);
    	a471011792 = ((a182175502 / a1605463015) - -9);
    	a236788248 = ((a1605463015 / a665096794) + 14); 
    	 
    } 
}
 void calculate_outputm19(int input) {
    if(((((a665096794 == 10 && a583510163 <=  8) && a890181220 == 33) && a1171576990 == 33) && (a1001390225 <=  -146 && ((a1605463015 == 10 &&  cf==1 ) && a1210734340 <=  17)))) {
    	calculate_outputm93(input);
    } 
}
 void calculate_outputm100(int input) {
    if((((a412613099 <=  -144 && (( cf==1  && (input == 5)) && a835102539 == 4)) && a1290652559 == 3) && ((a890181220 == 33 && a1171576990 == 33) && a2064844468 == 33))) {
    	cf = 0;
    	a182175502 = (a2061255735 - -2);
    	a2122722213 = (a2040628137 + 1);
    	a1210734340 = ((((((a1210734340 * a412613099) % 14999) + -14356) % 84) + 102) - -1);
    	a2064844468 = 32 ;
    	a835102539 = ((a2040628137 * a2061255735) + -30);
    	a268371874 = ((((((a1001390225 * a1210734340) % 14999) % 23) + 51) - -3) * 1);
    	a412613099 = (((((a1210734340 * a268371874) + 15232) % 62) - 118) + -4);
    	a850881173 = ((((((a850881173 * a268371874) % 14999) % 73) + 110) * 1) - 0);
    	a1534902259 = 32 ;
    	a1290652559 = (a182175502 - 3);
    	a665096794 = (a2122722213 + 3);
    	a837448621 = 32 ;
    	a890181220 = 32 ;
    	a1001390225 = (((((a1001390225 * a268371874) % 14999) / 5) / 5) / 5);
    	a166920931 = (a2061255735 + 10);
    	a1879373572 = 32 ;
    	a2040628137 = (a182175502 - -1);
    	a471011792 = (a2122722213 + 4);
    	a1171576990 = 32 ;
    	a2061255735 = (a835102539 + 1); 
    	 
    } 
}
 void calculate_outputm21(int input) {
    if(((( cf==1  && ((-77 < a71064409) && (127 >= a71064409))) && a1879373572 == 33) && (a1534902259 == 33 && (a1210734340 <=  17 && ((a1001390225 <=  -146 && a665096794 == 10) && a835102539 == 4))))) {
    	calculate_outputm100(input);
    } 
}
 void calculate_outputm119(int input) {
    if(((a412613099 <=  -144 && ((a2061255735 == 5 && ( cf==1  && (input == 6))) && a837448621 == 33)) && ((a1001390225 <=  -146 && a1534902259 == 33) && a2040628137 == 7))) {
    	cf = 0;
    	a182175502 = (a835102539 + 3);
    	a946891643 = (a835102539 + 8);
    	a45685611 = (a665096794 + -3);
    	a837448621 = 32 ;
    	a268371874 = ((((((((a583510163 * a1210734340) % 14999) % 23) - -51) - 10688) * 2) % 23) + 65);
    	a890181220 = 32 ;
    	a1879373572 = 32 ;
    	a471011792 = (a946891643 - 6);
    	a1210734340 = ((((((((a1210734340 * a412613099) % 14999) % 84) - -101) - -1) * 5) % 84) + 49);
    	a665096794 = (a236788248 + -3);
    	a1001390225 = (((((((a1001390225 * a412613099) % 14999) % 98) - 78) * 5) % 98) + -47);
    	a2040628137 = (a665096794 - 3);
    	a2061255735 = (a665096794 + -5);
    	a1171576990 = 32 ;
    	a412613099 = ((((((a412613099 * a268371874) % 14999) % 62) + -79) + 2556) - 2557); 
    	 
    } 
    if(((a268371874 <=  28 && ( cf==1  && (input == 7))) && ((a182175502 == 6 && ((a412613099 <=  -144 && a850881173 <=  37) && a1001390225 <=  -146)) && a665096794 == 10))) {
    	cf = 0;
    	a2079503415 = (a2061255735 - -5);
    	a236788248 = ((a1290652559 * a1290652559) - -6);
    	a583510163 = (((((a850881173 * a268371874) % 14999) + -15000) * 1) / 5); 
    	 
    } 
    if((((a665096794 == 10 && (a1210734340 <=  17 && a2061255735 == 5)) && a1171576990 == 33) && (a1290652559 == 3 && (a268371874 <=  28 && ((input == 1) &&  cf==1 ))))) {
    	a1955344686 -= (a1955344686 - 20) < a1955344686 ? 3 : 0;
    	cf = 0;
    	a166920931 = (a665096794 - -5);
    	a2040628137 = ((a182175502 - a182175502) + 8);
    	a412613099 = ((((((a412613099 * a1001390225) % 14999) % 62) - 92) - -1578) + -1577);
    	a2122722213 = (a236788248 + -6);
    	a268371874 = ((((((a268371874 * a583510163) % 14999) + 9680) - -4473) % 23) - -51);
    	a1879373572 = 32 ;
    	a1001390225 = ((((((a412613099 * a412613099) % 98) - 143) + 6) - 14626) - -14673);
    	a890181220 = 32 ;
    	a1290652559 = ((a182175502 - a166920931) - -13);
    	a1210734340 = ((((((a268371874 * a850881173) % 14999) % 84) + 102) + 2) - 3);
    	a2064844468 = 32 ;
    	a665096794 = (a182175502 - -5);
    	a471011792 = ((a2061255735 - a236788248) - -21);
    	a2061255735 = (a2040628137 - 2);
    	a835102539 = (a1290652559 + 1);
    	a1171576990 = 32 ;
    	a1534902259 = 32 ;
    	a850881173 = (((((((a850881173 * a1210734340) % 14999) + -727) - -4705) / 5) % 73) + 110);
    	a837448621 = 32 ;
    	a182175502 = (a166920931 - 8); 
    	 
    } 
}
 void calculate_outputm27(int input) {
    if(((a2064844468 == 33 && (a1879373572 == 33 && a412613099 <=  -144)) && (((a2040628137 == 7 && ( cf==1  && a1218264876 == 32)) && a1290652559 == 3) && a835102539 == 4))) {
    	calculate_outputm119(input);
    } 
}
 void calculate_outputm124(int input) {
    if(((a837448621 == 33 && (a2040628137 == 7 && ((input == 4) &&  cf==1 ))) && (a835102539 == 4 && ((a850881173 <=  37 && a1210734340 <=  17) && a1290652559 == 3)))) {
    	cf = 0;
    	a236788248 = (a835102539 - -7);
    	a2139179119 = (a2079503415 + 3); 
    	 
    } 
    if(((( cf==1  && (input == 7)) && a1171576990 == 33) && (a2061255735 == 5 && ((a890181220 == 33 && (a1534902259 == 33 && a2064844468 == 33)) && a583510163 <=  8)))) {
    	a501521675 += (a501521675 + 20) > a501521675 ? 1 : 0;
    	cf = 0;
    	a665096794 = (a2079503415 + 1);
    	a166920931 = (a2040628137 - -1);
    	a1171576990 = 32 ;
    	a182175502 = ((a236788248 * a665096794) + -158);
    	a268371874 = ((((((a268371874 * a583510163) % 14999) * 2) % 23) + 52) + 2);
    	a1210734340 = ((((((a1210734340 * a1001390225) % 14999) % 84) + 103) + -1) * 1);
    	a1534902259 = 32 ;
    	a2122722213 = (a471011792 - 1);
    	a1001390225 = ((((((a583510163 * a850881173) % 14999) - 4630) / 5) % 98) + -46);
    	a1879373572 = 32 ;
    	a1290652559 = (a665096794 - 7);
    	a2064844468 = 32 ;
    	a2040628137 = (a236788248 + -7);
    	a890181220 = 32 ;
    	a835102539 = (a182175502 + -2);
    	a837448621 = 32 ;
    	a471011792 = (a236788248 + -3);
    	a412613099 = ((((((((a412613099 * a850881173) % 14999) % 62) - 81) + 2) * 5) % 62) + -51);
    	a850881173 = ((((((a583510163 * a583510163) % 14999) % 73) - -111) - -3323) + -3323);
    	a2061255735 = ((a2079503415 / a182175502) - -5);
    	a583510163 = ((((a583510163 % 70) + 80) - -18886) - 18886); 
    	 
    } 
}
 void calculate_outputm28(int input) {
    if(((((a1001390225 <=  -146 && a412613099 <=  -144) && a2064844468 == 33) && a835102539 == 4) && (a1210734340 <=  17 && ((a2079503415 == 10 &&  cf==1 ) && a1879373572 == 33)))) {
    	calculate_outputm124(input);
    } 
}
 void calculate_outputm134(int input) {
    if((( cf==1  && (input == 3)) && ((a2040628137 == 7 && (((a837448621 == 33 && a412613099 <=  -144) && a665096794 == 10) && a2064844468 == 33)) && a1001390225 <=  -146))) {
    	cf = 0;
    	a182175502 = (a1290652559 - -5);
    	a2061255735 = (a236788248 - 10);
    	a890181220 = 34 ;
    	a1879373572 = 34 ;
    	a2040628137 = ((a665096794 + a1290652559) + -4);
    	a621522874 = ((((((a412613099 * a1001390225) % 14999) + 1029) / 5) / 5) - -10658);
    	a837448621 = 34 ;
    	a412613099 = (((((((a268371874 * a268371874) % 14999) % 26) - -10) - -3200) + -12485) - -9285);
    	a1534902259 = 34 ;
    	a471011792 = ((a236788248 - a236788248) + 7);
    	a583510163 = ((((((a583510163 * a412613099) % 14999) / 5) + 26351) % 68) - -186);
    	a2064844468 = 34 ;
    	a1210734340 = ((((((((a1210734340 * a412613099) % 14999) - -4529) % 17) + 204) * 5) % 17) + 197);
    	a835102539 = ((a2061255735 * a2061255735) - 43);
    	a850881173 = ((((((a850881173 * a412613099) % 14999) % 100) - -284) / 5) + 308);
    	a1171576990 = 34 ;
    	a665096794 = (a1290652559 + 9);
    	a1001390225 = ((((((a1001390225 * a268371874) % 14999) + -1408) % 48) + 99) - 0);
    	a418218587 = 32 ;
    	a268371874 = (((((a268371874 % 14) + 90) - -2) - -18938) + -18939);
    	a1290652559 = (a182175502 + -3); 
    	 
    } 
    if((a890181220 == 33 && ((((a850881173 <=  37 && (( cf==1  && (input == 5)) && a665096794 == 10)) && a1001390225 <=  -146) && a1879373572 == 33) && a837448621 == 33))) {
    	a1716545843 += (a1716545843 + 20) > a1716545843 ? 1 : 0;
    	a51415461 += (a51415461 + 20) > a51415461 ? 2 : 0;
    	a1498331231 -= (a1498331231 - 20) < a1498331231 ? 3 : 0;
    	cf = 0;
    	a2122722213 = ((a236788248 / a236788248) - -4);
    	a837448621 = 32 ;
    	a412613099 = (((((((a583510163 * a583510163) % 14999) % 62) + -80) + 1) / 5) + -44);
    	a1580522136 = (((((((a583510163 * a583510163) % 14999) - -66) % 54) + 102) + 18790) + -18789);
    	a2064844468 = 32 ;
    	a182175502 = ((a2122722213 / a2122722213) + 6);
    	a1290652559 = ((a2040628137 * a2122722213) + -31);
    	a665096794 = (a1290652559 - -7);
    	a1001390225 = ((((((a583510163 * a268371874) % 14999) % 98) + -46) / 5) - -32);
    	a1171576990 = 32 ;
    	a1210734340 = ((((((a1210734340 * a1580522136) % 14999) / 5) * 5) % 84) - -103);
    	a835102539 = (a182175502 - 2);
    	a890181220 = 32 ;
    	a471011792 = (a2061255735 + 7);
    	a268371874 = ((((((((a268371874 * a412613099) % 14999) % 23) - -52) * 5) - 24474) % 23) - -66);
    	a850881173 = (((((((a850881173 * a1001390225) % 14999) * 2) % 73) - -111) / 5) + 69);
    	a1879373572 = 32 ;
    	a1534902259 = 32 ;
    	a2040628137 = ((a182175502 + a665096794) - 10);
    	a2061255735 = (a1290652559 + 2);
    	a583510163 = (((((((a583510163 * a850881173) % 14999) % 70) - -78) * 5) % 70) + 78); 
    	 
    } 
    if(((((a835102539 == 4 && (a583510163 <=  8 && (a2064844468 == 33 && a837448621 == 33))) && a268371874 <=  28) && (((input == 2) &&  cf==1 ) && a1879373572 == 33)) && a763506461 == 15)) {
    	a487646776 -= (a487646776 - 20) < a487646776 ? 3 : 0;
    	cf = 0;
    	a824024208 = 34 ;
    	a2122722213 = ((a1290652559 + a665096794) + -9);
    	a471011792 = ((a182175502 / a2061255735) - -11); 
    	 
    } 
    if((((a182175502 == 6 && (a890181220 == 33 && a2061255735 == 5)) && a837448621 == 33) && (a850881173 <=  37 && (( cf==1  && (input == 8)) && a1001390225 <=  -146)))) {
    	a112204540 += (a112204540 + 20) > a112204540 ? 1 : 0;
    	cf = 0;
    	a1210734340 = (((((((a1210734340 * a412613099) % 14999) % 84) + 102) * 5) % 84) - -101);
    	a837448621 = 32 ;
    	a268371874 = (((((((a1001390225 * a1001390225) % 14999) % 23) - -39) / 5) * 10) / 2);
    	a835102539 = ((a1290652559 * a2061255735) + -10);
    	a1171576990 = 32 ;
    	a1534902259 = 32 ;
    	a583510163 = ((((((a583510163 * a412613099) % 14999) % 70) + 78) + 0) + 3);
    	a412613099 = ((((((a1210734340 * a1210734340) % 14999) + 10938) * 1) % 62) - 79);
    	a2040628137 = (a182175502 + 2);
    	a2061255735 = (a236788248 - 11);
    	a2122722213 = (a182175502 + 3);
    	a850881173 = ((((((a850881173 * a268371874) % 14999) % 73) + 111) + -13191) - -13191);
    	a1001390225 = ((((((((a1001390225 * a1210734340) % 14999) % 98) - 46) + -1) * 5) % 98) + -47);
    	a471011792 = (a1290652559 + 9);
    	a890181220 = 32 ;
    	a1879373572 = 32 ;
    	a812175843 = 32 ;
    	a665096794 = (a1290652559 + 8);
    	a2064844468 = 32 ;
    	a182175502 = ((a1290652559 * a1290652559) - 2);
    	a1290652559 = 4; 
    	 
    } 
}
 void calculate_outputm30(int input) {
    if(((((a910748832 == 36 &&  cf==1 ) && a835102539 == 4) && a1210734340 <=  17) && (a1879373572 == 33 && ((a1534902259 == 33 && a583510163 <=  8) && a850881173 <=  37)))) {
    	calculate_outputm134(input);
    } 
}
 void calculate_outputm137(int input) {
    if((((a665096794 == 11 && (((-146 < a1001390225) && (51 >= a1001390225)) && a2040628137 == 8)) && a1290652559 == 4) && (((28 < a268371874) && (76 >= a268371874)) && (a2061255735 == 6 && ((input == 3) &&  cf==1 ))))) {
    	cf = 0;
    	a1001390225 = (((33 + -24462) - 332) - 1568);
    	a1290652559 = (a835102539 + -2);
    	a850881173 = ((((((a268371874 * a1001390225) % 14999) - 3327) * 10) / 9) - 9049);
    	a1210734340 = (((((a1210734340 * a850881173) % 14999) + -14993) - 8) - 1);
    	a2040628137 = (a1290652559 - -4);
    	a268371874 = (((((a268371874 * a1001390225) % 14999) + -9407) * 1) * 1);
    	a412613099 = ((((((a412613099 * a850881173) % 14999) % 14928) + -15071) * 1) * 1);
    	a583510163 = (((((a583510163 * a552913881) % 14999) + -23520) - 5169) + -1225);
    	a471011792 = ((a182175502 / a665096794) + 5);
    	a665096794 = ((a1290652559 - a1290652559) + 10);
    	a1879373572 = 33 ;
    	a236788248 = (a835102539 + 12);
    	a1534902259 = 33 ;
    	a182175502 = a2061255735;
    	a890181220 = 33 ;
    	a835102539 = (a2061255735 - 2);
    	a837448621 = 33 ;
    	a44138666 = 36 ;
    	a1171576990 = 33 ;
    	a2061255735 = ((a1290652559 / a1290652559) - -4); 
    	 
    } 
    if((((((-146 < a1001390225) && (51 >= a1001390225)) && (a182175502 == 7 && (((28 < a268371874) && (76 >= a268371874)) && (a1879373572 == 32 && a665096794 == 11)))) && (((input == 7) &&  cf==1 ) && ((8 < a583510163) && (150 >= a583510163)))) && a1515611838 <= -8)) {
    	a1743588795 -= (a1743588795 - 20) < a1743588795 ? 4 : 0;
    	cf = 0;
    	a471011792 = (a835102539 + 1);
    	a1218264876 = 36 ;
    	a45685611 = (a471011792 + 8); 
    	 
    } 
    if(((((37 < a850881173) && (184 >= a850881173)) && ( cf==1  && (input == 8))) && ((a835102539 == 5 && (a837448621 == 32 && (((-146 < a1001390225) && (51 >= a1001390225)) && a890181220 == 32))) && a182175502 == 7))) {
    	cf = 0;
    	a412613099 = ((((a412613099 * a850881173) + 16018) + -19198) * 1);
    	a1534902259 = 33 ;
    	a1171576990 = 33 ;
    	a1290652559 = ((a665096794 + a665096794) - 19);
    	a182175502 = ((a665096794 + a835102539) - 10);
    	a2040628137 = (a1290652559 + 4);
    	a2064844468 = 33 ;
    	a1179664392 = 36 ;
    	a850881173 = (((((((a552913881 * a583510163) % 14999) - 19984) * 10) / 9) + 27215) * -1);
    	a471011792 = (a2061255735 - -2);
    	a430318312 = (a665096794 + -8);
    	a2061255735 = ((a1290652559 - a835102539) - -7);
    	a835102539 = ((a182175502 * a665096794) - 62);
    	a1001390225 = (((((a1001390225 * a268371874) / 5) - 11758) * 10) / 9);
    	a665096794 = (a1290652559 - -7); 
    	 
    } 
    if((((((a837448621 == 32 && (((-144 < a412613099) && (-18 >= a412613099)) && ( cf==1  && (input == 2)))) && ((-146 < a1001390225) && (51 >= a1001390225))) && a1171576990 == 32) && (a2061255735 == 6 && ((28 < a268371874) && (76 >= a268371874)))) && a547738254 == 1)) {
    	a1425431969 += (a1425431969 + 20) > a1425431969 ? 1 : 0;
    	cf = 0;
    	a1422023390 = ((((a1210734340 * a268371874) + -23863) - -3936) * 1);
    	a471011792 = (a835102539 + 4);
    	a236788248 = (a1290652559 + 6); 
    	 
    } 
}
 void calculate_outputm32(int input) {
    if((((((a837448621 == 32 && ((-144 < a412613099) && (-18 >= a412613099))) && a1879373572 == 32) && a890181220 == 32) && ((8 < a583510163) && (150 >= a583510163))) && ((a1179664392 == 32 &&  cf==1 ) && a2064844468 == 32))) {
    	calculate_outputm137(input);
    } 
}
 void calculate_outputm139(int input) {
    if((((a1290652559 == 4 && a665096794 == 11) && a1534902259 == 32) && (a1171576990 == 32 && ((((input == 5) &&  cf==1 ) && ((17 < a1210734340) && (187 >= a1210734340))) && a182175502 == 7)))) {
    	a487646776 -= (a487646776 - 20) < a487646776 ? 3 : 0;
    	a1425431969 += (a1425431969 + 20) > a1425431969 ? 2 : 0;
    	cf = 0;
    	a45685611 = ((a2040628137 - a1290652559) + 9);
    	a2139179119 = (a665096794 + -2);
    	a837448621 = 32 ;
    	a471011792 = (a2040628137 - 2); 
    	 
    } 
    if(((((((-146 < a1001390225) && (51 >= a1001390225)) && ((((17 < a1210734340) && (187 >= a1210734340)) && ((8 < a583510163) && (150 >= a583510163))) && a1171576990 == 32)) && a1879373572 == 32) && a835102539 == 5) && ( cf==1  && (input == 8)))) {
    	a763506461 += (a763506461 + 20) > a763506461 ? 4 : 0;
    	a2084484762 += (a2084484762 + 20) > a2084484762 ? 6 : 0;
    	a418880267 -= (a418880267 - 20) < a418880267 ? 6 : 0;
    	a1264277206 += (a1264277206 + 20) > a1264277206 ? 4 : 0;
    	a1515611838 -= (a1515611838 - 20) < a1515611838 ? 4 : 0;
    	a416125995 += (a416125995 + 20) > a416125995 ? 1 : 0;
    	a834109496 += (a834109496 + 20) > a834109496 ? 1 : 0;
    	cf = 0;
    	a2122722213 = (a2061255735 + -1);
    	a837448621 = 32 ;
    	a1580522136 = (((((((a268371874 * a1001390225) % 54) - -101) - 2977) * 5) % 54) - -154);
    	a471011792 = (a2061255735 + 6); 
    	 
    } 
    if(((((((input == 9) &&  cf==1 ) && ((-144 < a412613099) && (-18 >= a412613099))) && a890181220 == 32) && a1879373572 == 32) && (a1171576990 == 32 && (a2064844468 == 32 && ((-146 < a1001390225) && (51 >= a1001390225)))))) {
    	a1221017635 += (a1221017635 + 20) > a1221017635 ? 4 : 0;
    	a547738254 += (a547738254 + 20) > a547738254 ? 6 : 0;
    	cf = 0;
    	a1171576990 = 33 ;
    	a2122722213 = ((a2040628137 + a2040628137) - 8);
    	a837448621 = 32 ;
    	a471011792 = (a835102539 - -7);
    	a166920931 = ((a2040628137 / a2122722213) - -13); 
    	 
    } 
    if((((((a2064844468 == 32 && a1879373572 == 32) && a890181220 == 32) && a1171576990 == 32) && (a1534902259 == 32 && (((input == 3) &&  cf==1 ) && a2061255735 == 6))) && a1955344686 == 14)) {
    	cf = 0;
    	a471011792 = ((a2061255735 / a835102539) - -6);
    	a2083223046 = 33 ;
    	a665096794 = (a471011792 + 5);
    	a182175502 = (a665096794 - 4);
    	a1171576990 = 34 ;
    	a835102539 = ((a471011792 + a665096794) + -13);
    	a2040628137 = (a665096794 - 3);
    	a418218587 = 34 ;
    	a1001390225 = ((((((a1001390225 * a268371874) % 48) + 99) * 5) % 48) - -64);
    	a850881173 = ((((((a850881173 * a552913881) % 14999) - 23427) / 5) % 100) + 346);
    	a583510163 = (((((((a583510163 * a274381288) % 14999) % 68) - -200) + 6) + 20066) + -20098);
    	a1879373572 = 34 ;
    	a1290652559 = (a835102539 - 1);
    	a2061255735 = (a182175502 - 1); 
    	 
    } 
    if(((((((-146 < a1001390225) && (51 >= a1001390225)) && a1290652559 == 4) && ((-144 < a412613099) && (-18 >= a412613099))) && ((((37 < a850881173) && (184 >= a850881173)) && (( cf==1  && (input == 2)) && ((28 < a268371874) && (76 >= a268371874)))) && ((8 < a583510163) && (150 >= a583510163)))) && a514396383 == 7)) {
    	a1515611838 += (a1515611838 + 20) > a1515611838 ? 3 : 0;
    	cf = 0;
    	a236788248 = (a182175502 - -3);
    	a471011792 = (a2061255735 - -3);
    	a1290652559 = (a471011792 - 6);
    	a1001390225 = ((((((a1001390225 * a552913881) % 14999) % 14927) - 15072) * 1) + 0);
    	a1879373572 = 33 ;
    	a2040628137 = ((a2061255735 * a471011792) - 47);
    	a268371874 = ((((((a268371874 * a552913881) % 14999) + -21018) * 10) / 9) * 1);
    	a412613099 = ((((a412613099 * a583510163) - -20983) + -23071) + -5970);
    	a1210734340 = ((((((a1210734340 * a274381288) % 14999) + -17041) * 10) / 9) * 1);
    	a2061255735 = (a2040628137 - 2);
    	a850881173 = ((((a850881173 * a583510163) * 1) + 1428) / -5);
    	a665096794 = (a835102539 + 5);
    	a1534902259 = 33 ;
    	a1422023390 = ((((((a552913881 * a552913881) % 14999) / 5) - -7907) % 83) - 127);
    	a2064844468 = 33 ;
    	a890181220 = 33 ;
    	a1171576990 = 33 ;
    	a835102539 = (a236788248 - 6); 
    	 
    } 
}
 void calculate_outputm140(int input) {
    if(((a2064844468 == 32 && (((input == 6) &&  cf==1 ) && a1534902259 == 32)) && (((((-146 < a1001390225) && (51 >= a1001390225)) && a837448621 == 32) && a1171576990 == 32) && a2061255735 == 6))) {
    	cf = 0;
    	a2040628137 = ((a2061255735 * a2061255735) + -29);
    	a471011792 = ((a665096794 / a1290652559) - -6);
    	a1171576990 = 33 ;
    	a850881173 = ((((((a268371874 * a274381288) % 14999) + -28988) - 7) - -27353) + -15316);
    	a890181220 = 33 ;
    	a665096794 = (a2040628137 + 3);
    	a71064409 = ((((((a583510163 * a412613099) + 11419) * 2) + -6829) % 101) + 24);
    	a1290652559 = ((a2040628137 / a471011792) - -3);
    	a1179664392 = 34 ;
    	a1210734340 = (((((a850881173 * a552913881) % 14999) + 4462) - 19446) + -8);
    	a1534902259 = 33 ;
    	a412613099 = ((((((a268371874 * a268371874) * -2) / 10) / 5) * 10) / 2);
    	a182175502 = (a471011792 - 2);
    	a835102539 = ((a665096794 - a1290652559) - 3);
    	a837448621 = 33 ;
    	a1879373572 = 33 ;
    	a2061255735 = (a2040628137 - 2);
    	a2064844468 = 33 ;
    	a1001390225 = ((((a1001390225 * a268371874) + -14021) + -2652) * 1);
    	a268371874 = (((((a268371874 * a1001390225) % 14999) - -16052) - 19425) / 5); 
    	 
    } 
    if((((( cf==1  && (input == 8)) && a2040628137 == 8) && a1171576990 == 32) && (a2061255735 == 6 && ((a2064844468 == 32 && ((-146 < a1001390225) && (51 >= a1001390225))) && ((8 < a583510163) && (150 >= a583510163)))))) {
    	a1425431969 += (a1425431969 + 20) > a1425431969 ? 2 : 0;
    	cf = 0;
    	a236788248 = (a835102539 - -12);
    	a1879373572 = 33 ;
    	a1210734340 = (((((a412613099 * a552913881) % 14999) / 5) - 16127) * 1);
    	a182175502 = ((a665096794 - a665096794) - -6);
    	a2040628137 = (a665096794 + -4);
    	a850881173 = (((((a850881173 * a268371874) * -2) + -946) - -12536) + -12797);
    	a412613099 = (((((((a1210734340 * a274381288) % 14999) % 14928) + -15071) - 1) + 27453) - 27452);
    	a583510163 = ((((((a583510163 * a274381288) % 14999) / 5) - -15389) / 5) - 32301);
    	a1001390225 = ((((((a1001390225 * a274381288) % 14999) * 2) - -3) / 5) - 8737);
    	a890181220 = 33 ;
    	a471011792 = ((a1290652559 + a236788248) - 12);
    	a910748832 = 36 ;
    	a835102539 = (a2061255735 - 2);
    	a1171576990 = 33 ;
    	a2064844468 = 33 ;
    	a1534902259 = 33 ;
    	a268371874 = ((((((a274381288 * a274381288) % 14999) + 5780) / -5) * 10) / 9);
    	a837448621 = 33 ;
    	a2061255735 = (a665096794 - 6);
    	a1290652559 = (a182175502 - 3);
    	a665096794 = (a236788248 - 7); 
    	 
    } 
}
 void calculate_outputm33(int input) {
    if(((a835102539 == 5 && (((-144 < a412613099) && (-18 >= a412613099)) && a2061255735 == 6)) && ((a890181220 == 32 && (( cf==1  && ((80 < a274381288) && (206 >= a274381288))) && ((8 < a583510163) && (150 >= a583510163)))) && a2040628137 == 8))) {
    	calculate_outputm139(input);
    } 
    if(((a1534902259 == 32 && (a1879373572 == 32 && ((28 < a268371874) && (76 >= a268371874)))) && ((a835102539 == 5 && (a1171576990 == 32 && (301 < a274381288 &&  cf==1 ))) && a890181220 == 32))) {
    	calculate_outputm140(input);
    } 
}
 void calculate_outputm145(int input) {
    if(((( cf==1  && (input == 6)) && a835102539 == 5) && (a1534902259 == 32 && ((a182175502 == 7 && (a1290652559 == 4 && ((28 < a268371874) && (76 >= a268371874)))) && ((8 < a583510163) && (150 >= a583510163)))))) {
    	cf = 0;
    	a45685611 = (a471011792 + -4);
    	a946891643 = ((a471011792 / a665096794) + 5);
    	a471011792 = a946891643; 
    	 
    } 
    if((( cf==1  && (input == 7)) && ((a2064844468 == 32 && ((((-144 < a412613099) && (-18 >= a412613099)) && (((17 < a1210734340) && (187 >= a1210734340)) && a2040628137 == 8)) && a182175502 == 7)) && ((-146 < a1001390225) && (51 >= a1001390225))))) {
    	a1515611838 += (a1515611838 + 20) > a1515611838 ? 4 : 0;
    	a501521675 += (a501521675 + 20) > a501521675 ? 2 : 0;
    	a487646776 -= (a487646776 - 20) < a487646776 ? 2 : 0;
    	cf = 0;
    	a1535937505 = 36 ;
    	a2122722213 = (a2040628137 + -2);
    	a471011792 = (a2122722213 - -6); 
    	 
    } 
    if(((((8 < a583510163) && (150 >= a583510163)) && ((((input == 5) &&  cf==1 ) && a2064844468 == 32) && ((28 < a268371874) && (76 >= a268371874)))) && ((((-144 < a412613099) && (-18 >= a412613099)) && a890181220 == 32) && a837448621 == 32))) {
    	cf = 0;
    	a890181220 = 33 ;
    	a2064844468 = 33 ;
    	a471011792 = ((a665096794 + a1290652559) - 7);
    	a1605463015 = ((a2061255735 * a835102539) + -20);
    	a2061255735 = (a182175502 - 2);
    	a2040628137 = (a471011792 - 1);
    	a583510163 = (((((a583510163 * a1001390225) / 5) + -2708) * 10) / 9);
    	a1171576990 = 33 ;
    	a268371874 = (((((a268371874 * a1001390225) + -17678) + 37940) + -2403) * -1);
    	a1210734340 = (((((a1210734340 * a850881173) % 14999) - 27760) - 418) * 1);
    	a1534902259 = 33 ;
    	a1879373572 = 33 ;
    	a412613099 = ((((((a412613099 * a1210734340) % 14999) % 14928) + -15071) * 1) - 1);
    	a850881173 = (((((a850881173 * a621522874) % 14999) - 23408) * 1) + 4328);
    	a1290652559 = (a2061255735 - 2);
    	a1001390225 = (((((a1001390225 * a1684594625) * 1) - 9163) * 10) / 9);
    	a1179664392 = 33 ;
    	a665096794 = (a2061255735 + 5);
    	a837448621 = 33 ;
    	a835102539 = (a182175502 - 3);
    	a182175502 = ((a2061255735 * a2061255735) + -19); 
    	 
    } 
}
 void calculate_outputm35(int input) {
    if(((a890181220 == 32 && (((28 < a268371874) && (76 >= a268371874)) && (a1290652559 == 4 && a2064844468 == 32))) && (((((-26 < a1684594625) && (105 >= a1684594625)) &&  cf==1 ) && a837448621 == 32) && a835102539 == 5))) {
    	calculate_outputm145(input);
    } 
}
 void calculate_outputm150(int input) {
    if(((((((input == 10) &&  cf==1 ) && a1534902259 == 32) && a1171576990 == 32) && (((a837448621 == 32 && a2040628137 == 8) && ((8 < a583510163) && (150 >= a583510163))) && a1290652559 == 4)) && a487646776 == 34)) {
    	a834109496 -= (a834109496 - 20) < a834109496 ? 4 : 0;
    	cf = 0;
    	a1179664392 = 33 ;
    	a837448621 = 33 ;
    	a182175502 = (a835102539 + 1);
    	a471011792 = ((a665096794 - a835102539) + 2);
    	a1534902259 = 33 ;
    	a583510163 = ((((a583510163 * a1210734340) + -28092) - 173) * 1);
    	a2040628137 = ((a835102539 + a471011792) - 6);
    	a1605463015 = ((a2061255735 / a1290652559) - -7);
    	a2061255735 = (a182175502 + -1);
    	a1879373572 = 33 ;
    	a1171576990 = 33 ;
    	a665096794 = ((a182175502 + a182175502) - 2);
    	a268371874 = ((((a268371874 * a412613099) - 11284) - 1566) + 8370);
    	a1290652559 = (a2061255735 - 2);
    	a412613099 = (((((a412613099 * a621522874) % 14999) - 1243) + -6848) * 1);
    	a2064844468 = 33 ;
    	a835102539 = ((a2040628137 + a2040628137) + -10); 
    	 
    } 
    if((((a2064844468 == 32 && (a665096794 == 11 && (a2061255735 == 6 && a890181220 == 32))) && (a835102539 == 5 && (((8 < a583510163) && (150 >= a583510163)) && ((input == 7) &&  cf==1 )))) && a1053339053 <= -42)) {
    	cf = 0;
    	a471011792 = ((a835102539 / a665096794) + 6);
    	a45685611 = (a835102539 - -8);
    	a2139179119 = (a45685611 + 3); 
    	 
    } 
    if(((((((a2064844468 == 32 && ( cf==1  && (input == 5))) && a1534902259 == 32) && ((28 < a268371874) && (76 >= a268371874))) && a2061255735 == 6) && (((37 < a850881173) && (184 >= a850881173)) && a665096794 == 11)) && a1425431969 <= -46)) {
    	a1515611838 += (a1515611838 + 20) > a1515611838 ? 4 : 0;
    	cf = 0;
    	a499699109 = ((a665096794 + a2040628137) - 15);
    	a621522874 = (((((a621522874 * a412613099) % 14999) / 5) - -26625) * 1); 
    	 
    } 
    if((((a182175502 == 7 && (((-146 < a1001390225) && (51 >= a1001390225)) && ((input == 8) &&  cf==1 ))) && ((a1290652559 == 4 && (a1171576990 == 32 && a837448621 == 32)) && ((28 < a268371874) && (76 >= a268371874)))) && a416125995 == 28)) {
    	a838736370 -= (a838736370 - 20) < a838736370 ? 2 : 0;
    	cf = 0;
    	a471011792 = (a665096794 - 5);
    	a45685611 = (a471011792 - -4);
    	a173429297 = (((((a268371874 * a583510163) - -16525) % 109) - 41) - 14); 
    	 
    } 
    if((((a1534902259 == 32 && (( cf==1  && (input == 1)) && a890181220 == 32)) && (((((17 < a1210734340) && (187 >= a1210734340)) && a182175502 == 7) && a665096794 == 11) && ((37 < a850881173) && (184 >= a850881173)))) && a51415461 <= -39)) {
    	a514396383 -= (a514396383 - 20) < a514396383 ? 3 : 0;
    	cf = 0;
    	a1879373572 = 34 ;
    	a808219163 = 35 ;
    	a837448621 = 34 ;
    	a665096794 = (a2061255735 - -6);
    	a1001390225 = (((((((a1001390225 * a1210734340) * 1) % 48) + 99) * 5) % 48) + 73);
    	a890181220 = 34 ;
    	a182175502 = ((a665096794 - a835102539) - -1);
    	a1290652559 = ((a665096794 + a665096794) + -19);
    	a1171576990 = 34 ;
    	a2040628137 = (a665096794 - 3);
    	a583510163 = ((((((a583510163 * a268371874) * 2) + -273) + -10498) % 68) + 220);
    	a471011792 = (a2061255735 + 1);
    	a412613099 = ((((((a412613099 * a621522874) % 14999) / 5) % 26) - -8) + 3);
    	a418218587 = 33 ;
    	a1210734340 = (((((((a1210734340 * a268371874) % 17) + 188) + 14) * 5) % 17) - -199);
    	a2061255735 = ((a665096794 + a665096794) - 17); 
    	 
    } 
    if((((((input == 2) &&  cf==1 ) && ((28 < a268371874) && (76 >= a268371874))) && (((-146 < a1001390225) && (51 >= a1001390225)) && (((((17 < a1210734340) && (187 >= a1210734340)) && a890181220 == 32) && ((8 < a583510163) && (150 >= a583510163))) && a2040628137 == 8))) && a220097023 <= -31)) {
    	a1955344686 -= (a1955344686 - 20) < a1955344686 ? 4 : 0;
    	cf = 0;
    	a236788248 = (a665096794 - -2);
    	a1534902259 = 33 ;
    	a1001390225 = ((((a1001390225 * a412613099) + 2112) - 23560) + -319);
    	a182175502 = (a835102539 - -1);
    	a1171576990 = 33 ;
    	a471011792 = (a1290652559 + 5);
    	a1864015649 = 33 ;
    	a890181220 = 33 ;
    	a665096794 = ((a2061255735 * a236788248) + -68);
    	a2040628137 = (a2061255735 + 1);
    	a268371874 = ((((a268371874 * a1210734340) * 2) + -28703) - 1239);
    	a850881173 = (((((a850881173 * a268371874) % 14999) / 5) / 5) + -27400);
    	a2061255735 = (a1290652559 + 1);
    	a1290652559 = ((a835102539 * a835102539) - 22); 
    	 
    } 
    if(((((input == 3) &&  cf==1 ) && a837448621 == 32) && (a2040628137 == 8 && (((37 < a850881173) && (184 >= a850881173)) && (a1290652559 == 4 && (((-144 < a412613099) && (-18 >= a412613099)) && a890181220 == 32)))))) {
    	a1716545843 -= (a1716545843 - 20) < a1716545843 ? 4 : 0;
    	cf = 0;
    	a621522874 = ((((((a621522874 * a268371874) % 14999) / 5) + 22113) % 106) + 132);
    	a1684594625 = (((((a412613099 * a1001390225) % 65) + 40) - 27076) + 27076); 
    	 
    } 
    if((((a837448621 == 32 && a182175502 == 7) && ((a665096794 == 11 && ((((37 < a850881173) && (184 >= a850881173)) && ((input == 4) &&  cf==1 )) && a1171576990 == 32)) && a1534902259 == 32)) && a1498331231 == 55)) {
    	a1053339053 -= (a1053339053 - 20) < a1053339053 ? 2 : 0;
    	cf = 0;
    	a583510163 = ((((((a1001390225 * a621522874) % 14999) - -606) * 1) - 2012) - 13595);
    	a890181220 = 33 ;
    	a268371874 = (((((a268371874 * a583510163) % 14999) + -14984) / 5) + -1288);
    	a1171576990 = 33 ;
    	a850881173 = (((((a850881173 * a268371874) % 14999) - 14974) * 1) - 8);
    	a1290652559 = (a2040628137 + -5);
    	a1879373572 = 33 ;
    	a1001390225 = (((((a1001390225 * a1210734340) % 14927) + -15072) * 1) + -1);
    	a1218264876 = 33 ;
    	a236788248 = (a665096794 + 3);
    	a471011792 = (a236788248 + -5);
    	a1534902259 = 33 ;
    	a2061255735 = ((a665096794 / a835102539) + 3);
    	a412613099 = (((((a412613099 * a1210734340) * 1) * 1) + 4039) + -3861);
    	a665096794 = (a835102539 + 5); 
    	 
    } 
    if((((a1879373572 == 32 && ((((input == 6) &&  cf==1 ) && ((8 < a583510163) && (150 >= a583510163))) && a2040628137 == 8)) && (a890181220 == 32 && (((28 < a268371874) && (76 >= a268371874)) && ((-146 < a1001390225) && (51 >= a1001390225))))) && a1716545843 <= -72)) {
    	a1053339053 += (a1053339053 + 20) > a1053339053 ? 2 : 0;
    	cf = 0;
    	a824024208 = 35 ; 
    	 
    } 
    if((((((a1171576990 == 32 && ((28 < a268371874) && (76 >= a268371874))) && a1879373572 == 32) && ((-146 < a1001390225) && (51 >= a1001390225))) && (a2040628137 == 8 && (( cf==1  && (input == 9)) && a1534902259 == 32))) && a501521675 <= -53)) {
    	cf = 0;
    	a583510163 = (((((a583510163 * a1001390225) + -8022) - 76) + 7400) - 7346);
    	a1210734340 = ((((a1210734340 * a412613099) - 1668) / 5) * 5);
    	a1001390225 = (((((((a1001390225 * a1210734340) % 14999) % 14927) + -15072) + -1) + 6674) + -6673);
    	a44138666 = 32 ;
    	a837448621 = 33 ;
    	a1171576990 = 33 ;
    	a2061255735 = (a182175502 + -2);
    	a471011792 = ((a665096794 * a835102539) - 50);
    	a835102539 = (a471011792 + -1);
    	a1944090451 = 33 ;
    	a1879373572 = 33 ;
    	a268371874 = ((((a268371874 * a412613099) - 78) - 10989) * 1);
    	a665096794 = (a1290652559 + 6);
    	a850881173 = (((((a850881173 * a268371874) % 14999) - 14971) - 6) + -13); 
    	 
    } 
}
 void calculate_outputm36(int input) {
    if(((a890181220 == 32 && (a824024208 == 36 &&  cf==1 )) && ((a2064844468 == 32 && ((((-144 < a412613099) && (-18 >= a412613099)) && a2040628137 == 8) && a1290652559 == 4)) && a1879373572 == 32))) {
    	calculate_outputm150(input);
    } 
}
 void calculate_outputm154(int input) {
    if((((((((-144 < a412613099) && (-18 >= a412613099)) && ( cf==1  && (input == 3))) && a182175502 == 7) && a837448621 == 32) && a1534902259 == 32) && (((28 < a268371874) && (76 >= a268371874)) && a1171576990 == 32))) {
    	cf = 0;
    	a45685611 = ((a665096794 + a471011792) + -16);
    	a471011792 = a2061255735;
    	a946891643 = (a45685611 - 1); 
    	 
    } 
    if((((a837448621 == 32 && (((-146 < a1001390225) && (51 >= a1001390225)) && a1171576990 == 32)) && a890181220 == 32) && (a1290652559 == 4 && (((input == 1) &&  cf==1 ) && a1534902259 == 32)))) {
    	a834109496 += (a834109496 + 20) > a834109496 ? 2 : 0;
    	a1859169403 -= (a1859169403 - 20) < a1859169403 ? 1 : 0;
    	cf = 0;
    	a665096794 = ((a2040628137 / a471011792) + 10);
    	a1210734340 = ((((a1001390225 * a1001390225) / 5) + -14799) + -6399);
    	a1534902259 = 33 ;
    	a182175502 = (a2040628137 - 2);
    	a412613099 = ((((((a1210734340 * a268371874) % 14999) - 8965) - 3146) % 14928) - 15071);
    	a2061255735 = (a665096794 + -5);
    	a268371874 = ((((((a268371874 * a412613099) % 14999) - 7143) - 7625) - -44513) * -1);
    	a482477713 = ((a2122722213 - a1290652559) - -9);
    	a583510163 = ((((a583510163 * a1001390225) * 1) + -7950) + -80);
    	a2040628137 = (a471011792 - 5);
    	a1001390225 = ((((a1001390225 * a850881173) / 5) + -3927) * 3);
    	a236788248 = (a2122722213 - -14);
    	a1171576990 = 33 ;
    	a890181220 = 33 ;
    	a850881173 = (((a850881173 / -5) * 5) * 5);
    	a837448621 = 33 ;
    	a471011792 = (a236788248 - 7); 
    	 
    } 
    if((((a1879373572 == 32 && a2064844468 == 32) && a890181220 == 32) && (a182175502 == 7 && (a837448621 == 32 && (( cf==1  && (input == 8)) && ((37 < a850881173) && (184 >= a850881173))))))) {
    	a1498331231 -= (a1498331231 - 20) < a1498331231 ? 3 : 0;
    	a1148381820 -= (a1148381820 - 20) < a1148381820 ? 2 : 0;
    	cf = 0;
    	a1889803145 = ((((((a1210734340 * a850881173) % 14999) - 15156) * 1) / 5) + -21916);
    	a45685611 = (a2061255735 + 2);
    	a471011792 = ((a665096794 + a2040628137) - 13); 
    	 
    } 
    if(((a665096794 == 11 && ((( cf==1  && (input == 7)) && a1290652559 == 4) && a182175502 == 7)) && ((a2061255735 == 6 && ((17 < a1210734340) && (187 >= a1210734340))) && ((-146 < a1001390225) && (51 >= a1001390225))))) {
    	cf = 0;
    	a812175843 = 32 ;
    	a2122722213 = (a1290652559 + 3); 
    	 
    } 
}
 void calculate_outputm38(int input) {
    if((a2064844468 == 32 && (((a2061255735 == 6 && (a182175502 == 7 && ((a1821141922 == 36 &&  cf==1 ) && a1171576990 == 32))) && a1534902259 == 32) && ((28 < a268371874) && (76 >= a268371874))))) {
    	calculate_outputm154(input);
    } 
}
 void calculate_outputm158(int input) {
    if(((((((input == 1) &&  cf==1 ) && a1879373572 == 32) && a835102539 == 5) && (((((-146 < a1001390225) && (51 >= a1001390225)) && a837448621 == 32) && ((-144 < a412613099) && (-18 >= a412613099))) && ((17 < a1210734340) && (187 >= a1210734340)))) && a1487195600 == -14)) {
    	cf = 0;
    	a1179664392 = 36 ;
    	a471011792 = (a182175502 - -1);
    	a430318312 = (a2040628137 + -3); 
    	 
    } 
    if(((a1534902259 == 32 && ((((28 < a268371874) && (76 >= a268371874)) && (((input == 7) &&  cf==1 ) && a182175502 == 7)) && a2061255735 == 6)) && (a835102539 == 5 && a890181220 == 32))) {
    	a834109496 -= (a834109496 - 20) < a834109496 ? 3 : 0;
    	a1859169403 -= (a1859169403 - 20) < a1859169403 ? 4 : 0;
    	cf = 0;
    	a890181220 = 33 ;
    	a236788248 = (a2040628137 - -2);
    	a1534902259 = 33 ;
    	a2061255735 = (a1290652559 + 1);
    	a1422023390 = ((((a268371874 * a850881173) * 2) + -2756) + 975);
    	a412613099 = ((((((a412613099 * a1422023390) % 14999) + 10545) + -20200) * 10) / 9);
    	a182175502 = ((a2122722213 - a2061255735) - -6);
    	a471011792 = (a236788248 + -1);
    	a850881173 = ((((a850881173 * a583510163) / 5) - -645) * -4);
    	a1171576990 = 33 ;
    	a1879373572 = 33 ;
    	a1210734340 = (((((a1210734340 * a1580522136) - 25415) + 8667) / 5) + -14421);
    	a268371874 = (((((a1422023390 * a1422023390) % 14999) - 29632) - 223) - 112);
    	a835102539 = (a2122722213 - 1);
    	a665096794 = (a835102539 + 6); 
    	 
    } 
    if((((((37 < a850881173) && (184 >= a850881173)) && ((a1171576990 == 32 && (((input == 10) &&  cf==1 ) && ((8 < a583510163) && (150 >= a583510163)))) && a890181220 == 32)) && ((28 < a268371874) && (76 >= a268371874))) && a2040628137 == 8)) {
    	a514396383 -= (a514396383 - 20) < a514396383 ? 4 : 0;
    	cf = 0;
    	a1179664392 = 32 ;
    	a552913881 = ((((((a412613099 * a1001390225) + -9544) % 58) - -441) + 15830) + -15829);
    	a471011792 = (a182175502 - -3); 
    	 
    } 
    if(((((-144 < a412613099) && (-18 >= a412613099)) && ((a182175502 == 7 && a2061255735 == 6) && ((-146 < a1001390225) && (51 >= a1001390225)))) && ((a1534902259 == 32 && ((input == 5) &&  cf==1 )) && ((8 < a583510163) && (150 >= a583510163))))) {
    	a635353122 += (a635353122 + 20) > a635353122 ? 4 : 0;
    	a1075927325 -= (a1075927325 - 20) < a1075927325 ? 4 : 0;
    	a95561532 += (a95561532 + 20) > a95561532 ? 4 : 0;
    	a1487195600 -= (a1487195600 - 20) < a1487195600 ? 4 : 0;
    	a273635060 -= (a273635060 - 20) < a273635060 ? 6 : 0;
    	a311962986 -= (a311962986 - 20) < a311962986 ? 4 : 0;
    	a460288454 += (a460288454 + 20) > a460288454 ? 4 : 0;
    	a1355501303 += (a1355501303 + 20) > a1355501303 ? 2 : 0;
    	a514396383 += (a514396383 + 20) > a514396383 ? 1 : 0;
    	a1955344686 += (a1955344686 + 20) > a1955344686 ? 2 : 0;
    	a112204540 += (a112204540 + 20) > a112204540 ? 2 : 0;
    	cf = 0;
    	a837448621 = 34 ;
    	a471011792 = (a2122722213 - -5);
    	a552913881 = (((((a850881173 * a412613099) - 2544) + 6063) * 1) + 23756);
    	a274381288 = (((((((a1001390225 * a552913881) % 14999) % 62) - -143) / 5) - -19210) + -19084); 
    	 
    } 
}
 void calculate_outputm41(int input) {
    if(((((-144 < a412613099) && (-18 >= a412613099)) && (a835102539 == 5 && (( cf==1  && ((47 < a1580522136) && (156 >= a1580522136))) && a665096794 == 11))) && ((((37 < a850881173) && (184 >= a850881173)) && a2040628137 == 8) && a890181220 == 32))) {
    	calculate_outputm158(input);
    } 
}
 void calculate_outputm161(int input) {
    if(((a1171576990 == 32 && ((a665096794 == 11 && (a837448621 == 32 && ((37 < a850881173) && (184 >= a850881173)))) && a2061255735 == 6)) && (( cf==1  && (input == 6)) && a2064844468 == 32))) {
    	a838736370 -= (a838736370 - 20) < a838736370 ? 4 : 0;
    	cf = 0;
    	 
    	 
    } 
    if((((((8 < a583510163) && (150 >= a583510163)) && (a835102539 == 5 && ((-146 < a1001390225) && (51 >= a1001390225)))) && (((17 < a1210734340) && (187 >= a1210734340)) && ((( cf==1  && (input == 10)) && a2061255735 == 6) && a182175502 == 7))) && a460288454 == 11)) {
    	cf = 0;
    	a1218264876 = 34 ;
    	a45685611 = ((a1290652559 * a1290652559) + -7);
    	a471011792 = (a1290652559 - -2); 
    	 
    } 
    if((((( cf==1  && (input == 5)) && ((8 < a583510163) && (150 >= a583510163))) && ((-144 < a412613099) && (-18 >= a412613099))) && ((a1290652559 == 4 && (a2061255735 == 6 && a2064844468 == 32)) && a2040628137 == 8))) {
    	a1148381820 -= (a1148381820 - 20) < a1148381820 ? 1 : 0;
    	cf = 0;
    	a1879373572 = 33 ;
    	a583510163 = (((((a1001390225 * a268371874) / 5) / 5) * 5) + -21552);
    	a471011792 = (a2122722213 + 2);
    	a182175502 = (a1290652559 + 2);
    	a2079503415 = (a2040628137 + 8);
    	a268371874 = (((((a268371874 * a583510163) % 14999) + -14983) + -18) - 1);
    	a2061255735 = ((a182175502 * a2079503415) + -91);
    	a2064844468 = 33 ;
    	a890181220 = 33 ;
    	a665096794 = (a2061255735 + 5);
    	a1534902259 = 33 ;
    	a236788248 = ((a835102539 + a1290652559) - -6);
    	a1171576990 = 33 ;
    	a1210734340 = (((((a1210734340 * a412613099) * 1) * 10) / 9) - 23);
    	a837448621 = 33 ;
    	a2040628137 = (a182175502 + 1);
    	a835102539 = (a182175502 + -2);
    	a412613099 = (((((a412613099 * a850881173) / 5) * 11) / 10) * 5); 
    	 
    } 
    if((((a182175502 == 7 && a2040628137 == 8) && ((a2061255735 == 6 && ((((input == 1) &&  cf==1 ) && a890181220 == 32) && a1171576990 == 32)) && ((37 < a850881173) && (184 >= a850881173)))) && a418880267 == -20)) {
    	cf = 0;
    	a1864015649 = 34 ;
    	a236788248 = (a2122722213 - -6);
    	a471011792 = ((a236788248 * a2122722213) - 82); 
    	 
    } 
}
 void calculate_outputm43(int input) {
    if(((a665096794 == 11 && ((a1534902259 == 32 && a1290652559 == 4) && ((-146 < a1001390225) && (51 >= a1001390225)))) && ((a2061255735 == 6 && (a812175843 == 32 &&  cf==1 )) && a890181220 == 32))) {
    	calculate_outputm161(input);
    } 
}
 void calculate_outputm162(int input) {
    if(((a1534902259 == 32 && (a835102539 == 5 && (((input == 2) &&  cf==1 ) && a1290652559 == 4))) && (a2040628137 == 8 && (a1879373572 == 32 && a1171576990 == 32)))) {
    	a1955344686 -= (a1955344686 - 20) < a1955344686 ? 4 : 0;
    	cf = 0;
    	a166920931 = ((a2040628137 + a2040628137) - 1); 
    	 
    } 
    if((((a1171576990 == 32 && a1534902259 == 32) && a837448621 == 32) && (((a835102539 == 5 && ((input == 10) &&  cf==1 )) && ((37 < a850881173) && (184 >= a850881173))) && ((8 < a583510163) && (150 >= a583510163))))) {
    	cf = 0;
    	a1889803145 = ((((((a1210734340 * a1210734340) % 14999) - 14713) * 2) / 5) + -2956);
    	a45685611 = a2040628137;
    	a471011792 = (a45685611 + -2); 
    	 
    } 
    if(((((28 < a268371874) && (76 >= a268371874)) && (((37 < a850881173) && (184 >= a850881173)) && (a1534902259 == 32 && a1171576990 == 32))) && (a2061255735 == 6 && (((input == 3) &&  cf==1 ) && a835102539 == 5)))) {
    	a1053339053 += (a1053339053 + 20) > a1053339053 ? 1 : 0;
    	a1347184625 += (a1347184625 + 20) > a1347184625 ? 3 : 0;
    	cf = 0;
    	a418218587 = 32 ;
    	a1290652559 = ((a665096794 * a2122722213) + -83);
    	a2040628137 = (a1290652559 + 4);
    	a890181220 = 34 ;
    	a471011792 = ((a665096794 + a166920931) + -12);
    	a1879373572 = 34 ;
    	a2061255735 = (a1290652559 - -2);
    	a621522874 = (((((a1210734340 * a1001390225) % 96) + 427) + 1) - 2);
    	a2064844468 = 34 ;
    	a1001390225 = ((((((a268371874 * a412613099) / 5) / 5) - -1214) % 48) - -73);
    	a850881173 = (((((a850881173 * a412613099) * 1) / 5) % 100) - -376);
    	a1171576990 = 34 ;
    	a837448621 = 34 ;
    	a665096794 = ((a1290652559 / a2122722213) + 12); 
    	 
    } 
}
 void calculate_outputm165(int input) {
    if(((a2061255735 == 6 && (((-144 < a412613099) && (-18 >= a412613099)) && (a182175502 == 7 && a837448621 == 32))) && ((((17 < a1210734340) && (187 >= a1210734340)) && ((input == 1) &&  cf==1 )) && a1290652559 == 4))) {
    	cf = 0;
    	a236788248 = (a665096794 + 1);
    	a1879373572 = 33 ;
    	a835102539 = ((a236788248 + a665096794) + -19);
    	a1290652559 = (a665096794 - 8);
    	a890181220 = 33 ;
    	a583510163 = (((((a583510163 * a1001390225) + -7947) / 5) * 10) / 9);
    	a44138666 = 35 ;
    	a850881173 = ((((a850881173 * a412613099) / 5) - 12155) * 1);
    	a2061255735 = (a236788248 + -7);
    	a837448621 = 33 ;
    	a1210734340 = ((((a268371874 * a268371874) / -5) + -23525) - 2273);
    	a182175502 = (a2122722213 - 2);
    	a471011792 = ((a166920931 - a166920931) - -5);
    	a1001390225 = (((((((a1001390225 * a1210734340) % 14999) % 14927) - 15072) - 2) - -19229) - 19227);
    	a665096794 = (a835102539 + 6); 
    	 
    } 
    if((((((-146 < a1001390225) && (51 >= a1001390225)) && ( cf==1  && (input == 7))) && a835102539 == 5) && (a2064844468 == 32 && (((-144 < a412613099) && (-18 >= a412613099)) && (a665096794 == 11 && a1879373572 == 32))))) {
    	cf = 0;
    	a2122722213 = (a1290652559 + -2);
    	a1171576990 = 32 ;
    	a1821141922 = 36 ;
    	a835102539 = (a2040628137 + -3); 
    	 
    } 
    if(((a835102539 == 5 && (a182175502 == 7 && ((-146 < a1001390225) && (51 >= a1001390225)))) && ((a2061255735 == 6 && (a837448621 == 32 && ((input == 3) &&  cf==1 ))) && ((-144 < a412613099) && (-18 >= a412613099))))) {
    	a434613686 -= (a434613686 - 20) < a434613686 ? 6 : 0;
    	a1053339053 -= (a1053339053 - 20) < a1053339053 ? 4 : 0;
    	a1859169403 += (a1859169403 + 20) > a1859169403 ? 2 : 0;
    	cf = 0;
    	a1001390225 = (((((a1210734340 * a268371874) - 27293) + 15318) - 606) - 13903);
    	a2064844468 = 33 ;
    	a890181220 = 33 ;
    	a1534902259 = 33 ;
    	a1210734340 = (((((a1001390225 * a1001390225) % 14999) - 25688) + -3688) + -556);
    	a236788248 = (a665096794 - -6);
    	a850881173 = (((((a850881173 * a1001390225) % 14999) - 11581) - 297) + -2330);
    	a1879373572 = 33 ;
    	a471011792 = ((a2122722213 + a2040628137) + -7);
    	a910748832 = 36 ;
    	a268371874 = ((((((a412613099 * a1001390225) % 14999) + -16600) - 2726) - -29568) * -1);
    	a182175502 = (a2122722213 + -2);
    	a837448621 = 33 ;
    	a835102539 = (a166920931 + -10);
    	a2040628137 = (a166920931 + -7);
    	a2061255735 = (a166920931 + -9);
    	a1290652559 = ((a835102539 - a166920931) + 13);
    	a665096794 = (a166920931 - 4);
    	a412613099 = (((((((a412613099 * a1001390225) % 14999) - -11026) * -1) / 10) * 10) / 9);
    	a583510163 = (((((a583510163 * a1001390225) % 14999) / 5) - 12422) * 1); 
    	 
    } 
}
 void calculate_outputm166(int input) {
    if((((a837448621 == 32 && (a1879373572 == 32 && ( cf==1  && (input == 10)))) && a890181220 == 32) && (a2040628137 == 8 && (a1171576990 == 32 && ((28 < a268371874) && (76 >= a268371874)))))) {
    	a487646776 += (a487646776 + 20) > a487646776 ? 2 : 0;
    	a838736370 += (a838736370 + 20) > a838736370 ? 2 : 0;
    	a1347184625 -= (a1347184625 - 20) < a1347184625 ? 4 : 0;
    	cf = 0;
    	a1889803145 = ((((((a850881173 * a1001390225) % 14949) + -15049) - -2958) + -2898) + -62);
    	a471011792 = ((a1290652559 * a665096794) + -38);
    	a45685611 = a2122722213; 
    	 
    } 
    if((((((28 < a268371874) && (76 >= a268371874)) && ((a890181220 == 32 && ((-144 < a412613099) && (-18 >= a412613099))) && a1879373572 == 32)) && (((17 < a1210734340) && (187 >= a1210734340)) && (a1171576990 == 32 && ( cf==1  && (input == 4))))) && a273635060 == -6)) {
    	a487646776 -= (a487646776 - 20) < a487646776 ? 3 : 0;
    	cf = 0;
    	a173429297 = (((((((a412613099 * a412613099) % 80) + 195) * 5) - -1524) % 80) + 236);
    	a418218587 = 35 ;
    	a471011792 = ((a835102539 + a2122722213) - 6); 
    	 
    } 
    if((((a665096794 == 11 && (a1290652559 == 4 && (((8 < a583510163) && (150 >= a583510163)) && ((a1171576990 == 32 && ((input == 7) &&  cf==1 )) && ((-146 < a1001390225) && (51 >= a1001390225)))))) && a835102539 == 5) && a275262794 == -1)) {
    	cf = 0;
    	a910748832 = 34 ;
    	a471011792 = (a166920931 + -6);
    	a236788248 = ((a2040628137 + a2040628137) + 1); 
    	 
    } 
    if(((((28 < a268371874) && (76 >= a268371874)) && ((input == 8) &&  cf==1 )) && (a665096794 == 11 && (((((37 < a850881173) && (184 >= a850881173)) && a835102539 == 5) && ((8 < a583510163) && (150 >= a583510163))) && a837448621 == 32)))) {
    	a501521675 += (a501521675 + 20) > a501521675 ? 1 : 0;
    	a416125995 -= (a416125995 - 20) < a416125995 ? 2 : 0;
    	cf = 0;
    	a890181220 = 33 ;
    	a1879373572 = 33 ;
    	a1171576990 = 33 ;
    	a471011792 = ((a2122722213 * a2040628137) + -55);
    	a1864015649 = 36 ;
    	a1534902259 = 33 ;
    	a837448621 = 33 ;
    	a182175502 = (a2040628137 - 2);
    	a2061255735 = ((a2040628137 / a471011792) - -5);
    	a665096794 = (a166920931 - 5);
    	a236788248 = (a1290652559 + 9);
    	a268371874 = (((((a850881173 * a1001390225) + 4819) + -4018) % 15014) - 14985);
    	a1290652559 = (a835102539 + -2);
    	a2064844468 = 33 ;
    	a1001390225 = ((((((a1001390225 * a268371874) % 14999) % 14927) + -15072) * 1) + -1); 
    	 
    } 
    if((((a1879373572 == 32 && (a2040628137 == 8 && (((-146 < a1001390225) && (51 >= a1001390225)) && a890181220 == 32))) && ((((17 < a1210734340) && (187 >= a1210734340)) && ( cf==1  && (input == 5))) && a2064844468 == 32)) && a1221017635 == 9)) {
    	cf = 0;
    	a552913881 = (((((((a268371874 * a1001390225) % 107) + 275) + 7110) * 4) % 107) - -190);
    	a471011792 = (a665096794 - 1);
    	a648283191 = ((((((a412613099 * a412613099) * 1) % 94) - 50) - -10636) - 10623); 
    	 
    } 
    if((((a2061255735 == 6 && ( cf==1  && (input == 1))) && a2064844468 == 32) && (((((-144 < a412613099) && (-18 >= a412613099)) && ((17 < a1210734340) && (187 >= a1210734340))) && a835102539 == 5) && a1290652559 == 4))) {
    	a501521675 -= (a501521675 - 20) < a501521675 ? 4 : 0;
    	a51415461 -= (a51415461 - 20) < a51415461 ? 2 : 0;
    	a1743588795 += (a1743588795 + 20) > a1743588795 ? 1 : 0;
    	a112204540 -= (a112204540 - 20) < a112204540 ? 2 : 0;
    	cf = 0;
    	a824024208 = 36 ;
    	a471011792 = (a166920931 - 4);
    	a621522874 = ((((((a1001390225 * a850881173) / 5) % 96) + 426) / 5) + 274); 
    	 
    } 
}
 void calculate_outputm44(int input) {
    if((((a166920931 == 8 &&  cf==1 ) && a665096794 == 11) && ((a2040628137 == 8 && (a837448621 == 32 && (((28 < a268371874) && (76 >= a268371874)) && a890181220 == 32))) && ((-144 < a412613099) && (-18 >= a412613099))))) {
    	calculate_outputm162(input);
    } 
    if(((((37 < a850881173) && (184 >= a850881173)) && a2061255735 == 6) && (a837448621 == 32 && ((a1879373572 == 32 && ((a166920931 == 14 &&  cf==1 ) && a890181220 == 32)) && a182175502 == 7)))) {
    	calculate_outputm165(input);
    } 
    if(((((a166920931 == 15 &&  cf==1 ) && a182175502 == 7) && a2064844468 == 32) && (a665096794 == 11 && ((a835102539 == 5 && ((-146 < a1001390225) && (51 >= a1001390225))) && a1171576990 == 32)))) {
    	calculate_outputm166(input);
    } 
}
 void calculate_outputm167(int input) {
    if((((a835102539 == 5 && (((((input == 4) &&  cf==1 ) && ((17 < a1210734340) && (187 >= a1210734340))) && a890181220 == 32) && a1879373572 == 32)) && a837448621 == 32) && a2061255735 == 6)) {
    	cf = 0;
    	a45685611 = (a665096794 - -2);
    	a471011792 = (a665096794 - 5);
    	a2139179119 = ((a2061255735 / a835102539) - -10); 
    	 
    } 
    if((((((((input == 8) &&  cf==1 ) && a182175502 == 7) && ((17 < a1210734340) && (187 >= a1210734340))) && a1171576990 == 32) && (a1879373572 == 32 && (a835102539 == 5 && a1534902259 == 32))) && a1075927325 == -9)) {
    	cf = 0;
    	a552913881 = (((((a1001390225 * a583510163) / 5) - 13965) % 58) - -498);
    	a1179664392 = 36 ;
    	a471011792 = (a2061255735 + 4); 
    	 
    } 
    if((((((28 < a268371874) && (76 >= a268371874)) && ((((8 < a583510163) && (150 >= a583510163)) && (((-144 < a412613099) && (-18 >= a412613099)) && a837448621 == 32)) && a2040628137 == 8)) && (((input == 10) &&  cf==1 ) && a1290652559 == 4)) && a635353122 == 18)) {
    	a1716545843 += (a1716545843 + 20) > a1716545843 ? 1 : 0;
    	cf = 0;
    	a471011792 = (a835102539 + 1);
    	a45685611 = ((a665096794 / a182175502) - -10);
    	a1859402009 = a45685611; 
    	 
    } 
    if((((((-146 < a1001390225) && (51 >= a1001390225)) && (((17 < a1210734340) && (187 >= a1210734340)) && ( cf==1  && (input == 5)))) && a182175502 == 7) && (a890181220 == 32 && (a1290652559 == 4 && a1171576990 == 32)))) {
    	a1716545843 += (a1716545843 + 20) > a1716545843 ? 2 : 0;
    	cf = 0;
    	a621522874 = ((((((a850881173 * a583510163) / 5) % 106) - -169) * 10) / 9);
    	a1684594625 = ((((a1001390225 * a412613099) + 18) / 5) + 17126);
    	a471011792 = (a835102539 - -6); 
    	 
    } 
}
 void calculate_outputm45(int input) {
    if((((((-144 < a412613099) && (-18 >= a412613099)) && ((( cf==1  && a812175843 == 32) && a835102539 == 5) && a1879373572 == 32)) && ((-146 < a1001390225) && (51 >= a1001390225))) && (a1171576990 == 32 && a890181220 == 32))) {
    	calculate_outputm167(input);
    } 
}

 void calculate_output(int input) {
        cf = 1;

    if((a850881173 <=  37 && ((((a1210734340 <=  17 && (( cf==1  && a471011792 == 5) && a1001390225 <=  -146)) && a1879373572 == 33) && a665096794 == 10) && a837448621 == 33))) {
    	if((a2061255735 == 5 && ((a182175502 == 6 && ((a2040628137 == 7 && (a412613099 <=  -144 && (a44138666 == 36 &&  cf==1 ))) && a835102539 == 4)) && a665096794 == 10))) {
    		calculate_outputm5(input);
    	} 
    } 
    if(((((28 < a268371874) && (76 >= a268371874)) && (a2061255735 == 6 && (((a182175502 == 7 && a837448621 == 32) && a1879373572 == 32) && a1171576990 == 32))) && (a471011792 == 6 &&  cf==1 ))) {
    	if(((a2061255735 == 6 && (a665096794 == 11 && ((( cf==1  && a45685611 == 7) && ((8 < a583510163) && (150 >= a583510163))) && ((-146 < a1001390225) && (51 >= a1001390225))))) && (((17 < a1210734340) && (187 >= a1210734340)) && a890181220 == 32))) {
    		calculate_outputm6(input);
    	} 
    	if(((((17 < a1210734340) && (187 >= a1210734340)) && (a1290652559 == 4 && (a1171576990 == 32 && a2061255735 == 6))) && ((((-144 < a412613099) && (-18 >= a412613099)) && ( cf==1  && a45685611 == 8)) && ((-146 < a1001390225) && (51 >= a1001390225))))) {
    		calculate_outputm7(input);
    	} 
    	if(((((a1290652559 == 4 && a2061255735 == 6) && a837448621 == 32) && a1534902259 == 32) && (((a45685611 == 11 &&  cf==1 ) && ((-144 < a412613099) && (-18 >= a412613099))) && a890181220 == 32))) {
    		calculate_outputm10(input);
    	} 
    	if(((a835102539 == 5 && (((( cf==1  && a45685611 == 13) && ((-146 < a1001390225) && (51 >= a1001390225))) && ((8 < a583510163) && (150 >= a583510163))) && a665096794 == 11)) && (((-144 < a412613099) && (-18 >= a412613099)) && a890181220 == 32))) {
    		calculate_outputm12(input);
    	} 
    } 
    if((((a2061255735 == 7 && ((a471011792 == 7 &&  cf==1 ) && a1290652559 == 5)) && a665096794 == 12) && ((a2040628137 == 9 && a1879373572 == 34) && ((51 < a1001390225) && (148 >= a1001390225))))) {
    	if(((a2064844468 == 34 && a665096794 == 12) && (a1171576990 == 34 && (a890181220 == 34 && (a837448621 == 34 && (a1290652559 == 5 && (a418218587 == 32 &&  cf==1 ))))))) {
    		calculate_outputm15(input);
    	} 
    } 
    if(((a412613099 <=  -144 && (a1290652559 == 3 && a182175502 == 6)) && ((a1534902259 == 33 && (a2061255735 == 5 && ( cf==1  && a471011792 == 8))) && a2064844468 == 33))) {
    	if(((((a665096794 == 10 && a837448621 == 33) && a583510163 <=  8) && a1171576990 == 33) && ((a1879373572 == 33 && ( cf==1  && a1179664392 == 33)) && a268371874 <=  28))) {
    		calculate_outputm19(input);
    	} 
    	if((((a1179664392 == 34 &&  cf==1 ) && a665096794 == 10) && (a837448621 == 33 && (a1879373572 == 33 && ((a2061255735 == 5 && a850881173 <=  37) && a268371874 <=  28))))) {
    		calculate_outputm21(input);
    	} 
    } 
    if((((a1534902259 == 33 && (a1171576990 == 33 && a890181220 == 33)) && a665096794 == 10) && (a2061255735 == 5 && ((a471011792 == 9 &&  cf==1 ) && a268371874 <=  28)))) {
    	if(((( cf==1  && a236788248 == 14) && a1001390225 <=  -146) && (a2061255735 == 5 && (a665096794 == 10 && ((a1171576990 == 33 && a850881173 <=  37) && a1534902259 == 33))))) {
    		calculate_outputm27(input);
    	} 
    	if(((a182175502 == 6 && (a2040628137 == 7 && a1879373572 == 33)) && (a837448621 == 33 && (((a236788248 == 15 &&  cf==1 ) && a412613099 <=  -144) && a835102539 == 4)))) {
    		calculate_outputm28(input);
    	} 
    	if(((a1001390225 <=  -146 && a890181220 == 33) && ((((a2061255735 == 5 && (a236788248 == 17 &&  cf==1 )) && a2064844468 == 33) && a850881173 <=  37) && a1210734340 <=  17))) {
    		calculate_outputm30(input);
    	} 
    } 
    if(((a1290652559 == 4 && (a1171576990 == 32 && ((37 < a850881173) && (184 >= a850881173)))) && ((a2064844468 == 32 && (((8 < a583510163) && (150 >= a583510163)) && (a471011792 == 10 &&  cf==1 ))) && a2040628137 == 8))) {
    	if(((a837448621 == 32 && ((a2040628137 == 8 && (a182175502 == 7 && ((37 < a850881173) && (184 >= a850881173)))) && a835102539 == 5)) && (((17 < a1210734340) && (187 >= a1210734340)) && ( cf==1  && ((383 < a552913881) && (501 >= a552913881)))))) {
    		calculate_outputm32(input);
    	} 
    	if((((a1171576990 == 32 && (501 < a552913881 &&  cf==1 )) && a1290652559 == 4) && (a1879373572 == 32 && ((((8 < a583510163) && (150 >= a583510163)) && ((37 < a850881173) && (184 >= a850881173))) && a2040628137 == 8)))) {
    		calculate_outputm33(input);
    	} 
    } 
    if((((( cf==1  && a471011792 == 11) && ((28 < a268371874) && (76 >= a268371874))) && a1171576990 == 32) && (a1534902259 == 32 && ((((17 < a1210734340) && (187 >= a1210734340)) && a2064844468 == 32) && a182175502 == 7)))) {
    	if(((((a2061255735 == 6 && ((((-146 < a1001390225) && (51 >= a1001390225)) && ( cf==1  && ((116 < a621522874) && (330 >= a621522874)))) && ((17 < a1210734340) && (187 >= a1210734340)))) && a2040628137 == 8) && ((37 < a850881173) && (184 >= a850881173))) && ((8 < a583510163) && (150 >= a583510163)))) {
    		calculate_outputm35(input);
    	} 
    	if(((((37 < a850881173) && (184 >= a850881173)) && (a837448621 == 32 && (a835102539 == 5 && ( cf==1  && ((330 < a621522874) && (523 >= a621522874)))))) && (a2040628137 == 8 && (a1879373572 == 32 && ((28 < a268371874) && (76 >= a268371874)))))) {
    		calculate_outputm36(input);
    	} 
    } 
    if(((((8 < a583510163) && (150 >= a583510163)) && a1534902259 == 32) && (((a890181220 == 32 && (( cf==1  && a471011792 == 12) && ((28 < a268371874) && (76 >= a268371874)))) && a1290652559 == 4) && a1879373572 == 32))) {
    	if(((((17 < a1210734340) && (187 >= a1210734340)) && a2061255735 == 6) && ((a1879373572 == 32 && (a182175502 == 7 && ((a2122722213 == 2 &&  cf==1 ) && a1534902259 == 32))) && ((-144 < a412613099) && (-18 >= a412613099))))) {
    		calculate_outputm38(input);
    	} 
    	if((((a2122722213 == 5 &&  cf==1 ) && a2040628137 == 8) && (((-146 < a1001390225) && (51 >= a1001390225)) && (a890181220 == 32 && (a837448621 == 32 && (a1171576990 == 32 && ((37 < a850881173) && (184 >= a850881173)))))))) {
    		calculate_outputm41(input);
    	} 
    	if(((a837448621 == 32 && (a1534902259 == 32 && (a2040628137 == 8 && ((a835102539 == 5 && ( cf==1  && a2122722213 == 7)) && a1290652559 == 4)))) && a890181220 == 32)) {
    		calculate_outputm43(input);
    	} 
    	if(((((a182175502 == 7 && ( cf==1  && a2122722213 == 8)) && ((-146 < a1001390225) && (51 >= a1001390225))) && a2061255735 == 6) && ((a1879373572 == 32 && a2064844468 == 32) && ((-144 < a412613099) && (-18 >= a412613099))))) {
    		calculate_outputm44(input);
    	} 
    	if(((((( cf==1  && a2122722213 == 9) && a1290652559 == 4) && a837448621 == 32) && a1171576990 == 32) && ((a2064844468 == 32 && ((-144 < a412613099) && (-18 >= a412613099))) && a1879373572 == 32))) {
    		calculate_outputm45(input);
    	} 
    } 
    errorCheck();
}

int main()
{
    // main i/o-loop
    while(1)
    {
        // read input
        int input;
        input = __VERIFIER_nondet_int();        
        // operate eca engine
        if((input != 7) && (input != 10) && (input != 6) && (input != 2) && (input != 5) && (input != 3) && (input != 9) && (input != 4) && (input != 8) && (input != 1))
          return -2;
        calculate_output(input);
    }
}