\ Equation counts \ Total E G L N X C B \ 645 430 0 215 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 651 436 215 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 2576 2146 430 0 \ Minimize obj: b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 Subject To e2: 107 x217 + 10.1 x218 + 2.2 x219 + 0.9 x220 + 2.7 x221 - x222 - x223 <= -1 e3: 113 x217 + 9.9 x218 + 3.1 x219 + 2 x220 + 5.9 x221 - x222 - x224 <= -1 e4: 127 x217 + 12.9 x218 + 2.4 x219 + 1.4 x220 + 0.6 x221 - x222 - x225 <= -1 e5: 109 x217 + 5.3 x218 + 1.6 x219 + 1.4 x220 + 1.5 x221 - x222 - x226 <= -1 e6: 105 x217 + 7.3 x218 + 1.5 x219 + 1.5 x220 - 0.1 x221 - x222 - x227 <= -1 e7: 105 x217 + 6.1 x218 + 2.1 x219 + 1.4 x220 + 7 x221 - x222 - x228 <= -1 e8: 110 x217 + 10.4 x218 + 1.6 x219 + 1.6 x220 + 2.7 x221 - x222 - x229 <= -1 e9: 114 x217 + 9.9 x218 + 2.4 x219 + 1.5 x220 + 5.7 x221 - x222 - x230 <= -1 e10: 106 x217 + 9.4 x218 + 2.2 x219 + 1.5 x220 - x222 - x231 <= -1 e11: 107 x217 + 13 x218 + 1.1 x219 + 0.9 x220 + 3.1 x221 - x222 - x232 <= -1 e12: 106 x217 + 4.2 x218 + 1.2 x219 + 1.6 x220 + 1.4 x221 - x222 - x233 <= -1 e13: 110 x217 + 11.3 x218 + 2.3 x219 + 0.9 x220 + 3.3 x221 - x222 - x234 <= -1 e14: 116 x217 + 9.2 x218 + 2.7 x219 + x220 + 4.2 x221 - x222 - x235 <= -1 e15: 112 x217 + 8.1 x218 + 1.9 x219 + 3.7 x220 + 2 x221 - x222 - x236 <= -1 e16: 122 x217 + 9.7 x218 + 1.6 x219 + 0.9 x220 + 2.2 x221 - x222 - x237 <= -1 e17: 109 x217 + 8.4 x218 + 2.1 x219 + 1.1 x220 + 3.6 x221 - x222 - x238 <= -1 e18: 111 x217 + 8.4 x218 + 1.5 x219 + 0.8 x220 + 1.2 x221 - x222 - x239 <= -1 e19: 114 x217 + 6.7 x218 + 1.5 x219 + x220 + 3.5 x221 - x222 - x240 <= -1 e20: 119 x217 + 10.6 x218 + 2.1 x219 + 1.3 x220 + 1.1 x221 - x222 - x241 <= -1 e21: 115 x217 + 7.1 x218 + 1.3 x219 + 1.3 x220 + 2 x221 - x222 - x242 <= -1 e22: 101 x217 + 7.8 x218 + 1.2 x219 + x220 + 1.7 x221 - x222 - x243 <= -1 e23: 103 x217 + 10.1 x218 + 1.3 x219 + 0.7 x220 + 0.1 x221 - x222 - x244 <= -1 e24: 109 x217 + 10.4 x218 + 1.9 x219 + 0.4 x220 - 0.1 x221 - x222 - x245 <= -1 e25: 102 x217 + 7.6 x218 + 1.8 x219 + 2 x220 + 2.5 x221 - x222 - x246 <= -1 e26: 121 x217 + 10.1 x218 + 1.7 x219 + 1.3 x220 + 0.1 x221 - x222 - x247 <= -1 e27: 100 x217 + 6.1 x218 + 2.4 x219 + 1.8 x220 + 3.8 x221 - x222 - x248 <= -1 e28: 106 x217 + 9.6 x218 + 2.4 x219 + x220 + 1.3 x221 - x222 - x249 <= -1 e29: 116 x217 + 10.1 x218 + 2.2 x219 + 1.6 x220 + 0.8 x221 - x222 - x250 <= -1 e30: 105 x217 + 11.1 x218 + 2 x219 + x220 + x221 - x222 - x251 <= -1 e31: 110 x217 + 10.4 x218 + 1.8 x219 + x220 + 2.3 x221 - x222 - x252 <= -1 e32: 120 x217 + 8.4 x218 + 1.1 x219 + 1.4 x220 + 1.4 x221 - x222 - x253 <= -1 e33: 116 x217 + 11.1 x218 + 2 x219 + 1.2 x220 + 2.3 x221 - x222 - x254 <= -1 e34: 110 x217 + 7.8 x218 + 1.9 x219 + 2.1 x220 + 6.4 x221 - x222 - x255 <= -1 e35: 90 x217 + 8.1 x218 + 1.6 x219 + 1.4 x220 + 1.1 x221 - x222 - x256 <= -1 e36: 117 x217 + 12.2 x218 + 1.9 x219 + 1.2 x220 + 3.9 x221 - x222 - x257 <= -1 e37: 117 x217 + 11 x218 + 1.4 x219 + 1.5 x220 + 2.1 x221 - x222 - x258 <= -1 e38: 113 x217 + 9 x218 + 2 x219 + 1.8 x220 + 1.6 x221 - x222 - x259 <= -1 e39: 106 x217 + 9.4 x218 + 1.5 x219 + 0.8 x220 + 0.5 x221 - x222 - x260 <= -1 e40: 130 x217 + 9.5 x218 + 1.7 x219 + 0.4 x220 + 3.2 x221 - x222 - x261 <= -1 e41: 100 x217 + 10.5 x218 + 2.4 x219 + 0.9 x220 + 1.9 x221 - x222 - x262 <= -1 e42: 121 x217 + 10.1 x218 + 2.4 x219 + 0.8 x220 + 3 x221 - x222 - x263 <= -1 e43: 110 x217 + 9.2 x218 + 1.6 x219 + 1.5 x220 + 0.3 x221 - x222 - x264 <= -1 e44: 129 x217 + 11.9 x218 + 2.7 x219 + 1.2 x220 + 3.5 x221 - x222 - x265 <= -1 e45: 121 x217 + 13.5 x218 + 1.5 x219 + 1.6 x220 + 0.5 x221 - x222 - x266 <= -1 e46: 123 x217 + 8.1 x218 + 2.3 x219 + x220 + 5.1 x221 - x222 - x267 <= -1 e47: 107 x217 + 8.4 x218 + 1.8 x219 + 1.5 x220 + 0.8 x221 - x222 - x268 <= -1 e48: 109 x217 + 10 x218 + 1.3 x219 + 1.8 x220 + 4.3 x221 - x222 - x269 <= -1 e49: 120 x217 + 6.8 x218 + 1.9 x219 + 1.3 x220 + 1.9 x221 - x222 - x270 <= -1 e50: 100 x217 + 9.5 x218 + 2.5 x219 + 1.3 x220 - 0.2 x221 - x222 - x271 <= -1 e51: 118 x217 + 8.1 x218 + 1.9 x219 + 1.5 x220 + 13.7 x221 - x222 - x272 <= -1 e52: 100 x217 + 11.3 x218 + 2.5 x219 + 0.7 x220 - 0.3 x221 - x222 - x273 <= -1 e53: 103 x217 + 12.2 x218 + 1.2 x219 + 1.3 x220 + 2.7 x221 - x222 - x274 <= -1 e54: 115 x217 + 8.1 x218 + 1.7 x219 + 0.6 x220 + 2.2 x221 - x222 - x275 <= -1 e55: 119 x217 + 8 x218 + 2 x219 + 0.6 x220 + 3.2 x221 - x222 - x276 <= -1 e56: 106 x217 + 9.4 x218 + 1.7 x219 + 0.9 x220 + 3.1 x221 - x222 - x277 <= -1 e57: 114 x217 + 10.9 x218 + 2.1 x219 + 0.3 x220 + 1.4 x221 - x222 - x278 <= -1 e58: 93 x217 + 8.9 x218 + 1.5 x219 + 0.8 x220 + 2.7 x221 - x222 - x279 <= -1 e59: 120 x217 + 10.4 x218 + 2.1 x219 + 1.1 x220 + 1.8 x221 - x222 - x280 <= -1 e60: 106 x217 + 11.3 x218 + 1.8 x219 + 0.9 x220 + x221 - x222 - x281 <= -1 e61: 110 x217 + 8.7 x218 + 1.9 x219 + 1.6 x220 + 4.4 x221 - x222 - x282 <= -1 e62: 103 x217 + 8.1 x218 + 1.4 x219 + 0.5 x220 + 3.8 x221 - x222 - x283 <= -1 e63: 101 x217 + 7.1 x218 + 2.2 x219 + 0.8 x220 + 2.2 x221 - x222 - x284 <= -1 e64: 115 x217 + 10.4 x218 + 1.8 x219 + 1.6 x220 + 2 x221 - x222 - x285 <= -1 e65: 116 x217 + 10 x218 + 1.7 x219 + 1.5 x220 + 4.3 x221 - x222 - x286 <= -1 e66: 117 x217 + 9.2 x218 + 1.9 x219 + 1.5 x220 + 6.8 x221 - x222 - x287 <= -1 e67: 106 x217 + 6.7 x218 + 1.5 x219 + 1.2 x220 + 3.9 x221 - x222 - x288 <= -1 e68: 118 x217 + 10.5 x218 + 2.1 x219 + 0.7 x220 + 3.5 x221 - x222 - x289 <= -1 e69: 97 x217 + 7.8 x218 + 1.3 x219 + 1.2 x220 + 0.9 x221 - x222 - x290 <= -1 e70: 113 x217 + 11.1 x218 + 1.7 x219 + 0.8 x220 + 2.3 x221 - x222 - x291 <= -1 e71: 104 x217 + 6.3 x218 + 2 x219 + 1.2 x220 + 4 x221 - x222 - x292 <= -1 e72: 96 x217 + 9.4 x218 + 1.5 x219 + x220 + 3.1 x221 - x222 - x293 <= -1 e73: 120 x217 + 12.4 x218 + 2.4 x219 + 0.8 x220 + 1.9 x221 - x222 - x294 <= -1 e74: 133 x217 + 9.7 x218 + 2.9 x219 + 0.8 x220 + 1.9 x221 - x222 - x295 <= -1 e75: 126 x217 + 9.4 x218 + 2.3 x219 + x220 + 4 x221 - x222 - x296 <= -1 e76: 113 x217 + 8.5 x218 + 1.8 x219 + 0.8 x220 + 0.5 x221 - x222 - x297 <= -1 e77: 109 x217 + 9.7 x218 + 1.4 x219 + 1.1 x220 + 2.1 x221 - x222 - x298 <= -1 e78: 119 x217 + 12.9 x218 + 1.5 x219 + 1.3 x220 + 3.6 x221 - x222 - x299 <= -1 e79: 101 x217 + 7.1 x218 + 1.6 x219 + 1.5 x220 + 1.6 x221 - x222 - x300 <= -1 e80: 108 x217 + 10.4 x218 + 2.1 x219 + 1.3 x220 + 2.4 x221 - x222 - x301 <= -1 e81: 117 x217 + 6.7 x218 + 2.2 x219 + 1.8 x220 + 6.7 x221 - x222 - x302 <= -1 e82: 115 x217 + 15.3 x218 + 2.3 x219 + 2 x220 + 2 x221 - x222 - x303 <= -1 e83: 91 x217 + 8 x218 + 1.7 x219 + 2.1 x220 + 4.6 x221 - x222 - x304 <= -1 e84: 103 x217 + 8.5 x218 + 1.8 x219 + 1.9 x220 + 1.1 x221 - x222 - x305 <= -1 e85: 98 x217 + 9.1 x218 + 1.4 x219 + 1.9 x220 - 0.3 x221 - x222 - x306 <= -1 e86: 111 x217 + 7.8 x218 + 2 x219 + 1.8 x220 + 4.1 x221 - x222 - x307 <= -1 e87: 107 x217 + 13 x218 + 1.5 x219 + 2.8 x220 + 1.7 x221 - x222 - x308 <= -1 e88: 119 x217 + 11.4 x218 + 2.3 x219 + 2.2 x220 + 1.6 x221 - x222 - x309 <= -1 e89: 122 x217 + 11.8 x218 + 2.7 x219 + 1.7 x220 + 2.3 x221 - x222 - x310 <= -1 e90: 105 x217 + 8.1 x218 + 2 x219 + 1.9 x220 - 0.5 x221 - x222 - x311 <= -1 e91: 109 x217 + 7.6 x218 + 1.3 x219 + 2.2 x220 + 1.9 x221 - x222 - x312 <= -1 e92: 105 x217 + 9.5 x218 + 1.8 x219 + 1.6 x220 + 3.6 x221 - x222 - x313 <= -1 e93: 112 x217 + 5.9 x218 + 1.7 x219 + 2 x220 + 1.3 x221 - x222 - x314 <= -1 e94: 112 x217 + 9.5 x218 + 2 x219 + 1.2 x220 + 0.7 x221 - x222 - x315 <= -1 e95: 98 x217 + 8.6 x218 + 1.6 x219 + 1.6 x220 + 6 x221 - x222 - x316 <= -1 e96: 109 x217 + 12.4 x218 + 2.3 x219 + 1.7 x220 + 0.8 x221 - x222 - x317 <= -1 e97: 114 x217 + 9.1 x218 + 2.6 x219 + 1.5 x220 + 1.5 x221 - x222 - x318 <= -1 e98: 114 x217 + 11.1 x218 + 2.4 x219 + 2 x220 - 0.3 x221 - x222 - x319 <= -1 e99: 110 x217 + 8.4 x218 + 1.4 x219 + x220 + 1.9 x221 - x222 - x320 <= -1 e100: 120 x217 + 7.1 x218 + 1.2 x219 + 1.5 x220 + 4.3 x221 - x222 - x321 <= -1 e101: 108 x217 + 10.9 x218 + 1.2 x219 + 1.9 x220 + x221 - x222 - x322 <= -1 e102: 108 x217 + 8.7 x218 + 1.2 x219 + 2.2 x220 + 2.5 x221 - x222 - x323 <= -1 e103: 116 x217 + 11.9 x218 + 1.8 x219 + 1.9 x220 + 1.5 x221 - x222 - x324 <= -1 e104: 113 x217 + 11.5 x218 + 1.5 x219 + 1.9 x220 + 2.9 x221 - x222 - x325 <= -1 e105: 105 x217 + 7 x218 + 1.5 x219 + 2.7 x220 + 4.3 x221 - x222 - x326 <= -1 e106: 114 x217 + 8.4 x218 + 1.6 x219 + 1.6 x220 - 0.2 x221 - x222 - x327 <= -1 e107: 114 x217 + 8.1 x218 + 1.6 x219 + 1.6 x220 + 0.5 x221 - x222 - x328 <= -1 e108: 105 x217 + 11.1 x218 + 1.1 x219 + 0.8 x220 + 1.2 x221 - x222 - x329 <= -1 e109: 107 x217 + 13.8 x218 + 1.5 x219 + x220 + 1.9 x221 - x222 - x330 <= -1 e110: 116 x217 + 11.5 x218 + 1.8 x219 + 1.4 x220 + 5.4 x221 - x222 - x331 <= -1 e111: 102 x217 + 9.5 x218 + 1.4 x219 + 1.1 x220 + 1.6 x221 - x222 - x332 <= -1 e112: 116 x217 + 16.1 x218 + 0.9 x219 + 1.3 x220 + 1.5 x221 - x222 - x333 <= -1 e113: 118 x217 + 10.6 x218 + 1.8 x219 + 1.4 x220 + 3 x221 - x222 - x334 <= -1 e114: 109 x217 + 8.9 x218 + 1.7 x219 + x220 + 0.9 x221 - x222 - x335 <= -1 e115: 110 x217 + 7 x218 + x219 + 1.6 x220 + 4.3 x221 - x222 - x336 <= -1 e116: 104 x217 + 9.6 x218 + 1.1 x219 + 1.3 x220 + 0.8 x221 - x222 - x337 <= -1 e117: 105 x217 + 8.7 x218 + 1.5 x219 + 1.1 x220 + 1.5 x221 - x222 - x338 <= -1 e118: 102 x217 + 8.5 x218 + 1.2 x219 + 1.3 x220 + 1.4 x221 - x222 - x339 <= -1 e119: 112 x217 + 6.8 x218 + 1.7 x219 + 1.4 x220 + 3.3 x221 - x222 - x340 <= -1 e120: 111 x217 + 8.5 x218 + 1.6 x219 + 1.1 x220 + 3.9 x221 - x222 - x341 <= -1 e121: 111 x217 + 8.5 x218 + 1.6 x219 + 1.2 x220 + 7.7 x221 - x222 - x342 <= -1 e122: 103 x217 + 7.3 x218 + x219 + 0.7 x220 + 0.5 x221 - x222 - x343 <= -1 e123: 98 x217 + 10.4 x218 + 1.6 x219 + 2.3 x220 - 0.7 x221 - x222 - x344 <= -1 e124: 117 x217 + 7.8 x218 + 2 x219 + x220 + 3.9 x221 - x222 - x345 <= -1 e125: 111 x217 + 9.1 x218 + 1.7 x219 + 1.2 x220 + 4.1 x221 - x222 - x346 <= -1 e126: 101 x217 + 6.3 x218 + 1.5 x219 + 0.9 x220 + 2.9 x221 - x222 - x347 <= -1 e127: 106 x217 + 8.9 x218 + 0.7 x219 + x220 + 2.3 x221 - x222 - x348 <= -1 e128: 102 x217 + 8.4 x218 + 1.5 x219 + 0.8 x220 + 2.4 x221 - x222 - x349 <= -1 e129: 115 x217 + 10.6 x218 + 0.8 x219 + 2.1 x220 + 4.6 x221 - x222 - x350 <= -1 e130: 130 x217 + 10 x218 + 1.6 x219 + 0.9 x220 + 4.6 x221 - x222 - x351 <= -1 e131: 101 x217 + 6.7 x218 + 1.3 x219 + x220 + 5.7 x221 - x222 - x352 <= -1 e132: 110 x217 + 6.3 x218 + x219 + 0.8 x220 + x221 - x222 - x353 <= -1 e133: 103 x217 + 9.5 x218 + 2.9 x219 + 1.4 x220 - 0.1 x221 - x222 - x354 <= -1 e134: 113 x217 + 7.8 x218 + 2 x219 + 1.1 x220 + 3 x221 - x222 - x355 <= -1 e135: 112 x217 + 10.6 x218 + 1.6 x219 + 0.9 x220 - 0.1 x221 - x222 - x356 <= -1 e136: 118 x217 + 6.5 x218 + 1.2 x219 + 1.2 x220 + 1.7 x221 - x222 - x357 <= -1 e137: 109 x217 + 9.2 x218 + 1.8 x219 + 1.1 x220 + 4.4 x221 - x222 - x358 <= -1 e138: 116 x217 + 7.8 x218 + 1.4 x219 + 1.1 x220 + 3.7 x221 - x222 - x359 <= -1 e139: 127 x217 + 7.7 x218 + 1.8 x219 + 1.9 x220 + 6.4 x221 - x222 - x360 <= -1 e140: 108 x217 + 6.5 x218 + x219 + 0.9 x220 + 1.5 x221 - x222 - x361 <= -1 e141: 108 x217 + 7.1 x218 + 1.3 x219 + 1.6 x220 + 2.2 x221 - x222 - x362 <= -1 e142: 105 x217 + 5.7 x218 + x219 + 0.9 x220 + 0.9 x221 - x222 - x363 <= -1 e143: 98 x217 + 5.7 x218 + 0.4 x219 + 1.3 x220 + 2.8 x221 - x222 - x364 <= -1 e144: 112 x217 + 6.5 x218 + 1.2 x219 + 1.2 x220 + 2 x221 - x222 - x365 <= -1 e145: 118 x217 + 12.2 x218 + 1.5 x219 + x220 + 2.3 x221 - x222 - x366 <= -1 e146: 94 x217 + 7.5 x218 + 1.2 x219 + 1.3 x220 + 4.4 x221 - x222 - x367 <= -1 e147: 126 x217 + 10.4 x218 + 1.7 x219 + 1.2 x220 + 3.5 x221 - x222 - x368 <= -1 e148: 114 x217 + 7.5 x218 + 1.1 x219 + 1.6 x220 + 4.4 x221 - x222 - x369 <= -1 e149: 111 x217 + 11.9 x218 + 2.3 x219 + 0.9 x220 + 3.8 x221 - x222 - x370 <= -1 e150: 104 x217 + 6.1 x218 + 1.8 x219 + 0.5 x220 + 0.8 x221 - x222 - x371 <= -1 e151: 102 x217 + 6.6 x218 + 1.2 x219 + 1.4 x220 + 1.3 x221 - x222 - x372 <= -1 e152: - 139 x217 - 16.4 x218 - 3.8 x219 - 1.1 x220 + 0.2 x221 + x222 - x373 <= -1 e153: - 111 x217 - 16 x218 - 2.1 x219 - 0.9 x220 + 0.1 x221 + x222 - x374 <= -1 e154: - 113 x217 - 17.2 x218 - 1.8 x219 - x220 + x222 - x375 <= -1 e155: - 65 x217 - 25.3 x218 - 5.8 x219 - 1.3 x220 - 0.2 x221 + x222 - x376 <= -1 e156: - 88 x217 - 24.1 x218 - 5.5 x219 - 0.8 x220 - 0.1 x221 + x222 - x377 <= -1 e157: - 65 x217 - 18.2 x218 - 10 x219 - 1.3 x220 - 0.1 x221 + x222 - x378 <= -1 e158: - 134 x217 - 16.4 x218 - 4.8 x219 - 0.6 x220 - 0.1 x221 + x222 - x379 <= -1 e159: - 110 x217 - 20.3 x218 - 3.7 x219 - 0.6 x220 - 0.2 x221 + x222 - x380 <= -1 e160: - 67 x217 - 23.3 x218 - 7.4 x219 - 1.8 x220 + 0.6 x221 + x222 - x381 <= -1 e161: - 95 x217 - 11.1 x218 - 2.7 x219 - 1.6 x220 + 0.3 x221 + x222 - x382 <= -1 e162: - 89 x217 - 14.3 x218 - 4.1 x219 - 0.5 x220 - 0.2 x221 + x222 - x383 <= -1 e163: - 89 x217 - 23.8 x218 - 5.4 x219 - 0.5 x220 - 0.1 x221 + x222 - x384 <= -1 e164: - 88 x217 - 12.9 x218 - 2.7 x219 - 0.1 x220 - 0.2 x221 + x222 - x385 <= -1 e165: - 105 x217 - 17.4 x218 - 1.6 x219 - 0.3 x220 - 0.4 x221 + x222 - x386 <= -1 e166: - 89 x217 - 20.1 x218 - 7.3 x219 - 1.1 x220 + 0.2 x221 + x222 - x387 <= -1 e167: - 99 x217 - 13 x218 - 3.6 x219 - 0.7 x220 + 0.1 x221 + x222 - x388 <= -1 e168: - 80 x217 - 23 x218 - 10 x219 - 0.9 x220 + 0.1 x221 + x222 - x389 <= -1 e169: - 89 x217 - 21.8 x218 - 7.1 x219 - 0.7 x220 + 0.1 x221 + x222 - x390 <= -1 e170: - 99 x217 - 13 x218 - 3.1 x219 - 0.5 x220 + 0.1 x221 + x222 - x391 <= -1 e171: - 68 x217 - 14.7 x218 - 7.8 x219 - 0.6 x220 + 0.2 x221 + x222 - x392 <= -1 e172: - 97 x217 - 14.2 x218 - 3.6 x219 - 1.5 x220 - 0.3 x221 + x222 - x393 <= -1 e173: - 84 x217 - 21.5 x218 - 2.7 x219 - 1.1 x220 + 0.6 x221 + x222 - x394 <= -1 e174: - 84 x217 - 18.5 x218 - 4.4 x219 - 1.1 x220 + 0.3 x221 + x222 - x395 <= -1 e175: - 98 x217 - 16.7 x218 - 4.3 x219 - 1.7 x220 - 0.2 x221 + x222 - x396 <= -1 e176: - 94 x217 - 20.5 x218 - 1.8 x219 - 1.4 x220 + 0.5 x221 + x222 - x397 <= -1 e177: - 99 x217 - 17.5 x218 - 1.9 x219 - 1.4 x220 - 0.3 x221 + x222 - x398 <= -1 e178: - 76 x217 - 25.3 x218 - 4.5 x219 - 1.2 x220 + 0.1 x221 + x222 - x399 <= -1 e179: - 110 x217 - 15.2 x218 - 1.9 x219 - 0.7 x220 + 0.2 x221 + x222 - x400 <= -1 e180: - 144 x217 - 22.3 x218 - 3.3 x219 - 1.3 x220 - 0.6 x221 + x222 - x401 <= -1 e181: - 105 x217 - 12 x218 - 3.3 x219 - 1.1 x220 + x222 - x402 <= -1 e182: - 88 x217 - 16.5 x218 - 4.9 x219 - 0.8 x220 - 0.1 x221 + x222 - x403 <= -1 e183: - 97 x217 - 15.1 x218 - 1.8 x219 - 1.2 x220 + 0.2 x221 + x222 - x404 <= -1 e184: - 106 x217 - 13.4 x218 - 3 x219 - 1.1 x220 + x222 - x405 <= -1 e185: - 79 x217 - 19 x218 - 5.5 x219 - 0.9 x220 - 0.3 x221 + x222 - x406 <= -1 e186: - 92 x217 - 11.1 x218 - 2 x219 - 0.7 x220 + 0.2 x221 + x222 - x407 <= -1 e187: - 125 x217 - 2.3 x218 - 0.9 x219 - 16.5 x220 - 9.5 x221 + x222 - x408 <= -1 e188: - 120 x217 - 6.8 x218 - 2.1 x219 - 10.4 x220 - 38.6 x221 + x222 - x409 <= -1 e189: - 108 x217 - 3.5 x218 - 0.6 x219 - 1.7 x220 - 1.4 x221 + x222 - x410 <= -1 e190: - 120 x217 - 3 x218 - 2.5 x219 - 1.2 x220 - 4.5 x221 + x222 - x411 <= -1 e191: - 119 x217 - 3.8 x218 - 1.1 x219 - 23 x220 - 5.7 x221 + x222 - x412 <= -1 e192: - 141 x217 - 5.6 x218 - 1.8 x219 - 9.2 x220 - 14.4 x221 + x222 - x413 <= -1 e193: - 129 x217 - 1.5 x218 - 0.6 x219 - 12.5 x220 - 2.9 x221 + x222 - x414 <= -1 e194: - 118 x217 - 3.6 x218 - 1.5 x219 - 11.6 x220 - 48.8 x221 + x222 - x415 <= -1 e195: - 120 x217 - 1.9 x218 - 0.7 x219 - 18.5 x220 - 24 x221 + x222 - x416 <= -1 e196: - 119 x217 - 0.8 x218 - 0.7 x219 - 56.4 x220 - 21.6 x221 + x222 - x417 <= -1 e197: - 123 x217 - 5.6 x218 - 1.1 x219 - 13.7 x220 - 56.3 x221 + x222 - x418 <= -1 e198: - 115 x217 - 6.3 x218 - 1.2 x219 - 4.7 x220 - 14.4 x221 + x222 - x419 <= -1 e199: - 126 x217 - 0.5 x218 - 0.2 x219 - 12.2 x220 - 8.8 x221 + x222 - x420 <= -1 e200: - 121 x217 - 4.7 x218 - 1.8 x219 - 11.2 x220 - 53 x221 + x222 - x421 <= -1 e201: - 131 x217 - 2.7 x218 - 0.8 x219 - 9.9 x220 - 4.7 x221 + x222 - x422 <= -1 e202: - 134 x217 - 2 x218 - 0.5 x219 - 12.2 x220 - 2.2 x221 + x222 - x423 <= -1 e203: - 141 x217 - 2.5 x218 - 1.3 x219 - 8.5 x220 - 7.5 x221 + x222 - x424 <= -1 e204: - 113 x217 - 5.1 x218 - 0.7 x219 - 5.8 x220 - 19.6 x221 + x222 - x425 <= -1 e205: - 136 x217 - 1.4 x218 - 0.3 x219 - 32.6 x220 - 8.4 x221 + x222 - x426 <= -1 e206: - 120 x217 - 3.4 x218 - 1.8 x219 - 7.5 x220 - 21.5 x221 + x222 - x427 <= -1 e207: - 125 x217 - 3.7 x218 - 1.1 x219 - 8.5 x220 - 25.9 x221 + x222 - x428 <= -1 e208: - 123 x217 - 1.9 x218 - 0.3 x219 - 22.8 x220 - 22.2 x221 + x222 - x429 <= -1 e209: - 112 x217 - 2.6 x218 - 0.7 x219 - 41 x220 - 19 x221 + x222 - x430 <= -1 e210: - 134 x217 - 1.9 x218 - 0.6 x219 - 18.4 x220 - 8.2 x221 + x222 - x431 <= -1 e211: - 119 x217 - 5.1 x218 - 1.1 x219 - 7 x220 - 40.8 x221 + x222 - x432 <= -1 e212: - 118 x217 - 6.5 x218 - 1.3 x219 - 1.7 x220 - 11.5 x221 + x222 - x433 <= -1 e213: - 139 x217 - 4.2 x218 - 0.7 x219 - 4.3 x220 - 6.3 x221 + x222 - x434 <= -1 e214: - 103 x217 - 5.1 x218 - 1.4 x219 - 1.2 x220 - 5 x221 + x222 - x435 <= -1 e215: - 97 x217 - 4.7 x218 - 1.1 x219 - 2.1 x220 - 12.6 x221 + x222 - x436 <= -1 e216: - 102 x217 - 5.3 x218 - 1.4 x219 - 1.3 x220 - 6.7 x221 + x222 - x437 <= -1 e217: - b2 - x438 = -1 e218: - b3 - x439 = -1 e219: - b4 - x440 = -1 e220: - b5 - x441 = -1 e221: - b6 - x442 = -1 e222: - b7 - x443 = -1 e223: - b8 - x444 = -1 e224: - b9 - x445 = -1 e225: - b10 - x446 = -1 e226: - b11 - x447 = -1 e227: - b12 - x448 = -1 e228: - b13 - x449 = -1 e229: - b14 - x450 = -1 e230: - b15 - x451 = -1 e231: - b16 - x452 = -1 e232: - b17 - x453 = -1 e233: - b18 - x454 = -1 e234: - b19 - x455 = -1 e235: - b20 - x456 = -1 e236: - b21 - x457 = -1 e237: - b22 - x458 = -1 e238: - b23 - x459 = -1 e239: - b24 - x460 = -1 e240: - b25 - x461 = -1 e241: - b26 - x462 = -1 e242: - b27 - x463 = -1 e243: - b28 - x464 = -1 e244: - b29 - x465 = -1 e245: - b30 - x466 = -1 e246: - b31 - x467 = -1 e247: - b32 - x468 = -1 e248: - b33 - x469 = -1 e249: - b34 - x470 = -1 e250: - b35 - x471 = -1 e251: - b36 - x472 = -1 e252: - b37 - x473 = -1 e253: - b38 - x474 = -1 e254: - b39 - x475 = -1 e255: - b40 - x476 = -1 e256: - b41 - x477 = -1 e257: - b42 - x478 = -1 e258: - b43 - x479 = -1 e259: - b44 - x480 = -1 e260: - b45 - x481 = -1 e261: - b46 - x482 = -1 e262: - b47 - x483 = -1 e263: - b48 - x484 = -1 e264: - b49 - x485 = -1 e265: - b50 - x486 = -1 e266: - b51 - x487 = -1 e267: - b52 - x488 = -1 e268: - b53 - x489 = -1 e269: - b54 - x490 = -1 e270: - b55 - x491 = -1 e271: - b56 - x492 = -1 e272: - b57 - x493 = -1 e273: - b58 - x494 = -1 e274: - b59 - x495 = -1 e275: - b60 - x496 = -1 e276: - b61 - x497 = -1 e277: - b62 - x498 = -1 e278: - b63 - x499 = -1 e279: - b64 - x500 = -1 e280: - b65 - x501 = -1 e281: - b66 - x502 = -1 e282: - b67 - x503 = -1 e283: - b68 - x504 = -1 e284: - b69 - x505 = -1 e285: - b70 - x506 = -1 e286: - b71 - x507 = -1 e287: - b72 - x508 = -1 e288: - b73 - x509 = -1 e289: - b74 - x510 = -1 e290: - b75 - x511 = -1 e291: - b76 - x512 = -1 e292: - b77 - x513 = -1 e293: - b78 - x514 = -1 e294: - b79 - x515 = -1 e295: - b80 - x516 = -1 e296: - b81 - x517 = -1 e297: - b82 - x518 = -1 e298: - b83 - x519 = -1 e299: - b84 - x520 = -1 e300: - b85 - x521 = -1 e301: - b86 - x522 = -1 e302: - b87 - x523 = -1 e303: - b88 - x524 = -1 e304: - b89 - x525 = -1 e305: - b90 - x526 = -1 e306: - b91 - x527 = -1 e307: - b92 - x528 = -1 e308: - b93 - x529 = -1 e309: - b94 - x530 = -1 e310: - b95 - x531 = -1 e311: - b96 - x532 = -1 e312: - b97 - x533 = -1 e313: - b98 - x534 = -1 e314: - b99 - x535 = -1 e315: - b100 - x536 = -1 e316: - b101 - x537 = -1 e317: - b102 - x538 = -1 e318: - b103 - x539 = -1 e319: - b104 - x540 = -1 e320: - b105 - x541 = -1 e321: - b106 - x542 = -1 e322: - b107 - x543 = -1 e323: - b108 - x544 = -1 e324: - b109 - x545 = -1 e325: - b110 - x546 = -1 e326: - b111 - x547 = -1 e327: - b112 - x548 = -1 e328: - b113 - x549 = -1 e329: - b114 - x550 = -1 e330: - b115 - x551 = -1 e331: - b116 - x552 = -1 e332: - b117 - x553 = -1 e333: - b118 - x554 = -1 e334: - b119 - x555 = -1 e335: - b120 - x556 = -1 e336: - b121 - x557 = -1 e337: - b122 - x558 = -1 e338: - b123 - x559 = -1 e339: - b124 - x560 = -1 e340: - b125 - x561 = -1 e341: - b126 - x562 = -1 e342: - b127 - x563 = -1 e343: - b128 - x564 = -1 e344: - b129 - x565 = -1 e345: - b130 - x566 = -1 e346: - b131 - x567 = -1 e347: - b132 - x568 = -1 e348: - b133 - x569 = -1 e349: - b134 - x570 = -1 e350: - b135 - x571 = -1 e351: - b136 - x572 = -1 e352: - b137 - x573 = -1 e353: - b138 - x574 = -1 e354: - b139 - x575 = -1 e355: - b140 - x576 = -1 e356: - b141 - x577 = -1 e357: - b142 - x578 = -1 e358: - b143 - x579 = -1 e359: - b144 - x580 = -1 e360: - b145 - x581 = -1 e361: - b146 - x582 = -1 e362: - b147 - x583 = -1 e363: - b148 - x584 = -1 e364: - b149 - x585 = -1 e365: - b150 - x586 = -1 e366: - b151 - x587 = -1 e367: - b152 - x588 = -1 e368: - b153 - x589 = -1 e369: - b154 - x590 = -1 e370: - b155 - x591 = -1 e371: - b156 - x592 = -1 e372: - b157 - x593 = -1 e373: - b158 - x594 = -1 e374: - b159 - x595 = -1 e375: - b160 - x596 = -1 e376: - b161 - x597 = -1 e377: - b162 - x598 = -1 e378: - b163 - x599 = -1 e379: - b164 - x600 = -1 e380: - b165 - x601 = -1 e381: - b166 - x602 = -1 e382: - b167 - x603 = -1 e383: - b168 - x604 = -1 e384: - b169 - x605 = -1 e385: - b170 - x606 = -1 e386: - b171 - x607 = -1 e387: - b172 - x608 = -1 e388: - b173 - x609 = -1 e389: - b174 - x610 = -1 e390: - b175 - x611 = -1 e391: - b176 - x612 = -1 e392: - b177 - x613 = -1 e393: - b178 - x614 = -1 e394: - b179 - x615 = -1 e395: - b180 - x616 = -1 e396: - b181 - x617 = -1 e397: - b182 - x618 = -1 e398: - b183 - x619 = -1 e399: - b184 - x620 = -1 e400: - b185 - x621 = -1 e401: - b186 - x622 = -1 e402: - b187 - x623 = -1 e403: - b188 - x624 = -1 e404: - b189 - x625 = -1 e405: - b190 - x626 = -1 e406: - b191 - x627 = -1 e407: - b192 - x628 = -1 e408: - b193 - x629 = -1 e409: - b194 - x630 = -1 e410: - b195 - x631 = -1 e411: - b196 - x632 = -1 e412: - b197 - x633 = -1 e413: - b198 - x634 = -1 e414: - b199 - x635 = -1 e415: - b200 - x636 = -1 e416: - b201 - x637 = -1 e417: - b202 - x638 = -1 e418: - b203 - x639 = -1 e419: - b204 - x640 = -1 e420: - b205 - x641 = -1 e421: - b206 - x642 = -1 e422: - b207 - x643 = -1 e423: - b208 - x644 = -1 e424: - b209 - x645 = -1 e425: - b210 - x646 = -1 e426: - b211 - x647 = -1 e427: - b212 - x648 = -1 e428: - b213 - x649 = -1 e429: - b214 - x650 = -1 e430: - b215 - x651 = -1 e431: - b216 - x652 = -1 e432: [ x223 * x438 ] = 0 e433: [ x224 * x439 ] = 0 e434: [ x225 * x440 ] = 0 e435: [ x226 * x441 ] = 0 e436: [ x227 * x442 ] = 0 e437: [ x228 * x443 ] = 0 e438: [ x229 * x444 ] = 0 e439: [ x230 * x445 ] = 0 e440: [ x231 * x446 ] = 0 e441: [ x232 * x447 ] = 0 e442: [ x233 * x448 ] = 0 e443: [ x234 * x449 ] = 0 e444: [ x235 * x450 ] = 0 e445: [ x236 * x451 ] = 0 e446: [ x237 * x452 ] = 0 e447: [ x238 * x453 ] = 0 e448: [ x239 * x454 ] = 0 e449: [ x240 * x455 ] = 0 e450: [ x241 * x456 ] = 0 e451: [ x242 * x457 ] = 0 e452: [ x243 * x458 ] = 0 e453: [ x244 * x459 ] = 0 e454: [ x245 * x460 ] = 0 e455: [ x246 * x461 ] = 0 e456: [ x247 * x462 ] = 0 e457: [ x248 * x463 ] = 0 e458: [ x249 * x464 ] = 0 e459: [ x250 * x465 ] = 0 e460: [ x251 * x466 ] = 0 e461: [ x252 * x467 ] = 0 e462: [ x253 * x468 ] = 0 e463: [ x254 * x469 ] = 0 e464: [ x255 * x470 ] = 0 e465: [ x256 * x471 ] = 0 e466: [ x257 * x472 ] = 0 e467: [ x258 * x473 ] = 0 e468: [ x259 * x474 ] = 0 e469: [ x260 * x475 ] = 0 e470: [ x261 * x476 ] = 0 e471: [ x262 * x477 ] = 0 e472: [ x263 * x478 ] = 0 e473: [ x264 * x479 ] = 0 e474: [ x265 * x480 ] = 0 e475: [ x266 * x481 ] = 0 e476: [ x267 * x482 ] = 0 e477: [ x268 * x483 ] = 0 e478: [ x269 * x484 ] = 0 e479: [ x270 * x485 ] = 0 e480: [ x271 * x486 ] = 0 e481: [ x272 * x487 ] = 0 e482: [ x273 * x488 ] = 0 e483: [ x274 * x489 ] = 0 e484: [ x275 * x490 ] = 0 e485: [ x276 * x491 ] = 0 e486: [ x277 * x492 ] = 0 e487: [ x278 * x493 ] = 0 e488: [ x279 * x494 ] = 0 e489: [ x280 * x495 ] = 0 e490: [ x281 * x496 ] = 0 e491: [ x282 * x497 ] = 0 e492: [ x283 * x498 ] = 0 e493: [ x284 * x499 ] = 0 e494: [ x285 * x500 ] = 0 e495: [ x286 * x501 ] = 0 e496: [ x287 * x502 ] = 0 e497: [ x288 * x503 ] = 0 e498: [ x289 * x504 ] = 0 e499: [ x290 * x505 ] = 0 e500: [ x291 * x506 ] = 0 e501: [ x292 * x507 ] = 0 e502: [ x293 * x508 ] = 0 e503: [ x294 * x509 ] = 0 e504: [ x295 * x510 ] = 0 e505: [ x296 * x511 ] = 0 e506: [ x297 * x512 ] = 0 e507: [ x298 * x513 ] = 0 e508: [ x299 * x514 ] = 0 e509: [ x300 * x515 ] = 0 e510: [ x301 * x516 ] = 0 e511: [ x302 * x517 ] = 0 e512: [ x303 * x518 ] = 0 e513: [ x304 * x519 ] = 0 e514: [ x305 * x520 ] = 0 e515: [ x306 * x521 ] = 0 e516: [ x307 * x522 ] = 0 e517: [ x308 * x523 ] = 0 e518: [ x309 * x524 ] = 0 e519: [ x310 * x525 ] = 0 e520: [ x311 * x526 ] = 0 e521: [ x312 * x527 ] = 0 e522: [ x313 * x528 ] = 0 e523: [ x314 * x529 ] = 0 e524: [ x315 * x530 ] = 0 e525: [ x316 * x531 ] = 0 e526: [ x317 * x532 ] = 0 e527: [ x318 * x533 ] = 0 e528: [ x319 * x534 ] = 0 e529: [ x320 * x535 ] = 0 e530: [ x321 * x536 ] = 0 e531: [ x322 * x537 ] = 0 e532: [ x323 * x538 ] = 0 e533: [ x324 * x539 ] = 0 e534: [ x325 * x540 ] = 0 e535: [ x326 * x541 ] = 0 e536: [ x327 * x542 ] = 0 e537: [ x328 * x543 ] = 0 e538: [ x329 * x544 ] = 0 e539: [ x330 * x545 ] = 0 e540: [ x331 * x546 ] = 0 e541: [ x332 * x547 ] = 0 e542: [ x333 * x548 ] = 0 e543: [ x334 * x549 ] = 0 e544: [ x335 * x550 ] = 0 e545: [ x336 * x551 ] = 0 e546: [ x337 * x552 ] = 0 e547: [ x338 * x553 ] = 0 e548: [ x339 * x554 ] = 0 e549: [ x340 * x555 ] = 0 e550: [ x341 * x556 ] = 0 e551: [ x342 * x557 ] = 0 e552: [ x343 * x558 ] = 0 e553: [ x344 * x559 ] = 0 e554: [ x345 * x560 ] = 0 e555: [ x346 * x561 ] = 0 e556: [ x347 * x562 ] = 0 e557: [ x348 * x563 ] = 0 e558: [ x349 * x564 ] = 0 e559: [ x350 * x565 ] = 0 e560: [ x351 * x566 ] = 0 e561: [ x352 * x567 ] = 0 e562: [ x353 * x568 ] = 0 e563: [ x354 * x569 ] = 0 e564: [ x355 * x570 ] = 0 e565: [ x356 * x571 ] = 0 e566: [ x357 * x572 ] = 0 e567: [ x358 * x573 ] = 0 e568: [ x359 * x574 ] = 0 e569: [ x360 * x575 ] = 0 e570: [ x361 * x576 ] = 0 e571: [ x362 * x577 ] = 0 e572: [ x363 * x578 ] = 0 e573: [ x364 * x579 ] = 0 e574: [ x365 * x580 ] = 0 e575: [ x366 * x581 ] = 0 e576: [ x367 * x582 ] = 0 e577: [ x368 * x583 ] = 0 e578: [ x369 * x584 ] = 0 e579: [ x370 * x585 ] = 0 e580: [ x371 * x586 ] = 0 e581: [ x372 * x587 ] = 0 e582: [ x373 * x588 ] = 0 e583: [ x374 * x589 ] = 0 e584: [ x375 * x590 ] = 0 e585: [ x376 * x591 ] = 0 e586: [ x377 * x592 ] = 0 e587: [ x378 * x593 ] = 0 e588: [ x379 * x594 ] = 0 e589: [ x380 * x595 ] = 0 e590: [ x381 * x596 ] = 0 e591: [ x382 * x597 ] = 0 e592: [ x383 * x598 ] = 0 e593: [ x384 * x599 ] = 0 e594: [ x385 * x600 ] = 0 e595: [ x386 * x601 ] = 0 e596: [ x387 * x602 ] = 0 e597: [ x388 * x603 ] = 0 e598: [ x389 * x604 ] = 0 e599: [ x390 * x605 ] = 0 e600: [ x391 * x606 ] = 0 e601: [ x392 * x607 ] = 0 e602: [ x393 * x608 ] = 0 e603: [ x394 * x609 ] = 0 e604: [ x395 * x610 ] = 0 e605: [ x396 * x611 ] = 0 e606: [ x397 * x612 ] = 0 e607: [ x398 * x613 ] = 0 e608: [ x399 * x614 ] = 0 e609: [ x400 * x615 ] = 0 e610: [ x401 * x616 ] = 0 e611: [ x402 * x617 ] = 0 e612: [ x403 * x618 ] = 0 e613: [ x404 * x619 ] = 0 e614: [ x405 * x620 ] = 0 e615: [ x406 * x621 ] = 0 e616: [ x407 * x622 ] = 0 e617: [ x408 * x623 ] = 0 e618: [ x409 * x624 ] = 0 e619: [ x410 * x625 ] = 0 e620: [ x411 * x626 ] = 0 e621: [ x412 * x627 ] = 0 e622: [ x413 * x628 ] = 0 e623: [ x414 * x629 ] = 0 e624: [ x415 * x630 ] = 0 e625: [ x416 * x631 ] = 0 e626: [ x417 * x632 ] = 0 e627: [ x418 * x633 ] = 0 e628: [ x419 * x634 ] = 0 e629: [ x420 * x635 ] = 0 e630: [ x421 * x636 ] = 0 e631: [ x422 * x637 ] = 0 e632: [ x423 * x638 ] = 0 e633: [ x424 * x639 ] = 0 e634: [ x425 * x640 ] = 0 e635: [ x426 * x641 ] = 0 e636: [ x427 * x642 ] = 0 e637: [ x428 * x643 ] = 0 e638: [ x429 * x644 ] = 0 e639: [ x430 * x645 ] = 0 e640: [ x431 * x646 ] = 0 e641: [ x432 * x647 ] = 0 e642: [ x433 * x648 ] = 0 e643: [ x434 * x649 ] = 0 e644: [ x435 * x650 ] = 0 e645: [ x436 * x651 ] = 0 e646: [ x437 * x652 ] = 0 Bounds x217 Free x218 Free x219 Free x220 Free x221 Free x222 Free x438 Free x439 Free x440 Free x441 Free x442 Free x443 Free x444 Free x445 Free x446 Free x447 Free x448 Free x449 Free x450 Free x451 Free x452 Free x453 Free x454 Free x455 Free x456 Free x457 Free x458 Free x459 Free x460 Free x461 Free x462 Free x463 Free x464 Free x465 Free x466 Free x467 Free x468 Free x469 Free x470 Free x471 Free x472 Free x473 Free x474 Free x475 Free x476 Free x477 Free x478 Free x479 Free x480 Free x481 Free x482 Free x483 Free x484 Free x485 Free x486 Free x487 Free x488 Free x489 Free x490 Free x491 Free x492 Free x493 Free x494 Free x495 Free x496 Free x497 Free x498 Free x499 Free x500 Free x501 Free x502 Free x503 Free x504 Free x505 Free x506 Free x507 Free x508 Free x509 Free x510 Free x511 Free x512 Free x513 Free x514 Free x515 Free x516 Free x517 Free x518 Free x519 Free x520 Free x521 Free x522 Free x523 Free x524 Free x525 Free x526 Free x527 Free x528 Free x529 Free x530 Free x531 Free x532 Free x533 Free x534 Free x535 Free x536 Free x537 Free x538 Free x539 Free x540 Free x541 Free x542 Free x543 Free x544 Free x545 Free x546 Free x547 Free x548 Free x549 Free x550 Free x551 Free x552 Free x553 Free x554 Free x555 Free x556 Free x557 Free x558 Free x559 Free x560 Free x561 Free x562 Free x563 Free x564 Free x565 Free x566 Free x567 Free x568 Free x569 Free x570 Free x571 Free x572 Free x573 Free x574 Free x575 Free x576 Free x577 Free x578 Free x579 Free x580 Free x581 Free x582 Free x583 Free x584 Free x585 Free x586 Free x587 Free x588 Free x589 Free x590 Free x591 Free x592 Free x593 Free x594 Free x595 Free x596 Free x597 Free x598 Free x599 Free x600 Free x601 Free x602 Free x603 Free x604 Free x605 Free x606 Free x607 Free x608 Free x609 Free x610 Free x611 Free x612 Free x613 Free x614 Free x615 Free x616 Free x617 Free x618 Free x619 Free x620 Free x621 Free x622 Free x623 Free x624 Free x625 Free x626 Free x627 Free x628 Free x629 Free x630 Free x631 Free x632 Free x633 Free x634 Free x635 Free x636 Free x637 Free x638 Free x639 Free x640 Free x641 Free x642 Free x643 Free x644 Free x645 Free x646 Free x647 Free x648 Free x649 Free x650 Free x651 Free x652 Free Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 End