//
//	Package - transpiled by c4go
//
//	If you have found any issues, please raise an issue at:
//	https://github.com/Konstantin8105/c4go/
//

package main

// inputs - transpiled function from  /tmp/2019-Problem12.c:9
var inputs []int = []int{2, 9, 4, 10, 5, 1, 6, 8, 7, 3}

// a631351130 - transpiled function from  /tmp/2019-Problem12.c:169
var a631351130 int = 33

// a322697925 - transpiled function from  /tmp/2019-Problem12.c:170
var a322697925 int = 35

// a914727600 - transpiled function from  /tmp/2019-Problem12.c:171
var a914727600 int = 2

// cf - transpiled function from  /tmp/2019-Problem12.c:172
var cf int = 1

// a1178609647 - transpiled function from  /tmp/2019-Problem12.c:173
var a1178609647 int = 12

// a1014630870 - transpiled function from  /tmp/2019-Problem12.c:174
var a1014630870 int = 9

// a623007887 - transpiled function from  /tmp/2019-Problem12.c:175
var a623007887 int = 22

// a1281480214 - transpiled function from  /tmp/2019-Problem12.c:176
var a1281480214 int = 33

// a458716067 - transpiled function from  /tmp/2019-Problem12.c:177
var a458716067 int = -99

// a533054965 - transpiled function from  /tmp/2019-Problem12.c:178
var a533054965 int = -187

// a635095050 - transpiled function from  /tmp/2019-Problem12.c:179
var a635095050 int = 4

// a493087397 - transpiled function from  /tmp/2019-Problem12.c:180
var a493087397 int = 48

// a1304128308 - transpiled function from  /tmp/2019-Problem12.c:181
var a1304128308 int = 9

// a61424176 - transpiled function from  /tmp/2019-Problem12.c:182
var a61424176 int = 7

// a137310972 - transpiled function from  /tmp/2019-Problem12.c:183
var a137310972 int = -160

// a297777914 - transpiled function from  /tmp/2019-Problem12.c:184
var a297777914 int = -1

// a1350544514 - transpiled function from  /tmp/2019-Problem12.c:185
var a1350544514 int = 33

// a668543261 - transpiled function from  /tmp/2019-Problem12.c:186
var a668543261 int = -103

// a881759693 - transpiled function from  /tmp/2019-Problem12.c:187
var a881759693 int = 9

// a224147222 - transpiled function from  /tmp/2019-Problem12.c:188
var a224147222 int = 485

// a1809397514 - transpiled function from  /tmp/2019-Problem12.c:189
var a1809397514 int = 33

// a363377125 - transpiled function from  /tmp/2019-Problem12.c:190
var a363377125 int = 6

// a2086194771 - transpiled function from  /tmp/2019-Problem12.c:191
var a2086194771 int = 32

// a558123585 - transpiled function from  /tmp/2019-Problem12.c:192
var a558123585 int = 270

// a387693620 - transpiled function from  /tmp/2019-Problem12.c:193
var a387693620 int = 11

// a754697839 - transpiled function from  /tmp/2019-Problem12.c:194
var a754697839 int = 9

// a1425079908 - transpiled function from  /tmp/2019-Problem12.c:195
var a1425079908 int = 1

// a702083417 - transpiled function from  /tmp/2019-Problem12.c:196
var a702083417 int = 10

// a230802418 - transpiled function from  /tmp/2019-Problem12.c:197
var a230802418 int = 32

// a631219524 - transpiled function from  /tmp/2019-Problem12.c:198
var a631219524 int = 13

// a462100686 - transpiled function from  /tmp/2019-Problem12.c:199
var a462100686 int = 6

// a1034097962 - transpiled function from  /tmp/2019-Problem12.c:200
var a1034097962 int = 36

// a470024258 - transpiled function from  /tmp/2019-Problem12.c:201
var a470024258 int = 8

// a1524975081 - transpiled function from  /tmp/2019-Problem12.c:202
var a1524975081 int = 8

// a281306570 - transpiled function from  /tmp/2019-Problem12.c:203
var a281306570 int = 2

// a306593017 - transpiled function from  /tmp/2019-Problem12.c:204
var a306593017 int = 90

// a11629652 - transpiled function from  /tmp/2019-Problem12.c:205
var a11629652 int = 34

// a542521680 - transpiled function from  /tmp/2019-Problem12.c:206
var a542521680 int = 34

// a2062265878 - transpiled function from  /tmp/2019-Problem12.c:207
var a2062265878 int = 114

// a995729035 - transpiled function from  /tmp/2019-Problem12.c:208
var a995729035 int = 1

// a240070971 - transpiled function from  /tmp/2019-Problem12.c:209
var a240070971 int

// a1287740622 - transpiled function from  /tmp/2019-Problem12.c:210
var a1287740622 int

// a1647447633 - transpiled function from  /tmp/2019-Problem12.c:211
var a1647447633 int = 1

// a333446562 - transpiled function from  /tmp/2019-Problem12.c:212
var a333446562 int = 1

// a1783572941 - transpiled function from  /tmp/2019-Problem12.c:213
var a1783572941 int = 1

// a1717797827 - transpiled function from  /tmp/2019-Problem12.c:214
var a1717797827 int = 1

// a130136624 - transpiled function from  /tmp/2019-Problem12.c:215
var a130136624 int

// a758764692 - transpiled function from  /tmp/2019-Problem12.c:216
var a758764692 int = 1

// a2027636238 - transpiled function from  /tmp/2019-Problem12.c:217
var a2027636238 int = 1

// a815200306 - transpiled function from  /tmp/2019-Problem12.c:218
var a815200306 int = 1

// a204693615 - transpiled function from  /tmp/2019-Problem12.c:219
var a204693615 int

// a1079276458 - transpiled function from  /tmp/2019-Problem12.c:220
var a1079276458 int

// a116248116 - transpiled function from  /tmp/2019-Problem12.c:221
var a116248116 int = 1

// a426209962 - transpiled function from  /tmp/2019-Problem12.c:222
var a426209962 int

// a2114497607 - transpiled function from  /tmp/2019-Problem12.c:223
var a2114497607 int

// a1891042067 - transpiled function from  /tmp/2019-Problem12.c:224
var a1891042067 int = 1

// a498158367 - transpiled function from  /tmp/2019-Problem12.c:225
var a498158367 int

// a1449483205 - transpiled function from  /tmp/2019-Problem12.c:226
var a1449483205 int

// a2070216165 - transpiled function from  /tmp/2019-Problem12.c:227
var a2070216165 int

// a1958569006 - transpiled function from  /tmp/2019-Problem12.c:228
var a1958569006 int

// a1471952247 - transpiled function from  /tmp/2019-Problem12.c:229
var a1471952247 int = 2

// a854970918 - transpiled function from  /tmp/2019-Problem12.c:230
var a854970918 int

// a1406068516 - transpiled function from  /tmp/2019-Problem12.c:231
var a1406068516 int = 3

// a1323714376 - transpiled function from  /tmp/2019-Problem12.c:232
var a1323714376 int = 2

// a188376983 - transpiled function from  /tmp/2019-Problem12.c:233
var a188376983 int = 2

// a2061130608 - transpiled function from  /tmp/2019-Problem12.c:234
var a2061130608 int = 2

// a943871142 - transpiled function from  /tmp/2019-Problem12.c:235
var a943871142 int = 3

// a521016673 - transpiled function from  /tmp/2019-Problem12.c:236
var a521016673 int = 1

// a1513636275 - transpiled function from  /tmp/2019-Problem12.c:237
var a1513636275 int

// a706425043 - transpiled function from  /tmp/2019-Problem12.c:238
var a706425043 int

// a1019899841 - transpiled function from  /tmp/2019-Problem12.c:239
var a1019899841 int = 3

// a774092986 - transpiled function from  /tmp/2019-Problem12.c:240
var a774092986 int = 2

// __VERIFIER_error - transpiled function from  /tmp/2019-Problem12.c:6
func __VERIFIER_error(n int) {
}

// errorCheck - transpiled function from  /tmp/2019-Problem12.c:243
func errorCheck() {
	if a61424176 == 7 && a1178609647 == 10 && 259 < a558123585 {
		// inputs
		cf = 0
		__VERIFIER_error(0)
	}
	if 266 < a306593017 && 401 >= a306593017 && a1524975081 == 11 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(1)
	}
	if a387693620 == 6 && a1524975081 == 12 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(2)
	}
	if a281306570 == 1 && a1178609647 == 14 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(3)
	}
	if a754697839 == 10 && a1524975081 == 10 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(4)
	}
	if a914727600 == 9 && a1524975081 == 9 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(5)
	}
	if a1014630870 == 15 && (277 < a2062265878 && 375 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(6)
	}
	if a1304128308 == 6 && a1178609647 == 7 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(7)
	}
	if 3 < a493087397 && 122 >= a493087397 && a1178609647 == 13 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(8)
	}
	if a387693620 == 11 && a1524975081 == 12 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(9)
	}
	if a702083417 == 4 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(10)
	}
	if a61424176 == 10 && a1178609647 == 10 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(11)
	}
	if a754697839 == 15 && a1524975081 == 10 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(12)
	}
	if a1304128308 == 9 && a1524975081 == 13 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(13)
	}
	if a230802418 == 33 && a281306570 == 7 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(14)
	}
	if a1304128308 == 7 && a1524975081 == 13 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(15)
	}
	if a387693620 == 7 && a1524975081 == 12 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(16)
	}
	if a914727600 == 8 && a1178609647 == 9 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(17)
	}
	if a1014630870 == 9 && (277 < a2062265878 && 375 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(18)
	}
	if a462100686 == 8 && a281306570 == 4 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(19)
	}
	if a914727600 == 6 && a1524975081 == 7 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(20)
	}
	if a631219524 == 16 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(21)
	}
	if a881759693 == 12 && a281306570 == 8 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(22)
	}
	if a230802418 == 35 && a281306570 == 7 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(23)
	}
	if a1014630870 == 12 && (277 < a2062265878 && 375 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(24)
	}
	if a224147222 <= 193 && a1524975081 == 8 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(25)
	}
	if a61424176 == 8 && a1178609647 == 10 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(26)
	}
	if 306 < a493087397 && a281306570 == 6 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(27)
	}
	if a61424176 == 13 && a1178609647 == 10 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(28)
	}
	if a914727600 == 4 && a1178609647 == 9 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(29)
	}
	if 83 < a623007887 && 160 >= a623007887 && a1178609647 == 8 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(30)
	}
	if 306 < a493087397 && a1178609647 == 13 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(31)
	}
	if a11629652 == 35 && a1178609647 == 11 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(32)
	}
	if a1034097962 == 33 && a281306570 == 5 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(33)
	}
	if a702083417 == 10 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(34)
	}
	if a702083417 == 8 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(35)
	}
	if a281306570 == 5 && a1178609647 == 14 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(36)
	}
	if a2086194771 == 33 && a1524975081 == 14 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(37)
	}
	if a881759693 == 13 && a281306570 == 8 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(38)
	}
	if a1304128308 == 12 && a1524975081 == 13 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(39)
	}
	if a1014630870 == 14 && (277 < a2062265878 && 375 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(40)
	}
	if a881759693 == 6 && a281306570 == 8 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(41)
	}
	if a1304128308 == 11 && a1178609647 == 7 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(42)
	}
	if 42 < a623007887 && 83 >= a623007887 && a1178609647 == 8 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(43)
	}
	if a754697839 == 8 && a1524975081 == 10 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(44)
	}
	if a702083417 == 6 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(45)
	}
	if a306593017 <= 109 && a1524975081 == 11 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(46)
	}
	if a61424176 == 9 && a1178609647 == 10 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(47)
	}
	if 351 < a224147222 && 472 >= a224147222 && a1524975081 == 8 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(48)
	}
	if a914727600 == 2 && a1524975081 == 9 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(49)
	}
	if a322697925 == 36 && (130 < a2062265878 && 277 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(50)
	}
	if a702083417 == 9 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(51)
	}
	if a11629652 == 36 && a1178609647 == 11 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(52)
	}
	if a754697839 == 9 && a1524975081 == 10 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(53)
	}
	if a1014630870 == 13 && (277 < a2062265878 && 375 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(54)
	}
	if a230802418 == 36 && a281306570 == 7 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(55)
	}
	if 122 < a493087397 && 306 >= a493087397 && a1178609647 == 13 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(56)
	}
	if a914727600 == 7 && a1524975081 == 9 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(57)
	}
	if a631219524 == 15 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(58)
	}
	if a702083417 == 7 && a2062265878 <= 130 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(59)
	}
	if 122 < a493087397 && 306 >= a493087397 && a281306570 == 6 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(60)
	}
	if a914727600 == 4 && a1524975081 == 9 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(61)
	}
	if a631219524 == 13 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(62)
	}
	if 122 < a493087397 && 306 >= a493087397 && a281306570 == 1 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(63)
	}
	if a1304128308 == 13 && a1178609647 == 7 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(64)
	}
	if a1034097962 == 35 && a281306570 == 5 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(65)
	}
	if a1034097962 == 36 && a281306570 == 5 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(66)
	}
	if a631219524 == 9 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(67)
	}
	if a914727600 == 7 && a1524975081 == 7 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(68)
	}
	if a322697925 == 34 && (130 < a2062265878 && 277 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(69)
	}
	if a462100686 == 10 && a281306570 == 4 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(70)
	}
	if 109 < a306593017 && 266 >= a306593017 && a1524975081 == 11 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(71)
	}
	if a2086194771 == 34 && a1524975081 == 14 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(72)
	}
	if a914727600 == 5 && a1524975081 == 7 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(73)
	}
	if 401 < a306593017 && a1524975081 == 11 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(74)
	}
	if a61424176 == 11 && a1178609647 == 10 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(75)
	}
	if a230802418 == 34 && a281306570 == 7 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(76)
	}
	if 193 < a224147222 && 351 >= a224147222 && a1524975081 == 8 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(77)
	}
	if a322697925 == 33 && (130 < a2062265878 && 277 >= a2062265878) && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(78)
	}
	if a914727600 == 5 && a1178609647 == 9 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(79)
	}
	if a1304128308 == 6 && a1524975081 == 13 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(80)
	}
	if a1034097962 == 34 && a281306570 == 5 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(81)
	}
	if 160 < a623007887 && a1178609647 == 8 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(82)
	}
	if a281306570 == 2 && a1178609647 == 14 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(83)
	}
	if a754697839 == 13 && a1524975081 == 10 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(84)
	}
	if a914727600 == 7 && a1178609647 == 9 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(85)
	}
	if a11629652 == 34 && a1178609647 == 11 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(86)
	}
	if a11629652 == 32 && a1178609647 == 11 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(87)
	}
	if 193 < a224147222 && 351 >= a224147222 && a281306570 == 2 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(88)
	}
	if a631219524 == 10 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(89)
	}
	if a914727600 == 3 && a1524975081 == 7 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(90)
	}
	if a281306570 == 3 && a1178609647 == 14 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(91)
	}
	if 351 < a224147222 && 472 >= a224147222 && a281306570 == 2 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(92)
	}
	if a631219524 == 11 && 375 < a2062265878 && (77 < a558123585 && 259 >= a558123585) {
		cf = 0
		__VERIFIER_error(93)
	}
	if a1034097962 == 32 && a281306570 == 5 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(94)
	}
	if a881759693 == 10 && a281306570 == 8 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(95)
	}
	if a914727600 == 9 && a1524975081 == 7 && (12 < a558123585 && 77 >= a558123585) {
		cf = 0
		__VERIFIER_error(96)
	}
	if a462100686 == 11 && a281306570 == 4 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(97)
	}
	if a230802418 == 32 && a281306570 == 7 && a558123585 <= 12 {
		cf = 0
		__VERIFIER_error(98)
	}
	if 158 < a137310972 && a1178609647 == 12 && 259 < a558123585 {
		cf = 0
		__VERIFIER_error(99)
	}
}

