\ Equation counts \ Total E G L N X C B \ 1275 25 0 1250 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1275 1250 25 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4400 2525 1875 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 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 + 59 b626 + 8 b627 + 33 b628 + 68 b629 + 74 b630 + 19 b631 + 88 b632 + 75 b633 + 40 b634 + 98 b635 + 71 b636 + 41 b637 + 28 b638 + 60 b639 + 7 b640 + 60 b641 + 20 b642 + 51 b643 + 21 b644 + 48 b645 + 45 b646 + 78 b647 + 76 b648 + 58 b649 + 62 b650 + 40.7804759877481 x651 + 39.183122531594 x652 + 30.0630680918676 x653 + 27.910374043435 x654 + 24.4690398091763 x655 + 37.3086869818263 x656 + 12.7239310228108 x657 + 53.5178042362305 x658 + 8.41938422383313 x659 + 5.71420640687543 x660 + 15.256893384866 x661 + 24.4070933474102 x662 + 43.9368842927946 x663 + 32.1950383474197 x664 + 6.08532617356701 x665 + 36.1440336239088 x666 + 5.7389399696557 x667 + 40.4576662897228 x668 + 12.238443328113 x669 + 28.7303546555384 x670 + 25.8680272055728 x671 + 4.41730113789473 x672 + 32.5525549231867 x673 + 27.6633993492016 x674 + 46.9239158559226 x675 + 12.6875040336506 x676 + 1.43202460418749 x677 + 9.99093927332003 x678 + 20.6182823618946 x679 + 15.5315838865209 x680 + .980992235306433 x681 + 32.2102836777683 x682 + 15.4465175565398 x683 + 29.8809405555801 x684 + 40.5870979373483 x685 + 25.0719078075173 x686 + 15.3708042660906 x687 + 10.7555151341262 x688 + 12.276325967395 x689 + 42.8899046018616 x690 + 4.57200093782715 x691 + 43.3135551932319 x692 + 20.2834848765248 x693 + 26.6661384132522 x694 + 24.3408782539418 x695 + 13.2003103224091 x696 + 41.5744788942728 x697 + 5.93551692867985 x698 + 11.1310546972153 x699 + 29.9974705952392 x700 + 44.4384481818243 x701 + 32.0172249129261 x702 + 34.6254410227385 x703 + 43.7087812592341 x704 + 34.7060005201642 x705 + 32.0852080044858 x706 + 24.6885634389733 x707 + 39.6486350251814 x708 + 33.1669454379997 x709 + 34.79707783258 x710 + 24.8581435214816 x711 + 23.827963894884 x712 + 43.3498059080676 x713 + 39.3912187487732 x714 + 37.3973981976706 x715 + 35.2417345723473 x716 + 38.6394767065431 x717 + 50.463707168519 x718 + 28.4012586295884 x719 + 47.3455044676729 x720 + 32.8085007573466 x721 + 37.276397934102 x722 + 31.7855997402267 x723 + 26.5459383357698 x724 + 12.6393779979758 x725 + 18.2698233716406 x726 + 17.0516354889332 x727 + 6.9346078619305 x728 + 10.9369781939514 x729 + 2.13483320981493 x730 + 14.9818832480142 x731 + 20.5129639130298 x732 + 31.346352283208 x733 + 14.7895271590899 x734 + 26.3933527295936 x735 + 13.2553775937474 x736 + 9.04229683190187 x737 + 20.8982070180811 x738 + 9.86114237905483 x739 + 28.3593123982848 x740 + 13.1068931998368 x741 + 28.5465000920289 x742 + 20.4314167110676 x743 + 13.0190250547643 x744 + 14.5287560883705 x745 + 2.78163804940542 x746 + 26.8782626743098 x747 + 9.97068804561252 x748 + 8.07112382701602 x749 + 36.2019808093809 x750 + 24.3163326503913 x751 + 10.5285672415509 x752 + 18.8617416367896 x753 + 30.1278895066271 x754 + 22.6771629606006 x755 + 11.6065636504684 x756 + 30.8377296411637 x757 + 17.2288872386145 x758 + 32.4344075295575 x759 + 40.9345913070192 x760 + 25.1460800456408 x761 + 16.0029036617833 x762 + 21.8134925367562 x763 + 22.6800472607669 x764 + 43.5445837916203 x765 + 15.767643240209 x766 + 44.2982614991474 x767 + 31.853407144701 x768 + 27.9965359420302 x769 + 34.0581845367192 x770 + 20.0203981808516 x771 + 42.5547244059368 x772 + 14.3617076966012 x773 + 14.0853658923696 x774 + 18.4365891674725 x775 + 12.645673286519 x776 + 20.3375513584698 x777 + 10.1559734732153 x778 + 2.49506894117961 x779 + 9.28198889241199 x780 + 18.3736229359816 x781 + 30.9001654023809 x782 + 32.3836111946821 x783 + 22.7745310828595 x784 + 34.5523399374981 x785 + 24.0827028438187 x786 + 19.9797477312445 x787 + 17.2779108854831 x788 + 6.64022814632272 x789 + 35.9587288943893 x790 + 14.4002150591373 x791 + 35.7753273537967 x792 + 10.426179518619 x793 + 22.9169640581437 x794 + 5.48160623874711 x795 + 10.93485907756 x796 + 34.3248502866426 x797 + 14.5828141499967 x798 + 17.4585581512454 x799 + 45.5938997424555 x800 + 26.5537985421511 x801 + 30.3307007217624 x802 + 19.082890453296 x803 + 11.7088538567707 x804 + 13.6219072104504 x805 + 28.2041290241811 x806 + 23.3277926825982 x807 + 44.1480295338921 x808 + 12.8931551471783 x809 + 23.0057073813006 x810 + 18.9740780699606 x811 + 21.4398598642255 x812 + 30.7862755238105 x813 + 18.7639723238147 x814 + 23.7429716896969 x815 + 25.320809011914 x816 + 23.2438045441646 x817 + 24.0657262381487 x818 + 15.9730483301023 x819 + 11.3893409441418 x820 + 16.19442549769 x821 + 22.0767518623969 x822 + 23.270218080928 x823 + 21.8534643297562 x824 + 48.942305930817 x825 + 9.89754540000887 x826 + 14.5090165510331 x827 + 19.3678144548422 x828 + 24.9690516579336 x829 + 24.9193045322664 x830 + 15.0244575751187 x831 + 45.3838392066802 x832 + 14.1124307829486 x833 + 41.0723704008796 x834 + 52.6026386777042 x835 + 38.0003322652223 x836 + 28.9108137406259 x837 + 5.49275686618209 x838 + 17.6174390765006 x839 + 54.6340206478816 x840 + 13.8595794085264 x841 + 54.8307915614632 x842 + 16.4882928083071 x843 + 38.8674638309871 x844 + 27.3722492388758 x845 + 23.6156924485698 x846 + 53.1623582587815 x847 + 18.0419057116746 x848 + 24.506341562496 x849 + 41.8581797360201 x850 + 34.7861013944421 x851 + 22.4093418853788 x852 + 25.3124027108113 x853 + 35.0279448721277 x854 + 26.0835481025149 x855 + 22.4169289940303 x856 + 22.1230791305161 x857 + 31.1846455381484 x858 + 28.0544313274862 x859 + 32.8800469143197 x860 + 19.4539320972849 x861 + 15.3754404031154 x862 + 33.6900690644647 x863 + 30.0453245019509 x864 + 35.5962005203705 x865 + 25.5838735934449 x866 + 36.6495282961272 x867 + 40.9786788469744 x868 + 23.0653597352617 x869 + 38.808832278887 x870 + 23.9409278117005 x871 + 35.0494107141554 x872 + 22.2172707905128 x873 + 17.3761845483558 x874 + 13.074619457275 x875 + 25.4095903988651 x876 + 12.5334537380819 x877 + 17.4465859240778 x878 + 28.3083330398755 x879 + 20.0065485232535 x880 + 12.7183453560035 x881 + 25.4593178193646 x882 + 22.2689428327704 x883 + 27.6837205924754 x884 + 35.6733855397178 x885 + 20.0263943203486 x886 + 11.5106557711893 x887 + 23.9117282992957 x888 + 21.881641879502 x889 + 38.308739111282 x890 + 16.2597405425762 x891 + 39.10456234182 x892 + 32.1953235119266 x893 + 23.0603009870137 x894 + 32.2460497445104 x895 + 17.4495085343127 x896 + 37.3712087552863 x897 + 13.5206945139825 x898 + 10.8115082540508 x899 + 18.0906177179149 x900 + 9.46793836729236 x901 + 21.7504186875063 x902 + 14.6641393407837 x903 + 9.67524563360335 x904 + 16.1465271525626 x905 + 20.2202334393111 x906 + 38.3762301390422 x907 + 30.9602124091116 x908 + 30.41966373517 x909 + 42.1811490378876 x910 + 31.3859731660446 x911 + 26.0662759745282 x912 + 14.4477413386945 x913 + 9.90368650021191 x914 + 43.5425930866028 x915 + 15.9933234119739 x916 + 43.3211657790414 x917 + 3.0497596275349 x918 + 30.4512044999893 x919 + 10.0395146858784 x920 + 17.0906839074903 x921 + 41.9005104923799 x922 + 18.0452798787043 x923 + 22.7616182274302 x924 + 49.5421438913711 x925 + 25.727565465041 x926 + 25.9281926101098 x927 + 15.5693472574292 x928 + 13.3733884864435 x929 + 9.73576034046277 x930 + 23.8744134390253 x931 + 16.7953902244659 x932 + 40.2495554517936 x933 + 7.54116060264289 x934 + 19.3168785131358 x935 + 11.542296271516 x936 + 14.4529330404779 x937 + 29.088442411832 x938 + 17.1661563211236 x939 + 20.8315519519367 x940 + 21.9038786267637 x941 + 20.7626129177199 x942 + 25.6454552951609 x943 + 8.9113808210321 x944 + 15.1843584796572 x945 + 11.6589409970487 x946 + 19.2281363505265 x947 + 18.871743305651 x948 + 15.7660983818311 x949 + 41.6622125028365 x950 + 15.1567977612354 x951 + 22.4669633333761 x952 + 11.8068861897114 x953 + .65438022009112 x954 + 9.65444794249364 x955 + 20.4512970596578 x956 + 30.094947757687 x957 + 34.8113260925043 x958 + 21.4045130015851 x959 + 33.033142990439 x960 + 23.5734025850611 x961 + 20.5332767795524 x962 + 19.8066212806747 x963 + 8.88977768294838 x964 + 34.3044727962979 x965 + 16.6046602535526 x966 + 34.0483401897185 x967 + 12.2737658261206 x968 + 22.0525918960463 x969 + 3.39198509229539 x970 + 11.7513357532953 x971 + 32.6543986237774 x972 + 16.3690554515284 x973 + 18.4858393631406 x974 + 46.8576000143894 x975 + 41.8698108974781 x976 + 40.5076261281909 x977 + 31.2732039176361 x978 + 28.7710432769971 x979 + 25.6332889081898 x980 + 38.6205396311759 x981 + 13.9508264926962 x982 + 54.8542186798621 x983 + 9.71499800322959 x984 + 5.93085751485703 x985 + 16.6641674500936 x986 + 25.7971118398771 x987 + 45.1024711777771 x988 + 33.296745133544 x989 + 5.64969134950986 x990 + 37.3925022108968 x991 + 5.01120207016703 x992 + 41.3486004357212 x993 + 13.6378840421896 x994 + 29.4330081569343 x995 + 27.0966931210492 x996 + 4.05055603924161 x997 + 33.840544453966 x998 + 29.0196622746627 x999 + 48.2664136032912 x1000 + 23.9215955547461 x1001 + 14.3653260636233 x1002 + 13.2414404092648 x1003 + 22.6426119164482 x1004 + 13.7365824450991 x1005 + 13.3271013240667 x1006 + 18.8982801921715 x1007 + 27.3911594519425 x1008 + 19.8709575975975 x1009 + 28.5193054551356 x1010 + 12.6118595522616 x1011 + 3.69762009984556 x1012 + 24.0292687776942 x1013 + 18.0117272263561 x1014 + 31.0790482999006 x1015 + 15.0967841837136 x1016 + 31.7764003021615 x1017 + 29.2018617178217 x1018 + 15.3727404530392 x1019 + 26.4477248762444 x1020 + 11.5477746398769 x1021 + 30.0249923728568 x1022 + 11.0647117737134 x1023 + 5.12685454841514 x1024 + 24.1063638707231 x1025 + 28.2863256279043 x1026 + 22.4787651992871 x1027 + 16.3740996489066 x1028 + 21.2464940697816 x1029 + 13.0260417539082 x1030 + 20.9060676099576 x1031 + 10.4727854907458 x1032 + 36.3929013099273 x1033 + 10.5784569842532 x1034 + 19.0717681397393 x1035 + 3.20610451914612 x1036 + 6.71729012861371 x1037 + 29.9176861971132 x1038 + 20.3911884092129 x1039 + 21.5659695741298 x1040 + 21.0521815840123 x1041 + 22.2080796098432 x1042 + 31.2936696562978 x1043 + 5.80802521718853 x1044 + 24.3326630915236 x1045 + 12.5249695930516 x1046 + 20.4523977778919 x1047 + 16.8970235822052 x1048 + 10.7424901532624 x1049 + 30.91822097293 x1050 + 39.4270416186104 x1051 + 27.0831523649024 x1052 + 29.6994717538472 x1053 + 39.0260117536158 x1054 + 30.0288766330613 x1055 + 27.1007186752587 x1056 + 22.5899721951929 x1057 + 35.3481608204059 x1058 + 29.9810799704414 x1059 + 33.1645547149332 x1060 + 21.4383395617515 x1061 + 19.1676357215691 x1062 + 38.3746536581663 x1063 + 34.4579039524102 x1064 + 35.8470965404911 x1065 + 30.2306776491575 x1066 + 37.0047617043406 x1067 + 45.4898262472384 x1068 + 25.0631335313754 x1069 + 42.7257283379754 x1070 + 28.0350849786238 x1071 + 35.5119706403297 x1072 + 26.7855377483785 x1073 + 21.6546310787533 x1074 + 12.2363893796301 x1075 + 24.1304915009995 x1076 + 14.1021405104363 x1077 + 25.4117309590508 x1078 + 35.7323845451366 x1079 + 30.8603188373607 x1080 + 16.2295394674452 x1081 + 43.9828315410503 x1082 + 5.04272682573119 x1083 + 43.9851626604147 x1084 + 53.6220037030937 x1085 + 37.6865552825248 x1086 + 27.8998220700627 x1087 + 19.5601293201007 x1088 + 27.2041055465715 x1089 + 56.1343520033658 x1090 + 19.5487840280362 x1091 + 56.7566320415 x1092 + 32.2956656652672 x1093 + 40.0705249535415 x1094 + 39.2718580950567 x1095 + 28.4103638919818 x1096 + 54.9992401050905 x1097 + 21.18364280618 x1098 + 24.6016175516587 x1099 + 27.0513532444808 x1100 + 16.9783880473666 x1101 + 6.56731942726797 x1102 + 17.7154209811738 x1103 + 27.9252814713741 x1104 + 23.299437856075 x1105 + 8.65117010577742 x1106 + 38.4633405739138 x1107 + 7.94490975320647 x1108 + 37.2318602150177 x1109 + 47.4966018987942 x1110 + 31.6785563367699 x1111 + 21.7766979286368 x1112 + 12.9250221811321 x1113 + 19.4006140378897 x1114 + 49.9028335481131 x1115 + 11.7461194194269 x1116 + 50.41644200218 x1117 + 25.1713343597031 x1118 + 33.6772447536577 x1119 + 31.4799853481022 x1120 + 20.9431535959323 x1121 + 48.6640141857197 x1122 + 13.6695748948537 x1123 + 17.9695094881564 x1124 + 28.5812285022475 x1125 + 34.1771511682154 x1126 + 23.6832299353619 x1127 + 23.2716596203873 x1128 + 31.4626342906409 x1129 + 22.5016116389295 x1130 + 23.0554914206228 x1131 + 15.1598598628359 x1132 + 34.8857590667859 x1133 + 21.5080943833394 x1134 + 25.917575395668 x1135 + 12.9204924896621 x1136 + 11.753729678088 x1137 + 34.1001475069658 x1138 + 28.0045607810009 x1139 + 28.6343240006825 x1140 + 25.2798855946809 x1141 + 29.678702608769 x1142 + 39.2742583687389 x1143 + 16.5547719155005 x1144 + 34.9979303086472 x1145 + 20.8438283716724 x1146 + 28.0751019658746 x1147 + 21.3128003021599 x1148 + 15.2135537801374 x1149 + 19.8204484381605 x1150 + 21.7562006634529 x1151 + 24.1678390423472 x1152 + 13.0240588314794 x1153 + 8.48766261633171 x1154 + 7.40551757753452 x1155 + 22.0456851043105 x1156 + 21.5223676560954 x1157 + 38.1355781317352 x1158 + 12.4356946027005 x1159 + 24.1010972282218 x1160 + 15.6284798004835 x1161 + 15.809550050165 x1162 + 25.5582296821036 x1163 + 13.4291259454868 x1164 + 25.4702733560334 x1165 + 19.358048481145 x1166 + 25.2949893285725 x1167 + 20.9147268176075 x1168 + 13.5099188219095 x1169 + 10.3400046171722 x1170 + 9.9543726923648 x1171 + 23.8364370605219 x1172 + 17.0783007218378 x1173 + 15.7451634670315 x1174 + 43.3793875057424 x1175 + 41.4341221271983 x1176 + 27.8038760533133 x1177 + 33.8907214679917 x1178 + 44.4783744486986 x1179 + 35.7913763300963 x1180 + 28.5821885168025 x1181 + 32.4839724711384 x1182 + 31.7807214379793 x1183 + 38.9749363859936 x1184 + 43.1567969370041 x1185 + 30.3688914610812 x1186 + 25.6014726701983 x1187 + 39.1798326299894 x1188 + 38.3790259907045 x1189 + 45.8545447980695 x1190 + 32.4850279765442 x1191 + 46.9821586379128 x1192 + 48.5768050182245 x1193 + 33.9866835456448 x1194 + 48.3747069544443 x1195 + 33.4032508513938 x1196 + 45.4494281956781 x1197 + 30.0146010299393 x1198 + 26.6312317807682 x1199 + 2.17558803075228 x1200 + 18.1130776182914 x1201 + 8.66131146649929 x1202 + 8.72714924918248 x1203 + 19.6002392391295 x1204 + 11.6474233644786 x1205 + 7.34207670233697 x1206 + 24.0602164022788 x1207 + 22.5660259614058 x1208 + 22.8326039122395 x1209 + 32.8650199727443 x1210 + 17.084434339115 x1211 + 7.22047025082139 x1212 + 17.9447768265596 x1213 + 13.2902618270386 x1214 + 35.2767086980718 x1215 + 9.08466179373399 x1216 + 35.809010158134 x1217 + 24.0495085380251 x1218 + 19.0667041661646 x1219 + 23.5452380292694 x1220 + 9.00247765570866 x1221 + 34.054290803208 x1222 + 5.30826679961931 x1223 + 3.44993069318191 x1224 + 26.8166988258393 x1225 + 32.1163256390124 x1226 + 18.7772365821489 x1227 + 24.2690029595612 x1228 + 34.9472775299237 x1229 + 26.3859366844512 x1230 + 19.2980309640081 x1231 + 27.1080732056737 x1232 + 25.6598645917821 x1233 + 31.5951786717697 x1234 + 37.8059893490236 x1235 + 23.233335476575 x1236 + 16.6925341769293 x1237 + 30.2521488930938 x1238 + 28.7561828679267 x1239 + 40.5155238118795 x1240 + 23.0418805690381 x1241 + 41.4824337386447 x1242 + 39.0567359639612 x1243 + 26.6795089083551 x1244 + 38.8629950026308 x1245 + 23.9284376016537 x1246 + 39.8196657565687 x1247 + 20.4095513732146 x1248 + 17.1635762813129 x1249 + 11.3024707056812 x1250 + 43.2216142122513 x1251 + 32.1958816363713 x1252 + 32.3360185264323 x1253 + 40.0948337980926 x1254 + 31.2419451873797 x1255 + 31.7822097117694 x1256 + 17.8010470053686 x1257 + 42.0764073872544 x1258 + 27.0022803136903 x1259 + 27.6275132799358 x1260 + 19.1768522919846 x1261 + 20.7088813101551 x1262 + 42.9613774073436 x1263 + 37.0549508756756 x1264 + 30.1987430735721 x1265 + 34.2517048390155 x1266 + 31.4588209184679 x1267 + 48.3336632067237 x1268 + 22.5059619035709 x1269 + 43.4751615386097 x1270 + 29.7589759387266 x1271 + 30.1379760987644 x1272 + 30.3493665561892 x1273 + 24.2931260988099 x1274 + 19.2640806823065 x1275 Subject To e2: x1 - b626 <= 0 e3: x2 - b626 <= 0 e4: x3 - b626 <= 0 e5: x4 - b626 <= 0 e6: x5 - b626 <= 0 e7: x6 - b626 <= 0 e8: x7 - b626 <= 0 e9: x8 - b626 <= 0 e10: x9 - b626 <= 0 e11: x10 - b626 <= 0 e12: x11 - b626 <= 0 e13: x12 - b626 <= 0 e14: x13 - b626 <= 0 e15: x14 - b626 <= 0 e16: x15 - b626 <= 0 e17: x16 - b626 <= 0 e18: x17 - b626 <= 0 e19: x18 - b626 <= 0 e20: x19 - b626 <= 0 e21: x20 - b626 <= 0 e22: x21 - b626 <= 0 e23: x22 - b626 <= 0 e24: x23 - b626 <= 0 e25: x24 - b626 <= 0 e26: x25 - b626 <= 0 e27: x26 - b627 <= 0 e28: x27 - b627 <= 0 e29: x28 - b627 <= 0 e30: x29 - b627 <= 0 e31: x30 - b627 <= 0 e32: x31 - b627 <= 0 e33: x32 - b627 <= 0 e34: x33 - b627 <= 0 e35: x34 - b627 <= 0 e36: x35 - b627 <= 0 e37: x36 - b627 <= 0 e38: x37 - b627 <= 0 e39: x38 - b627 <= 0 e40: x39 - b627 <= 0 e41: x40 - b627 <= 0 e42: x41 - b627 <= 0 e43: x42 - b627 <= 0 e44: x43 - b627 <= 0 e45: x44 - b627 <= 0 e46: x45 - b627 <= 0 e47: x46 - b627 <= 0 e48: x47 - b627 <= 0 e49: x48 - b627 <= 0 e50: x49 - b627 <= 0 e51: x50 - b627 <= 0 e52: x51 - b628 <= 0 e53: x52 - b628 <= 0 e54: x53 - b628 <= 0 e55: x54 - b628 <= 0 e56: x55 - b628 <= 0 e57: x56 - b628 <= 0 e58: x57 - b628 <= 0 e59: x58 - b628 <= 0 e60: x59 - b628 <= 0 e61: x60 - b628 <= 0 e62: x61 - b628 <= 0 e63: x62 - b628 <= 0 e64: x63 - b628 <= 0 e65: x64 - b628 <= 0 e66: x65 - b628 <= 0 e67: x66 - b628 <= 0 e68: x67 - b628 <= 0 e69: x68 - b628 <= 0 e70: x69 - b628 <= 0 e71: x70 - b628 <= 0 e72: x71 - b628 <= 0 e73: x72 - b628 <= 0 e74: x73 - b628 <= 0 e75: x74 - b628 <= 0 e76: x75 - b628 <= 0 e77: x76 - b629 <= 0 e78: x77 - b629 <= 0 e79: x78 - b629 <= 0 e80: x79 - b629 <= 0 e81: x80 - b629 <= 0 e82: x81 - b629 <= 0 e83: x82 - b629 <= 0 e84: x83 - b629 <= 0 e85: x84 - b629 <= 0 e86: x85 - b629 <= 0 e87: x86 - b629 <= 0 e88: x87 - b629 <= 0 e89: x88 - b629 <= 0 e90: x89 - b629 <= 0 e91: x90 - b629 <= 0 e92: x91 - b629 <= 0 e93: x92 - b629 <= 0 e94: x93 - b629 <= 0 e95: x94 - b629 <= 0 e96: x95 - b629 <= 0 e97: x96 - b629 <= 0 e98: x97 - b629 <= 0 e99: x98 - b629 <= 0 e100: x99 - b629 <= 0 e101: x100 - b629 <= 0 e102: x101 - b630 <= 0 e103: x102 - b630 <= 0 e104: x103 - b630 <= 0 e105: x104 - b630 <= 0 e106: x105 - b630 <= 0 e107: x106 - b630 <= 0 e108: x107 - b630 <= 0 e109: x108 - b630 <= 0 e110: x109 - b630 <= 0 e111: x110 - b630 <= 0 e112: x111 - b630 <= 0 e113: x112 - b630 <= 0 e114: x113 - b630 <= 0 e115: x114 - b630 <= 0 e116: x115 - b630 <= 0 e117: x116 - b630 <= 0 e118: x117 - b630 <= 0 e119: x118 - b630 <= 0 e120: x119 - b630 <= 0 e121: x120 - b630 <= 0 e122: x121 - b630 <= 0 e123: x122 - b630 <= 0 e124: x123 - b630 <= 0 e125: x124 - b630 <= 0 e126: x125 - b630 <= 0 e127: x126 - b631 <= 0 e128: x127 - b631 <= 0 e129: x128 - b631 <= 0 e130: x129 - b631 <= 0 e131: x130 - b631 <= 0 e132: x131 - b631 <= 0 e133: x132 - b631 <= 0 e134: x133 - b631 <= 0 e135: x134 - b631 <= 0 e136: x135 - b631 <= 0 e137: x136 - b631 <= 0 e138: x137 - b631 <= 0 e139: x138 - b631 <= 0 e140: x139 - b631 <= 0 e141: x140 - b631 <= 0 e142: x141 - b631 <= 0 e143: x142 - b631 <= 0 e144: x143 - b631 <= 0 e145: x144 - b631 <= 0 e146: x145 - b631 <= 0 e147: x146 - b631 <= 0 e148: x147 - b631 <= 0 e149: x148 - b631 <= 0 e150: x149 - b631 <= 0 e151: x150 - b631 <= 0 e152: x151 - b632 <= 0 e153: x152 - b632 <= 0 e154: x153 - b632 <= 0 e155: x154 - b632 <= 0 e156: x155 - b632 <= 0 e157: x156 - b632 <= 0 e158: x157 - b632 <= 0 e159: x158 - b632 <= 0 e160: x159 - b632 <= 0 e161: x160 - b632 <= 0 e162: x161 - b632 <= 0 e163: x162 - b632 <= 0 e164: x163 - b632 <= 0 e165: x164 - b632 <= 0 e166: x165 - b632 <= 0 e167: x166 - b632 <= 0 e168: x167 - b632 <= 0 e169: x168 - b632 <= 0 e170: x169 - b632 <= 0 e171: x170 - b632 <= 0 e172: x171 - b632 <= 0 e173: x172 - b632 <= 0 e174: x173 - b632 <= 0 e175: x174 - b632 <= 0 e176: x175 - b632 <= 0 e177: x176 - b633 <= 0 e178: x177 - b633 <= 0 e179: x178 - b633 <= 0 e180: x179 - b633 <= 0 e181: x180 - b633 <= 0 e182: x181 - b633 <= 0 e183: x182 - b633 <= 0 e184: x183 - b633 <= 0 e185: x184 - b633 <= 0 e186: x185 - b633 <= 0 e187: x186 - b633 <= 0 e188: x187 - b633 <= 0 e189: x188 - b633 <= 0 e190: x189 - b633 <= 0 e191: x190 - b633 <= 0 e192: x191 - b633 <= 0 e193: x192 - b633 <= 0 e194: x193 - b633 <= 0 e195: x194 - b633 <= 0 e196: x195 - b633 <= 0 e197: x196 - b633 <= 0 e198: x197 - b633 <= 0 e199: x198 - b633 <= 0 e200: x199 - b633 <= 0 e201: x200 - b633 <= 0 e202: x201 - b634 <= 0 e203: x202 - b634 <= 0 e204: x203 - b634 <= 0 e205: x204 - b634 <= 0 e206: x205 - b634 <= 0 e207: x206 - b634 <= 0 e208: x207 - b634 <= 0 e209: x208 - b634 <= 0 e210: x209 - b634 <= 0 e211: x210 - b634 <= 0 e212: x211 - b634 <= 0 e213: x212 - b634 <= 0 e214: x213 - b634 <= 0 e215: x214 - b634 <= 0 e216: x215 - b634 <= 0 e217: x216 - b634 <= 0 e218: x217 - b634 <= 0 e219: x218 - b634 <= 0 e220: x219 - b634 <= 0 e221: x220 - b634 <= 0 e222: x221 - b634 <= 0 e223: x222 - b634 <= 0 e224: x223 - b634 <= 0 e225: x224 - b634 <= 0 e226: x225 - b634 <= 0 e227: x226 - b635 <= 0 e228: x227 - b635 <= 0 e229: x228 - b635 <= 0 e230: x229 - b635 <= 0 e231: x230 - b635 <= 0 e232: x231 - b635 <= 0 e233: x232 - b635 <= 0 e234: x233 - b635 <= 0 e235: x234 - b635 <= 0 e236: x235 - b635 <= 0 e237: x236 - b635 <= 0 e238: x237 - b635 <= 0 e239: x238 - b635 <= 0 e240: x239 - b635 <= 0 e241: x240 - b635 <= 0 e242: x241 - b635 <= 0 e243: x242 - b635 <= 0 e244: x243 - b635 <= 0 e245: x244 - b635 <= 0 e246: x245 - b635 <= 0 e247: x246 - b635 <= 0 e248: x247 - b635 <= 0 e249: x248 - b635 <= 0 e250: x249 - b635 <= 0 e251: x250 - b635 <= 0 e252: x251 - b636 <= 0 e253: x252 - b636 <= 0 e254: x253 - b636 <= 0 e255: x254 - b636 <= 0 e256: x255 - b636 <= 0 e257: x256 - b636 <= 0 e258: x257 - b636 <= 0 e259: x258 - b636 <= 0 e260: x259 - b636 <= 0 e261: x260 - b636 <= 0 e262: x261 - b636 <= 0 e263: x262 - b636 <= 0 e264: x263 - b636 <= 0 e265: x264 - b636 <= 0 e266: x265 - b636 <= 0 e267: x266 - b636 <= 0 e268: x267 - b636 <= 0 e269: x268 - b636 <= 0 e270: x269 - b636 <= 0 e271: x270 - b636 <= 0 e272: x271 - b636 <= 0 e273: x272 - b636 <= 0 e274: x273 - b636 <= 0 e275: x274 - b636 <= 0 e276: x275 - b636 <= 0 e277: x276 - b637 <= 0 e278: x277 - b637 <= 0 e279: x278 - b637 <= 0 e280: x279 - b637 <= 0 e281: x280 - b637 <= 0 e282: x281 - b637 <= 0 e283: x282 - b637 <= 0 e284: x283 - b637 <= 0 e285: x284 - b637 <= 0 e286: x285 - b637 <= 0 e287: x286 - b637 <= 0 e288: x287 - b637 <= 0 e289: x288 - b637 <= 0 e290: x289 - b637 <= 0 e291: x290 - b637 <= 0 e292: x291 - b637 <= 0 e293: x292 - b637 <= 0 e294: x293 - b637 <= 0 e295: x294 - b637 <= 0 e296: x295 - b637 <= 0 e297: x296 - b637 <= 0 e298: x297 - b637 <= 0 e299: x298 - b637 <= 0 e300: x299 - b637 <= 0 e301: x300 - b637 <= 0 e302: x301 - b638 <= 0 e303: x302 - b638 <= 0 e304: x303 - b638 <= 0 e305: x304 - b638 <= 0 e306: x305 - b638 <= 0 e307: x306 - b638 <= 0 e308: x307 - b638 <= 0 e309: x308 - b638 <= 0 e310: x309 - b638 <= 0 e311: x310 - b638 <= 0 e312: x311 - b638 <= 0 e313: x312 - b638 <= 0 e314: x313 - b638 <= 0 e315: x314 - b638 <= 0 e316: x315 - b638 <= 0 e317: x316 - b638 <= 0 e318: x317 - b638 <= 0 e319: x318 - b638 <= 0 e320: x319 - b638 <= 0 e321: x320 - b638 <= 0 e322: x321 - b638 <= 0 e323: x322 - b638 <= 0 e324: x323 - b638 <= 0 e325: x324 - b638 <= 0 e326: x325 - b638 <= 0 e327: x326 - b639 <= 0 e328: x327 - b639 <= 0 e329: x328 - b639 <= 0 e330: x329 - b639 <= 0 e331: x330 - b639 <= 0 e332: x331 - b639 <= 0 e333: x332 - b639 <= 0 e334: x333 - b639 <= 0 e335: x334 - b639 <= 0 e336: x335 - b639 <= 0 e337: x336 - b639 <= 0 e338: x337 - b639 <= 0 e339: x338 - b639 <= 0 e340: x339 - b639 <= 0 e341: x340 - b639 <= 0 e342: x341 - b639 <= 0 e343: x342 - b639 <= 0 e344: x343 - b639 <= 0 e345: x344 - b639 <= 0 e346: x345 - b639 <= 0 e347: x346 - b639 <= 0 e348: x347 - b639 <= 0 e349: x348 - b639 <= 0 e350: x349 - b639 <= 0 e351: x350 - b639 <= 0 e352: x351 - b640 <= 0 e353: x352 - b640 <= 0 e354: x353 - b640 <= 0 e355: x354 - b640 <= 0 e356: x355 - b640 <= 0 e357: x356 - b640 <= 0 e358: x357 - b640 <= 0 e359: x358 - b640 <= 0 e360: x359 - b640 <= 0 e361: x360 - b640 <= 0 e362: x361 - b640 <= 0 e363: x362 - b640 <= 0 e364: x363 - b640 <= 0 e365: x364 - b640 <= 0 e366: x365 - b640 <= 0 e367: x366 - b640 <= 0 e368: x367 - b640 <= 0 e369: x368 - b640 <= 0 e370: x369 - b640 <= 0 e371: x370 - b640 <= 0 e372: x371 - b640 <= 0 e373: x372 - b640 <= 0 e374: x373 - b640 <= 0 e375: x374 - b640 <= 0 e376: x375 - b640 <= 0 e377: x376 - b641 <= 0 e378: x377 - b641 <= 0 e379: x378 - b641 <= 0 e380: x379 - b641 <= 0 e381: x380 - b641 <= 0 e382: x381 - b641 <= 0 e383: x382 - b641 <= 0 e384: x383 - b641 <= 0 e385: x384 - b641 <= 0 e386: x385 - b641 <= 0 e387: x386 - b641 <= 0 e388: x387 - b641 <= 0 e389: x388 - b641 <= 0 e390: x389 - b641 <= 0 e391: x390 - b641 <= 0 e392: x391 - b641 <= 0 e393: x392 - b641 <= 0 e394: x393 - b641 <= 0 e395: x394 - b641 <= 0 e396: x395 - b641 <= 0 e397: x396 - b641 <= 0 e398: x397 - b641 <= 0 e399: x398 - b641 <= 0 e400: x399 - b641 <= 0 e401: x400 - b641 <= 0 e402: x401 - b642 <= 0 e403: x402 - b642 <= 0 e404: x403 - b642 <= 0 e405: x404 - b642 <= 0 e406: x405 - b642 <= 0 e407: x406 - b642 <= 0 e408: x407 - b642 <= 0 e409: x408 - b642 <= 0 e410: x409 - b642 <= 0 e411: x410 - b642 <= 0 e412: x411 - b642 <= 0 e413: x412 - b642 <= 0 e414: x413 - b642 <= 0 e415: x414 - b642 <= 0 e416: x415 - b642 <= 0 e417: x416 - b642 <= 0 e418: x417 - b642 <= 0 e419: x418 - b642 <= 0 e420: x419 - b642 <= 0 e421: x420 - b642 <= 0 e422: x421 - b642 <= 0 e423: x422 - b642 <= 0 e424: x423 - b642 <= 0 e425: x424 - b642 <= 0 e426: x425 - b642 <= 0 e427: x426 - b643 <= 0 e428: x427 - b643 <= 0 e429: x428 - b643 <= 0 e430: x429 - b643 <= 0 e431: x430 - b643 <= 0 e432: x431 - b643 <= 0 e433: x432 - b643 <= 0 e434: x433 - b643 <= 0 e435: x434 - b643 <= 0 e436: x435 - b643 <= 0 e437: x436 - b643 <= 0 e438: x437 - b643 <= 0 e439: x438 - b643 <= 0 e440: x439 - b643 <= 0 e441: x440 - b643 <= 0 e442: x441 - b643 <= 0 e443: x442 - b643 <= 0 e444: x443 - b643 <= 0 e445: x444 - b643 <= 0 e446: x445 - b643 <= 0 e447: x446 - b643 <= 0 e448: x447 - b643 <= 0 e449: x448 - b643 <= 0 e450: x449 - b643 <= 0 e451: x450 - b643 <= 0 e452: x451 - b644 <= 0 e453: x452 - b644 <= 0 e454: x453 - b644 <= 0 e455: x454 - b644 <= 0 e456: x455 - b644 <= 0 e457: x456 - b644 <= 0 e458: x457 - b644 <= 0 e459: x458 - b644 <= 0 e460: x459 - b644 <= 0 e461: x460 - b644 <= 0 e462: x461 - b644 <= 0 e463: x462 - b644 <= 0 e464: x463 - b644 <= 0 e465: x464 - b644 <= 0 e466: x465 - b644 <= 0 e467: x466 - b644 <= 0 e468: x467 - b644 <= 0 e469: x468 - b644 <= 0 e470: x469 - b644 <= 0 e471: x470 - b644 <= 0 e472: x471 - b644 <= 0 e473: x472 - b644 <= 0 e474: x473 - b644 <= 0 e475: x474 - b644 <= 0 e476: x475 - b644 <= 0 e477: x476 - b645 <= 0 e478: x477 - b645 <= 0 e479: x478 - b645 <= 0 e480: x479 - b645 <= 0 e481: x480 - b645 <= 0 e482: x481 - b645 <= 0 e483: x482 - b645 <= 0 e484: x483 - b645 <= 0 e485: x484 - b645 <= 0 e486: x485 - b645 <= 0 e487: x486 - b645 <= 0 e488: x487 - b645 <= 0 e489: x488 - b645 <= 0 e490: x489 - b645 <= 0 e491: x490 - b645 <= 0 e492: x491 - b645 <= 0 e493: x492 - b645 <= 0 e494: x493 - b645 <= 0 e495: x494 - b645 <= 0 e496: x495 - b645 <= 0 e497: x496 - b645 <= 0 e498: x497 - b645 <= 0 e499: x498 - b645 <= 0 e500: x499 - b645 <= 0 e501: x500 - b645 <= 0 e502: x501 - b646 <= 0 e503: x502 - b646 <= 0 e504: x503 - b646 <= 0 e505: x504 - b646 <= 0 e506: x505 - b646 <= 0 e507: x506 - b646 <= 0 e508: x507 - b646 <= 0 e509: x508 - b646 <= 0 e510: x509 - b646 <= 0 e511: x510 - b646 <= 0 e512: x511 - b646 <= 0 e513: x512 - b646 <= 0 e514: x513 - b646 <= 0 e515: x514 - b646 <= 0 e516: x515 - b646 <= 0 e517: x516 - b646 <= 0 e518: x517 - b646 <= 0 e519: x518 - b646 <= 0 e520: x519 - b646 <= 0 e521: x520 - b646 <= 0 e522: x521 - b646 <= 0 e523: x522 - b646 <= 0 e524: x523 - b646 <= 0 e525: x524 - b646 <= 0 e526: x525 - b646 <= 0 e527: x526 - b647 <= 0 e528: x527 - b647 <= 0 e529: x528 - b647 <= 0 e530: x529 - b647 <= 0 e531: x530 - b647 <= 0 e532: x531 - b647 <= 0 e533: x532 - b647 <= 0 e534: x533 - b647 <= 0 e535: x534 - b647 <= 0 e536: x535 - b647 <= 0 e537: x536 - b647 <= 0 e538: x537 - b647 <= 0 e539: x538 - b647 <= 0 e540: x539 - b647 <= 0 e541: x540 - b647 <= 0 e542: x541 - b647 <= 0 e543: x542 - b647 <= 0 e544: x543 - b647 <= 0 e545: x544 - b647 <= 0 e546: x545 - b647 <= 0 e547: x546 - b647 <= 0 e548: x547 - b647 <= 0 e549: x548 - b647 <= 0 e550: x549 - b647 <= 0 e551: x550 - b647 <= 0 e552: x551 - b648 <= 0 e553: x552 - b648 <= 0 e554: x553 - b648 <= 0 e555: x554 - b648 <= 0 e556: x555 - b648 <= 0 e557: x556 - b648 <= 0 e558: x557 - b648 <= 0 e559: x558 - b648 <= 0 e560: x559 - b648 <= 0 e561: x560 - b648 <= 0 e562: x561 - b648 <= 0 e563: x562 - b648 <= 0 e564: x563 - b648 <= 0 e565: x564 - b648 <= 0 e566: x565 - b648 <= 0 e567: x566 - b648 <= 0 e568: x567 - b648 <= 0 e569: x568 - b648 <= 0 e570: x569 - b648 <= 0 e571: x570 - b648 <= 0 e572: x571 - b648 <= 0 e573: x572 - b648 <= 0 e574: x573 - b648 <= 0 e575: x574 - b648 <= 0 e576: x575 - b648 <= 0 e577: x576 - b649 <= 0 e578: x577 - b649 <= 0 e579: x578 - b649 <= 0 e580: x579 - b649 <= 0 e581: x580 - b649 <= 0 e582: x581 - b649 <= 0 e583: x582 - b649 <= 0 e584: x583 - b649 <= 0 e585: x584 - b649 <= 0 e586: x585 - b649 <= 0 e587: x586 - b649 <= 0 e588: x587 - b649 <= 0 e589: x588 - b649 <= 0 e590: x589 - b649 <= 0 e591: x590 - b649 <= 0 e592: x591 - b649 <= 0 e593: x592 - b649 <= 0 e594: x593 - b649 <= 0 e595: x594 - b649 <= 0 e596: x595 - b649 <= 0 e597: x596 - b649 <= 0 e598: x597 - b649 <= 0 e599: x598 - b649 <= 0 e600: x599 - b649 <= 0 e601: x600 - b649 <= 0 e602: x601 - b650 <= 0 e603: x602 - b650 <= 0 e604: x603 - b650 <= 0 e605: x604 - b650 <= 0 e606: x605 - b650 <= 0 e607: x606 - b650 <= 0 e608: x607 - b650 <= 0 e609: x608 - b650 <= 0 e610: x609 - b650 <= 0 e611: x610 - b650 <= 0 e612: x611 - b650 <= 0 e613: x612 - b650 <= 0 e614: x613 - b650 <= 0 e615: x614 - b650 <= 0 e616: x615 - b650 <= 0 e617: x616 - b650 <= 0 e618: x617 - b650 <= 0 e619: x618 - b650 <= 0 e620: x619 - b650 <= 0 e621: x620 - b650 <= 0 e622: x621 - b650 <= 0 e623: x622 - b650 <= 0 e624: x623 - b650 <= 0 e625: x624 - b650 <= 0 e626: x625 - b650 <= 0 e627: x1 + x26 + x51 + x76 + x101 + x126 + x151 + x176 + x201 + x226 + x251 + x276 + x301 + x326 + x351 + x376 + x401 + x426 + x451 + x476 + x501 + x526 + x551 + x576 + x601 = 1 e628: x2 + x27 + x52 + x77 + x102 + x127 + x152 + x177 + x202 + x227 + x252 + x277 + x302 + x327 + x352 + x377 + x402 + x427 + x452 + x477 + x502 + x527 + x552 + x577 + x602 = 1 e629: x3 + x28 + x53 + x78 + x103 + x128 + x153 + x178 + x203 + x228 + x253 + x278 + x303 + x328 + x353 + x378 + x403 + x428 + x453 + x478 + x503 + x528 + x553 + x578 + x603 = 1 e630: x4 + x29 + x54 + x79 + x104 + x129 + x154 + x179 + x204 + x229 + x254 + x279 + x304 + x329 + x354 + x379 + x404 + x429 + x454 + x479 + x504 + x529 + x554 + x579 + x604 = 1 e631: x5 + x30 + x55 + x80 + x105 + x130 + x155 + x180 + x205 + x230 + x255 + x280 + x305 + x330 + x355 + x380 + x405 + x430 + x455 + x480 + x505 + x530 + x555 + x580 + x605 = 1 e632: x6 + x31 + x56 + x81 + x106 + x131 + x156 + x181 + x206 + x231 + x256 + x281 + x306 + x331 + x356 + x381 + x406 + x431 + x456 + x481 + x506 + x531 + x556 + x581 + x606 = 1 e633: x7 + x32 + x57 + x82 + x107 + x132 + x157 + x182 + x207 + x232 + x257 + x282 + x307 + x332 + x357 + x382 + x407 + x432 + x457 + x482 + x507 + x532 + x557 + x582 + x607 = 1 e634: x8 + x33 + x58 + x83 + x108 + x133 + x158 + x183 + x208 + x233 + x258 + x283 + x308 + x333 + x358 + x383 + x408 + x433 + x458 + x483 + x508 + x533 + x558 + x583 + x608 = 1 e635: x9 + x34 + x59 + x84 + x109 + x134 + x159 + x184 + x209 + x234 + x259 + x284 + x309 + x334 + x359 + x384 + x409 + x434 + x459 + x484 + x509 + x534 + x559 + x584 + x609 = 1 e636: x10 + x35 + x60 + x85 + x110 + x135 + x160 + x185 + x210 + x235 + x260 + x285 + x310 + x335 + x360 + x385 + x410 + x435 + x460 + x485 + x510 + x535 + x560 + x585 + x610 = 1 e637: x11 + x36 + x61 + x86 + x111 + x136 + x161 + x186 + x211 + x236 + x261 + x286 + x311 + x336 + x361 + x386 + x411 + x436 + x461 + x486 + x511 + x536 + x561 + x586 + x611 = 1 e638: x12 + x37 + x62 + x87 + x112 + x137 + x162 + x187 + x212 + x237 + x262 + x287 + x312 + x337 + x362 + x387 + x412 + x437 + x462 + x487 + x512 + x537 + x562 + x587 + x612 = 1 e639: x13 + x38 + x63 + x88 + x113 + x138 + x163 + x188 + x213 + x238 + x263 + x288 + x313 + x338 + x363 + x388 + x413 + x438 + x463 + x488 + x513 + x538 + x563 + x588 + x613 = 1 e640: x14 + x39 + x64 + x89 + x114 + x139 + x164 + x189 + x214 + x239 + x264 + x289 + x314 + x339 + x364 + x389 + x414 + x439 + x464 + x489 + x514 + x539 + x564 + x589 + x614 = 1 e641: x15 + x40 + x65 + x90 + x115 + x140 + x165 + x190 + x215 + x240 + x265 + x290 + x315 + x340 + x365 + x390 + x415 + x440 + x465 + x490 + x515 + x540 + x565 + x590 + x615 = 1 e642: x16 + x41 + x66 + x91 + x116 + x141 + x166 + x191 + x216 + x241 + x266 + x291 + x316 + x341 + x366 + x391 + x416 + x441 + x466 + x491 + x516 + x541 + x566 + x591 + x616 = 1 e643: x17 + x42 + x67 + x92 + x117 + x142 + x167 + x192 + x217 + x242 + x267 + x292 + x317 + x342 + x367 + x392 + x417 + x442 + x467 + x492 + x517 + x542 + x567 + x592 + x617 = 1 e644: x18 + x43 + x68 + x93 + x118 + x143 + x168 + x193 + x218 + x243 + x268 + x293 + x318 + x343 + x368 + x393 + x418 + x443 + x468 + x493 + x518 + x543 + x568 + x593 + x618 = 1 e645: x19 + x44 + x69 + x94 + x119 + x144 + x169 + x194 + x219 + x244 + x269 + x294 + x319 + x344 + x369 + x394 + x419 + x444 + x469 + x494 + x519 + x544 + x569 + x594 + x619 = 1 e646: x20 + x45 + x70 + x95 + x120 + x145 + x170 + x195 + x220 + x245 + x270 + x295 + x320 + x345 + x370 + x395 + x420 + x445 + x470 + x495 + x520 + x545 + x570 + x595 + x620 = 1 e647: x21 + x46 + x71 + x96 + x121 + x146 + x171 + x196 + x221 + x246 + x271 + x296 + x321 + x346 + x371 + x396 + x421 + x446 + x471 + x496 + x521 + x546 + x571 + x596 + x621 = 1 e648: x22 + x47 + x72 + x97 + x122 + x147 + x172 + x197 + x222 + x247 + x272 + x297 + x322 + x347 + x372 + x397 + x422 + x447 + x472 + x497 + x522 + x547 + x572 + x597 + x622 = 1 e649: x23 + x48 + x73 + x98 + x123 + x148 + x173 + x198 + x223 + x248 + x273 + x298 + x323 + x348 + x373 + x398 + x423 + x448 + x473 + x498 + x523 + x548 + x573 + x598 + x623 = 1 e650: x24 + x49 + x74 + x99 + x124 + x149 + x174 + x199 + x224 + x249 + x274 + x299 + x324 + x349 + x374 + x399 + x424 + x449 + x474 + x499 + x524 + x549 + x574 + x599 + x624 = 1 e651: x25 + x50 + x75 + x100 + x125 + x150 + x175 + x200 + x225 + x250 + x275 + x300 + x325 + x350 + x375 + x400 + x425 + x450 + x475 + x500 + x525 + x550 + x575 + x600 + x625 = 1 e652: x1^2 - b626 x651 <= 0 e653: x2^2 - b626 x652 <= 0 e654: x3^2 - b626 x653 <= 0 e655: x4^2 - b626 x654 <= 0 e656: x5^2 - b626 x655 <= 0 e657: x6^2 - b626 x656 <= 0 e658: x7^2 - b626 x657 <= 0 e659: x8^2 - b626 x658 <= 0 e660: x9^2 - b626 x659 <= 0 e661: x10^2 - b626 x660 <= 0 e662: x11^2 - b626 x661 <= 0 e663: x12^2 - b626 x662 <= 0 e664: x13^2 - b626 x663 <= 0 e665: x14^2 - b626 x664 <= 0 e666: x15^2 - b626 x665 <= 0 e667: x16^2 - b626 x666 <= 0 e668: x17^2 - b626 x667 <= 0 e669: x18^2 - b626 x668 <= 0 e670: x19^2 - b626 x669 <= 0 e671: x20^2 - b626 x670 <= 0 e672: x21^2 - b626 x671 <= 0 e673: x22^2 - b626 x672 <= 0 e674: x23^2 - b626 x673 <= 0 e675: x24^2 - b626 x674 <= 0 e676: x25^2 - b626 x675 <= 0 e677: x26^2 - b627 x676 <= 0 e678: x27^2 - b627 x677 <= 0 e679: x28^2 - b627 x678 <= 0 e680: x29^2 - b627 x679 <= 0 e681: x30^2 - b627 x680 <= 0 e682: x31^2 - b627 x681 <= 0 e683: x32^2 - b627 x682 <= 0 e684: x33^2 - b627 x683 <= 0 e685: x34^2 - b627 x684 <= 0 e686: x35^2 - b627 x685 <= 0 e687: x36^2 - b627 x686 <= 0 e688: x37^2 - b627 x687 <= 0 e689: x38^2 - b627 x688 <= 0 e690: x39^2 - b627 x689 <= 0 e691: x40^2 - b627 x690 <= 0 e692: x41^2 - b627 x691 <= 0 e693: x42^2 - b627 x692 <= 0 e694: x43^2 - b627 x693 <= 0 e695: x44^2 - b627 x694 <= 0 e696: x45^2 - b627 x695 <= 0 e697: x46^2 - b627 x696 <= 0 e698: x47^2 - b627 x697 <= 0 e699: x48^2 - b627 x698 <= 0 e700: x49^2 - b627 x699 <= 0 e701: x50^2 - b627 x700 <= 0 e702: x51^2 - b628 x701 <= 0 e703: x52^2 - b628 x702 <= 0 e704: x53^2 - b628 x703 <= 0 e705: x54^2 - b628 x704 <= 0 e706: x55^2 - b628 x705 <= 0 e707: x56^2 - b628 x706 <= 0 e708: x57^2 - b628 x707 <= 0 e709: x58^2 - b628 x708 <= 0 e710: x59^2 - b628 x709 <= 0 e711: x60^2 - b628 x710 <= 0 e712: x61^2 - b628 x711 <= 0 e713: x62^2 - b628 x712 <= 0 e714: x63^2 - b628 x713 <= 0 e715: x64^2 - b628 x714 <= 0 e716: x65^2 - b628 x715 <= 0 e717: x66^2 - b628 x716 <= 0 e718: x67^2 - b628 x717 <= 0 e719: x68^2 - b628 x718 <= 0 e720: x69^2 - b628 x719 <= 0 e721: x70^2 - b628 x720 <= 0 e722: x71^2 - b628 x721 <= 0 e723: x72^2 - b628 x722 <= 0 e724: x73^2 - b628 x723 <= 0 e725: x74^2 - b628 x724 <= 0 e726: x75^2 - b628 x725 <= 0 e727: x76^2 - b629 x726 <= 0 e728: x77^2 - b629 x727 <= 0 e729: x78^2 - b629 x728 <= 0 e730: x79^2 - b629 x729 <= 0 e731: x80^2 - b629 x730 <= 0 e732: x81^2 - b629 x731 <= 0 e733: x82^2 - b629 x732 <= 0 e734: x83^2 - b629 x733 <= 0 e735: x84^2 - b629 x734 <= 0 e736: x85^2 - b629 x735 <= 0 e737: x86^2 - b629 x736 <= 0 e738: x87^2 - b629 x737 <= 0 e739: x88^2 - b629 x738 <= 0 e740: x89^2 - b629 x739 <= 0 e741: x90^2 - b629 x740 <= 0 e742: x91^2 - b629 x741 <= 0 e743: x92^2 - b629 x742 <= 0 e744: x93^2 - b629 x743 <= 0 e745: x94^2 - b629 x744 <= 0 e746: x95^2 - b629 x745 <= 0 e747: x96^2 - b629 x746 <= 0 e748: x97^2 - b629 x747 <= 0 e749: x98^2 - b629 x748 <= 0 e750: x99^2 - b629 x749 <= 0 e751: x100^2 - b629 x750 <= 0 e752: x101^2 - b630 x751 <= 0 e753: x102^2 - b630 x752 <= 0 e754: x103^2 - b630 x753 <= 0 e755: x104^2 - b630 x754 <= 0 e756: x105^2 - b630 x755 <= 0 e757: x106^2 - b630 x756 <= 0 e758: x107^2 - b630 x757 <= 0 e759: x108^2 - b630 x758 <= 0 e760: x109^2 - b630 x759 <= 0 e761: x110^2 - b630 x760 <= 0 e762: x111^2 - b630 x761 <= 0 e763: x112^2 - b630 x762 <= 0 e764: x113^2 - b630 x763 <= 0 e765: x114^2 - b630 x764 <= 0 e766: x115^2 - b630 x765 <= 0 e767: x116^2 - b630 x766 <= 0 e768: x117^2 - b630 x767 <= 0 e769: x118^2 - b630 x768 <= 0 e770: x119^2 - b630 x769 <= 0 e771: x120^2 - b630 x770 <= 0 e772: x121^2 - b630 x771 <= 0 e773: x122^2 - b630 x772 <= 0 e774: x123^2 - b630 x773 <= 0 e775: x124^2 - b630 x774 <= 0 e776: x125^2 - b630 x775 <= 0 e777: x126^2 - b631 x776 <= 0 e778: x127^2 - b631 x777 <= 0 e779: x128^2 - b631 x778 <= 0 e780: x129^2 - b631 x779 <= 0 e781: x130^2 - b631 x780 <= 0 e782: x131^2 - b631 x781 <= 0 e783: x132^2 - b631 x782 <= 0 e784: x133^2 - b631 x783 <= 0 e785: x134^2 - b631 x784 <= 0 e786: x135^2 - b631 x785 <= 0 e787: x136^2 - b631 x786 <= 0 e788: x137^2 - b631 x787 <= 0 e789: x138^2 - b631 x788 <= 0 e790: x139^2 - b631 x789 <= 0 e791: x140^2 - b631 x790 <= 0 e792: x141^2 - b631 x791 <= 0 e793: x142^2 - b631 x792 <= 0 e794: x143^2 - b631 x793 <= 0 e795: x144^2 - b631 x794 <= 0 e796: x145^2 - b631 x795 <= 0 e797: x146^2 - b631 x796 <= 0 e798: x147^2 - b631 x797 <= 0 e799: x148^2 - b631 x798 <= 0 e800: x149^2 - b631 x799 <= 0 e801: x150^2 - b631 x800 <= 0 e802: x151^2 - b632 x801 <= 0 e803: x152^2 - b632 x802 <= 0 e804: x153^2 - b632 x803 <= 0 e805: x154^2 - b632 x804 <= 0 e806: x155^2 - b632 x805 <= 0 e807: x156^2 - b632 x806 <= 0 e808: x157^2 - b632 x807 <= 0 e809: x158^2 - b632 x808 <= 0 e810: x159^2 - b632 x809 <= 0 e811: x160^2 - b632 x810 <= 0 e812: x161^2 - b632 x811 <= 0 e813: x162^2 - b632 x812 <= 0 e814: x163^2 - b632 x813 <= 0 e815: x164^2 - b632 x814 <= 0 e816: x165^2 - b632 x815 <= 0 e817: x166^2 - b632 x816 <= 0 e818: x167^2 - b632 x817 <= 0 e819: x168^2 - b632 x818 <= 0 e820: x169^2 - b632 x819 <= 0 e821: x170^2 - b632 x820 <= 0 e822: x171^2 - b632 x821 <= 0 e823: x172^2 - b632 x822 <= 0 e824: x173^2 - b632 x823 <= 0 e825: x174^2 - b632 x824 <= 0 e826: x175^2 - b632 x825 <= 0 e827: x176^2 - b633 x826 <= 0 e828: x177^2 - b633 x827 <= 0 e829: x178^2 - b633 x828 <= 0 e830: x179^2 - b633 x829 <= 0 e831: x180^2 - b633 x830 <= 0 e832: x181^2 - b633 x831 <= 0 e833: x182^2 - b633 x832 <= 0 e834: x183^2 - b633 x833 <= 0 e835: x184^2 - b633 x834 <= 0 e836: x185^2 - b633 x835 <= 0 e837: x186^2 - b633 x836 <= 0 e838: x187^2 - b633 x837 <= 0 e839: x188^2 - b633 x838 <= 0 e840: x189^2 - b633 x839 <= 0 e841: x190^2 - b633 x840 <= 0 e842: x191^2 - b633 x841 <= 0 e843: x192^2 - b633 x842 <= 0 e844: x193^2 - b633 x843 <= 0 e845: x194^2 - b633 x844 <= 0 e846: x195^2 - b633 x845 <= 0 e847: x196^2 - b633 x846 <= 0 e848: x197^2 - b633 x847 <= 0 e849: x198^2 - b633 x848 <= 0 e850: x199^2 - b633 x849 <= 0 e851: x200^2 - b633 x850 <= 0 e852: x201^2 - b634 x851 <= 0 e853: x202^2 - b634 x852 <= 0 e854: x203^2 - b634 x853 <= 0 e855: x204^2 - b634 x854 <= 0 e856: x205^2 - b634 x855 <= 0 e857: x206^2 - b634 x856 <= 0 e858: x207^2 - b634 x857 <= 0 e859: x208^2 - b634 x858 <= 0 e860: x209^2 - b634 x859 <= 0 e861: x210^2 - b634 x860 <= 0 e862: x211^2 - b634 x861 <= 0 e863: x212^2 - b634 x862 <= 0 e864: x213^2 - b634 x863 <= 0 e865: x214^2 - b634 x864 <= 0 e866: x215^2 - b634 x865 <= 0 e867: x216^2 - b634 x866 <= 0 e868: x217^2 - b634 x867 <= 0 e869: x218^2 - b634 x868 <= 0 e870: x219^2 - b634 x869 <= 0 e871: x220^2 - b634 x870 <= 0 e872: x221^2 - b634 x871 <= 0 e873: x222^2 - b634 x872 <= 0 e874: x223^2 - b634 x873 <= 0 e875: x224^2 - b634 x874 <= 0 e876: x225^2 - b634 x875 <= 0 e877: x226^2 - b635 x876 <= 0 e878: x227^2 - b635 x877 <= 0 e879: x228^2 - b635 x878 <= 0 e880: x229^2 - b635 x879 <= 0 e881: x230^2 - b635 x880 <= 0 e882: x231^2 - b635 x881 <= 0 e883: x232^2 - b635 x882 <= 0 e884: x233^2 - b635 x883 <= 0 e885: x234^2 - b635 x884 <= 0 e886: x235^2 - b635 x885 <= 0 e887: x236^2 - b635 x886 <= 0 e888: x237^2 - b635 x887 <= 0 e889: x238^2 - b635 x888 <= 0 e890: x239^2 - b635 x889 <= 0 e891: x240^2 - b635 x890 <= 0 e892: x241^2 - b635 x891 <= 0 e893: x242^2 - b635 x892 <= 0 e894: x243^2 - b635 x893 <= 0 e895: x244^2 - b635 x894 <= 0 e896: x245^2 - b635 x895 <= 0 e897: x246^2 - b635 x896 <= 0 e898: x247^2 - b635 x897 <= 0 e899: x248^2 - b635 x898 <= 0 e900: x249^2 - b635 x899 <= 0 e901: x250^2 - b635 x900 <= 0 e902: x251^2 - b636 x901 <= 0 e903: x252^2 - b636 x902 <= 0 e904: x253^2 - b636 x903 <= 0 e905: x254^2 - b636 x904 <= 0 e906: x255^2 - b636 x905 <= 0 e907: x256^2 - b636 x906 <= 0 e908: x257^2 - b636 x907 <= 0 e909: x258^2 - b636 x908 <= 0 e910: x259^2 - b636 x909 <= 0 e911: x260^2 - b636 x910 <= 0 e912: x261^2 - b636 x911 <= 0 e913: x262^2 - b636 x912 <= 0 e914: x263^2 - b636 x913 <= 0 e915: x264^2 - b636 x914 <= 0 e916: x265^2 - b636 x915 <= 0 e917: x266^2 - b636 x916 <= 0 e918: x267^2 - b636 x917 <= 0 e919: x268^2 - b636 x918 <= 0 e920: x269^2 - b636 x919 <= 0 e921: x270^2 - b636 x920 <= 0 e922: x271^2 - b636 x921 <= 0 e923: x272^2 - b636 x922 <= 0 e924: x273^2 - b636 x923 <= 0 e925: x274^2 - b636 x924 <= 0 e926: x275^2 - b636 x925 <= 0 e927: x276^2 - b637 x926 <= 0 e928: x277^2 - b637 x927 <= 0 e929: x278^2 - b637 x928 <= 0 e930: x279^2 - b637 x929 <= 0 e931: x280^2 - b637 x930 <= 0 e932: x281^2 - b637 x931 <= 0 e933: x282^2 - b637 x932 <= 0 e934: x283^2 - b637 x933 <= 0 e935: x284^2 - b637 x934 <= 0 e936: x285^2 - b637 x935 <= 0 e937: x286^2 - b637 x936 <= 0 e938: x287^2 - b637 x937 <= 0 e939: x288^2 - b637 x938 <= 0 e940: x289^2 - b637 x939 <= 0 e941: x290^2 - b637 x940 <= 0 e942: x291^2 - b637 x941 <= 0 e943: x292^2 - b637 x942 <= 0 e944: x293^2 - b637 x943 <= 0 e945: x294^2 - b637 x944 <= 0 e946: x295^2 - b637 x945 <= 0 e947: x296^2 - b637 x946 <= 0 e948: x297^2 - b637 x947 <= 0 e949: x298^2 - b637 x948 <= 0 e950: x299^2 - b637 x949 <= 0 e951: x300^2 - b637 x950 <= 0 e952: x301^2 - b638 x951 <= 0 e953: x302^2 - b638 x952 <= 0 e954: x303^2 - b638 x953 <= 0 e955: x304^2 - b638 x954 <= 0 e956: x305^2 - b638 x955 <= 0 e957: x306^2 - b638 x956 <= 0 e958: x307^2 - b638 x957 <= 0 e959: x308^2 - b638 x958 <= 0 e960: x309^2 - b638 x959 <= 0 e961: x310^2 - b638 x960 <= 0 e962: x311^2 - b638 x961 <= 0 e963: x312^2 - b638 x962 <= 0 e964: x313^2 - b638 x963 <= 0 e965: x314^2 - b638 x964 <= 0 e966: x315^2 - b638 x965 <= 0 e967: x316^2 - b638 x966 <= 0 e968: x317^2 - b638 x967 <= 0 e969: x318^2 - b638 x968 <= 0 e970: x319^2 - b638 x969 <= 0 e971: x320^2 - b638 x970 <= 0 e972: x321^2 - b638 x971 <= 0 e973: x322^2 - b638 x972 <= 0 e974: x323^2 - b638 x973 <= 0 e975: x324^2 - b638 x974 <= 0 e976: x325^2 - b638 x975 <= 0 e977: x326^2 - b639 x976 <= 0 e978: x327^2 - b639 x977 <= 0 e979: x328^2 - b639 x978 <= 0 e980: x329^2 - b639 x979 <= 0 e981: x330^2 - b639 x980 <= 0 e982: x331^2 - b639 x981 <= 0 e983: x332^2 - b639 x982 <= 0 e984: x333^2 - b639 x983 <= 0 e985: x334^2 - b639 x984 <= 0 e986: x335^2 - b639 x985 <= 0 e987: x336^2 - b639 x986 <= 0 e988: x337^2 - b639 x987 <= 0 e989: x338^2 - b639 x988 <= 0 e990: x339^2 - b639 x989 <= 0 e991: x340^2 - b639 x990 <= 0 e992: x341^2 - b639 x991 <= 0 e993: x342^2 - b639 x992 <= 0 e994: x343^2 - b639 x993 <= 0 e995: x344^2 - b639 x994 <= 0 e996: x345^2 - b639 x995 <= 0 e997: x346^2 - b639 x996 <= 0 e998: x347^2 - b639 x997 <= 0 e999: x348^2 - b639 x998 <= 0 e1000: x349^2 - b639 x999 <= 0 e1001: x350^2 - b639 x1000 <= 0 e1002: x351^2 - b640 x1001 <= 0 e1003: x352^2 - b640 x1002 <= 0 e1004: x353^2 - b640 x1003 <= 0 e1005: x354^2 - b640 x1004 <= 0 e1006: x355^2 - b640 x1005 <= 0 e1007: x356^2 - b640 x1006 <= 0 e1008: x357^2 - b640 x1007 <= 0 e1009: x358^2 - b640 x1008 <= 0 e1010: x359^2 - b640 x1009 <= 0 e1011: x360^2 - b640 x1010 <= 0 e1012: x361^2 - b640 x1011 <= 0 e1013: x362^2 - b640 x1012 <= 0 e1014: x363^2 - b640 x1013 <= 0 e1015: x364^2 - b640 x1014 <= 0 e1016: x365^2 - b640 x1015 <= 0 e1017: x366^2 - b640 x1016 <= 0 e1018: x367^2 - b640 x1017 <= 0 e1019: x368^2 - b640 x1018 <= 0 e1020: x369^2 - b640 x1019 <= 0 e1021: x370^2 - b640 x1020 <= 0 e1022: x371^2 - b640 x1021 <= 0 e1023: x372^2 - b640 x1022 <= 0 e1024: x373^2 - b640 x1023 <= 0 e1025: x374^2 - b640 x1024 <= 0 e1026: x375^2 - b640 x1025 <= 0 e1027: x376^2 - b641 x1026 <= 0 e1028: x377^2 - b641 x1027 <= 0 e1029: x378^2 - b641 x1028 <= 0 e1030: x379^2 - b641 x1029 <= 0 e1031: x380^2 - b641 x1030 <= 0 e1032: x381^2 - b641 x1031 <= 0 e1033: x382^2 - b641 x1032 <= 0 e1034: x383^2 - b641 x1033 <= 0 e1035: x384^2 - b641 x1034 <= 0 e1036: x385^2 - b641 x1035 <= 0 e1037: x386^2 - b641 x1036 <= 0 e1038: x387^2 - b641 x1037 <= 0 e1039: x388^2 - b641 x1038 <= 0 e1040: x389^2 - b641 x1039 <= 0 e1041: x390^2 - b641 x1040 <= 0 e1042: x391^2 - b641 x1041 <= 0 e1043: x392^2 - b641 x1042 <= 0 e1044: x393^2 - b641 x1043 <= 0 e1045: x394^2 - b641 x1044 <= 0 e1046: x395^2 - b641 x1045 <= 0 e1047: x396^2 - b641 x1046 <= 0 e1048: x397^2 - b641 x1047 <= 0 e1049: x398^2 - b641 x1048 <= 0 e1050: x399^2 - b641 x1049 <= 0 e1051: x400^2 - b641 x1050 <= 0 e1052: x401^2 - b642 x1051 <= 0 e1053: x402^2 - b642 x1052 <= 0 e1054: x403^2 - b642 x1053 <= 0 e1055: x404^2 - b642 x1054 <= 0 e1056: x405^2 - b642 x1055 <= 0 e1057: x406^2 - b642 x1056 <= 0 e1058: x407^2 - b642 x1057 <= 0 e1059: x408^2 - b642 x1058 <= 0 e1060: x409^2 - b642 x1059 <= 0 e1061: x410^2 - b642 x1060 <= 0 e1062: x411^2 - b642 x1061 <= 0 e1063: x412^2 - b642 x1062 <= 0 e1064: x413^2 - b642 x1063 <= 0 e1065: x414^2 - b642 x1064 <= 0 e1066: x415^2 - b642 x1065 <= 0 e1067: x416^2 - b642 x1066 <= 0 e1068: x417^2 - b642 x1067 <= 0 e1069: x418^2 - b642 x1068 <= 0 e1070: x419^2 - b642 x1069 <= 0 e1071: x420^2 - b642 x1070 <= 0 e1072: x421^2 - b642 x1071 <= 0 e1073: x422^2 - b642 x1072 <= 0 e1074: x423^2 - b642 x1073 <= 0 e1075: x424^2 - b642 x1074 <= 0 e1076: x425^2 - b642 x1075 <= 0 e1077: x426^2 - b643 x1076 <= 0 e1078: x427^2 - b643 x1077 <= 0 e1079: x428^2 - b643 x1078 <= 0 e1080: x429^2 - b643 x1079 <= 0 e1081: x430^2 - b643 x1080 <= 0 e1082: x431^2 - b643 x1081 <= 0 e1083: x432^2 - b643 x1082 <= 0 e1084: x433^2 - b643 x1083 <= 0 e1085: x434^2 - b643 x1084 <= 0 e1086: x435^2 - b643 x1085 <= 0 e1087: x436^2 - b643 x1086 <= 0 e1088: x437^2 - b643 x1087 <= 0 e1089: x438^2 - b643 x1088 <= 0 e1090: x439^2 - b643 x1089 <= 0 e1091: x440^2 - b643 x1090 <= 0 e1092: x441^2 - b643 x1091 <= 0 e1093: x442^2 - b643 x1092 <= 0 e1094: x443^2 - b643 x1093 <= 0 e1095: x444^2 - b643 x1094 <= 0 e1096: x445^2 - b643 x1095 <= 0 e1097: x446^2 - b643 x1096 <= 0 e1098: x447^2 - b643 x1097 <= 0 e1099: x448^2 - b643 x1098 <= 0 e1100: x449^2 - b643 x1099 <= 0 e1101: x450^2 - b643 x1100 <= 0 e1102: x451^2 - b644 x1101 <= 0 e1103: x452^2 - b644 x1102 <= 0 e1104: x453^2 - b644 x1103 <= 0 e1105: x454^2 - b644 x1104 <= 0 e1106: x455^2 - b644 x1105 <= 0 e1107: x456^2 - b644 x1106 <= 0 e1108: x457^2 - b644 x1107 <= 0 e1109: x458^2 - b644 x1108 <= 0 e1110: x459^2 - b644 x1109 <= 0 e1111: x460^2 - b644 x1110 <= 0 e1112: x461^2 - b644 x1111 <= 0 e1113: x462^2 - b644 x1112 <= 0 e1114: x463^2 - b644 x1113 <= 0 e1115: x464^2 - b644 x1114 <= 0 e1116: x465^2 - b644 x1115 <= 0 e1117: x466^2 - b644 x1116 <= 0 e1118: x467^2 - b644 x1117 <= 0 e1119: x468^2 - b644 x1118 <= 0 e1120: x469^2 - b644 x1119 <= 0 e1121: x470^2 - b644 x1120 <= 0 e1122: x471^2 - b644 x1121 <= 0 e1123: x472^2 - b644 x1122 <= 0 e1124: x473^2 - b644 x1123 <= 0 e1125: x474^2 - b644 x1124 <= 0 e1126: x475^2 - b644 x1125 <= 0 e1127: x476^2 - b645 x1126 <= 0 e1128: x477^2 - b645 x1127 <= 0 e1129: x478^2 - b645 x1128 <= 0 e1130: x479^2 - b645 x1129 <= 0 e1131: x480^2 - b645 x1130 <= 0 e1132: x481^2 - b645 x1131 <= 0 e1133: x482^2 - b645 x1132 <= 0 e1134: x483^2 - b645 x1133 <= 0 e1135: x484^2 - b645 x1134 <= 0 e1136: x485^2 - b645 x1135 <= 0 e1137: x486^2 - b645 x1136 <= 0 e1138: x487^2 - b645 x1137 <= 0 e1139: x488^2 - b645 x1138 <= 0 e1140: x489^2 - b645 x1139 <= 0 e1141: x490^2 - b645 x1140 <= 0 e1142: x491^2 - b645 x1141 <= 0 e1143: x492^2 - b645 x1142 <= 0 e1144: x493^2 - b645 x1143 <= 0 e1145: x494^2 - b645 x1144 <= 0 e1146: x495^2 - b645 x1145 <= 0 e1147: x496^2 - b645 x1146 <= 0 e1148: x497^2 - b645 x1147 <= 0 e1149: x498^2 - b645 x1148 <= 0 e1150: x499^2 - b645 x1149 <= 0 e1151: x500^2 - b645 x1150 <= 0 e1152: x501^2 - b646 x1151 <= 0 e1153: x502^2 - b646 x1152 <= 0 e1154: x503^2 - b646 x1153 <= 0 e1155: x504^2 - b646 x1154 <= 0 e1156: x505^2 - b646 x1155 <= 0 e1157: x506^2 - b646 x1156 <= 0 e1158: x507^2 - b646 x1157 <= 0 e1159: x508^2 - b646 x1158 <= 0 e1160: x509^2 - b646 x1159 <= 0 e1161: x510^2 - b646 x1160 <= 0 e1162: x511^2 - b646 x1161 <= 0 e1163: x512^2 - b646 x1162 <= 0 e1164: x513^2 - b646 x1163 <= 0 e1165: x514^2 - b646 x1164 <= 0 e1166: x515^2 - b646 x1165 <= 0 e1167: x516^2 - b646 x1166 <= 0 e1168: x517^2 - b646 x1167 <= 0 e1169: x518^2 - b646 x1168 <= 0 e1170: x519^2 - b646 x1169 <= 0 e1171: x520^2 - b646 x1170 <= 0 e1172: x521^2 - b646 x1171 <= 0 e1173: x522^2 - b646 x1172 <= 0 e1174: x523^2 - b646 x1173 <= 0 e1175: x524^2 - b646 x1174 <= 0 e1176: x525^2 - b646 x1175 <= 0 e1177: x526^2 - b647 x1176 <= 0 e1178: x527^2 - b647 x1177 <= 0 e1179: x528^2 - b647 x1178 <= 0 e1180: x529^2 - b647 x1179 <= 0 e1181: x530^2 - b647 x1180 <= 0 e1182: x531^2 - b647 x1181 <= 0 e1183: x532^2 - b647 x1182 <= 0 e1184: x533^2 - b647 x1183 <= 0 e1185: x534^2 - b647 x1184 <= 0 e1186: x535^2 - b647 x1185 <= 0 e1187: x536^2 - b647 x1186 <= 0 e1188: x537^2 - b647 x1187 <= 0 e1189: x538^2 - b647 x1188 <= 0 e1190: x539^2 - b647 x1189 <= 0 e1191: x540^2 - b647 x1190 <= 0 e1192: x541^2 - b647 x1191 <= 0 e1193: x542^2 - b647 x1192 <= 0 e1194: x543^2 - b647 x1193 <= 0 e1195: x544^2 - b647 x1194 <= 0 e1196: x545^2 - b647 x1195 <= 0 e1197: x546^2 - b647 x1196 <= 0 e1198: x547^2 - b647 x1197 <= 0 e1199: x548^2 - b647 x1198 <= 0 e1200: x549^2 - b647 x1199 <= 0 e1201: x550^2 - b647 x1200 <= 0 e1202: x551^2 - b648 x1201 <= 0 e1203: x552^2 - b648 x1202 <= 0 e1204: x553^2 - b648 x1203 <= 0 e1205: x554^2 - b648 x1204 <= 0 e1206: x555^2 - b648 x1205 <= 0 e1207: x556^2 - b648 x1206 <= 0 e1208: x557^2 - b648 x1207 <= 0 e1209: x558^2 - b648 x1208 <= 0 e1210: x559^2 - b648 x1209 <= 0 e1211: x560^2 - b648 x1210 <= 0 e1212: x561^2 - b648 x1211 <= 0 e1213: x562^2 - b648 x1212 <= 0 e1214: x563^2 - b648 x1213 <= 0 e1215: x564^2 - b648 x1214 <= 0 e1216: x565^2 - b648 x1215 <= 0 e1217: x566^2 - b648 x1216 <= 0 e1218: x567^2 - b648 x1217 <= 0 e1219: x568^2 - b648 x1218 <= 0 e1220: x569^2 - b648 x1219 <= 0 e1221: x570^2 - b648 x1220 <= 0 e1222: x571^2 - b648 x1221 <= 0 e1223: x572^2 - b648 x1222 <= 0 e1224: x573^2 - b648 x1223 <= 0 e1225: x574^2 - b648 x1224 <= 0 e1226: x575^2 - b648 x1225 <= 0 e1227: x576^2 - b649 x1226 <= 0 e1228: x577^2 - b649 x1227 <= 0 e1229: x578^2 - b649 x1228 <= 0 e1230: x579^2 - b649 x1229 <= 0 e1231: x580^2 - b649 x1230 <= 0 e1232: x581^2 - b649 x1231 <= 0 e1233: x582^2 - b649 x1232 <= 0 e1234: x583^2 - b649 x1233 <= 0 e1235: x584^2 - b649 x1234 <= 0 e1236: x585^2 - b649 x1235 <= 0 e1237: x586^2 - b649 x1236 <= 0 e1238: x587^2 - b649 x1237 <= 0 e1239: x588^2 - b649 x1238 <= 0 e1240: x589^2 - b649 x1239 <= 0 e1241: x590^2 - b649 x1240 <= 0 e1242: x591^2 - b649 x1241 <= 0 e1243: x592^2 - b649 x1242 <= 0 e1244: x593^2 - b649 x1243 <= 0 e1245: x594^2 - b649 x1244 <= 0 e1246: x595^2 - b649 x1245 <= 0 e1247: x596^2 - b649 x1246 <= 0 e1248: x597^2 - b649 x1247 <= 0 e1249: x598^2 - b649 x1248 <= 0 e1250: x599^2 - b649 x1249 <= 0 e1251: x600^2 - b649 x1250 <= 0 e1252: x601^2 - b650 x1251 <= 0 e1253: x602^2 - b650 x1252 <= 0 e1254: x603^2 - b650 x1253 <= 0 e1255: x604^2 - b650 x1254 <= 0 e1256: x605^2 - b650 x1255 <= 0 e1257: x606^2 - b650 x1256 <= 0 e1258: x607^2 - b650 x1257 <= 0 e1259: x608^2 - b650 x1258 <= 0 e1260: x609^2 - b650 x1259 <= 0 e1261: x610^2 - b650 x1260 <= 0 e1262: x611^2 - b650 x1261 <= 0 e1263: x612^2 - b650 x1262 <= 0 e1264: x613^2 - b650 x1263 <= 0 e1265: x614^2 - b650 x1264 <= 0 e1266: x615^2 - b650 x1265 <= 0 e1267: x616^2 - b650 x1266 <= 0 e1268: x617^2 - b650 x1267 <= 0 e1269: x618^2 - b650 x1268 <= 0 e1270: x619^2 - b650 x1269 <= 0 e1271: x620^2 - b650 x1270 <= 0 e1272: x621^2 - b650 x1271 <= 0 e1273: x622^2 - b650 x1272 <= 0 e1274: x623^2 - b650 x1273 <= 0 e1275: x624^2 - b650 x1274 <= 0 e1276: x625^2 - b650 x1275 <= 0 Binary b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 End