\ Equation counts \ Total E G L N X C B \ 880 80 0 800 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 810 800 10 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 3210 2410 800 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 + 46 b801 + 78 b802 + 94 b803 + 40 b804 + 48 b805 + 52 b806 + 97 b807 + 11 b808 + 84 b809 + 78 b810 + 46.3993045773714 x1^2 + 55.9442238831381 x2^2 + 35.9858037923767 x3^2 + 7.74760065251028 x4^2 + 47.3973107403879 x5^2 + 41.5586751763542 x6^2 + 32.2577684137998 x7^2 + 40.9155181269752 x8^2 + 38.1492621007351 x9^2 + 46.02722914945 x10^2 + 36.5871135071686 x11^2 + 19.1980393932011 x12^2 + 15.2397493830778 x13^2 + 18.7461590412925 x14^2 + 28.2414456377265 x15^2 + 40.1038364853774 x16^2 + 46.6212434688975 x17^2 + 25.2125927507516 x18^2 + 50.2235539362714 x19^2 + 22.1793156355576 x20^2 + 56.0229235816631 x21^2 + 32.3027462567321 x22^2 + 17.9383921805049 x23^2 + 38.4293025894354 x24^2 + 8.4551759567211 x25^2 + 33.7103417000405 x26^2 + 51.4649062656343 x27^2 + 49.8279873270445 x28^2 + 54.5657657262159 x29^2 + 45.4638904541708 x30^2 + 23.246560122187 x31^2 + 32.0269104927362 x32^2 + 39.1014031912343 x33^2 + 19.7907226468042 x34^2 + 13.5558802711279 x35^2 + 29.2470376113857 x36^2 + 40.469213024898 x37^2 + 18.9273373894256 x38^2 + 39.0980550145351 x39^2 + 24.6120859885115 x40^2 + 55.1209225128035 x41^2 + 11.0326556707564 x42^2 + 17.3318281760288 x43^2 + 7.70633182560604 x44^2 + 40.468471337442 x45^2 + 29.4650840703387 x46^2 + 17.9706735942109 x47^2 + 44.1871181697448 x48^2 + 27.2513526361915 x49^2 + 29.1446866799393 x50^2 + 23.7263119165335 x51^2 + 1.93612780585517 x52^2 + 29.4079430933553 x53^2 + 39.6725757032008 x54^2 + 31.8709179283637 x55^2 + 32.0168653628664 x56^2 + 42.5570515946606 x57^2 + 41.8376506092497 x58^2 + 28.0842861962711 x59^2 + 40.3528935814116 x60^2 + 33.9912181155452 x61^2 + 28.4381652458374 x62^2 + 41.2623708827778 x63^2 + 38.4784387054321 x64^2 + 60.5737806128026 x65^2 + 31.2868972985517 x66^2 + 27.8772193029146 x67^2 + 40.800948989817 x68^2 + 31.836382249311 x69^2 + 33.069615976 x70^2 + 33.5695307638207 x71^2 + 25.6558838561961 x72^2 + 4.81871993846311 x73^2 + 9.71938484777858 x74^2 + 17.8978260861478 x75^2 + 38.0365738936654 x76^2 + 42.1981444044243 x77^2 + 22.1407970979477 x78^2 + 39.8365687304824 x79^2 + 33.4944895979335 x80^2 + 35.4031225808253 x81^2 + 42.8380601498733 x82^2 + 47.1945969341057 x83^2 + 30.353359704288 x84^2 + 30.4920000999634 x85^2 + 28.6454544528211 x86^2 + 8.33978293784516 x87^2 + 10.5643838413152 x88^2 + 4.402043745325 x89^2 + 7.99206396868133 x90^2 + 5.36122118682004 x91^2 + 19.86501851409 x92^2 + 25.3904760369664 x93^2 + 34.3794035705316 x94^2 + 10.1737390150113 x95^2 + 43.4368354394235 x96^2 + 43.649027373659 x97^2 + 25.4816061473801 x98^2 + 22.0145319351135 x99^2 + 34.1519842562773 x100^2 + 33.2111948410276 x101^2 + 44.088395397774 x102^2 + 20.2065474184324 x103^2 + 34.4295433343913 x104^2 + 29.9707564135797 x105^2 + 45.8206602765008 x106^2 + 38.6634218810238 x107^2 + 37.2321259290487 x108^2 + 36.39030704369 x109^2 + 23.0388452546 x110^2 + 25.2922173723287 x111^2 + 9.20565234079448 x112^2 + 15.192923430099 x113^2 + 33.7795520850765 x114^2 + 24.5400409084918 x115^2 + 11.4075164901146 x116^2 + 53.0445286657081 x117^2 + 26.2010544599897 x118^2 + 17.8841731002265 x119^2 + 16.1540374591639 x120^2 + 34.7268205154916 x121^2 + 37.3845104599658 x122^2 + 33.2247746256542 x123^2 + 30.5324647417592 x124^2 + 12.3188538602464 x125^2 + 42.6984742186243 x126^2 + 24.0378837613211 x127^2 + 28.0645904169861 x128^2 + 11.2140539375025 x129^2 + 42.8024200472361 x130^2 + 17.4950927543865 x131^2 + 36.355438354786 x132^2 + 45.922913248825 x133^2 + 47.9599355173622 x134^2 + 8.81780358097375 x135^2 + 9.58948542865934 x136^2 + 15.784904888185 x137^2 + 25.8746145296523 x138^2 + 10.5854835395004 x139^2 + 2.31897062257398 x140^2 + 4.44792350389103 x141^2 + 27.2040012790256 x142^2 + 9.65906262875439 x143^2 + 1.08933863138177 x144^2 + 42.9974405194226 x145^2 + 9.41346434798097 x146^2 + 10.8773844893048 x147^2 + 2.83523867837252 x148^2 + 24.25468682931 x149^2 + 8.9594572493309 x150^2 + 17.0960540405549 x151^2 + 12.3960701036919 x152^2 + 35.0238484511738 x153^2 + 32.3952985697178 x154^2 + 22.0950706725585 x155^2 + 41.5118948618236 x156^2 + 33.1263540231337 x157^2 + 23.7714450894688 x158^2 + 46.6929100012842 x159^2 + 51.228191215958 x160^2 + 11.4248242987598 x161^2 + 5.32201314783606 x162^2 + 34.3540868032259 x163^2 + 52.7816008810238 x164^2 + 10.8418187076378 x165^2 + 15.9677306861344 x166^2 + 46.7148890847713 x167^2 + 29.9059523241364 x168^2 + 44.8288013469945 x169^2 + 40.1953236450419 x170^2 + 35.5799677750933 x171^2 + 42.1578282661526 x172^2 + 43.1001543633926 x173^2 + 40.1913619523189 x174^2 + 44.4965941573248 x175^2 + 25.6084349424401 x176^2 + 18.2166971516265 x177^2 + 32.1976682454314 x178^2 + 20.3685779952826 x179^2 + 36.9003391425784 x180^2 + 9.47350524397615 x181^2 + 34.7140638972562 x182^2 + 45.1938042485131 x183^2 + 20.2438571584788 x184^2 + 53.6084855252706 x185^2 + 35.1462712505982 x186^2 + 6.83441376412855 x187^2 + 8.07308681715347 x188^2 + 4.04783342048837 x189^2 + 17.397390853956 x190^2 + 34.2122394558653 x191^2 + 47.626070223881 x192^2 + 25.7016593118057 x193^2 + 38.9557315545732 x194^2 + 49.4357880506379 x195^2 + 48.2335809356058 x196^2 + 37.1904955969107 x197^2 + 38.5581273459405 x198^2 + 23.4719903563352 x199^2 + 37.3951636746155 x200^2 + 6.42364421662331 x201^2 + 48.528730939169 x202^2 + 40.9723336820053 x203^2 + 53.4364130774321 x204^2 + 28.1160962880653 x205^2 + 36.1930764077096 x206^2 + 40.3060888670383 x207^2 + 14.0740437055619 x208^2 + 40.1576977655365 x209^2 + 36.6171581392132 x210^2 + 37.3401955615607 x211^2 + 55.4905202270993 x212^2 + 39.6567842334327 x213^2 + 31.3330521411068 x214^2 + 47.0249525526596 x215^2 + 48.0807060926756 x216^2 + 24.6542146702696 x217^2 + 16.7097410791333 x218^2 + 45.2657598957093 x219^2 + 40.0815481589321 x220^2 + 39.2097826131785 x221^2 + 28.9133433183548 x222^2 + 30.9208194181875 x223^2 + 39.3985813623691 x224^2 + 3.23146232584697 x225^2 + 47.3274760633515 x226^2 + 45.5520216528823 x227^2 + 39.6375478175998 x228^2 + 25.8174003218286 x229^2 + 34.4752177639806 x230^2 + 27.4580060824535 x231^2 + 42.8186600978265 x232^2 + 57.7946256383456 x233^2 + 58.6525121022135 x234^2 + 41.7598313021144 x235^2 + 25.9704704710791 x236^2 + 15.4808827265523 x237^2 + 35.6725943591174 x238^2 + 29.6088059637495 x239^2 + 42.0428835474887 x240^2 + 18.2454278787454 x241^2 + 25.2471072715454 x242^2 + 6.23359143098086 x243^2 + 34.4439933356178 x244^2 + 23.8444107894263 x245^2 + 19.1021734848801 x246^2 + 43.244730324771 x247^2 + 35.2789764117959 x248^2 + 45.3497170648697 x249^2 + 46.7836908406533 x250^2 + 36.7852631979502 x251^2 + 29.4749202947297 x252^2 + 26.4236400929034 x253^2 + 16.9926863154317 x254^2 + 38.8330444666837 x255^2 + 4.6430286923567 x256^2 + 12.4360455755786 x257^2 + 17.6478431478027 x258^2 + 35.4904490622046 x259^2 + 13.7875188814694 x260^2 + 33.1366158457052 x261^2 + 5.74379415170195 x262^2 + 32.3422403289507 x263^2 + 10.4753190818862 x264^2 + 35.7771978083595 x265^2 + 6.28779842325012 x266^2 + 22.1516642994802 x267^2 + 21.1040805910126 x268^2 + 28.2579711336703 x269^2 + 28.4743842692825 x270^2 + 18.9186839226382 x271^2 + 43.8390933948306 x272^2 + 29.6749816619223 x273^2 + 16.1198312462324 x274^2 + 34.2057046341431 x275^2 + 42.6752555029341 x276^2 + 11.4886798079175 x277^2 + 21.4640541188261 x278^2 + 27.2194942291297 x279^2 + 28.3225259754337 x280^2 + 30.4708204718959 x281^2 + 24.7637235182423 x282^2 + 18.6281274890543 x283^2 + 35.1751393604887 x284^2 + 33.3224078859548 x285^2 + 7.66115985180498 x286^2 + 24.6716157474657 x287^2 + 22.3564118645256 x288^2 + 33.9534482035247 x289^2 + 8.10108907552388 x290^2 + 27.2544648497562 x291^2 + 34.1579706946215 x292^2 + 10.7454786859671 x293^2 + 6.1319918932409 x294^2 + 43.2613535898837 x295^2 + 44.1963374354612 x296^2 + 32.1236796295748 x297^2 + 22.0241147022047 x298^2 + 39.4185144380856 x299^2 + 43.0979600766932 x300^2 + 38.065377058519 x301^2 + 14.8843562462612 x302^2 + 36.4187227734519 x303^2 + 41.3236666654772 x304^2 + 31.7317213923642 x305^2 + 43.1545586057503 x306^2 + 39.5398030110252 x307^2 + 43.0485505012375 x308^2 + 17.7252363771577 x309^2 + 32.908297414584 x310^2 + 25.1352768607569 x311^2 + 35.4723495252316 x312^2 + 38.0607769021702 x313^2 + 40.9934013127675 x314^2 + 27.4701710306807 x315^2 + 3.12644478387068 x316^2 + 15.4464080576162 x317^2 + 21.1372524621016 x318^2 + 5.14727658090645 x319^2 + 13.3743170120895 x320^2 + 19.927992608412 x321^2 + 27.4009761499704 x322^2 + 35.3185823893007 x323^2 + 32.5303720223702 x324^2 + 15.0589701303697 x325^2 + 13.323145974162 x326^2 + 21.3009967402149 x327^2 + 6.13338757819808 x328^2 + 19.88846604804 x329^2 + 18.0079122831532 x330^2 + 10.3488308350995 x331^2 + 20.4258718987357 x332^2 + 23.8818485960048 x333^2 + 27.8454116234814 x334^2 + 19.3512234977453 x335^2 + 29.8521333693138 x336^2 + 28.7144190955151 x337^2 + 17.1233502797279 x338^2 + 11.1790468322744 x339^2 + 26.1137621617755 x340^2 + 19.5746299368007 x341^2 + 32.9270998722671 x342^2 + 22.8435166974634 x343^2 + 20.272880642704 x344^2 + 32.8693190382012 x345^2 + 34.4500433970807 x346^2 + 23.1445119159099 x347^2 + 21.6971914309073 x348^2 + 21.4517088090616 x349^2 + 8.30221570181915 x350^2 + 18.19814700638 x351^2 + 22.2131549870274 x352^2 + .366086648724537 x353^2 + 26.8239767433264 x354^2 + 27.6994944763606 x355^2 + 22.9291892906661 x356^2 + 40.8313824691557 x357^2 + 21.4874001240633 x358^2 + 2.43349663037948 x359^2 + 14.8619492733894 x360^2 + 20.2836292621123 x361^2 + 33.9686704518264 x362^2 + 27.4504310740703 x363^2 + 33.0233986151093 x364^2 + 4.05613974827552 x365^2 + 32.3272503965134 x366^2 + 21.2885467317363 x367^2 + 12.5276406216721 x368^2 + 15.5454940391368 x369^2 + 32.5580158043236 x370^2 + 15.488530329114 x371^2 + 37.144648115679 x372^2 + 36.0269196580319 x373^2 + 35.1268458333082 x374^2 + 21.6135403345908 x375^2 + 22.6678794859787 x376^2 + 3.65042256479784 x377^2 + 10.3849250297378 x378^2 + 20.1158880161369 x379^2 + 15.769368421715 x380^2 + 13.8065559833972 x381^2 + 16.7215502946213 x382^2 + 7.33118384755047 x383^2 + 14.6086655410016 x384^2 + 28.2176898256587 x385^2 + 21.9265933679342 x386^2 + 20.4194953074599 x387^2 + 15.479693245373 x388^2 + 12.2799433678466 x389^2 + 9.20553088743818 x390^2 + 5.92985357111805 x391^2 + 18.2704482898431 x392^2 + 37.8162210229934 x393^2 + 37.1385575769964 x394^2 + 21.225816264081 x395^2 + 28.2366282764713 x396^2 + 18.0072349580467 x397^2 + 18.0554206954455 x398^2 + 33.6259862368626 x399^2 + 40.8603169258208 x400^2 + 3.68423367503528 x401^2 + 12.7675868035273 x402^2 + 20.7012379195113 x403^2 + 39.4708380892276 x404^2 + 9.42360039120761 x405^2 + 6.68107236540866 x406^2 + 39.1602909971797 x407^2 + 25.9790212376987 x408^2 + 39.2392895068542 x409^2 + 37.8294935050738 x410^2 + 29.7094762175313 x411^2 + 30.2591539902094 x412^2 + 29.8998072461199 x413^2 + 25.373198248667 x414^2 + 35.7465536718106 x415^2 + 12.5557649793753 x416^2 + 8.83766857459122 x417^2 + 18.7159440684147 x418^2 + 22.4329982761664 x419^2 + 21.9996746679186 x420^2 + 18.4258569286285 x421^2 + 20.2798668255613 x422^2 + 33.4225825313185 x423^2 + 5.17726328637039 x424^2 + 40.4791029847308 x425^2 + 21.0171947347826 x426^2 + 8.48246109051655 x427^2 + 7.01213011519907 x428^2 + 13.6748577268432 x429^2 + 15.7485538042837 x430^2 + 20.7450969430439 x431^2 + 39.9641748762753 x432^2 + 20.2993223899308 x433^2 + 24.1520243047212 x434^2 + 37.0158535485477 x435^2 + 39.7486097854597 x436^2 + 24.7930554320994 x437^2 + 24.9519531827595 x438^2 + 17.5003757957724 x439^2 + 26.5468529368435 x440^2 + 15.7508134178302 x441^2 + 33.7977383814895 x442^2 + 26.3068654272978 x443^2 + 40.1684378786226 x444^2 + 23.8711803524935 x445^2 + 21.420660148202 x446^2 + 27.2577698790348 x447^2 + 8.91798509970556 x448^2 + 30.8425197864337 x449^2 + 21.8301123797128 x450^2 + 26.0622890062835 x451^2 + 41.4085628115431 x452^2 + 25.0480434098597 x453^2 + 18.6189985911545 x454^2 + 39.3421564040344 x455^2 + 40.3948298863565 x456^2 + 21.4726981733456 x457^2 + 9.89539927094896 x458^2 + 36.476795920813 x459^2 + 35.5943802899248 x460^2 + 32.3541787062463 x461^2 + 15.0864485409792 x462^2 + 27.1803631110648 x463^2 + 34.2426660561395 x464^2 + 18.1378203761421 x465^2 + 39.4601861055439 x466^2 + 36.7029184918719 x467^2 + 35.3488627358622 x468^2 + 13.4987158861929 x469^2 + 26.9587601015478 x470^2 + 18.5110063123543 x471^2 + 33.1781482466522 x472^2 + 44.1968516455506 x473^2 + 45.7160569820916 x474^2 + 29.2559914408935 x475^2 + 12.0698941185367 x476^2 + 1.94069666129853 x477^2 + 22.5907754131515 x478^2 + 16.8571144583928 x479^2 + 28.1023500914944 x480^2 + 38.0442764231135 x481^2 + 47.1864765614081 x482^2 + 24.2621770922856 x483^2 + 14.7468310927823 x484^2 + 40.476229330287 x485^2 + 34.450339375217 x486^2 + 35.983208222351 x487^2 + 39.2642381302759 x488^2 + 40.977973240714 x489^2 + 47.1195120433001 x490^2 + 36.5743340119852 x491^2 + 19.8442170779113 x492^2 + 14.2225974987301 x493^2 + 9.22674324094415 x494^2 + 31.2773300662591 x495^2 + 29.2541941536507 x496^2 + 36.4210221173232 x497^2 + 19.1340664705315 x498^2 + 46.2968160273659 x499^2 + 12.5319262047393 x500^2 + 49.7989536366923 x501^2 + 20.710954073122 x502^2 + 20.5129577533512 x503^2 + 29.4360670224155 x504^2 + 16.1951164696794 x505^2 + 21.9968089026959 x506^2 + 43.0108529581026 x507^2 + 41.4857048606827 x508^2 + 47.1871421257398 x509^2 + 40.4309724162735 x510^2 + 17.6706128122405 x511^2 + 36.0630268716014 x512^2 + 35.8964366778661 x513^2 + 10.4666572756 x514^2 + 18.4401934912824 x515^2 + 33.634493732302 x516^2 + 28.5430353467777 x517^2 + 14.3888400549071 x518^2 + 35.0469394627371 x519^2 + 23.7280057546385 x520^2 + 48.2931022938917 x521^2 + 2.25369745613458 x522^2 + 8.73875298201703 x523^2 + 15.2991781465564 x524^2 + 38.2315800676569 x525^2 + 17.8829468347918 x526^2 + 15.6757009070175 x527^2 + 37.5284364828985 x528^2 + 28.4060917864951 x529^2 + 17.5267525455764 x530^2 + 22.4609817426765 x531^2 + 11.1204049670455 x532^2 + 17.491214485526 x533^2 + 28.1036279364271 x534^2 + 35.7176027866873 x535^2 + 36.20159526695 x536^2 + 39.4083602534003 x537^2 + 35.5563796991174 x538^2 + 31.4185585398457 x539^2 + 41.7043292859896 x540^2 + 35.1477165259317 x541^2 + 21.3035235620211 x542^2 + 39.9311564610115 x543^2 + 39.6839979116006 x544^2 + 52.5671601997082 x545^2 + 35.2632476687518 x546^2 + 31.3234615381244 x547^2 + 42.009073033354 x548^2 + 25.6505674628948 x549^2 + 32.414458833082 x550^2 + 29.8349972625649 x551^2 + 27.8967958912084 x552^2 + 15.814766775617 x553^2 + 20.1649726551715 x554^2 + 17.4966848836778 x555^2 + 27.3548677601532 x556^2 + 33.926249798029 x557^2 + 17.7405872292382 x558^2 + 28.441869619416 x559^2 + 21.5580420854881 x560^2 + 16.303777979142 x561^2 + 25.8345761468227 x562^2 + 24.0765273812358 x563^2 + 26.5940412121112 x564^2 + 15.8406557945207 x565^2 + 10.2405455797408 x566^2 + 25.9264330324927 x567^2 + 17.2250997035654 x568^2 + 27.1968611474344 x569^2 + 28.4189138660779 x570^2 + 18.3656587955806 x571^2 + 16.290756464149 x572^2 + 16.926990821665 x573^2 + 16.9768407917527 x574^2 + 22.0606031453503 x575^2 + 19.9746115454036 x576^2 + 21.4471222710083 x577^2 + 6.63429635830167 x578^2 + 20.9443958763375 x579^2 + 14.7295054220002 x580^2 + 24.5034620624253 x581^2 + 21.3845509323004 x582^2 + 19.4313342880405 x583^2 + 11.5897228815793 x584^2 + 27.4033980629383 x585^2 + 22.9891715217779 x586^2 + 21.1387972590792 x587^2 + 19.4388665702712 x588^2 + 23.1068988066718 x589^2 + 14.7500108968036 x590^2 + 8.43185059921015 x591^2 + 26.6483954333818 x592^2 + 12.0354217900152 x593^2 + 15.8333025122689 x594^2 + 23.3557498866106 x595^2 + 26.0708948568316 x596^2 + 29.8024536310125 x597^2 + 12.6880173049846 x598^2 + 10.1956062305094 x599^2 + 12.4218966032488 x600^2 + 23.5146973092285 x601^2 + 24.2413771170121 x602^2 + 16.9930192149027 x603^2 + 27.2413131825682 x604^2 + 15.4332753109764 x605^2 + 20.611168356735 x606^2 + 14.1175372024934 x607^2 + 12.5935878258125 x608^2 + 17.06990086217 x609^2 + 20.8280812860518 x610^2 + 11.9248097440234 x611^2 + 29.7023558611378 x612^2 + 24.2795316325272 x613^2 + 24.491789761459 x614^2 + 26.0366353540972 x615^2 + 27.0535967162921 x616^2 + 15.1391078406488 x617^2 + 10.2366780811729 x618^2 + 22.7557370690134 x619^2 + 24.6743761161036 x620^2 + 19.9383128450436 x621^2 + 5.02690717252969 x622^2 + 18.2992583407936 x623^2 + 22.9310799227362 x624^2 + 29.4245170227825 x625^2 + 26.0605269328005 x626^2 + 22.9528062157748 x627^2 + 24.6154106298804 x628^2 + .75979672922935 x629^2 + 14.6208983937284 x630^2 + 6.74280822399054 x631^2 + 19.2289431661154 x632^2 + 31.6660606476213 x633^2 + 32.4635117230957 x634^2 + 15.6107860775847 x635^2 + 18.0064122934089 x636^2 + 12.4763678750894 x637^2 + 9.54543270505982 x638^2 + 23.1875129311607 x639^2 + 29.186392265731 x640^2 + 32.1329227943652 x641^2 + 41.7527570158293 x642^2 + 30.4815011128532 x643^2 + 10.7740898658112 x644^2 + 31.7023751090019 x645^2 + 26.2708495967149 x646^2 + 19.8005103328341 x647^2 + 24.0805506231426 x648^2 + 24.4818696296721 x649^2 + 30.7210046290584 x650^2 + 20.4249770436108 x651^2 + 3.36801582399108 x652^2 + 2.32912234753892 x653^2 + 13.1702093128673 x654^2 + 14.9930972828165 x655^2 + 30.8034634520414 x656^2 + 35.204747884585 x657^2 + 10.9248174861464 x658^2 + 33.2190876125463 x659^2 + 14.6220860099257 x660^2 + 39.6800673478474 x661^2 + 26.6901264654747 x662^2 + 5.292950362989 x663^2 + 25.6275424249908 x664^2 + 11.4336736070915 x665^2 + 28.4837260334943 x666^2 + 37.0784548421791 x667^2 + 35.3816712778441 x668^2 + 39.0232982447373 x669^2 + 28.7565728823022 x670^2 + 9.00055635312329 x671^2 + 20.0088048627089 x672^2 + 22.0741819682642 x673^2 + 13.1148083761372 x674^2 + 7.53036600210677 x675^2 + 17.8739705681865 x676^2 + 36.2121988517006 x677^2 + 5.77932277739865 x678^2 + 22.1913856614735 x679^2 + 7.75876443930214 x680^2 + 39.1562776570985 x681^2 + 14.3338552642618 x682^2 + 11.5482680020475 x683^2 + 11.366712240589 x684^2 + 23.499610587615 x685^2 + 24.3752467096519 x686^2 + 2.55152000048553 x687^2 + 28.4092269664727 x688^2 + 11.8679557577702 x689^2 + 24.2898392240157 x690^2 + 6.7393994046157 x691^2 + 15.1128584174642 x692^2 + 26.5415906230046 x693^2 + 32.9012369422104 x694^2 + 19.5925138250268 x695^2 + 20.2117240606333 x696^2 + 25.5237971982483 x697^2 + 25.8818907518784 x698^2 + 15.2433753077578 x699^2 + 25.2249925470175 x700^2 + 18.6556525860071 x701^2 + 14.6258309891749 x702^2 + 24.531302704544 x703^2 + 23.2163251717542 x704^2 + 45.4384434965495 x705^2 + 19.2114148366053 x706^2 + 15.2008647645843 x707^2 + 25.5559324311837 x708^2 + 16.4745800941418 x709^2 + 16.5060691016635 x710^2 + 16.6771664300346 x711^2 + 11.4821127058545 x712^2 + 16.0172579285274 x713^2 + 16.430102410651 x714^2 + .977763922331723 x715^2 + 28.5432145361696 x716^2 + 28.0894673023382 x717^2 + 6.94735744817913 x718^2 + 32.3096443074682 x719^2 + 31.8851490251167 x720^2 + 15.7301535656135 x721^2 + 10.009258065534 x722^2 + 39.1513158845891 x723^2 + 55.7142683743771 x724^2 + 13.3388283540911 x725^2 + 19.1346150417479 x726^2 + 47.5592604051397 x727^2 + 30.1528553938061 x728^2 + 45.0587429917409 x729^2 + 39.500808533298 x730^2 + 36.1857957207651 x731^2 + 44.630419903534 x732^2 + 46.0819099122521 x733^2 + 44.0678868582428 x734^2 + 45.7966568174879 x735^2 + 30.4242460115422 x736^2 + 23.1109449619548 x737^2 + 35.4727809368355 x738^2 + 19.3850322391387 x739^2 + 40.8680135890125 x740^2 + 7.6888346669104 x741^2 + 39.3811939671737 x742^2 + 47.5677479603748 x743^2 + 24.5392397548668 x744^2 + 56.4502503756767 x745^2 + 39.8781760917136 x746^2 + 11.560101614467 x747^2 + 12.5847635458016 x748^2 + 6.13651638407515 x749^2 + 18.1566774788448 x750^2 + 37.4421334598983 x751^2 + 48.4882033843965 x752^2 + 26.6942149749668 x753^2 + 42.8276372719023 x754^2 + 52.0109275678981 x755^2 + 49.366637904982 x756^2 + 42.0775144794842 x757^2 + 41.7776161243863 x758^2 + 24.8230623967223 x759^2 + 39.5887159488065 x760^2 + 6.1782244537553 x761^2 + 52.2932838627335 x762^2 + 44.7286218878253 x763^2 + 56.3437031991918 x764^2 + 28.5739085492476 x765^2 + 40.7534690646565 x766^2 + 43.262145345908 x767^2 + 16.6168706367286 x768^2 + 41.7536713855747 x769^2 + 41.1716120324935 x770^2 + 39.6854256533776 x771^2 + 58.7982500909736 x772^2 + 44.2839956731505 x773^2 + 36.1958871764335 x774^2 + 47.9064377692971 x775^2 + 48.9419699571839 x776^2 + 25.0281607793734 x777^2 + 19.1406524117354 x778^2 + 46.56281710191 x779^2 + 40.0805301185564 x780^2 + 40.0116878223522 x781^2 + 32.3962806763596 x782^2 + 31.0514219324179 x783^2 + 39.6374449747548 x784^2 + 3.83925809177027 x785^2 + 48.2656994209421 x786^2 + 46.8639082703423 x787^2 + 39.5857989478064 x788^2 + 28.8828205376788 x789^2 + 35.6567128784067 x790^2 + 29.4188948286144 x791^2 + 44.4632948089249 x792^2 + 60.8308146687776 x793^2 + 61.3662931901595 x794^2 + 44.4733051153248 x795^2 + 30.6996858908331 x796^2 + 19.5489706811371 x797^2 + 38.720598428922 x798^2 + 34.4641514593394 x799^2 + 46.8202294177058 x800^2 Subject To e2: x1 - b801 <= 0 e3: x2 - b801 <= 0 e4: x3 - b801 <= 0 e5: x4 - b801 <= 0 e6: x5 - b801 <= 0 e7: x6 - b801 <= 0 e8: x7 - b801 <= 0 e9: x8 - b801 <= 0 e10: x9 - b801 <= 0 e11: x10 - b801 <= 0 e12: x11 - b801 <= 0 e13: x12 - b801 <= 0 e14: x13 - b801 <= 0 e15: x14 - b801 <= 0 e16: x15 - b801 <= 0 e17: x16 - b801 <= 0 e18: x17 - b801 <= 0 e19: x18 - b801 <= 0 e20: x19 - b801 <= 0 e21: x20 - b801 <= 0 e22: x21 - b801 <= 0 e23: x22 - b801 <= 0 e24: x23 - b801 <= 0 e25: x24 - b801 <= 0 e26: x25 - b801 <= 0 e27: x26 - b801 <= 0 e28: x27 - b801 <= 0 e29: x28 - b801 <= 0 e30: x29 - b801 <= 0 e31: x30 - b801 <= 0 e32: x31 - b801 <= 0 e33: x32 - b801 <= 0 e34: x33 - b801 <= 0 e35: x34 - b801 <= 0 e36: x35 - b801 <= 0 e37: x36 - b801 <= 0 e38: x37 - b801 <= 0 e39: x38 - b801 <= 0 e40: x39 - b801 <= 0 e41: x40 - b801 <= 0 e42: x41 - b801 <= 0 e43: x42 - b801 <= 0 e44: x43 - b801 <= 0 e45: x44 - b801 <= 0 e46: x45 - b801 <= 0 e47: x46 - b801 <= 0 e48: x47 - b801 <= 0 e49: x48 - b801 <= 0 e50: x49 - b801 <= 0 e51: x50 - b801 <= 0 e52: x51 - b801 <= 0 e53: x52 - b801 <= 0 e54: x53 - b801 <= 0 e55: x54 - b801 <= 0 e56: x55 - b801 <= 0 e57: x56 - b801 <= 0 e58: x57 - b801 <= 0 e59: x58 - b801 <= 0 e60: x59 - b801 <= 0 e61: x60 - b801 <= 0 e62: x61 - b801 <= 0 e63: x62 - b801 <= 0 e64: x63 - b801 <= 0 e65: x64 - b801 <= 0 e66: x65 - b801 <= 0 e67: x66 - b801 <= 0 e68: x67 - b801 <= 0 e69: x68 - b801 <= 0 e70: x69 - b801 <= 0 e71: x70 - b801 <= 0 e72: x71 - b801 <= 0 e73: x72 - b801 <= 0 e74: x73 - b801 <= 0 e75: x74 - b801 <= 0 e76: x75 - b801 <= 0 e77: x76 - b801 <= 0 e78: x77 - b801 <= 0 e79: x78 - b801 <= 0 e80: x79 - b801 <= 0 e81: x80 - b801 <= 0 e82: x81 - b802 <= 0 e83: x82 - b802 <= 0 e84: x83 - b802 <= 0 e85: x84 - b802 <= 0 e86: x85 - b802 <= 0 e87: x86 - b802 <= 0 e88: x87 - b802 <= 0 e89: x88 - b802 <= 0 e90: x89 - b802 <= 0 e91: x90 - b802 <= 0 e92: x91 - b802 <= 0 e93: x92 - b802 <= 0 e94: x93 - b802 <= 0 e95: x94 - b802 <= 0 e96: x95 - b802 <= 0 e97: x96 - b802 <= 0 e98: x97 - b802 <= 0 e99: x98 - b802 <= 0 e100: x99 - b802 <= 0 e101: x100 - b802 <= 0 e102: x101 - b802 <= 0 e103: x102 - b802 <= 0 e104: x103 - b802 <= 0 e105: x104 - b802 <= 0 e106: x105 - b802 <= 0 e107: x106 - b802 <= 0 e108: x107 - b802 <= 0 e109: x108 - b802 <= 0 e110: x109 - b802 <= 0 e111: x110 - b802 <= 0 e112: x111 - b802 <= 0 e113: x112 - b802 <= 0 e114: x113 - b802 <= 0 e115: x114 - b802 <= 0 e116: x115 - b802 <= 0 e117: x116 - b802 <= 0 e118: x117 - b802 <= 0 e119: x118 - b802 <= 0 e120: x119 - b802 <= 0 e121: x120 - b802 <= 0 e122: x121 - b802 <= 0 e123: x122 - b802 <= 0 e124: x123 - b802 <= 0 e125: x124 - b802 <= 0 e126: x125 - b802 <= 0 e127: x126 - b802 <= 0 e128: x127 - b802 <= 0 e129: x128 - b802 <= 0 e130: x129 - b802 <= 0 e131: x130 - b802 <= 0 e132: x131 - b802 <= 0 e133: x132 - b802 <= 0 e134: x133 - b802 <= 0 e135: x134 - b802 <= 0 e136: x135 - b802 <= 0 e137: x136 - b802 <= 0 e138: x137 - b802 <= 0 e139: x138 - b802 <= 0 e140: x139 - b802 <= 0 e141: x140 - b802 <= 0 e142: x141 - b802 <= 0 e143: x142 - b802 <= 0 e144: x143 - b802 <= 0 e145: x144 - b802 <= 0 e146: x145 - b802 <= 0 e147: x146 - b802 <= 0 e148: x147 - b802 <= 0 e149: x148 - b802 <= 0 e150: x149 - b802 <= 0 e151: x150 - b802 <= 0 e152: x151 - b802 <= 0 e153: x152 - b802 <= 0 e154: x153 - b802 <= 0 e155: x154 - b802 <= 0 e156: x155 - b802 <= 0 e157: x156 - b802 <= 0 e158: x157 - b802 <= 0 e159: x158 - b802 <= 0 e160: x159 - b802 <= 0 e161: x160 - b802 <= 0 e162: x161 - b803 <= 0 e163: x162 - b803 <= 0 e164: x163 - b803 <= 0 e165: x164 - b803 <= 0 e166: x165 - b803 <= 0 e167: x166 - b803 <= 0 e168: x167 - b803 <= 0 e169: x168 - b803 <= 0 e170: x169 - b803 <= 0 e171: x170 - b803 <= 0 e172: x171 - b803 <= 0 e173: x172 - b803 <= 0 e174: x173 - b803 <= 0 e175: x174 - b803 <= 0 e176: x175 - b803 <= 0 e177: x176 - b803 <= 0 e178: x177 - b803 <= 0 e179: x178 - b803 <= 0 e180: x179 - b803 <= 0 e181: x180 - b803 <= 0 e182: x181 - b803 <= 0 e183: x182 - b803 <= 0 e184: x183 - b803 <= 0 e185: x184 - b803 <= 0 e186: x185 - b803 <= 0 e187: x186 - b803 <= 0 e188: x187 - b803 <= 0 e189: x188 - b803 <= 0 e190: x189 - b803 <= 0 e191: x190 - b803 <= 0 e192: x191 - b803 <= 0 e193: x192 - b803 <= 0 e194: x193 - b803 <= 0 e195: x194 - b803 <= 0 e196: x195 - b803 <= 0 e197: x196 - b803 <= 0 e198: x197 - b803 <= 0 e199: x198 - b803 <= 0 e200: x199 - b803 <= 0 e201: x200 - b803 <= 0 e202: x201 - b803 <= 0 e203: x202 - b803 <= 0 e204: x203 - b803 <= 0 e205: x204 - b803 <= 0 e206: x205 - b803 <= 0 e207: x206 - b803 <= 0 e208: x207 - b803 <= 0 e209: x208 - b803 <= 0 e210: x209 - b803 <= 0 e211: x210 - b803 <= 0 e212: x211 - b803 <= 0 e213: x212 - b803 <= 0 e214: x213 - b803 <= 0 e215: x214 - b803 <= 0 e216: x215 - b803 <= 0 e217: x216 - b803 <= 0 e218: x217 - b803 <= 0 e219: x218 - b803 <= 0 e220: x219 - b803 <= 0 e221: x220 - b803 <= 0 e222: x221 - b803 <= 0 e223: x222 - b803 <= 0 e224: x223 - b803 <= 0 e225: x224 - b803 <= 0 e226: x225 - b803 <= 0 e227: x226 - b803 <= 0 e228: x227 - b803 <= 0 e229: x228 - b803 <= 0 e230: x229 - b803 <= 0 e231: x230 - b803 <= 0 e232: x231 - b803 <= 0 e233: x232 - b803 <= 0 e234: x233 - b803 <= 0 e235: x234 - b803 <= 0 e236: x235 - b803 <= 0 e237: x236 - b803 <= 0 e238: x237 - b803 <= 0 e239: x238 - b803 <= 0 e240: x239 - b803 <= 0 e241: x240 - b803 <= 0 e242: x241 - b804 <= 0 e243: x242 - b804 <= 0 e244: x243 - b804 <= 0 e245: x244 - b804 <= 0 e246: x245 - b804 <= 0 e247: x246 - b804 <= 0 e248: x247 - b804 <= 0 e249: x248 - b804 <= 0 e250: x249 - b804 <= 0 e251: x250 - b804 <= 0 e252: x251 - b804 <= 0 e253: x252 - b804 <= 0 e254: x253 - b804 <= 0 e255: x254 - b804 <= 0 e256: x255 - b804 <= 0 e257: x256 - b804 <= 0 e258: x257 - b804 <= 0 e259: x258 - b804 <= 0 e260: x259 - b804 <= 0 e261: x260 - b804 <= 0 e262: x261 - b804 <= 0 e263: x262 - b804 <= 0 e264: x263 - b804 <= 0 e265: x264 - b804 <= 0 e266: x265 - b804 <= 0 e267: x266 - b804 <= 0 e268: x267 - b804 <= 0 e269: x268 - b804 <= 0 e270: x269 - b804 <= 0 e271: x270 - b804 <= 0 e272: x271 - b804 <= 0 e273: x272 - b804 <= 0 e274: x273 - b804 <= 0 e275: x274 - b804 <= 0 e276: x275 - b804 <= 0 e277: x276 - b804 <= 0 e278: x277 - b804 <= 0 e279: x278 - b804 <= 0 e280: x279 - b804 <= 0 e281: x280 - b804 <= 0 e282: x281 - b804 <= 0 e283: x282 - b804 <= 0 e284: x283 - b804 <= 0 e285: x284 - b804 <= 0 e286: x285 - b804 <= 0 e287: x286 - b804 <= 0 e288: x287 - b804 <= 0 e289: x288 - b804 <= 0 e290: x289 - b804 <= 0 e291: x290 - b804 <= 0 e292: x291 - b804 <= 0 e293: x292 - b804 <= 0 e294: x293 - b804 <= 0 e295: x294 - b804 <= 0 e296: x295 - b804 <= 0 e297: x296 - b804 <= 0 e298: x297 - b804 <= 0 e299: x298 - b804 <= 0 e300: x299 - b804 <= 0 e301: x300 - b804 <= 0 e302: x301 - b804 <= 0 e303: x302 - b804 <= 0 e304: x303 - b804 <= 0 e305: x304 - b804 <= 0 e306: x305 - b804 <= 0 e307: x306 - b804 <= 0 e308: x307 - b804 <= 0 e309: x308 - b804 <= 0 e310: x309 - b804 <= 0 e311: x310 - b804 <= 0 e312: x311 - b804 <= 0 e313: x312 - b804 <= 0 e314: x313 - b804 <= 0 e315: x314 - b804 <= 0 e316: x315 - b804 <= 0 e317: x316 - b804 <= 0 e318: x317 - b804 <= 0 e319: x318 - b804 <= 0 e320: x319 - b804 <= 0 e321: x320 - b804 <= 0 e322: x321 - b805 <= 0 e323: x322 - b805 <= 0 e324: x323 - b805 <= 0 e325: x324 - b805 <= 0 e326: x325 - b805 <= 0 e327: x326 - b805 <= 0 e328: x327 - b805 <= 0 e329: x328 - b805 <= 0 e330: x329 - b805 <= 0 e331: x330 - b805 <= 0 e332: x331 - b805 <= 0 e333: x332 - b805 <= 0 e334: x333 - b805 <= 0 e335: x334 - b805 <= 0 e336: x335 - b805 <= 0 e337: x336 - b805 <= 0 e338: x337 - b805 <= 0 e339: x338 - b805 <= 0 e340: x339 - b805 <= 0 e341: x340 - b805 <= 0 e342: x341 - b805 <= 0 e343: x342 - b805 <= 0 e344: x343 - b805 <= 0 e345: x344 - b805 <= 0 e346: x345 - b805 <= 0 e347: x346 - b805 <= 0 e348: x347 - b805 <= 0 e349: x348 - b805 <= 0 e350: x349 - b805 <= 0 e351: x350 - b805 <= 0 e352: x351 - b805 <= 0 e353: x352 - b805 <= 0 e354: x353 - b805 <= 0 e355: x354 - b805 <= 0 e356: x355 - b805 <= 0 e357: x356 - b805 <= 0 e358: x357 - b805 <= 0 e359: x358 - b805 <= 0 e360: x359 - b805 <= 0 e361: x360 - b805 <= 0 e362: x361 - b805 <= 0 e363: x362 - b805 <= 0 e364: x363 - b805 <= 0 e365: x364 - b805 <= 0 e366: x365 - b805 <= 0 e367: x366 - b805 <= 0 e368: x367 - b805 <= 0 e369: x368 - b805 <= 0 e370: x369 - b805 <= 0 e371: x370 - b805 <= 0 e372: x371 - b805 <= 0 e373: x372 - b805 <= 0 e374: x373 - b805 <= 0 e375: x374 - b805 <= 0 e376: x375 - b805 <= 0 e377: x376 - b805 <= 0 e378: x377 - b805 <= 0 e379: x378 - b805 <= 0 e380: x379 - b805 <= 0 e381: x380 - b805 <= 0 e382: x381 - b805 <= 0 e383: x382 - b805 <= 0 e384: x383 - b805 <= 0 e385: x384 - b805 <= 0 e386: x385 - b805 <= 0 e387: x386 - b805 <= 0 e388: x387 - b805 <= 0 e389: x388 - b805 <= 0 e390: x389 - b805 <= 0 e391: x390 - b805 <= 0 e392: x391 - b805 <= 0 e393: x392 - b805 <= 0 e394: x393 - b805 <= 0 e395: x394 - b805 <= 0 e396: x395 - b805 <= 0 e397: x396 - b805 <= 0 e398: x397 - b805 <= 0 e399: x398 - b805 <= 0 e400: x399 - b805 <= 0 e401: x400 - b805 <= 0 e402: x401 - b806 <= 0 e403: x402 - b806 <= 0 e404: x403 - b806 <= 0 e405: x404 - b806 <= 0 e406: x405 - b806 <= 0 e407: x406 - b806 <= 0 e408: x407 - b806 <= 0 e409: x408 - b806 <= 0 e410: x409 - b806 <= 0 e411: x410 - b806 <= 0 e412: x411 - b806 <= 0 e413: x412 - b806 <= 0 e414: x413 - b806 <= 0 e415: x414 - b806 <= 0 e416: x415 - b806 <= 0 e417: x416 - b806 <= 0 e418: x417 - b806 <= 0 e419: x418 - b806 <= 0 e420: x419 - b806 <= 0 e421: x420 - b806 <= 0 e422: x421 - b806 <= 0 e423: x422 - b806 <= 0 e424: x423 - b806 <= 0 e425: x424 - b806 <= 0 e426: x425 - b806 <= 0 e427: x426 - b806 <= 0 e428: x427 - b806 <= 0 e429: x428 - b806 <= 0 e430: x429 - b806 <= 0 e431: x430 - b806 <= 0 e432: x431 - b806 <= 0 e433: x432 - b806 <= 0 e434: x433 - b806 <= 0 e435: x434 - b806 <= 0 e436: x435 - b806 <= 0 e437: x436 - b806 <= 0 e438: x437 - b806 <= 0 e439: x438 - b806 <= 0 e440: x439 - b806 <= 0 e441: x440 - b806 <= 0 e442: x441 - b806 <= 0 e443: x442 - b806 <= 0 e444: x443 - b806 <= 0 e445: x444 - b806 <= 0 e446: x445 - b806 <= 0 e447: x446 - b806 <= 0 e448: x447 - b806 <= 0 e449: x448 - b806 <= 0 e450: x449 - b806 <= 0 e451: x450 - b806 <= 0 e452: x451 - b806 <= 0 e453: x452 - b806 <= 0 e454: x453 - b806 <= 0 e455: x454 - b806 <= 0 e456: x455 - b806 <= 0 e457: x456 - b806 <= 0 e458: x457 - b806 <= 0 e459: x458 - b806 <= 0 e460: x459 - b806 <= 0 e461: x460 - b806 <= 0 e462: x461 - b806 <= 0 e463: x462 - b806 <= 0 e464: x463 - b806 <= 0 e465: x464 - b806 <= 0 e466: x465 - b806 <= 0 e467: x466 - b806 <= 0 e468: x467 - b806 <= 0 e469: x468 - b806 <= 0 e470: x469 - b806 <= 0 e471: x470 - b806 <= 0 e472: x471 - b806 <= 0 e473: x472 - b806 <= 0 e474: x473 - b806 <= 0 e475: x474 - b806 <= 0 e476: x475 - b806 <= 0 e477: x476 - b806 <= 0 e478: x477 - b806 <= 0 e479: x478 - b806 <= 0 e480: x479 - b806 <= 0 e481: x480 - b806 <= 0 e482: x481 - b807 <= 0 e483: x482 - b807 <= 0 e484: x483 - b807 <= 0 e485: x484 - b807 <= 0 e486: x485 - b807 <= 0 e487: x486 - b807 <= 0 e488: x487 - b807 <= 0 e489: x488 - b807 <= 0 e490: x489 - b807 <= 0 e491: x490 - b807 <= 0 e492: x491 - b807 <= 0 e493: x492 - b807 <= 0 e494: x493 - b807 <= 0 e495: x494 - b807 <= 0 e496: x495 - b807 <= 0 e497: x496 - b807 <= 0 e498: x497 - b807 <= 0 e499: x498 - b807 <= 0 e500: x499 - b807 <= 0 e501: x500 - b807 <= 0 e502: x501 - b807 <= 0 e503: x502 - b807 <= 0 e504: x503 - b807 <= 0 e505: x504 - b807 <= 0 e506: x505 - b807 <= 0 e507: x506 - b807 <= 0 e508: x507 - b807 <= 0 e509: x508 - b807 <= 0 e510: x509 - b807 <= 0 e511: x510 - b807 <= 0 e512: x511 - b807 <= 0 e513: x512 - b807 <= 0 e514: x513 - b807 <= 0 e515: x514 - b807 <= 0 e516: x515 - b807 <= 0 e517: x516 - b807 <= 0 e518: x517 - b807 <= 0 e519: x518 - b807 <= 0 e520: x519 - b807 <= 0 e521: x520 - b807 <= 0 e522: x521 - b807 <= 0 e523: x522 - b807 <= 0 e524: x523 - b807 <= 0 e525: x524 - b807 <= 0 e526: x525 - b807 <= 0 e527: x526 - b807 <= 0 e528: x527 - b807 <= 0 e529: x528 - b807 <= 0 e530: x529 - b807 <= 0 e531: x530 - b807 <= 0 e532: x531 - b807 <= 0 e533: x532 - b807 <= 0 e534: x533 - b807 <= 0 e535: x534 - b807 <= 0 e536: x535 - b807 <= 0 e537: x536 - b807 <= 0 e538: x537 - b807 <= 0 e539: x538 - b807 <= 0 e540: x539 - b807 <= 0 e541: x540 - b807 <= 0 e542: x541 - b807 <= 0 e543: x542 - b807 <= 0 e544: x543 - b807 <= 0 e545: x544 - b807 <= 0 e546: x545 - b807 <= 0 e547: x546 - b807 <= 0 e548: x547 - b807 <= 0 e549: x548 - b807 <= 0 e550: x549 - b807 <= 0 e551: x550 - b807 <= 0 e552: x551 - b807 <= 0 e553: x552 - b807 <= 0 e554: x553 - b807 <= 0 e555: x554 - b807 <= 0 e556: x555 - b807 <= 0 e557: x556 - b807 <= 0 e558: x557 - b807 <= 0 e559: x558 - b807 <= 0 e560: x559 - b807 <= 0 e561: x560 - b807 <= 0 e562: x561 - b808 <= 0 e563: x562 - b808 <= 0 e564: x563 - b808 <= 0 e565: x564 - b808 <= 0 e566: x565 - b808 <= 0 e567: x566 - b808 <= 0 e568: x567 - b808 <= 0 e569: x568 - b808 <= 0 e570: x569 - b808 <= 0 e571: x570 - b808 <= 0 e572: x571 - b808 <= 0 e573: x572 - b808 <= 0 e574: x573 - b808 <= 0 e575: x574 - b808 <= 0 e576: x575 - b808 <= 0 e577: x576 - b808 <= 0 e578: x577 - b808 <= 0 e579: x578 - b808 <= 0 e580: x579 - b808 <= 0 e581: x580 - b808 <= 0 e582: x581 - b808 <= 0 e583: x582 - b808 <= 0 e584: x583 - b808 <= 0 e585: x584 - b808 <= 0 e586: x585 - b808 <= 0 e587: x586 - b808 <= 0 e588: x587 - b808 <= 0 e589: x588 - b808 <= 0 e590: x589 - b808 <= 0 e591: x590 - b808 <= 0 e592: x591 - b808 <= 0 e593: x592 - b808 <= 0 e594: x593 - b808 <= 0 e595: x594 - b808 <= 0 e596: x595 - b808 <= 0 e597: x596 - b808 <= 0 e598: x597 - b808 <= 0 e599: x598 - b808 <= 0 e600: x599 - b808 <= 0 e601: x600 - b808 <= 0 e602: x601 - b808 <= 0 e603: x602 - b808 <= 0 e604: x603 - b808 <= 0 e605: x604 - b808 <= 0 e606: x605 - b808 <= 0 e607: x606 - b808 <= 0 e608: x607 - b808 <= 0 e609: x608 - b808 <= 0 e610: x609 - b808 <= 0 e611: x610 - b808 <= 0 e612: x611 - b808 <= 0 e613: x612 - b808 <= 0 e614: x613 - b808 <= 0 e615: x614 - b808 <= 0 e616: x615 - b808 <= 0 e617: x616 - b808 <= 0 e618: x617 - b808 <= 0 e619: x618 - b808 <= 0 e620: x619 - b808 <= 0 e621: x620 - b808 <= 0 e622: x621 - b808 <= 0 e623: x622 - b808 <= 0 e624: x623 - b808 <= 0 e625: x624 - b808 <= 0 e626: x625 - b808 <= 0 e627: x626 - b808 <= 0 e628: x627 - b808 <= 0 e629: x628 - b808 <= 0 e630: x629 - b808 <= 0 e631: x630 - b808 <= 0 e632: x631 - b808 <= 0 e633: x632 - b808 <= 0 e634: x633 - b808 <= 0 e635: x634 - b808 <= 0 e636: x635 - b808 <= 0 e637: x636 - b808 <= 0 e638: x637 - b808 <= 0 e639: x638 - b808 <= 0 e640: x639 - b808 <= 0 e641: x640 - b808 <= 0 e642: x641 - b809 <= 0 e643: x642 - b809 <= 0 e644: x643 - b809 <= 0 e645: x644 - b809 <= 0 e646: x645 - b809 <= 0 e647: x646 - b809 <= 0 e648: x647 - b809 <= 0 e649: x648 - b809 <= 0 e650: x649 - b809 <= 0 e651: x650 - b809 <= 0 e652: x651 - b809 <= 0 e653: x652 - b809 <= 0 e654: x653 - b809 <= 0 e655: x654 - b809 <= 0 e656: x655 - b809 <= 0 e657: x656 - b809 <= 0 e658: x657 - b809 <= 0 e659: x658 - b809 <= 0 e660: x659 - b809 <= 0 e661: x660 - b809 <= 0 e662: x661 - b809 <= 0 e663: x662 - b809 <= 0 e664: x663 - b809 <= 0 e665: x664 - b809 <= 0 e666: x665 - b809 <= 0 e667: x666 - b809 <= 0 e668: x667 - b809 <= 0 e669: x668 - b809 <= 0 e670: x669 - b809 <= 0 e671: x670 - b809 <= 0 e672: x671 - b809 <= 0 e673: x672 - b809 <= 0 e674: x673 - b809 <= 0 e675: x674 - b809 <= 0 e676: x675 - b809 <= 0 e677: x676 - b809 <= 0 e678: x677 - b809 <= 0 e679: x678 - b809 <= 0 e680: x679 - b809 <= 0 e681: x680 - b809 <= 0 e682: x681 - b809 <= 0 e683: x682 - b809 <= 0 e684: x683 - b809 <= 0 e685: x684 - b809 <= 0 e686: x685 - b809 <= 0 e687: x686 - b809 <= 0 e688: x687 - b809 <= 0 e689: x688 - b809 <= 0 e690: x689 - b809 <= 0 e691: x690 - b809 <= 0 e692: x691 - b809 <= 0 e693: x692 - b809 <= 0 e694: x693 - b809 <= 0 e695: x694 - b809 <= 0 e696: x695 - b809 <= 0 e697: x696 - b809 <= 0 e698: x697 - b809 <= 0 e699: x698 - b809 <= 0 e700: x699 - b809 <= 0 e701: x700 - b809 <= 0 e702: x701 - b809 <= 0 e703: x702 - b809 <= 0 e704: x703 - b809 <= 0 e705: x704 - b809 <= 0 e706: x705 - b809 <= 0 e707: x706 - b809 <= 0 e708: x707 - b809 <= 0 e709: x708 - b809 <= 0 e710: x709 - b809 <= 0 e711: x710 - b809 <= 0 e712: x711 - b809 <= 0 e713: x712 - b809 <= 0 e714: x713 - b809 <= 0 e715: x714 - b809 <= 0 e716: x715 - b809 <= 0 e717: x716 - b809 <= 0 e718: x717 - b809 <= 0 e719: x718 - b809 <= 0 e720: x719 - b809 <= 0 e721: x720 - b809 <= 0 e722: x721 - b810 <= 0 e723: x722 - b810 <= 0 e724: x723 - b810 <= 0 e725: x724 - b810 <= 0 e726: x725 - b810 <= 0 e727: x726 - b810 <= 0 e728: x727 - b810 <= 0 e729: x728 - b810 <= 0 e730: x729 - b810 <= 0 e731: x730 - b810 <= 0 e732: x731 - b810 <= 0 e733: x732 - b810 <= 0 e734: x733 - b810 <= 0 e735: x734 - b810 <= 0 e736: x735 - b810 <= 0 e737: x736 - b810 <= 0 e738: x737 - b810 <= 0 e739: x738 - b810 <= 0 e740: x739 - b810 <= 0 e741: x740 - b810 <= 0 e742: x741 - b810 <= 0 e743: x742 - b810 <= 0 e744: x743 - b810 <= 0 e745: x744 - b810 <= 0 e746: x745 - b810 <= 0 e747: x746 - b810 <= 0 e748: x747 - b810 <= 0 e749: x748 - b810 <= 0 e750: x749 - b810 <= 0 e751: x750 - b810 <= 0 e752: x751 - b810 <= 0 e753: x752 - b810 <= 0 e754: x753 - b810 <= 0 e755: x754 - b810 <= 0 e756: x755 - b810 <= 0 e757: x756 - b810 <= 0 e758: x757 - b810 <= 0 e759: x758 - b810 <= 0 e760: x759 - b810 <= 0 e761: x760 - b810 <= 0 e762: x761 - b810 <= 0 e763: x762 - b810 <= 0 e764: x763 - b810 <= 0 e765: x764 - b810 <= 0 e766: x765 - b810 <= 0 e767: x766 - b810 <= 0 e768: x767 - b810 <= 0 e769: x768 - b810 <= 0 e770: x769 - b810 <= 0 e771: x770 - b810 <= 0 e772: x771 - b810 <= 0 e773: x772 - b810 <= 0 e774: x773 - b810 <= 0 e775: x774 - b810 <= 0 e776: x775 - b810 <= 0 e777: x776 - b810 <= 0 e778: x777 - b810 <= 0 e779: x778 - b810 <= 0 e780: x779 - b810 <= 0 e781: x780 - b810 <= 0 e782: x781 - b810 <= 0 e783: x782 - b810 <= 0 e784: x783 - b810 <= 0 e785: x784 - b810 <= 0 e786: x785 - b810 <= 0 e787: x786 - b810 <= 0 e788: x787 - b810 <= 0 e789: x788 - b810 <= 0 e790: x789 - b810 <= 0 e791: x790 - b810 <= 0 e792: x791 - b810 <= 0 e793: x792 - b810 <= 0 e794: x793 - b810 <= 0 e795: x794 - b810 <= 0 e796: x795 - b810 <= 0 e797: x796 - b810 <= 0 e798: x797 - b810 <= 0 e799: x798 - b810 <= 0 e800: x799 - b810 <= 0 e801: x800 - b810 <= 0 e802: x1 + x81 + x161 + x241 + x321 + x401 + x481 + x561 + x641 + x721 = 1 e803: x2 + x82 + x162 + x242 + x322 + x402 + x482 + x562 + x642 + x722 = 1 e804: x3 + x83 + x163 + x243 + x323 + x403 + x483 + x563 + x643 + x723 = 1 e805: x4 + x84 + x164 + x244 + x324 + x404 + x484 + x564 + x644 + x724 = 1 e806: x5 + x85 + x165 + x245 + x325 + x405 + x485 + x565 + x645 + x725 = 1 e807: x6 + x86 + x166 + x246 + x326 + x406 + x486 + x566 + x646 + x726 = 1 e808: x7 + x87 + x167 + x247 + x327 + x407 + x487 + x567 + x647 + x727 = 1 e809: x8 + x88 + x168 + x248 + x328 + x408 + x488 + x568 + x648 + x728 = 1 e810: x9 + x89 + x169 + x249 + x329 + x409 + x489 + x569 + x649 + x729 = 1 e811: x10 + x90 + x170 + x250 + x330 + x410 + x490 + x570 + x650 + x730 = 1 e812: x11 + x91 + x171 + x251 + x331 + x411 + x491 + x571 + x651 + x731 = 1 e813: x12 + x92 + x172 + x252 + x332 + x412 + x492 + x572 + x652 + x732 = 1 e814: x13 + x93 + x173 + x253 + x333 + x413 + x493 + x573 + x653 + x733 = 1 e815: x14 + x94 + x174 + x254 + x334 + x414 + x494 + x574 + x654 + x734 = 1 e816: x15 + x95 + x175 + x255 + x335 + x415 + x495 + x575 + x655 + x735 = 1 e817: x16 + x96 + x176 + x256 + x336 + x416 + x496 + x576 + x656 + x736 = 1 e818: x17 + x97 + x177 + x257 + x337 + x417 + x497 + x577 + x657 + x737 = 1 e819: x18 + x98 + x178 + x258 + x338 + x418 + x498 + x578 + x658 + x738 = 1 e820: x19 + x99 + x179 + x259 + x339 + x419 + x499 + x579 + x659 + x739 = 1 e821: x20 + x100 + x180 + x260 + x340 + x420 + x500 + x580 + x660 + x740 = 1 e822: x21 + x101 + x181 + x261 + x341 + x421 + x501 + x581 + x661 + x741 = 1 e823: x22 + x102 + x182 + x262 + x342 + x422 + x502 + x582 + x662 + x742 = 1 e824: x23 + x103 + x183 + x263 + x343 + x423 + x503 + x583 + x663 + x743 = 1 e825: x24 + x104 + x184 + x264 + x344 + x424 + x504 + x584 + x664 + x744 = 1 e826: x25 + x105 + x185 + x265 + x345 + x425 + x505 + x585 + x665 + x745 = 1 e827: x26 + x106 + x186 + x266 + x346 + x426 + x506 + x586 + x666 + x746 = 1 e828: x27 + x107 + x187 + x267 + x347 + x427 + x507 + x587 + x667 + x747 = 1 e829: x28 + x108 + x188 + x268 + x348 + x428 + x508 + x588 + x668 + x748 = 1 e830: x29 + x109 + x189 + x269 + x349 + x429 + x509 + x589 + x669 + x749 = 1 e831: x30 + x110 + x190 + x270 + x350 + x430 + x510 + x590 + x670 + x750 = 1 e832: x31 + x111 + x191 + x271 + x351 + x431 + x511 + x591 + x671 + x751 = 1 e833: x32 + x112 + x192 + x272 + x352 + x432 + x512 + x592 + x672 + x752 = 1 e834: x33 + x113 + x193 + x273 + x353 + x433 + x513 + x593 + x673 + x753 = 1 e835: x34 + x114 + x194 + x274 + x354 + x434 + x514 + x594 + x674 + x754 = 1 e836: x35 + x115 + x195 + x275 + x355 + x435 + x515 + x595 + x675 + x755 = 1 e837: x36 + x116 + x196 + x276 + x356 + x436 + x516 + x596 + x676 + x756 = 1 e838: x37 + x117 + x197 + x277 + x357 + x437 + x517 + x597 + x677 + x757 = 1 e839: x38 + x118 + x198 + x278 + x358 + x438 + x518 + x598 + x678 + x758 = 1 e840: x39 + x119 + x199 + x279 + x359 + x439 + x519 + x599 + x679 + x759 = 1 e841: x40 + x120 + x200 + x280 + x360 + x440 + x520 + x600 + x680 + x760 = 1 e842: x41 + x121 + x201 + x281 + x361 + x441 + x521 + x601 + x681 + x761 = 1 e843: x42 + x122 + x202 + x282 + x362 + x442 + x522 + x602 + x682 + x762 = 1 e844: x43 + x123 + x203 + x283 + x363 + x443 + x523 + x603 + x683 + x763 = 1 e845: x44 + x124 + x204 + x284 + x364 + x444 + x524 + x604 + x684 + x764 = 1 e846: x45 + x125 + x205 + x285 + x365 + x445 + x525 + x605 + x685 + x765 = 1 e847: x46 + x126 + x206 + x286 + x366 + x446 + x526 + x606 + x686 + x766 = 1 e848: x47 + x127 + x207 + x287 + x367 + x447 + x527 + x607 + x687 + x767 = 1 e849: x48 + x128 + x208 + x288 + x368 + x448 + x528 + x608 + x688 + x768 = 1 e850: x49 + x129 + x209 + x289 + x369 + x449 + x529 + x609 + x689 + x769 = 1 e851: x50 + x130 + x210 + x290 + x370 + x450 + x530 + x610 + x690 + x770 = 1 e852: x51 + x131 + x211 + x291 + x371 + x451 + x531 + x611 + x691 + x771 = 1 e853: x52 + x132 + x212 + x292 + x372 + x452 + x532 + x612 + x692 + x772 = 1 e854: x53 + x133 + x213 + x293 + x373 + x453 + x533 + x613 + x693 + x773 = 1 e855: x54 + x134 + x214 + x294 + x374 + x454 + x534 + x614 + x694 + x774 = 1 e856: x55 + x135 + x215 + x295 + x375 + x455 + x535 + x615 + x695 + x775 = 1 e857: x56 + x136 + x216 + x296 + x376 + x456 + x536 + x616 + x696 + x776 = 1 e858: x57 + x137 + x217 + x297 + x377 + x457 + x537 + x617 + x697 + x777 = 1 e859: x58 + x138 + x218 + x298 + x378 + x458 + x538 + x618 + x698 + x778 = 1 e860: x59 + x139 + x219 + x299 + x379 + x459 + x539 + x619 + x699 + x779 = 1 e861: x60 + x140 + x220 + x300 + x380 + x460 + x540 + x620 + x700 + x780 = 1 e862: x61 + x141 + x221 + x301 + x381 + x461 + x541 + x621 + x701 + x781 = 1 e863: x62 + x142 + x222 + x302 + x382 + x462 + x542 + x622 + x702 + x782 = 1 e864: x63 + x143 + x223 + x303 + x383 + x463 + x543 + x623 + x703 + x783 = 1 e865: x64 + x144 + x224 + x304 + x384 + x464 + x544 + x624 + x704 + x784 = 1 e866: x65 + x145 + x225 + x305 + x385 + x465 + x545 + x625 + x705 + x785 = 1 e867: x66 + x146 + x226 + x306 + x386 + x466 + x546 + x626 + x706 + x786 = 1 e868: x67 + x147 + x227 + x307 + x387 + x467 + x547 + x627 + x707 + x787 = 1 e869: x68 + x148 + x228 + x308 + x388 + x468 + x548 + x628 + x708 + x788 = 1 e870: x69 + x149 + x229 + x309 + x389 + x469 + x549 + x629 + x709 + x789 = 1 e871: x70 + x150 + x230 + x310 + x390 + x470 + x550 + x630 + x710 + x790 = 1 e872: x71 + x151 + x231 + x311 + x391 + x471 + x551 + x631 + x711 + x791 = 1 e873: x72 + x152 + x232 + x312 + x392 + x472 + x552 + x632 + x712 + x792 = 1 e874: x73 + x153 + x233 + x313 + x393 + x473 + x553 + x633 + x713 + x793 = 1 e875: x74 + x154 + x234 + x314 + x394 + x474 + x554 + x634 + x714 + x794 = 1 e876: x75 + x155 + x235 + x315 + x395 + x475 + x555 + x635 + x715 + x795 = 1 e877: x76 + x156 + x236 + x316 + x396 + x476 + x556 + x636 + x716 + x796 = 1 e878: x77 + x157 + x237 + x317 + x397 + x477 + x557 + x637 + x717 + x797 = 1 e879: x78 + x158 + x238 + x318 + x398 + x478 + x558 + x638 + x718 + x798 = 1 e880: x79 + x159 + x239 + x319 + x399 + x479 + x559 + x639 + x719 + x799 = 1 e881: x80 + x160 + x240 + x320 + x400 + x480 + x560 + x640 + x720 + x800 = 1 Binary b801 b802 b803 b804 b805 b806 b807 b808 b809 b810 End