// calculate_outputm29 - transpiled function from  /tmp/2019-Problem12.c:645
func calculate_outputm29(input int) {
	if a470024258 == 8 && (input == 5 && cf == 1) && (a635095050 == 4 && (a363377125 == 6 && a631351130 == 33) && a1350544514 == 33 && a668543261 <= -85) {
		cf = 0
		a1178609647 = a470024258 - a363377125 + 12
		a281306570 = a1178609647*a363377125 + -76
		a558123585 = ((a558123585*a668543261%14999-14155)%14870 - -15129) * 1
	}
	if a1809397514 == 33 && (cf == 1 && input == 6 && a1350544514 == 33) && a1425079908 == 1 && (a635095050 == 4 && (a1281480214 == 33 && a668543261 <= -85)) {
		//printf("%d\n", 18); fflush(stdout);
		a1287740622 -= func() int {
			if a1287740622-20 < a1287740622 {
				return 2
			}
			return 0
		}()
		a1958569006 += func() int {
			if a1958569006+20 > a1958569006 {
				return 3
			}
			return 0
		}()
		cf = 0
		a493087397 = (a493087397*a297777914%14999-14999)/5 - 21784
		a281306570 = a635095050 - -2
	}
}

// calculate_outputm1 - transpiled function from  /tmp/2019-Problem12.c:661
func calculate_outputm1(input int) {
	if a1281480214 == 33 && (cf == 1 && (3 < a493087397 && 122 >= a493087397) && a533054965 <= -173 && a635095050 == 4) && (a470024258 == 8 && (a363377125 == 6 && a631351130 == 33)) {
		//printf("%d\n", 17); fflush(stdout);
		calculate_outputm29(input)
	}
}

// calculate_outputm33 - transpiled function from  /tmp/2019-Problem12.c:666
func calculate_outputm33(input int) {
	if input == 3 && cf == 1 && (a1281480214 == 33 && (a631351130 == 33 && (a668543261 <= -85 && a470024258 == 8)) && a533054965 <= -173 && a458716067 <= -81) {
		cf = 0
		a1350544514 = 32
		a668543261 = (a668543261*a224147222%14999-13339)%96 - -49 - -11862 - 11809
		a1524975081 = a281306570 - -10
		a470024258 = a1524975081*a363377125 + -63
		a1809397514 = 32
		a1281480214 = 32
		a297777914 = (a297777914*a224147222%14999%71 - -82)*1 + -1
		a1425079908 = a363377125*a363377125 + -34
		a387693620 = a363377125 - a363377125 + 12
		a533054965 = (a533054965*a224147222%14999+1470)%49 - 122 + -1
		a631351130 = 32
		a558123585 = a558123585*a224147222%14999*2/5/5%32 + 45
		a458716067 = (a458716067*a533054965%14999/5+26285+-4752)%38 - 56
		a363377125 = a635095050 + 2
	}
	if a470024258 == 8 && (a533054965 <= -173 && (input == 6 && cf == 1) && a363377125 == 6 && a1809397514 == 33 && a1281480214 == 33 && a631351130 == 33) {
		//printf("%d\n", 18); fflush(stdout);
		a1323714376 -= func() int {
			if a1323714376-20 < a1323714376 {
				return 1
			}
			return 0
		}()
		cf = 0
		a1304128308 = a1425079908/a281306570 - -7
		a631351130 = 32
		a533054965 = (a533054965*a224147222%14999%49-121-3)*5%49 - 121
		a470024258 = a1425079908 - -8
		a1281480214 = 32
		a1524975081 = a363377125 + 7
		a1809397514 = 32
		a363377125 = a1425079908 + 6
		a558123585 = (a558123585*a668543261%14999%32 - -45 - -14573)/5 + -2877
		a458716067 = (a458716067*a668543261%14999%38 + -65 - 2) * 10 / 9
		a1425079908 = a470024258 + a470024258 + -16
		a668543261 = (a668543261*a297777914%14999-8767)%96 - -11 - 7165 + 7165
	}
}

// calculate_outputm2 - transpiled function from  /tmp/2019-Problem12.c:702
func calculate_outputm2(input int) {
	if a1809397514 == 33 && (cf == 1 && 472 < a224147222 && a470024258 == 8 && a297777914 <= 10 && a458716067 <= -81) && (a1281480214 == 33 && a533054965 <= -173) {
		//printf("%d\n", 24); fflush(stdout);
		calculate_outputm33(input)
	}
}

// calculate_outputm34 - transpiled function from  /tmp/2019-Problem12.c:707
func calculate_outputm34(input int) {
	if a631351130 == 33 && a1425079908 == 1 && a1350544514 == 33 && a533054965 <= -173 && (a635095050 == 4 && (input == 5 && cf == 1 && a458716067 <= -81)) {
		cf = 0
		a914727600 = a363377125/a281306570 - -1
		a1178609647 = a470024258 - -1
		a558123585 = a558123585*a458716067%14999/5/5 + 17827
		a458716067 = ((a458716067*a668543261%14999+5140)%99-1)*5%99 + 98
	}
	if a297777914 <= 10 && (a533054965 <= -173 && a668543261 <= -85) && (a1281480214 == 33 && (cf == 1 && input == 3 && a1425079908 == 1) && a363377125 == 6) && a1891042067 == 10 {
		//printf("%d\n", 24); fflush(stdout);
		cf = 0
		a1014630870 = a635095050 + a363377125 + 5
		a2062265878 = (a558123585*a558123585%14999*2-0-0)%48 - -326
		a558123585 = (a558123585*a458716067%14999*2%90 - -167)*5%90 - -86
	}
	if a297777914 <= 10 && (a1809397514 == 33 && (input == 2 && cf == 1) && a458716067 <= -81 && a631351130 == 33) && (a363377125 == 6 && a1281480214 == 33) {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a1350544514 = 34
		a1014630870 = a363377125 + a281306570 - -4
		a2062265878 = (a533054965*a668543261%14999 - -6674 - -4204)%48 - -301
		a668543261 = (a2062265878*a458716067%14999%15+124 - -5826)/5 + -1068
		a1425079908 = a635095050/a1014630870 - -3
		a297777914 = (a297777914*a2062265878%14999+1602 - -755 - 6801)%109 - -263
		a533054965 = (a458716067*a668543261%14999%101 + 29 + 1) / 5
		a558123585 = (a558123585*a458716067%14999-2567+-3285-7978)%90 - -168
		a631351130 = 34
		a1809397514 = 34
		a363377125 = a1014630870 - 5
		a470024258 = a1014630870 + -3
		a1281480214 = 34
		a458716067 = a458716067*a668543261%14999%99 + 98 - 1 + 1
	}
}

// calculate_outputm3 - transpiled function from  /tmp/2019-Problem12.c:740
func calculate_outputm3(input int) {
	if a458716067 <= -81 && a297777914 <= 10 && (a668543261 <= -85 && (a542521680 == 32 && cf == 1 && a470024258 == 8) && a635095050 == 4 && a363377125 == 6) {
		//printf("%d\n", 19); fflush(stdout);
		calculate_outputm34(input)
	}
}

// calculate_outputm38 - transpiled function from  /tmp/2019-Problem12.c:745
func calculate_outputm38(input int) {
	if cf == 1 && input == 1 && a631351130 == 33 && (a458716067 <= -81 && (a1350544514 == 33 && (a470024258 == 8 && a1281480214 == 33) && a635095050 == 4)) {
		cf = 0
		a458716067 = a668543261*a668543261%14999%38 + -64 + -16479 - -16471
		a558123585 = (a558123585*a668543261%14999%32 - -45 - 8943)*3%32 + 75
		a387693620 = a363377125 + a363377125
		a297777914 = (a458716067*a668543261%14999+10665 - -3547 - -248)%71 - -46
		a470024258 = a462100686 + a462100686 - 15
		a1524975081 = a387693620
		a1809397514 = 32
		a533054965 = ((a533054965*a297777914%14999+-14549)/5+10718)%49 - 136
		a1425079908 = a1524975081 - 10
		a1350544514 = 32
		a363377125 = a387693620 + a281306570 + -9
		a635095050 = a470024258 - 4
		a631351130 = 32
		a1281480214 = 32
		a668543261 = a668543261*a297777914%14999%96 + 11 - -1 - -1
	}
	if a1809397514 == 33 && (a297777914 <= 10 && (a668543261 <= -85 && a533054965 <= -173 && a1350544514 == 33)) && (a458716067 <= -81 && (cf == 1 && input == 2)) {
		//printf("%d\n", 25); fflush(stdout);
		cf = 0
		a224147222 = a533054965*a458716067%14999 + 5666 - 18218 + 23436
		a281306570 = a470024258*a470024258 + -62
		a635095050 = a281306570 - -3
	}
	if cf == 1 && input == 3 && a458716067 <= -81 && a363377125 == 6 && (a470024258 == 8 && (a631351130 == 33 && (a297777914 <= 10 && a668543261 <= -85))) {
		//printf("%d\n", 26); fflush(stdout);
		cf = 0
		a1178609647 = a363377125*a635095050 + -11
		a558123585 = (a558123585*a297777914%14999/5 - 3690) * -4 / 10
		a493087397 = a558123585*a297777914%14999*2%14846 + 15152 - -1
	}
}

// calculate_outputm39 - transpiled function from  /tmp/2019-Problem12.c:778
func calculate_outputm39(input int) {
	if a297777914 <= 10 && a363377125 == 6 && (a631351130 == 33 && (a470024258 == 8 && (a635095050 == 4 && (cf == 1 && input == 3) && a533054965 <= -173))) {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a533054965 = 79 + -3922 - -3696 + -22
		a1350544514 = 32
		a558123585 = (a558123585*a668543261%14999+6381)%32 + 44 + 0
		a754697839 = a462100686*a470024258 + -90
		a668543261 = (a558123585*a533054965%96+91)/5 - 22860 + 22840
		a635095050 = a281306570 - a754697839 - -15
		a1281480214 = 32
		a458716067 = (a458716067*a297777914%14999+8952)%38 - 41 - 1
		a1524975081 = a1425079908 + 9
		a297777914 = (a668543261*a668543261+2370)%71 + 82 + -1
		a470024258 = a363377125 - a363377125 + 9
		a1425079908 = a754697839 - 12
		a1809397514 = 32
		a363377125 = 7
	}
	if a1425079908 == 1 && (cf == 1 && input == 10) && a458716067 <= -81 && a1350544514 == 33 && (a1281480214 == 33 && a297777914 <= 10 && a1809397514 == 33) {
		//printf("%d\n", 19); fflush(stdout);
		a2070216165 += func() int {
			if a2070216165+20 > a2070216165 {
				return 4
			}
			return 0
		}()
		cf = 0
		a1809397514 = 32
		a1350544514 = 32
		a533054965 = 28*-51/10 + 45 - -6
		a1304128308 = a470024258 + 2
		a1524975081 = a1425079908 + 12
		a297777914 = a533054965*a533054965/5%71 - -61 + 9
		a635095050 = a281306570 - -1
		a458716067 = (a458716067*a668543261%14999+-7956)%38 + -41 + -26615 + 26613
		a1281480214 = 32
		a631351130 = 32
		a1425079908 = a470024258 + -6
		a558123585 = (a558123585*a668543261%14999/5-16502)%32 + 66
		a668543261 = (a668543261*a297777914%14999 - -23028)%96 - -7 - 76
		a363377125 = a462100686 - 6
		a470024258 = a635095050 + a1304128308 + -6
	}
	if a1350544514 == 33 && (a1809397514 == 33 && a363377125 == 6) && a1281480214 == 33 && (a668543261 <= -85 && (cf == 1 && input == 4 && a297777914 <= 10)) {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a1178609647 = a470024258 - -6
		a558123585 = (a558123585*a668543261%14999 - -2415)%14870 - -15129 - 0
		a281306570 = a462100686 - 12
	}
}

// calculate_outputm4 - transpiled function from  /tmp/2019-Problem12.c:823
func calculate_outputm4(input int) {
	if a533054965 <= -173 && a1350544514 == 33 && (a631351130 == 33 && (a635095050 == 4 && (a462100686 == 12 && cf == 1 && a1809397514 == 33) && a668543261 <= -85)) {
		//printf("%d\n", 19); fflush(stdout);
		calculate_outputm38(input)
	}
	if a1425079908 == 1 && (a668543261 <= -85 && a631351130 == 33) && a1350544514 == 33 && (a1281480214 == 33 && (a462100686 == 13 && cf == 1) && a458716067 <= -81) {
		calculate_outputm39(input)
	}
}

