\ Equation counts \ Total E G L N X C B \ 891 594 0 297 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 905 608 297 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4908 4314 594 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 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + 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 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 Subject To e2: 63 x299 + x300 + x301 + 145 x302 + 233 x303 + x304 + 2 x305 + 150 x306 + 2 x307 + 3 x308 + 6 x309 - x310 - x311 <= -1 e3: - 67 x299 - x300 - 4 x301 - 160 x302 - 286 x303 - 2 x305 - 108 x306 - x307 - 2 x308 - 3 x309 + x310 - x312 - 3 x313 - x314 <= -1 e4: - 67 x299 - x300 - 4 x301 - 120 x302 - 229 x303 - 2 x305 - 129 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x315 <= -1 e5: 37 x299 + x300 + 3 x301 + 130 x302 + 250 x303 + 187 x306 + 3 x307 + 3 x308 + 3 x309 - x310 - x316 <= -1 e6: 41 x299 + 2 x301 + 130 x302 + 204 x303 + 2 x305 + 172 x306 + x307 + x308 + 3 x309 - x310 - x317 <= -1 e7: 56 x299 + x300 + 2 x301 + 120 x302 + 236 x303 + 178 x306 + x308 + 3 x309 - x310 - x318 <= -1 e8: - 62 x299 - 4 x301 - 140 x302 - 268 x303 - 2 x305 - 160 x306 - 3 x307 - 3 x308 - 3 x309 + x310 - 2 x313 - x319 <= -1 e9: 57 x299 + 4 x301 + 120 x302 + 354 x303 + 163 x306 + x308 + 3 x309 - x310 + x312 - x320 <= -1 e10: - 63 x299 - x300 - 4 x301 - 130 x302 - 254 x303 - 2 x305 - 147 x306 - x307 - 2 x308 - 7 x309 + x310 - x313 - x321 <= -1 e11: - 53 x299 - x300 - 4 x301 - 140 x302 - 203 x303 - x304 - 2 x305 - 155 x306 - 3 x307 - 3 x308 - 7 x309 + x310 - x312 - x322 <= -1 e12: 57 x299 + x300 + 4 x301 + 140 x302 + 192 x303 + 148 x306 + 2 x308 + 6 x309 - x310 - x323 <= -1 e13: 56 x299 + 2 x301 + 140 x302 + 294 x303 + 2 x305 + 153 x306 + x307 + 2 x308 + 3 x309 - x310 - x324 <= -1 e14: - 56 x299 - x300 - 3 x301 - 130 x302 - 256 x303 - x304 - 2 x305 - 142 x306 - 2 x308 - 6 x309 + x310 - x312 - x313 - x325 <= -1 e15: 44 x299 + x300 + 2 x301 + 120 x302 + 263 x303 + 173 x306 + x308 + 7 x309 - x310 - x326 <= -1 e16: 52 x299 + x300 + 3 x301 + 172 x302 + 199 x303 + x304 + 162 x306 + x308 + 7 x309 - x310 - x327 <= -1 e17: 57 x299 + x300 + 3 x301 + 150 x302 + 168 x303 + 174 x306 + x307 + x308 + 3 x309 - x310 - x328 <= -1 e18: - 48 x299 - x300 - 2 x301 - 110 x302 - 229 x303 - 168 x306 - x307 - 3 x308 - 7 x309 + x310 - x329 <= -1 e19: 54 x299 + x300 + 4 x301 + 140 x302 + 239 x303 + 160 x306 + x307 + x308 + 3 x309 - x310 - x330 <= -1 e20: 48 x299 + 3 x301 + 130 x302 + 275 x303 + 139 x306 + x308 + 3 x309 - x310 - x331 <= -1 e21: 49 x299 + x300 + 2 x301 + 130 x302 + 266 x303 + 171 x306 + x308 + 3 x309 - x310 - x332 <= -1 e22: 64 x299 + x300 + x301 + 110 x302 + 211 x303 + 2 x305 + 144 x306 + x307 + 2 x308 + 3 x309 - x310 + x312 - x333 <= -1 e23: 58 x299 + x301 + 150 x302 + 283 x303 + x304 + 2 x305 + 162 x306 + x307 + x308 + 3 x309 - x310 - x334 <= -1 e24: - 58 x299 - x300 - 2 x301 - 120 x302 - 284 x303 - 2 x305 - 160 x306 - x307 - 2 x308 - 3 x309 + x310 - x335 <= -1 e25: - 58 x299 - x300 - 3 x301 - 132 x302 - 224 x303 - 2 x305 - 173 x306 - 3 x307 - x308 - 7 x309 + x310 - 2 x313 - x336 <= -1 e26: - 60 x299 - x300 - 4 x301 - 130 x302 - 206 x303 - 2 x305 - 132 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x337 <= -1 e27: 50 x299 + 3 x301 + 120 x302 + 219 x303 + 158 x306 + x307 + 2 x308 + 3 x309 - x310 - x338 <= -1 e28: 58 x299 + 3 x301 + 120 x302 + 340 x303 + 172 x306 + x308 + 3 x309 - x310 - x339 <= -1 e29: 66 x299 + x301 + 150 x302 + 226 x303 + 114 x306 + 2 x307 + 3 x308 + 3 x309 - x310 - x340 <= -1 e30: 43 x299 + x300 + 4 x301 + 150 x302 + 247 x303 + 171 x306 + x307 + x308 + 3 x309 - x310 - x341 <= -1 e31: - 40 x299 - x300 - 4 x301 - 110 x302 - 167 x303 - 2 x305 - 114 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x342 <= -1 e32: 69 x299 + x301 + 140 x302 + 239 x303 + 151 x306 + x307 + x308 + 3 x309 - x310 + 2 x313 - x343 <= -1 e33: - 60 x299 - x300 - 4 x301 - 117 x302 - 230 x303 - x304 - 160 x306 - x307 - x308 - 7 x309 + x310 - x312 - 2 x313 - x344 <= -1 e34: - 64 x299 - x300 - 3 x301 - 140 x302 - 335 x303 - 158 x306 - x308 - 3 x309 + x310 - x345 <= -1 e35: 59 x299 + x300 + 4 x301 + 135 x302 + 234 x303 + 161 x306 + 2 x308 + 7 x309 - x310 - x346 <= -1 e36: 44 x299 + x300 + 3 x301 + 130 x302 + 233 x303 + 179 x306 + x308 + 3 x309 - x310 + x312 - x347 <= -1 e37: 42 x299 + x300 + 4 x301 + 140 x302 + 226 x303 + 178 x306 + x308 + 3 x309 - x310 - x348 <= -1 e38: - 43 x299 - x300 - 4 x301 - 120 x302 - 177 x303 - 2 x305 - 120 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x349 <= -1 e39: - 57 x299 - x300 - 4 x301 - 150 x302 - 276 x303 - 2 x305 - 112 x306 - 2 x308 - 6 x309 + x310 - x312 - x313 - x350 <= -1 e40: - 55 x299 - x300 - 4 x301 - 132 x302 - 353 x303 - 132 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x351 <= -1 e41: 61 x299 + x300 + 3 x301 + 150 x302 + 243 x303 + x304 + 137 x306 + x307 + 2 x308 + 3 x309 - x310 + x312 - x352 <= -1 e42: - 65 x299 - 4 x301 - 150 x302 - 225 x303 - 2 x305 - 114 x306 - x307 - 2 x308 - 7 x309 + x310 - 3 x313 - x353 <= -1 e43: 40 x299 + x300 + x301 + 140 x302 + 199 x303 + 178 x306 + x307 + x308 + 7 x309 - x310 + x312 - x354 <= -1 e44: 71 x299 + 2 x301 + 160 x302 + 302 x303 + 162 x306 + x308 + 3 x309 - x310 + 2 x313 - x355 <= -1 e45: 59 x299 + x300 + 3 x301 + 150 x302 + 212 x303 + x304 + 157 x306 + x307 + x308 + 3 x309 - x310 - x356 <= -1 e46: - 61 x299 - 4 x301 - 130 x302 - 330 x303 - 2 x305 - 169 x306 - x308 - 3 x309 + x310 - x357 <= -1 e47: - 58 x299 - x300 - 3 x301 - 112 x302 - 230 x303 - 2 x305 - 165 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x313 - x358 <= -1 e48: 51 x299 + x300 + 3 x301 + 110 x302 + 175 x303 + 123 x306 + x308 + 3 x309 - x310 - x359 <= -1 e49: - 50 x299 - x300 - 4 x301 - 150 x302 - 243 x303 - 2 x305 - 128 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x360 <= -1 e50: 65 x299 + 3 x301 + 140 x302 + 417 x303 + x304 + 2 x305 + 157 x306 + x308 + 3 x309 - x310 + x313 - x361 <= -1 e51: 53 x299 + x300 + 3 x301 + 130 x302 + 197 x303 + x304 + 2 x305 + 152 x306 + x307 + 3 x308 + 3 x309 - x310 - x362 <= -1 e52: 41 x299 + 2 x301 + 105 x302 + 198 x303 + 168 x306 + x308 + 3 x309 - x310 + x313 - x363 <= -1 e53: 65 x299 + x300 + 4 x301 + 120 x302 + 177 x303 + 140 x306 + x308 + 7 x309 - x310 - x364 <= -1 e54: - 44 x299 - x300 - 4 x301 - 112 x302 - 290 x303 - 2 x305 - 153 x306 - x308 - 3 x309 + x310 - x313 - x365 <= -1 e55: 44 x299 + x300 + 2 x301 + 130 x302 + 219 x303 + 2 x305 + 188 x306 + x308 + 3 x309 - x310 - x366 <= -1 e56: - 60 x299 - x300 - 4 x301 - 130 x302 - 253 x303 - 144 x306 - x307 - x308 - 7 x309 + x310 - x312 - x313 - x367 <= -1 e57: - 54 x299 - x300 - 4 x301 - 124 x302 - 266 x303 - 2 x305 - 109 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x368 <= -1 e58: - 50 x299 - x300 - 3 x301 - 140 x302 - 233 x303 - 163 x306 - 2 x308 - 7 x309 + x310 - x313 - x369 <= -1 e59: - 41 x299 - x300 - 4 x301 - 110 x302 - 172 x303 - 2 x305 - 158 x306 - x308 - 7 x309 + x310 - x370 <= -1 e60: 54 x299 + x300 + 3 x301 + 125 x302 + 273 x303 + 2 x305 + 152 x306 + 3 x308 + 3 x309 - x310 + x313 - x371 <= -1 e61: 51 x299 + x300 + x301 + 125 x302 + 213 x303 + 2 x305 + 125 x306 + x307 + x308 + 3 x309 - x310 + x312 + x313 - x372 <= -1 e62: - 51 x299 - 4 x301 - 130 x302 - 305 x303 - 142 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x373 <= -1 e63: 46 x299 + 3 x301 + 142 x302 + 177 x303 + 2 x305 + 160 x306 + x307 + 3 x308 + 3 x309 - x310 + x312 - x374 <= -1 e64: - 58 x299 - x300 - 4 x301 - 128 x302 - 216 x303 - 2 x305 - 131 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - 3 x313 - x375 <= -1 e65: 54 x299 + 3 x301 + 135 x302 + 304 x303 + x304 + 170 x306 + x308 + 3 x309 - x310 - x376 <= -1 e66: - 54 x299 - x300 - 4 x301 - 120 x302 - 188 x303 - 113 x306 - x307 - 2 x308 - 7 x309 + x310 - x313 - x377 <= -1 e67: - 60 x299 - x300 - 4 x301 - 145 x302 - 282 x303 - 2 x305 - 142 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x378 <= -1 e68: - 60 x299 - x300 - 3 x301 - 140 x302 - 185 x303 - 2 x305 - 155 x306 - 3 x307 - 2 x308 - 3 x309 + x310 - x379 <= -1 e69: 54 x299 + x300 + 3 x301 + 150 x302 + 232 x303 + 2 x305 + 165 x306 + x307 + x308 + 7 x309 - x310 - x380 <= -1 e70: - 59 x299 - x300 - 4 x301 - 170 x302 - 326 x303 - 2 x305 - 140 x306 - 3 x307 - 3 x308 - 7 x309 + x310 - x312 - x381 <= -1 e71: - 46 x299 - x300 - 3 x301 - 150 x302 - 231 x303 - 147 x306 - 3 x307 - 2 x308 - 3 x309 + x310 - x382 <= -1 e72: 65 x299 + 3 x301 + 155 x302 + 269 x303 + 148 x306 + x308 + 3 x309 - x310 - x383 <= -1 e73: - 67 x299 - x300 - 4 x301 - 125 x302 - 254 x303 - x304 - 163 x306 - 2 x308 - 7 x309 + x310 - 2 x313 - x384 <= -1 e74: - 62 x299 - x300 - 4 x301 - 120 x302 - 267 x303 - 99 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x385 <= -1 e75: - 65 x299 - x300 - 4 x301 - 110 x302 - 248 x303 - 2 x305 - 158 x306 - x308 - 6 x309 + x310 - 2 x313 - x386 <= -1 e76: - 44 x299 - x300 - 4 x301 - 110 x302 - 197 x303 - 2 x305 - 177 x306 - x308 - 3 x309 + x310 - x313 - x387 <= -1 e77: 65 x299 + 3 x301 + 160 x302 + 360 x303 + 2 x305 + 151 x306 + x308 + 3 x309 - x310 - x388 <= -1 e78: - 60 x299 - x300 - 4 x301 - 125 x302 - 258 x303 - 2 x305 - 141 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x389 <= -1 e79: 51 x299 + 3 x301 + 140 x302 + 308 x303 + 2 x305 + 142 x306 + x307 + x308 + 3 x309 - x310 + x313 - x390 <= -1 e80: 48 x299 + x300 + 2 x301 + 130 x302 + 245 x303 + 2 x305 + 180 x306 + 2 x308 + 3 x309 - x310 - x391 <= -1 e81: - 58 x299 - x300 - 4 x301 - 150 x302 - 270 x303 - 2 x305 - 111 x306 - x308 - 7 x309 + x310 - x312 - x392 <= -1 e82: 45 x299 + x300 + 4 x301 + 104 x302 + 208 x303 + 2 x305 + 148 x306 + 3 x307 + 2 x308 + 3 x309 - x310 + x312 - x393 <= -1 e83: 53 x299 + 4 x301 + 130 x302 + 264 x303 + 2 x305 + 143 x306 + 2 x308 + 3 x309 - x310 - x394 <= -1 e84: 39 x299 + x300 + 3 x301 + 140 x302 + 321 x303 + 2 x305 + 182 x306 + x308 + 3 x309 - x310 - x395 <= -1 e85: - 68 x299 - x300 - 3 x301 - 180 x302 - 274 x303 - x304 - 2 x305 - 150 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x396 <= -1 e86: 52 x299 + x300 + 2 x301 + 120 x302 + 325 x303 + 172 x306 + x308 + 3 x309 - x310 - x397 <= -1 e87: 44 x299 + x300 + 3 x301 + 140 x302 + 235 x303 + 2 x305 + 180 x306 + x308 + 3 x309 - x310 - x398 <= -1 e88: 47 x299 + x300 + 3 x301 + 138 x302 + 257 x303 + 2 x305 + 156 x306 + x308 + 3 x309 - x310 - x399 <= -1 e89: 53 x299 + 4 x301 + 138 x302 + 234 x303 + 2 x305 + 160 x306 + x308 + 3 x309 - x310 - x400 <= -1 e90: 51 x299 + 3 x301 + 130 x302 + 256 x303 + 2 x305 + 149 x306 + x308 + 3 x309 - x310 - x401 <= -1 e91: 66 x299 + x300 + 4 x301 + 120 x302 + 302 x303 + 2 x305 + 151 x306 + 2 x308 + 3 x309 - x310 - x402 <= -1 e92: - 62 x299 - 4 x301 - 160 x302 - 164 x303 - 2 x305 - 145 x306 - 6 x307 - 3 x308 - 7 x309 + x310 - 3 x313 - x403 <= -1 e93: 62 x299 + x300 + 3 x301 + 130 x302 + 231 x303 + 146 x306 + x307 + 2 x308 + 7 x309 - x310 + 3 x313 - x404 <= -1 e94: 44 x299 + 3 x301 + 108 x302 + 141 x303 + 175 x306 + 2 x308 + 3 x309 - x310 - x405 <= -1 e95: 63 x299 + 3 x301 + 135 x302 + 252 x303 + 2 x305 + 172 x306 + x308 + 3 x309 - x310 - x406 <= -1 e96: - 52 x299 - x300 - 4 x301 - 128 x302 - 255 x303 - 161 x306 - x308 - 7 x309 + x310 - x312 - x313 - x407 <= -1 e97: - 59 x299 - x300 - 4 x301 - 110 x302 - 239 x303 - 2 x305 - 142 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x408 <= -1 e98: - 60 x299 - 4 x301 - 150 x302 - 258 x303 - 2 x305 - 157 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - 2 x313 - x409 <= -1 e99: 52 x299 + x300 + 2 x301 + 134 x302 + 201 x303 + 158 x306 + x308 + 3 x309 - x310 + x313 - x410 <= -1 e100: 48 x299 + x300 + 4 x301 + 122 x302 + 222 x303 + 2 x305 + 186 x306 + x308 + 3 x309 - x310 - x411 <= -1 e101: 45 x299 + x300 + 4 x301 + 115 x302 + 260 x303 + 2 x305 + 185 x306 + x308 + 3 x309 - x310 - x412 <= -1 e102: 34 x299 + x300 + x301 + 118 x302 + 182 x303 + 2 x305 + 174 x306 + x308 + 3 x309 - x310 - x413 <= -1 e103: 57 x299 + 4 x301 + 128 x302 + 303 x303 + 2 x305 + 159 x306 + x308 + 3 x309 - x310 + x313 - x414 <= -1 e104: 71 x299 + 3 x301 + 110 x302 + 265 x303 + x304 + 2 x305 + 130 x306 + x308 + 3 x309 - x310 + x313 - x415 <= -1 e105: - 49 x299 - x300 - 3 x301 - 120 x302 - 188 x303 - 139 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - 3 x313 - x416 <= -1 e106: 54 x299 + x300 + 2 x301 + 108 x302 + 309 x303 + 156 x306 + x308 + 7 x309 - x310 - x417 <= -1 e107: - 59 x299 - x300 - 4 x301 - 140 x302 - 177 x303 - 162 x306 - x308 - 7 x309 + x310 - x312 - x313 - x418 <= -1 e108: - 57 x299 - x300 - 3 x301 - 128 x302 - 229 x303 - 2 x305 - 150 x306 - 2 x308 - 7 x309 + x310 - x313 - x419 <= -1 e109: - 61 x299 - x300 - 4 x301 - 120 x302 - 260 x303 - 140 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x420 <= -1 e110: - 39 x299 - x300 - 4 x301 - 118 x302 - 219 x303 - 140 x306 - x307 - 2 x308 - 7 x309 + x310 - x421 <= -1 e111: - 61 x299 - 4 x301 - 145 x302 - 307 x303 - 2 x305 - 146 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x422 <= -1 e112: - 56 x299 - x300 - 4 x301 - 125 x302 - 249 x303 - x304 - 2 x305 - 144 x306 - x307 - 2 x308 - 3 x309 + x310 - x312 - x313 - x423 <= -1 e113: 52 x299 + x300 + x301 + 118 x302 + 186 x303 + 2 x305 + 190 x306 + 2 x308 + 6 x309 - x310 - x424 <= -1 e114: - 43 x299 - 4 x301 - 132 x302 - 341 x303 - x304 - 2 x305 - 136 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - x312 - x425 <= -1 e115: - 62 x299 - 3 x301 - 130 x302 - 263 x303 - 97 x306 - x307 - 2 x308 - 7 x309 + x310 - x313 - x426 <= -1 e116: 41 x299 + x300 + 2 x301 + 135 x302 + 203 x303 + 132 x306 + 2 x308 + 6 x309 - x310 - x427 <= -1 e117: 58 x299 + x300 + 3 x301 + 140 x302 + 211 x303 + x304 + 2 x305 + 165 x306 + x308 + 3 x309 - x310 - x428 <= -1 e118: 35 x299 + 4 x301 + 138 x302 + 183 x303 + 182 x306 + x307 + x308 + 3 x309 - x310 - x429 <= -1 e119: - 63 x299 - x300 - 4 x301 - 130 x302 - 330 x303 - x304 - 2 x305 - 132 x306 - x307 - x308 - 7 x309 + x310 - x312 - 3 x313 - x430 <= -1 e120: - 65 x299 - x300 - 4 x301 - 135 x302 - 254 x303 - 2 x305 - 127 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x313 - x431 <= -1 e121: - 48 x299 - x300 - 4 x301 - 130 x302 - 256 x303 - x304 - 2 x305 - 150 x306 - x308 - 7 x309 + x310 - x312 - 2 x313 - x432 <= -1 e122: - 63 x299 - 4 x301 - 150 x302 - 407 x303 - 2 x305 - 154 x306 - 4 x307 - 2 x308 - 7 x309 + x310 - 3 x313 - x433 <= -1 e123: 51 x299 + x300 + 3 x301 + 100 x302 + 222 x303 + 143 x306 + x307 + 2 x308 + 3 x309 - x310 + x312 - x434 <= -1 e124: - 55 x299 - x300 - 4 x301 - 140 x302 - 217 x303 - 111 x306 - 5 x307 - 3 x308 - 7 x309 + x310 - x312 - x435 <= -1 e125: - 65 x299 - x300 - x301 - 138 x302 - 282 x303 - x304 - 2 x305 - 174 x306 - x307 - 2 x308 - 3 x309 + x310 - x313 - x436 <= -1 e126: 45 x299 + 2 x301 + 130 x302 + 234 x303 + 2 x305 + 175 x306 + 2 x308 + 3 x309 - x310 - x437 <= -1 e127: - 56 x299 - 4 x301 - 200 x302 - 288 x303 - x304 - 2 x305 - 133 x306 - 4 x307 - 3 x308 - 7 x309 + x310 - x312 - 2 x313 - x438 <= -1 e128: - 54 x299 - x300 - 4 x301 - 110 x302 - 239 x303 - 126 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x439 <= -1 e129: 44 x299 + x300 + 2 x301 + 120 x302 + 220 x303 + 170 x306 + x308 + 3 x309 - x310 - x440 <= -1 e130: 62 x299 + 4 x301 + 124 x302 + 209 x303 + 163 x306 + x308 + 3 x309 - x310 - x441 <= -1 e131: 54 x299 + x300 + 3 x301 + 120 x302 + 258 x303 + 2 x305 + 147 x306 + 2 x308 + 7 x309 - x310 - x442 <= -1 e132: 51 x299 + x300 + 3 x301 + 94 x302 + 227 x303 + 154 x306 + x308 + 7 x309 - x310 + x312 + x313 - x443 <= -1 e133: 29 x299 + x300 + 2 x301 + 130 x302 + 204 x303 + 2 x305 + 202 x306 + x308 + 3 x309 - x310 - x444 <= -1 e134: 51 x299 + x300 + 4 x301 + 140 x302 + 261 x303 + 2 x305 + 186 x306 + x308 + 3 x309 - x310 + x312 - x445 <= -1 e135: 43 x299 + 3 x301 + 122 x302 + 213 x303 + 165 x306 + 2 x308 + 3 x309 - x310 - x446 <= -1 e136: 55 x299 + 2 x301 + 135 x302 + 250 x303 + 2 x305 + 161 x306 + x307 + 2 x308 + 3 x309 - x310 - x447 <= -1 e137: - 70 x299 - x300 - 4 x301 - 145 x302 - 174 x303 - 125 x306 - 2 x307 - 3 x308 - 7 x309 + x310 - x312 - x448 <= -1 e138: - 62 x299 - x300 - 2 x301 - 120 x302 - 281 x303 - 2 x305 - 103 x306 - x307 - 2 x308 - 7 x309 + x310 - x313 - x449 <= -1 e139: - 35 x299 - x300 - 4 x301 - 120 x302 - 198 x303 - 130 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x450 <= -1 e140: 51 x299 + x300 + 3 x301 + 125 x302 + 245 x303 + x304 + 2 x305 + 166 x306 + 2 x307 + 2 x308 + 3 x309 - x310 - x451 <= -1 e141: 59 x299 + x300 + 2 x301 + 140 x302 + 221 x303 + 164 x306 + x308 + 3 x309 - x310 + x312 - x452 <= -1 e142: - 59 x299 - x300 - x301 - 170 x302 - 288 x303 - 2 x305 - 159 x306 - 2 x308 - 7 x309 + x310 - x453 <= -1 e143: 52 x299 + x300 + 2 x301 + 128 x302 + 205 x303 + x304 + 184 x306 + x308 + 3 x309 - x310 - x454 <= -1 e144: - 64 x299 - x300 - 3 x301 - 125 x302 - 309 x303 - 131 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x455 <= -1 e145: 58 x299 + x300 + 3 x301 + 105 x302 + 240 x303 + 2 x305 + 154 x306 + 2 x308 + 7 x309 - x310 + x312 - x456 <= -1 e146: - 47 x299 - x300 - 3 x301 - 108 x302 - 243 x303 - 152 x306 - x308 - 3 x309 + x310 - x457 <= -1 e147: - 57 x299 - x300 - 4 x301 - 165 x302 - 289 x303 - x304 - 2 x305 - 124 x306 - x307 - 2 x308 - 7 x309 + x310 - 3 x313 - x458 <= -1 e148: 41 x299 + x300 + 3 x301 + 112 x302 + 250 x303 + 179 x306 + x308 + 3 x309 - x310 - x459 <= -1 e149: 45 x299 + x300 + 2 x301 + 128 x302 + 308 x303 + 2 x305 + 170 x306 + x308 + 3 x309 - x310 - x460 <= -1 e150: 60 x299 + 3 x301 + 102 x302 + 318 x303 + 160 x306 + x308 + 3 x309 - x310 + x313 - x461 <= -1 e151: 52 x299 + x300 + x301 + 152 x302 + 298 x303 + x304 + 178 x306 + x307 + 2 x308 + 7 x309 - x310 - x462 <= -1 e152: 42 x299 + 4 x301 + 102 x302 + 265 x303 + 2 x305 + 122 x306 + 2 x308 + 3 x309 - x310 - x463 <= -1 e153: 67 x299 + 3 x301 + 115 x302 + 564 x303 + 2 x305 + 160 x306 + x307 + 2 x308 + 7 x309 - x310 - x464 <= -1 e154: - 55 x299 - x300 - 4 x301 - 160 x302 - 289 x303 - 2 x305 - 145 x306 - 2 x308 - 7 x309 + x310 - x312 - x313 - x465 <= -1 e155: - 64 x299 - x300 - 4 x301 - 120 x302 - 246 x303 - 2 x305 - 96 x306 - 2 x307 - 3 x308 - 3 x309 + x310 - x312 - x313 - x466 <= -1 e156: - 70 x299 - x300 - 4 x301 - 130 x302 - 322 x303 - 2 x305 - 109 x306 - 2 x307 - 2 x308 - 3 x309 + x310 - 3 x313 - x467 <= -1 e157: - 51 x299 - x300 - 4 x301 - 140 x302 - 299 x303 - 173 x306 - x307 - x308 - 7 x309 + x310 - x312 - x468 <= -1 e158: - 58 x299 - x300 - 4 x301 - 125 x302 - 300 x303 - 2 x305 - 171 x306 - x308 - 7 x309 + x310 - 2 x313 - x469 <= -1 e159: - 60 x299 - x300 - 4 x301 - 140 x302 - 293 x303 - 2 x305 - 170 x306 - x307 - 2 x308 - 7 x309 + x310 - 2 x313 - x470 <= -1 e160: 68 x299 + x300 + 3 x301 + 118 x302 + 277 x303 + 151 x306 + x307 + x308 + 7 x309 - x310 + x313 - x471 <= -1 e161: 46 x299 + x300 + 2 x301 + 101 x302 + 197 x303 + x304 + 156 x306 + x308 + 7 x309 - x310 - x472 <= -1 e162: - 77 x299 - x300 - 4 x301 - 125 x302 - 304 x303 - 2 x305 - 162 x306 - x308 - 3 x309 + x310 - x312 - 3 x313 - x473 <= -1 e163: 54 x299 + 3 x301 + 110 x302 + 214 x303 + 158 x306 + x307 + 2 x308 + 3 x309 - x310 - x474 <= -1 e164: 58 x299 + 4 x301 + 100 x302 + 248 x303 + 2 x305 + 122 x306 + x307 + 2 x308 + 3 x309 - x310 - x475 <= -1 e165: 48 x299 + x300 + 3 x301 + 124 x302 + 255 x303 + x304 + 175 x306 + x308 + 3 x309 - x310 + 2 x313 - x476 <= -1 e166: 57 x299 + x300 + 4 x301 + 132 x302 + 207 x303 + 168 x306 + x308 + 7 x309 - x310 + x312 - x477 <= -1 e167: 54 x299 + 2 x301 + 132 x302 + 288 x303 + x304 + 2 x305 + 159 x306 + x308 + 3 x309 - x310 + x312 + x313 - x478 <= -1 e168: - 35 x299 - x300 - 4 x301 - 126 x302 - 282 x303 - 2 x305 - 156 x306 - x308 - 7 x309 + x310 - x312 - x479 <= -1 e169: 45 x299 + 2 x301 + 112 x302 + 160 x303 + 138 x306 + 2 x308 + 3 x309 - x310 - x480 <= -1 e170: - 70 x299 - x300 - 3 x301 - 160 x302 - 269 x303 - 112 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x481 <= -1 e171: 53 x299 + x300 + 4 x301 + 142 x302 + 226 x303 + 2 x305 + 111 x306 + x308 + 7 x309 - x310 + x312 - x482 <= -1 e172: - 59 x299 - 4 x301 - 174 x302 - 249 x303 - 143 x306 - 2 x308 - 3 x309 + x310 - x312 - x483 <= -1 e173: 62 x299 + 4 x301 + 140 x302 + 394 x303 + 2 x305 + 157 x306 + x307 + 2 x308 + 3 x309 - x310 - x484 <= -1 e174: - 64 x299 - x300 - 4 x301 - 145 x302 - 212 x303 - 2 x305 - 132 x306 - 2 x307 - 2 x308 - 6 x309 + x310 - 2 x313 - x485 <= -1 e175: - 57 x299 - x300 - 4 x301 - 152 x302 - 274 x303 - 88 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x486 <= -1 e176: 52 x299 + x300 + 4 x301 + 108 x302 + 233 x303 + x304 + 147 x306 + x308 + 7 x309 - x310 + 3 x313 - x487 <= -1 e177: - 56 x299 - x300 - 4 x301 - 132 x302 - 184 x303 - 2 x305 - 105 x306 - 2 x307 - 2 x308 - 6 x309 + x310 - x312 - x313 - x488 <= -1 e178: 43 x299 + x300 + 3 x301 + 130 x302 + 315 x303 + 162 x306 + x307 + x308 + 3 x309 - x310 + x313 - x489 <= -1 e179: 53 x299 + x300 + 3 x301 + 130 x302 + 246 x303 + x304 + 2 x305 + 173 x306 + x308 + 3 x309 - x310 + 3 x313 - x490 <= -1 e180: - 48 x299 - x300 - 4 x301 - 124 x302 - 274 x303 - 2 x305 - 166 x306 - 2 x308 - 7 x309 + x310 - x491 <= -1 e181: - 56 x299 - 4 x301 - 134 x302 - 409 x303 - 2 x305 - 150 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x492 <= -1 e182: 42 x299 + x300 + x301 + 148 x302 + 244 x303 + 2 x305 + 178 x306 + x308 + 3 x309 - x310 + 2 x313 - x493 <= -1 e183: 59 x299 + x300 + x301 + 178 x302 + 270 x303 + 2 x305 + 145 x306 + 4 x307 + 3 x308 + 7 x309 - x310 - x494 <= -1 e184: - 60 x299 - 4 x301 - 158 x302 - 305 x303 - 2 x305 - 161 x306 - x308 - 3 x309 + x310 - x495 <= -1 e185: 63 x299 + 2 x301 + 140 x302 + 195 x303 + 179 x306 + x308 + 3 x309 - x310 + 2 x313 - x496 <= -1 e186: 42 x299 + x300 + 3 x301 + 120 x302 + 240 x303 + x304 + 194 x306 + 3 x308 + 7 x309 - x310 - x497 <= -1 e187: - 66 x299 - x300 - 2 x301 - 160 x302 - 246 x303 - 120 x306 - 2 x308 - 6 x309 + x310 - x312 - 3 x313 - x498 <= -1 e188: - 54 x299 - x300 - 2 x301 - 192 x302 - 283 x303 - 2 x305 - 195 x306 - x308 - 7 x309 + x310 - x313 - x499 <= -1 e189: - 69 x299 - x300 - 3 x301 - 140 x302 - 254 x303 - 2 x305 - 146 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - 3 x313 - x500 <= -1 e190: 50 x299 + x300 + 3 x301 + 129 x302 + 196 x303 + 163 x306 + x308 + 3 x309 - x310 - x501 <= -1 e191: - 51 x299 - x300 - 4 x301 - 140 x302 - 298 x303 - 122 x306 - 4 x307 - 2 x308 - 7 x309 + x310 - x312 - 3 x313 - x502 <= -1 e192: - 62 x299 - 4 x301 - 138 x302 - 294 x303 - x304 - 106 x306 - x307 - 2 x308 - 3 x309 + x310 - 3 x313 - x503 <= -1 e193: 68 x299 + 3 x301 + 120 x302 + 211 x303 + 2 x305 + 115 x306 + x307 + 2 x308 + 3 x309 - x310 - x504 <= -1 e194: - 67 x299 - x300 - 4 x301 - 100 x302 - 299 x303 - 2 x305 - 125 x306 - 2 x308 - 3 x309 + x310 - x312 - 2 x313 - x505 <= -1 e195: 69 x299 + x300 + x301 + 160 x302 + 234 x303 + x304 + 2 x305 + 131 x306 + 2 x308 + 3 x309 - x310 + x313 - x506 <= -1 e196: 45 x299 + 4 x301 + 138 x302 + 236 x303 + 2 x305 + 152 x306 + 2 x308 + 3 x309 - x310 + x312 - x507 <= -1 e197: 50 x299 + 2 x301 + 120 x302 + 244 x303 + 162 x306 + x307 + x308 + 3 x309 - x310 - x508 <= -1 e198: - 59 x299 - x300 - x301 - 160 x302 - 273 x303 - 2 x305 - 125 x306 - x308 - 3 x309 + x310 - x509 <= -1 e199: 50 x299 + 4 x301 + 110 x302 + 254 x303 + 2 x305 + 159 x306 + x308 + 3 x309 - x310 - x510 <= -1 e200: 64 x299 + 4 x301 + 180 x302 + 325 x303 + 154 x306 + x308 + 3 x309 - x310 + x312 - x511 <= -1 e201: 57 x299 + x300 + 3 x301 + 150 x302 + 126 x303 + x304 + 173 x306 + x308 + 7 x309 - x310 + x313 - x512 <= -1 e202: 64 x299 + 3 x301 + 140 x302 + 313 x303 + 133 x306 + x308 + 7 x309 - x310 - x513 <= -1 e203: 43 x299 + x300 + 4 x301 + 110 x302 + 211 x303 + 161 x306 + x308 + 7 x309 - x310 - x514 <= -1 e204: - 45 x299 - x300 - 4 x301 - 142 x302 - 309 x303 - 2 x305 - 147 x306 - 2 x308 - 7 x309 + x310 - x312 - 3 x313 - x515 <= -1 e205: - 58 x299 - x300 - 4 x301 - 128 x302 - 259 x303 - 2 x305 - 130 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x516 <= -1 e206: - 50 x299 - x300 - 4 x301 - 144 x302 - 200 x303 - 2 x305 - 126 x306 - 2 x308 - 7 x309 + x310 - x312 - x517 <= -1 e207: 55 x299 + x300 + 2 x301 + 130 x302 + 262 x303 + 155 x306 + x308 + 3 x309 - x310 - x518 <= -1 e208: - 62 x299 - 4 x301 - 150 x302 - 244 x303 - 154 x306 - x307 - 2 x308 - 3 x309 + x310 - x312 - x519 <= -1 e209: 37 x299 + 3 x301 + 120 x302 + 215 x303 + 170 x306 + x308 + 3 x309 - x310 - x520 <= -1 e210: - 38 x299 - x300 - x301 - 120 x302 - 231 x303 - 182 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - x312 - x521 <= -1 e211: 41 x299 + x300 + 3 x301 + 130 x302 + 214 x303 + 2 x305 + 168 x306 + 2 x307 + 2 x308 + 3 x309 - x310 - x522 <= -1 e212: - 66 x299 - 4 x301 - 178 x302 - 228 x303 - x304 - 165 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x523 <= -1 e213: - 52 x299 - x300 - 4 x301 - 112 x302 - 230 x303 - 160 x306 - x308 - 3 x309 + x310 - x313 - x524 <= -1 e214: 56 x299 + x300 + x301 + 120 x302 + 193 x303 + 2 x305 + 162 x306 + x307 + 2 x308 + 7 x309 - x310 - x525 <= -1 e215: 46 x299 + 2 x301 + 105 x302 + 204 x303 + 172 x306 + x308 + 3 x309 - x310 - x526 <= -1 e216: 46 x299 + 4 x301 + 138 x302 + 243 x303 + 2 x305 + 152 x306 + 2 x308 + 3 x309 - x310 + x312 - x527 <= -1 e217: 64 x299 + 4 x301 + 130 x302 + 303 x303 + 122 x306 + 2 x307 + 2 x308 + 3 x309 - x310 + 2 x313 - x528 <= -1 e218: 59 x299 + x300 + 4 x301 + 138 x302 + 271 x303 + 2 x305 + 182 x306 + x308 + 3 x309 - x310 - x529 <= -1 e219: 41 x299 + 3 x301 + 112 x302 + 268 x303 + 2 x305 + 172 x306 + x308 + 3 x309 - x310 + x312 - x530 <= -1 e220: 54 x299 + 3 x301 + 108 x302 + 267 x303 + 2 x305 + 167 x306 + x308 + 3 x309 - x310 - x531 <= -1 e221: 39 x299 + 3 x301 + 94 x302 + 199 x303 + 179 x306 + x308 + 3 x309 - x310 - x532 <= -1 e222: - 53 x299 - x300 - 4 x301 - 123 x302 - 282 x303 - 95 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x533 <= -1 e223: - 63 x299 - 4 x301 - 108 x302 - 269 x303 - 169 x306 - x307 - 2 x308 - 3 x309 + x310 - x312 - 2 x313 - x534 <= -1 e224: 34 x299 + 2 x301 + 118 x302 + 210 x303 + 192 x306 + x308 + 3 x309 - x310 - x535 <= -1 e225: 47 x299 + x300 + 4 x301 + 112 x302 + 204 x303 + 143 x306 + x308 + 3 x309 - x310 - x536 <= -1 e226: 67 x299 + 3 x301 + 152 x302 + 277 x303 + 172 x306 + x308 + 3 x309 - x310 + x313 - x537 <= -1 e227: - 54 x299 - x300 - 4 x301 - 110 x302 - 206 x303 - 2 x305 - 108 x306 - 2 x308 - 3 x309 + x310 - x312 - x313 - x538 <= -1 e228: - 66 x299 - x300 - 4 x301 - 112 x302 - 212 x303 - 2 x305 - 132 x306 - x308 - 3 x309 + x310 - x312 - x313 - x539 <= -1 e229: 52 x299 + 3 x301 + 136 x302 + 196 x303 + 2 x305 + 169 x306 + 2 x308 + 3 x309 - x310 - x540 <= -1 e230: - 55 x299 - 4 x301 - 180 x302 - 327 x303 - x305 - 117 x306 - 3 x307 - 2 x308 - 3 x309 + x310 - x312 - x541 <= -1 e231: - 49 x299 - x300 - 3 x301 - 118 x302 - 149 x303 - 2 x305 - 126 x306 - x308 - 3 x309 + x310 - 3 x313 - x542 <= -1 e232: 74 x299 + 2 x301 + 120 x302 + 269 x303 + 2 x305 + 121 x306 + x308 + 3 x309 - x310 + x312 + x313 - x543 <= -1 e233: 54 x299 + 3 x301 + 160 x302 + 201 x303 + 163 x306 + x308 + 3 x309 - x310 + x313 - x544 <= -1 e234: - 54 x299 - x300 - 4 x301 - 122 x302 - 286 x303 - 2 x305 - 116 x306 - 3 x307 - 2 x308 - 3 x309 + x310 - x312 - 2 x313 - x545 <= -1 e235: - 56 x299 - x300 - 4 x301 - 130 x302 - 283 x303 - x304 - 2 x305 - 103 x306 - x307 - 3 x308 - 7 x309 + x310 - x312 - x546 <= -1 e236: - 46 x299 - x300 - 4 x301 - 120 x302 - 249 x303 - 2 x305 - 144 x306 - x308 - 7 x309 + x310 - x547 <= -1 e237: 49 x299 + 2 x301 + 134 x302 + 271 x303 + 162 x306 + 2 x308 + 3 x309 - x310 - x548 <= -1 e238: 42 x299 + x300 + 2 x301 + 120 x302 + 295 x303 + 162 x306 + x308 + 3 x309 - x310 - x549 <= -1 e239: 41 x299 + x300 + 2 x301 + 110 x302 + 235 x303 + 153 x306 + x308 + 3 x309 - x310 - x550 <= -1 e240: 41 x299 + 2 x301 + 126 x302 + 306 x303 + 163 x306 + x308 + 3 x309 - x310 - x551 <= -1 e241: 49 x299 + 4 x301 + 130 x302 + 269 x303 + 163 x306 + x308 + 3 x309 - x310 - x552 <= -1 e242: - 61 x299 - x300 - x301 - 134 x302 - 234 x303 - 145 x306 - 2 x307 - 2 x308 - 3 x309 + x310 - 2 x313 - x553 <= -1 e243: 60 x299 + 3 x301 + 120 x302 + 178 x303 + x304 + 96 x306 + x308 + 3 x309 - x310 - x554 <= -1 e244: - 67 x299 - x300 - 4 x301 - 120 x302 - 237 x303 - 71 x306 - x307 - 2 x308 - 3 x309 + x310 - x555 <= -1 e245: - 58 x299 - x300 - 4 x301 - 100 x302 - 234 x303 - 156 x306 - x308 - 7 x309 + x310 - x313 - x556 <= -1 e246: - 47 x299 - x300 - 4 x301 - 110 x302 - 275 x303 - 2 x305 - 118 x306 - x307 - 2 x308 - 3 x309 + x310 - x312 - x313 - x557 <= -1 e247: - 52 x299 - x300 - 4 x301 - 125 x302 - 212 x303 - 168 x306 - x307 - x308 - 7 x309 + x310 - 2 x313 - x558 <= -1 e248: 62 x299 + x300 + 2 x301 + 128 x302 + 208 x303 + x304 + 2 x305 + 140 x306 + x308 + 3 x309 - x310 - x559 <= -1 e249: 57 x299 + x300 + 4 x301 + 110 x302 + 201 x303 + 126 x306 + x307 + 2 x308 + 6 x309 - x310 + x312 - x560 <= -1 e250: - 58 x299 - x300 - 4 x301 - 146 x302 - 218 x303 - 105 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x313 - x561 <= -1 e251: 64 x299 + x300 + 4 x301 + 128 x302 + 263 x303 + 105 x306 + 2 x308 + 7 x309 - x310 + x312 + x313 - x562 <= -1 e252: 51 x299 + 3 x301 + 120 x302 + 295 x303 + 2 x305 + 157 x306 + x308 + 3 x309 - x310 - x563 <= -1 e253: 43 x299 + x300 + 4 x301 + 115 x302 + 303 x303 + 181 x306 + x307 + 2 x308 + 3 x309 - x310 - x564 <= -1 e254: 42 x299 + 3 x301 + 120 x302 + 209 x303 + 173 x306 + 2 x308 + 3 x309 - x310 - x565 <= -1 e255: 67 x299 + 4 x301 + 106 x302 + 223 x303 + 142 x306 + x308 + 3 x309 - x310 + 2 x313 - x566 <= -1 e256: 76 x299 + 3 x301 + 140 x302 + 197 x303 + x305 + 116 x306 + x307 + 2 x308 + 3 x309 - x310 - x567 <= -1 e257: 70 x299 + x300 + 2 x301 + 156 x302 + 245 x303 + 2 x305 + 143 x306 + x308 + 3 x309 - x310 - x568 <= -1 e258: - 57 x299 - x300 - 2 x301 - 124 x302 - 261 x303 - 141 x306 - x308 - 7 x309 + x310 - x569 <= -1 e259: 44 x299 + 3 x301 + 118 x302 + 242 x303 + 149 x306 + 2 x308 + 3 x309 - x310 + x313 - x570 <= -1 e260: - 58 x299 - 2 x301 - 136 x302 - 319 x303 - x304 - 2 x305 - 152 x306 - x308 - 3 x309 + x310 - 2 x313 - x571 <= -1 e261: 60 x299 + x301 + 150 x302 + 240 x303 + 171 x306 + x308 + 3 x309 - x310 - x572 <= -1 e262: 44 x299 + x300 + 3 x301 + 120 x302 + 226 x303 + 169 x306 + x308 + 3 x309 - x310 - x573 <= -1 e263: - 61 x299 - x300 - 4 x301 - 138 x302 - 166 x303 - 2 x305 - 125 x306 - 3 x307 - 2 x308 - 3 x309 + x310 - x312 - x313 - x574 <= -1 e264: - 42 x299 - x300 - 4 x301 - 136 x302 - 315 x303 - 125 x306 - x307 - 2 x308 - 6 x309 + x310 - x312 - x575 <= -1 e265: - 59 x299 - x300 - 3 x301 - 126 x302 - 218 x303 - x304 - 134 x306 - 2 x307 - 2 x308 - 6 x309 + x310 - x313 - x576 <= -1 e266: - 40 x299 - x300 - 4 x301 - 152 x302 - 223 x303 - 181 x306 - x308 - 7 x309 + x310 - x577 <= -1 e267: 42 x299 + x300 + 3 x301 + 130 x302 + 180 x303 + 150 x306 + x308 + 3 x309 - x310 - x578 <= -1 e268: - 61 x299 - x300 - 4 x301 - 140 x302 - 207 x303 - 2 x305 - 138 x306 - x307 - x308 - 7 x309 + x310 - x312 - x313 - x579 <= -1 e269: 66 x299 + x300 + 4 x301 + 160 x302 + 228 x303 + 2 x305 + 138 x306 + 2 x307 + x308 + 6 x309 - x310 - x580 <= -1 e270: - 46 x299 - x300 - 4 x301 - 140 x302 - 311 x303 - 120 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - 2 x313 - x581 <= -1 e271: 71 x299 + 4 x301 + 112 x302 + 149 x303 + 125 x306 + x307 + 2 x308 + 3 x309 - x310 - x582 <= -1 e272: - 59 x299 - x300 - x301 - 134 x302 - 204 x303 - 162 x306 - x308 - 3 x309 + x310 - 2 x313 - x583 <= -1 e273: 64 x299 + x300 + x301 + 170 x302 + 227 x303 + 2 x305 + 155 x306 + 2 x308 + 7 x309 - x310 - x584 <= -1 e274: 66 x299 + 3 x301 + 146 x302 + 278 x303 + 2 x305 + 152 x306 + 2 x308 + 3 x309 - x310 + x313 - x585 <= -1 e275: 39 x299 + 3 x301 + 138 x302 + 220 x303 + 152 x306 + 2 x308 + 3 x309 - x310 - x586 <= -1 e276: - 57 x299 - x300 - 2 x301 - 154 x302 - 232 x303 - 2 x305 - 164 x306 - x308 - 3 x309 + x310 - x313 - x587 <= -1 e277: 58 x299 + 4 x301 + 130 x302 + 197 x303 + 131 x306 + 2 x308 + 3 x309 - x310 - x588 <= -1 e278: - 57 x299 - x300 - 4 x301 - 110 x302 - 335 x303 - 143 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x589 <= -1 e279: 47 x299 + x300 + 3 x301 + 130 x302 + 253 x303 + 179 x306 + x308 + 3 x309 - x310 - x590 <= -1 e280: - 55 x299 - 4 x301 - 128 x302 - 205 x303 - x305 - 130 x306 - 2 x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x591 <= -1 e281: 35 x299 + x300 + 2 x301 + 122 x302 + 192 x303 + 174 x306 + x308 + 3 x309 - x310 - x592 <= -1 e282: - 61 x299 - x300 - 4 x301 - 148 x302 - 203 x303 - 161 x306 - x308 - 7 x309 + x310 - x313 - x593 <= -1 e283: - 58 x299 - x300 - 4 x301 - 114 x302 - 318 x303 - x305 - 140 x306 - 4 x307 - 3 x308 - 6 x309 + x310 - 3 x313 - x594 <= -1 e284: - 58 x299 - 4 x301 - 170 x302 - 225 x303 - x304 - 2 x305 - 146 x306 - 2 x307 - 2 x308 - 6 x309 + x310 - x312 - 2 x313 - x595 <= -1 e285: 56 x299 + x300 + 2 x301 + 130 x302 + 221 x303 + 2 x305 + 163 x306 + x308 + 7 x309 - x310 - x596 <= -1 e286: 56 x299 + x300 + 2 x301 + 120 x302 + 240 x303 + 169 x306 + 3 x308 + 3 x309 - x310 - x597 <= -1 e287: - 67 x299 - x300 - 3 x301 - 152 x302 - 212 x303 - 2 x305 - 150 x306 - 2 x308 - 7 x309 + x310 - x598 <= -1 e288: 55 x299 + 2 x301 + 132 x302 + 342 x303 + 166 x306 + x307 + x308 + 3 x309 - x310 - x599 <= -1 e289: - 44 x299 - x300 - 4 x301 - 120 x302 - 169 x303 - 144 x306 - 2 x307 - 3 x308 - 6 x309 + x310 - x312 - x600 <= -1 e290: - 63 x299 - x300 - 4 x301 - 140 x302 - 187 x303 - 2 x305 - 144 x306 - 4 x307 - x308 - 7 x309 + x310 - x312 - 2 x313 - x601 <= -1 e291: - 63 x299 - 4 x301 - 124 x302 - 197 x303 - 136 x306 - 2 x308 - 3 x309 + x310 - x312 - x602 <= -1 e292: 41 x299 + x300 + 2 x301 + 120 x302 + 157 x303 + 182 x306 + x308 + 3 x309 - x310 - x603 <= -1 e293: - 59 x299 - x300 - 4 x301 - 164 x302 - 176 x303 - x304 - 2 x305 - 90 x306 - x307 - 2 x308 - 6 x309 + x310 - 2 x313 - x604 <= -1 e294: - 57 x299 - 4 x301 - 140 x302 - 241 x303 - 123 x306 - 2 x308 - 7 x309 + x310 - x312 - x605 <= -1 e295: - 45 x299 - x300 - x301 - 110 x302 - 264 x303 - 132 x306 - x307 - 2 x308 - 7 x309 + x310 - x606 <= -1 e296: - 68 x299 - x300 - 4 x301 - 144 x302 - 193 x303 - x304 - 141 x306 - 3 x307 - 2 x308 - 7 x309 + x310 - 2 x313 - x607 <= -1 e297: - 57 x299 - x300 - 4 x301 - 130 x302 - 131 x303 - 115 x306 - x307 - 2 x308 - 7 x309 + x310 - x312 - x313 - x608 <= -1 e298: - 57 x299 - 2 x301 - 130 x302 - 236 x303 - 2 x305 - 174 x306 - 2 x308 - 3 x309 + x310 - x313 - x609 <= -1 e299: - b2 - x610 = -1 e300: - b3 - x611 = -1 e301: - b4 - x612 = -1 e302: - b5 - x613 = -1 e303: - b6 - x614 = -1 e304: - b7 - x615 = -1 e305: - b8 - x616 = -1 e306: - b9 - x617 = -1 e307: - b10 - x618 = -1 e308: - b11 - x619 = -1 e309: - b12 - x620 = -1 e310: - b13 - x621 = -1 e311: - b14 - x622 = -1 e312: - b15 - x623 = -1 e313: - b16 - x624 = -1 e314: - b17 - x625 = -1 e315: - b18 - x626 = -1 e316: - b19 - x627 = -1 e317: - b20 - x628 = -1 e318: - b21 - x629 = -1 e319: - b22 - x630 = -1 e320: - b23 - x631 = -1 e321: - b24 - x632 = -1 e322: - b25 - x633 = -1 e323: - b26 - x634 = -1 e324: - b27 - x635 = -1 e325: - b28 - x636 = -1 e326: - b29 - x637 = -1 e327: - b30 - x638 = -1 e328: - b31 - x639 = -1 e329: - b32 - x640 = -1 e330: - b33 - x641 = -1 e331: - b34 - x642 = -1 e332: - b35 - x643 = -1 e333: - b36 - x644 = -1 e334: - b37 - x645 = -1 e335: - b38 - x646 = -1 e336: - b39 - x647 = -1 e337: - b40 - x648 = -1 e338: - b41 - x649 = -1 e339: - b42 - x650 = -1 e340: - b43 - x651 = -1 e341: - b44 - x652 = -1 e342: - b45 - x653 = -1 e343: - b46 - x654 = -1 e344: - b47 - x655 = -1 e345: - b48 - x656 = -1 e346: - b49 - x657 = -1 e347: - b50 - x658 = -1 e348: - b51 - x659 = -1 e349: - b52 - x660 = -1 e350: - b53 - x661 = -1 e351: - b54 - x662 = -1 e352: - b55 - x663 = -1 e353: - b56 - x664 = -1 e354: - b57 - x665 = -1 e355: - b58 - x666 = -1 e356: - b59 - x667 = -1 e357: - b60 - x668 = -1 e358: - b61 - x669 = -1 e359: - b62 - x670 = -1 e360: - b63 - x671 = -1 e361: - b64 - x672 = -1 e362: - b65 - x673 = -1 e363: - b66 - x674 = -1 e364: - b67 - x675 = -1 e365: - b68 - x676 = -1 e366: - b69 - x677 = -1 e367: - b70 - x678 = -1 e368: - b71 - x679 = -1 e369: - b72 - x680 = -1 e370: - b73 - x681 = -1 e371: - b74 - x682 = -1 e372: - b75 - x683 = -1 e373: - b76 - x684 = -1 e374: - b77 - x685 = -1 e375: - b78 - x686 = -1 e376: - b79 - x687 = -1 e377: - b80 - x688 = -1 e378: - b81 - x689 = -1 e379: - b82 - x690 = -1 e380: - b83 - x691 = -1 e381: - b84 - x692 = -1 e382: - b85 - x693 = -1 e383: - b86 - x694 = -1 e384: - b87 - x695 = -1 e385: - b88 - x696 = -1 e386: - b89 - x697 = -1 e387: - b90 - x698 = -1 e388: - b91 - x699 = -1 e389: - b92 - x700 = -1 e390: - b93 - x701 = -1 e391: - b94 - x702 = -1 e392: - b95 - x703 = -1 e393: - b96 - x704 = -1 e394: - b97 - x705 = -1 e395: - b98 - x706 = -1 e396: - b99 - x707 = -1 e397: - b100 - x708 = -1 e398: - b101 - x709 = -1 e399: - b102 - x710 = -1 e400: - b103 - x711 = -1 e401: - b104 - x712 = -1 e402: - b105 - x713 = -1 e403: - b106 - x714 = -1 e404: - b107 - x715 = -1 e405: - b108 - x716 = -1 e406: - b109 - x717 = -1 e407: - b110 - x718 = -1 e408: - b111 - x719 = -1 e409: - b112 - x720 = -1 e410: - b113 - x721 = -1 e411: - b114 - x722 = -1 e412: - b115 - x723 = -1 e413: - b116 - x724 = -1 e414: - b117 - x725 = -1 e415: - b118 - x726 = -1 e416: - b119 - x727 = -1 e417: - b120 - x728 = -1 e418: - b121 - x729 = -1 e419: - b122 - x730 = -1 e420: - b123 - x731 = -1 e421: - b124 - x732 = -1 e422: - b125 - x733 = -1 e423: - b126 - x734 = -1 e424: - b127 - x735 = -1 e425: - b128 - x736 = -1 e426: - b129 - x737 = -1 e427: - b130 - x738 = -1 e428: - b131 - x739 = -1 e429: - b132 - x740 = -1 e430: - b133 - x741 = -1 e431: - b134 - x742 = -1 e432: - b135 - x743 = -1 e433: - b136 - x744 = -1 e434: - b137 - x745 = -1 e435: - b138 - x746 = -1 e436: - b139 - x747 = -1 e437: - b140 - x748 = -1 e438: - b141 - x749 = -1 e439: - b142 - x750 = -1 e440: - b143 - x751 = -1 e441: - b144 - x752 = -1 e442: - b145 - x753 = -1 e443: - b146 - x754 = -1 e444: - b147 - x755 = -1 e445: - b148 - x756 = -1 e446: - b149 - x757 = -1 e447: - b150 - x758 = -1 e448: - b151 - x759 = -1 e449: - b152 - x760 = -1 e450: - b153 - x761 = -1 e451: - b154 - x762 = -1 e452: - b155 - x763 = -1 e453: - b156 - x764 = -1 e454: - b157 - x765 = -1 e455: - b158 - x766 = -1 e456: - b159 - x767 = -1 e457: - b160 - x768 = -1 e458: - b161 - x769 = -1 e459: - b162 - x770 = -1 e460: - b163 - x771 = -1 e461: - b164 - x772 = -1 e462: - b165 - x773 = -1 e463: - b166 - x774 = -1 e464: - b167 - x775 = -1 e465: - b168 - x776 = -1 e466: - b169 - x777 = -1 e467: - b170 - x778 = -1 e468: - b171 - x779 = -1 e469: - b172 - x780 = -1 e470: - b173 - x781 = -1 e471: - b174 - x782 = -1 e472: - b175 - x783 = -1 e473: - b176 - x784 = -1 e474: - b177 - x785 = -1 e475: - b178 - x786 = -1 e476: - b179 - x787 = -1 e477: - b180 - x788 = -1 e478: - b181 - x789 = -1 e479: - b182 - x790 = -1 e480: - b183 - x791 = -1 e481: - b184 - x792 = -1 e482: - b185 - x793 = -1 e483: - b186 - x794 = -1 e484: - b187 - x795 = -1 e485: - b188 - x796 = -1 e486: - b189 - x797 = -1 e487: - b190 - x798 = -1 e488: - b191 - x799 = -1 e489: - b192 - x800 = -1 e490: - b193 - x801 = -1 e491: - b194 - x802 = -1 e492: - b195 - x803 = -1 e493: - b196 - x804 = -1 e494: - b197 - x805 = -1 e495: - b198 - x806 = -1 e496: - b199 - x807 = -1 e497: - b200 - x808 = -1 e498: - b201 - x809 = -1 e499: - b202 - x810 = -1 e500: - b203 - x811 = -1 e501: - b204 - x812 = -1 e502: - b205 - x813 = -1 e503: - b206 - x814 = -1 e504: - b207 - x815 = -1 e505: - b208 - x816 = -1 e506: - b209 - x817 = -1 e507: - b210 - x818 = -1 e508: - b211 - x819 = -1 e509: - b212 - x820 = -1 e510: - b213 - x821 = -1 e511: - b214 - x822 = -1 e512: - b215 - x823 = -1 e513: - b216 - x824 = -1 e514: - b217 - x825 = -1 e515: - b218 - x826 = -1 e516: - b219 - x827 = -1 e517: - b220 - x828 = -1 e518: - b221 - x829 = -1 e519: - b222 - x830 = -1 e520: - b223 - x831 = -1 e521: - b224 - x832 = -1 e522: - b225 - x833 = -1 e523: - b226 - x834 = -1 e524: - b227 - x835 = -1 e525: - b228 - x836 = -1 e526: - b229 - x837 = -1 e527: - b230 - x838 = -1 e528: - b231 - x839 = -1 e529: - b232 - x840 = -1 e530: - b233 - x841 = -1 e531: - b234 - x842 = -1 e532: - b235 - x843 = -1 e533: - b236 - x844 = -1 e534: - b237 - x845 = -1 e535: - b238 - x846 = -1 e536: - b239 - x847 = -1 e537: - b240 - x848 = -1 e538: - b241 - x849 = -1 e539: - b242 - x850 = -1 e540: - b243 - x851 = -1 e541: - b244 - x852 = -1 e542: - b245 - x853 = -1 e543: - b246 - x854 = -1 e544: - b247 - x855 = -1 e545: - b248 - x856 = -1 e546: - b249 - x857 = -1 e547: - b250 - x858 = -1 e548: - b251 - x859 = -1 e549: - b252 - x860 = -1 e550: - b253 - x861 = -1 e551: - b254 - x862 = -1 e552: - b255 - x863 = -1 e553: - b256 - x864 = -1 e554: - b257 - x865 = -1 e555: - b258 - x866 = -1 e556: - b259 - x867 = -1 e557: - b260 - x868 = -1 e558: - b261 - x869 = -1 e559: - b262 - x870 = -1 e560: - b263 - x871 = -1 e561: - b264 - x872 = -1 e562: - b265 - x873 = -1 e563: - b266 - x874 = -1 e564: - b267 - x875 = -1 e565: - b268 - x876 = -1 e566: - b269 - x877 = -1 e567: - b270 - x878 = -1 e568: - b271 - x879 = -1 e569: - b272 - x880 = -1 e570: - b273 - x881 = -1 e571: - b274 - x882 = -1 e572: - b275 - x883 = -1 e573: - b276 - x884 = -1 e574: - b277 - x885 = -1 e575: - b278 - x886 = -1 e576: - b279 - x887 = -1 e577: - b280 - x888 = -1 e578: - b281 - x889 = -1 e579: - b282 - x890 = -1 e580: - b283 - x891 = -1 e581: - b284 - x892 = -1 e582: - b285 - x893 = -1 e583: - b286 - x894 = -1 e584: - b287 - x895 = -1 e585: - b288 - x896 = -1 e586: - b289 - x897 = -1 e587: - b290 - x898 = -1 e588: - b291 - x899 = -1 e589: - b292 - x900 = -1 e590: - b293 - x901 = -1 e591: - b294 - x902 = -1 e592: - b295 - x903 = -1 e593: - b296 - x904 = -1 e594: - b297 - x905 = -1 e595: - b298 - x906 = -1 e596: [ x311 * x610 ] = 0 e597: [ x314 * x611 ] = 0 e598: [ x315 * x612 ] = 0 e599: [ x316 * x613 ] = 0 e600: [ x317 * x614 ] = 0 e601: [ x318 * x615 ] = 0 e602: [ x319 * x616 ] = 0 e603: [ x320 * x617 ] = 0 e604: [ x321 * x618 ] = 0 e605: [ x322 * x619 ] = 0 e606: [ x323 * x620 ] = 0 e607: [ x324 * x621 ] = 0 e608: [ x325 * x622 ] = 0 e609: [ x326 * x623 ] = 0 e610: [ x327 * x624 ] = 0 e611: [ x328 * x625 ] = 0 e612: [ x329 * x626 ] = 0 e613: [ x330 * x627 ] = 0 e614: [ x331 * x628 ] = 0 e615: [ x332 * x629 ] = 0 e616: [ x333 * x630 ] = 0 e617: [ x334 * x631 ] = 0 e618: [ x335 * x632 ] = 0 e619: [ x336 * x633 ] = 0 e620: [ x337 * x634 ] = 0 e621: [ x338 * x635 ] = 0 e622: [ x339 * x636 ] = 0 e623: [ x340 * x637 ] = 0 e624: [ x341 * x638 ] = 0 e625: [ x342 * x639 ] = 0 e626: [ x343 * x640 ] = 0 e627: [ x344 * x641 ] = 0 e628: [ x345 * x642 ] = 0 e629: [ x346 * x643 ] = 0 e630: [ x347 * x644 ] = 0 e631: [ x348 * x645 ] = 0 e632: [ x349 * x646 ] = 0 e633: [ x350 * x647 ] = 0 e634: [ x351 * x648 ] = 0 e635: [ x352 * x649 ] = 0 e636: [ x353 * x650 ] = 0 e637: [ x354 * x651 ] = 0 e638: [ x355 * x652 ] = 0 e639: [ x356 * x653 ] = 0 e640: [ x357 * x654 ] = 0 e641: [ x358 * x655 ] = 0 e642: [ x359 * x656 ] = 0 e643: [ x360 * x657 ] = 0 e644: [ x361 * x658 ] = 0 e645: [ x362 * x659 ] = 0 e646: [ x363 * x660 ] = 0 e647: [ x364 * x661 ] = 0 e648: [ x365 * x662 ] = 0 e649: [ x366 * x663 ] = 0 e650: [ x367 * x664 ] = 0 e651: [ x368 * x665 ] = 0 e652: [ x369 * x666 ] = 0 e653: [ x370 * x667 ] = 0 e654: [ x371 * x668 ] = 0 e655: [ x372 * x669 ] = 0 e656: [ x373 * x670 ] = 0 e657: [ x374 * x671 ] = 0 e658: [ x375 * x672 ] = 0 e659: [ x376 * x673 ] = 0 e660: [ x377 * x674 ] = 0 e661: [ x378 * x675 ] = 0 e662: [ x379 * x676 ] = 0 e663: [ x380 * x677 ] = 0 e664: [ x381 * x678 ] = 0 e665: [ x382 * x679 ] = 0 e666: [ x383 * x680 ] = 0 e667: [ x384 * x681 ] = 0 e668: [ x385 * x682 ] = 0 e669: [ x386 * x683 ] = 0 e670: [ x387 * x684 ] = 0 e671: [ x388 * x685 ] = 0 e672: [ x389 * x686 ] = 0 e673: [ x390 * x687 ] = 0 e674: [ x391 * x688 ] = 0 e675: [ x392 * x689 ] = 0 e676: [ x393 * x690 ] = 0 e677: [ x394 * x691 ] = 0 e678: [ x395 * x692 ] = 0 e679: [ x396 * x693 ] = 0 e680: [ x397 * x694 ] = 0 e681: [ x398 * x695 ] = 0 e682: [ x399 * x696 ] = 0 e683: [ x400 * x697 ] = 0 e684: [ x401 * x698 ] = 0 e685: [ x402 * x699 ] = 0 e686: [ x403 * x700 ] = 0 e687: [ x404 * x701 ] = 0 e688: [ x405 * x702 ] = 0 e689: [ x406 * x703 ] = 0 e690: [ x407 * x704 ] = 0 e691: [ x408 * x705 ] = 0 e692: [ x409 * x706 ] = 0 e693: [ x410 * x707 ] = 0 e694: [ x411 * x708 ] = 0 e695: [ x412 * x709 ] = 0 e696: [ x413 * x710 ] = 0 e697: [ x414 * x711 ] = 0 e698: [ x415 * x712 ] = 0 e699: [ x416 * x713 ] = 0 e700: [ x417 * x714 ] = 0 e701: [ x418 * x715 ] = 0 e702: [ x419 * x716 ] = 0 e703: [ x420 * x717 ] = 0 e704: [ x421 * x718 ] = 0 e705: [ x422 * x719 ] = 0 e706: [ x423 * x720 ] = 0 e707: [ x424 * x721 ] = 0 e708: [ x425 * x722 ] = 0 e709: [ x426 * x723 ] = 0 e710: [ x427 * x724 ] = 0 e711: [ x428 * x725 ] = 0 e712: [ x429 * x726 ] = 0 e713: [ x430 * x727 ] = 0 e714: [ x431 * x728 ] = 0 e715: [ x432 * x729 ] = 0 e716: [ x433 * x730 ] = 0 e717: [ x434 * x731 ] = 0 e718: [ x435 * x732 ] = 0 e719: [ x436 * x733 ] = 0 e720: [ x437 * x734 ] = 0 e721: [ x438 * x735 ] = 0 e722: [ x439 * x736 ] = 0 e723: [ x440 * x737 ] = 0 e724: [ x441 * x738 ] = 0 e725: [ x442 * x739 ] = 0 e726: [ x443 * x740 ] = 0 e727: [ x444 * x741 ] = 0 e728: [ x445 * x742 ] = 0 e729: [ x446 * x743 ] = 0 e730: [ x447 * x744 ] = 0 e731: [ x448 * x745 ] = 0 e732: [ x449 * x746 ] = 0 e733: [ x450 * x747 ] = 0 e734: [ x451 * x748 ] = 0 e735: [ x452 * x749 ] = 0 e736: [ x453 * x750 ] = 0 e737: [ x454 * x751 ] = 0 e738: [ x455 * x752 ] = 0 e739: [ x456 * x753 ] = 0 e740: [ x457 * x754 ] = 0 e741: [ x458 * x755 ] = 0 e742: [ x459 * x756 ] = 0 e743: [ x460 * x757 ] = 0 e744: [ x461 * x758 ] = 0 e745: [ x462 * x759 ] = 0 e746: [ x463 * x760 ] = 0 e747: [ x464 * x761 ] = 0 e748: [ x465 * x762 ] = 0 e749: [ x466 * x763 ] = 0 e750: [ x467 * x764 ] = 0 e751: [ x468 * x765 ] = 0 e752: [ x469 * x766 ] = 0 e753: [ x470 * x767 ] = 0 e754: [ x471 * x768 ] = 0 e755: [ x472 * x769 ] = 0 e756: [ x473 * x770 ] = 0 e757: [ x474 * x771 ] = 0 e758: [ x475 * x772 ] = 0 e759: [ x476 * x773 ] = 0 e760: [ x477 * x774 ] = 0 e761: [ x478 * x775 ] = 0 e762: [ x479 * x776 ] = 0 e763: [ x480 * x777 ] = 0 e764: [ x481 * x778 ] = 0 e765: [ x482 * x779 ] = 0 e766: [ x483 * x780 ] = 0 e767: [ x484 * x781 ] = 0 e768: [ x485 * x782 ] = 0 e769: [ x486 * x783 ] = 0 e770: [ x487 * x784 ] = 0 e771: [ x488 * x785 ] = 0 e772: [ x489 * x786 ] = 0 e773: [ x490 * x787 ] = 0 e774: [ x491 * x788 ] = 0 e775: [ x492 * x789 ] = 0 e776: [ x493 * x790 ] = 0 e777: [ x494 * x791 ] = 0 e778: [ x495 * x792 ] = 0 e779: [ x496 * x793 ] = 0 e780: [ x497 * x794 ] = 0 e781: [ x498 * x795 ] = 0 e782: [ x499 * x796 ] = 0 e783: [ x500 * x797 ] = 0 e784: [ x501 * x798 ] = 0 e785: [ x502 * x799 ] = 0 e786: [ x503 * x800 ] = 0 e787: [ x504 * x801 ] = 0 e788: [ x505 * x802 ] = 0 e789: [ x506 * x803 ] = 0 e790: [ x507 * x804 ] = 0 e791: [ x508 * x805 ] = 0 e792: [ x509 * x806 ] = 0 e793: [ x510 * x807 ] = 0 e794: [ x511 * x808 ] = 0 e795: [ x512 * x809 ] = 0 e796: [ x513 * x810 ] = 0 e797: [ x514 * x811 ] = 0 e798: [ x515 * x812 ] = 0 e799: [ x516 * x813 ] = 0 e800: [ x517 * x814 ] = 0 e801: [ x518 * x815 ] = 0 e802: [ x519 * x816 ] = 0 e803: [ x520 * x817 ] = 0 e804: [ x521 * x818 ] = 0 e805: [ x522 * x819 ] = 0 e806: [ x523 * x820 ] = 0 e807: [ x524 * x821 ] = 0 e808: [ x525 * x822 ] = 0 e809: [ x526 * x823 ] = 0 e810: [ x527 * x824 ] = 0 e811: [ x528 * x825 ] = 0 e812: [ x529 * x826 ] = 0 e813: [ x530 * x827 ] = 0 e814: [ x531 * x828 ] = 0 e815: [ x532 * x829 ] = 0 e816: [ x533 * x830 ] = 0 e817: [ x534 * x831 ] = 0 e818: [ x535 * x832 ] = 0 e819: [ x536 * x833 ] = 0 e820: [ x537 * x834 ] = 0 e821: [ x538 * x835 ] = 0 e822: [ x539 * x836 ] = 0 e823: [ x540 * x837 ] = 0 e824: [ x541 * x838 ] = 0 e825: [ x542 * x839 ] = 0 e826: [ x543 * x840 ] = 0 e827: [ x544 * x841 ] = 0 e828: [ x545 * x842 ] = 0 e829: [ x546 * x843 ] = 0 e830: [ x547 * x844 ] = 0 e831: [ x548 * x845 ] = 0 e832: [ x549 * x846 ] = 0 e833: [ x550 * x847 ] = 0 e834: [ x551 * x848 ] = 0 e835: [ x552 * x849 ] = 0 e836: [ x553 * x850 ] = 0 e837: [ x554 * x851 ] = 0 e838: [ x555 * x852 ] = 0 e839: [ x556 * x853 ] = 0 e840: [ x557 * x854 ] = 0 e841: [ x558 * x855 ] = 0 e842: [ x559 * x856 ] = 0 e843: [ x560 * x857 ] = 0 e844: [ x561 * x858 ] = 0 e845: [ x562 * x859 ] = 0 e846: [ x563 * x860 ] = 0 e847: [ x564 * x861 ] = 0 e848: [ x565 * x862 ] = 0 e849: [ x566 * x863 ] = 0 e850: [ x567 * x864 ] = 0 e851: [ x568 * x865 ] = 0 e852: [ x569 * x866 ] = 0 e853: [ x570 * x867 ] = 0 e854: [ x571 * x868 ] = 0 e855: [ x572 * x869 ] = 0 e856: [ x573 * x870 ] = 0 e857: [ x574 * x871 ] = 0 e858: [ x575 * x872 ] = 0 e859: [ x576 * x873 ] = 0 e860: [ x577 * x874 ] = 0 e861: [ x578 * x875 ] = 0 e862: [ x579 * x876 ] = 0 e863: [ x580 * x877 ] = 0 e864: [ x581 * x878 ] = 0 e865: [ x582 * x879 ] = 0 e866: [ x583 * x880 ] = 0 e867: [ x584 * x881 ] = 0 e868: [ x585 * x882 ] = 0 e869: [ x586 * x883 ] = 0 e870: [ x587 * x884 ] = 0 e871: [ x588 * x885 ] = 0 e872: [ x589 * x886 ] = 0 e873: [ x590 * x887 ] = 0 e874: [ x591 * x888 ] = 0 e875: [ x592 * x889 ] = 0 e876: [ x593 * x890 ] = 0 e877: [ x594 * x891 ] = 0 e878: [ x595 * x892 ] = 0 e879: [ x596 * x893 ] = 0 e880: [ x597 * x894 ] = 0 e881: [ x598 * x895 ] = 0 e882: [ x599 * x896 ] = 0 e883: [ x600 * x897 ] = 0 e884: [ x601 * x898 ] = 0 e885: [ x602 * x899 ] = 0 e886: [ x603 * x900 ] = 0 e887: [ x604 * x901 ] = 0 e888: [ x605 * x902 ] = 0 e889: [ x606 * x903 ] = 0 e890: [ x607 * x904 ] = 0 e891: [ x608 * x905 ] = 0 e892: [ x609 * x906 ] = 0 Bounds x299 Free x300 Free x301 Free x302 Free x303 Free x304 Free x305 Free x306 Free x307 Free x308 Free x309 Free x310 Free x312 Free x313 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 x653 Free x654 Free x655 Free x656 Free x657 Free x658 Free x659 Free x660 Free x661 Free x662 Free x663 Free x664 Free x665 Free x666 Free x667 Free x668 Free x669 Free x670 Free x671 Free x672 Free x673 Free x674 Free x675 Free x676 Free x677 Free x678 Free x679 Free x680 Free x681 Free x682 Free x683 Free x684 Free x685 Free x686 Free x687 Free x688 Free x689 Free x690 Free x691 Free x692 Free x693 Free x694 Free x695 Free x696 Free x697 Free x698 Free x699 Free x700 Free x701 Free x702 Free x703 Free x704 Free x705 Free x706 Free x707 Free x708 Free x709 Free x710 Free x711 Free x712 Free x713 Free x714 Free x715 Free x716 Free x717 Free x718 Free x719 Free x720 Free x721 Free x722 Free x723 Free x724 Free x725 Free x726 Free x727 Free x728 Free x729 Free x730 Free x731 Free x732 Free x733 Free x734 Free x735 Free x736 Free x737 Free x738 Free x739 Free x740 Free x741 Free x742 Free x743 Free x744 Free x745 Free x746 Free x747 Free x748 Free x749 Free x750 Free x751 Free x752 Free x753 Free x754 Free x755 Free x756 Free x757 Free x758 Free x759 Free x760 Free x761 Free x762 Free x763 Free x764 Free x765 Free x766 Free x767 Free x768 Free x769 Free x770 Free x771 Free x772 Free x773 Free x774 Free x775 Free x776 Free x777 Free x778 Free x779 Free x780 Free x781 Free x782 Free x783 Free x784 Free x785 Free x786 Free x787 Free x788 Free x789 Free x790 Free x791 Free x792 Free x793 Free x794 Free x795 Free x796 Free x797 Free x798 Free x799 Free x800 Free x801 Free x802 Free x803 Free x804 Free x805 Free x806 Free x807 Free x808 Free x809 Free x810 Free x811 Free x812 Free x813 Free x814 Free x815 Free x816 Free x817 Free x818 Free x819 Free x820 Free x821 Free x822 Free x823 Free x824 Free x825 Free x826 Free x827 Free x828 Free x829 Free x830 Free x831 Free x832 Free x833 Free x834 Free x835 Free x836 Free x837 Free x838 Free x839 Free x840 Free x841 Free x842 Free x843 Free x844 Free x845 Free x846 Free x847 Free x848 Free x849 Free x850 Free x851 Free x852 Free x853 Free x854 Free x855 Free x856 Free x857 Free x858 Free x859 Free x860 Free x861 Free x862 Free x863 Free x864 Free x865 Free x866 Free x867 Free x868 Free x869 Free x870 Free x871 Free x872 Free x873 Free x874 Free x875 Free x876 Free x877 Free x878 Free x879 Free x880 Free x881 Free x882 Free x883 Free x884 Free x885 Free x886 Free x887 Free x888 Free x889 Free x890 Free x891 Free x892 Free x893 Free x894 Free x895 Free x896 Free x897 Free x898 Free x899 Free x900 Free x901 Free x902 Free x903 Free x904 Free x905 Free x906 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 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 End