// // 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/2017-Problem10.c:9 var inputs []int = []int{2, 5, 3, 1, 4} // a175 - transpiled function from /tmp/2017-Problem10.c:234 var a175 int = 10 // a137 - transpiled function from /tmp/2017-Problem10.c:235 var a137 int = 34 // a62 - transpiled function from /tmp/2017-Problem10.c:236 var a62 int = 35 // a148 - transpiled function from /tmp/2017-Problem10.c:237 var a148 int = 6 // a152 - transpiled function from /tmp/2017-Problem10.c:238 var a152 int = 34 // a68 - transpiled function from /tmp/2017-Problem10.c:239 var a68 int = 33 // a149 - transpiled function from /tmp/2017-Problem10.c:240 var a149 int = 35 // a141 - transpiled function from /tmp/2017-Problem10.c:241 var a141 int = 12 // a3 - transpiled function from /tmp/2017-Problem10.c:242 var a3 int = 11 // a19 - transpiled function from /tmp/2017-Problem10.c:243 var a19 int = 33 // a126 - transpiled function from /tmp/2017-Problem10.c:244 var a126 int = 9 // a97 - transpiled function from /tmp/2017-Problem10.c:245 var a97 int = 34 // a170 - transpiled function from /tmp/2017-Problem10.c:246 var a170 int = 15 // a16 - transpiled function from /tmp/2017-Problem10.c:247 var a16 int = 8 // a168 - transpiled function from /tmp/2017-Problem10.c:248 var a168 int = 35 // a179 - transpiled function from /tmp/2017-Problem10.c:249 var a179 int = 35 // a165 - transpiled function from /tmp/2017-Problem10.c:250 var a165 int = 9 // a26 - transpiled function from /tmp/2017-Problem10.c:251 var a26 int = 12 // a173 - transpiled function from /tmp/2017-Problem10.c:252 var a173 int = 7 // a73 - transpiled function from /tmp/2017-Problem10.c:253 var a73 int = 35 // a55 - transpiled function from /tmp/2017-Problem10.c:254 var a55 int = 34 // a161 - transpiled function from /tmp/2017-Problem10.c:255 var a161 int = 13 // a114 - transpiled function from /tmp/2017-Problem10.c:256 var a114 int = 36 // a69 - transpiled function from /tmp/2017-Problem10.c:257 var a69 int = 36 // a188 - transpiled function from /tmp/2017-Problem10.c:258 var a188 int = 35 // a65 - transpiled function from /tmp/2017-Problem10.c:259 var a65 int = 11 // a41 - transpiled function from /tmp/2017-Problem10.c:260 var a41 int = 36 // a49 - transpiled function from /tmp/2017-Problem10.c:261 var a49 int = 4 // a196 - transpiled function from /tmp/2017-Problem10.c:262 var a196 int = 10 // a11 - transpiled function from /tmp/2017-Problem10.c:263 var a11 int = 10 // a13 - transpiled function from /tmp/2017-Problem10.c:264 var a13 int = 13 // a187 - transpiled function from /tmp/2017-Problem10.c:265 var a187 int = 7 // a50 - transpiled function from /tmp/2017-Problem10.c:266 var a50 int = 11 // a169 - transpiled function from /tmp/2017-Problem10.c:267 var a169 int = 2 // cf - transpiled function from /tmp/2017-Problem10.c:268 var cf int = 1 // __VERIFIER_error - transpiled function from /tmp/2017-Problem10.c:6 func __VERIFIER_error(n int) { } // errorCheck - transpiled function from /tmp/2017-Problem10.c:271 func errorCheck() { if a169 == 4 && a41 == 32 && a62 == 32 { // inputs cf = 0 __VERIFIER_error(0) } if a126 == 11 && a173 == 12 && a62 == 33 { cf = 0 __VERIFIER_error(1) } if a196 == 6 && a50 == 8 && a62 == 35 { cf = 0 __VERIFIER_error(2) } if a3 == 8 && a114 == 36 && a62 == 36 { cf = 0 __VERIFIER_error(3) } if a137 == 33 && a114 == 35 && a62 == 36 { cf = 0 __VERIFIER_error(4) } if a152 == 34 && a173 == 8 && a62 == 33 { cf = 0 __VERIFIER_error(5) } if a16 == 9 && a50 == 14 && a62 == 35 { cf = 0 __VERIFIER_error(6) } if a65 == 8 && a50 == 12 && a62 == 35 { cf = 0 __VERIFIER_error(7) } if a187 == 5 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(8) } if a41 == 32 && a173 == 7 && a62 == 33 { cf = 0 __VERIFIER_error(9) } if a141 == 11 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(10) } if a3 == 12 && a114 == 36 && a62 == 36 { cf = 0 __VERIFIER_error(11) } if a196 == 4 && a50 == 8 && a62 == 35 { cf = 0 __VERIFIER_error(12) } if a179 == 35 && a161 == 13 && a62 == 34 { cf = 0 __VERIFIER_error(13) } if a16 == 3 && a50 == 14 && a62 == 35 { cf = 0 __VERIFIER_error(14) } if a41 == 33 && a173 == 7 && a62 == 33 { cf = 0 __VERIFIER_error(15) } if a26 == 17 && a161 == 14 && a62 == 34 { cf = 0 __VERIFIER_error(16) } if a187 == 8 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(17) } if a65 == 11 && a50 == 12 && a62 == 35 { cf = 0 __VERIFIER_error(18) } if a161 == 16 && a173 == 5 && a62 == 33 { cf = 0 __VERIFIER_error(19) } if a55 == 32 && a41 == 33 && a62 == 32 { cf = 0 __VERIFIER_error(20) } if a175 == 12 && a50 == 9 && a62 == 35 { cf = 0 __VERIFIER_error(21) } if a69 == 34 && a114 == 32 && a62 == 36 { cf = 0 __VERIFIER_error(22) } if a165 == 10 && a41 == 36 && a62 == 32 { cf = 0 __VERIFIER_error(23) } if a188 == 36 && a41 == 34 && a62 == 32 { cf = 0 __VERIFIER_error(24) } if a168 == 36 && a161 == 11 && a62 == 34 { cf = 0 __VERIFIER_error(25) } if a11 == 7 && a50 == 11 && a62 == 35 { cf = 0 __VERIFIER_error(26) } if a3 == 13 && a114 == 36 && a62 == 36 { cf = 0 __VERIFIER_error(27) } if a126 == 13 && a173 == 12 && a62 == 33 { cf = 0 __VERIFIER_error(28) } if a49 == 8 && a161 == 9 && a62 == 34 { cf = 0 __VERIFIER_error(29) } if a65 == 5 && a50 == 12 && a62 == 35 { cf = 0 __VERIFIER_error(30) } if a170 == 13 && a50 == 15 && a62 == 35 { cf = 0 __VERIFIER_error(31) } if a196 == 8 && a50 == 8 && a62 == 35 { cf = 0 __VERIFIER_error(32) } if a187 == 10 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(33) } if a126 == 9 && a173 == 12 && a62 == 33 { cf = 0 __VERIFIER_error(34) } if a148 == 2 && a161 == 12 && a62 == 34 { cf = 0 __VERIFIER_error(35) } if a161 == 11 && a173 == 5 && a62 == 33 { cf = 0 __VERIFIER_error(36) } if a169 == 3 && a41 == 32 && a62 == 32 { cf = 0 __VERIFIER_error(37) } if a165 == 13 && a41 == 36 && a62 == 32 { cf = 0 __VERIFIER_error(38) } if a97 == 36 && a114 == 33 && a62 == 36 { cf = 0 __VERIFIER_error(39) } if a11 == 14 && a50 == 11 && a62 == 35 { cf = 0 __VERIFIER_error(40) } if a16 == 5 && a50 == 14 && a62 == 35 { cf = 0 __VERIFIER_error(41) } if a175 == 13 && a50 == 9 && a62 == 35 { cf = 0 __VERIFIER_error(42) } if a168 == 33 && a161 == 11 && a62 == 34 { cf = 0 __VERIFIER_error(43) } if a169 == 6 && a41 == 32 && a62 == 32 { cf = 0 __VERIFIER_error(44) } if a187 == 9 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(45) } if a26 == 13 && a173 == 9 && a62 == 33 { cf = 0 __VERIFIER_error(46) } if a165 == 15 && a41 == 35 && a62 == 32 { cf = 0 __VERIFIER_error(47) } if a149 == 34 && a173 == 11 && a62 == 33 { cf = 0 __VERIFIER_error(48) } if a187 == 6 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(49) } if a141 == 12 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(50) } if a3 == 11 && a114 == 36 && a62 == 36 { cf = 0 __VERIFIER_error(51) } if a16 == 8 && a50 == 14 && a62 == 35 { cf = 0 __VERIFIER_error(52) } if a141 == 7 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(53) } if a137 == 35 && a114 == 35 && a62 == 36 { cf = 0 __VERIFIER_error(54) } if a152 == 35 && a114 == 34 && a62 == 36 { cf = 0 __VERIFIER_error(55) } if a165 == 11 && a41 == 35 && a62 == 32 { cf = 0 __VERIFIER_error(56) } if a49 == 7 && a161 == 9 && a62 == 34 { cf = 0 __VERIFIER_error(57) } if a55 == 34 && a41 == 33 && a62 == 32 { cf = 0 __VERIFIER_error(58) } if a16 == 4 && a50 == 14 && a62 == 35 { cf = 0 __VERIFIER_error(59) } if a26 == 13 && a161 == 14 && a62 == 34 { cf = 0 __VERIFIER_error(60) } if a141 == 6 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(61) } if a55 == 35 && a41 == 33 && a62 == 32 { cf = 0 __VERIFIER_error(62) } if a175 == 8 && a50 == 9 && a62 == 35 { cf = 0 __VERIFIER_error(63) } if a165 == 9 && a41 == 36 && a62 == 32 { cf = 0 __VERIFIER_error(64) } if a141 == 8 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(65) } if a170 == 10 && a50 == 15 && a62 == 35 { cf = 0 __VERIFIER_error(66) } if a11 == 11 && a50 == 11 && a62 == 35 { cf = 0 __VERIFIER_error(67) } if a55 == 33 && a41 == 33 && a62 == 32 { cf = 0 __VERIFIER_error(68) } if a26 == 16 && a173 == 9 && a62 == 33 { cf = 0 __VERIFIER_error(69) } if a196 == 9 && a50 == 8 && a62 == 35 { cf = 0 __VERIFIER_error(70) } if a26 == 10 && a173 == 9 && a62 == 33 { cf = 0 __VERIFIER_error(71) } if a49 == 4 && a161 == 9 && a62 == 34 { cf = 0 __VERIFIER_error(72) } if a161 == 13 && a173 == 5 && a62 == 33 { cf = 0 __VERIFIER_error(73) } if a148 == 3 && a161 == 12 && a62 == 34 { cf = 0 __VERIFIER_error(74) } if a65 == 6 && a50 == 12 && a62 == 35 { cf = 0 __VERIFIER_error(75) } if a68 == 35 && a173 == 6 && a62 == 33 { cf = 0 __VERIFIER_error(76) } if a68 == 36 && a173 == 6 && a62 == 33 { cf = 0 __VERIFIER_error(77) } if a170 == 17 && a50 == 15 && a62 == 35 { cf = 0 __VERIFIER_error(78) } if a26 == 15 && a173 == 9 && a62 == 33 { cf = 0 __VERIFIER_error(79) } if a148 == 8 && a161 == 12 && a62 == 34 { cf = 0 __VERIFIER_error(80) } if a141 == 10 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(81) } if a49 == 10 && a161 == 9 && a62 == 34 { cf = 0 __VERIFIER_error(82) } if a170 == 15 && a50 == 15 && a62 == 35 { cf = 0 __VERIFIER_error(83) } if a13 == 15 && a173 == 10 && a62 == 33 { cf = 0 __VERIFIER_error(84) } if a165 == 16 && a41 == 35 && a62 == 32 { cf = 0 __VERIFIER_error(85) } if a148 == 7 && a161 == 12 && a62 == 34 { cf = 0 __VERIFIER_error(86) } if a179 == 33 && a161 == 13 && a62 == 34 { cf = 0 __VERIFIER_error(87) } if a187 == 4 && a161 == 10 && a62 == 34 { cf = 0 __VERIFIER_error(88) } if a73 == 32 && a50 == 13 && a62 == 35 { cf = 0 __VERIFIER_error(89) } if a19 == 34 && a161 == 16 && a62 == 34 { cf = 0 __VERIFIER_error(90) } if a175 == 11 && a50 == 9 && a62 == 35 { cf = 0 __VERIFIER_error(91) } if a165 == 12 && a41 == 35 && a62 == 32 { cf = 0 __VERIFIER_error(92) } if a126 == 10 && a173 == 12 && a62 == 33 { cf = 0 __VERIFIER_error(93) } if a149 == 35 && a173 == 11 && a62 == 33 { cf = 0 __VERIFIER_error(94) } if a169 == 2 && a41 == 32 && a62 == 32 { cf = 0 __VERIFIER_error(95) } if a175 == 10 && a50 == 9 && a62 == 35 { cf = 0 __VERIFIER_error(96) } if a141 == 5 && a50 == 10 && a62 == 35 { cf = 0 __VERIFIER_error(97) } if a196 == 10 && a50 == 8 && a62 == 35 { cf = 0 __VERIFIER_error(98) } if a168 == 32 && a161 == 11 && a62 == 34 { cf = 0 __VERIFIER_error(99) } } // calculate_outputm35 - transpiled function from /tmp/2017-Problem10.c:673 func calculate_outputm35(input int) { if input == 5 && (a173 == 5 && (a161 == 10 && cf == 1 && a62 == 33)) { cf = 0 a41 = 35 a173 = 7 } if a161 == 10 && (input == 4 && (cf == 1 && a62 == 33) && a173 == 5) { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 35 a73 = 33 a50 = 13 } } // calculate_outputm37 - transpiled function from /tmp/2017-Problem10.c:688 func calculate_outputm37(input int) { if a173 == 5 && (cf == 1 && a161 == 12) && a62 == 33 && input == 2 { //printf("%d\n", 25); fflush(stdout); cf = 0 a50 = 11 a62 = 35 a11 = 7 } if a161 == 12 && (input == 3 && (cf == 1 && a173 == 5)) && a62 == 33 { //printf("%d\n", 19); fflush(stdout); cf = 0 a62 = 32 a41 = 34 a188 = 32 } if a173 == 5 && (a62 == 33 && (cf == 1 && input == 5 && a161 == 12)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 36 a114 = 34 a152 = 33 } } // calculate_outputm1 - transpiled function from /tmp/2017-Problem10.c:711 func calculate_outputm1(input int) { if a161 == 10 && cf == 1 { //printf("%d\n", 26); fflush(stdout); calculate_outputm35(input) } if a161 == 12 && cf == 1 { calculate_outputm37(input) } } // calculate_outputm40 - transpiled function from /tmp/2017-Problem10.c:719 func calculate_outputm40(input int) { if input == 4 && (a62 == 33 && cf == 1 && a173 == 6) && a68 == 33 { cf = 0 a41 = 34 a62 = 32 a188 = 35 } if a68 == 33 && (a62 == 33 && (input == 1 && cf == 1 && a173 == 6)) { //printf("%d\n", 24); fflush(stdout); cf = 0 a173 = 12 a126 = 7 } if a68 == 33 && (a62 == 33 && (cf == 1 && a173 == 6 && input == 2)) { //printf("%d\n", 25); fflush(stdout); cf = 0 a161 = 9 a62 = 34 a49 = 9 } } // calculate_outputm41 - transpiled function from /tmp/2017-Problem10.c:741 func calculate_outputm41(input int) { if a62 == 33 && (a68 == 32 && (input == 3 && cf == 1) && a173 == 6) { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 34 a161 = 9 a49 = 5 } if a68 == 32 && (a62 == 33 && (input == 5 && cf == 1)) && a173 == 6 { //printf("%d\n", 22); fflush(stdout); cf = 0 } } // calculate_outputm2 - transpiled function from /tmp/2017-Problem10.c:755 func calculate_outputm2(input int) { if cf == 1 && a68 == 33 { //printf("%d\n", 20); fflush(stdout); calculate_outputm40(input) } if a68 == 32 && cf == 1 { calculate_outputm41(input) } } // calculate_outputm46 - transpiled function from /tmp/2017-Problem10.c:763 func calculate_outputm46(input int) { if a173 == 7 && (a41 == 35 && cf == 1 && input == 5 && a62 == 33) { cf = 0 a62 = 35 a73 = 33 a50 = 13 } } // calculate_outputm47 - transpiled function from /tmp/2017-Problem10.c:772 func calculate_outputm47(input int) { if cf == 1 && a62 == 33 && a41 == 36 && a173 == 7 && input == 3 { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 35 a50 = 14 a16 = 7 } if a173 == 7 && cf == 1 && a41 == 36 && a62 == 33 && input == 1 { //printf("%d\n", 20); fflush(stdout); cf = 0 a50 = 11 a62 = 35 a11 = 12 } } // calculate_outputm3 - transpiled function from /tmp/2017-Problem10.c:788 func calculate_outputm3(input int) { if a41 == 35 && cf == 1 { //printf("%d\n", 21); fflush(stdout); calculate_outputm46(input) } if cf == 1 && a41 == 36 { calculate_outputm47(input) } } // calculate_outputm48 - transpiled function from /tmp/2017-Problem10.c:796 func calculate_outputm48(input int) { if input == 4 && (a62 == 33 && cf == 1 && a152 == 33 && a173 == 8) { cf = 0 a62 = 35 a50 = 8 a196 = 6 } if a173 == 8 && (a62 == 33 && (input == 3 && cf == 1 && a152 == 33)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a173 = 5 a161 = 12 } } // calculate_outputm49 - transpiled function from /tmp/2017-Problem10.c:811 func calculate_outputm49(input int) { if a152 == 32 && (a173 == 8 && (input == 3 && cf == 1 && a62 == 33)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a173 = 12 a126 = 11 } if input == 2 && (cf == 1 && a62 == 33 && a173 == 8 && a152 == 32) { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 36 a114 = 32 a69 = 32 } if a152 == 32 && (a173 == 8 && cf == 1 && input == 5) && a62 == 33 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 32 a41 = 36 a165 = 16 } } // calculate_outputm51 - transpiled function from /tmp/2017-Problem10.c:833 func calculate_outputm51(input int) { if a62 == 33 && (a173 == 8 && (a152 == 35 && cf == 1) && input == 1) { //printf("%d\n", 22); fflush(stdout); cf = 0 a149 = 33 a173 = 11 } if a173 == 8 && (input == 3 && (a62 == 33 && cf == 1 && a152 == 35)) { //printf("%d\n", 21); fflush(stdout); cf = 0 a161 = 14 a62 = 34 a26 = 15 } } // calculate_outputm52 - transpiled function from /tmp/2017-Problem10.c:848 func calculate_outputm52(input int) { if input == 5 && (a173 == 8 && cf == 1) && a152 == 36 && a62 == 33 { //printf("%d\n", 20); fflush(stdout); cf = 0 a41 = 32 a62 = 32 a169 = 5 } if a173 == 8 && (a152 == 36 && (a62 == 33 && cf == 1)) && input == 3 { //printf("%d\n", 22); fflush(stdout); cf = 0 a50 = 11 a62 = 35 a11 = 9 } } // calculate_outputm4 - transpiled function from /tmp/2017-Problem10.c:864 func calculate_outputm4(input int) { if a152 == 33 && cf == 1 { //printf("%d\n", 20); fflush(stdout); calculate_outputm48(input) } if a152 == 32 && cf == 1 { calculate_outputm49(input) } if a152 == 35 && cf == 1 { calculate_outputm51(input) } if cf == 1 && a152 == 36 { calculate_outputm52(input) } } // calculate_outputm54 - transpiled function from /tmp/2017-Problem10.c:878 func calculate_outputm54(input int) { if a26 == 11 && (a173 == 9 && cf == 1 && input == 3) && a62 == 33 { cf = 0 a26 = 17 } } // calculate_outputm55 - transpiled function from /tmp/2017-Problem10.c:885 func calculate_outputm55(input int) { if cf == 1 && a62 == 33 && input == 1 && a173 == 9 && a26 == 12 { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 34 a179 = 36 a161 = 13 } if a62 == 33 && (a26 == 12 && (a173 == 9 && cf == 1)) && input == 3 { //printf("%d\n", 21); fflush(stdout); cf = 0 a173 = 10 a13 = 14 } } // calculate_outputm57 - transpiled function from /tmp/2017-Problem10.c:900 func calculate_outputm57(input int) { if a173 == 9 && (input == 3 && (a62 == 33 && (cf == 1 && a26 == 14))) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 32 a41 = 34 a188 = 33 } } // calculate_outputm60 - transpiled function from /tmp/2017-Problem10.c:909 func calculate_outputm60(input int) { if a26 == 17 && (input == 5 && (cf == 1 && a62 == 33 && a173 == 9)) { //printf("%d\n", 24); fflush(stdout); cf = 0 a50 = 15 a62 = 35 a170 = 16 } } // calculate_outputm5 - transpiled function from /tmp/2017-Problem10.c:918 func calculate_outputm5(input int) { if cf == 1 && a26 == 11 { //printf("%d\n", 25); fflush(stdout); calculate_outputm54(input) } if cf == 1 && a26 == 12 { calculate_outputm55(input) } if a26 == 14 && cf == 1 { calculate_outputm57(input) } if a26 == 17 && cf == 1 { calculate_outputm60(input) } } // calculate_outputm61 - transpiled function from /tmp/2017-Problem10.c:932 func calculate_outputm61(input int) { if a13 == 12 && (a173 == 10 && cf == 1 && input == 4 && a62 == 33) { cf = 0 a41 = 34 a62 = 32 a188 = 35 } if a13 == 12 && (a62 == 33 && (input == 2 && (cf == 1 && a173 == 10))) { //printf("%d\n", 24); fflush(stdout); cf = 0 a161 = 9 a62 = 34 a49 = 9 } if input == 1 && (a62 == 33 && (a173 == 10 && cf == 1 && a13 == 12)) { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 35 a50 = 15 a170 = 11 } } // calculate_outputm62 - transpiled function from /tmp/2017-Problem10.c:955 func calculate_outputm62(input int) { if input == 3 && cf == 1 && a62 == 33 && a173 == 10 && a13 == 14 { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 35 a50 = 14 a16 = 6 } } // calculate_outputm64 - transpiled function from /tmp/2017-Problem10.c:964 func calculate_outputm64(input int) { if a62 == 33 && (a13 == 16 && (cf == 1 && a173 == 10)) && input == 3 { //printf("%d\n", 26); fflush(stdout); cf = 0 a68 = 32 a62 = 34 a161 = 15 } if input == 5 && (cf == 1 && a62 == 33) && a173 == 10 && a13 == 16 { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 35 a50 = 11 a11 = 8 } if a13 == 16 && (a62 == 33 && (a173 == 10 && cf == 1 && input == 2)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 32 a41 = 33 a55 = 34 } if input == 4 && (cf == 1 && a13 == 16 && a62 == 33) && a173 == 10 { //printf("%d\n", 22); fflush(stdout); cf = 0 a41 = 33 a62 = 32 a55 = 35 } } // calculate_outputm6 - transpiled function from /tmp/2017-Problem10.c:994 func calculate_outputm6(input int) { if a13 == 12 && cf == 1 { //printf("%d\n", 19); fflush(stdout); calculate_outputm61(input) } if cf == 1 && a13 == 14 { calculate_outputm62(input) } if cf == 1 && a13 == 16 { calculate_outputm64(input) } } // calculate_outputm65 - transpiled function from /tmp/2017-Problem10.c:1005 func calculate_outputm65(input int) { if input == 5 && (a173 == 11 && cf == 1 && a62 == 33 && a149 == 33) { cf = 0 a173 = 9 a26 = 14 } if a149 == 33 && (input == 2 && (cf == 1 && a62 == 33 && a173 == 11)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a114 = 32 a62 = 36 a69 = 32 } } // calculate_outputm68 - transpiled function from /tmp/2017-Problem10.c:1020 func calculate_outputm68(input int) { if a173 == 11 && (cf == 1 && a62 == 33 && input == 5 && a149 == 36) { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 36 a114 = 32 a69 = 35 } if a149 == 36 && (input == 3 && (a173 == 11 && cf == 1)) && a62 == 33 { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 34 a161 = 9 a49 = 5 } } // calculate_outputm7 - transpiled function from /tmp/2017-Problem10.c:1036 func calculate_outputm7(input int) { if a149 == 33 && cf == 1 { //printf("%d\n", 22); fflush(stdout); calculate_outputm65(input) } if cf == 1 && a149 == 36 { calculate_outputm68(input) } } // calculate_outputm69 - transpiled function from /tmp/2017-Problem10.c:1044 func calculate_outputm69(input int) { if a62 == 33 && (a126 == 7 && (a173 == 12 && cf == 1) && input == 2) { cf = 0 a126 = 13 } if input == 5 && (cf == 1 && a126 == 7 && a62 == 33) && a173 == 12 { //printf("%d\n", 23); fflush(stdout); cf = 0 a179 = 34 a62 = 34 a161 = 13 } } // calculate_outputm8 - transpiled function from /tmp/2017-Problem10.c:1058 func calculate_outputm8(input int) { if a126 == 7 && cf == 1 { //printf("%d\n", 23); fflush(stdout); calculate_outputm69(input) } } // calculate_outputm78 - transpiled function from /tmp/2017-Problem10.c:1063 func calculate_outputm78(input int) { if a55 == 36 && cf == 1 && a41 == 33 && a62 == 32 && input == 3 { cf = 0 a62 = 36 a114 = 36 a3 = 14 } if a62 == 32 && (a55 == 36 && cf == 1) && input == 5 && a41 == 33 { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } } // calculate_outputm9 - transpiled function from /tmp/2017-Problem10.c:1079 func calculate_outputm9(input int) { if a55 == 36 && cf == 1 { //printf("%d\n", 20); fflush(stdout); calculate_outputm78(input) } } // calculate_outputm82 - transpiled function from /tmp/2017-Problem10.c:1084 func calculate_outputm82(input int) { if a62 == 32 && (cf == 1 && a41 == 32 && a169 == 5) && input == 5 { cf = 0 a114 = 35 a62 = 36 a137 = 32 } if input == 3 && (a62 == 32 && (a41 == 32 && cf == 1 && a169 == 5)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 35 a50 = 15 a170 = 14 } } // calculate_outputm10 - transpiled function from /tmp/2017-Problem10.c:1100 func calculate_outputm10(input int) { if a169 == 5 && cf == 1 { //printf("%d\n", 20); fflush(stdout); calculate_outputm82(input) } } // calculate_outputm84 - transpiled function from /tmp/2017-Problem10.c:1105 func calculate_outputm84(input int) { if a41 == 34 && (a62 == 32 && (cf == 1 && a188 == 33)) && input == 3 { cf = 0 a114 = 35 a62 = 36 a137 = 36 } if input == 1 && (a188 == 33 && (cf == 1 && a62 == 32) && a41 == 34) { //printf("%d\n", 20); fflush(stdout); cf = 0 a188 = 34 } } // calculate_outputm85 - transpiled function from /tmp/2017-Problem10.c:1119 func calculate_outputm85(input int) { if a188 == 32 && (a62 == 32 && cf == 1) && input == 3 && a41 == 34 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 34 a161 = 12 a148 = 4 } if input == 1 && (a62 == 32 && (cf == 1 && a188 == 32)) && a41 == 34 { //printf("%d\n", 20); fflush(stdout); cf = 0 a188 = 34 } } // calculate_outputm86 - transpiled function from /tmp/2017-Problem10.c:1133 func calculate_outputm86(input int) { if a62 == 32 && (a188 == 34 && (a41 == 34 && cf == 1)) && input == 5 { //printf("%d\n", 21); fflush(stdout); cf = 0 a41 = 36 a165 = 16 } if a62 == 32 && (cf == 1 && input == 2 && a188 == 34 && a41 == 34) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 36 a114 = 32 a69 = 32 } } // calculate_outputm87 - transpiled function from /tmp/2017-Problem10.c:1148 func calculate_outputm87(input int) { if cf == 1 && input == 4 && a188 == 35 && a41 == 34 && a62 == 32 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 34 a161 = 9 a49 = 9 } } // calculate_outputm11 - transpiled function from /tmp/2017-Problem10.c:1157 func calculate_outputm11(input int) { if cf == 1 && a188 == 33 { //printf("%d\n", 25); fflush(stdout); calculate_outputm84(input) } if cf == 1 && a188 == 32 { calculate_outputm85(input) } if cf == 1 && a188 == 34 { calculate_outputm86(input) } if a188 == 35 && cf == 1 { calculate_outputm87(input) } } // calculate_outputm89 - transpiled function from /tmp/2017-Problem10.c:1171 func calculate_outputm89(input int) { if a165 == 9 && (input == 3 && cf == 1 && a62 == 32) && a41 == 35 { cf = 0 a41 = 36 a165 = 11 } if input == 5 && (cf == 1 && a62 == 32 && a165 == 9 && a41 == 35) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 34 a168 = 32 a161 = 11 } } // calculate_outputm90 - transpiled function from /tmp/2017-Problem10.c:1186 func calculate_outputm90(input int) { if input == 5 && (a165 == 10 && (cf == 1 && a62 == 32)) && a41 == 35 { //printf("%d\n", 21); fflush(stdout); cf = 0 a50 = 8 a62 = 35 a196 = 5 } if cf == 1 && input == 2 && a165 == 10 && a41 == 35 && a62 == 32 { //printf("%d\n", 23); fflush(stdout); cf = 0 a68 = 33 a62 = 33 a173 = 6 } } // calculate_outputm93 - transpiled function from /tmp/2017-Problem10.c:1202 func calculate_outputm93(input int) { if a41 == 35 && (cf == 1 && a62 == 32 && input == 3) && a165 == 13 { //printf("%d\n", 23); fflush(stdout); cf = 0 a41 = 34 a188 = 32 } if a165 == 13 && (input == 5 && (a41 == 35 && cf == 1 && a62 == 32)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a41 = 34 a188 = 32 } if input == 2 && (cf == 1 && a41 == 35) && a165 == 13 && a62 == 32 { //printf("%d\n", 26); fflush(stdout); cf = 0 a41 = 36 } } // calculate_outputm94 - transpiled function from /tmp/2017-Problem10.c:1221 func calculate_outputm94(input int) { if a62 == 32 && (input == 3 && (cf == 1 && a165 == 14)) && a41 == 35 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 34 a161 = 14 a26 = 10 } if a62 == 32 && (a41 == 35 && (a165 == 14 && cf == 1 && input == 5)) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 34 a19 = 32 a161 = 16 } } // calculate_outputm12 - transpiled function from /tmp/2017-Problem10.c:1237 func calculate_outputm12(input int) { if cf == 1 && a165 == 9 { //printf("%d\n", 22); fflush(stdout); calculate_outputm89(input) } if a165 == 10 && cf == 1 { calculate_outputm90(input) } if a165 == 13 && cf == 1 { calculate_outputm93(input) } if cf == 1 && a165 == 14 { calculate_outputm94(input) } } // calculate_outputm99 - transpiled function from /tmp/2017-Problem10.c:1251 func calculate_outputm99(input int) { if a165 == 11 && (input == 5 && (a62 == 32 && cf == 1)) && a41 == 36 { cf = 0 a41 = 34 a188 = 32 } if input == 3 && (cf == 1 && a62 == 32) && a165 == 11 && a41 == 36 { //printf("%d\n", 26); fflush(stdout); cf = 0 a41 = 34 a188 = 32 } } // calculate_outputm101 - transpiled function from /tmp/2017-Problem10.c:1265 func calculate_outputm101(input int) { if a41 == 36 && (cf == 1 && a165 == 14 && input == 5) && a62 == 32 { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 35 a50 = 15 a170 = 16 } if a62 == 32 && (a165 == 14 && (input == 2 && (cf == 1 && a41 == 36))) { //printf("%d\n", 25); fflush(stdout); cf = 0 a149 = 34 a62 = 33 a173 = 11 } } // calculate_outputm102 - transpiled function from /tmp/2017-Problem10.c:1281 func calculate_outputm102(input int) { if cf == 1 && a62 == 32 && a165 == 16 && a41 == 36 && input == 3 { //printf("%d\n", 25); fflush(stdout); cf = 0 a41 = 34 a188 = 32 } } // calculate_outputm13 - transpiled function from /tmp/2017-Problem10.c:1289 func calculate_outputm13(input int) { if a165 == 11 && cf == 1 { //printf("%d\n", 24); fflush(stdout); calculate_outputm99(input) } if a165 == 14 && cf == 1 { calculate_outputm101(input) } if a165 == 16 && cf == 1 { calculate_outputm102(input) } } // calculate_outputm104 - transpiled function from /tmp/2017-Problem10.c:1300 func calculate_outputm104(input int) { if a62 == 34 && (a161 == 9 && cf == 1) && a49 == 5 && input == 5 { cf = 0 a19 = 32 a161 = 16 } } // calculate_outputm105 - transpiled function from /tmp/2017-Problem10.c:1308 func calculate_outputm105(input int) { if a49 == 6 && (a62 == 34 && cf == 1 && input == 3) && a161 == 9 { //printf("%d\n", 25); fflush(stdout); cf = 0 a161 = 12 a148 = 4 } if a161 == 9 && (input == 1 && (cf == 1 && a49 == 6) && a62 == 34) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 35 a50 = 14 a16 = 10 } } // calculate_outputm108 - transpiled function from /tmp/2017-Problem10.c:1323 func calculate_outputm108(input int) { if a161 == 9 && (input == 3 && (a49 == 9 && cf == 1)) && a62 == 34 { //printf("%d\n", 21); fflush(stdout); cf = 0 a114 = 32 a62 = 36 a69 = 32 } } // calculate_outputm110 - transpiled function from /tmp/2017-Problem10.c:1332 func calculate_outputm110(input int) { if cf == 1 && a49 == 11 && a62 == 34 && a161 == 9 && input == 1 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 32 a41 = 34 a188 = 34 } if a62 == 34 && cf == 1 && a161 == 9 && input == 3 && a49 == 11 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 33 a152 = 33 a173 = 8 } } // calculate_outputm14 - transpiled function from /tmp/2017-Problem10.c:1348 func calculate_outputm14(input int) { if a49 == 5 && cf == 1 { //printf("%d\n", 20); fflush(stdout); calculate_outputm104(input) } if a49 == 6 && cf == 1 { calculate_outputm105(input) } if a49 == 9 && cf == 1 { calculate_outputm108(input) } if a49 == 11 && cf == 1 { calculate_outputm110(input) } } // calculate_outputm111 - transpiled function from /tmp/2017-Problem10.c:1362 func calculate_outputm111(input int) { if a62 == 34 && (cf == 1 && a161 == 10 && a187 == 3) && input == 5 { cf = 0 a152 = 36 a62 = 33 a173 = 8 } } // calculate_outputm115 - transpiled function from /tmp/2017-Problem10.c:1371 func calculate_outputm115(input int) { if a187 == 7 && (cf == 1 && a161 == 10) && a62 == 34 && input == 1 { //printf("%d\n", 25); fflush(stdout); cf = 0 a187 = 10 } if input == 5 && (a62 == 34 && cf == 1 && a187 == 7) && a161 == 10 { //printf("%d\n", 25); fflush(stdout); cf = 0 a114 = 35 a62 = 36 a137 = 34 } if a161 == 10 && (cf == 1 && a62 == 34) && a187 == 7 && input == 3 { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } } // calculate_outputm15 - transpiled function from /tmp/2017-Problem10.c:1392 func calculate_outputm15(input int) { if cf == 1 && a187 == 3 { //printf("%d\n", 20); fflush(stdout); calculate_outputm111(input) } if cf == 1 && a187 == 7 { calculate_outputm115(input) } } // calculate_outputm121 - transpiled function from /tmp/2017-Problem10.c:1400 func calculate_outputm121(input int) { if a62 == 34 && cf == 1 && a161 == 11 && input == 2 && a168 == 34 { cf = 0 a62 = 36 a114 = 32 a69 = 32 } if input == 5 && (a161 == 11 && (a62 == 34 && (a168 == 34 && cf == 1))) { //printf("%d\n", 21); fflush(stdout); cf = 0 a68 = 34 a161 = 15 } if cf == 1 && a62 == 34 && a161 == 11 && a168 == 34 && input == 3 { //printf("%d\n", 22); fflush(stdout); cf = 0 a179 = 35 a161 = 13 } } // calculate_outputm122 - transpiled function from /tmp/2017-Problem10.c:1421 func calculate_outputm122(input int) { if a161 == 11 && (a168 == 35 && (cf == 1 && input == 3 && a62 == 34)) { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 36 a114 = 34 a152 = 36 } } // calculate_outputm16 - transpiled function from /tmp/2017-Problem10.c:1430 func calculate_outputm16(input int) { if cf == 1 && a168 == 34 { //printf("%d\n", 23); fflush(stdout); calculate_outputm121(input) } if a168 == 35 && cf == 1 { calculate_outputm122(input) } } // calculate_outputm126 - transpiled function from /tmp/2017-Problem10.c:1438 func calculate_outputm126(input int) { if a62 == 34 && (a161 == 12 && cf == 1) && a148 == 4 && input == 3 { cf = 0 a41 = 36 a62 = 32 a165 = 11 } } // calculate_outputm17 - transpiled function from /tmp/2017-Problem10.c:1447 func calculate_outputm17(input int) { if a148 == 4 && cf == 1 { //printf("%d\n", 26); fflush(stdout); calculate_outputm126(input) } } // calculate_outputm130 - transpiled function from /tmp/2017-Problem10.c:1452 func calculate_outputm130(input int) { if a179 == 32 && (input == 3 && (cf == 1 && a62 == 34) && a161 == 13) { cf = 0 a161 = 9 a49 = 6 } } // calculate_outputm131 - transpiled function from /tmp/2017-Problem10.c:1460 func calculate_outputm131(input int) { if a62 == 34 && (input == 3 && cf == 1 && a161 == 13) && a179 == 34 { //printf("%d\n", 24); fflush(stdout); cf = 0 a41 = 35 a62 = 33 a173 = 7 } } // calculate_outputm133 - transpiled function from /tmp/2017-Problem10.c:1469 func calculate_outputm133(input int) { if input == 2 && (a62 == 34 && (a161 == 13 && cf == 1)) && a179 == 36 { //printf("%d\n", 23); fflush(stdout); cf = 0 a168 = 35 a161 = 11 } if a62 == 34 && (cf == 1 && a161 == 13) && a179 == 36 && input == 5 { //printf("%d\n", 21); fflush(stdout); cf = 0 a50 = 9 a62 = 35 a175 = 9 } } // calculate_outputm18 - transpiled function from /tmp/2017-Problem10.c:1484 func calculate_outputm18(input int) { if cf == 1 && a179 == 32 { //printf("%d\n", 22); fflush(stdout); calculate_outputm130(input) } if cf == 1 && a179 == 34 { calculate_outputm131(input) } if a179 == 36 && cf == 1 { calculate_outputm133(input) } } // calculate_outputm134 - transpiled function from /tmp/2017-Problem10.c:1495 func calculate_outputm134(input int) { if a26 == 10 && (a62 == 34 && (cf == 1 && input == 3)) && a161 == 14 { cf = 0 a114 = 33 a62 = 36 a97 = 34 } if a161 == 14 && (a26 == 10 && (cf == 1 && input == 5) && a62 == 34) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } } // calculate_outputm136 - transpiled function from /tmp/2017-Problem10.c:1511 func calculate_outputm136(input int) { if a161 == 14 && (input == 5 && (cf == 1 && a26 == 14 && a62 == 34)) { //printf("%d\n", 20); fflush(stdout); cf = 0 a114 = 36 a62 = 36 a3 = 10 } if a62 == 34 && (a161 == 14 && cf == 1 && input == 4) && a26 == 14 { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 33 a173 = 9 a26 = 13 } if a26 == 14 && cf == 1 && a161 == 14 && input == 3 && a62 == 34 { //printf("%d\n", 23); fflush(stdout); cf = 0 a161 = 9 a49 = 5 } if a62 == 34 && (a26 == 14 && (input == 1 && cf == 1)) && a161 == 14 { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 35 a50 = 10 a141 = 8 } } // calculate_outputm137 - transpiled function from /tmp/2017-Problem10.c:1540 func calculate_outputm137(input int) { if a161 == 14 && (a62 == 34 && (cf == 1 && input == 3)) && a26 == 15 { //printf("%d\n", 24); fflush(stdout); cf = 0 a62 = 35 a50 = 9 a175 = 7 } } // calculate_outputm19 - transpiled function from /tmp/2017-Problem10.c:1549 func calculate_outputm19(input int) { if a26 == 10 && cf == 1 { //printf("%d\n", 26); fflush(stdout); calculate_outputm134(input) } if cf == 1 && a26 == 14 { calculate_outputm136(input) } if a26 == 15 && cf == 1 { calculate_outputm137(input) } } // calculate_outputm139 - transpiled function from /tmp/2017-Problem10.c:1560 func calculate_outputm139(input int) { if a68 == 33 && (a161 == 15 && (a62 == 34 && cf == 1 && input == 3)) { cf = 0 a161 = 9 a49 = 5 } if a68 == 33 && (a62 == 34 && (cf == 1 && input == 4) && a161 == 15) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 35 a73 = 32 a50 = 13 } if input == 5 && (a161 == 15 && cf == 1) && a62 == 34 && a68 == 33 { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } } // calculate_outputm140 - transpiled function from /tmp/2017-Problem10.c:1582 func calculate_outputm140(input int) { if a68 == 32 && (a161 == 15 && (cf == 1 && input == 1)) && a62 == 34 { //printf("%d\n", 20); fflush(stdout); cf = 0 a41 = 34 a62 = 32 a188 = 34 } if input == 5 && (cf == 1 && a68 == 32 && a161 == 15) && a62 == 34 { //printf("%d\n", 21); fflush(stdout); cf = 0 a50 = 15 a62 = 35 a170 = 10 } if a161 == 15 && (input == 3 && (a68 == 32 && cf == 1 && a62 == 34)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 32 a41 = 35 a165 = 9 } if a68 == 32 && (a161 == 15 && cf == 1) && a62 == 34 && input == 4 { //printf("%d\n", 20); fflush(stdout); cf = 0 a114 = 36 a62 = 36 a3 = 13 } } // calculate_outputm141 - transpiled function from /tmp/2017-Problem10.c:1612 func calculate_outputm141(input int) { if a68 == 34 && cf == 1 && a161 == 15 && a62 == 34 && input == 2 { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 35 a50 = 9 a175 = 13 } if input == 3 && (cf == 1 && a161 == 15) && a68 == 34 && a62 == 34 { //printf("%d\n", 20); fflush(stdout); cf = 0 a41 = 34 a62 = 32 a188 = 32 } } // calculate_outputm142 - transpiled function from /tmp/2017-Problem10.c:1628 func calculate_outputm142(input int) { if input == 1 && (a161 == 15 && (a62 == 34 && (cf == 1 && a68 == 36))) { //printf("%d\n", 24); fflush(stdout); cf = 0 a152 = 32 a62 = 33 a173 = 8 } if cf == 1 && a68 == 36 && a161 == 15 && a62 == 34 && input == 3 { //printf("%d\n", 21); fflush(stdout); cf = 0 a161 = 12 a148 = 4 } } // calculate_outputm20 - transpiled function from /tmp/2017-Problem10.c:1643 func calculate_outputm20(input int) { if cf == 1 && a68 == 33 { //printf("%d\n", 20); fflush(stdout); calculate_outputm139(input) } if cf == 1 && a68 == 32 { calculate_outputm140(input) } if a68 == 34 && cf == 1 { calculate_outputm141(input) } if cf == 1 && a68 == 36 { calculate_outputm142(input) } } // calculate_outputm143 - transpiled function from /tmp/2017-Problem10.c:1657 func calculate_outputm143(input int) { if a161 == 16 && (cf == 1 && a62 == 34 && a19 == 32) && input == 5 { cf = 0 } if a161 == 16 && (a62 == 34 && cf == 1) && input == 3 && a19 == 32 { //printf("%d\n", 22); fflush(stdout); cf = 0 a68 = 32 a62 = 33 a173 = 6 } } // calculate_outputm145 - transpiled function from /tmp/2017-Problem10.c:1671 func calculate_outputm145(input int) { if input == 3 && (a19 == 36 && (a161 == 16 && cf == 1) && a62 == 34) { //printf("%d\n", 20); fflush(stdout); cf = 0 a68 = 32 a62 = 33 a173 = 6 } if a161 == 16 && (cf == 1 && input == 1) && a62 == 34 && a19 == 36 { //printf("%d\n", 20); fflush(stdout); cf = 0 a173 = 9 a62 = 33 a26 = 16 } if a62 == 34 && (a161 == 16 && cf == 1 && a19 == 36 && input == 5) { //printf("%d\n", 26); fflush(stdout); cf = 0 a19 = 32 } } // calculate_outputm21 - transpiled function from /tmp/2017-Problem10.c:1692 func calculate_outputm21(input int) { if cf == 1 && a19 == 32 { //printf("%d\n", 22); fflush(stdout); calculate_outputm143(input) } if cf == 1 && a19 == 36 { calculate_outputm145(input) } } // calculate_outputm147 - transpiled function from /tmp/2017-Problem10.c:1700 func calculate_outputm147(input int) { if a62 == 35 && cf == 1 && a196 == 5 && input == 3 && a50 == 8 { cf = 0 a41 = 36 a62 = 32 a165 = 14 } if a50 == 8 && (input == 5 && cf == 1 && a62 == 35) && a196 == 5 { //printf("%d\n", 22); fflush(stdout); cf = 0 a114 = 36 a62 = 36 a3 = 8 } } // calculate_outputm149 - transpiled function from /tmp/2017-Problem10.c:1716 func calculate_outputm149(input int) { if a50 == 8 && (a196 == 7 && (cf == 1 && input == 5 && a62 == 35)) { //printf("%d\n", 23); fflush(stdout); cf = 0 a41 = 35 a62 = 32 a165 = 10 } if input == 4 && cf == 1 && a50 == 8 && a196 == 7 && a62 == 35 { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 33 a68 = 36 a173 = 6 } if input == 3 && (cf == 1 && a196 == 7 && a50 == 8 && a62 == 35) { //printf("%d\n", 25); fflush(stdout); cf = 0 a50 = 12 a65 = 5 } if a196 == 7 && (a50 == 8 && (a62 == 35 && cf == 1)) && input == 1 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 32 a41 = 32 a169 = 3 } } // calculate_outputm22 - transpiled function from /tmp/2017-Problem10.c:1745 func calculate_outputm22(input int) { if cf == 1 && a196 == 5 { //printf("%d\n", 21); fflush(stdout); calculate_outputm147(input) } if cf == 1 && a196 == 7 { calculate_outputm149(input) } } // calculate_outputm153 - transpiled function from /tmp/2017-Problem10.c:1753 func calculate_outputm153(input int) { if a62 == 35 && (cf == 1 && input == 3 && a50 == 9) && a175 == 6 { cf = 0 a62 = 33 a68 = 32 a173 = 6 } if a62 == 35 && (cf == 1 && input == 2 && a175 == 6 && a50 == 9) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 34 a161 = 9 a49 = 4 } if a62 == 35 && (input == 5 && (a175 == 6 && (cf == 1 && a50 == 9))) { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 34 a19 = 32 a161 = 16 } } // calculate_outputm154 - transpiled function from /tmp/2017-Problem10.c:1776 func calculate_outputm154(input int) { if a50 == 9 && (a175 == 7 && cf == 1 && input == 3) && a62 == 35 { //printf("%d\n", 22); fflush(stdout); cf = 0 a41 = 34 a62 = 32 a188 = 32 } if a50 == 9 && (a175 == 7 && (input == 5 && cf == 1 && a62 == 35)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a68 = 36 a62 = 34 a161 = 15 } } // calculate_outputm156 - transpiled function from /tmp/2017-Problem10.c:1792 func calculate_outputm156(input int) { if input == 3 && (cf == 1 && a62 == 35 && a50 == 9 && a175 == 9) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 33 a41 = 36 a173 = 7 } } // calculate_outputm23 - transpiled function from /tmp/2017-Problem10.c:1801 func calculate_outputm23(input int) { if cf == 1 && a175 == 6 { //printf("%d\n", 24); fflush(stdout); calculate_outputm153(input) } if a175 == 7 && cf == 1 { calculate_outputm154(input) } if cf == 1 && a175 == 9 { calculate_outputm156(input) } } // calculate_outputm169 - transpiled function from /tmp/2017-Problem10.c:1812 func calculate_outputm169(input int) { if a62 == 35 && (cf == 1 && a50 == 11) && a11 == 8 && input == 5 { cf = 0 a50 = 10 a141 = 10 } if a62 == 35 && (cf == 1 && a50 == 11 && a11 == 8) && input == 3 { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 34 a161 = 12 a148 = 4 } if a50 == 11 && (a11 == 8 && cf == 1) && input == 1 && a62 == 35 { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 32 a41 = 34 a188 = 34 } } // calculate_outputm170 - transpiled function from /tmp/2017-Problem10.c:1834 func calculate_outputm170(input int) { if a11 == 9 && (a50 == 11 && (input == 3 && cf == 1 && a62 == 35)) { //printf("%d\n", 21); fflush(stdout); cf = 0 a161 = 9 a62 = 34 a49 = 5 } if a11 == 9 && (input == 5 && (cf == 1 && a50 == 11) && a62 == 35) { //printf("%d\n", 22); fflush(stdout); cf = 0 a149 = 36 a62 = 33 a173 = 11 } } // calculate_outputm171 - transpiled function from /tmp/2017-Problem10.c:1850 func calculate_outputm171(input int) { if a50 == 11 && (a62 == 35 && cf == 1) && input == 4 && a11 == 10 { //printf("%d\n", 20); fflush(stdout); cf = 0 a161 = 10 a62 = 34 a187 = 3 } if a62 == 35 && (cf == 1 && a11 == 10 && a50 == 11 && input == 5) { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 33 a173 = 9 a26 = 12 } } // calculate_outputm173 - transpiled function from /tmp/2017-Problem10.c:1866 func calculate_outputm173(input int) { if a11 == 12 && (a62 == 35 && (input == 2 && cf == 1) && a50 == 11) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 36 a114 = 32 a69 = 32 } if input == 5 && (a50 == 11 && (a11 == 12 && cf == 1) && a62 == 35) { //printf("%d\n", 21); fflush(stdout); cf = 0 a179 = 32 a62 = 34 a161 = 13 } } // calculate_outputm174 - transpiled function from /tmp/2017-Problem10.c:1882 func calculate_outputm174(input int) { if cf == 1 && a62 == 35 && input == 4 && a50 == 11 && a11 == 13 { //printf("%d\n", 22); fflush(stdout); cf = 0 a50 = 8 a196 = 9 } if a62 == 35 && (input == 3 && cf == 1 && a11 == 13 && a50 == 11) { //printf("%d\n", 23); fflush(stdout); cf = 0 a50 = 15 a170 = 12 } if a62 == 35 && (a11 == 13 && (a50 == 11 && (input == 5 && cf == 1))) { //printf("%d\n", 22); fflush(stdout); cf = 0 a68 = 32 a62 = 33 a173 = 6 } } // calculate_outputm25 - transpiled function from /tmp/2017-Problem10.c:1903 func calculate_outputm25(input int) { if cf == 1 && a11 == 8 { //printf("%d\n", 20); fflush(stdout); calculate_outputm169(input) } if cf == 1 && a11 == 9 { calculate_outputm170(input) } if a11 == 10 && cf == 1 { calculate_outputm171(input) } if a11 == 12 && cf == 1 { calculate_outputm173(input) } if a11 == 13 && cf == 1 { calculate_outputm174(input) } } // calculate_outputm176 - transpiled function from /tmp/2017-Problem10.c:1920 func calculate_outputm176(input int) { if input == 3 && (a50 == 12 && (a65 == 4 && (cf == 1 && a62 == 35))) { cf = 0 a62 = 34 a161 = 9 a49 = 5 } if a50 == 12 && (cf == 1 && a65 == 4 && input == 5 && a62 == 35) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 32 a41 = 33 a55 = 36 } } // calculate_outputm26 - transpiled function from /tmp/2017-Problem10.c:1936 func calculate_outputm26(input int) { if cf == 1 && a65 == 4 { //printf("%d\n", 20); fflush(stdout); calculate_outputm176(input) } } // calculate_outputm181 - transpiled function from /tmp/2017-Problem10.c:1941 func calculate_outputm181(input int) { if input == 2 && (a50 == 13 && cf == 1 && a62 == 35) && a73 == 33 { cf = 0 a62 = 33 a173 = 10 a13 = 12 } if input == 5 && (a73 == 33 && (a62 == 35 && (cf == 1 && a50 == 13))) { //printf("%d\n", 23); fflush(stdout); cf = 0 a62 = 33 a173 = 9 a26 = 11 } } // calculate_outputm183 - transpiled function from /tmp/2017-Problem10.c:1957 func calculate_outputm183(input int) { if input == 5 && (a73 == 35 && cf == 1 && a62 == 35) && a50 == 13 { //printf("%d\n", 23); fflush(stdout); cf = 0 a114 = 33 a62 = 36 a97 = 32 } } // calculate_outputm27 - transpiled function from /tmp/2017-Problem10.c:1966 func calculate_outputm27(input int) { if cf == 1 && a73 == 33 { //printf("%d\n", 25); fflush(stdout); calculate_outputm181(input) } if cf == 1 && a73 == 35 { calculate_outputm183(input) } } // calculate_outputm187 - transpiled function from /tmp/2017-Problem10.c:1974 func calculate_outputm187(input int) { if a50 == 14 && (cf == 1 && input == 5) && a16 == 6 && a62 == 35 { cf = 0 a161 = 9 a62 = 34 a49 = 11 } if input == 3 && (a50 == 14 && (a16 == 6 && (cf == 1 && a62 == 35))) { //printf("%d\n", 26); fflush(stdout); cf = 0 a152 = 35 a62 = 33 a173 = 8 } } // calculate_outputm188 - transpiled function from /tmp/2017-Problem10.c:1990 func calculate_outputm188(input int) { if input == 3 && (a50 == 14 && cf == 1) && a16 == 7 && a62 == 35 { //printf("%d\n", 26); fflush(stdout); cf = 0 a173 = 10 a62 = 33 a13 = 16 } } // calculate_outputm191 - transpiled function from /tmp/2017-Problem10.c:1999 func calculate_outputm191(input int) { if a16 == 10 && (cf == 1 && a50 == 14 && a62 == 35) && input == 3 { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 34 a161 = 9 a49 = 10 } if a50 == 14 && (cf == 1 && input == 5 && a62 == 35 && a16 == 10) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 32 a41 = 36 a165 = 16 } if a62 == 35 && (a16 == 10 && (a50 == 14 && (cf == 1 && input == 2))) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 36 a114 = 32 a69 = 32 } } // calculate_outputm28 - transpiled function from /tmp/2017-Problem10.c:2022 func calculate_outputm28(input int) { if cf == 1 && a16 == 6 { //printf("%d\n", 21); fflush(stdout); calculate_outputm187(input) } if a16 == 7 && cf == 1 { calculate_outputm188(input) } if a16 == 10 && cf == 1 { calculate_outputm191(input) } } // calculate_outputm193 - transpiled function from /tmp/2017-Problem10.c:2033 func calculate_outputm193(input int) { if a50 == 15 && (cf == 1 && a170 == 11 && a62 == 35) && input == 5 { cf = 0 a179 = 34 a62 = 34 a161 = 13 } } // calculate_outputm194 - transpiled function from /tmp/2017-Problem10.c:2042 func calculate_outputm194(input int) { if a170 == 12 && (a50 == 15 && cf == 1 && input == 5) && a62 == 35 { //printf("%d\n", 23); fflush(stdout); cf = 0 a50 = 9 a175 = 6 } } // calculate_outputm196 - transpiled function from /tmp/2017-Problem10.c:2050 func calculate_outputm196(input int) { if a62 == 35 && cf == 1 && a50 == 15 && a170 == 14 && input == 5 { //printf("%d\n", 25); fflush(stdout); cf = 0 a50 = 11 a11 = 13 } if a62 == 35 && (a50 == 15 && cf == 1 && input == 3 && a170 == 14) { //printf("%d\n", 20); fflush(stdout); cf = 0 a73 = 35 a50 = 13 } } // calculate_outputm198 - transpiled function from /tmp/2017-Problem10.c:2064 func calculate_outputm198(input int) { if a62 == 35 && (input == 1 && (cf == 1 && a170 == 16 && a50 == 15)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 33 a41 = 35 a173 = 7 } if a170 == 16 && (a50 == 15 && cf == 1 && input == 2) && a62 == 35 { //printf("%d\n", 19); fflush(stdout); cf = 0 a173 = 5 a62 = 33 a161 = 10 } if a50 == 15 && (input == 5 && cf == 1) && a170 == 16 && a62 == 35 { //printf("%d\n", 26); fflush(stdout); cf = 0 a73 = 33 a50 = 13 } } // calculate_outputm29 - transpiled function from /tmp/2017-Problem10.c:2086 func calculate_outputm29(input int) { if cf == 1 && a170 == 11 { //printf("%d\n", 23); fflush(stdout); calculate_outputm193(input) } if a170 == 12 && cf == 1 { calculate_outputm194(input) } if cf == 1 && a170 == 14 { calculate_outputm196(input) } if a170 == 16 && cf == 1 { calculate_outputm198(input) } } // calculate_outputm200 - transpiled function from /tmp/2017-Problem10.c:2100 func calculate_outputm200(input int) { if input == 4 && (cf == 1 && a62 == 36 && a97 == 32) && a114 == 33 { cf = 0 a152 = 34 a62 = 33 a173 = 8 } if a97 == 32 && (cf == 1 && a62 == 36 && a114 == 33) && input == 3 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 34 a68 = 33 a161 = 15 } if cf == 1 && input == 5 && a62 == 36 && a114 == 33 && a97 == 32 { //printf("%d\n", 20); fflush(stdout); cf = 0 a19 = 32 a62 = 34 a161 = 16 } } // calculate_outputm201 - transpiled function from /tmp/2017-Problem10.c:2123 func calculate_outputm201(input int) { if a62 == 36 && (input == 5 && (a114 == 33 && (cf == 1 && a97 == 34))) { //printf("%d\n", 22); fflush(stdout); cf = 0 a161 = 10 a62 = 34 a187 = 7 } } // calculate_outputm30 - transpiled function from /tmp/2017-Problem10.c:2132 func calculate_outputm30(input int) { if a97 == 32 && cf == 1 { //printf("%d\n", 25); fflush(stdout); calculate_outputm200(input) } if cf == 1 && a97 == 34 { calculate_outputm201(input) } } // calculate_outputm203 - transpiled function from /tmp/2017-Problem10.c:2140 func calculate_outputm203(input int) { if a62 == 36 && (a114 == 32 && cf == 1 && a69 == 32 && input == 3) { cf = 0 a62 = 34 a179 = 34 a161 = 13 } } // calculate_outputm205 - transpiled function from /tmp/2017-Problem10.c:2149 func calculate_outputm205(input int) { if a114 == 32 && (a69 == 35 && (input == 3 && (cf == 1 && a62 == 36))) { //printf("%d\n", 23); fflush(stdout); cf = 0 a161 = 9 a62 = 34 a49 = 5 } if a62 == 36 && (input == 4 && (cf == 1 && a69 == 35 && a114 == 32)) { //printf("%d\n", 22); fflush(stdout); cf = 0 a50 = 8 a62 = 35 a196 = 4 } if input == 1 && cf == 1 && a62 == 36 && a69 == 35 && a114 == 32 { //printf("%d\n", 23); fflush(stdout); cf = 0 a69 = 34 } if a69 == 35 && (a62 == 36 && (a114 == 32 && (input == 5 && cf == 1))) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 35 a50 = 12 a65 = 4 } } // calculate_outputm206 - transpiled function from /tmp/2017-Problem10.c:2177 func calculate_outputm206(input int) { if a69 == 36 && (input == 3 && (a114 == 32 && cf == 1 && a62 == 36)) { //printf("%d\n", 20); fflush(stdout); cf = 0 a41 = 36 a62 = 32 a165 = 11 } if input == 4 && (a69 == 36 && (a62 == 36 && cf == 1 && a114 == 32)) { //printf("%d\n", 26); fflush(stdout); cf = 0 a62 = 35 a50 = 12 a65 = 11 } } // calculate_outputm31 - transpiled function from /tmp/2017-Problem10.c:2193 func calculate_outputm31(input int) { if cf == 1 && a69 == 32 { //printf("%d\n", 20); fflush(stdout); calculate_outputm203(input) } if a69 == 35 && cf == 1 { calculate_outputm205(input) } if cf == 1 && a69 == 36 { calculate_outputm206(input) } } // calculate_outputm207 - transpiled function from /tmp/2017-Problem10.c:2204 func calculate_outputm207(input int) { if a114 == 34 && (cf == 1 && a62 == 36 && a152 == 33 && input == 3) { cf = 0 a114 = 32 a69 = 36 } if a114 == 34 && (a152 == 33 && (a62 == 36 && cf == 1 && input == 1)) { //printf("%d\n", 20); fflush(stdout); cf = 0 a168 = 34 a62 = 34 a161 = 11 } } // calculate_outputm209 - transpiled function from /tmp/2017-Problem10.c:2219 func calculate_outputm209(input int) { if a114 == 34 && (cf == 1 && a152 == 36 && input == 3) && a62 == 36 { //printf("%d\n", 21); fflush(stdout); cf = 0 a62 = 35 a50 = 8 a196 = 7 } } // calculate_outputm32 - transpiled function from /tmp/2017-Problem10.c:2228 func calculate_outputm32(input int) { if a152 == 33 && cf == 1 { //printf("%d\n", 23); fflush(stdout); calculate_outputm207(input) } if a152 == 36 && cf == 1 { calculate_outputm209(input) } } // calculate_outputm211 - transpiled function from /tmp/2017-Problem10.c:2236 func calculate_outputm211(input int) { if input == 3 && (a62 == 36 && (cf == 1 && a137 == 32 && a114 == 35)) { cf = 0 a62 = 34 a161 = 14 a26 = 14 } if a114 == 35 && (a137 == 32 && (input == 5 && cf == 1)) && a62 == 36 { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 32 a41 = 35 a165 = 14 } } // calculate_outputm212 - transpiled function from /tmp/2017-Problem10.c:2252 func calculate_outputm212(input int) { if input == 1 && (a114 == 35 && cf == 1 && a137 == 34) && a62 == 36 { //printf("%d\n", 22); fflush(stdout); cf = 0 a161 = 12 a62 = 34 a148 = 2 } if a62 == 36 && (cf == 1 && input == 3 && a137 == 34 && a114 == 35) { //printf("%d\n", 25); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } if input == 5 && (a137 == 34 && (a114 == 35 && (cf == 1 && a62 == 36))) { //printf("%d\n", 20); fflush(stdout); cf = 0 a19 = 32 a62 = 34 a161 = 16 } } // calculate_outputm214 - transpiled function from /tmp/2017-Problem10.c:2275 func calculate_outputm214(input int) { if a137 == 36 && (cf == 1 && a62 == 36 && a114 == 35 && input == 3) { //printf("%d\n", 22); fflush(stdout); cf = 0 a62 = 32 a41 = 35 a165 = 13 } } // calculate_outputm33 - transpiled function from /tmp/2017-Problem10.c:2284 func calculate_outputm33(input int) { if cf == 1 && a137 == 32 { //printf("%d\n", 26); fflush(stdout); calculate_outputm211(input) } if cf == 1 && a137 == 34 { calculate_outputm212(input) } if a137 == 36 && cf == 1 { calculate_outputm214(input) } } // calculate_outputm216 - transpiled function from /tmp/2017-Problem10.c:2295 func calculate_outputm216(input int) { if a114 == 36 && (a62 == 36 && (cf == 1 && a3 == 10)) && input == 3 { cf = 0 a62 = 34 a161 = 9 a49 = 5 } if input == 1 && (a3 == 10 && (a114 == 36 && cf == 1) && a62 == 36) { //printf("%d\n", 22); fflush(stdout); cf = 0 a173 = 12 a62 = 33 a126 = 10 } if input == 5 && (cf == 1 && a62 == 36 && a114 == 36 && a3 == 10) { //printf("%d\n", 20); fflush(stdout); cf = 0 a62 = 33 a68 = 32 a173 = 6 } } // calculate_outputm220 - transpiled function from /tmp/2017-Problem10.c:2318 func calculate_outputm220(input int) { if a114 == 36 && cf == 1 && input == 5 && a62 == 36 && a3 == 14 { //printf("%d\n", 20); fflush(stdout); cf = 0 a19 = 36 a62 = 34 a161 = 16 } } // calculate_outputm34 - transpiled function from /tmp/2017-Problem10.c:2327 func calculate_outputm34(input int) { if cf == 1 && a3 == 10 { //printf("%d\n", 25); fflush(stdout); calculate_outputm216(input) } if cf == 1 && a3 == 14 { calculate_outputm220(input) } } // calculate_output - transpiled function from /tmp/2017-Problem10.c:2336 func calculate_output(input int) { cf = 1 if cf == 1 && a62 == 33 { if cf == 1 && a173 == 5 { calculate_outputm1(input) } if a173 == 6 && cf == 1 { calculate_outputm2(input) } if a173 == 7 && cf == 1 { calculate_outputm3(input) } if cf == 1 && a173 == 8 { calculate_outputm4(input) } if a173 == 9 && cf == 1 { calculate_outputm5(input) } if a173 == 10 && cf == 1 { calculate_outputm6(input) } if cf == 1 && a173 == 11 { calculate_outputm7(input) } if a173 == 12 && cf == 1 { calculate_outputm8(input) } } if cf == 1 && a62 == 32 { if cf == 1 && a41 == 33 { calculate_outputm9(input) } if cf == 1 && a41 == 32 { calculate_outputm10(input) } if a41 == 34 && cf == 1 { calculate_outputm11(input) } if cf == 1 && a41 == 35 { calculate_outputm12(input) } if a41 == 36 && cf == 1 { calculate_outputm13(input) } } if a62 == 34 && cf == 1 { if cf == 1 && a161 == 9 { calculate_outputm14(input) } if cf == 1 && a161 == 10 { calculate_outputm15(input) } if cf == 1 && a161 == 11 { calculate_outputm16(input) } if a161 == 12 && cf == 1 { calculate_outputm17(input) } if cf == 1 && a161 == 13 { calculate_outputm18(input) } if cf == 1 && a161 == 14 { calculate_outputm19(input) } if a161 == 15 && cf == 1 { calculate_outputm20(input) } if a161 == 16 && cf == 1 { calculate_outputm21(input) } } if a62 == 35 && cf == 1 { if a50 == 8 && cf == 1 { calculate_outputm22(input) } if a50 == 9 && cf == 1 { calculate_outputm23(input) } if cf == 1 && a50 == 11 { calculate_outputm25(input) } if cf == 1 && a50 == 12 { calculate_outputm26(input) } if cf == 1 && a50 == 13 { calculate_outputm27(input) } if a50 == 14 && cf == 1 { calculate_outputm28(input) } if cf == 1 && a50 == 15 { calculate_outputm29(input) } } if cf == 1 && a62 == 36 { if a114 == 33 && cf == 1 { calculate_outputm30(input) } if a114 == 32 && cf == 1 { calculate_outputm31(input) } if cf == 1 && a114 == 34 { calculate_outputm32(input) } if a114 == 35 && cf == 1 { calculate_outputm33(input) } if cf == 1 && a114 == 36 { calculate_outputm34(input) } } errorCheck() if cf == 1 { } } // main - transpiled function from /tmp/2017-Problem10.c:2454 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__ != 5 && __RERS__ != 3 && __RERS__ != 1 && __RERS__ != 4 { // operate eca engine break } calculate_output(__RERS__) } }