// calculate_outputm45 - transpiled function from  /tmp/2019-Problem12.c:831
func calculate_outputm45(input int) {
	if a1425079908 == 1 && a470024258 == 8 && a668543261 <= -85 && a363377125 == 6 && (a635095050 == 4 && (cf == 1 && input == 10) && a1350544514 == 33) {
		cf = 0
		a1281480214 = 32
		a1350544514 = 32
		a558123585 = a558123585*a458716067%14999%32 - -44 - 0 - -2
		a668543261 = a668543261*a533054965%14999%96 + 7 + -75 + 20
		a533054965 = (a533054965*a668543261%14999%49-123-19892)*1 - -19893
		a363377125 = a635095050 - -3
		a631351130 = 32
		a1524975081 = a1425079908 - -6
		a914727600 = a470024258 - 6
		a470024258 = a914727600 - -7
		a297777914 = ((a297777914*a493087397%14999%71 - -81)*5 - -10705)%71 + 66
		a1425079908 = a635095050 - 2
		a458716067 = (a558123585*a668543261%38 - 40) * 1 * 1
		a1809397514 = 32
		a635095050 = a281306570/a363377125 - -5
	}
	if a1425079908 == 1 && (a1350544514 == 33 && (a1281480214 == 33 && (input == 7 && cf == 1) && a668543261 <= -85)) && (a458716067 <= -81 && a1809397514 == 33) && a1287740622 == -13 {
		//printf("%d\n", 23); fflush(stdout);
		cf = 0
		a1034097962 = 33
		a281306570 = a363377125*a635095050 + -19
	}
	if a1425079908 == 1 && (a297777914 <= 10 && (input == 5 && cf == 1 && a470024258 == 8)) && (a533054965 <= -173 && (a1281480214 == 33 && a631351130 == 33)) {
		//printf("%d\n", 16); fflush(stdout);
		a1513636275 += func() int {
			if a1513636275+20 > a1513636275 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1178609647 = a281306570 - -2
		a623007887 = (a493087397*a493087397%14999%14919+15079)/5 - -14612
		a558123585 = (a558123585*a458716067%14999-6780)/5 + 8164
	}
}

// calculate_outputm6 - transpiled function from  /tmp/2019-Problem12.c:864
func calculate_outputm6(input int) {
	if a668543261 <= -85 && (a1350544514 == 33 && a533054965 <= -173) && (a470024258 == 8 && (a493087397 <= 3 && cf == 1) && a631351130 == 33 && a1281480214 == 33) {
		//printf("%d\n", 22); fflush(stdout);
		calculate_outputm45(input)
	}
}

// calculate_outputm57 - transpiled function from  /tmp/2019-Problem12.c:869
func calculate_outputm57(input int) {
	if a470024258 == 9 && a631351130 == 32 && a1350544514 == 32 && (-85 < a668543261 && 109 >= a668543261) && (10 < a297777914 && 153 >= a297777914 && (input == 8 && cf == 1 && a363377125 == 7)) {
		a1891042067 += func() int {
			if a1891042067+20 > a1891042067 {
				return 2
			}
			return 0
		}()
		a498158367 -= func() int {
			if a498158367-20 < a498158367 {
				return 4
			}
			return 0
		}()
		cf = 0
		a297777914 = a297777914 + -16664 + -8008 - 136
		a668543261 = (a668543261*a533054965*1%14957 - 15041) * 1
		a1281480214 = 33
		a1809397514 = 33
		a1178609647 = a914727600 + 5
		a533054965 = a533054965*a668543261%14999 - 21502 + -8213 - 256
		a1304128308 = a635095050 + a470024258 + -4
		a558123585 = (a558123585*a458716067-23740)/5 - -24226
		a363377125 = a470024258 - 3
		a458716067 = ((a297777914*a297777914%14999 - -7846)%14959+-15039)/5 + -7626
		a631351130 = 33
		a1425079908 = a1524975081 + -6
		a1350544514 = 33
		a635095050 = a1425079908 - -3
		a470024258 = a1425079908 - a1304128308 - -17
	}
	if -173 < a533054965 && -73 >= a533054965 && (cf == 1 && input == 4) && (a1350544514 == 32 && (a631351130 == 32 && (a1809397514 == 32 && a363377125 == 7 && a635095050 == 5))) && a498158367 == -13 {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a2062265878 = (a558123585*a668543261*3+-3466)/5 + -22672
		a558123585 = a558123585*a2062265878%14999%90 + 169 - 19144 - -12545 - -6597
		a702083417 = a363377125 - a1425079908 - -5
	}
	if a470024258 == 9 && (-173 < a533054965 && -73 >= a533054965 && a1809397514 == 32) && (a1425079908 == 2 && (input == 1 && cf == 1 && a363377125 == 7 && (-81 < a458716067 && -3 >= a458716067))) {
		//printf("%d\n", 18); fflush(stdout);
		a943871142 -= func() int {
			if a943871142-20 < a943871142 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1524975081 = a635095050 + 3
		a224147222 = (a458716067*a668543261%60 + 411 - 0) * 1
	}
}

// calculate_outputm59 - transpiled function from  /tmp/2019-Problem12.c:904
func calculate_outputm59(input int) {
	if a635095050 == 5 && (a363377125 == 7 && (a1350544514 == 32 && (input == 2 && cf == 1)) && a631351130 == 32) && (a1281480214 == 32 && a1425079908 == 2) {
		//printf("%d\n", 22); fflush(stdout);
		a854970918 += func() int {
			if a854970918+20 > a854970918 {
				return 1
			}
			return 0
		}()
		cf = 0
		a363377125 = a1425079908 - -6
		a1809397514 = 34
		a2062265878 = (a668543261*a533054965-4987)%73 + 204 + -1
		a533054965 = a297777914*a297777914%101 - 41 + 9872 - 9815
		a558123585 = a558123585*a458716067%90 - -251 + 1 - -29215 - 29239
		a1350544514 = 34
		a458716067 = a458716067*a297777914%99 - -154 - 24 + -6211 + 6213
		a470024258 = a914727600 - -6
		a668543261 = (a668543261*a2062265878%14999%15 + 124 - -1) * 1
		a1281480214 = 34
		a631351130 = 34
		a1425079908 = a363377125 - 5
		a635095050 = a470024258 + -4
		a322697925 = 35
		a297777914 = (a297777914*a2062265878%14999 - -4194)%109 + 233 + -1788 + 1724
	}
	if a631351130 == 32 && (10 < a297777914 && 153 >= a297777914 && a1281480214 == 32) && (-85 < a668543261 && 109 >= a668543261 && (a1425079908 == 2 && (cf == 1 && input == 8 && a363377125 == 7))) {
		//printf("%d\n", 18); fflush(stdout);
		a995729035 += func() int {
			if a995729035+20 > a995729035 {
				return 4
			}
			return 0
		}()
		a1958569006 -= func() int {
			if a1958569006-20 < a1958569006 {
				return 2
			}
			return 0
		}()
		a1019899841 -= func() int {
			if a1019899841-20 < a1019899841 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1809397514 = 33
		a1350544514 = 33
		a363377125 = a1425079908/a470024258 + 6
		a558123585 = a558123585*a533054965*2 + 3931 + 26133
		a1281480214 = 33
		a281306570 = a1425079908 + 2
		a631351130 = 33
		a458716067 = a458716067*a668543261 - 10562 - 8648 - 1671
		a1178609647 = a635095050 + 9
		a635095050 = a1524975081 - 3
		a668543261 = a668543261*a458716067%14999/5/5*5 + -21823
		a297777914 = a297777914*a558123585%14999 + -27048 - 1266 + -556
		a470024258 = a1524975081 - -1
		a533054965 = (a533054965*10/4 + -12288) * 2
		a1425079908 = a914727600 + a1524975081 - 10
	}
	if a1281480214 == 32 && (10 < a297777914 && 153 >= a297777914 && (-173 < a533054965 && -73 >= a533054965) && a631351130 == 32) && (a363377125 == 7 && (cf == 1 && input == 10 && a470024258 == 9)) {
		//printf("%d\n", 25); fflush(stdout);
		cf = 0
	}
	if a1425079908 == 2 && (a635095050 == 5 && a1350544514 == 32) && (a1809397514 == 32 && (-81 < a458716067 && -3 >= a458716067 && (a631351130 == 32 && (cf == 1 && input == 7)))) && a116248116 == -12 {
		//printf("%d\n", 16); fflush(stdout);
		a1406068516 -= func() int {
			if a1406068516-20 < a1406068516 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1524975081 = a635095050 + 8
		a1304128308 = a470024258 - -3
	}
	if -85 < a668543261 && 109 >= a668543261 && (input == 1 && cf == 1) && (a470024258 == 9 && (a1281480214 == 32 && (a1350544514 == 32 && a1425079908 == 2)) && (-173 < a533054965 && -73 >= a533054965)) {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a281306570 = a914727600 + 4
		a297777914 = (a297777914*a458716067-3995)*1 + -12467
		a631351130 = 33
		a881759693 = a1425079908/a363377125 + 12
		a1809397514 = 33
		a558123585 = (a558123585*a668543261+-14351)*1 - 4486
		a1281480214 = 33
		a363377125 = a1524975081 + a470024258 - 10
		a668543261 = a533054965*a458716067 - 23127 - 5133 + -628
		a1350544514 = 33
		a470024258 = a281306570
		a458716067 = (a458716067*a558123585%14999/5 - 18875) * 1
		a635095050 = a281306570 + -4
		a533054965 = (a533054965*a297777914%14999*2+-1)*1%14913 - 15085
		a1425079908 = a281306570/a635095050 + -1
	}
}

// calculate_outputm9 - transpiled function from  /tmp/2019-Problem12.c:975
func calculate_outputm9(input int) {
	if -85 < a668543261 && 109 >= a668543261 && (cf == 1 && a914727600 == 2) && (a1425079908 == 2 && (a635095050 == 5 && (a1350544514 == 32 && a470024258 == 9 && a631351130 == 32))) {
		//printf("%d\n", 18); fflush(stdout);
		calculate_outputm57(input)
	}
	if a363377125 == 7 && (cf == 1 && a914727600 == 4) && a1809397514 == 32 && (-85 < a668543261 && 109 >= a668543261 && (10 < a297777914 && 153 >= a297777914 && a1350544514 == 32) && (-81 < a458716067 && -3 >= a458716067)) {
		calculate_outputm59(input)
	}
}

// calculate_outputm67 - transpiled function from  /tmp/2019-Problem12.c:983
func calculate_outputm67(input int) {
	if a1425079908 == 2 && (a635095050 == 5 && (a1281480214 == 32 && (-85 < a668543261 && 109 >= a668543261))) && (input == 2 && cf == 1 && (-81 < a458716067 && -3 >= a458716067) && a1809397514 == 32) {
		cf = 0
		a281306570 = a363377125 + a1524975081 + -13
		a668543261 = a668543261*a458716067 + -5978 + -6387 - 6796
		a458716067 = (a458716067*a297777914/5 + -1569) * 5
		a1425079908 = a281306570 + -1
		a631351130 = 33
		a1809397514 = 33
		a558123585 = (a558123585*a533054965 - 8517 + -313) * 1
		a1281480214 = 33
		a470024258 = a363377125 + 1
		a533054965 = (a668543261*a668543261%14999 + 7021) * 10 / -9 * 1
		a297777914 = a297777914*a668543261%14999 - 9692 + -214 - 708
		a1350544514 = 33
		a363377125 = a635095050 - -1
	}
	if a635095050 == 5 && (a1425079908 == 2 && (input == 3 && cf == 1)) && (a363377125 == 7 && a1350544514 == 32 && a470024258 == 9 && (-81 < a458716067 && -3 >= a458716067)) {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a533054965 = a297777914*a297777914 - 29002 + -1098 - -17560 - 16756
		a363377125 = a470024258 - 3
		a1350544514 = 33
		a1281480214 = 33
		a1809397514 = 33
		a458716067 = (a458716067*a533054965%14999-19643)*1 - 4618
		a462100686 = a635095050 - -7
		a281306570 = a462100686 + -8
		a668543261 = a668543261*a224147222%14999%14957 - 15041 + 23472 - -31 - 23504
		a470024258 = a363377125*a1425079908 + -4
		a558123585 = (a558123585*a224147222%14999 - 24006) * 10 / 9 * 1
		a635095050 = a363377125 - 2
		a1425079908 = a1524975081*a363377125 - 47
		a631351130 = 33
		a297777914 = (a297777914*a458716067%14999/5 + -13961) * 1
	}
	if a631351130 == 32 && (a635095050 == 5 && (a1350544514 == 32 && (cf == 1 && input == 6))) && (a1425079908 == 2 && (10 < a297777914 && 153 >= a297777914 && (-81 < a458716067 && -3 >= a458716067))) && a1019899841 <= -47 {
		//printf("%d\n", 19); fflush(stdout);
		a188376983 += func() int {
			if a188376983+20 > a188376983 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1178609647 = a1425079908*a635095050 + 1
		a635095050 = a363377125 - a1425079908 + -1
		a668543261 = a668543261*a458716067*3%14957 - 15041 - 1
		a558123585 = a558123585 * a533054965 * 2 * 1 * 1 * -2 / 10
		a1281480214 = 33
		a533054965 = (a224147222*a297777914%14999 + -18924) * 1 / 5
		a631351130 = 33
		a1809397514 = 33
		a458716067 = a458716067*a668543261%14999 - 23045 + 7892 - -267 - 11929
		a11629652 = 32
		a363377125 = a1178609647 - a1178609647 + 6
		a1350544514 = 33
		a1425079908 = a470024258 + -8
	}
	if a635095050 == 5 && a470024258 == 9 && a363377125 == 7 && (-85 < a668543261 && 109 >= a668543261) && (a1281480214 == 32 && (cf == 1 && input == 9) && (10 < a297777914 && 153 >= a297777914)) {
		//printf("%d\n", 23); fflush(stdout);
		cf = 0
		a1524975081 = a363377125 + a635095050 + -5
		a914727600 = a363377125
	}
}

// calculate_outputm10 - transpiled function from  /tmp/2019-Problem12.c:1042
func calculate_outputm10(input int) {
	if -81 < a458716067 && -3 >= a458716067 && (a635095050 == 5 && a1425079908 == 2 && a470024258 == 9) && (a363377125 == 7 && (cf == 1 && 472 < a224147222 && (-85 < a668543261 && 109 >= a668543261))) {
		//printf("%d\n", 20); fflush(stdout);
		calculate_outputm67(input)
	}
}

// calculate_outputm71 - transpiled function from  /tmp/2019-Problem12.c:1047
func calculate_outputm71(input int) {
	if a635095050 == 5 && (-85 < a668543261 && 109 >= a668543261 && a363377125 == 7 && a1425079908 == 2) && (-173 < a533054965 && -73 >= a533054965 && (cf == 1 && input == 1) && (-81 < a458716067 && -3 >= a458716067)) {
		cf = 0
		a1350544514 = 34
		a631351130 = 34
		a635095050 = a914727600 - 2
		a533054965 = a297777914*a558123585%101 - 8 + -52 - -87
		a1281480214 = 34
		a1809397514 = 34
		a470024258 = a1524975081*a1425079908 + -8
		a2062265878 = a668543261*a297777914%73 - -204 - 1 - 5580 + 5581
		a458716067 = a668543261*a533054965%99 + 97 + -1 - -2
		a322697925 = 35
		a363377125 = a1524975081 - a635095050 + 5
		a297777914 = (a297777914*a533054965%109+263)*1/5 + 173
		a558123585 = (a558123585*a2062265878 - -6427 - -968)%90 + 143
		a1425079908 = a635095050 + -3
		a668543261 = a668543261*a458716067*1*1%15 - -125
	}
	if cf == 1 && input == 4 && a1281480214 == 32 && (a1350544514 == 32 && (a470024258 == 9 && (a363377125 == 7 && (-85 < a668543261 && 109 >= a668543261 && a631351130 == 32)))) {
		//printf("%d\n", 24); fflush(stdout);
		a116248116 -= func() int {
			if a116248116-20 < a116248116 {
				return 4
			}
			return 0
		}()
		a426209962 += func() int {
			if a426209962+20 > a426209962 {
				return 6
			}
			return 0
		}()
		a774092986 += func() int {
			if a774092986+20 > a774092986 {
				return 1
			}
			return 0
		}()
		cf = 0
		a914727600 = a470024258 + -5
		a1524975081 = a363377125 + a914727600 - 4
	}
	if a1281480214 == 32 && (input == 6 && cf == 1 && a1809397514 == 32) && (-81 < a458716067 && -3 >= a458716067) && (a470024258 == 9 && (-173 < a533054965 && -73 >= a533054965) && a635095050 == 5) {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a137310972 = (a297777914*a458716067/5-4244)%82 - -119
		a631351130 = 33
		a668543261 = a668543261*a297777914 + -6381 + -10674 + -61
		a1350544514 = 33
		a1281480214 = 33
		a558123585 = a558123585*a137310972 + 13738 - -2503 - -875
		a1809397514 = 33
		a533054965 = (a533054965*a137310972-1798)*1 + -32
		a635095050 = 4
		a1425079908 = a1524975081 / a1524975081
		a1178609647 = a363377125 - -5
		a363377125 = a1425079908 - -5
		a470024258 = a914727600/a635095050 + 6
		a297777914 = (a297777914*a558123585%14999-18112)*1 + -3069
		a458716067 = (a458716067*a137310972 + -13072) * 1 / 5
	}
}

// calculate_outputm11 - transpiled function from  /tmp/2019-Problem12.c:1094
func calculate_outputm11(input int) {
	if -173 < a533054965 && -73 >= a533054965 && (a914727600 == 8 && cf == 1) && a363377125 == 7 && (10 < a297777914 && 153 >= a297777914 && (a1281480214 == 32 && a1350544514 == 32 && a631351130 == 32)) {
		//printf("%d\n", 16); fflush(stdout);
		calculate_outputm71(input)
	}
}

// calculate_outputm77 - transpiled function from  /tmp/2019-Problem12.c:1099
func calculate_outputm77(input int) {
	if a363377125 == 7 && (10 < a297777914 && 153 >= a297777914 && a1281480214 == 32) && (cf == 1 && input == 8 && a635095050 == 5 && (-81 < a458716067 && -3 >= a458716067) && a470024258 == 9) {
		cf = 0
		a1809397514 = 33
		a1178609647 = a635095050 - -2
		a668543261 = 94/5 - 11421 - 18388
		a1304128308 = a1425079908 - a1178609647 - -14
		a635095050 = a1304128308 + -5
		a558123585 = (a558123585*a458716067 - -8873 - 20666) * 10 / -9
		a1281480214 = 33
		a458716067 = (a668543261*a558123585%14999/5 + -4799 - -21941) * -1 / 10
		a363377125 = a1304128308/a1524975081 - -6
		a1350544514 = 33
		a533054965 = (a533054965*a558123585%14999 - 14798 + -181) * 1
		a470024258 = a1178609647 + 1
		a297777914 = (a297777914*a668543261%14999 - -16233) / -5 * 5
		a1425079908 = a1178609647 + -6
	}
	if -173 < a533054965 && -73 >= a533054965 && (a635095050 == 5 && a363377125 == 7) && (a1350544514 == 32 && (input == 2 && cf == 1) && a470024258 == 9 && (-81 < a458716067 && -3 >= a458716067)) {
		//printf("%d\n", 22); fflush(stdout);
		a1958569006 += func() int {
			if a1958569006+20 > a1958569006 {
				return 4
			}
			return 0
		}()
		a1019899841 += func() int {
			if a1019899841+20 > a1019899841 {
				return 1
			}
			return 0
		}()
		cf = 0
		a363377125 = a470024258 + -3
		a1178609647 = a754697839 - 3
		a1350544514 = 33
		a1809397514 = 33
		a533054965 = a533054965*a297777914*1 - 1050 - 660
		a1281480214 = 33
		a635095050 = a1425079908 - a1425079908 + 4
		a558123585 = a558123585*a668543261*3/5*5%14870 + 15129
		a11629652 = 34
		a470024258 = a1178609647*a363377125 + -58
	}
}

// calculate_outputm12 - transpiled function from  /tmp/2019-Problem12.c:1134
func calculate_outputm12(input int) {
	if cf == 1 && a754697839 == 14 && a1281480214 == 32 && a635095050 == 5 && (-173 < a533054965 && -73 >= a533054965 && (-81 < a458716067 && -3 >= a458716067 && a1809397514 == 32 && a470024258 == 9)) {
		//printf("%d\n", 22); fflush(stdout);
		calculate_outputm77(input)
	}
}

// calculate_outputm85 - transpiled function from  /tmp/2019-Problem12.c:1139
func calculate_outputm85(input int) {
	if a1425079908 == 2 && (-81 < a458716067 && -3 >= a458716067 && a1350544514 == 32 && (-85 < a668543261 && 109 >= a668543261) && (10 < a297777914 && 153 >= a297777914)) && (a1281480214 == 32 && (input == 3 && cf == 1)) {
		a1647447633 += func() int {
			if a1647447633+20 > a1647447633 {
				return 2
			}
			return 0
		}()
		a333446562 -= func() int {
			if a333446562-20 < a333446562 {
				return 6
			}
			return 0
		}()
		a758764692 += func() int {
			if a758764692+20 > a758764692 {
				return 4
			}
			return 0
		}()
		a2027636238 -= func() int {
			if a2027636238-20 < a2027636238 {
				return 4
			}
			return 0
		}()
		a2061130608 += func() int {
			if a2061130608+20 > a2061130608 {
				return 1
			}
			return 0
		}()
		a943871142 += func() int {
			if a943871142+20 > a943871142 {
				return 1
			}
			return 0
		}()
		cf = 0
		a387693620 = a1524975081 + a363377125 + -7
	}
	if 10 < a297777914 && 153 >= a297777914 && (a635095050 == 5 && (a631351130 == 32 && a1350544514 == 32)) && (a1425079908 == 2 && (input == 10 && cf == 1) && a1281480214 == 32) {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a387693620 = a470024258 + 3
	}
	if a1809397514 == 32 && (a1425079908 == 2 && (cf == 1 && input == 2)) && (-85 < a668543261 && 109 >= a668543261) && (a1281480214 == 32 && (-81 < a458716067 && -3 >= a458716067 && a631351130 == 32)) && a188376983 <= -26 {
		//printf("%d\n", 20); fflush(stdout);
		a943871142 -= func() int {
			if a943871142-20 < a943871142 {
				return 1
			}
			return 0
		}()
		cf = 0
		a458716067 = a458716067*a533054965*2%99 - 1 + 24
		a2062265878 = (a668543261*a297777914 + 13313) * 1 / 5 * 41 / 10
		a1425079908 = a1524975081 - 9
		a1281480214 = 34
		a1350544514 = 34
		a631351130 = 34
		a631219524 = a635095050 - -5
		a297777914 = (a668543261*a668543261+-6739)%109 + 263 + -1
		a533054965 = (a458716067*a458716067%14999%101 - -29)/5 + -54
		a635095050 = a387693620 - 2
		a558123585 = (a558123585*a2062265878%14999%90 - -131 - -29) * 9 / 10
		a363377125 = a1425079908 - -5
		a1809397514 = 34
		a668543261 = a668543261*a458716067%15 + 124 - -2 - 1
	}
	if -81 < a458716067 && -3 >= a458716067 && (10 < a297777914 && 153 >= a297777914 && (-85 < a668543261 && 109 >= a668543261 && (cf == 1 && input == 6))) && a1809397514 == 32 && (a363377125 == 7 && a470024258 == 9) && a2061130608 == 19 {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a224147222 = a533054965*a558123585%78 - -296 + -3951 + 3943
		a1524975081 = a635095050/a1425079908 + 6
	}
	if a470024258 == 9 && (-173 < a533054965 && -73 >= a533054965) && (-81 < a458716067 && -3 >= a458716067) && a1809397514 == 32 && (-85 < a668543261 && 109 >= a668543261 && (input == 1 && cf == 1 && a1425079908 == 2)) && a943871142 == 43 {
		//printf("%d\n", 18); fflush(stdout);
		a188376983 += func() int {
			if a188376983+20 > a188376983 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1304128308 = a470024258
		a1524975081 = a1425079908 + 11
	}
	if input == 5 && cf == 1 && a631351130 == 32 && a470024258 == 9 && (a1350544514 == 32 && (a635095050 == 5 && (a363377125 == 7 && a1425079908 == 2))) && a521016673 <= -83 {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a1524975081 = a363377125 - -3
		a754697839 = a1524975081 + 5
	}
	if a631351130 == 32 && (a1809397514 == 32 && (-85 < a668543261 && 109 >= a668543261)) && (-81 < a458716067 && -3 >= a458716067) && (a1350544514 == 32 && (10 < a297777914 && 153 >= a297777914 && (input == 8 && cf == 1))) && a1513636275 <= -44 {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a1524975081 = a470024258 + 2
		a306593017 = (a558123585*a668543261 - 19967) / 5 * 5
	}
	if a1425079908 == 2 && (-173 < a533054965 && -73 >= a533054965) && a363377125 == 7 && a1350544514 == 32 && (a470024258 == 9 && (a631351130 == 32 && (input == 9 && cf == 1))) {
		//printf("%d\n", 26); fflush(stdout);
		cf = 0
		a754697839 = a363377125*a635095050 - 22
		a1524975081 = a387693620 + 2
	}
}

// calculate_outputm86 - transpiled function from  /tmp/2019-Problem12.c:1200
func calculate_outputm86(input int) {
	if a470024258 == 9 && (-85 < a668543261 && 109 >= a668543261 && a1425079908 == 2) && (-81 < a458716067 && -3 >= a458716067 && (cf == 1 && input == 1) && (10 < a297777914 && 153 >= a297777914) && a635095050 == 5) {
		//printf("%d\n", 24); fflush(stdout);
		a815200306 += func() int {
			if a815200306+20 > a815200306 {
				return 6
			}
			return 0
		}()
		a1449483205 += func() int {
			if a1449483205+20 > a1449483205 {
				return 6
			}
			return 0
		}()
		a1513636275 -= func() int {
			if a1513636275-20 < a1513636275 {
				return 2
			}
			return 0
		}()
		a2061130608 -= func() int {
			if a2061130608-20 < a2061130608 {
				return 1
			}
			return 0
		}()
		cf = 0
		a387693620 = a635095050 + 7
	}
	if 10 < a297777914 && 153 >= a297777914 && (a1281480214 == 32 && (-85 < a668543261 && 109 >= a668543261)) && (a635095050 == 5 && (a470024258 == 9 && (a1425079908 == 2 && (cf == 1 && input == 3)))) {
		//printf("%d\n", 20); fflush(stdout);
		a854970918 -= func() int {
			if a854970918-20 < a854970918 {
				return 4
			}
			return 0
		}()
		a1323714376 -= func() int {
			if a1323714376-20 < a1323714376 {
				return 4
			}
			return 0
		}()
		a188376983 -= func() int {
			if a188376983-20 < a188376983 {
				return 2
			}
			return 0
		}()
		cf = 0
		a387693620 = a1425079908 + 6
	}
	if 10 < a297777914 && 153 >= a297777914 && a1281480214 == 32 && (-85 < a668543261 && 109 >= a668543261) && (a1350544514 == 32 && (a635095050 == 5 && (a1809397514 == 32 && (input == 5 && cf == 1)))) && a758764692 == 6 {
		//printf("%d\n", 22); fflush(stdout);
		a943871142 -= func() int {
			if a943871142-20 < a943871142 {
				return 1
			}
			return 0
		}()
		cf = 0
		a558123585 = (a558123585*a668543261 + 9141 - 760) * 1
		a61424176 = a470024258*a635095050 + -37
		a1178609647 = a1524975081/a1524975081 + 9
	}
	if 10 < a297777914 && 153 >= a297777914 && a1425079908 == 2 && (-173 < a533054965 && -73 >= a533054965 && (input == 10 && cf == 1) && a470024258 == 9 && a635095050 == 5 && a1281480214 == 32) && a2027636238 == -20 {
		//printf("%d\n", 26); fflush(stdout);
		cf = 0
		a558123585 = a558123585 * a297777914 / 5 / 5 * 5 * -5
		a1034097962 = 32
		a281306570 = a363377125 - 2
	}
	if a631351130 == 32 && (a1281480214 == 32 && (cf == 1 && input == 4 && (-173 < a533054965 && -73 >= a533054965))) && (10 < a297777914 && 153 >= a297777914 && (a635095050 == 5 && (-81 < a458716067 && -3 >= a458716067))) && a815200306 == 12 {
		//printf("%d\n", 18); fflush(stdout);
		a774092986 -= func() int {
			if a774092986-20 < a774092986 {
				return 3
			}
			return 0
		}()
		cf = 0
		a558123585 = (a558123585*a458716067 + -16347) * 1 / 5
		a281306570 = a1425079908 - a363377125 + 11
		a493087397 = (a558123585*a297777914%14999%91 - -215 - -9577)*3%91 - -142
	}
	if a635095050 == 5 && (-81 < a458716067 && -3 >= a458716067 && a1425079908 == 2) && (cf == 1 && input == 8 && a1350544514 == 32 && (-85 < a668543261 && 109 >= a668543261) && a1281480214 == 32) && a204693615 == 5 {
		//printf("%d\n", 20); fflush(stdout);
		a188376983 += func() int {
			if a188376983+20 > a188376983 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1178609647 = a470024258 + a635095050 + -4
		a61424176 = a1425079908 - -7
		a558123585 = (a558123585*a297777914 + 12037) / 5 / 5
	}
	if a470024258 == 9 && a1281480214 == 32 && a1809397514 == 32 && (a1425079908 == 2 && (input == 6 && cf == 1) && (-173 < a533054965 && -73 >= a533054965) && (10 < a297777914 && 153 >= a297777914)) && a1079276458 == -3 {
		//printf("%d\n", 26); fflush(stdout);
		a521016673 += func() int {
			if a521016673+20 > a521016673 {
				return 4
			}
			return 0
		}()
		cf = 0
		a558123585 = (a558123585*a297777914 + -21083 - -23013) * 2 * -1
		a881759693 = a1524975081 - 6
		a281306570 = a635095050 - -3
	}
	if a1350544514 == 32 && (-81 < a458716067 && -3 >= a458716067) && (a635095050 == 5 && (a363377125 == 7 && (a1281480214 == 32 && (input == 7 && cf == 1))) && a1425079908 == 2) {
		//printf("%d\n", 20); fflush(stdout);
		a1019899841 += func() int {
			if a1019899841+20 > a1019899841 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1281480214 = 34
		a470024258 = a1524975081 - 2
		a558123585 = (a558123585*a533054965%90 + 208) * 10 / 9 * 10 / 9
		a322697925 = 33
		a363377125 = a635095050 + 3
		a1425079908 = a387693620 - 6
		a533054965 = (a533054965*a297777914 - -1482)%101 - -29 - 1
		a1350544514 = 34
		a1809397514 = 34
		a631351130 = 34
		a2062265878 = (a668543261*a668543261%73+204 - -5411)/5 - 967
		a297777914 = (a668543261*a458716067*3-1352+-1394)%109 + 263
		a458716067 = (a458716067*a668543261-4277-5500)%99 - -164
		a668543261 = (a668543261+-12872)%15 - -125 - -21246 - 21239
	}
}

// calculate_outputm88 - transpiled function from  /tmp/2019-Problem12.c:1270
func calculate_outputm88(input int) {
	if -85 < a668543261 && 109 >= a668543261 && (a635095050 == 5 && (a1350544514 == 32 && (input == 3 && cf == 1)) && a363377125 == 7) && (-81 < a458716067 && -3 >= a458716067 && a631351130 == 32) {
		//printf("%d\n", 24); fflush(stdout);
		a1717797827 += func() int {
			if a1717797827+20 > a1717797827 {
				return 6
			}
			return 0
		}()
		cf = 0
		a387693620 = a1524975081*a1425079908 + -15
	}
	if a470024258 == 9 && (-81 < a458716067 && -3 >= a458716067 && (cf == 1 && input == 7)) && (10 < a297777914 && 153 >= a297777914 && (a1350544514 == 32 && (a1281480214 == 32 && a631351130 == 32))) {
		//printf("%d\n", 16); fflush(stdout);
		a1783572941 += func() int {
			if a1783572941+20 > a1783572941 {
				return 6
			}
			return 0
		}()
		a204693615 += func() int {
			if a204693615+20 > a204693615 {
				return 4
			}
			return 0
		}()
		a521016673 -= func() int {
			if a521016673-20 < a521016673 {
				return 4
			}
			return 0
		}()
		cf = 0
		a668543261 = (66*-13/10*5 - -20441) * -1 / 10
		a631351130 = 33
		a297777914 = a297777914*a668543261%14999 - 13319 - 10 + -1659
		a470024258 = a1425079908 - -6
		a1281480214 = 33
		a1425079908 = a1524975081/a635095050 - 1
		a533054965 = a297777914*a668543261%14999%14913 + -15085 + -1 - 1
		a281306570 = a1524975081 - a363377125 + 1
		a1178609647 = a281306570 - a387693620 + 20
		a1809397514 = 33
		a558123585 = (a558123585*a458716067+-21609)*-1/10 + 13456
		a458716067 = (a458716067*a533054965%14999-28598)*1 + 26739 + -14133
		a363377125 = a1524975081 + -6
		a1350544514 = 33
		a635095050 = a1524975081 + -8
	}
	if a1350544514 == 32 && (-85 < a668543261 && 109 >= a668543261 && a1425079908 == 2) && a631351130 == 32 && (cf == 1 && input == 2 && a363377125 == 7 && a1281480214 == 32) && a995729035 == 16 {
		//printf("%d\n", 23); fflush(stdout);
		a943871142 -= func() int {
			if a943871142-20 < a943871142 {
				return 4
			}
			return 0
		}()
		cf = 0
		a2086194771 = 34
		a1524975081 = a363377125 - -7
	}
}

// calculate_outputm14 - transpiled function from  /tmp/2019-Problem12.c:1305
func calculate_outputm14(input int) {
	if a387693620 == 8 && cf == 1 && a1281480214 == 32 && (-81 < a458716067 && -3 >= a458716067 && (a635095050 == 5 && (10 < a297777914 && 153 >= a297777914 && a1809397514 == 32 && a363377125 == 7))) {
		//printf("%d\n", 22); fflush(stdout);
		calculate_outputm85(input)
	}
	if a470024258 == 9 && (a1281480214 == 32 && a1425079908 == 2) && (-173 < a533054965 && -73 >= a533054965) && (a363377125 == 7 && (cf == 1 && a387693620 == 9) && a1350544514 == 32) {
		calculate_outputm86(input)
	}
	if a1350544514 == 32 && (a635095050 == 5 && (a387693620 == 12 && cf == 1)) && (-81 < a458716067 && -3 >= a458716067 && (a1281480214 == 32 && (a1809397514 == 32 && a470024258 == 9))) {
		calculate_outputm88(input)
	}
}

// calculate_outputm92 - transpiled function from  /tmp/2019-Problem12.c:1316
func calculate_outputm92(input int) {
	if a470024258 == 9 && (a631351130 == 32 && (a363377125 == 7 && (-173 < a533054965 && -73 >= a533054965 && (input == 3 && cf == 1 && a635095050 == 5))) && (-81 < a458716067 && -3 >= a458716067)) {
		cf = 0
		a470024258 = a1524975081 + -5
		a462100686 = a635095050 - -8
		a558123585 = a558123585*a458716067*4 + -2648 + -2436
		a1281480214 = 33
		a297777914 = (a297777914*a668543261*1 + -17066) * 1
		a1350544514 = 33
		a281306570 = a1425079908 + 2
		a533054965 = (a533054965*a297777914%14999%14913+-15085)/5 + -17066
		a458716067 = (a297777914*a558123585%14999/5 + -22241) * 1
		a668543261 = (92 + -6427 + -23347) * 1
		a1809397514 = 33
		a363377125 = a470024258/a1304128308 - -6
		a631351130 = 33
		a635095050 = a1425079908 - -2
		a1425079908 = a1304128308 + -9
	}
	if -81 < a458716067 && -3 >= a458716067 && (input == 5 && cf == 1) && (-173 < a533054965 && -73 >= a533054965) && (a635095050 == 5 && (a1350544514 == 32 && a1809397514 == 32) && (-85 < a668543261 && 109 >= a668543261)) && a774092986 == 30 {
		//printf("%d\n", 19); fflush(stdout);
		a2061130608 -= func() int {
			if a2061130608-20 < a2061130608 {
				return 4
			}
			return 0
		}()
		cf = 0
		a1809397514 = 33
		a635095050 = a363377125*a1304128308 - 66
		a470024258 = a1524975081 - 5
		a281306570 = a1524975081 + -6
		a631351130 = 33
		a1350544514 = 33
		a1425079908 = a635095050 + -3
		a230802418 = 36
		a668543261 = ((a668543261*a458716067-17012)/5 + 18407) * -1 / 10
		a363377125 = a1524975081 - 7
		a558123585 = (a558123585*a533054965 - 7415 - 8031) * 1
		a1281480214 = 33
		a533054965 = a533054965*a458716067/5 + -11936 + -9708
	}
	if 10 < a297777914 && 153 >= a297777914 && (a1425079908 == 2 && a1350544514 == 32) && (a470024258 == 9 && (-81 < a458716067 && -3 >= a458716067 && (cf == 1 && input == 6)) && (-173 < a533054965 && -73 >= a533054965)) {
		//printf("%d\n", 25); fflush(stdout);
		cf = 0
		a533054965 = ((a533054965*a668543261-8951)*1-1619)%101 - -29
		a702083417 = a1425079908*a470024258 - 14
		a363377125 = a1524975081*a1304128308 - 122
		a558123585 = (a558123585*a458716067 - -10423)*2/5%90 + 128
		a635095050 = a702083417 + a470024258 + -7
		a1809397514 = 34
		a1425079908 = a702083417 - 1
		a631351130 = 34
		a1350544514 = 34
		a1281480214 = 34
		a2062265878 = (a558123585*a668543261%15065+-14934 - -3031)*1 - 3031
		a297777914 = (a297777914*a558123585%14999-28395)*1%109 + 272
		a668543261 = (a458716067*a533054965%15 - -124)*1 - -2
		a458716067 = (a458716067*a533054965*2*1-7113)%99 - -97
	}
}

// calculate_outputm15 - transpiled function from  /tmp/2019-Problem12.c:1371
func calculate_outputm15(input int) {
	if a1304128308 == 10 && cf == 1 && (-81 < a458716067 && -3 >= a458716067) && (a635095050 == 5 && (-173 < a533054965 && -73 >= a533054965) && a1809397514 == 32 && a1425079908 == 2 && (10 < a297777914 && 153 >= a297777914)) {
		//printf("%d\n", 20); fflush(stdout);
		calculate_outputm92(input)
	}
}

// calculate_outputm102 - transpiled function from  /tmp/2019-Problem12.c:1376
func calculate_outputm102(input int) {
	if a470024258 == 10 && (153 < a297777914 && 372 >= a297777914 && a1281480214 == 34) && (-3 < a458716067 && 197 >= a458716067 && (cf == 1 && input == 8 && (109 < a668543261 && 140 >= a668543261) && (-73 < a533054965 && 130 >= a533054965))) {
		a1406068516 += func() int {
			if a1406068516+20 > a1406068516 {
				return 2
			}
			return 0
		}()
		cf = 0
		a363377125 = a702083417 - 5
		a493087397 = a668543261*a558123585%14999%59 - -34 + -27 - 10363 + 10381
		a1809397514 = 33
		a1350544514 = 33
		a558123585 = a558123585*a458716067%14999 + 4176 - 19163 - 9
		a281306570 = a635095050 - 5
		a533054965 = (a533054965*a558123585%14999-14563)/5*5%14913 - 15085
		a631351130 = 33
		a470024258 = a635095050 - -2
		a668543261 = 49 * -18 / 10 * 5 * 5
		a1281480214 = 33
		a297777914 = (a297777914*a458716067%14999/5 + -25919) * 1
		a458716067 = ((a458716067*a2062265878%14999 - -9171)%14959 - 15039) * 1
		a635095050 = a1425079908 + 1
		a1425079908 = a470024258 + -7
	}
	if -73 < a533054965 && 130 >= a533054965 && (a363377125 == 8 && a1350544514 == 34 && (153 < a297777914 && 372 >= a297777914)) && (-3 < a458716067 && 197 >= a458716067 && (cf == 1 && input == 2 && a635095050 == 6)) {
		//printf("%d\n", 23); fflush(stdout);
		a1471952247 -= func() int {
			if a1471952247-20 < a1471952247 {
				return 4
			}
			return 0
		}()
		a706425043 += func() int {
			if a706425043+20 > a706425043 {
				return 1
			}
			return 0
		}()
		cf = 0
		a558123585 = (a558123585*a2062265878%14999%14870 - -15129 + 0) * 1
		a1178609647 = a635095050 + 8
		a631351130 = 33
		a1281480214 = 33
		a363377125 = a470024258 - 4
		a1809397514 = 33
		a281306570 = a1425079908 - -2
		a533054965 = (a533054965*a668543261-18738)*1 + -829
		a458716067 = a458716067*a297777914%14999%14959 - 15039 - 1 + -1
		a668543261 = (a558123585*a558123585%14999 - 29337 - 410) * 1
		a635095050 = a363377125 + -2
	}
}

// calculate_outputm17 - transpiled function from  /tmp/2019-Problem12.c:1414
func calculate_outputm17(input int) {
	if a1281480214 == 34 && (153 < a297777914 && 372 >= a297777914 && a363377125 == 8) && (-73 < a533054965 && 130 >= a533054965 && (a631351130 == 34 && (a702083417 == 11 && cf == 1 && a1350544514 == 34))) {
		//printf("%d\n", 16); fflush(stdout);
		calculate_outputm102(input)
	}
}

// calculate_outputm105 - transpiled function from  /tmp/2019-Problem12.c:1419
func calculate_outputm105(input int) {
	if 109 < a668543261 && 140 >= a668543261 && (a470024258 == 10 && a1281480214 == 34) && (a1425079908 == 3 && (cf == 1 && input == 3 && a631351130 == 34 && (-73 < a533054965 && 130 >= a533054965))) {
		cf = 0
	}
	if a363377125 == 8 && (109 < a668543261 && 140 >= a668543261 && (153 < a297777914 && 372 >= a297777914 && a1281480214 == 34)) && (a1425079908 == 3 && (a1809397514 == 34 && (cf == 1 && input == 9))) {
		//printf("%d\n", 24); fflush(stdout);
		cf = 0
		a1524975081 = a1425079908 + 5
		a470024258 = a1524975081 + a1425079908 + -2
		a558123585 = a558123585*a668543261%14999%32 - -15 + -5707 + 5724
		a458716067 = (a458716067*a533054965/5-20028)/5%38 - 40
		a363377125 = a1425079908 - a1425079908 + 7
		a668543261 = (a668543261*a558123585%96-2)/5 - -26465 + -26410
		a224147222 = (a297777914*a297777914%14999 + 12140 + 1334) / 5
		a635095050 = a1425079908*a363377125 - 16
		a631351130 = 32
		a1809397514 = 32
		a1350544514 = 32
		a297777914 = a458716067*a2062265878%71 - -121 - -2981 - 2967
		a533054965 = a533054965*a2062265878%14999%49 - 121 + -2 + -19657 - -19658
		a1281480214 = 32
		a1425079908 = a635095050 - a470024258 + 6
	}
	if a363377125 == 8 && (a1425079908 == 3 && (a631351130 == 34 && a1350544514 == 34 && (-3 < a458716067 && 197 >= a458716067))) && (a1281480214 == 34 && (cf == 1 && input == 10)) && a426209962 == 7 {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a493087397 = ((a558123585*a533054965%14999+13596)/5+-11126)%91 - -255
		a281306570 = a1425079908 + -2
		a558123585 = a558123585*a458716067%14999 - 14996 - -343 + -336
	}
	if 109 < a668543261 && 140 >= a668543261 && (-73 < a533054965 && 130 >= a533054965 && (a631351130 == 34 && a1281480214 == 34)) && (-3 < a458716067 && 197 >= a458716067) && (a1350544514 == 34 && (input == 5 && cf == 1)) {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a1350544514 = 33
		a1809397514 = 33
		a281306570 = a635095050 + 1
		a558123585 = (a558123585*a2062265878%14999-12601)*2*1 + -4795
		a458716067 = (a2062265878*a2062265878%14999 - 19515) / 5 * 5
		a230802418 = 34
		a631351130 = 33
		a668543261 = a668543261*a297777914%14999/5 - -16579 - -8937 - 41209
		a533054965 = (a533054965*a458716067%14999 - -14031)/5 + -21647
		a363377125 = a1425079908 - -3
		a470024258 = a1425079908 + 5
		a1281480214 = 33
		a1425079908 = a635095050*a281306570 + -41
	}
}

// calculate_outputm18 - transpiled function from  /tmp/2019-Problem12.c:1466
func calculate_outputm18(input int) {
	if a631351130 == 34 && (a635095050 == 6 && (a322697925 == 35 && cf == 1)) && (a1350544514 == 34 && (a470024258 == 10 && a1425079908 == 3) && (109 < a668543261 && 140 >= a668543261)) {
		//printf("%d\n", 19); fflush(stdout);
		calculate_outputm105(input)
	}
}

// calculate_outputm119 - transpiled function from  /tmp/2019-Problem12.c:1471
func calculate_outputm119(input int) {
	if a1809397514 == 33 && (a297777914 <= 10 && a1281480214 == 33) && (a363377125 == 6 && (a631351130 == 33 && (input == 3 && cf == 1 && a1350544514 == 33))) {
		cf = 0
	}
	if a635095050 == 4 && a1425079908 == 1 && a1350544514 == 33 && (a458716067 <= -81 && (a1809397514 == 33 && (a1281480214 == 33 && (cf == 1 && input == 7)))) {
		//printf("%d\n", 20); fflush(stdout);
		a1471952247 -= func() int {
			if a1471952247-20 < a1471952247 {
				return 4
			}
			return 0
		}()
		cf = 0
	}
	if a470024258 == 8 && a1350544514 == 33 && a297777914 <= 10 && (a458716067 <= -81 && (cf == 1 && input == 9 && a631351130 == 33 && a363377125 == 6)) && a1449483205 == 13 {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a914727600 = a470024258/a635095050 - -3
		a558123585 = (a558123585*a668543261%14999 - -17303)%32 - -45 + 14058 - 14084
		a1524975081 = a1178609647*a363377125 + -35
	}
	if a668543261 <= -85 && a1350544514 == 33 && a1425079908 == 1 && (a533054965 <= -173 && (input == 2 && cf == 1 && a458716067 <= -81 && a635095050 == 4)) && a2070216165 == 9 {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a1524975081 = a635095050 - -5
		a914727600 = a1304128308 - a363377125 + -1
		a558123585 = (a558123585*a297777914%14999%32 - -44)/5 + 12
	}
	if a1809397514 == 33 && (a1350544514 == 33 && a1425079908 == 1) && a470024258 == 8 && a458716067 <= -81 && (input == 8 && cf == 1 && a533054965 <= -173) && a1958569006 <= -4 {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a281306570 = a1304128308/a1304128308 - -7
		a558123585 = (a558123585*a297777914%14999-14986)/5 + -19523
		a881759693 = a281306570 + 5
	}
	if a297777914 <= 10 && (cf == 1 && input == 5 && a1281480214 == 33 && a635095050 == 4) && a533054965 <= -173 && (a470024258 == 8 && a1809397514 == 33) && a1471952247 == 5 {
		//printf("%d\n", 16); fflush(stdout);
		a854970918 += func() int {
			if a854970918+20 > a854970918 {
				return 1
			}
			return 0
		}()
		cf = 0
		a61424176 = a635095050/a1304128308 + 11
		a1178609647 = a1304128308 + 1
	}
	if a668543261 <= -85 && (a1281480214 == 33 && a1809397514 == 33 && a631351130 == 33) && a635095050 == 4 && (cf == 1 && input == 1 && a1350544514 == 33) && a854970918 <= -24 {
		//printf("%d\n", 26); fflush(stdout);
		a854970918 += func() int {
			if a854970918+20 > a854970918 {
				return 3
			}
			return 0
		}()
		cf = 0
		a668543261 = 12*92/10*5 - 418
		a363377125 = a1304128308 - 1
		a631219524 = a635095050 + 9
		a2062265878 = (a297777914*a458716067%14999+-5005)/5 + 5295
		a1809397514 = 34
		a631351130 = 34
		a1281480214 = 34
		a558123585 = (a558123585*a533054965%14999 - -28982 + 828)%90 + 140
		a470024258 = a631219524 - 3
		a533054965 = (a668543261*a668543261%101 - -7 + 5) * 10 / 9
		a458716067 = (a2062265878*a558123585%14999-3219)%99 + 96 + 3
		a297777914 = a668543261*a668543261%109 - -226 + -6990 + -19711 + 26660
		a1350544514 = 34
		a635095050 = a1304128308 - 3
	}
	if cf == 1 && input == 4 && a297777914 <= 10 && a668543261 <= -85 && (a1281480214 == 33 && a470024258 == 8 && a1425079908 == 1 && a631351130 == 33) && a1406068516 == 21 {
		//printf("%d\n", 25); fflush(stdout);
		cf = 0
		a2062265878 = a558123585*a533054965%14999%73 + 203 + -27413 + 27414
		a533054965 = (a668543261*a2062265878%14999 - -8017)%101 + 28 - 0
		a1350544514 = 34
		a322697925 = 36
		a558123585 = (a558123585*a458716067%14999-13241-775)/5%90 - -203
		a1281480214 = 34
		a470024258 = a363377125 - -4
		a458716067 = a458716067*a2062265878%14999%99 - -97 + 1 - 28090 - -28088
		a363377125 = a1425079908 + 7
		a1809397514 = 34
		a631351130 = 34
		a668543261 = (a2062265878*a2062265878%14999%15 + 125) * 9 / 10 / 5 * 51 / 10
		a297777914 = (a297777914*a2062265878%14999%109+262 - -1)*5%109 - -216
		a1425079908 = a1178609647 - 4
	}
	if cf == 1 && input == 10 && a668543261 <= -85 && a1350544514 == 33 && (a297777914 <= 10 && (a1281480214 == 33 && a363377125 == 6 && a635095050 == 4)) && a1323714376 <= -46 {
		//printf("%d\n", 23); fflush(stdout);
		cf = 0
		a11629652 = 36
		a1178609647 = a363377125 + 5
	}
	if a470024258 == 8 && (a458716067 <= -81 && a297777914 <= 10) && (cf == 1 && input == 6 && a1425079908 == 1 && a668543261 <= -85 && a1281480214 == 33) {
		//printf("%d\n", 16); fflush(stdout);
		cf = 0
		a558123585 = (a558123585*a458716067%14999 + -7658) * 1 / 5
		a281306570 = a1425079908 * a635095050
		a462100686 = a1304128308 + a1178609647 - 8
	}
}

// calculate_outputm120 - transpiled function from  /tmp/2019-Problem12.c:1553
func calculate_outputm120(input int) {
	if a297777914 <= 10 && a668543261 <= -85 && (a363377125 == 6 && (a1809397514 == 33 && (cf == 1 && input == 9 && a631351130 == 33) && a1350544514 == 33)) {
		//printf("%d\n", 19); fflush(stdout);
		a240070971 += func() int {
			if a240070971+20 > a240070971 {
				return 2
			}
			return 0
		}()
		a1019899841 += func() int {
			if a1019899841+20 > a1019899841 {
				return 3
			}
			return 0
		}()
		cf = 0
		a11629652 = 33
		a1178609647 = a363377125 + 5
	}
	if a470024258 == 8 && (a1350544514 == 33 && (cf == 1 && input == 3) && a635095050 == 4) && (a668543261 <= -85 && a458716067 <= -81 && a1425079908 == 1) {
		//printf("%d\n", 26); fflush(stdout);
		a1019899841 += func() int {
			if a1019899841+20 > a1019899841 {
				return 1
			}
			return 0
		}()
		cf = 0
		a1281480214 = 32
		a533054965 = (a458716067*a458716067%14999%49-129-4867)/5 - -903
		a668543261 = a668543261*a533054965%14999/5%96 + -51 - -65
		a1350544514 = 32
		a914727600 = a470024258 - a470024258 - -9
		a1524975081 = a1304128308 + -3
		a1809397514 = 32
		a631351130 = 32
		a635095050 = a363377125 + -1
		a363377125 = a1425079908 - -6
		a558123585 = (a558123585*a297777914%14999+7977)/5%32 - -45
		a1425079908 = a470024258*a1178609647 + -54
		a297777914 = a533054965*a533054965*1%71 - -36 + 28998 + -29004
		a470024258 = a635095050 - a1524975081 + 11
	}
}

// calculate_outputm21 - transpiled function from  /tmp/2019-Problem12.c:1581
func calculate_outputm21(input int) {
	if a1350544514 == 33 && (a458716067 <= -81 && (a1304128308 == 9 && cf == 1 && a1281480214 == 33)) && (a635095050 == 4 && a470024258 == 8 && a1809397514 == 33) {
		//printf("%d\n", 18); fflush(stdout);
		calculate_outputm119(input)
	}
	if a363377125 == 6 && (a1304128308 == 10 && cf == 1 && a631351130 == 33) && (a1281480214 == 33 && (a470024258 == 8 && (a668543261 <= -85 && a458716067 <= -81))) {
		calculate_outputm120(input)
	}
}

// calculate_outputm123 - transpiled function from  /tmp/2019-Problem12.c:1589
func calculate_outputm123(input int) {
	if a533054965 <= -173 && (a1425079908 == 1 && (a470024258 == 8 && a635095050 == 4)) && (input == 6 && cf == 1 && a1809397514 == 33 && a458716067 <= -81) {
		cf = 0
		a1304128308 = a1425079908*a470024258 - -1
		a1178609647 = a363377125 + 1
	}
	if a1425079908 == 1 && (cf == 1 && input == 1 && a533054965 <= -173) && a1281480214 == 33 && a668543261 <= -85 && (a1350544514 == 33 && a635095050 == 4) {
		//printf("%d\n", 22); fflush(stdout);
		a706425043 += func() int {
			if a706425043+20 > a706425043 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1524975081 = a363377125 + 4
		a533054965 = (a533054965*a668543261%14999 - -13579)/5*5%49 + -141
		a668543261 = (a533054965*a533054965+167-35192)/5%96 + 95
		a470024258 = a1178609647 - -1
		a558123585 = ((a558123585*a623007887%14999%32+44)*5+-23217)%32 - -44
		a363377125 = a1524975081/a1524975081 - -6
		a1281480214 = 32
		a1425079908 = a635095050 + -2
		a1350544514 = 32
		a754697839 = a1178609647 - -2
		a297777914 = (a297777914*a458716067%14999%71 - -82 + 26957)*1 - 26957
		a635095050 = a1524975081 - 5
	}
}

// calculate_outputm22 - transpiled function from  /tmp/2019-Problem12.c:1613
func calculate_outputm22(input int) {
	if a1425079908 == 1 && (cf == 1 && a623007887 <= 42 && a363377125 == 6 && a297777914 <= 10) && (a470024258 == 8 && (a458716067 <= -81 && a533054965 <= -173)) {
		//printf("%d\n", 22); fflush(stdout);
		calculate_outputm123(input)
	}
}

// calculate_outputm127 - transpiled function from  /tmp/2019-Problem12.c:1618
func calculate_outputm127(input int) {
	if cf == 1 && input == 7 && a1350544514 == 33 && (a1281480214 == 33 && (a363377125 == 6 && (a533054965 <= -173 && a1809397514 == 33)) && a1425079908 == 1) {
		cf = 0
		a623007887 = (a297777914*a558123585%14999-11523 - -10153)/5 + -14756
		a1178609647 = a914727600 + 5
		a458716067 = a558123585*a533054965%14999 + -13418 + 41429 + -28484
	}
	if a668543261 <= -85 && (input == 10 && cf == 1 && a297777914 <= 10) && (a635095050 == 4 && a1281480214 == 33 && a1425079908 == 1 && a631351130 == 33) {
		//printf("%d\n", 19); fflush(stdout);
		a188376983 += func() int {
			if a188376983+20 > a188376983 {
				return 1
			}
			return 0
		}()
		cf = 0
		a1014630870 = a914727600 - -9
		a470024258 = a363377125 - -4
		a2062265878 = (a297777914*a668543261%14999+12772)%48 + 325 + 0
		a1350544514 = 34
		a363377125 = a1178609647 - 1
		a1425079908 = a1014630870 + -9
		a631351130 = 34
		a558123585 = (a558123585*a533054965%14999%90 - -169 - -1)/5 - -135
		a533054965 = ((a558123585*a458716067%14999%101 - -29)*5 - -19042)%101 - -9
		a297777914 = a297777914*a558123585%14999%109 - -262 + 1 - 1
		a1809397514 = 34
		a635095050 = a914727600 - -3
	}
}

// calculate_outputm23 - transpiled function from  /tmp/2019-Problem12.c:1643
func calculate_outputm23(input int) {
	if a631351130 == 33 && (a533054965 <= -173 && (a635095050 == 4 && a668543261 <= -85)) && (a1281480214 == 33 && (a297777914 <= 10 && (a914727600 == 3 && cf == 1))) {
		//printf("%d\n", 19); fflush(stdout);
		calculate_outputm127(input)
	}
}

// calculate_outputm138 - transpiled function from  /tmp/2019-Problem12.c:1648
func calculate_outputm138(input int) {
	if a668543261 <= -85 && (a635095050 == 4 && a363377125 == 6) && (a297777914 <= 10 && (a1425079908 == 1 && (cf == 1 && input == 9 && a458716067 <= -81))) {
		cf = 0
		a631351130 = 34
		a1350544514 = 34
		a533054965 = (a533054965*a458716067%14999%101+11)/5 - -12905 + -12806
		a1425079908 = a470024258 + -5
		a1281480214 = 34
		a558123585 = a558123585*a297777914%14999%90 + 169 + -2 - 10557 - -10558
		a363377125 = a1425079908 - -5
		a2062265878 = (a558123585*a558123585%14999 - 21541 - 2313) * 1
		a702083417 = a1178609647
		a297777914 = (a297777914*a458716067%14999+11925)%109 + 262 - 26255 + 26255
		a470024258 = 10
		a1809397514 = 34
		a635095050 = a363377125 + -2
		a458716067 = a458716067*a668543261%14999%99 - -52 - 6434 - -6457
		a668543261 = (a668543261*a533054965%14999%15+124+-19269)/5 - -3942
	}
	if a533054965 <= -173 && (a458716067 <= -81 && a363377125 == 6) && (a1281480214 == 33 && (a470024258 == 8 && (input == 6 && cf == 1 && a635095050 == 4))) {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a2062265878 = ((a558123585*a458716067%14999%48+326)*5+-4229)%48 - -333
		a1014630870 = a635095050 - -5
		a1425079908 = a1178609647 - a1178609647 + 3
		a533054965 = (a533054965*a458716067%14999%101 - -17) * 10 / 9 / 5
		a558123585 = (a558123585*a2062265878%14999/5%90+87)*5%90 + 140
		a470024258 = a635095050 - a1014630870 - -15
		a297777914 = (a297777914*a2062265878%14999%109+263)/5 + 201
		a363377125 = a470024258/a1425079908 + 5
		a631351130 = 34
		a1809397514 = 34
		a1350544514 = 34
		a458716067 = (a458716067*a297777914%14999%99 - -96 + 0) / 5
		a668543261 = (a668543261*a2062265878%14999%15 - -124 - -8086)*3%15 - -114
	}
}

// calculate_outputm25 - transpiled function from  /tmp/2019-Problem12.c:1685
func calculate_outputm25(input int) {
	if a458716067 <= -81 && (a1350544514 == 33 && (a11629652 == 33 && cf == 1 && a363377125 == 6) && a1809397514 == 33) && (a631351130 == 33 && a297777914 <= 10) {
		//printf("%d\n", 23); fflush(stdout);
		calculate_outputm138(input)
	}
}

// calculate_outputm143 - transpiled function from  /tmp/2019-Problem12.c:1690
func calculate_outputm143(input int) {
	if a1350544514 == 33 && (a1809397514 == 33 && a458716067 <= -81) && (a1281480214 == 33 && (input == 4 && cf == 1 && a297777914 <= 10 && a635095050 == 4)) {
		a1406068516 += func() int {
			if a1406068516+20 > a1406068516 {
				return 1
			}
			return 0
		}()
		a188376983 += func() int {
			if a188376983+20 > a188376983 {
				return 4
			}
			return 0
		}()
		cf = 0
		a1809397514 = 32
		a914727600 = a470024258
		a363377125 = a470024258 + -1
		a1524975081 = a635095050 - -5
		a635095050 = a363377125/a363377125 - -4
		a631351130 = 32
		a558123585 = a558123585*a533054965%14999%32 - -45 - -1 + -2
		a1425079908 = a1178609647 - 10
		a1281480214 = 32
		a533054965 = a458716067*a297777914%14999/5%49 + -123 + -1
		a668543261 = a668543261*a458716067%14999/5%96 + 6 - -1
		a297777914 = (a297777914*a533054965%14999+13053 - -842)%71 - -81
		a1350544514 = 32
		a470024258 = a1425079908 - -7
		a458716067 = a458716067*a137310972%14999%38 - 72 - -2853 - 2857
	}
	if a533054965 <= -173 && (a668543261 <= -85 && (a363377125 == 6 && a470024258 == 8) && a297777914 <= 10) && a458716067 <= -81 && (input == 5 && cf == 1) {
		//printf("%d\n", 19); fflush(stdout);
		a1958569006 += func() int {
			if a1958569006+20 > a1958569006 {
				return 2
			}
			return 0
		}()
		cf = 0
		a558123585 = (a558123585*a668543261%14999 + -8669) / 5 * 5
		a493087397 = a137310972*a558123585%14999*2%59 + 62 + 2
		a281306570 = a363377125 + -5
	}
	if a631351130 == 33 && (a470024258 == 8 && (input == 7 && cf == 1) && a458716067 <= -81) && (a363377125 == 6 && (a668543261 <= -85 && a297777914 <= 10)) {
		//printf("%d\n", 23); fflush(stdout);
		cf = 0
		a668543261 = a137310972*a137310972%14999%96 - 39 - 22318 - 4924 - -27266
		a363377125 = a635095050/a635095050 + 6
		a1524975081 = a635095050 - -8
		a470024258 = a363377125 - -2
		a297777914 = (a668543261*a668543261%71+81)/5 - -91
		a1281480214 = 32
		a558123585 = a558123585*a533054965%14999%32 - -45 - 27025 - -50740 + -23714
		a1350544514 = 32
		a1809397514 = 32
		a458716067 = a458716067*a297777914%14999%38 - 40 - -3830 + -26453 - -22621
		a387693620 = a1524975081 * a1425079908
		a631351130 = 32
		a533054965 = a137310972*a668543261%14999*2*1%49 - 123
		a1425079908 = a1178609647 - a363377125 - 3
		a635095050 = a470024258 - 4
	}
}

// calculate_outputm144 - transpiled function from  /tmp/2019-Problem12.c:1738
func calculate_outputm144(input int) {
	if a297777914 <= 10 && (a470024258 == 8 && a458716067 <= -81 && a668543261 <= -85) && (cf == 1 && input == 2 && a635095050 == 4 && a1281480214 == 33) {
		//printf("%d\n", 20); fflush(stdout);
		cf = 0
	}
	if a635095050 == 4 && a458716067 <= -81 && a470024258 == 8 && a631351130 == 33 && (cf == 1 && input == 5 && a1350544514 == 33 && a363377125 == 6) {
		//printf("%d\n", 26); fflush(stdout);
		cf = 0
		a470024258 = a1425079908 + 8
		a297777914 = (3*5+8720)/5 + -1715
		a363377125 = a1178609647 - 5
		a1304128308 = a1425079908 - a1425079908 - -10
		a1809397514 = 32
		a1524975081 = a635095050/a1304128308 - -13
		a1350544514 = 32
		a668543261 = a668543261*a137310972%14999%96 - -13 + -1 - 16779 + 16779
		a458716067 = (a458716067*a533054965%14999%38-68)*5*5%38 + -11
		a631351130 = 32
		a558123585 = (a558123585*a533054965%14999%32 - -44)*5%32 - -27
		a635095050 = a363377125 - 2
		a1281480214 = 32
		a533054965 = (a533054965*a297777914%14999+16733)*1%49 + -138
		a1425079908 = a363377125 - 5
	}
	if a631351130 == 33 && a1350544514 == 33 && a458716067 <= -81 && (a1809397514 == 33 && (cf == 1 && input == 4) && a533054965 <= -173 && a470024258 == 8) && a2114497607 == -3 {
		//printf("%d\n", 20); fflush(stdout);
		cf = 0
		a558123585 = a558123585*a668543261%14999 + 28769 - 34539 + 11245 + -12192
		a281306570 = a470024258 + -4
		a462100686 = a470024258 + 2
	}
	if a533054965 <= -173 && (a668543261 <= -85 && (input == 8 && cf == 1) && a470024258 == 8) && (a1809397514 == 33 && a458716067 <= -81 && a363377125 == 6) {
		//printf("%d\n", 16); fflush(stdout);
		a2061130608 -= func() int {
			if a2061130608-20 < a2061130608 {
				return 2
			}
			return 0
		}()
		cf = 0
		a1178609647 = a470024258 + 5
		a493087397 = (a533054965*a533054965%14999-5792 - -20098)*1%91 - -138
	}
}

// calculate_outputm26 - transpiled function from  /tmp/2019-Problem12.c:1775
func calculate_outputm26(input int) {
	if a137310972 <= -156 && cf == 1 && a363377125 == 6 && a1350544514 == 33 && (a668543261 <= -85 && (a1809397514 == 33 && a1281480214 == 33 && a297777914 <= 10)) {
		//printf("%d\n", 19); fflush(stdout);
		calculate_outputm143(input)
	}
	if a458716067 <= -81 && a1425079908 == 1 && (a1350544514 == 33 && (-8 < a137310972 && 158 >= a137310972 && cf == 1 && a668543261 <= -85 && a1281480214 == 33) && a533054965 <= -173) {
		calculate_outputm144(input)
	}
}

// calculate_outputm152 - transpiled function from  /tmp/2019-Problem12.c:1783
func calculate_outputm152(input int) {
	if a363377125 == 6 && (a458716067 <= -81 && (a668543261 <= -85 && (cf == 1 && input == 9))) && a297777914 <= 10 && a1350544514 == 33 && a1281480214 == 33 {
		a130136624 += func() int {
			if a130136624+20 > a130136624 {
				return 2
			}
			return 0
		}()
		a1079276458 -= func() int {
			if a1079276458-20 < a1079276458 {
				return 4
			}
			return 0
		}()
		a2114497607 -= func() int {
			if a2114497607-20 < a2114497607 {
				return 6
			}
			return 0
		}()
		a943871142 += func() int {
			if a943871142+20 > a943871142 {
				return 2
			}
			return 0
		}()
		a706425043 -= func() int {
			if a706425043-20 < a706425043 {
				return 4
			}
			return 0
		}()
		cf = 0
		a914727600 = a1425079908 + a281306570 - -3
		a533054965 = a533054965*a458716067%14999%49 - 169 - -17030 - 16983
		a1524975081 = a470024258/a281306570 - -7
		a470024258 = a914727600 + a914727600 - 7
		a558123585 = (a558123585*a297777914%14999/5%32 + 44) * 1
		a1350544514 = 32
		a635095050 = a914727600 + -3
		a1425079908 = a914727600 + -6
		a1809397514 = 32
		a631351130 = 32
		a297777914 = (a297777914*a458716067%14999%71 - -81)*5%71 + 12
		a458716067 = (a458716067*a668543261%14999%38+-68)/5 + -6265 + 6230
		a363377125 = a1178609647/a914727600 - -6
		a1281480214 = 32
		a668543261 = (a668543261*a533054965%14999%96-66-27910)/5 + 5621
	}
	if a470024258 == 8 && a1350544514 == 33 && a1281480214 == 33 && a533054965 <= -173 && a631351130 == 33 && (a1809397514 == 33 && (cf == 1 && input == 4)) && a706425043 <= -96 {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a61424176 = a281306570 - -9
		a1178609647 = a61424176 + a281306570 + -7
	}
	if a635095050 == 4 && (a668543261 <= -85 && a297777914 <= 10) && a1281480214 == 33 && a1425079908 == 1 && (input == 2 && cf == 1 && a470024258 == 8) {
		//printf("%d\n", 19); fflush(stdout);
		cf = 0
		a1524975081 = a635095050*a1425079908 - -5
		a914727600 = a1524975081*a470024258 + -63
		a1350544514 = 32
		a1425079908 = a1178609647/a1178609647 - -1
		a635095050 = a1178609647 + -9
		a558123585 = ((a558123585*a668543261%14999 - -24604)%32+43)*5%32 + 36
		a668543261 = (a533054965*a533054965%14999+-13938)%96 - -12 + -4346 + 4346
		a363377125 = a1178609647 - a281306570 + -3
		a297777914 = (a297777914*a458716067%14999 - -4702)%71 - -82 - -1
		a631351130 = 32
		a1809397514 = 32
		a533054965 = (a533054965*a297777914%14999+16305)%49 + -164 + -4
		a1281480214 = 32
		a470024258 = a1524975081*a1178609647 + -117
	}
}

// calculate_outputm154 - transpiled function from  /tmp/2019-Problem12.c:1831
func calculate_outputm154(input int) {
	if a297777914 <= 10 && (a631351130 == 33 && (input == 1 && cf == 1 && a1809397514 == 33 && a363377125 == 6)) && (a458716067 <= -81 && a533054965 <= -173) {
		//printf("%d\n", 22); fflush(stdout);
		a2061130608 -= func() int {
			if a2061130608-20 < a2061130608 {
				return 1
			}
			return 0
		}()
		a521016673 += func() int {
			if a521016673+20 > a521016673 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1178609647 = a363377125 + 1
		a1304128308 = a1178609647 + 2
	}
	if a1350544514 == 33 && (cf == 1 && input == 7 && a1809397514 == 33 && a631351130 == 33 && a470024258 == 8) && (a1425079908 == 1 && a668543261 <= -85) {
		//printf("%d\n", 20); fflush(stdout);
		a1471952247 += func() int {
			if a1471952247+20 > a1471952247 {
				return 1
			}
			return 0
		}()
		cf = 0
		a668543261 = 17 + 68 - -9 - 14
		a1524975081 = a635095050/a635095050 - -11
		a533054965 = a668543261*a668543261%49 + -122 + -29405 - -29405
		a297777914 = (a297777914*a668543261%14999/5-5007-21734)%71 + 115
		a387693620 = a1425079908 + 11
		a1350544514 = 32
		a1425079908 = a363377125 + -4
		a363377125 = a281306570 - -1
		a558123585 = (a558123585*a458716067%14999+-11096 - -13662)/5%32 + 45
		a458716067 = (a458716067*a533054965%14999%38+-73)*5%38 - 36
		a631351130 = 32
		a1809397514 = 32
		a635095050 = a1178609647 - 9
		a1281480214 = 32
		a470024258 = a1178609647 - 5
	}
	if a1809397514 == 33 && (a631351130 == 33 && (a470024258 == 8 && (input == 5 && cf == 1))) && (a533054965 <= -173 && a668543261 <= -85 && a635095050 == 4) && a1647447633 == 2 {
		//printf("%d\n", 25); fflush(stdout);
		a1958569006 -= func() int {
			if a1958569006-20 < a1958569006 {
				return 2
			}
			return 0
		}()
		a1471952247 -= func() int {
			if a1471952247-20 < a1471952247 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1178609647 = a470024258 - a470024258 + 7
		a1304128308 = a363377125 + a1425079908 + 6
	}
	if input == 10 && cf == 1 && a533054965 <= -173 && a1281480214 == 33 && (a635095050 == 4 && a470024258 == 8 && a1809397514 == 33 && a1350544514 == 33) && a333446562 == -8 {
		//printf("%d\n", 24); fflush(stdout);
		cf = 0
		a558123585 = (a558123585*a533054965%14999-12227)*1%32 + 54
		a1524975081 = a470024258 + -1
		a914727600 = a1524975081/a635095050 - -5
	}
	if a363377125 == 6 && a1425079908 == 1 && a1281480214 == 33 && (a458716067 <= -81 && (a297777914 <= 10 && (a470024258 == 8 && (input == 6 && cf == 1)))) && a1783572941 == 10 {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a2062265878 = a533054965*a297777914%14999*2/5*5%14812 + 15187
		a631219524 = a635095050 - -7
		a558123585 = (a558123585*a2062265878%14999+-24632)%90 + 253 + -25320 - -25279
	}
	if a363377125 == 6 && a458716067 <= -81 && (a470024258 == 8 && (a1425079908 == 1 && (input == 8 && cf == 1 && a668543261 <= -85 && a635095050 == 4))) && a1717797827 == 0 {
		//printf("%d\n", 26); fflush(stdout);
		cf = 0
		a224147222 = (a458716067*a458716067%14999 - -14607 - -20)/5%78 + 269
		a558123585 = (a558123585*a533054965%14999 - -26050 + -34542) * 10 / 9
		a281306570 = a1178609647*a363377125 + -82
	}
	if a1809397514 == 33 && (a1425079908 == 1 && (input == 4 && cf == 1 && a1350544514 == 33)) && a533054965 <= -173 && (a470024258 == 8 && a635095050 == 4) && a130136624 == 3 {
		//printf("%d\n", 25); fflush(stdout);
		a1958569006 += func() int {
			if a1958569006+20 > a1958569006 {
				return 3
			}
			return 0
		}()
		cf = 0
		a1304128308 = a635095050 + 7
		a1178609647 = a1425079908 - -6
	}
	if a1281480214 == 33 && a297777914 <= 10 && a668543261 <= -85 && a1809397514 == 33 && (input == 3 && cf == 1 && a533054965 <= -173 && a631351130 == 33) {
		//printf("%d\n", 18); fflush(stdout);
		cf = 0
		a281306570 = a470024258 + -3
		a1034097962 = 34
		a558123585 = (a558123585*a458716067%14999 + -11887 - -7971) * 10 / 9
	}
}

// calculate_outputm155 - transpiled function from  /tmp/2019-Problem12.c:1897
func calculate_outputm155(input int) {
	if a458716067 <= -81 && (a297777914 <= 10 && (input == 6 && cf == 1 && a635095050 == 4)) && a1425079908 == 1 && (a1350544514 == 33 && a363377125 == 6) {
		//printf("%d\n", 16); fflush(stdout);
		cf = 0
		a558123585 = (a558123585*a458716067%14999 - -19000 + -31166) * 1
		a542521680 = 32
		a281306570 = a1425079908 - -2
	}
	if a1809397514 == 33 && (a631351130 == 33 && a297777914 <= 10 && a470024258 == 8) && (a458716067 <= -81 && (input == 4 && cf == 1 && a668543261 <= -85)) && a240070971 == 11 {
		//printf("%d\n", 22); fflush(stdout);
		a2061130608 -= func() int {
			if a2061130608-20 < a2061130608 {
				return 2
			}
			return 0
		}()
		a1019899841 += func() int {
			if a1019899841+20 > a1019899841 {
				return 4
			}
			return 0
		}()
		cf = 0
		a230802418 = 33
		a558123585 = (a558123585*a668543261%14999-14522)*1 + 40517 - 35292
		a281306570 = a363377125 + 1
	}
	if a297777914 <= 10 && a631351130 == 33 && a1350544514 == 33 && (a363377125 == 6 && (a533054965 <= -173 && (a1425079908 == 1 && (input == 3 && cf == 1)))) {
		//printf("%d\n", 22); fflush(stdout);
		cf = 0
		a61424176 = a635095050 - -3
		a1178609647 = a1425079908 - -9
	}
}

// calculate_outputm28 - transpiled function from  /tmp/2019-Problem12.c:1919
func calculate_outputm28(input int) {
	if a458716067 <= -81 && (a281306570 == 4 && cf == 1) && (a297777914 <= 10 && a533054965 <= -173 && a1809397514 == 33 && a1350544514 == 33 && a635095050 == 4) {
		//printf("%d\n", 23); fflush(stdout);
		calculate_outputm152(input)
	}
	if a635095050 == 4 && (a281306570 == 6 && cf == 1) && a1350544514 == 33 && (a1425079908 == 1 && (a458716067 <= -81 && a297777914 <= 10 && a631351130 == 33)) {
		calculate_outputm154(input)
	}
	if a363377125 == 6 && a635095050 == 4 && a668543261 <= -85 && a458716067 <= -81 && (a470024258 == 8 && (a1281480214 == 33 && (cf == 1 && a281306570 == 8))) {
		calculate_outputm155(input)
	}
}

// calculate_output - transpiled function from  /tmp/2019-Problem12.c:1931
func calculate_output(input int) {
	cf = 1
	if a363377125 == 6 && (a668543261 <= -85 && (cf == 1 && a558123585 <= 12)) && (a533054965 <= -173 && (a1281480214 == 33 && a1425079908 == 1 && a470024258 == 8)) {
		if a533054965 <= -173 && a1809397514 == 33 && a363377125 == 6 && a297777914 <= 10 && (a281306570 == 1 && cf == 1 && a1281480214 == 33 && a668543261 <= -85) {
			calculate_outputm1(input)
		}
		if a470024258 == 8 && (a297777914 <= 10 && a1350544514 == 33 && a1425079908 == 1) && (a363377125 == 6 && (a668543261 <= -85 && (cf == 1 && a281306570 == 2))) {
			calculate_outputm2(input)
		}
		if a1350544514 == 33 && (a281306570 == 3 && cf == 1) && a668543261 <= -85 && (a533054965 <= -173 && (a470024258 == 8 && a363377125 == 6 && a1425079908 == 1)) {
			calculate_outputm3(input)
		}
		if a668543261 <= -85 && (a297777914 <= 10 && (cf == 1 && a281306570 == 4)) && a1809397514 == 33 && (a635095050 == 4 && (a470024258 == 8 && a1425079908 == 1)) {
			calculate_outputm4(input)
		}
		if a1281480214 == 33 && (a297777914 <= 10 && a631351130 == 33 && a470024258 == 8) && a1425079908 == 1 && (a668543261 <= -85 && (a281306570 == 6 && cf == 1)) {
			calculate_outputm6(input)
		}
	}
	if 12 < a558123585 && 77 >= a558123585 && cf == 1 && a1425079908 == 2 && a1281480214 == 32 && (-85 < a668543261 && 109 >= a668543261) && (a470024258 == 9 && a363377125 == 7 && (-173 < a533054965 && -73 >= a533054965)) {
		if a1425079908 == 2 && (a1524975081 == 7 && cf == 1 && a363377125 == 7) && a631351130 == 32 && (-173 < a533054965 && -73 >= a533054965 && a1281480214 == 32 && a1809397514 == 32) {
			calculate_outputm9(input)
		}
		if a1524975081 == 8 && cf == 1 && a1425079908 == 2 && (-85 < a668543261 && 109 >= a668543261) && (a363377125 == 7 && (10 < a297777914 && 153 >= a297777914 && (-81 < a458716067 && -3 >= a458716067) && a1281480214 == 32)) {
			calculate_outputm10(input)
		}
		if a363377125 == 7 && (-85 < a668543261 && 109 >= a668543261 && (cf == 1 && a1524975081 == 9)) && (-173 < a533054965 && -73 >= a533054965) && (a470024258 == 9 && a1425079908 == 2 && a1809397514 == 32) {
			calculate_outputm11(input)
		}
		if a1425079908 == 2 && (-85 < a668543261 && 109 >= a668543261) && (a635095050 == 5 && (a1350544514 == 32 && (a1524975081 == 10 && cf == 1 && a363377125 == 7 && (10 < a297777914 && 153 >= a297777914)))) {
			calculate_outputm12(input)
		}
		if a470024258 == 9 && (cf == 1 && a1524975081 == 12) && (10 < a297777914 && 153 >= a297777914) && (a635095050 == 5 && (a1425079908 == 2 && (a1350544514 == 32 && (-81 < a458716067 && -3 >= a458716067)))) {
			calculate_outputm14(input)
		}
		if a1524975081 == 13 && cf == 1 && a363377125 == 7 && (a1425079908 == 2 && (a631351130 == 32 && a1281480214 == 32) && a635095050 == 5 && a470024258 == 9) {
			calculate_outputm15(input)
		}
	}
	if a1350544514 == 34 && (153 < a297777914 && 372 >= a297777914) && (a1809397514 == 34 && (a631351130 == 34 && (a363377125 == 8 && (77 < a558123585 && 259 >= a558123585 && cf == 1) && (-3 < a458716067 && 197 >= a458716067)))) {
		if a635095050 == 6 && (a2062265878 <= 130 && cf == 1 && (109 < a668543261 && 140 >= a668543261)) && (153 < a297777914 && 372 >= a297777914 && a631351130 == 34 && (-3 < a458716067 && 197 >= a458716067) && (-73 < a533054965 && 130 >= a533054965)) {
			calculate_outputm17(input)
		}
		if 130 < a2062265878 && 277 >= a2062265878 && cf == 1 && (a1281480214 == 34 && (-73 < a533054965 && 130 >= a533054965 && (a1350544514 == 34 && a363377125 == 8 && (109 < a668543261 && 140 >= a668543261)) && a1425079908 == 3)) {
			calculate_outputm18(input)
		}
	}
	if a1809397514 == 33 && a1281480214 == 33 && a631351130 == 33 && a363377125 == 6 && (cf == 1 && 259 < a558123585 && a635095050 == 4 && a533054965 <= -173) {
		if a1281480214 == 33 && (cf == 1 && a1178609647 == 7) && (a1350544514 == 33 && a458716067 <= -81 && a363377125 == 6 && a631351130 == 33 && a1809397514 == 33) {
			calculate_outputm21(input)
		}
		if a1809397514 == 33 && (cf == 1 && a1178609647 == 8) && a1350544514 == 33 && a1281480214 == 33 && a470024258 == 8 && (a458716067 <= -81 && a297777914 <= 10) {
			calculate_outputm22(input)
		}
		if a668543261 <= -85 && (a470024258 == 8 && a363377125 == 6) && a1281480214 == 33 && (a1425079908 == 1 && (cf == 1 && a1178609647 == 9 && a1809397514 == 33)) {
			calculate_outputm23(input)
		}
		if a1281480214 == 33 && (a635095050 == 4 && (a533054965 <= -173 && (a1178609647 == 11 && cf == 1 && a1809397514 == 33))) && (a631351130 == 33 && a1350544514 == 33) {
			calculate_outputm25(input)
		}
		if a1178609647 == 12 && cf == 1 && a635095050 == 4 && a363377125 == 6 && (a458716067 <= -81 && (a668543261 <= -85 && (a1350544514 == 33 && a1809397514 == 33))) {
			calculate_outputm26(input)
		}
		if a458716067 <= -81 && a1809397514 == 33 && a363377125 == 6 && (a635095050 == 4 && (a631351130 == 33 && (a533054965 <= -173 && (cf == 1 && a1178609647 == 14)))) {
			calculate_outputm28(input)
		}
	}
	errorCheck()
	if cf == 1 {
	}
}

// main - transpiled function from  /tmp/2019-Problem12.c:2005
func main() {
	for 1 != 0 {
		var __RERS__ int
		//f;//printf(stderr, "Invalid input: %d\n", input);
		// main i/o-loop
		// read input
		__RERS__ = __RERS__ + 1
		if __RERS__ != 2 && __RERS__ != 9 && __RERS__ != 4 && __RERS__ != 10 && __RERS__ != 5 && __RERS__ != 1 && __RERS__ != 6 && __RERS__ != 8 && __RERS__ != 7 && __RERS__ != 3 {
			// operate eca engine
			break
		}
		calculate_output(__RERS__)
	}
}