\ Equation counts \ Total E G L N X C B \ 1909 434 0 1475 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1683 1033 650 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 8641 4651 3990 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 - 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 b361 + 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 b388 + 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 b415 + 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 b442 + 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 b469 + 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 b496 + 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 b523 + 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 b550 + 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 b577 + 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 b604 + 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 b631 + 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 b658 + 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 b685 + 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 b712 + 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 b739 + 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 b766 + 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 b793 + 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 b820 + 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 b847 + 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 b874 + 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 b901 + 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 b928 + 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 b955 + 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 b982 + 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 b1009 + 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 b1035 + 0 b1036 + 0 b1037 + 0 b1038 + 0 b1039 + 0 b1040 + 0 b1041 + 0 b1042 + 0 b1043 + 0 b1044 + 0 b1045 + 0 b1046 + 0 b1047 + 0 b1048 + 0 b1049 + 0 b1050 + 0 b1051 + 0 b1052 + 0 b1053 + 0 b1054 + 0 b1055 + 0 b1056 + 0 b1057 + 0 b1058 + 0 b1059 + 0 b1060 + 0 b1061 + 0 b1062 + 0 b1063 + 0 b1064 + 0 b1065 + 0 b1066 + 0 b1067 + 0 b1068 + 0 b1069 + 0 b1070 + 0 b1071 + 0 b1072 + 0 b1073 + 0 b1074 + 0 b1075 + 0 b1076 + 0 b1077 + 0 b1078 + 0 b1079 + 0 b1080 + 0 b1081 + 0 b1082 + 0 b1083 + 0 b1084 + 0 b1085 + 0 b1086 + 0 b1087 + 0 b1088 + 0 b1089 + 0 b1090 + 0 b1091 + 0 b1092 + 0 b1093 + 0 b1094 + 0 b1095 + 0 b1096 + 0 b1097 + 0 b1098 + 0 b1099 + 0 b1100 + 0 b1101 + 0 b1102 + 0 b1103 + 0 b1104 + 0 b1105 + 0 b1106 + 0 b1107 + 0 b1108 + 0 b1109 + 0 b1110 + 0 b1111 + 0 b1112 + 0 b1113 + 0 b1114 + 0 b1115 + 0 b1116 + 0 b1117 + 0 b1118 + 0 b1119 + 0 b1120 + 0 b1121 + 0 b1122 + 0 b1123 + 0 b1124 + 0 b1125 + 0 b1126 + 0 b1127 + 0 b1128 + 0 b1129 + 0 b1130 + 0 b1131 + 0 b1132 + 0 b1133 + 0 b1134 + 0 b1135 + 0 b1136 + 0 b1137 + 0 b1138 + 0 b1139 + 0 b1140 + 0 b1141 + 0 b1142 + 0 b1143 + 0 b1144 + 0 b1145 + 0 b1146 + 0 b1147 + 0 b1148 + 0 b1149 + 0 b1150 + 0 b1151 + 0 b1152 + 0 b1153 + 0 b1154 + 0 b1155 + 0 b1156 + 0 b1157 + 0 b1158 + 0 b1159 + 0 b1160 + 0 b1161 + 0 b1162 + 0 b1163 + 0 b1164 + 0 b1165 + 0 b1166 + 0 b1167 + 0 b1168 + 0 b1169 + 0 b1170 + 0 b1171 + 0 b1172 + 0 b1173 + 0 b1174 + 0 b1175 + 0 b1176 + 0 b1177 + 0 b1178 + 0 b1179 + 0 b1180 + 0 b1181 + 0 b1182 + 0 b1183 + 0 b1184 + 0 b1185 + 0 b1186 + 0 b1187 + 0 b1188 + 0 b1189 + 0 b1190 + 0 b1191 + 0 b1192 + 0 b1193 + 0 b1194 + 0 b1195 + 0 b1196 + 0 b1197 + 0 b1198 + 0 b1199 + 0 b1200 + 0 b1201 + 0 b1202 + 0 b1203 + 0 b1204 + 0 b1205 + 0 b1206 + 0 b1207 + 0 b1208 + 0 b1209 + 0 b1210 + 0 b1211 + 0 b1212 + 0 b1213 + 0 b1214 + 0 b1215 + 0 b1216 + 0 b1217 + 0 b1218 + 0 b1219 + 0 b1220 + 0 b1221 + 0 b1222 + 0 b1223 + 0 b1224 + 0 b1225 + 0 b1226 + 0 b1227 + 0 b1228 + 0 b1229 + 0 b1230 + 0 b1231 + 0 b1232 + 0 b1233 + 0 b1234 + 0 b1235 + 0 b1236 + 0 b1237 + 0 b1238 + 0 b1239 + 0 b1240 + 0 b1241 + 0 b1242 + 0 b1243 + 0 b1244 + 0 b1245 + 0 b1246 + 0 b1247 + 0 b1248 + 0 b1249 + 0 b1250 + 0 b1251 + 0 b1252 + 0 b1253 + 0 b1254 + 0 b1255 + 0 b1256 + 0 b1257 + 0 b1258 + 0 b1259 + 0 b1260 + 0 b1261 + 0 b1262 + 0 b1263 + 0 b1264 + 0 b1265 + 0 b1266 + 0 b1267 + 0 b1268 + 0 b1269 + 0 b1270 + 0 b1271 + 0 b1272 + 0 b1273 + 0 b1274 + 0 b1275 + 0 b1276 + 0 b1277 + 0 b1278 + 0 b1279 + 0 b1280 + 0 b1281 + 0 b1282 + 0 b1283 + 0 b1284 + 0 b1285 + 0 b1286 + 0 b1287 + 0 b1288 + 0 b1289 + 0 b1290 + 0 b1291 + 0 b1292 + 0 b1293 + 0 b1294 + 0 b1295 + 0 b1296 + 0 b1297 + 0 b1298 + 0 b1299 + 0 b1300 + 0 b1301 + 0 b1302 + 0 b1303 + 0 b1304 + 0 b1305 + 0 b1306 + 0 b1307 + 0 b1308 + 0 b1309 + 0 b1310 + 0 b1311 + 0 b1312 + 0 b1313 + 0 b1314 + 0 b1315 + 0 b1316 + 0 b1317 + 0 b1318 + 0 b1319 + 0 b1320 + 0 b1321 + 0 b1322 + 0 b1323 + 0 b1324 + 0 b1325 + 0 b1326 + 0 b1327 + 0 b1328 + 0 b1329 + 0 b1330 + 0 b1331 + 0 b1332 + 0 b1333 + 0 b1334 + 0 b1335 + 0 b1336 + 0 b1337 + 0 b1338 + 0 b1339 + 0 b1340 + 0 b1341 + 0 b1342 + 0 b1343 + 0 b1344 + 0 b1345 + 0 b1346 + 0 b1347 + 0 b1348 + 0 b1349 + 0 b1350 + 0 b1351 + 0 b1352 + 0 b1353 + 0 b1354 + 0 b1355 + 0 b1356 + 0 b1357 + 0 b1358 + 0 b1359 + 0 b1360 + 0 b1361 + 0 b1362 + 0 b1363 + 0 b1364 + 0 b1365 + 0 b1366 + 0 b1367 + 0 b1368 + 0 b1369 + 0 b1370 + 0 b1371 + 0 b1372 + 0 b1373 + 0 b1374 + 0 b1375 + 0 b1376 + 0 b1377 + 0 b1378 + 0 b1379 + 0 b1380 + 0 b1381 + 0 b1382 + 0 b1383 + 0 b1384 + 0 b1385 + 0 b1386 + 0 b1387 + 0 b1388 + 0 b1389 + 0 b1390 + 0 b1391 + 0 b1392 + 0 b1393 + 0 b1394 + 0 b1395 + 0 b1396 + 0 b1397 + 0 b1398 + 0 b1399 + 0 b1400 + 0 b1401 + 0 b1402 + 0 b1403 + 0 b1404 + 0 b1405 + 0 b1406 + 0 b1407 + 0 b1408 + 0 b1409 + 0 b1410 + 0 b1411 + 0 b1412 + 0 b1413 + 0 b1414 + 0 b1415 + 0 b1416 + 0 b1417 + 0 b1418 + 0 b1419 + 0 b1420 + 0 b1421 + 0 b1422 + 0 b1423 + 0 b1424 + 0 b1425 + 0 b1426 + 0 b1427 + 0 b1428 + 0 b1429 + 0 b1430 + 0 b1431 + 0 b1432 + 0 b1433 + 0 b1434 + 0 b1435 + 0 b1436 + 0 b1437 + 0 b1438 + 0 b1439 + 0 b1440 + 0 b1441 + 0 b1442 + 0 b1443 + 0 b1444 + 0 b1445 + 0 b1446 + 0 b1447 + 0 b1448 + 0 b1449 + 0 b1450 + 0 b1451 + 0 b1452 + 0 b1453 + 0 b1454 + 0 b1455 + 0 b1456 + 0 b1457 + 0 b1458 + 0 b1459 + 0 b1460 + 0 b1461 + 0 b1462 + 0 b1463 + 0 b1464 + 0 b1465 + 0 b1466 + 0 b1467 + 0 b1468 + 0 b1469 + 0 b1470 + 0 b1471 + 0 b1472 + 0 b1473 + 0 b1474 + 0 b1475 + 0 b1476 + 0 b1477 + 0 b1478 + 0 b1479 + 0 b1480 + 0 b1481 + 0 b1482 + 0 b1483 + 0 b1484 + 0 b1485 + 0 b1486 + 0 b1487 + 0 b1488 + 0 b1489 + 0 b1490 + 0 b1491 + 0 b1492 + 0 b1493 + 0 b1494 + 0 b1495 + 0 b1496 + 0 b1497 + 0 b1498 + 0 b1499 + 0 b1500 + 0 b1501 + 0 b1502 + 0 b1503 + 0 b1504 + 0 b1505 + 0 b1506 + 0 b1507 + 0 b1508 + 0 b1509 + 0 b1510 + 0 b1511 + 0 b1512 + 0 b1513 + 0 b1514 + 0 b1515 + 0 b1516 + 0 b1517 + 0 b1518 + 0 b1519 + 0 b1520 + 0 b1521 + 0 b1522 + 0 b1523 + 0 b1524 + 0 b1525 + 0 b1526 + 0 b1527 + 0 b1528 + 0 b1529 + 0 b1530 + 0 b1531 + 0 b1532 + 0 b1533 + 0 b1534 + 0 b1535 + 0 b1536 + 0 b1537 + 0 b1538 + 0 b1539 + 0 b1540 + 0 b1541 + 0 b1542 + 0 b1543 + 0 b1544 + 0 b1545 + 0 b1546 + 0 b1547 + 0 b1548 + 0 b1549 + 0 b1550 + 0 b1551 + 0 b1552 + 0 b1553 + 0 b1554 + 0 b1555 + 0 b1556 + 0 b1557 + 0 b1558 + 0 b1559 + 0 b1560 + 0 b1561 + 0 b1562 + 0 b1563 + 0 b1564 + 0 b1565 + 0 b1566 + 0 b1567 + 0 b1568 + 0 b1569 + 0 b1570 + 0 b1571 + 0 b1572 + 0 b1573 + 0 b1574 + 0 b1575 + 0 b1576 + 0 b1577 + 0 b1578 + 0 b1579 + 0 b1580 + 0 b1581 + 0 b1582 + 0 b1583 + 0 b1584 + 0 b1585 + 0 b1586 + 0 b1587 + 0 b1588 + 0 b1589 + 0 b1590 + 0 b1591 + 0 b1592 + 0 b1593 + 0 b1594 + 0 b1595 + 0 b1596 + 0 b1597 + 0 b1598 + 0 b1599 + 0 b1600 + 0 b1601 + 0 b1602 + 0 b1603 + 0 b1604 + 0 b1605 + 0 b1606 + 0 b1607 + 0 b1608 + 0 b1609 + 0 b1610 + 0 b1611 + 0 b1612 + 0 b1613 + 0 b1614 + 0 b1615 + 0 b1616 + 0 b1617 + 0 b1618 + 0 b1619 + 0 b1620 + 0 b1621 + 0 b1622 + 0 b1623 + 0 b1624 + 0 b1625 + 0 b1626 + 0 b1627 + 0 b1628 + 0 b1629 + 0 b1630 + 0 b1631 + 0 b1632 + 0 b1633 + 0 b1634 + 0 b1635 + 0 b1636 + 0 b1637 + 0 b1638 + 0 b1639 + 0 b1640 + 0 b1641 + 0 b1642 + 0 b1643 + 0 b1644 + 0 b1645 + 0 b1646 + 0 b1647 + 0 b1648 + 0 b1649 + 0 b1650 + 0 b1651 + 0 b1652 + 0 b1653 + 0 b1654 + 0 b1655 + 0 b1656 + 0 b1657 + 0 b1658 + 0 b1659 + 0 x1660 + 0 x1661 + 0 x1662 + 0 x1663 + 0 x1664 + 0 x1665 + 0 x1666 + 0 x1667 + 0 x1668 + 0 x1669 + 0 x1670 + 0 x1671 + 0 x1672 + 0 x1673 + 0 x1674 + 0 x1675 + 0 x1676 + 0 x1677 + 0 x1678 + 0 x1679 + 0 x1680 + 0 x1681 + 0 x1682 + 0 x1683 + 0 x1684 Subject To e2: x360 - 1.2 b361 - x362 - x363 - x364 - x365 - x366 - x367 - x368 - x369 - x370 - x371 - x372 - x373 - x374 - x375 - x376 - x377 - x378 - x379 - x380 - x381 - x382 - x383 - x384 - x385 - x386 = 0 e3: x387 - 1.2 b388 - x389 - x390 - x391 - x392 - x393 - x394 - x395 - x396 - x397 - x398 - x399 - x400 - x401 - x402 - x403 - x404 - x405 - x406 - x407 - x408 - x409 - x410 - x411 - x412 - x413 = 0 e4: x414 - 1.2 b415 - x416 - x417 - x418 - x419 - x420 - x421 - x422 - x423 - x424 - x425 - x426 - x427 - x428 - x429 - x430 - x431 - x432 - x433 - x434 - x435 - x436 - x437 - x438 - x439 - x440 = 0 e5: x441 - 1.2 b442 - x443 - x444 - x445 - x446 - x447 - x448 - x449 - x450 - x451 - x452 - x453 - x454 - x455 - x456 - x457 - x458 - x459 - x460 - x461 - x462 - x463 - x464 - x465 - x466 - x467 = 0 e6: x468 - 1.2 b469 - x470 - x471 - x472 - x473 - x474 - x475 - x476 - x477 - x478 - x479 - x480 - x481 - x482 - x483 - x484 - x485 - x486 - x487 - x488 - x489 - x490 - x491 - x492 - x493 - x494 = 0 e7: x495 - 1.2 b496 - x497 - x498 - x499 - x500 - x501 - x502 - x503 - x504 - x505 - x506 - x507 - x508 - x509 - x510 - x511 - x512 - x513 - x514 - x515 - x516 - x517 - x518 - x519 - x520 - x521 = 0 e8: x522 - 1.2 b523 - x524 - x525 - x526 - x527 - x528 - x529 - x530 - x531 - x532 - x533 - x534 - x535 - x536 - x537 - x538 - x539 - x540 - x541 - x542 - x543 - x544 - x545 - x546 - x547 - x548 = 0 e9: x549 - 1.2 b550 - x551 - x552 - x553 - x554 - x555 - x556 - x557 - x558 - x559 - x560 - x561 - x562 - x563 - x564 - x565 - x566 - x567 - x568 - x569 - x570 - x571 - x572 - x573 - x574 - x575 = 0 e10: x576 - 1.2 b577 - x578 - x579 - x580 - x581 - x582 - x583 - x584 - x585 - x586 - x587 - x588 - x589 - x590 - x591 - x592 - x593 - x594 - x595 - x596 - x597 - x598 - x599 - x600 - x601 - x602 = 0 e11: x603 - 1.2 b604 - x605 - x606 - x607 - x608 - x609 - x610 - x611 - x612 - x613 - x614 - x615 - x616 - x617 - x618 - x619 - x620 - x621 - x622 - x623 - x624 - x625 - x626 - x627 - x628 - x629 = 0 e12: x630 - 1.2 b631 - x632 - x633 - x634 - x635 - x636 - x637 - x638 - x639 - x640 - x641 - x642 - x643 - x644 - x645 - x646 - x647 - x648 - x649 - x650 - x651 - x652 - x653 - x654 - x655 - x656 = 0 e13: x657 - 1.2 b658 - x659 - x660 - x661 - x662 - x663 - x664 - x665 - x666 - x667 - x668 - x669 - x670 - x671 - x672 - x673 - x674 - x675 - x676 - x677 - x678 - x679 - x680 - x681 - x682 - x683 = 0 e14: x684 - 1.2 b685 - x686 - x687 - x688 - x689 - x690 - x691 - x692 - x693 - x694 - x695 - x696 - x697 - x698 - x699 - x700 - x701 - x702 - x703 - x704 - x705 - x706 - x707 - x708 - x709 - x710 = 0 e15: x711 - 1.2 b712 - x713 - x714 - x715 - x716 - x717 - x718 - x719 - x720 - x721 - x722 - x723 - x724 - x725 - x726 - x727 - x728 - x729 - x730 - x731 - x732 - x733 - x734 - x735 - x736 - x737 = 0 e16: x738 - 1.2 b739 - x740 - x741 - x742 - x743 - x744 - x745 - x746 - x747 - x748 - x749 - x750 - x751 - x752 - x753 - x754 - x755 - x756 - x757 - x758 - x759 - x760 - x761 - x762 - x763 - x764 = 0 e17: x765 - 1.2 b766 - x767 - x768 - x769 - x770 - x771 - x772 - x773 - x774 - x775 - x776 - x777 - x778 - x779 - x780 - x781 - x782 - x783 - x784 - x785 - x786 - x787 - x788 - x789 - x790 - x791 = 0 e18: x792 - 1.2 b793 - x794 - x795 - x796 - x797 - x798 - x799 - x800 - x801 - x802 - x803 - x804 - x805 - x806 - x807 - x808 - x809 - x810 - x811 - x812 - x813 - x814 - x815 - x816 - x817 - x818 = 0 e19: x819 - 1.2 b820 - x821 - x822 - x823 - x824 - x825 - x826 - x827 - x828 - x829 - x830 - x831 - x832 - x833 - x834 - x835 - x836 - x837 - x838 - x839 - x840 - x841 - x842 - x843 - x844 - x845 = 0 e20: x846 - 1.2 b847 - x848 - x849 - x850 - x851 - x852 - x853 - x854 - x855 - x856 - x857 - x858 - x859 - x860 - x861 - x862 - x863 - x864 - x865 - x866 - x867 - x868 - x869 - x870 - x871 - x872 = 0 e21: x873 - 1.2 b874 - x875 - x876 - x877 - x878 - x879 - x880 - x881 - x882 - x883 - x884 - x885 - x886 - x887 - x888 - x889 - x890 - x891 - x892 - x893 - x894 - x895 - x896 - x897 - x898 - x899 = 0 e22: x900 - 1.2 b901 - x902 - x903 - x904 - x905 - x906 - x907 - x908 - x909 - x910 - x911 - x912 - x913 - x914 - x915 - x916 - x917 - x918 - x919 - x920 - x921 - x922 - x923 - x924 - x925 - x926 = 0 e23: x927 - 1.2 b928 - x929 - x930 - x931 - x932 - x933 - x934 - x935 - x936 - x937 - x938 - x939 - x940 - x941 - x942 - x943 - x944 - x945 - x946 - x947 - x948 - x949 - x950 - x951 - x952 - x953 = 0 e24: x954 - 1.2 b955 - x956 - x957 - x958 - x959 - x960 - x961 - x962 - x963 - x964 - x965 - x966 - x967 - x968 - x969 - x970 - x971 - x972 - x973 - x974 - x975 - x976 - x977 - x978 - x979 - x980 = 0 e25: x981 - 1.2 b982 - x983 - x984 - x985 - x986 - x987 - x988 - x989 - x990 - x991 - x992 - x993 - x994 - x995 - x996 - x997 - x998 - x999 - x1000 - x1001 - x1002 - x1003 - x1004 - x1005 - x1006 - x1007 = 0 e26: x1008 - 1.2 b1009 - x1010 - x1011 - x1012 - x1013 - x1014 - x1015 - x1016 - x1017 - x1018 - x1019 - x1020 - x1021 - x1022 - x1023 - x1024 - x1025 - x1026 - x1027 - x1028 - x1029 - x1030 - x1031 - x1032 - x1033 - x1034 = 0 e27: b361 + b1035 + b1036 + b1037 + b1038 + b1039 + b1040 + b1041 + b1042 + b1043 + b1044 + b1045 + b1046 + b1047 + b1048 + b1049 + b1050 + b1051 + b1052 + b1053 + b1054 + b1055 + b1056 + b1057 + b1058 + b1059 = 1 e28: b388 + b1060 + b1061 + b1062 + b1063 + b1064 + b1065 + b1066 + b1067 + b1068 + b1069 + b1070 + b1071 + b1072 + b1073 + b1074 + b1075 + b1076 + b1077 + b1078 + b1079 + b1080 + b1081 + b1082 + b1083 + b1084 = 1 e29: b415 + b1085 + b1086 + b1087 + b1088 + b1089 + b1090 + b1091 + b1092 + b1093 + b1094 + b1095 + b1096 + b1097 + b1098 + b1099 + b1100 + b1101 + b1102 + b1103 + b1104 + b1105 + b1106 + b1107 + b1108 + b1109 = 1 e30: b442 + b1110 + b1111 + b1112 + b1113 + b1114 + b1115 + b1116 + b1117 + b1118 + b1119 + b1120 + b1121 + b1122 + b1123 + b1124 + b1125 + b1126 + b1127 + b1128 + b1129 + b1130 + b1131 + b1132 + b1133 + b1134 = 1 e31: b469 + b1135 + b1136 + b1137 + b1138 + b1139 + b1140 + b1141 + b1142 + b1143 + b1144 + b1145 + b1146 + b1147 + b1148 + b1149 + b1150 + b1151 + b1152 + b1153 + b1154 + b1155 + b1156 + b1157 + b1158 + b1159 = 1 e32: b496 + b1160 + b1161 + b1162 + b1163 + b1164 + b1165 + b1166 + b1167 + b1168 + b1169 + b1170 + b1171 + b1172 + b1173 + b1174 + b1175 + b1176 + b1177 + b1178 + b1179 + b1180 + b1181 + b1182 + b1183 + b1184 = 1 e33: b523 + b1185 + b1186 + b1187 + b1188 + b1189 + b1190 + b1191 + b1192 + b1193 + b1194 + b1195 + b1196 + b1197 + b1198 + b1199 + b1200 + b1201 + b1202 + b1203 + b1204 + b1205 + b1206 + b1207 + b1208 + b1209 = 1 e34: b550 + b1210 + b1211 + b1212 + b1213 + b1214 + b1215 + b1216 + b1217 + b1218 + b1219 + b1220 + b1221 + b1222 + b1223 + b1224 + b1225 + b1226 + b1227 + b1228 + b1229 + b1230 + b1231 + b1232 + b1233 + b1234 = 1 e35: b577 + b1235 + b1236 + b1237 + b1238 + b1239 + b1240 + b1241 + b1242 + b1243 + b1244 + b1245 + b1246 + b1247 + b1248 + b1249 + b1250 + b1251 + b1252 + b1253 + b1254 + b1255 + b1256 + b1257 + b1258 + b1259 = 1 e36: b604 + b1260 + b1261 + b1262 + b1263 + b1264 + b1265 + b1266 + b1267 + b1268 + b1269 + b1270 + b1271 + b1272 + b1273 + b1274 + b1275 + b1276 + b1277 + b1278 + b1279 + b1280 + b1281 + b1282 + b1283 + b1284 = 1 e37: b631 + b1285 + b1286 + b1287 + b1288 + b1289 + b1290 + b1291 + b1292 + b1293 + b1294 + b1295 + b1296 + b1297 + b1298 + b1299 + b1300 + b1301 + b1302 + b1303 + b1304 + b1305 + b1306 + b1307 + b1308 + b1309 = 1 e38: b658 + b1310 + b1311 + b1312 + b1313 + b1314 + b1315 + b1316 + b1317 + b1318 + b1319 + b1320 + b1321 + b1322 + b1323 + b1324 + b1325 + b1326 + b1327 + b1328 + b1329 + b1330 + b1331 + b1332 + b1333 + b1334 = 1 e39: b685 + b1335 + b1336 + b1337 + b1338 + b1339 + b1340 + b1341 + b1342 + b1343 + b1344 + b1345 + b1346 + b1347 + b1348 + b1349 + b1350 + b1351 + b1352 + b1353 + b1354 + b1355 + b1356 + b1357 + b1358 + b1359 = 1 e40: b712 + b1360 + b1361 + b1362 + b1363 + b1364 + b1365 + b1366 + b1367 + b1368 + b1369 + b1370 + b1371 + b1372 + b1373 + b1374 + b1375 + b1376 + b1377 + b1378 + b1379 + b1380 + b1381 + b1382 + b1383 + b1384 = 1 e41: b739 + b1385 + b1386 + b1387 + b1388 + b1389 + b1390 + b1391 + b1392 + b1393 + b1394 + b1395 + b1396 + b1397 + b1398 + b1399 + b1400 + b1401 + b1402 + b1403 + b1404 + b1405 + b1406 + b1407 + b1408 + b1409 = 1 e42: b766 + b1410 + b1411 + b1412 + b1413 + b1414 + b1415 + b1416 + b1417 + b1418 + b1419 + b1420 + b1421 + b1422 + b1423 + b1424 + b1425 + b1426 + b1427 + b1428 + b1429 + b1430 + b1431 + b1432 + b1433 + b1434 = 1 e43: b793 + b1435 + b1436 + b1437 + b1438 + b1439 + b1440 + b1441 + b1442 + b1443 + b1444 + b1445 + b1446 + b1447 + b1448 + b1449 + b1450 + b1451 + b1452 + b1453 + b1454 + b1455 + b1456 + b1457 + b1458 + b1459 = 1 e44: b820 + b1460 + b1461 + b1462 + b1463 + b1464 + b1465 + b1466 + b1467 + b1468 + b1469 + b1470 + b1471 + b1472 + b1473 + b1474 + b1475 + b1476 + b1477 + b1478 + b1479 + b1480 + b1481 + b1482 + b1483 + b1484 = 1 e45: b847 + b1485 + b1486 + b1487 + b1488 + b1489 + b1490 + b1491 + b1492 + b1493 + b1494 + b1495 + b1496 + b1497 + b1498 + b1499 + b1500 + b1501 + b1502 + b1503 + b1504 + b1505 + b1506 + b1507 + b1508 + b1509 = 1 e46: b874 + b1510 + b1511 + b1512 + b1513 + b1514 + b1515 + b1516 + b1517 + b1518 + b1519 + b1520 + b1521 + b1522 + b1523 + b1524 + b1525 + b1526 + b1527 + b1528 + b1529 + b1530 + b1531 + b1532 + b1533 + b1534 = 1 e47: b901 + b1535 + b1536 + b1537 + b1538 + b1539 + b1540 + b1541 + b1542 + b1543 + b1544 + b1545 + b1546 + b1547 + b1548 + b1549 + b1550 + b1551 + b1552 + b1553 + b1554 + b1555 + b1556 + b1557 + b1558 + b1559 = 1 e48: b928 + b1560 + b1561 + b1562 + b1563 + b1564 + b1565 + b1566 + b1567 + b1568 + b1569 + b1570 + b1571 + b1572 + b1573 + b1574 + b1575 + b1576 + b1577 + b1578 + b1579 + b1580 + b1581 + b1582 + b1583 + b1584 = 1 e49: b955 + b1585 + b1586 + b1587 + b1588 + b1589 + b1590 + b1591 + b1592 + b1593 + b1594 + b1595 + b1596 + b1597 + b1598 + b1599 + b1600 + b1601 + b1602 + b1603 + b1604 + b1605 + b1606 + b1607 + b1608 + b1609 = 1 e50: b982 + b1610 + b1611 + b1612 + b1613 + b1614 + b1615 + b1616 + b1617 + b1618 + b1619 + b1620 + b1621 + b1622 + b1623 + b1624 + b1625 + b1626 + b1627 + b1628 + b1629 + b1630 + b1631 + b1632 + b1633 + b1634 = 1 e51: b1009 + b1635 + b1636 + b1637 + b1638 + b1639 + b1640 + b1641 + b1642 + b1643 + b1644 + b1645 + b1646 + b1647 + b1648 + b1649 + b1650 + b1651 + b1652 + b1653 + b1654 + b1655 + b1656 + b1657 + b1658 + b1659 = 1 e52: b1035 + b1060 + b1085 + b1110 + b1135 + b1160 + b1185 + b1210 + b1235 + b1260 + b1285 + b1310 + b1335 + b1360 + b1385 + b1410 + b1435 + b1460 + b1485 + b1510 + b1535 + b1560 + b1585 + b1610 + b1635 <= 1 e53: b1036 + b1061 + b1086 + b1111 + b1136 + b1161 + b1186 + b1211 + b1236 + b1261 + b1286 + b1311 + b1336 + b1361 + b1386 + b1411 + b1436 + b1461 + b1486 + b1511 + b1536 + b1561 + b1586 + b1611 + b1636 <= 1 e54: b1037 + b1062 + b1087 + b1112 + b1137 + b1162 + b1187 + b1212 + b1237 + b1262 + b1287 + b1312 + b1337 + b1362 + b1387 + b1412 + b1437 + b1462 + b1487 + b1512 + b1537 + b1562 + b1587 + b1612 + b1637 <= 1 e55: b1038 + b1063 + b1088 + b1113 + b1138 + b1163 + b1188 + b1213 + b1238 + b1263 + b1288 + b1313 + b1338 + b1363 + b1388 + b1413 + b1438 + b1463 + b1488 + b1513 + b1538 + b1563 + b1588 + b1613 + b1638 <= 1 e56: b1039 + b1064 + b1089 + b1114 + b1139 + b1164 + b1189 + b1214 + b1239 + b1264 + b1289 + b1314 + b1339 + b1364 + b1389 + b1414 + b1439 + b1464 + b1489 + b1514 + b1539 + b1564 + b1589 + b1614 + b1639 <= 1 e57: b1040 + b1065 + b1090 + b1115 + b1140 + b1165 + b1190 + b1215 + b1240 + b1265 + b1290 + b1315 + b1340 + b1365 + b1390 + b1415 + b1440 + b1465 + b1490 + b1515 + b1540 + b1565 + b1590 + b1615 + b1640 <= 1 e58: b1041 + b1066 + b1091 + b1116 + b1141 + b1166 + b1191 + b1216 + b1241 + b1266 + b1291 + b1316 + b1341 + b1366 + b1391 + b1416 + b1441 + b1466 + b1491 + b1516 + b1541 + b1566 + b1591 + b1616 + b1641 <= 1 e59: b1042 + b1067 + b1092 + b1117 + b1142 + b1167 + b1192 + b1217 + b1242 + b1267 + b1292 + b1317 + b1342 + b1367 + b1392 + b1417 + b1442 + b1467 + b1492 + b1517 + b1542 + b1567 + b1592 + b1617 + b1642 <= 1 e60: b1043 + b1068 + b1093 + b1118 + b1143 + b1168 + b1193 + b1218 + b1243 + b1268 + b1293 + b1318 + b1343 + b1368 + b1393 + b1418 + b1443 + b1468 + b1493 + b1518 + b1543 + b1568 + b1593 + b1618 + b1643 <= 1 e61: b1044 + b1069 + b1094 + b1119 + b1144 + b1169 + b1194 + b1219 + b1244 + b1269 + b1294 + b1319 + b1344 + b1369 + b1394 + b1419 + b1444 + b1469 + b1494 + b1519 + b1544 + b1569 + b1594 + b1619 + b1644 <= 1 e62: b1045 + b1070 + b1095 + b1120 + b1145 + b1170 + b1195 + b1220 + b1245 + b1270 + b1295 + b1320 + b1345 + b1370 + b1395 + b1420 + b1445 + b1470 + b1495 + b1520 + b1545 + b1570 + b1595 + b1620 + b1645 <= 1 e63: b1046 + b1071 + b1096 + b1121 + b1146 + b1171 + b1196 + b1221 + b1246 + b1271 + b1296 + b1321 + b1346 + b1371 + b1396 + b1421 + b1446 + b1471 + b1496 + b1521 + b1546 + b1571 + b1596 + b1621 + b1646 <= 1 e64: b1047 + b1072 + b1097 + b1122 + b1147 + b1172 + b1197 + b1222 + b1247 + b1272 + b1297 + b1322 + b1347 + b1372 + b1397 + b1422 + b1447 + b1472 + b1497 + b1522 + b1547 + b1572 + b1597 + b1622 + b1647 <= 1 e65: b1048 + b1073 + b1098 + b1123 + b1148 + b1173 + b1198 + b1223 + b1248 + b1273 + b1298 + b1323 + b1348 + b1373 + b1398 + b1423 + b1448 + b1473 + b1498 + b1523 + b1548 + b1573 + b1598 + b1623 + b1648 <= 1 e66: b1049 + b1074 + b1099 + b1124 + b1149 + b1174 + b1199 + b1224 + b1249 + b1274 + b1299 + b1324 + b1349 + b1374 + b1399 + b1424 + b1449 + b1474 + b1499 + b1524 + b1549 + b1574 + b1599 + b1624 + b1649 <= 1 e67: b1050 + b1075 + b1100 + b1125 + b1150 + b1175 + b1200 + b1225 + b1250 + b1275 + b1300 + b1325 + b1350 + b1375 + b1400 + b1425 + b1450 + b1475 + b1500 + b1525 + b1550 + b1575 + b1600 + b1625 + b1650 <= 1 e68: b1051 + b1076 + b1101 + b1126 + b1151 + b1176 + b1201 + b1226 + b1251 + b1276 + b1301 + b1326 + b1351 + b1376 + b1401 + b1426 + b1451 + b1476 + b1501 + b1526 + b1551 + b1576 + b1601 + b1626 + b1651 <= 1 e69: b1052 + b1077 + b1102 + b1127 + b1152 + b1177 + b1202 + b1227 + b1252 + b1277 + b1302 + b1327 + b1352 + b1377 + b1402 + b1427 + b1452 + b1477 + b1502 + b1527 + b1552 + b1577 + b1602 + b1627 + b1652 <= 1 e70: b1053 + b1078 + b1103 + b1128 + b1153 + b1178 + b1203 + b1228 + b1253 + b1278 + b1303 + b1328 + b1353 + b1378 + b1403 + b1428 + b1453 + b1478 + b1503 + b1528 + b1553 + b1578 + b1603 + b1628 + b1653 <= 1 e71: b1054 + b1079 + b1104 + b1129 + b1154 + b1179 + b1204 + b1229 + b1254 + b1279 + b1304 + b1329 + b1354 + b1379 + b1404 + b1429 + b1454 + b1479 + b1504 + b1529 + b1554 + b1579 + b1604 + b1629 + b1654 <= 1 e72: b1055 + b1080 + b1105 + b1130 + b1155 + b1180 + b1205 + b1230 + b1255 + b1280 + b1305 + b1330 + b1355 + b1380 + b1405 + b1430 + b1455 + b1480 + b1505 + b1530 + b1555 + b1580 + b1605 + b1630 + b1655 <= 1 e73: b1056 + b1081 + b1106 + b1131 + b1156 + b1181 + b1206 + b1231 + b1256 + b1281 + b1306 + b1331 + b1356 + b1381 + b1406 + b1431 + b1456 + b1481 + b1506 + b1531 + b1556 + b1581 + b1606 + b1631 + b1656 <= 1 e74: b1057 + b1082 + b1107 + b1132 + b1157 + b1182 + b1207 + b1232 + b1257 + b1282 + b1307 + b1332 + b1357 + b1382 + b1407 + b1432 + b1457 + b1482 + b1507 + b1532 + b1557 + b1582 + b1607 + b1632 + b1657 <= 1 e75: b1058 + b1083 + b1108 + b1133 + b1158 + b1183 + b1208 + b1233 + b1258 + b1283 + b1308 + b1333 + b1358 + b1383 + b1408 + b1433 + b1458 + b1483 + b1508 + b1533 + b1558 + b1583 + b1608 + b1633 + b1658 <= 1 e76: b1059 + b1084 + b1109 + b1134 + b1159 + b1184 + b1209 + b1234 + b1259 + b1284 + b1309 + b1334 + b1359 + b1384 + b1409 + b1434 + b1459 + b1484 + b1509 + b1534 + b1559 + b1584 + b1609 + b1634 + b1659 <= 1 e77: b361 + b388 + b415 + b442 + b469 + b496 + b523 + b550 + b577 + b604 + b631 + b658 + b685 + b712 + b739 + b766 + b793 + b820 + b847 + b874 + b901 + b928 + b955 + b982 + b1009 = 5 e78: x362 - x1660 <= 0 e79: x363 - x1661 <= 0 e80: x364 - x1662 <= 0 e81: x365 - x1663 <= 0 e82: x366 - x1664 <= 0 e83: x367 - x1665 <= 0 e84: x368 - x1666 <= 0 e85: x369 - x1667 <= 0 e86: x370 - x1668 <= 0 e87: x371 - x1669 <= 0 e88: x372 - x1670 <= 0 e89: x373 - x1671 <= 0 e90: x374 - x1672 <= 0 e91: x375 - x1673 <= 0 e92: x376 - x1674 <= 0 e93: x377 - x1675 <= 0 e94: x378 - x1676 <= 0 e95: x379 - x1677 <= 0 e96: x380 - x1678 <= 0 e97: x381 - x1679 <= 0 e98: x382 - x1680 <= 0 e99: x383 - x1681 <= 0 e100: x384 - x1682 <= 0 e101: x385 - x1683 <= 0 e102: x386 - x1684 <= 0 e103: x389 - x1660 <= 0 e104: x390 - x1661 <= 0 e105: x391 - x1662 <= 0 e106: x392 - x1663 <= 0 e107: x393 - x1664 <= 0 e108: x394 - x1665 <= 0 e109: x395 - x1666 <= 0 e110: x396 - x1667 <= 0 e111: x397 - x1668 <= 0 e112: x398 - x1669 <= 0 e113: x399 - x1670 <= 0 e114: x400 - x1671 <= 0 e115: x401 - x1672 <= 0 e116: x402 - x1673 <= 0 e117: x403 - x1674 <= 0 e118: x404 - x1675 <= 0 e119: x405 - x1676 <= 0 e120: x406 - x1677 <= 0 e121: x407 - x1678 <= 0 e122: x408 - x1679 <= 0 e123: x409 - x1680 <= 0 e124: x410 - x1681 <= 0 e125: x411 - x1682 <= 0 e126: x412 - x1683 <= 0 e127: x413 - x1684 <= 0 e128: x416 - x1660 <= 0 e129: x417 - x1661 <= 0 e130: x418 - x1662 <= 0 e131: x419 - x1663 <= 0 e132: x420 - x1664 <= 0 e133: x421 - x1665 <= 0 e134: x422 - x1666 <= 0 e135: x423 - x1667 <= 0 e136: x424 - x1668 <= 0 e137: x425 - x1669 <= 0 e138: x426 - x1670 <= 0 e139: x427 - x1671 <= 0 e140: x428 - x1672 <= 0 e141: x429 - x1673 <= 0 e142: x430 - x1674 <= 0 e143: x431 - x1675 <= 0 e144: x432 - x1676 <= 0 e145: x433 - x1677 <= 0 e146: x434 - x1678 <= 0 e147: x435 - x1679 <= 0 e148: x436 - x1680 <= 0 e149: x437 - x1681 <= 0 e150: x438 - x1682 <= 0 e151: x439 - x1683 <= 0 e152: x440 - x1684 <= 0 e153: x443 - x1660 <= 0 e154: x444 - x1661 <= 0 e155: x445 - x1662 <= 0 e156: x446 - x1663 <= 0 e157: x447 - x1664 <= 0 e158: x448 - x1665 <= 0 e159: x449 - x1666 <= 0 e160: x450 - x1667 <= 0 e161: x451 - x1668 <= 0 e162: x452 - x1669 <= 0 e163: x453 - x1670 <= 0 e164: x454 - x1671 <= 0 e165: x455 - x1672 <= 0 e166: x456 - x1673 <= 0 e167: x457 - x1674 <= 0 e168: x458 - x1675 <= 0 e169: x459 - x1676 <= 0 e170: x460 - x1677 <= 0 e171: x461 - x1678 <= 0 e172: x462 - x1679 <= 0 e173: x463 - x1680 <= 0 e174: x464 - x1681 <= 0 e175: x465 - x1682 <= 0 e176: x466 - x1683 <= 0 e177: x467 - x1684 <= 0 e178: x470 - x1660 <= 0 e179: x471 - x1661 <= 0 e180: x472 - x1662 <= 0 e181: x473 - x1663 <= 0 e182: x474 - x1664 <= 0 e183: x475 - x1665 <= 0 e184: x476 - x1666 <= 0 e185: x477 - x1667 <= 0 e186: x478 - x1668 <= 0 e187: x479 - x1669 <= 0 e188: x480 - x1670 <= 0 e189: x481 - x1671 <= 0 e190: x482 - x1672 <= 0 e191: x483 - x1673 <= 0 e192: x484 - x1674 <= 0 e193: x485 - x1675 <= 0 e194: x486 - x1676 <= 0 e195: x487 - x1677 <= 0 e196: x488 - x1678 <= 0 e197: x489 - x1679 <= 0 e198: x490 - x1680 <= 0 e199: x491 - x1681 <= 0 e200: x492 - x1682 <= 0 e201: x493 - x1683 <= 0 e202: x494 - x1684 <= 0 e203: x497 - x1660 <= 0 e204: x498 - x1661 <= 0 e205: x499 - x1662 <= 0 e206: x500 - x1663 <= 0 e207: x501 - x1664 <= 0 e208: x502 - x1665 <= 0 e209: x503 - x1666 <= 0 e210: x504 - x1667 <= 0 e211: x505 - x1668 <= 0 e212: x506 - x1669 <= 0 e213: x507 - x1670 <= 0 e214: x508 - x1671 <= 0 e215: x509 - x1672 <= 0 e216: x510 - x1673 <= 0 e217: x511 - x1674 <= 0 e218: x512 - x1675 <= 0 e219: x513 - x1676 <= 0 e220: x514 - x1677 <= 0 e221: x515 - x1678 <= 0 e222: x516 - x1679 <= 0 e223: x517 - x1680 <= 0 e224: x518 - x1681 <= 0 e225: x519 - x1682 <= 0 e226: x520 - x1683 <= 0 e227: x521 - x1684 <= 0 e228: x524 - x1660 <= 0 e229: x525 - x1661 <= 0 e230: x526 - x1662 <= 0 e231: x527 - x1663 <= 0 e232: x528 - x1664 <= 0 e233: x529 - x1665 <= 0 e234: x530 - x1666 <= 0 e235: x531 - x1667 <= 0 e236: x532 - x1668 <= 0 e237: x533 - x1669 <= 0 e238: x534 - x1670 <= 0 e239: x535 - x1671 <= 0 e240: x536 - x1672 <= 0 e241: x537 - x1673 <= 0 e242: x538 - x1674 <= 0 e243: x539 - x1675 <= 0 e244: x540 - x1676 <= 0 e245: x541 - x1677 <= 0 e246: x542 - x1678 <= 0 e247: x543 - x1679 <= 0 e248: x544 - x1680 <= 0 e249: x545 - x1681 <= 0 e250: x546 - x1682 <= 0 e251: x547 - x1683 <= 0 e252: x548 - x1684 <= 0 e253: x551 - x1660 <= 0 e254: x552 - x1661 <= 0 e255: x553 - x1662 <= 0 e256: x554 - x1663 <= 0 e257: x555 - x1664 <= 0 e258: x556 - x1665 <= 0 e259: x557 - x1666 <= 0 e260: x558 - x1667 <= 0 e261: x559 - x1668 <= 0 e262: x560 - x1669 <= 0 e263: x561 - x1670 <= 0 e264: x562 - x1671 <= 0 e265: x563 - x1672 <= 0 e266: x564 - x1673 <= 0 e267: x565 - x1674 <= 0 e268: x566 - x1675 <= 0 e269: x567 - x1676 <= 0 e270: x568 - x1677 <= 0 e271: x569 - x1678 <= 0 e272: x570 - x1679 <= 0 e273: x571 - x1680 <= 0 e274: x572 - x1681 <= 0 e275: x573 - x1682 <= 0 e276: x574 - x1683 <= 0 e277: x575 - x1684 <= 0 e278: x578 - x1660 <= 0 e279: x579 - x1661 <= 0 e280: x580 - x1662 <= 0 e281: x581 - x1663 <= 0 e282: x582 - x1664 <= 0 e283: x583 - x1665 <= 0 e284: x584 - x1666 <= 0 e285: x585 - x1667 <= 0 e286: x586 - x1668 <= 0 e287: x587 - x1669 <= 0 e288: x588 - x1670 <= 0 e289: x589 - x1671 <= 0 e290: x590 - x1672 <= 0 e291: x591 - x1673 <= 0 e292: x592 - x1674 <= 0 e293: x593 - x1675 <= 0 e294: x594 - x1676 <= 0 e295: x595 - x1677 <= 0 e296: x596 - x1678 <= 0 e297: x597 - x1679 <= 0 e298: x598 - x1680 <= 0 e299: x599 - x1681 <= 0 e300: x600 - x1682 <= 0 e301: x601 - x1683 <= 0 e302: x602 - x1684 <= 0 e303: x605 - x1660 <= 0 e304: x606 - x1661 <= 0 e305: x607 - x1662 <= 0 e306: x608 - x1663 <= 0 e307: x609 - x1664 <= 0 e308: x610 - x1665 <= 0 e309: x611 - x1666 <= 0 e310: x612 - x1667 <= 0 e311: x613 - x1668 <= 0 e312: x614 - x1669 <= 0 e313: x615 - x1670 <= 0 e314: x616 - x1671 <= 0 e315: x617 - x1672 <= 0 e316: x618 - x1673 <= 0 e317: x619 - x1674 <= 0 e318: x620 - x1675 <= 0 e319: x621 - x1676 <= 0 e320: x622 - x1677 <= 0 e321: x623 - x1678 <= 0 e322: x624 - x1679 <= 0 e323: x625 - x1680 <= 0 e324: x626 - x1681 <= 0 e325: x627 - x1682 <= 0 e326: x628 - x1683 <= 0 e327: x629 - x1684 <= 0 e328: x632 - x1660 <= 0 e329: x633 - x1661 <= 0 e330: x634 - x1662 <= 0 e331: x635 - x1663 <= 0 e332: x636 - x1664 <= 0 e333: x637 - x1665 <= 0 e334: x638 - x1666 <= 0 e335: x639 - x1667 <= 0 e336: x640 - x1668 <= 0 e337: x641 - x1669 <= 0 e338: x642 - x1670 <= 0 e339: x643 - x1671 <= 0 e340: x644 - x1672 <= 0 e341: x645 - x1673 <= 0 e342: x646 - x1674 <= 0 e343: x647 - x1675 <= 0 e344: x648 - x1676 <= 0 e345: x649 - x1677 <= 0 e346: x650 - x1678 <= 0 e347: x651 - x1679 <= 0 e348: x652 - x1680 <= 0 e349: x653 - x1681 <= 0 e350: x654 - x1682 <= 0 e351: x655 - x1683 <= 0 e352: x656 - x1684 <= 0 e353: x659 - x1660 <= 0 e354: x660 - x1661 <= 0 e355: x661 - x1662 <= 0 e356: x662 - x1663 <= 0 e357: x663 - x1664 <= 0 e358: x664 - x1665 <= 0 e359: x665 - x1666 <= 0 e360: x666 - x1667 <= 0 e361: x667 - x1668 <= 0 e362: x668 - x1669 <= 0 e363: x669 - x1670 <= 0 e364: x670 - x1671 <= 0 e365: x671 - x1672 <= 0 e366: x672 - x1673 <= 0 e367: x673 - x1674 <= 0 e368: x674 - x1675 <= 0 e369: x675 - x1676 <= 0 e370: x676 - x1677 <= 0 e371: x677 - x1678 <= 0 e372: x678 - x1679 <= 0 e373: x679 - x1680 <= 0 e374: x680 - x1681 <= 0 e375: x681 - x1682 <= 0 e376: x682 - x1683 <= 0 e377: x683 - x1684 <= 0 e378: x686 - x1660 <= 0 e379: x687 - x1661 <= 0 e380: x688 - x1662 <= 0 e381: x689 - x1663 <= 0 e382: x690 - x1664 <= 0 e383: x691 - x1665 <= 0 e384: x692 - x1666 <= 0 e385: x693 - x1667 <= 0 e386: x694 - x1668 <= 0 e387: x695 - x1669 <= 0 e388: x696 - x1670 <= 0 e389: x697 - x1671 <= 0 e390: x698 - x1672 <= 0 e391: x699 - x1673 <= 0 e392: x700 - x1674 <= 0 e393: x701 - x1675 <= 0 e394: x702 - x1676 <= 0 e395: x703 - x1677 <= 0 e396: x704 - x1678 <= 0 e397: x705 - x1679 <= 0 e398: x706 - x1680 <= 0 e399: x707 - x1681 <= 0 e400: x708 - x1682 <= 0 e401: x709 - x1683 <= 0 e402: x710 - x1684 <= 0 e403: x713 - x1660 <= 0 e404: x714 - x1661 <= 0 e405: x715 - x1662 <= 0 e406: x716 - x1663 <= 0 e407: x717 - x1664 <= 0 e408: x718 - x1665 <= 0 e409: x719 - x1666 <= 0 e410: x720 - x1667 <= 0 e411: x721 - x1668 <= 0 e412: x722 - x1669 <= 0 e413: x723 - x1670 <= 0 e414: x724 - x1671 <= 0 e415: x725 - x1672 <= 0 e416: x726 - x1673 <= 0 e417: x727 - x1674 <= 0 e418: x728 - x1675 <= 0 e419: x729 - x1676 <= 0 e420: x730 - x1677 <= 0 e421: x731 - x1678 <= 0 e422: x732 - x1679 <= 0 e423: x733 - x1680 <= 0 e424: x734 - x1681 <= 0 e425: x735 - x1682 <= 0 e426: x736 - x1683 <= 0 e427: x737 - x1684 <= 0 e428: x740 - x1660 <= 0 e429: x741 - x1661 <= 0 e430: x742 - x1662 <= 0 e431: x743 - x1663 <= 0 e432: x744 - x1664 <= 0 e433: x745 - x1665 <= 0 e434: x746 - x1666 <= 0 e435: x747 - x1667 <= 0 e436: x748 - x1668 <= 0 e437: x749 - x1669 <= 0 e438: x750 - x1670 <= 0 e439: x751 - x1671 <= 0 e440: x752 - x1672 <= 0 e441: x753 - x1673 <= 0 e442: x754 - x1674 <= 0 e443: x755 - x1675 <= 0 e444: x756 - x1676 <= 0 e445: x757 - x1677 <= 0 e446: x758 - x1678 <= 0 e447: x759 - x1679 <= 0 e448: x760 - x1680 <= 0 e449: x761 - x1681 <= 0 e450: x762 - x1682 <= 0 e451: x763 - x1683 <= 0 e452: x764 - x1684 <= 0 e453: x767 - x1660 <= 0 e454: x768 - x1661 <= 0 e455: x769 - x1662 <= 0 e456: x770 - x1663 <= 0 e457: x771 - x1664 <= 0 e458: x772 - x1665 <= 0 e459: x773 - x1666 <= 0 e460: x774 - x1667 <= 0 e461: x775 - x1668 <= 0 e462: x776 - x1669 <= 0 e463: x777 - x1670 <= 0 e464: x778 - x1671 <= 0 e465: x779 - x1672 <= 0 e466: x780 - x1673 <= 0 e467: x781 - x1674 <= 0 e468: x782 - x1675 <= 0 e469: x783 - x1676 <= 0 e470: x784 - x1677 <= 0 e471: x785 - x1678 <= 0 e472: x786 - x1679 <= 0 e473: x787 - x1680 <= 0 e474: x788 - x1681 <= 0 e475: x789 - x1682 <= 0 e476: x790 - x1683 <= 0 e477: x791 - x1684 <= 0 e478: x794 - x1660 <= 0 e479: x795 - x1661 <= 0 e480: x796 - x1662 <= 0 e481: x797 - x1663 <= 0 e482: x798 - x1664 <= 0 e483: x799 - x1665 <= 0 e484: x800 - x1666 <= 0 e485: x801 - x1667 <= 0 e486: x802 - x1668 <= 0 e487: x803 - x1669 <= 0 e488: x804 - x1670 <= 0 e489: x805 - x1671 <= 0 e490: x806 - x1672 <= 0 e491: x807 - x1673 <= 0 e492: x808 - x1674 <= 0 e493: x809 - x1675 <= 0 e494: x810 - x1676 <= 0 e495: x811 - x1677 <= 0 e496: x812 - x1678 <= 0 e497: x813 - x1679 <= 0 e498: x814 - x1680 <= 0 e499: x815 - x1681 <= 0 e500: x816 - x1682 <= 0 e501: x817 - x1683 <= 0 e502: x818 - x1684 <= 0 e503: x821 - x1660 <= 0 e504: x822 - x1661 <= 0 e505: x823 - x1662 <= 0 e506: x824 - x1663 <= 0 e507: x825 - x1664 <= 0 e508: x826 - x1665 <= 0 e509: x827 - x1666 <= 0 e510: x828 - x1667 <= 0 e511: x829 - x1668 <= 0 e512: x830 - x1669 <= 0 e513: x831 - x1670 <= 0 e514: x832 - x1671 <= 0 e515: x833 - x1672 <= 0 e516: x834 - x1673 <= 0 e517: x835 - x1674 <= 0 e518: x836 - x1675 <= 0 e519: x837 - x1676 <= 0 e520: x838 - x1677 <= 0 e521: x839 - x1678 <= 0 e522: x840 - x1679 <= 0 e523: x841 - x1680 <= 0 e524: x842 - x1681 <= 0 e525: x843 - x1682 <= 0 e526: x844 - x1683 <= 0 e527: x845 - x1684 <= 0 e528: x848 - x1660 <= 0 e529: x849 - x1661 <= 0 e530: x850 - x1662 <= 0 e531: x851 - x1663 <= 0 e532: x852 - x1664 <= 0 e533: x853 - x1665 <= 0 e534: x854 - x1666 <= 0 e535: x855 - x1667 <= 0 e536: x856 - x1668 <= 0 e537: x857 - x1669 <= 0 e538: x858 - x1670 <= 0 e539: x859 - x1671 <= 0 e540: x860 - x1672 <= 0 e541: x861 - x1673 <= 0 e542: x862 - x1674 <= 0 e543: x863 - x1675 <= 0 e544: x864 - x1676 <= 0 e545: x865 - x1677 <= 0 e546: x866 - x1678 <= 0 e547: x867 - x1679 <= 0 e548: x868 - x1680 <= 0 e549: x869 - x1681 <= 0 e550: x870 - x1682 <= 0 e551: x871 - x1683 <= 0 e552: x872 - x1684 <= 0 e553: x875 - x1660 <= 0 e554: x876 - x1661 <= 0 e555: x877 - x1662 <= 0 e556: x878 - x1663 <= 0 e557: x879 - x1664 <= 0 e558: x880 - x1665 <= 0 e559: x881 - x1666 <= 0 e560: x882 - x1667 <= 0 e561: x883 - x1668 <= 0 e562: x884 - x1669 <= 0 e563: x885 - x1670 <= 0 e564: x886 - x1671 <= 0 e565: x887 - x1672 <= 0 e566: x888 - x1673 <= 0 e567: x889 - x1674 <= 0 e568: x890 - x1675 <= 0 e569: x891 - x1676 <= 0 e570: x892 - x1677 <= 0 e571: x893 - x1678 <= 0 e572: x894 - x1679 <= 0 e573: x895 - x1680 <= 0 e574: x896 - x1681 <= 0 e575: x897 - x1682 <= 0 e576: x898 - x1683 <= 0 e577: x899 - x1684 <= 0 e578: x902 - x1660 <= 0 e579: x903 - x1661 <= 0 e580: x904 - x1662 <= 0 e581: x905 - x1663 <= 0 e582: x906 - x1664 <= 0 e583: x907 - x1665 <= 0 e584: x908 - x1666 <= 0 e585: x909 - x1667 <= 0 e586: x910 - x1668 <= 0 e587: x911 - x1669 <= 0 e588: x912 - x1670 <= 0 e589: x913 - x1671 <= 0 e590: x914 - x1672 <= 0 e591: x915 - x1673 <= 0 e592: x916 - x1674 <= 0 e593: x917 - x1675 <= 0 e594: x918 - x1676 <= 0 e595: x919 - x1677 <= 0 e596: x920 - x1678 <= 0 e597: x921 - x1679 <= 0 e598: x922 - x1680 <= 0 e599: x923 - x1681 <= 0 e600: x924 - x1682 <= 0 e601: x925 - x1683 <= 0 e602: x926 - x1684 <= 0 e603: x929 - x1660 <= 0 e604: x930 - x1661 <= 0 e605: x931 - x1662 <= 0 e606: x932 - x1663 <= 0 e607: x933 - x1664 <= 0 e608: x934 - x1665 <= 0 e609: x935 - x1666 <= 0 e610: x936 - x1667 <= 0 e611: x937 - x1668 <= 0 e612: x938 - x1669 <= 0 e613: x939 - x1670 <= 0 e614: x940 - x1671 <= 0 e615: x941 - x1672 <= 0 e616: x942 - x1673 <= 0 e617: x943 - x1674 <= 0 e618: x944 - x1675 <= 0 e619: x945 - x1676 <= 0 e620: x946 - x1677 <= 0 e621: x947 - x1678 <= 0 e622: x948 - x1679 <= 0 e623: x949 - x1680 <= 0 e624: x950 - x1681 <= 0 e625: x951 - x1682 <= 0 e626: x952 - x1683 <= 0 e627: x953 - x1684 <= 0 e628: x956 - x1660 <= 0 e629: x957 - x1661 <= 0 e630: x958 - x1662 <= 0 e631: x959 - x1663 <= 0 e632: x960 - x1664 <= 0 e633: x961 - x1665 <= 0 e634: x962 - x1666 <= 0 e635: x963 - x1667 <= 0 e636: x964 - x1668 <= 0 e637: x965 - x1669 <= 0 e638: x966 - x1670 <= 0 e639: x967 - x1671 <= 0 e640: x968 - x1672 <= 0 e641: x969 - x1673 <= 0 e642: x970 - x1674 <= 0 e643: x971 - x1675 <= 0 e644: x972 - x1676 <= 0 e645: x973 - x1677 <= 0 e646: x974 - x1678 <= 0 e647: x975 - x1679 <= 0 e648: x976 - x1680 <= 0 e649: x977 - x1681 <= 0 e650: x978 - x1682 <= 0 e651: x979 - x1683 <= 0 e652: x980 - x1684 <= 0 e653: x983 - x1660 <= 0 e654: x984 - x1661 <= 0 e655: x985 - x1662 <= 0 e656: x986 - x1663 <= 0 e657: x987 - x1664 <= 0 e658: x988 - x1665 <= 0 e659: x989 - x1666 <= 0 e660: x990 - x1667 <= 0 e661: x991 - x1668 <= 0 e662: x992 - x1669 <= 0 e663: x993 - x1670 <= 0 e664: x994 - x1671 <= 0 e665: x995 - x1672 <= 0 e666: x996 - x1673 <= 0 e667: x997 - x1674 <= 0 e668: x998 - x1675 <= 0 e669: x999 - x1676 <= 0 e670: x1000 - x1677 <= 0 e671: x1001 - x1678 <= 0 e672: x1002 - x1679 <= 0 e673: x1003 - x1680 <= 0 e674: x1004 - x1681 <= 0 e675: x1005 - x1682 <= 0 e676: x1006 - x1683 <= 0 e677: x1007 - x1684 <= 0 e678: x1010 - x1660 <= 0 e679: x1011 - x1661 <= 0 e680: x1012 - x1662 <= 0 e681: x1013 - x1663 <= 0 e682: x1014 - x1664 <= 0 e683: x1015 - x1665 <= 0 e684: x1016 - x1666 <= 0 e685: x1017 - x1667 <= 0 e686: x1018 - x1668 <= 0 e687: x1019 - x1669 <= 0 e688: x1020 - x1670 <= 0 e689: x1021 - x1671 <= 0 e690: x1022 - x1672 <= 0 e691: x1023 - x1673 <= 0 e692: x1024 - x1674 <= 0 e693: x1025 - x1675 <= 0 e694: x1026 - x1676 <= 0 e695: x1027 - x1677 <= 0 e696: x1028 - x1678 <= 0 e697: x1029 - x1679 <= 0 e698: x1030 - x1680 <= 0 e699: x1031 - x1681 <= 0 e700: x1032 - x1682 <= 0 e701: x1033 - x1683 <= 0 e702: x1034 - x1684 <= 0 e703: x362 - 1.2 b1035 <= 0 e704: x363 - 1.2 b1036 <= 0 e705: x364 - 1.2 b1037 <= 0 e706: x365 - 1.2 b1038 <= 0 e707: x366 - 1.2 b1039 <= 0 e708: x367 - 1.2 b1040 <= 0 e709: x368 - 1.2 b1041 <= 0 e710: x369 - 1.2 b1042 <= 0 e711: x370 - 1.2 b1043 <= 0 e712: x371 - 1.2 b1044 <= 0 e713: x372 - 1.2 b1045 <= 0 e714: x373 - 1.2 b1046 <= 0 e715: x374 - 1.2 b1047 <= 0 e716: x375 - 1.2 b1048 <= 0 e717: x376 - 1.2 b1049 <= 0 e718: x377 - 1.2 b1050 <= 0 e719: x378 - 1.2 b1051 <= 0 e720: x379 - 1.2 b1052 <= 0 e721: x380 - 1.2 b1053 <= 0 e722: x381 - 1.2 b1054 <= 0 e723: x382 - 1.2 b1055 <= 0 e724: x383 - 1.2 b1056 <= 0 e725: x384 - 1.2 b1057 <= 0 e726: x385 - 1.2 b1058 <= 0 e727: x386 - 1.2 b1059 <= 0 e728: x389 - 1.2 b1060 <= 0 e729: x390 - 1.2 b1061 <= 0 e730: x391 - 1.2 b1062 <= 0 e731: x392 - 1.2 b1063 <= 0 e732: x393 - 1.2 b1064 <= 0 e733: x394 - 1.2 b1065 <= 0 e734: x395 - 1.2 b1066 <= 0 e735: x396 - 1.2 b1067 <= 0 e736: x397 - 1.2 b1068 <= 0 e737: x398 - 1.2 b1069 <= 0 e738: x399 - 1.2 b1070 <= 0 e739: x400 - 1.2 b1071 <= 0 e740: x401 - 1.2 b1072 <= 0 e741: x402 - 1.2 b1073 <= 0 e742: x403 - 1.2 b1074 <= 0 e743: x404 - 1.2 b1075 <= 0 e744: x405 - 1.2 b1076 <= 0 e745: x406 - 1.2 b1077 <= 0 e746: x407 - 1.2 b1078 <= 0 e747: x408 - 1.2 b1079 <= 0 e748: x409 - 1.2 b1080 <= 0 e749: x410 - 1.2 b1081 <= 0 e750: x411 - 1.2 b1082 <= 0 e751: x412 - 1.2 b1083 <= 0 e752: x413 - 1.2 b1084 <= 0 e753: x416 - 1.2 b1085 <= 0 e754: x417 - 1.2 b1086 <= 0 e755: x418 - 1.2 b1087 <= 0 e756: x419 - 1.2 b1088 <= 0 e757: x420 - 1.2 b1089 <= 0 e758: x421 - 1.2 b1090 <= 0 e759: x422 - 1.2 b1091 <= 0 e760: x423 - 1.2 b1092 <= 0 e761: x424 - 1.2 b1093 <= 0 e762: x425 - 1.2 b1094 <= 0 e763: x426 - 1.2 b1095 <= 0 e764: x427 - 1.2 b1096 <= 0 e765: x428 - 1.2 b1097 <= 0 e766: x429 - 1.2 b1098 <= 0 e767: x430 - 1.2 b1099 <= 0 e768: x431 - 1.2 b1100 <= 0 e769: x432 - 1.2 b1101 <= 0 e770: x433 - 1.2 b1102 <= 0 e771: x434 - 1.2 b1103 <= 0 e772: x435 - 1.2 b1104 <= 0 e773: x436 - 1.2 b1105 <= 0 e774: x437 - 1.2 b1106 <= 0 e775: x438 - 1.2 b1107 <= 0 e776: x439 - 1.2 b1108 <= 0 e777: x440 - 1.2 b1109 <= 0 e778: x443 - 1.2 b1110 <= 0 e779: x444 - 1.2 b1111 <= 0 e780: x445 - 1.2 b1112 <= 0 e781: x446 - 1.2 b1113 <= 0 e782: x447 - 1.2 b1114 <= 0 e783: x448 - 1.2 b1115 <= 0 e784: x449 - 1.2 b1116 <= 0 e785: x450 - 1.2 b1117 <= 0 e786: x451 - 1.2 b1118 <= 0 e787: x452 - 1.2 b1119 <= 0 e788: x453 - 1.2 b1120 <= 0 e789: x454 - 1.2 b1121 <= 0 e790: x455 - 1.2 b1122 <= 0 e791: x456 - 1.2 b1123 <= 0 e792: x457 - 1.2 b1124 <= 0 e793: x458 - 1.2 b1125 <= 0 e794: x459 - 1.2 b1126 <= 0 e795: x460 - 1.2 b1127 <= 0 e796: x461 - 1.2 b1128 <= 0 e797: x462 - 1.2 b1129 <= 0 e798: x463 - 1.2 b1130 <= 0 e799: x464 - 1.2 b1131 <= 0 e800: x465 - 1.2 b1132 <= 0 e801: x466 - 1.2 b1133 <= 0 e802: x467 - 1.2 b1134 <= 0 e803: x470 - 1.2 b1135 <= 0 e804: x471 - 1.2 b1136 <= 0 e805: x472 - 1.2 b1137 <= 0 e806: x473 - 1.2 b1138 <= 0 e807: x474 - 1.2 b1139 <= 0 e808: x475 - 1.2 b1140 <= 0 e809: x476 - 1.2 b1141 <= 0 e810: x477 - 1.2 b1142 <= 0 e811: x478 - 1.2 b1143 <= 0 e812: x479 - 1.2 b1144 <= 0 e813: x480 - 1.2 b1145 <= 0 e814: x481 - 1.2 b1146 <= 0 e815: x482 - 1.2 b1147 <= 0 e816: x483 - 1.2 b1148 <= 0 e817: x484 - 1.2 b1149 <= 0 e818: x485 - 1.2 b1150 <= 0 e819: x486 - 1.2 b1151 <= 0 e820: x487 - 1.2 b1152 <= 0 e821: x488 - 1.2 b1153 <= 0 e822: x489 - 1.2 b1154 <= 0 e823: x490 - 1.2 b1155 <= 0 e824: x491 - 1.2 b1156 <= 0 e825: x492 - 1.2 b1157 <= 0 e826: x493 - 1.2 b1158 <= 0 e827: x494 - 1.2 b1159 <= 0 e828: x497 - 1.2 b1160 <= 0 e829: x498 - 1.2 b1161 <= 0 e830: x499 - 1.2 b1162 <= 0 e831: x500 - 1.2 b1163 <= 0 e832: x501 - 1.2 b1164 <= 0 e833: x502 - 1.2 b1165 <= 0 e834: x503 - 1.2 b1166 <= 0 e835: x504 - 1.2 b1167 <= 0 e836: x505 - 1.2 b1168 <= 0 e837: x506 - 1.2 b1169 <= 0 e838: x507 - 1.2 b1170 <= 0 e839: x508 - 1.2 b1171 <= 0 e840: x509 - 1.2 b1172 <= 0 e841: x510 - 1.2 b1173 <= 0 e842: x511 - 1.2 b1174 <= 0 e843: x512 - 1.2 b1175 <= 0 e844: x513 - 1.2 b1176 <= 0 e845: x514 - 1.2 b1177 <= 0 e846: x515 - 1.2 b1178 <= 0 e847: x516 - 1.2 b1179 <= 0 e848: x517 - 1.2 b1180 <= 0 e849: x518 - 1.2 b1181 <= 0 e850: x519 - 1.2 b1182 <= 0 e851: x520 - 1.2 b1183 <= 0 e852: x521 - 1.2 b1184 <= 0 e853: x524 - 1.2 b1185 <= 0 e854: x525 - 1.2 b1186 <= 0 e855: x526 - 1.2 b1187 <= 0 e856: x527 - 1.2 b1188 <= 0 e857: x528 - 1.2 b1189 <= 0 e858: x529 - 1.2 b1190 <= 0 e859: x530 - 1.2 b1191 <= 0 e860: x531 - 1.2 b1192 <= 0 e861: x532 - 1.2 b1193 <= 0 e862: x533 - 1.2 b1194 <= 0 e863: x534 - 1.2 b1195 <= 0 e864: x535 - 1.2 b1196 <= 0 e865: x536 - 1.2 b1197 <= 0 e866: x537 - 1.2 b1198 <= 0 e867: x538 - 1.2 b1199 <= 0 e868: x539 - 1.2 b1200 <= 0 e869: x540 - 1.2 b1201 <= 0 e870: x541 - 1.2 b1202 <= 0 e871: x542 - 1.2 b1203 <= 0 e872: x543 - 1.2 b1204 <= 0 e873: x544 - 1.2 b1205 <= 0 e874: x545 - 1.2 b1206 <= 0 e875: x546 - 1.2 b1207 <= 0 e876: x547 - 1.2 b1208 <= 0 e877: x548 - 1.2 b1209 <= 0 e878: x551 - 1.2 b1210 <= 0 e879: x552 - 1.2 b1211 <= 0 e880: x553 - 1.2 b1212 <= 0 e881: x554 - 1.2 b1213 <= 0 e882: x555 - 1.2 b1214 <= 0 e883: x556 - 1.2 b1215 <= 0 e884: x557 - 1.2 b1216 <= 0 e885: x558 - 1.2 b1217 <= 0 e886: x559 - 1.2 b1218 <= 0 e887: x560 - 1.2 b1219 <= 0 e888: x561 - 1.2 b1220 <= 0 e889: x562 - 1.2 b1221 <= 0 e890: x563 - 1.2 b1222 <= 0 e891: x564 - 1.2 b1223 <= 0 e892: x565 - 1.2 b1224 <= 0 e893: x566 - 1.2 b1225 <= 0 e894: x567 - 1.2 b1226 <= 0 e895: x568 - 1.2 b1227 <= 0 e896: x569 - 1.2 b1228 <= 0 e897: x570 - 1.2 b1229 <= 0 e898: x571 - 1.2 b1230 <= 0 e899: x572 - 1.2 b1231 <= 0 e900: x573 - 1.2 b1232 <= 0 e901: x574 - 1.2 b1233 <= 0 e902: x575 - 1.2 b1234 <= 0 e903: x578 - 1.2 b1235 <= 0 e904: x579 - 1.2 b1236 <= 0 e905: x580 - 1.2 b1237 <= 0 e906: x581 - 1.2 b1238 <= 0 e907: x582 - 1.2 b1239 <= 0 e908: x583 - 1.2 b1240 <= 0 e909: x584 - 1.2 b1241 <= 0 e910: x585 - 1.2 b1242 <= 0 e911: x586 - 1.2 b1243 <= 0 e912: x587 - 1.2 b1244 <= 0 e913: x588 - 1.2 b1245 <= 0 e914: x589 - 1.2 b1246 <= 0 e915: x590 - 1.2 b1247 <= 0 e916: x591 - 1.2 b1248 <= 0 e917: x592 - 1.2 b1249 <= 0 e918: x593 - 1.2 b1250 <= 0 e919: x594 - 1.2 b1251 <= 0 e920: x595 - 1.2 b1252 <= 0 e921: x596 - 1.2 b1253 <= 0 e922: x597 - 1.2 b1254 <= 0 e923: x598 - 1.2 b1255 <= 0 e924: x599 - 1.2 b1256 <= 0 e925: x600 - 1.2 b1257 <= 0 e926: x601 - 1.2 b1258 <= 0 e927: x602 - 1.2 b1259 <= 0 e928: x605 - 1.2 b1260 <= 0 e929: x606 - 1.2 b1261 <= 0 e930: x607 - 1.2 b1262 <= 0 e931: x608 - 1.2 b1263 <= 0 e932: x609 - 1.2 b1264 <= 0 e933: x610 - 1.2 b1265 <= 0 e934: x611 - 1.2 b1266 <= 0 e935: x612 - 1.2 b1267 <= 0 e936: x613 - 1.2 b1268 <= 0 e937: x614 - 1.2 b1269 <= 0 e938: x615 - 1.2 b1270 <= 0 e939: x616 - 1.2 b1271 <= 0 e940: x617 - 1.2 b1272 <= 0 e941: x618 - 1.2 b1273 <= 0 e942: x619 - 1.2 b1274 <= 0 e943: x620 - 1.2 b1275 <= 0 e944: x621 - 1.2 b1276 <= 0 e945: x622 - 1.2 b1277 <= 0 e946: x623 - 1.2 b1278 <= 0 e947: x624 - 1.2 b1279 <= 0 e948: x625 - 1.2 b1280 <= 0 e949: x626 - 1.2 b1281 <= 0 e950: x627 - 1.2 b1282 <= 0 e951: x628 - 1.2 b1283 <= 0 e952: x629 - 1.2 b1284 <= 0 e953: x632 - 1.2 b1285 <= 0 e954: x633 - 1.2 b1286 <= 0 e955: x634 - 1.2 b1287 <= 0 e956: x635 - 1.2 b1288 <= 0 e957: x636 - 1.2 b1289 <= 0 e958: x637 - 1.2 b1290 <= 0 e959: x638 - 1.2 b1291 <= 0 e960: x639 - 1.2 b1292 <= 0 e961: x640 - 1.2 b1293 <= 0 e962: x641 - 1.2 b1294 <= 0 e963: x642 - 1.2 b1295 <= 0 e964: x643 - 1.2 b1296 <= 0 e965: x644 - 1.2 b1297 <= 0 e966: x645 - 1.2 b1298 <= 0 e967: x646 - 1.2 b1299 <= 0 e968: x647 - 1.2 b1300 <= 0 e969: x648 - 1.2 b1301 <= 0 e970: x649 - 1.2 b1302 <= 0 e971: x650 - 1.2 b1303 <= 0 e972: x651 - 1.2 b1304 <= 0 e973: x652 - 1.2 b1305 <= 0 e974: x653 - 1.2 b1306 <= 0 e975: x654 - 1.2 b1307 <= 0 e976: x655 - 1.2 b1308 <= 0 e977: x656 - 1.2 b1309 <= 0 e978: x659 - 1.2 b1310 <= 0 e979: x660 - 1.2 b1311 <= 0 e980: x661 - 1.2 b1312 <= 0 e981: x662 - 1.2 b1313 <= 0 e982: x663 - 1.2 b1314 <= 0 e983: x664 - 1.2 b1315 <= 0 e984: x665 - 1.2 b1316 <= 0 e985: x666 - 1.2 b1317 <= 0 e986: x667 - 1.2 b1318 <= 0 e987: x668 - 1.2 b1319 <= 0 e988: x669 - 1.2 b1320 <= 0 e989: x670 - 1.2 b1321 <= 0 e990: x671 - 1.2 b1322 <= 0 e991: x672 - 1.2 b1323 <= 0 e992: x673 - 1.2 b1324 <= 0 e993: x674 - 1.2 b1325 <= 0 e994: x675 - 1.2 b1326 <= 0 e995: x676 - 1.2 b1327 <= 0 e996: x677 - 1.2 b1328 <= 0 e997: x678 - 1.2 b1329 <= 0 e998: x679 - 1.2 b1330 <= 0 e999: x680 - 1.2 b1331 <= 0 e1000: x681 - 1.2 b1332 <= 0 e1001: x682 - 1.2 b1333 <= 0 e1002: x683 - 1.2 b1334 <= 0 e1003: x686 - 1.2 b1335 <= 0 e1004: x687 - 1.2 b1336 <= 0 e1005: x688 - 1.2 b1337 <= 0 e1006: x689 - 1.2 b1338 <= 0 e1007: x690 - 1.2 b1339 <= 0 e1008: x691 - 1.2 b1340 <= 0 e1009: x692 - 1.2 b1341 <= 0 e1010: x693 - 1.2 b1342 <= 0 e1011: x694 - 1.2 b1343 <= 0 e1012: x695 - 1.2 b1344 <= 0 e1013: x696 - 1.2 b1345 <= 0 e1014: x697 - 1.2 b1346 <= 0 e1015: x698 - 1.2 b1347 <= 0 e1016: x699 - 1.2 b1348 <= 0 e1017: x700 - 1.2 b1349 <= 0 e1018: x701 - 1.2 b1350 <= 0 e1019: x702 - 1.2 b1351 <= 0 e1020: x703 - 1.2 b1352 <= 0 e1021: x704 - 1.2 b1353 <= 0 e1022: x705 - 1.2 b1354 <= 0 e1023: x706 - 1.2 b1355 <= 0 e1024: x707 - 1.2 b1356 <= 0 e1025: x708 - 1.2 b1357 <= 0 e1026: x709 - 1.2 b1358 <= 0 e1027: x710 - 1.2 b1359 <= 0 e1028: x713 - 1.2 b1360 <= 0 e1029: x714 - 1.2 b1361 <= 0 e1030: x715 - 1.2 b1362 <= 0 e1031: x716 - 1.2 b1363 <= 0 e1032: x717 - 1.2 b1364 <= 0 e1033: x718 - 1.2 b1365 <= 0 e1034: x719 - 1.2 b1366 <= 0 e1035: x720 - 1.2 b1367 <= 0 e1036: x721 - 1.2 b1368 <= 0 e1037: x722 - 1.2 b1369 <= 0 e1038: x723 - 1.2 b1370 <= 0 e1039: x724 - 1.2 b1371 <= 0 e1040: x725 - 1.2 b1372 <= 0 e1041: x726 - 1.2 b1373 <= 0 e1042: x727 - 1.2 b1374 <= 0 e1043: x728 - 1.2 b1375 <= 0 e1044: x729 - 1.2 b1376 <= 0 e1045: x730 - 1.2 b1377 <= 0 e1046: x731 - 1.2 b1378 <= 0 e1047: x732 - 1.2 b1379 <= 0 e1048: x733 - 1.2 b1380 <= 0 e1049: x734 - 1.2 b1381 <= 0 e1050: x735 - 1.2 b1382 <= 0 e1051: x736 - 1.2 b1383 <= 0 e1052: x737 - 1.2 b1384 <= 0 e1053: x740 - 1.2 b1385 <= 0 e1054: x741 - 1.2 b1386 <= 0 e1055: x742 - 1.2 b1387 <= 0 e1056: x743 - 1.2 b1388 <= 0 e1057: x744 - 1.2 b1389 <= 0 e1058: x745 - 1.2 b1390 <= 0 e1059: x746 - 1.2 b1391 <= 0 e1060: x747 - 1.2 b1392 <= 0 e1061: x748 - 1.2 b1393 <= 0 e1062: x749 - 1.2 b1394 <= 0 e1063: x750 - 1.2 b1395 <= 0 e1064: x751 - 1.2 b1396 <= 0 e1065: x752 - 1.2 b1397 <= 0 e1066: x753 - 1.2 b1398 <= 0 e1067: x754 - 1.2 b1399 <= 0 e1068: x755 - 1.2 b1400 <= 0 e1069: x756 - 1.2 b1401 <= 0 e1070: x757 - 1.2 b1402 <= 0 e1071: x758 - 1.2 b1403 <= 0 e1072: x759 - 1.2 b1404 <= 0 e1073: x760 - 1.2 b1405 <= 0 e1074: x761 - 1.2 b1406 <= 0 e1075: x762 - 1.2 b1407 <= 0 e1076: x763 - 1.2 b1408 <= 0 e1077: x764 - 1.2 b1409 <= 0 e1078: x767 - 1.2 b1410 <= 0 e1079: x768 - 1.2 b1411 <= 0 e1080: x769 - 1.2 b1412 <= 0 e1081: x770 - 1.2 b1413 <= 0 e1082: x771 - 1.2 b1414 <= 0 e1083: x772 - 1.2 b1415 <= 0 e1084: x773 - 1.2 b1416 <= 0 e1085: x774 - 1.2 b1417 <= 0 e1086: x775 - 1.2 b1418 <= 0 e1087: x776 - 1.2 b1419 <= 0 e1088: x777 - 1.2 b1420 <= 0 e1089: x778 - 1.2 b1421 <= 0 e1090: x779 - 1.2 b1422 <= 0 e1091: x780 - 1.2 b1423 <= 0 e1092: x781 - 1.2 b1424 <= 0 e1093: x782 - 1.2 b1425 <= 0 e1094: x783 - 1.2 b1426 <= 0 e1095: x784 - 1.2 b1427 <= 0 e1096: x785 - 1.2 b1428 <= 0 e1097: x786 - 1.2 b1429 <= 0 e1098: x787 - 1.2 b1430 <= 0 e1099: x788 - 1.2 b1431 <= 0 e1100: x789 - 1.2 b1432 <= 0 e1101: x790 - 1.2 b1433 <= 0 e1102: x791 - 1.2 b1434 <= 0 e1103: x794 - 1.2 b1435 <= 0 e1104: x795 - 1.2 b1436 <= 0 e1105: x796 - 1.2 b1437 <= 0 e1106: x797 - 1.2 b1438 <= 0 e1107: x798 - 1.2 b1439 <= 0 e1108: x799 - 1.2 b1440 <= 0 e1109: x800 - 1.2 b1441 <= 0 e1110: x801 - 1.2 b1442 <= 0 e1111: x802 - 1.2 b1443 <= 0 e1112: x803 - 1.2 b1444 <= 0 e1113: x804 - 1.2 b1445 <= 0 e1114: x805 - 1.2 b1446 <= 0 e1115: x806 - 1.2 b1447 <= 0 e1116: x807 - 1.2 b1448 <= 0 e1117: x808 - 1.2 b1449 <= 0 e1118: x809 - 1.2 b1450 <= 0 e1119: x810 - 1.2 b1451 <= 0 e1120: x811 - 1.2 b1452 <= 0 e1121: x812 - 1.2 b1453 <= 0 e1122: x813 - 1.2 b1454 <= 0 e1123: x814 - 1.2 b1455 <= 0 e1124: x815 - 1.2 b1456 <= 0 e1125: x816 - 1.2 b1457 <= 0 e1126: x817 - 1.2 b1458 <= 0 e1127: x818 - 1.2 b1459 <= 0 e1128: x821 - 1.2 b1460 <= 0 e1129: x822 - 1.2 b1461 <= 0 e1130: x823 - 1.2 b1462 <= 0 e1131: x824 - 1.2 b1463 <= 0 e1132: x825 - 1.2 b1464 <= 0 e1133: x826 - 1.2 b1465 <= 0 e1134: x827 - 1.2 b1466 <= 0 e1135: x828 - 1.2 b1467 <= 0 e1136: x829 - 1.2 b1468 <= 0 e1137: x830 - 1.2 b1469 <= 0 e1138: x831 - 1.2 b1470 <= 0 e1139: x832 - 1.2 b1471 <= 0 e1140: x833 - 1.2 b1472 <= 0 e1141: x834 - 1.2 b1473 <= 0 e1142: x835 - 1.2 b1474 <= 0 e1143: x836 - 1.2 b1475 <= 0 e1144: x837 - 1.2 b1476 <= 0 e1145: x838 - 1.2 b1477 <= 0 e1146: x839 - 1.2 b1478 <= 0 e1147: x840 - 1.2 b1479 <= 0 e1148: x841 - 1.2 b1480 <= 0 e1149: x842 - 1.2 b1481 <= 0 e1150: x843 - 1.2 b1482 <= 0 e1151: x844 - 1.2 b1483 <= 0 e1152: x845 - 1.2 b1484 <= 0 e1153: x848 - 1.2 b1485 <= 0 e1154: x849 - 1.2 b1486 <= 0 e1155: x850 - 1.2 b1487 <= 0 e1156: x851 - 1.2 b1488 <= 0 e1157: x852 - 1.2 b1489 <= 0 e1158: x853 - 1.2 b1490 <= 0 e1159: x854 - 1.2 b1491 <= 0 e1160: x855 - 1.2 b1492 <= 0 e1161: x856 - 1.2 b1493 <= 0 e1162: x857 - 1.2 b1494 <= 0 e1163: x858 - 1.2 b1495 <= 0 e1164: x859 - 1.2 b1496 <= 0 e1165: x860 - 1.2 b1497 <= 0 e1166: x861 - 1.2 b1498 <= 0 e1167: x862 - 1.2 b1499 <= 0 e1168: x863 - 1.2 b1500 <= 0 e1169: x864 - 1.2 b1501 <= 0 e1170: x865 - 1.2 b1502 <= 0 e1171: x866 - 1.2 b1503 <= 0 e1172: x867 - 1.2 b1504 <= 0 e1173: x868 - 1.2 b1505 <= 0 e1174: x869 - 1.2 b1506 <= 0 e1175: x870 - 1.2 b1507 <= 0 e1176: x871 - 1.2 b1508 <= 0 e1177: x872 - 1.2 b1509 <= 0 e1178: x875 - 1.2 b1510 <= 0 e1179: x876 - 1.2 b1511 <= 0 e1180: x877 - 1.2 b1512 <= 0 e1181: x878 - 1.2 b1513 <= 0 e1182: x879 - 1.2 b1514 <= 0 e1183: x880 - 1.2 b1515 <= 0 e1184: x881 - 1.2 b1516 <= 0 e1185: x882 - 1.2 b1517 <= 0 e1186: x883 - 1.2 b1518 <= 0 e1187: x884 - 1.2 b1519 <= 0 e1188: x885 - 1.2 b1520 <= 0 e1189: x886 - 1.2 b1521 <= 0 e1190: x887 - 1.2 b1522 <= 0 e1191: x888 - 1.2 b1523 <= 0 e1192: x889 - 1.2 b1524 <= 0 e1193: x890 - 1.2 b1525 <= 0 e1194: x891 - 1.2 b1526 <= 0 e1195: x892 - 1.2 b1527 <= 0 e1196: x893 - 1.2 b1528 <= 0 e1197: x894 - 1.2 b1529 <= 0 e1198: x895 - 1.2 b1530 <= 0 e1199: x896 - 1.2 b1531 <= 0 e1200: x897 - 1.2 b1532 <= 0 e1201: x898 - 1.2 b1533 <= 0 e1202: x899 - 1.2 b1534 <= 0 e1203: x902 - 1.2 b1535 <= 0 e1204: x903 - 1.2 b1536 <= 0 e1205: x904 - 1.2 b1537 <= 0 e1206: x905 - 1.2 b1538 <= 0 e1207: x906 - 1.2 b1539 <= 0 e1208: x907 - 1.2 b1540 <= 0 e1209: x908 - 1.2 b1541 <= 0 e1210: x909 - 1.2 b1542 <= 0 e1211: x910 - 1.2 b1543 <= 0 e1212: x911 - 1.2 b1544 <= 0 e1213: x912 - 1.2 b1545 <= 0 e1214: x913 - 1.2 b1546 <= 0 e1215: x914 - 1.2 b1547 <= 0 e1216: x915 - 1.2 b1548 <= 0 e1217: x916 - 1.2 b1549 <= 0 e1218: x917 - 1.2 b1550 <= 0 e1219: x918 - 1.2 b1551 <= 0 e1220: x919 - 1.2 b1552 <= 0 e1221: x920 - 1.2 b1553 <= 0 e1222: x921 - 1.2 b1554 <= 0 e1223: x922 - 1.2 b1555 <= 0 e1224: x923 - 1.2 b1556 <= 0 e1225: x924 - 1.2 b1557 <= 0 e1226: x925 - 1.2 b1558 <= 0 e1227: x926 - 1.2 b1559 <= 0 e1228: x929 - 1.2 b1560 <= 0 e1229: x930 - 1.2 b1561 <= 0 e1230: x931 - 1.2 b1562 <= 0 e1231: x932 - 1.2 b1563 <= 0 e1232: x933 - 1.2 b1564 <= 0 e1233: x934 - 1.2 b1565 <= 0 e1234: x935 - 1.2 b1566 <= 0 e1235: x936 - 1.2 b1567 <= 0 e1236: x937 - 1.2 b1568 <= 0 e1237: x938 - 1.2 b1569 <= 0 e1238: x939 - 1.2 b1570 <= 0 e1239: x940 - 1.2 b1571 <= 0 e1240: x941 - 1.2 b1572 <= 0 e1241: x942 - 1.2 b1573 <= 0 e1242: x943 - 1.2 b1574 <= 0 e1243: x944 - 1.2 b1575 <= 0 e1244: x945 - 1.2 b1576 <= 0 e1245: x946 - 1.2 b1577 <= 0 e1246: x947 - 1.2 b1578 <= 0 e1247: x948 - 1.2 b1579 <= 0 e1248: x949 - 1.2 b1580 <= 0 e1249: x950 - 1.2 b1581 <= 0 e1250: x951 - 1.2 b1582 <= 0 e1251: x952 - 1.2 b1583 <= 0 e1252: x953 - 1.2 b1584 <= 0 e1253: x956 - 1.2 b1585 <= 0 e1254: x957 - 1.2 b1586 <= 0 e1255: x958 - 1.2 b1587 <= 0 e1256: x959 - 1.2 b1588 <= 0 e1257: x960 - 1.2 b1589 <= 0 e1258: x961 - 1.2 b1590 <= 0 e1259: x962 - 1.2 b1591 <= 0 e1260: x963 - 1.2 b1592 <= 0 e1261: x964 - 1.2 b1593 <= 0 e1262: x965 - 1.2 b1594 <= 0 e1263: x966 - 1.2 b1595 <= 0 e1264: x967 - 1.2 b1596 <= 0 e1265: x968 - 1.2 b1597 <= 0 e1266: x969 - 1.2 b1598 <= 0 e1267: x970 - 1.2 b1599 <= 0 e1268: x971 - 1.2 b1600 <= 0 e1269: x972 - 1.2 b1601 <= 0 e1270: x973 - 1.2 b1602 <= 0 e1271: x974 - 1.2 b1603 <= 0 e1272: x975 - 1.2 b1604 <= 0 e1273: x976 - 1.2 b1605 <= 0 e1274: x977 - 1.2 b1606 <= 0 e1275: x978 - 1.2 b1607 <= 0 e1276: x979 - 1.2 b1608 <= 0 e1277: x980 - 1.2 b1609 <= 0 e1278: x983 - 1.2 b1610 <= 0 e1279: x984 - 1.2 b1611 <= 0 e1280: x985 - 1.2 b1612 <= 0 e1281: x986 - 1.2 b1613 <= 0 e1282: x987 - 1.2 b1614 <= 0 e1283: x988 - 1.2 b1615 <= 0 e1284: x989 - 1.2 b1616 <= 0 e1285: x990 - 1.2 b1617 <= 0 e1286: x991 - 1.2 b1618 <= 0 e1287: x992 - 1.2 b1619 <= 0 e1288: x993 - 1.2 b1620 <= 0 e1289: x994 - 1.2 b1621 <= 0 e1290: x995 - 1.2 b1622 <= 0 e1291: x996 - 1.2 b1623 <= 0 e1292: x997 - 1.2 b1624 <= 0 e1293: x998 - 1.2 b1625 <= 0 e1294: x999 - 1.2 b1626 <= 0 e1295: x1000 - 1.2 b1627 <= 0 e1296: x1001 - 1.2 b1628 <= 0 e1297: x1002 - 1.2 b1629 <= 0 e1298: x1003 - 1.2 b1630 <= 0 e1299: x1004 - 1.2 b1631 <= 0 e1300: x1005 - 1.2 b1632 <= 0 e1301: x1006 - 1.2 b1633 <= 0 e1302: x1007 - 1.2 b1634 <= 0 e1303: x1010 - 1.2 b1635 <= 0 e1304: x1011 - 1.2 b1636 <= 0 e1305: x1012 - 1.2 b1637 <= 0 e1306: x1013 - 1.2 b1638 <= 0 e1307: x1014 - 1.2 b1639 <= 0 e1308: x1015 - 1.2 b1640 <= 0 e1309: x1016 - 1.2 b1641 <= 0 e1310: x1017 - 1.2 b1642 <= 0 e1311: x1018 - 1.2 b1643 <= 0 e1312: x1019 - 1.2 b1644 <= 0 e1313: x1020 - 1.2 b1645 <= 0 e1314: x1021 - 1.2 b1646 <= 0 e1315: x1022 - 1.2 b1647 <= 0 e1316: x1023 - 1.2 b1648 <= 0 e1317: x1024 - 1.2 b1649 <= 0 e1318: x1025 - 1.2 b1650 <= 0 e1319: x1026 - 1.2 b1651 <= 0 e1320: x1027 - 1.2 b1652 <= 0 e1321: x1028 - 1.2 b1653 <= 0 e1322: x1029 - 1.2 b1654 <= 0 e1323: x1030 - 1.2 b1655 <= 0 e1324: x1031 - 1.2 b1656 <= 0 e1325: x1032 - 1.2 b1657 <= 0 e1326: x1033 - 1.2 b1658 <= 0 e1327: x1034 - 1.2 b1659 <= 0 e1328: x210 - x360 + [ 0.1092 x2 * x360 ] = 0 e1329: - x210 + x211 + [ 0.1092 x3 * x210 ] = 0 e1330: - x211 + x212 + [ 0.1092 x4 * x211 ] = 0 e1331: - x212 + x213 + [ 0.1092 x5 * x212 ] = 0 e1332: - x213 + x214 + [ 0.1092 x6 * x213 ] = 0 e1333: - x214 + x215 + [ 0.1092 x7 * x214 ] = 0 e1334: - x215 + x1660 + [ 0.1092 x8 * x215 ] = 0 e1335: x216 - x387 + [ 0.1092 x10 * x387 ] = 0 e1336: - x216 + x217 + [ 0.1092 x11 * x216 ] = 0 e1337: - x217 + x218 + [ 0.1092 x12 * x217 ] = 0 e1338: - x218 + x219 + [ 0.1092 x13 * x218 ] = 0 e1339: - x219 + x220 + [ 0.1092 x14 * x219 ] = 0 e1340: - x220 + x221 + [ 0.1092 x15 * x220 ] = 0 e1341: - x221 + x1661 + [ 0.1092 x16 * x221 ] = 0 e1342: x222 - x414 + [ 0.1092 x18 * x414 ] = 0 e1343: - x222 + x223 + [ 0.1092 x19 * x222 ] = 0 e1344: - x223 + x224 + [ 0.1092 x20 * x223 ] = 0 e1345: - x224 + x225 + [ 0.1092 x21 * x224 ] = 0 e1346: - x225 + x226 + [ 0.1092 x22 * x225 ] = 0 e1347: - x226 + x227 + [ 0.1092 x23 * x226 ] = 0 e1348: - x227 + x1662 + [ 0.1092 x24 * x227 ] = 0 e1349: x228 - x441 + [ 0.1092 x26 * x441 ] = 0 e1350: - x228 + x229 + [ 0.1092 x27 * x228 ] = 0 e1351: - x229 + x230 + [ 0.1092 x28 * x229 ] = 0 e1352: - x230 + x231 + [ 0.1092 x29 * x230 ] = 0 e1353: - x231 + x232 + [ 0.1092 x30 * x231 ] = 0 e1354: - x232 + x233 + [ 0.1092 x31 * x232 ] = 0 e1355: - x233 + x1663 + [ 0.1092 x32 * x233 ] = 0 e1356: x234 - x468 + [ 0.1092 x34 * x468 ] = 0 e1357: - x234 + x235 + [ 0.1092 x35 * x234 ] = 0 e1358: - x235 + x236 + [ 0.1092 x36 * x235 ] = 0 e1359: - x236 + x237 + [ 0.1092 x37 * x236 ] = 0 e1360: - x237 + x238 + [ 0.1092 x38 * x237 ] = 0 e1361: - x238 + x239 + [ 0.1092 x39 * x238 ] = 0 e1362: - x239 + x1664 + [ 0.1092 x40 * x239 ] = 0 e1363: x240 - x495 + [ 0.1092 x42 * x495 ] = 0 e1364: - x240 + x241 + [ 0.1092 x43 * x240 ] = 0 e1365: - x241 + x242 + [ 0.1092 x44 * x241 ] = 0 e1366: - x242 + x243 + [ 0.1092 x45 * x242 ] = 0 e1367: - x243 + x244 + [ 0.1092 x46 * x243 ] = 0 e1368: - x244 + x245 + [ 0.1092 x47 * x244 ] = 0 e1369: - x245 + x1665 + [ 0.1092 x48 * x245 ] = 0 e1370: x246 - x522 + [ 0.1092 x50 * x522 ] = 0 e1371: - x246 + x247 + [ 0.1092 x51 * x246 ] = 0 e1372: - x247 + x248 + [ 0.1092 x52 * x247 ] = 0 e1373: - x248 + x249 + [ 0.1092 x53 * x248 ] = 0 e1374: - x249 + x250 + [ 0.1092 x54 * x249 ] = 0 e1375: - x250 + x251 + [ 0.1092 x55 * x250 ] = 0 e1376: - x251 + x1666 + [ 0.1092 x56 * x251 ] = 0 e1377: x252 - x549 + [ 0.1092 x58 * x549 ] = 0 e1378: - x252 + x253 + [ 0.1092 x59 * x252 ] = 0 e1379: - x253 + x254 + [ 0.1092 x60 * x253 ] = 0 e1380: - x254 + x255 + [ 0.1092 x61 * x254 ] = 0 e1381: - x255 + x256 + [ 0.1092 x62 * x255 ] = 0 e1382: - x256 + x257 + [ 0.1092 x63 * x256 ] = 0 e1383: - x257 + x1667 + [ 0.1092 x64 * x257 ] = 0 e1384: x258 - x576 + [ 0.1092 x66 * x576 ] = 0 e1385: - x258 + x259 + [ 0.1092 x67 * x258 ] = 0 e1386: - x259 + x260 + [ 0.1092 x68 * x259 ] = 0 e1387: - x260 + x261 + [ 0.1092 x69 * x260 ] = 0 e1388: - x261 + x262 + [ 0.1092 x70 * x261 ] = 0 e1389: - x262 + x263 + [ 0.1092 x71 * x262 ] = 0 e1390: - x263 + x1668 + [ 0.1092 x72 * x263 ] = 0 e1391: x264 - x603 + [ 0.1092 x74 * x603 ] = 0 e1392: - x264 + x265 + [ 0.1092 x75 * x264 ] = 0 e1393: - x265 + x266 + [ 0.1092 x76 * x265 ] = 0 e1394: - x266 + x267 + [ 0.1092 x77 * x266 ] = 0 e1395: - x267 + x268 + [ 0.1092 x78 * x267 ] = 0 e1396: - x268 + x269 + [ 0.1092 x79 * x268 ] = 0 e1397: - x269 + x1669 + [ 0.1092 x80 * x269 ] = 0 e1398: x270 - x630 + [ 0.1092 x82 * x630 ] = 0 e1399: - x270 + x271 + [ 0.1092 x83 * x270 ] = 0 e1400: - x271 + x272 + [ 0.1092 x84 * x271 ] = 0 e1401: - x272 + x273 + [ 0.1092 x85 * x272 ] = 0 e1402: - x273 + x274 + [ 0.1092 x86 * x273 ] = 0 e1403: - x274 + x275 + [ 0.1092 x87 * x274 ] = 0 e1404: - x275 + x1670 + [ 0.1092 x88 * x275 ] = 0 e1405: x276 - x657 + [ 0.1092 x90 * x657 ] = 0 e1406: - x276 + x277 + [ 0.1092 x91 * x276 ] = 0 e1407: - x277 + x278 + [ 0.1092 x92 * x277 ] = 0 e1408: - x278 + x279 + [ 0.1092 x93 * x278 ] = 0 e1409: - x279 + x280 + [ 0.1092 x94 * x279 ] = 0 e1410: - x280 + x281 + [ 0.1092 x95 * x280 ] = 0 e1411: - x281 + x1671 + [ 0.1092 x96 * x281 ] = 0 e1412: x282 - x684 + [ 0.1092 x98 * x684 ] = 0 e1413: - x282 + x283 + [ 0.1092 x99 * x282 ] = 0 e1414: - x283 + x284 + [ 0.1092 x100 * x283 ] = 0 e1415: - x284 + x285 + [ 0.1092 x101 * x284 ] = 0 e1416: - x285 + x286 + [ 0.1092 x102 * x285 ] = 0 e1417: - x286 + x287 + [ 0.1092 x103 * x286 ] = 0 e1418: - x287 + x1672 + [ 0.1092 x104 * x287 ] = 0 e1419: x288 - x711 + [ 0.1092 x106 * x711 ] = 0 e1420: - x288 + x289 + [ 0.1092 x107 * x288 ] = 0 e1421: - x289 + x290 + [ 0.1092 x108 * x289 ] = 0 e1422: - x290 + x291 + [ 0.1092 x109 * x290 ] = 0 e1423: - x291 + x292 + [ 0.1092 x110 * x291 ] = 0 e1424: - x292 + x293 + [ 0.1092 x111 * x292 ] = 0 e1425: - x293 + x1673 + [ 0.1092 x112 * x293 ] = 0 e1426: x294 - x738 + [ 0.1092 x114 * x738 ] = 0 e1427: - x294 + x295 + [ 0.1092 x115 * x294 ] = 0 e1428: - x295 + x296 + [ 0.1092 x116 * x295 ] = 0 e1429: - x296 + x297 + [ 0.1092 x117 * x296 ] = 0 e1430: - x297 + x298 + [ 0.1092 x118 * x297 ] = 0 e1431: - x298 + x299 + [ 0.1092 x119 * x298 ] = 0 e1432: - x299 + x1674 + [ 0.1092 x120 * x299 ] = 0 e1433: x300 - x765 + [ 0.1092 x122 * x765 ] = 0 e1434: - x300 + x301 + [ 0.1092 x123 * x300 ] = 0 e1435: - x301 + x302 + [ 0.1092 x124 * x301 ] = 0 e1436: - x302 + x303 + [ 0.1092 x125 * x302 ] = 0 e1437: - x303 + x304 + [ 0.1092 x126 * x303 ] = 0 e1438: - x304 + x305 + [ 0.1092 x127 * x304 ] = 0 e1439: - x305 + x1675 + [ 0.1092 x128 * x305 ] = 0 e1440: x306 - x792 + [ 0.1092 x130 * x792 ] = 0 e1441: - x306 + x307 + [ 0.1092 x131 * x306 ] = 0 e1442: - x307 + x308 + [ 0.1092 x132 * x307 ] = 0 e1443: - x308 + x309 + [ 0.1092 x133 * x308 ] = 0 e1444: - x309 + x310 + [ 0.1092 x134 * x309 ] = 0 e1445: - x310 + x311 + [ 0.1092 x135 * x310 ] = 0 e1446: - x311 + x1676 + [ 0.1092 x136 * x311 ] = 0 e1447: x312 - x819 + [ 0.1092 x138 * x819 ] = 0 e1448: - x312 + x313 + [ 0.1092 x139 * x312 ] = 0 e1449: - x313 + x314 + [ 0.1092 x140 * x313 ] = 0 e1450: - x314 + x315 + [ 0.1092 x141 * x314 ] = 0 e1451: - x315 + x316 + [ 0.1092 x142 * x315 ] = 0 e1452: - x316 + x317 + [ 0.1092 x143 * x316 ] = 0 e1453: - x317 + x1677 + [ 0.1092 x144 * x317 ] = 0 e1454: x318 - x846 + [ 0.1092 x146 * x846 ] = 0 e1455: - x318 + x319 + [ 0.1092 x147 * x318 ] = 0 e1456: - x319 + x320 + [ 0.1092 x148 * x319 ] = 0 e1457: - x320 + x321 + [ 0.1092 x149 * x320 ] = 0 e1458: - x321 + x322 + [ 0.1092 x150 * x321 ] = 0 e1459: - x322 + x323 + [ 0.1092 x151 * x322 ] = 0 e1460: - x323 + x1678 + [ 0.1092 x152 * x323 ] = 0 e1461: x324 - x873 + [ 0.1092 x154 * x873 ] = 0 e1462: - x324 + x325 + [ 0.1092 x155 * x324 ] = 0 e1463: - x325 + x326 + [ 0.1092 x156 * x325 ] = 0 e1464: - x326 + x327 + [ 0.1092 x157 * x326 ] = 0 e1465: - x327 + x328 + [ 0.1092 x158 * x327 ] = 0 e1466: - x328 + x329 + [ 0.1092 x159 * x328 ] = 0 e1467: - x329 + x1679 + [ 0.1092 x160 * x329 ] = 0 e1468: x330 - x900 + [ 0.1092 x162 * x900 ] = 0 e1469: - x330 + x331 + [ 0.1092 x163 * x330 ] = 0 e1470: - x331 + x332 + [ 0.1092 x164 * x331 ] = 0 e1471: - x332 + x333 + [ 0.1092 x165 * x332 ] = 0 e1472: - x333 + x334 + [ 0.1092 x166 * x333 ] = 0 e1473: - x334 + x335 + [ 0.1092 x167 * x334 ] = 0 e1474: - x335 + x1680 + [ 0.1092 x168 * x335 ] = 0 e1475: x336 - x927 + [ 0.1092 x170 * x927 ] = 0 e1476: - x336 + x337 + [ 0.1092 x171 * x336 ] = 0 e1477: - x337 + x338 + [ 0.1092 x172 * x337 ] = 0 e1478: - x338 + x339 + [ 0.1092 x173 * x338 ] = 0 e1479: - x339 + x340 + [ 0.1092 x174 * x339 ] = 0 e1480: - x340 + x341 + [ 0.1092 x175 * x340 ] = 0 e1481: - x341 + x1681 + [ 0.1092 x176 * x341 ] = 0 e1482: x342 - x954 + [ 0.1092 x178 * x954 ] = 0 e1483: - x342 + x343 + [ 0.1092 x179 * x342 ] = 0 e1484: - x343 + x344 + [ 0.1092 x180 * x343 ] = 0 e1485: - x344 + x345 + [ 0.1092 x181 * x344 ] = 0 e1486: - x345 + x346 + [ 0.1092 x182 * x345 ] = 0 e1487: - x346 + x347 + [ 0.1092 x183 * x346 ] = 0 e1488: - x347 + x1682 + [ 0.1092 x184 * x347 ] = 0 e1489: x348 - x981 + [ 0.1092 x186 * x981 ] = 0 e1490: - x348 + x349 + [ 0.1092 x187 * x348 ] = 0 e1491: - x349 + x350 + [ 0.1092 x188 * x349 ] = 0 e1492: - x350 + x351 + [ 0.1092 x189 * x350 ] = 0 e1493: - x351 + x352 + [ 0.1092 x190 * x351 ] = 0 e1494: - x352 + x353 + [ 0.1092 x191 * x352 ] = 0 e1495: - x353 + x1683 + [ 0.1092 x192 * x353 ] = 0 e1496: x354 - x1008 + [ 0.1092 x194 * x1008 ] = 0 e1497: - x354 + x355 + [ 0.1092 x195 * x354 ] = 0 e1498: - x355 + x356 + [ 0.1092 x196 * x355 ] = 0 e1499: - x356 + x357 + [ 0.1092 x197 * x356 ] = 0 e1500: - x357 + x358 + [ 0.1092 x198 * x357 ] = 0 e1501: - x358 + x359 + [ 0.1092 x199 * x358 ] = 0 e1502: - x359 + x1684 + [ 0.1092 x200 * x359 ] = 0 e1503: [ x2 * x360 + x10 * x387 + x18 * x414 + x26 * x441 + x34 * x468 + x42 * x495 + x50 * x522 + x58 * x549 + x66 * x576 + x74 * x603 + x82 * x630 + x90 * x657 + x98 * x684 + x106 * x711 + x114 * x738 + x122 * x765 + x130 * x792 + x138 * x819 + x146 * x846 + x154 * x873 + x162 * x900 + x170 * x927 + x178 * x954 + x186 * x981 + x194 * x1008 ] = 1 e1504: [ x3 * x210 + x11 * x216 + x19 * x222 + x27 * x228 + x35 * x234 + x43 * x240 + x51 * x246 + x59 * x252 + x67 * x258 + x75 * x264 + x83 * x270 + x91 * x276 + x99 * x282 + x107 * x288 + x115 * x294 + x123 * x300 + x131 * x306 + x139 * x312 + x147 * x318 + x155 * x324 + x163 * x330 + x171 * x336 + x179 * x342 + x187 * x348 + x195 * x354 ] = 1 e1505: [ x4 * x211 + x12 * x217 + x20 * x223 + x28 * x229 + x36 * x235 + x44 * x241 + x52 * x247 + x60 * x253 + x68 * x259 + x76 * x265 + x84 * x271 + x92 * x277 + x100 * x283 + x108 * x289 + x116 * x295 + x124 * x301 + x132 * x307 + x140 * x313 + x148 * x319 + x156 * x325 + x164 * x331 + x172 * x337 + x180 * x343 + x188 * x349 + x196 * x355 ] = 1 e1506: [ x5 * x212 + x13 * x218 + x21 * x224 + x29 * x230 + x37 * x236 + x45 * x242 + x53 * x248 + x61 * x254 + x69 * x260 + x77 * x266 + x85 * x272 + x93 * x278 + x101 * x284 + x109 * x290 + x117 * x296 + x125 * x302 + x133 * x308 + x141 * x314 + x149 * x320 + x157 * x326 + x165 * x332 + x173 * x338 + x181 * x344 + x189 * x350 + x197 * x356 ] = 1 e1507: [ x6 * x213 + x14 * x219 + x22 * x225 + x30 * x231 + x38 * x237 + x46 * x243 + x54 * x249 + x62 * x255 + x70 * x261 + x78 * x267 + x86 * x273 + x94 * x279 + x102 * x285 + x110 * x291 + x118 * x297 + x126 * x303 + x134 * x309 + x142 * x315 + x150 * x321 + x158 * x327 + x166 * x333 + x174 * x339 + x182 * x345 + x190 * x351 + x198 * x357 ] = 1 e1508: [ x7 * x214 + x15 * x220 + x23 * x226 + x31 * x232 + x39 * x238 + x47 * x244 + x55 * x250 + x63 * x256 + x71 * x262 + x79 * x268 + x87 * x274 + x95 * x280 + x103 * x286 + x111 * x292 + x119 * x298 + x127 * x304 + x135 * x310 + x143 * x316 + x151 * x322 + x159 * x328 + x167 * x334 + x175 * x340 + x183 * x346 + x191 * x352 + x199 * x358 ] = 1 e1509: [ x8 * x215 + x16 * x221 + x24 * x227 + x32 * x233 + x40 * x239 + x48 * x245 + x56 * x251 + x64 * x257 + x72 * x263 + x80 * x269 + x88 * x275 + x96 * x281 + x104 * x287 + x112 * x293 + x120 * x299 + x128 * x305 + x136 * x311 + x144 * x317 + x152 * x323 + x160 * x329 + x168 * x335 + x176 * x341 + x184 * x347 + x192 * x353 + x200 * x359 ] = 1 e1510: [ x9 * x1660 + x17 * x1661 + x25 * x1662 + x33 * x1663 + x41 * x1664 + x49 * x1665 + x57 * x1666 + x65 * x1667 + x73 * x1668 + x81 * x1669 + x89 * x1670 + x97 * x1671 + x105 * x1672 + x113 * x1673 + x121 * x1674 + x129 * x1675 + x137 * x1676 + x145 * x1677 + x153 * x1678 + x161 * x1679 + x169 * x1680 + x177 * x1681 + x185 * x1682 + x193 * x1683 + x201 * x1684 ] = 1 e1511: [ x2 * x360 ] <= 0.08 e1512: [ x3 * x210 ] <= 0.08 e1513: [ x4 * x211 ] <= 0.08 e1514: [ x5 * x212 ] <= 0.08 e1515: [ x6 * x213 ] <= 0.08 e1516: [ x7 * x214 ] <= 0.08 e1517: [ x8 * x215 ] <= 0.08 e1518: [ x9 * x1660 ] <= 0.08 e1519: [ x10 * x387 ] <= 0.08 e1520: [ x11 * x216 ] <= 0.08 e1521: [ x12 * x217 ] <= 0.08 e1522: [ x13 * x218 ] <= 0.08 e1523: [ x14 * x219 ] <= 0.08 e1524: [ x15 * x220 ] <= 0.08 e1525: [ x16 * x221 ] <= 0.08 e1526: [ x17 * x1661 ] <= 0.08 e1527: [ x18 * x414 ] <= 0.08 e1528: [ x19 * x222 ] <= 0.08 e1529: [ x20 * x223 ] <= 0.08 e1530: [ x21 * x224 ] <= 0.08 e1531: [ x22 * x225 ] <= 0.08 e1532: [ x23 * x226 ] <= 0.08 e1533: [ x24 * x227 ] <= 0.08 e1534: [ x25 * x1662 ] <= 0.08 e1535: [ x26 * x441 ] <= 0.08 e1536: [ x27 * x228 ] <= 0.08 e1537: [ x28 * x229 ] <= 0.08 e1538: [ x29 * x230 ] <= 0.08 e1539: [ x30 * x231 ] <= 0.08 e1540: [ x31 * x232 ] <= 0.08 e1541: [ x32 * x233 ] <= 0.08 e1542: [ x33 * x1663 ] <= 0.08 e1543: [ x34 * x468 ] <= 0.08 e1544: [ x35 * x234 ] <= 0.08 e1545: [ x36 * x235 ] <= 0.08 e1546: [ x37 * x236 ] <= 0.08 e1547: [ x38 * x237 ] <= 0.08 e1548: [ x39 * x238 ] <= 0.08 e1549: [ x40 * x239 ] <= 0.08 e1550: [ x41 * x1664 ] <= 0.08 e1551: [ x42 * x495 ] <= 0.08 e1552: [ x43 * x240 ] <= 0.08 e1553: [ x44 * x241 ] <= 0.08 e1554: [ x45 * x242 ] <= 0.08 e1555: [ x46 * x243 ] <= 0.08 e1556: [ x47 * x244 ] <= 0.08 e1557: [ x48 * x245 ] <= 0.08 e1558: [ x49 * x1665 ] <= 0.08 e1559: [ x50 * x522 ] <= 0.08 e1560: [ x51 * x246 ] <= 0.08 e1561: [ x52 * x247 ] <= 0.08 e1562: [ x53 * x248 ] <= 0.08 e1563: [ x54 * x249 ] <= 0.08 e1564: [ x55 * x250 ] <= 0.08 e1565: [ x56 * x251 ] <= 0.08 e1566: [ x57 * x1666 ] <= 0.08 e1567: [ x58 * x549 ] <= 0.08 e1568: [ x59 * x252 ] <= 0.08 e1569: [ x60 * x253 ] <= 0.08 e1570: [ x61 * x254 ] <= 0.08 e1571: [ x62 * x255 ] <= 0.08 e1572: [ x63 * x256 ] <= 0.08 e1573: [ x64 * x257 ] <= 0.08 e1574: [ x65 * x1667 ] <= 0.08 e1575: [ x66 * x576 ] <= 0.08 e1576: [ x67 * x258 ] <= 0.08 e1577: [ x68 * x259 ] <= 0.08 e1578: [ x69 * x260 ] <= 0.08 e1579: [ x70 * x261 ] <= 0.08 e1580: [ x71 * x262 ] <= 0.08 e1581: [ x72 * x263 ] <= 0.08 e1582: [ x73 * x1668 ] <= 0.08 e1583: [ x74 * x603 ] <= 0.08 e1584: [ x75 * x264 ] <= 0.08 e1585: [ x76 * x265 ] <= 0.08 e1586: [ x77 * x266 ] <= 0.08 e1587: [ x78 * x267 ] <= 0.08 e1588: [ x79 * x268 ] <= 0.08 e1589: [ x80 * x269 ] <= 0.08 e1590: [ x81 * x1669 ] <= 0.08 e1591: [ x82 * x630 ] <= 0.08 e1592: [ x83 * x270 ] <= 0.08 e1593: [ x84 * x271 ] <= 0.08 e1594: [ x85 * x272 ] <= 0.08 e1595: [ x86 * x273 ] <= 0.08 e1596: [ x87 * x274 ] <= 0.08 e1597: [ x88 * x275 ] <= 0.08 e1598: [ x89 * x1670 ] <= 0.08 e1599: [ x90 * x657 ] <= 0.08 e1600: [ x91 * x276 ] <= 0.08 e1601: [ x92 * x277 ] <= 0.08 e1602: [ x93 * x278 ] <= 0.08 e1603: [ x94 * x279 ] <= 0.08 e1604: [ x95 * x280 ] <= 0.08 e1605: [ x96 * x281 ] <= 0.08 e1606: [ x97 * x1671 ] <= 0.08 e1607: [ x98 * x684 ] <= 0.08 e1608: [ x99 * x282 ] <= 0.08 e1609: [ x100 * x283 ] <= 0.08 e1610: [ x101 * x284 ] <= 0.08 e1611: [ x102 * x285 ] <= 0.08 e1612: [ x103 * x286 ] <= 0.08 e1613: [ x104 * x287 ] <= 0.08 e1614: [ x105 * x1672 ] <= 0.08 e1615: [ x106 * x711 ] <= 0.08 e1616: [ x107 * x288 ] <= 0.08 e1617: [ x108 * x289 ] <= 0.08 e1618: [ x109 * x290 ] <= 0.08 e1619: [ x110 * x291 ] <= 0.08 e1620: [ x111 * x292 ] <= 0.08 e1621: [ x112 * x293 ] <= 0.08 e1622: [ x113 * x1673 ] <= 0.08 e1623: [ x114 * x738 ] <= 0.08 e1624: [ x115 * x294 ] <= 0.08 e1625: [ x116 * x295 ] <= 0.08 e1626: [ x117 * x296 ] <= 0.08 e1627: [ x118 * x297 ] <= 0.08 e1628: [ x119 * x298 ] <= 0.08 e1629: [ x120 * x299 ] <= 0.08 e1630: [ x121 * x1674 ] <= 0.08 e1631: [ x122 * x765 ] <= 0.08 e1632: [ x123 * x300 ] <= 0.08 e1633: [ x124 * x301 ] <= 0.08 e1634: [ x125 * x302 ] <= 0.08 e1635: [ x126 * x303 ] <= 0.08 e1636: [ x127 * x304 ] <= 0.08 e1637: [ x128 * x305 ] <= 0.08 e1638: [ x129 * x1675 ] <= 0.08 e1639: [ x130 * x792 ] <= 0.08 e1640: [ x131 * x306 ] <= 0.08 e1641: [ x132 * x307 ] <= 0.08 e1642: [ x133 * x308 ] <= 0.08 e1643: [ x134 * x309 ] <= 0.08 e1644: [ x135 * x310 ] <= 0.08 e1645: [ x136 * x311 ] <= 0.08 e1646: [ x137 * x1676 ] <= 0.08 e1647: [ x138 * x819 ] <= 0.08 e1648: [ x139 * x312 ] <= 0.08 e1649: [ x140 * x313 ] <= 0.08 e1650: [ x141 * x314 ] <= 0.08 e1651: [ x142 * x315 ] <= 0.08 e1652: [ x143 * x316 ] <= 0.08 e1653: [ x144 * x317 ] <= 0.08 e1654: [ x145 * x1677 ] <= 0.08 e1655: [ x146 * x846 ] <= 0.08 e1656: [ x147 * x318 ] <= 0.08 e1657: [ x148 * x319 ] <= 0.08 e1658: [ x149 * x320 ] <= 0.08 e1659: [ x150 * x321 ] <= 0.08 e1660: [ x151 * x322 ] <= 0.08 e1661: [ x152 * x323 ] <= 0.08 e1662: [ x153 * x1678 ] <= 0.08 e1663: [ x154 * x873 ] <= 0.08 e1664: [ x155 * x324 ] <= 0.08 e1665: [ x156 * x325 ] <= 0.08 e1666: [ x157 * x326 ] <= 0.08 e1667: [ x158 * x327 ] <= 0.08 e1668: [ x159 * x328 ] <= 0.08 e1669: [ x160 * x329 ] <= 0.08 e1670: [ x161 * x1679 ] <= 0.08 e1671: [ x162 * x900 ] <= 0.08 e1672: [ x163 * x330 ] <= 0.08 e1673: [ x164 * x331 ] <= 0.08 e1674: [ x165 * x332 ] <= 0.08 e1675: [ x166 * x333 ] <= 0.08 e1676: [ x167 * x334 ] <= 0.08 e1677: [ x168 * x335 ] <= 0.08 e1678: [ x169 * x1680 ] <= 0.08 e1679: [ x170 * x927 ] <= 0.08 e1680: [ x171 * x336 ] <= 0.08 e1681: [ x172 * x337 ] <= 0.08 e1682: [ x173 * x338 ] <= 0.08 e1683: [ x174 * x339 ] <= 0.08 e1684: [ x175 * x340 ] <= 0.08 e1685: [ x176 * x341 ] <= 0.08 e1686: [ x177 * x1681 ] <= 0.08 e1687: [ x178 * x954 ] <= 0.08 e1688: [ x179 * x342 ] <= 0.08 e1689: [ x180 * x343 ] <= 0.08 e1690: [ x181 * x344 ] <= 0.08 e1691: [ x182 * x345 ] <= 0.08 e1692: [ x183 * x346 ] <= 0.08 e1693: [ x184 * x347 ] <= 0.08 e1694: [ x185 * x1682 ] <= 0.08 e1695: [ x186 * x981 ] <= 0.08 e1696: [ x187 * x348 ] <= 0.08 e1697: [ x188 * x349 ] <= 0.08 e1698: [ x189 * x350 ] <= 0.08 e1699: [ x190 * x351 ] <= 0.08 e1700: [ x191 * x352 ] <= 0.08 e1701: [ x192 * x353 ] <= 0.08 e1702: [ x193 * x1683 ] <= 0.08 e1703: [ x194 * x1008 ] <= 0.08 e1704: [ x195 * x354 ] <= 0.08 e1705: [ x196 * x355 ] <= 0.08 e1706: [ x197 * x356 ] <= 0.08 e1707: [ x198 * x357 ] <= 0.08 e1708: [ x199 * x358 ] <= 0.08 e1709: [ x200 * x359 ] <= 0.08 e1710: [ x201 * x1684 ] <= 0.08 e1711: [ - x2 * x202 + 0.8777 x2 * x360 + 0.0214 x10 * x387 + 0.0561 x50 * x522 + 0.0449 x58 * x549 ] = 0 e1712: [ - x3 * x203 + 0.8777 x3 * x210 + 0.0214 x11 * x216 + 0.0561 x51 * x246 + 0.0449 x59 * x252 ] = 0 e1713: [ - x4 * x204 + 0.8777 x4 * x211 + 0.0214 x12 * x217 + 0.0561 x52 * x247 + 0.0449 x60 * x253 ] = 0 e1714: [ - x5 * x205 + 0.8777 x5 * x212 + 0.0214 x13 * x218 + 0.0561 x53 * x248 + 0.0449 x61 * x254 ] = 0 e1715: [ - x6 * x206 + 0.8777 x6 * x213 + 0.0214 x14 * x219 + 0.0561 x54 * x249 + 0.0449 x62 * x255 ] = 0 e1716: [ - x7 * x207 + 0.8777 x7 * x214 + 0.0214 x15 * x220 + 0.0561 x55 * x250 + 0.0449 x63 * x256 ] = 0 e1717: [ - x8 * x208 + 0.8777 x8 * x215 + 0.0214 x16 * x221 + 0.0561 x56 * x251 + 0.0449 x64 * x257 ] = 0 e1718: [ - x9 * x209 + 0.8777 x9 * x1660 + 0.0214 x17 * x1661 + 0.0561 x57 * x1666 + 0.0449 x65 * x1667 ] = 0 e1719: [ 0.0823 x2 * x360 - x10 * x202 + 0.747 x10 * x387 + 0.0447 x18 * x414 + 0.0018 x50 * x522 + 0.0805 x58 * x549 + 0.0436 x66 * x576 ] = 0 e1720: [ 0.0823 x3 * x210 - x11 * x203 + 0.747 x11 * x216 + 0.0447 x19 * x222 + 0.0018 x51 * x246 + 0.0805 x59 * x252 + 0.0436 x67 * x258 ] = 0 e1721: [ 0.0823 x4 * x211 - x12 * x204 + 0.747 x12 * x217 + 0.0447 x20 * x223 + 0.0018 x52 * x247 + 0.0805 x60 * x253 + 0.0436 x68 * x259 ] = 0 e1722: [ 0.0823 x5 * x212 - x13 * x205 + 0.747 x13 * x218 + 0.0447 x21 * x224 + 0.0018 x53 * x248 + 0.0805 x61 * x254 + 0.0436 x69 * x260 ] = 0 e1723: [ 0.0823 x6 * x213 - x14 * x206 + 0.747 x14 * x219 + 0.0447 x22 * x225 + 0.0018 x54 * x249 + 0.0805 x62 * x255 + 0.0436 x70 * x261 ] = 0 e1724: [ 0.0823 x7 * x214 - x15 * x207 + 0.747 x15 * x220 + 0.0447 x23 * x226 + 0.0018 x55 * x250 + 0.0805 x63 * x256 + 0.0436 x71 * x262 ] = 0 e1725: [ 0.0823 x8 * x215 - x16 * x208 + 0.747 x16 * x221 + 0.0447 x24 * x227 + 0.0018 x56 * x251 + 0.0805 x64 * x257 + 0.0436 x72 * x263 ] = 0 e1726: [ 0.0823 x9 * x1660 - x17 * x209 + 0.747 x17 * x1661 + 0.0447 x25 * x1662 + 0.0018 x57 * x1666 + 0.0805 x65 * x1667 + 0.0436 x73 * x1668 ] = 0 e1727: [ 0.0603 x10 * x387 - x18 * x202 + 0.7323 x18 * x414 + 0.0852 x26 * x441 + 0.0683 x58 * x549 + 0.0163 x66 * x576 + 0.0375 x74 * x603 ] = 0 e1728: [ 0.0603 x11 * x216 - x19 * x203 + 0.7323 x19 * x222 + 0.0852 x27 * x228 + 0.0683 x59 * x252 + 0.0163 x67 * x258 + 0.0375 x75 * x264 ] = 0 e1729: [ 0.0603 x12 * x217 - x20 * x204 + 0.7323 x20 * x223 + 0.0852 x28 * x229 + 0.0683 x60 * x253 + 0.0163 x68 * x259 + 0.0375 x76 * x265 ] = 0 e1730: [ 0.0603 x13 * x218 - x21 * x205 + 0.7323 x21 * x224 + 0.0852 x29 * x230 + 0.0683 x61 * x254 + 0.0163 x69 * x260 + 0.0375 x77 * x266 ] = 0 e1731: [ 0.0603 x14 * x219 - x22 * x206 + 0.7323 x22 * x225 + 0.0852 x30 * x231 + 0.0683 x62 * x255 + 0.0163 x70 * x261 + 0.0375 x78 * x267 ] = 0 e1732: [ 0.0603 x15 * x220 - x23 * x207 + 0.7323 x23 * x226 + 0.0852 x31 * x232 + 0.0683 x63 * x256 + 0.0163 x71 * x262 + 0.0375 x79 * x268 ] = 0 e1733: [ 0.0603 x16 * x221 - x24 * x208 + 0.7323 x24 * x227 + 0.0852 x32 * x233 + 0.0683 x64 * x257 + 0.0163 x72 * x263 + 0.0375 x80 * x269 ] = 0 e1734: [ 0.0603 x17 * x1661 - x25 * x209 + 0.7323 x25 * x1662 + 0.0852 x33 * x1663 + 0.0683 x65 * x1667 + 0.0163 x73 * x1668 + 0.0375 x81 * x1669 ] = 0 e1735: [ 0.0865 x18 * x414 - x26 * x202 + 0.7696 x26 * x441 + 0.0344 x34 * x468 + 0.075 x66 * x576 + 0.0049 x74 * x603 + 0.0296 x82 * x630 ] = 0 e1736: [ 0.0865 x19 * x222 - x27 * x203 + 0.7696 x27 * x228 + 0.0344 x35 * x234 + 0.075 x67 * x258 + 0.0049 x75 * x264 + 0.0296 x83 * x270 ] = 0 e1737: [ 0.0865 x20 * x223 - x28 * x204 + 0.7696 x28 * x229 + 0.0344 x36 * x235 + 0.075 x68 * x259 + 0.0049 x76 * x265 + 0.0296 x84 * x271 ] = 0 e1738: [ 0.0865 x21 * x224 - x29 * x205 + 0.7696 x29 * x230 + 0.0344 x37 * x236 + 0.075 x69 * x260 + 0.0049 x77 * x266 + 0.0296 x85 * x272 ] = 0 e1739: [ 0.0865 x22 * x225 - x30 * x206 + 0.7696 x30 * x231 + 0.0344 x38 * x237 + 0.075 x70 * x261 + 0.0049 x78 * x267 + 0.0296 x86 * x273 ] = 0 e1740: [ 0.0865 x23 * x226 - x31 * x207 + 0.7696 x31 * x232 + 0.0344 x39 * x238 + 0.075 x71 * x262 + 0.0049 x79 * x268 + 0.0296 x87 * x274 ] = 0 e1741: [ 0.0865 x24 * x227 - x32 * x208 + 0.7696 x32 * x233 + 0.0344 x40 * x239 + 0.075 x72 * x263 + 0.0049 x80 * x269 + 0.0296 x88 * x275 ] = 0 e1742: [ 0.0865 x25 * x1662 - x33 * x209 + 0.7696 x33 * x1663 + 0.0344 x41 * x1664 + 0.075 x73 * x1668 + 0.0049 x81 * x1669 + 0.0296 x89 * x1670 ] = 0 e1743: [ 0.0683 x26 * x441 - x34 * x202 + 0.0739 x34 * x468 + 0.1041 x42 * x495 + 0.152 x74 * x603 + 0.149 x82 * x630 + 0.4527 x90 * x657 ] = 0 e1744: [ 0.0683 x27 * x228 - x35 * x203 + 0.0739 x35 * x234 + 0.1041 x43 * x240 + 0.152 x75 * x264 + 0.149 x83 * x270 + 0.4527 x91 * x276 ] = 0 e1745: [ 0.0683 x28 * x229 - x36 * x204 + 0.0739 x36 * x235 + 0.1041 x44 * x241 + 0.152 x76 * x265 + 0.149 x84 * x271 + 0.4527 x92 * x277 ] = 0 e1746: [ 0.0683 x29 * x230 - x37 * x205 + 0.0739 x37 * x236 + 0.1041 x45 * x242 + 0.152 x77 * x266 + 0.149 x85 * x272 + 0.4527 x93 * x278 ] = 0 e1747: [ 0.0683 x30 * x231 - x38 * x206 + 0.0739 x38 * x237 + 0.1041 x46 * x243 + 0.152 x78 * x267 + 0.149 x86 * x273 + 0.4527 x94 * x279 ] = 0 e1748: [ 0.0683 x31 * x232 - x39 * x207 + 0.0739 x39 * x238 + 0.1041 x47 * x244 + 0.152 x79 * x268 + 0.149 x87 * x274 + 0.4527 x95 * x280 ] = 0 e1749: [ 0.0683 x32 * x233 - x40 * x208 + 0.0739 x40 * x239 + 0.1041 x48 * x245 + 0.152 x80 * x269 + 0.149 x88 * x275 + 0.4527 x96 * x281 ] = 0 e1750: [ 0.0683 x33 * x1663 - x41 * x209 + 0.0739 x41 * x1664 + 0.1041 x49 * x1665 + 0.152 x81 * x1669 + 0.149 x89 * x1670 + 0.4527 x97 * x1671 ] = 0 e1751: [ 0.2041 x34 * x468 - x42 * x202 + 0.5754 x42 * x495 + 0.0044 x82 * x630 + 0.2161 x90 * x657 ] = 0 e1752: [ 0.2041 x35 * x234 - x43 * x203 + 0.5754 x43 * x240 + 0.0044 x83 * x270 + 0.2161 x91 * x276 ] = 0 e1753: [ 0.2041 x36 * x235 - x44 * x204 + 0.5754 x44 * x241 + 0.0044 x84 * x271 + 0.2161 x92 * x277 ] = 0 e1754: [ 0.2041 x37 * x236 - x45 * x205 + 0.5754 x45 * x242 + 0.0044 x85 * x272 + 0.2161 x93 * x278 ] = 0 e1755: [ 0.2041 x38 * x237 - x46 * x206 + 0.5754 x46 * x243 + 0.0044 x86 * x273 + 0.2161 x94 * x279 ] = 0 e1756: [ 0.2041 x39 * x238 - x47 * x207 + 0.5754 x47 * x244 + 0.0044 x87 * x274 + 0.2161 x95 * x280 ] = 0 e1757: [ 0.2041 x40 * x239 - x48 * x208 + 0.5754 x48 * x245 + 0.0044 x88 * x275 + 0.2161 x96 * x281 ] = 0 e1758: [ 0.2041 x41 * x1664 - x49 * x209 + 0.5754 x49 * x1665 + 0.0044 x89 * x1670 + 0.2161 x97 * x1671 ] = 0 e1759: [ 0.0411 x2 * x360 + 0.0913 x10 * x387 - x50 * x202 + 0.6268 x50 * x522 + 0.0563 x58 * x549 + 0.1138 x98 * x684 + 0.0706 x106 * x711 ] = 0 e1760: [ 0.0411 x3 * x210 + 0.0913 x11 * x216 - x51 * x203 + 0.6268 x51 * x246 + 0.0563 x59 * x252 + 0.1138 x99 * x282 + 0.0706 x107 * x288 ] = 0 e1761: [ 0.0411 x4 * x211 + 0.0913 x12 * x217 - x52 * x204 + 0.6268 x52 * x247 + 0.0563 x60 * x253 + 0.1138 x100 * x283 + 0.0706 x108 * x289 ] = 0 e1762: [ 0.0411 x5 * x212 + 0.0913 x13 * x218 - x53 * x205 + 0.6268 x53 * x248 + 0.0563 x61 * x254 + 0.1138 x101 * x284 + 0.0706 x109 * x290 ] = 0 e1763: [ 0.0411 x6 * x213 + 0.0913 x14 * x219 - x54 * x206 + 0.6268 x54 * x249 + 0.0563 x62 * x255 + 0.1138 x102 * x285 + 0.0706 x110 * x291 ] = 0 e1764: [ 0.0411 x7 * x214 + 0.0913 x15 * x220 - x55 * x207 + 0.6268 x55 * x250 + 0.0563 x63 * x256 + 0.1138 x103 * x286 + 0.0706 x111 * x292 ] = 0 e1765: [ 0.0411 x8 * x215 + 0.0913 x16 * x221 - x56 * x208 + 0.6268 x56 * x251 + 0.0563 x64 * x257 + 0.1138 x104 * x287 + 0.0706 x112 * x293 ] = 0 e1766: [ 0.0411 x9 * x1660 + 0.0913 x17 * x1661 - x57 * x209 + 0.6268 x57 * x1666 + 0.0563 x65 * x1667 + 0.1138 x105 * x1672 + 0.0706 x113 * x1673 ] = 0 e1767: [ 0.0187 x2 * x360 + 0.0659 x10 * x387 + 0.0775 x18 * x414 + 0.0026 x50 * x522 - x58 * x202 + 0.6161 x58 * x549 + 0.0343 x66 * x576 + 0.0752 x98 * x684 + 0.0455 x106 * x711 + 0.0642 x114 * x738 ] = 0 e1768: [ 0.0187 x3 * x210 + 0.0659 x11 * x216 + 0.0775 x19 * x222 + 0.0026 x51 * x246 - x59 * x203 + 0.6161 x59 * x252 + 0.0343 x67 * x258 + 0.0752 x99 * x282 + 0.0455 x107 * x288 + 0.0642 x115 * x294 ] = 0 e1769: [ 0.0187 x4 * x211 + 0.0659 x12 * x217 + 0.0775 x20 * x223 + 0.0026 x52 * x247 - x60 * x204 + 0.6161 x60 * x253 + 0.0343 x68 * x259 + 0.0752 x100 * x283 + 0.0455 x108 * x289 + 0.0642 x116 * x295 ] = 0 e1770: [ 0.0187 x5 * x212 + 0.0659 x13 * x218 + 0.0775 x21 * x224 + 0.0026 x53 * x248 - x61 * x205 + 0.6161 x61 * x254 + 0.0343 x69 * x260 + 0.0752 x101 * x284 + 0.0455 x109 * x290 + 0.0642 x117 * x296 ] = 0 e1771: [ 0.0187 x6 * x213 + 0.0659 x14 * x219 + 0.0775 x22 * x225 + 0.0026 x54 * x249 - x62 * x206 + 0.6161 x62 * x255 + 0.0343 x70 * x261 + 0.0752 x102 * x285 + 0.0455 x110 * x291 + 0.0642 x118 * x297 ] = 0 e1772: [ 0.0187 x7 * x214 + 0.0659 x15 * x220 + 0.0775 x23 * x226 + 0.0026 x55 * x250 - x63 * x207 + 0.6161 x63 * x256 + 0.0343 x71 * x262 + 0.0752 x103 * x286 + 0.0455 x111 * x292 + 0.0642 x119 * x298 ] = 0 e1773: [ 0.0187 x8 * x215 + 0.0659 x16 * x221 + 0.0775 x24 * x227 + 0.0026 x56 * x251 - x64 * x208 + 0.6161 x64 * x257 + 0.0343 x72 * x263 + 0.0752 x104 * x287 + 0.0455 x112 * x293 + 0.0642 x120 * x299 ] = 0 e1774: [ 0.0187 x9 * x1660 + 0.0659 x17 * x1661 + 0.0775 x25 * x1662 + 0.0026 x57 * x1666 - x65 * x209 + 0.6161 x65 * x1667 + 0.0343 x73 * x1668 + 0.0752 x105 * x1672 + 0.0455 x113 * x1673 + 0.0642 x121 * x1674 ] = 0 e1775: [ 0.042 x10 * x387 + 0.0282 x18 * x414 + 0.0159 x26 * x441 + 0.0175 x58 * x549 - x66 * x202 + 0.7181 x66 * x576 + 0.0319 x74 * x603 + 0.057 x106 * x711 + 0.0159 x114 * x738 + 0.0735 x122 * x765 ] = 0 e1776: [ 0.042 x11 * x216 + 0.0282 x19 * x222 + 0.0159 x27 * x228 + 0.0175 x59 * x252 - x67 * x203 + 0.7181 x67 * x258 + 0.0319 x75 * x264 + 0.057 x107 * x288 + 0.0159 x115 * x294 + 0.0735 x123 * x300 ] = 0 e1777: [ 0.042 x12 * x217 + 0.0282 x20 * x223 + 0.0159 x28 * x229 + 0.0175 x60 * x253 - x68 * x204 + 0.7181 x68 * x259 + 0.0319 x76 * x265 + 0.057 x108 * x289 + 0.0159 x116 * x295 + 0.0735 x124 * x301 ] = 0 e1778: [ 0.042 x13 * x218 + 0.0282 x21 * x224 + 0.0159 x29 * x230 + 0.0175 x61 * x254 - x69 * x205 + 0.7181 x69 * x260 + 0.0319 x77 * x266 + 0.057 x109 * x290 + 0.0159 x117 * x296 + 0.0735 x125 * x302 ] = 0 e1779: [ 0.042 x14 * x219 + 0.0282 x22 * x225 + 0.0159 x30 * x231 + 0.0175 x62 * x255 - x70 * x206 + 0.7181 x70 * x261 + 0.0319 x78 * x267 + 0.057 x110 * x291 + 0.0159 x118 * x297 + 0.0735 x126 * x303 ] = 0 e1780: [ 0.042 x15 * x220 + 0.0282 x23 * x226 + 0.0159 x31 * x232 + 0.0175 x63 * x256 - x71 * x207 + 0.7181 x71 * x262 + 0.0319 x79 * x268 + 0.057 x111 * x292 + 0.0159 x119 * x298 + 0.0735 x127 * x304 ] = 0 e1781: [ 0.042 x16 * x221 + 0.0282 x24 * x227 + 0.0159 x32 * x233 + 0.0175 x64 * x257 - x72 * x208 + 0.7181 x72 * x263 + 0.0319 x80 * x269 + 0.057 x112 * x293 + 0.0159 x120 * x299 + 0.0735 x128 * x305 ] = 0 e1782: [ 0.042 x17 * x1661 + 0.0282 x25 * x1662 + 0.0159 x33 * x1663 + 0.0175 x65 * x1667 - x73 * x209 + 0.7181 x73 * x1668 + 0.0319 x81 * x1669 + 0.057 x113 * x1673 + 0.0159 x121 * x1674 + 0.0735 x129 * x1675 ] = 0 e1783: [ 0.035 x18 * x414 + 0.0722 x26 * x441 + 0.64 x34 * x468 + 0.0625 x66 * x576 - x74 * x202 + 0.116 x74 * x603 + 0.021 x82 * x630 + 0.0192 x114 * x738 + 0.0151 x122 * x765 + 0.0191 x130 * x792 ] = 0 e1784: [ 0.035 x19 * x222 + 0.0722 x27 * x228 + 0.64 x35 * x234 + 0.0625 x67 * x258 - x75 * x203 + 0.116 x75 * x264 + 0.021 x83 * x270 + 0.0192 x115 * x294 + 0.0151 x123 * x300 + 0.0191 x131 * x306 ] = 0 e1785: [ 0.035 x20 * x223 + 0.0722 x28 * x229 + 0.64 x36 * x235 + 0.0625 x68 * x259 - x76 * x204 + 0.116 x76 * x265 + 0.021 x84 * x271 + 0.0192 x116 * x295 + 0.0151 x124 * x301 + 0.0191 x132 * x307 ] = 0 e1786: [ 0.035 x21 * x224 + 0.0722 x29 * x230 + 0.64 x37 * x236 + 0.0625 x69 * x260 - x77 * x205 + 0.116 x77 * x266 + 0.021 x85 * x272 + 0.0192 x117 * x296 + 0.0151 x125 * x302 + 0.0191 x133 * x308 ] = 0 e1787: [ 0.035 x22 * x225 + 0.0722 x30 * x231 + 0.64 x38 * x237 + 0.0625 x70 * x261 - x78 * x206 + 0.116 x78 * x267 + 0.021 x86 * x273 + 0.0192 x118 * x297 + 0.0151 x126 * x303 + 0.0191 x134 * x309 ] = 0 e1788: [ 0.035 x23 * x226 + 0.0722 x31 * x232 + 0.64 x39 * x238 + 0.0625 x71 * x262 - x79 * x207 + 0.116 x79 * x268 + 0.021 x87 * x274 + 0.0192 x119 * x298 + 0.0151 x127 * x304 + 0.0191 x135 * x310 ] = 0 e1789: [ 0.035 x24 * x227 + 0.0722 x32 * x233 + 0.64 x40 * x239 + 0.0625 x72 * x263 - x80 * x208 + 0.116 x80 * x269 + 0.021 x88 * x275 + 0.0192 x120 * x299 + 0.0151 x128 * x305 + 0.0191 x136 * x311 ] = 0 e1790: [ 0.035 x25 * x1662 + 0.0722 x33 * x1663 + 0.64 x41 * x1664 + 0.0625 x73 * x1668 - x81 * x209 + 0.116 x81 * x1669 + 0.021 x89 * x1670 + 0.0192 x121 * x1674 + 0.0151 x129 * x1675 + 0.0191 x137 * x1676 ] = 0 e1791: [ 0.0554 x26 * x441 + 0.2564 x34 * x468 + 0.0838 x42 * x495 + 0.008 x74 * x603 - x82 * x202 + 0.4414 x82 * x630 + 0.0601 x90 * x657 + 0.0256 x122 * x765 + 0.0693 x130 * x792 ] = 0 e1792: [ 0.0554 x27 * x228 + 0.2564 x35 * x234 + 0.0838 x43 * x240 + 0.008 x75 * x264 - x83 * x203 + 0.4414 x83 * x270 + 0.0601 x91 * x276 + 0.0256 x123 * x300 + 0.0693 x131 * x306 ] = 0 e1793: [ 0.0554 x28 * x229 + 0.2564 x36 * x235 + 0.0838 x44 * x241 + 0.008 x76 * x265 - x84 * x204 + 0.4414 x84 * x271 + 0.0601 x92 * x277 + 0.0256 x124 * x301 + 0.0693 x132 * x307 ] = 0 e1794: [ 0.0554 x29 * x230 + 0.2564 x37 * x236 + 0.0838 x45 * x242 + 0.008 x77 * x266 - x85 * x205 + 0.4414 x85 * x272 + 0.0601 x93 * x278 + 0.0256 x125 * x302 + 0.0693 x133 * x308 ] = 0 e1795: [ 0.0554 x30 * x231 + 0.2564 x38 * x237 + 0.0838 x46 * x243 + 0.008 x78 * x267 - x86 * x206 + 0.4414 x86 * x273 + 0.0601 x94 * x279 + 0.0256 x126 * x303 + 0.0693 x134 * x309 ] = 0 e1796: [ 0.0554 x31 * x232 + 0.2564 x39 * x238 + 0.0838 x47 * x244 + 0.008 x79 * x268 - x87 * x207 + 0.4414 x87 * x274 + 0.0601 x95 * x280 + 0.0256 x127 * x304 + 0.0693 x135 * x310 ] = 0 e1797: [ 0.0554 x32 * x233 + 0.2564 x40 * x239 + 0.0838 x48 * x245 + 0.008 x80 * x269 - x88 * x208 + 0.4414 x88 * x275 + 0.0601 x96 * x281 + 0.0256 x128 * x305 + 0.0693 x136 * x311 ] = 0 e1798: [ 0.0554 x33 * x1663 + 0.2564 x41 * x1664 + 0.0838 x49 * x1665 + 0.008 x81 * x1669 - x89 * x209 + 0.4414 x89 * x1670 + 0.0601 x97 * x1671 + 0.0256 x129 * x1675 + 0.0693 x137 * x1676 ] = 0 e1799: [ 0.4259 x34 * x468 + 0.1072 x42 * x495 + 0.0581 x82 * x630 - x90 * x202 + 0.378 x90 * x657 + 0.0308 x130 * x792 ] = 0 e1800: [ 0.4259 x35 * x234 + 0.1072 x43 * x240 + 0.0581 x83 * x270 - x91 * x203 + 0.378 x91 * x276 + 0.0308 x131 * x306 ] = 0 e1801: [ 0.4259 x36 * x235 + 0.1072 x44 * x241 + 0.0581 x84 * x271 - x92 * x204 + 0.378 x92 * x277 + 0.0308 x132 * x307 ] = 0 e1802: [ 0.4259 x37 * x236 + 0.1072 x45 * x242 + 0.0581 x85 * x272 - x93 * x205 + 0.378 x93 * x278 + 0.0308 x133 * x308 ] = 0 e1803: [ 0.4259 x38 * x237 + 0.1072 x46 * x243 + 0.0581 x86 * x273 - x94 * x206 + 0.378 x94 * x279 + 0.0308 x134 * x309 ] = 0 e1804: [ 0.4259 x39 * x238 + 0.1072 x47 * x244 + 0.0581 x87 * x274 - x95 * x207 + 0.378 x95 * x280 + 0.0308 x135 * x310 ] = 0 e1805: [ 0.4259 x40 * x239 + 0.1072 x48 * x245 + 0.0581 x88 * x275 - x96 * x208 + 0.378 x96 * x281 + 0.0308 x136 * x311 ] = 0 e1806: [ 0.4259 x41 * x1664 + 0.1072 x49 * x1665 + 0.0581 x89 * x1670 - x97 * x209 + 0.378 x97 * x1671 + 0.0308 x137 * x1676 ] = 0 e1807: [ 0.0934 x50 * x522 + 0.0562 x58 * x549 - x98 * x202 + 0.6557 x98 * x684 + 0.0789 x106 * x711 + 0.0431 x138 * x819 + 0.0726 x146 * x846 ] = 0 e1808: [ 0.0934 x51 * x246 + 0.0562 x59 * x252 - x99 * x203 + 0.6557 x99 * x282 + 0.0789 x107 * x288 + 0.0431 x139 * x312 + 0.0726 x147 * x318 ] = 0 e1809: [ 0.0934 x52 * x247 + 0.0562 x60 * x253 - x100 * x204 + 0.6557 x100 * x283 + 0.0789 x108 * x289 + 0.0431 x140 * x313 + 0.0726 x148 * x319 ] = 0 e1810: [ 0.0934 x53 * x248 + 0.0562 x61 * x254 - x101 * x205 + 0.6557 x101 * x284 + 0.0789 x109 * x290 + 0.0431 x141 * x314 + 0.0726 x149 * x320 ] = 0 e1811: [ 0.0934 x54 * x249 + 0.0562 x62 * x255 - x102 * x206 + 0.6557 x102 * x285 + 0.0789 x110 * x291 + 0.0431 x142 * x315 + 0.0726 x150 * x321 ] = 0 e1812: [ 0.0934 x55 * x250 + 0.0562 x63 * x256 - x103 * x207 + 0.6557 x103 * x286 + 0.0789 x111 * x292 + 0.0431 x143 * x316 + 0.0726 x151 * x322 ] = 0 e1813: [ 0.0934 x56 * x251 + 0.0562 x64 * x257 - x104 * x208 + 0.6557 x104 * x287 + 0.0789 x112 * x293 + 0.0431 x144 * x317 + 0.0726 x152 * x323 ] = 0 e1814: [ 0.0934 x57 * x1666 + 0.0562 x65 * x1667 - x105 * x209 + 0.6557 x105 * x1672 + 0.0789 x113 * x1673 + 0.0431 x145 * x1677 + 0.0726 x153 * x1678 ] = 0 e1815: [ 0.0233 x50 * x522 + 0.0886 x58 * x549 + 0.0286 x66 * x576 + 0.0208 x98 * x684 - x106 * x202 + 0.6971 x106 * x711 + 0.0587 x114 * x738 + 0.0109 x138 * x819 + 0.0009 x146 * x846 + 0.0712 x154 * x873 ] = 0 e1816: [ 0.0233 x51 * x246 + 0.0886 x59 * x252 + 0.0286 x67 * x258 + 0.0208 x99 * x282 - x107 * x203 + 0.6971 x107 * x288 + 0.0587 x115 * x294 + 0.0109 x139 * x312 + 0.0009 x147 * x318 + 0.0712 x155 * x324 ] = 0 e1817: [ 0.0233 x52 * x247 + 0.0886 x60 * x253 + 0.0286 x68 * x259 + 0.0208 x100 * x283 - x108 * x204 + 0.6971 x108 * x289 + 0.0587 x116 * x295 + 0.0109 x140 * x313 + 0.0009 x148 * x319 + 0.0712 x156 * x325 ] = 0 e1818: [ 0.0233 x53 * x248 + 0.0886 x61 * x254 + 0.0286 x69 * x260 + 0.0208 x101 * x284 - x109 * x205 + 0.6971 x109 * x290 + 0.0587 x117 * x296 + 0.0109 x141 * x314 + 0.0009 x149 * x320 + 0.0712 x157 * x326 ] = 0 e1819: [ 0.0233 x54 * x249 + 0.0886 x62 * x255 + 0.0286 x70 * x261 + 0.0208 x102 * x285 - x110 * x206 + 0.6971 x110 * x291 + 0.0587 x118 * x297 + 0.0109 x142 * x315 + 0.0009 x150 * x321 + 0.0712 x158 * x327 ] = 0 e1820: [ 0.0233 x55 * x250 + 0.0886 x63 * x256 + 0.0286 x71 * x262 + 0.0208 x103 * x286 - x111 * x207 + 0.6971 x111 * x292 + 0.0587 x119 * x298 + 0.0109 x143 * x316 + 0.0009 x151 * x322 + 0.0712 x159 * x328 ] = 0 e1821: [ 0.0233 x56 * x251 + 0.0886 x64 * x257 + 0.0286 x72 * x263 + 0.0208 x104 * x287 - x112 * x208 + 0.6971 x112 * x293 + 0.0587 x120 * x299 + 0.0109 x144 * x317 + 0.0009 x152 * x323 + 0.0712 x160 * x329 ] = 0 e1822: [ 0.0233 x57 * x1666 + 0.0886 x65 * x1667 + 0.0286 x73 * x1668 + 0.0208 x105 * x1672 - x113 * x209 + 0.6971 x113 * x1673 + 0.0587 x121 * x1674 + 0.0109 x145 * x1677 + 0.0009 x153 * x1678 + 0.0712 x161 * x1679 ] = 0 e1823: [ 0.018 x58 * x549 + 0.0314 x66 * x576 + 0.0154 x74 * x603 + 0.0226 x106 * x711 - x114 * x202 + 0.6341 x114 * x738 + 0.0088 x122 * x765 + 0.1336 x146 * x846 + 0.0788 x154 * x873 + 0.0572 x162 * x900 ] = 0 e1824: [ 0.018 x59 * x252 + 0.0314 x67 * x258 + 0.0154 x75 * x264 + 0.0226 x107 * x288 - x115 * x203 + 0.6341 x115 * x294 + 0.0088 x123 * x300 + 0.1336 x147 * x318 + 0.0788 x155 * x324 + 0.0572 x163 * x330 ] = 0 e1825: [ 0.018 x60 * x253 + 0.0314 x68 * x259 + 0.0154 x76 * x265 + 0.0226 x108 * x289 - x116 * x204 + 0.6341 x116 * x295 + 0.0088 x124 * x301 + 0.1336 x148 * x319 + 0.0788 x156 * x325 + 0.0572 x164 * x331 ] = 0 e1826: [ 0.018 x61 * x254 + 0.0314 x69 * x260 + 0.0154 x77 * x266 + 0.0226 x109 * x290 - x117 * x205 + 0.6341 x117 * x296 + 0.0088 x125 * x302 + 0.1336 x149 * x320 + 0.0788 x157 * x326 + 0.0572 x165 * x332 ] = 0 e1827: [ 0.018 x62 * x255 + 0.0314 x70 * x261 + 0.0154 x78 * x267 + 0.0226 x110 * x291 - x118 * x206 + 0.6341 x118 * x297 + 0.0088 x126 * x303 + 0.1336 x150 * x321 + 0.0788 x158 * x327 + 0.0572 x166 * x333 ] = 0 e1828: [ 0.018 x63 * x256 + 0.0314 x71 * x262 + 0.0154 x79 * x268 + 0.0226 x111 * x292 - x119 * x207 + 0.6341 x119 * x298 + 0.0088 x127 * x304 + 0.1336 x151 * x322 + 0.0788 x159 * x328 + 0.0572 x167 * x334 ] = 0 e1829: [ 0.018 x64 * x257 + 0.0314 x72 * x263 + 0.0154 x80 * x269 + 0.0226 x112 * x293 - x120 * x208 + 0.6341 x120 * x299 + 0.0088 x128 * x305 + 0.1336 x152 * x323 + 0.0788 x160 * x329 + 0.0572 x168 * x335 ] = 0 e1830: [ 0.018 x65 * x1667 + 0.0314 x73 * x1668 + 0.0154 x81 * x1669 + 0.0226 x113 * x1673 - x121 * x209 + 0.6341 x121 * x1674 + 0.0088 x129 * x1675 + 0.1336 x153 * x1678 + 0.0788 x161 * x1679 + 0.0572 x169 * x1680 ] = 0 e1831: [ 0.0543 x66 * x576 + 0.0078 x74 * x603 + 0.0358 x82 * x630 + 0.0305 x114 * x738 - x122 * x202 + 0.6539 x122 * x765 + 0.0858 x130 * x792 + 0.0598 x154 * x873 + 0.0722 x162 * x900 ] = 0 e1832: [ 0.0543 x67 * x258 + 0.0078 x75 * x264 + 0.0358 x83 * x270 + 0.0305 x115 * x294 - x123 * x203 + 0.6539 x123 * x300 + 0.0858 x131 * x306 + 0.0598 x155 * x324 + 0.0722 x163 * x330 ] = 0 e1833: [ 0.0543 x68 * x259 + 0.0078 x76 * x265 + 0.0358 x84 * x271 + 0.0305 x116 * x295 - x124 * x204 + 0.6539 x124 * x301 + 0.0858 x132 * x307 + 0.0598 x156 * x325 + 0.0722 x164 * x331 ] = 0 e1834: [ 0.0543 x69 * x260 + 0.0078 x77 * x266 + 0.0358 x85 * x272 + 0.0305 x117 * x296 - x125 * x205 + 0.6539 x125 * x302 + 0.0858 x133 * x308 + 0.0598 x157 * x326 + 0.0722 x165 * x332 ] = 0 e1835: [ 0.0543 x70 * x261 + 0.0078 x78 * x267 + 0.0358 x86 * x273 + 0.0305 x118 * x297 - x126 * x206 + 0.6539 x126 * x303 + 0.0858 x134 * x309 + 0.0598 x158 * x327 + 0.0722 x166 * x333 ] = 0 e1836: [ 0.0543 x71 * x262 + 0.0078 x79 * x268 + 0.0358 x87 * x274 + 0.0305 x119 * x298 - x127 * x207 + 0.6539 x127 * x304 + 0.0858 x135 * x310 + 0.0598 x159 * x328 + 0.0722 x167 * x334 ] = 0 e1837: [ 0.0543 x72 * x263 + 0.0078 x80 * x269 + 0.0358 x88 * x275 + 0.0305 x120 * x299 - x128 * x208 + 0.6539 x128 * x305 + 0.0858 x136 * x311 + 0.0598 x160 * x329 + 0.0722 x168 * x335 ] = 0 e1838: [ 0.0543 x73 * x1668 + 0.0078 x81 * x1669 + 0.0358 x89 * x1670 + 0.0305 x121 * x1674 - x129 * x209 + 0.6539 x129 * x1675 + 0.0858 x137 * x1676 + 0.0598 x161 * x1679 + 0.0722 x169 * x1680 ] = 0 e1839: [ 0.0049 x74 * x603 + 0.0314 x82 * x630 + 0.0542 x90 * x657 + 0.0768 x122 * x765 - x130 * x202 + 0.7415 x130 * x792 + 0.0913 x162 * x900 ] = 0 e1840: [ 0.0049 x75 * x264 + 0.0314 x83 * x270 + 0.0542 x91 * x276 + 0.0768 x123 * x300 - x131 * x203 + 0.7415 x131 * x306 + 0.0913 x163 * x330 ] = 0 e1841: [ 0.0049 x76 * x265 + 0.0314 x84 * x271 + 0.0542 x92 * x277 + 0.0768 x124 * x301 - x132 * x204 + 0.7415 x132 * x307 + 0.0913 x164 * x331 ] = 0 e1842: [ 0.0049 x77 * x266 + 0.0314 x85 * x272 + 0.0542 x93 * x278 + 0.0768 x125 * x302 - x133 * x205 + 0.7415 x133 * x308 + 0.0913 x165 * x332 ] = 0 e1843: [ 0.0049 x78 * x267 + 0.0314 x86 * x273 + 0.0542 x94 * x279 + 0.0768 x126 * x303 - x134 * x206 + 0.7415 x134 * x309 + 0.0913 x166 * x333 ] = 0 e1844: [ 0.0049 x79 * x268 + 0.0314 x87 * x274 + 0.0542 x95 * x280 + 0.0768 x127 * x304 - x135 * x207 + 0.7415 x135 * x310 + 0.0913 x167 * x334 ] = 0 e1845: [ 0.0049 x80 * x269 + 0.0314 x88 * x275 + 0.0542 x96 * x281 + 0.0768 x128 * x305 - x136 * x208 + 0.7415 x136 * x311 + 0.0913 x168 * x335 ] = 0 e1846: [ 0.0049 x81 * x1669 + 0.0314 x89 * x1670 + 0.0542 x97 * x1671 + 0.0768 x129 * x1675 - x137 * x209 + 0.7415 x137 * x1676 + 0.0913 x169 * x1680 ] = 0 e1847: [ 0.0655 x98 * x684 + 0.0047 x106 * x711 - x138 * x202 + 0.8244 x138 * x819 + 0.0069 x146 * x846 + 0.0568 x170 * x927 + 0.0417 x178 * x954 ] = 0 e1848: [ 0.0655 x99 * x282 + 0.0047 x107 * x288 - x139 * x203 + 0.8244 x139 * x312 + 0.0069 x147 * x318 + 0.0568 x171 * x336 + 0.0417 x179 * x342 ] = 0 e1849: [ 0.0655 x100 * x283 + 0.0047 x108 * x289 - x140 * x204 + 0.8244 x140 * x313 + 0.0069 x148 * x319 + 0.0568 x172 * x337 + 0.0417 x180 * x343 ] = 0 e1850: [ 0.0655 x101 * x284 + 0.0047 x109 * x290 - x141 * x205 + 0.8244 x141 * x314 + 0.0069 x149 * x320 + 0.0568 x173 * x338 + 0.0417 x181 * x344 ] = 0 e1851: [ 0.0655 x102 * x285 + 0.0047 x110 * x291 - x142 * x206 + 0.8244 x142 * x315 + 0.0069 x150 * x321 + 0.0568 x174 * x339 + 0.0417 x182 * x345 ] = 0 e1852: [ 0.0655 x103 * x286 + 0.0047 x111 * x292 - x143 * x207 + 0.8244 x143 * x316 + 0.0069 x151 * x322 + 0.0568 x175 * x340 + 0.0417 x183 * x346 ] = 0 e1853: [ 0.0655 x104 * x287 + 0.0047 x112 * x293 - x144 * x208 + 0.8244 x144 * x317 + 0.0069 x152 * x323 + 0.0568 x176 * x341 + 0.0417 x184 * x347 ] = 0 e1854: [ 0.0655 x105 * x1672 + 0.0047 x113 * x1673 - x145 * x209 + 0.8244 x145 * x1677 + 0.0069 x153 * x1678 + 0.0568 x177 * x1681 + 0.0417 x185 * x1682 ] = 0 e1855: [ 0.0721 x98 * x684 + 0.0012 x106 * x711 + 0.1038 x114 * x738 + 0.1328 x138 * x819 - x146 * x202 + 0.5771 x146 * x846 + 0.046 x154 * x873 + 0.0256 x170 * x927 + 0.029 x178 * x954 + 0.0125 x186 * x981 ] = 0 e1856: [ 0.0721 x99 * x282 + 0.0012 x107 * x288 + 0.1038 x115 * x294 + 0.1328 x139 * x312 - x147 * x203 + 0.5771 x147 * x318 + 0.046 x155 * x324 + 0.0256 x171 * x336 + 0.029 x179 * x342 + 0.0125 x187 * x348 ] = 0 e1857: [ 0.0721 x100 * x283 + 0.0012 x108 * x289 + 0.1038 x116 * x295 + 0.1328 x140 * x313 - x148 * x204 + 0.5771 x148 * x319 + 0.046 x156 * x325 + 0.0256 x172 * x337 + 0.029 x180 * x343 + 0.0125 x188 * x349 ] = 0 e1858: [ 0.0721 x101 * x284 + 0.0012 x109 * x290 + 0.1038 x117 * x296 + 0.1328 x141 * x314 - x149 * x205 + 0.5771 x149 * x320 + 0.046 x157 * x326 + 0.0256 x173 * x338 + 0.029 x181 * x344 + 0.0125 x189 * x350 ] = 0 e1859: [ 0.0721 x102 * x285 + 0.0012 x110 * x291 + 0.1038 x118 * x297 + 0.1328 x142 * x315 - x150 * x206 + 0.5771 x150 * x321 + 0.046 x158 * x327 + 0.0256 x174 * x339 + 0.029 x182 * x345 + 0.0125 x190 * x351 ] = 0 e1860: [ 0.0721 x103 * x286 + 0.0012 x111 * x292 + 0.1038 x119 * x298 + 0.1328 x143 * x316 - x151 * x207 + 0.5771 x151 * x322 + 0.046 x159 * x328 + 0.0256 x175 * x340 + 0.029 x183 * x346 + 0.0125 x191 * x352 ] = 0 e1861: [ 0.0721 x104 * x287 + 0.0012 x112 * x293 + 0.1038 x120 * x299 + 0.1328 x144 * x317 - x152 * x208 + 0.5771 x152 * x323 + 0.046 x160 * x329 + 0.0256 x176 * x341 + 0.029 x184 * x347 + 0.0125 x192 * x353 ] = 0 e1862: [ 0.0721 x105 * x1672 + 0.0012 x113 * x1673 + 0.1038 x121 * x1674 + 0.1328 x145 * x1677 - x153 * x209 + 0.5771 x153 * x1678 + 0.046 x161 * x1679 + 0.0256 x177 * x1681 + 0.029 x185 * x1682 + 0.0125 x193 * x1683 ] = 0 e1863: [ 0.0512 x106 * x711 + 0.0433 x114 * x738 + 0.1083 x122 * x765 + 0.0424 x146 * x846 - x154 * x202 + 0.5581 x154 * x873 + 0.1009 x162 * x900 + 0.0363 x178 * x954 + 0.0596 x186 * x981 ] = 0 e1864: [ 0.0512 x107 * x288 + 0.0433 x115 * x294 + 0.1083 x123 * x300 + 0.0424 x147 * x318 - x155 * x203 + 0.5581 x155 * x324 + 0.1009 x163 * x330 + 0.0363 x179 * x342 + 0.0596 x187 * x348 ] = 0 e1865: [ 0.0512 x108 * x289 + 0.0433 x116 * x295 + 0.1083 x124 * x301 + 0.0424 x148 * x319 - x156 * x204 + 0.5581 x156 * x325 + 0.1009 x164 * x331 + 0.0363 x180 * x343 + 0.0596 x188 * x349 ] = 0 e1866: [ 0.0512 x109 * x290 + 0.0433 x117 * x296 + 0.1083 x125 * x302 + 0.0424 x149 * x320 - x157 * x205 + 0.5581 x157 * x326 + 0.1009 x165 * x332 + 0.0363 x181 * x344 + 0.0596 x189 * x350 ] = 0 e1867: [ 0.0512 x110 * x291 + 0.0433 x118 * x297 + 0.1083 x126 * x303 + 0.0424 x150 * x321 - x158 * x206 + 0.5581 x158 * x327 + 0.1009 x166 * x333 + 0.0363 x182 * x345 + 0.0596 x190 * x351 ] = 0 e1868: [ 0.0512 x111 * x292 + 0.0433 x119 * x298 + 0.1083 x127 * x304 + 0.0424 x151 * x322 - x159 * x207 + 0.5581 x159 * x328 + 0.1009 x167 * x334 + 0.0363 x183 * x346 + 0.0596 x191 * x352 ] = 0 e1869: [ 0.0512 x112 * x293 + 0.0433 x120 * x299 + 0.1083 x128 * x305 + 0.0424 x152 * x323 - x160 * x208 + 0.5581 x160 * x329 + 0.1009 x168 * x335 + 0.0363 x184 * x347 + 0.0596 x192 * x353 ] = 0 e1870: [ 0.0512 x113 * x1673 + 0.0433 x121 * x1674 + 0.1083 x129 * x1675 + 0.0424 x153 * x1678 - x161 * x209 + 0.5581 x161 * x1679 + 0.1009 x169 * x1680 + 0.0363 x185 * x1682 + 0.0596 x193 * x1683 ] = 0 e1871: [ 0.1261 x114 * x738 + 0.0771 x122 * x765 + 0.0342 x130 * x792 + 0.1137 x154 * x873 - x162 * x202 + 0.6354 x162 * x900 + 0.0135 x186 * x981 ] = 0 e1872: [ 0.1261 x115 * x294 + 0.0771 x123 * x300 + 0.0342 x131 * x306 + 0.1137 x155 * x324 - x163 * x203 + 0.6354 x163 * x330 + 0.0135 x187 * x348 ] = 0 e1873: [ 0.1261 x116 * x295 + 0.0771 x124 * x301 + 0.0342 x132 * x307 + 0.1137 x156 * x325 - x164 * x204 + 0.6354 x164 * x331 + 0.0135 x188 * x349 ] = 0 e1874: [ 0.1261 x117 * x296 + 0.0771 x125 * x302 + 0.0342 x133 * x308 + 0.1137 x157 * x326 - x165 * x205 + 0.6354 x165 * x332 + 0.0135 x189 * x350 ] = 0 e1875: [ 0.1261 x118 * x297 + 0.0771 x126 * x303 + 0.0342 x134 * x309 + 0.1137 x158 * x327 - x166 * x206 + 0.6354 x166 * x333 + 0.0135 x190 * x351 ] = 0 e1876: [ 0.1261 x119 * x298 + 0.0771 x127 * x304 + 0.0342 x135 * x310 + 0.1137 x159 * x328 - x167 * x207 + 0.6354 x167 * x334 + 0.0135 x191 * x352 ] = 0 e1877: [ 0.1261 x120 * x299 + 0.0771 x128 * x305 + 0.0342 x136 * x311 + 0.1137 x160 * x329 - x168 * x208 + 0.6354 x168 * x335 + 0.0135 x192 * x353 ] = 0 e1878: [ 0.1261 x121 * x1674 + 0.0771 x129 * x1675 + 0.0342 x137 * x1676 + 0.1137 x161 * x1679 - x169 * x209 + 0.6354 x169 * x1680 + 0.0135 x193 * x1683 ] = 0 e1879: [ 0.0283 x138 * x819 + 0.0354 x146 * x846 - x170 * x202 + 0.8141 x170 * x927 + 0.0479 x178 * x954 + 0.0743 x194 * x1008 ] = 0 e1880: [ 0.0283 x139 * x312 + 0.0354 x147 * x318 - x171 * x203 + 0.8141 x171 * x336 + 0.0479 x179 * x342 + 0.0743 x195 * x354 ] = 0 e1881: [ 0.0283 x140 * x313 + 0.0354 x148 * x319 - x172 * x204 + 0.8141 x172 * x337 + 0.0479 x180 * x343 + 0.0743 x196 * x355 ] = 0 e1882: [ 0.0283 x141 * x314 + 0.0354 x149 * x320 - x173 * x205 + 0.8141 x173 * x338 + 0.0479 x181 * x344 + 0.0743 x197 * x356 ] = 0 e1883: [ 0.0283 x142 * x315 + 0.0354 x150 * x321 - x174 * x206 + 0.8141 x174 * x339 + 0.0479 x182 * x345 + 0.0743 x198 * x357 ] = 0 e1884: [ 0.0283 x143 * x316 + 0.0354 x151 * x322 - x175 * x207 + 0.8141 x175 * x340 + 0.0479 x183 * x346 + 0.0743 x199 * x358 ] = 0 e1885: [ 0.0283 x144 * x317 + 0.0354 x152 * x323 - x176 * x208 + 0.8141 x176 * x341 + 0.0479 x184 * x347 + 0.0743 x200 * x359 ] = 0 e1886: [ 0.0283 x145 * x1677 + 0.0354 x153 * x1678 - x177 * x209 + 0.8141 x177 * x1681 + 0.0479 x185 * x1682 + 0.0743 x201 * x1684 ] = 0 e1887: [ 0.0617 x138 * x819 + 0.0026 x146 * x846 + 0.0037 x154 * x873 + 0.0404 x170 * x927 - x178 * x202 + 0.0959 x178 * x954 + 0.2863 x186 * x981 + 0.5094 x194 * x1008 ] = 0 e1888: [ 0.0617 x139 * x312 + 0.0026 x147 * x318 + 0.0037 x155 * x324 + 0.0404 x171 * x336 - x179 * x203 + 0.0959 x179 * x342 + 0.2863 x187 * x348 + 0.5094 x195 * x354 ] = 0 e1889: [ 0.0617 x140 * x313 + 0.0026 x148 * x319 + 0.0037 x156 * x325 + 0.0404 x172 * x337 - x180 * x204 + 0.0959 x180 * x343 + 0.2863 x188 * x349 + 0.5094 x196 * x355 ] = 0 e1890: [ 0.0617 x141 * x314 + 0.0026 x149 * x320 + 0.0037 x157 * x326 + 0.0404 x173 * x338 - x181 * x205 + 0.0959 x181 * x344 + 0.2863 x189 * x350 + 0.5094 x197 * x356 ] = 0 e1891: [ 0.0617 x142 * x315 + 0.0026 x150 * x321 + 0.0037 x158 * x327 + 0.0404 x174 * x339 - x182 * x206 + 0.0959 x182 * x345 + 0.2863 x190 * x351 + 0.5094 x198 * x357 ] = 0 e1892: [ 0.0617 x143 * x316 + 0.0026 x151 * x322 + 0.0037 x159 * x328 + 0.0404 x175 * x340 - x183 * x207 + 0.0959 x183 * x346 + 0.2863 x191 * x352 + 0.5094 x199 * x358 ] = 0 e1893: [ 0.0617 x144 * x317 + 0.0026 x152 * x323 + 0.0037 x160 * x329 + 0.0404 x176 * x341 - x184 * x208 + 0.0959 x184 * x347 + 0.2863 x192 * x353 + 0.5094 x200 * x359 ] = 0 e1894: [ 0.0617 x145 * x1677 + 0.0026 x153 * x1678 + 0.0037 x161 * x1679 + 0.0404 x177 * x1681 - x185 * x209 + 0.0959 x185 * x1682 + 0.2863 x193 * x1683 + 0.5094 x201 * x1684 ] = 0 e1895: [ 0.0054 x146 * x846 + 0.0048 x154 * x873 + 0.0619 x162 * x900 + 0.4538 x178 * x954 - x186 * x202 + 0.4741 x186 * x981 ] = 0 e1896: [ 0.0054 x147 * x318 + 0.0048 x155 * x324 + 0.0619 x163 * x330 + 0.4538 x179 * x342 - x187 * x203 + 0.4741 x187 * x348 ] = 0 e1897: [ 0.0054 x148 * x319 + 0.0048 x156 * x325 + 0.0619 x164 * x331 + 0.4538 x180 * x343 - x188 * x204 + 0.4741 x188 * x349 ] = 0 e1898: [ 0.0054 x149 * x320 + 0.0048 x157 * x326 + 0.0619 x165 * x332 + 0.4538 x181 * x344 - x189 * x205 + 0.4741 x189 * x350 ] = 0 e1899: [ 0.0054 x150 * x321 + 0.0048 x158 * x327 + 0.0619 x166 * x333 + 0.4538 x182 * x345 - x190 * x206 + 0.4741 x190 * x351 ] = 0 e1900: [ 0.0054 x151 * x322 + 0.0048 x159 * x328 + 0.0619 x167 * x334 + 0.4538 x183 * x346 - x191 * x207 + 0.4741 x191 * x352 ] = 0 e1901: [ 0.0054 x152 * x323 + 0.0048 x160 * x329 + 0.0619 x168 * x335 + 0.4538 x184 * x347 - x192 * x208 + 0.4741 x192 * x353 ] = 0 e1902: [ 0.0054 x153 * x1678 + 0.0048 x161 * x1679 + 0.0619 x169 * x1680 + 0.4538 x185 * x1682 - x193 * x209 + 0.4741 x193 * x1683 ] = 0 e1903: [ 0.0021 x170 * x927 + 0.1417 x178 * x954 - x194 * x202 + 0.8562 x194 * x1008 ] = 0 e1904: [ 0.0021 x171 * x336 + 0.1417 x179 * x342 - x195 * x203 + 0.8562 x195 * x354 ] = 0 e1905: [ 0.0021 x172 * x337 + 0.1417 x180 * x343 - x196 * x204 + 0.8562 x196 * x355 ] = 0 e1906: [ 0.0021 x173 * x338 + 0.1417 x181 * x344 - x197 * x205 + 0.8562 x197 * x356 ] = 0 e1907: [ 0.0021 x174 * x339 + 0.1417 x182 * x345 - x198 * x206 + 0.8562 x198 * x357 ] = 0 e1908: [ 0.0021 x175 * x340 + 0.1417 x183 * x346 - x199 * x207 + 0.8562 x199 * x358 ] = 0 e1909: [ 0.0021 x176 * x341 + 0.1417 x184 * x347 - x200 * x208 + 0.8562 x200 * x359 ] = 0 e1910: [ 0.0021 x177 * x1681 + 0.1417 x185 * x1682 - x201 * x209 + 0.8562 x201 * x1684 ] = 0 Bounds 0.003333333333 <= x2 0.003333333333 <= x3 0.003333333333 <= x4 0.003333333333 <= x5 0.003333333333 <= x6 0.003333333333 <= x7 0.003333333333 <= x8 0.003333333333 <= x9 0.003333333333 <= x10 0.003333333333 <= x11 0.003333333333 <= x12 0.003333333333 <= x13 0.003333333333 <= x14 0.003333333333 <= x15 0.003333333333 <= x16 0.003333333333 <= x17 0.003333333333 <= x18 0.003333333333 <= x19 0.003333333333 <= x20 0.003333333333 <= x21 0.003333333333 <= x22 0.003333333333 <= x23 0.003333333333 <= x24 0.003333333333 <= x25 0.003333333333 <= x26 0.003333333333 <= x27 0.003333333333 <= x28 0.003333333333 <= x29 0.003333333333 <= x30 0.003333333333 <= x31 0.003333333333 <= x32 0.003333333333 <= x33 0.003333333333 <= x34 0.003333333333 <= x35 0.003333333333 <= x36 0.003333333333 <= x37 0.003333333333 <= x38 0.003333333333 <= x39 0.003333333333 <= x40 0.003333333333 <= x41 0.003333333333 <= x42 0.003333333333 <= x43 0.003333333333 <= x44 0.003333333333 <= x45 0.003333333333 <= x46 0.003333333333 <= x47 0.003333333333 <= x48 0.003333333333 <= x49 0.003333333333 <= x50 0.003333333333 <= x51 0.003333333333 <= x52 0.003333333333 <= x53 0.003333333333 <= x54 0.003333333333 <= x55 0.003333333333 <= x56 0.003333333333 <= x57 0.003333333333 <= x58 0.003333333333 <= x59 0.003333333333 <= x60 0.003333333333 <= x61 0.003333333333 <= x62 0.003333333333 <= x63 0.003333333333 <= x64 0.003333333333 <= x65 0.003333333333 <= x66 0.003333333333 <= x67 0.003333333333 <= x68 0.003333333333 <= x69 0.003333333333 <= x70 0.003333333333 <= x71 0.003333333333 <= x72 0.003333333333 <= x73 0.003333333333 <= x74 0.003333333333 <= x75 0.003333333333 <= x76 0.003333333333 <= x77 0.003333333333 <= x78 0.003333333333 <= x79 0.003333333333 <= x80 0.003333333333 <= x81 0.003333333333 <= x82 0.003333333333 <= x83 0.003333333333 <= x84 0.003333333333 <= x85 0.003333333333 <= x86 0.003333333333 <= x87 0.003333333333 <= x88 0.003333333333 <= x89 0.003333333333 <= x90 0.003333333333 <= x91 0.003333333333 <= x92 0.003333333333 <= x93 0.003333333333 <= x94 0.003333333333 <= x95 0.003333333333 <= x96 0.003333333333 <= x97 0.003333333333 <= x98 0.003333333333 <= x99 0.003333333333 <= x100 0.003333333333 <= x101 0.003333333333 <= x102 0.003333333333 <= x103 0.003333333333 <= x104 0.003333333333 <= x105 0.003333333333 <= x106 0.003333333333 <= x107 0.003333333333 <= x108 0.003333333333 <= x109 0.003333333333 <= x110 0.003333333333 <= x111 0.003333333333 <= x112 0.003333333333 <= x113 0.003333333333 <= x114 0.003333333333 <= x115 0.003333333333 <= x116 0.003333333333 <= x117 0.003333333333 <= x118 0.003333333333 <= x119 0.003333333333 <= x120 0.003333333333 <= x121 0.003333333333 <= x122 0.003333333333 <= x123 0.003333333333 <= x124 0.003333333333 <= x125 0.003333333333 <= x126 0.003333333333 <= x127 0.003333333333 <= x128 0.003333333333 <= x129 0.003333333333 <= x130 0.003333333333 <= x131 0.003333333333 <= x132 0.003333333333 <= x133 0.003333333333 <= x134 0.003333333333 <= x135 0.003333333333 <= x136 0.003333333333 <= x137 0.003333333333 <= x138 0.003333333333 <= x139 0.003333333333 <= x140 0.003333333333 <= x141 0.003333333333 <= x142 0.003333333333 <= x143 0.003333333333 <= x144 0.003333333333 <= x145 0.003333333333 <= x146 0.003333333333 <= x147 0.003333333333 <= x148 0.003333333333 <= x149 0.003333333333 <= x150 0.003333333333 <= x151 0.003333333333 <= x152 0.003333333333 <= x153 0.003333333333 <= x154 0.003333333333 <= x155 0.003333333333 <= x156 0.003333333333 <= x157 0.003333333333 <= x158 0.003333333333 <= x159 0.003333333333 <= x160 0.003333333333 <= x161 0.003333333333 <= x162 0.003333333333 <= x163 0.003333333333 <= x164 0.003333333333 <= x165 0.003333333333 <= x166 0.003333333333 <= x167 0.003333333333 <= x168 0.003333333333 <= x169 0.003333333333 <= x170 0.003333333333 <= x171 0.003333333333 <= x172 0.003333333333 <= x173 0.003333333333 <= x174 0.003333333333 <= x175 0.003333333333 <= x176 0.003333333333 <= x177 0.003333333333 <= x178 0.003333333333 <= x179 0.003333333333 <= x180 0.003333333333 <= x181 0.003333333333 <= x182 0.003333333333 <= x183 0.003333333333 <= x184 0.003333333333 <= x185 0.003333333333 <= x186 0.003333333333 <= x187 0.003333333333 <= x188 0.003333333333 <= x189 0.003333333333 <= x190 0.003333333333 <= x191 0.003333333333 <= x192 0.003333333333 <= x193 0.003333333333 <= x194 0.003333333333 <= x195 0.003333333333 <= x196 0.003333333333 <= x197 0.003333333333 <= x198 0.003333333333 <= x199 0.003333333333 <= x200 0.003333333333 <= x201 0.12 <= x210 0.12 <= x211 0.12 <= x212 0.12 <= x213 0.12 <= x214 0.12 <= x215 0.12 <= x216 0.12 <= x217 0.12 <= x218 0.12 <= x219 0.12 <= x220 0.12 <= x221 0.12 <= x222 0.12 <= x223 0.12 <= x224 0.12 <= x225 0.12 <= x226 0.12 <= x227 0.12 <= x228 0.12 <= x229 0.12 <= x230 0.12 <= x231 0.12 <= x232 0.12 <= x233 0.12 <= x234 0.12 <= x235 0.12 <= x236 0.12 <= x237 0.12 <= x238 0.12 <= x239 0.12 <= x240 0.12 <= x241 0.12 <= x242 0.12 <= x243 0.12 <= x244 0.12 <= x245 0.12 <= x246 0.12 <= x247 0.12 <= x248 0.12 <= x249 0.12 <= x250 0.12 <= x251 0.12 <= x252 0.12 <= x253 0.12 <= x254 0.12 <= x255 0.12 <= x256 0.12 <= x257 0.12 <= x258 0.12 <= x259 0.12 <= x260 0.12 <= x261 0.12 <= x262 0.12 <= x263 0.12 <= x264 0.12 <= x265 0.12 <= x266 0.12 <= x267 0.12 <= x268 0.12 <= x269 0.12 <= x270 0.12 <= x271 0.12 <= x272 0.12 <= x273 0.12 <= x274 0.12 <= x275 0.12 <= x276 0.12 <= x277 0.12 <= x278 0.12 <= x279 0.12 <= x280 0.12 <= x281 0.12 <= x282 0.12 <= x283 0.12 <= x284 0.12 <= x285 0.12 <= x286 0.12 <= x287 0.12 <= x288 0.12 <= x289 0.12 <= x290 0.12 <= x291 0.12 <= x292 0.12 <= x293 0.12 <= x294 0.12 <= x295 0.12 <= x296 0.12 <= x297 0.12 <= x298 0.12 <= x299 0.12 <= x300 0.12 <= x301 0.12 <= x302 0.12 <= x303 0.12 <= x304 0.12 <= x305 0.12 <= x306 0.12 <= x307 0.12 <= x308 0.12 <= x309 0.12 <= x310 0.12 <= x311 0.12 <= x312 0.12 <= x313 0.12 <= x314 0.12 <= x315 0.12 <= x316 0.12 <= x317 0.12 <= x318 0.12 <= x319 0.12 <= x320 0.12 <= x321 0.12 <= x322 0.12 <= x323 0.12 <= x324 0.12 <= x325 0.12 <= x326 0.12 <= x327 0.12 <= x328 0.12 <= x329 0.12 <= x330 0.12 <= x331 0.12 <= x332 0.12 <= x333 0.12 <= x334 0.12 <= x335 0.12 <= x336 0.12 <= x337 0.12 <= x338 0.12 <= x339 0.12 <= x340 0.12 <= x341 0.12 <= x342 0.12 <= x343 0.12 <= x344 0.12 <= x345 0.12 <= x346 0.12 <= x347 0.12 <= x348 0.12 <= x349 0.12 <= x350 0.12 <= x351 0.12 <= x352 0.12 <= x353 0.12 <= x354 0.12 <= x355 0.12 <= x356 0.12 <= x357 0.12 <= x358 0.12 <= x359 0.12 <= x360 0.12 <= x387 0.12 <= x414 0.12 <= x441 0.12 <= x468 0.12 <= x495 0.12 <= x522 0.12 <= x549 0.12 <= x576 0.12 <= x603 0.12 <= x630 0.12 <= x657 0.12 <= x684 0.12 <= x711 0.12 <= x738 0.12 <= x765 0.12 <= x792 0.12 <= x819 0.12 <= x846 0.12 <= x873 0.12 <= x900 0.12 <= x927 0.12 <= x954 0.12 <= x981 0.12 <= x1008 0.12 <= x1660 0.12 <= x1661 0.12 <= x1662 0.12 <= x1663 0.12 <= x1664 0.12 <= x1665 0.12 <= x1666 0.12 <= x1667 0.12 <= x1668 0.12 <= x1669 0.12 <= x1670 0.12 <= x1671 0.12 <= x1672 0.12 <= x1673 0.12 <= x1674 0.12 <= x1675 0.12 <= x1676 0.12 <= x1677 0.12 <= x1678 0.12 <= x1679 0.12 <= x1680 0.12 <= x1681 0.12 <= x1682 0.12 <= x1683 0.12 <= x1684 Binary b361 b388 b415 b442 b469 b496 b523 b550 b577 b604 b631 b658 b685 b712 b739 b766 b793 b820 b847 b874 b901 b928 b955 b982 b1009 b1035 b1036 b1037 b1038 b1039 b1040 b1041 b1042 b1043 b1044 b1045 b1046 b1047 b1048 b1049 b1050 b1051 b1052 b1053 b1054 b1055 b1056 b1057 b1058 b1059 b1060 b1061 b1062 b1063 b1064 b1065 b1066 b1067 b1068 b1069 b1070 b1071 b1072 b1073 b1074 b1075 b1076 b1077 b1078 b1079 b1080 b1081 b1082 b1083 b1084 b1085 b1086 b1087 b1088 b1089 b1090 b1091 b1092 b1093 b1094 b1095 b1096 b1097 b1098 b1099 b1100 b1101 b1102 b1103 b1104 b1105 b1106 b1107 b1108 b1109 b1110 b1111 b1112 b1113 b1114 b1115 b1116 b1117 b1118 b1119 b1120 b1121 b1122 b1123 b1124 b1125 b1126 b1127 b1128 b1129 b1130 b1131 b1132 b1133 b1134 b1135 b1136 b1137 b1138 b1139 b1140 b1141 b1142 b1143 b1144 b1145 b1146 b1147 b1148 b1149 b1150 b1151 b1152 b1153 b1154 b1155 b1156 b1157 b1158 b1159 b1160 b1161 b1162 b1163 b1164 b1165 b1166 b1167 b1168 b1169 b1170 b1171 b1172 b1173 b1174 b1175 b1176 b1177 b1178 b1179 b1180 b1181 b1182 b1183 b1184 b1185 b1186 b1187 b1188 b1189 b1190 b1191 b1192 b1193 b1194 b1195 b1196 b1197 b1198 b1199 b1200 b1201 b1202 b1203 b1204 b1205 b1206 b1207 b1208 b1209 b1210 b1211 b1212 b1213 b1214 b1215 b1216 b1217 b1218 b1219 b1220 b1221 b1222 b1223 b1224 b1225 b1226 b1227 b1228 b1229 b1230 b1231 b1232 b1233 b1234 b1235 b1236 b1237 b1238 b1239 b1240 b1241 b1242 b1243 b1244 b1245 b1246 b1247 b1248 b1249 b1250 b1251 b1252 b1253 b1254 b1255 b1256 b1257 b1258 b1259 b1260 b1261 b1262 b1263 b1264 b1265 b1266 b1267 b1268 b1269 b1270 b1271 b1272 b1273 b1274 b1275 b1276 b1277 b1278 b1279 b1280 b1281 b1282 b1283 b1284 b1285 b1286 b1287 b1288 b1289 b1290 b1291 b1292 b1293 b1294 b1295 b1296 b1297 b1298 b1299 b1300 b1301 b1302 b1303 b1304 b1305 b1306 b1307 b1308 b1309 b1310 b1311 b1312 b1313 b1314 b1315 b1316 b1317 b1318 b1319 b1320 b1321 b1322 b1323 b1324 b1325 b1326 b1327 b1328 b1329 b1330 b1331 b1332 b1333 b1334 b1335 b1336 b1337 b1338 b1339 b1340 b1341 b1342 b1343 b1344 b1345 b1346 b1347 b1348 b1349 b1350 b1351 b1352 b1353 b1354 b1355 b1356 b1357 b1358 b1359 b1360 b1361 b1362 b1363 b1364 b1365 b1366 b1367 b1368 b1369 b1370 b1371 b1372 b1373 b1374 b1375 b1376 b1377 b1378 b1379 b1380 b1381 b1382 b1383 b1384 b1385 b1386 b1387 b1388 b1389 b1390 b1391 b1392 b1393 b1394 b1395 b1396 b1397 b1398 b1399 b1400 b1401 b1402 b1403 b1404 b1405 b1406 b1407 b1408 b1409 b1410 b1411 b1412 b1413 b1414 b1415 b1416 b1417 b1418 b1419 b1420 b1421 b1422 b1423 b1424 b1425 b1426 b1427 b1428 b1429 b1430 b1431 b1432 b1433 b1434 b1435 b1436 b1437 b1438 b1439 b1440 b1441 b1442 b1443 b1444 b1445 b1446 b1447 b1448 b1449 b1450 b1451 b1452 b1453 b1454 b1455 b1456 b1457 b1458 b1459 b1460 b1461 b1462 b1463 b1464 b1465 b1466 b1467 b1468 b1469 b1470 b1471 b1472 b1473 b1474 b1475 b1476 b1477 b1478 b1479 b1480 b1481 b1482 b1483 b1484 b1485 b1486 b1487 b1488 b1489 b1490 b1491 b1492 b1493 b1494 b1495 b1496 b1497 b1498 b1499 b1500 b1501 b1502 b1503 b1504 b1505 b1506 b1507 b1508 b1509 b1510 b1511 b1512 b1513 b1514 b1515 b1516 b1517 b1518 b1519 b1520 b1521 b1522 b1523 b1524 b1525 b1526 b1527 b1528 b1529 b1530 b1531 b1532 b1533 b1534 b1535 b1536 b1537 b1538 b1539 b1540 b1541 b1542 b1543 b1544 b1545 b1546 b1547 b1548 b1549 b1550 b1551 b1552 b1553 b1554 b1555 b1556 b1557 b1558 b1559 b1560 b1561 b1562 b1563 b1564 b1565 b1566 b1567 b1568 b1569 b1570 b1571 b1572 b1573 b1574 b1575 b1576 b1577 b1578 b1579 b1580 b1581 b1582 b1583 b1584 b1585 b1586 b1587 b1588 b1589 b1590 b1591 b1592 b1593 b1594 b1595 b1596 b1597 b1598 b1599 b1600 b1601 b1602 b1603 b1604 b1605 b1606 b1607 b1608 b1609 b1610 b1611 b1612 b1613 b1614 b1615 b1616 b1617 b1618 b1619 b1620 b1621 b1622 b1623 b1624 b1625 b1626 b1627 b1628 b1629 b1630 b1631 b1632 b1633 b1634 b1635 b1636 b1637 b1638 b1639 b1640 b1641 b1642 b1643 b1644 b1645 b1646 b1647 b1648 b1649 b1650 b1651 b1652 b1653 b1654 b1655 b1656 b1657 b1658 b1659 End