// // 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/2016-Problem14.c:9 var inputs []int = []int{7, 2, 10, 15, 5, 4, 6, 11, 9, 1, 12, 8, 3, 14, 13} // a10419264 - transpiled function from /tmp/2016-Problem14.c:336 var a10419264 int = 35 // a179752516 - transpiled function from /tmp/2016-Problem14.c:337 var a179752516 int = 6 // a1736640332 - transpiled function from /tmp/2016-Problem14.c:338 var a1736640332 int = 6 // a1053530639 - transpiled function from /tmp/2016-Problem14.c:339 var a1053530639 int = 6 // a127383885 - transpiled function from /tmp/2016-Problem14.c:340 var a127383885 int = 5 // a286009693 - transpiled function from /tmp/2016-Problem14.c:341 var a286009693 int = 12 // a1837110425 - transpiled function from /tmp/2016-Problem14.c:342 var a1837110425 int = 5 // a565249046 - transpiled function from /tmp/2016-Problem14.c:343 var a565249046 int = 9 // a864013224 - transpiled function from /tmp/2016-Problem14.c:344 var a864013224 int = 16 // a2015844410 - transpiled function from /tmp/2016-Problem14.c:345 var a2015844410 int = 8 // a2121950185 - transpiled function from /tmp/2016-Problem14.c:346 var a2121950185 int = 34 // a583612627 - transpiled function from /tmp/2016-Problem14.c:347 var a583612627 int = 11 // a782039646 - transpiled function from /tmp/2016-Problem14.c:348 var a782039646 int = 7 // a1746137894 - transpiled function from /tmp/2016-Problem14.c:349 var a1746137894 int = 11 // a2135239265 - transpiled function from /tmp/2016-Problem14.c:350 var a2135239265 int = 32 // a1237428760 - transpiled function from /tmp/2016-Problem14.c:351 var a1237428760 int = 4 // a940472710 - transpiled function from /tmp/2016-Problem14.c:352 var a940472710 int = 9 // a880660927 - transpiled function from /tmp/2016-Problem14.c:353 var a880660927 int = 15 // a1498174835 - transpiled function from /tmp/2016-Problem14.c:354 var a1498174835 int = 32 // cf - transpiled function from /tmp/2016-Problem14.c:355 var cf int = 1 // a1132599179 - transpiled function from /tmp/2016-Problem14.c:356 var a1132599179 int = 36 // a384913899 - transpiled function from /tmp/2016-Problem14.c:357 var a384913899 int = 33 // a1438665870 - transpiled function from /tmp/2016-Problem14.c:358 var a1438665870 int = 6 // a324926224 - transpiled function from /tmp/2016-Problem14.c:359 var a324926224 int = 8 // a1510817746 - transpiled function from /tmp/2016-Problem14.c:360 var a1510817746 int = 9 // a147402251 - transpiled function from /tmp/2016-Problem14.c:361 var a147402251 int = 33 // a1478065937 - transpiled function from /tmp/2016-Problem14.c:362 var a1478065937 int = 35 // a113972147 - transpiled function from /tmp/2016-Problem14.c:363 var a113972147 int = 35 // a962095080 - transpiled function from /tmp/2016-Problem14.c:364 var a962095080 int = 7 // a932751092 - transpiled function from /tmp/2016-Problem14.c:365 var a932751092 int = 5 // a1750379405 - transpiled function from /tmp/2016-Problem14.c:366 var a1750379405 int = 33 // a620299262 - transpiled function from /tmp/2016-Problem14.c:367 var a620299262 int = 32 // a950417444 - transpiled function from /tmp/2016-Problem14.c:368 var a950417444 int = 13 // a1959734605 - transpiled function from /tmp/2016-Problem14.c:369 var a1959734605 int = 7 // a200918022 - transpiled function from /tmp/2016-Problem14.c:370 var a200918022 int = 6 // a757401042 - transpiled function from /tmp/2016-Problem14.c:371 var a757401042 int = 4 // a1760493561 - transpiled function from /tmp/2016-Problem14.c:372 var a1760493561 int = 14 // a1074841212 - transpiled function from /tmp/2016-Problem14.c:373 var a1074841212 int = 7 // a1255937088 - transpiled function from /tmp/2016-Problem14.c:374 var a1255937088 int = 12 // a1149219151 - transpiled function from /tmp/2016-Problem14.c:375 var a1149219151 int = 33 // a1273086420 - transpiled function from /tmp/2016-Problem14.c:376 var a1273086420 int = 36 // a866603139 - transpiled function from /tmp/2016-Problem14.c:377 var a866603139 int = 7 // a2045918669 - transpiled function from /tmp/2016-Problem14.c:378 var a2045918669 int = 7 // a365147679 - transpiled function from /tmp/2016-Problem14.c:379 var a365147679 int = 8 // a1383458586 - transpiled function from /tmp/2016-Problem14.c:380 var a1383458586 int = 8 // a1664587146 - transpiled function from /tmp/2016-Problem14.c:381 var a1664587146 int = 33 // a307029135 - transpiled function from /tmp/2016-Problem14.c:382 var a307029135 int = 35 // a1249410904 - transpiled function from /tmp/2016-Problem14.c:383 var a1249410904 int = 6 // a598251408 - transpiled function from /tmp/2016-Problem14.c:384 var a598251408 int = 33 // a1602107789 - transpiled function from /tmp/2016-Problem14.c:385 var a1602107789 int = 33 // a1210809645 - transpiled function from /tmp/2016-Problem14.c:386 var a1210809645 int = 13 // a880642005 - transpiled function from /tmp/2016-Problem14.c:387 var a880642005 int = 34 // a338143956 - transpiled function from /tmp/2016-Problem14.c:388 var a338143956 int = 32 // a1259748523 - transpiled function from /tmp/2016-Problem14.c:389 var a1259748523 int = 33 // a1031697847 - transpiled function from /tmp/2016-Problem14.c:390 var a1031697847 int = 12 // a1851906186 - transpiled function from /tmp/2016-Problem14.c:391 var a1851906186 int = 33 // a1335229626 - transpiled function from /tmp/2016-Problem14.c:392 var a1335229626 int = 12 // a389949481 - transpiled function from /tmp/2016-Problem14.c:393 var a389949481 int = 36 // a654409942 - transpiled function from /tmp/2016-Problem14.c:394 var a654409942 int = 11 // a1250255157 - transpiled function from /tmp/2016-Problem14.c:395 var a1250255157 int = 11 // a269427955 - transpiled function from /tmp/2016-Problem14.c:396 var a269427955 int = 8 // __VERIFIER_error - transpiled function from /tmp/2016-Problem14.c:6 func __VERIFIER_error(n int) { } // errorCheck - transpiled function from /tmp/2016-Problem14.c:399 func errorCheck() { if a1250255157 == 14 && a1959734605 == 9 && a1335229626 == 6 { // inputs cf = 0 __VERIFIER_error(0) } if a864013224 == 17 && a1273086420 == 36 && a1335229626 == 8 { cf = 0 __VERIFIER_error(1) } if a583612627 == 9 && a384913899 == 35 && a1335229626 == 5 { cf = 0 __VERIFIER_error(2) } if a1498174835 == 33 && a1510817746 == 12 && a1335229626 == 7 { cf = 0 __VERIFIER_error(3) } if a654409942 == 11 && a1510817746 == 11 && a1335229626 == 7 { cf = 0 __VERIFIER_error(4) } if a1210809645 == 10 && a1959734605 == 3 && a1335229626 == 6 { cf = 0 __VERIFIER_error(5) } if a1132599179 == 33 && a1959734605 == 4 && a1335229626 == 6 { cf = 0 __VERIFIER_error(6) } if a757401042 == 4 && a269427955 == 9 && a1335229626 == 11 { cf = 0 __VERIFIER_error(7) } if a179752516 == 10 && a1959734605 == 7 && a1335229626 == 6 { cf = 0 __VERIFIER_error(8) } if a598251408 == 34 && a1851906186 == 34 && a1335229626 == 9 { cf = 0 __VERIFIER_error(9) } if a1837110425 == 3 && a880660927 == 11 && a1335229626 == 10 { cf = 0 __VERIFIER_error(10) } if a962095080 == 8 && a950417444 == 13 && a1335229626 == 12 { cf = 0 __VERIFIER_error(11) } if a1760493561 == 14 && a950417444 == 10 && a1335229626 == 12 { cf = 0 __VERIFIER_error(12) } if a200918022 == 7 && a880660927 == 10 && a1335229626 == 10 { cf = 0 __VERIFIER_error(13) } if a365147679 == 14 && a1851906186 == 32 && a1335229626 == 9 { cf = 0 __VERIFIER_error(14) } if a1031697847 == 8 && a384913899 == 32 && a1335229626 == 5 { cf = 0 __VERIFIER_error(15) } if a338143956 == 34 && a269427955 == 12 && a1335229626 == 11 { cf = 0 __VERIFIER_error(16) } if a1383458586 == 2 && a1851906186 == 33 && a1335229626 == 9 { cf = 0 __VERIFIER_error(17) } if a1478065937 == 35 && a950417444 == 7 && a1335229626 == 12 { cf = 0 __VERIFIER_error(18) } if a1478065937 == 34 && a950417444 == 7 && a1335229626 == 12 { cf = 0 __VERIFIER_error(19) } if a2015844410 == 8 && a1851906186 == 36 && a1335229626 == 9 { cf = 0 __VERIFIER_error(20) } if a1746137894 == 13 && a269427955 == 8 && a1335229626 == 11 { cf = 0 __VERIFIER_error(21) } if a127383885 == 12 && a269427955 == 7 && a1335229626 == 11 { cf = 0 __VERIFIER_error(22) } if a2015844410 == 10 && a1851906186 == 36 && a1335229626 == 9 { cf = 0 __VERIFIER_error(23) } if a307029135 == 34 && a384913899 == 33 && a1335229626 == 5 { cf = 0 __VERIFIER_error(24) } if a2135239265 == 33 && a950417444 == 11 && a1335229626 == 12 { cf = 0 __VERIFIER_error(25) } if a1053530639 == 9 && a269427955 == 13 && a1335229626 == 11 { cf = 0 __VERIFIER_error(26) } if a1837110425 == 8 && a880660927 == 11 && a1335229626 == 10 { cf = 0 __VERIFIER_error(27) } if a940472710 == 10 && a1510817746 == 7 && a1335229626 == 7 { cf = 0 __VERIFIER_error(28) } if a1438665870 == 10 && a950417444 == 6 && a1335229626 == 12 { cf = 0 __VERIFIER_error(29) } if a1210809645 == 9 && a1959734605 == 6 && a1335229626 == 6 { cf = 0 __VERIFIER_error(30) } if a1053530639 == 6 && a269427955 == 13 && a1335229626 == 11 { cf = 0 __VERIFIER_error(31) } if a1760493561 == 13 && a950417444 == 10 && a1335229626 == 12 { cf = 0 __VERIFIER_error(32) } if a1664587146 == 34 && a880660927 == 14 && a1335229626 == 10 { cf = 0 __VERIFIER_error(33) } if a866603139 == 7 && a1510817746 == 10 && a1335229626 == 7 { cf = 0 __VERIFIER_error(34) } if a1255937088 == 6 && a950417444 == 12 && a1335229626 == 12 { cf = 0 __VERIFIER_error(35) } if a2121950185 == 34 && a880660927 == 9 && a1335229626 == 10 { cf = 0 __VERIFIER_error(36) } if a1383458586 == 3 && a1851906186 == 33 && a1335229626 == 9 { cf = 0 __VERIFIER_error(37) } if a324926224 == 1 && a1959734605 == 2 && a1335229626 == 6 { cf = 0 __VERIFIER_error(38) } if a1249410904 == 4 && a880660927 == 13 && a1335229626 == 10 { cf = 0 __VERIFIER_error(39) } if a1959734605 == 6 && a269427955 == 11 && a1335229626 == 11 { cf = 0 __VERIFIER_error(40) } if a1031697847 == 7 && a384913899 == 32 && a1335229626 == 5 { cf = 0 __VERIFIER_error(41) } if a1383458586 == 8 && a1273086420 == 35 && a1335229626 == 8 { cf = 0 __VERIFIER_error(42) } if a127383885 == 6 && a269427955 == 7 && a1335229626 == 11 { cf = 0 __VERIFIER_error(43) } if a324926224 == 4 && a1959734605 == 2 && a1335229626 == 6 { cf = 0 __VERIFIER_error(44) } if a782039646 == 10 && a1510817746 == 8 && a1335229626 == 7 { cf = 0 __VERIFIER_error(45) } if a2015844410 == 7 && a1851906186 == 36 && a1335229626 == 9 { cf = 0 __VERIFIER_error(46) } if a324926224 == 8 && a1959734605 == 2 && a1335229626 == 6 { cf = 0 __VERIFIER_error(47) } if a1210809645 == 11 && a1959734605 == 3 && a1335229626 == 6 { cf = 0 __VERIFIER_error(48) } if a200918022 == 12 && a880660927 == 10 && a1335229626 == 10 { cf = 0 __VERIFIER_error(49) } if a10419264 == 33 && a384913899 == 34 && a1335229626 == 5 { cf = 0 __VERIFIER_error(50) } if a1250255157 == 10 && a1959734605 == 9 && a1335229626 == 6 { cf = 0 __VERIFIER_error(51) } if a565249046 == 10 && a950417444 == 9 && a1335229626 == 12 { cf = 0 __VERIFIER_error(52) } if a2135239265 == 35 && a950417444 == 11 && a1335229626 == 12 { cf = 0 __VERIFIER_error(53) } if a324926224 == 7 && a1959734605 == 2 && a1335229626 == 6 { cf = 0 __VERIFIER_error(54) } if a2045918669 == 9 && a880660927 == 12 && a1335229626 == 10 { cf = 0 __VERIFIER_error(55) } if a583612627 == 16 && a384913899 == 35 && a1335229626 == 5 { cf = 0 __VERIFIER_error(56) } if a1074841212 == 10 && a1273086420 == 32 && a1335229626 == 8 { cf = 0 __VERIFIER_error(57) } if a932751092 == 7 && a1510817746 == 13 && a1335229626 == 7 { cf = 0 __VERIFIER_error(58) } if a620299262 == 33 && a384913899 == 36 && a1335229626 == 5 { cf = 0 __VERIFIER_error(59) } if a286009693 == 14 && a1959734605 == 8 && a1335229626 == 6 { cf = 0 __VERIFIER_error(60) } if a307029135 == 35 && a384913899 == 33 && a1335229626 == 5 { cf = 0 __VERIFIER_error(61) } if a2135239265 == 36 && a950417444 == 11 && a1335229626 == 12 { cf = 0 __VERIFIER_error(62) } if a286009693 == 12 && a1959734605 == 8 && a1335229626 == 6 { cf = 0 __VERIFIER_error(63) } if a286009693 == 8 && a1959734605 == 8 && a1335229626 == 6 { cf = 0 __VERIFIER_error(64) } if a200918022 == 9 && a880660927 == 10 && a1335229626 == 10 { cf = 0 __VERIFIER_error(65) } if a654409942 == 12 && a1510817746 == 11 && a1335229626 == 7 { cf = 0 __VERIFIER_error(66) } if a1132599179 == 36 && a1959734605 == 4 && a1335229626 == 6 { cf = 0 __VERIFIER_error(67) } if a2121950185 == 32 && a880660927 == 9 && a1335229626 == 10 { cf = 0 __VERIFIER_error(68) } if a307029135 == 36 && a384913899 == 33 && a1335229626 == 5 { cf = 0 __VERIFIER_error(69) } if a864013224 == 16 && a1273086420 == 36 && a1335229626 == 8 { cf = 0 __VERIFIER_error(70) } if a1210809645 == 7 && a1959734605 == 3 && a1335229626 == 6 { cf = 0 __VERIFIER_error(71) } if a782039646 == 12 && a1510817746 == 8 && a1335229626 == 7 { cf = 0 __VERIFIER_error(72) } if a1746137894 == 15 && a269427955 == 8 && a1335229626 == 11 { cf = 0 __VERIFIER_error(73) } if a365147679 == 8 && a1851906186 == 32 && a1335229626 == 9 { cf = 0 __VERIFIER_error(74) } if a757401042 == 5 && a269427955 == 9 && a1335229626 == 11 { cf = 0 __VERIFIER_error(75) } if a1210809645 == 9 && a1959734605 == 3 && a1335229626 == 6 { cf = 0 __VERIFIER_error(76) } if a338143956 == 33 && a269427955 == 12 && a1335229626 == 11 { cf = 0 __VERIFIER_error(77) } if a1249410904 == 10 && a880660927 == 13 && a1335229626 == 10 { cf = 0 __VERIFIER_error(78) } if a127383885 == 5 && a269427955 == 7 && a1335229626 == 11 { cf = 0 __VERIFIER_error(79) } if a1498174835 == 36 && a1510817746 == 12 && a1335229626 == 7 { cf = 0 __VERIFIER_error(80) } if a620299262 == 35 && a384913899 == 36 && a1335229626 == 5 { cf = 0 __VERIFIER_error(81) } if a1736640332 == 6 && a880660927 == 15 && a1335229626 == 10 { cf = 0 __VERIFIER_error(82) } if a864013224 == 10 && a1273086420 == 36 && a1335229626 == 8 { cf = 0 __VERIFIER_error(83) } if a365147679 == 10 && a1851906186 == 32 && a1335229626 == 9 { cf = 0 __VERIFIER_error(84) } if a286009693 == 10 && a1959734605 == 8 && a1335229626 == 6 { cf = 0 __VERIFIER_error(85) } if a1259748523 == 34 && a1273086420 == 34 && a1335229626 == 8 { cf = 0 __VERIFIER_error(86) } if a598251408 == 35 && a1851906186 == 34 && a1335229626 == 9 { cf = 0 __VERIFIER_error(87) } if a307029135 == 32 && a384913899 == 33 && a1335229626 == 5 { cf = 0 __VERIFIER_error(88) } if a1237428760 == 8 && a1510817746 == 9 && a1335229626 == 7 { cf = 0 __VERIFIER_error(89) } if a1249410904 == 6 && a880660927 == 13 && a1335229626 == 10 { cf = 0 __VERIFIER_error(90) } if a654409942 == 15 && a1510817746 == 11 && a1335229626 == 7 { cf = 0 __VERIFIER_error(91) } if a880642005 == 34 && a1273086420 == 33 && a1335229626 == 8 { cf = 0 __VERIFIER_error(92) } if a940472710 == 9 && a1510817746 == 7 && a1335229626 == 7 { cf = 0 __VERIFIER_error(93) } if a940472710 == 12 && a1510817746 == 7 && a1335229626 == 7 { cf = 0 __VERIFIER_error(94) } if a1132599179 == 35 && a1959734605 == 4 && a1335229626 == 6 { cf = 0 __VERIFIER_error(95) } if a1259748523 == 36 && a1273086420 == 34 && a1335229626 == 8 { cf = 0 __VERIFIER_error(96) } if a932751092 == 1 && a1510817746 == 13 && a1335229626 == 7 { cf = 0 __VERIFIER_error(97) } if a1031697847 == 6 && a384913899 == 32 && a1335229626 == 5 { cf = 0 __VERIFIER_error(98) } if a179752516 == 9 && a1959734605 == 7 && a1335229626 == 6 { cf = 0 __VERIFIER_error(99) } } // calculate_outputm59 - transpiled function from /tmp/2016-Problem14.c:801 func calculate_outputm59(input int) { if input == 12 && (a384913899 == 32 && (cf == 1 && a1335229626 == 5)) && a1031697847 == 10 { cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 15 } if a384913899 == 32 && (cf == 1 && a1335229626 == 5) && a1031697847 == 10 && input == 15 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 7 } } // calculate_outputm60 - transpiled function from /tmp/2016-Problem14.c:816 func calculate_outputm60(input int) { if a1031697847 == 12 && (a1335229626 == 5 && cf == 1 && a384913899 == 32 && input == 3) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 12 a2045918669 = 4 } if a384913899 == 32 && (cf == 1 && input == 10 && a1031697847 == 12 && a1335229626 == 5) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1959734605 = 2 a1335229626 = 6 a324926224 = 6 } if a1335229626 == 5 && (input == 13 && cf == 1) && a384913899 == 32 && a1031697847 == 12 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 9 } if a384913899 == 32 && (a1335229626 == 5 && (a1031697847 == 12 && (cf == 1 && input == 15))) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 12 } if a1335229626 == 5 && (a384913899 == 32 && (input == 8 && (cf == 1 && a1031697847 == 12))) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 6 a1132599179 = 35 a1959734605 = 4 } } // calculate_outputm1 - transpiled function from /tmp/2016-Problem14.c:849 func calculate_outputm1(input int) { if a1031697847 == 10 && cf == 1 { //;//printf("%d\n", 18); fflush(stdout); calculate_outputm59(input) } if cf == 1 && a1031697847 == 12 { calculate_outputm60(input) } } // calculate_outputm62 - transpiled function from /tmp/2016-Problem14.c:857 func calculate_outputm62(input int) { if a1335229626 == 5 && (a384913899 == 33 && (input == 1 && (cf == 1 && a307029135 == 33))) { cf = 0 a1335229626 = 7 a1498174835 = 35 a1510817746 = 12 } if a384913899 == 33 && (cf == 1 && a1335229626 == 5) && a307029135 == 33 && input == 7 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 11 } if a384913899 == 33 && (a1335229626 == 5 && (input == 12 && cf == 1)) && a307029135 == 33 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 11 } } // calculate_outputm2 - transpiled function from /tmp/2016-Problem14.c:878 func calculate_outputm2(input int) { if a307029135 == 33 && cf == 1 { //;//printf("%d\n", 16); fflush(stdout); calculate_outputm62(input) } } // calculate_outputm66 - transpiled function from /tmp/2016-Problem14.c:883 func calculate_outputm66(input int) { if cf == 1 && a10419264 == 32 && a1335229626 == 5 && a384913899 == 34 && input == 2 { cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 6 } if a1335229626 == 5 && (input == 13 && (a384913899 == 34 && cf == 1 && a10419264 == 32)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 33 a1383458586 = 7 } if a384913899 == 34 && (a1335229626 == 5 && cf == 1 && input == 15) && a10419264 == 32 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a113972147 = 33 a1335229626 = 11 a269427955 = 10 } if input == 4 && (a1335229626 == 5 && (a384913899 == 34 && cf == 1)) && a10419264 == 32 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 7 a127383885 = 5 } } // calculate_outputm3 - transpiled function from /tmp/2016-Problem14.c:910 func calculate_outputm3(input int) { if cf == 1 && a10419264 == 32 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm66(input) } } // calculate_outputm69 - transpiled function from /tmp/2016-Problem14.c:915 func calculate_outputm69(input int) { if input == 7 && (a1335229626 == 5 && (cf == 1 && a384913899 == 35) && a583612627 == 11) { cf = 0 a1335229626 = 11 a1750379405 = 35 a269427955 = 14 } } // calculate_outputm70 - transpiled function from /tmp/2016-Problem14.c:924 func calculate_outputm70(input int) { if a384913899 == 35 && (input == 1 && (a583612627 == 12 && cf == 1)) && a1335229626 == 5 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } if a384913899 == 35 && (a1335229626 == 5 && cf == 1 && input == 6 && a583612627 == 12) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 } if input == 7 && (a583612627 == 12 && (a1335229626 == 5 && cf == 1) && a384913899 == 35) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm71 - transpiled function from /tmp/2016-Problem14.c:943 func calculate_outputm71(input int) { if input == 2 && (a384913899 == 35 && (cf == 1 && a1335229626 == 5) && a583612627 == 13) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 17 } if input == 3 && (a583612627 == 13 && (cf == 1 && a1335229626 == 5 && a384913899 == 35)) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1602107789 = 36 a1335229626 = 6 a1959734605 = 5 } if input == 6 && (a1335229626 == 5 && (a583612627 == 13 && cf == 1)) && a384913899 == 35 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 10 a2121950185 = 35 a880660927 = 9 } if a1335229626 == 5 && (cf == 1 && a384913899 == 35 && input == 10 && a583612627 == 13) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a950417444 = 13 a1335229626 = 12 a962095080 = 3 } } // calculate_outputm72 - transpiled function from /tmp/2016-Problem14.c:970 func calculate_outputm72(input int) { if a583612627 == 14 && (input == 3 && (a384913899 == 35 && cf == 1) && a1335229626 == 5) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } if a384913899 == 35 && cf == 1 && a1335229626 == 5 && input == 15 && a583612627 == 14 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 32 a1074841212 = 11 } } // calculate_outputm73 - transpiled function from /tmp/2016-Problem14.c:985 func calculate_outputm73(input int) { if a384913899 == 35 && (input == 1 && (a583612627 == 15 && cf == 1)) && a1335229626 == 5 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1851906186 = 32 a1335229626 = 9 a365147679 = 11 } if cf == 1 && a1335229626 == 5 && input == 6 && a384913899 == 35 && a583612627 == 15 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1602107789 = 32 a1335229626 = 6 a1959734605 = 5 } if a583612627 == 15 && (cf == 1 && a1335229626 == 5 && a384913899 == 35) && input == 13 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1602107789 = 36 a1335229626 = 6 a1959734605 = 5 } } // calculate_outputm4 - transpiled function from /tmp/2016-Problem14.c:1006 func calculate_outputm4(input int) { if cf == 1 && a583612627 == 11 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm69(input) } if a583612627 == 12 && cf == 1 { calculate_outputm70(input) } if a583612627 == 13 && cf == 1 { calculate_outputm71(input) } if cf == 1 && a583612627 == 14 { calculate_outputm72(input) } if a583612627 == 15 && cf == 1 { calculate_outputm73(input) } } // calculate_outputm76 - transpiled function from /tmp/2016-Problem14.c:1023 func calculate_outputm76(input int) { if a620299262 == 34 && (a384913899 == 36 && (input == 3 && cf == 1)) && a1335229626 == 5 { cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 9 } if a620299262 == 34 && (a1335229626 == 5 && (cf == 1 && a384913899 == 36) && input == 8) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 6 a1602107789 = 32 a1959734605 = 5 } } // calculate_outputm5 - transpiled function from /tmp/2016-Problem14.c:1038 func calculate_outputm5(input int) { if cf == 1 && a620299262 == 34 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm76(input) } } // calculate_outputm79 - transpiled function from /tmp/2016-Problem14.c:1043 func calculate_outputm79(input int) { if a324926224 == 3 && (cf == 1 && a1959734605 == 2 && a1335229626 == 6 && input == 6) { cf = 0 a1335229626 = 10 a2121950185 = 35 a880660927 = 9 } if a1959734605 == 2 && (cf == 1 && input == 8 && a1335229626 == 6) && a324926224 == 3 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a880660927 = 13 a1335229626 = 10 a1249410904 = 7 } if a324926224 == 3 && (input == 15 && (a1335229626 == 6 && cf == 1)) && a1959734605 == 2 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 8 } } // calculate_outputm81 - transpiled function from /tmp/2016-Problem14.c:1064 func calculate_outputm81(input int) { if a1335229626 == 6 && (cf == 1 && a324926224 == 6 && a1959734605 == 2) && input == 3 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a620299262 = 34 a384913899 = 36 a1335229626 = 5 } } // calculate_outputm6 - transpiled function from /tmp/2016-Problem14.c:1073 func calculate_outputm6(input int) { if a324926224 == 3 && cf == 1 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm79(input) } if a324926224 == 6 && cf == 1 { calculate_outputm81(input) } } // calculate_outputm85 - transpiled function from /tmp/2016-Problem14.c:1081 func calculate_outputm85(input int) { if cf == 1 && a1210809645 == 8 && input == 1 && a1335229626 == 6 && a1959734605 == 3 { cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 9 } if input == 4 && (a1959734605 == 3 && (cf == 1 && a1210809645 == 8) && a1335229626 == 6) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 35 a1335229626 = 8 } if a1959734605 == 3 && (a1210809645 == 8 && (a1335229626 == 6 && (input == 8 && cf == 1))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1664587146 = 35 a1335229626 = 10 a880660927 = 14 } if a1210809645 == 8 && (a1335229626 == 6 && cf == 1 && a1959734605 == 3 && input == 10) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1602107789 = 32 a1959734605 = 5 } } // calculate_outputm89 - transpiled function from /tmp/2016-Problem14.c:1107 func calculate_outputm89(input int) { if a1335229626 == 6 && (input == 6 && cf == 1 && a1210809645 == 12 && a1959734605 == 3) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1510817746 = 9 a1335229626 = 7 a1237428760 = 5 } if a1335229626 == 6 && (a1959734605 == 3 && (input == 15 && cf == 1) && a1210809645 == 12) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1664587146 = 35 a1335229626 = 10 a880660927 = 14 } } // calculate_outputm7 - transpiled function from /tmp/2016-Problem14.c:1122 func calculate_outputm7(input int) { if a1210809645 == 8 && cf == 1 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm85(input) } if cf == 1 && a1210809645 == 12 { calculate_outputm89(input) } } // calculate_outputm90 - transpiled function from /tmp/2016-Problem14.c:1130 func calculate_outputm90(input int) { if a1132599179 == 32 && (input == 10 && (a1335229626 == 6 && cf == 1) && a1959734605 == 4) { cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 13 } if a1335229626 == 6 && (input == 11 && (cf == 1 && a1132599179 == 32)) && a1959734605 == 4 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 35 a1510817746 = 12 } } // calculate_outputm92 - transpiled function from /tmp/2016-Problem14.c:1145 func calculate_outputm92(input int) { if a1959734605 == 4 && (a1335229626 == 6 && (cf == 1 && a1132599179 == 34)) && input == 6 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 32 a1074841212 = 12 } if a1335229626 == 6 && (a1132599179 == 34 && (cf == 1 && input == 10) && a1959734605 == 4) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a880642005 = 36 a1273086420 = 33 a1335229626 = 8 } } // calculate_outputm8 - transpiled function from /tmp/2016-Problem14.c:1160 func calculate_outputm8(input int) { if a1132599179 == 32 && cf == 1 { //;//printf("%d\n", 18); fflush(stdout); calculate_outputm90(input) } if a1132599179 == 34 && cf == 1 { calculate_outputm92(input) } } // calculate_outputm95 - transpiled function from /tmp/2016-Problem14.c:1168 func calculate_outputm95(input int) { if a1335229626 == 6 && (a1959734605 == 5 && (a1602107789 == 32 && (cf == 1 && input == 11))) { cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 15 } if a1602107789 == 32 && (a1335229626 == 6 && (cf == 1 && input == 12) && a1959734605 == 5) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if a1959734605 == 5 && (input == 13 && cf == 1 && a1602107789 == 32) && a1335229626 == 6 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if a1602107789 == 32 && (input == 15 && (cf == 1 && a1959734605 == 5)) && a1335229626 == 6 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 } } // calculate_outputm96 - transpiled function from /tmp/2016-Problem14.c:1193 func calculate_outputm96(input int) { if a1602107789 == 35 && cf == 1 && input == 4 && a1959734605 == 5 && a1335229626 == 6 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 9 a1237428760 = 4 } if a1335229626 == 6 && (input == 12 && (a1602107789 == 35 && cf == 1)) && a1959734605 == 5 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 6 } if a1602107789 == 35 && (input == 14 && (a1335229626 == 6 && cf == 1 && a1959734605 == 5)) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 6 } } // calculate_outputm97 - transpiled function from /tmp/2016-Problem14.c:1214 func calculate_outputm97(input int) { if a1335229626 == 6 && (input == 1 && (a1959734605 == 5 && (a1602107789 == 36 && cf == 1))) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 15 } if a1959734605 == 5 && (input == 2 && cf == 1) && a1335229626 == 6 && a1602107789 == 36 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 } if a1335229626 == 6 && (a1602107789 == 36 && (input == 11 && cf == 1 && a1959734605 == 5)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 9 a1237428760 = 6 } } // calculate_outputm9 - transpiled function from /tmp/2016-Problem14.c:1233 func calculate_outputm9(input int) { if cf == 1 && a1602107789 == 32 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm95(input) } if cf == 1 && a1602107789 == 35 { calculate_outputm96(input) } if cf == 1 && a1602107789 == 36 { calculate_outputm97(input) } } // calculate_outputm98 - transpiled function from /tmp/2016-Problem14.c:1244 func calculate_outputm98(input int) { if a1210809645 == 6 && (a1335229626 == 6 && (cf == 1 && input == 8) && a1959734605 == 6) { cf = 0 a1335229626 = 10 a1664587146 = 33 a880660927 = 14 } } // calculate_outputm100 - transpiled function from /tmp/2016-Problem14.c:1253 func calculate_outputm100(input int) { if cf == 1 && a1335229626 == 6 && a1210809645 == 10 && input == 1 && a1959734605 == 6 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a880660927 = 11 a1335229626 = 10 a1837110425 = 5 } if a1335229626 == 6 && (a1959734605 == 6 && (a1210809645 == 10 && cf == 1)) && input == 11 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 11 a654409942 = 16 } if cf == 1 && a1210809645 == 10 && a1335229626 == 6 && a1959734605 == 6 && input == 15 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 13 a932751092 = 2 } } // calculate_outputm101 - transpiled function from /tmp/2016-Problem14.c:1274 func calculate_outputm101(input int) { if a1959734605 == 6 && (input == 1 && (cf == 1 && a1335229626 == 6)) && a1210809645 == 11 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1602107789 = 36 a1959734605 = 5 } } // calculate_outputm102 - transpiled function from /tmp/2016-Problem14.c:1282 func calculate_outputm102(input int) { if input == 2 && (a1335229626 == 6 && cf == 1 && a1959734605 == 6 && a1210809645 == 13) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 7 } if a1959734605 == 6 && cf == 1 && input == 8 && a1335229626 == 6 && a1210809645 == 13 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 13 } if a1335229626 == 6 && (a1210809645 == 13 && (a1959734605 == 6 && cf == 1 && input == 13)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 11 a338143956 = 32 a269427955 = 12 } } // calculate_outputm10 - transpiled function from /tmp/2016-Problem14.c:1303 func calculate_outputm10(input int) { if a1210809645 == 6 && cf == 1 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm98(input) } if a1210809645 == 10 && cf == 1 { calculate_outputm100(input) } if cf == 1 && a1210809645 == 11 { calculate_outputm101(input) } if a1210809645 == 13 && cf == 1 { calculate_outputm102(input) } } // calculate_outputm103 - transpiled function from /tmp/2016-Problem14.c:1317 func calculate_outputm103(input int) { if a179752516 == 7 && (input == 4 && (a1959734605 == 7 && cf == 1)) && a1335229626 == 6 { cf = 0 a1602107789 = 32 a1959734605 = 5 } if a179752516 == 7 && (input == 8 && (cf == 1 && a1335229626 == 6)) && a1959734605 == 7 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 10 } if a179752516 == 7 && (cf == 1 && a1335229626 == 6 && a1959734605 == 7 && input == 10) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 9 } if input == 11 && (cf == 1 && a1335229626 == 6) && a179752516 == 7 && a1959734605 == 7 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 14 } } // calculate_outputm104 - transpiled function from /tmp/2016-Problem14.c:1343 func calculate_outputm104(input int) { if a1335229626 == 6 && (a179752516 == 8 && (cf == 1 && input == 6)) && a1959734605 == 7 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a950417444 = 9 a1335229626 = 12 a565249046 = 5 } if a179752516 == 8 && (a1959734605 == 7 && (cf == 1 && a1335229626 == 6 && input == 12)) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 10 a2121950185 = 35 a880660927 = 9 } } // calculate_outputm107 - transpiled function from /tmp/2016-Problem14.c:1358 func calculate_outputm107(input int) { if a179752516 == 12 && (a1335229626 == 6 && cf == 1) && input == 4 && a1959734605 == 7 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 15 } if input == 7 && (a1959734605 == 7 && cf == 1 && a179752516 == 12) && a1335229626 == 6 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 6 } } // calculate_outputm11 - transpiled function from /tmp/2016-Problem14.c:1373 func calculate_outputm11(input int) { if cf == 1 && a179752516 == 7 { //;//printf("%d\n", 23); fflush(stdout); calculate_outputm103(input) } if cf == 1 && a179752516 == 8 { calculate_outputm104(input) } if a179752516 == 12 && cf == 1 { calculate_outputm107(input) } } // calculate_outputm109 - transpiled function from /tmp/2016-Problem14.c:1384 func calculate_outputm109(input int) { if input == 6 && (a1335229626 == 6 && (cf == 1 && a1959734605 == 8 && a286009693 == 9)) { cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 14 } if input == 8 && (cf == 1 && a1959734605 == 8) && a1335229626 == 6 && a286009693 == 9 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 36 a1335229626 = 8 a864013224 = 14 } if a1335229626 == 6 && (input == 10 && (a1959734605 == 8 && cf == 1)) && a286009693 == 9 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 12 } } // calculate_outputm112 - transpiled function from /tmp/2016-Problem14.c:1405 func calculate_outputm112(input int) { if cf == 1 && a286009693 == 13 && a1959734605 == 8 && a1335229626 == 6 && input == 8 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 9 } } // calculate_outputm114 - transpiled function from /tmp/2016-Problem14.c:1414 func calculate_outputm114(input int) { if a1335229626 == 6 && (input == 1 && (a286009693 == 15 && (cf == 1 && a1959734605 == 8))) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a880642005 = 36 a1273086420 = 33 a1335229626 = 8 } if a1335229626 == 6 && (a1959734605 == 8 && (a286009693 == 15 && (input == 7 && cf == 1))) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 14 } } // calculate_outputm12 - transpiled function from /tmp/2016-Problem14.c:1429 func calculate_outputm12(input int) { if cf == 1 && a286009693 == 9 { //;//printf("%d\n", 24); fflush(stdout); calculate_outputm109(input) } if cf == 1 && a286009693 == 13 { calculate_outputm112(input) } if cf == 1 && a286009693 == 15 { calculate_outputm114(input) } } // calculate_outputm115 - transpiled function from /tmp/2016-Problem14.c:1440 func calculate_outputm115(input int) { if a1250255157 == 8 && (a1959734605 == 9 && (a1335229626 == 6 && cf == 1)) && input == 12 { cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 14 } } // calculate_outputm116 - transpiled function from /tmp/2016-Problem14.c:1449 func calculate_outputm116(input int) { if input == 15 && cf == 1 && a1959734605 == 9 && a1335229626 == 6 && a1250255157 == 9 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 17 } } // calculate_outputm118 - transpiled function from /tmp/2016-Problem14.c:1458 func calculate_outputm118(input int) { if input == 7 && (a1250255157 == 12 && (a1959734605 == 9 && cf == 1) && a1335229626 == 6) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if input == 13 && (a1959734605 == 9 && cf == 1 && a1250255157 == 12) && a1335229626 == 6 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } } // calculate_outputm119 - transpiled function from /tmp/2016-Problem14.c:1473 func calculate_outputm119(input int) { if input == 2 && (a1250255157 == 13 && cf == 1 && a1959734605 == 9 && a1335229626 == 6) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 15 } if cf == 1 && input == 10 && a1959734605 == 9 && a1335229626 == 6 && a1250255157 == 13 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 33 a880642005 = 36 a1335229626 = 8 } if a1959734605 == 9 && (cf == 1 && a1250255157 == 13 && input == 12) && a1335229626 == 6 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 16 } } // calculate_outputm121 - transpiled function from /tmp/2016-Problem14.c:1494 func calculate_outputm121(input int) { if a1250255157 == 15 && (input == 7 && (a1335229626 == 6 && (a1959734605 == 9 && cf == 1))) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1959734605 = 6 a1210809645 = 11 } if a1335229626 == 6 && (a1959734605 == 9 && (cf == 1 && a1250255157 == 15)) && input == 11 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a880660927 = 10 a1335229626 = 10 a200918022 = 11 } } // calculate_outputm13 - transpiled function from /tmp/2016-Problem14.c:1508 func calculate_outputm13(input int) { if cf == 1 && a1250255157 == 8 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm115(input) } if a1250255157 == 9 && cf == 1 { calculate_outputm116(input) } if a1250255157 == 12 && cf == 1 { calculate_outputm118(input) } if cf == 1 && a1250255157 == 13 { calculate_outputm119(input) } if a1250255157 == 15 && cf == 1 { calculate_outputm121(input) } } // calculate_outputm122 - transpiled function from /tmp/2016-Problem14.c:1525 func calculate_outputm122(input int) { if a1510817746 == 7 && (cf == 1 && a940472710 == 8) && a1335229626 == 7 && input == 1 { cf = 0 a1851906186 = 35 a1149219151 = 32 a1335229626 = 9 } if a1335229626 == 7 && (cf == 1 && input == 6) && a1510817746 == 7 && a940472710 == 8 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1510817746 = 9 a1237428760 = 5 } if a1510817746 == 7 && (cf == 1 && a940472710 == 8 && a1335229626 == 7 && input == 8) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1498174835 = 34 a1510817746 = 12 } if a1510817746 == 7 && cf == 1 && a1335229626 == 7 && a940472710 == 8 && input == 15 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 14 } } // calculate_outputm125 - transpiled function from /tmp/2016-Problem14.c:1550 func calculate_outputm125(input int) { if a940472710 == 11 && (a1335229626 == 7 && (input == 1 && (a1510817746 == 7 && cf == 1))) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 15 } if a1335229626 == 7 && (cf == 1 && a940472710 == 11) && input == 3 && a1510817746 == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 14 } if input == 4 && (cf == 1 && a1510817746 == 7 && a940472710 == 11 && a1335229626 == 7) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a880642005 = 36 a1273086420 = 33 a1335229626 = 8 } if a940472710 == 11 && cf == 1 && a1510817746 == 7 && input == 12 && a1335229626 == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 15 a1736640332 = 9 } } // calculate_outputm127 - transpiled function from /tmp/2016-Problem14.c:1577 func calculate_outputm127(input int) { if a1335229626 == 7 && (a940472710 == 13 && (input == 6 && cf == 1) && a1510817746 == 7) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a384913899 = 33 a307029135 = 33 a1335229626 = 5 } } // calculate_outputm14 - transpiled function from /tmp/2016-Problem14.c:1586 func calculate_outputm14(input int) { if cf == 1 && a940472710 == 8 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm122(input) } if cf == 1 && a940472710 == 11 { calculate_outputm125(input) } if cf == 1 && a940472710 == 13 { calculate_outputm127(input) } } // calculate_outputm128 - transpiled function from /tmp/2016-Problem14.c:1597 func calculate_outputm128(input int) { if input == 4 && (cf == 1 && a782039646 == 7) && a1335229626 == 7 && a1510817746 == 8 { cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 7 } if input == 13 && (a1510817746 == 8 && (a1335229626 == 7 && cf == 1) && a782039646 == 7) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 12 } } // calculate_outputm130 - transpiled function from /tmp/2016-Problem14.c:1612 func calculate_outputm130(input int) { if cf == 1 && a1335229626 == 7 && a1510817746 == 8 && input == 6 && a782039646 == 11 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 32 a1031697847 = 10 } if a1335229626 == 7 && cf == 1 && a1510817746 == 8 && a782039646 == 11 && input == 15 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 5 } } // calculate_outputm132 - transpiled function from /tmp/2016-Problem14.c:1627 func calculate_outputm132(input int) { if a1510817746 == 8 && cf == 1 && input == 11 && a782039646 == 13 && a1335229626 == 7 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 8 } if a1510817746 == 8 && (input == 13 && (cf == 1 && a782039646 == 13)) && a1335229626 == 7 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a389949481 = 35 a1335229626 = 12 a950417444 = 8 } if a1335229626 == 7 && (a782039646 == 13 && cf == 1) && a1510817746 == 8 && input == 9 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1959734605 = 2 a1335229626 = 6 a324926224 = 8 } } // calculate_outputm133 - transpiled function from /tmp/2016-Problem14.c:1648 func calculate_outputm133(input int) { if a1510817746 == 8 && (a782039646 == 14 && (a1335229626 == 7 && cf == 1 && input == 4)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 33 a1335229626 = 8 } if input == 6 && (a782039646 == 14 && cf == 1 && a1510817746 == 8 && a1335229626 == 7) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1510817746 = 9 a1237428760 = 5 } if input == 11 && (a1335229626 == 7 && cf == 1 && a782039646 == 14 && a1510817746 == 8) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1510817746 = 9 a1237428760 = 5 } } // calculate_outputm15 - transpiled function from /tmp/2016-Problem14.c:1667 func calculate_outputm15(input int) { if cf == 1 && a782039646 == 7 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm128(input) } if cf == 1 && a782039646 == 11 { calculate_outputm130(input) } if cf == 1 && a782039646 == 13 { calculate_outputm132(input) } if a782039646 == 14 && cf == 1 { calculate_outputm133(input) } } // calculate_outputm134 - transpiled function from /tmp/2016-Problem14.c:1681 func calculate_outputm134(input int) { if a1510817746 == 9 && (a1237428760 == 3 && (cf == 1 && input == 1) && a1335229626 == 7) { cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 13 } if input == 6 && (cf == 1 && a1237428760 == 3 && a1335229626 == 7) && a1510817746 == 9 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a113972147 = 34 a1335229626 = 11 a269427955 = 10 } if a1335229626 == 7 && (input == 15 && (a1510817746 == 9 && cf == 1)) && a1237428760 == 3 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1259748523 = 33 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm135 - transpiled function from /tmp/2016-Problem14.c:1702 func calculate_outputm135(input int) { if a1237428760 == 4 && (input == 1 && (cf == 1 && a1335229626 == 7) && a1510817746 == 9) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 8 a286009693 = 13 } if a1510817746 == 9 && (cf == 1 && input == 3 && a1237428760 == 4 && a1335229626 == 7) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1237428760 = 3 } if a1335229626 == 7 && cf == 1 && input == 4 && a1237428760 == 4 && a1510817746 == 9 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a880660927 = 13 a1335229626 = 10 a1249410904 = 8 } if input == 6 && (a1510817746 == 9 && (a1335229626 == 7 && (a1237428760 == 4 && cf == 1))) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 7 a179752516 = 12 } } // calculate_outputm136 - transpiled function from /tmp/2016-Problem14.c:1727 func calculate_outputm136(input int) { if cf == 1 && a1335229626 == 7 && input == 2 && a1510817746 == 9 && a1237428760 == 5 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } } // calculate_outputm137 - transpiled function from /tmp/2016-Problem14.c:1736 func calculate_outputm137(input int) { if a1510817746 == 9 && (a1237428760 == 6 && (a1335229626 == 7 && cf == 1) && input == 2) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1510817746 = 10 a866603139 = 4 } if a1510817746 == 9 && (a1335229626 == 7 && (a1237428760 == 6 && (input == 4 && cf == 1))) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 15 } if a1510817746 == 9 && (a1335229626 == 7 && (cf == 1 && input == 7)) && a1237428760 == 6 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 10 a1664587146 = 36 a880660927 = 14 } if a1237428760 == 6 && (a1510817746 == 9 && cf == 1 && input == 10) && a1335229626 == 7 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 15 } } // calculate_outputm138 - transpiled function from /tmp/2016-Problem14.c:1762 func calculate_outputm138(input int) { if a1335229626 == 7 && (input == 3 && cf == 1 && a1510817746 == 9 && a1237428760 == 7) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm16 - transpiled function from /tmp/2016-Problem14.c:1771 func calculate_outputm16(input int) { if cf == 1 && a1237428760 == 3 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm134(input) } if a1237428760 == 4 && cf == 1 { calculate_outputm135(input) } if a1237428760 == 5 && cf == 1 { calculate_outputm136(input) } if a1237428760 == 6 && cf == 1 { calculate_outputm137(input) } if a1237428760 == 7 && cf == 1 { calculate_outputm138(input) } } // calculate_outputm140 - transpiled function from /tmp/2016-Problem14.c:1788 func calculate_outputm140(input int) { if input == 7 && (a866603139 == 4 && (a1335229626 == 7 && (a1510817746 == 10 && cf == 1))) { cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 5 } if a1335229626 == 7 && cf == 1 && a866603139 == 4 && a1510817746 == 10 && input == 13 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1510817746 = 7 a940472710 = 8 } } // calculate_outputm141 - transpiled function from /tmp/2016-Problem14.c:1802 func calculate_outputm141(input int) { if a1335229626 == 7 && (a866603139 == 5 && (cf == 1 && a1510817746 == 10)) && input == 1 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 12 a1255937088 = 12 } if a866603139 == 5 && (a1335229626 == 7 && (cf == 1 && a1510817746 == 10 && input == 7)) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 11 } if a1335229626 == 7 && (a1510817746 == 10 && (cf == 1 && a866603139 == 5) && input == 10) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 8 } if input == 13 && (a1335229626 == 7 && (cf == 1 && a1510817746 == 10) && a866603139 == 5) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 13 } } // calculate_outputm142 - transpiled function from /tmp/2016-Problem14.c:1829 func calculate_outputm142(input int) { if a866603139 == 6 && (a1510817746 == 10 && (cf == 1 && a1335229626 == 7 && input == 7)) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 32 a950417444 = 8 } if a866603139 == 6 && (a1335229626 == 7 && cf == 1 && a1510817746 == 10 && input == 13) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1510817746 = 8 a782039646 = 7 } } // calculate_outputm144 - transpiled function from /tmp/2016-Problem14.c:1843 func calculate_outputm144(input int) { if a1510817746 == 10 && (a1335229626 == 7 && (input == 7 && (cf == 1 && a866603139 == 8))) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1959734605 = 6 a1335229626 = 6 a1210809645 = 6 } if a866603139 == 8 && (input == 13 && cf == 1) && a1510817746 == 10 && a1335229626 == 7 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1510817746 = 8 a782039646 = 11 } if a866603139 == 8 && (cf == 1 && a1335229626 == 7) && a1510817746 == 10 && input == 6 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1959734605 = 2 a1335229626 = 6 a324926224 = 1 } } // calculate_outputm145 - transpiled function from /tmp/2016-Problem14.c:1863 func calculate_outputm145(input int) { if input == 6 && (a866603139 == 9 && cf == 1 && a1335229626 == 7) && a1510817746 == 10 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1498174835 = 35 a1510817746 = 12 } } // calculate_outputm146 - transpiled function from /tmp/2016-Problem14.c:1871 func calculate_outputm146(input int) { if a1335229626 == 7 && (a1510817746 == 10 && cf == 1) && input == 1 && a866603139 == 10 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 32 a1335229626 = 8 } if a1335229626 == 7 && (a866603139 == 10 && cf == 1 && a1510817746 == 10) && input == 3 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a389949481 = 36 a1335229626 = 12 a950417444 = 8 } if a1510817746 == 10 && (a866603139 == 10 && (cf == 1 && input == 8)) && a1335229626 == 7 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if a1335229626 == 7 && (input == 11 && (cf == 1 && a866603139 == 10) && a1510817746 == 10) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } } // calculate_outputm17 - transpiled function from /tmp/2016-Problem14.c:1898 func calculate_outputm17(input int) { if a866603139 == 4 && cf == 1 { //;//printf("%d\n", 26); fflush(stdout); calculate_outputm140(input) } if cf == 1 && a866603139 == 5 { calculate_outputm141(input) } if cf == 1 && a866603139 == 6 { calculate_outputm142(input) } if a866603139 == 8 && cf == 1 { calculate_outputm144(input) } if cf == 1 && a866603139 == 9 { calculate_outputm145(input) } if a866603139 == 10 && cf == 1 { calculate_outputm146(input) } } // calculate_outputm147 - transpiled function from /tmp/2016-Problem14.c:1918 func calculate_outputm147(input int) { if a1510817746 == 11 && (a654409942 == 10 && (input == 7 && cf == 1 && a1335229626 == 7)) { cf = 0 a1335229626 = 12 a950417444 = 13 a962095080 = 5 } } // calculate_outputm150 - transpiled function from /tmp/2016-Problem14.c:1927 func calculate_outputm150(input int) { if a1335229626 == 7 && (a1510817746 == 11 && (cf == 1 && input == 6) && a654409942 == 13) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1959734605 = 8 a1335229626 = 6 a286009693 = 15 } if a1335229626 == 7 && (input == 10 && cf == 1 && a654409942 == 13) && a1510817746 == 11 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a950417444 = 13 a1335229626 = 12 a962095080 = 6 } if a1335229626 == 7 && (cf == 1 && a1510817746 == 11) && input == 11 && a654409942 == 13 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1132599179 = 32 a1335229626 = 6 a1959734605 = 4 } } // calculate_outputm152 - transpiled function from /tmp/2016-Problem14.c:1948 func calculate_outputm152(input int) { if input == 2 && (a1335229626 == 7 && cf == 1 && a1510817746 == 11 && a654409942 == 16) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1259748523 = 35 a1273086420 = 34 a1335229626 = 8 } if cf == 1 && a1335229626 == 7 && a654409942 == 16 && a1510817746 == 11 && input == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a880660927 = 15 a1335229626 = 10 a1736640332 = 9 } if a1510817746 == 11 && (cf == 1 && a1335229626 == 7 && input == 15 && a654409942 == 16) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1259748523 = 35 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm18 - transpiled function from /tmp/2016-Problem14.c:1969 func calculate_outputm18(input int) { if a654409942 == 10 && cf == 1 { //;//printf("%d\n", 23); fflush(stdout); calculate_outputm147(input) } if a654409942 == 13 && cf == 1 { calculate_outputm150(input) } if a654409942 == 16 && cf == 1 { calculate_outputm152(input) } } // calculate_outputm153 - transpiled function from /tmp/2016-Problem14.c:1980 func calculate_outputm153(input int) { if input == 4 && (cf == 1 && a1510817746 == 12 && a1335229626 == 7 && a1498174835 == 32) { cf = 0 a1959734605 = 7 a1335229626 = 6 a179752516 = 7 } if a1335229626 == 7 && (a1510817746 == 12 && (input == 8 && (a1498174835 == 32 && cf == 1))) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 3 a1210809645 = 8 } if a1498174835 == 32 && (a1510817746 == 12 && (cf == 1 && input == 13)) && a1335229626 == 7 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1959734605 = 9 a1335229626 = 6 a1250255157 = 9 } } // calculate_outputm155 - transpiled function from /tmp/2016-Problem14.c:2001 func calculate_outputm155(input int) { if cf == 1 && a1335229626 == 7 && a1510817746 == 12 && a1498174835 == 34 && input == 3 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 } if cf == 1 && input == 4 && a1498174835 == 34 && a1510817746 == 12 && a1335229626 == 7 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1510817746 = 13 a932751092 = 5 } if a1498174835 == 34 && (input == 12 && (a1510817746 == 12 && (a1335229626 == 7 && cf == 1))) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1510817746 = 13 a932751092 = 5 } if a1498174835 == 34 && (a1510817746 == 12 && (cf == 1 && a1335229626 == 7) && input == 15) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } } // calculate_outputm156 - transpiled function from /tmp/2016-Problem14.c:2024 func calculate_outputm156(input int) { if cf == 1 && a1498174835 == 35 && a1510817746 == 12 && input == 3 && a1335229626 == 7 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 } if input == 6 && (a1510817746 == 12 && cf == 1) && a1498174835 == 35 && a1335229626 == 7 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 9 } } // calculate_outputm19 - transpiled function from /tmp/2016-Problem14.c:2037 func calculate_outputm19(input int) { if cf == 1 && a1498174835 == 32 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm153(input) } if a1498174835 == 34 && cf == 1 { calculate_outputm155(input) } if a1498174835 == 35 && cf == 1 { calculate_outputm156(input) } } // calculate_outputm159 - transpiled function from /tmp/2016-Problem14.c:2048 func calculate_outputm159(input int) { if input == 1 && cf == 1 && a1335229626 == 7 && a1510817746 == 13 && a932751092 == 2 { cf = 0 } if a1335229626 == 7 && (a932751092 == 2 && (a1510817746 == 13 && cf == 1 && input == 7)) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 14 } if a1510817746 == 13 && cf == 1 && input == 8 && a1335229626 == 7 && a932751092 == 2 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 } if input == 13 && (a1335229626 == 7 && (cf == 1 && a1510817746 == 13) && a932751092 == 2) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1510817746 = 9 a1237428760 = 5 } } // calculate_outputm160 - transpiled function from /tmp/2016-Problem14.c:2070 func calculate_outputm160(input int) { if a932751092 == 5 && (input == 12 && (a1335229626 == 7 && (cf == 1 && a1510817746 == 13))) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1149219151 = 35 a1851906186 = 35 a1335229626 = 9 } if a1510817746 == 13 && (a1335229626 == 7 && cf == 1 && a932751092 == 5 && input == 15) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 33 a1383458586 = 9 } if input == 14 && (a1335229626 == 7 && (a932751092 == 5 && cf == 1 && a1510817746 == 13)) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1510817746 = 11 a654409942 = 15 } } // calculate_outputm161 - transpiled function from /tmp/2016-Problem14.c:2090 func calculate_outputm161(input int) { if cf == 1 && input == 11 && a932751092 == 6 && a1510817746 == 13 && a1335229626 == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 6 } } // calculate_outputm163 - transpiled function from /tmp/2016-Problem14.c:2099 func calculate_outputm163(input int) { if a932751092 == 8 && (a1335229626 == 7 && cf == 1) && input == 1 && a1510817746 == 13 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 12 } if input == 4 && (cf == 1 && a1335229626 == 7 && a932751092 == 8) && a1510817746 == 13 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a338143956 = 32 a1335229626 = 11 a269427955 = 12 } } // calculate_outputm20 - transpiled function from /tmp/2016-Problem14.c:2114 func calculate_outputm20(input int) { if a932751092 == 2 && cf == 1 { //;//printf("%d\n", 23); fflush(stdout); calculate_outputm159(input) } if cf == 1 && a932751092 == 5 { calculate_outputm160(input) } if a932751092 == 6 && cf == 1 { calculate_outputm161(input) } if a932751092 == 8 && cf == 1 { calculate_outputm163(input) } } // calculate_outputm164 - transpiled function from /tmp/2016-Problem14.c:2128 func calculate_outputm164(input int) { if a307029135 == 35 && (a1335229626 == 7 && (cf == 1 && input == 10 && a1510817746 == 14)) { cf = 0 a1510817746 = 13 a932751092 = 8 } if a1335229626 == 7 && (a1510817746 == 14 && (a307029135 == 35 && (cf == 1 && input == 11))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1478065937 = 33 a1335229626 = 12 a950417444 = 7 } } // calculate_outputm165 - transpiled function from /tmp/2016-Problem14.c:2142 func calculate_outputm165(input int) { if a1510817746 == 14 && cf == 1 && a1335229626 == 7 && a307029135 == 36 && input == 1 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1498174835 = 35 a1510817746 = 12 } if a1335229626 == 7 && (input == 6 && cf == 1 && a307029135 == 36) && a1510817746 == 14 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 12 } if a307029135 == 36 && (a1510817746 == 14 && cf == 1) && a1335229626 == 7 && input == 8 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a338143956 = 32 a1335229626 = 11 a269427955 = 12 } if input == 10 && (a1335229626 == 7 && cf == 1 && a307029135 == 36 && a1510817746 == 14) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 6 a1602107789 = 36 a1959734605 = 5 } } // calculate_outputm21 - transpiled function from /tmp/2016-Problem14.c:2168 func calculate_outputm21(input int) { if cf == 1 && a307029135 == 35 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm164(input) } if cf == 1 && a307029135 == 36 { calculate_outputm165(input) } } // calculate_outputm167 - transpiled function from /tmp/2016-Problem14.c:2176 func calculate_outputm167(input int) { if cf == 1 && a1273086420 == 32 && a1074841212 == 11 && a1335229626 == 8 && input == 1 { cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 14 } if a1074841212 == 11 && (cf == 1 && a1273086420 == 32 && input == 8) && a1335229626 == 8 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 12 } if a1074841212 == 11 && (cf == 1 && a1335229626 == 8 && a1273086420 == 32) && input == 12 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 13 } if input == 15 && (a1074841212 == 11 && (a1273086420 == 32 && cf == 1 && a1335229626 == 8)) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 10 } } // calculate_outputm168 - transpiled function from /tmp/2016-Problem14.c:2203 func calculate_outputm168(input int) { if a1074841212 == 12 && (a1335229626 == 8 && cf == 1) && input == 8 && a1273086420 == 32 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1510817746 = 13 a1335229626 = 7 a932751092 = 6 } if a1074841212 == 12 && (a1335229626 == 8 && cf == 1 && a1273086420 == 32) && input == 11 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a880660927 = 10 a1335229626 = 10 a200918022 = 10 } if a1074841212 == 12 && (cf == 1 && input == 13 && a1335229626 == 8) && a1273086420 == 32 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a880660927 = 11 a1335229626 = 10 a1837110425 = 4 } if a1335229626 == 8 && (input == 7 && (cf == 1 && a1273086420 == 32) && a1074841212 == 12) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 8 a782039646 = 10 } } // calculate_outputm22 - transpiled function from /tmp/2016-Problem14.c:2230 func calculate_outputm22(input int) { if a1074841212 == 11 && cf == 1 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm167(input) } if cf == 1 && a1074841212 == 12 { calculate_outputm168(input) } } // calculate_outputm170 - transpiled function from /tmp/2016-Problem14.c:2238 func calculate_outputm170(input int) { if a1335229626 == 8 && (input == 3 && cf == 1) && a1273086420 == 33 && a880642005 == 36 { cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } if a880642005 == 36 && (cf == 1 && a1335229626 == 8 && a1273086420 == 33) && input == 10 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 } if a1273086420 == 33 && (a1335229626 == 8 && (input == 11 && cf == 1)) && a880642005 == 36 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } } // calculate_outputm23 - transpiled function from /tmp/2016-Problem14.c:2257 func calculate_outputm23(input int) { if a880642005 == 36 && cf == 1 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm170(input) } } // calculate_outputm171 - transpiled function from /tmp/2016-Problem14.c:2262 func calculate_outputm171(input int) { if a1259748523 == 32 && (a1335229626 == 8 && (cf == 1 && input == 6 && a1273086420 == 34)) { cf = 0 a1149219151 = 33 a1851906186 = 35 a1335229626 = 9 } if a1273086420 == 34 && (a1335229626 == 8 && cf == 1 && input == 7 && a1259748523 == 32) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } if a1259748523 == 32 && (a1273086420 == 34 && (a1335229626 == 8 && cf == 1 && input == 12)) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a950417444 = 9 a1335229626 = 12 a565249046 = 5 } if cf == 1 && a1259748523 == 32 && a1335229626 == 8 && a1273086420 == 34 && input == 14 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 8 } } // calculate_outputm172 - transpiled function from /tmp/2016-Problem14.c:2289 func calculate_outputm172(input int) { if a1273086420 == 34 && (cf == 1 && a1259748523 == 33 && input == 10) && a1335229626 == 8 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a880660927 = 10 a1335229626 = 10 a200918022 = 8 } if a1259748523 == 33 && (a1335229626 == 8 && cf == 1 && input == 12) && a1273086420 == 34 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 } } // calculate_outputm174 - transpiled function from /tmp/2016-Problem14.c:2302 func calculate_outputm174(input int) { if a1335229626 == 8 && (a1273086420 == 34 && (input == 2 && cf == 1) && a1259748523 == 35) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 } if a1259748523 == 35 && (a1273086420 == 34 && cf == 1 && a1335229626 == 8) && input == 11 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 8 a782039646 = 13 } } // calculate_outputm24 - transpiled function from /tmp/2016-Problem14.c:2315 func calculate_outputm24(input int) { if cf == 1 && a1259748523 == 32 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm171(input) } if a1259748523 == 33 && cf == 1 { calculate_outputm172(input) } if cf == 1 && a1259748523 == 35 { calculate_outputm174(input) } } // calculate_outputm176 - transpiled function from /tmp/2016-Problem14.c:2326 func calculate_outputm176(input int) { if input == 7 && (cf == 1 && a1273086420 == 35) && a1383458586 == 2 && a1335229626 == 8 { cf = 0 a1335229626 = 10 a880660927 = 15 a1736640332 = 9 } } // calculate_outputm177 - transpiled function from /tmp/2016-Problem14.c:2335 func calculate_outputm177(input int) { if a1383458586 == 3 && (input == 3 && (a1273086420 == 35 && cf == 1)) && a1335229626 == 8 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 7 a179752516 = 8 } if input == 4 && (cf == 1 && a1383458586 == 3 && a1273086420 == 35) && a1335229626 == 8 { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a389949481 = 34 a1335229626 = 12 a950417444 = 8 } } // calculate_outputm178 - transpiled function from /tmp/2016-Problem14.c:2350 func calculate_outputm178(input int) { if a1335229626 == 8 && (a1383458586 == 6 && (a1273086420 == 35 && cf == 1)) && input == 7 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1602107789 = 35 a1335229626 = 6 a1959734605 = 5 } if a1383458586 == 6 && (a1335229626 == 8 && cf == 1) && a1273086420 == 35 && input == 11 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 32 a1074841212 = 12 } if a1273086420 == 35 && (a1383458586 == 6 && (a1335229626 == 8 && cf == 1) && input == 13) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a598251408 = 36 a1851906186 = 34 a1335229626 = 9 } if a1335229626 == 8 && cf == 1 && input == 8 && a1383458586 == 6 && a1273086420 == 35 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 10 a200918022 = 7 } } // calculate_outputm179 - transpiled function from /tmp/2016-Problem14.c:2376 func calculate_outputm179(input int) { if input == 6 && (a1273086420 == 35 && (cf == 1 && a1383458586 == 7)) && a1335229626 == 8 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 32 } if a1335229626 == 8 && (a1383458586 == 7 && (input == 8 && cf == 1) && a1273086420 == 35) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a389949481 = 35 a1335229626 = 12 a950417444 = 8 } if input == 12 && (cf == 1 && a1273086420 == 35 && a1335229626 == 8) && a1383458586 == 7 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 8 a782039646 = 13 } if input == 13 && cf == 1 && a1335229626 == 8 && a1273086420 == 35 && a1383458586 == 7 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 8 a782039646 = 13 } } // calculate_outputm25 - transpiled function from /tmp/2016-Problem14.c:2402 func calculate_outputm25(input int) { if cf == 1 && a1383458586 == 2 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm176(input) } if a1383458586 == 3 && cf == 1 { calculate_outputm177(input) } if cf == 1 && a1383458586 == 6 { calculate_outputm178(input) } if a1383458586 == 7 && cf == 1 { calculate_outputm179(input) } } // calculate_outputm182 - transpiled function from /tmp/2016-Problem14.c:2416 func calculate_outputm182(input int) { if input == 1 && (a1335229626 == 8 && (a1273086420 == 36 && cf == 1)) && a864013224 == 11 { cf = 0 a1335229626 = 7 a1498174835 = 35 a1510817746 = 12 } if input == 2 && (a1273086420 == 36 && (cf == 1 && a864013224 == 11) && a1335229626 == 8) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 6 a1602107789 = 36 a1959734605 = 5 } if a1335229626 == 8 && (input == 3 && cf == 1 && a1273086420 == 36 && a864013224 == 11) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 } if a1273086420 == 36 && (a864013224 == 11 && (cf == 1 && input == 8) && a1335229626 == 8) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a269427955 = 8 a1335229626 = 11 a1746137894 = 12 } } // calculate_outputm183 - transpiled function from /tmp/2016-Problem14.c:2441 func calculate_outputm183(input int) { if cf == 1 && a1273086420 == 36 && a1335229626 == 8 && a864013224 == 13 && input == 6 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 12 } if a864013224 == 13 && (a1335229626 == 8 && (cf == 1 && a1273086420 == 36) && input == 11) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 9 } if a1273086420 == 36 && (input == 13 && (a1335229626 == 8 && cf == 1 && a864013224 == 13)) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 11 a338143956 = 35 a269427955 = 12 } } // calculate_outputm184 - transpiled function from /tmp/2016-Problem14.c:2462 func calculate_outputm184(input int) { if a1273086420 == 36 && (input == 3 && (a1335229626 == 8 && cf == 1)) && a864013224 == 14 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if a864013224 == 14 && (input == 10 && cf == 1) && a1335229626 == 8 && a1273086420 == 36 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } } // calculate_outputm185 - transpiled function from /tmp/2016-Problem14.c:2477 func calculate_outputm185(input int) { if a1273086420 == 36 && (a1335229626 == 8 && (input == 3 && cf == 1) && a864013224 == 15) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if input == 8 && (a1273086420 == 36 && (cf == 1 && a1335229626 == 8) && a864013224 == 15) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 } if a1273086420 == 36 && (a864013224 == 15 && cf == 1) && input == 10 && a1335229626 == 8 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 7 a940472710 = 11 } } // calculate_outputm26 - transpiled function from /tmp/2016-Problem14.c:2496 func calculate_outputm26(input int) { if cf == 1 && a864013224 == 11 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm182(input) } if a864013224 == 13 && cf == 1 { calculate_outputm183(input) } if a864013224 == 14 && cf == 1 { calculate_outputm184(input) } if a864013224 == 15 && cf == 1 { calculate_outputm185(input) } } // calculate_outputm189 - transpiled function from /tmp/2016-Problem14.c:2510 func calculate_outputm189(input int) { if a1851906186 == 32 && (cf == 1 && a365147679 == 9 && a1335229626 == 9 && input == 7) { cf = 0 a1335229626 = 12 a950417444 = 12 a1255937088 = 8 } if a365147679 == 9 && (cf == 1 && a1851906186 == 32 && input == 8 && a1335229626 == 9) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 10 a1664587146 = 35 a880660927 = 14 } } // calculate_outputm191 - transpiled function from /tmp/2016-Problem14.c:2525 func calculate_outputm191(input int) { if a365147679 == 11 && (a1851906186 == 32 && (input == 1 && (a1335229626 == 9 && cf == 1))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if a365147679 == 11 && (input == 3 && (a1851906186 == 32 && (a1335229626 == 9 && cf == 1))) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 2 } if a365147679 == 11 && (a1851906186 == 32 && (cf == 1 && input == 4 && a1335229626 == 9)) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 } if a1335229626 == 9 && (a1851906186 == 32 && cf == 1 && a365147679 == 11) && input == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 15 } } // calculate_outputm192 - transpiled function from /tmp/2016-Problem14.c:2550 func calculate_outputm192(input int) { if a1851906186 == 32 && (a365147679 == 13 && (cf == 1 && a1335229626 == 9) && input == 1) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 9 a757401042 = 8 } if a1335229626 == 9 && (input == 10 && (a1851906186 == 32 && cf == 1) && a365147679 == 13) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 33 a1383458586 = 4 } if a1851906186 == 32 && (input == 11 && (a365147679 == 13 && cf == 1) && a1335229626 == 9) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 10 a866603139 = 8 } if input == 13 && (cf == 1 && a365147679 == 13 && a1335229626 == 9) && a1851906186 == 32 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 14 } if a365147679 == 13 && (a1335229626 == 9 && (cf == 1 && a1851906186 == 32 && input == 8)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 34 a598251408 = 35 } } // calculate_outputm27 - transpiled function from /tmp/2016-Problem14.c:2581 func calculate_outputm27(input int) { if cf == 1 && a365147679 == 9 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm189(input) } if a365147679 == 11 && cf == 1 { calculate_outputm191(input) } if a365147679 == 13 && cf == 1 { calculate_outputm192(input) } } // calculate_outputm196 - transpiled function from /tmp/2016-Problem14.c:2592 func calculate_outputm196(input int) { if a1383458586 == 4 && (cf == 1 && a1335229626 == 9 && a1851906186 == 33) && input == 4 { cf = 0 a1335229626 = 7 a1510817746 = 7 a940472710 = 13 } if a1335229626 == 9 && (a1383458586 == 4 && (cf == 1 && input == 10) && a1851906186 == 33) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 3 } if a1335229626 == 9 && (input == 15 && (a1383458586 == 4 && (a1851906186 == 33 && cf == 1))) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 15 } if a1335229626 == 9 && (input == 5 && (a1383458586 == 4 && cf == 1)) && a1851906186 == 33 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 10 } } // calculate_outputm197 - transpiled function from /tmp/2016-Problem14.c:2619 func calculate_outputm197(input int) { if a1383458586 == 6 && (cf == 1 && a1335229626 == 9 && a1851906186 == 33 && input == 15) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 11 } } // calculate_outputm198 - transpiled function from /tmp/2016-Problem14.c:2628 func calculate_outputm198(input int) { if a1383458586 == 7 && (cf == 1 && a1851906186 == 33 && input == 3) && a1335229626 == 9 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 35 a1510817746 = 12 } if input == 6 && (a1851906186 == 33 && (cf == 1 && a1383458586 == 7) && a1335229626 == 9) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1750379405 = 36 a1335229626 = 11 a269427955 = 14 } if a1383458586 == 7 && (input == 7 && (cf == 1 && a1851906186 == 33) && a1335229626 == 9) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1851906186 = 35 a1149219151 = 32 } if input == 13 && (a1851906186 == 33 && cf == 1 && a1383458586 == 7) && a1335229626 == 9 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 8 } } // calculate_outputm199 - transpiled function from /tmp/2016-Problem14.c:2654 func calculate_outputm199(input int) { if a1851906186 == 33 && (a1383458586 == 9 && cf == 1 && input == 10 && a1335229626 == 9) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 9 a1237428760 = 7 } } // calculate_outputm28 - transpiled function from /tmp/2016-Problem14.c:2663 func calculate_outputm28(input int) { if a1383458586 == 4 && cf == 1 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm196(input) } if cf == 1 && a1383458586 == 6 { calculate_outputm197(input) } if cf == 1 && a1383458586 == 7 { calculate_outputm198(input) } if a1383458586 == 9 && cf == 1 { calculate_outputm199(input) } } // calculate_outputm200 - transpiled function from /tmp/2016-Problem14.c:2677 func calculate_outputm200(input int) { if a1851906186 == 34 && (a598251408 == 32 && (input == 7 && cf == 1)) && a1335229626 == 9 { cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 5 } if a598251408 == 32 && cf == 1 && input == 8 && a1851906186 == 34 && a1335229626 == 9 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 15 a1736640332 = 9 } if a1335229626 == 9 && (a598251408 == 32 && cf == 1 && input == 13 && a1851906186 == 34) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 5 } } // calculate_outputm201 - transpiled function from /tmp/2016-Problem14.c:2698 func calculate_outputm201(input int) { if a598251408 == 33 && (input == 3 && cf == 1 && a1851906186 == 34 && a1335229626 == 9) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a338143956 = 32 a1335229626 = 11 a269427955 = 12 } } // calculate_outputm204 - transpiled function from /tmp/2016-Problem14.c:2707 func calculate_outputm204(input int) { if a1335229626 == 9 && (a598251408 == 36 && (a1851906186 == 34 && cf == 1 && input == 3)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 11 } if a598251408 == 36 && (a1335229626 == 9 && (cf == 1 && input == 12 && a1851906186 == 34)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a950417444 = 13 a1335229626 = 12 a962095080 = 3 } if input == 6 && (cf == 1 && a598251408 == 36) && a1851906186 == 34 && a1335229626 == 9 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 13 } } // calculate_outputm29 - transpiled function from /tmp/2016-Problem14.c:2728 func calculate_outputm29(input int) { if a598251408 == 32 && cf == 1 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm200(input) } if cf == 1 && a598251408 == 33 { calculate_outputm201(input) } if a598251408 == 36 && cf == 1 { calculate_outputm204(input) } } // calculate_outputm205 - transpiled function from /tmp/2016-Problem14.c:2739 func calculate_outputm205(input int) { if a1335229626 == 9 && (cf == 1 && a1851906186 == 35 && a1149219151 == 32) && input == 4 { cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } if a1335229626 == 9 && (input == 7 && (cf == 1 && a1851906186 == 35 && a1149219151 == 32)) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1851906186 = 33 a1383458586 = 7 } if a1335229626 == 9 && (a1851906186 == 35 && (input == 8 && cf == 1) && a1149219151 == 32) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 33 a1383458586 = 7 } } // calculate_outputm206 - transpiled function from /tmp/2016-Problem14.c:2758 func calculate_outputm206(input int) { if a1851906186 == 35 && (a1335229626 == 9 && cf == 1 && a1149219151 == 33 && input == 3) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 6 } if a1149219151 == 33 && (input == 5 && (a1335229626 == 9 && cf == 1) && a1851906186 == 35) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 7 } } // calculate_outputm207 - transpiled function from /tmp/2016-Problem14.c:2773 func calculate_outputm207(input int) { if input == 11 && (a1851906186 == 35 && (cf == 1 && a1335229626 == 9 && a1149219151 == 35)) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 34 a1510817746 = 12 } if input == 15 && cf == 1 && a1335229626 == 9 && a1149219151 == 35 && a1851906186 == 35 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 11 } } // calculate_outputm208 - transpiled function from /tmp/2016-Problem14.c:2788 func calculate_outputm208(input int) { if a1851906186 == 35 && (a1149219151 == 36 && (a1335229626 == 9 && cf == 1)) && input == 1 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1478065937 = 32 a1335229626 = 12 a950417444 = 7 } } // calculate_outputm30 - transpiled function from /tmp/2016-Problem14.c:2797 func calculate_outputm30(input int) { if cf == 1 && a1149219151 == 32 { //;//printf("%d\n", 19); fflush(stdout); calculate_outputm205(input) } if a1149219151 == 33 && cf == 1 { calculate_outputm206(input) } if cf == 1 && a1149219151 == 35 { calculate_outputm207(input) } if cf == 1 && a1149219151 == 36 { calculate_outputm208(input) } } // calculate_outputm209 - transpiled function from /tmp/2016-Problem14.c:2811 func calculate_outputm209(input int) { if input == 3 && (a1851906186 == 36 && (cf == 1 && a1335229626 == 9) && a2015844410 == 6) { cf = 0 a1750379405 = 36 a1335229626 = 11 a269427955 = 14 } if a1335229626 == 9 && (input == 10 && (cf == 1 && a1851906186 == 36 && a2015844410 == 6)) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1851906186 = 32 a365147679 = 11 } if input == 15 && (a2015844410 == 6 && (cf == 1 && a1335229626 == 9)) && a1851906186 == 36 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a338143956 = 35 a1335229626 = 11 a269427955 = 12 } } // calculate_outputm212 - transpiled function from /tmp/2016-Problem14.c:2831 func calculate_outputm212(input int) { if a1335229626 == 9 && (a2015844410 == 9 && (input == 1 && cf == 1) && a1851906186 == 36) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1510817746 = 13 a1335229626 = 7 a932751092 = 5 } if a1851906186 == 36 && (a2015844410 == 9 && cf == 1 && a1335229626 == 9) && input == 2 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a384913899 = 34 a10419264 = 32 a1335229626 = 5 } if a1851906186 == 36 && (a1335229626 == 9 && (input == 7 && cf == 1) && a2015844410 == 9) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } if a1851906186 == 36 && (input == 15 && (a2015844410 == 9 && (cf == 1 && a1335229626 == 9))) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1510817746 = 8 a1335229626 = 7 a782039646 = 13 } if a1851906186 == 36 && (cf == 1 && a2015844410 == 9 && input == 13 && a1335229626 == 9) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 15 a1736640332 = 6 } } // calculate_outputm214 - transpiled function from /tmp/2016-Problem14.c:2864 func calculate_outputm214(input int) { if input == 2 && (a2015844410 == 11 && (cf == 1 && a1335229626 == 9 && a1851906186 == 36)) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } } // calculate_outputm215 - transpiled function from /tmp/2016-Problem14.c:2873 func calculate_outputm215(input int) { if a1335229626 == 9 && (cf == 1 && input == 10) && a1851906186 == 36 && a2015844410 == 12 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 2 a324926224 = 3 } if a1335229626 == 9 && (a2015844410 == 12 && cf == 1 && input == 15 && a1851906186 == 36) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1851906186 = 34 a598251408 = 33 } } // calculate_outputm216 - transpiled function from /tmp/2016-Problem14.c:2887 func calculate_outputm216(input int) { if input == 3 && (a2015844410 == 13 && (a1851906186 == 36 && cf == 1 && a1335229626 == 9)) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } if cf == 1 && a2015844410 == 13 && a1335229626 == 9 && input == 8 && a1851906186 == 36 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } if input == 15 && (a2015844410 == 13 && (a1851906186 == 36 && cf == 1) && a1335229626 == 9) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } } // calculate_outputm31 - transpiled function from /tmp/2016-Problem14.c:2908 func calculate_outputm31(input int) { if cf == 1 && a2015844410 == 6 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm209(input) } if cf == 1 && a2015844410 == 9 { calculate_outputm212(input) } if a2015844410 == 11 && cf == 1 { calculate_outputm214(input) } if cf == 1 && a2015844410 == 12 { calculate_outputm215(input) } if cf == 1 && a2015844410 == 13 { calculate_outputm216(input) } } // calculate_outputm219 - transpiled function from /tmp/2016-Problem14.c:2925 func calculate_outputm219(input int) { if a2121950185 == 35 && (a880660927 == 9 && (cf == 1 && a1335229626 == 10 && input == 3)) { cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if a880660927 == 9 && (a1335229626 == 10 && (a2121950185 == 35 && cf == 1) && input == 7) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if input == 10 && (a1335229626 == 10 && cf == 1 && a2121950185 == 35) && a880660927 == 9 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a384913899 = 34 a10419264 = 32 a1335229626 = 5 } if a1335229626 == 10 && (a2121950185 == 35 && (a880660927 == 9 && (cf == 1 && input == 12))) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm220 - transpiled function from /tmp/2016-Problem14.c:2952 func calculate_outputm220(input int) { if input == 2 && (a1335229626 == 10 && cf == 1 && a880660927 == 9) && a2121950185 == 36 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1851906186 = 32 a1335229626 = 9 a365147679 = 11 } if cf == 1 && a1335229626 == 10 && a880660927 == 9 && a2121950185 == 36 && input == 7 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a880660927 = 13 a1249410904 = 5 } if input == 11 && (a1335229626 == 10 && (a880660927 == 9 && (a2121950185 == 36 && cf == 1))) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 10 } if a1335229626 == 10 && (a2121950185 == 36 && (input == 15 && cf == 1 && a880660927 == 9)) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 7 } } // calculate_outputm32 - transpiled function from /tmp/2016-Problem14.c:2978 func calculate_outputm32(input int) { if a2121950185 == 35 && cf == 1 { //;//printf("%d\n", 24); fflush(stdout); calculate_outputm219(input) } if a2121950185 == 36 && cf == 1 { calculate_outputm220(input) } } // calculate_outputm222 - transpiled function from /tmp/2016-Problem14.c:2986 func calculate_outputm222(input int) { if a200918022 == 8 && (a880660927 == 10 && (cf == 1 && a1335229626 == 10)) && input == 1 { cf = 0 a1259748523 = 33 a1273086420 = 34 a1335229626 = 8 } if input == 3 && (a200918022 == 8 && (a1335229626 == 10 && cf == 1)) && a880660927 == 10 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 10 } if input == 6 && (a1335229626 == 10 && cf == 1 && a880660927 == 10 && a200918022 == 8) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 12 } if a1335229626 == 10 && (input == 10 && (cf == 1 && a200918022 == 8) && a880660927 == 10) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 11 } } // calculate_outputm224 - transpiled function from /tmp/2016-Problem14.c:3013 func calculate_outputm224(input int) { if a1335229626 == 10 && (a880660927 == 10 && (cf == 1 && a200918022 == 10) && input == 10) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a2121950185 = 36 a880660927 = 9 } if input == 11 && (cf == 1 && a1335229626 == 10) && a200918022 == 10 && a880660927 == 10 { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a2135239265 = 32 a1335229626 = 12 a950417444 = 11 } if input == 13 && (a1335229626 == 10 && (a200918022 == 10 && cf == 1 && a880660927 == 10)) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 6 a1132599179 = 34 a1959734605 = 4 } } // calculate_outputm225 - transpiled function from /tmp/2016-Problem14.c:3033 func calculate_outputm225(input int) { if input == 7 && (cf == 1 && a880660927 == 10) && a1335229626 == 10 && a200918022 == 11 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 2 } } // calculate_outputm33 - transpiled function from /tmp/2016-Problem14.c:3042 func calculate_outputm33(input int) { if a200918022 == 8 && cf == 1 { //;//printf("%d\n", 18); fflush(stdout); calculate_outputm222(input) } if cf == 1 && a200918022 == 10 { calculate_outputm224(input) } if cf == 1 && a200918022 == 11 { calculate_outputm225(input) } } // calculate_outputm227 - transpiled function from /tmp/2016-Problem14.c:3053 func calculate_outputm227(input int) { if a1837110425 == 2 && (input == 1 && cf == 1) && a880660927 == 11 && a1335229626 == 10 { cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 11 } if cf == 1 && a1837110425 == 2 && a1335229626 == 10 && a880660927 == 11 && input == 11 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 11 a338143956 = 36 a269427955 = 12 } if input == 12 && (a1335229626 == 10 && (cf == 1 && a1837110425 == 2 && a880660927 == 11)) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 3 } if a880660927 == 11 && (input == 13 && cf == 1 && a1837110425 == 2) && a1335229626 == 10 { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 13 a1053530639 = 4 } } // calculate_outputm229 - transpiled function from /tmp/2016-Problem14.c:3080 func calculate_outputm229(input int) { if input == 1 && (a1335229626 == 10 && (a880660927 == 11 && cf == 1 && a1837110425 == 4)) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1837110425 = 6 } if a1837110425 == 4 && (input == 15 && cf == 1) && a880660927 == 11 && a1335229626 == 10 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1959734605 = 8 a1335229626 = 6 a286009693 = 9 } } // calculate_outputm230 - transpiled function from /tmp/2016-Problem14.c:3093 func calculate_outputm230(input int) { if a1837110425 == 5 && (a1335229626 == 10 && (a880660927 == 11 && (cf == 1 && input == 8))) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a2121950185 = 35 a880660927 = 9 } } // calculate_outputm231 - transpiled function from /tmp/2016-Problem14.c:3101 func calculate_outputm231(input int) { if a880660927 == 11 && (a1335229626 == 10 && cf == 1) && input == 1 && a1837110425 == 6 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 10 } if a880660927 == 11 && (input == 2 && (a1335229626 == 10 && cf == 1)) && a1837110425 == 6 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 35 a1335229626 = 8 a1383458586 = 7 } if a1837110425 == 6 && (a880660927 == 11 && (input == 10 && cf == 1)) && a1335229626 == 10 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 8 a1746137894 = 12 } if a1335229626 == 10 && cf == 1 && input == 15 && a880660927 == 11 && a1837110425 == 6 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 10 } } // calculate_outputm232 - transpiled function from /tmp/2016-Problem14.c:3128 func calculate_outputm232(input int) { if a880660927 == 11 && (a1335229626 == 10 && (cf == 1 && input == 4) && a1837110425 == 7) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 10 } if a1335229626 == 10 && (input == 11 && (a1837110425 == 7 && (a880660927 == 11 && cf == 1))) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1273086420 = 36 a1335229626 = 8 a864013224 = 14 } if input == 13 && (cf == 1 && a1335229626 == 10 && a880660927 == 11 && a1837110425 == 7) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 32 a1335229626 = 8 } if a1335229626 == 10 && (a1837110425 == 7 && (input == 15 && cf == 1)) && a880660927 == 11 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 34 a1510817746 = 12 } } // calculate_outputm34 - transpiled function from /tmp/2016-Problem14.c:3155 func calculate_outputm34(input int) { if cf == 1 && a1837110425 == 2 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm227(input) } if a1837110425 == 4 && cf == 1 { calculate_outputm229(input) } if a1837110425 == 5 && cf == 1 { calculate_outputm230(input) } if cf == 1 && a1837110425 == 6 { calculate_outputm231(input) } if cf == 1 && a1837110425 == 7 { calculate_outputm232(input) } } // calculate_outputm234 - transpiled function from /tmp/2016-Problem14.c:3172 func calculate_outputm234(input int) { if input == 7 && (cf == 1 && a2045918669 == 4 && a880660927 == 12 && a1335229626 == 10) { cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 10 } } // calculate_outputm235 - transpiled function from /tmp/2016-Problem14.c:3181 func calculate_outputm235(input int) { if a1335229626 == 10 && (a2045918669 == 8 && (cf == 1 && input == 1 && a880660927 == 12)) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 11 } if input == 2 && (a1335229626 == 10 && (cf == 1 && a880660927 == 12)) && a2045918669 == 8 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1851906186 = 34 a598251408 = 32 a1335229626 = 9 } if a2045918669 == 8 && (a1335229626 == 10 && cf == 1 && a880660927 == 12 && input == 10) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 6 a1210809645 = 13 } } // calculate_outputm35 - transpiled function from /tmp/2016-Problem14.c:3202 func calculate_outputm35(input int) { if a2045918669 == 4 && cf == 1 { //;//printf("%d\n", 26); fflush(stdout); calculate_outputm234(input) } if cf == 1 && a2045918669 == 8 { calculate_outputm235(input) } } // calculate_outputm238 - transpiled function from /tmp/2016-Problem14.c:3210 func calculate_outputm238(input int) { if a880660927 == 13 && (a1335229626 == 10 && cf == 1 && input == 3 && a1249410904 == 5) { cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 4 } } // calculate_outputm240 - transpiled function from /tmp/2016-Problem14.c:3219 func calculate_outputm240(input int) { if input == 1 && (a1335229626 == 10 && (a880660927 == 13 && cf == 1 && a1249410904 == 7)) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 } if a1335229626 == 10 && (a880660927 == 13 && (input == 8 && cf == 1 && a1249410904 == 7)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 9 } } // calculate_outputm241 - transpiled function from /tmp/2016-Problem14.c:3232 func calculate_outputm241(input int) { if input == 1 && (a1335229626 == 10 && cf == 1 && a880660927 == 13 && a1249410904 == 8) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a880642005 = 36 a1273086420 = 33 a1335229626 = 8 } if input == 10 && (a1249410904 == 8 && (cf == 1 && a1335229626 == 10) && a880660927 == 13) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 12 a1255937088 = 8 } if a1335229626 == 10 && (a1249410904 == 8 && (input == 15 && cf == 1 && a880660927 == 13)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1664587146 = 35 a880660927 = 14 } } // calculate_outputm243 - transpiled function from /tmp/2016-Problem14.c:3252 func calculate_outputm243(input int) { if input == 2 && (a1335229626 == 10 && (cf == 1 && a880660927 == 13)) && a1249410904 == 11 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a950417444 = 10 a1335229626 = 12 a1760493561 = 16 } if input == 3 && (a1335229626 == 10 && (cf == 1 && a1249410904 == 11 && a880660927 == 13)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1478065937 = 35 a1335229626 = 12 a950417444 = 7 } } // calculate_outputm36 - transpiled function from /tmp/2016-Problem14.c:3267 func calculate_outputm36(input int) { if cf == 1 && a1249410904 == 5 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm238(input) } if cf == 1 && a1249410904 == 7 { calculate_outputm240(input) } if cf == 1 && a1249410904 == 8 { calculate_outputm241(input) } if a1249410904 == 11 && cf == 1 { calculate_outputm243(input) } } // calculate_outputm244 - transpiled function from /tmp/2016-Problem14.c:3281 func calculate_outputm244(input int) { if a1335229626 == 10 && (cf == 1 && a880660927 == 14) && input == 3 && a1664587146 == 32 { cf = 0 a1273086420 = 36 a1335229626 = 8 a864013224 = 14 } if a1664587146 == 32 && (a880660927 == 14 && (input == 6 && cf == 1 && a1335229626 == 10)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 14 } if input == 7 && (a1335229626 == 10 && cf == 1) && a880660927 == 14 && a1664587146 == 32 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 10 a1760493561 = 11 } if input == 15 && (a1664587146 == 32 && (a1335229626 == 10 && cf == 1)) && a880660927 == 14 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 13 } } // calculate_outputm245 - transpiled function from /tmp/2016-Problem14.c:3308 func calculate_outputm245(input int) { if input == 10 && (cf == 1 && a1335229626 == 10) && a880660927 == 14 && a1664587146 == 33 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 10 } if a880660927 == 14 && (cf == 1 && a1664587146 == 33 && input == 11) && a1335229626 == 10 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 6 a1959734605 = 9 a1250255157 = 12 } if a880660927 == 14 && (a1335229626 == 10 && (a1664587146 == 33 && cf == 1)) && input == 13 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 32 a365147679 = 11 } if a880660927 == 14 && (a1664587146 == 33 && (a1335229626 == 10 && (input == 15 && cf == 1))) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 12 a1255937088 = 8 } } // calculate_outputm247 - transpiled function from /tmp/2016-Problem14.c:3335 func calculate_outputm247(input int) { if a1335229626 == 10 && (input == 2 && (a1664587146 == 35 && (cf == 1 && a880660927 == 14))) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 12 a389949481 = 36 a950417444 = 8 } if a880660927 == 14 && (a1335229626 == 10 && cf == 1 && a1664587146 == 35) && input == 4 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 } if a880660927 == 14 && (a1664587146 == 35 && (a1335229626 == 10 && cf == 1) && input == 8) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 32 a1335229626 = 8 } if a1335229626 == 10 && (a880660927 == 14 && (cf == 1 && a1664587146 == 35) && input == 11) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a389949481 = 36 a1335229626 = 12 a950417444 = 8 } } // calculate_outputm248 - transpiled function from /tmp/2016-Problem14.c:3360 func calculate_outputm248(input int) { if a1664587146 == 36 && (input == 12 && (a1335229626 == 10 && (cf == 1 && a880660927 == 14))) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 13 } } // calculate_outputm37 - transpiled function from /tmp/2016-Problem14.c:3369 func calculate_outputm37(input int) { if a1664587146 == 32 && cf == 1 { //;//printf("%d\n", 24); fflush(stdout); calculate_outputm244(input) } if cf == 1 && a1664587146 == 33 { calculate_outputm245(input) } if cf == 1 && a1664587146 == 35 { calculate_outputm247(input) } if cf == 1 && a1664587146 == 36 { calculate_outputm248(input) } } // calculate_outputm250 - transpiled function from /tmp/2016-Problem14.c:3383 func calculate_outputm250(input int) { if input == 10 && (a880660927 == 15 && cf == 1 && a1736640332 == 9 && a1335229626 == 10) { cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm38 - transpiled function from /tmp/2016-Problem14.c:3392 func calculate_outputm38(input int) { if cf == 1 && a1736640332 == 9 { //;//printf("%d\n", 26); fflush(stdout); calculate_outputm250(input) } } // calculate_outputm251 - transpiled function from /tmp/2016-Problem14.c:3397 func calculate_outputm251(input int) { if input == 1 && cf == 1 && a147402251 == 32 && a880660927 == 16 && a1335229626 == 10 { cf = 0 a1335229626 = 11 a269427955 = 9 a757401042 = 6 } if a880660927 == 16 && (a1335229626 == 10 && cf == 1 && a147402251 == 32) && input == 8 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a384913899 = 32 a1335229626 = 5 a1031697847 = 12 } if a880660927 == 16 && cf == 1 && input == 7 && a147402251 == 32 && a1335229626 == 10 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 32 a1031697847 = 6 } } // calculate_outputm39 - transpiled function from /tmp/2016-Problem14.c:3418 func calculate_outputm39(input int) { if a147402251 == 32 && cf == 1 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm251(input) } } // calculate_outputm255 - transpiled function from /tmp/2016-Problem14.c:3423 func calculate_outputm255(input int) { if input == 1 && (a1746137894 == 12 && (cf == 1 && a269427955 == 8)) && a1335229626 == 11 { cf = 0 } if input == 2 && (a269427955 == 8 && cf == 1 && a1746137894 == 12 && a1335229626 == 11) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 } if a269427955 == 8 && (a1335229626 == 11 && (input == 3 && cf == 1) && a1746137894 == 12) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 6 } if input == 8 && cf == 1 && a269427955 == 8 && a1746137894 == 12 && a1335229626 == 11 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } } // calculate_outputm257 - transpiled function from /tmp/2016-Problem14.c:3446 func calculate_outputm257(input int) { if a1335229626 == 11 && (a1746137894 == 14 && (input == 1 && cf == 1) && a269427955 == 8) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 6 a1438665870 = 7 } if a1335229626 == 11 && (a269427955 == 8 && (cf == 1 && input == 3 && a1746137894 == 14)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1498174835 = 32 a1335229626 = 7 a1510817746 = 12 } if a1746137894 == 14 && (cf == 1 && a269427955 == 8) && input == 4 && a1335229626 == 11 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 11 a1837110425 = 2 } if a269427955 == 8 && (a1746137894 == 14 && cf == 1) && input == 10 && a1335229626 == 11 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1510817746 = 7 a1335229626 = 7 a940472710 = 10 } } // calculate_outputm259 - transpiled function from /tmp/2016-Problem14.c:3473 func calculate_outputm259(input int) { if a1746137894 == 17 && (a269427955 == 8 && (cf == 1 && a1335229626 == 11)) && input == 6 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm41 - transpiled function from /tmp/2016-Problem14.c:3482 func calculate_outputm41(input int) { if a1746137894 == 12 && cf == 1 { //;//printf("%d\n", 26); fflush(stdout); calculate_outputm255(input) } if cf == 1 && a1746137894 == 14 { calculate_outputm257(input) } if cf == 1 && a1746137894 == 17 { calculate_outputm259(input) } } // calculate_outputm262 - transpiled function from /tmp/2016-Problem14.c:3493 func calculate_outputm262(input int) { if a757401042 == 6 && (a269427955 == 9 && cf == 1 && a1335229626 == 11) && input == 1 { cf = 0 a1335229626 = 7 a1510817746 = 11 a654409942 = 10 } if a269427955 == 9 && (a1335229626 == 11 && (input == 5 && cf == 1)) && a757401042 == 6 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1959734605 = 9 a1335229626 = 6 a1250255157 = 14 } } // calculate_outputm263 - transpiled function from /tmp/2016-Problem14.c:3508 func calculate_outputm263(input int) { if a1335229626 == 11 && cf == 1 && a269427955 == 9 && input == 4 && a757401042 == 8 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a307029135 = 35 a1335229626 = 7 a1510817746 = 14 } if input == 13 && (a269427955 == 9 && (cf == 1 && a1335229626 == 11) && a757401042 == 8) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1851906186 = 35 a1149219151 = 36 a1335229626 = 9 } if a269427955 == 9 && (a1335229626 == 11 && cf == 1 && input == 11) && a757401042 == 8 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1959734605 = 3 a1335229626 = 6 a1210809645 = 10 } } // calculate_outputm42 - transpiled function from /tmp/2016-Problem14.c:3529 func calculate_outputm42(input int) { if cf == 1 && a757401042 == 6 { //;//printf("%d\n", 24); fflush(stdout); calculate_outputm262(input) } if cf == 1 && a757401042 == 8 { calculate_outputm263(input) } } // calculate_outputm264 - transpiled function from /tmp/2016-Problem14.c:3537 func calculate_outputm264(input int) { if input == 1 && (a269427955 == 10 && (a113972147 == 33 && (a1335229626 == 11 && cf == 1))) { cf = 0 a269427955 = 8 a1746137894 = 17 } if a269427955 == 10 && (a1335229626 == 11 && cf == 1 && input == 3) && a113972147 == 33 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 10 a2121950185 = 35 a880660927 = 9 } if input == 15 && (a113972147 == 33 && (a269427955 == 10 && cf == 1 && a1335229626 == 11)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a113972147 = 34 } } // calculate_outputm265 - transpiled function from /tmp/2016-Problem14.c:3555 func calculate_outputm265(input int) { if a1335229626 == 11 && (input == 15 && (a113972147 == 34 && cf == 1)) && a269427955 == 10 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a113972147 = 33 } } // calculate_outputm43 - transpiled function from /tmp/2016-Problem14.c:3562 func calculate_outputm43(input int) { if a113972147 == 33 && cf == 1 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm264(input) } if cf == 1 && a113972147 == 34 { calculate_outputm265(input) } } // calculate_outputm266 - transpiled function from /tmp/2016-Problem14.c:3570 func calculate_outputm266(input int) { if a1335229626 == 11 && (input == 15 && cf == 1 && a1959734605 == 2 && a269427955 == 11) { cf = 0 a1510817746 = 9 a1335229626 = 7 a1237428760 = 6 } if a1335229626 == 11 && (input == 2 && (a1959734605 == 2 && (a269427955 == 11 && cf == 1))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a384913899 = 33 a307029135 = 36 a1335229626 = 5 } } // calculate_outputm267 - transpiled function from /tmp/2016-Problem14.c:3585 func calculate_outputm267(input int) { if input == 3 && (a1959734605 == 3 && cf == 1 && a269427955 == 11 && a1335229626 == 11) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a269427955 = 8 a1746137894 = 12 } if a1335229626 == 11 && cf == 1 && a1959734605 == 3 && a269427955 == 11 && input == 4 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a269427955 = 8 a1746137894 = 14 } } // calculate_outputm268 - transpiled function from /tmp/2016-Problem14.c:3598 func calculate_outputm268(input int) { if a1959734605 == 5 && (input == 3 && (cf == 1 && a1335229626 == 11) && a269427955 == 11) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 35 a1383458586 = 7 } } // calculate_outputm270 - transpiled function from /tmp/2016-Problem14.c:3607 func calculate_outputm270(input int) { if a1335229626 == 11 && (a269427955 == 11 && cf == 1) && input == 6 && a1959734605 == 7 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 10 } if a269427955 == 11 && (a1959734605 == 7 && (cf == 1 && a1335229626 == 11) && input == 13) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1510817746 = 9 a1335229626 = 7 a1237428760 = 5 } } // calculate_outputm271 - transpiled function from /tmp/2016-Problem14.c:3622 func calculate_outputm271(input int) { if a1959734605 == 8 && (input == 8 && (cf == 1 && a269427955 == 11 && a1335229626 == 11)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 7 } if input == 13 && (a1959734605 == 8 && (cf == 1 && a1335229626 == 11) && a269427955 == 11) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a338143956 = 32 a269427955 = 12 } } // calculate_outputm272 - transpiled function from /tmp/2016-Problem14.c:3636 func calculate_outputm272(input int) { if a1335229626 == 11 && (a1959734605 == 9 && cf == 1 && input == 8 && a269427955 == 11) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if input == 10 && (cf == 1 && a269427955 == 11 && a1959734605 == 9) && a1335229626 == 11 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a10419264 = 32 a384913899 = 34 a1335229626 = 5 } if a1335229626 == 11 && (input == 11 && cf == 1 && a269427955 == 11) && a1959734605 == 9 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } if a269427955 == 11 && (cf == 1 && input == 13) && a1335229626 == 11 && a1959734605 == 9 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 9 } } // calculate_outputm44 - transpiled function from /tmp/2016-Problem14.c:3663 func calculate_outputm44(input int) { if a1959734605 == 2 && cf == 1 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm266(input) } if a1959734605 == 3 && cf == 1 { calculate_outputm267(input) } if a1959734605 == 5 && cf == 1 { calculate_outputm268(input) } if cf == 1 && a1959734605 == 7 { calculate_outputm270(input) } if cf == 1 && a1959734605 == 8 { calculate_outputm271(input) } if cf == 1 && a1959734605 == 9 { calculate_outputm272(input) } } // calculate_outputm273 - transpiled function from /tmp/2016-Problem14.c:3683 func calculate_outputm273(input int) { if a338143956 == 32 && (a1335229626 == 11 && (input == 11 && cf == 1 && a269427955 == 12)) { cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 9 } if input == 13 && (a1335229626 == 11 && (a338143956 == 32 && cf == 1 && a269427955 == 12)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a269427955 = 11 a1959734605 = 8 } } // calculate_outputm276 - transpiled function from /tmp/2016-Problem14.c:3697 func calculate_outputm276(input int) { if input == 1 && (cf == 1 && a1335229626 == 11) && a269427955 == 12 && a338143956 == 35 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 6 } if input == 10 && (a1335229626 == 11 && (a269427955 == 12 && (cf == 1 && a338143956 == 35))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 6 } if a269427955 == 12 && (cf == 1 && input == 15) && a338143956 == 35 && a1335229626 == 11 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 12 a950417444 = 9 a565249046 = 6 } } // calculate_outputm277 - transpiled function from /tmp/2016-Problem14.c:3718 func calculate_outputm277(input int) { if a269427955 == 12 && (input == 2 && cf == 1 && a1335229626 == 11) && a338143956 == 36 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a269427955 = 11 a1959734605 = 9 } if input == 8 && (cf == 1 && a1335229626 == 11) && a338143956 == 36 && a269427955 == 12 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a338143956 = 32 } if a338143956 == 36 && (a269427955 == 12 && cf == 1) && input == 10 && a1335229626 == 11 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 34 a1510817746 = 12 } if a269427955 == 12 && (cf == 1 && input == 12 && a1335229626 == 11 && a338143956 == 36) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1498174835 = 34 a1335229626 = 7 a1510817746 = 12 } } // calculate_outputm45 - transpiled function from /tmp/2016-Problem14.c:3742 func calculate_outputm45(input int) { if cf == 1 && a338143956 == 32 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm273(input) } if cf == 1 && a338143956 == 35 { calculate_outputm276(input) } if a338143956 == 36 && cf == 1 { calculate_outputm277(input) } } // calculate_outputm278 - transpiled function from /tmp/2016-Problem14.c:3753 func calculate_outputm278(input int) { if a1053530639 == 4 && cf == 1 && input == 3 && a1335229626 == 11 && a269427955 == 13 { cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 14 } if a269427955 == 13 && (input == 13 && (cf == 1 && a1053530639 == 4 && a1335229626 == 11)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 36 a2015844410 = 13 } } // calculate_outputm280 - transpiled function from /tmp/2016-Problem14.c:3768 func calculate_outputm280(input int) { if a269427955 == 13 && (a1053530639 == 7 && (cf == 1 && a1335229626 == 11 && input == 3)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 8 } if a269427955 == 13 && (input == 10 && cf == 1) && a1053530639 == 7 && a1335229626 == 11 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 34 a1510817746 = 12 } if a269427955 == 13 && (input == 15 && (a1053530639 == 7 && cf == 1)) && a1335229626 == 11 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 32 a1335229626 = 8 } } // calculate_outputm282 - transpiled function from /tmp/2016-Problem14.c:3789 func calculate_outputm282(input int) { if a1335229626 == 11 && (a269427955 == 13 && (input == 2 && cf == 1)) && a1053530639 == 10 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 5 a384913899 = 35 a583612627 = 12 } } // calculate_outputm46 - transpiled function from /tmp/2016-Problem14.c:3798 func calculate_outputm46(input int) { if a1053530639 == 4 && cf == 1 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm278(input) } if cf == 1 && a1053530639 == 7 { calculate_outputm280(input) } if a1053530639 == 10 && cf == 1 { calculate_outputm282(input) } } // calculate_outputm283 - transpiled function from /tmp/2016-Problem14.c:3809 func calculate_outputm283(input int) { if a1335229626 == 11 && cf == 1 && a1750379405 == 35 && input == 2 && a269427955 == 14 { cf = 0 a1335229626 = 7 a1510817746 = 9 a1237428760 = 5 } if input == 6 && (cf == 1 && a269427955 == 14 && a1335229626 == 11 && a1750379405 == 35) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1750379405 = 36 } if a1335229626 == 11 && (cf == 1 && a1750379405 == 35 && a269427955 == 14 && input == 11) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a950417444 = 12 a1335229626 = 12 a1255937088 = 8 } if a1335229626 == 11 && (input == 12 && (cf == 1 && a269427955 == 14)) && a1750379405 == 35 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1273086420 = 35 a1335229626 = 8 a1383458586 = 6 } } // calculate_outputm284 - transpiled function from /tmp/2016-Problem14.c:3834 func calculate_outputm284(input int) { if a1335229626 == 11 && (cf == 1 && a269427955 == 14) && a1750379405 == 36 && input == 7 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 33 a1383458586 = 7 } if a269427955 == 14 && (a1750379405 == 36 && (cf == 1 && a1335229626 == 11) && input == 8) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a950417444 = 6 a1335229626 = 12 a1438665870 = 6 } } // calculate_outputm47 - transpiled function from /tmp/2016-Problem14.c:3849 func calculate_outputm47(input int) { if a1750379405 == 35 && cf == 1 { //;//printf("%d\n", 17); fflush(stdout); calculate_outputm283(input) } if a1750379405 == 36 && cf == 1 { calculate_outputm284(input) } } // calculate_outputm285 - transpiled function from /tmp/2016-Problem14.c:3857 func calculate_outputm285(input int) { if a1438665870 == 6 && (input == 2 && cf == 1 && a950417444 == 6) && a1335229626 == 12 { cf = 0 a147402251 = 32 a1335229626 = 10 a880660927 = 16 } if input == 10 && (a1335229626 == 12 && (cf == 1 && a950417444 == 6)) && a1438665870 == 6 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 9 } if a1438665870 == 6 && (a950417444 == 6 && (input == 11 && cf == 1) && a1335229626 == 12) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 2 } if a1438665870 == 6 && cf == 1 && a1335229626 == 12 && a950417444 == 6 && input == 5 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a384913899 = 33 a307029135 = 32 a1335229626 = 5 } } // calculate_outputm286 - transpiled function from /tmp/2016-Problem14.c:3884 func calculate_outputm286(input int) { if a1438665870 == 7 && (a950417444 == 6 && (input == 1 && cf == 1 && a1335229626 == 12)) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a269427955 = 13 a1335229626 = 11 a1053530639 = 10 } if a1335229626 == 12 && (a1438665870 == 7 && (a950417444 == 6 && cf == 1 && input == 6)) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1851906186 = 33 a1335229626 = 9 a1383458586 = 6 } if a1438665870 == 7 && (a950417444 == 6 && cf == 1 && input == 12) && a1335229626 == 12 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 7 } } // calculate_outputm288 - transpiled function from /tmp/2016-Problem14.c:3905 func calculate_outputm288(input int) { if a950417444 == 6 && (a1335229626 == 12 && (input == 2 && cf == 1)) && a1438665870 == 11 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a950417444 = 12 a1255937088 = 8 } if a1438665870 == 11 && (cf == 1 && a1335229626 == 12 && input == 12 && a950417444 == 6) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 13 } if a1438665870 == 11 && (input == 13 && (a950417444 == 6 && (cf == 1 && a1335229626 == 12))) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 9 a1237428760 = 5 } } // calculate_outputm289 - transpiled function from /tmp/2016-Problem14.c:3925 func calculate_outputm289(input int) { if input == 11 && (cf == 1 && a950417444 == 6 && a1438665870 == 13 && a1335229626 == 12) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 } if a1438665870 == 13 && (input == 13 && cf == 1) && a950417444 == 6 && a1335229626 == 12 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 32 a1074841212 = 11 } if a1335229626 == 12 && (a1438665870 == 13 && (input == 15 && cf == 1)) && a950417444 == 6 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 } } // calculate_outputm48 - transpiled function from /tmp/2016-Problem14.c:3942 func calculate_outputm48(input int) { if cf == 1 && a1438665870 == 6 { //;//printf("%d\n", 23); fflush(stdout); calculate_outputm285(input) } if a1438665870 == 7 && cf == 1 { calculate_outputm286(input) } if cf == 1 && a1438665870 == 11 { calculate_outputm288(input) } if cf == 1 && a1438665870 == 13 { calculate_outputm289(input) } } // calculate_outputm290 - transpiled function from /tmp/2016-Problem14.c:3956 func calculate_outputm290(input int) { if input == 1 && (a1478065937 == 32 && (a950417444 == 7 && cf == 1 && a1335229626 == 12)) { cf = 0 a1851906186 = 35 a1149219151 = 32 a1335229626 = 9 } if a950417444 == 7 && (input == 4 && (a1335229626 == 12 && (cf == 1 && a1478065937 == 32))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1602107789 = 32 a1335229626 = 6 a1959734605 = 5 } if a1335229626 == 12 && (input == 6 && (cf == 1 && a950417444 == 7)) && a1478065937 == 32 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 34 a1510817746 = 12 } } // calculate_outputm291 - transpiled function from /tmp/2016-Problem14.c:3977 func calculate_outputm291(input int) { if a1478065937 == 33 && (cf == 1 && a950417444 == 7) && a1335229626 == 12 && input == 8 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a880642005 = 36 a1273086420 = 33 a1335229626 = 8 } if a950417444 == 7 && (cf == 1 && input == 15 && a1478065937 == 33) && a1335229626 == 12 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1498174835 = 34 a1335229626 = 7 a1510817746 = 12 } } // calculate_outputm49 - transpiled function from /tmp/2016-Problem14.c:3992 func calculate_outputm49(input int) { if a1478065937 == 32 && cf == 1 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm290(input) } if cf == 1 && a1478065937 == 33 { calculate_outputm291(input) } } // calculate_outputm294 - transpiled function from /tmp/2016-Problem14.c:4000 func calculate_outputm294(input int) { if a1335229626 == 12 && cf == 1 && a950417444 == 8 && a389949481 == 32 && input == 4 { cf = 0 a1851906186 = 32 a1335229626 = 9 a365147679 = 11 } if cf == 1 && input == 6 && a389949481 == 32 && a1335229626 == 12 && a950417444 == 8 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1259748523 = 35 a1273086420 = 34 a1335229626 = 8 } if a950417444 == 8 && (input == 8 && cf == 1) && a389949481 == 32 && a1335229626 == 12 { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1602107789 = 35 a1335229626 = 6 a1959734605 = 5 } if a1335229626 == 12 && (cf == 1 && input == 13 && a389949481 == 32) && a950417444 == 8 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a950417444 = 9 a565249046 = 7 } } // calculate_outputm295 - transpiled function from /tmp/2016-Problem14.c:4026 func calculate_outputm295(input int) { if a389949481 == 34 && cf == 1 && a1335229626 == 12 && input == 10 && a950417444 == 8 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a950417444 = 10 a1760493561 = 11 } } // calculate_outputm296 - transpiled function from /tmp/2016-Problem14.c:4034 func calculate_outputm296(input int) { if a1335229626 == 12 && (a389949481 == 35 && cf == 1 && input == 2) && a950417444 == 8 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 12 } if a950417444 == 8 && (a389949481 == 35 && (a1335229626 == 12 && (cf == 1 && input == 7))) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1273086420 = 34 a1259748523 = 35 a1335229626 = 8 } if a950417444 == 8 && (a1335229626 == 12 && cf == 1 && a389949481 == 35 && input == 11) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1273086420 = 35 a1335229626 = 8 a1383458586 = 7 } } // calculate_outputm297 - transpiled function from /tmp/2016-Problem14.c:4055 func calculate_outputm297(input int) { if a389949481 == 36 && (cf == 1 && a1335229626 == 12) && input == 4 && a950417444 == 8 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 7 a940472710 = 11 } if a950417444 == 8 && (cf == 1 && input == 6 && a1335229626 == 12) && a389949481 == 36 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1959734605 = 3 a1335229626 = 6 a1210809645 = 12 } if a1335229626 == 12 && (input == 7 && cf == 1 && a950417444 == 8 && a389949481 == 36) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 32 a1074841212 = 11 } if input == 8 && (a389949481 == 36 && cf == 1 && a950417444 == 8) && a1335229626 == 12 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a880660927 = 10 a1335229626 = 10 a200918022 = 8 } if a1335229626 == 12 && (a950417444 == 8 && cf == 1) && input == 2 && a389949481 == 36 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 11 a654409942 = 11 } } // calculate_outputm50 - transpiled function from /tmp/2016-Problem14.c:4088 func calculate_outputm50(input int) { if a389949481 == 32 && cf == 1 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm294(input) } if a389949481 == 34 && cf == 1 { calculate_outputm295(input) } if a389949481 == 35 && cf == 1 { calculate_outputm296(input) } if cf == 1 && a389949481 == 36 { calculate_outputm297(input) } } // calculate_outputm298 - transpiled function from /tmp/2016-Problem14.c:4102 func calculate_outputm298(input int) { if a1335229626 == 12 && (cf == 1 && a565249046 == 5 && a950417444 == 9) && input == 8 { cf = 0 a1335229626 = 9 a1851906186 = 32 a365147679 = 13 } if a1335229626 == 12 && (a950417444 == 9 && (a565249046 == 5 && cf == 1)) && input == 10 { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a880660927 = 13 a1335229626 = 10 a1249410904 = 11 } if a950417444 == 9 && (a565249046 == 5 && cf == 1) && a1335229626 == 12 && input == 15 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a307029135 = 35 a384913899 = 33 a1335229626 = 5 } } // calculate_outputm299 - transpiled function from /tmp/2016-Problem14.c:4123 func calculate_outputm299(input int) { if input == 1 && (a950417444 == 9 && (cf == 1 && a565249046 == 6) && a1335229626 == 12) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 11 a269427955 = 11 a1959734605 = 9 } if a1335229626 == 12 && (a950417444 == 9 && (cf == 1 && a565249046 == 6 && input == 8)) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 11 a338143956 = 35 a269427955 = 12 } if cf == 1 && a1335229626 == 12 && a950417444 == 9 && a565249046 == 6 && input == 13 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a880660927 = 13 a1335229626 = 10 a1249410904 = 7 } } // calculate_outputm300 - transpiled function from /tmp/2016-Problem14.c:4144 func calculate_outputm300(input int) { if a1335229626 == 12 && (a565249046 == 7 && (input == 1 && cf == 1)) && a950417444 == 9 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 11 } if a565249046 == 7 && (a950417444 == 9 && (cf == 1 && input == 8)) && a1335229626 == 12 { //;//printf("%d\n", 16); fflush(stdout); cf = 0 } if input == 12 && (a950417444 == 9 && (a565249046 == 7 && cf == 1 && a1335229626 == 12)) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } if a950417444 == 9 && (a1335229626 == 12 && cf == 1 && a565249046 == 7 && input == 15) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1851906186 = 36 a1335229626 = 9 a2015844410 = 9 } } // calculate_outputm51 - transpiled function from /tmp/2016-Problem14.c:4169 func calculate_outputm51(input int) { if a565249046 == 5 && cf == 1 { //;//printf("%d\n", 25); fflush(stdout); calculate_outputm298(input) } if cf == 1 && a565249046 == 6 { calculate_outputm299(input) } if cf == 1 && a565249046 == 7 { calculate_outputm300(input) } } // calculate_outputm302 - transpiled function from /tmp/2016-Problem14.c:4180 func calculate_outputm302(input int) { if a1760493561 == 9 && (a1335229626 == 12 && (cf == 1 && a950417444 == 10) && input == 4) { cf = 0 a1273086420 = 35 a1335229626 = 8 a1383458586 = 2 } if a1760493561 == 9 && (input == 7 && cf == 1) && a1335229626 == 12 && a950417444 == 10 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1510817746 = 8 a1335229626 = 7 a782039646 = 14 } if a1760493561 == 9 && (a1335229626 == 12 && cf == 1 && a950417444 == 10 && input == 12) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 10 a1664587146 = 32 a880660927 = 14 } if a1335229626 == 12 && (a950417444 == 10 && cf == 1) && a1760493561 == 9 && input == 15 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1335229626 = 7 a307029135 = 36 a1510817746 = 14 } } // calculate_outputm303 - transpiled function from /tmp/2016-Problem14.c:4207 func calculate_outputm303(input int) { if input == 11 && (a1335229626 == 12 && (a950417444 == 10 && cf == 1 && a1760493561 == 10)) { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a389949481 = 36 a950417444 = 8 } } // calculate_outputm304 - transpiled function from /tmp/2016-Problem14.c:4215 func calculate_outputm304(input int) { if input == 2 && (cf == 1 && a1760493561 == 11 && a1335229626 == 12 && a950417444 == 10) { //;//printf("%d\n", 26); fflush(stdout); cf = 0 } if a1335229626 == 12 && (a1760493561 == 11 && (a950417444 == 10 && (input == 7 && cf == 1))) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1510817746 = 13 a1335229626 = 7 a932751092 = 5 } } // calculate_outputm307 - transpiled function from /tmp/2016-Problem14.c:4228 func calculate_outputm307(input int) { if input == 4 && (a1760493561 == 15 && cf == 1) && a1335229626 == 12 && a950417444 == 10 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 11 a1837110425 = 7 } if input == 7 && (a950417444 == 10 && cf == 1 && a1335229626 == 12 && a1760493561 == 15) { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 9 a1851906186 = 32 a365147679 = 9 } if a1335229626 == 12 && (a950417444 == 10 && cf == 1) && input == 11 && a1760493561 == 15 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a269427955 = 13 a1335229626 = 11 a1053530639 = 7 } } // calculate_outputm308 - transpiled function from /tmp/2016-Problem14.c:4249 func calculate_outputm308(input int) { if a950417444 == 10 && (input == 2 && cf == 1) && a1335229626 == 12 && a1760493561 == 16 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1335229626 = 7 a1510817746 = 10 a866603139 = 5 } if input == 3 && (a950417444 == 10 && (a1760493561 == 16 && cf == 1)) && a1335229626 == 12 { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 12 a2045918669 = 8 } if a1760493561 == 16 && (cf == 1 && a950417444 == 10 && input == 8 && a1335229626 == 12) { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1959734605 = 6 a1335229626 = 6 a1210809645 = 10 } if a950417444 == 10 && (a1335229626 == 12 && cf == 1 && input == 10) && a1760493561 == 16 { //;//printf("%d\n", 26); fflush(stdout); cf = 0 a1510817746 = 11 a1335229626 = 7 a654409942 = 13 } if a1335229626 == 12 && (a1760493561 == 16 && (input == 1 && (a950417444 == 10 && cf == 1))) { //;//printf("%d\n", 16); fflush(stdout); cf = 0 a1335229626 = 7 a1498174835 = 36 a1510817746 = 12 } } // calculate_outputm52 - transpiled function from /tmp/2016-Problem14.c:4282 func calculate_outputm52(input int) { if cf == 1 && a1760493561 == 9 { //;//printf("%d\n", 24); fflush(stdout); calculate_outputm302(input) } if a1760493561 == 10 && cf == 1 { calculate_outputm303(input) } if a1760493561 == 11 && cf == 1 { calculate_outputm304(input) } if cf == 1 && a1760493561 == 15 { calculate_outputm307(input) } if cf == 1 && a1760493561 == 16 { calculate_outputm308(input) } } // calculate_outputm309 - transpiled function from /tmp/2016-Problem14.c:4299 func calculate_outputm309(input int) { if input == 2 && (a950417444 == 11 && (a1335229626 == 12 && (a2135239265 == 32 && cf == 1))) { cf = 0 a1602107789 = 32 a1335229626 = 6 a1959734605 = 5 } if a2135239265 == 32 && (cf == 1 && a950417444 == 11 && input == 6 && a1335229626 == 12) { //;//printf("%d\n", 21); fflush(stdout); cf = 0 a269427955 = 11 a1335229626 = 11 a1959734605 = 9 } if a2135239265 == 32 && (input == 12 && cf == 1 && a950417444 == 11) && a1335229626 == 12 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1335229626 = 10 a1664587146 = 35 a880660927 = 14 } if cf == 1 && a2135239265 == 32 && input == 13 && a950417444 == 11 && a1335229626 == 12 { //;//printf("%d\n", 25); fflush(stdout); cf = 0 a1664587146 = 35 a1335229626 = 10 a880660927 = 14 } } // calculate_outputm53 - transpiled function from /tmp/2016-Problem14.c:4326 func calculate_outputm53(input int) { if cf == 1 && a2135239265 == 32 { //;//printf("%d\n", 21); fflush(stdout); calculate_outputm309(input) } } // calculate_outputm314 - transpiled function from /tmp/2016-Problem14.c:4331 func calculate_outputm314(input int) { if input == 1 && (a1335229626 == 12 && cf == 1 && a950417444 == 12) && a1255937088 == 8 { cf = 0 a1335229626 = 9 a1851906186 = 33 a1383458586 = 7 } if a950417444 == 12 && (cf == 1 && a1255937088 == 8 && input == 2) && a1335229626 == 12 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 } } // calculate_outputm315 - transpiled function from /tmp/2016-Problem14.c:4344 func calculate_outputm315(input int) { if cf == 1 && input == 3 && a1255937088 == 10 && a1335229626 == 12 && a950417444 == 12 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 13 a1249410904 = 5 } if a1255937088 == 10 && (a1335229626 == 12 && (cf == 1 && a950417444 == 12) && input == 8) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a1602107789 = 36 a1335229626 = 6 a1959734605 = 5 } } // calculate_outputm316 - transpiled function from /tmp/2016-Problem14.c:4359 func calculate_outputm316(input int) { if a950417444 == 12 && (a1335229626 == 12 && (cf == 1 && input == 3) && a1255937088 == 11) { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a950417444 = 10 a1760493561 = 11 } if a1255937088 == 11 && (a1335229626 == 12 && cf == 1 && a950417444 == 12 && input == 6) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1259748523 = 33 a1273086420 = 34 a1335229626 = 8 } if a1255937088 == 11 && (a950417444 == 12 && (cf == 1 && a1335229626 == 12)) && input == 10 { //;//printf("%d\n", 23); fflush(stdout); cf = 0 a1273086420 = 35 a1335229626 = 8 a1383458586 = 7 } } // calculate_outputm317 - transpiled function from /tmp/2016-Problem14.c:4379 func calculate_outputm317(input int) { if a1335229626 == 12 && (input == 6 && (a1255937088 == 12 && cf == 1) && a950417444 == 12) { //;//printf("%d\n", 22); fflush(stdout); cf = 0 a269427955 = 8 a1335229626 = 11 a1746137894 = 12 } if a1335229626 == 12 && (cf == 1 && a950417444 == 12 && input == 8 && a1255937088 == 12) { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a950417444 = 10 a1760493561 = 16 } if a950417444 == 12 && (cf == 1 && input == 10 && a1335229626 == 12 && a1255937088 == 12) { //;//printf("%d\n", 17); fflush(stdout); cf = 0 a1149219151 = 32 a1851906186 = 35 a1335229626 = 9 } if a950417444 == 12 && (a1335229626 == 12 && (input == 13 && (cf == 1 && a1255937088 == 12))) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 11 a338143956 = 32 a269427955 = 12 } } // calculate_outputm54 - transpiled function from /tmp/2016-Problem14.c:4405 func calculate_outputm54(input int) { if a1255937088 == 8 && cf == 1 { //;//printf("%d\n", 20); fflush(stdout); calculate_outputm314(input) } if cf == 1 && a1255937088 == 10 { calculate_outputm315(input) } if a1255937088 == 11 && cf == 1 { calculate_outputm316(input) } if a1255937088 == 12 && cf == 1 { calculate_outputm317(input) } } // calculate_outputm318 - transpiled function from /tmp/2016-Problem14.c:4419 func calculate_outputm318(input int) { if a950417444 == 13 && (a962095080 == 3 && (a1335229626 == 12 && cf == 1)) && input == 3 { cf = 0 a1510817746 = 10 a1335229626 = 7 a866603139 = 9 } if a950417444 == 13 && (input == 8 && (a962095080 == 3 && cf == 1) && a1335229626 == 12) { //;//printf("%d\n", 24); fflush(stdout); cf = 0 a1335229626 = 8 a1273086420 = 36 a864013224 = 13 } if a950417444 == 13 && (input == 12 && (a962095080 == 3 && cf == 1)) && a1335229626 == 12 { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a384913899 = 35 a1335229626 = 5 a583612627 = 13 } } // calculate_outputm319 - transpiled function from /tmp/2016-Problem14.c:4440 func calculate_outputm319(input int) { if cf == 1 && a962095080 == 5 && a950417444 == 13 && a1335229626 == 12 && input == 10 { //;//printf("%d\n", 18); fflush(stdout); cf = 0 a1335229626 = 10 a880660927 = 15 a1736640332 = 9 } if cf == 1 && a1335229626 == 12 && input == 13 && a950417444 == 13 && a962095080 == 5 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a113972147 = 34 a1335229626 = 11 a269427955 = 10 } } // calculate_outputm320 - transpiled function from /tmp/2016-Problem14.c:4455 func calculate_outputm320(input int) { if a950417444 == 13 && (cf == 1 && input == 2 && a962095080 == 6) && a1335229626 == 12 { //;//printf("%d\n", 19); fflush(stdout); cf = 0 a880660927 = 13 a1335229626 = 10 a1249410904 = 11 } if a1335229626 == 12 && cf == 1 && a950417444 == 13 && a962095080 == 6 && input == 8 { //;//printf("%d\n", 24); fflush(stdout); cf = 0 } } // calculate_outputm321 - transpiled function from /tmp/2016-Problem14.c:4468 func calculate_outputm321(input int) { if a962095080 == 7 && cf == 1 && input == 6 && a950417444 == 13 && a1335229626 == 12 { //;//printf("%d\n", 20); fflush(stdout); cf = 0 a1259748523 = 32 a1273086420 = 34 a1335229626 = 8 } } // calculate_outputm55 - transpiled function from /tmp/2016-Problem14.c:4477 func calculate_outputm55(input int) { if a962095080 == 3 && cf == 1 { //;//printf("%d\n", 26); fflush(stdout); calculate_outputm318(input) } if cf == 1 && a962095080 == 5 { calculate_outputm319(input) } if cf == 1 && a962095080 == 6 { calculate_outputm320(input) } if a962095080 == 7 && cf == 1 { calculate_outputm321(input) } } // calculate_output - transpiled function from /tmp/2016-Problem14.c:4492 func calculate_output(input int) { cf = 1 if a1335229626 == 5 && cf == 1 { if cf == 1 && a384913899 == 32 { calculate_outputm1(input) } if a384913899 == 33 && cf == 1 { calculate_outputm2(input) } if cf == 1 && a384913899 == 34 { calculate_outputm3(input) } if cf == 1 && a384913899 == 35 { calculate_outputm4(input) } if cf == 1 && a384913899 == 36 { calculate_outputm5(input) } } if cf == 1 && a1335229626 == 6 { if a1959734605 == 2 && cf == 1 { calculate_outputm6(input) } if cf == 1 && a1959734605 == 3 { calculate_outputm7(input) } if a1959734605 == 4 && cf == 1 { calculate_outputm8(input) } if a1959734605 == 5 && cf == 1 { calculate_outputm9(input) } if a1959734605 == 6 && cf == 1 { calculate_outputm10(input) } if cf == 1 && a1959734605 == 7 { calculate_outputm11(input) } if a1959734605 == 8 && cf == 1 { calculate_outputm12(input) } if a1959734605 == 9 && cf == 1 { calculate_outputm13(input) } } if a1335229626 == 7 && cf == 1 { if cf == 1 && a1510817746 == 7 { calculate_outputm14(input) } if cf == 1 && a1510817746 == 8 { calculate_outputm15(input) } if a1510817746 == 9 && cf == 1 { calculate_outputm16(input) } if a1510817746 == 10 && cf == 1 { calculate_outputm17(input) } if a1510817746 == 11 && cf == 1 { calculate_outputm18(input) } if cf == 1 && a1510817746 == 12 { calculate_outputm19(input) } if cf == 1 && a1510817746 == 13 { calculate_outputm20(input) } if a1510817746 == 14 && cf == 1 { calculate_outputm21(input) } } if cf == 1 && a1335229626 == 8 { if cf == 1 && a1273086420 == 32 { calculate_outputm22(input) } if cf == 1 && a1273086420 == 33 { calculate_outputm23(input) } if cf == 1 && a1273086420 == 34 { calculate_outputm24(input) } if cf == 1 && a1273086420 == 35 { calculate_outputm25(input) } if cf == 1 && a1273086420 == 36 { calculate_outputm26(input) } } if a1335229626 == 9 && cf == 1 { if a1851906186 == 32 && cf == 1 { calculate_outputm27(input) } if a1851906186 == 33 && cf == 1 { calculate_outputm28(input) } if a1851906186 == 34 && cf == 1 { calculate_outputm29(input) } if cf == 1 && a1851906186 == 35 { calculate_outputm30(input) } if cf == 1 && a1851906186 == 36 { calculate_outputm31(input) } } if a1335229626 == 10 && cf == 1 { if a880660927 == 9 && cf == 1 { calculate_outputm32(input) } if a880660927 == 10 && cf == 1 { calculate_outputm33(input) } if a880660927 == 11 && cf == 1 { calculate_outputm34(input) } if cf == 1 && a880660927 == 12 { calculate_outputm35(input) } if a880660927 == 13 && cf == 1 { calculate_outputm36(input) } if a880660927 == 14 && cf == 1 { calculate_outputm37(input) } if a880660927 == 15 && cf == 1 { calculate_outputm38(input) } if cf == 1 && a880660927 == 16 { calculate_outputm39(input) } } if a1335229626 == 11 && cf == 1 { if cf == 1 && a269427955 == 8 { calculate_outputm41(input) } if cf == 1 && a269427955 == 9 { calculate_outputm42(input) } if cf == 1 && a269427955 == 10 { calculate_outputm43(input) } if cf == 1 && a269427955 == 11 { calculate_outputm44(input) } if cf == 1 && a269427955 == 12 { calculate_outputm45(input) } if a269427955 == 13 && cf == 1 { calculate_outputm46(input) } if a269427955 == 14 && cf == 1 { calculate_outputm47(input) } } if a1335229626 == 12 && cf == 1 { if cf == 1 && a950417444 == 6 { calculate_outputm48(input) } if a950417444 == 7 && cf == 1 { calculate_outputm49(input) } if cf == 1 && a950417444 == 8 { calculate_outputm50(input) } if cf == 1 && a950417444 == 9 { calculate_outputm51(input) } if cf == 1 && a950417444 == 10 { calculate_outputm52(input) } if a950417444 == 11 && cf == 1 { calculate_outputm53(input) } if cf == 1 && a950417444 == 12 { calculate_outputm54(input) } if a950417444 == 13 && cf == 1 { calculate_outputm55(input) } } errorCheck() if cf == 1 { } } // main - transpiled function from /tmp/2016-Problem14.c:4679 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__ != 7 && __RERS__ != 2 && __RERS__ != 10 && __RERS__ != 15 && __RERS__ != 5 && __RERS__ != 4 && __RERS__ != 6 && __RERS__ != 11 && __RERS__ != 9 && __RERS__ != 1 && __RERS__ != 12 && __RERS__ != 8 && __RERS__ != 3 && __RERS__ != 14 && __RERS__ != 13 { // operate eca engine break } calculate_output(__RERS__) } }