// // Package - transpiled by c4go // // If you have found any issues, please raise an issue at: // https://github.com/Konstantin8105/c4go/ // package main // inputs - transpiled function from /tmp/2019-Problem11.c:9 var inputs []int = []int{2, 10, 9, 5, 3, 4, 1, 7, 8, 6} // a2137325734 - transpiled function from /tmp/2019-Problem11.c:188 var a2137325734 int = 33 // a1722860169 - transpiled function from /tmp/2019-Problem11.c:189 var a1722860169 int = 34 // a414008896 - transpiled function from /tmp/2019-Problem11.c:190 var a414008896 int = 10 // a1540279308 - transpiled function from /tmp/2019-Problem11.c:191 var a1540279308 int = 2 // a1393627342 - transpiled function from /tmp/2019-Problem11.c:192 var a1393627342 int = 36 // a642369719 - transpiled function from /tmp/2019-Problem11.c:193 var a642369719 int = 32 // a1150573588 - transpiled function from /tmp/2019-Problem11.c:194 var a1150573588 int = 36 // a1920560082 - transpiled function from /tmp/2019-Problem11.c:195 var a1920560082 int = 12 // a615035064 - transpiled function from /tmp/2019-Problem11.c:196 var a615035064 int = 36 // a1211586799 - transpiled function from /tmp/2019-Problem11.c:197 var a1211586799 int = 35 // a2018753675 - transpiled function from /tmp/2019-Problem11.c:198 var a2018753675 int = 12 // a1979594534 - transpiled function from /tmp/2019-Problem11.c:199 var a1979594534 int = 13 // a1207265235 - transpiled function from /tmp/2019-Problem11.c:200 var a1207265235 int = 34 // a641428659 - transpiled function from /tmp/2019-Problem11.c:201 var a641428659 int = 10 // a409889492 - transpiled function from /tmp/2019-Problem11.c:202 var a409889492 int = 6 // a1278053282 - transpiled function from /tmp/2019-Problem11.c:203 var a1278053282 int = 13 // a1931851808 - transpiled function from /tmp/2019-Problem11.c:204 var a1931851808 int = 10 // a1030589677 - transpiled function from /tmp/2019-Problem11.c:205 var a1030589677 int = 34 // a1640511277 - transpiled function from /tmp/2019-Problem11.c:206 var a1640511277 int = 7 // a536590795 - transpiled function from /tmp/2019-Problem11.c:207 var a536590795 int = 35 // a1992404643 - transpiled function from /tmp/2019-Problem11.c:208 var a1992404643 int = 34 // a1991122068 - transpiled function from /tmp/2019-Problem11.c:209 var a1991122068 int = 35 // a1144518790 - transpiled function from /tmp/2019-Problem11.c:210 var a1144518790 int = 32 // a136296760 - transpiled function from /tmp/2019-Problem11.c:211 var a136296760 int = 33 // a1249345268 - transpiled function from /tmp/2019-Problem11.c:212 var a1249345268 int = 34 // a829234386 - transpiled function from /tmp/2019-Problem11.c:213 var a829234386 int = 3 // a980532045 - transpiled function from /tmp/2019-Problem11.c:214 var a980532045 int = 36 // cf - transpiled function from /tmp/2019-Problem11.c:215 var cf int = 1 // a1265514289 - transpiled function from /tmp/2019-Problem11.c:216 var a1265514289 int = 6 // a725363116 - transpiled function from /tmp/2019-Problem11.c:217 var a725363116 int = 10 // a531443452 - transpiled function from /tmp/2019-Problem11.c:218 var a531443452 int = 9 // a1653973487 - transpiled function from /tmp/2019-Problem11.c:219 var a1653973487 int = 14 // a1817180191 - transpiled function from /tmp/2019-Problem11.c:220 var a1817180191 int = 32 // a1535647353 - transpiled function from /tmp/2019-Problem11.c:221 var a1535647353 int = 16 // a11109425 - transpiled function from /tmp/2019-Problem11.c:222 var a11109425 int = 33 // a2014931874 - transpiled function from /tmp/2019-Problem11.c:223 var a2014931874 int = 11 // a1757719823 - transpiled function from /tmp/2019-Problem11.c:224 var a1757719823 int = 35 // __VERIFIER_error - transpiled function from /tmp/2019-Problem11.c:6 func __VERIFIER_error(n int) { } // errorCheck - transpiled function from /tmp/2019-Problem11.c:227 func errorCheck() { if a136296760 == 34 && a829234386 == 7 && a1207265235 == 35 { // inputs cf = 0 __VERIFIER_error(0) } if a11109425 == 35 && a414008896 == 10 && a1207265235 == 36 { cf = 0 __VERIFIER_error(1) } if a409889492 == 3 && a1249345268 == 32 && a1207265235 == 32 { cf = 0 __VERIFIER_error(2) } if a1991122068 == 36 && a2018753675 == 14 && a1207265235 == 34 { cf = 0 __VERIFIER_error(3) } if a1030589677 == 33 && a1535647353 == 16 && a1207265235 == 33 { cf = 0 __VERIFIER_error(4) } if a1640511277 == 4 && a1249345268 == 33 && a1207265235 == 32 { cf = 0 __VERIFIER_error(5) } if a1920560082 == 11 && a2018753675 == 12 && a1207265235 == 34 { cf = 0 __VERIFIER_error(6) } if a1265514289 == 6 && a2018753675 == 11 && a1207265235 == 34 { cf = 0 __VERIFIER_error(7) } if a1265514289 == 3 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(8) } if a1030589677 == 32 && a829234386 == 5 && a1207265235 == 35 { cf = 0 __VERIFIER_error(9) } if a136296760 == 32 && a829234386 == 7 && a1207265235 == 35 { cf = 0 __VERIFIER_error(10) } if a1653973487 == 16 && a1249345268 == 35 && a1207265235 == 32 { cf = 0 __VERIFIER_error(11) } if a1278053282 == 14 && a414008896 == 14 && a1207265235 == 36 { cf = 0 __VERIFIER_error(12) } if a1920560082 == 8 && a2018753675 == 12 && a1207265235 == 34 { cf = 0 __VERIFIER_error(13) } if a1992404643 == 33 && a1535647353 == 10 && a1207265235 == 33 { cf = 0 __VERIFIER_error(14) } if a1030589677 == 32 && a1535647353 == 16 && a1207265235 == 33 { cf = 0 __VERIFIER_error(15) } if a1722860169 == 36 && a1249345268 == 34 && a1207265235 == 32 { cf = 0 __VERIFIER_error(16) } if a409889492 == 6 && a2018753675 == 10 && a1207265235 == 34 { cf = 0 __VERIFIER_error(17) } if a536590795 == 33 && a1535647353 == 11 && a1207265235 == 33 { cf = 0 __VERIFIER_error(18) } if a409889492 == 5 && a1249345268 == 32 && a1207265235 == 32 { cf = 0 __VERIFIER_error(19) } if a531443452 == 13 && a1535647353 == 17 && a1207265235 == 33 { cf = 0 __VERIFIER_error(20) } if a641428659 == 10 && a829234386 == 6 && a1207265235 == 35 { cf = 0 __VERIFIER_error(21) } if a642369719 == 34 && a829234386 == 9 && a1207265235 == 35 { cf = 0 __VERIFIER_error(22) } if a1979594534 == 11 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(23) } if a1144518790 == 33 && a1535647353 == 15 && a1207265235 == 33 { cf = 0 __VERIFIER_error(24) } if a136296760 == 36 && a829234386 == 7 && a1207265235 == 35 { cf = 0 __VERIFIER_error(25) } if a1540279308 == 1 && a414008896 == 15 && a1207265235 == 36 { cf = 0 __VERIFIER_error(26) } if a980532045 == 32 && a2018753675 == 7 && a1207265235 == 34 { cf = 0 __VERIFIER_error(27) } if a725363116 == 9 && a829234386 == 8 && a1207265235 == 35 { cf = 0 __VERIFIER_error(28) } if a1265514289 == 10 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(29) } if a1393627342 == 36 && a829234386 == 3 && a1207265235 == 35 { cf = 0 __VERIFIER_error(30) } if a1150573588 == 35 && a1535647353 == 13 && a1207265235 == 33 { cf = 0 __VERIFIER_error(31) } if a725363116 == 6 && a829234386 == 8 && a1207265235 == 35 { cf = 0 __VERIFIER_error(32) } if a2137325734 == 32 && a1249345268 == 36 && a1207265235 == 32 { cf = 0 __VERIFIER_error(33) } if a1979594534 == 14 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(34) } if a409889492 == 1 && a1249345268 == 32 && a1207265235 == 32 { cf = 0 __VERIFIER_error(35) } if a536590795 == 36 && a1535647353 == 11 && a1207265235 == 33 { cf = 0 __VERIFIER_error(36) } if a1265514289 == 5 && a2018753675 == 11 && a1207265235 == 34 { cf = 0 __VERIFIER_error(37) } if a1265514289 == 8 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(38) } if a1265514289 == 6 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(39) } if a11109425 == 32 && a414008896 == 10 && a1207265235 == 36 { cf = 0 __VERIFIER_error(40) } if a1979594534 == 16 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(41) } if a1211586799 == 35 && a414008896 == 12 && a1207265235 == 36 { cf = 0 __VERIFIER_error(42) } if a725363116 == 5 && a829234386 == 8 && a1207265235 == 35 { cf = 0 __VERIFIER_error(43) } if a1979594534 == 12 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(44) } if a1722860169 == 33 && a1249345268 == 34 && a1207265235 == 32 { cf = 0 __VERIFIER_error(45) } if a409889492 == 3 && a2018753675 == 10 && a1207265235 == 34 { cf = 0 __VERIFIER_error(46) } if a1265514289 == 4 && a2018753675 == 11 && a1207265235 == 34 { cf = 0 __VERIFIER_error(47) } if a136296760 == 34 && a829234386 == 10 && a1207265235 == 35 { cf = 0 __VERIFIER_error(48) } if a136296760 == 35 && a829234386 == 10 && a1207265235 == 35 { cf = 0 __VERIFIER_error(49) } if a1278053282 == 10 && a414008896 == 14 && a1207265235 == 36 { cf = 0 __VERIFIER_error(50) } if a1817180191 == 36 && a1535647353 == 14 && a1207265235 == 33 { cf = 0 __VERIFIER_error(51) } if a1920560082 == 14 && a2018753675 == 12 && a1207265235 == 34 { cf = 0 __VERIFIER_error(52) } if a1265514289 == 9 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(53) } if a1920560082 == 10 && a2018753675 == 12 && a1207265235 == 34 { cf = 0 __VERIFIER_error(54) } if a1265514289 == 7 && a1535647353 == 12 && a1207265235 == 33 { cf = 0 __VERIFIER_error(55) } if a1030589677 == 35 && a829234386 == 5 && a1207265235 == 35 { cf = 0 __VERIFIER_error(56) } if a1144518790 == 34 && a1535647353 == 15 && a1207265235 == 33 { cf = 0 __VERIFIER_error(57) } if a1640511277 == 2 && a1249345268 == 33 && a1207265235 == 32 { cf = 0 __VERIFIER_error(58) } if a1991122068 == 32 && a2018753675 == 9 && a1207265235 == 34 { cf = 0 __VERIFIER_error(59) } if a409889492 == 1 && a2018753675 == 10 && a1207265235 == 34 { cf = 0 __VERIFIER_error(60) } if a1979594534 == 10 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(61) } if a1757719823 == 35 && a414008896 == 16 && a1207265235 == 36 { cf = 0 __VERIFIER_error(62) } if a1278053282 == 11 && a414008896 == 14 && a1207265235 == 36 { cf = 0 __VERIFIER_error(63) } if a1991122068 == 35 && a2018753675 == 9 && a1207265235 == 34 { cf = 0 __VERIFIER_error(64) } if a641428659 == 7 && a829234386 == 6 && a1207265235 == 35 { cf = 0 __VERIFIER_error(65) } if a1150573588 == 36 && a1535647353 == 13 && a1207265235 == 33 { cf = 0 __VERIFIER_error(66) } if a1817180191 == 35 && a1535647353 == 14 && a1207265235 == 33 { cf = 0 __VERIFIER_error(67) } if a642369719 == 33 && a829234386 == 9 && a1207265235 == 35 { cf = 0 __VERIFIER_error(68) } if a1150573588 == 33 && a1535647353 == 13 && a1207265235 == 33 { cf = 0 __VERIFIER_error(69) } if a531443452 == 12 && a1535647353 == 17 && a1207265235 == 33 { cf = 0 __VERIFIER_error(70) } if a2137325734 == 34 && a1249345268 == 36 && a1207265235 == 32 { cf = 0 __VERIFIER_error(71) } if a2014931874 == 12 && a414008896 == 13 && a1207265235 == 36 { cf = 0 __VERIFIER_error(72) } if a1931851808 == 13 && a414008896 == 17 && a1207265235 == 36 { cf = 0 __VERIFIER_error(73) } if a1030589677 == 36 && a829234386 == 5 && a1207265235 == 35 { cf = 0 __VERIFIER_error(74) } if a725363116 == 11 && a829234386 == 8 && a1207265235 == 35 { cf = 0 __VERIFIER_error(75) } if a1211586799 == 32 && a414008896 == 11 && a1207265235 == 36 { cf = 0 __VERIFIER_error(76) } if a1030589677 == 36 && a1535647353 == 16 && a1207265235 == 33 { cf = 0 __VERIFIER_error(77) } if a2014931874 == 6 && a414008896 == 13 && a1207265235 == 36 { cf = 0 __VERIFIER_error(78) } if a1757719823 == 32 && a414008896 == 16 && a1207265235 == 36 { cf = 0 __VERIFIER_error(79) } if a136296760 == 33 && a829234386 == 7 && a1207265235 == 35 { cf = 0 __VERIFIER_error(80) } if a641428659 == 4 && a829234386 == 6 && a1207265235 == 35 { cf = 0 __VERIFIER_error(81) } if a1757719823 == 33 && a414008896 == 16 && a1207265235 == 36 { cf = 0 __VERIFIER_error(82) } if a136296760 == 33 && a829234386 == 10 && a1207265235 == 35 { cf = 0 __VERIFIER_error(83) } if a1991122068 == 32 && a2018753675 == 14 && a1207265235 == 34 { cf = 0 __VERIFIER_error(84) } if a980532045 == 35 && a2018753675 == 7 && a1207265235 == 34 { cf = 0 __VERIFIER_error(85) } if a531443452 == 7 && a1535647353 == 17 && a1207265235 == 33 { cf = 0 __VERIFIER_error(86) } if a1817180191 == 34 && a1535647353 == 14 && a1207265235 == 33 { cf = 0 __VERIFIER_error(87) } if a1278053282 == 15 && a414008896 == 14 && a1207265235 == 36 { cf = 0 __VERIFIER_error(88) } if a980532045 == 34 && a2018753675 == 7 && a1207265235 == 34 { cf = 0 __VERIFIER_error(89) } if a531443452 == 10 && a1535647353 == 17 && a1207265235 == 33 { cf = 0 __VERIFIER_error(90) } if a536590795 == 32 && a2018753675 == 8 && a1207265235 == 34 { cf = 0 __VERIFIER_error(91) } if a1030589677 == 35 && a1535647353 == 16 && a1207265235 == 33 { cf = 0 __VERIFIER_error(92) } if a536590795 == 34 && a2018753675 == 8 && a1207265235 == 34 { cf = 0 __VERIFIER_error(93) } if a136296760 == 35 && a829234386 == 7 && a1207265235 == 35 { cf = 0 __VERIFIER_error(94) } if a1931851808 == 8 && a414008896 == 17 && a1207265235 == 36 { cf = 0 __VERIFIER_error(95) } if a1030589677 == 34 && a1535647353 == 16 && a1207265235 == 33 { cf = 0 __VERIFIER_error(96) } if a11109425 == 33 && a414008896 == 10 && a1207265235 == 36 { cf = 0 __VERIFIER_error(97) } if a642369719 == 32 && a829234386 == 9 && a1207265235 == 35 { cf = 0 __VERIFIER_error(98) } if a1979594534 == 13 && a2018753675 == 13 && a1207265235 == 34 { cf = 0 __VERIFIER_error(99) } } // calculate_outputm42 - transpiled function from /tmp/2019-Problem11.c:629 func calculate_outputm42(input int) { if a1207265235 == 33 && (a1535647353 == 12 && (cf == 1 && input == 5 && a1265514289 == 4)) { cf = 0 a1211586799 = 34 a1207265235 = 36 a414008896 = 12 } if a1535647353 == 12 && (cf == 1 && input == 9) && a1207265235 == 33 && a1265514289 == 4 { //printf("%d\n", 20); fflush(stdout); cf = 0 a1817180191 = 32 a1535647353 = 14 } if input == 10 && (a1207265235 == 33 && (a1265514289 == 4 && cf == 1 && a1535647353 == 12)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 13 a1979594534 = 17 } if a1207265235 == 33 && (a1535647353 == 12 && (a1265514289 == 4 && cf == 1)) && input == 4 { //printf("%d\n", 16); fflush(stdout); cf = 0 a2018753675 = 10 a1207265235 = 34 a409889492 = 1 } } // calculate_outputm43 - transpiled function from /tmp/2019-Problem11.c:655 func calculate_outputm43(input int) { if a1535647353 == 12 && (input == 2 && (a1207265235 == 33 && cf == 1)) && a1265514289 == 5 { //printf("%d\n", 15); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 35 a1653973487 = 15 } if input == 3 && (cf == 1 && a1265514289 == 5 && a1207265235 == 33) && a1535647353 == 12 { //printf("%d\n", 22); fflush(stdout); cf = 0 a1249345268 = 34 a1207265235 = 32 a1722860169 = 32 } if a1207265235 == 33 && (a1535647353 == 12 && (a1265514289 == 5 && (input == 5 && cf == 1))) { //printf("%d\n", 26); fflush(stdout); cf = 0 a1265514289 = 4 } if a1535647353 == 12 && (a1207265235 == 33 && (input == 7 && cf == 1)) && a1265514289 == 5 { //printf("%d\n", 17); fflush(stdout); cf = 0 a1757719823 = 35 a1207265235 = 36 a414008896 = 16 } } // calculate_outputm3 - transpiled function from /tmp/2019-Problem11.c:680 func calculate_outputm3(input int) { if a1265514289 == 4 && cf == 1 { //printf("%d\n", 23); fflush(stdout); calculate_outputm42(input) } if a1265514289 == 5 && cf == 1 { calculate_outputm43(input) } } // calculate_outputm50 - transpiled function from /tmp/2019-Problem11.c:688 func calculate_outputm50(input int) { if a1150573588 == 32 && (a1535647353 == 13 && cf == 1) && a1207265235 == 33 && input == 6 { cf = 0 a414008896 = 13 a1207265235 = 36 a2014931874 = 11 } if a1207265235 == 33 && (a1150573588 == 32 && (a1535647353 == 13 && cf == 1) && input == 7) { //printf("%d\n", 24); fflush(stdout); cf = 0 a1249345268 = 33 a1207265235 = 32 a1640511277 = 5 } if cf == 1 && input == 5 && a1535647353 == 13 && a1207265235 == 33 && a1150573588 == 32 { //printf("%d\n", 17); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 34 a1722860169 = 36 } } // calculate_outputm4 - transpiled function from /tmp/2019-Problem11.c:709 func calculate_outputm4(input int) { if a1150573588 == 32 && cf == 1 { //printf("%d\n", 22); fflush(stdout); calculate_outputm50(input) } } // calculate_outputm53 - transpiled function from /tmp/2019-Problem11.c:714 func calculate_outputm53(input int) { if input == 6 && (a1535647353 == 14 && (a1207265235 == 33 && (a1817180191 == 33 && cf == 1))) { cf = 0 a1207265235 = 35 a642369719 = 36 a829234386 = 9 } if a1207265235 == 33 && (a1817180191 == 33 && (input == 4 && cf == 1) && a1535647353 == 14) { //printf("%d\n", 15); fflush(stdout); cf = 0 a1150573588 = 35 a1535647353 = 13 } } // calculate_outputm54 - transpiled function from /tmp/2019-Problem11.c:728 func calculate_outputm54(input int) { if input == 2 && (cf == 1 && a1535647353 == 14 && a1817180191 == 32 && a1207265235 == 33) { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 36 a2137325734 = 33 } if input == 6 && (a1207265235 == 33 && cf == 1) && a1535647353 == 14 && a1817180191 == 32 { //printf("%d\n", 19); fflush(stdout); cf = 0 a1207265235 = 36 a11109425 = 33 a414008896 = 10 } } // calculate_outputm5 - transpiled function from /tmp/2019-Problem11.c:743 func calculate_outputm5(input int) { if a1817180191 == 33 && cf == 1 { //printf("%d\n", 19); fflush(stdout); calculate_outputm53(input) } if a1817180191 == 32 && cf == 1 { calculate_outputm54(input) } } // calculate_outputm70 - transpiled function from /tmp/2019-Problem11.c:751 func calculate_outputm70(input int) { if a1207265235 == 32 && (cf == 1 && a1249345268 == 33 && a1640511277 == 3) && input == 2 { cf = 0 a1249345268 = 35 a1653973487 = 15 } if input == 7 && (a1207265235 == 32 && (a1249345268 == 33 && (cf == 1 && a1640511277 == 3))) { //printf("%d\n", 22); fflush(stdout); cf = 0 a1249345268 = 35 a1653973487 = 15 } if input == 8 && (cf == 1 && a1207265235 == 32 && a1249345268 == 33 && a1640511277 == 3) { //printf("%d\n", 22); fflush(stdout); cf = 0 a1249345268 = 35 a1653973487 = 15 } if a1207265235 == 32 && (a1640511277 == 3 && (a1249345268 == 33 && cf == 1)) && input == 3 { //printf("%d\n", 24); fflush(stdout); cf = 0 a829234386 = 8 a1207265235 = 35 a725363116 = 11 } } // calculate_outputm72 - transpiled function from /tmp/2019-Problem11.c:775 func calculate_outputm72(input int) { if a1207265235 == 32 && (a1249345268 == 33 && cf == 1) && a1640511277 == 5 && input == 7 { //printf("%d\n", 19); fflush(stdout); cf = 0 a1393627342 = 34 a1207265235 = 35 a829234386 = 3 } if a1249345268 == 33 && (a1640511277 == 5 && (a1207265235 == 32 && cf == 1) && input == 9) { //printf("%d\n", 23); fflush(stdout); cf = 0 a1640511277 = 3 } } // calculate_outputm73 - transpiled function from /tmp/2019-Problem11.c:788 func calculate_outputm73(input int) { if a1640511277 == 8 && (input == 3 && (cf == 1 && a1249345268 == 33) && a1207265235 == 32) { //printf("%d\n", 23); fflush(stdout); cf = 0 a1640511277 = 3 } if cf == 1 && a1640511277 == 8 && a1207265235 == 32 && a1249345268 == 33 && input == 9 { //printf("%d\n", 19); fflush(stdout); cf = 0 a414008896 = 17 a1207265235 = 36 a1931851808 = 13 } } // calculate_outputm9 - transpiled function from /tmp/2019-Problem11.c:801 func calculate_outputm9(input int) { if a1640511277 == 3 && cf == 1 { //printf("%d\n", 17); fflush(stdout); calculate_outputm70(input) } if cf == 1 && a1640511277 == 5 { calculate_outputm72(input) } if cf == 1 && a1640511277 == 8 { calculate_outputm73(input) } } // calculate_outputm75 - transpiled function from /tmp/2019-Problem11.c:812 func calculate_outputm75(input int) { if input == 10 && cf == 1 && a409889492 == 2 && a1249345268 == 32 && a1207265235 == 32 { cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 4 } } // calculate_outputm10 - transpiled function from /tmp/2019-Problem11.c:821 func calculate_outputm10(input int) { if cf == 1 && a409889492 == 2 { //printf("%d\n", 17); fflush(stdout); calculate_outputm75(input) } } // calculate_outputm79 - transpiled function from /tmp/2019-Problem11.c:826 func calculate_outputm79(input int) { if a1207265235 == 32 && (input == 8 && cf == 1 && a1249345268 == 34 && a1722860169 == 32) { cf = 0 a2018753675 = 12 a1207265235 = 34 a1920560082 = 13 } if a1249345268 == 34 && cf == 1 && a1722860169 == 32 && a1207265235 == 32 && input == 7 { //printf("%d\n", 18); fflush(stdout); cf = 0 a1207265235 = 35 a829234386 = 8 a725363116 = 6 } } // calculate_outputm11 - transpiled function from /tmp/2019-Problem11.c:841 func calculate_outputm11(input int) { if a1722860169 == 32 && cf == 1 { //printf("%d\n", 17); fflush(stdout); calculate_outputm79(input) } } // calculate_outputm81 - transpiled function from /tmp/2019-Problem11.c:846 func calculate_outputm81(input int) { if input == 4 && (a1207265235 == 32 && cf == 1 && a1653973487 == 15) && a1249345268 == 35 { cf = 0 a1211586799 = 33 a1207265235 = 36 a414008896 = 12 } if a1249345268 == 35 && (input == 6 && (cf == 1 && a1207265235 == 32 && a1653973487 == 15)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a1249345268 = 33 a1640511277 = 8 } if input == 1 && (a1653973487 == 15 && (a1207265235 == 32 && cf == 1)) && a1249345268 == 35 { //printf("%d\n", 17); fflush(stdout); cf = 0 a2018753675 = 11 a1207265235 = 34 a1265514289 = 5 } } // calculate_outputm12 - transpiled function from /tmp/2019-Problem11.c:866 func calculate_outputm12(input int) { if a1653973487 == 15 && cf == 1 { //printf("%d\n", 17); fflush(stdout); calculate_outputm81(input) } } // calculate_outputm83 - transpiled function from /tmp/2019-Problem11.c:871 func calculate_outputm83(input int) { if a1207265235 == 32 && (cf == 1 && input == 8) && a2137325734 == 33 && a1249345268 == 36 { cf = 0 a1150573588 = 32 a1207265235 = 33 a1535647353 = 13 } if a1249345268 == 36 && (a2137325734 == 33 && (cf == 1 && input == 5 && a1207265235 == 32)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a536590795 = 33 a1207265235 = 33 a1535647353 = 11 } } // calculate_outputm13 - transpiled function from /tmp/2019-Problem11.c:886 func calculate_outputm13(input int) { if a2137325734 == 33 && cf == 1 { //printf("%d\n", 16); fflush(stdout); calculate_outputm83(input) } } // calculate_outputm89 - transpiled function from /tmp/2019-Problem11.c:891 func calculate_outputm89(input int) { if a1207265235 == 34 && (a980532045 == 36 && cf == 1) && input == 8 && a2018753675 == 7 { cf = 0 a2018753675 = 11 a1265514289 = 7 } } // calculate_outputm14 - transpiled function from /tmp/2019-Problem11.c:899 func calculate_outputm14(input int) { if cf == 1 && a980532045 == 36 { //printf("%d\n", 16); fflush(stdout); calculate_outputm89(input) } } // calculate_outputm96 - transpiled function from /tmp/2019-Problem11.c:904 func calculate_outputm96(input int) { if input == 4 && (a2018753675 == 10 && cf == 1 && a409889492 == 4) && a1207265235 == 34 { cf = 0 a829234386 = 8 a1207265235 = 35 a725363116 = 10 } if input == 6 && (a2018753675 == 10 && cf == 1) && a1207265235 == 34 && a409889492 == 4 { //printf("%d\n", 24); fflush(stdout); cf = 0 a1991122068 = 32 a2018753675 = 14 } } // calculate_outputm17 - transpiled function from /tmp/2019-Problem11.c:918 func calculate_outputm17(input int) { if a409889492 == 4 && cf == 1 { //printf("%d\n", 22); fflush(stdout); calculate_outputm96(input) } } // calculate_outputm101 - transpiled function from /tmp/2019-Problem11.c:923 func calculate_outputm101(input int) { if a1207265235 == 34 && (input == 5 && cf == 1 && a1265514289 == 7) && a2018753675 == 11 { cf = 0 a829234386 = 6 a1207265235 = 35 a641428659 = 5 } } // calculate_outputm102 - transpiled function from /tmp/2019-Problem11.c:932 func calculate_outputm102(input int) { if a1265514289 == 10 && (a2018753675 == 11 && (cf == 1 && input == 2) && a1207265235 == 34) { //printf("%d\n", 23); fflush(stdout); cf = 0 a414008896 = 13 a1207265235 = 36 a2014931874 = 7 } } // calculate_outputm18 - transpiled function from /tmp/2019-Problem11.c:941 func calculate_outputm18(input int) { if cf == 1 && a1265514289 == 7 { //printf("%d\n", 17); fflush(stdout); calculate_outputm101(input) } if a1265514289 == 10 && cf == 1 { calculate_outputm102(input) } } // calculate_outputm103 - transpiled function from /tmp/2019-Problem11.c:949 func calculate_outputm103(input int) { if cf == 1 && a1920560082 == 7 && a2018753675 == 12 && input == 9 && a1207265235 == 34 { cf = 0 a1991122068 = 33 a2018753675 = 14 } if a2018753675 == 12 && (a1207265235 == 34 && (a1920560082 == 7 && cf == 1 && input == 6)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a1535647353 = 17 a1207265235 = 33 a531443452 = 10 } } // calculate_outputm107 - transpiled function from /tmp/2019-Problem11.c:963 func calculate_outputm107(input int) { if input == 9 && (cf == 1 && a1207265235 == 34 && a2018753675 == 12 && a1920560082 == 12) { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 33 a1535647353 = 12 a1265514289 = 5 } } // calculate_outputm108 - transpiled function from /tmp/2019-Problem11.c:972 func calculate_outputm108(input int) { if a2018753675 == 12 && (cf == 1 && a1207265235 == 34 && input == 3) && a1920560082 == 13 { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 35 a829234386 = 8 a725363116 = 10 } if a2018753675 == 12 && (a1920560082 == 13 && cf == 1 && a1207265235 == 34) && input == 10 { //printf("%d\n", 24); fflush(stdout); cf = 0 a615035064 = 33 a1207265235 = 35 a829234386 = 4 } if a1920560082 == 13 && (input == 5 && (a1207265235 == 34 && (cf == 1 && a2018753675 == 12))) { //printf("%d\n", 17); fflush(stdout); cf = 0 a1249345268 = 34 a1207265235 = 32 a1722860169 = 33 } } // calculate_outputm19 - transpiled function from /tmp/2019-Problem11.c:993 func calculate_outputm19(input int) { if cf == 1 && a1920560082 == 7 { //printf("%d\n", 17); fflush(stdout); calculate_outputm103(input) } if a1920560082 == 12 && cf == 1 { calculate_outputm107(input) } if cf == 1 && a1920560082 == 13 { calculate_outputm108(input) } } // calculate_outputm115 - transpiled function from /tmp/2019-Problem11.c:1004 func calculate_outputm115(input int) { if a1979594534 == 15 && (a2018753675 == 13 && (input == 2 && cf == 1 && a1207265235 == 34)) { cf = 0 a2018753675 = 12 a1920560082 = 7 } if a2018753675 == 13 && (a1979594534 == 15 && cf == 1) && input == 1 && a1207265235 == 34 { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 35 a1393627342 = 36 a829234386 = 3 } } // calculate_outputm117 - transpiled function from /tmp/2019-Problem11.c:1018 func calculate_outputm117(input int) { if a2018753675 == 13 && (cf == 1 && a1979594534 == 17 && input == 7) && a1207265235 == 34 { //printf("%d\n", 17); fflush(stdout); cf = 0 a1207265235 = 33 a1535647353 = 12 a1265514289 = 5 } if a1207265235 == 34 && (input == 8 && cf == 1) && a1979594534 == 17 && a2018753675 == 13 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1211586799 = 33 a1207265235 = 36 a414008896 = 11 } if a1979594534 == 17 && (input == 4 && (a2018753675 == 13 && cf == 1)) && a1207265235 == 34 { //printf("%d\n", 18); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 33 a1640511277 = 2 } } // calculate_outputm20 - transpiled function from /tmp/2019-Problem11.c:1039 func calculate_outputm20(input int) { if cf == 1 && a1979594534 == 15 { //printf("%d\n", 23); fflush(stdout); calculate_outputm115(input) } if a1979594534 == 17 && cf == 1 { calculate_outputm117(input) } } // calculate_outputm118 - transpiled function from /tmp/2019-Problem11.c:1047 func calculate_outputm118(input int) { if a1991122068 == 33 && (a2018753675 == 14 && cf == 1) && a1207265235 == 34 && input == 3 { cf = 0 a1207265235 = 35 a829234386 = 8 a725363116 = 10 } if a2018753675 == 14 && (a1207265235 == 34 && (cf == 1 && input == 6) && a1991122068 == 33) { //printf("%d\n", 23); fflush(stdout); cf = 0 a1207265235 = 35 a1393627342 = 34 a829234386 = 3 } if a1207265235 == 34 && (a2018753675 == 14 && (cf == 1 && input == 7) && a1991122068 == 33) { //printf("%d\n", 23); fflush(stdout); cf = 0 a1207265235 = 36 a414008896 = 13 a2014931874 = 8 } } // calculate_outputm120 - transpiled function from /tmp/2019-Problem11.c:1068 func calculate_outputm120(input int) { if input == 4 && (a1207265235 == 34 && cf == 1) && a2018753675 == 14 && a1991122068 == 34 { //printf("%d\n", 23); fflush(stdout); cf = 0 a2018753675 = 11 a1265514289 = 10 } if a1991122068 == 34 && (input == 10 && cf == 1 && a2018753675 == 14) && a1207265235 == 34 { //printf("%d\n", 17); fflush(stdout); cf = 0 a1207265235 = 35 a615035064 = 33 a829234386 = 4 } if a1207265235 == 34 && (cf == 1 && a1991122068 == 34 && input == 3 && a2018753675 == 14) { //printf("%d\n", 19); fflush(stdout); cf = 0 a2018753675 = 13 a1979594534 = 12 } } // calculate_outputm21 - transpiled function from /tmp/2019-Problem11.c:1087 func calculate_outputm21(input int) { if cf == 1 && a1991122068 == 33 { //printf("%d\n", 26); fflush(stdout); calculate_outputm118(input) } if a1991122068 == 34 && cf == 1 { calculate_outputm120(input) } } // calculate_outputm122 - transpiled function from /tmp/2019-Problem11.c:1095 func calculate_outputm122(input int) { if a829234386 == 3 && (a1207265235 == 35 && (a1393627342 == 34 && cf == 1)) && input == 6 { cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } if a1207265235 == 35 && cf == 1 && a829234386 == 3 && input == 10 && a1393627342 == 34 { //printf("%d\n", 15); fflush(stdout); cf = 0 a615035064 = 33 a829234386 = 4 } } // calculate_outputm22 - transpiled function from /tmp/2019-Problem11.c:1109 func calculate_outputm22(input int) { if cf == 1 && a1393627342 == 34 { //printf("%d\n", 19); fflush(stdout); calculate_outputm122(input) } } // calculate_outputm124 - transpiled function from /tmp/2019-Problem11.c:1114 func calculate_outputm124(input int) { if input == 2 && (a615035064 == 33 && (cf == 1 && a829234386 == 4 && a1207265235 == 35)) { cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } if a829234386 == 4 && (a1207265235 == 35 && (a615035064 == 33 && cf == 1 && input == 4)) { //printf("%d\n", 15); fflush(stdout); cf = 0 a1249345268 = 34 a1207265235 = 32 a1722860169 = 32 } if a1207265235 == 35 && (cf == 1 && a615035064 == 33) && input == 6 && a829234386 == 4 { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 12 a1920560082 = 13 } if a829234386 == 4 && (a1207265235 == 35 && (cf == 1 && a615035064 == 33)) && input == 1 { //printf("%d\n", 24); fflush(stdout); cf = 0 a2018753675 = 12 a1207265235 = 34 a1920560082 = 10 } } // calculate_outputm125 - transpiled function from /tmp/2019-Problem11.c:1141 func calculate_outputm125(input int) { if a829234386 == 4 && (a615035064 == 32 && (a1207265235 == 35 && cf == 1) && input == 3) { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 33 a1640511277 = 3 } if a829234386 == 4 && (cf == 1 && a1207265235 == 35 && a615035064 == 32) && input == 8 { //printf("%d\n", 21); fflush(stdout); cf = 0 a829234386 = 6 a641428659 = 10 } } // calculate_outputm23 - transpiled function from /tmp/2019-Problem11.c:1155 func calculate_outputm23(input int) { if a615035064 == 33 && cf == 1 { //printf("%d\n", 22); fflush(stdout); calculate_outputm124(input) } if a615035064 == 32 && cf == 1 { calculate_outputm125(input) } } // calculate_outputm130 - transpiled function from /tmp/2019-Problem11.c:1163 func calculate_outputm130(input int) { if a641428659 == 5 && (a1207265235 == 35 && cf == 1 && input == 10 && a829234386 == 6) { cf = 0 a1249345268 = 33 a1207265235 = 32 a1640511277 = 3 } } // calculate_outputm25 - transpiled function from /tmp/2019-Problem11.c:1172 func calculate_outputm25(input int) { if a641428659 == 5 && cf == 1 { //printf("%d\n", 21); fflush(stdout); calculate_outputm130(input) } } // calculate_outputm141 - transpiled function from /tmp/2019-Problem11.c:1177 func calculate_outputm141(input int) { if a829234386 == 8 && (a725363116 == 10 && cf == 1 && input == 5) && a1207265235 == 35 { cf = 0 a1207265235 = 36 a414008896 = 13 a2014931874 = 5 } if input == 6 && (a829234386 == 8 && (a725363116 == 10 && (cf == 1 && a1207265235 == 35))) { //printf("%d\n", 20); fflush(stdout); cf = 0 a2018753675 = 10 a1207265235 = 34 a409889492 = 4 } if a829234386 == 8 && (a1207265235 == 35 && cf == 1) && input == 8 && a725363116 == 10 { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 33 a1535647353 = 12 a1265514289 = 5 } if input == 7 && (a829234386 == 8 && cf == 1 && a1207265235 == 35) && a725363116 == 10 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 13 a1979594534 = 16 } } // calculate_outputm27 - transpiled function from /tmp/2019-Problem11.c:1204 func calculate_outputm27(input int) { if cf == 1 && a725363116 == 10 { //printf("%d\n", 23); fflush(stdout); calculate_outputm141(input) } } // calculate_outputm146 - transpiled function from /tmp/2019-Problem11.c:1209 func calculate_outputm146(input int) { if a829234386 == 9 && (a642369719 == 36 && cf == 1) && input == 4 && a1207265235 == 35 { cf = 0 a829234386 = 8 a725363116 = 10 } if input == 10 && (a642369719 == 36 && (a829234386 == 9 && (a1207265235 == 35 && cf == 1))) { //printf("%d\n", 23); fflush(stdout); cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } } // calculate_outputm28 - transpiled function from /tmp/2019-Problem11.c:1223 func calculate_outputm28(input int) { if a642369719 == 36 && cf == 1 { //printf("%d\n", 23); fflush(stdout); calculate_outputm146(input) } } // calculate_outputm153 - transpiled function from /tmp/2019-Problem11.c:1228 func calculate_outputm153(input int) { if input == 2 && (a414008896 == 11 && (a1211586799 == 33 && (a1207265235 == 36 && cf == 1))) { cf = 0 a414008896 = 14 a1278053282 = 17 } if a1211586799 == 33 && (cf == 1 && a414008896 == 11 && input == 7) && a1207265235 == 36 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1207265235 = 34 a1991122068 = 34 a2018753675 = 14 } if a1211586799 == 33 && (cf == 1 && a1207265235 == 36) && a414008896 == 11 && input == 10 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1207265235 = 33 a1817180191 = 33 a1535647353 = 14 } if a1211586799 == 33 && (a1207265235 == 36 && cf == 1 && a414008896 == 11 && input == 3) { //printf("%d\n", 21); fflush(stdout); cf = 0 a1207265235 = 35 a136296760 = 33 a829234386 = 7 } } // calculate_outputm31 - transpiled function from /tmp/2019-Problem11.c:1254 func calculate_outputm31(input int) { if cf == 1 && a1211586799 == 33 { //printf("%d\n", 23); fflush(stdout); calculate_outputm153(input) } } // calculate_outputm155 - transpiled function from /tmp/2019-Problem11.c:1259 func calculate_outputm155(input int) { if a1207265235 == 36 && (input == 2 && cf == 1) && a1211586799 == 33 && a414008896 == 12 { cf = 0 a1207265235 = 35 a615035064 = 32 a829234386 = 4 } if a1211586799 == 33 && (cf == 1 && a414008896 == 12 && a1207265235 == 36 && input == 3) { //printf("%d\n", 22); fflush(stdout); cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } if input == 8 && (cf == 1 && a414008896 == 12) && a1211586799 == 33 && a1207265235 == 36 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } if a1207265235 == 36 && cf == 1 && a414008896 == 12 && input == 9 && a1211586799 == 33 { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 10 a409889492 = 3 } } // calculate_outputm156 - transpiled function from /tmp/2019-Problem11.c:1286 func calculate_outputm156(input int) { if a414008896 == 12 && (a1211586799 == 34 && cf == 1 && input == 8 && a1207265235 == 36) { //printf("%d\n", 22); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 13 a1979594534 = 15 } if a1207265235 == 36 && (a1211586799 == 34 && (a414008896 == 12 && (cf == 1 && input == 6))) { //printf("%d\n", 16); fflush(stdout); cf = 0 a1207265235 = 33 a1535647353 = 12 a1265514289 = 7 } } // calculate_outputm32 - transpiled function from /tmp/2019-Problem11.c:1301 func calculate_outputm32(input int) { if cf == 1 && a1211586799 == 33 { //printf("%d\n", 20); fflush(stdout); calculate_outputm155(input) } if cf == 1 && a1211586799 == 34 { calculate_outputm156(input) } } // calculate_outputm158 - transpiled function from /tmp/2019-Problem11.c:1309 func calculate_outputm158(input int) { if input == 3 && (a414008896 == 13 && cf == 1 && a2014931874 == 5) && a1207265235 == 36 { cf = 0 a2014931874 = 8 } if a1207265235 == 36 && (a2014931874 == 5 && (a414008896 == 13 && cf == 1 && input == 5)) { //printf("%d\n", 17); fflush(stdout); cf = 0 a1393627342 = 34 a1207265235 = 35 a829234386 = 3 } if a2014931874 == 5 && (input == 8 && (a414008896 == 13 && cf == 1) && a1207265235 == 36) { //printf("%d\n", 24); fflush(stdout); cf = 0 a1207265235 = 32 a1249345268 = 34 a1722860169 = 32 } if a414008896 == 13 && (input == 4 && (a1207265235 == 36 && cf == 1) && a2014931874 == 5) { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 33 a1030589677 = 36 a1535647353 = 16 } } // calculate_outputm160 - transpiled function from /tmp/2019-Problem11.c:1334 func calculate_outputm160(input int) { if a414008896 == 13 && (input == 8 && (a1207265235 == 36 && cf == 1) && a2014931874 == 7) { //printf("%d\n", 20); fflush(stdout); cf = 0 a1249345268 = 32 a1207265235 = 32 a409889492 = 2 } } // calculate_outputm161 - transpiled function from /tmp/2019-Problem11.c:1343 func calculate_outputm161(input int) { if a2014931874 == 8 && (a1207265235 == 36 && cf == 1 && input == 2) && a414008896 == 13 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1535647353 = 12 a1207265235 = 33 a1265514289 = 5 } if a1207265235 == 36 && (cf == 1 && input == 3 && a2014931874 == 8 && a414008896 == 13) { //printf("%d\n", 26); fflush(stdout); cf = 0 a1207265235 = 33 a1535647353 = 12 a1265514289 = 5 } if input == 6 && (cf == 1 && a414008896 == 13 && a2014931874 == 8 && a1207265235 == 36) { //printf("%d\n", 20); fflush(stdout); cf = 0 a1207265235 = 34 a2018753675 = 12 a1920560082 = 13 } } // calculate_outputm162 - transpiled function from /tmp/2019-Problem11.c:1364 func calculate_outputm162(input int) { if a414008896 == 13 && (input == 2 && (a2014931874 == 11 && cf == 1)) && a1207265235 == 36 { //printf("%d\n", 18); fflush(stdout); cf = 0 a1207265235 = 35 a829234386 = 8 a725363116 = 10 } if a414008896 == 13 && cf == 1 && input == 6 && a1207265235 == 36 && a2014931874 == 11 { //printf("%d\n", 23); fflush(stdout); cf = 0 a1393627342 = 34 a1207265235 = 35 a829234386 = 3 } } // calculate_outputm33 - transpiled function from /tmp/2019-Problem11.c:1379 func calculate_outputm33(input int) { if cf == 1 && a2014931874 == 5 { //printf("%d\n", 23); fflush(stdout); calculate_outputm158(input) } if cf == 1 && a2014931874 == 7 { calculate_outputm160(input) } if cf == 1 && a2014931874 == 8 { calculate_outputm161(input) } if cf == 1 && a2014931874 == 11 { calculate_outputm162(input) } } // calculate_outputm168 - transpiled function from /tmp/2019-Problem11.c:1393 func calculate_outputm168(input int) { if a1207265235 == 36 && (a414008896 == 14 && (cf == 1 && input == 4) && a1278053282 == 17) { cf = 0 a980532045 = 36 a1207265235 = 34 a2018753675 = 7 } if a1207265235 == 36 && (input == 9 && (a1278053282 == 17 && cf == 1 && a414008896 == 14)) { //printf("%d\n", 18); fflush(stdout); cf = 0 a1207265235 = 33 a1817180191 = 35 a1535647353 = 14 } } // calculate_outputm34 - transpiled function from /tmp/2019-Problem11.c:1408 func calculate_outputm34(input int) { if a1278053282 == 17 && cf == 1 { //printf("%d\n", 17); fflush(stdout); calculate_outputm168(input) } } // calculate_output - transpiled function from /tmp/2019-Problem11.c:1414 func calculate_output(input int) { cf = 1 if cf == 1 && a1207265235 == 33 { if cf == 1 && a1535647353 == 12 { calculate_outputm3(input) } if cf == 1 && a1535647353 == 13 { calculate_outputm4(input) } if a1535647353 == 14 && cf == 1 { calculate_outputm5(input) } } if cf == 1 && a1207265235 == 32 { if cf == 1 && a1249345268 == 33 { calculate_outputm9(input) } if cf == 1 && a1249345268 == 32 { calculate_outputm10(input) } if a1249345268 == 34 && cf == 1 { calculate_outputm11(input) } if a1249345268 == 35 && cf == 1 { calculate_outputm12(input) } if cf == 1 && a1249345268 == 36 { calculate_outputm13(input) } } if cf == 1 && a1207265235 == 34 { if a2018753675 == 7 && cf == 1 { calculate_outputm14(input) } if cf == 1 && a2018753675 == 10 { calculate_outputm17(input) } if cf == 1 && a2018753675 == 11 { calculate_outputm18(input) } if a2018753675 == 12 && cf == 1 { calculate_outputm19(input) } if cf == 1 && a2018753675 == 13 { calculate_outputm20(input) } if a2018753675 == 14 && cf == 1 { calculate_outputm21(input) } } if cf == 1 && a1207265235 == 35 { if cf == 1 && a829234386 == 3 { calculate_outputm22(input) } if a829234386 == 4 && cf == 1 { calculate_outputm23(input) } if a829234386 == 6 && cf == 1 { calculate_outputm25(input) } if a829234386 == 8 && cf == 1 { calculate_outputm27(input) } if cf == 1 && a829234386 == 9 { calculate_outputm28(input) } } if a1207265235 == 36 && cf == 1 { if a414008896 == 11 && cf == 1 { calculate_outputm31(input) } if cf == 1 && a414008896 == 12 { calculate_outputm32(input) } if a414008896 == 13 && cf == 1 { calculate_outputm33(input) } if a414008896 == 14 && cf == 1 { calculate_outputm34(input) } } errorCheck() if cf == 1 { } } // main - transpiled function from /tmp/2019-Problem11.c:1502 func main() { for 1 != 0 { var __RERS__ int //f;//printf(stderr, "Invalid input: %d\n", input); // main i/o-loop // read input __RERS__ = __RERS__ + 1 if __RERS__ != 2 && __RERS__ != 10 && __RERS__ != 9 && __RERS__ != 5 && __RERS__ != 3 && __RERS__ != 4 && __RERS__ != 1 && __RERS__ != 7 && __RERS__ != 8 && __RERS__ != 6 { // operate eca engine break } calculate_output(__RERS__) } }