\ Equation counts \ Total E G L N X C B \ 1132 1043 0 89 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1110 1110 0 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 4234 2426 1808 0 \ Minimize obj: 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 + x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 + 0 x1009 + 0 x1010 + 0 x1011 + 0 x1012 + 0 x1013 + 0 x1014 + 0 x1015 + 0 x1016 + 0 x1017 + 0 x1018 + 0 x1019 + 0 x1020 + 0 x1021 + 0 x1022 + 0 x1023 + 0 x1024 + 0 x1025 + 0 x1026 + 0 x1027 + 0 x1028 + 0 x1029 + 0 x1030 + 0 x1031 + 0 x1032 + 0 x1033 + 0 x1034 + 0 x1035 + 0 x1036 + 0 x1037 + 0 x1038 + 0 x1039 + 0 x1040 + 0 x1041 + 0 x1042 + 0 x1043 + 0 x1044 + 0 x1045 + 0 x1046 + 0 x1047 + 0 x1048 + 0 x1049 + 0 x1050 + 0 x1051 + 0 x1052 + 0 x1053 + 0 x1054 + 0 x1055 + 0 x1056 + 0 x1057 + 0 x1058 + 0 x1059 + 0 x1060 + 0 x1061 + 0 x1062 + 0 x1063 + 0 x1064 + 0 x1065 + 0 x1066 + 0 x1067 + 0 x1068 + 0 x1069 + 0 x1070 + 0 x1071 + 0 x1072 + 0 x1073 + 0 x1074 + 0 x1075 + 0 x1076 + 0 x1077 + 0 x1078 + 0 x1079 + 0 x1080 + 0 x1081 + 0 x1082 + 0 x1083 + 0 x1084 + 0 x1085 + 0 x1086 + 0 x1087 + 0 x1088 + 0 x1089 + 0 x1090 + 0 x1091 + 0 x1092 + 0 x1093 + 0 x1094 + 0 x1095 + 0 x1096 + 0 x1097 + 0 x1098 + 0 x1099 + 0 x1100 + 0 x1101 + 0 x1102 + 0 x1103 + 0 x1104 + 0 x1105 + 0 x1106 + 0 x1107 + 0 x1108 + 0 x1109 + 0 x1110 + 0 x1111 Subject To e2: x440 - x915 = -16.52389342 e3: x916 - x917 <= -1.2 e4: x918 - x919 <= -1.2 e5: - 0.1666666667 x920 - 0.1666666667 x921 - 0.1666666667 x922 - 0.1666666667 x923 - 0.1666666667 x924 - 0.1666666667 x925 + x926 = 0 e6: - 0.1666666667 x927 - 0.1666666667 x928 - 0.1666666667 x929 - 0.1666666667 x930 - 0.1666666667 x931 - 0.1666666667 x932 + x933 = 0 e7: - 0.1666666667 x934 - 0.1666666667 x935 - 0.1666666667 x936 - 0.1666666667 x937 - 0.1666666667 x938 - 0.1666666667 x939 + x940 = 0 e8: - 0.1666666667 x941 - 0.1666666667 x942 - 0.1666666667 x943 - 0.1666666667 x944 - 0.1666666667 x945 - 0.1666666667 x946 + x947 = 0 e9: - 0.1666666667 x948 - 0.1666666667 x949 - 0.1666666667 x950 - 0.1666666667 x951 - 0.1666666667 x952 - 0.1666666667 x953 + x954 = 0 e10: - 0.1666666667 x955 - 0.1666666667 x956 - 0.1666666667 x957 - 0.1666666667 x958 - 0.1666666667 x959 - 0.1666666667 x960 + x961 = 0 e11: - 0.1666666667 x962 - 0.1666666667 x963 - 0.1666666667 x964 - 0.1666666667 x965 - 0.1666666667 x966 - 0.1666666667 x967 + x968 = 0 e12: - 0.1666666667 x969 - 0.1666666667 x970 - 0.1666666667 x971 - 0.1666666667 x972 - 0.1666666667 x973 - 0.1666666667 x974 + x975 = 0 e13: - 0.1666666667 x976 - 0.1666666667 x977 - 0.1666666667 x978 - 0.1666666667 x979 - 0.1666666667 x980 - 0.1666666667 x981 + x982 = 0 e14: - 0.1666666667 x983 - 0.1666666667 x984 - 0.1666666667 x985 - 0.1666666667 x986 - 0.1666666667 x987 - 0.1666666667 x988 + x989 = 0 e15: - 0.1666666667 x990 - 0.1666666667 x991 - 0.1666666667 x992 - 0.1666666667 x993 - 0.1666666667 x994 - 0.1666666667 x995 + x996 = 0 e16: - 0.1666666667 x997 - 0.1666666667 x998 - 0.1666666667 x999 - 0.1666666667 x1000 - 0.1666666667 x1001 - 0.1666666667 x1002 + x1003 = 0 e17: - x917 + x920 <= 0 e18: - x919 + x927 <= 0 e19: - x917 + x921 <= 0 e20: - x919 + x928 <= 0 e21: - x917 + x922 <= 0 e22: - x919 + x929 <= 0 e23: - x917 + x923 <= 0 e24: - x919 + x930 <= 0 e25: - x917 + x924 <= 0 e26: - x919 + x931 <= 0 e27: - x917 + x925 <= 0 e28: - x919 + x932 <= 0 e29: - x917 + x934 <= 0 e30: - x919 + x941 <= 0 e31: - x917 + x935 <= 0 e32: - x919 + x942 <= 0 e33: - x917 + x936 <= 0 e34: - x919 + x943 <= 0 e35: - x917 + x937 <= 0 e36: - x919 + x944 <= 0 e37: - x917 + x938 <= 0 e38: - x919 + x945 <= 0 e39: - x917 + x939 <= 0 e40: - x919 + x946 <= 0 e41: - x917 + x948 <= 0 e42: - x919 + x955 <= 0 e43: - x917 + x949 <= 0 e44: - x919 + x956 <= 0 e45: - x917 + x950 <= 0 e46: - x919 + x957 <= 0 e47: - x917 + x951 <= 0 e48: - x919 + x958 <= 0 e49: - x917 + x952 <= 0 e50: - x919 + x959 <= 0 e51: - x917 + x953 <= 0 e52: - x919 + x960 <= 0 e53: - x917 + x962 <= 0 e54: - x919 + x969 <= 0 e55: - x917 + x963 <= 0 e56: - x919 + x970 <= 0 e57: - x917 + x964 <= 0 e58: - x919 + x971 <= 0 e59: - x917 + x965 <= 0 e60: - x919 + x972 <= 0 e61: - x917 + x966 <= 0 e62: - x919 + x973 <= 0 e63: - x917 + x967 <= 0 e64: - x919 + x974 <= 0 e65: - x917 + x976 <= 0 e66: - x919 + x983 <= 0 e67: - x917 + x977 <= 0 e68: - x919 + x984 <= 0 e69: - x917 + x978 <= 0 e70: - x919 + x985 <= 0 e71: - x917 + x979 <= 0 e72: - x919 + x986 <= 0 e73: - x917 + x980 <= 0 e74: - x919 + x987 <= 0 e75: - x917 + x981 <= 0 e76: - x919 + x988 <= 0 e77: - x917 + x990 <= 0 e78: - x919 + x997 <= 0 e79: - x917 + x991 <= 0 e80: - x919 + x998 <= 0 e81: - x917 + x992 <= 0 e82: - x919 + x999 <= 0 e83: - x917 + x993 <= 0 e84: - x919 + x1000 <= 0 e85: - x917 + x994 <= 0 e86: - x919 + x1001 <= 0 e87: - x917 + x995 <= 0 e88: - x919 + x1002 <= 0 e89: x920 - x926 + 0.8333333333 x1004 + 0.75 x1005 = 0 e90: x921 - x926 - 0.1666666667 x1004 + 0.75 x1005 = 0 e91: x922 - x926 - 0.6666666667 x1004 + 0.25 x1005 = 0 e92: x923 - x926 - 0.6666666667 x1004 - 0.25 x1005 = 0 e93: x924 - x926 - 0.1666666667 x1004 - 0.75 x1005 = 0 e94: x925 - x926 + 0.8333333333 x1004 - 0.75 x1005 = 0 e95: x934 - x940 + 0.8333333333 x1006 + 0.75 x1007 = 0 e96: x935 - x940 - 0.1666666667 x1006 + 0.75 x1007 = 0 e97: x936 - x940 - 0.6666666667 x1006 + 0.25 x1007 = 0 e98: x937 - x940 - 0.6666666667 x1006 - 0.25 x1007 = 0 e99: x938 - x940 - 0.1666666667 x1006 - 0.75 x1007 = 0 e100: x939 - x940 + 0.8333333333 x1006 - 0.75 x1007 = 0 e101: x948 - x954 + 0.8333333333 x1008 + 0.75 x1009 = 0 e102: x949 - x954 - 0.1666666667 x1008 + 0.75 x1009 = 0 e103: x950 - x954 - 0.6666666667 x1008 + 0.25 x1009 = 0 e104: x951 - x954 - 0.6666666667 x1008 - 0.25 x1009 = 0 e105: x952 - x954 - 0.1666666667 x1008 - 0.75 x1009 = 0 e106: x953 - x954 + 0.8333333333 x1008 - 0.75 x1009 = 0 e107: x962 - x968 + 0.8333333333 x1010 + 0.75 x1011 = 0 e108: x963 - x968 - 0.1666666667 x1010 + 0.75 x1011 = 0 e109: x964 - x968 - 0.6666666667 x1010 + 0.25 x1011 = 0 e110: x965 - x968 - 0.6666666667 x1010 - 0.25 x1011 = 0 e111: x966 - x968 - 0.1666666667 x1010 - 0.75 x1011 = 0 e112: x967 - x968 + 0.8333333333 x1010 - 0.75 x1011 = 0 e113: x976 - x982 + 0.8333333333 x1012 + 0.75 x1013 = 0 e114: x977 - x982 - 0.1666666667 x1012 + 0.75 x1013 = 0 e115: x978 - x982 - 0.6666666667 x1012 + 0.25 x1013 = 0 e116: x979 - x982 - 0.6666666667 x1012 - 0.25 x1013 = 0 e117: x980 - x982 - 0.1666666667 x1012 - 0.75 x1013 = 0 e118: x981 - x982 + 0.8333333333 x1012 - 0.75 x1013 = 0 e119: x990 - x996 + 0.8333333333 x1014 + 0.75 x1015 = 0 e120: x991 - x996 - 0.1666666667 x1014 + 0.75 x1015 = 0 e121: x992 - x996 - 0.6666666667 x1014 + 0.25 x1015 = 0 e122: x993 - x996 - 0.6666666667 x1014 - 0.25 x1015 = 0 e123: x994 - x996 - 0.1666666667 x1014 - 0.75 x1015 = 0 e124: x995 - x996 + 0.8333333333 x1014 - 0.75 x1015 = 0 e125: x927 - x933 - 0.75 x1004 + 0.8333333333 x1005 = 0 e126: x928 - x933 - 0.75 x1004 - 0.1666666667 x1005 = 0 e127: x929 - x933 - 0.25 x1004 - 0.6666666667 x1005 = 0 e128: x930 - x933 + 0.25 x1004 - 0.6666666667 x1005 = 0 e129: x931 - x933 + 0.75 x1004 - 0.1666666667 x1005 = 0 e130: x932 - x933 + 0.75 x1004 + 0.8333333333 x1005 = 0 e131: x941 - x947 - 0.75 x1006 + 0.8333333333 x1007 = 0 e132: x942 - x947 - 0.75 x1006 - 0.1666666667 x1007 = 0 e133: x943 - x947 - 0.25 x1006 - 0.6666666667 x1007 = 0 e134: x944 - x947 + 0.25 x1006 - 0.6666666667 x1007 = 0 e135: x945 - x947 + 0.75 x1006 - 0.1666666667 x1007 = 0 e136: x946 - x947 + 0.75 x1006 + 0.8333333333 x1007 = 0 e137: x955 - x961 - 0.75 x1008 + 0.8333333333 x1009 = 0 e138: x956 - x961 - 0.75 x1008 - 0.1666666667 x1009 = 0 e139: x957 - x961 - 0.25 x1008 - 0.6666666667 x1009 = 0 e140: x958 - x961 + 0.25 x1008 - 0.6666666667 x1009 = 0 e141: x959 - x961 + 0.75 x1008 - 0.1666666667 x1009 = 0 e142: x960 - x961 + 0.75 x1008 + 0.8333333333 x1009 = 0 e143: x969 - x975 - 0.75 x1010 + 0.8333333333 x1011 = 0 e144: x970 - x975 - 0.75 x1010 - 0.1666666667 x1011 = 0 e145: x971 - x975 - 0.25 x1010 - 0.6666666667 x1011 = 0 e146: x972 - x975 + 0.25 x1010 - 0.6666666667 x1011 = 0 e147: x973 - x975 + 0.75 x1010 - 0.1666666667 x1011 = 0 e148: x974 - x975 + 0.75 x1010 + 0.8333333333 x1011 = 0 e149: x983 - x989 - 0.75 x1012 + 0.8333333333 x1013 = 0 e150: x984 - x989 - 0.75 x1012 - 0.1666666667 x1013 = 0 e151: x985 - x989 - 0.25 x1012 - 0.6666666667 x1013 = 0 e152: x986 - x989 + 0.25 x1012 - 0.6666666667 x1013 = 0 e153: x987 - x989 + 0.75 x1012 - 0.1666666667 x1013 = 0 e154: x988 - x989 + 0.75 x1012 + 0.8333333333 x1013 = 0 e155: x997 - x1003 - 0.75 x1014 + 0.8333333333 x1015 = 0 e156: x998 - x1003 - 0.75 x1014 - 0.1666666667 x1015 = 0 e157: x999 - x1003 - 0.25 x1014 - 0.6666666667 x1015 = 0 e158: x1000 - x1003 + 0.25 x1014 - 0.6666666667 x1015 = 0 e159: x1001 - x1003 + 0.75 x1014 - 0.1666666667 x1015 = 0 e160: x1002 - x1003 + 0.75 x1014 + 0.8333333333 x1015 = 0 e161: - x1016 + x1017 = 0 e162: - x1018 + x1019 = 0 e163: - x1020 + x1021 = 0 e164: - x1022 + x1023 = 0 e165: - x1024 + x1025 = 0 e166: - x1026 + x1027 = 0 e167: - x1028 + x1029 = 0 e168: - x1030 + x1031 = 0 e169: - x1032 + x1033 = 0 e170: - x1034 + x1035 = 0 e171: - x1036 + x1037 = 0 e172: - x1038 + x1039 = 0 e173: - x1040 + x1041 = 0 e174: - x1042 + x1043 = 0 e175: - x1044 + x1045 = 0 e176: x1046 + x1047 = 0 e177: x1048 + x1049 = 0 e178: x1050 + x1051 = 0 e179: x1052 + x1053 = 0 e180: x1054 + x1055 = 0 e181: x1056 + x1057 = 0 e182: x1058 + x1059 = 0 e183: x1060 + x1061 = 0 e184: x1062 + x1063 = 0 e185: x1064 + x1065 = 0 e186: x1066 + x1067 = 0 e187: x1068 + x1069 = 0 e188: x1070 + x1071 = 0 e189: x1072 + x1073 = 0 e190: x1074 + x1075 = 0 e191: - x1076 + x1077 = 0 e192: - x1078 + x1079 = 0 e193: - x1080 + x1081 = 0 e194: - x1082 + x1083 = 0 e195: - x1084 + x1085 = 0 e196: - x1086 + x1087 = 0 e197: x1088 + x1089 = 0 e198: x1090 + x1091 = 0 e199: x1092 + x1093 = 0 e200: x1094 + x1095 = 0 e201: x1096 + x1097 = 0 e202: x1098 + x1099 = 0 e203: 1.2 x1077 + x1100 = 0 e204: 1.2 x1089 + x1101 = 0 e205: 1.2 x1079 + x1102 = 0 e206: 1.2 x1091 + x1103 = 0 e207: 1.2 x1081 + x1104 = 0 e208: 1.2 x1093 + x1105 = 0 e209: 1.2 x1083 + x1106 = 0 e210: 1.2 x1095 + x1107 = 0 e211: 1.2 x1085 + x1108 = 0 e212: 1.2 x1097 + x1109 = 0 e213: 1.2 x1087 + x1110 = 0 e214: 1.2 x1099 + x1111 = 0 e215: x926 - x940 <= 0 e216: x926 - x954 <= 0 e217: x926 - x968 <= 0 e218: x926 - x982 <= 0 e219: x926 - x996 <= 0 e220: x940 - x954 <= 0 e221: x940 - x968 <= 0 e222: x940 - x982 <= 0 e223: x940 - x996 <= 0 e224: x954 - x968 <= 0 e225: x954 - x982 <= 0 e226: x954 - x996 <= 0 e227: x968 - x982 <= 0 e228: x968 - x996 <= 0 e229: x982 - x996 <= 0 e230: x915 + [ - x917 * x919 ] = 0 e231: x441 + x442 - x920 + [ x182 * x1046 ] = 0 e232: x443 + x444 - x927 + [ x182 * x1016 ] = 0 e233: x441 + x445 - x921 + [ x183 * x1046 ] = 0 e234: x443 + x446 - x928 + [ x183 * x1016 ] = 0 e235: x441 + x447 - x922 + [ x184 * x1046 ] = 0 e236: x443 + x448 - x929 + [ x184 * x1016 ] = 0 e237: x441 + x449 - x923 + [ x185 * x1046 ] = 0 e238: x443 + x450 - x930 + [ x185 * x1016 ] = 0 e239: x441 + x451 - x924 + [ x186 * x1046 ] = 0 e240: x443 + x452 - x931 + [ x186 * x1016 ] = 0 e241: x441 + x453 - x925 + [ x187 * x1046 ] = 0 e242: x443 + x454 - x932 + [ x187 * x1016 ] = 0 e243: x455 + x456 - x920 + [ x188 * x1048 ] = 0 e244: x457 + x458 - x927 + [ x188 * x1018 ] = 0 e245: x455 + x459 - x921 + [ x189 * x1048 ] = 0 e246: x457 + x460 - x928 + [ x189 * x1018 ] = 0 e247: x455 + x461 - x922 + [ x190 * x1048 ] = 0 e248: x457 + x462 - x929 + [ x190 * x1018 ] = 0 e249: x455 + x463 - x923 + [ x191 * x1048 ] = 0 e250: x457 + x464 - x930 + [ x191 * x1018 ] = 0 e251: x455 + x465 - x924 + [ x192 * x1048 ] = 0 e252: x457 + x466 - x931 + [ x192 * x1018 ] = 0 e253: x455 + x467 - x925 + [ x193 * x1048 ] = 0 e254: x457 + x468 - x932 + [ x193 * x1018 ] = 0 e255: x469 + x470 - x920 + [ x194 * x1050 ] = 0 e256: x471 + x472 - x927 + [ x194 * x1020 ] = 0 e257: x469 + x473 - x921 + [ x195 * x1050 ] = 0 e258: x471 + x474 - x928 + [ x195 * x1020 ] = 0 e259: x469 + x475 - x922 + [ x196 * x1050 ] = 0 e260: x471 + x476 - x929 + [ x196 * x1020 ] = 0 e261: x469 + x477 - x923 + [ x197 * x1050 ] = 0 e262: x471 + x478 - x930 + [ x197 * x1020 ] = 0 e263: x469 + x479 - x924 + [ x198 * x1050 ] = 0 e264: x471 + x480 - x931 + [ x198 * x1020 ] = 0 e265: x469 + x481 - x925 + [ x199 * x1050 ] = 0 e266: x471 + x482 - x932 + [ x199 * x1020 ] = 0 e267: x483 + x484 - x920 + [ x200 * x1052 ] = 0 e268: x485 + x486 - x927 + [ x200 * x1022 ] = 0 e269: x483 + x487 - x921 + [ x201 * x1052 ] = 0 e270: x485 + x488 - x928 + [ x201 * x1022 ] = 0 e271: x483 + x489 - x922 + [ x202 * x1052 ] = 0 e272: x485 + x490 - x929 + [ x202 * x1022 ] = 0 e273: x483 + x491 - x923 + [ x203 * x1052 ] = 0 e274: x485 + x492 - x930 + [ x203 * x1022 ] = 0 e275: x483 + x493 - x924 + [ x204 * x1052 ] = 0 e276: x485 + x494 - x931 + [ x204 * x1022 ] = 0 e277: x483 + x495 - x925 + [ x205 * x1052 ] = 0 e278: x485 + x496 - x932 + [ x205 * x1022 ] = 0 e279: x497 + x498 - x920 + [ x206 * x1054 ] = 0 e280: x499 + x500 - x927 + [ x206 * x1024 ] = 0 e281: x497 + x501 - x921 + [ x207 * x1054 ] = 0 e282: x499 + x502 - x928 + [ x207 * x1024 ] = 0 e283: x497 + x503 - x922 + [ x208 * x1054 ] = 0 e284: x499 + x504 - x929 + [ x208 * x1024 ] = 0 e285: x497 + x505 - x923 + [ x209 * x1054 ] = 0 e286: x499 + x506 - x930 + [ x209 * x1024 ] = 0 e287: x497 + x507 - x924 + [ x210 * x1054 ] = 0 e288: x499 + x508 - x931 + [ x210 * x1024 ] = 0 e289: x497 + x509 - x925 + [ x211 * x1054 ] = 0 e290: x499 + x510 - x932 + [ x211 * x1024 ] = 0 e291: x511 + x512 - x934 + [ x218 * x1056 ] = 0 e292: x513 + x514 - x941 + [ x218 * x1026 ] = 0 e293: x511 + x515 - x935 + [ x219 * x1056 ] = 0 e294: x513 + x516 - x942 + [ x219 * x1026 ] = 0 e295: x511 + x517 - x936 + [ x220 * x1056 ] = 0 e296: x513 + x518 - x943 + [ x220 * x1026 ] = 0 e297: x511 + x519 - x937 + [ x221 * x1056 ] = 0 e298: x513 + x520 - x944 + [ x221 * x1026 ] = 0 e299: x511 + x521 - x938 + [ x222 * x1056 ] = 0 e300: x513 + x522 - x945 + [ x222 * x1026 ] = 0 e301: x511 + x523 - x939 + [ x223 * x1056 ] = 0 e302: x513 + x524 - x946 + [ x223 * x1026 ] = 0 e303: x525 + x526 - x934 + [ x224 * x1058 ] = 0 e304: x527 + x528 - x941 + [ x224 * x1028 ] = 0 e305: x525 + x529 - x935 + [ x225 * x1058 ] = 0 e306: x527 + x530 - x942 + [ x225 * x1028 ] = 0 e307: x525 + x531 - x936 + [ x226 * x1058 ] = 0 e308: x527 + x532 - x943 + [ x226 * x1028 ] = 0 e309: x525 + x533 - x937 + [ x227 * x1058 ] = 0 e310: x527 + x534 - x944 + [ x227 * x1028 ] = 0 e311: x525 + x535 - x938 + [ x228 * x1058 ] = 0 e312: x527 + x536 - x945 + [ x228 * x1028 ] = 0 e313: x525 + x537 - x939 + [ x229 * x1058 ] = 0 e314: x527 + x538 - x946 + [ x229 * x1028 ] = 0 e315: x539 + x540 - x934 + [ x230 * x1060 ] = 0 e316: x541 + x542 - x941 + [ x230 * x1030 ] = 0 e317: x539 + x543 - x935 + [ x231 * x1060 ] = 0 e318: x541 + x544 - x942 + [ x231 * x1030 ] = 0 e319: x539 + x545 - x936 + [ x232 * x1060 ] = 0 e320: x541 + x546 - x943 + [ x232 * x1030 ] = 0 e321: x539 + x547 - x937 + [ x233 * x1060 ] = 0 e322: x541 + x548 - x944 + [ x233 * x1030 ] = 0 e323: x539 + x549 - x938 + [ x234 * x1060 ] = 0 e324: x541 + x550 - x945 + [ x234 * x1030 ] = 0 e325: x539 + x551 - x939 + [ x235 * x1060 ] = 0 e326: x541 + x552 - x946 + [ x235 * x1030 ] = 0 e327: x553 + x554 - x934 + [ x236 * x1062 ] = 0 e328: x555 + x556 - x941 + [ x236 * x1032 ] = 0 e329: x553 + x557 - x935 + [ x237 * x1062 ] = 0 e330: x555 + x558 - x942 + [ x237 * x1032 ] = 0 e331: x553 + x559 - x936 + [ x238 * x1062 ] = 0 e332: x555 + x560 - x943 + [ x238 * x1032 ] = 0 e333: x553 + x561 - x937 + [ x239 * x1062 ] = 0 e334: x555 + x562 - x944 + [ x239 * x1032 ] = 0 e335: x553 + x563 - x938 + [ x240 * x1062 ] = 0 e336: x555 + x564 - x945 + [ x240 * x1032 ] = 0 e337: x553 + x565 - x939 + [ x241 * x1062 ] = 0 e338: x555 + x566 - x946 + [ x241 * x1032 ] = 0 e339: x567 + x568 - x948 + [ x254 * x1064 ] = 0 e340: x569 + x570 - x955 + [ x254 * x1034 ] = 0 e341: x567 + x571 - x949 + [ x255 * x1064 ] = 0 e342: x569 + x572 - x956 + [ x255 * x1034 ] = 0 e343: x567 + x573 - x950 + [ x256 * x1064 ] = 0 e344: x569 + x574 - x957 + [ x256 * x1034 ] = 0 e345: x567 + x575 - x951 + [ x257 * x1064 ] = 0 e346: x569 + x576 - x958 + [ x257 * x1034 ] = 0 e347: x567 + x577 - x952 + [ x258 * x1064 ] = 0 e348: x569 + x578 - x959 + [ x258 * x1034 ] = 0 e349: x567 + x579 - x953 + [ x259 * x1064 ] = 0 e350: x569 + x580 - x960 + [ x259 * x1034 ] = 0 e351: x581 + x582 - x948 + [ x260 * x1066 ] = 0 e352: x583 + x584 - x955 + [ x260 * x1036 ] = 0 e353: x581 + x585 - x949 + [ x261 * x1066 ] = 0 e354: x583 + x586 - x956 + [ x261 * x1036 ] = 0 e355: x581 + x587 - x950 + [ x262 * x1066 ] = 0 e356: x583 + x588 - x957 + [ x262 * x1036 ] = 0 e357: x581 + x589 - x951 + [ x263 * x1066 ] = 0 e358: x583 + x590 - x958 + [ x263 * x1036 ] = 0 e359: x581 + x591 - x952 + [ x264 * x1066 ] = 0 e360: x583 + x592 - x959 + [ x264 * x1036 ] = 0 e361: x581 + x593 - x953 + [ x265 * x1066 ] = 0 e362: x583 + x594 - x960 + [ x265 * x1036 ] = 0 e363: x595 + x596 - x948 + [ x266 * x1068 ] = 0 e364: x597 + x598 - x955 + [ x266 * x1038 ] = 0 e365: x595 + x599 - x949 + [ x267 * x1068 ] = 0 e366: x597 + x600 - x956 + [ x267 * x1038 ] = 0 e367: x595 + x601 - x950 + [ x268 * x1068 ] = 0 e368: x597 + x602 - x957 + [ x268 * x1038 ] = 0 e369: x595 + x603 - x951 + [ x269 * x1068 ] = 0 e370: x597 + x604 - x958 + [ x269 * x1038 ] = 0 e371: x595 + x605 - x952 + [ x270 * x1068 ] = 0 e372: x597 + x606 - x959 + [ x270 * x1038 ] = 0 e373: x595 + x607 - x953 + [ x271 * x1068 ] = 0 e374: x597 + x608 - x960 + [ x271 * x1038 ] = 0 e375: x609 + x610 - x962 + [ x290 * x1070 ] = 0 e376: x611 + x612 - x969 + [ x290 * x1040 ] = 0 e377: x609 + x613 - x963 + [ x291 * x1070 ] = 0 e378: x611 + x614 - x970 + [ x291 * x1040 ] = 0 e379: x609 + x615 - x964 + [ x292 * x1070 ] = 0 e380: x611 + x616 - x971 + [ x292 * x1040 ] = 0 e381: x609 + x617 - x965 + [ x293 * x1070 ] = 0 e382: x611 + x618 - x972 + [ x293 * x1040 ] = 0 e383: x609 + x619 - x966 + [ x294 * x1070 ] = 0 e384: x611 + x620 - x973 + [ x294 * x1040 ] = 0 e385: x609 + x621 - x967 + [ x295 * x1070 ] = 0 e386: x611 + x622 - x974 + [ x295 * x1040 ] = 0 e387: x623 + x624 - x962 + [ x296 * x1072 ] = 0 e388: x625 + x626 - x969 + [ x296 * x1042 ] = 0 e389: x623 + x627 - x963 + [ x297 * x1072 ] = 0 e390: x625 + x628 - x970 + [ x297 * x1042 ] = 0 e391: x623 + x629 - x964 + [ x298 * x1072 ] = 0 e392: x625 + x630 - x971 + [ x298 * x1042 ] = 0 e393: x623 + x631 - x965 + [ x299 * x1072 ] = 0 e394: x625 + x632 - x972 + [ x299 * x1042 ] = 0 e395: x623 + x633 - x966 + [ x300 * x1072 ] = 0 e396: x625 + x634 - x973 + [ x300 * x1042 ] = 0 e397: x623 + x635 - x967 + [ x301 * x1072 ] = 0 e398: x625 + x636 - x974 + [ x301 * x1042 ] = 0 e399: x637 + x638 - x976 + [ x326 * x1074 ] = 0 e400: x639 + x640 - x983 + [ x326 * x1044 ] = 0 e401: x637 + x641 - x977 + [ x327 * x1074 ] = 0 e402: x639 + x642 - x984 + [ x327 * x1044 ] = 0 e403: x637 + x643 - x978 + [ x328 * x1074 ] = 0 e404: x639 + x644 - x985 + [ x328 * x1044 ] = 0 e405: x637 + x645 - x979 + [ x329 * x1074 ] = 0 e406: x639 + x646 - x986 + [ x329 * x1044 ] = 0 e407: x637 + x647 - x980 + [ x330 * x1074 ] = 0 e408: x639 + x648 - x987 + [ x330 * x1044 ] = 0 e409: x637 + x649 - x981 + [ x331 * x1074 ] = 0 e410: x639 + x650 - x988 + [ x331 * x1044 ] = 0 e411: x441 + x651 - x934 + [ x212 * x1046 ] = 0 e412: x443 + x652 - x941 + [ x212 * x1016 ] = 0 e413: x441 + x653 - x935 + [ x213 * x1046 ] = 0 e414: x443 + x654 - x942 + [ x213 * x1016 ] = 0 e415: x441 + x655 - x936 + [ x214 * x1046 ] = 0 e416: x443 + x656 - x943 + [ x214 * x1016 ] = 0 e417: x441 + x657 - x937 + [ x215 * x1046 ] = 0 e418: x443 + x658 - x944 + [ x215 * x1016 ] = 0 e419: x441 + x659 - x938 + [ x216 * x1046 ] = 0 e420: x443 + x660 - x945 + [ x216 * x1016 ] = 0 e421: x441 + x661 - x939 + [ x217 * x1046 ] = 0 e422: x443 + x662 - x946 + [ x217 * x1016 ] = 0 e423: x455 + x663 - x948 + [ x242 * x1048 ] = 0 e424: x457 + x664 - x955 + [ x242 * x1018 ] = 0 e425: x455 + x665 - x949 + [ x243 * x1048 ] = 0 e426: x457 + x666 - x956 + [ x243 * x1018 ] = 0 e427: x455 + x667 - x950 + [ x244 * x1048 ] = 0 e428: x457 + x668 - x957 + [ x244 * x1018 ] = 0 e429: x455 + x669 - x951 + [ x245 * x1048 ] = 0 e430: x457 + x670 - x958 + [ x245 * x1018 ] = 0 e431: x455 + x671 - x952 + [ x246 * x1048 ] = 0 e432: x457 + x672 - x959 + [ x246 * x1018 ] = 0 e433: x455 + x673 - x953 + [ x247 * x1048 ] = 0 e434: x457 + x674 - x960 + [ x247 * x1018 ] = 0 e435: x469 + x675 - x962 + [ x272 * x1050 ] = 0 e436: x471 + x676 - x969 + [ x272 * x1020 ] = 0 e437: x469 + x677 - x963 + [ x273 * x1050 ] = 0 e438: x471 + x678 - x970 + [ x273 * x1020 ] = 0 e439: x469 + x679 - x964 + [ x274 * x1050 ] = 0 e440: x471 + x680 - x971 + [ x274 * x1020 ] = 0 e441: x469 + x681 - x965 + [ x275 * x1050 ] = 0 e442: x471 + x682 - x972 + [ x275 * x1020 ] = 0 e443: x469 + x683 - x966 + [ x276 * x1050 ] = 0 e444: x471 + x684 - x973 + [ x276 * x1020 ] = 0 e445: x469 + x685 - x967 + [ x277 * x1050 ] = 0 e446: x471 + x686 - x974 + [ x277 * x1020 ] = 0 e447: x483 + x687 - x976 + [ x302 * x1052 ] = 0 e448: x485 + x688 - x983 + [ x302 * x1022 ] = 0 e449: x483 + x689 - x977 + [ x303 * x1052 ] = 0 e450: x485 + x690 - x984 + [ x303 * x1022 ] = 0 e451: x483 + x691 - x978 + [ x304 * x1052 ] = 0 e452: x485 + x692 - x985 + [ x304 * x1022 ] = 0 e453: x483 + x693 - x979 + [ x305 * x1052 ] = 0 e454: x485 + x694 - x986 + [ x305 * x1022 ] = 0 e455: x483 + x695 - x980 + [ x306 * x1052 ] = 0 e456: x485 + x696 - x987 + [ x306 * x1022 ] = 0 e457: x483 + x697 - x981 + [ x307 * x1052 ] = 0 e458: x485 + x698 - x988 + [ x307 * x1022 ] = 0 e459: x497 + x699 - x990 + [ x332 * x1054 ] = 0 e460: x499 + x700 - x997 + [ x332 * x1024 ] = 0 e461: x497 + x701 - x991 + [ x333 * x1054 ] = 0 e462: x499 + x702 - x998 + [ x333 * x1024 ] = 0 e463: x497 + x703 - x992 + [ x334 * x1054 ] = 0 e464: x499 + x704 - x999 + [ x334 * x1024 ] = 0 e465: x497 + x705 - x993 + [ x335 * x1054 ] = 0 e466: x499 + x706 - x1000 + [ x335 * x1024 ] = 0 e467: x497 + x707 - x994 + [ x336 * x1054 ] = 0 e468: x499 + x708 - x1001 + [ x336 * x1024 ] = 0 e469: x497 + x709 - x995 + [ x337 * x1054 ] = 0 e470: x499 + x710 - x1002 + [ x337 * x1024 ] = 0 e471: x511 + x711 - x948 + [ x248 * x1056 ] = 0 e472: x513 + x712 - x955 + [ x248 * x1026 ] = 0 e473: x511 + x713 - x949 + [ x249 * x1056 ] = 0 e474: x513 + x714 - x956 + [ x249 * x1026 ] = 0 e475: x511 + x715 - x950 + [ x250 * x1056 ] = 0 e476: x513 + x716 - x957 + [ x250 * x1026 ] = 0 e477: x511 + x717 - x951 + [ x251 * x1056 ] = 0 e478: x513 + x718 - x958 + [ x251 * x1026 ] = 0 e479: x511 + x719 - x952 + [ x252 * x1056 ] = 0 e480: x513 + x720 - x959 + [ x252 * x1026 ] = 0 e481: x511 + x721 - x953 + [ x253 * x1056 ] = 0 e482: x513 + x722 - x960 + [ x253 * x1026 ] = 0 e483: x525 + x723 - x962 + [ x278 * x1058 ] = 0 e484: x527 + x724 - x969 + [ x278 * x1028 ] = 0 e485: x525 + x725 - x963 + [ x279 * x1058 ] = 0 e486: x527 + x726 - x970 + [ x279 * x1028 ] = 0 e487: x525 + x727 - x964 + [ x280 * x1058 ] = 0 e488: x527 + x728 - x971 + [ x280 * x1028 ] = 0 e489: x525 + x729 - x965 + [ x281 * x1058 ] = 0 e490: x527 + x730 - x972 + [ x281 * x1028 ] = 0 e491: x525 + x731 - x966 + [ x282 * x1058 ] = 0 e492: x527 + x732 - x973 + [ x282 * x1028 ] = 0 e493: x525 + x733 - x967 + [ x283 * x1058 ] = 0 e494: x527 + x734 - x974 + [ x283 * x1028 ] = 0 e495: x539 + x735 - x976 + [ x308 * x1060 ] = 0 e496: x541 + x736 - x983 + [ x308 * x1030 ] = 0 e497: x539 + x737 - x977 + [ x309 * x1060 ] = 0 e498: x541 + x738 - x984 + [ x309 * x1030 ] = 0 e499: x539 + x739 - x978 + [ x310 * x1060 ] = 0 e500: x541 + x740 - x985 + [ x310 * x1030 ] = 0 e501: x539 + x741 - x979 + [ x311 * x1060 ] = 0 e502: x541 + x742 - x986 + [ x311 * x1030 ] = 0 e503: x539 + x743 - x980 + [ x312 * x1060 ] = 0 e504: x541 + x744 - x987 + [ x312 * x1030 ] = 0 e505: x539 + x745 - x981 + [ x313 * x1060 ] = 0 e506: x541 + x746 - x988 + [ x313 * x1030 ] = 0 e507: x553 + x747 - x990 + [ x338 * x1062 ] = 0 e508: x555 + x748 - x997 + [ x338 * x1032 ] = 0 e509: x553 + x749 - x991 + [ x339 * x1062 ] = 0 e510: x555 + x750 - x998 + [ x339 * x1032 ] = 0 e511: x553 + x751 - x992 + [ x340 * x1062 ] = 0 e512: x555 + x752 - x999 + [ x340 * x1032 ] = 0 e513: x553 + x753 - x993 + [ x341 * x1062 ] = 0 e514: x555 + x754 - x1000 + [ x341 * x1032 ] = 0 e515: x553 + x755 - x994 + [ x342 * x1062 ] = 0 e516: x555 + x756 - x1001 + [ x342 * x1032 ] = 0 e517: x553 + x757 - x995 + [ x343 * x1062 ] = 0 e518: x555 + x758 - x1002 + [ x343 * x1032 ] = 0 e519: x567 + x759 - x962 + [ x284 * x1064 ] = 0 e520: x569 + x760 - x969 + [ x284 * x1034 ] = 0 e521: x567 + x761 - x963 + [ x285 * x1064 ] = 0 e522: x569 + x762 - x970 + [ x285 * x1034 ] = 0 e523: x567 + x763 - x964 + [ x286 * x1064 ] = 0 e524: x569 + x764 - x971 + [ x286 * x1034 ] = 0 e525: x567 + x765 - x965 + [ x287 * x1064 ] = 0 e526: x569 + x766 - x972 + [ x287 * x1034 ] = 0 e527: x567 + x767 - x966 + [ x288 * x1064 ] = 0 e528: x569 + x768 - x973 + [ x288 * x1034 ] = 0 e529: x567 + x769 - x967 + [ x289 * x1064 ] = 0 e530: x569 + x770 - x974 + [ x289 * x1034 ] = 0 e531: x581 + x771 - x976 + [ x314 * x1066 ] = 0 e532: x583 + x772 - x983 + [ x314 * x1036 ] = 0 e533: x581 + x773 - x977 + [ x315 * x1066 ] = 0 e534: x583 + x774 - x984 + [ x315 * x1036 ] = 0 e535: x581 + x775 - x978 + [ x316 * x1066 ] = 0 e536: x583 + x776 - x985 + [ x316 * x1036 ] = 0 e537: x581 + x777 - x979 + [ x317 * x1066 ] = 0 e538: x583 + x778 - x986 + [ x317 * x1036 ] = 0 e539: x581 + x779 - x980 + [ x318 * x1066 ] = 0 e540: x583 + x780 - x987 + [ x318 * x1036 ] = 0 e541: x581 + x781 - x981 + [ x319 * x1066 ] = 0 e542: x583 + x782 - x988 + [ x319 * x1036 ] = 0 e543: x595 + x783 - x990 + [ x344 * x1068 ] = 0 e544: x597 + x784 - x997 + [ x344 * x1038 ] = 0 e545: x595 + x785 - x991 + [ x345 * x1068 ] = 0 e546: x597 + x786 - x998 + [ x345 * x1038 ] = 0 e547: x595 + x787 - x992 + [ x346 * x1068 ] = 0 e548: x597 + x788 - x999 + [ x346 * x1038 ] = 0 e549: x595 + x789 - x993 + [ x347 * x1068 ] = 0 e550: x597 + x790 - x1000 + [ x347 * x1038 ] = 0 e551: x595 + x791 - x994 + [ x348 * x1068 ] = 0 e552: x597 + x792 - x1001 + [ x348 * x1038 ] = 0 e553: x595 + x793 - x995 + [ x349 * x1068 ] = 0 e554: x597 + x794 - x1002 + [ x349 * x1038 ] = 0 e555: x609 + x795 - x976 + [ x320 * x1070 ] = 0 e556: x611 + x796 - x983 + [ x320 * x1040 ] = 0 e557: x609 + x797 - x977 + [ x321 * x1070 ] = 0 e558: x611 + x798 - x984 + [ x321 * x1040 ] = 0 e559: x609 + x799 - x978 + [ x322 * x1070 ] = 0 e560: x611 + x800 - x985 + [ x322 * x1040 ] = 0 e561: x609 + x801 - x979 + [ x323 * x1070 ] = 0 e562: x611 + x802 - x986 + [ x323 * x1040 ] = 0 e563: x609 + x803 - x980 + [ x324 * x1070 ] = 0 e564: x611 + x804 - x987 + [ x324 * x1040 ] = 0 e565: x609 + x805 - x981 + [ x325 * x1070 ] = 0 e566: x611 + x806 - x988 + [ x325 * x1040 ] = 0 e567: x623 + x807 - x990 + [ x350 * x1072 ] = 0 e568: x625 + x808 - x997 + [ x350 * x1042 ] = 0 e569: x623 + x809 - x991 + [ x351 * x1072 ] = 0 e570: x625 + x810 - x998 + [ x351 * x1042 ] = 0 e571: x623 + x811 - x992 + [ x352 * x1072 ] = 0 e572: x625 + x812 - x999 + [ x352 * x1042 ] = 0 e573: x623 + x813 - x993 + [ x353 * x1072 ] = 0 e574: x625 + x814 - x1000 + [ x353 * x1042 ] = 0 e575: x623 + x815 - x994 + [ x354 * x1072 ] = 0 e576: x625 + x816 - x1001 + [ x354 * x1042 ] = 0 e577: x623 + x817 - x995 + [ x355 * x1072 ] = 0 e578: x625 + x818 - x1002 + [ x355 * x1042 ] = 0 e579: x637 + x819 - x990 + [ x356 * x1074 ] = 0 e580: x639 + x820 - x997 + [ x356 * x1044 ] = 0 e581: x637 + x821 - x991 + [ x357 * x1074 ] = 0 e582: x639 + x822 - x998 + [ x357 * x1044 ] = 0 e583: x637 + x823 - x992 + [ x358 * x1074 ] = 0 e584: x639 + x824 - x999 + [ x358 * x1044 ] = 0 e585: x637 + x825 - x993 + [ x359 * x1074 ] = 0 e586: x639 + x826 - x1000 + [ x359 * x1044 ] = 0 e587: x637 + x827 - x994 + [ x360 * x1074 ] = 0 e588: x639 + x828 - x1001 + [ x360 * x1044 ] = 0 e589: x637 + x829 - x995 + [ x361 * x1074 ] = 0 e590: x639 + x830 - x1002 + [ x361 * x1044 ] = 0 e591: x442 + [ - x2 * x1017 ] = 0 e592: x444 + [ - x2 * x1047 ] = 0 e593: x445 + [ - x3 * x1017 ] = 0 e594: x446 + [ - x3 * x1047 ] = 0 e595: x447 + [ - x4 * x1017 ] = 0 e596: x448 + [ - x4 * x1047 ] = 0 e597: x449 + [ - x5 * x1017 ] = 0 e598: x450 + [ - x5 * x1047 ] = 0 e599: x451 + [ - x6 * x1017 ] = 0 e600: x452 + [ - x6 * x1047 ] = 0 e601: x453 + [ - x7 * x1017 ] = 0 e602: x454 + [ - x7 * x1047 ] = 0 e603: x456 + [ - x8 * x1019 ] = 0 e604: x458 + [ - x8 * x1049 ] = 0 e605: x459 + [ - x9 * x1019 ] = 0 e606: x460 + [ - x9 * x1049 ] = 0 e607: x461 + [ - x10 * x1019 ] = 0 e608: x462 + [ - x10 * x1049 ] = 0 e609: x463 + [ - x11 * x1019 ] = 0 e610: x464 + [ - x11 * x1049 ] = 0 e611: x465 + [ - x12 * x1019 ] = 0 e612: x466 + [ - x12 * x1049 ] = 0 e613: x467 + [ - x13 * x1019 ] = 0 e614: x468 + [ - x13 * x1049 ] = 0 e615: x470 + [ - x14 * x1021 ] = 0 e616: x472 + [ - x14 * x1051 ] = 0 e617: x473 + [ - x15 * x1021 ] = 0 e618: x474 + [ - x15 * x1051 ] = 0 e619: x475 + [ - x16 * x1021 ] = 0 e620: x476 + [ - x16 * x1051 ] = 0 e621: x477 + [ - x17 * x1021 ] = 0 e622: x478 + [ - x17 * x1051 ] = 0 e623: x479 + [ - x18 * x1021 ] = 0 e624: x480 + [ - x18 * x1051 ] = 0 e625: x481 + [ - x19 * x1021 ] = 0 e626: x482 + [ - x19 * x1051 ] = 0 e627: x484 + [ - x20 * x1023 ] = 0 e628: x486 + [ - x20 * x1053 ] = 0 e629: x487 + [ - x21 * x1023 ] = 0 e630: x488 + [ - x21 * x1053 ] = 0 e631: x489 + [ - x22 * x1023 ] = 0 e632: x490 + [ - x22 * x1053 ] = 0 e633: x491 + [ - x23 * x1023 ] = 0 e634: x492 + [ - x23 * x1053 ] = 0 e635: x493 + [ - x24 * x1023 ] = 0 e636: x494 + [ - x24 * x1053 ] = 0 e637: x495 + [ - x25 * x1023 ] = 0 e638: x496 + [ - x25 * x1053 ] = 0 e639: x498 + [ - x26 * x1025 ] = 0 e640: x500 + [ - x26 * x1055 ] = 0 e641: x501 + [ - x27 * x1025 ] = 0 e642: x502 + [ - x27 * x1055 ] = 0 e643: x503 + [ - x28 * x1025 ] = 0 e644: x504 + [ - x28 * x1055 ] = 0 e645: x505 + [ - x29 * x1025 ] = 0 e646: x506 + [ - x29 * x1055 ] = 0 e647: x507 + [ - x30 * x1025 ] = 0 e648: x508 + [ - x30 * x1055 ] = 0 e649: x509 + [ - x31 * x1025 ] = 0 e650: x510 + [ - x31 * x1055 ] = 0 e651: x512 + [ - x38 * x1027 ] = 0 e652: x514 + [ - x38 * x1057 ] = 0 e653: x515 + [ - x39 * x1027 ] = 0 e654: x516 + [ - x39 * x1057 ] = 0 e655: x517 + [ - x40 * x1027 ] = 0 e656: x518 + [ - x40 * x1057 ] = 0 e657: x519 + [ - x41 * x1027 ] = 0 e658: x520 + [ - x41 * x1057 ] = 0 e659: x521 + [ - x42 * x1027 ] = 0 e660: x522 + [ - x42 * x1057 ] = 0 e661: x523 + [ - x43 * x1027 ] = 0 e662: x524 + [ - x43 * x1057 ] = 0 e663: x526 + [ - x44 * x1029 ] = 0 e664: x528 + [ - x44 * x1059 ] = 0 e665: x529 + [ - x45 * x1029 ] = 0 e666: x530 + [ - x45 * x1059 ] = 0 e667: x531 + [ - x46 * x1029 ] = 0 e668: x532 + [ - x46 * x1059 ] = 0 e669: x533 + [ - x47 * x1029 ] = 0 e670: x534 + [ - x47 * x1059 ] = 0 e671: x535 + [ - x48 * x1029 ] = 0 e672: x536 + [ - x48 * x1059 ] = 0 e673: x537 + [ - x49 * x1029 ] = 0 e674: x538 + [ - x49 * x1059 ] = 0 e675: x540 + [ - x50 * x1031 ] = 0 e676: x542 + [ - x50 * x1061 ] = 0 e677: x543 + [ - x51 * x1031 ] = 0 e678: x544 + [ - x51 * x1061 ] = 0 e679: x545 + [ - x52 * x1031 ] = 0 e680: x546 + [ - x52 * x1061 ] = 0 e681: x547 + [ - x53 * x1031 ] = 0 e682: x548 + [ - x53 * x1061 ] = 0 e683: x549 + [ - x54 * x1031 ] = 0 e684: x550 + [ - x54 * x1061 ] = 0 e685: x551 + [ - x55 * x1031 ] = 0 e686: x552 + [ - x55 * x1061 ] = 0 e687: x554 + [ - x56 * x1033 ] = 0 e688: x556 + [ - x56 * x1063 ] = 0 e689: x557 + [ - x57 * x1033 ] = 0 e690: x558 + [ - x57 * x1063 ] = 0 e691: x559 + [ - x58 * x1033 ] = 0 e692: x560 + [ - x58 * x1063 ] = 0 e693: x561 + [ - x59 * x1033 ] = 0 e694: x562 + [ - x59 * x1063 ] = 0 e695: x563 + [ - x60 * x1033 ] = 0 e696: x564 + [ - x60 * x1063 ] = 0 e697: x565 + [ - x61 * x1033 ] = 0 e698: x566 + [ - x61 * x1063 ] = 0 e699: x568 + [ - x74 * x1035 ] = 0 e700: x570 + [ - x74 * x1065 ] = 0 e701: x571 + [ - x75 * x1035 ] = 0 e702: x572 + [ - x75 * x1065 ] = 0 e703: x573 + [ - x76 * x1035 ] = 0 e704: x574 + [ - x76 * x1065 ] = 0 e705: x575 + [ - x77 * x1035 ] = 0 e706: x576 + [ - x77 * x1065 ] = 0 e707: x577 + [ - x78 * x1035 ] = 0 e708: x578 + [ - x78 * x1065 ] = 0 e709: x579 + [ - x79 * x1035 ] = 0 e710: x580 + [ - x79 * x1065 ] = 0 e711: x582 + [ - x80 * x1037 ] = 0 e712: x584 + [ - x80 * x1067 ] = 0 e713: x585 + [ - x81 * x1037 ] = 0 e714: x586 + [ - x81 * x1067 ] = 0 e715: x587 + [ - x82 * x1037 ] = 0 e716: x588 + [ - x82 * x1067 ] = 0 e717: x589 + [ - x83 * x1037 ] = 0 e718: x590 + [ - x83 * x1067 ] = 0 e719: x591 + [ - x84 * x1037 ] = 0 e720: x592 + [ - x84 * x1067 ] = 0 e721: x593 + [ - x85 * x1037 ] = 0 e722: x594 + [ - x85 * x1067 ] = 0 e723: x596 + [ - x86 * x1039 ] = 0 e724: x598 + [ - x86 * x1069 ] = 0 e725: x599 + [ - x87 * x1039 ] = 0 e726: x600 + [ - x87 * x1069 ] = 0 e727: x601 + [ - x88 * x1039 ] = 0 e728: x602 + [ - x88 * x1069 ] = 0 e729: x603 + [ - x89 * x1039 ] = 0 e730: x604 + [ - x89 * x1069 ] = 0 e731: x605 + [ - x90 * x1039 ] = 0 e732: x606 + [ - x90 * x1069 ] = 0 e733: x607 + [ - x91 * x1039 ] = 0 e734: x608 + [ - x91 * x1069 ] = 0 e735: x610 + [ - x110 * x1041 ] = 0 e736: x612 + [ - x110 * x1071 ] = 0 e737: x613 + [ - x111 * x1041 ] = 0 e738: x614 + [ - x111 * x1071 ] = 0 e739: x615 + [ - x112 * x1041 ] = 0 e740: x616 + [ - x112 * x1071 ] = 0 e741: x617 + [ - x113 * x1041 ] = 0 e742: x618 + [ - x113 * x1071 ] = 0 e743: x619 + [ - x114 * x1041 ] = 0 e744: x620 + [ - x114 * x1071 ] = 0 e745: x621 + [ - x115 * x1041 ] = 0 e746: x622 + [ - x115 * x1071 ] = 0 e747: x624 + [ - x116 * x1043 ] = 0 e748: x626 + [ - x116 * x1073 ] = 0 e749: x627 + [ - x117 * x1043 ] = 0 e750: x628 + [ - x117 * x1073 ] = 0 e751: x629 + [ - x118 * x1043 ] = 0 e752: x630 + [ - x118 * x1073 ] = 0 e753: x631 + [ - x119 * x1043 ] = 0 e754: x632 + [ - x119 * x1073 ] = 0 e755: x633 + [ - x120 * x1043 ] = 0 e756: x634 + [ - x120 * x1073 ] = 0 e757: x635 + [ - x121 * x1043 ] = 0 e758: x636 + [ - x121 * x1073 ] = 0 e759: x638 + [ - x146 * x1045 ] = 0 e760: x640 + [ - x146 * x1075 ] = 0 e761: x641 + [ - x147 * x1045 ] = 0 e762: x642 + [ - x147 * x1075 ] = 0 e763: x643 + [ - x148 * x1045 ] = 0 e764: x644 + [ - x148 * x1075 ] = 0 e765: x645 + [ - x149 * x1045 ] = 0 e766: x646 + [ - x149 * x1075 ] = 0 e767: x647 + [ - x150 * x1045 ] = 0 e768: x648 + [ - x150 * x1075 ] = 0 e769: x649 + [ - x151 * x1045 ] = 0 e770: x650 + [ - x151 * x1075 ] = 0 e771: x651 + [ x32 * x1017 ] = 0 e772: x652 + [ x32 * x1047 ] = 0 e773: x653 + [ x33 * x1017 ] = 0 e774: x654 + [ x33 * x1047 ] = 0 e775: x655 + [ x34 * x1017 ] = 0 e776: x656 + [ x34 * x1047 ] = 0 e777: x657 + [ x35 * x1017 ] = 0 e778: x658 + [ x35 * x1047 ] = 0 e779: x659 + [ x36 * x1017 ] = 0 e780: x660 + [ x36 * x1047 ] = 0 e781: x661 + [ x37 * x1017 ] = 0 e782: x662 + [ x37 * x1047 ] = 0 e783: x663 + [ x62 * x1019 ] = 0 e784: x664 + [ x62 * x1049 ] = 0 e785: x665 + [ x63 * x1019 ] = 0 e786: x666 + [ x63 * x1049 ] = 0 e787: x667 + [ x64 * x1019 ] = 0 e788: x668 + [ x64 * x1049 ] = 0 e789: x669 + [ x65 * x1019 ] = 0 e790: x670 + [ x65 * x1049 ] = 0 e791: x671 + [ x66 * x1019 ] = 0 e792: x672 + [ x66 * x1049 ] = 0 e793: x673 + [ x67 * x1019 ] = 0 e794: x674 + [ x67 * x1049 ] = 0 e795: x675 + [ x92 * x1021 ] = 0 e796: x676 + [ x92 * x1051 ] = 0 e797: x677 + [ x93 * x1021 ] = 0 e798: x678 + [ x93 * x1051 ] = 0 e799: x679 + [ x94 * x1021 ] = 0 e800: x680 + [ x94 * x1051 ] = 0 e801: x681 + [ x95 * x1021 ] = 0 e802: x682 + [ x95 * x1051 ] = 0 e803: x683 + [ x96 * x1021 ] = 0 e804: x684 + [ x96 * x1051 ] = 0 e805: x685 + [ x97 * x1021 ] = 0 e806: x686 + [ x97 * x1051 ] = 0 e807: x687 + [ x122 * x1023 ] = 0 e808: x688 + [ x122 * x1053 ] = 0 e809: x689 + [ x123 * x1023 ] = 0 e810: x690 + [ x123 * x1053 ] = 0 e811: x691 + [ x124 * x1023 ] = 0 e812: x692 + [ x124 * x1053 ] = 0 e813: x693 + [ x125 * x1023 ] = 0 e814: x694 + [ x125 * x1053 ] = 0 e815: x695 + [ x126 * x1023 ] = 0 e816: x696 + [ x126 * x1053 ] = 0 e817: x697 + [ x127 * x1023 ] = 0 e818: x698 + [ x127 * x1053 ] = 0 e819: x699 + [ x152 * x1025 ] = 0 e820: x700 + [ x152 * x1055 ] = 0 e821: x701 + [ x153 * x1025 ] = 0 e822: x702 + [ x153 * x1055 ] = 0 e823: x703 + [ x154 * x1025 ] = 0 e824: x704 + [ x154 * x1055 ] = 0 e825: x705 + [ x155 * x1025 ] = 0 e826: x706 + [ x155 * x1055 ] = 0 e827: x707 + [ x156 * x1025 ] = 0 e828: x708 + [ x156 * x1055 ] = 0 e829: x709 + [ x157 * x1025 ] = 0 e830: x710 + [ x157 * x1055 ] = 0 e831: x711 + [ x68 * x1027 ] = 0 e832: x712 + [ x68 * x1057 ] = 0 e833: x713 + [ x69 * x1027 ] = 0 e834: x714 + [ x69 * x1057 ] = 0 e835: x715 + [ x70 * x1027 ] = 0 e836: x716 + [ x70 * x1057 ] = 0 e837: x717 + [ x71 * x1027 ] = 0 e838: x718 + [ x71 * x1057 ] = 0 e839: x719 + [ x72 * x1027 ] = 0 e840: x720 + [ x72 * x1057 ] = 0 e841: x721 + [ x73 * x1027 ] = 0 e842: x722 + [ x73 * x1057 ] = 0 e843: x723 + [ x98 * x1029 ] = 0 e844: x724 + [ x98 * x1059 ] = 0 e845: x725 + [ x99 * x1029 ] = 0 e846: x726 + [ x99 * x1059 ] = 0 e847: x727 + [ x100 * x1029 ] = 0 e848: x728 + [ x100 * x1059 ] = 0 e849: x729 + [ x101 * x1029 ] = 0 e850: x730 + [ x101 * x1059 ] = 0 e851: x731 + [ x102 * x1029 ] = 0 e852: x732 + [ x102 * x1059 ] = 0 e853: x733 + [ x103 * x1029 ] = 0 e854: x734 + [ x103 * x1059 ] = 0 e855: x735 + [ x128 * x1031 ] = 0 e856: x736 + [ x128 * x1061 ] = 0 e857: x737 + [ x129 * x1031 ] = 0 e858: x738 + [ x129 * x1061 ] = 0 e859: x739 + [ x130 * x1031 ] = 0 e860: x740 + [ x130 * x1061 ] = 0 e861: x741 + [ x131 * x1031 ] = 0 e862: x742 + [ x131 * x1061 ] = 0 e863: x743 + [ x132 * x1031 ] = 0 e864: x744 + [ x132 * x1061 ] = 0 e865: x745 + [ x133 * x1031 ] = 0 e866: x746 + [ x133 * x1061 ] = 0 e867: x747 + [ x158 * x1033 ] = 0 e868: x748 + [ x158 * x1063 ] = 0 e869: x749 + [ x159 * x1033 ] = 0 e870: x750 + [ x159 * x1063 ] = 0 e871: x751 + [ x160 * x1033 ] = 0 e872: x752 + [ x160 * x1063 ] = 0 e873: x753 + [ x161 * x1033 ] = 0 e874: x754 + [ x161 * x1063 ] = 0 e875: x755 + [ x162 * x1033 ] = 0 e876: x756 + [ x162 * x1063 ] = 0 e877: x757 + [ x163 * x1033 ] = 0 e878: x758 + [ x163 * x1063 ] = 0 e879: x759 + [ x104 * x1035 ] = 0 e880: x760 + [ x104 * x1065 ] = 0 e881: x761 + [ x105 * x1035 ] = 0 e882: x762 + [ x105 * x1065 ] = 0 e883: x763 + [ x106 * x1035 ] = 0 e884: x764 + [ x106 * x1065 ] = 0 e885: x765 + [ x107 * x1035 ] = 0 e886: x766 + [ x107 * x1065 ] = 0 e887: x767 + [ x108 * x1035 ] = 0 e888: x768 + [ x108 * x1065 ] = 0 e889: x769 + [ x109 * x1035 ] = 0 e890: x770 + [ x109 * x1065 ] = 0 e891: x771 + [ x134 * x1037 ] = 0 e892: x772 + [ x134 * x1067 ] = 0 e893: x773 + [ x135 * x1037 ] = 0 e894: x774 + [ x135 * x1067 ] = 0 e895: x775 + [ x136 * x1037 ] = 0 e896: x776 + [ x136 * x1067 ] = 0 e897: x777 + [ x137 * x1037 ] = 0 e898: x778 + [ x137 * x1067 ] = 0 e899: x779 + [ x138 * x1037 ] = 0 e900: x780 + [ x138 * x1067 ] = 0 e901: x781 + [ x139 * x1037 ] = 0 e902: x782 + [ x139 * x1067 ] = 0 e903: x783 + [ x164 * x1039 ] = 0 e904: x784 + [ x164 * x1069 ] = 0 e905: x785 + [ x165 * x1039 ] = 0 e906: x786 + [ x165 * x1069 ] = 0 e907: x787 + [ x166 * x1039 ] = 0 e908: x788 + [ x166 * x1069 ] = 0 e909: x789 + [ x167 * x1039 ] = 0 e910: x790 + [ x167 * x1069 ] = 0 e911: x791 + [ x168 * x1039 ] = 0 e912: x792 + [ x168 * x1069 ] = 0 e913: x793 + [ x169 * x1039 ] = 0 e914: x794 + [ x169 * x1069 ] = 0 e915: x795 + [ x140 * x1041 ] = 0 e916: x796 + [ x140 * x1071 ] = 0 e917: x797 + [ x141 * x1041 ] = 0 e918: x798 + [ x141 * x1071 ] = 0 e919: x799 + [ x142 * x1041 ] = 0 e920: x800 + [ x142 * x1071 ] = 0 e921: x801 + [ x143 * x1041 ] = 0 e922: x802 + [ x143 * x1071 ] = 0 e923: x803 + [ x144 * x1041 ] = 0 e924: x804 + [ x144 * x1071 ] = 0 e925: x805 + [ x145 * x1041 ] = 0 e926: x806 + [ x145 * x1071 ] = 0 e927: x807 + [ x170 * x1043 ] = 0 e928: x808 + [ x170 * x1073 ] = 0 e929: x809 + [ x171 * x1043 ] = 0 e930: x810 + [ x171 * x1073 ] = 0 e931: x811 + [ x172 * x1043 ] = 0 e932: x812 + [ x172 * x1073 ] = 0 e933: x813 + [ x173 * x1043 ] = 0 e934: x814 + [ x173 * x1073 ] = 0 e935: x815 + [ x174 * x1043 ] = 0 e936: x816 + [ x174 * x1073 ] = 0 e937: x817 + [ x175 * x1043 ] = 0 e938: x818 + [ x175 * x1073 ] = 0 e939: x819 + [ x176 * x1045 ] = 0 e940: x820 + [ x176 * x1075 ] = 0 e941: x821 + [ x177 * x1045 ] = 0 e942: x822 + [ x177 * x1075 ] = 0 e943: x823 + [ x178 * x1045 ] = 0 e944: x824 + [ x178 * x1075 ] = 0 e945: x825 + [ x179 * x1045 ] = 0 e946: x826 + [ x179 * x1075 ] = 0 e947: x827 + [ x180 * x1045 ] = 0 e948: x828 + [ x180 * x1075 ] = 0 e949: x829 + [ x181 * x1045 ] = 0 e950: x830 + [ x181 * x1075 ] = 0 e951: x831 + x832 - x920 + [ x398 * x1088 ] = 0 e952: x833 + x834 - x927 + [ x398 * x1076 ] = 0 e953: x831 + x835 - x921 + [ x399 * x1088 ] = 0 e954: x833 + x836 - x928 + [ x399 * x1076 ] = 0 e955: x831 + x837 - x922 + [ x400 * x1088 ] = 0 e956: x833 + x838 - x929 + [ x400 * x1076 ] = 0 e957: x831 + x839 - x923 + [ x401 * x1088 ] = 0 e958: x833 + x840 - x930 + [ x401 * x1076 ] = 0 e959: x831 + x841 - x924 + [ x402 * x1088 ] = 0 e960: x833 + x842 - x931 + [ x402 * x1076 ] = 0 e961: x831 + x843 - x925 + [ x403 * x1088 ] = 0 e962: x833 + x844 - x932 + [ x403 * x1076 ] = 0 e963: x845 + x846 - x934 + [ x404 * x1090 ] = 0 e964: x847 + x848 - x941 + [ x404 * x1078 ] = 0 e965: x845 + x849 - x935 + [ x405 * x1090 ] = 0 e966: x847 + x850 - x942 + [ x405 * x1078 ] = 0 e967: x845 + x851 - x936 + [ x406 * x1090 ] = 0 e968: x847 + x852 - x943 + [ x406 * x1078 ] = 0 e969: x845 + x853 - x937 + [ x407 * x1090 ] = 0 e970: x847 + x854 - x944 + [ x407 * x1078 ] = 0 e971: x845 + x855 - x938 + [ x408 * x1090 ] = 0 e972: x847 + x856 - x945 + [ x408 * x1078 ] = 0 e973: x845 + x857 - x939 + [ x409 * x1090 ] = 0 e974: x847 + x858 - x946 + [ x409 * x1078 ] = 0 e975: x859 + x860 - x948 + [ x410 * x1092 ] = 0 e976: x861 + x862 - x955 + [ x410 * x1080 ] = 0 e977: x859 + x863 - x949 + [ x411 * x1092 ] = 0 e978: x861 + x864 - x956 + [ x411 * x1080 ] = 0 e979: x859 + x865 - x950 + [ x412 * x1092 ] = 0 e980: x861 + x866 - x957 + [ x412 * x1080 ] = 0 e981: x859 + x867 - x951 + [ x413 * x1092 ] = 0 e982: x861 + x868 - x958 + [ x413 * x1080 ] = 0 e983: x859 + x869 - x952 + [ x414 * x1092 ] = 0 e984: x861 + x870 - x959 + [ x414 * x1080 ] = 0 e985: x859 + x871 - x953 + [ x415 * x1092 ] = 0 e986: x861 + x872 - x960 + [ x415 * x1080 ] = 0 e987: x873 + x874 - x962 + [ x416 * x1094 ] = 0 e988: x875 + x876 - x969 + [ x416 * x1082 ] = 0 e989: x873 + x877 - x963 + [ x417 * x1094 ] = 0 e990: x875 + x878 - x970 + [ x417 * x1082 ] = 0 e991: x873 + x879 - x964 + [ x418 * x1094 ] = 0 e992: x875 + x880 - x971 + [ x418 * x1082 ] = 0 e993: x873 + x881 - x965 + [ x419 * x1094 ] = 0 e994: x875 + x882 - x972 + [ x419 * x1082 ] = 0 e995: x873 + x883 - x966 + [ x420 * x1094 ] = 0 e996: x875 + x884 - x973 + [ x420 * x1082 ] = 0 e997: x873 + x885 - x967 + [ x421 * x1094 ] = 0 e998: x875 + x886 - x974 + [ x421 * x1082 ] = 0 e999: x887 + x888 - x976 + [ x422 * x1096 ] = 0 e1000: x889 + x890 - x983 + [ x422 * x1084 ] = 0 e1001: x887 + x891 - x977 + [ x423 * x1096 ] = 0 e1002: x889 + x892 - x984 + [ x423 * x1084 ] = 0 e1003: x887 + x893 - x978 + [ x424 * x1096 ] = 0 e1004: x889 + x894 - x985 + [ x424 * x1084 ] = 0 e1005: x887 + x895 - x979 + [ x425 * x1096 ] = 0 e1006: x889 + x896 - x986 + [ x425 * x1084 ] = 0 e1007: x887 + x897 - x980 + [ x426 * x1096 ] = 0 e1008: x889 + x898 - x987 + [ x426 * x1084 ] = 0 e1009: x887 + x899 - x981 + [ x427 * x1096 ] = 0 e1010: x889 + x900 - x988 + [ x427 * x1084 ] = 0 e1011: x901 + x902 - x990 + [ x428 * x1098 ] = 0 e1012: x903 + x904 - x997 + [ x428 * x1086 ] = 0 e1013: x901 + x905 - x991 + [ x429 * x1098 ] = 0 e1014: x903 + x906 - x998 + [ x429 * x1086 ] = 0 e1015: x901 + x907 - x992 + [ x430 * x1098 ] = 0 e1016: x903 + x908 - x999 + [ x430 * x1086 ] = 0 e1017: x901 + x909 - x993 + [ x431 * x1098 ] = 0 e1018: x903 + x910 - x1000 + [ x431 * x1086 ] = 0 e1019: x901 + x911 - x994 + [ x432 * x1098 ] = 0 e1020: x903 + x912 - x1001 + [ x432 * x1086 ] = 0 e1021: x901 + x913 - x995 + [ x433 * x1098 ] = 0 e1022: x903 + x914 - x1002 + [ x433 * x1086 ] = 0 e1023: x831 - x916 + x1100 + [ x434 * x1088 ] = 0 e1024: x833 - x918 + x1101 + [ x434 * x1076 ] = 0 e1025: x845 - x916 + x1102 + [ x435 * x1090 ] = 0 e1026: x847 - x918 + x1103 + [ x435 * x1078 ] = 0 e1027: x859 - x916 + x1104 + [ x436 * x1092 ] = 0 e1028: x861 - x918 + x1105 + [ x436 * x1080 ] = 0 e1029: x873 - x916 + x1106 + [ x437 * x1094 ] = 0 e1030: x875 - x918 + x1107 + [ x437 * x1082 ] = 0 e1031: x887 - x916 + x1108 + [ x438 * x1096 ] = 0 e1032: x889 - x918 + x1109 + [ x438 * x1084 ] = 0 e1033: x901 - x916 + x1110 + [ x439 * x1098 ] = 0 e1034: x903 - x918 + x1111 + [ x439 * x1086 ] = 0 e1035: x832 + [ - x362 * x1077 ] = 0 e1036: x834 + [ - x362 * x1089 ] = 0 e1037: x835 + [ - x363 * x1077 ] = 0 e1038: x836 + [ - x363 * x1089 ] = 0 e1039: x837 + [ - x364 * x1077 ] = 0 e1040: x838 + [ - x364 * x1089 ] = 0 e1041: x839 + [ - x365 * x1077 ] = 0 e1042: x840 + [ - x365 * x1089 ] = 0 e1043: x841 + [ - x366 * x1077 ] = 0 e1044: x842 + [ - x366 * x1089 ] = 0 e1045: x843 + [ - x367 * x1077 ] = 0 e1046: x844 + [ - x367 * x1089 ] = 0 e1047: x846 + [ - x368 * x1079 ] = 0 e1048: x848 + [ - x368 * x1091 ] = 0 e1049: x849 + [ - x369 * x1079 ] = 0 e1050: x850 + [ - x369 * x1091 ] = 0 e1051: x851 + [ - x370 * x1079 ] = 0 e1052: x852 + [ - x370 * x1091 ] = 0 e1053: x853 + [ - x371 * x1079 ] = 0 e1054: x854 + [ - x371 * x1091 ] = 0 e1055: x855 + [ - x372 * x1079 ] = 0 e1056: x856 + [ - x372 * x1091 ] = 0 e1057: x857 + [ - x373 * x1079 ] = 0 e1058: x858 + [ - x373 * x1091 ] = 0 e1059: x860 + [ - x374 * x1081 ] = 0 e1060: x862 + [ - x374 * x1093 ] = 0 e1061: x863 + [ - x375 * x1081 ] = 0 e1062: x864 + [ - x375 * x1093 ] = 0 e1063: x865 + [ - x376 * x1081 ] = 0 e1064: x866 + [ - x376 * x1093 ] = 0 e1065: x867 + [ - x377 * x1081 ] = 0 e1066: x868 + [ - x377 * x1093 ] = 0 e1067: x869 + [ - x378 * x1081 ] = 0 e1068: x870 + [ - x378 * x1093 ] = 0 e1069: x871 + [ - x379 * x1081 ] = 0 e1070: x872 + [ - x379 * x1093 ] = 0 e1071: x874 + [ - x380 * x1083 ] = 0 e1072: x876 + [ - x380 * x1095 ] = 0 e1073: x877 + [ - x381 * x1083 ] = 0 e1074: x878 + [ - x381 * x1095 ] = 0 e1075: x879 + [ - x382 * x1083 ] = 0 e1076: x880 + [ - x382 * x1095 ] = 0 e1077: x881 + [ - x383 * x1083 ] = 0 e1078: x882 + [ - x383 * x1095 ] = 0 e1079: x883 + [ - x384 * x1083 ] = 0 e1080: x884 + [ - x384 * x1095 ] = 0 e1081: x885 + [ - x385 * x1083 ] = 0 e1082: x886 + [ - x385 * x1095 ] = 0 e1083: x888 + [ - x386 * x1085 ] = 0 e1084: x890 + [ - x386 * x1097 ] = 0 e1085: x891 + [ - x387 * x1085 ] = 0 e1086: x892 + [ - x387 * x1097 ] = 0 e1087: x893 + [ - x388 * x1085 ] = 0 e1088: x894 + [ - x388 * x1097 ] = 0 e1089: x895 + [ - x389 * x1085 ] = 0 e1090: x896 + [ - x389 * x1097 ] = 0 e1091: x897 + [ - x390 * x1085 ] = 0 e1092: x898 + [ - x390 * x1097 ] = 0 e1093: x899 + [ - x391 * x1085 ] = 0 e1094: x900 + [ - x391 * x1097 ] = 0 e1095: x902 + [ - x392 * x1087 ] = 0 e1096: x904 + [ - x392 * x1099 ] = 0 e1097: x905 + [ - x393 * x1087 ] = 0 e1098: x906 + [ - x393 * x1099 ] = 0 e1099: x907 + [ - x394 * x1087 ] = 0 e1100: x908 + [ - x394 * x1099 ] = 0 e1101: x909 + [ - x395 * x1087 ] = 0 e1102: x910 + [ - x395 * x1099 ] = 0 e1103: x911 + [ - x396 * x1087 ] = 0 e1104: x912 + [ - x396 * x1099 ] = 0 e1105: x913 + [ - x397 * x1087 ] = 0 e1106: x914 + [ - x397 * x1099 ] = 0 e1107: [ x1004^2 + x1005^2 ] = 1 e1108: [ x1006^2 + x1007^2 ] = 1 e1109: [ x1008^2 + x1009^2 ] = 1 e1110: [ x1010^2 + x1011^2 ] = 1 e1111: [ x1012^2 + x1013^2 ] = 1 e1112: [ x1014^2 + x1015^2 ] = 1 e1113: [ x1016^2 + x1046^2 ] = 1 e1114: [ x1018^2 + x1048^2 ] = 1 e1115: [ x1020^2 + x1050^2 ] = 1 e1116: [ x1022^2 + x1052^2 ] = 1 e1117: [ x1024^2 + x1054^2 ] = 1 e1118: [ x1026^2 + x1056^2 ] = 1 e1119: [ x1028^2 + x1058^2 ] = 1 e1120: [ x1030^2 + x1060^2 ] = 1 e1121: [ x1032^2 + x1062^2 ] = 1 e1122: [ x1034^2 + x1064^2 ] = 1 e1123: [ x1036^2 + x1066^2 ] = 1 e1124: [ x1038^2 + x1068^2 ] = 1 e1125: [ x1040^2 + x1070^2 ] = 1 e1126: [ x1042^2 + x1072^2 ] = 1 e1127: [ x1044^2 + x1074^2 ] = 1 e1128: [ x1076^2 + x1088^2 ] = 1 e1129: [ x1078^2 + x1090^2 ] = 1 e1130: [ x1080^2 + x1092^2 ] = 1 e1131: [ x1082^2 + x1094^2 ] = 1 e1132: [ x1084^2 + x1096^2 ] = 1 e1133: [ x1086^2 + x1098^2 ] = 1 Bounds x2 <= 8.94427191 x3 <= 8.94427191 x4 <= 8.94427191 x5 <= 8.94427191 x6 <= 8.94427191 x7 <= 8.94427191 x8 <= 8.94427191 x9 <= 8.94427191 x10 <= 8.94427191 x11 <= 8.94427191 x12 <= 8.94427191 x13 <= 8.94427191 x14 <= 8.94427191 x15 <= 8.94427191 x16 <= 8.94427191 x17 <= 8.94427191 x18 <= 8.94427191 x19 <= 8.94427191 x20 <= 8.94427191 x21 <= 8.94427191 x22 <= 8.94427191 x23 <= 8.94427191 x24 <= 8.94427191 x25 <= 8.94427191 x26 <= 8.94427191 x27 <= 8.94427191 x28 <= 8.94427191 x29 <= 8.94427191 x30 <= 8.94427191 x31 <= 8.94427191 x32 <= 8.94427191 x33 <= 8.94427191 x34 <= 8.94427191 x35 <= 8.94427191 x36 <= 8.94427191 x37 <= 8.94427191 x38 <= 8.94427191 x39 <= 8.94427191 x40 <= 8.94427191 x41 <= 8.94427191 x42 <= 8.94427191 x43 <= 8.94427191 x44 <= 8.94427191 x45 <= 8.94427191 x46 <= 8.94427191 x47 <= 8.94427191 x48 <= 8.94427191 x49 <= 8.94427191 x50 <= 8.94427191 x51 <= 8.94427191 x52 <= 8.94427191 x53 <= 8.94427191 x54 <= 8.94427191 x55 <= 8.94427191 x56 <= 8.94427191 x57 <= 8.94427191 x58 <= 8.94427191 x59 <= 8.94427191 x60 <= 8.94427191 x61 <= 8.94427191 x62 <= 8.94427191 x63 <= 8.94427191 x64 <= 8.94427191 x65 <= 8.94427191 x66 <= 8.94427191 x67 <= 8.94427191 x68 <= 8.94427191 x69 <= 8.94427191 x70 <= 8.94427191 x71 <= 8.94427191 x72 <= 8.94427191 x73 <= 8.94427191 x74 <= 8.94427191 x75 <= 8.94427191 x76 <= 8.94427191 x77 <= 8.94427191 x78 <= 8.94427191 x79 <= 8.94427191 x80 <= 8.94427191 x81 <= 8.94427191 x82 <= 8.94427191 x83 <= 8.94427191 x84 <= 8.94427191 x85 <= 8.94427191 x86 <= 8.94427191 x87 <= 8.94427191 x88 <= 8.94427191 x89 <= 8.94427191 x90 <= 8.94427191 x91 <= 8.94427191 x92 <= 8.94427191 x93 <= 8.94427191 x94 <= 8.94427191 x95 <= 8.94427191 x96 <= 8.94427191 x97 <= 8.94427191 x98 <= 8.94427191 x99 <= 8.94427191 x100 <= 8.94427191 x101 <= 8.94427191 x102 <= 8.94427191 x103 <= 8.94427191 x104 <= 8.94427191 x105 <= 8.94427191 x106 <= 8.94427191 x107 <= 8.94427191 x108 <= 8.94427191 x109 <= 8.94427191 x110 <= 8.94427191 x111 <= 8.94427191 x112 <= 8.94427191 x113 <= 8.94427191 x114 <= 8.94427191 x115 <= 8.94427191 x116 <= 8.94427191 x117 <= 8.94427191 x118 <= 8.94427191 x119 <= 8.94427191 x120 <= 8.94427191 x121 <= 8.94427191 x122 <= 8.94427191 x123 <= 8.94427191 x124 <= 8.94427191 x125 <= 8.94427191 x126 <= 8.94427191 x127 <= 8.94427191 x128 <= 8.94427191 x129 <= 8.94427191 x130 <= 8.94427191 x131 <= 8.94427191 x132 <= 8.94427191 x133 <= 8.94427191 x134 <= 8.94427191 x135 <= 8.94427191 x136 <= 8.94427191 x137 <= 8.94427191 x138 <= 8.94427191 x139 <= 8.94427191 x140 <= 8.94427191 x141 <= 8.94427191 x142 <= 8.94427191 x143 <= 8.94427191 x144 <= 8.94427191 x145 <= 8.94427191 x146 <= 8.94427191 x147 <= 8.94427191 x148 <= 8.94427191 x149 <= 8.94427191 x150 <= 8.94427191 x151 <= 8.94427191 x152 <= 8.94427191 x153 <= 8.94427191 x154 <= 8.94427191 x155 <= 8.94427191 x156 <= 8.94427191 x157 <= 8.94427191 x158 <= 8.94427191 x159 <= 8.94427191 x160 <= 8.94427191 x161 <= 8.94427191 x162 <= 8.94427191 x163 <= 8.94427191 x164 <= 8.94427191 x165 <= 8.94427191 x166 <= 8.94427191 x167 <= 8.94427191 x168 <= 8.94427191 x169 <= 8.94427191 x170 <= 8.94427191 x171 <= 8.94427191 x172 <= 8.94427191 x173 <= 8.94427191 x174 <= 8.94427191 x175 <= 8.94427191 x176 <= 8.94427191 x177 <= 8.94427191 x178 <= 8.94427191 x179 <= 8.94427191 x180 <= 8.94427191 x181 <= 8.94427191 -8.94427191 <= x182 <= 8.94427191 -8.94427191 <= x183 <= 8.94427191 -8.94427191 <= x184 <= 8.94427191 -8.94427191 <= x185 <= 8.94427191 -8.94427191 <= x186 <= 8.94427191 -8.94427191 <= x187 <= 8.94427191 -8.94427191 <= x188 <= 8.94427191 -8.94427191 <= x189 <= 8.94427191 -8.94427191 <= x190 <= 8.94427191 -8.94427191 <= x191 <= 8.94427191 -8.94427191 <= x192 <= 8.94427191 -8.94427191 <= x193 <= 8.94427191 -8.94427191 <= x194 <= 8.94427191 -8.94427191 <= x195 <= 8.94427191 -8.94427191 <= x196 <= 8.94427191 -8.94427191 <= x197 <= 8.94427191 -8.94427191 <= x198 <= 8.94427191 -8.94427191 <= x199 <= 8.94427191 -8.94427191 <= x200 <= 8.94427191 -8.94427191 <= x201 <= 8.94427191 -8.94427191 <= x202 <= 8.94427191 -8.94427191 <= x203 <= 8.94427191 -8.94427191 <= x204 <= 8.94427191 -8.94427191 <= x205 <= 8.94427191 -8.94427191 <= x206 <= 8.94427191 -8.94427191 <= x207 <= 8.94427191 -8.94427191 <= x208 <= 8.94427191 -8.94427191 <= x209 <= 8.94427191 -8.94427191 <= x210 <= 8.94427191 -8.94427191 <= x211 <= 8.94427191 -8.94427191 <= x212 <= 8.94427191 -8.94427191 <= x213 <= 8.94427191 -8.94427191 <= x214 <= 8.94427191 -8.94427191 <= x215 <= 8.94427191 -8.94427191 <= x216 <= 8.94427191 -8.94427191 <= x217 <= 8.94427191 -8.94427191 <= x218 <= 8.94427191 -8.94427191 <= x219 <= 8.94427191 -8.94427191 <= x220 <= 8.94427191 -8.94427191 <= x221 <= 8.94427191 -8.94427191 <= x222 <= 8.94427191 -8.94427191 <= x223 <= 8.94427191 -8.94427191 <= x224 <= 8.94427191 -8.94427191 <= x225 <= 8.94427191 -8.94427191 <= x226 <= 8.94427191 -8.94427191 <= x227 <= 8.94427191 -8.94427191 <= x228 <= 8.94427191 -8.94427191 <= x229 <= 8.94427191 -8.94427191 <= x230 <= 8.94427191 -8.94427191 <= x231 <= 8.94427191 -8.94427191 <= x232 <= 8.94427191 -8.94427191 <= x233 <= 8.94427191 -8.94427191 <= x234 <= 8.94427191 -8.94427191 <= x235 <= 8.94427191 -8.94427191 <= x236 <= 8.94427191 -8.94427191 <= x237 <= 8.94427191 -8.94427191 <= x238 <= 8.94427191 -8.94427191 <= x239 <= 8.94427191 -8.94427191 <= x240 <= 8.94427191 -8.94427191 <= x241 <= 8.94427191 -8.94427191 <= x242 <= 8.94427191 -8.94427191 <= x243 <= 8.94427191 -8.94427191 <= x244 <= 8.94427191 -8.94427191 <= x245 <= 8.94427191 -8.94427191 <= x246 <= 8.94427191 -8.94427191 <= x247 <= 8.94427191 -8.94427191 <= x248 <= 8.94427191 -8.94427191 <= x249 <= 8.94427191 -8.94427191 <= x250 <= 8.94427191 -8.94427191 <= x251 <= 8.94427191 -8.94427191 <= x252 <= 8.94427191 -8.94427191 <= x253 <= 8.94427191 -8.94427191 <= x254 <= 8.94427191 -8.94427191 <= x255 <= 8.94427191 -8.94427191 <= x256 <= 8.94427191 -8.94427191 <= x257 <= 8.94427191 -8.94427191 <= x258 <= 8.94427191 -8.94427191 <= x259 <= 8.94427191 -8.94427191 <= x260 <= 8.94427191 -8.94427191 <= x261 <= 8.94427191 -8.94427191 <= x262 <= 8.94427191 -8.94427191 <= x263 <= 8.94427191 -8.94427191 <= x264 <= 8.94427191 -8.94427191 <= x265 <= 8.94427191 -8.94427191 <= x266 <= 8.94427191 -8.94427191 <= x267 <= 8.94427191 -8.94427191 <= x268 <= 8.94427191 -8.94427191 <= x269 <= 8.94427191 -8.94427191 <= x270 <= 8.94427191 -8.94427191 <= x271 <= 8.94427191 -8.94427191 <= x272 <= 8.94427191 -8.94427191 <= x273 <= 8.94427191 -8.94427191 <= x274 <= 8.94427191 -8.94427191 <= x275 <= 8.94427191 -8.94427191 <= x276 <= 8.94427191 -8.94427191 <= x277 <= 8.94427191 -8.94427191 <= x278 <= 8.94427191 -8.94427191 <= x279 <= 8.94427191 -8.94427191 <= x280 <= 8.94427191 -8.94427191 <= x281 <= 8.94427191 -8.94427191 <= x282 <= 8.94427191 -8.94427191 <= x283 <= 8.94427191 -8.94427191 <= x284 <= 8.94427191 -8.94427191 <= x285 <= 8.94427191 -8.94427191 <= x286 <= 8.94427191 -8.94427191 <= x287 <= 8.94427191 -8.94427191 <= x288 <= 8.94427191 -8.94427191 <= x289 <= 8.94427191 -8.94427191 <= x290 <= 8.94427191 -8.94427191 <= x291 <= 8.94427191 -8.94427191 <= x292 <= 8.94427191 -8.94427191 <= x293 <= 8.94427191 -8.94427191 <= x294 <= 8.94427191 -8.94427191 <= x295 <= 8.94427191 -8.94427191 <= x296 <= 8.94427191 -8.94427191 <= x297 <= 8.94427191 -8.94427191 <= x298 <= 8.94427191 -8.94427191 <= x299 <= 8.94427191 -8.94427191 <= x300 <= 8.94427191 -8.94427191 <= x301 <= 8.94427191 -8.94427191 <= x302 <= 8.94427191 -8.94427191 <= x303 <= 8.94427191 -8.94427191 <= x304 <= 8.94427191 -8.94427191 <= x305 <= 8.94427191 -8.94427191 <= x306 <= 8.94427191 -8.94427191 <= x307 <= 8.94427191 -8.94427191 <= x308 <= 8.94427191 -8.94427191 <= x309 <= 8.94427191 -8.94427191 <= x310 <= 8.94427191 -8.94427191 <= x311 <= 8.94427191 -8.94427191 <= x312 <= 8.94427191 -8.94427191 <= x313 <= 8.94427191 -8.94427191 <= x314 <= 8.94427191 -8.94427191 <= x315 <= 8.94427191 -8.94427191 <= x316 <= 8.94427191 -8.94427191 <= x317 <= 8.94427191 -8.94427191 <= x318 <= 8.94427191 -8.94427191 <= x319 <= 8.94427191 -8.94427191 <= x320 <= 8.94427191 -8.94427191 <= x321 <= 8.94427191 -8.94427191 <= x322 <= 8.94427191 -8.94427191 <= x323 <= 8.94427191 -8.94427191 <= x324 <= 8.94427191 -8.94427191 <= x325 <= 8.94427191 -8.94427191 <= x326 <= 8.94427191 -8.94427191 <= x327 <= 8.94427191 -8.94427191 <= x328 <= 8.94427191 -8.94427191 <= x329 <= 8.94427191 -8.94427191 <= x330 <= 8.94427191 -8.94427191 <= x331 <= 8.94427191 -8.94427191 <= x332 <= 8.94427191 -8.94427191 <= x333 <= 8.94427191 -8.94427191 <= x334 <= 8.94427191 -8.94427191 <= x335 <= 8.94427191 -8.94427191 <= x336 <= 8.94427191 -8.94427191 <= x337 <= 8.94427191 -8.94427191 <= x338 <= 8.94427191 -8.94427191 <= x339 <= 8.94427191 -8.94427191 <= x340 <= 8.94427191 -8.94427191 <= x341 <= 8.94427191 -8.94427191 <= x342 <= 8.94427191 -8.94427191 <= x343 <= 8.94427191 -8.94427191 <= x344 <= 8.94427191 -8.94427191 <= x345 <= 8.94427191 -8.94427191 <= x346 <= 8.94427191 -8.94427191 <= x347 <= 8.94427191 -8.94427191 <= x348 <= 8.94427191 -8.94427191 <= x349 <= 8.94427191 -8.94427191 <= x350 <= 8.94427191 -8.94427191 <= x351 <= 8.94427191 -8.94427191 <= x352 <= 8.94427191 -8.94427191 <= x353 <= 8.94427191 -8.94427191 <= x354 <= 8.94427191 -8.94427191 <= x355 <= 8.94427191 -8.94427191 <= x356 <= 8.94427191 -8.94427191 <= x357 <= 8.94427191 -8.94427191 <= x358 <= 8.94427191 -8.94427191 <= x359 <= 8.94427191 -8.94427191 <= x360 <= 8.94427191 -8.94427191 <= x361 <= 8.94427191 x362 <= 8.94427191 x363 <= 8.94427191 x364 <= 8.94427191 x365 <= 8.94427191 x366 <= 8.94427191 x367 <= 8.94427191 x368 <= 8.94427191 x369 <= 8.94427191 x370 <= 8.94427191 x371 <= 8.94427191 x372 <= 8.94427191 x373 <= 8.94427191 x374 <= 8.94427191 x375 <= 8.94427191 x376 <= 8.94427191 x377 <= 8.94427191 x378 <= 8.94427191 x379 <= 8.94427191 x380 <= 8.94427191 x381 <= 8.94427191 x382 <= 8.94427191 x383 <= 8.94427191 x384 <= 8.94427191 x385 <= 8.94427191 x386 <= 8.94427191 x387 <= 8.94427191 x388 <= 8.94427191 x389 <= 8.94427191 x390 <= 8.94427191 x391 <= 8.94427191 x392 <= 8.94427191 x393 <= 8.94427191 x394 <= 8.94427191 x395 <= 8.94427191 x396 <= 8.94427191 x397 <= 8.94427191 -8.94427191 <= x398 <= 8.94427191 -8.94427191 <= x399 <= 8.94427191 -8.94427191 <= x400 <= 8.94427191 -8.94427191 <= x401 <= 8.94427191 -8.94427191 <= x402 <= 8.94427191 -8.94427191 <= x403 <= 8.94427191 -8.94427191 <= x404 <= 8.94427191 -8.94427191 <= x405 <= 8.94427191 -8.94427191 <= x406 <= 8.94427191 -8.94427191 <= x407 <= 8.94427191 -8.94427191 <= x408 <= 8.94427191 -8.94427191 <= x409 <= 8.94427191 -8.94427191 <= x410 <= 8.94427191 -8.94427191 <= x411 <= 8.94427191 -8.94427191 <= x412 <= 8.94427191 -8.94427191 <= x413 <= 8.94427191 -8.94427191 <= x414 <= 8.94427191 -8.94427191 <= x415 <= 8.94427191 -8.94427191 <= x416 <= 8.94427191 -8.94427191 <= x417 <= 8.94427191 -8.94427191 <= x418 <= 8.94427191 -8.94427191 <= x419 <= 8.94427191 -8.94427191 <= x420 <= 8.94427191 -8.94427191 <= x421 <= 8.94427191 -8.94427191 <= x422 <= 8.94427191 -8.94427191 <= x423 <= 8.94427191 -8.94427191 <= x424 <= 8.94427191 -8.94427191 <= x425 <= 8.94427191 -8.94427191 <= x426 <= 8.94427191 -8.94427191 <= x427 <= 8.94427191 -8.94427191 <= x428 <= 8.94427191 -8.94427191 <= x429 <= 8.94427191 -8.94427191 <= x430 <= 8.94427191 -8.94427191 <= x431 <= 8.94427191 -8.94427191 <= x432 <= 8.94427191 -8.94427191 <= x433 <= 8.94427191 -8.94427191 <= x434 <= 8.94427191 -8.94427191 <= x435 <= 8.94427191 -8.94427191 <= x436 <= 8.94427191 -8.94427191 <= x437 <= 8.94427191 -8.94427191 <= x438 <= 8.94427191 -8.94427191 <= x439 <= 8.94427191 x440 <= 32 x441 <= 8 -8.94427191 <= x442 <= 8.94427191 x443 <= 4 -8.94427191 <= x444 <= 8.94427191 -8.94427191 <= x445 <= 8.94427191 -8.94427191 <= x446 <= 8.94427191 -8.94427191 <= x447 <= 8.94427191 -8.94427191 <= x448 <= 8.94427191 -8.94427191 <= x449 <= 8.94427191 -8.94427191 <= x450 <= 8.94427191 -8.94427191 <= x451 <= 8.94427191 -8.94427191 <= x452 <= 8.94427191 -8.94427191 <= x453 <= 8.94427191 -8.94427191 <= x454 <= 8.94427191 x455 <= 8 -8.94427191 <= x456 <= 8.94427191 x457 <= 4 -8.94427191 <= x458 <= 8.94427191 -8.94427191 <= x459 <= 8.94427191 -8.94427191 <= x460 <= 8.94427191 -8.94427191 <= x461 <= 8.94427191 -8.94427191 <= x462 <= 8.94427191 -8.94427191 <= x463 <= 8.94427191 -8.94427191 <= x464 <= 8.94427191 -8.94427191 <= x465 <= 8.94427191 -8.94427191 <= x466 <= 8.94427191 -8.94427191 <= x467 <= 8.94427191 -8.94427191 <= x468 <= 8.94427191 x469 <= 8 -8.94427191 <= x470 <= 8.94427191 x471 <= 4 -8.94427191 <= x472 <= 8.94427191 -8.94427191 <= x473 <= 8.94427191 -8.94427191 <= x474 <= 8.94427191 -8.94427191 <= x475 <= 8.94427191 -8.94427191 <= x476 <= 8.94427191 -8.94427191 <= x477 <= 8.94427191 -8.94427191 <= x478 <= 8.94427191 -8.94427191 <= x479 <= 8.94427191 -8.94427191 <= x480 <= 8.94427191 -8.94427191 <= x481 <= 8.94427191 -8.94427191 <= x482 <= 8.94427191 x483 <= 8 -8.94427191 <= x484 <= 8.94427191 x485 <= 4 -8.94427191 <= x486 <= 8.94427191 -8.94427191 <= x487 <= 8.94427191 -8.94427191 <= x488 <= 8.94427191 -8.94427191 <= x489 <= 8.94427191 -8.94427191 <= x490 <= 8.94427191 -8.94427191 <= x491 <= 8.94427191 -8.94427191 <= x492 <= 8.94427191 -8.94427191 <= x493 <= 8.94427191 -8.94427191 <= x494 <= 8.94427191 -8.94427191 <= x495 <= 8.94427191 -8.94427191 <= x496 <= 8.94427191 x497 <= 8 -8.94427191 <= x498 <= 8.94427191 x499 <= 4 -8.94427191 <= x500 <= 8.94427191 -8.94427191 <= x501 <= 8.94427191 -8.94427191 <= x502 <= 8.94427191 -8.94427191 <= x503 <= 8.94427191 -8.94427191 <= x504 <= 8.94427191 -8.94427191 <= x505 <= 8.94427191 -8.94427191 <= x506 <= 8.94427191 -8.94427191 <= x507 <= 8.94427191 -8.94427191 <= x508 <= 8.94427191 -8.94427191 <= x509 <= 8.94427191 -8.94427191 <= x510 <= 8.94427191 x511 <= 8 -8.94427191 <= x512 <= 8.94427191 x513 <= 4 -8.94427191 <= x514 <= 8.94427191 -8.94427191 <= x515 <= 8.94427191 -8.94427191 <= x516 <= 8.94427191 -8.94427191 <= x517 <= 8.94427191 -8.94427191 <= x518 <= 8.94427191 -8.94427191 <= x519 <= 8.94427191 -8.94427191 <= x520 <= 8.94427191 -8.94427191 <= x521 <= 8.94427191 -8.94427191 <= x522 <= 8.94427191 -8.94427191 <= x523 <= 8.94427191 -8.94427191 <= x524 <= 8.94427191 x525 <= 8 -8.94427191 <= x526 <= 8.94427191 x527 <= 4 -8.94427191 <= x528 <= 8.94427191 -8.94427191 <= x529 <= 8.94427191 -8.94427191 <= x530 <= 8.94427191 -8.94427191 <= x531 <= 8.94427191 -8.94427191 <= x532 <= 8.94427191 -8.94427191 <= x533 <= 8.94427191 -8.94427191 <= x534 <= 8.94427191 -8.94427191 <= x535 <= 8.94427191 -8.94427191 <= x536 <= 8.94427191 -8.94427191 <= x537 <= 8.94427191 -8.94427191 <= x538 <= 8.94427191 x539 <= 8 -8.94427191 <= x540 <= 8.94427191 x541 <= 4 -8.94427191 <= x542 <= 8.94427191 -8.94427191 <= x543 <= 8.94427191 -8.94427191 <= x544 <= 8.94427191 -8.94427191 <= x545 <= 8.94427191 -8.94427191 <= x546 <= 8.94427191 -8.94427191 <= x547 <= 8.94427191 -8.94427191 <= x548 <= 8.94427191 -8.94427191 <= x549 <= 8.94427191 -8.94427191 <= x550 <= 8.94427191 -8.94427191 <= x551 <= 8.94427191 -8.94427191 <= x552 <= 8.94427191 x553 <= 8 -8.94427191 <= x554 <= 8.94427191 x555 <= 4 -8.94427191 <= x556 <= 8.94427191 -8.94427191 <= x557 <= 8.94427191 -8.94427191 <= x558 <= 8.94427191 -8.94427191 <= x559 <= 8.94427191 -8.94427191 <= x560 <= 8.94427191 -8.94427191 <= x561 <= 8.94427191 -8.94427191 <= x562 <= 8.94427191 -8.94427191 <= x563 <= 8.94427191 -8.94427191 <= x564 <= 8.94427191 -8.94427191 <= x565 <= 8.94427191 -8.94427191 <= x566 <= 8.94427191 x567 <= 8 -8.94427191 <= x568 <= 8.94427191 x569 <= 4 -8.94427191 <= x570 <= 8.94427191 -8.94427191 <= x571 <= 8.94427191 -8.94427191 <= x572 <= 8.94427191 -8.94427191 <= x573 <= 8.94427191 -8.94427191 <= x574 <= 8.94427191 -8.94427191 <= x575 <= 8.94427191 -8.94427191 <= x576 <= 8.94427191 -8.94427191 <= x577 <= 8.94427191 -8.94427191 <= x578 <= 8.94427191 -8.94427191 <= x579 <= 8.94427191 -8.94427191 <= x580 <= 8.94427191 x581 <= 8 -8.94427191 <= x582 <= 8.94427191 x583 <= 4 -8.94427191 <= x584 <= 8.94427191 -8.94427191 <= x585 <= 8.94427191 -8.94427191 <= x586 <= 8.94427191 -8.94427191 <= x587 <= 8.94427191 -8.94427191 <= x588 <= 8.94427191 -8.94427191 <= x589 <= 8.94427191 -8.94427191 <= x590 <= 8.94427191 -8.94427191 <= x591 <= 8.94427191 -8.94427191 <= x592 <= 8.94427191 -8.94427191 <= x593 <= 8.94427191 -8.94427191 <= x594 <= 8.94427191 x595 <= 8 -8.94427191 <= x596 <= 8.94427191 x597 <= 4 -8.94427191 <= x598 <= 8.94427191 -8.94427191 <= x599 <= 8.94427191 -8.94427191 <= x600 <= 8.94427191 -8.94427191 <= x601 <= 8.94427191 -8.94427191 <= x602 <= 8.94427191 -8.94427191 <= x603 <= 8.94427191 -8.94427191 <= x604 <= 8.94427191 -8.94427191 <= x605 <= 8.94427191 -8.94427191 <= x606 <= 8.94427191 -8.94427191 <= x607 <= 8.94427191 -8.94427191 <= x608 <= 8.94427191 x609 <= 8 -8.94427191 <= x610 <= 8.94427191 x611 <= 4 -8.94427191 <= x612 <= 8.94427191 -8.94427191 <= x613 <= 8.94427191 -8.94427191 <= x614 <= 8.94427191 -8.94427191 <= x615 <= 8.94427191 -8.94427191 <= x616 <= 8.94427191 -8.94427191 <= x617 <= 8.94427191 -8.94427191 <= x618 <= 8.94427191 -8.94427191 <= x619 <= 8.94427191 -8.94427191 <= x620 <= 8.94427191 -8.94427191 <= x621 <= 8.94427191 -8.94427191 <= x622 <= 8.94427191 x623 <= 8 -8.94427191 <= x624 <= 8.94427191 x625 <= 4 -8.94427191 <= x626 <= 8.94427191 -8.94427191 <= x627 <= 8.94427191 -8.94427191 <= x628 <= 8.94427191 -8.94427191 <= x629 <= 8.94427191 -8.94427191 <= x630 <= 8.94427191 -8.94427191 <= x631 <= 8.94427191 -8.94427191 <= x632 <= 8.94427191 -8.94427191 <= x633 <= 8.94427191 -8.94427191 <= x634 <= 8.94427191 -8.94427191 <= x635 <= 8.94427191 -8.94427191 <= x636 <= 8.94427191 x637 <= 8 -8.94427191 <= x638 <= 8.94427191 x639 <= 4 -8.94427191 <= x640 <= 8.94427191 -8.94427191 <= x641 <= 8.94427191 -8.94427191 <= x642 <= 8.94427191 -8.94427191 <= x643 <= 8.94427191 -8.94427191 <= x644 <= 8.94427191 -8.94427191 <= x645 <= 8.94427191 -8.94427191 <= x646 <= 8.94427191 -8.94427191 <= x647 <= 8.94427191 -8.94427191 <= x648 <= 8.94427191 -8.94427191 <= x649 <= 8.94427191 -8.94427191 <= x650 <= 8.94427191 -8.94427191 <= x651 <= 8.94427191 -8.94427191 <= x652 <= 8.94427191 -8.94427191 <= x653 <= 8.94427191 -8.94427191 <= x654 <= 8.94427191 -8.94427191 <= x655 <= 8.94427191 -8.94427191 <= x656 <= 8.94427191 -8.94427191 <= x657 <= 8.94427191 -8.94427191 <= x658 <= 8.94427191 -8.94427191 <= x659 <= 8.94427191 -8.94427191 <= x660 <= 8.94427191 -8.94427191 <= x661 <= 8.94427191 -8.94427191 <= x662 <= 8.94427191 -8.94427191 <= x663 <= 8.94427191 -8.94427191 <= x664 <= 8.94427191 -8.94427191 <= x665 <= 8.94427191 -8.94427191 <= x666 <= 8.94427191 -8.94427191 <= x667 <= 8.94427191 -8.94427191 <= x668 <= 8.94427191 -8.94427191 <= x669 <= 8.94427191 -8.94427191 <= x670 <= 8.94427191 -8.94427191 <= x671 <= 8.94427191 -8.94427191 <= x672 <= 8.94427191 -8.94427191 <= x673 <= 8.94427191 -8.94427191 <= x674 <= 8.94427191 -8.94427191 <= x675 <= 8.94427191 -8.94427191 <= x676 <= 8.94427191 -8.94427191 <= x677 <= 8.94427191 -8.94427191 <= x678 <= 8.94427191 -8.94427191 <= x679 <= 8.94427191 -8.94427191 <= x680 <= 8.94427191 -8.94427191 <= x681 <= 8.94427191 -8.94427191 <= x682 <= 8.94427191 -8.94427191 <= x683 <= 8.94427191 -8.94427191 <= x684 <= 8.94427191 -8.94427191 <= x685 <= 8.94427191 -8.94427191 <= x686 <= 8.94427191 -8.94427191 <= x687 <= 8.94427191 -8.94427191 <= x688 <= 8.94427191 -8.94427191 <= x689 <= 8.94427191 -8.94427191 <= x690 <= 8.94427191 -8.94427191 <= x691 <= 8.94427191 -8.94427191 <= x692 <= 8.94427191 -8.94427191 <= x693 <= 8.94427191 -8.94427191 <= x694 <= 8.94427191 -8.94427191 <= x695 <= 8.94427191 -8.94427191 <= x696 <= 8.94427191 -8.94427191 <= x697 <= 8.94427191 -8.94427191 <= x698 <= 8.94427191 -8.94427191 <= x699 <= 8.94427191 -8.94427191 <= x700 <= 8.94427191 -8.94427191 <= x701 <= 8.94427191 -8.94427191 <= x702 <= 8.94427191 -8.94427191 <= x703 <= 8.94427191 -8.94427191 <= x704 <= 8.94427191 -8.94427191 <= x705 <= 8.94427191 -8.94427191 <= x706 <= 8.94427191 -8.94427191 <= x707 <= 8.94427191 -8.94427191 <= x708 <= 8.94427191 -8.94427191 <= x709 <= 8.94427191 -8.94427191 <= x710 <= 8.94427191 -8.94427191 <= x711 <= 8.94427191 -8.94427191 <= x712 <= 8.94427191 -8.94427191 <= x713 <= 8.94427191 -8.94427191 <= x714 <= 8.94427191 -8.94427191 <= x715 <= 8.94427191 -8.94427191 <= x716 <= 8.94427191 -8.94427191 <= x717 <= 8.94427191 -8.94427191 <= x718 <= 8.94427191 -8.94427191 <= x719 <= 8.94427191 -8.94427191 <= x720 <= 8.94427191 -8.94427191 <= x721 <= 8.94427191 -8.94427191 <= x722 <= 8.94427191 -8.94427191 <= x723 <= 8.94427191 -8.94427191 <= x724 <= 8.94427191 -8.94427191 <= x725 <= 8.94427191 -8.94427191 <= x726 <= 8.94427191 -8.94427191 <= x727 <= 8.94427191 -8.94427191 <= x728 <= 8.94427191 -8.94427191 <= x729 <= 8.94427191 -8.94427191 <= x730 <= 8.94427191 -8.94427191 <= x731 <= 8.94427191 -8.94427191 <= x732 <= 8.94427191 -8.94427191 <= x733 <= 8.94427191 -8.94427191 <= x734 <= 8.94427191 -8.94427191 <= x735 <= 8.94427191 -8.94427191 <= x736 <= 8.94427191 -8.94427191 <= x737 <= 8.94427191 -8.94427191 <= x738 <= 8.94427191 -8.94427191 <= x739 <= 8.94427191 -8.94427191 <= x740 <= 8.94427191 -8.94427191 <= x741 <= 8.94427191 -8.94427191 <= x742 <= 8.94427191 -8.94427191 <= x743 <= 8.94427191 -8.94427191 <= x744 <= 8.94427191 -8.94427191 <= x745 <= 8.94427191 -8.94427191 <= x746 <= 8.94427191 -8.94427191 <= x747 <= 8.94427191 -8.94427191 <= x748 <= 8.94427191 -8.94427191 <= x749 <= 8.94427191 -8.94427191 <= x750 <= 8.94427191 -8.94427191 <= x751 <= 8.94427191 -8.94427191 <= x752 <= 8.94427191 -8.94427191 <= x753 <= 8.94427191 -8.94427191 <= x754 <= 8.94427191 -8.94427191 <= x755 <= 8.94427191 -8.94427191 <= x756 <= 8.94427191 -8.94427191 <= x757 <= 8.94427191 -8.94427191 <= x758 <= 8.94427191 -8.94427191 <= x759 <= 8.94427191 -8.94427191 <= x760 <= 8.94427191 -8.94427191 <= x761 <= 8.94427191 -8.94427191 <= x762 <= 8.94427191 -8.94427191 <= x763 <= 8.94427191 -8.94427191 <= x764 <= 8.94427191 -8.94427191 <= x765 <= 8.94427191 -8.94427191 <= x766 <= 8.94427191 -8.94427191 <= x767 <= 8.94427191 -8.94427191 <= x768 <= 8.94427191 -8.94427191 <= x769 <= 8.94427191 -8.94427191 <= x770 <= 8.94427191 -8.94427191 <= x771 <= 8.94427191 -8.94427191 <= x772 <= 8.94427191 -8.94427191 <= x773 <= 8.94427191 -8.94427191 <= x774 <= 8.94427191 -8.94427191 <= x775 <= 8.94427191 -8.94427191 <= x776 <= 8.94427191 -8.94427191 <= x777 <= 8.94427191 -8.94427191 <= x778 <= 8.94427191 -8.94427191 <= x779 <= 8.94427191 -8.94427191 <= x780 <= 8.94427191 -8.94427191 <= x781 <= 8.94427191 -8.94427191 <= x782 <= 8.94427191 -8.94427191 <= x783 <= 8.94427191 -8.94427191 <= x784 <= 8.94427191 -8.94427191 <= x785 <= 8.94427191 -8.94427191 <= x786 <= 8.94427191 -8.94427191 <= x787 <= 8.94427191 -8.94427191 <= x788 <= 8.94427191 -8.94427191 <= x789 <= 8.94427191 -8.94427191 <= x790 <= 8.94427191 -8.94427191 <= x791 <= 8.94427191 -8.94427191 <= x792 <= 8.94427191 -8.94427191 <= x793 <= 8.94427191 -8.94427191 <= x794 <= 8.94427191 -8.94427191 <= x795 <= 8.94427191 -8.94427191 <= x796 <= 8.94427191 -8.94427191 <= x797 <= 8.94427191 -8.94427191 <= x798 <= 8.94427191 -8.94427191 <= x799 <= 8.94427191 -8.94427191 <= x800 <= 8.94427191 -8.94427191 <= x801 <= 8.94427191 -8.94427191 <= x802 <= 8.94427191 -8.94427191 <= x803 <= 8.94427191 -8.94427191 <= x804 <= 8.94427191 -8.94427191 <= x805 <= 8.94427191 -8.94427191 <= x806 <= 8.94427191 -8.94427191 <= x807 <= 8.94427191 -8.94427191 <= x808 <= 8.94427191 -8.94427191 <= x809 <= 8.94427191 -8.94427191 <= x810 <= 8.94427191 -8.94427191 <= x811 <= 8.94427191 -8.94427191 <= x812 <= 8.94427191 -8.94427191 <= x813 <= 8.94427191 -8.94427191 <= x814 <= 8.94427191 -8.94427191 <= x815 <= 8.94427191 -8.94427191 <= x816 <= 8.94427191 -8.94427191 <= x817 <= 8.94427191 -8.94427191 <= x818 <= 8.94427191 -8.94427191 <= x819 <= 8.94427191 -8.94427191 <= x820 <= 8.94427191 -8.94427191 <= x821 <= 8.94427191 -8.94427191 <= x822 <= 8.94427191 -8.94427191 <= x823 <= 8.94427191 -8.94427191 <= x824 <= 8.94427191 -8.94427191 <= x825 <= 8.94427191 -8.94427191 <= x826 <= 8.94427191 -8.94427191 <= x827 <= 8.94427191 -8.94427191 <= x828 <= 8.94427191 -8.94427191 <= x829 <= 8.94427191 -8.94427191 <= x830 <= 8.94427191 x831 <= 8 -8.94427191 <= x832 <= 8.94427191 x833 <= 4 -8.94427191 <= x834 <= 8.94427191 -8.94427191 <= x835 <= 8.94427191 -8.94427191 <= x836 <= 8.94427191 -8.94427191 <= x837 <= 8.94427191 -8.94427191 <= x838 <= 8.94427191 -8.94427191 <= x839 <= 8.94427191 -8.94427191 <= x840 <= 8.94427191 -8.94427191 <= x841 <= 8.94427191 -8.94427191 <= x842 <= 8.94427191 -8.94427191 <= x843 <= 8.94427191 -8.94427191 <= x844 <= 8.94427191 x845 <= 8 -8.94427191 <= x846 <= 8.94427191 x847 <= 4 -8.94427191 <= x848 <= 8.94427191 -8.94427191 <= x849 <= 8.94427191 -8.94427191 <= x850 <= 8.94427191 -8.94427191 <= x851 <= 8.94427191 -8.94427191 <= x852 <= 8.94427191 -8.94427191 <= x853 <= 8.94427191 -8.94427191 <= x854 <= 8.94427191 -8.94427191 <= x855 <= 8.94427191 -8.94427191 <= x856 <= 8.94427191 -8.94427191 <= x857 <= 8.94427191 -8.94427191 <= x858 <= 8.94427191 x859 <= 8 -8.94427191 <= x860 <= 8.94427191 x861 <= 4 -8.94427191 <= x862 <= 8.94427191 -8.94427191 <= x863 <= 8.94427191 -8.94427191 <= x864 <= 8.94427191 -8.94427191 <= x865 <= 8.94427191 -8.94427191 <= x866 <= 8.94427191 -8.94427191 <= x867 <= 8.94427191 -8.94427191 <= x868 <= 8.94427191 -8.94427191 <= x869 <= 8.94427191 -8.94427191 <= x870 <= 8.94427191 -8.94427191 <= x871 <= 8.94427191 -8.94427191 <= x872 <= 8.94427191 x873 <= 8 -8.94427191 <= x874 <= 8.94427191 x875 <= 4 -8.94427191 <= x876 <= 8.94427191 -8.94427191 <= x877 <= 8.94427191 -8.94427191 <= x878 <= 8.94427191 -8.94427191 <= x879 <= 8.94427191 -8.94427191 <= x880 <= 8.94427191 -8.94427191 <= x881 <= 8.94427191 -8.94427191 <= x882 <= 8.94427191 -8.94427191 <= x883 <= 8.94427191 -8.94427191 <= x884 <= 8.94427191 -8.94427191 <= x885 <= 8.94427191 -8.94427191 <= x886 <= 8.94427191 x887 <= 8 -8.94427191 <= x888 <= 8.94427191 x889 <= 4 -8.94427191 <= x890 <= 8.94427191 -8.94427191 <= x891 <= 8.94427191 -8.94427191 <= x892 <= 8.94427191 -8.94427191 <= x893 <= 8.94427191 -8.94427191 <= x894 <= 8.94427191 -8.94427191 <= x895 <= 8.94427191 -8.94427191 <= x896 <= 8.94427191 -8.94427191 <= x897 <= 8.94427191 -8.94427191 <= x898 <= 8.94427191 -8.94427191 <= x899 <= 8.94427191 -8.94427191 <= x900 <= 8.94427191 x901 <= 8 -8.94427191 <= x902 <= 8.94427191 x903 <= 4 -8.94427191 <= x904 <= 8.94427191 -8.94427191 <= x905 <= 8.94427191 -8.94427191 <= x906 <= 8.94427191 -8.94427191 <= x907 <= 8.94427191 -8.94427191 <= x908 <= 8.94427191 -8.94427191 <= x909 <= 8.94427191 -8.94427191 <= x910 <= 8.94427191 -8.94427191 <= x911 <= 8.94427191 -8.94427191 <= x912 <= 8.94427191 -8.94427191 <= x913 <= 8.94427191 -8.94427191 <= x914 <= 8.94427191 1.44 <= x915 <= 32 1.2 <= x916 <= 4 x917 <= 8 1.2 <= x918 <= 2 x919 <= 4 x920 <= 8 x921 <= 8 x922 <= 8 x923 <= 8 x924 <= 8 x925 <= 8 x926 <= 8 x927 <= 4 x928 <= 4 x929 <= 4 x930 <= 4 x931 <= 4 x932 <= 4 x933 <= 4 x934 <= 8 x935 <= 8 x936 <= 8 x937 <= 8 x938 <= 8 x939 <= 8 x940 <= 8 x941 <= 4 x942 <= 4 x943 <= 4 x944 <= 4 x945 <= 4 x946 <= 4 x947 <= 4 x948 <= 8 x949 <= 8 x950 <= 8 x951 <= 8 x952 <= 8 x953 <= 8 x954 <= 8 x955 <= 4 x956 <= 4 x957 <= 4 x958 <= 4 x959 <= 4 x960 <= 4 x961 <= 4 x962 <= 8 x963 <= 8 x964 <= 8 x965 <= 8 x966 <= 8 x967 <= 8 x968 <= 8 x969 <= 4 x970 <= 4 x971 <= 4 x972 <= 4 x973 <= 4 x974 <= 4 x975 <= 4 x976 <= 8 x977 <= 8 x978 <= 8 x979 <= 8 x980 <= 8 x981 <= 8 x982 <= 8 x983 <= 4 x984 <= 4 x985 <= 4 x986 <= 4 x987 <= 4 x988 <= 4 x989 <= 4 x990 <= 8 x991 <= 8 x992 <= 8 x993 <= 8 x994 <= 8 x995 <= 8 x996 <= 8 x997 <= 4 x998 <= 4 x999 <= 4 x1000 <= 4 x1001 <= 4 x1002 <= 4 x1003 <= 4 -1 <= x1004 <= 1 -1 <= x1005 <= 1 -1 <= x1006 <= 1 -1 <= x1007 <= 1 -1 <= x1008 <= 1 -1 <= x1009 <= 1 -1 <= x1010 <= 1 -1 <= x1011 <= 1 -1 <= x1012 <= 1 -1 <= x1013 <= 1 -1 <= x1014 <= 1 -1 <= x1015 <= 1 -1 <= x1016 <= 1 -1 <= x1017 <= 1 -1 <= x1018 <= 1 -1 <= x1019 <= 1 -1 <= x1020 <= 1 -1 <= x1021 <= 1 -1 <= x1022 <= 1 -1 <= x1023 <= 1 -1 <= x1024 <= 1 -1 <= x1025 <= 1 -1 <= x1026 <= 1 -1 <= x1027 <= 1 -1 <= x1028 <= 1 -1 <= x1029 <= 1 -1 <= x1030 <= 1 -1 <= x1031 <= 1 -1 <= x1032 <= 1 -1 <= x1033 <= 1 -1 <= x1034 <= 1 -1 <= x1035 <= 1 -1 <= x1036 <= 1 -1 <= x1037 <= 1 -1 <= x1038 <= 1 -1 <= x1039 <= 1 -1 <= x1040 <= 1 -1 <= x1041 <= 1 -1 <= x1042 <= 1 -1 <= x1043 <= 1 -1 <= x1044 <= 1 -1 <= x1045 <= 1 -1 <= x1046 <= 1 -1 <= x1047 <= 1 -1 <= x1048 <= 1 -1 <= x1049 <= 1 -1 <= x1050 <= 1 -1 <= x1051 <= 1 -1 <= x1052 <= 1 -1 <= x1053 <= 1 -1 <= x1054 <= 1 -1 <= x1055 <= 1 -1 <= x1056 <= 1 -1 <= x1057 <= 1 -1 <= x1058 <= 1 -1 <= x1059 <= 1 -1 <= x1060 <= 1 -1 <= x1061 <= 1 -1 <= x1062 <= 1 -1 <= x1063 <= 1 -1 <= x1064 <= 1 -1 <= x1065 <= 1 -1 <= x1066 <= 1 -1 <= x1067 <= 1 -1 <= x1068 <= 1 -1 <= x1069 <= 1 -1 <= x1070 <= 1 -1 <= x1071 <= 1 -1 <= x1072 <= 1 -1 <= x1073 <= 1 -1 <= x1074 <= 1 -1 <= x1075 <= 1 -1 <= x1076 <= 1 -1 <= x1077 <= 1 -1 <= x1078 <= 1 -1 <= x1079 <= 1 -1 <= x1080 <= 1 -1 <= x1081 <= 1 -1 <= x1082 <= 1 -1 <= x1083 <= 1 -1 <= x1084 <= 1 -1 <= x1085 <= 1 -1 <= x1086 <= 1 -1 <= x1087 <= 1 -1 <= x1088 <= 1 -1 <= x1089 <= 1 -1 <= x1090 <= 1 -1 <= x1091 <= 1 -1 <= x1092 <= 1 -1 <= x1093 <= 1 -1 <= x1094 <= 1 -1 <= x1095 <= 1 -1 <= x1096 <= 1 -1 <= x1097 <= 1 -1 <= x1098 <= 1 -1 <= x1099 <= 1 -8.94427191 <= x1100 <= 8.94427191 -8.94427191 <= x1101 <= 8.94427191 -8.94427191 <= x1102 <= 8.94427191 -8.94427191 <= x1103 <= 8.94427191 -8.94427191 <= x1104 <= 8.94427191 -8.94427191 <= x1105 <= 8.94427191 -8.94427191 <= x1106 <= 8.94427191 -8.94427191 <= x1107 <= 8.94427191 -8.94427191 <= x1108 <= 8.94427191 -8.94427191 <= x1109 <= 8.94427191 -8.94427191 <= x1110 <= 8.94427191 -8.94427191 <= x1111 <= 8.94427191 End