\* Problem: FileTransfer *\ Minimize obj: + R496 Subject To C1: + R496 + R335 >= 2 C2: + R496 + 2 R336 >= 3 C3: + R496 + 3 R337 >= 4 C4: + R496 + 4 R338 >= 5 C5: + R496 + 5 R339 >= 6 C6: + R496 + 6 R340 >= 7 C7: + R496 + 7 R341 >= 8 C8: + R496 + 8 R342 >= 9 C9: + R496 + 9 R343 >= 10 C10: + R496 + 10 R344 >= 11 C11: + R496 + R401 >= 2 C12: + R496 + 2 R402 >= 3 C13: + R496 + 3 R403 >= 4 C14: + R496 + 4 R404 >= 5 C15: + R496 + 5 R405 >= 6 C16: + R496 + 6 R406 >= 7 C17: + R496 + 7 R407 >= 8 C18: + R496 + 8 R408 >= 9 C19: + R496 + 9 R409 >= 10 C20: + R496 + 10 R410 >= 11 C21: + R496 + R445 >= 2 C22: + R496 + 2 R446 >= 3 C23: + R496 + 3 R447 >= 4 C24: + R496 + 4 R448 >= 5 C25: + R496 + 5 R449 >= 6 C26: + R496 + 6 R450 >= 7 C27: + R496 + 7 R451 >= 8 C28: + R496 + 8 R452 >= 9 C29: + R496 + 9 R453 >= 10 C30: + R496 + 10 R454 >= 11 C31: + R496 + R456 >= 2 C32: + R496 + 2 R457 >= 3 C33: + R496 + 3 R458 >= 4 C34: + R496 + 4 R459 >= 5 C35: + R496 + 5 R460 >= 6 C36: + R496 + 6 R461 >= 7 C37: + R496 + 7 R462 >= 8 C38: + R496 + 8 R463 >= 9 C39: + R496 + 9 R464 >= 10 C40: + R496 + 10 R465 >= 11 C41: + R301 = 1 C42: + R312 = 0 C43: + R323 = 0 C44: + R334 = 0 C45: + R345 = 0 C46: + R356 = 0 C47: + R367 = 1 C48: + R378 = 0 C49: + R389 = 0 C50: + R400 = 0 C51: + R411 = 0 C52: + R422 = 1 C53: + R433 = 1 C54: + R444 = 0 C55: + R455 = 0 C56: + R251 + R151 + R51 + R201 + R101 + R1 <= 1 C57: + R252 + R152 + R52 + R202 + R102 + R2 <= 1 C58: + R253 + R153 + R53 + R203 + R103 + R3 <= 1 C59: + R254 + R154 + R54 + R204 + R104 + R4 <= 1 C60: + R255 + R155 + R55 + R205 + R105 + R5 <= 1 C61: + R256 + R156 + R56 + R206 + R106 + R6 <= 1 C62: + R257 + R157 + R57 + R207 + R107 + R7 <= 1 C63: + R258 + R158 + R58 + R208 + R108 + R8 <= 1 C64: + R259 + R159 + R59 + R209 + R109 + R9 <= 1 C65: + R260 + R160 + R60 + R210 + R110 + R10 <= 1 C66: + R281 + R181 + R81 + R261 + R161 + R61 + R251 + R151 + R51 + R231 + R131 + R31 + R211 + R111 + R11 + R201 + R101 + R1 <= 1 C67: + R282 + R182 + R82 + R262 + R162 + R62 + R252 + R152 + R52 + R232 + R132 + R32 + R212 + R112 + R12 + R202 + R102 + R2 <= 1 C68: + R283 + R183 + R83 + R263 + R163 + R63 + R253 + R153 + R53 + R233 + R133 + R33 + R213 + R113 + R13 + R203 + R103 + R3 <= 1 C69: + R284 + R184 + R84 + R264 + R164 + R64 + R254 + R154 + R54 + R234 + R134 + R34 + R214 + R114 + R14 + R204 + R104 + R4 <= 1 C70: + R285 + R185 + R85 + R265 + R165 + R65 + R255 + R155 + R55 + R235 + R135 + R35 + R215 + R115 + R15 + R205 + R105 + R5 <= 1 C71: + R286 + R186 + R86 + R266 + R166 + R66 + R256 + R156 + R56 + R236 + R136 + R36 + R216 + R116 + R16 + R206 + R106 + R6 <= 1 C72: + R287 + R187 + R87 + R267 + R167 + R67 + R257 + R157 + R57 + R237 + R137 + R37 + R217 + R117 + R17 + R207 + R107 + R7 <= 1 C73: + R288 + R188 + R88 + R268 + R168 + R68 + R258 + R158 + R58 + R238 + R138 + R38 + R218 + R118 + R18 + R208 + R108 + R8 <= 1 C74: + R289 + R189 + R89 + R269 + R169 + R69 + R259 + R159 + R59 + R239 + R139 + R39 + R219 + R119 + R19 + R209 + R109 + R9 <= 1 C75: + R290 + R190 + R90 + R270 + R170 + R70 + R260 + R160 + R60 + R240 + R140 + R40 + R220 + R120 + R20 + R210 + R110 + R10 <= 1 C76: + R271 + R171 + R71 + R261 + R161 + R61 + R221 + R121 + R21 + R211 + R111 + R11 <= 1 C77: + R272 + R172 + R72 + R262 + R162 + R62 + R222 + R122 + R22 + R212 + R112 + R12 <= 1 C78: + R273 + R173 + R73 + R263 + R163 + R63 + R223 + R123 + R23 + R213 + R113 + R13 <= 1 C79: + R274 + R174 + R74 + R264 + R164 + R64 + R224 + R124 + R24 + R214 + R114 + R14 <= 1 C80: + R275 + R175 + R75 + R265 + R165 + R65 + R225 + R125 + R25 + R215 + R115 + R15 <= 1 C81: + R276 + R176 + R76 + R266 + R166 + R66 + R226 + R126 + R26 + R216 + R116 + R16 <= 1 C82: + R277 + R177 + R77 + R267 + R167 + R67 + R227 + R127 + R27 + R217 + R117 + R17 <= 1 C83: + R278 + R178 + R78 + R268 + R168 + R68 + R228 + R128 + R28 + R218 + R118 + R18 <= 1 C84: + R279 + R179 + R79 + R269 + R169 + R69 + R229 + R129 + R29 + R219 + R119 + R19 <= 1 C85: + R280 + R180 + R80 + R270 + R170 + R70 + R230 + R130 + R30 + R220 + R120 + R20 <= 1 C86: + R291 + R191 + R91 + R271 + R171 + R71 + R241 + R141 + R41 + R221 + R121 + R21 <= 1 C87: + R292 + R192 + R92 + R272 + R172 + R72 + R242 + R142 + R42 + R222 + R122 + R22 <= 1 C88: + R293 + R193 + R93 + R273 + R173 + R73 + R243 + R143 + R43 + R223 + R123 + R23 <= 1 C89: + R294 + R194 + R94 + R274 + R174 + R74 + R244 + R144 + R44 + R224 + R124 + R24 <= 1 C90: + R295 + R195 + R95 + R275 + R175 + R75 + R245 + R145 + R45 + R225 + R125 + R25 <= 1 C91: + R296 + R196 + R96 + R276 + R176 + R76 + R246 + R146 + R46 + R226 + R126 + R26 <= 1 C92: + R297 + R197 + R97 + R277 + R177 + R77 + R247 + R147 + R47 + R227 + R127 + R27 <= 1 C93: + R298 + R198 + R98 + R278 + R178 + R78 + R248 + R148 + R48 + R228 + R128 + R28 <= 1 C94: + R299 + R199 + R99 + R279 + R179 + R79 + R249 + R149 + R49 + R229 + R129 + R29 <= 1 C95: + R300 + R200 + R100 + R280 + R180 + R80 + R250 + R150 + R50 + R230 + R130 + R30 <= 1 C96: + R291 + R191 + R91 + R281 + R181 + R81 + R241 + R141 + R41 + R231 + R131 + R31 <= 1 C97: + R292 + R192 + R92 + R282 + R182 + R82 + R242 + R142 + R42 + R232 + R132 + R32 <= 1 C98: + R293 + R193 + R93 + R283 + R183 + R83 + R243 + R143 + R43 + R233 + R133 + R33 <= 1 C99: + R294 + R194 + R94 + R284 + R184 + R84 + R244 + R144 + R44 + R234 + R134 + R34 <= 1 C100: + R295 + R195 + R95 + R285 + R185 + R85 + R245 + R145 + R45 + R235 + R135 + R35 <= 1 C101: + R296 + R196 + R96 + R286 + R186 + R86 + R246 + R146 + R46 + R236 + R136 + R36 <= 1 C102: + R297 + R197 + R97 + R287 + R187 + R87 + R247 + R147 + R47 + R237 + R137 + R37 <= 1 C103: + R298 + R198 + R98 + R288 + R188 + R88 + R248 + R148 + R48 + R238 + R138 + R38 <= 1 C104: + R299 + R199 + R99 + R289 + R189 + R89 + R249 + R149 + R49 + R239 + R139 + R39 <= 1 C105: + R300 + R200 + R100 + R290 + R190 + R90 + R250 + R150 + R50 + R240 + R140 + R40 <= 1 C106: - R302 + R301 <= 0 C107: - R303 + R302 <= 0 C108: - R304 + R303 <= 0 C109: - R305 + R304 <= 0 C110: - R306 + R305 <= 0 C111: - R307 + R306 <= 0 C112: - R308 + R307 <= 0 C113: - R309 + R308 <= 0 C114: - R310 + R309 <= 0 C115: - R311 + R310 <= 0 C116: - R313 + R312 <= 0 C117: - R314 + R313 <= 0 C118: - R315 + R314 <= 0 C119: - R316 + R315 <= 0 C120: - R317 + R316 <= 0 C121: - R318 + R317 <= 0 C122: - R319 + R318 <= 0 C123: - R320 + R319 <= 0 C124: - R321 + R320 <= 0 C125: - R322 + R321 <= 0 C126: - R324 + R323 <= 0 C127: - R325 + R324 <= 0 C128: - R326 + R325 <= 0 C129: - R327 + R326 <= 0 C130: - R328 + R327 <= 0 C131: - R329 + R328 <= 0 C132: - R330 + R329 <= 0 C133: - R331 + R330 <= 0 C134: - R332 + R331 <= 0 C135: - R333 + R332 <= 0 C136: - R335 + R334 <= 0 C137: - R336 + R335 <= 0 C138: - R337 + R336 <= 0 C139: - R338 + R337 <= 0 C140: - R339 + R338 <= 0 C141: - R340 + R339 <= 0 C142: - R341 + R340 <= 0 C143: - R342 + R341 <= 0 C144: - R343 + R342 <= 0 C145: - R344 + R343 <= 0 C146: - R346 + R345 <= 0 C147: - R347 + R346 <= 0 C148: - R348 + R347 <= 0 C149: - R349 + R348 <= 0 C150: - R350 + R349 <= 0 C151: - R351 + R350 <= 0 C152: - R352 + R351 <= 0 C153: - R353 + R352 <= 0 C154: - R354 + R353 <= 0 C155: - R355 + R354 <= 0 C156: - R357 + R356 <= 0 C157: - R358 + R357 <= 0 C158: - R359 + R358 <= 0 C159: - R360 + R359 <= 0 C160: - R361 + R360 <= 0 C161: - R362 + R361 <= 0 C162: - R363 + R362 <= 0 C163: - R364 + R363 <= 0 C164: - R365 + R364 <= 0 C165: - R366 + R365 <= 0 C166: - R368 + R367 <= 0 C167: - R369 + R368 <= 0 C168: - R370 + R369 <= 0 C169: - R371 + R370 <= 0 C170: - R372 + R371 <= 0 C171: - R373 + R372 <= 0 C172: - R374 + R373 <= 0 C173: - R375 + R374 <= 0 C174: - R376 + R375 <= 0 C175: - R377 + R376 <= 0 C176: - R379 + R378 <= 0 C177: - R380 + R379 <= 0 C178: - R381 + R380 <= 0 C179: - R382 + R381 <= 0 C180: - R383 + R382 <= 0 C181: - R384 + R383 <= 0 C182: - R385 + R384 <= 0 C183: - R386 + R385 <= 0 C184: - R387 + R386 <= 0 C185: - R388 + R387 <= 0 C186: - R390 + R389 <= 0 C187: - R391 + R390 <= 0 C188: - R392 + R391 <= 0 C189: - R393 + R392 <= 0 C190: - R394 + R393 <= 0 C191: - R395 + R394 <= 0 C192: - R396 + R395 <= 0 C193: - R397 + R396 <= 0 C194: - R398 + R397 <= 0 C195: - R399 + R398 <= 0 C196: - R401 + R400 <= 0 C197: - R402 + R401 <= 0 C198: - R403 + R402 <= 0 C199: - R404 + R403 <= 0 C200: - R405 + R404 <= 0 C201: - R406 + R405 <= 0 C202: - R407 + R406 <= 0 C203: - R408 + R407 <= 0 C204: - R409 + R408 <= 0 C205: - R410 + R409 <= 0 C206: - R412 + R411 <= 0 C207: - R413 + R412 <= 0 C208: - R414 + R413 <= 0 C209: - R415 + R414 <= 0 C210: - R416 + R415 <= 0 C211: - R417 + R416 <= 0 C212: - R418 + R417 <= 0 C213: - R419 + R418 <= 0 C214: - R420 + R419 <= 0 C215: - R421 + R420 <= 0 C216: - R423 + R422 <= 0 C217: - R424 + R423 <= 0 C218: - R425 + R424 <= 0 C219: - R426 + R425 <= 0 C220: - R427 + R426 <= 0 C221: - R428 + R427 <= 0 C222: - R429 + R428 <= 0 C223: - R430 + R429 <= 0 C224: - R431 + R430 <= 0 C225: - R432 + R431 <= 0 C226: - R434 + R433 <= 0 C227: - R435 + R434 <= 0 C228: - R436 + R435 <= 0 C229: - R437 + R436 <= 0 C230: - R438 + R437 <= 0 C231: - R439 + R438 <= 0 C232: - R440 + R439 <= 0 C233: - R441 + R440 <= 0 C234: - R442 + R441 <= 0 C235: - R443 + R442 <= 0 C236: - R445 + R444 <= 0 C237: - R446 + R445 <= 0 C238: - R447 + R446 <= 0 C239: - R448 + R447 <= 0 C240: - R449 + R448 <= 0 C241: - R450 + R449 <= 0 C242: - R451 + R450 <= 0 C243: - R452 + R451 <= 0 C244: - R453 + R452 <= 0 C245: - R454 + R453 <= 0 C246: - R456 + R455 <= 0 C247: - R457 + R456 <= 0 C248: - R458 + R457 <= 0 C249: - R459 + R458 <= 0 C250: - R460 + R459 <= 0 C251: - R461 + R460 <= 0 C252: - R462 + R461 <= 0 C253: - R463 + R462 <= 0 C254: - R464 + R463 <= 0 C255: - R465 + R464 <= 0 C256: - R301 + R1 <= 0 C257: - R302 + R2 <= 0 C258: - R303 + R3 <= 0 C259: - R304 + R4 <= 0 C260: - R305 + R5 <= 0 C261: - R306 + R6 <= 0 C262: - R307 + R7 <= 0 C263: - R308 + R8 <= 0 C264: - R309 + R9 <= 0 C265: - R310 + R10 <= 0 C266: - R312 + R11 <= 0 C267: - R313 + R12 <= 0 C268: - R314 + R13 <= 0 C269: - R315 + R14 <= 0 C270: - R316 + R15 <= 0 C271: - R317 + R16 <= 0 C272: - R318 + R17 <= 0 C273: - R319 + R18 <= 0 C274: - R320 + R19 <= 0 C275: - R321 + R20 <= 0 C276: - R323 + R21 <= 0 C277: - R324 + R22 <= 0 C278: - R325 + R23 <= 0 C279: - R326 + R24 <= 0 C280: - R327 + R25 <= 0 C281: - R328 + R26 <= 0 C282: - R329 + R27 <= 0 C283: - R330 + R28 <= 0 C284: - R331 + R29 <= 0 C285: - R332 + R30 <= 0 C286: - R312 + R31 <= 0 C287: - R313 + R32 <= 0 C288: - R314 + R33 <= 0 C289: - R315 + R34 <= 0 C290: - R316 + R35 <= 0 C291: - R317 + R36 <= 0 C292: - R318 + R37 <= 0 C293: - R319 + R38 <= 0 C294: - R320 + R39 <= 0 C295: - R321 + R40 <= 0 C296: - R345 + R41 <= 0 C297: - R346 + R42 <= 0 C298: - R347 + R43 <= 0 C299: - R348 + R44 <= 0 C300: - R349 + R45 <= 0 C301: - R350 + R46 <= 0 C302: - R351 + R47 <= 0 C303: - R352 + R48 <= 0 C304: - R353 + R49 <= 0 C305: - R354 + R50 <= 0 C306: - R312 + R51 <= 0 C307: - R313 + R52 <= 0 C308: - R314 + R53 <= 0 C309: - R315 + R54 <= 0 C310: - R316 + R55 <= 0 C311: - R317 + R56 <= 0 C312: - R318 + R57 <= 0 C313: - R319 + R58 <= 0 C314: - R320 + R59 <= 0 C315: - R321 + R60 <= 0 C316: - R323 + R61 <= 0 C317: - R324 + R62 <= 0 C318: - R325 + R63 <= 0 C319: - R326 + R64 <= 0 C320: - R327 + R65 <= 0 C321: - R328 + R66 <= 0 C322: - R329 + R67 <= 0 C323: - R330 + R68 <= 0 C324: - R331 + R69 <= 0 C325: - R332 + R70 <= 0 C326: - R334 + R71 <= 0 C327: - R335 + R72 <= 0 C328: - R336 + R73 <= 0 C329: - R337 + R74 <= 0 C330: - R338 + R75 <= 0 C331: - R339 + R76 <= 0 C332: - R340 + R77 <= 0 C333: - R341 + R78 <= 0 C334: - R342 + R79 <= 0 C335: - R343 + R80 <= 0 C336: - R345 + R81 <= 0 C337: - R346 + R82 <= 0 C338: - R347 + R83 <= 0 C339: - R348 + R84 <= 0 C340: - R349 + R85 <= 0 C341: - R350 + R86 <= 0 C342: - R351 + R87 <= 0 C343: - R352 + R88 <= 0 C344: - R353 + R89 <= 0 C345: - R354 + R90 <= 0 C346: - R334 + R91 <= 0 C347: - R335 + R92 <= 0 C348: - R336 + R93 <= 0 C349: - R337 + R94 <= 0 C350: - R338 + R95 <= 0 C351: - R339 + R96 <= 0 C352: - R340 + R97 <= 0 C353: - R341 + R98 <= 0 C354: - R342 + R99 <= 0 C355: - R343 + R100 <= 0 C356: - R356 + R101 <= 0 C357: - R357 + R102 <= 0 C358: - R358 + R103 <= 0 C359: - R359 + R104 <= 0 C360: - R360 + R105 <= 0 C361: - R361 + R106 <= 0 C362: - R362 + R107 <= 0 C363: - R363 + R108 <= 0 C364: - R364 + R109 <= 0 C365: - R365 + R110 <= 0 C366: - R367 + R111 <= 0 C367: - R368 + R112 <= 0 C368: - R369 + R113 <= 0 C369: - R370 + R114 <= 0 C370: - R371 + R115 <= 0 C371: - R372 + R116 <= 0 C372: - R373 + R117 <= 0 C373: - R374 + R118 <= 0 C374: - R375 + R119 <= 0 C375: - R376 + R120 <= 0 C376: - R378 + R121 <= 0 C377: - R379 + R122 <= 0 C378: - R380 + R123 <= 0 C379: - R381 + R124 <= 0 C380: - R382 + R125 <= 0 C381: - R383 + R126 <= 0 C382: - R384 + R127 <= 0 C383: - R385 + R128 <= 0 C384: - R386 + R129 <= 0 C385: - R387 + R130 <= 0 C386: - R367 + R131 <= 0 C387: - R368 + R132 <= 0 C388: - R369 + R133 <= 0 C389: - R370 + R134 <= 0 C390: - R371 + R135 <= 0 C391: - R372 + R136 <= 0 C392: - R373 + R137 <= 0 C393: - R374 + R138 <= 0 C394: - R375 + R139 <= 0 C395: - R376 + R140 <= 0 C396: - R400 + R141 <= 0 C397: - R401 + R142 <= 0 C398: - R402 + R143 <= 0 C399: - R403 + R144 <= 0 C400: - R404 + R145 <= 0 C401: - R405 + R146 <= 0 C402: - R406 + R147 <= 0 C403: - R407 + R148 <= 0 C404: - R408 + R149 <= 0 C405: - R409 + R150 <= 0 C406: - R367 + R151 <= 0 C407: - R368 + R152 <= 0 C408: - R369 + R153 <= 0 C409: - R370 + R154 <= 0 C410: - R371 + R155 <= 0 C411: - R372 + R156 <= 0 C412: - R373 + R157 <= 0 C413: - R374 + R158 <= 0 C414: - R375 + R159 <= 0 C415: - R376 + R160 <= 0 C416: - R378 + R161 <= 0 C417: - R379 + R162 <= 0 C418: - R380 + R163 <= 0 C419: - R381 + R164 <= 0 C420: - R382 + R165 <= 0 C421: - R383 + R166 <= 0 C422: - R384 + R167 <= 0 C423: - R385 + R168 <= 0 C424: - R386 + R169 <= 0 C425: - R387 + R170 <= 0 C426: - R389 + R171 <= 0 C427: - R390 + R172 <= 0 C428: - R391 + R173 <= 0 C429: - R392 + R174 <= 0 C430: - R393 + R175 <= 0 C431: - R394 + R176 <= 0 C432: - R395 + R177 <= 0 C433: - R396 + R178 <= 0 C434: - R397 + R179 <= 0 C435: - R398 + R180 <= 0 C436: - R400 + R181 <= 0 C437: - R401 + R182 <= 0 C438: - R402 + R183 <= 0 C439: - R403 + R184 <= 0 C440: - R404 + R185 <= 0 C441: - R405 + R186 <= 0 C442: - R406 + R187 <= 0 C443: - R407 + R188 <= 0 C444: - R408 + R189 <= 0 C445: - R409 + R190 <= 0 C446: - R389 + R191 <= 0 C447: - R390 + R192 <= 0 C448: - R391 + R193 <= 0 C449: - R392 + R194 <= 0 C450: - R393 + R195 <= 0 C451: - R394 + R196 <= 0 C452: - R395 + R197 <= 0 C453: - R396 + R198 <= 0 C454: - R397 + R199 <= 0 C455: - R398 + R200 <= 0 C456: - R411 + R201 <= 0 C457: - R412 + R202 <= 0 C458: - R413 + R203 <= 0 C459: - R414 + R204 <= 0 C460: - R415 + R205 <= 0 C461: - R416 + R206 <= 0 C462: - R417 + R207 <= 0 C463: - R418 + R208 <= 0 C464: - R419 + R209 <= 0 C465: - R420 + R210 <= 0 C466: - R422 + R211 <= 0 C467: - R423 + R212 <= 0 C468: - R424 + R213 <= 0 C469: - R425 + R214 <= 0 C470: - R426 + R215 <= 0 C471: - R427 + R216 <= 0 C472: - R428 + R217 <= 0 C473: - R429 + R218 <= 0 C474: - R430 + R219 <= 0 C475: - R431 + R220 <= 0 C476: - R433 + R221 <= 0 C477: - R434 + R222 <= 0 C478: - R435 + R223 <= 0 C479: - R436 + R224 <= 0 C480: - R437 + R225 <= 0 C481: - R438 + R226 <= 0 C482: - R439 + R227 <= 0 C483: - R440 + R228 <= 0 C484: - R441 + R229 <= 0 C485: - R442 + R230 <= 0 C486: - R422 + R231 <= 0 C487: - R423 + R232 <= 0 C488: - R424 + R233 <= 0 C489: - R425 + R234 <= 0 C490: - R426 + R235 <= 0 C491: - R427 + R236 <= 0 C492: - R428 + R237 <= 0 C493: - R429 + R238 <= 0 C494: - R430 + R239 <= 0 C495: - R431 + R240 <= 0 C496: - R455 + R241 <= 0 C497: - R456 + R242 <= 0 C498: - R457 + R243 <= 0 C499: - R458 + R244 <= 0 C500: - R459 + R245 <= 0 C501: - R460 + R246 <= 0 C502: - R461 + R247 <= 0 C503: - R462 + R248 <= 0 C504: - R463 + R249 <= 0 C505: - R464 + R250 <= 0 C506: - R422 + R251 <= 0 C507: - R423 + R252 <= 0 C508: - R424 + R253 <= 0 C509: - R425 + R254 <= 0 C510: - R426 + R255 <= 0 C511: - R427 + R256 <= 0 C512: - R428 + R257 <= 0 C513: - R429 + R258 <= 0 C514: - R430 + R259 <= 0 C515: - R431 + R260 <= 0 C516: - R433 + R261 <= 0 C517: - R434 + R262 <= 0 C518: - R435 + R263 <= 0 C519: - R436 + R264 <= 0 C520: - R437 + R265 <= 0 C521: - R438 + R266 <= 0 C522: - R439 + R267 <= 0 C523: - R440 + R268 <= 0 C524: - R441 + R269 <= 0 C525: - R442 + R270 <= 0 C526: - R444 + R271 <= 0 C527: - R445 + R272 <= 0 C528: - R446 + R273 <= 0 C529: - R447 + R274 <= 0 C530: - R448 + R275 <= 0 C531: - R449 + R276 <= 0 C532: - R450 + R277 <= 0 C533: - R451 + R278 <= 0 C534: - R452 + R279 <= 0 C535: - R453 + R280 <= 0 C536: - R455 + R281 <= 0 C537: - R456 + R282 <= 0 C538: - R457 + R283 <= 0 C539: - R458 + R284 <= 0 C540: - R459 + R285 <= 0 C541: - R460 + R286 <= 0 C542: - R461 + R287 <= 0 C543: - R462 + R288 <= 0 C544: - R463 + R289 <= 0 C545: - R464 + R290 <= 0 C546: - R444 + R291 <= 0 C547: - R445 + R292 <= 0 C548: - R446 + R293 <= 0 C549: - R447 + R294 <= 0 C550: - R448 + R295 <= 0 C551: - R449 + R296 <= 0 C552: - R450 + R297 <= 0 C553: - R451 + R298 <= 0 C554: - R452 + R299 <= 0 C555: - R453 + R300 <= 0 C556: + R312 = 0 C557: + R323 = 0 C558: + R324 = 0 C559: + R334 = 0 C560: + R335 = 0 C561: + R336 = 0 C562: + R345 = 0 C563: + R346 = 0 C564: + R356 = 0 C565: + R378 = 0 C566: + R389 = 0 C567: + R390 = 0 C568: + R400 = 0 C569: + R411 = 0 C570: + R412 = 0 C571: + R444 = 0 C572: + R445 = 0 C573: + R455 = 0 C574: + R456 = 0 C575: + R471 <= 1 C576: + R474 + R472 + R466 <= 1 C577: + R473 + R467 <= 1 C578: + R470 + R468 <= 1 C579: + R475 + R469 <= 1 C580: + R481 <= 1 C581: + R484 + R482 + R476 <= 1 C582: + R483 + R477 <= 1 C583: + R480 + R478 <= 1 C584: + R485 + R479 <= 1 C585: + R491 <= 1 C586: + R494 + R492 + R486 <= 1 C587: + R493 + R487 <= 1 C588: + R490 + R488 <= 1 C589: + R495 + R489 <= 1 C590: - R474 - R472 - R466 + R313 <= 0 C591: - R474 - R472 - R466 + R314 <= 0 C592: - R474 - R472 - R466 + R315 <= 0 C593: - R474 - R472 - R466 + R316 <= 0 C594: - R474 - R472 - R466 + R317 <= 0 C595: - R474 - R472 - R466 + R318 <= 0 C596: - R474 - R472 - R466 + R319 <= 0 C597: - R474 - R472 - R466 + R320 <= 0 C598: - R474 - R472 - R466 + R321 <= 0 C599: - R474 - R472 - R466 + R322 <= 0 C600: - R473 - R467 + R325 <= 0 C601: - R473 - R467 + R326 <= 0 C602: - R473 - R467 + R327 <= 0 C603: - R473 - R467 + R328 <= 0 C604: - R473 - R467 + R329 <= 0 C605: - R473 - R467 + R330 <= 0 C606: - R473 - R467 + R331 <= 0 C607: - R473 - R467 + R332 <= 0 C608: - R473 - R467 + R333 <= 0 C609: - R470 - R468 + R337 <= 0 C610: - R470 - R468 + R338 <= 0 C611: - R470 - R468 + R339 <= 0 C612: - R470 - R468 + R340 <= 0 C613: - R470 - R468 + R341 <= 0 C614: - R470 - R468 + R342 <= 0 C615: - R470 - R468 + R343 <= 0 C616: - R470 - R468 + R344 <= 0 C617: - R475 - R469 + R347 <= 0 C618: - R475 - R469 + R348 <= 0 C619: - R475 - R469 + R349 <= 0 C620: - R475 - R469 + R350 <= 0 C621: - R475 - R469 + R351 <= 0 C622: - R475 - R469 + R352 <= 0 C623: - R475 - R469 + R353 <= 0 C624: - R475 - R469 + R354 <= 0 C625: - R475 - R469 + R355 <= 0 C626: - R481 + R357 <= 0 C627: - R481 + R358 <= 0 C628: - R481 + R359 <= 0 C629: - R481 + R360 <= 0 C630: - R481 + R361 <= 0 C631: - R481 + R362 <= 0 C632: - R481 + R363 <= 0 C633: - R481 + R364 <= 0 C634: - R481 + R365 <= 0 C635: - R481 + R366 <= 0 C636: - R483 - R477 + R379 <= 0 C637: - R483 - R477 + R380 <= 0 C638: - R483 - R477 + R381 <= 0 C639: - R483 - R477 + R382 <= 0 C640: - R483 - R477 + R383 <= 0 C641: - R483 - R477 + R384 <= 0 C642: - R483 - R477 + R385 <= 0 C643: - R483 - R477 + R386 <= 0 C644: - R483 - R477 + R387 <= 0 C645: - R483 - R477 + R388 <= 0 C646: - R480 - R478 + R391 <= 0 C647: - R480 - R478 + R392 <= 0 C648: - R480 - R478 + R393 <= 0 C649: - R480 - R478 + R394 <= 0 C650: - R480 - R478 + R395 <= 0 C651: - R480 - R478 + R396 <= 0 C652: - R480 - R478 + R397 <= 0 C653: - R480 - R478 + R398 <= 0 C654: - R480 - R478 + R399 <= 0 C655: - R485 - R479 + R401 <= 0 C656: - R485 - R479 + R402 <= 0 C657: - R485 - R479 + R403 <= 0 C658: - R485 - R479 + R404 <= 0 C659: - R485 - R479 + R405 <= 0 C660: - R485 - R479 + R406 <= 0 C661: - R485 - R479 + R407 <= 0 C662: - R485 - R479 + R408 <= 0 C663: - R485 - R479 + R409 <= 0 C664: - R485 - R479 + R410 <= 0 C665: - R491 + R413 <= 0 C666: - R491 + R414 <= 0 C667: - R491 + R415 <= 0 C668: - R491 + R416 <= 0 C669: - R491 + R417 <= 0 C670: - R491 + R418 <= 0 C671: - R491 + R419 <= 0 C672: - R491 + R420 <= 0 C673: - R491 + R421 <= 0 C674: - R490 - R488 + R446 <= 0 C675: - R490 - R488 + R447 <= 0 C676: - R490 - R488 + R448 <= 0 C677: - R490 - R488 + R449 <= 0 C678: - R490 - R488 + R450 <= 0 C679: - R490 - R488 + R451 <= 0 C680: - R490 - R488 + R452 <= 0 C681: - R490 - R488 + R453 <= 0 C682: - R490 - R488 + R454 <= 0 C683: - R495 - R489 + R457 <= 0 C684: - R495 - R489 + R458 <= 0 C685: - R495 - R489 + R459 <= 0 C686: - R495 - R489 + R460 <= 0 C687: - R495 - R489 + R461 <= 0 C688: - R495 - R489 + R462 <= 0 C689: - R495 - R489 + R463 <= 0 C690: - R495 - R489 + R464 <= 0 C691: - R495 - R489 + R465 <= 0 C692: - R466 + R10 + R9 + R8 + R7 + R6 + R5 + R4 + R3 + R2 + R1 = 0 C693: - R467 + R20 + R19 + R18 + R17 + R16 + R15 + R14 + R13 + R12 + R11 = 0 C694: - R468 + R30 + R29 + R28 + R27 + R26 + R25 + R24 + R23 + R22 + R21 = 0 C695: - R469 + R40 + R39 + R38 + R37 + R36 + R35 + R34 + R33 + R32 + R31 = 0 C696: - R470 + R50 + R49 + R48 + R47 + R46 + R45 + R44 + R43 + R42 + R41 = 0 C697: - R472 + R70 + R69 + R68 + R67 + R66 + R65 + R64 + R63 + R62 + R61 = 0 C698: - R473 + R80 + R79 + R78 + R77 + R76 + R75 + R74 + R73 + R72 + R71 = 0 C699: - R474 + R90 + R89 + R88 + R87 + R86 + R85 + R84 + R83 + R82 + R81 = 0 C700: - R475 + R100 + R99 + R98 + R97 + R96 + R95 + R94 + R93 + R92 + R91 = 0 C701: - R477 + R120 + R119 + R118 + R117 + R116 + R115 + R114 + R113 + R112 + R111 = 0 C702: - R478 + R130 + R129 + R128 + R127 + R126 + R125 + R124 + R123 + R122 + R121 = 0 C703: - R479 + R140 + R139 + R138 + R137 + R136 + R135 + R134 + R133 + R132 + R131 = 0 C704: - R480 + R150 + R149 + R148 + R147 + R146 + R145 + R144 + R143 + R142 + R141 = 0 C705: - R481 + R160 + R159 + R158 + R157 + R156 + R155 + R154 + R153 + R152 + R151 = 0 C706: - R483 + R180 + R179 + R178 + R177 + R176 + R175 + R174 + R173 + R172 + R171 = 0 C707: - R485 + R200 + R199 + R198 + R197 + R196 + R195 + R194 + R193 + R192 + R191 = 0 C708: - 2 R488 + R230 + R229 + R228 + R227 + R226 + R225 + R224 + R223 + R222 + R221 = 0 C709: - 2 R489 + R240 + R239 + R238 + R237 + R236 + R235 + R234 + R233 + R232 + R231 = 0 C710: - 2 R490 + R250 + R249 + R248 + R247 + R246 + R245 + R244 + R243 + R242 + R241 = 0 C711: - 2 R491 + R260 + R259 + R258 + R257 + R256 + R255 + R254 + R253 + R252 + R251 = 0 C712: - 2 R495 + R300 + R299 + R298 + R297 + R296 + R295 + R294 + R293 + R292 + R291 = 0 C713: - R313 - R2 + R1 <= 0 C714: - R314 - R3 + R2 <= 0 C715: - R315 - R4 + R3 <= 0 C716: - R316 - R5 + R4 <= 0 C717: - R317 - R6 + R5 <= 0 C718: - R318 - R7 + R6 <= 0 C719: - R319 - R8 + R7 <= 0 C720: - R320 - R9 + R8 <= 0 C721: - R321 - R10 + R9 <= 0 C722: - R324 - R12 + R11 <= 0 C723: - R325 - R13 + R12 <= 0 C724: - R326 - R14 + R13 <= 0 C725: - R327 - R15 + R14 <= 0 C726: - R328 - R16 + R15 <= 0 C727: - R329 - R17 + R16 <= 0 C728: - R330 - R18 + R17 <= 0 C729: - R331 - R19 + R18 <= 0 C730: - R332 - R20 + R19 <= 0 C731: - R335 - R22 + R21 <= 0 C732: - R336 - R23 + R22 <= 0 C733: - R337 - R24 + R23 <= 0 C734: - R338 - R25 + R24 <= 0 C735: - R339 - R26 + R25 <= 0 C736: - R340 - R27 + R26 <= 0 C737: - R341 - R28 + R27 <= 0 C738: - R342 - R29 + R28 <= 0 C739: - R343 - R30 + R29 <= 0 C740: - R346 - R32 + R31 <= 0 C741: - R347 - R33 + R32 <= 0 C742: - R348 - R34 + R33 <= 0 C743: - R349 - R35 + R34 <= 0 C744: - R350 - R36 + R35 <= 0 C745: - R351 - R37 + R36 <= 0 C746: - R352 - R38 + R37 <= 0 C747: - R353 - R39 + R38 <= 0 C748: - R354 - R40 + R39 <= 0 C749: - R335 - R42 + R41 <= 0 C750: - R336 - R43 + R42 <= 0 C751: - R337 - R44 + R43 <= 0 C752: - R338 - R45 + R44 <= 0 C753: - R339 - R46 + R45 <= 0 C754: - R340 - R47 + R46 <= 0 C755: - R341 - R48 + R47 <= 0 C756: - R342 - R49 + R48 <= 0 C757: - R343 - R50 + R49 <= 0 C758: - R302 - R52 + R51 <= 0 C759: - R303 - R53 + R52 <= 0 C760: - R304 - R54 + R53 <= 0 C761: - R305 - R55 + R54 <= 0 C762: - R306 - R56 + R55 <= 0 C763: - R307 - R57 + R56 <= 0 C764: - R308 - R58 + R57 <= 0 C765: - R309 - R59 + R58 <= 0 C766: - R310 - R60 + R59 <= 0 C767: - R313 - R62 + R61 <= 0 C768: - R314 - R63 + R62 <= 0 C769: - R315 - R64 + R63 <= 0 C770: - R316 - R65 + R64 <= 0 C771: - R317 - R66 + R65 <= 0 C772: - R318 - R67 + R66 <= 0 C773: - R319 - R68 + R67 <= 0 C774: - R320 - R69 + R68 <= 0 C775: - R321 - R70 + R69 <= 0 C776: - R324 - R72 + R71 <= 0 C777: - R325 - R73 + R72 <= 0 C778: - R326 - R74 + R73 <= 0 C779: - R327 - R75 + R74 <= 0 C780: - R328 - R76 + R75 <= 0 C781: - R329 - R77 + R76 <= 0 C782: - R330 - R78 + R77 <= 0 C783: - R331 - R79 + R78 <= 0 C784: - R332 - R80 + R79 <= 0 C785: - R313 - R82 + R81 <= 0 C786: - R314 - R83 + R82 <= 0 C787: - R315 - R84 + R83 <= 0 C788: - R316 - R85 + R84 <= 0 C789: - R317 - R86 + R85 <= 0 C790: - R318 - R87 + R86 <= 0 C791: - R319 - R88 + R87 <= 0 C792: - R320 - R89 + R88 <= 0 C793: - R321 - R90 + R89 <= 0 C794: - R346 - R92 + R91 <= 0 C795: - R347 - R93 + R92 <= 0 C796: - R348 - R94 + R93 <= 0 C797: - R349 - R95 + R94 <= 0 C798: - R350 - R96 + R95 <= 0 C799: - R351 - R97 + R96 <= 0 C800: - R352 - R98 + R97 <= 0 C801: - R353 - R99 + R98 <= 0 C802: - R354 - R100 + R99 <= 0 C803: - R368 - R102 + R101 <= 0 C804: - R369 - R103 + R102 <= 0 C805: - R370 - R104 + R103 <= 0 C806: - R371 - R105 + R104 <= 0 C807: - R372 - R106 + R105 <= 0 C808: - R373 - R107 + R106 <= 0 C809: - R374 - R108 + R107 <= 0 C810: - R375 - R109 + R108 <= 0 C811: - R376 - R110 + R109 <= 0 C812: - R379 - R112 + R111 <= 0 C813: - R380 - R113 + R112 <= 0 C814: - R381 - R114 + R113 <= 0 C815: - R382 - R115 + R114 <= 0 C816: - R383 - R116 + R115 <= 0 C817: - R384 - R117 + R116 <= 0 C818: - R385 - R118 + R117 <= 0 C819: - R386 - R119 + R118 <= 0 C820: - R387 - R120 + R119 <= 0 C821: - R390 - R122 + R121 <= 0 C822: - R391 - R123 + R122 <= 0 C823: - R392 - R124 + R123 <= 0 C824: - R393 - R125 + R124 <= 0 C825: - R394 - R126 + R125 <= 0 C826: - R395 - R127 + R126 <= 0 C827: - R396 - R128 + R127 <= 0 C828: - R397 - R129 + R128 <= 0 C829: - R398 - R130 + R129 <= 0 C830: - R401 - R132 + R131 <= 0 C831: - R402 - R133 + R132 <= 0 C832: - R403 - R134 + R133 <= 0 C833: - R404 - R135 + R134 <= 0 C834: - R405 - R136 + R135 <= 0 C835: - R406 - R137 + R136 <= 0 C836: - R407 - R138 + R137 <= 0 C837: - R408 - R139 + R138 <= 0 C838: - R409 - R140 + R139 <= 0 C839: - R390 - R142 + R141 <= 0 C840: - R391 - R143 + R142 <= 0 C841: - R392 - R144 + R143 <= 0 C842: - R393 - R145 + R144 <= 0 C843: - R394 - R146 + R145 <= 0 C844: - R395 - R147 + R146 <= 0 C845: - R396 - R148 + R147 <= 0 C846: - R397 - R149 + R148 <= 0 C847: - R398 - R150 + R149 <= 0 C848: - R357 - R152 + R151 <= 0 C849: - R358 - R153 + R152 <= 0 C850: - R359 - R154 + R153 <= 0 C851: - R360 - R155 + R154 <= 0 C852: - R361 - R156 + R155 <= 0 C853: - R362 - R157 + R156 <= 0 C854: - R363 - R158 + R157 <= 0 C855: - R364 - R159 + R158 <= 0 C856: - R365 - R160 + R159 <= 0 C857: - R368 - R162 + R161 <= 0 C858: - R369 - R163 + R162 <= 0 C859: - R370 - R164 + R163 <= 0 C860: - R371 - R165 + R164 <= 0 C861: - R372 - R166 + R165 <= 0 C862: - R373 - R167 + R166 <= 0 C863: - R374 - R168 + R167 <= 0 C864: - R375 - R169 + R168 <= 0 C865: - R376 - R170 + R169 <= 0 C866: - R379 - R172 + R171 <= 0 C867: - R380 - R173 + R172 <= 0 C868: - R381 - R174 + R173 <= 0 C869: - R382 - R175 + R174 <= 0 C870: - R383 - R176 + R175 <= 0 C871: - R384 - R177 + R176 <= 0 C872: - R385 - R178 + R177 <= 0 C873: - R386 - R179 + R178 <= 0 C874: - R387 - R180 + R179 <= 0 C875: - R368 - R182 + R181 <= 0 C876: - R369 - R183 + R182 <= 0 C877: - R370 - R184 + R183 <= 0 C878: - R371 - R185 + R184 <= 0 C879: - R372 - R186 + R185 <= 0 C880: - R373 - R187 + R186 <= 0 C881: - R374 - R188 + R187 <= 0 C882: - R375 - R189 + R188 <= 0 C883: - R376 - R190 + R189 <= 0 C884: - R401 - R192 + R191 <= 0 C885: - R402 - R193 + R192 <= 0 C886: - R403 - R194 + R193 <= 0 C887: - R404 - R195 + R194 <= 0 C888: - R405 - R196 + R195 <= 0 C889: - R406 - R197 + R196 <= 0 C890: - R407 - R198 + R197 <= 0 C891: - R408 - R199 + R198 <= 0 C892: - R409 - R200 + R199 <= 0 C893: - R423 - R202 + R201 <= 0 C894: - R424 - R203 + R202 <= 0 C895: - R425 - R204 + R203 <= 0 C896: - R426 - R205 + R204 <= 0 C897: - R427 - R206 + R205 <= 0 C898: - R428 - R207 + R206 <= 0 C899: - R429 - R208 + R207 <= 0 C900: - R430 - R209 + R208 <= 0 C901: - R431 - R210 + R209 <= 0 C902: - R434 - R212 + R211 <= 0 C903: - R435 - R213 + R212 <= 0 C904: - R436 - R214 + R213 <= 0 C905: - R437 - R215 + R214 <= 0 C906: - R438 - R216 + R215 <= 0 C907: - R439 - R217 + R216 <= 0 C908: - R440 - R218 + R217 <= 0 C909: - R441 - R219 + R218 <= 0 C910: - R442 - R220 + R219 <= 0 C911: - R445 - R222 + R221 <= 0 C912: - R446 - R223 + R222 <= 0 C913: - R447 - R224 + R223 <= 0 C914: - R448 - R225 + R224 <= 0 C915: - R449 - R226 + R225 <= 0 C916: - R450 - R227 + R226 <= 0 C917: - R451 - R228 + R227 <= 0 C918: - R452 - R229 + R228 <= 0 C919: - R453 - R230 + R229 <= 0 C920: - R456 - R232 + R231 <= 0 C921: - R457 - R233 + R232 <= 0 C922: - R458 - R234 + R233 <= 0 C923: - R459 - R235 + R234 <= 0 C924: - R460 - R236 + R235 <= 0 C925: - R461 - R237 + R236 <= 0 C926: - R462 - R238 + R237 <= 0 C927: - R463 - R239 + R238 <= 0 C928: - R464 - R240 + R239 <= 0 C929: - R445 - R242 + R241 <= 0 C930: - R446 - R243 + R242 <= 0 C931: - R447 - R244 + R243 <= 0 C932: - R448 - R245 + R244 <= 0 C933: - R449 - R246 + R245 <= 0 C934: - R450 - R247 + R246 <= 0 C935: - R451 - R248 + R247 <= 0 C936: - R452 - R249 + R248 <= 0 C937: - R453 - R250 + R249 <= 0 C938: - R412 - R252 + R251 <= 0 C939: - R413 - R253 + R252 <= 0 C940: - R414 - R254 + R253 <= 0 C941: - R415 - R255 + R254 <= 0 C942: - R416 - R256 + R255 <= 0 C943: - R417 - R257 + R256 <= 0 C944: - R418 - R258 + R257 <= 0 C945: - R419 - R259 + R258 <= 0 C946: - R420 - R260 + R259 <= 0 C947: - R423 - R262 + R261 <= 0 C948: - R424 - R263 + R262 <= 0 C949: - R425 - R264 + R263 <= 0 C950: - R426 - R265 + R264 <= 0 C951: - R427 - R266 + R265 <= 0 C952: - R428 - R267 + R266 <= 0 C953: - R429 - R268 + R267 <= 0 C954: - R430 - R269 + R268 <= 0 C955: - R431 - R270 + R269 <= 0 C956: - R434 - R272 + R271 <= 0 C957: - R435 - R273 + R272 <= 0 C958: - R436 - R274 + R273 <= 0 C959: - R437 - R275 + R274 <= 0 C960: - R438 - R276 + R275 <= 0 C961: - R439 - R277 + R276 <= 0 C962: - R440 - R278 + R277 <= 0 C963: - R441 - R279 + R278 <= 0 C964: - R442 - R280 + R279 <= 0 C965: - R423 - R282 + R281 <= 0 C966: - R424 - R283 + R282 <= 0 C967: - R425 - R284 + R283 <= 0 C968: - R426 - R285 + R284 <= 0 C969: - R427 - R286 + R285 <= 0 C970: - R428 - R287 + R286 <= 0 C971: - R429 - R288 + R287 <= 0 C972: - R430 - R289 + R288 <= 0 C973: - R431 - R290 + R289 <= 0 C974: - R456 - R292 + R291 <= 0 C975: - R457 - R293 + R292 <= 0 C976: - R458 - R294 + R293 <= 0 C977: - R459 - R295 + R294 <= 0 C978: - R460 - R296 + R295 <= 0 C979: - R461 - R297 + R296 <= 0 C980: - R462 - R298 + R297 <= 0 C981: - R463 - R299 + R298 <= 0 C982: - R464 - R300 + R299 <= 0 C983: + R51 + R301 <= 1 C984: + R52 + R302 <= 1 C985: + R53 + R303 <= 1 C986: + R54 + R304 <= 1 C987: + R55 + R305 <= 1 C988: + R56 + R306 <= 1 C989: + R57 + R307 <= 1 C990: + R58 + R308 <= 1 C991: + R59 + R309 <= 1 C992: + R60 + R310 <= 1 C993: + R81 + R61 + R1 + R312 <= 1 C994: + R82 + R62 + R2 + R313 <= 1 C995: + R83 + R63 + R3 + R314 <= 1 C996: + R84 + R64 + R4 + R315 <= 1 C997: + R85 + R65 + R5 + R316 <= 1 C998: + R86 + R66 + R6 + R317 <= 1 C999: + R87 + R67 + R7 + R318 <= 1 C1000: + R88 + R68 + R8 + R319 <= 1 C1001: + R89 + R69 + R9 + R320 <= 1 C1002: + R90 + R70 + R10 + R321 <= 1 C1003: + R71 + R11 + R323 <= 1 C1004: + R72 + R12 + R324 <= 1 C1005: + R73 + R13 + R325 <= 1 C1006: + R74 + R14 + R326 <= 1 C1007: + R75 + R15 + R327 <= 1 C1008: + R76 + R16 + R328 <= 1 C1009: + R77 + R17 + R329 <= 1 C1010: + R78 + R18 + R330 <= 1 C1011: + R79 + R19 + R331 <= 1 C1012: + R80 + R20 + R332 <= 1 C1013: + R41 + R21 + R334 <= 1 C1014: + R42 + R22 + R335 <= 1 C1015: + R43 + R23 + R336 <= 1 C1016: + R44 + R24 + R337 <= 1 C1017: + R45 + R25 + R338 <= 1 C1018: + R46 + R26 + R339 <= 1 C1019: + R47 + R27 + R340 <= 1 C1020: + R48 + R28 + R341 <= 1 C1021: + R49 + R29 + R342 <= 1 C1022: + R50 + R30 + R343 <= 1 C1023: + R91 + R31 + R345 <= 1 C1024: + R92 + R32 + R346 <= 1 C1025: + R93 + R33 + R347 <= 1 C1026: + R94 + R34 + R348 <= 1 C1027: + R95 + R35 + R349 <= 1 C1028: + R96 + R36 + R350 <= 1 C1029: + R97 + R37 + R351 <= 1 C1030: + R98 + R38 + R352 <= 1 C1031: + R99 + R39 + R353 <= 1 C1032: + R100 + R40 + R354 <= 1 C1033: + R151 + R356 <= 1 C1034: + R152 + R357 <= 1 C1035: + R153 + R358 <= 1 C1036: + R154 + R359 <= 1 C1037: + R155 + R360 <= 1 C1038: + R156 + R361 <= 1 C1039: + R157 + R362 <= 1 C1040: + R158 + R363 <= 1 C1041: + R159 + R364 <= 1 C1042: + R160 + R365 <= 1 C1043: + R181 + R161 + R101 + R367 <= 1 C1044: + R182 + R162 + R102 + R368 <= 1 C1045: + R183 + R163 + R103 + R369 <= 1 C1046: + R184 + R164 + R104 + R370 <= 1 C1047: + R185 + R165 + R105 + R371 <= 1 C1048: + R186 + R166 + R106 + R372 <= 1 C1049: + R187 + R167 + R107 + R373 <= 1 C1050: + R188 + R168 + R108 + R374 <= 1 C1051: + R189 + R169 + R109 + R375 <= 1 C1052: + R190 + R170 + R110 + R376 <= 1 C1053: + R171 + R111 + R378 <= 1 C1054: + R172 + R112 + R379 <= 1 C1055: + R173 + R113 + R380 <= 1 C1056: + R174 + R114 + R381 <= 1 C1057: + R175 + R115 + R382 <= 1 C1058: + R176 + R116 + R383 <= 1 C1059: + R177 + R117 + R384 <= 1 C1060: + R178 + R118 + R385 <= 1 C1061: + R179 + R119 + R386 <= 1 C1062: + R180 + R120 + R387 <= 1 C1063: + R141 + R121 + R389 <= 1 C1064: + R142 + R122 + R390 <= 1 C1065: + R143 + R123 + R391 <= 1 C1066: + R144 + R124 + R392 <= 1 C1067: + R145 + R125 + R393 <= 1 C1068: + R146 + R126 + R394 <= 1 C1069: + R147 + R127 + R395 <= 1 C1070: + R148 + R128 + R396 <= 1 C1071: + R149 + R129 + R397 <= 1 C1072: + R150 + R130 + R398 <= 1 C1073: + R191 + R131 + R400 <= 1 C1074: + R192 + R132 + R401 <= 1 C1075: + R193 + R133 + R402 <= 1 C1076: + R194 + R134 + R403 <= 1 C1077: + R195 + R135 + R404 <= 1 C1078: + R196 + R136 + R405 <= 1 C1079: + R197 + R137 + R406 <= 1 C1080: + R198 + R138 + R407 <= 1 C1081: + R199 + R139 + R408 <= 1 C1082: + R200 + R140 + R409 <= 1 C1083: + R251 + R411 <= 1 C1084: + R252 + R412 <= 1 C1085: + R253 + R413 <= 1 C1086: + R254 + R414 <= 1 C1087: + R255 + R415 <= 1 C1088: + R256 + R416 <= 1 C1089: + R257 + R417 <= 1 C1090: + R258 + R418 <= 1 C1091: + R259 + R419 <= 1 C1092: + R260 + R420 <= 1 C1093: + R281 + R261 + R201 + R422 <= 1 C1094: + R282 + R262 + R202 + R423 <= 1 C1095: + R283 + R263 + R203 + R424 <= 1 C1096: + R284 + R264 + R204 + R425 <= 1 C1097: + R285 + R265 + R205 + R426 <= 1 C1098: + R286 + R266 + R206 + R427 <= 1 C1099: + R287 + R267 + R207 + R428 <= 1 C1100: + R288 + R268 + R208 + R429 <= 1 C1101: + R289 + R269 + R209 + R430 <= 1 C1102: + R290 + R270 + R210 + R431 <= 1 C1103: + R271 + R211 + R433 <= 1 C1104: + R272 + R212 + R434 <= 1 C1105: + R273 + R213 + R435 <= 1 C1106: + R274 + R214 + R436 <= 1 C1107: + R275 + R215 + R437 <= 1 C1108: + R276 + R216 + R438 <= 1 C1109: + R277 + R217 + R439 <= 1 C1110: + R278 + R218 + R440 <= 1 C1111: + R279 + R219 + R441 <= 1 C1112: + R280 + R220 + R442 <= 1 C1113: + R241 + R221 + R444 <= 1 C1114: + R242 + R222 + R445 <= 1 C1115: + R243 + R223 + R446 <= 1 C1116: + R244 + R224 + R447 <= 1 C1117: + R245 + R225 + R448 <= 1 C1118: + R246 + R226 + R449 <= 1 C1119: + R247 + R227 + R450 <= 1 C1120: + R248 + R228 + R451 <= 1 C1121: + R249 + R229 + R452 <= 1 C1122: + R250 + R230 + R453 <= 1 C1123: + R291 + R231 + R455 <= 1 C1124: + R292 + R232 + R456 <= 1 C1125: + R293 + R233 + R457 <= 1 C1126: + R294 + R234 + R458 <= 1 C1127: + R295 + R235 + R459 <= 1 C1128: + R296 + R236 + R460 <= 1 C1129: + R297 + R237 + R461 <= 1 C1130: + R298 + R238 + R462 <= 1 C1131: + R299 + R239 + R463 <= 1 C1132: + R300 + R240 + R464 <= 1 Bounds 0 <= R1 <= 1 0 <= R2 <= 1 0 <= R3 <= 1 0 <= R4 <= 1 0 <= R5 <= 1 0 <= R6 <= 1 0 <= R7 <= 1 0 <= R8 <= 1 0 <= R9 <= 1 0 <= R10 <= 1 0 <= R11 <= 1 0 <= R12 <= 1 0 <= R13 <= 1 0 <= R14 <= 1 0 <= R15 <= 1 0 <= R16 <= 1 0 <= R17 <= 1 0 <= R18 <= 1 0 <= R19 <= 1 0 <= R20 <= 1 0 <= R21 <= 1 0 <= R22 <= 1 0 <= R23 <= 1 0 <= R24 <= 1 0 <= R25 <= 1 0 <= R26 <= 1 0 <= R27 <= 1 0 <= R28 <= 1 0 <= R29 <= 1 0 <= R30 <= 1 0 <= R31 <= 1 0 <= R32 <= 1 0 <= R33 <= 1 0 <= R34 <= 1 0 <= R35 <= 1 0 <= R36 <= 1 0 <= R37 <= 1 0 <= R38 <= 1 0 <= R39 <= 1 0 <= R40 <= 1 0 <= R41 <= 1 0 <= R42 <= 1 0 <= R43 <= 1 0 <= R44 <= 1 0 <= R45 <= 1 0 <= R46 <= 1 0 <= R47 <= 1 0 <= R48 <= 1 0 <= R49 <= 1 0 <= R50 <= 1 0 <= R51 <= 1 0 <= R52 <= 1 0 <= R53 <= 1 0 <= R54 <= 1 0 <= R55 <= 1 0 <= R56 <= 1 0 <= R57 <= 1 0 <= R58 <= 1 0 <= R59 <= 1 0 <= R60 <= 1 0 <= R61 <= 1 0 <= R62 <= 1 0 <= R63 <= 1 0 <= R64 <= 1 0 <= R65 <= 1 0 <= R66 <= 1 0 <= R67 <= 1 0 <= R68 <= 1 0 <= R69 <= 1 0 <= R70 <= 1 0 <= R71 <= 1 0 <= R72 <= 1 0 <= R73 <= 1 0 <= R74 <= 1 0 <= R75 <= 1 0 <= R76 <= 1 0 <= R77 <= 1 0 <= R78 <= 1 0 <= R79 <= 1 0 <= R80 <= 1 0 <= R81 <= 1 0 <= R82 <= 1 0 <= R83 <= 1 0 <= R84 <= 1 0 <= R85 <= 1 0 <= R86 <= 1 0 <= R87 <= 1 0 <= R88 <= 1 0 <= R89 <= 1 0 <= R90 <= 1 0 <= R91 <= 1 0 <= R92 <= 1 0 <= R93 <= 1 0 <= R94 <= 1 0 <= R95 <= 1 0 <= R96 <= 1 0 <= R97 <= 1 0 <= R98 <= 1 0 <= R99 <= 1 0 <= R100 <= 1 0 <= R101 <= 1 0 <= R102 <= 1 0 <= R103 <= 1 0 <= R104 <= 1 0 <= R105 <= 1 0 <= R106 <= 1 0 <= R107 <= 1 0 <= R108 <= 1 0 <= R109 <= 1 0 <= R110 <= 1 0 <= R111 <= 1 0 <= R112 <= 1 0 <= R113 <= 1 0 <= R114 <= 1 0 <= R115 <= 1 0 <= R116 <= 1 0 <= R117 <= 1 0 <= R118 <= 1 0 <= R119 <= 1 0 <= R120 <= 1 0 <= R121 <= 1 0 <= R122 <= 1 0 <= R123 <= 1 0 <= R124 <= 1 0 <= R125 <= 1 0 <= R126 <= 1 0 <= R127 <= 1 0 <= R128 <= 1 0 <= R129 <= 1 0 <= R130 <= 1 0 <= R131 <= 1 0 <= R132 <= 1 0 <= R133 <= 1 0 <= R134 <= 1 0 <= R135 <= 1 0 <= R136 <= 1 0 <= R137 <= 1 0 <= R138 <= 1 0 <= R139 <= 1 0 <= R140 <= 1 0 <= R141 <= 1 0 <= R142 <= 1 0 <= R143 <= 1 0 <= R144 <= 1 0 <= R145 <= 1 0 <= R146 <= 1 0 <= R147 <= 1 0 <= R148 <= 1 0 <= R149 <= 1 0 <= R150 <= 1 0 <= R151 <= 1 0 <= R152 <= 1 0 <= R153 <= 1 0 <= R154 <= 1 0 <= R155 <= 1 0 <= R156 <= 1 0 <= R157 <= 1 0 <= R158 <= 1 0 <= R159 <= 1 0 <= R160 <= 1 0 <= R161 <= 1 0 <= R162 <= 1 0 <= R163 <= 1 0 <= R164 <= 1 0 <= R165 <= 1 0 <= R166 <= 1 0 <= R167 <= 1 0 <= R168 <= 1 0 <= R169 <= 1 0 <= R170 <= 1 0 <= R171 <= 1 0 <= R172 <= 1 0 <= R173 <= 1 0 <= R174 <= 1 0 <= R175 <= 1 0 <= R176 <= 1 0 <= R177 <= 1 0 <= R178 <= 1 0 <= R179 <= 1 0 <= R180 <= 1 0 <= R181 <= 1 0 <= R182 <= 1 0 <= R183 <= 1 0 <= R184 <= 1 0 <= R185 <= 1 0 <= R186 <= 1 0 <= R187 <= 1 0 <= R188 <= 1 0 <= R189 <= 1 0 <= R190 <= 1 0 <= R191 <= 1 0 <= R192 <= 1 0 <= R193 <= 1 0 <= R194 <= 1 0 <= R195 <= 1 0 <= R196 <= 1 0 <= R197 <= 1 0 <= R198 <= 1 0 <= R199 <= 1 0 <= R200 <= 1 0 <= R201 <= 1 0 <= R202 <= 1 0 <= R203 <= 1 0 <= R204 <= 1 0 <= R205 <= 1 0 <= R206 <= 1 0 <= R207 <= 1 0 <= R208 <= 1 0 <= R209 <= 1 0 <= R210 <= 1 0 <= R211 <= 1 0 <= R212 <= 1 0 <= R213 <= 1 0 <= R214 <= 1 0 <= R215 <= 1 0 <= R216 <= 1 0 <= R217 <= 1 0 <= R218 <= 1 0 <= R219 <= 1 0 <= R220 <= 1 0 <= R221 <= 1 0 <= R222 <= 1 0 <= R223 <= 1 0 <= R224 <= 1 0 <= R225 <= 1 0 <= R226 <= 1 0 <= R227 <= 1 0 <= R228 <= 1 0 <= R229 <= 1 0 <= R230 <= 1 0 <= R231 <= 1 0 <= R232 <= 1 0 <= R233 <= 1 0 <= R234 <= 1 0 <= R235 <= 1 0 <= R236 <= 1 0 <= R237 <= 1 0 <= R238 <= 1 0 <= R239 <= 1 0 <= R240 <= 1 0 <= R241 <= 1 0 <= R242 <= 1 0 <= R243 <= 1 0 <= R244 <= 1 0 <= R245 <= 1 0 <= R246 <= 1 0 <= R247 <= 1 0 <= R248 <= 1 0 <= R249 <= 1 0 <= R250 <= 1 0 <= R251 <= 1 0 <= R252 <= 1 0 <= R253 <= 1 0 <= R254 <= 1 0 <= R255 <= 1 0 <= R256 <= 1 0 <= R257 <= 1 0 <= R258 <= 1 0 <= R259 <= 1 0 <= R260 <= 1 0 <= R261 <= 1 0 <= R262 <= 1 0 <= R263 <= 1 0 <= R264 <= 1 0 <= R265 <= 1 0 <= R266 <= 1 0 <= R267 <= 1 0 <= R268 <= 1 0 <= R269 <= 1 0 <= R270 <= 1 0 <= R271 <= 1 0 <= R272 <= 1 0 <= R273 <= 1 0 <= R274 <= 1 0 <= R275 <= 1 0 <= R276 <= 1 0 <= R277 <= 1 0 <= R278 <= 1 0 <= R279 <= 1 0 <= R280 <= 1 0 <= R281 <= 1 0 <= R282 <= 1 0 <= R283 <= 1 0 <= R284 <= 1 0 <= R285 <= 1 0 <= R286 <= 1 0 <= R287 <= 1 0 <= R288 <= 1 0 <= R289 <= 1 0 <= R290 <= 1 0 <= R291 <= 1 0 <= R292 <= 1 0 <= R293 <= 1 0 <= R294 <= 1 0 <= R295 <= 1 0 <= R296 <= 1 0 <= R297 <= 1 0 <= R298 <= 1 0 <= R299 <= 1 0 <= R300 <= 1 0 <= R301 <= 1 0 <= R302 <= 1 0 <= R303 <= 1 0 <= R304 <= 1 0 <= R305 <= 1 0 <= R306 <= 1 0 <= R307 <= 1 0 <= R308 <= 1 0 <= R309 <= 1 0 <= R310 <= 1 0 <= R311 <= 1 0 <= R312 <= 1 0 <= R313 <= 1 0 <= R314 <= 1 0 <= R315 <= 1 0 <= R316 <= 1 0 <= R317 <= 1 0 <= R318 <= 1 0 <= R319 <= 1 0 <= R320 <= 1 0 <= R321 <= 1 0 <= R322 <= 1 0 <= R323 <= 1 0 <= R324 <= 1 0 <= R325 <= 1 0 <= R326 <= 1 0 <= R327 <= 1 0 <= R328 <= 1 0 <= R329 <= 1 0 <= R330 <= 1 0 <= R331 <= 1 0 <= R332 <= 1 0 <= R333 <= 1 0 <= R334 <= 1 0 <= R335 <= 1 0 <= R336 <= 1 0 <= R337 <= 1 0 <= R338 <= 1 0 <= R339 <= 1 0 <= R340 <= 1 0 <= R341 <= 1 0 <= R342 <= 1 0 <= R343 <= 1 0 <= R344 <= 1 0 <= R345 <= 1 0 <= R346 <= 1 0 <= R347 <= 1 0 <= R348 <= 1 0 <= R349 <= 1 0 <= R350 <= 1 0 <= R351 <= 1 0 <= R352 <= 1 0 <= R353 <= 1 0 <= R354 <= 1 0 <= R355 <= 1 0 <= R356 <= 1 0 <= R357 <= 1 0 <= R358 <= 1 0 <= R359 <= 1 0 <= R360 <= 1 0 <= R361 <= 1 0 <= R362 <= 1 0 <= R363 <= 1 0 <= R364 <= 1 0 <= R365 <= 1 0 <= R366 <= 1 0 <= R367 <= 1 0 <= R368 <= 1 0 <= R369 <= 1 0 <= R370 <= 1 0 <= R371 <= 1 0 <= R372 <= 1 0 <= R373 <= 1 0 <= R374 <= 1 0 <= R375 <= 1 0 <= R376 <= 1 0 <= R377 <= 1 0 <= R378 <= 1 0 <= R379 <= 1 0 <= R380 <= 1 0 <= R381 <= 1 0 <= R382 <= 1 0 <= R383 <= 1 0 <= R384 <= 1 0 <= R385 <= 1 0 <= R386 <= 1 0 <= R387 <= 1 0 <= R388 <= 1 0 <= R389 <= 1 0 <= R390 <= 1 0 <= R391 <= 1 0 <= R392 <= 1 0 <= R393 <= 1 0 <= R394 <= 1 0 <= R395 <= 1 0 <= R396 <= 1 0 <= R397 <= 1 0 <= R398 <= 1 0 <= R399 <= 1 0 <= R400 <= 1 0 <= R401 <= 1 0 <= R402 <= 1 0 <= R403 <= 1 0 <= R404 <= 1 0 <= R405 <= 1 0 <= R406 <= 1 0 <= R407 <= 1 0 <= R408 <= 1 0 <= R409 <= 1 0 <= R410 <= 1 0 <= R411 <= 1 0 <= R412 <= 1 0 <= R413 <= 1 0 <= R414 <= 1 0 <= R415 <= 1 0 <= R416 <= 1 0 <= R417 <= 1 0 <= R418 <= 1 0 <= R419 <= 1 0 <= R420 <= 1 0 <= R421 <= 1 0 <= R422 <= 1 0 <= R423 <= 1 0 <= R424 <= 1 0 <= R425 <= 1 0 <= R426 <= 1 0 <= R427 <= 1 0 <= R428 <= 1 0 <= R429 <= 1 0 <= R430 <= 1 0 <= R431 <= 1 0 <= R432 <= 1 0 <= R433 <= 1 0 <= R434 <= 1 0 <= R435 <= 1 0 <= R436 <= 1 0 <= R437 <= 1 0 <= R438 <= 1 0 <= R439 <= 1 0 <= R440 <= 1 0 <= R441 <= 1 0 <= R442 <= 1 0 <= R443 <= 1 0 <= R444 <= 1 0 <= R445 <= 1 0 <= R446 <= 1 0 <= R447 <= 1 0 <= R448 <= 1 0 <= R449 <= 1 0 <= R450 <= 1 0 <= R451 <= 1 0 <= R452 <= 1 0 <= R453 <= 1 0 <= R454 <= 1 0 <= R455 <= 1 0 <= R456 <= 1 0 <= R457 <= 1 0 <= R458 <= 1 0 <= R459 <= 1 0 <= R460 <= 1 0 <= R461 <= 1 0 <= R462 <= 1 0 <= R463 <= 1 0 <= R464 <= 1 0 <= R465 <= 1 0 <= R466 <= 1 0 <= R467 <= 1 0 <= R468 <= 1 0 <= R469 <= 1 0 <= R470 <= 1 0 <= R471 <= 1 0 <= R472 <= 1 0 <= R473 <= 1 0 <= R474 <= 1 0 <= R475 <= 1 0 <= R476 <= 1 0 <= R477 <= 1 0 <= R478 <= 1 0 <= R479 <= 1 0 <= R480 <= 1 0 <= R481 <= 1 0 <= R482 <= 1 0 <= R483 <= 1 0 <= R484 <= 1 0 <= R485 <= 1 0 <= R486 <= 1 0 <= R487 <= 1 0 <= R488 <= 1 0 <= R489 <= 1 0 <= R490 <= 1 0 <= R491 <= 1 0 <= R492 <= 1 0 <= R493 <= 1 0 <= R494 <= 1 0 <= R495 <= 1 0 <= R496 <= 10 Generals R1 R2 R3 R4 R5 R6 R7 R8 R9 R10 R11 R12 R13 R14 R15 R16 R17 R18 R19 R20 R21 R22 R23 R24 R25 R26 R27 R28 R29 R30 R31 R32 R33 R34 R35 R36 R37 R38 R39 R40 R41 R42 R43 R44 R45 R46 R47 R48 R49 R50 R51 R52 R53 R54 R55 R56 R57 R58 R59 R60 R61 R62 R63 R64 R65 R66 R67 R68 R69 R70 R71 R72 R73 R74 R75 R76 R77 R78 R79 R80 R81 R82 R83 R84 R85 R86 R87 R88 R89 R90 R91 R92 R93 R94 R95 R96 R97 R98 R99 R100 R101 R102 R103 R104 R105 R106 R107 R108 R109 R110 R111 R112 R113 R114 R115 R116 R117 R118 R119 R120 R121 R122 R123 R124 R125 R126 R127 R128 R129 R130 R131 R132 R133 R134 R135 R136 R137 R138 R139 R140 R141 R142 R143 R144 R145 R146 R147 R148 R149 R150 R151 R152 R153 R154 R155 R156 R157 R158 R159 R160 R161 R162 R163 R164 R165 R166 R167 R168 R169 R170 R171 R172 R173 R174 R175 R176 R177 R178 R179 R180 R181 R182 R183 R184 R185 R186 R187 R188 R189 R190 R191 R192 R193 R194 R195 R196 R197 R198 R199 R200 R201 R202 R203 R204 R205 R206 R207 R208 R209 R210 R211 R212 R213 R214 R215 R216 R217 R218 R219 R220 R221 R222 R223 R224 R225 R226 R227 R228 R229 R230 R231 R232 R233 R234 R235 R236 R237 R238 R239 R240 R241 R242 R243 R244 R245 R246 R247 R248 R249 R250 R251 R252 R253 R254 R255 R256 R257 R258 R259 R260 R261 R262 R263 R264 R265 R266 R267 R268 R269 R270 R271 R272 R273 R274 R275 R276 R277 R278 R279 R280 R281 R282 R283 R284 R285 R286 R287 R288 R289 R290 R291 R292 R293 R294 R295 R296 R297 R298 R299 R300 R301 R302 R303 R304 R305 R306 R307 R308 R309 R310 R311 R312 R313 R314 R315 R316 R317 R318 R319 R320 R321 R322 R323 R324 R325 R326 R327 R328 R329 R330 R331 R332 R333 R334 R335 R336 R337 R338 R339 R340 R341 R342 R343 R344 R345 R346 R347 R348 R349 R350 R351 R352 R353 R354 R355 R356 R357 R358 R359 R360 R361 R362 R363 R364 R365 R366 R367 R368 R369 R370 R371 R372 R373 R374 R375 R376 R377 R378 R379 R380 R381 R382 R383 R384 R385 R386 R387 R388 R389 R390 R391 R392 R393 R394 R395 R396 R397 R398 R399 R400 R401 R402 R403 R404 R405 R406 R407 R408 R409 R410 R411 R412 R413 R414 R415 R416 R417 R418 R419 R420 R421 R422 R423 R424 R425 R426 R427 R428 R429 R430 R431 R432 R433 R434 R435 R436 R437 R438 R439 R440 R441 R442 R443 R444 R445 R446 R447 R448 R449 R450 R451 R452 R453 R454 R455 R456 R457 R458 R459 R460 R461 R462 R463 R464 R465 R466 R467 R468 R469 R470 R471 R472 R473 R474 R475 R476 R477 R478 R479 R480 R481 R482 R483 R484 R485 R486 R487 R488 R489 R490 R491 R492 R493 R494 R495 R496 End