\ Equation counts \ Total E G L N X C B \ 1860 60 0 1800 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1815 1800 15 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 6315 3615 2700 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 + 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 + 66 b901 + 48 b902 + b903 + 94 b904 + 33 b905 + 85 b906 + 60 b907 + 3 b908 + 81 b909 + 67 b910 + 91 b911 + 97 b912 + 78 b913 + 51 b914 + 97 b915 + 41.4877224223481 x916 + 15.7145894628706 x917 + 37.3189486839015 x918 + 48.0149745443643 x919 + 17.2160193577969 x920 + 28.1540312301078 x921 + 37.1943209692376 x922 + 41.6315397375846 x923 + 21.0706154434433 x924 + 20.6330638647599 x925 + 27.1172933801216 x926 + 40.7585853610288 x927 + 23.3805931176011 x928 + 11.1785067571581 x929 + 29.0057938854704 x930 + 43.1900958180592 x931 + 11.7404907172518 x932 + 47.4594483238306 x933 + 19.8461353109947 x934 + 10.1487918404134 x935 + 35.7266871962232 x936 + 10.0086763266349 x937 + 18.3353078563241 x938 + 51.8633686275819 x939 + 29.2649331423882 x940 + 14.073630657925 x941 + 48.1141012401353 x942 + 4.24871134271664 x943 + 36.2991364453928 x944 + 7.85861258153035 x945 + 14.750472446956 x946 + 21.0744910961131 x947 + 15.0061540826637 x948 + 32.3628978960682 x949 + 36.420495229253 x950 + 31.9430093622364 x951 + 26.9529651391986 x952 + 42.3300725419382 x953 + 10.5790493648991 x954 + 24.2023459642723 x955 + 20.5633148795867 x956 + 25.231646098042 x957 + 36.760080137096 x958 + 9.15592793055968 x959 + 20.1501258924126 x960 + 47.2563986809464 x961 + 13.2988336266297 x962 + 25.4680644439386 x963 + 30.1858380204011 x964 + 38.7670481049911 x965 + 18.9642389686844 x966 + 26.7894943725224 x967 + 39.0211022649438 x968 + 28.2060468475087 x969 + 15.3573089851627 x970 + 44.5992103533173 x971 + 52.4663746636069 x972 + 37.0495589058559 x973 + 11.3343498340499 x974 + 24.3060124417978 x975 + 33.134832422366 x976 + 10.4318857058701 x977 + 32.0818228918283 x978 + 39.349946871269 x979 + 10.9123618963503 x980 + 27.7217557532852 x981 + 36.4766130234897 x982 + 39.6025596394276 x983 + 15.7423318726581 x984 + 15.7378196623425 x985 + 20.2487314839309 x986 + 33.5506904295785 x987 + 14.2097218470713 x988 + 2.95247388062224 x989 + 20.512452864977 x990 + 37.3720622695073 x991 + 19.8469715127445 x992 + 38.6091935875756 x993 + 11.985367261984 x994 + 16.8566595956031 x995 + 34.3751315024905 x996 + 15.8387220966835 x997 + 9.62044677551171 x998 + 43.0543531894431 x999 + 19.9893188859535 x1000 + 16.9042492212748 x1001 + 39.6818009033358 x1002 + 7.80333880549555 x1003 + 34.4092592244735 x1004 + 12.7523097468722 x1005 + 21.4659172808581 x1006 + 14.7460169420168 x1007 + 13.6827842472936 x1008 + 33.0637310900519 x1009 + 29.5472741412332 x1010 + 27.6991193328551 x1011 + 21.3100139101386 x1012 + 40.7210743859728 x1013 + 17.4510690520264 x1014 + 15.4870023793946 x1015 + 11.2407866670542 x1016 + 17.8532356104829 x1017 + 30.4678611969736 x1018 + 11.8556698907654 x1019 + 11.3931516944199 x1020 + 38.5954292718301 x1021 + 21.8494084423286 x1022 + 21.9450954760957 x1023 + 30.9296418579224 x1024 + 31.1237064355946 x1025 + 9.64964483942753 x1026 + 24.2381131826377 x1027 + 35.0648637946094 x1028 + 20.5351185821422 x1029 + 18.0594487264305 x1030 + 35.5482034992111 x1031 + 44.120589224996 x1032 + 27.8848200610385 x1033 + 16.4698495820864 x1034 + 21.2298849966123 x1035 + 5.52207960793223 x1036 + 32.7797443386658 x1037 + 15.593199962925 x1038 + 12.4790521316996 x1039 + 31.3189115291457 x1040 + 29.1138175908894 x1041 + 32.5988094040876 x1042 + 30.559161377648 x1043 + 17.4112638604393 x1044 + 18.3594451433072 x1045 + 10.5386516528136 x1046 + 8.23705472006009 x1047 + 14.8196732803666 x1048 + 25.2089210669035 x1049 + 7.41911140390208 x1050 + 16.2166859230868 x1051 + 42.1365381007455 x1052 + 12.670018898552 x1053 + 16.177939312476 x1054 + 38.0058427718121 x1055 + 29.5763396311398 x1056 + 36.3152521027856 x1057 + 25.3180679884987 x1058 + 16.6316340386941 x1059 + 11.8756000990909 x1060 + 32.4934482309426 x1061 + 12.1532540445616 x1062 + 32.3941798573098 x1063 + 27.9856891244191 x1064 + 34.0376230634999 x1065 + 40.8487905056872 x1066 + 16.0006714611838 x1067 + 25.8747580077533 x1068 + 34.5834193692068 x1069 + 7.76665930696569 x1070 + 17.9628683309904 x1071 + 13.782618470683 x1072 + 32.5773889583807 x1073 + 38.5816120487361 x1074 + 24.6825656135675 x1075 + 18.0002009844115 x1076 + 30.5850333660448 x1077 + 10.6901119126899 x1078 + 31.4975428806115 x1079 + 16.4934174513055 x1080 + 11.7401553721261 x1081 + 44.5643866486077 x1082 + 19.8778617199474 x1083 + 33.5591070389132 x1084 + 4.7545985776539 x1085 + 22.1894050181176 x1086 + 22.6068033023152 x1087 + 21.6356319162756 x1088 + 30.4319362929804 x1089 + 32.6008430127996 x1090 + 11.6249214424003 x1091 + 16.4469125522976 x1092 + 8.96209575649825 x1093 + 35.677706590287 x1094 + 21.111081433004 x1095 + 12.4068885393306 x1096 + 25.483431561595 x1097 + 23.3320655680876 x1098 + 17.1199586542539 x1099 + 23.7665575027444 x1100 + 33.0193364452348 x1101 + 38.3426816037343 x1102 + 37.5242919481995 x1103 + 18.2559301501184 x1104 + 19.2650385863928 x1105 + 13.3420148530396 x1106 + 17.3528385912469 x1107 + 8.72428062759502 x1108 + 20.9071030571014 x1109 + 5.96677439203053 x1110 + 25.0727381992356 x1111 + 40.3291702412994 x1112 + 15.973950248217 x1113 + 13.5657464523484 x1114 + 36.4143182968831 x1115 + 35.3540255141134 x1116 + 34.8453469162525 x1117 + 17.906887342016 x1118 + 20.4327819556619 x1119 + 3.35116012674438 x1120 + 32.283493134348 x1121 + 18.0845922161544 x1122 + 29.1409219209667 x1123 + 34.088077115964 x1124 + 32.0999422269074 x1125 + 40.0514614084654 x1126 + 15.9915184810316 x1127 + 25.6621226028066 x1128 + 38.948759407631 x1129 + 16.0838446580955 x1130 + 23.8690422086749 x1131 + 17.5028518694036 x1132 + 39.4286072954959 x1133 + 37.0319146167305 x1134 + 16.087584247182 x1135 + 11.7865403315299 x1136 + 21.8510225946726 x1137 + 18.799465032218 x1138 + 29.8355748919228 x1139 + 12.08302811104 x1140 + 16.4019124244561 x1141 + 42.6769496834726 x1142 + 23.3748885079283 x1143 + 37.5192688339259 x1144 + 13.874384528376 x1145 + 15.1329711071144 x1146 + 26.5511770983971 x1147 + 29.1130055295956 x1148 + 21.4474012014186 x1149 + 32.743780214579 x1150 + 12.6432642082633 x1151 + 22.5561411738718 x1152 + 4.97154845560689 x1153 + 34.5920014534421 x1154 + 24.1841975992261 x1155 + 26.1243428780695 x1156 + 15.050933689333 x1157 + 25.5851490415921 x1158 + 32.515922042005 x1159 + 14.5604106964653 x1160 + 24.4541524762714 x1161 + 32.5547097576479 x1162 + 34.7227495392095 x1163 + 9.97777406373513 x1164 + 10.3265566441079 x1165 + 13.2846916488413 x1166 + 26.4219828913538 x1167 + 8.22656982571401 x1168 + 4.46808737803062 x1169 + 13.5386637595857 x1170 + 30.5727722257384 x1171 + 23.8787757556777 x1172 + 31.926479496463 x1173 + 4.86349258171206 x1174 + 20.1542832539344 x1175 + 30.1040329683723 x1176 + 18.7118314755545 x1177 + 10.0927450687803 x1178 + 36.3346204345271 x1179 + 14.1703587387269 x1180 + 17.4794306196582 x1181 + 32.7150391068654 x1182 + 12.4314215686392 x1183 + 29.7790821850901 x1184 + 15.7669577686902 x1185 + 24.2202680215811 x1186 + 8.32637264307194 x1187 + 11.8861105773815 x1188 + 30.2971527182006 x1189 + 22.4882700821309 x1190 + 21.8453161187978 x1191 + 14.9018256657276 x1192 + 36.0771932430307 x1193 + 20.7799955551542 x1194 + 14.5736056251405 x1195 + 6.19643815175291 x1196 + 19.0116849298968 x1197 + 23.5664554565226 x1198 + 13.7957463886396 x1199 + 4.64525092578872 x1200 + 31.7580063816228 x1201 + 26.1642843958476 x1202 + 16.8928297118261 x1203 + 28.3134774392672 x1204 + 23.9744574317888 x1205 + 7.81838842105354 x1206 + 19.6978146174742 x1207 + 29.1604432466033 x1208 + 20.974896442193 x1209 + 18.3126060086141 x1210 + 29.1065389716929 x1211 + 37.1213055862837 x1212 + 21.66772825398 x1213 + 18.7559473558074 x1214 + 16.56963535779 x1215 + 24.2768946923986 x1216 + 22.5050393169129 x1217 + 19.0830297603072 x1218 + 31.2559276446652 x1219 + 22.1693996638532 x1220 + 17.1680844924667 x1221 + 24.9602521354034 x1222 + 27.0773924103854 x1223 + 2.6030214700725 x1224 + 2.68672564610315 x1225 + 8.7384347937306 x1226 + 22.2811797949971 x1227 + 12.1792201074776 x1228 + 10.2457931584822 x1229 + 13.1668041370437 x1230 + 24.6836792765059 x1231 + 23.3552126283228 x1232 + 31.2376798516834 x1233 + 5.61925363272074 x1234 + 19.2201747856126 x1235 + 22.4578343502193 x1236 + 17.5292601320472 x1237 + 17.689478199136 x1238 + 35.3748273263905 x1239 + 17.0425706336104 x1240 + 14.0564056473902 x1241 + 30.8465143041009 x1242 + 14.5579854337824 x1243 + 22.1120585068588 x1244 + 15.3199684710364 x1245 + 22.204789865425 x1246 + 2.78546088215416 x1247 + 7.35683486701192 x1248 + 23.1488422615255 x1249 + 17.8434004066056 x1250 + 14.5665879855701 x1251 + 8.40231368481969 x1252 + 28.4124279512762 x1253 + 19.7955162650704 x1254 + 21.6217680199761 x1255 + 12.0510178875372 x1256 + 26.4952899893295 x1257 + 18.1146279426797 x1258 + 12.7448797676753 x1259 + 8.65845529461597 x1260 + 30.511526180188 x1261 + 25.7845738694603 x1262 + 9.23313390390233 x1263 + 21.2826079950902 x1264 + 20.6450406249246 x1265 + 15.1125023631969 x1266 + 12.0511216010054 x1267 + 21.9346445300705 x1268 + 28.2419701397774 x1269 + 14.408580068218 x1270 + 29.2560280746537 x1271 + 34.9520990508185 x1272 + 22.8469069679383 x1273 + 16.9274288412427 x1274 + 8.92478962413179 x1275 + 28.5430719105603 x1276 + 11.2399563709472 x1277 + 35.8531084493246 x1278 + 32.7449588873241 x1279 + 9.16753456744513 x1280 + 38.6753166032552 x1281 + 46.3271890516568 x1282 + 47.6092051095689 x1283 + 23.280281678014 x1284 + 23.9298923726922 x1285 + 23.1614051160117 x1286 + 32.6261660325165 x1287 + 11.3967331428779 x1288 + 15.5416281614801 x1289 + 18.2338735391728 x1290 + 39.2918994297509 x1291 + 35.139324605447 x1292 + 31.1931250896619 x1293 + 16.3931164584584 x1294 + 32.1743167879292 x1295 + 43.6742651976542 x1296 + 31.088676869453 x1297 + 5.74620992219698 x1298 + 35.4897483632283 x1299 + 12.9359068568384 x1300 + 31.2762367340609 x1301 + 34.0241029493348 x1302 + 23.1336520924225 x1303 + 43.0505255085206 x1304 + 27.9872069355214 x1305 + 36.740404909824 x1306 + 20.9895220304738 x1307 + 26.2665583751112 x1308 + 44.6120082214697 x1309 + 30.155744430692 x1310 + 33.889019028331 x1311 + 26.4789502722933 x1312 + 49.1878703508644 x1313 + 32.7736672276941 x1314 + .159438606150588 x1315 + 9.72763861957708 x1316 + 5.94867182929962 x1317 + 32.3070261092767 x1318 + 26.7369215411321 x1319 + 13.2817161429876 x1320 + 32.0783088870747 x1321 + 37.0627036830893 x1322 + 30.2881933688331 x1323 + 42.6773980310107 x1324 + 29.3055119038082 x1325 + 6.65893874986892 x1326 + 33.3727633399444 x1327 + 40.6932317194178 x1328 + 6.80593255566146 x1329 + 32.2642784977932 x1330 + 27.3013373621699 x1331 + 38.4248917300628 x1332 + 19.8438155645908 x1333 + 31.5838674537953 x1334 + 30.2982955472789 x1335 + 42.2617782151289 x1336 + 36.2137703592137 x1337 + 28.831670769855 x1338 + 49.3237973785351 x1339 + 36.9716823667853 x1340 + 11.3858377471114 x1341 + 18.3090812549778 x1342 + 24.5301498593948 x1343 + 20.715372371557 x1344 + 19.6987477169161 x1345 + 26.8963751946739 x1346 + 37.309321094126 x1347 + 32.6679262201262 x1348 + 24.8012597592949 x1349 + 33.3348352497408 x1350 + 34.9501959848459 x1351 + 15.3843483107166 x1352 + 49.8845137106823 x1353 + 26.1496757099175 x1354 + 13.443660438423 x1355 + 18.3897920099457 x1356 + 12.8794273786229 x1357 + 34.9151897452164 x1358 + 53.5337229721995 x1359 + 37.741929812208 x1360 + 9.23406917607495 x1361 + 48.2373870012433 x1362 + 19.9342530715763 x1363 + 19.9649021892685 x1364 + 14.8859087733252 x1365 + 10.8386969373767 x1366 + 22.9423591390232 x1367 + 14.0330456288791 x1368 + 11.8602416973071 x1369 + 32.9179000184145 x1370 + 22.6362488129672 x1371 + 23.5444075390052 x1372 + 24.303918345283 x1373 + 13.3500438869026 x1374 + 40.209738095655 x1375 + 31.793828973416 x1376 + 43.7305358098565 x1377 + 31.4002855338909 x1378 + 14.5278466237831 x1379 + 28.8768953610118 x1380 + 48.6417931691733 x1381 + 16.7910789329748 x1382 + 17.7286055774978 x1383 + 10.1048142131644 x1384 + 37.2653393832272 x1385 + 33.4476947633504 x1386 + 15.8625959194479 x1387 + 26.7866276910184 x1388 + 46.1726639451116 x1389 + 8.04035254401497 x1390 + 48.6938038541035 x1391 + 51.6439860361436 x1392 + 43.1055528637193 x1393 + 11.4092478467533 x1394 + 16.3288386737329 x1395 + 32.7434157755399 x1396 + 13.7293023437337 x1397 + 29.9863453161608 x1398 + 39.2473329197449 x1399 + 14.22106837094 x1400 + 24.5230766366199 x1401 + 33.3477414211071 x1402 + 36.6872752380001 x1403 + 13.4929539923023 x1404 + 13.3240461553329 x1405 + 18.799153730659 x1406 + 32.3679534945875 x1407 + 14.8429879414309 x1408 + 2.72450457769009 x1409 + 20.2388312725671 x1410 + 35.5293522484674 x1411 + 17.6981740191181 x1412 + 38.7035090998518 x1413 + 11.1233681550496 x1414 + 14.3396857208715 x1415 + 31.3246875297237 x1416 + 13.1432275507476 x1417 + 12.4194213932999 x1418 + 43.1011183734898 x1419 + 20.7879790556218 x1420 + 13.6821265316977 x1421 + 39.3632087103659 x1422 + 5.78624003722452 x1423 + 31.4463546384848 x1424 + 10.0450665051428 x1425 + 18.800261388851 x1426 + 12.9300205201715 x1427 + 10.4345826650789 x1428 + 29.7931156220798 x1429 + 28.1631141351587 x1430 + 25.2408693043891 x1431 + 19.2809353170058 x1432 + 37.7364568166541 x1433 + 14.9552830211179 x1434 + 18.1376403928685 x1435 + 12.2808333879708 x1436 + 20.9719576695402 x1437 + 28.7993613810856 x1438 + 8.79307352465687 x1439 + 11.4337800782052 x1440 + 38.4887652836044 x1441 + 19.8637713484768 x1442 + 19.2260861293439 x1443 + 27.6513523663402 x1444 + 30.2007958822642 x1445 + 11.7994492937891 x1446 + 21.3263681808194 x1447 + 32.5728660362058 x1448 + 23.5575534430994 x1449 + 14.8098607398323 x1450 + 35.8984695480617 x1451 + 43.7310946066937 x1452 + 28.4265580547738 x1453 + 13.5946270347734 x1454 + 18.3941027145647 x1455 + 37.1627383776278 x1456 + 56.1294743889795 x1457 + 19.8701973180553 x1458 + 42.0517183207765 x1459 + 55.8288040771804 x1460 + 20.3097229820298 x1461 + 11.7947502968092 x1462 + 6.65798437240369 x1463 + 31.3185072636398 x1464 + 30.9782391622268 x1465 + 31.0372462738342 x1466 + 29.0873135794012 x1467 + 42.721393355933 x1468 + 43.5632030002684 x1469 + 37.6581192458002 x1470 + 20.9997022339179 x1471 + 44.8492325154015 x1472 + 43.9074303027639 x1473 + 37.7796423295937 x1474 + 41.8387705044747 x1475 + 12.5209272040552 x1476 + 40.6031326758359 x1477 + 51.0700988968019 x1478 + 45.3890982100279 x1479 + 44.2656603563348 x1480 + 34.9985721415714 x1481 + 39.7544238566039 x1482 + 44.1606494596409 x1483 + 11.9484242439338 x1484 + 41.0218498997578 x1485 + 40.616616169018 x1486 + 33.2667608413053 x1487 + 33.4665646258773 x1488 + 18.3155087336758 x1489 + 27.6785231225677 x1490 + 20.0432197034674 x1491 + 27.4470163862543 x1492 + 5.9433704259928 x1493 + 41.9977894895952 x1494 + 53.9806738319988 x1495 + 44.2491413857812 x1496 + 59.4766427690097 x1497 + 24.75029004903 x1498 + 39.1158474590292 x1499 + 40.7480041057496 x1500 + 41.7149645526433 x1501 + 46.6021298983892 x1502 + 24.4503124252692 x1503 + 19.9892913465639 x1504 + 31.794737766277 x1505 + 48.1726337705857 x1506 + 22.0247401847987 x1507 + 13.924111387123 x1508 + 60.7032389881144 x1509 + 33.891579898048 x1510 + 45.3204282219483 x1511 + 40.7041074743418 x1512 + 44.3666125323549 x1513 + 39.0600814124543 x1514 + 25.0332266487637 x1515 + 33.9898480928461 x1516 + 17.2953950939846 x1517 + 29.0866453818911 x1518 + 40.7420752543813 x1519 + 17.9426522694764 x1520 + 21.5252744449309 x1521 + 30.4961746895462 x1522 + 34.3034760365379 x1523 + 12.8307170274338 x1524 + 12.3815579161799 x1525 + 19.0695879798314 x1526 + 32.693957101862 x1527 + 17.4322570316729 x1528 + 6.22600305341804 x1529 + 21.8314649431781 x1530 + 34.9386317097248 x1531 + 14.6638458973051 x1532 + 40.4060457251411 x1533 + 12.543801228522 x1534 + 10.9778747370705 x1535 + 28.6762486843547 x1536 + 9.61784353121934 x1537 + 16.2345239748311 x1538 + 44.7248301023581 x1539 + 23.3574948256042 x1540 + 9.85203752710449 x1541 + 40.6260798772049 x1542 + 4.09890199759601 x1543 + 28.9943750830286 x1544 + 6.58995270045575 x1545 + 15.2349519545524 x1546 + 12.9932617906148 x1547 + 7.50216050255976 x1548 + 26.5162712612574 x1549 + 28.2920033429413 x1550 + 23.8242064308382 x1551 + 18.7075450918414 x1552 + 35.2017063673625 x1553 + 11.6033456109959 x1554 + 21.8898794104288 x1555 + 15.2632210688597 x1556 + 24.8174701983389 x1557 + 28.5365603869104 x1558 + 4.99286063865995 x1559 + 13.7030495565072 x1560 + 39.9851776715442 x1561 + 16.964294881038 x1562 + 17.4505580775748 x1563 + 24.3486139429065 x1564 + 30.8733656886672 x1565 + 15.4041862116934 x1566 + 19.0992498369692 x1567 + 31.0047645324436 x1568 + 27.3998635126726 x1569 + 11.0022541028416 x1570 + 37.8772705630832 x1571 + 44.8848000701381 x1572 + 30.6589493268703 x1573 + 9.89549709826238 x1574 + 16.396589995364 x1575 + 20.7812175161898 x1576 + 42.915954578525 x1577 + 3.12951172657991 x1578 + 26.4196350436665 x1579 + 42.1975550676985 x1580 + 17.2510724036401 x1581 + 16.0587440973565 x1582 + 12.2489155999575 x1583 + 18.4481120822394 x1584 + 18.5714058802092 x1585 + 15.5960243357715 x1586 + 12.9316496908303 x1587 + 27.3223956831635 x1588 + 31.245992773215 x1589 + 21.3829023294798 x1590 + 6.81024703401095 x1591 + 39.6072479599144 x1592 + 27.9980907479266 x1593 + 23.5741047750225 x1594 + 35.7278050798591 x1595 + 13.3687238050297 x1596 + 34.1193965153972 x1597 + 36.8006807381145 x1598 + 30.1756271649322 x1599 + 27.9733980462687 x1600 + 28.6151292511313 x1601 + 24.3999084941617 x1602 + 34.5911533773633 x1603 + 11.3509109281678 x1604 + 33.2722109929071 x1605 + 36.4534783297117 x1606 + 19.6105498610321 x1607 + 24.1521644404957 x1608 + 20.5279599389971 x1609 + 10.9301167495949 x1610 + 6.94229430226163 x1611 + 13.0181543975072 x1612 + 14.3243111637623 x1613 + 36.113007468689 x1614 + 38.756084992851 x1615 + 29.401365964245 x1616 + 44.5315100712828 x1617 + 7.99951560658549 x1618 + 30.8058982879391 x1619 + 26.1412642366263 x1620 + 25.96775696969 x1621 + 41.853421363643 x1622 + 13.5247337850745 x1623 + 20.5349697912228 x1624 + 15.2274879973819 x1625 + 33.6690900196191 x1626 + 13.3474903364841 x1627 + 3.14471132003064 x1628 + 45.3577383109951 x1629 + 27.9674378277216 x1630 + 28.9264451501045 x1631 + 26.3768539750801 x1632 + 27.6072231926456 x1633 + 32.8352057559533 x1634 + 14.877750886186 x1635 + 45.5696455745614 x1636 + 28.0174829190624 x1637 + 36.2398010072339 x1638 + 52.5874959307315 x1639 + 29.3163300678394 x1640 + 21.770166370313 x1641 + 30.0737866922232 x1642 + 35.7718586830487 x1643 + 22.806430261862 x1644 + 21.934662498286 x1645 + 29.7697180025816 x1646 + 42.5867007070372 x1647 + 30.865523673978 x1648 + 19.6784961857397 x1649 + 34.2859761924465 x1650 + 42.5206676504066 x1651 + 3.03607532325345 x1652 + 52.5823284432819 x1653 + 25.3076919711928 x1654 + 2.69437633550961 x1655 + 29.5232490590077 x1656 + 4.02788808128255 x1657 + 29.1701119688046 x1658 + 56.7191726700118 x1659 + 36.7141719023146 x1660 + 8.25062548230378 x1661 + 52.0819139141129 x1662 + 11.7963390234141 x1663 + 30.7203087122128 x1664 + 7.01917471731824 x1665 + 2.24763800513988 x1666 + 24.1276861134379 x1667 + 14.3294339277049 x1668 + 24.0241316020417 x1669 + 38.0029871705551 x1670 + 30.0467478088131 x1671 + 27.8173564929234 x1672 + 35.8970904445288 x1673 + 2.10251884514235 x1674 + 35.0214881888021 x1675 + 28.8513174999725 x1676 + 37.0626514566671 x1677 + 37.3585998522673 x1678 + 9.0259927212727 x1679 + 27.0303060973568 x1680 + 51.8462144739705 x1681 + 5.08265586309943 x1682 + 23.7018479685617 x1683 + 22.0445803006813 x1684 + 41.5397629610193 x1685 + 28.8203532369647 x1686 + 23.4415224269709 x1687 + 35.9384845079946 x1688 + 39.9021533751907 x1689 + 8.80882291109231 x1690 + 50.4763828037986 x1691 + 56.0619834606412 x1692 + 43.6443823709304 x1693 + 4.43449588920767 x1694 + 22.2099628678011 x1695 + 7.29967301518106 x1696 + 33.5969786600143 x1697 + 12.4857208292408 x1698 + 14.3797661717624 x1699 + 32.2809054165224 x1700 + 26.3608850771439 x1701 + 29.5379622838998 x1702 + 27.4319882206677 x1703 + 15.7732483487468 x1704 + 16.6528270769103 x1705 + 8.81614735064733 x1706 + 6.33190104261586 x1707 + 15.7339318429433 x1708 + 24.9697981639376 x1709 + 8.23090909722501 x1710 + 13.5494327340094 x1711 + 40.7564678141866 x1712 + 14.973477816019 x1713 + 15.790034372622 x1714 + 36.6025170633503 x1715 + 26.5196519642471 x1716 + 34.8950446260681 x1717 + 26.3119449980611 x1718 + 18.5917440689739 x1719 + 13.8606011199891 x1720 + 30.7455274571946 x1721 + 13.5446739345731 x1722 + 31.6194302757021 x1723 + 24.9009360797378 x1724 + 32.7977478373499 x1725 + 39.1733884507675 x1726 + 14.7363698379992 x1727 + 24.2556139630171 x1728 + 31.708978062863 x1729 + 4.72000995791343 x1730 + 14.9522914182153 x1731 + 11.4294672400319 x1732 + 29.4504051328623 x1733 + 37.1585008169609 x1734 + 26.3271237796925 x1735 + 18.7504612575635 x1736 + 32.2733533718861 x1737 + 7.6150041160333 x1738 + 30.2115610477348 x1739 + 16.6992060424929 x1740 + 13.6865516357942 x1741 + 43.1872893823234 x1742 + 17.3554038224221 x1743 + 30.7633901540339 x1744 + 3.40080063088994 x1745 + 23.1047879157996 x1746 + 19.9212070925539 x1747 + 18.5190041586339 x1748 + 32.3700519608253 x1749 + 30.7486695829026 x1750 + 14.45462960072 x1751 + 17.4970403305613 x1752 + 12.0222365567372 x1753 + 34.1473341773291 x1754 + 18.6694680040765 x1755 + 34.3956247131035 x1756 + 28.7552810700055 x1757 + 23.4646965903344 x1758 + 41.4953052658615 x1759 + 29.2135535051794 x1760 + 10.4989982159811 x1761 + 19.5310443837115 x1762 + 24.2444511994836 x1763 + 12.012468168115 x1764 + 11.0016642023138 x1765 + 18.630208303079 x1766 + 30.4158908443036 x1767 + 23.6335967382052 x1768 + 16.5506995531248 x1769 + 24.5986728210074 x1770 + 29.7521779723483 x1771 + 15.6379602847113 x1772 + 41.8324888820062 x1773 + 17.1179762320967 x1774 + 11.8582388027298 x1775 + 18.1786612019154 x1776 + 10.3453406434776 x1777 + 26.4721154020335 x1778 + 45.6990372445685 x1779 + 28.7466340052665 x1780 + 4.67846516284751 x1781 + 40.6615100333503 x1782 + 13.884363272188 x1783 + 18.9540363887512 x1784 + 10.3303326241321 x1785 + 12.6744852688859 x1786 + 14.0859740007196 x1787 + 5.13185357631877 x1788 + 14.9933462324607 x1789 + 25.8583389513883 x1790 + 17.2455992020621 x1791 + 15.8422827840353 x1792 + 24.7833962845049 x1793 + 12.1953248085867 x1794 + 31.5209697603447 x1795 + 22.827484554853 x1796 + 35.4158100310726 x1797 + 24.8940732399493 x1798 + 8.5093751179903 x1799 + 19.8512094183095 x1800 + 40.7835356201513 x1801 + 17.8800082682458 x1802 + 11.0069782767116 x1803 + 12.8144071124595 x1804 + 29.8039325475079 x1805 + 24.7373301025153 x1806 + 10.6650818910911 x1807 + 23.2517128749089 x1808 + 37.6954710097544 x1809 + 4.01481771504603 x1810 + 40.3186599850105 x1811 + 44.3743975570967 x1812 + 34.3684399999246 x1813 + 8.94559277264114 x1814 + 9.49610562245181 x1815 Subject To e2: x1 - b901 <= 0 e3: x2 - b901 <= 0 e4: x3 - b901 <= 0 e5: x4 - b901 <= 0 e6: x5 - b901 <= 0 e7: x6 - b901 <= 0 e8: x7 - b901 <= 0 e9: x8 - b901 <= 0 e10: x9 - b901 <= 0 e11: x10 - b901 <= 0 e12: x11 - b901 <= 0 e13: x12 - b901 <= 0 e14: x13 - b901 <= 0 e15: x14 - b901 <= 0 e16: x15 - b901 <= 0 e17: x16 - b901 <= 0 e18: x17 - b901 <= 0 e19: x18 - b901 <= 0 e20: x19 - b901 <= 0 e21: x20 - b901 <= 0 e22: x21 - b901 <= 0 e23: x22 - b901 <= 0 e24: x23 - b901 <= 0 e25: x24 - b901 <= 0 e26: x25 - b901 <= 0 e27: x26 - b901 <= 0 e28: x27 - b901 <= 0 e29: x28 - b901 <= 0 e30: x29 - b901 <= 0 e31: x30 - b901 <= 0 e32: x31 - b901 <= 0 e33: x32 - b901 <= 0 e34: x33 - b901 <= 0 e35: x34 - b901 <= 0 e36: x35 - b901 <= 0 e37: x36 - b901 <= 0 e38: x37 - b901 <= 0 e39: x38 - b901 <= 0 e40: x39 - b901 <= 0 e41: x40 - b901 <= 0 e42: x41 - b901 <= 0 e43: x42 - b901 <= 0 e44: x43 - b901 <= 0 e45: x44 - b901 <= 0 e46: x45 - b901 <= 0 e47: x46 - b901 <= 0 e48: x47 - b901 <= 0 e49: x48 - b901 <= 0 e50: x49 - b901 <= 0 e51: x50 - b901 <= 0 e52: x51 - b901 <= 0 e53: x52 - b901 <= 0 e54: x53 - b901 <= 0 e55: x54 - b901 <= 0 e56: x55 - b901 <= 0 e57: x56 - b901 <= 0 e58: x57 - b901 <= 0 e59: x58 - b901 <= 0 e60: x59 - b901 <= 0 e61: x60 - b901 <= 0 e62: x61 - b902 <= 0 e63: x62 - b902 <= 0 e64: x63 - b902 <= 0 e65: x64 - b902 <= 0 e66: x65 - b902 <= 0 e67: x66 - b902 <= 0 e68: x67 - b902 <= 0 e69: x68 - b902 <= 0 e70: x69 - b902 <= 0 e71: x70 - b902 <= 0 e72: x71 - b902 <= 0 e73: x72 - b902 <= 0 e74: x73 - b902 <= 0 e75: x74 - b902 <= 0 e76: x75 - b902 <= 0 e77: x76 - b902 <= 0 e78: x77 - b902 <= 0 e79: x78 - b902 <= 0 e80: x79 - b902 <= 0 e81: x80 - b902 <= 0 e82: x81 - b902 <= 0 e83: x82 - b902 <= 0 e84: x83 - b902 <= 0 e85: x84 - b902 <= 0 e86: x85 - b902 <= 0 e87: x86 - b902 <= 0 e88: x87 - b902 <= 0 e89: x88 - b902 <= 0 e90: x89 - b902 <= 0 e91: x90 - b902 <= 0 e92: x91 - b902 <= 0 e93: x92 - b902 <= 0 e94: x93 - b902 <= 0 e95: x94 - b902 <= 0 e96: x95 - b902 <= 0 e97: x96 - b902 <= 0 e98: x97 - b902 <= 0 e99: x98 - b902 <= 0 e100: x99 - b902 <= 0 e101: x100 - b902 <= 0 e102: x101 - b902 <= 0 e103: x102 - b902 <= 0 e104: x103 - b902 <= 0 e105: x104 - b902 <= 0 e106: x105 - b902 <= 0 e107: x106 - b902 <= 0 e108: x107 - b902 <= 0 e109: x108 - b902 <= 0 e110: x109 - b902 <= 0 e111: x110 - b902 <= 0 e112: x111 - b902 <= 0 e113: x112 - b902 <= 0 e114: x113 - b902 <= 0 e115: x114 - b902 <= 0 e116: x115 - b902 <= 0 e117: x116 - b902 <= 0 e118: x117 - b902 <= 0 e119: x118 - b902 <= 0 e120: x119 - b902 <= 0 e121: x120 - b902 <= 0 e122: x121 - b903 <= 0 e123: x122 - b903 <= 0 e124: x123 - b903 <= 0 e125: x124 - b903 <= 0 e126: x125 - b903 <= 0 e127: x126 - b903 <= 0 e128: x127 - b903 <= 0 e129: x128 - b903 <= 0 e130: x129 - b903 <= 0 e131: x130 - b903 <= 0 e132: x131 - b903 <= 0 e133: x132 - b903 <= 0 e134: x133 - b903 <= 0 e135: x134 - b903 <= 0 e136: x135 - b903 <= 0 e137: x136 - b903 <= 0 e138: x137 - b903 <= 0 e139: x138 - b903 <= 0 e140: x139 - b903 <= 0 e141: x140 - b903 <= 0 e142: x141 - b903 <= 0 e143: x142 - b903 <= 0 e144: x143 - b903 <= 0 e145: x144 - b903 <= 0 e146: x145 - b903 <= 0 e147: x146 - b903 <= 0 e148: x147 - b903 <= 0 e149: x148 - b903 <= 0 e150: x149 - b903 <= 0 e151: x150 - b903 <= 0 e152: x151 - b903 <= 0 e153: x152 - b903 <= 0 e154: x153 - b903 <= 0 e155: x154 - b903 <= 0 e156: x155 - b903 <= 0 e157: x156 - b903 <= 0 e158: x157 - b903 <= 0 e159: x158 - b903 <= 0 e160: x159 - b903 <= 0 e161: x160 - b903 <= 0 e162: x161 - b903 <= 0 e163: x162 - b903 <= 0 e164: x163 - b903 <= 0 e165: x164 - b903 <= 0 e166: x165 - b903 <= 0 e167: x166 - b903 <= 0 e168: x167 - b903 <= 0 e169: x168 - b903 <= 0 e170: x169 - b903 <= 0 e171: x170 - b903 <= 0 e172: x171 - b903 <= 0 e173: x172 - b903 <= 0 e174: x173 - b903 <= 0 e175: x174 - b903 <= 0 e176: x175 - b903 <= 0 e177: x176 - b903 <= 0 e178: x177 - b903 <= 0 e179: x178 - b903 <= 0 e180: x179 - b903 <= 0 e181: x180 - b903 <= 0 e182: x181 - b904 <= 0 e183: x182 - b904 <= 0 e184: x183 - b904 <= 0 e185: x184 - b904 <= 0 e186: x185 - b904 <= 0 e187: x186 - b904 <= 0 e188: x187 - b904 <= 0 e189: x188 - b904 <= 0 e190: x189 - b904 <= 0 e191: x190 - b904 <= 0 e192: x191 - b904 <= 0 e193: x192 - b904 <= 0 e194: x193 - b904 <= 0 e195: x194 - b904 <= 0 e196: x195 - b904 <= 0 e197: x196 - b904 <= 0 e198: x197 - b904 <= 0 e199: x198 - b904 <= 0 e200: x199 - b904 <= 0 e201: x200 - b904 <= 0 e202: x201 - b904 <= 0 e203: x202 - b904 <= 0 e204: x203 - b904 <= 0 e205: x204 - b904 <= 0 e206: x205 - b904 <= 0 e207: x206 - b904 <= 0 e208: x207 - b904 <= 0 e209: x208 - b904 <= 0 e210: x209 - b904 <= 0 e211: x210 - b904 <= 0 e212: x211 - b904 <= 0 e213: x212 - b904 <= 0 e214: x213 - b904 <= 0 e215: x214 - b904 <= 0 e216: x215 - b904 <= 0 e217: x216 - b904 <= 0 e218: x217 - b904 <= 0 e219: x218 - b904 <= 0 e220: x219 - b904 <= 0 e221: x220 - b904 <= 0 e222: x221 - b904 <= 0 e223: x222 - b904 <= 0 e224: x223 - b904 <= 0 e225: x224 - b904 <= 0 e226: x225 - b904 <= 0 e227: x226 - b904 <= 0 e228: x227 - b904 <= 0 e229: x228 - b904 <= 0 e230: x229 - b904 <= 0 e231: x230 - b904 <= 0 e232: x231 - b904 <= 0 e233: x232 - b904 <= 0 e234: x233 - b904 <= 0 e235: x234 - b904 <= 0 e236: x235 - b904 <= 0 e237: x236 - b904 <= 0 e238: x237 - b904 <= 0 e239: x238 - b904 <= 0 e240: x239 - b904 <= 0 e241: x240 - b904 <= 0 e242: x241 - b905 <= 0 e243: x242 - b905 <= 0 e244: x243 - b905 <= 0 e245: x244 - b905 <= 0 e246: x245 - b905 <= 0 e247: x246 - b905 <= 0 e248: x247 - b905 <= 0 e249: x248 - b905 <= 0 e250: x249 - b905 <= 0 e251: x250 - b905 <= 0 e252: x251 - b905 <= 0 e253: x252 - b905 <= 0 e254: x253 - b905 <= 0 e255: x254 - b905 <= 0 e256: x255 - b905 <= 0 e257: x256 - b905 <= 0 e258: x257 - b905 <= 0 e259: x258 - b905 <= 0 e260: x259 - b905 <= 0 e261: x260 - b905 <= 0 e262: x261 - b905 <= 0 e263: x262 - b905 <= 0 e264: x263 - b905 <= 0 e265: x264 - b905 <= 0 e266: x265 - b905 <= 0 e267: x266 - b905 <= 0 e268: x267 - b905 <= 0 e269: x268 - b905 <= 0 e270: x269 - b905 <= 0 e271: x270 - b905 <= 0 e272: x271 - b905 <= 0 e273: x272 - b905 <= 0 e274: x273 - b905 <= 0 e275: x274 - b905 <= 0 e276: x275 - b905 <= 0 e277: x276 - b905 <= 0 e278: x277 - b905 <= 0 e279: x278 - b905 <= 0 e280: x279 - b905 <= 0 e281: x280 - b905 <= 0 e282: x281 - b905 <= 0 e283: x282 - b905 <= 0 e284: x283 - b905 <= 0 e285: x284 - b905 <= 0 e286: x285 - b905 <= 0 e287: x286 - b905 <= 0 e288: x287 - b905 <= 0 e289: x288 - b905 <= 0 e290: x289 - b905 <= 0 e291: x290 - b905 <= 0 e292: x291 - b905 <= 0 e293: x292 - b905 <= 0 e294: x293 - b905 <= 0 e295: x294 - b905 <= 0 e296: x295 - b905 <= 0 e297: x296 - b905 <= 0 e298: x297 - b905 <= 0 e299: x298 - b905 <= 0 e300: x299 - b905 <= 0 e301: x300 - b905 <= 0 e302: x301 - b906 <= 0 e303: x302 - b906 <= 0 e304: x303 - b906 <= 0 e305: x304 - b906 <= 0 e306: x305 - b906 <= 0 e307: x306 - b906 <= 0 e308: x307 - b906 <= 0 e309: x308 - b906 <= 0 e310: x309 - b906 <= 0 e311: x310 - b906 <= 0 e312: x311 - b906 <= 0 e313: x312 - b906 <= 0 e314: x313 - b906 <= 0 e315: x314 - b906 <= 0 e316: x315 - b906 <= 0 e317: x316 - b906 <= 0 e318: x317 - b906 <= 0 e319: x318 - b906 <= 0 e320: x319 - b906 <= 0 e321: x320 - b906 <= 0 e322: x321 - b906 <= 0 e323: x322 - b906 <= 0 e324: x323 - b906 <= 0 e325: x324 - b906 <= 0 e326: x325 - b906 <= 0 e327: x326 - b906 <= 0 e328: x327 - b906 <= 0 e329: x328 - b906 <= 0 e330: x329 - b906 <= 0 e331: x330 - b906 <= 0 e332: x331 - b906 <= 0 e333: x332 - b906 <= 0 e334: x333 - b906 <= 0 e335: x334 - b906 <= 0 e336: x335 - b906 <= 0 e337: x336 - b906 <= 0 e338: x337 - b906 <= 0 e339: x338 - b906 <= 0 e340: x339 - b906 <= 0 e341: x340 - b906 <= 0 e342: x341 - b906 <= 0 e343: x342 - b906 <= 0 e344: x343 - b906 <= 0 e345: x344 - b906 <= 0 e346: x345 - b906 <= 0 e347: x346 - b906 <= 0 e348: x347 - b906 <= 0 e349: x348 - b906 <= 0 e350: x349 - b906 <= 0 e351: x350 - b906 <= 0 e352: x351 - b906 <= 0 e353: x352 - b906 <= 0 e354: x353 - b906 <= 0 e355: x354 - b906 <= 0 e356: x355 - b906 <= 0 e357: x356 - b906 <= 0 e358: x357 - b906 <= 0 e359: x358 - b906 <= 0 e360: x359 - b906 <= 0 e361: x360 - b906 <= 0 e362: x361 - b907 <= 0 e363: x362 - b907 <= 0 e364: x363 - b907 <= 0 e365: x364 - b907 <= 0 e366: x365 - b907 <= 0 e367: x366 - b907 <= 0 e368: x367 - b907 <= 0 e369: x368 - b907 <= 0 e370: x369 - b907 <= 0 e371: x370 - b907 <= 0 e372: x371 - b907 <= 0 e373: x372 - b907 <= 0 e374: x373 - b907 <= 0 e375: x374 - b907 <= 0 e376: x375 - b907 <= 0 e377: x376 - b907 <= 0 e378: x377 - b907 <= 0 e379: x378 - b907 <= 0 e380: x379 - b907 <= 0 e381: x380 - b907 <= 0 e382: x381 - b907 <= 0 e383: x382 - b907 <= 0 e384: x383 - b907 <= 0 e385: x384 - b907 <= 0 e386: x385 - b907 <= 0 e387: x386 - b907 <= 0 e388: x387 - b907 <= 0 e389: x388 - b907 <= 0 e390: x389 - b907 <= 0 e391: x390 - b907 <= 0 e392: x391 - b907 <= 0 e393: x392 - b907 <= 0 e394: x393 - b907 <= 0 e395: x394 - b907 <= 0 e396: x395 - b907 <= 0 e397: x396 - b907 <= 0 e398: x397 - b907 <= 0 e399: x398 - b907 <= 0 e400: x399 - b907 <= 0 e401: x400 - b907 <= 0 e402: x401 - b907 <= 0 e403: x402 - b907 <= 0 e404: x403 - b907 <= 0 e405: x404 - b907 <= 0 e406: x405 - b907 <= 0 e407: x406 - b907 <= 0 e408: x407 - b907 <= 0 e409: x408 - b907 <= 0 e410: x409 - b907 <= 0 e411: x410 - b907 <= 0 e412: x411 - b907 <= 0 e413: x412 - b907 <= 0 e414: x413 - b907 <= 0 e415: x414 - b907 <= 0 e416: x415 - b907 <= 0 e417: x416 - b907 <= 0 e418: x417 - b907 <= 0 e419: x418 - b907 <= 0 e420: x419 - b907 <= 0 e421: x420 - b907 <= 0 e422: x421 - b908 <= 0 e423: x422 - b908 <= 0 e424: x423 - b908 <= 0 e425: x424 - b908 <= 0 e426: x425 - b908 <= 0 e427: x426 - b908 <= 0 e428: x427 - b908 <= 0 e429: x428 - b908 <= 0 e430: x429 - b908 <= 0 e431: x430 - b908 <= 0 e432: x431 - b908 <= 0 e433: x432 - b908 <= 0 e434: x433 - b908 <= 0 e435: x434 - b908 <= 0 e436: x435 - b908 <= 0 e437: x436 - b908 <= 0 e438: x437 - b908 <= 0 e439: x438 - b908 <= 0 e440: x439 - b908 <= 0 e441: x440 - b908 <= 0 e442: x441 - b908 <= 0 e443: x442 - b908 <= 0 e444: x443 - b908 <= 0 e445: x444 - b908 <= 0 e446: x445 - b908 <= 0 e447: x446 - b908 <= 0 e448: x447 - b908 <= 0 e449: x448 - b908 <= 0 e450: x449 - b908 <= 0 e451: x450 - b908 <= 0 e452: x451 - b908 <= 0 e453: x452 - b908 <= 0 e454: x453 - b908 <= 0 e455: x454 - b908 <= 0 e456: x455 - b908 <= 0 e457: x456 - b908 <= 0 e458: x457 - b908 <= 0 e459: x458 - b908 <= 0 e460: x459 - b908 <= 0 e461: x460 - b908 <= 0 e462: x461 - b908 <= 0 e463: x462 - b908 <= 0 e464: x463 - b908 <= 0 e465: x464 - b908 <= 0 e466: x465 - b908 <= 0 e467: x466 - b908 <= 0 e468: x467 - b908 <= 0 e469: x468 - b908 <= 0 e470: x469 - b908 <= 0 e471: x470 - b908 <= 0 e472: x471 - b908 <= 0 e473: x472 - b908 <= 0 e474: x473 - b908 <= 0 e475: x474 - b908 <= 0 e476: x475 - b908 <= 0 e477: x476 - b908 <= 0 e478: x477 - b908 <= 0 e479: x478 - b908 <= 0 e480: x479 - b908 <= 0 e481: x480 - b908 <= 0 e482: x481 - b909 <= 0 e483: x482 - b909 <= 0 e484: x483 - b909 <= 0 e485: x484 - b909 <= 0 e486: x485 - b909 <= 0 e487: x486 - b909 <= 0 e488: x487 - b909 <= 0 e489: x488 - b909 <= 0 e490: x489 - b909 <= 0 e491: x490 - b909 <= 0 e492: x491 - b909 <= 0 e493: x492 - b909 <= 0 e494: x493 - b909 <= 0 e495: x494 - b909 <= 0 e496: x495 - b909 <= 0 e497: x496 - b909 <= 0 e498: x497 - b909 <= 0 e499: x498 - b909 <= 0 e500: x499 - b909 <= 0 e501: x500 - b909 <= 0 e502: x501 - b909 <= 0 e503: x502 - b909 <= 0 e504: x503 - b909 <= 0 e505: x504 - b909 <= 0 e506: x505 - b909 <= 0 e507: x506 - b909 <= 0 e508: x507 - b909 <= 0 e509: x508 - b909 <= 0 e510: x509 - b909 <= 0 e511: x510 - b909 <= 0 e512: x511 - b909 <= 0 e513: x512 - b909 <= 0 e514: x513 - b909 <= 0 e515: x514 - b909 <= 0 e516: x515 - b909 <= 0 e517: x516 - b909 <= 0 e518: x517 - b909 <= 0 e519: x518 - b909 <= 0 e520: x519 - b909 <= 0 e521: x520 - b909 <= 0 e522: x521 - b909 <= 0 e523: x522 - b909 <= 0 e524: x523 - b909 <= 0 e525: x524 - b909 <= 0 e526: x525 - b909 <= 0 e527: x526 - b909 <= 0 e528: x527 - b909 <= 0 e529: x528 - b909 <= 0 e530: x529 - b909 <= 0 e531: x530 - b909 <= 0 e532: x531 - b909 <= 0 e533: x532 - b909 <= 0 e534: x533 - b909 <= 0 e535: x534 - b909 <= 0 e536: x535 - b909 <= 0 e537: x536 - b909 <= 0 e538: x537 - b909 <= 0 e539: x538 - b909 <= 0 e540: x539 - b909 <= 0 e541: x540 - b909 <= 0 e542: x541 - b910 <= 0 e543: x542 - b910 <= 0 e544: x543 - b910 <= 0 e545: x544 - b910 <= 0 e546: x545 - b910 <= 0 e547: x546 - b910 <= 0 e548: x547 - b910 <= 0 e549: x548 - b910 <= 0 e550: x549 - b910 <= 0 e551: x550 - b910 <= 0 e552: x551 - b910 <= 0 e553: x552 - b910 <= 0 e554: x553 - b910 <= 0 e555: x554 - b910 <= 0 e556: x555 - b910 <= 0 e557: x556 - b910 <= 0 e558: x557 - b910 <= 0 e559: x558 - b910 <= 0 e560: x559 - b910 <= 0 e561: x560 - b910 <= 0 e562: x561 - b910 <= 0 e563: x562 - b910 <= 0 e564: x563 - b910 <= 0 e565: x564 - b910 <= 0 e566: x565 - b910 <= 0 e567: x566 - b910 <= 0 e568: x567 - b910 <= 0 e569: x568 - b910 <= 0 e570: x569 - b910 <= 0 e571: x570 - b910 <= 0 e572: x571 - b910 <= 0 e573: x572 - b910 <= 0 e574: x573 - b910 <= 0 e575: x574 - b910 <= 0 e576: x575 - b910 <= 0 e577: x576 - b910 <= 0 e578: x577 - b910 <= 0 e579: x578 - b910 <= 0 e580: x579 - b910 <= 0 e581: x580 - b910 <= 0 e582: x581 - b910 <= 0 e583: x582 - b910 <= 0 e584: x583 - b910 <= 0 e585: x584 - b910 <= 0 e586: x585 - b910 <= 0 e587: x586 - b910 <= 0 e588: x587 - b910 <= 0 e589: x588 - b910 <= 0 e590: x589 - b910 <= 0 e591: x590 - b910 <= 0 e592: x591 - b910 <= 0 e593: x592 - b910 <= 0 e594: x593 - b910 <= 0 e595: x594 - b910 <= 0 e596: x595 - b910 <= 0 e597: x596 - b910 <= 0 e598: x597 - b910 <= 0 e599: x598 - b910 <= 0 e600: x599 - b910 <= 0 e601: x600 - b910 <= 0 e602: x601 - b911 <= 0 e603: x602 - b911 <= 0 e604: x603 - b911 <= 0 e605: x604 - b911 <= 0 e606: x605 - b911 <= 0 e607: x606 - b911 <= 0 e608: x607 - b911 <= 0 e609: x608 - b911 <= 0 e610: x609 - b911 <= 0 e611: x610 - b911 <= 0 e612: x611 - b911 <= 0 e613: x612 - b911 <= 0 e614: x613 - b911 <= 0 e615: x614 - b911 <= 0 e616: x615 - b911 <= 0 e617: x616 - b911 <= 0 e618: x617 - b911 <= 0 e619: x618 - b911 <= 0 e620: x619 - b911 <= 0 e621: x620 - b911 <= 0 e622: x621 - b911 <= 0 e623: x622 - b911 <= 0 e624: x623 - b911 <= 0 e625: x624 - b911 <= 0 e626: x625 - b911 <= 0 e627: x626 - b911 <= 0 e628: x627 - b911 <= 0 e629: x628 - b911 <= 0 e630: x629 - b911 <= 0 e631: x630 - b911 <= 0 e632: x631 - b911 <= 0 e633: x632 - b911 <= 0 e634: x633 - b911 <= 0 e635: x634 - b911 <= 0 e636: x635 - b911 <= 0 e637: x636 - b911 <= 0 e638: x637 - b911 <= 0 e639: x638 - b911 <= 0 e640: x639 - b911 <= 0 e641: x640 - b911 <= 0 e642: x641 - b911 <= 0 e643: x642 - b911 <= 0 e644: x643 - b911 <= 0 e645: x644 - b911 <= 0 e646: x645 - b911 <= 0 e647: x646 - b911 <= 0 e648: x647 - b911 <= 0 e649: x648 - b911 <= 0 e650: x649 - b911 <= 0 e651: x650 - b911 <= 0 e652: x651 - b911 <= 0 e653: x652 - b911 <= 0 e654: x653 - b911 <= 0 e655: x654 - b911 <= 0 e656: x655 - b911 <= 0 e657: x656 - b911 <= 0 e658: x657 - b911 <= 0 e659: x658 - b911 <= 0 e660: x659 - b911 <= 0 e661: x660 - b911 <= 0 e662: x661 - b912 <= 0 e663: x662 - b912 <= 0 e664: x663 - b912 <= 0 e665: x664 - b912 <= 0 e666: x665 - b912 <= 0 e667: x666 - b912 <= 0 e668: x667 - b912 <= 0 e669: x668 - b912 <= 0 e670: x669 - b912 <= 0 e671: x670 - b912 <= 0 e672: x671 - b912 <= 0 e673: x672 - b912 <= 0 e674: x673 - b912 <= 0 e675: x674 - b912 <= 0 e676: x675 - b912 <= 0 e677: x676 - b912 <= 0 e678: x677 - b912 <= 0 e679: x678 - b912 <= 0 e680: x679 - b912 <= 0 e681: x680 - b912 <= 0 e682: x681 - b912 <= 0 e683: x682 - b912 <= 0 e684: x683 - b912 <= 0 e685: x684 - b912 <= 0 e686: x685 - b912 <= 0 e687: x686 - b912 <= 0 e688: x687 - b912 <= 0 e689: x688 - b912 <= 0 e690: x689 - b912 <= 0 e691: x690 - b912 <= 0 e692: x691 - b912 <= 0 e693: x692 - b912 <= 0 e694: x693 - b912 <= 0 e695: x694 - b912 <= 0 e696: x695 - b912 <= 0 e697: x696 - b912 <= 0 e698: x697 - b912 <= 0 e699: x698 - b912 <= 0 e700: x699 - b912 <= 0 e701: x700 - b912 <= 0 e702: x701 - b912 <= 0 e703: x702 - b912 <= 0 e704: x703 - b912 <= 0 e705: x704 - b912 <= 0 e706: x705 - b912 <= 0 e707: x706 - b912 <= 0 e708: x707 - b912 <= 0 e709: x708 - b912 <= 0 e710: x709 - b912 <= 0 e711: x710 - b912 <= 0 e712: x711 - b912 <= 0 e713: x712 - b912 <= 0 e714: x713 - b912 <= 0 e715: x714 - b912 <= 0 e716: x715 - b912 <= 0 e717: x716 - b912 <= 0 e718: x717 - b912 <= 0 e719: x718 - b912 <= 0 e720: x719 - b912 <= 0 e721: x720 - b912 <= 0 e722: x721 - b913 <= 0 e723: x722 - b913 <= 0 e724: x723 - b913 <= 0 e725: x724 - b913 <= 0 e726: x725 - b913 <= 0 e727: x726 - b913 <= 0 e728: x727 - b913 <= 0 e729: x728 - b913 <= 0 e730: x729 - b913 <= 0 e731: x730 - b913 <= 0 e732: x731 - b913 <= 0 e733: x732 - b913 <= 0 e734: x733 - b913 <= 0 e735: x734 - b913 <= 0 e736: x735 - b913 <= 0 e737: x736 - b913 <= 0 e738: x737 - b913 <= 0 e739: x738 - b913 <= 0 e740: x739 - b913 <= 0 e741: x740 - b913 <= 0 e742: x741 - b913 <= 0 e743: x742 - b913 <= 0 e744: x743 - b913 <= 0 e745: x744 - b913 <= 0 e746: x745 - b913 <= 0 e747: x746 - b913 <= 0 e748: x747 - b913 <= 0 e749: x748 - b913 <= 0 e750: x749 - b913 <= 0 e751: x750 - b913 <= 0 e752: x751 - b913 <= 0 e753: x752 - b913 <= 0 e754: x753 - b913 <= 0 e755: x754 - b913 <= 0 e756: x755 - b913 <= 0 e757: x756 - b913 <= 0 e758: x757 - b913 <= 0 e759: x758 - b913 <= 0 e760: x759 - b913 <= 0 e761: x760 - b913 <= 0 e762: x761 - b913 <= 0 e763: x762 - b913 <= 0 e764: x763 - b913 <= 0 e765: x764 - b913 <= 0 e766: x765 - b913 <= 0 e767: x766 - b913 <= 0 e768: x767 - b913 <= 0 e769: x768 - b913 <= 0 e770: x769 - b913 <= 0 e771: x770 - b913 <= 0 e772: x771 - b913 <= 0 e773: x772 - b913 <= 0 e774: x773 - b913 <= 0 e775: x774 - b913 <= 0 e776: x775 - b913 <= 0 e777: x776 - b913 <= 0 e778: x777 - b913 <= 0 e779: x778 - b913 <= 0 e780: x779 - b913 <= 0 e781: x780 - b913 <= 0 e782: x781 - b914 <= 0 e783: x782 - b914 <= 0 e784: x783 - b914 <= 0 e785: x784 - b914 <= 0 e786: x785 - b914 <= 0 e787: x786 - b914 <= 0 e788: x787 - b914 <= 0 e789: x788 - b914 <= 0 e790: x789 - b914 <= 0 e791: x790 - b914 <= 0 e792: x791 - b914 <= 0 e793: x792 - b914 <= 0 e794: x793 - b914 <= 0 e795: x794 - b914 <= 0 e796: x795 - b914 <= 0 e797: x796 - b914 <= 0 e798: x797 - b914 <= 0 e799: x798 - b914 <= 0 e800: x799 - b914 <= 0 e801: x800 - b914 <= 0 e802: x801 - b914 <= 0 e803: x802 - b914 <= 0 e804: x803 - b914 <= 0 e805: x804 - b914 <= 0 e806: x805 - b914 <= 0 e807: x806 - b914 <= 0 e808: x807 - b914 <= 0 e809: x808 - b914 <= 0 e810: x809 - b914 <= 0 e811: x810 - b914 <= 0 e812: x811 - b914 <= 0 e813: x812 - b914 <= 0 e814: x813 - b914 <= 0 e815: x814 - b914 <= 0 e816: x815 - b914 <= 0 e817: x816 - b914 <= 0 e818: x817 - b914 <= 0 e819: x818 - b914 <= 0 e820: x819 - b914 <= 0 e821: x820 - b914 <= 0 e822: x821 - b914 <= 0 e823: x822 - b914 <= 0 e824: x823 - b914 <= 0 e825: x824 - b914 <= 0 e826: x825 - b914 <= 0 e827: x826 - b914 <= 0 e828: x827 - b914 <= 0 e829: x828 - b914 <= 0 e830: x829 - b914 <= 0 e831: x830 - b914 <= 0 e832: x831 - b914 <= 0 e833: x832 - b914 <= 0 e834: x833 - b914 <= 0 e835: x834 - b914 <= 0 e836: x835 - b914 <= 0 e837: x836 - b914 <= 0 e838: x837 - b914 <= 0 e839: x838 - b914 <= 0 e840: x839 - b914 <= 0 e841: x840 - b914 <= 0 e842: x841 - b915 <= 0 e843: x842 - b915 <= 0 e844: x843 - b915 <= 0 e845: x844 - b915 <= 0 e846: x845 - b915 <= 0 e847: x846 - b915 <= 0 e848: x847 - b915 <= 0 e849: x848 - b915 <= 0 e850: x849 - b915 <= 0 e851: x850 - b915 <= 0 e852: x851 - b915 <= 0 e853: x852 - b915 <= 0 e854: x853 - b915 <= 0 e855: x854 - b915 <= 0 e856: x855 - b915 <= 0 e857: x856 - b915 <= 0 e858: x857 - b915 <= 0 e859: x858 - b915 <= 0 e860: x859 - b915 <= 0 e861: x860 - b915 <= 0 e862: x861 - b915 <= 0 e863: x862 - b915 <= 0 e864: x863 - b915 <= 0 e865: x864 - b915 <= 0 e866: x865 - b915 <= 0 e867: x866 - b915 <= 0 e868: x867 - b915 <= 0 e869: x868 - b915 <= 0 e870: x869 - b915 <= 0 e871: x870 - b915 <= 0 e872: x871 - b915 <= 0 e873: x872 - b915 <= 0 e874: x873 - b915 <= 0 e875: x874 - b915 <= 0 e876: x875 - b915 <= 0 e877: x876 - b915 <= 0 e878: x877 - b915 <= 0 e879: x878 - b915 <= 0 e880: x879 - b915 <= 0 e881: x880 - b915 <= 0 e882: x881 - b915 <= 0 e883: x882 - b915 <= 0 e884: x883 - b915 <= 0 e885: x884 - b915 <= 0 e886: x885 - b915 <= 0 e887: x886 - b915 <= 0 e888: x887 - b915 <= 0 e889: x888 - b915 <= 0 e890: x889 - b915 <= 0 e891: x890 - b915 <= 0 e892: x891 - b915 <= 0 e893: x892 - b915 <= 0 e894: x893 - b915 <= 0 e895: x894 - b915 <= 0 e896: x895 - b915 <= 0 e897: x896 - b915 <= 0 e898: x897 - b915 <= 0 e899: x898 - b915 <= 0 e900: x899 - b915 <= 0 e901: x900 - b915 <= 0 e902: x1 + x61 + x121 + x181 + x241 + x301 + x361 + x421 + x481 + x541 + x601 + x661 + x721 + x781 + x841 = 1 e903: x2 + x62 + x122 + x182 + x242 + x302 + x362 + x422 + x482 + x542 + x602 + x662 + x722 + x782 + x842 = 1 e904: x3 + x63 + x123 + x183 + x243 + x303 + x363 + x423 + x483 + x543 + x603 + x663 + x723 + x783 + x843 = 1 e905: x4 + x64 + x124 + x184 + x244 + x304 + x364 + x424 + x484 + x544 + x604 + x664 + x724 + x784 + x844 = 1 e906: x5 + x65 + x125 + x185 + x245 + x305 + x365 + x425 + x485 + x545 + x605 + x665 + x725 + x785 + x845 = 1 e907: x6 + x66 + x126 + x186 + x246 + x306 + x366 + x426 + x486 + x546 + x606 + x666 + x726 + x786 + x846 = 1 e908: x7 + x67 + x127 + x187 + x247 + x307 + x367 + x427 + x487 + x547 + x607 + x667 + x727 + x787 + x847 = 1 e909: x8 + x68 + x128 + x188 + x248 + x308 + x368 + x428 + x488 + x548 + x608 + x668 + x728 + x788 + x848 = 1 e910: x9 + x69 + x129 + x189 + x249 + x309 + x369 + x429 + x489 + x549 + x609 + x669 + x729 + x789 + x849 = 1 e911: x10 + x70 + x130 + x190 + x250 + x310 + x370 + x430 + x490 + x550 + x610 + x670 + x730 + x790 + x850 = 1 e912: x11 + x71 + x131 + x191 + x251 + x311 + x371 + x431 + x491 + x551 + x611 + x671 + x731 + x791 + x851 = 1 e913: x12 + x72 + x132 + x192 + x252 + x312 + x372 + x432 + x492 + x552 + x612 + x672 + x732 + x792 + x852 = 1 e914: x13 + x73 + x133 + x193 + x253 + x313 + x373 + x433 + x493 + x553 + x613 + x673 + x733 + x793 + x853 = 1 e915: x14 + x74 + x134 + x194 + x254 + x314 + x374 + x434 + x494 + x554 + x614 + x674 + x734 + x794 + x854 = 1 e916: x15 + x75 + x135 + x195 + x255 + x315 + x375 + x435 + x495 + x555 + x615 + x675 + x735 + x795 + x855 = 1 e917: x16 + x76 + x136 + x196 + x256 + x316 + x376 + x436 + x496 + x556 + x616 + x676 + x736 + x796 + x856 = 1 e918: x17 + x77 + x137 + x197 + x257 + x317 + x377 + x437 + x497 + x557 + x617 + x677 + x737 + x797 + x857 = 1 e919: x18 + x78 + x138 + x198 + x258 + x318 + x378 + x438 + x498 + x558 + x618 + x678 + x738 + x798 + x858 = 1 e920: x19 + x79 + x139 + x199 + x259 + x319 + x379 + x439 + x499 + x559 + x619 + x679 + x739 + x799 + x859 = 1 e921: x20 + x80 + x140 + x200 + x260 + x320 + x380 + x440 + x500 + x560 + x620 + x680 + x740 + x800 + x860 = 1 e922: x21 + x81 + x141 + x201 + x261 + x321 + x381 + x441 + x501 + x561 + x621 + x681 + x741 + x801 + x861 = 1 e923: x22 + x82 + x142 + x202 + x262 + x322 + x382 + x442 + x502 + x562 + x622 + x682 + x742 + x802 + x862 = 1 e924: x23 + x83 + x143 + x203 + x263 + x323 + x383 + x443 + x503 + x563 + x623 + x683 + x743 + x803 + x863 = 1 e925: x24 + x84 + x144 + x204 + x264 + x324 + x384 + x444 + x504 + x564 + x624 + x684 + x744 + x804 + x864 = 1 e926: x25 + x85 + x145 + x205 + x265 + x325 + x385 + x445 + x505 + x565 + x625 + x685 + x745 + x805 + x865 = 1 e927: x26 + x86 + x146 + x206 + x266 + x326 + x386 + x446 + x506 + x566 + x626 + x686 + x746 + x806 + x866 = 1 e928: x27 + x87 + x147 + x207 + x267 + x327 + x387 + x447 + x507 + x567 + x627 + x687 + x747 + x807 + x867 = 1 e929: x28 + x88 + x148 + x208 + x268 + x328 + x388 + x448 + x508 + x568 + x628 + x688 + x748 + x808 + x868 = 1 e930: x29 + x89 + x149 + x209 + x269 + x329 + x389 + x449 + x509 + x569 + x629 + x689 + x749 + x809 + x869 = 1 e931: x30 + x90 + x150 + x210 + x270 + x330 + x390 + x450 + x510 + x570 + x630 + x690 + x750 + x810 + x870 = 1 e932: x31 + x91 + x151 + x211 + x271 + x331 + x391 + x451 + x511 + x571 + x631 + x691 + x751 + x811 + x871 = 1 e933: x32 + x92 + x152 + x212 + x272 + x332 + x392 + x452 + x512 + x572 + x632 + x692 + x752 + x812 + x872 = 1 e934: x33 + x93 + x153 + x213 + x273 + x333 + x393 + x453 + x513 + x573 + x633 + x693 + x753 + x813 + x873 = 1 e935: x34 + x94 + x154 + x214 + x274 + x334 + x394 + x454 + x514 + x574 + x634 + x694 + x754 + x814 + x874 = 1 e936: x35 + x95 + x155 + x215 + x275 + x335 + x395 + x455 + x515 + x575 + x635 + x695 + x755 + x815 + x875 = 1 e937: x36 + x96 + x156 + x216 + x276 + x336 + x396 + x456 + x516 + x576 + x636 + x696 + x756 + x816 + x876 = 1 e938: x37 + x97 + x157 + x217 + x277 + x337 + x397 + x457 + x517 + x577 + x637 + x697 + x757 + x817 + x877 = 1 e939: x38 + x98 + x158 + x218 + x278 + x338 + x398 + x458 + x518 + x578 + x638 + x698 + x758 + x818 + x878 = 1 e940: x39 + x99 + x159 + x219 + x279 + x339 + x399 + x459 + x519 + x579 + x639 + x699 + x759 + x819 + x879 = 1 e941: x40 + x100 + x160 + x220 + x280 + x340 + x400 + x460 + x520 + x580 + x640 + x700 + x760 + x820 + x880 = 1 e942: x41 + x101 + x161 + x221 + x281 + x341 + x401 + x461 + x521 + x581 + x641 + x701 + x761 + x821 + x881 = 1 e943: x42 + x102 + x162 + x222 + x282 + x342 + x402 + x462 + x522 + x582 + x642 + x702 + x762 + x822 + x882 = 1 e944: x43 + x103 + x163 + x223 + x283 + x343 + x403 + x463 + x523 + x583 + x643 + x703 + x763 + x823 + x883 = 1 e945: x44 + x104 + x164 + x224 + x284 + x344 + x404 + x464 + x524 + x584 + x644 + x704 + x764 + x824 + x884 = 1 e946: x45 + x105 + x165 + x225 + x285 + x345 + x405 + x465 + x525 + x585 + x645 + x705 + x765 + x825 + x885 = 1 e947: x46 + x106 + x166 + x226 + x286 + x346 + x406 + x466 + x526 + x586 + x646 + x706 + x766 + x826 + x886 = 1 e948: x47 + x107 + x167 + x227 + x287 + x347 + x407 + x467 + x527 + x587 + x647 + x707 + x767 + x827 + x887 = 1 e949: x48 + x108 + x168 + x228 + x288 + x348 + x408 + x468 + x528 + x588 + x648 + x708 + x768 + x828 + x888 = 1 e950: x49 + x109 + x169 + x229 + x289 + x349 + x409 + x469 + x529 + x589 + x649 + x709 + x769 + x829 + x889 = 1 e951: x50 + x110 + x170 + x230 + x290 + x350 + x410 + x470 + x530 + x590 + x650 + x710 + x770 + x830 + x890 = 1 e952: x51 + x111 + x171 + x231 + x291 + x351 + x411 + x471 + x531 + x591 + x651 + x711 + x771 + x831 + x891 = 1 e953: x52 + x112 + x172 + x232 + x292 + x352 + x412 + x472 + x532 + x592 + x652 + x712 + x772 + x832 + x892 = 1 e954: x53 + x113 + x173 + x233 + x293 + x353 + x413 + x473 + x533 + x593 + x653 + x713 + x773 + x833 + x893 = 1 e955: x54 + x114 + x174 + x234 + x294 + x354 + x414 + x474 + x534 + x594 + x654 + x714 + x774 + x834 + x894 = 1 e956: x55 + x115 + x175 + x235 + x295 + x355 + x415 + x475 + x535 + x595 + x655 + x715 + x775 + x835 + x895 = 1 e957: x56 + x116 + x176 + x236 + x296 + x356 + x416 + x476 + x536 + x596 + x656 + x716 + x776 + x836 + x896 = 1 e958: x57 + x117 + x177 + x237 + x297 + x357 + x417 + x477 + x537 + x597 + x657 + x717 + x777 + x837 + x897 = 1 e959: x58 + x118 + x178 + x238 + x298 + x358 + x418 + x478 + x538 + x598 + x658 + x718 + x778 + x838 + x898 = 1 e960: x59 + x119 + x179 + x239 + x299 + x359 + x419 + x479 + x539 + x599 + x659 + x719 + x779 + x839 + x899 = 1 e961: x60 + x120 + x180 + x240 + x300 + x360 + x420 + x480 + x540 + x600 + x660 + x720 + x780 + x840 + x900 = 1 e962: x1^2 - b901 x916 <= 0 e963: x2^2 - b901 x917 <= 0 e964: x3^2 - b901 x918 <= 0 e965: x4^2 - b901 x919 <= 0 e966: x5^2 - b901 x920 <= 0 e967: x6^2 - b901 x921 <= 0 e968: x7^2 - b901 x922 <= 0 e969: x8^2 - b901 x923 <= 0 e970: x9^2 - b901 x924 <= 0 e971: x10^2 - b901 x925 <= 0 e972: x11^2 - b901 x926 <= 0 e973: x12^2 - b901 x927 <= 0 e974: x13^2 - b901 x928 <= 0 e975: x14^2 - b901 x929 <= 0 e976: x15^2 - b901 x930 <= 0 e977: x16^2 - b901 x931 <= 0 e978: x17^2 - b901 x932 <= 0 e979: x18^2 - b901 x933 <= 0 e980: x19^2 - b901 x934 <= 0 e981: x20^2 - b901 x935 <= 0 e982: x21^2 - b901 x936 <= 0 e983: x22^2 - b901 x937 <= 0 e984: x23^2 - b901 x938 <= 0 e985: x24^2 - b901 x939 <= 0 e986: x25^2 - b901 x940 <= 0 e987: x26^2 - b901 x941 <= 0 e988: x27^2 - b901 x942 <= 0 e989: x28^2 - b901 x943 <= 0 e990: x29^2 - b901 x944 <= 0 e991: x30^2 - b901 x945 <= 0 e992: x31^2 - b901 x946 <= 0 e993: x32^2 - b901 x947 <= 0 e994: x33^2 - b901 x948 <= 0 e995: x34^2 - b901 x949 <= 0 e996: x35^2 - b901 x950 <= 0 e997: x36^2 - b901 x951 <= 0 e998: x37^2 - b901 x952 <= 0 e999: x38^2 - b901 x953 <= 0 e1000: x39^2 - b901 x954 <= 0 e1001: x40^2 - b901 x955 <= 0 e1002: x41^2 - b901 x956 <= 0 e1003: x42^2 - b901 x957 <= 0 e1004: x43^2 - b901 x958 <= 0 e1005: x44^2 - b901 x959 <= 0 e1006: x45^2 - b901 x960 <= 0 e1007: x46^2 - b901 x961 <= 0 e1008: x47^2 - b901 x962 <= 0 e1009: x48^2 - b901 x963 <= 0 e1010: x49^2 - b901 x964 <= 0 e1011: x50^2 - b901 x965 <= 0 e1012: x51^2 - b901 x966 <= 0 e1013: x52^2 - b901 x967 <= 0 e1014: x53^2 - b901 x968 <= 0 e1015: x54^2 - b901 x969 <= 0 e1016: x55^2 - b901 x970 <= 0 e1017: x56^2 - b901 x971 <= 0 e1018: x57^2 - b901 x972 <= 0 e1019: x58^2 - b901 x973 <= 0 e1020: x59^2 - b901 x974 <= 0 e1021: x60^2 - b901 x975 <= 0 e1022: x61^2 - b902 x976 <= 0 e1023: x62^2 - b902 x977 <= 0 e1024: x63^2 - b902 x978 <= 0 e1025: x64^2 - b902 x979 <= 0 e1026: x65^2 - b902 x980 <= 0 e1027: x66^2 - b902 x981 <= 0 e1028: x67^2 - b902 x982 <= 0 e1029: x68^2 - b902 x983 <= 0 e1030: x69^2 - b902 x984 <= 0 e1031: x70^2 - b902 x985 <= 0 e1032: x71^2 - b902 x986 <= 0 e1033: x72^2 - b902 x987 <= 0 e1034: x73^2 - b902 x988 <= 0 e1035: x74^2 - b902 x989 <= 0 e1036: x75^2 - b902 x990 <= 0 e1037: x76^2 - b902 x991 <= 0 e1038: x77^2 - b902 x992 <= 0 e1039: x78^2 - b902 x993 <= 0 e1040: x79^2 - b902 x994 <= 0 e1041: x80^2 - b902 x995 <= 0 e1042: x81^2 - b902 x996 <= 0 e1043: x82^2 - b902 x997 <= 0 e1044: x83^2 - b902 x998 <= 0 e1045: x84^2 - b902 x999 <= 0 e1046: x85^2 - b902 x1000 <= 0 e1047: x86^2 - b902 x1001 <= 0 e1048: x87^2 - b902 x1002 <= 0 e1049: x88^2 - b902 x1003 <= 0 e1050: x89^2 - b902 x1004 <= 0 e1051: x90^2 - b902 x1005 <= 0 e1052: x91^2 - b902 x1006 <= 0 e1053: x92^2 - b902 x1007 <= 0 e1054: x93^2 - b902 x1008 <= 0 e1055: x94^2 - b902 x1009 <= 0 e1056: x95^2 - b902 x1010 <= 0 e1057: x96^2 - b902 x1011 <= 0 e1058: x97^2 - b902 x1012 <= 0 e1059: x98^2 - b902 x1013 <= 0 e1060: x99^2 - b902 x1014 <= 0 e1061: x100^2 - b902 x1015 <= 0 e1062: x101^2 - b902 x1016 <= 0 e1063: x102^2 - b902 x1017 <= 0 e1064: x103^2 - b902 x1018 <= 0 e1065: x104^2 - b902 x1019 <= 0 e1066: x105^2 - b902 x1020 <= 0 e1067: x106^2 - b902 x1021 <= 0 e1068: x107^2 - b902 x1022 <= 0 e1069: x108^2 - b902 x1023 <= 0 e1070: x109^2 - b902 x1024 <= 0 e1071: x110^2 - b902 x1025 <= 0 e1072: x111^2 - b902 x1026 <= 0 e1073: x112^2 - b902 x1027 <= 0 e1074: x113^2 - b902 x1028 <= 0 e1075: x114^2 - b902 x1029 <= 0 e1076: x115^2 - b902 x1030 <= 0 e1077: x116^2 - b902 x1031 <= 0 e1078: x117^2 - b902 x1032 <= 0 e1079: x118^2 - b902 x1033 <= 0 e1080: x119^2 - b902 x1034 <= 0 e1081: x120^2 - b902 x1035 <= 0 e1082: x121^2 - b903 x1036 <= 0 e1083: x122^2 - b903 x1037 <= 0 e1084: x123^2 - b903 x1038 <= 0 e1085: x124^2 - b903 x1039 <= 0 e1086: x125^2 - b903 x1040 <= 0 e1087: x126^2 - b903 x1041 <= 0 e1088: x127^2 - b903 x1042 <= 0 e1089: x128^2 - b903 x1043 <= 0 e1090: x129^2 - b903 x1044 <= 0 e1091: x130^2 - b903 x1045 <= 0 e1092: x131^2 - b903 x1046 <= 0 e1093: x132^2 - b903 x1047 <= 0 e1094: x133^2 - b903 x1048 <= 0 e1095: x134^2 - b903 x1049 <= 0 e1096: x135^2 - b903 x1050 <= 0 e1097: x136^2 - b903 x1051 <= 0 e1098: x137^2 - b903 x1052 <= 0 e1099: x138^2 - b903 x1053 <= 0 e1100: x139^2 - b903 x1054 <= 0 e1101: x140^2 - b903 x1055 <= 0 e1102: x141^2 - b903 x1056 <= 0 e1103: x142^2 - b903 x1057 <= 0 e1104: x143^2 - b903 x1058 <= 0 e1105: x144^2 - b903 x1059 <= 0 e1106: x145^2 - b903 x1060 <= 0 e1107: x146^2 - b903 x1061 <= 0 e1108: x147^2 - b903 x1062 <= 0 e1109: x148^2 - b903 x1063 <= 0 e1110: x149^2 - b903 x1064 <= 0 e1111: x150^2 - b903 x1065 <= 0 e1112: x151^2 - b903 x1066 <= 0 e1113: x152^2 - b903 x1067 <= 0 e1114: x153^2 - b903 x1068 <= 0 e1115: x154^2 - b903 x1069 <= 0 e1116: x155^2 - b903 x1070 <= 0 e1117: x156^2 - b903 x1071 <= 0 e1118: x157^2 - b903 x1072 <= 0 e1119: x158^2 - b903 x1073 <= 0 e1120: x159^2 - b903 x1074 <= 0 e1121: x160^2 - b903 x1075 <= 0 e1122: x161^2 - b903 x1076 <= 0 e1123: x162^2 - b903 x1077 <= 0 e1124: x163^2 - b903 x1078 <= 0 e1125: x164^2 - b903 x1079 <= 0 e1126: x165^2 - b903 x1080 <= 0 e1127: x166^2 - b903 x1081 <= 0 e1128: x167^2 - b903 x1082 <= 0 e1129: x168^2 - b903 x1083 <= 0 e1130: x169^2 - b903 x1084 <= 0 e1131: x170^2 - b903 x1085 <= 0 e1132: x171^2 - b903 x1086 <= 0 e1133: x172^2 - b903 x1087 <= 0 e1134: x173^2 - b903 x1088 <= 0 e1135: x174^2 - b903 x1089 <= 0 e1136: x175^2 - b903 x1090 <= 0 e1137: x176^2 - b903 x1091 <= 0 e1138: x177^2 - b903 x1092 <= 0 e1139: x178^2 - b903 x1093 <= 0 e1140: x179^2 - b903 x1094 <= 0 e1141: x180^2 - b903 x1095 <= 0 e1142: x181^2 - b904 x1096 <= 0 e1143: x182^2 - b904 x1097 <= 0 e1144: x183^2 - b904 x1098 <= 0 e1145: x184^2 - b904 x1099 <= 0 e1146: x185^2 - b904 x1100 <= 0 e1147: x186^2 - b904 x1101 <= 0 e1148: x187^2 - b904 x1102 <= 0 e1149: x188^2 - b904 x1103 <= 0 e1150: x189^2 - b904 x1104 <= 0 e1151: x190^2 - b904 x1105 <= 0 e1152: x191^2 - b904 x1106 <= 0 e1153: x192^2 - b904 x1107 <= 0 e1154: x193^2 - b904 x1108 <= 0 e1155: x194^2 - b904 x1109 <= 0 e1156: x195^2 - b904 x1110 <= 0 e1157: x196^2 - b904 x1111 <= 0 e1158: x197^2 - b904 x1112 <= 0 e1159: x198^2 - b904 x1113 <= 0 e1160: x199^2 - b904 x1114 <= 0 e1161: x200^2 - b904 x1115 <= 0 e1162: x201^2 - b904 x1116 <= 0 e1163: x202^2 - b904 x1117 <= 0 e1164: x203^2 - b904 x1118 <= 0 e1165: x204^2 - b904 x1119 <= 0 e1166: x205^2 - b904 x1120 <= 0 e1167: x206^2 - b904 x1121 <= 0 e1168: x207^2 - b904 x1122 <= 0 e1169: x208^2 - b904 x1123 <= 0 e1170: x209^2 - b904 x1124 <= 0 e1171: x210^2 - b904 x1125 <= 0 e1172: x211^2 - b904 x1126 <= 0 e1173: x212^2 - b904 x1127 <= 0 e1174: x213^2 - b904 x1128 <= 0 e1175: x214^2 - b904 x1129 <= 0 e1176: x215^2 - b904 x1130 <= 0 e1177: x216^2 - b904 x1131 <= 0 e1178: x217^2 - b904 x1132 <= 0 e1179: x218^2 - b904 x1133 <= 0 e1180: x219^2 - b904 x1134 <= 0 e1181: x220^2 - b904 x1135 <= 0 e1182: x221^2 - b904 x1136 <= 0 e1183: x222^2 - b904 x1137 <= 0 e1184: x223^2 - b904 x1138 <= 0 e1185: x224^2 - b904 x1139 <= 0 e1186: x225^2 - b904 x1140 <= 0 e1187: x226^2 - b904 x1141 <= 0 e1188: x227^2 - b904 x1142 <= 0 e1189: x228^2 - b904 x1143 <= 0 e1190: x229^2 - b904 x1144 <= 0 e1191: x230^2 - b904 x1145 <= 0 e1192: x231^2 - b904 x1146 <= 0 e1193: x232^2 - b904 x1147 <= 0 e1194: x233^2 - b904 x1148 <= 0 e1195: x234^2 - b904 x1149 <= 0 e1196: x235^2 - b904 x1150 <= 0 e1197: x236^2 - b904 x1151 <= 0 e1198: x237^2 - b904 x1152 <= 0 e1199: x238^2 - b904 x1153 <= 0 e1200: x239^2 - b904 x1154 <= 0 e1201: x240^2 - b904 x1155 <= 0 e1202: x241^2 - b905 x1156 <= 0 e1203: x242^2 - b905 x1157 <= 0 e1204: x243^2 - b905 x1158 <= 0 e1205: x244^2 - b905 x1159 <= 0 e1206: x245^2 - b905 x1160 <= 0 e1207: x246^2 - b905 x1161 <= 0 e1208: x247^2 - b905 x1162 <= 0 e1209: x248^2 - b905 x1163 <= 0 e1210: x249^2 - b905 x1164 <= 0 e1211: x250^2 - b905 x1165 <= 0 e1212: x251^2 - b905 x1166 <= 0 e1213: x252^2 - b905 x1167 <= 0 e1214: x253^2 - b905 x1168 <= 0 e1215: x254^2 - b905 x1169 <= 0 e1216: x255^2 - b905 x1170 <= 0 e1217: x256^2 - b905 x1171 <= 0 e1218: x257^2 - b905 x1172 <= 0 e1219: x258^2 - b905 x1173 <= 0 e1220: x259^2 - b905 x1174 <= 0 e1221: x260^2 - b905 x1175 <= 0 e1222: x261^2 - b905 x1176 <= 0 e1223: x262^2 - b905 x1177 <= 0 e1224: x263^2 - b905 x1178 <= 0 e1225: x264^2 - b905 x1179 <= 0 e1226: x265^2 - b905 x1180 <= 0 e1227: x266^2 - b905 x1181 <= 0 e1228: x267^2 - b905 x1182 <= 0 e1229: x268^2 - b905 x1183 <= 0 e1230: x269^2 - b905 x1184 <= 0 e1231: x270^2 - b905 x1185 <= 0 e1232: x271^2 - b905 x1186 <= 0 e1233: x272^2 - b905 x1187 <= 0 e1234: x273^2 - b905 x1188 <= 0 e1235: x274^2 - b905 x1189 <= 0 e1236: x275^2 - b905 x1190 <= 0 e1237: x276^2 - b905 x1191 <= 0 e1238: x277^2 - b905 x1192 <= 0 e1239: x278^2 - b905 x1193 <= 0 e1240: x279^2 - b905 x1194 <= 0 e1241: x280^2 - b905 x1195 <= 0 e1242: x281^2 - b905 x1196 <= 0 e1243: x282^2 - b905 x1197 <= 0 e1244: x283^2 - b905 x1198 <= 0 e1245: x284^2 - b905 x1199 <= 0 e1246: x285^2 - b905 x1200 <= 0 e1247: x286^2 - b905 x1201 <= 0 e1248: x287^2 - b905 x1202 <= 0 e1249: x288^2 - b905 x1203 <= 0 e1250: x289^2 - b905 x1204 <= 0 e1251: x290^2 - b905 x1205 <= 0 e1252: x291^2 - b905 x1206 <= 0 e1253: x292^2 - b905 x1207 <= 0 e1254: x293^2 - b905 x1208 <= 0 e1255: x294^2 - b905 x1209 <= 0 e1256: x295^2 - b905 x1210 <= 0 e1257: x296^2 - b905 x1211 <= 0 e1258: x297^2 - b905 x1212 <= 0 e1259: x298^2 - b905 x1213 <= 0 e1260: x299^2 - b905 x1214 <= 0 e1261: x300^2 - b905 x1215 <= 0 e1262: x301^2 - b906 x1216 <= 0 e1263: x302^2 - b906 x1217 <= 0 e1264: x303^2 - b906 x1218 <= 0 e1265: x304^2 - b906 x1219 <= 0 e1266: x305^2 - b906 x1220 <= 0 e1267: x306^2 - b906 x1221 <= 0 e1268: x307^2 - b906 x1222 <= 0 e1269: x308^2 - b906 x1223 <= 0 e1270: x309^2 - b906 x1224 <= 0 e1271: x310^2 - b906 x1225 <= 0 e1272: x311^2 - b906 x1226 <= 0 e1273: x312^2 - b906 x1227 <= 0 e1274: x313^2 - b906 x1228 <= 0 e1275: x314^2 - b906 x1229 <= 0 e1276: x315^2 - b906 x1230 <= 0 e1277: x316^2 - b906 x1231 <= 0 e1278: x317^2 - b906 x1232 <= 0 e1279: x318^2 - b906 x1233 <= 0 e1280: x319^2 - b906 x1234 <= 0 e1281: x320^2 - b906 x1235 <= 0 e1282: x321^2 - b906 x1236 <= 0 e1283: x322^2 - b906 x1237 <= 0 e1284: x323^2 - b906 x1238 <= 0 e1285: x324^2 - b906 x1239 <= 0 e1286: x325^2 - b906 x1240 <= 0 e1287: x326^2 - b906 x1241 <= 0 e1288: x327^2 - b906 x1242 <= 0 e1289: x328^2 - b906 x1243 <= 0 e1290: x329^2 - b906 x1244 <= 0 e1291: x330^2 - b906 x1245 <= 0 e1292: x331^2 - b906 x1246 <= 0 e1293: x332^2 - b906 x1247 <= 0 e1294: x333^2 - b906 x1248 <= 0 e1295: x334^2 - b906 x1249 <= 0 e1296: x335^2 - b906 x1250 <= 0 e1297: x336^2 - b906 x1251 <= 0 e1298: x337^2 - b906 x1252 <= 0 e1299: x338^2 - b906 x1253 <= 0 e1300: x339^2 - b906 x1254 <= 0 e1301: x340^2 - b906 x1255 <= 0 e1302: x341^2 - b906 x1256 <= 0 e1303: x342^2 - b906 x1257 <= 0 e1304: x343^2 - b906 x1258 <= 0 e1305: x344^2 - b906 x1259 <= 0 e1306: x345^2 - b906 x1260 <= 0 e1307: x346^2 - b906 x1261 <= 0 e1308: x347^2 - b906 x1262 <= 0 e1309: x348^2 - b906 x1263 <= 0 e1310: x349^2 - b906 x1264 <= 0 e1311: x350^2 - b906 x1265 <= 0 e1312: x351^2 - b906 x1266 <= 0 e1313: x352^2 - b906 x1267 <= 0 e1314: x353^2 - b906 x1268 <= 0 e1315: x354^2 - b906 x1269 <= 0 e1316: x355^2 - b906 x1270 <= 0 e1317: x356^2 - b906 x1271 <= 0 e1318: x357^2 - b906 x1272 <= 0 e1319: x358^2 - b906 x1273 <= 0 e1320: x359^2 - b906 x1274 <= 0 e1321: x360^2 - b906 x1275 <= 0 e1322: x361^2 - b907 x1276 <= 0 e1323: x362^2 - b907 x1277 <= 0 e1324: x363^2 - b907 x1278 <= 0 e1325: x364^2 - b907 x1279 <= 0 e1326: x365^2 - b907 x1280 <= 0 e1327: x366^2 - b907 x1281 <= 0 e1328: x367^2 - b907 x1282 <= 0 e1329: x368^2 - b907 x1283 <= 0 e1330: x369^2 - b907 x1284 <= 0 e1331: x370^2 - b907 x1285 <= 0 e1332: x371^2 - b907 x1286 <= 0 e1333: x372^2 - b907 x1287 <= 0 e1334: x373^2 - b907 x1288 <= 0 e1335: x374^2 - b907 x1289 <= 0 e1336: x375^2 - b907 x1290 <= 0 e1337: x376^2 - b907 x1291 <= 0 e1338: x377^2 - b907 x1292 <= 0 e1339: x378^2 - b907 x1293 <= 0 e1340: x379^2 - b907 x1294 <= 0 e1341: x380^2 - b907 x1295 <= 0 e1342: x381^2 - b907 x1296 <= 0 e1343: x382^2 - b907 x1297 <= 0 e1344: x383^2 - b907 x1298 <= 0 e1345: x384^2 - b907 x1299 <= 0 e1346: x385^2 - b907 x1300 <= 0 e1347: x386^2 - b907 x1301 <= 0 e1348: x387^2 - b907 x1302 <= 0 e1349: x388^2 - b907 x1303 <= 0 e1350: x389^2 - b907 x1304 <= 0 e1351: x390^2 - b907 x1305 <= 0 e1352: x391^2 - b907 x1306 <= 0 e1353: x392^2 - b907 x1307 <= 0 e1354: x393^2 - b907 x1308 <= 0 e1355: x394^2 - b907 x1309 <= 0 e1356: x395^2 - b907 x1310 <= 0 e1357: x396^2 - b907 x1311 <= 0 e1358: x397^2 - b907 x1312 <= 0 e1359: x398^2 - b907 x1313 <= 0 e1360: x399^2 - b907 x1314 <= 0 e1361: x400^2 - b907 x1315 <= 0 e1362: x401^2 - b907 x1316 <= 0 e1363: x402^2 - b907 x1317 <= 0 e1364: x403^2 - b907 x1318 <= 0 e1365: x404^2 - b907 x1319 <= 0 e1366: x405^2 - b907 x1320 <= 0 e1367: x406^2 - b907 x1321 <= 0 e1368: x407^2 - b907 x1322 <= 0 e1369: x408^2 - b907 x1323 <= 0 e1370: x409^2 - b907 x1324 <= 0 e1371: x410^2 - b907 x1325 <= 0 e1372: x411^2 - b907 x1326 <= 0 e1373: x412^2 - b907 x1327 <= 0 e1374: x413^2 - b907 x1328 <= 0 e1375: x414^2 - b907 x1329 <= 0 e1376: x415^2 - b907 x1330 <= 0 e1377: x416^2 - b907 x1331 <= 0 e1378: x417^2 - b907 x1332 <= 0 e1379: x418^2 - b907 x1333 <= 0 e1380: x419^2 - b907 x1334 <= 0 e1381: x420^2 - b907 x1335 <= 0 e1382: x421^2 - b908 x1336 <= 0 e1383: x422^2 - b908 x1337 <= 0 e1384: x423^2 - b908 x1338 <= 0 e1385: x424^2 - b908 x1339 <= 0 e1386: x425^2 - b908 x1340 <= 0 e1387: x426^2 - b908 x1341 <= 0 e1388: x427^2 - b908 x1342 <= 0 e1389: x428^2 - b908 x1343 <= 0 e1390: x429^2 - b908 x1344 <= 0 e1391: x430^2 - b908 x1345 <= 0 e1392: x431^2 - b908 x1346 <= 0 e1393: x432^2 - b908 x1347 <= 0 e1394: x433^2 - b908 x1348 <= 0 e1395: x434^2 - b908 x1349 <= 0 e1396: x435^2 - b908 x1350 <= 0 e1397: x436^2 - b908 x1351 <= 0 e1398: x437^2 - b908 x1352 <= 0 e1399: x438^2 - b908 x1353 <= 0 e1400: x439^2 - b908 x1354 <= 0 e1401: x440^2 - b908 x1355 <= 0 e1402: x441^2 - b908 x1356 <= 0 e1403: x442^2 - b908 x1357 <= 0 e1404: x443^2 - b908 x1358 <= 0 e1405: x444^2 - b908 x1359 <= 0 e1406: x445^2 - b908 x1360 <= 0 e1407: x446^2 - b908 x1361 <= 0 e1408: x447^2 - b908 x1362 <= 0 e1409: x448^2 - b908 x1363 <= 0 e1410: x449^2 - b908 x1364 <= 0 e1411: x450^2 - b908 x1365 <= 0 e1412: x451^2 - b908 x1366 <= 0 e1413: x452^2 - b908 x1367 <= 0 e1414: x453^2 - b908 x1368 <= 0 e1415: x454^2 - b908 x1369 <= 0 e1416: x455^2 - b908 x1370 <= 0 e1417: x456^2 - b908 x1371 <= 0 e1418: x457^2 - b908 x1372 <= 0 e1419: x458^2 - b908 x1373 <= 0 e1420: x459^2 - b908 x1374 <= 0 e1421: x460^2 - b908 x1375 <= 0 e1422: x461^2 - b908 x1376 <= 0 e1423: x462^2 - b908 x1377 <= 0 e1424: x463^2 - b908 x1378 <= 0 e1425: x464^2 - b908 x1379 <= 0 e1426: x465^2 - b908 x1380 <= 0 e1427: x466^2 - b908 x1381 <= 0 e1428: x467^2 - b908 x1382 <= 0 e1429: x468^2 - b908 x1383 <= 0 e1430: x469^2 - b908 x1384 <= 0 e1431: x470^2 - b908 x1385 <= 0 e1432: x471^2 - b908 x1386 <= 0 e1433: x472^2 - b908 x1387 <= 0 e1434: x473^2 - b908 x1388 <= 0 e1435: x474^2 - b908 x1389 <= 0 e1436: x475^2 - b908 x1390 <= 0 e1437: x476^2 - b908 x1391 <= 0 e1438: x477^2 - b908 x1392 <= 0 e1439: x478^2 - b908 x1393 <= 0 e1440: x479^2 - b908 x1394 <= 0 e1441: x480^2 - b908 x1395 <= 0 e1442: x481^2 - b909 x1396 <= 0 e1443: x482^2 - b909 x1397 <= 0 e1444: x483^2 - b909 x1398 <= 0 e1445: x484^2 - b909 x1399 <= 0 e1446: x485^2 - b909 x1400 <= 0 e1447: x486^2 - b909 x1401 <= 0 e1448: x487^2 - b909 x1402 <= 0 e1449: x488^2 - b909 x1403 <= 0 e1450: x489^2 - b909 x1404 <= 0 e1451: x490^2 - b909 x1405 <= 0 e1452: x491^2 - b909 x1406 <= 0 e1453: x492^2 - b909 x1407 <= 0 e1454: x493^2 - b909 x1408 <= 0 e1455: x494^2 - b909 x1409 <= 0 e1456: x495^2 - b909 x1410 <= 0 e1457: x496^2 - b909 x1411 <= 0 e1458: x497^2 - b909 x1412 <= 0 e1459: x498^2 - b909 x1413 <= 0 e1460: x499^2 - b909 x1414 <= 0 e1461: x500^2 - b909 x1415 <= 0 e1462: x501^2 - b909 x1416 <= 0 e1463: x502^2 - b909 x1417 <= 0 e1464: x503^2 - b909 x1418 <= 0 e1465: x504^2 - b909 x1419 <= 0 e1466: x505^2 - b909 x1420 <= 0 e1467: x506^2 - b909 x1421 <= 0 e1468: x507^2 - b909 x1422 <= 0 e1469: x508^2 - b909 x1423 <= 0 e1470: x509^2 - b909 x1424 <= 0 e1471: x510^2 - b909 x1425 <= 0 e1472: x511^2 - b909 x1426 <= 0 e1473: x512^2 - b909 x1427 <= 0 e1474: x513^2 - b909 x1428 <= 0 e1475: x514^2 - b909 x1429 <= 0 e1476: x515^2 - b909 x1430 <= 0 e1477: x516^2 - b909 x1431 <= 0 e1478: x517^2 - b909 x1432 <= 0 e1479: x518^2 - b909 x1433 <= 0 e1480: x519^2 - b909 x1434 <= 0 e1481: x520^2 - b909 x1435 <= 0 e1482: x521^2 - b909 x1436 <= 0 e1483: x522^2 - b909 x1437 <= 0 e1484: x523^2 - b909 x1438 <= 0 e1485: x524^2 - b909 x1439 <= 0 e1486: x525^2 - b909 x1440 <= 0 e1487: x526^2 - b909 x1441 <= 0 e1488: x527^2 - b909 x1442 <= 0 e1489: x528^2 - b909 x1443 <= 0 e1490: x529^2 - b909 x1444 <= 0 e1491: x530^2 - b909 x1445 <= 0 e1492: x531^2 - b909 x1446 <= 0 e1493: x532^2 - b909 x1447 <= 0 e1494: x533^2 - b909 x1448 <= 0 e1495: x534^2 - b909 x1449 <= 0 e1496: x535^2 - b909 x1450 <= 0 e1497: x536^2 - b909 x1451 <= 0 e1498: x537^2 - b909 x1452 <= 0 e1499: x538^2 - b909 x1453 <= 0 e1500: x539^2 - b909 x1454 <= 0 e1501: x540^2 - b909 x1455 <= 0 e1502: x541^2 - b910 x1456 <= 0 e1503: x542^2 - b910 x1457 <= 0 e1504: x543^2 - b910 x1458 <= 0 e1505: x544^2 - b910 x1459 <= 0 e1506: x545^2 - b910 x1460 <= 0 e1507: x546^2 - b910 x1461 <= 0 e1508: x547^2 - b910 x1462 <= 0 e1509: x548^2 - b910 x1463 <= 0 e1510: x549^2 - b910 x1464 <= 0 e1511: x550^2 - b910 x1465 <= 0 e1512: x551^2 - b910 x1466 <= 0 e1513: x552^2 - b910 x1467 <= 0 e1514: x553^2 - b910 x1468 <= 0 e1515: x554^2 - b910 x1469 <= 0 e1516: x555^2 - b910 x1470 <= 0 e1517: x556^2 - b910 x1471 <= 0 e1518: x557^2 - b910 x1472 <= 0 e1519: x558^2 - b910 x1473 <= 0 e1520: x559^2 - b910 x1474 <= 0 e1521: x560^2 - b910 x1475 <= 0 e1522: x561^2 - b910 x1476 <= 0 e1523: x562^2 - b910 x1477 <= 0 e1524: x563^2 - b910 x1478 <= 0 e1525: x564^2 - b910 x1479 <= 0 e1526: x565^2 - b910 x1480 <= 0 e1527: x566^2 - b910 x1481 <= 0 e1528: x567^2 - b910 x1482 <= 0 e1529: x568^2 - b910 x1483 <= 0 e1530: x569^2 - b910 x1484 <= 0 e1531: x570^2 - b910 x1485 <= 0 e1532: x571^2 - b910 x1486 <= 0 e1533: x572^2 - b910 x1487 <= 0 e1534: x573^2 - b910 x1488 <= 0 e1535: x574^2 - b910 x1489 <= 0 e1536: x575^2 - b910 x1490 <= 0 e1537: x576^2 - b910 x1491 <= 0 e1538: x577^2 - b910 x1492 <= 0 e1539: x578^2 - b910 x1493 <= 0 e1540: x579^2 - b910 x1494 <= 0 e1541: x580^2 - b910 x1495 <= 0 e1542: x581^2 - b910 x1496 <= 0 e1543: x582^2 - b910 x1497 <= 0 e1544: x583^2 - b910 x1498 <= 0 e1545: x584^2 - b910 x1499 <= 0 e1546: x585^2 - b910 x1500 <= 0 e1547: x586^2 - b910 x1501 <= 0 e1548: x587^2 - b910 x1502 <= 0 e1549: x588^2 - b910 x1503 <= 0 e1550: x589^2 - b910 x1504 <= 0 e1551: x590^2 - b910 x1505 <= 0 e1552: x591^2 - b910 x1506 <= 0 e1553: x592^2 - b910 x1507 <= 0 e1554: x593^2 - b910 x1508 <= 0 e1555: x594^2 - b910 x1509 <= 0 e1556: x595^2 - b910 x1510 <= 0 e1557: x596^2 - b910 x1511 <= 0 e1558: x597^2 - b910 x1512 <= 0 e1559: x598^2 - b910 x1513 <= 0 e1560: x599^2 - b910 x1514 <= 0 e1561: x600^2 - b910 x1515 <= 0 e1562: x601^2 - b911 x1516 <= 0 e1563: x602^2 - b911 x1517 <= 0 e1564: x603^2 - b911 x1518 <= 0 e1565: x604^2 - b911 x1519 <= 0 e1566: x605^2 - b911 x1520 <= 0 e1567: x606^2 - b911 x1521 <= 0 e1568: x607^2 - b911 x1522 <= 0 e1569: x608^2 - b911 x1523 <= 0 e1570: x609^2 - b911 x1524 <= 0 e1571: x610^2 - b911 x1525 <= 0 e1572: x611^2 - b911 x1526 <= 0 e1573: x612^2 - b911 x1527 <= 0 e1574: x613^2 - b911 x1528 <= 0 e1575: x614^2 - b911 x1529 <= 0 e1576: x615^2 - b911 x1530 <= 0 e1577: x616^2 - b911 x1531 <= 0 e1578: x617^2 - b911 x1532 <= 0 e1579: x618^2 - b911 x1533 <= 0 e1580: x619^2 - b911 x1534 <= 0 e1581: x620^2 - b911 x1535 <= 0 e1582: x621^2 - b911 x1536 <= 0 e1583: x622^2 - b911 x1537 <= 0 e1584: x623^2 - b911 x1538 <= 0 e1585: x624^2 - b911 x1539 <= 0 e1586: x625^2 - b911 x1540 <= 0 e1587: x626^2 - b911 x1541 <= 0 e1588: x627^2 - b911 x1542 <= 0 e1589: x628^2 - b911 x1543 <= 0 e1590: x629^2 - b911 x1544 <= 0 e1591: x630^2 - b911 x1545 <= 0 e1592: x631^2 - b911 x1546 <= 0 e1593: x632^2 - b911 x1547 <= 0 e1594: x633^2 - b911 x1548 <= 0 e1595: x634^2 - b911 x1549 <= 0 e1596: x635^2 - b911 x1550 <= 0 e1597: x636^2 - b911 x1551 <= 0 e1598: x637^2 - b911 x1552 <= 0 e1599: x638^2 - b911 x1553 <= 0 e1600: x639^2 - b911 x1554 <= 0 e1601: x640^2 - b911 x1555 <= 0 e1602: x641^2 - b911 x1556 <= 0 e1603: x642^2 - b911 x1557 <= 0 e1604: x643^2 - b911 x1558 <= 0 e1605: x644^2 - b911 x1559 <= 0 e1606: x645^2 - b911 x1560 <= 0 e1607: x646^2 - b911 x1561 <= 0 e1608: x647^2 - b911 x1562 <= 0 e1609: x648^2 - b911 x1563 <= 0 e1610: x649^2 - b911 x1564 <= 0 e1611: x650^2 - b911 x1565 <= 0 e1612: x651^2 - b911 x1566 <= 0 e1613: x652^2 - b911 x1567 <= 0 e1614: x653^2 - b911 x1568 <= 0 e1615: x654^2 - b911 x1569 <= 0 e1616: x655^2 - b911 x1570 <= 0 e1617: x656^2 - b911 x1571 <= 0 e1618: x657^2 - b911 x1572 <= 0 e1619: x658^2 - b911 x1573 <= 0 e1620: x659^2 - b911 x1574 <= 0 e1621: x660^2 - b911 x1575 <= 0 e1622: x661^2 - b912 x1576 <= 0 e1623: x662^2 - b912 x1577 <= 0 e1624: x663^2 - b912 x1578 <= 0 e1625: x664^2 - b912 x1579 <= 0 e1626: x665^2 - b912 x1580 <= 0 e1627: x666^2 - b912 x1581 <= 0 e1628: x667^2 - b912 x1582 <= 0 e1629: x668^2 - b912 x1583 <= 0 e1630: x669^2 - b912 x1584 <= 0 e1631: x670^2 - b912 x1585 <= 0 e1632: x671^2 - b912 x1586 <= 0 e1633: x672^2 - b912 x1587 <= 0 e1634: x673^2 - b912 x1588 <= 0 e1635: x674^2 - b912 x1589 <= 0 e1636: x675^2 - b912 x1590 <= 0 e1637: x676^2 - b912 x1591 <= 0 e1638: x677^2 - b912 x1592 <= 0 e1639: x678^2 - b912 x1593 <= 0 e1640: x679^2 - b912 x1594 <= 0 e1641: x680^2 - b912 x1595 <= 0 e1642: x681^2 - b912 x1596 <= 0 e1643: x682^2 - b912 x1597 <= 0 e1644: x683^2 - b912 x1598 <= 0 e1645: x684^2 - b912 x1599 <= 0 e1646: x685^2 - b912 x1600 <= 0 e1647: x686^2 - b912 x1601 <= 0 e1648: x687^2 - b912 x1602 <= 0 e1649: x688^2 - b912 x1603 <= 0 e1650: x689^2 - b912 x1604 <= 0 e1651: x690^2 - b912 x1605 <= 0 e1652: x691^2 - b912 x1606 <= 0 e1653: x692^2 - b912 x1607 <= 0 e1654: x693^2 - b912 x1608 <= 0 e1655: x694^2 - b912 x1609 <= 0 e1656: x695^2 - b912 x1610 <= 0 e1657: x696^2 - b912 x1611 <= 0 e1658: x697^2 - b912 x1612 <= 0 e1659: x698^2 - b912 x1613 <= 0 e1660: x699^2 - b912 x1614 <= 0 e1661: x700^2 - b912 x1615 <= 0 e1662: x701^2 - b912 x1616 <= 0 e1663: x702^2 - b912 x1617 <= 0 e1664: x703^2 - b912 x1618 <= 0 e1665: x704^2 - b912 x1619 <= 0 e1666: x705^2 - b912 x1620 <= 0 e1667: x706^2 - b912 x1621 <= 0 e1668: x707^2 - b912 x1622 <= 0 e1669: x708^2 - b912 x1623 <= 0 e1670: x709^2 - b912 x1624 <= 0 e1671: x710^2 - b912 x1625 <= 0 e1672: x711^2 - b912 x1626 <= 0 e1673: x712^2 - b912 x1627 <= 0 e1674: x713^2 - b912 x1628 <= 0 e1675: x714^2 - b912 x1629 <= 0 e1676: x715^2 - b912 x1630 <= 0 e1677: x716^2 - b912 x1631 <= 0 e1678: x717^2 - b912 x1632 <= 0 e1679: x718^2 - b912 x1633 <= 0 e1680: x719^2 - b912 x1634 <= 0 e1681: x720^2 - b912 x1635 <= 0 e1682: x721^2 - b913 x1636 <= 0 e1683: x722^2 - b913 x1637 <= 0 e1684: x723^2 - b913 x1638 <= 0 e1685: x724^2 - b913 x1639 <= 0 e1686: x725^2 - b913 x1640 <= 0 e1687: x726^2 - b913 x1641 <= 0 e1688: x727^2 - b913 x1642 <= 0 e1689: x728^2 - b913 x1643 <= 0 e1690: x729^2 - b913 x1644 <= 0 e1691: x730^2 - b913 x1645 <= 0 e1692: x731^2 - b913 x1646 <= 0 e1693: x732^2 - b913 x1647 <= 0 e1694: x733^2 - b913 x1648 <= 0 e1695: x734^2 - b913 x1649 <= 0 e1696: x735^2 - b913 x1650 <= 0 e1697: x736^2 - b913 x1651 <= 0 e1698: x737^2 - b913 x1652 <= 0 e1699: x738^2 - b913 x1653 <= 0 e1700: x739^2 - b913 x1654 <= 0 e1701: x740^2 - b913 x1655 <= 0 e1702: x741^2 - b913 x1656 <= 0 e1703: x742^2 - b913 x1657 <= 0 e1704: x743^2 - b913 x1658 <= 0 e1705: x744^2 - b913 x1659 <= 0 e1706: x745^2 - b913 x1660 <= 0 e1707: x746^2 - b913 x1661 <= 0 e1708: x747^2 - b913 x1662 <= 0 e1709: x748^2 - b913 x1663 <= 0 e1710: x749^2 - b913 x1664 <= 0 e1711: x750^2 - b913 x1665 <= 0 e1712: x751^2 - b913 x1666 <= 0 e1713: x752^2 - b913 x1667 <= 0 e1714: x753^2 - b913 x1668 <= 0 e1715: x754^2 - b913 x1669 <= 0 e1716: x755^2 - b913 x1670 <= 0 e1717: x756^2 - b913 x1671 <= 0 e1718: x757^2 - b913 x1672 <= 0 e1719: x758^2 - b913 x1673 <= 0 e1720: x759^2 - b913 x1674 <= 0 e1721: x760^2 - b913 x1675 <= 0 e1722: x761^2 - b913 x1676 <= 0 e1723: x762^2 - b913 x1677 <= 0 e1724: x763^2 - b913 x1678 <= 0 e1725: x764^2 - b913 x1679 <= 0 e1726: x765^2 - b913 x1680 <= 0 e1727: x766^2 - b913 x1681 <= 0 e1728: x767^2 - b913 x1682 <= 0 e1729: x768^2 - b913 x1683 <= 0 e1730: x769^2 - b913 x1684 <= 0 e1731: x770^2 - b913 x1685 <= 0 e1732: x771^2 - b913 x1686 <= 0 e1733: x772^2 - b913 x1687 <= 0 e1734: x773^2 - b913 x1688 <= 0 e1735: x774^2 - b913 x1689 <= 0 e1736: x775^2 - b913 x1690 <= 0 e1737: x776^2 - b913 x1691 <= 0 e1738: x777^2 - b913 x1692 <= 0 e1739: x778^2 - b913 x1693 <= 0 e1740: x779^2 - b913 x1694 <= 0 e1741: x780^2 - b913 x1695 <= 0 e1742: x781^2 - b914 x1696 <= 0 e1743: x782^2 - b914 x1697 <= 0 e1744: x783^2 - b914 x1698 <= 0 e1745: x784^2 - b914 x1699 <= 0 e1746: x785^2 - b914 x1700 <= 0 e1747: x786^2 - b914 x1701 <= 0 e1748: x787^2 - b914 x1702 <= 0 e1749: x788^2 - b914 x1703 <= 0 e1750: x789^2 - b914 x1704 <= 0 e1751: x790^2 - b914 x1705 <= 0 e1752: x791^2 - b914 x1706 <= 0 e1753: x792^2 - b914 x1707 <= 0 e1754: x793^2 - b914 x1708 <= 0 e1755: x794^2 - b914 x1709 <= 0 e1756: x795^2 - b914 x1710 <= 0 e1757: x796^2 - b914 x1711 <= 0 e1758: x797^2 - b914 x1712 <= 0 e1759: x798^2 - b914 x1713 <= 0 e1760: x799^2 - b914 x1714 <= 0 e1761: x800^2 - b914 x1715 <= 0 e1762: x801^2 - b914 x1716 <= 0 e1763: x802^2 - b914 x1717 <= 0 e1764: x803^2 - b914 x1718 <= 0 e1765: x804^2 - b914 x1719 <= 0 e1766: x805^2 - b914 x1720 <= 0 e1767: x806^2 - b914 x1721 <= 0 e1768: x807^2 - b914 x1722 <= 0 e1769: x808^2 - b914 x1723 <= 0 e1770: x809^2 - b914 x1724 <= 0 e1771: x810^2 - b914 x1725 <= 0 e1772: x811^2 - b914 x1726 <= 0 e1773: x812^2 - b914 x1727 <= 0 e1774: x813^2 - b914 x1728 <= 0 e1775: x814^2 - b914 x1729 <= 0 e1776: x815^2 - b914 x1730 <= 0 e1777: x816^2 - b914 x1731 <= 0 e1778: x817^2 - b914 x1732 <= 0 e1779: x818^2 - b914 x1733 <= 0 e1780: x819^2 - b914 x1734 <= 0 e1781: x820^2 - b914 x1735 <= 0 e1782: x821^2 - b914 x1736 <= 0 e1783: x822^2 - b914 x1737 <= 0 e1784: x823^2 - b914 x1738 <= 0 e1785: x824^2 - b914 x1739 <= 0 e1786: x825^2 - b914 x1740 <= 0 e1787: x826^2 - b914 x1741 <= 0 e1788: x827^2 - b914 x1742 <= 0 e1789: x828^2 - b914 x1743 <= 0 e1790: x829^2 - b914 x1744 <= 0 e1791: x830^2 - b914 x1745 <= 0 e1792: x831^2 - b914 x1746 <= 0 e1793: x832^2 - b914 x1747 <= 0 e1794: x833^2 - b914 x1748 <= 0 e1795: x834^2 - b914 x1749 <= 0 e1796: x835^2 - b914 x1750 <= 0 e1797: x836^2 - b914 x1751 <= 0 e1798: x837^2 - b914 x1752 <= 0 e1799: x838^2 - b914 x1753 <= 0 e1800: x839^2 - b914 x1754 <= 0 e1801: x840^2 - b914 x1755 <= 0 e1802: x841^2 - b915 x1756 <= 0 e1803: x842^2 - b915 x1757 <= 0 e1804: x843^2 - b915 x1758 <= 0 e1805: x844^2 - b915 x1759 <= 0 e1806: x845^2 - b915 x1760 <= 0 e1807: x846^2 - b915 x1761 <= 0 e1808: x847^2 - b915 x1762 <= 0 e1809: x848^2 - b915 x1763 <= 0 e1810: x849^2 - b915 x1764 <= 0 e1811: x850^2 - b915 x1765 <= 0 e1812: x851^2 - b915 x1766 <= 0 e1813: x852^2 - b915 x1767 <= 0 e1814: x853^2 - b915 x1768 <= 0 e1815: x854^2 - b915 x1769 <= 0 e1816: x855^2 - b915 x1770 <= 0 e1817: x856^2 - b915 x1771 <= 0 e1818: x857^2 - b915 x1772 <= 0 e1819: x858^2 - b915 x1773 <= 0 e1820: x859^2 - b915 x1774 <= 0 e1821: x860^2 - b915 x1775 <= 0 e1822: x861^2 - b915 x1776 <= 0 e1823: x862^2 - b915 x1777 <= 0 e1824: x863^2 - b915 x1778 <= 0 e1825: x864^2 - b915 x1779 <= 0 e1826: x865^2 - b915 x1780 <= 0 e1827: x866^2 - b915 x1781 <= 0 e1828: x867^2 - b915 x1782 <= 0 e1829: x868^2 - b915 x1783 <= 0 e1830: x869^2 - b915 x1784 <= 0 e1831: x870^2 - b915 x1785 <= 0 e1832: x871^2 - b915 x1786 <= 0 e1833: x872^2 - b915 x1787 <= 0 e1834: x873^2 - b915 x1788 <= 0 e1835: x874^2 - b915 x1789 <= 0 e1836: x875^2 - b915 x1790 <= 0 e1837: x876^2 - b915 x1791 <= 0 e1838: x877^2 - b915 x1792 <= 0 e1839: x878^2 - b915 x1793 <= 0 e1840: x879^2 - b915 x1794 <= 0 e1841: x880^2 - b915 x1795 <= 0 e1842: x881^2 - b915 x1796 <= 0 e1843: x882^2 - b915 x1797 <= 0 e1844: x883^2 - b915 x1798 <= 0 e1845: x884^2 - b915 x1799 <= 0 e1846: x885^2 - b915 x1800 <= 0 e1847: x886^2 - b915 x1801 <= 0 e1848: x887^2 - b915 x1802 <= 0 e1849: x888^2 - b915 x1803 <= 0 e1850: x889^2 - b915 x1804 <= 0 e1851: x890^2 - b915 x1805 <= 0 e1852: x891^2 - b915 x1806 <= 0 e1853: x892^2 - b915 x1807 <= 0 e1854: x893^2 - b915 x1808 <= 0 e1855: x894^2 - b915 x1809 <= 0 e1856: x895^2 - b915 x1810 <= 0 e1857: x896^2 - b915 x1811 <= 0 e1858: x897^2 - b915 x1812 <= 0 e1859: x898^2 - b915 x1813 <= 0 e1860: x899^2 - b915 x1814 <= 0 e1861: x900^2 - b915 x1815 <= 0 Binary b901 b902 b903 b904 b905 b906 b907 b908 b909 b910 b911 b912 b913 b914 b915 End