\ Equation counts \ Total E G L N X C B \ 2480 80 0 2400 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 2415 2400 15 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 8415 4815 3600 0 \ Minimize obj: 0 x1 + 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 x52 + 0 x53 + 0 x54 + 0 x55 + 0 x56 + 0 x57 + 0 x58 + 0 x59 + 0 x60 + 0 x61 + 0 x62 + 0 x63 + 0 x64 + 0 x65 + 0 x66 + 0 x67 + 0 x68 + 0 x69 + 0 x70 + 0 x71 + 0 x72 + 0 x73 + 0 x74 + 0 x75 + 0 x76 + 0 x77 + 0 x78 + 0 x79 + 0 x80 + 0 x81 + 0 x82 + 0 x83 + 0 x84 + 0 x85 + 0 x86 + 0 x87 + 0 x88 + 0 x89 + 0 x90 + 0 x91 + 0 x92 + 0 x93 + 0 x94 + 0 x95 + 0 x96 + 0 x97 + 0 x98 + 0 x99 + 0 x100 + 0 x101 + 0 x102 + 0 x103 + 0 x104 + 0 x105 + 0 x106 + 0 x107 + 0 x108 + 0 x109 + 0 x110 + 0 x111 + 0 x112 + 0 x113 + 0 x114 + 0 x115 + 0 x116 + 0 x117 + 0 x118 + 0 x119 + 0 x120 + 0 x121 + 0 x122 + 0 x123 + 0 x124 + 0 x125 + 0 x126 + 0 x127 + 0 x128 + 0 x129 + 0 x130 + 0 x131 + 0 x132 + 0 x133 + 0 x134 + 0 x135 + 0 x136 + 0 x137 + 0 x138 + 0 x139 + 0 x140 + 0 x141 + 0 x142 + 0 x143 + 0 x144 + 0 x145 + 0 x146 + 0 x147 + 0 x148 + 0 x149 + 0 x150 + 0 x151 + 0 x152 + 0 x153 + 0 x154 + 0 x155 + 0 x156 + 0 x157 + 0 x158 + 0 x159 + 0 x160 + 0 x161 + 0 x162 + 0 x163 + 0 x164 + 0 x165 + 0 x166 + 0 x167 + 0 x168 + 0 x169 + 0 x170 + 0 x171 + 0 x172 + 0 x173 + 0 x174 + 0 x175 + 0 x176 + 0 x177 + 0 x178 + 0 x179 + 0 x180 + 0 x181 + 0 x182 + 0 x183 + 0 x184 + 0 x185 + 0 x186 + 0 x187 + 0 x188 + 0 x189 + 0 x190 + 0 x191 + 0 x192 + 0 x193 + 0 x194 + 0 x195 + 0 x196 + 0 x197 + 0 x198 + 0 x199 + 0 x200 + 0 x201 + 0 x202 + 0 x203 + 0 x204 + 0 x205 + 0 x206 + 0 x207 + 0 x208 + 0 x209 + 0 x210 + 0 x211 + 0 x212 + 0 x213 + 0 x214 + 0 x215 + 0 x216 + 0 x217 + 0 x218 + 0 x219 + 0 x220 + 0 x221 + 0 x222 + 0 x223 + 0 x224 + 0 x225 + 0 x226 + 0 x227 + 0 x228 + 0 x229 + 0 x230 + 0 x231 + 0 x232 + 0 x233 + 0 x234 + 0 x235 + 0 x236 + 0 x237 + 0 x238 + 0 x239 + 0 x240 + 0 x241 + 0 x242 + 0 x243 + 0 x244 + 0 x245 + 0 x246 + 0 x247 + 0 x248 + 0 x249 + 0 x250 + 0 x251 + 0 x252 + 0 x253 + 0 x254 + 0 x255 + 0 x256 + 0 x257 + 0 x258 + 0 x259 + 0 x260 + 0 x261 + 0 x262 + 0 x263 + 0 x264 + 0 x265 + 0 x266 + 0 x267 + 0 x268 + 0 x269 + 0 x270 + 0 x271 + 0 x272 + 0 x273 + 0 x274 + 0 x275 + 0 x276 + 0 x277 + 0 x278 + 0 x279 + 0 x280 + 0 x281 + 0 x282 + 0 x283 + 0 x284 + 0 x285 + 0 x286 + 0 x287 + 0 x288 + 0 x289 + 0 x290 + 0 x291 + 0 x292 + 0 x293 + 0 x294 + 0 x295 + 0 x296 + 0 x297 + 0 x298 + 0 x299 + 0 x300 + 0 x301 + 0 x302 + 0 x303 + 0 x304 + 0 x305 + 0 x306 + 0 x307 + 0 x308 + 0 x309 + 0 x310 + 0 x311 + 0 x312 + 0 x313 + 0 x314 + 0 x315 + 0 x316 + 0 x317 + 0 x318 + 0 x319 + 0 x320 + 0 x321 + 0 x322 + 0 x323 + 0 x324 + 0 x325 + 0 x326 + 0 x327 + 0 x328 + 0 x329 + 0 x330 + 0 x331 + 0 x332 + 0 x333 + 0 x334 + 0 x335 + 0 x336 + 0 x337 + 0 x338 + 0 x339 + 0 x340 + 0 x341 + 0 x342 + 0 x343 + 0 x344 + 0 x345 + 0 x346 + 0 x347 + 0 x348 + 0 x349 + 0 x350 + 0 x351 + 0 x352 + 0 x353 + 0 x354 + 0 x355 + 0 x356 + 0 x357 + 0 x358 + 0 x359 + 0 x360 + 0 x361 + 0 x362 + 0 x363 + 0 x364 + 0 x365 + 0 x366 + 0 x367 + 0 x368 + 0 x369 + 0 x370 + 0 x371 + 0 x372 + 0 x373 + 0 x374 + 0 x375 + 0 x376 + 0 x377 + 0 x378 + 0 x379 + 0 x380 + 0 x381 + 0 x382 + 0 x383 + 0 x384 + 0 x385 + 0 x386 + 0 x387 + 0 x388 + 0 x389 + 0 x390 + 0 x391 + 0 x392 + 0 x393 + 0 x394 + 0 x395 + 0 x396 + 0 x397 + 0 x398 + 0 x399 + 0 x400 + 0 x401 + 0 x402 + 0 x403 + 0 x404 + 0 x405 + 0 x406 + 0 x407 + 0 x408 + 0 x409 + 0 x410 + 0 x411 + 0 x412 + 0 x413 + 0 x414 + 0 x415 + 0 x416 + 0 x417 + 0 x418 + 0 x419 + 0 x420 + 0 x421 + 0 x422 + 0 x423 + 0 x424 + 0 x425 + 0 x426 + 0 x427 + 0 x428 + 0 x429 + 0 x430 + 0 x431 + 0 x432 + 0 x433 + 0 x434 + 0 x435 + 0 x436 + 0 x437 + 0 x438 + 0 x439 + 0 x440 + 0 x441 + 0 x442 + 0 x443 + 0 x444 + 0 x445 + 0 x446 + 0 x447 + 0 x448 + 0 x449 + 0 x450 + 0 x451 + 0 x452 + 0 x453 + 0 x454 + 0 x455 + 0 x456 + 0 x457 + 0 x458 + 0 x459 + 0 x460 + 0 x461 + 0 x462 + 0 x463 + 0 x464 + 0 x465 + 0 x466 + 0 x467 + 0 x468 + 0 x469 + 0 x470 + 0 x471 + 0 x472 + 0 x473 + 0 x474 + 0 x475 + 0 x476 + 0 x477 + 0 x478 + 0 x479 + 0 x480 + 0 x481 + 0 x482 + 0 x483 + 0 x484 + 0 x485 + 0 x486 + 0 x487 + 0 x488 + 0 x489 + 0 x490 + 0 x491 + 0 x492 + 0 x493 + 0 x494 + 0 x495 + 0 x496 + 0 x497 + 0 x498 + 0 x499 + 0 x500 + 0 x501 + 0 x502 + 0 x503 + 0 x504 + 0 x505 + 0 x506 + 0 x507 + 0 x508 + 0 x509 + 0 x510 + 0 x511 + 0 x512 + 0 x513 + 0 x514 + 0 x515 + 0 x516 + 0 x517 + 0 x518 + 0 x519 + 0 x520 + 0 x521 + 0 x522 + 0 x523 + 0 x524 + 0 x525 + 0 x526 + 0 x527 + 0 x528 + 0 x529 + 0 x530 + 0 x531 + 0 x532 + 0 x533 + 0 x534 + 0 x535 + 0 x536 + 0 x537 + 0 x538 + 0 x539 + 0 x540 + 0 x541 + 0 x542 + 0 x543 + 0 x544 + 0 x545 + 0 x546 + 0 x547 + 0 x548 + 0 x549 + 0 x550 + 0 x551 + 0 x552 + 0 x553 + 0 x554 + 0 x555 + 0 x556 + 0 x557 + 0 x558 + 0 x559 + 0 x560 + 0 x561 + 0 x562 + 0 x563 + 0 x564 + 0 x565 + 0 x566 + 0 x567 + 0 x568 + 0 x569 + 0 x570 + 0 x571 + 0 x572 + 0 x573 + 0 x574 + 0 x575 + 0 x576 + 0 x577 + 0 x578 + 0 x579 + 0 x580 + 0 x581 + 0 x582 + 0 x583 + 0 x584 + 0 x585 + 0 x586 + 0 x587 + 0 x588 + 0 x589 + 0 x590 + 0 x591 + 0 x592 + 0 x593 + 0 x594 + 0 x595 + 0 x596 + 0 x597 + 0 x598 + 0 x599 + 0 x600 + 0 x601 + 0 x602 + 0 x603 + 0 x604 + 0 x605 + 0 x606 + 0 x607 + 0 x608 + 0 x609 + 0 x610 + 0 x611 + 0 x612 + 0 x613 + 0 x614 + 0 x615 + 0 x616 + 0 x617 + 0 x618 + 0 x619 + 0 x620 + 0 x621 + 0 x622 + 0 x623 + 0 x624 + 0 x625 + 0 x626 + 0 x627 + 0 x628 + 0 x629 + 0 x630 + 0 x631 + 0 x632 + 0 x633 + 0 x634 + 0 x635 + 0 x636 + 0 x637 + 0 x638 + 0 x639 + 0 x640 + 0 x641 + 0 x642 + 0 x643 + 0 x644 + 0 x645 + 0 x646 + 0 x647 + 0 x648 + 0 x649 + 0 x650 + 0 x651 + 0 x652 + 0 x653 + 0 x654 + 0 x655 + 0 x656 + 0 x657 + 0 x658 + 0 x659 + 0 x660 + 0 x661 + 0 x662 + 0 x663 + 0 x664 + 0 x665 + 0 x666 + 0 x667 + 0 x668 + 0 x669 + 0 x670 + 0 x671 + 0 x672 + 0 x673 + 0 x674 + 0 x675 + 0 x676 + 0 x677 + 0 x678 + 0 x679 + 0 x680 + 0 x681 + 0 x682 + 0 x683 + 0 x684 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 + 0 x1009 + 0 x1010 + 0 x1011 + 0 x1012 + 0 x1013 + 0 x1014 + 0 x1015 + 0 x1016 + 0 x1017 + 0 x1018 + 0 x1019 + 0 x1020 + 0 x1021 + 0 x1022 + 0 x1023 + 0 x1024 + 0 x1025 + 0 x1026 + 0 x1027 + 0 x1028 + 0 x1029 + 0 x1030 + 0 x1031 + 0 x1032 + 0 x1033 + 0 x1034 + 0 x1035 + 0 x1036 + 0 x1037 + 0 x1038 + 0 x1039 + 0 x1040 + 0 x1041 + 0 x1042 + 0 x1043 + 0 x1044 + 0 x1045 + 0 x1046 + 0 x1047 + 0 x1048 + 0 x1049 + 0 x1050 + 0 x1051 + 0 x1052 + 0 x1053 + 0 x1054 + 0 x1055 + 0 x1056 + 0 x1057 + 0 x1058 + 0 x1059 + 0 x1060 + 0 x1061 + 0 x1062 + 0 x1063 + 0 x1064 + 0 x1065 + 0 x1066 + 0 x1067 + 0 x1068 + 0 x1069 + 0 x1070 + 0 x1071 + 0 x1072 + 0 x1073 + 0 x1074 + 0 x1075 + 0 x1076 + 0 x1077 + 0 x1078 + 0 x1079 + 0 x1080 + 0 x1081 + 0 x1082 + 0 x1083 + 0 x1084 + 0 x1085 + 0 x1086 + 0 x1087 + 0 x1088 + 0 x1089 + 0 x1090 + 0 x1091 + 0 x1092 + 0 x1093 + 0 x1094 + 0 x1095 + 0 x1096 + 0 x1097 + 0 x1098 + 0 x1099 + 0 x1100 + 0 x1101 + 0 x1102 + 0 x1103 + 0 x1104 + 0 x1105 + 0 x1106 + 0 x1107 + 0 x1108 + 0 x1109 + 0 x1110 + 0 x1111 + 0 x1112 + 0 x1113 + 0 x1114 + 0 x1115 + 0 x1116 + 0 x1117 + 0 x1118 + 0 x1119 + 0 x1120 + 0 x1121 + 0 x1122 + 0 x1123 + 0 x1124 + 0 x1125 + 0 x1126 + 0 x1127 + 0 x1128 + 0 x1129 + 0 x1130 + 0 x1131 + 0 x1132 + 0 x1133 + 0 x1134 + 0 x1135 + 0 x1136 + 0 x1137 + 0 x1138 + 0 x1139 + 0 x1140 + 0 x1141 + 0 x1142 + 0 x1143 + 0 x1144 + 0 x1145 + 0 x1146 + 0 x1147 + 0 x1148 + 0 x1149 + 0 x1150 + 0 x1151 + 0 x1152 + 0 x1153 + 0 x1154 + 0 x1155 + 0 x1156 + 0 x1157 + 0 x1158 + 0 x1159 + 0 x1160 + 0 x1161 + 0 x1162 + 0 x1163 + 0 x1164 + 0 x1165 + 0 x1166 + 0 x1167 + 0 x1168 + 0 x1169 + 0 x1170 + 0 x1171 + 0 x1172 + 0 x1173 + 0 x1174 + 0 x1175 + 0 x1176 + 0 x1177 + 0 x1178 + 0 x1179 + 0 x1180 + 0 x1181 + 0 x1182 + 0 x1183 + 0 x1184 + 0 x1185 + 0 x1186 + 0 x1187 + 0 x1188 + 0 x1189 + 0 x1190 + 0 x1191 + 0 x1192 + 0 x1193 + 0 x1194 + 0 x1195 + 0 x1196 + 0 x1197 + 0 x1198 + 0 x1199 + 0 x1200 + 30 b1201 + 55 b1202 + 20 b1203 + 60 b1204 + 87 b1205 + 86 b1206 + 48 b1207 + 78 b1208 + 72 b1209 + 32 b1210 + 14 b1211 + 32 b1212 + 98 b1213 + 50 b1214 + 24 b1215 + 21.7351791412031 x1216 + 26.3357987490845 x1217 + 1.88878452616419 x1218 + 24.8479065114483 x1219 + 37.14740957734 x1220 + 30.7654627009678 x1221 + 39.1399530681572 x1222 + 28.5774055992267 x1223 + 9.8976562115857 x1224 + 31.0814575750608 x1225 + 41.6854084635203 x1226 + 7.01671019695507 x1227 + 19.6092191638313 x1228 + 33.9745059602919 x1229 + 31.9507253641244 x1230 + 30.3194218492295 x1231 + 42.4046065528869 x1232 + 38.5895992707019 x1233 + 35.578578001601 x1234 + 33.9983105295824 x1235 + 18.815361584438 x1236 + 40.1152823311643 x1237 + 42.323330080034 x1238 + 29.1651224557714 x1239 + 55.2578888793286 x1240 + 8.24123478512744 x1241 + 33.3804271237354 x1242 + 49.5995556446429 x1243 + 30.993392292032 x1244 + 45.0651249987439 x1245 + 23.7311302158277 x1246 + 5.34898069873946 x1247 + 25.7308722430105 x1248 + 18.9568487673517 x1249 + 9.03448196403863 x1250 + 3.69544890544951 x1251 + 21.0201178105184 x1252 + 45.3632896194627 x1253 + 21.2135260251683 x1254 + 5.34868758239057 x1255 + 20.7200656624602 x1256 + 31.4999156920645 x1257 + 30.1157228021561 x1258 + 29.3626482434949 x1259 + 33.4700069823401 x1260 + 13.2257959489691 x1261 + 18.6223272520033 x1262 + 26.4214923683776 x1263 + 16.5258476848497 x1264 + 30.2026360482579 x1265 + 10.3897153180293 x1266 + 37.2251056155188 x1267 + 27.9167081233442 x1268 + 11.5850838436088 x1269 + 26.9835577801541 x1270 + 41.0687930803845 x1271 + 33.8562911888646 x1272 + 30.3021601844013 x1273 + 20.1477073027846 x1274 + 35.7668659985695 x1275 + 28.9584180150741 x1276 + 4.07135396821064 x1277 + 29.426322552465 x1278 + .192077762188345 x1279 + 15.0819021530566 x1280 + 14.8507317025942 x1281 + 40.0354040524995 x1282 + 41.7716713943993 x1283 + 32.7415533408609 x1284 + 49.9796289466886 x1285 + 14.8634258916753 x1286 + 7.98520377081933 x1287 + 4.66080639335659 x1288 + 22.0699337627183 x1289 + 45.3184842405797 x1290 + 23.8308656115946 x1291 + 46.5403059164463 x1292 + 27.2229703735229 x1293 + 28.9819861836667 x1294 + 26.6514894215817 x1295 + 14.6840878406696 x1296 + 13.4931611857815 x1297 + 12.5106200990795 x1298 + 29.4866695609616 x1299 + 35.1463492718961 x1300 + 33.2114273907171 x1301 + 33.3897591354704 x1302 + 29.6150034300454 x1303 + 8.43494632615099 x1304 + 25.5985750019886 x1305 + 42.5480042751483 x1306 + 7.22381811484359 x1307 + 28.3968525224099 x1308 + 24.4014077340935 x1309 + 24.5606632896178 x1310 + 18.9503592256681 x1311 + 31.6494999684174 x1312 + 25.2857077740703 x1313 + 22.0123821630689 x1314 + 19.8243603593498 x1315 + 21.0513135408266 x1316 + 38.9788961295836 x1317 + 39.4319289568429 x1318 + 16.2889839289597 x1319 + 45.1386580973708 x1320 + 5.93878207196127 x1321 + 28.2253062266397 x1322 + 40.0106388700951 x1323 + 26.1689145326727 x1324 + 40.1027406850434 x1325 + 10.8344193193245 x1326 + 19.4826045713233 x1327 + 11.8507361921377 x1328 + 19.633232676794 x1329 + 19.5461038826274 x1330 + 17.8722069037332 x1331 + 24.3215427185823 x1332 + 33.6303418666408 x1333 + 20.9950157635784 x1334 + 18.0026252894892 x1335 + 6.54188733634299 x1336 + 17.3423117023234 x1337 + 17.1628802084298 x1338 + 25.7064109999002 x1339 + 19.3154356326059 x1340 + 24.4956733691698 x1341 + 8.28342146558343 x1342 + 14.3253849945571 x1343 + 16.8885878528045 x1344 + 17.5273200710849 x1345 + 24.5666692942853 x1346 + 23.0832401997675 x1347 + 30.2914904561542 x1348 + 23.5642736480613 x1349 + 14.391373125043 x1350 + 40.3442990836247 x1351 + 29.2400464005036 x1352 + 17.6991443166907 x1353 + 19.904362006986 x1354 + 26.0001028816579 x1355 + 20.6249981546058 x1356 + 18.0450811709385 x1357 + 16.2485322650309 x1358 + 14.2083287190407 x1359 + 8.6045756039678 x1360 + 5.15097195670562 x1361 + 35.761951607119 x1362 + 29.6319785459365 x1363 + 32.3895562360149 x1364 + 38.7547526276934 x1365 + 24.401832387 x1366 + 9.01214491897879 x1367 + 16.8278166016637 x1368 + 17.7377241186741 x1369 + 40.3180234717052 x1370 + 30.8677075426733 x1371 + 36.9049517545271 x1372 + 21.5281792926138 x1373 + 14.8843827707503 x1374 + 18.8792342312056 x1375 + 15.2445499184295 x1376 + 5.05058294221918 x1377 + 29.4608075361795 x1378 + 35.846327454311 x1379 + 32.0757270287493 x1380 + 36.1915596578045 x1381 + 25.4115687932882 x1382 + 31.9314812088261 x1383 + 26.3189208970148 x1384 + 20.6972394715675 x1385 + 41.7197758282907 x1386 + 24.9028357264707 x1387 + 39.0956843713225 x1388 + 12.8235681909222 x1389 + 17.0119123889203 x1390 + 6.49147915537333 x1391 + 15.989525283847 x1392 + 7.27773825511421 x1393 + 4.51781336339075 x1394 + 9.97255926443981 x1395 + 27.998555577776 x1396 + 36.2189108913652 x1397 + 34.2298785136355 x1398 + 2.46996996973419 x1399 + 29.2421420580645 x1400 + 23.5233418379532 x1401 + 22.7488719752401 x1402 + 25.1512643062015 x1403 + 22.0192115637282 x1404 + 31.8859992076993 x1405 + 7.58679273244644 x1406 + 36.6318191108726 x1407 + 6.79678487269347 x1408 + 25.7545141651909 x1409 + 33.6446452010495 x1410 + 34.9205981346639 x1411 + 30.9380153975795 x1412 + 16.4305116594863 x1413 + 25.4101416094222 x1414 + 33.747649552309 x1415 + 12.7761848960439 x1416 + 9.87997166311666 x1417 + 17.7395729522558 x1418 + 23.4572630322107 x1419 + 10.5274781548595 x1420 + 38.0989977752011 x1421 + 21.0237021027737 x1422 + 19.3222068096501 x1423 + 24.3921766258346 x1424 + 18.7974242318804 x1425 + 41.353998950289 x1426 + 9.49433544782175 x1427 + 33.9578629109469 x1428 + 37.8982084822998 x1429 + 4.69724196309213 x1430 + 37.8631615057101 x1431 + 24.2078525564602 x1432 + 2.63593463417545 x1433 + 24.9003664766757 x1434 + 13.4026042473224 x1435 + 13.663343559705 x1436 + 35.3748980766045 x1437 + 16.6197485980483 x1438 + 31.2928792372625 x1439 + 17.6398682148919 x1440 + 16.5533764883459 x1441 + 29.390144559218 x1442 + 12.1715750909798 x1443 + 32.1886154683739 x1444 + 21.8841684470855 x1445 + 36.605766325701 x1446 + 23.9737662130094 x1447 + 34.6612824030759 x1448 + 19.3035398787061 x1449 + 32.0106076283534 x1450 + 39.3617998483215 x1451 + 22.2971781617912 x1452 + 18.4660541083365 x1453 + 10.798772452609 x1454 + 14.2711652429554 x1455 + 10.5951073092977 x1456 + 13.3717918514141 x1457 + 30.5002971676321 x1458 + 26.4023923357411 x1459 + 18.4420474536558 x1460 + 24.6894350279039 x1461 + 11.5610340098843 x1462 + 20.5969362575542 x1463 + 31.5680986396497 x1464 + 7.51271534163742 x1465 + 28.3131791366565 x1466 + 27.9565796116186 x1467 + 32.3143324855494 x1468 + 2.45647807000462 x1469 + 3.30600013454037 x1470 + 7.55672151706729 x1471 + 11.0836976189633 x1472 + 16.4503009401809 x1473 + 16.6657655210436 x1474 + 23.9493666509845 x1475 + 20.6152172677053 x1476 + 22.5115637331865 x1477 + 20.254611565371 x1478 + 12.6508967868958 x1479 + 22.9855584318587 x1480 + 26.7314555931944 x1481 + 9.03554063860568 x1482 + 17.2784389107171 x1483 + 8.94630690080404 x1484 + 18.2517444520226 x1485 + 14.7692157985273 x1486 + 36.9524476205606 x1487 + 17.7184111010047 x1488 + 18.4946769031509 x1489 + 30.7143629843881 x1490 + 35.2757781690087 x1491 + 22.555838883413 x1492 + 15.4187855513272 x1493 + 17.0046164443909 x1494 + 32.5235325334047 x1495 + 21.670730166604 x1496 + 23.615671070848 x1497 + 30.7158701720693 x1498 + 11.1134102904861 x1499 + 24.4722323851865 x1500 + 33.9725635867278 x1501 + 30.0048696807368 x1502 + 31.202701085139 x1503 + 18.7285981918586 x1504 + 31.7105592915795 x1505 + 40.5857513621026 x1506 + 23.0068531400854 x1507 + 23.1097847871228 x1508 + 34.5183370686765 x1509 + 12.3522174023943 x1510 + 24.169171291787 x1511 + 10.5050805978953 x1512 + 11.4723709067189 x1513 + 17.1166931138382 x1514 + 4.03601937221463 x1515 + 3.37361426777758 x1516 + 36.1654048679597 x1517 + 29.5154563745336 x1518 + 32.2178246041672 x1519 + 17.451780579064 x1520 + 19.1785782211046 x1521 + 15.4156977775755 x1522 + 13.6616930593086 x1523 + 19.5498619117352 x1524 + 18.6828340348081 x1525 + 31.4376858239392 x1526 + 24.3802817133226 x1527 + 36.6914040221635 x1528 + 11.7367036155812 x1529 + 18.4059591105049 x1530 + 30.894853804763 x1531 + 14.2265570879465 x1532 + 7.48612764824385 x1533 + 23.8915919220168 x1534 + 5.7346520563137 x1535 + 4.31592759117185 x1536 + 10.2864007994657 x1537 + 24.1473075676559 x1538 + 23.1178967419133 x1539 + 19.9023623863232 x1540 + 23.0385995232304 x1541 + 15.8968292009114 x1542 + 18.7782878875501 x1543 + 25.4310882048572 x1544 + 8.76669495406288 x1545 + 29.0860134211461 x1546 + 21.6442983625365 x1547 + 27.6870884378764 x1548 + 8.07661720551572 x1549 + 6.89370451811465 x1550 + 7.45110731881448 x1551 + 16.8093565032918 x1552 + 18.1884247027903 x1553 + 17.0972070181089 x1554 + 22.4252467253109 x1555 + 16.0122814757345 x1556 + 24.0558116306269 x1557 + 23.1144460116987 x1558 + 10.9924881480658 x1559 + 29.2902518770048 x1560 + 20.4440756527655 x1561 + 11.3064404398938 x1562 + 23.6317574590018 x1563 + 9.79568209611325 x1564 + 22.7040368306338 x1565 + 10.5948954511074 x1566 + 30.6711098525045 x1567 + 14.321103710621 x1568 + 13.7543339605792 x1569 + 24.8402076583054 x1570 + 28.9824551022038 x1571 + 18.5452746941353 x1572 + 20.5412210696262 x1573 + 12.84775802644 x1574 + 26.3755863324165 x1575 + 16.8756356139454 x1576 + 21.4259015709639 x1577 + 27.3611690197677 x1578 + 10.6239541902326 x1579 + 22.7161239944347 x1580 + 28.4399386103355 x1581 + 24.7327913560092 x1582 + 27.0880643124562 x1583 + 13.3065166812676 x1584 + 28.2668561668319 x1585 + 34.444098113915 x1586 + 22.6385895805714 x1587 + 20.8552546877343 x1588 + 28.8000361321027 x1589 + 9.59303682419745 x1590 + 25.6426374931918 x1591 + 12.5899211705066 x1592 + 10.5758996307315 x1593 + 12.5974354939072 x1594 + 9.88522928944475 x1595 + 3.06677401917074 x1596 + 29.8467021525178 x1597 + 26.1432024309926 x1598 + 25.8754194118668 x1599 + 11.0936100275737 x1600 + 13.0186697689594 x1601 + 18.8182597364937 x1602 + 17.8363092048027 x1603 + 19.2281866559561 x1604 + 24.4895141599051 x1605 + 26.1832147241285 x1606 + 18.0224687571825 x1607 + 30.3287028832902 x1608 + 6.77171504296352 x1609 + 22.9023994510807 x1610 + 27.0749507820039 x1611 + 20.565334896102 x1612 + 5.51139737904569 x1613 + 20.9896669179014 x1614 + 1.39747033542657 x1615 + 24.2873017862733 x1616 + 32.7078425996045 x1617 + 40.0021453999895 x1618 + 21.3785228853117 x1619 + 4.27805125244602 x1620 + 15.115639904161 x1621 + 9.71903505558277 x1622 + 14.1939886044565 x1623 + 45.0008234326638 x1624 + 13.963776656098 x1625 + 10.1931503725206 x1626 + 40.1197624899362 x1627 + 30.3714411588744 x1628 + 21.7824545725368 x1629 + 17.1353703874393 x1630 + 27.6506820446015 x1631 + 25.7060070517335 x1632 + 36.0419153760372 x1633 + 36.7553283337993 x1634 + 44.0766008598108 x1635 + 22.8865811693455 x1636 + 4.10688540715112 x1637 + 1.23684134536378 x1638 + 32.5970792991326 x1639 + 28.8228283083743 x1640 + 39.3377350593433 x1641 + 11.5367953744156 x1642 + 23.8402583952627 x1643 + 12.9712472502334 x1644 + 7.64771536913316 x1645 + 33.3117520593056 x1646 + 44.1982257532459 x1647 + 36.9331313693804 x1648 + 22.4023973377894 x1649 + 35.3039742283386 x1650 + 42.9038571697548 x1651 + 21.8084537068555 x1652 + 30.5459049686082 x1653 + 20.1362808780543 x1654 + 38.8526412774632 x1655 + 39.4143346379491 x1656 + 43.5574426402644 x1657 + 50.039795322438 x1658 + 13.0687167522694 x1659 + 44.5533776606085 x1660 + 35.9064568241919 x1661 + 46.666860565447 x1662 + 49.7757122640619 x1663 + 24.8735194951334 x1664 + 50.9637515473929 x1665 + 45.7727128641088 x1666 + 43.1662177621835 x1667 + 16.353700299095 x1668 + 37.4132480137652 x1669 + 31.8364488074913 x1670 + 5.34659437852246 x1671 + 10.1589294217603 x1672 + 31.5697303428585 x1673 + 21.2124156570949 x1674 + 22.0077820067435 x1675 + 20.8699061508912 x1676 + 44.1291377273765 x1677 + 48.8218103186018 x1678 + 41.181370730836 x1679 + 30.3921468281738 x1680 + 33.6317491498731 x1681 + 5.28372834641605 x1682 + 31.1563595918544 x1683 + 9.53015212185761 x1684 + 30.3286876372926 x1685 + 32.4964843878304 x1686 + 35.0007433445198 x1687 + 45.9804471193223 x1688 + 21.0987563950071 x1689 + 7.85910054032081 x1690 + 26.1853093805216 x1691 + 22.7671598777891 x1692 + 17.5962883619629 x1693 + 43.4937798218948 x1694 + 21.3246447953235 x1695 + 5.21793416602199 x1696 + 16.3030434155959 x1697 + 18.4777785328273 x1698 + 15.4846546028992 x1699 + 18.5181610256671 x1700 + 17.1824870821081 x1701 + 19.0439253233719 x1702 + 13.1978345644949 x1703 + 22.6138335933173 x1704 + 10.9950231467442 x1705 + 25.7650718110968 x1706 + 17.7940808543718 x1707 + 19.1804376538265 x1708 + 16.0396378584404 x1709 + 12.4616669579954 x1710 + 15.699458174028 x1711 + 24.8656916733697 x1712 + 26.3644224961494 x1713 + 24.7919425137723 x1714 + 28.4905483615204 x1715 + 7.61322440050327 x1716 + 22.2163353461855 x1717 + 23.1832675169174 x1718 + 18.0417501796751 x1719 + 36.452188184736 x1720 + 16.9613329432603 x1721 + 13.2926292755818 x1722 + 30.5687205713274 x1723 + 10.9153151621033 x1724 + 25.1132101877879 x1725 + 15.2422000350969 x1726 + 24.0725310216096 x1727 + 19.23460303404 x1728 + 5.34221846082661 x1729 + 16.9919466645697 x1730 + 22.497278508504 x1731 + 10.4772849897173 x1732 + 28.9066829587799 x1733 + 5.11957727614581 x1734 + 19.2143559033155 x1735 + 19.1669483938767 x1736 + 26.9217668162755 x1737 + 31.0578180645139 x1738 + 9.54945652312654 x1739 + 28.5510498460409 x1740 + 20.1530423444413 x1741 + 25.0398579840752 x1742 + 29.6244355044959 x1743 + 4.90486057897381 x1744 + 31.7841374252085 x1745 + 27.1748828798936 x1746 + 29.6012772598693 x1747 + 14.4769781737169 x1748 + 20.7037145353051 x1749 + 16.0625088615783 x1750 + 23.5411810120698 x1751 + 13.8509633416965 x1752 + 18.1319315251185 x1753 + 4.45401327621015 x1754 + 17.7968792829389 x1755 + 10.6478261127117 x1756 + 23.5506747888029 x1757 + 29.8902425056931 x1758 + 19.9571046999283 x1759 + 8.23401972567033 x1760 + 11.7354869436472 x1761 + 20.2208991686532 x1762 + 26.3563776583923 x1763 + 15.569075925902 x1764 + 32.5020633565981 x1765 + 17.7233786408771 x1766 + 12.8728458182913 x1767 + 24.72898814801 x1768 + 2.14322197726564 x1769 + 25.3600082170271 x1770 + 18.9198095073216 x1771 + 27.6590133515144 x1772 + 7.30652467876812 x1773 + 25.730532301959 x1774 + 8.3622959954215 x1775 + 18.8765731657714 x1776 + 26.4794238754833 x1777 + 7.29509409075907 x1778 + 17.3280653740658 x1779 + 30.7687981032206 x1780 + 23.4473681796593 x1781 + 34.104957995766 x1782 + 21.6240106430274 x1783 + 16.2281705399512 x1784 + 26.3563988544696 x1785 + 34.4827056498368 x1786 + 11.6371655196409 x1787 + 12.3475044792801 x1788 + 31.1832165026378 x1789 + 28.0870676093676 x1790 + 28.9621435339167 x1791 + 39.9645742587709 x1792 + 38.5473426871913 x1793 + 35.9953773599888 x1794 + 36.2684300884602 x1795 + 12.1508184678099 x1796 + 33.4026398831952 x1797 + 36.0872336731722 x1798 + 29.1201267580562 x1799 + 52.0316153503936 x1800 + 12.2017554805743 x1801 + 28.3621232292208 x1802 + 46.1757037619575 x1803 + 25.9798118470035 x1804 + 39.5066401712726 x1805 + 24.1753806315921 x1806 + 9.16431168229829 x1807 + 27.1160318642895 x1808 + 12.8850871757436 x1809 + 2.32334429784703 x1810 + 7.95777157204001 x1811 + 13.8468127812725 x1812 + 43.5555041701505 x1813 + 15.1965112870638 x1814 + 3.82787488672651 x1815 + 23.3358587570029 x1816 + 33.9673597705175 x1817 + 34.3322068495914 x1818 + 23.9658113019338 x1819 + 35.9191132933384 x1820 + 7.26849824045349 x1821 + 23.8034585692739 x1822 + 31.1494031472701 x1823 + 11.0859315887674 x1824 + 34.6228802849242 x1825 + 11.548188154846 x1826 + 38.8821972822662 x1827 + 20.6776420178335 x1828 + 6.51072390987182 x1829 + 26.8511471950552 x1830 + 34.22782070627 x1831 + 28.5808216765919 x1832 + 29.9268324542573 x1833 + 14.2844669175533 x1834 + 32.9867928534102 x1835 + 25.8402598834894 x1836 + 9.23300012369038 x1837 + 33.4564833061381 x1838 + 7.38949537676586 x1839 + 13.8832579494463 x1840 + 15.4543963359129 x1841 + 34.3595945120086 x1842 + 40.4250155568515 x1843 + 26.0131728059038 x1844 + 47.6451614476053 x1845 + 7.73140981177141 x1846 + 8.30417476216745 x1847 + 11.6322872195416 x1848 + 17.7723674130268 x1849 + 39.768319488808 x1850 + 16.301216887053 x1851 + 43.2322010288633 x1852 + 22.9221100671331 x1853 + 31.7573504416989 x1854 + 23.4648285169071 x1855 + 29.0327526953176 x1856 + 35.5787886545954 x1857 + 11.655214880588 x1858 + 24.4065524931685 x1859 + 39.99179529509 x1860 + 31.1549886635327 x1861 + 44.1710075340323 x1862 + 30.2846890128015 x1863 + 19.4781058678726 x1864 + 36.5553657177002 x1865 + 42.2205405715256 x1866 + 17.0805723566729 x1867 + 16.3690942659559 x1868 + 41.3969286358011 x1869 + 38.3769341157914 x1870 + 38.776572754719 x1871 + 50.1395791880036 x1872 + 47.8324719049396 x1873 + 45.0119546552436 x1874 + 43.9816321013763 x1875 + 21.6528239312793 x1876 + 42.1576449203697 x1877 + 45.3825947409666 x1878 + 38.3459837905536 x1879 + 62.3176997748975 x1880 + 18.2564692496558 x1881 + 38.4707277415364 x1882 + 56.4659075832573 x1883 + 36.1075827080671 x1884 + 49.2928160943275 x1885 + 33.0783577521599 x1886 + 5.30578254172082 x1887 + 35.4507999965598 x1888 + 22.8027942435491 x1889 + 9.17618671237509 x1890 + 6.51571420361179 x1891 + 22.4789806141749 x1892 + 53.5861246388729 x1893 + 25.0687330175144 x1894 + 7.0206102127578 x1895 + 30.6995987491096 x1896 + 41.50755779378 x1897 + 40.1265112104792 x1898 + 33.9766671688102 x1899 + 43.4805958431277 x1900 + 9.0662660181776 x1901 + 28.4840029010478 x1902 + 36.3379592455511 x1903 + 21.2930906399402 x1904 + 40.1730617234658 x1905 + 1.56707206432709 x1906 + 47.0875462993148 x1907 + 28.7484763605426 x1908 + 7.16986152958053 x1909 + 36.1016618482654 x1910 + 42.7625370105481 x1911 + 38.5945684562606 x1912 + 39.3272034421274 x1913 + 24.2649219030887 x1914 + 43.204123024631 x1915 + 36.0833737496542 x1916 + 6.902802359195 x1917 + 39.466941045315 x1918 + 10.0184478847587 x1919 + 23.392830582994 x1920 + 24.0904612987335 x1921 + 44.1161218553489 x1922 + 50.2965068516751 x1923 + 34.8992718081893 x1924 + 57.8148905524616 x1925 + 12.3774592288062 x1926 + 16.6511911375191 x1927 + 9.78108558739169 x1928 + 28.0604267909266 x1929 + 49.5575796256594 x1930 + 21.4417321514405 x1931 + 53.5182776859903 x1932 + 33.1977137719277 x1933 + 39.0226516905124 x1934 + 33.7074837290413 x1935 + 6.27092341749388 x1936 + 16.4201147165111 x1937 + 23.8110374581729 x1938 + 17.135800863895 x1939 + 14.6461228367945 x1940 + 16.6391917491343 x1941 + 13.7181244575379 x1942 + 12.3789012528418 x1943 + 27.3258690268114 x1944 + 5.62364187532843 x1945 + 23.1744668607713 x1946 + 22.7459936034125 x1947 + 22.7862064799798 x1948 + 11.957442835772 x1949 + 7.46503778981813 x1950 + 13.691042613852 x1951 + 20.5546982193333 x1952 + 24.3278036784743 x1953 + 23.4528463119567 x1954 + 28.7015281682776 x1955 + 11.1319923548146 x1956 + 18.6666168994509 x1957 + 18.7357821902469 x1958 + 17.3690443520215 x1959 + 31.4274714246264 x1960 + 21.7928770297481 x1961 + 8.01830686644981 x1962 + 25.4991139438937 x1963 + 5.70286485598298 x1964 + 19.9732025019551 x1965 + 16.2271243323594 x1966 + 29.4508838189241 x1967 + 20.1688397042495 x1968 + 9.10007033234744 x1969 + 22.1194587554545 x1970 + 27.8810675917283 x1971 + 13.0319797773256 x1972 + 24.9579824051127 x1973 + 7.46962284656618 x1974 + 24.5444520540995 x1975 + 21.6250603967865 x1976 + 27.5553706604651 x1977 + 32.9124389338469 x1978 + 5.06281285003671 x1979 + 28.9422125054262 x1980 + 24.8754997477577 x1981 + 28.5839382735006 x1982 + 32.1281514239643 x1983 + 9.89039906476159 x1984 + 33.7521338913061 x1985 + 32.4519635712842 x1986 + 29.0357241241732 x1987 + 14.5059660372224 x1988 + 25.6258930316815 x1989 + 15.8405504598549 x1990 + 20.1604881208271 x1991 + 8.75161031021025 x1992 + 16.9733427043134 x1993 + 7.66183034190004 x1994 + 13.5674094661574 x1995 + 6.9756595492539 x1996 + 28.9356586387161 x1997 + 31.7041636343567 x1998 + 25.3206704845554 x1999 + 12.4680962229146 x2000 + 15.5671603189508 x2001 + 15.2611618504135 x2002 + 22.9645638303663 x2003 + 13.0829999079938 x2004 + 28.0383279575436 x2005 + 22.1406434354673 x2006 + 18.0651371200933 x2007 + 30.0762635215038 x2008 + 3.41273535047443 x2009 + 20.2122005462276 x2010 + 21.4418728095802 x2011 + 22.6775875596177 x2012 + 2.14733745748218 x2013 + 26.8753371957365 x2014 + 5.39194239528395 x2015 + 19.4245568479335 x2016 + 8.69129988214374 x2017 + 32.365962748786 x2018 + 40.0568691849538 x2019 + 36.0622572162862 x2020 + 40.4297447613664 x2021 + 28.9455901011899 x2022 + 36.1694638177169 x2023 + 28.2158526748543 x2024 + 24.7363150568125 x2025 + 45.7856707848863 x2026 + 27.4886680205179 x2027 + 43.0945669825886 x2028 + 16.2955256433445 x2029 + 20.9078041048905 x2030 + 10.4957534295198 x2031 + 17.6561001226507 x2032 + 5.79688273610552 x2033 + 2.26034881888542 x2034 + 6.79558955628621 x2035 + 32.1338030870969 x2036 + 40.1839010098522 x2037 + 37.9682272794084 x2038 + 6.59819217116424 x2039 + 30.1798434194469 x2040 + 26.1312353123592 x2041 + 26.6830478837768 x2042 + 26.7614424775863 x2043 + 26.0864290629432 x2044 + 35.2189601918686 x2045 + 10.8316372608149 x2046 + 39.5262875323291 x2047 + 8.53371632437214 x2048 + 29.9024398719073 x2049 + 37.2030505361587 x2050 + 37.8416312591412 x2051 + 35.1143214258156 x2052 + 16.879813536278 x2053 + 29.6183868815049 x2054 + 37.0109001566834 x2055 + 14.3310970934996 x2056 + 7.68585644893793 x2057 + 16.0485640561779 x2058 + 27.6159313768827 x2059 + 7.58764682374276 x2060 + 41.7772830071523 x2061 + 21.7641181592476 x2062 + 18.4884372904548 x2063 + 28.4407843462241 x2064 + 17.1176906389526 x2065 + 44.4009351740163 x2066 + 5.31766049516491 x2067 + 38.2020878955017 x2068 + 41.4658929426407 x2069 + 8.64911700472605 x2070 + 41.8353912980411 x2071 + 28.1511100504032 x2072 + 6.82665016102196 x2073 + 29.0848430120125 x2074 + 16.5575694892444 x2075 + 17.7655255616514 x2076 + 38.1901551678565 x2077 + 15.0753312347123 x2078 + 34.1731863344833 x2079 + 21.2612955603823 x2080 + 19.7231270920699 x2081 + 33.0642103697425 x2082 + 12.6435048581155 x2083 + 36.3555119273223 x2084 + 22.3760432229077 x2085 + 40.441544463786 x2086 + 27.1944045409952 x2087 + 37.1984819614833 x2088 + 23.5276036355508 x2089 + 35.3246407474913 x2090 + 43.5055499485364 x2091 + 24.1381486938961 x2092 + 22.6632793407565 x2093 + 9.56789512901057 x2094 + 18.4869076584331 x2095 + 22.2269499359427 x2096 + 13.2550937518099 x2097 + 25.1453382660911 x2098 + 41.0352637691987 x2099 + 42.7417572467178 x2100 + 43.596565286124 x2101 + 38.084396647141 x2102 + 39.5796033018788 x2103 + 18.044171599573 x2104 + 31.6723154840129 x2105 + 51.4972710132865 x2106 + 19.6519747996515 x2107 + 41.1202387431236 x2108 + 26.230474431635 x2109 + 28.9915616800504 x2110 + 19.4474659185603 x2111 + 30.4102838900897 x2112 + 19.4930507304363 x2113 + 15.9468489741613 x2114 + 9.17784454182957 x2115 + 32.4468614535123 x2116 + 46.8645167831484 x2117 + 45.9960091782347 x2118 + 14.4706018500513 x2119 + 43.5338138892771 x2120 + 18.5897629326075 x2121 + 34.1577402203408 x2122 + 39.5763773669051 x2123 + 32.7080768872461 x2124 + 44.8542954447973 x2125 + 12.3244150813255 x2126 + 31.6843285771549 x2127 + 8.90780687530097 x2128 + 30.6135141878984 x2129 + 32.580849731743 x2130 + 30.2154580900441 x2131 + 35.7648932261621 x2132 + 30.4109621626452 x2133 + 31.3638186712204 x2134 + 30.9067139957158 x2135 + 7.47015041884156 x2136 + 6.75061576122814 x2137 + 4.64288676953291 x2138 + 33.2378192894618 x2139 + 8.30540896253954 x2140 + 37.5288352407163 x2141 + 9.50670140111974 x2142 + 4.90103718350151 x2143 + 28.201629589403 x2144 + 5.41487307046927 x2145 + 36.8883022040737 x2146 + 13.3629601600793 x2147 + 40.8536525285604 x2148 + 36.5907664035775 x2149 + 14.2809997704775 x2150 + 48.4133819404679 x2151 + 35.486945549529 x2152 + 16.0136752164677 x2153 + 30.4365532598366 x2154 + 27.2211923677973 x2155 + 24.9479987617616 x2156 + 30.1352327532835 x2157 + 3.49222593454993 x2158 + 26.6800126130001 x2159 + 19.337993238466 x2160 + 16.0393377855006 x2161 + 41.5269955370623 x2162 + 26.1218667680465 x2163 + 41.3210837935981 x2164 + 35.9224898017441 x2165 + 37.3195952275862 x2166 + 22.0074417913224 x2167 + 28.229022210472 x2168 + 26.4097908239564 x2169 + 45.0161680712364 x2170 + 43.1156104196004 x2171 + 36.7133904089097 x2172 + 28.2314198671315 x2173 + 4.20274761997853 x2174 + 24.3142761568408 x2175 + 19.9351254130768 x2176 + 30.7426673578161 x2177 + 20.3741086987071 x2178 + 4.20939225752174 x2179 + 20.794120060238 x2180 + 10.9454212418626 x2181 + 27.3019050845093 x2182 + 10.7674512743343 x2183 + 28.6164579221898 x2184 + 21.3692828566563 x2185 + 22.0025173639505 x2186 + 23.5026137987856 x2187 + 5.65519888008069 x2188 + 29.6154099294 x2189 + 24.7765658399588 x2190 + 30.3867095069895 x2191 + 38.1111037002179 x2192 + 41.0921551600893 x2193 + 39.5160384695529 x2194 + 42.5742173231776 x2195 + 7.14580853370149 x2196 + 22.3159736023918 x2197 + 26.1349700346198 x2198 + 32.6957726448266 x2199 + 47.8612033042385 x2200 + 23.5423464082955 x2201 + 22.3099140868246 x2202 + 41.9302804710695 x2203 + 20.3456178711916 x2204 + 31.0306123517002 x2205 + 29.2743505852535 x2206 + 21.6546802602293 x2207 + 33.0908383051807 x2208 + 9.40613566522633 x2209 + 12.3908314865651 x2210 + 20.8614860446979 x2211 + 4.63598025664523 x2212 + 42.6060645242631 x2213 + 10.266562401842 x2214 + 16.5214301304005 x2215 + 31.4274968569859 x2216 + 40.7331242324001 x2217 + 43.4144819117604 x2218 + 17.7302274861436 x2219 + 42.5073547605884 x2220 + 11.3004866447612 x2221 + 34.6748985768614 x2222 + 41.0485181622276 x2223 + 10.9986781474351 x2224 + 43.9500451634875 x2225 + 21.7844665881409 x2226 + 44.089285803854 x2227 + 8.72771594389612 x2228 + 13.0652585470444 x2229 + 30.6301845920995 x2230 + 22.7484133810088 x2231 + 21.845442336494 x2232 + 32.86191228044 x2233 + 10.4399793723715 x2234 + 31.2005004776398 x2235 + 24.5237003198596 x2236 + 22.1598151700476 x2237 + 42.3513442210167 x2238 + 20.6978434662577 x2239 + 19.6203705995463 x2240 + 22.8577705801137 x2241 + 25.9620158594127 x2242 + 40.5599291515174 x2243 + 15.4117508056216 x2244 + 45.4376726630391 x2245 + 7.87687475469072 x2246 + 18.5238718144868 x2247 + 24.8539206697629 x2248 + 16.2667401756419 x2249 + 31.2962579996944 x2250 + 4.29156087012344 x2251 + 39.4142476483287 x2252 + 19.7093894772847 x2253 + 39.1303359009671 x2254 + 22.5382313127961 x2255 + 27.6051313683081 x2256 + 32.6600505410242 x2257 + 8.19572393499698 x2258 + 26.9945216435763 x2259 + 41.2174273854361 x2260 + 33.4784390497119 x2261 + 44.2404915748011 x2262 + 31.9719582775836 x2263 + 14.6056299655708 x2264 + 36.3184273946329 x2265 + 44.5856460084118 x2266 + 13.0815275252295 x2267 + 19.9501301716041 x2268 + 39.9539663218962 x2269 + 37.5762126800749 x2270 + 36.5568279244873 x2271 + 48.4964864866377 x2272 + 44.9129531027689 x2273 + 41.8892765371575 x2274 + 40.0482167641101 x2275 + 22.5992270894936 x2276 + 43.8029850226127 x2277 + 46.5349440541421 x2278 + 35.4888902725867 x2279 + 61.1755041513851 x2280 + 14.3923202759183 x2281 + 38.4702529223152 x2282 + 55.4441846090683 x2283 + 36.0749522372487 x2284 + 49.8411497264624 x2285 + 30.0542360120173 x2286 + 1.30165483127381 x2287 + 31.9880374053591 x2288 + 23.2626067243963 x2289 + 10.51373564109 x2290 + 2.9168917376394 x2291 + 24.1311586476019 x2292 + 51.5763002948399 x2293 + 25.5766952294796 x2294 + 6.63973535659474 x2295 + 26.8164078104847 x2296 + 37.5179094452202 x2297 + 35.482409927211 x2298 + 34.2057929543032 x2299 + 39.4780827035136 x2300 + 12.6206844414314 x2301 + 23.696897620808 x2302 + 31.5636123541205 x2303 + 21.2210079456943 x2304 + 35.4569015280481 x2305 + 4.84831713522646 x2306 + 43.3885793960163 x2307 + 30.8308014231125 x2308 + 10.620061927256 x2309 + 33.3044767696488 x2310 + 44.5830109418419 x2311 + 38.7947441339718 x2312 + 36.6191385852247 x2313 + 24.6169450569094 x2314 + 41.7568848704393 x2315 + 34.818897737575 x2316 + 2.27335559277363 x2317 + 34.8975229879848 x2318 + 6.35668951972163 x2319 + 21.2159628711417 x2320 + 21.1688879536499 x2321 + 44.7176028075646 x2322 + 48.0371919718135 x2323 + 36.4233303727622 x2324 + 56.1094923508182 x2325 + 15.4228304273245 x2326 + 14.1245318859209 x2327 + 4.51998749076213 x2328 + 27.4341444065397 x2329 + 50.1008472406353 x2330 + 24.8124716765058 x2331 + 52.4147632744338 x2332 + 32.6363812429216 x2333 + 34.9379220197877 x2334 + 32.4741556003496 x2335 + 13.0404018934564 x2336 + 16.8516075307767 x2337 + 7.67796822525602 x2338 + 23.5082956038339 x2339 + 31.4856185343344 x2340 + 27.8839350678154 x2341 + 31.5311563335387 x2342 + 24.6519139270927 x2343 + 9.59800706971532 x2344 + 23.425796393617 x2345 + 37.8887711415198 x2346 + 4.79934247971602 x2347 + 21.8252622968684 x2348 + 24.8361262279054 x2349 + 23.5000209566515 x2350 + 20.7959179776322 x2351 + 33.0509591648855 x2352 + 29.1239197615018 x2353 + 26.2187469800423 x2354 + 25.605408642785 x2355 + 15.3866975240974 x2356 + 35.0228606693303 x2357 + 36.2369266005974 x2358 + 19.6614794249532 x2359 + 46.1235714153231 x2360 + 3.91114591088334 x2361 + 25.9400295202081 x2362 + 40.5946047337696 x2363 + 23.6522374738568 x2364 + 37.9204839189983 x2365 + 14.2971300619806 x2366 + 14.8020772278678 x2367 + 16.7047241719538 x2368 + 14.3746803832572 x2369 + 13.0969157307466 x2370 + 13.0794352669806 x2371 + 18.5145545707521 x2372 + 35.853087333751 x2373 + 16.14381105592 x2374 + 12.1179930051769 x2375 + 12.5639000918037 x2376 + 23.2526792013455 x2377 + 23.7526241253074 x2378 + 22.5742558336295 x2379 + 25.2148394791643 x2380 + 18.0215594660487 x2381 + 14.1695884800928 x2382 + 20.864893386817 x2383 + 11.5302852770736 x2384 + 24.1223627208158 x2385 + 19.4876395938926 x2386 + 28.4326195825439 x2387 + 24.9197181759794 x2388 + 17.2260075854117 x2389 + 17.4557625499882 x2390 + 36.2445332117189 x2391 + 26.6931466616011 x2392 + 20.7580230531961 x2393 + 14.9974735417307 x2394 + 26.5982777632583 x2395 + 20.0992206117193 x2396 + 13.632313197783 x2397 + 22.822016129968 x2398 + 9.51629247800557 x2399 + 5.95366232439836 x2400 + 5.32521596103572 x2401 + 33.1683542722581 x2402 + 32.21768098102 x2403 + 27.9990171061174 x2404 + 40.5618501616326 x2405 + 17.8090709957324 x2406 + 2.47109082587576 x2407 + 13.4916531995222 x2408 + 14.5952005267753 x2409 + 38.15807134627 x2410 + 24.4834783234391 x2411 + 37.5020558648706 x2412 + 19.3451963799092 x2413 + 20.9943300342048 x2414 + 17.9156110012983 x2415 Subject To e2: x1 - b1201 <= 0 e3: x2 - b1201 <= 0 e4: x3 - b1201 <= 0 e5: x4 - b1201 <= 0 e6: x5 - b1201 <= 0 e7: x6 - b1201 <= 0 e8: x7 - b1201 <= 0 e9: x8 - b1201 <= 0 e10: x9 - b1201 <= 0 e11: x10 - b1201 <= 0 e12: x11 - b1201 <= 0 e13: x12 - b1201 <= 0 e14: x13 - b1201 <= 0 e15: x14 - b1201 <= 0 e16: x15 - b1201 <= 0 e17: x16 - b1201 <= 0 e18: x17 - b1201 <= 0 e19: x18 - b1201 <= 0 e20: x19 - b1201 <= 0 e21: x20 - b1201 <= 0 e22: x21 - b1201 <= 0 e23: x22 - b1201 <= 0 e24: x23 - b1201 <= 0 e25: x24 - b1201 <= 0 e26: x25 - b1201 <= 0 e27: x26 - b1201 <= 0 e28: x27 - b1201 <= 0 e29: x28 - b1201 <= 0 e30: x29 - b1201 <= 0 e31: x30 - b1201 <= 0 e32: x31 - b1201 <= 0 e33: x32 - b1201 <= 0 e34: x33 - b1201 <= 0 e35: x34 - b1201 <= 0 e36: x35 - b1201 <= 0 e37: x36 - b1201 <= 0 e38: x37 - b1201 <= 0 e39: x38 - b1201 <= 0 e40: x39 - b1201 <= 0 e41: x40 - b1201 <= 0 e42: x41 - b1201 <= 0 e43: x42 - b1201 <= 0 e44: x43 - b1201 <= 0 e45: x44 - b1201 <= 0 e46: x45 - b1201 <= 0 e47: x46 - b1201 <= 0 e48: x47 - b1201 <= 0 e49: x48 - b1201 <= 0 e50: x49 - b1201 <= 0 e51: x50 - b1201 <= 0 e52: x51 - b1201 <= 0 e53: x52 - b1201 <= 0 e54: x53 - b1201 <= 0 e55: x54 - b1201 <= 0 e56: x55 - b1201 <= 0 e57: x56 - b1201 <= 0 e58: x57 - b1201 <= 0 e59: x58 - b1201 <= 0 e60: x59 - b1201 <= 0 e61: x60 - b1201 <= 0 e62: x61 - b1201 <= 0 e63: x62 - b1201 <= 0 e64: x63 - b1201 <= 0 e65: x64 - b1201 <= 0 e66: x65 - b1201 <= 0 e67: x66 - b1201 <= 0 e68: x67 - b1201 <= 0 e69: x68 - b1201 <= 0 e70: x69 - b1201 <= 0 e71: x70 - b1201 <= 0 e72: x71 - b1201 <= 0 e73: x72 - b1201 <= 0 e74: x73 - b1201 <= 0 e75: x74 - b1201 <= 0 e76: x75 - b1201 <= 0 e77: x76 - b1201 <= 0 e78: x77 - b1201 <= 0 e79: x78 - b1201 <= 0 e80: x79 - b1201 <= 0 e81: x80 - b1201 <= 0 e82: x81 - b1202 <= 0 e83: x82 - b1202 <= 0 e84: x83 - b1202 <= 0 e85: x84 - b1202 <= 0 e86: x85 - b1202 <= 0 e87: x86 - b1202 <= 0 e88: x87 - b1202 <= 0 e89: x88 - b1202 <= 0 e90: x89 - b1202 <= 0 e91: x90 - b1202 <= 0 e92: x91 - b1202 <= 0 e93: x92 - b1202 <= 0 e94: x93 - b1202 <= 0 e95: x94 - b1202 <= 0 e96: x95 - b1202 <= 0 e97: x96 - b1202 <= 0 e98: x97 - b1202 <= 0 e99: x98 - b1202 <= 0 e100: x99 - b1202 <= 0 e101: x100 - b1202 <= 0 e102: x101 - b1202 <= 0 e103: x102 - b1202 <= 0 e104: x103 - b1202 <= 0 e105: x104 - b1202 <= 0 e106: x105 - b1202 <= 0 e107: x106 - b1202 <= 0 e108: x107 - b1202 <= 0 e109: x108 - b1202 <= 0 e110: x109 - b1202 <= 0 e111: x110 - b1202 <= 0 e112: x111 - b1202 <= 0 e113: x112 - b1202 <= 0 e114: x113 - b1202 <= 0 e115: x114 - b1202 <= 0 e116: x115 - b1202 <= 0 e117: x116 - b1202 <= 0 e118: x117 - b1202 <= 0 e119: x118 - b1202 <= 0 e120: x119 - b1202 <= 0 e121: x120 - b1202 <= 0 e122: x121 - b1202 <= 0 e123: x122 - b1202 <= 0 e124: x123 - b1202 <= 0 e125: x124 - b1202 <= 0 e126: x125 - b1202 <= 0 e127: x126 - b1202 <= 0 e128: x127 - b1202 <= 0 e129: x128 - b1202 <= 0 e130: x129 - b1202 <= 0 e131: x130 - b1202 <= 0 e132: x131 - b1202 <= 0 e133: x132 - b1202 <= 0 e134: x133 - b1202 <= 0 e135: x134 - b1202 <= 0 e136: x135 - b1202 <= 0 e137: x136 - b1202 <= 0 e138: x137 - b1202 <= 0 e139: x138 - b1202 <= 0 e140: x139 - b1202 <= 0 e141: x140 - b1202 <= 0 e142: x141 - b1202 <= 0 e143: x142 - b1202 <= 0 e144: x143 - b1202 <= 0 e145: x144 - b1202 <= 0 e146: x145 - b1202 <= 0 e147: x146 - b1202 <= 0 e148: x147 - b1202 <= 0 e149: x148 - b1202 <= 0 e150: x149 - b1202 <= 0 e151: x150 - b1202 <= 0 e152: x151 - b1202 <= 0 e153: x152 - b1202 <= 0 e154: x153 - b1202 <= 0 e155: x154 - b1202 <= 0 e156: x155 - b1202 <= 0 e157: x156 - b1202 <= 0 e158: x157 - b1202 <= 0 e159: x158 - b1202 <= 0 e160: x159 - b1202 <= 0 e161: x160 - b1202 <= 0 e162: x161 - b1203 <= 0 e163: x162 - b1203 <= 0 e164: x163 - b1203 <= 0 e165: x164 - b1203 <= 0 e166: x165 - b1203 <= 0 e167: x166 - b1203 <= 0 e168: x167 - b1203 <= 0 e169: x168 - b1203 <= 0 e170: x169 - b1203 <= 0 e171: x170 - b1203 <= 0 e172: x171 - b1203 <= 0 e173: x172 - b1203 <= 0 e174: x173 - b1203 <= 0 e175: x174 - b1203 <= 0 e176: x175 - b1203 <= 0 e177: x176 - b1203 <= 0 e178: x177 - b1203 <= 0 e179: x178 - b1203 <= 0 e180: x179 - b1203 <= 0 e181: x180 - b1203 <= 0 e182: x181 - b1203 <= 0 e183: x182 - b1203 <= 0 e184: x183 - b1203 <= 0 e185: x184 - b1203 <= 0 e186: x185 - b1203 <= 0 e187: x186 - b1203 <= 0 e188: x187 - b1203 <= 0 e189: x188 - b1203 <= 0 e190: x189 - b1203 <= 0 e191: x190 - b1203 <= 0 e192: x191 - b1203 <= 0 e193: x192 - b1203 <= 0 e194: x193 - b1203 <= 0 e195: x194 - b1203 <= 0 e196: x195 - b1203 <= 0 e197: x196 - b1203 <= 0 e198: x197 - b1203 <= 0 e199: x198 - b1203 <= 0 e200: x199 - b1203 <= 0 e201: x200 - b1203 <= 0 e202: x201 - b1203 <= 0 e203: x202 - b1203 <= 0 e204: x203 - b1203 <= 0 e205: x204 - b1203 <= 0 e206: x205 - b1203 <= 0 e207: x206 - b1203 <= 0 e208: x207 - b1203 <= 0 e209: x208 - b1203 <= 0 e210: x209 - b1203 <= 0 e211: x210 - b1203 <= 0 e212: x211 - b1203 <= 0 e213: x212 - b1203 <= 0 e214: x213 - b1203 <= 0 e215: x214 - b1203 <= 0 e216: x215 - b1203 <= 0 e217: x216 - b1203 <= 0 e218: x217 - b1203 <= 0 e219: x218 - b1203 <= 0 e220: x219 - b1203 <= 0 e221: x220 - b1203 <= 0 e222: x221 - b1203 <= 0 e223: x222 - b1203 <= 0 e224: x223 - b1203 <= 0 e225: x224 - b1203 <= 0 e226: x225 - b1203 <= 0 e227: x226 - b1203 <= 0 e228: x227 - b1203 <= 0 e229: x228 - b1203 <= 0 e230: x229 - b1203 <= 0 e231: x230 - b1203 <= 0 e232: x231 - b1203 <= 0 e233: x232 - b1203 <= 0 e234: x233 - b1203 <= 0 e235: x234 - b1203 <= 0 e236: x235 - b1203 <= 0 e237: x236 - b1203 <= 0 e238: x237 - b1203 <= 0 e239: x238 - b1203 <= 0 e240: x239 - b1203 <= 0 e241: x240 - b1203 <= 0 e242: x241 - b1204 <= 0 e243: x242 - b1204 <= 0 e244: x243 - b1204 <= 0 e245: x244 - b1204 <= 0 e246: x245 - b1204 <= 0 e247: x246 - b1204 <= 0 e248: x247 - b1204 <= 0 e249: x248 - b1204 <= 0 e250: x249 - b1204 <= 0 e251: x250 - b1204 <= 0 e252: x251 - b1204 <= 0 e253: x252 - b1204 <= 0 e254: x253 - b1204 <= 0 e255: x254 - b1204 <= 0 e256: x255 - b1204 <= 0 e257: x256 - b1204 <= 0 e258: x257 - b1204 <= 0 e259: x258 - b1204 <= 0 e260: x259 - b1204 <= 0 e261: x260 - b1204 <= 0 e262: x261 - b1204 <= 0 e263: x262 - b1204 <= 0 e264: x263 - b1204 <= 0 e265: x264 - b1204 <= 0 e266: x265 - b1204 <= 0 e267: x266 - b1204 <= 0 e268: x267 - b1204 <= 0 e269: x268 - b1204 <= 0 e270: x269 - b1204 <= 0 e271: x270 - b1204 <= 0 e272: x271 - b1204 <= 0 e273: x272 - b1204 <= 0 e274: x273 - b1204 <= 0 e275: x274 - b1204 <= 0 e276: x275 - b1204 <= 0 e277: x276 - b1204 <= 0 e278: x277 - b1204 <= 0 e279: x278 - b1204 <= 0 e280: x279 - b1204 <= 0 e281: x280 - b1204 <= 0 e282: x281 - b1204 <= 0 e283: x282 - b1204 <= 0 e284: x283 - b1204 <= 0 e285: x284 - b1204 <= 0 e286: x285 - b1204 <= 0 e287: x286 - b1204 <= 0 e288: x287 - b1204 <= 0 e289: x288 - b1204 <= 0 e290: x289 - b1204 <= 0 e291: x290 - b1204 <= 0 e292: x291 - b1204 <= 0 e293: x292 - b1204 <= 0 e294: x293 - b1204 <= 0 e295: x294 - b1204 <= 0 e296: x295 - b1204 <= 0 e297: x296 - b1204 <= 0 e298: x297 - b1204 <= 0 e299: x298 - b1204 <= 0 e300: x299 - b1204 <= 0 e301: x300 - b1204 <= 0 e302: x301 - b1204 <= 0 e303: x302 - b1204 <= 0 e304: x303 - b1204 <= 0 e305: x304 - b1204 <= 0 e306: x305 - b1204 <= 0 e307: x306 - b1204 <= 0 e308: x307 - b1204 <= 0 e309: x308 - b1204 <= 0 e310: x309 - b1204 <= 0 e311: x310 - b1204 <= 0 e312: x311 - b1204 <= 0 e313: x312 - b1204 <= 0 e314: x313 - b1204 <= 0 e315: x314 - b1204 <= 0 e316: x315 - b1204 <= 0 e317: x316 - b1204 <= 0 e318: x317 - b1204 <= 0 e319: x318 - b1204 <= 0 e320: x319 - b1204 <= 0 e321: x320 - b1204 <= 0 e322: x321 - b1205 <= 0 e323: x322 - b1205 <= 0 e324: x323 - b1205 <= 0 e325: x324 - b1205 <= 0 e326: x325 - b1205 <= 0 e327: x326 - b1205 <= 0 e328: x327 - b1205 <= 0 e329: x328 - b1205 <= 0 e330: x329 - b1205 <= 0 e331: x330 - b1205 <= 0 e332: x331 - b1205 <= 0 e333: x332 - b1205 <= 0 e334: x333 - b1205 <= 0 e335: x334 - b1205 <= 0 e336: x335 - b1205 <= 0 e337: x336 - b1205 <= 0 e338: x337 - b1205 <= 0 e339: x338 - b1205 <= 0 e340: x339 - b1205 <= 0 e341: x340 - b1205 <= 0 e342: x341 - b1205 <= 0 e343: x342 - b1205 <= 0 e344: x343 - b1205 <= 0 e345: x344 - b1205 <= 0 e346: x345 - b1205 <= 0 e347: x346 - b1205 <= 0 e348: x347 - b1205 <= 0 e349: x348 - b1205 <= 0 e350: x349 - b1205 <= 0 e351: x350 - b1205 <= 0 e352: x351 - b1205 <= 0 e353: x352 - b1205 <= 0 e354: x353 - b1205 <= 0 e355: x354 - b1205 <= 0 e356: x355 - b1205 <= 0 e357: x356 - b1205 <= 0 e358: x357 - b1205 <= 0 e359: x358 - b1205 <= 0 e360: x359 - b1205 <= 0 e361: x360 - b1205 <= 0 e362: x361 - b1205 <= 0 e363: x362 - b1205 <= 0 e364: x363 - b1205 <= 0 e365: x364 - b1205 <= 0 e366: x365 - b1205 <= 0 e367: x366 - b1205 <= 0 e368: x367 - b1205 <= 0 e369: x368 - b1205 <= 0 e370: x369 - b1205 <= 0 e371: x370 - b1205 <= 0 e372: x371 - b1205 <= 0 e373: x372 - b1205 <= 0 e374: x373 - b1205 <= 0 e375: x374 - b1205 <= 0 e376: x375 - b1205 <= 0 e377: x376 - b1205 <= 0 e378: x377 - b1205 <= 0 e379: x378 - b1205 <= 0 e380: x379 - b1205 <= 0 e381: x380 - b1205 <= 0 e382: x381 - b1205 <= 0 e383: x382 - b1205 <= 0 e384: x383 - b1205 <= 0 e385: x384 - b1205 <= 0 e386: x385 - b1205 <= 0 e387: x386 - b1205 <= 0 e388: x387 - b1205 <= 0 e389: x388 - b1205 <= 0 e390: x389 - b1205 <= 0 e391: x390 - b1205 <= 0 e392: x391 - b1205 <= 0 e393: x392 - b1205 <= 0 e394: x393 - b1205 <= 0 e395: x394 - b1205 <= 0 e396: x395 - b1205 <= 0 e397: x396 - b1205 <= 0 e398: x397 - b1205 <= 0 e399: x398 - b1205 <= 0 e400: x399 - b1205 <= 0 e401: x400 - b1205 <= 0 e402: x401 - b1206 <= 0 e403: x402 - b1206 <= 0 e404: x403 - b1206 <= 0 e405: x404 - b1206 <= 0 e406: x405 - b1206 <= 0 e407: x406 - b1206 <= 0 e408: x407 - b1206 <= 0 e409: x408 - b1206 <= 0 e410: x409 - b1206 <= 0 e411: x410 - b1206 <= 0 e412: x411 - b1206 <= 0 e413: x412 - b1206 <= 0 e414: x413 - b1206 <= 0 e415: x414 - b1206 <= 0 e416: x415 - b1206 <= 0 e417: x416 - b1206 <= 0 e418: x417 - b1206 <= 0 e419: x418 - b1206 <= 0 e420: x419 - b1206 <= 0 e421: x420 - b1206 <= 0 e422: x421 - b1206 <= 0 e423: x422 - b1206 <= 0 e424: x423 - b1206 <= 0 e425: x424 - b1206 <= 0 e426: x425 - b1206 <= 0 e427: x426 - b1206 <= 0 e428: x427 - b1206 <= 0 e429: x428 - b1206 <= 0 e430: x429 - b1206 <= 0 e431: x430 - b1206 <= 0 e432: x431 - b1206 <= 0 e433: x432 - b1206 <= 0 e434: x433 - b1206 <= 0 e435: x434 - b1206 <= 0 e436: x435 - b1206 <= 0 e437: x436 - b1206 <= 0 e438: x437 - b1206 <= 0 e439: x438 - b1206 <= 0 e440: x439 - b1206 <= 0 e441: x440 - b1206 <= 0 e442: x441 - b1206 <= 0 e443: x442 - b1206 <= 0 e444: x443 - b1206 <= 0 e445: x444 - b1206 <= 0 e446: x445 - b1206 <= 0 e447: x446 - b1206 <= 0 e448: x447 - b1206 <= 0 e449: x448 - b1206 <= 0 e450: x449 - b1206 <= 0 e451: x450 - b1206 <= 0 e452: x451 - b1206 <= 0 e453: x452 - b1206 <= 0 e454: x453 - b1206 <= 0 e455: x454 - b1206 <= 0 e456: x455 - b1206 <= 0 e457: x456 - b1206 <= 0 e458: x457 - b1206 <= 0 e459: x458 - b1206 <= 0 e460: x459 - b1206 <= 0 e461: x460 - b1206 <= 0 e462: x461 - b1206 <= 0 e463: x462 - b1206 <= 0 e464: x463 - b1206 <= 0 e465: x464 - b1206 <= 0 e466: x465 - b1206 <= 0 e467: x466 - b1206 <= 0 e468: x467 - b1206 <= 0 e469: x468 - b1206 <= 0 e470: x469 - b1206 <= 0 e471: x470 - b1206 <= 0 e472: x471 - b1206 <= 0 e473: x472 - b1206 <= 0 e474: x473 - b1206 <= 0 e475: x474 - b1206 <= 0 e476: x475 - b1206 <= 0 e477: x476 - b1206 <= 0 e478: x477 - b1206 <= 0 e479: x478 - b1206 <= 0 e480: x479 - b1206 <= 0 e481: x480 - b1206 <= 0 e482: x481 - b1207 <= 0 e483: x482 - b1207 <= 0 e484: x483 - b1207 <= 0 e485: x484 - b1207 <= 0 e486: x485 - b1207 <= 0 e487: x486 - b1207 <= 0 e488: x487 - b1207 <= 0 e489: x488 - b1207 <= 0 e490: x489 - b1207 <= 0 e491: x490 - b1207 <= 0 e492: x491 - b1207 <= 0 e493: x492 - b1207 <= 0 e494: x493 - b1207 <= 0 e495: x494 - b1207 <= 0 e496: x495 - b1207 <= 0 e497: x496 - b1207 <= 0 e498: x497 - b1207 <= 0 e499: x498 - b1207 <= 0 e500: x499 - b1207 <= 0 e501: x500 - b1207 <= 0 e502: x501 - b1207 <= 0 e503: x502 - b1207 <= 0 e504: x503 - b1207 <= 0 e505: x504 - b1207 <= 0 e506: x505 - b1207 <= 0 e507: x506 - b1207 <= 0 e508: x507 - b1207 <= 0 e509: x508 - b1207 <= 0 e510: x509 - b1207 <= 0 e511: x510 - b1207 <= 0 e512: x511 - b1207 <= 0 e513: x512 - b1207 <= 0 e514: x513 - b1207 <= 0 e515: x514 - b1207 <= 0 e516: x515 - b1207 <= 0 e517: x516 - b1207 <= 0 e518: x517 - b1207 <= 0 e519: x518 - b1207 <= 0 e520: x519 - b1207 <= 0 e521: x520 - b1207 <= 0 e522: x521 - b1207 <= 0 e523: x522 - b1207 <= 0 e524: x523 - b1207 <= 0 e525: x524 - b1207 <= 0 e526: x525 - b1207 <= 0 e527: x526 - b1207 <= 0 e528: x527 - b1207 <= 0 e529: x528 - b1207 <= 0 e530: x529 - b1207 <= 0 e531: x530 - b1207 <= 0 e532: x531 - b1207 <= 0 e533: x532 - b1207 <= 0 e534: x533 - b1207 <= 0 e535: x534 - b1207 <= 0 e536: x535 - b1207 <= 0 e537: x536 - b1207 <= 0 e538: x537 - b1207 <= 0 e539: x538 - b1207 <= 0 e540: x539 - b1207 <= 0 e541: x540 - b1207 <= 0 e542: x541 - b1207 <= 0 e543: x542 - b1207 <= 0 e544: x543 - b1207 <= 0 e545: x544 - b1207 <= 0 e546: x545 - b1207 <= 0 e547: x546 - b1207 <= 0 e548: x547 - b1207 <= 0 e549: x548 - b1207 <= 0 e550: x549 - b1207 <= 0 e551: x550 - b1207 <= 0 e552: x551 - b1207 <= 0 e553: x552 - b1207 <= 0 e554: x553 - b1207 <= 0 e555: x554 - b1207 <= 0 e556: x555 - b1207 <= 0 e557: x556 - b1207 <= 0 e558: x557 - b1207 <= 0 e559: x558 - b1207 <= 0 e560: x559 - b1207 <= 0 e561: x560 - b1207 <= 0 e562: x561 - b1208 <= 0 e563: x562 - b1208 <= 0 e564: x563 - b1208 <= 0 e565: x564 - b1208 <= 0 e566: x565 - b1208 <= 0 e567: x566 - b1208 <= 0 e568: x567 - b1208 <= 0 e569: x568 - b1208 <= 0 e570: x569 - b1208 <= 0 e571: x570 - b1208 <= 0 e572: x571 - b1208 <= 0 e573: x572 - b1208 <= 0 e574: x573 - b1208 <= 0 e575: x574 - b1208 <= 0 e576: x575 - b1208 <= 0 e577: x576 - b1208 <= 0 e578: x577 - b1208 <= 0 e579: x578 - b1208 <= 0 e580: x579 - b1208 <= 0 e581: x580 - b1208 <= 0 e582: x581 - b1208 <= 0 e583: x582 - b1208 <= 0 e584: x583 - b1208 <= 0 e585: x584 - b1208 <= 0 e586: x585 - b1208 <= 0 e587: x586 - b1208 <= 0 e588: x587 - b1208 <= 0 e589: x588 - b1208 <= 0 e590: x589 - b1208 <= 0 e591: x590 - b1208 <= 0 e592: x591 - b1208 <= 0 e593: x592 - b1208 <= 0 e594: x593 - b1208 <= 0 e595: x594 - b1208 <= 0 e596: x595 - b1208 <= 0 e597: x596 - b1208 <= 0 e598: x597 - b1208 <= 0 e599: x598 - b1208 <= 0 e600: x599 - b1208 <= 0 e601: x600 - b1208 <= 0 e602: x601 - b1208 <= 0 e603: x602 - b1208 <= 0 e604: x603 - b1208 <= 0 e605: x604 - b1208 <= 0 e606: x605 - b1208 <= 0 e607: x606 - b1208 <= 0 e608: x607 - b1208 <= 0 e609: x608 - b1208 <= 0 e610: x609 - b1208 <= 0 e611: x610 - b1208 <= 0 e612: x611 - b1208 <= 0 e613: x612 - b1208 <= 0 e614: x613 - b1208 <= 0 e615: x614 - b1208 <= 0 e616: x615 - b1208 <= 0 e617: x616 - b1208 <= 0 e618: x617 - b1208 <= 0 e619: x618 - b1208 <= 0 e620: x619 - b1208 <= 0 e621: x620 - b1208 <= 0 e622: x621 - b1208 <= 0 e623: x622 - b1208 <= 0 e624: x623 - b1208 <= 0 e625: x624 - b1208 <= 0 e626: x625 - b1208 <= 0 e627: x626 - b1208 <= 0 e628: x627 - b1208 <= 0 e629: x628 - b1208 <= 0 e630: x629 - b1208 <= 0 e631: x630 - b1208 <= 0 e632: x631 - b1208 <= 0 e633: x632 - b1208 <= 0 e634: x633 - b1208 <= 0 e635: x634 - b1208 <= 0 e636: x635 - b1208 <= 0 e637: x636 - b1208 <= 0 e638: x637 - b1208 <= 0 e639: x638 - b1208 <= 0 e640: x639 - b1208 <= 0 e641: x640 - b1208 <= 0 e642: x641 - b1209 <= 0 e643: x642 - b1209 <= 0 e644: x643 - b1209 <= 0 e645: x644 - b1209 <= 0 e646: x645 - b1209 <= 0 e647: x646 - b1209 <= 0 e648: x647 - b1209 <= 0 e649: x648 - b1209 <= 0 e650: x649 - b1209 <= 0 e651: x650 - b1209 <= 0 e652: x651 - b1209 <= 0 e653: x652 - b1209 <= 0 e654: x653 - b1209 <= 0 e655: x654 - b1209 <= 0 e656: x655 - b1209 <= 0 e657: x656 - b1209 <= 0 e658: x657 - b1209 <= 0 e659: x658 - b1209 <= 0 e660: x659 - b1209 <= 0 e661: x660 - b1209 <= 0 e662: x661 - b1209 <= 0 e663: x662 - b1209 <= 0 e664: x663 - b1209 <= 0 e665: x664 - b1209 <= 0 e666: x665 - b1209 <= 0 e667: x666 - b1209 <= 0 e668: x667 - b1209 <= 0 e669: x668 - b1209 <= 0 e670: x669 - b1209 <= 0 e671: x670 - b1209 <= 0 e672: x671 - b1209 <= 0 e673: x672 - b1209 <= 0 e674: x673 - b1209 <= 0 e675: x674 - b1209 <= 0 e676: x675 - b1209 <= 0 e677: x676 - b1209 <= 0 e678: x677 - b1209 <= 0 e679: x678 - b1209 <= 0 e680: x679 - b1209 <= 0 e681: x680 - b1209 <= 0 e682: x681 - b1209 <= 0 e683: x682 - b1209 <= 0 e684: x683 - b1209 <= 0 e685: x684 - b1209 <= 0 e686: x685 - b1209 <= 0 e687: x686 - b1209 <= 0 e688: x687 - b1209 <= 0 e689: x688 - b1209 <= 0 e690: x689 - b1209 <= 0 e691: x690 - b1209 <= 0 e692: x691 - b1209 <= 0 e693: x692 - b1209 <= 0 e694: x693 - b1209 <= 0 e695: x694 - b1209 <= 0 e696: x695 - b1209 <= 0 e697: x696 - b1209 <= 0 e698: x697 - b1209 <= 0 e699: x698 - b1209 <= 0 e700: x699 - b1209 <= 0 e701: x700 - b1209 <= 0 e702: x701 - b1209 <= 0 e703: x702 - b1209 <= 0 e704: x703 - b1209 <= 0 e705: x704 - b1209 <= 0 e706: x705 - b1209 <= 0 e707: x706 - b1209 <= 0 e708: x707 - b1209 <= 0 e709: x708 - b1209 <= 0 e710: x709 - b1209 <= 0 e711: x710 - b1209 <= 0 e712: x711 - b1209 <= 0 e713: x712 - b1209 <= 0 e714: x713 - b1209 <= 0 e715: x714 - b1209 <= 0 e716: x715 - b1209 <= 0 e717: x716 - b1209 <= 0 e718: x717 - b1209 <= 0 e719: x718 - b1209 <= 0 e720: x719 - b1209 <= 0 e721: x720 - b1209 <= 0 e722: x721 - b1210 <= 0 e723: x722 - b1210 <= 0 e724: x723 - b1210 <= 0 e725: x724 - b1210 <= 0 e726: x725 - b1210 <= 0 e727: x726 - b1210 <= 0 e728: x727 - b1210 <= 0 e729: x728 - b1210 <= 0 e730: x729 - b1210 <= 0 e731: x730 - b1210 <= 0 e732: x731 - b1210 <= 0 e733: x732 - b1210 <= 0 e734: x733 - b1210 <= 0 e735: x734 - b1210 <= 0 e736: x735 - b1210 <= 0 e737: x736 - b1210 <= 0 e738: x737 - b1210 <= 0 e739: x738 - b1210 <= 0 e740: x739 - b1210 <= 0 e741: x740 - b1210 <= 0 e742: x741 - b1210 <= 0 e743: x742 - b1210 <= 0 e744: x743 - b1210 <= 0 e745: x744 - b1210 <= 0 e746: x745 - b1210 <= 0 e747: x746 - b1210 <= 0 e748: x747 - b1210 <= 0 e749: x748 - b1210 <= 0 e750: x749 - b1210 <= 0 e751: x750 - b1210 <= 0 e752: x751 - b1210 <= 0 e753: x752 - b1210 <= 0 e754: x753 - b1210 <= 0 e755: x754 - b1210 <= 0 e756: x755 - b1210 <= 0 e757: x756 - b1210 <= 0 e758: x757 - b1210 <= 0 e759: x758 - b1210 <= 0 e760: x759 - b1210 <= 0 e761: x760 - b1210 <= 0 e762: x761 - b1210 <= 0 e763: x762 - b1210 <= 0 e764: x763 - b1210 <= 0 e765: x764 - b1210 <= 0 e766: x765 - b1210 <= 0 e767: x766 - b1210 <= 0 e768: x767 - b1210 <= 0 e769: x768 - b1210 <= 0 e770: x769 - b1210 <= 0 e771: x770 - b1210 <= 0 e772: x771 - b1210 <= 0 e773: x772 - b1210 <= 0 e774: x773 - b1210 <= 0 e775: x774 - b1210 <= 0 e776: x775 - b1210 <= 0 e777: x776 - b1210 <= 0 e778: x777 - b1210 <= 0 e779: x778 - b1210 <= 0 e780: x779 - b1210 <= 0 e781: x780 - b1210 <= 0 e782: x781 - b1210 <= 0 e783: x782 - b1210 <= 0 e784: x783 - b1210 <= 0 e785: x784 - b1210 <= 0 e786: x785 - b1210 <= 0 e787: x786 - b1210 <= 0 e788: x787 - b1210 <= 0 e789: x788 - b1210 <= 0 e790: x789 - b1210 <= 0 e791: x790 - b1210 <= 0 e792: x791 - b1210 <= 0 e793: x792 - b1210 <= 0 e794: x793 - b1210 <= 0 e795: x794 - b1210 <= 0 e796: x795 - b1210 <= 0 e797: x796 - b1210 <= 0 e798: x797 - b1210 <= 0 e799: x798 - b1210 <= 0 e800: x799 - b1210 <= 0 e801: x800 - b1210 <= 0 e802: x801 - b1211 <= 0 e803: x802 - b1211 <= 0 e804: x803 - b1211 <= 0 e805: x804 - b1211 <= 0 e806: x805 - b1211 <= 0 e807: x806 - b1211 <= 0 e808: x807 - b1211 <= 0 e809: x808 - b1211 <= 0 e810: x809 - b1211 <= 0 e811: x810 - b1211 <= 0 e812: x811 - b1211 <= 0 e813: x812 - b1211 <= 0 e814: x813 - b1211 <= 0 e815: x814 - b1211 <= 0 e816: x815 - b1211 <= 0 e817: x816 - b1211 <= 0 e818: x817 - b1211 <= 0 e819: x818 - b1211 <= 0 e820: x819 - b1211 <= 0 e821: x820 - b1211 <= 0 e822: x821 - b1211 <= 0 e823: x822 - b1211 <= 0 e824: x823 - b1211 <= 0 e825: x824 - b1211 <= 0 e826: x825 - b1211 <= 0 e827: x826 - b1211 <= 0 e828: x827 - b1211 <= 0 e829: x828 - b1211 <= 0 e830: x829 - b1211 <= 0 e831: x830 - b1211 <= 0 e832: x831 - b1211 <= 0 e833: x832 - b1211 <= 0 e834: x833 - b1211 <= 0 e835: x834 - b1211 <= 0 e836: x835 - b1211 <= 0 e837: x836 - b1211 <= 0 e838: x837 - b1211 <= 0 e839: x838 - b1211 <= 0 e840: x839 - b1211 <= 0 e841: x840 - b1211 <= 0 e842: x841 - b1211 <= 0 e843: x842 - b1211 <= 0 e844: x843 - b1211 <= 0 e845: x844 - b1211 <= 0 e846: x845 - b1211 <= 0 e847: x846 - b1211 <= 0 e848: x847 - b1211 <= 0 e849: x848 - b1211 <= 0 e850: x849 - b1211 <= 0 e851: x850 - b1211 <= 0 e852: x851 - b1211 <= 0 e853: x852 - b1211 <= 0 e854: x853 - b1211 <= 0 e855: x854 - b1211 <= 0 e856: x855 - b1211 <= 0 e857: x856 - b1211 <= 0 e858: x857 - b1211 <= 0 e859: x858 - b1211 <= 0 e860: x859 - b1211 <= 0 e861: x860 - b1211 <= 0 e862: x861 - b1211 <= 0 e863: x862 - b1211 <= 0 e864: x863 - b1211 <= 0 e865: x864 - b1211 <= 0 e866: x865 - b1211 <= 0 e867: x866 - b1211 <= 0 e868: x867 - b1211 <= 0 e869: x868 - b1211 <= 0 e870: x869 - b1211 <= 0 e871: x870 - b1211 <= 0 e872: x871 - b1211 <= 0 e873: x872 - b1211 <= 0 e874: x873 - b1211 <= 0 e875: x874 - b1211 <= 0 e876: x875 - b1211 <= 0 e877: x876 - b1211 <= 0 e878: x877 - b1211 <= 0 e879: x878 - b1211 <= 0 e880: x879 - b1211 <= 0 e881: x880 - b1211 <= 0 e882: x881 - b1212 <= 0 e883: x882 - b1212 <= 0 e884: x883 - b1212 <= 0 e885: x884 - b1212 <= 0 e886: x885 - b1212 <= 0 e887: x886 - b1212 <= 0 e888: x887 - b1212 <= 0 e889: x888 - b1212 <= 0 e890: x889 - b1212 <= 0 e891: x890 - b1212 <= 0 e892: x891 - b1212 <= 0 e893: x892 - b1212 <= 0 e894: x893 - b1212 <= 0 e895: x894 - b1212 <= 0 e896: x895 - b1212 <= 0 e897: x896 - b1212 <= 0 e898: x897 - b1212 <= 0 e899: x898 - b1212 <= 0 e900: x899 - b1212 <= 0 e901: x900 - b1212 <= 0 e902: x901 - b1212 <= 0 e903: x902 - b1212 <= 0 e904: x903 - b1212 <= 0 e905: x904 - b1212 <= 0 e906: x905 - b1212 <= 0 e907: x906 - b1212 <= 0 e908: x907 - b1212 <= 0 e909: x908 - b1212 <= 0 e910: x909 - b1212 <= 0 e911: x910 - b1212 <= 0 e912: x911 - b1212 <= 0 e913: x912 - b1212 <= 0 e914: x913 - b1212 <= 0 e915: x914 - b1212 <= 0 e916: x915 - b1212 <= 0 e917: x916 - b1212 <= 0 e918: x917 - b1212 <= 0 e919: x918 - b1212 <= 0 e920: x919 - b1212 <= 0 e921: x920 - b1212 <= 0 e922: x921 - b1212 <= 0 e923: x922 - b1212 <= 0 e924: x923 - b1212 <= 0 e925: x924 - b1212 <= 0 e926: x925 - b1212 <= 0 e927: x926 - b1212 <= 0 e928: x927 - b1212 <= 0 e929: x928 - b1212 <= 0 e930: x929 - b1212 <= 0 e931: x930 - b1212 <= 0 e932: x931 - b1212 <= 0 e933: x932 - b1212 <= 0 e934: x933 - b1212 <= 0 e935: x934 - b1212 <= 0 e936: x935 - b1212 <= 0 e937: x936 - b1212 <= 0 e938: x937 - b1212 <= 0 e939: x938 - b1212 <= 0 e940: x939 - b1212 <= 0 e941: x940 - b1212 <= 0 e942: x941 - b1212 <= 0 e943: x942 - b1212 <= 0 e944: x943 - b1212 <= 0 e945: x944 - b1212 <= 0 e946: x945 - b1212 <= 0 e947: x946 - b1212 <= 0 e948: x947 - b1212 <= 0 e949: x948 - b1212 <= 0 e950: x949 - b1212 <= 0 e951: x950 - b1212 <= 0 e952: x951 - b1212 <= 0 e953: x952 - b1212 <= 0 e954: x953 - b1212 <= 0 e955: x954 - b1212 <= 0 e956: x955 - b1212 <= 0 e957: x956 - b1212 <= 0 e958: x957 - b1212 <= 0 e959: x958 - b1212 <= 0 e960: x959 - b1212 <= 0 e961: x960 - b1212 <= 0 e962: x961 - b1213 <= 0 e963: x962 - b1213 <= 0 e964: x963 - b1213 <= 0 e965: x964 - b1213 <= 0 e966: x965 - b1213 <= 0 e967: x966 - b1213 <= 0 e968: x967 - b1213 <= 0 e969: x968 - b1213 <= 0 e970: x969 - b1213 <= 0 e971: x970 - b1213 <= 0 e972: x971 - b1213 <= 0 e973: x972 - b1213 <= 0 e974: x973 - b1213 <= 0 e975: x974 - b1213 <= 0 e976: x975 - b1213 <= 0 e977: x976 - b1213 <= 0 e978: x977 - b1213 <= 0 e979: x978 - b1213 <= 0 e980: x979 - b1213 <= 0 e981: x980 - b1213 <= 0 e982: x981 - b1213 <= 0 e983: x982 - b1213 <= 0 e984: x983 - b1213 <= 0 e985: x984 - b1213 <= 0 e986: x985 - b1213 <= 0 e987: x986 - b1213 <= 0 e988: x987 - b1213 <= 0 e989: x988 - b1213 <= 0 e990: x989 - b1213 <= 0 e991: x990 - b1213 <= 0 e992: x991 - b1213 <= 0 e993: x992 - b1213 <= 0 e994: x993 - b1213 <= 0 e995: x994 - b1213 <= 0 e996: x995 - b1213 <= 0 e997: x996 - b1213 <= 0 e998: x997 - b1213 <= 0 e999: x998 - b1213 <= 0 e1000: x999 - b1213 <= 0 e1001: x1000 - b1213 <= 0 e1002: x1001 - b1213 <= 0 e1003: x1002 - b1213 <= 0 e1004: x1003 - b1213 <= 0 e1005: x1004 - b1213 <= 0 e1006: x1005 - b1213 <= 0 e1007: x1006 - b1213 <= 0 e1008: x1007 - b1213 <= 0 e1009: x1008 - b1213 <= 0 e1010: x1009 - b1213 <= 0 e1011: x1010 - b1213 <= 0 e1012: x1011 - b1213 <= 0 e1013: x1012 - b1213 <= 0 e1014: x1013 - b1213 <= 0 e1015: x1014 - b1213 <= 0 e1016: x1015 - b1213 <= 0 e1017: x1016 - b1213 <= 0 e1018: x1017 - b1213 <= 0 e1019: x1018 - b1213 <= 0 e1020: x1019 - b1213 <= 0 e1021: x1020 - b1213 <= 0 e1022: x1021 - b1213 <= 0 e1023: x1022 - b1213 <= 0 e1024: x1023 - b1213 <= 0 e1025: x1024 - b1213 <= 0 e1026: x1025 - b1213 <= 0 e1027: x1026 - b1213 <= 0 e1028: x1027 - b1213 <= 0 e1029: x1028 - b1213 <= 0 e1030: x1029 - b1213 <= 0 e1031: x1030 - b1213 <= 0 e1032: x1031 - b1213 <= 0 e1033: x1032 - b1213 <= 0 e1034: x1033 - b1213 <= 0 e1035: x1034 - b1213 <= 0 e1036: x1035 - b1213 <= 0 e1037: x1036 - b1213 <= 0 e1038: x1037 - b1213 <= 0 e1039: x1038 - b1213 <= 0 e1040: x1039 - b1213 <= 0 e1041: x1040 - b1213 <= 0 e1042: x1041 - b1214 <= 0 e1043: x1042 - b1214 <= 0 e1044: x1043 - b1214 <= 0 e1045: x1044 - b1214 <= 0 e1046: x1045 - b1214 <= 0 e1047: x1046 - b1214 <= 0 e1048: x1047 - b1214 <= 0 e1049: x1048 - b1214 <= 0 e1050: x1049 - b1214 <= 0 e1051: x1050 - b1214 <= 0 e1052: x1051 - b1214 <= 0 e1053: x1052 - b1214 <= 0 e1054: x1053 - b1214 <= 0 e1055: x1054 - b1214 <= 0 e1056: x1055 - b1214 <= 0 e1057: x1056 - b1214 <= 0 e1058: x1057 - b1214 <= 0 e1059: x1058 - b1214 <= 0 e1060: x1059 - b1214 <= 0 e1061: x1060 - b1214 <= 0 e1062: x1061 - b1214 <= 0 e1063: x1062 - b1214 <= 0 e1064: x1063 - b1214 <= 0 e1065: x1064 - b1214 <= 0 e1066: x1065 - b1214 <= 0 e1067: x1066 - b1214 <= 0 e1068: x1067 - b1214 <= 0 e1069: x1068 - b1214 <= 0 e1070: x1069 - b1214 <= 0 e1071: x1070 - b1214 <= 0 e1072: x1071 - b1214 <= 0 e1073: x1072 - b1214 <= 0 e1074: x1073 - b1214 <= 0 e1075: x1074 - b1214 <= 0 e1076: x1075 - b1214 <= 0 e1077: x1076 - b1214 <= 0 e1078: x1077 - b1214 <= 0 e1079: x1078 - b1214 <= 0 e1080: x1079 - b1214 <= 0 e1081: x1080 - b1214 <= 0 e1082: x1081 - b1214 <= 0 e1083: x1082 - b1214 <= 0 e1084: x1083 - b1214 <= 0 e1085: x1084 - b1214 <= 0 e1086: x1085 - b1214 <= 0 e1087: x1086 - b1214 <= 0 e1088: x1087 - b1214 <= 0 e1089: x1088 - b1214 <= 0 e1090: x1089 - b1214 <= 0 e1091: x1090 - b1214 <= 0 e1092: x1091 - b1214 <= 0 e1093: x1092 - b1214 <= 0 e1094: x1093 - b1214 <= 0 e1095: x1094 - b1214 <= 0 e1096: x1095 - b1214 <= 0 e1097: x1096 - b1214 <= 0 e1098: x1097 - b1214 <= 0 e1099: x1098 - b1214 <= 0 e1100: x1099 - b1214 <= 0 e1101: x1100 - b1214 <= 0 e1102: x1101 - b1214 <= 0 e1103: x1102 - b1214 <= 0 e1104: x1103 - b1214 <= 0 e1105: x1104 - b1214 <= 0 e1106: x1105 - b1214 <= 0 e1107: x1106 - b1214 <= 0 e1108: x1107 - b1214 <= 0 e1109: x1108 - b1214 <= 0 e1110: x1109 - b1214 <= 0 e1111: x1110 - b1214 <= 0 e1112: x1111 - b1214 <= 0 e1113: x1112 - b1214 <= 0 e1114: x1113 - b1214 <= 0 e1115: x1114 - b1214 <= 0 e1116: x1115 - b1214 <= 0 e1117: x1116 - b1214 <= 0 e1118: x1117 - b1214 <= 0 e1119: x1118 - b1214 <= 0 e1120: x1119 - b1214 <= 0 e1121: x1120 - b1214 <= 0 e1122: x1121 - b1215 <= 0 e1123: x1122 - b1215 <= 0 e1124: x1123 - b1215 <= 0 e1125: x1124 - b1215 <= 0 e1126: x1125 - b1215 <= 0 e1127: x1126 - b1215 <= 0 e1128: x1127 - b1215 <= 0 e1129: x1128 - b1215 <= 0 e1130: x1129 - b1215 <= 0 e1131: x1130 - b1215 <= 0 e1132: x1131 - b1215 <= 0 e1133: x1132 - b1215 <= 0 e1134: x1133 - b1215 <= 0 e1135: x1134 - b1215 <= 0 e1136: x1135 - b1215 <= 0 e1137: x1136 - b1215 <= 0 e1138: x1137 - b1215 <= 0 e1139: x1138 - b1215 <= 0 e1140: x1139 - b1215 <= 0 e1141: x1140 - b1215 <= 0 e1142: x1141 - b1215 <= 0 e1143: x1142 - b1215 <= 0 e1144: x1143 - b1215 <= 0 e1145: x1144 - b1215 <= 0 e1146: x1145 - b1215 <= 0 e1147: x1146 - b1215 <= 0 e1148: x1147 - b1215 <= 0 e1149: x1148 - b1215 <= 0 e1150: x1149 - b1215 <= 0 e1151: x1150 - b1215 <= 0 e1152: x1151 - b1215 <= 0 e1153: x1152 - b1215 <= 0 e1154: x1153 - b1215 <= 0 e1155: x1154 - b1215 <= 0 e1156: x1155 - b1215 <= 0 e1157: x1156 - b1215 <= 0 e1158: x1157 - b1215 <= 0 e1159: x1158 - b1215 <= 0 e1160: x1159 - b1215 <= 0 e1161: x1160 - b1215 <= 0 e1162: x1161 - b1215 <= 0 e1163: x1162 - b1215 <= 0 e1164: x1163 - b1215 <= 0 e1165: x1164 - b1215 <= 0 e1166: x1165 - b1215 <= 0 e1167: x1166 - b1215 <= 0 e1168: x1167 - b1215 <= 0 e1169: x1168 - b1215 <= 0 e1170: x1169 - b1215 <= 0 e1171: x1170 - b1215 <= 0 e1172: x1171 - b1215 <= 0 e1173: x1172 - b1215 <= 0 e1174: x1173 - b1215 <= 0 e1175: x1174 - b1215 <= 0 e1176: x1175 - b1215 <= 0 e1177: x1176 - b1215 <= 0 e1178: x1177 - b1215 <= 0 e1179: x1178 - b1215 <= 0 e1180: x1179 - b1215 <= 0 e1181: x1180 - b1215 <= 0 e1182: x1181 - b1215 <= 0 e1183: x1182 - b1215 <= 0 e1184: x1183 - b1215 <= 0 e1185: x1184 - b1215 <= 0 e1186: x1185 - b1215 <= 0 e1187: x1186 - b1215 <= 0 e1188: x1187 - b1215 <= 0 e1189: x1188 - b1215 <= 0 e1190: x1189 - b1215 <= 0 e1191: x1190 - b1215 <= 0 e1192: x1191 - b1215 <= 0 e1193: x1192 - b1215 <= 0 e1194: x1193 - b1215 <= 0 e1195: x1194 - b1215 <= 0 e1196: x1195 - b1215 <= 0 e1197: x1196 - b1215 <= 0 e1198: x1197 - b1215 <= 0 e1199: x1198 - b1215 <= 0 e1200: x1199 - b1215 <= 0 e1201: x1200 - b1215 <= 0 e1202: x1 + x81 + x161 + x241 + x321 + x401 + x481 + x561 + x641 + x721 + x801 + x881 + x961 + x1041 + x1121 = 1 e1203: x2 + x82 + x162 + x242 + x322 + x402 + x482 + x562 + x642 + x722 + x802 + x882 + x962 + x1042 + x1122 = 1 e1204: x3 + x83 + x163 + x243 + x323 + x403 + x483 + x563 + x643 + x723 + x803 + x883 + x963 + x1043 + x1123 = 1 e1205: x4 + x84 + x164 + x244 + x324 + x404 + x484 + x564 + x644 + x724 + x804 + x884 + x964 + x1044 + x1124 = 1 e1206: x5 + x85 + x165 + x245 + x325 + x405 + x485 + x565 + x645 + x725 + x805 + x885 + x965 + x1045 + x1125 = 1 e1207: x6 + x86 + x166 + x246 + x326 + x406 + x486 + x566 + x646 + x726 + x806 + x886 + x966 + x1046 + x1126 = 1 e1208: x7 + x87 + x167 + x247 + x327 + x407 + x487 + x567 + x647 + x727 + x807 + x887 + x967 + x1047 + x1127 = 1 e1209: x8 + x88 + x168 + x248 + x328 + x408 + x488 + x568 + x648 + x728 + x808 + x888 + x968 + x1048 + x1128 = 1 e1210: x9 + x89 + x169 + x249 + x329 + x409 + x489 + x569 + x649 + x729 + x809 + x889 + x969 + x1049 + x1129 = 1 e1211: x10 + x90 + x170 + x250 + x330 + x410 + x490 + x570 + x650 + x730 + x810 + x890 + x970 + x1050 + x1130 = 1 e1212: x11 + x91 + x171 + x251 + x331 + x411 + x491 + x571 + x651 + x731 + x811 + x891 + x971 + x1051 + x1131 = 1 e1213: x12 + x92 + x172 + x252 + x332 + x412 + x492 + x572 + x652 + x732 + x812 + x892 + x972 + x1052 + x1132 = 1 e1214: x13 + x93 + x173 + x253 + x333 + x413 + x493 + x573 + x653 + x733 + x813 + x893 + x973 + x1053 + x1133 = 1 e1215: x14 + x94 + x174 + x254 + x334 + x414 + x494 + x574 + x654 + x734 + x814 + x894 + x974 + x1054 + x1134 = 1 e1216: x15 + x95 + x175 + x255 + x335 + x415 + x495 + x575 + x655 + x735 + x815 + x895 + x975 + x1055 + x1135 = 1 e1217: x16 + x96 + x176 + x256 + x336 + x416 + x496 + x576 + x656 + x736 + x816 + x896 + x976 + x1056 + x1136 = 1 e1218: x17 + x97 + x177 + x257 + x337 + x417 + x497 + x577 + x657 + x737 + x817 + x897 + x977 + x1057 + x1137 = 1 e1219: x18 + x98 + x178 + x258 + x338 + x418 + x498 + x578 + x658 + x738 + x818 + x898 + x978 + x1058 + x1138 = 1 e1220: x19 + x99 + x179 + x259 + x339 + x419 + x499 + x579 + x659 + x739 + x819 + x899 + x979 + x1059 + x1139 = 1 e1221: x20 + x100 + x180 + x260 + x340 + x420 + x500 + x580 + x660 + x740 + x820 + x900 + x980 + x1060 + x1140 = 1 e1222: x21 + x101 + x181 + x261 + x341 + x421 + x501 + x581 + x661 + x741 + x821 + x901 + x981 + x1061 + x1141 = 1 e1223: x22 + x102 + x182 + x262 + x342 + x422 + x502 + x582 + x662 + x742 + x822 + x902 + x982 + x1062 + x1142 = 1 e1224: x23 + x103 + x183 + x263 + x343 + x423 + x503 + x583 + x663 + x743 + x823 + x903 + x983 + x1063 + x1143 = 1 e1225: x24 + x104 + x184 + x264 + x344 + x424 + x504 + x584 + x664 + x744 + x824 + x904 + x984 + x1064 + x1144 = 1 e1226: x25 + x105 + x185 + x265 + x345 + x425 + x505 + x585 + x665 + x745 + x825 + x905 + x985 + x1065 + x1145 = 1 e1227: x26 + x106 + x186 + x266 + x346 + x426 + x506 + x586 + x666 + x746 + x826 + x906 + x986 + x1066 + x1146 = 1 e1228: x27 + x107 + x187 + x267 + x347 + x427 + x507 + x587 + x667 + x747 + x827 + x907 + x987 + x1067 + x1147 = 1 e1229: x28 + x108 + x188 + x268 + x348 + x428 + x508 + x588 + x668 + x748 + x828 + x908 + x988 + x1068 + x1148 = 1 e1230: x29 + x109 + x189 + x269 + x349 + x429 + x509 + x589 + x669 + x749 + x829 + x909 + x989 + x1069 + x1149 = 1 e1231: x30 + x110 + x190 + x270 + x350 + x430 + x510 + x590 + x670 + x750 + x830 + x910 + x990 + x1070 + x1150 = 1 e1232: x31 + x111 + x191 + x271 + x351 + x431 + x511 + x591 + x671 + x751 + x831 + x911 + x991 + x1071 + x1151 = 1 e1233: x32 + x112 + x192 + x272 + x352 + x432 + x512 + x592 + x672 + x752 + x832 + x912 + x992 + x1072 + x1152 = 1 e1234: x33 + x113 + x193 + x273 + x353 + x433 + x513 + x593 + x673 + x753 + x833 + x913 + x993 + x1073 + x1153 = 1 e1235: x34 + x114 + x194 + x274 + x354 + x434 + x514 + x594 + x674 + x754 + x834 + x914 + x994 + x1074 + x1154 = 1 e1236: x35 + x115 + x195 + x275 + x355 + x435 + x515 + x595 + x675 + x755 + x835 + x915 + x995 + x1075 + x1155 = 1 e1237: x36 + x116 + x196 + x276 + x356 + x436 + x516 + x596 + x676 + x756 + x836 + x916 + x996 + x1076 + x1156 = 1 e1238: x37 + x117 + x197 + x277 + x357 + x437 + x517 + x597 + x677 + x757 + x837 + x917 + x997 + x1077 + x1157 = 1 e1239: x38 + x118 + x198 + x278 + x358 + x438 + x518 + x598 + x678 + x758 + x838 + x918 + x998 + x1078 + x1158 = 1 e1240: x39 + x119 + x199 + x279 + x359 + x439 + x519 + x599 + x679 + x759 + x839 + x919 + x999 + x1079 + x1159 = 1 e1241: x40 + x120 + x200 + x280 + x360 + x440 + x520 + x600 + x680 + x760 + x840 + x920 + x1000 + x1080 + x1160 = 1 e1242: x41 + x121 + x201 + x281 + x361 + x441 + x521 + x601 + x681 + x761 + x841 + x921 + x1001 + x1081 + x1161 = 1 e1243: x42 + x122 + x202 + x282 + x362 + x442 + x522 + x602 + x682 + x762 + x842 + x922 + x1002 + x1082 + x1162 = 1 e1244: x43 + x123 + x203 + x283 + x363 + x443 + x523 + x603 + x683 + x763 + x843 + x923 + x1003 + x1083 + x1163 = 1 e1245: x44 + x124 + x204 + x284 + x364 + x444 + x524 + x604 + x684 + x764 + x844 + x924 + x1004 + x1084 + x1164 = 1 e1246: x45 + x125 + x205 + x285 + x365 + x445 + x525 + x605 + x685 + x765 + x845 + x925 + x1005 + x1085 + x1165 = 1 e1247: x46 + x126 + x206 + x286 + x366 + x446 + x526 + x606 + x686 + x766 + x846 + x926 + x1006 + x1086 + x1166 = 1 e1248: x47 + x127 + x207 + x287 + x367 + x447 + x527 + x607 + x687 + x767 + x847 + x927 + x1007 + x1087 + x1167 = 1 e1249: x48 + x128 + x208 + x288 + x368 + x448 + x528 + x608 + x688 + x768 + x848 + x928 + x1008 + x1088 + x1168 = 1 e1250: x49 + x129 + x209 + x289 + x369 + x449 + x529 + x609 + x689 + x769 + x849 + x929 + x1009 + x1089 + x1169 = 1 e1251: x50 + x130 + x210 + x290 + x370 + x450 + x530 + x610 + x690 + x770 + x850 + x930 + x1010 + x1090 + x1170 = 1 e1252: x51 + x131 + x211 + x291 + x371 + x451 + x531 + x611 + x691 + x771 + x851 + x931 + x1011 + x1091 + x1171 = 1 e1253: x52 + x132 + x212 + x292 + x372 + x452 + x532 + x612 + x692 + x772 + x852 + x932 + x1012 + x1092 + x1172 = 1 e1254: x53 + x133 + x213 + x293 + x373 + x453 + x533 + x613 + x693 + x773 + x853 + x933 + x1013 + x1093 + x1173 = 1 e1255: x54 + x134 + x214 + x294 + x374 + x454 + x534 + x614 + x694 + x774 + x854 + x934 + x1014 + x1094 + x1174 = 1 e1256: x55 + x135 + x215 + x295 + x375 + x455 + x535 + x615 + x695 + x775 + x855 + x935 + x1015 + x1095 + x1175 = 1 e1257: x56 + x136 + x216 + x296 + x376 + x456 + x536 + x616 + x696 + x776 + x856 + x936 + x1016 + x1096 + x1176 = 1 e1258: x57 + x137 + x217 + x297 + x377 + x457 + x537 + x617 + x697 + x777 + x857 + x937 + x1017 + x1097 + x1177 = 1 e1259: x58 + x138 + x218 + x298 + x378 + x458 + x538 + x618 + x698 + x778 + x858 + x938 + x1018 + x1098 + x1178 = 1 e1260: x59 + x139 + x219 + x299 + x379 + x459 + x539 + x619 + x699 + x779 + x859 + x939 + x1019 + x1099 + x1179 = 1 e1261: x60 + x140 + x220 + x300 + x380 + x460 + x540 + x620 + x700 + x780 + x860 + x940 + x1020 + x1100 + x1180 = 1 e1262: x61 + x141 + x221 + x301 + x381 + x461 + x541 + x621 + x701 + x781 + x861 + x941 + x1021 + x1101 + x1181 = 1 e1263: x62 + x142 + x222 + x302 + x382 + x462 + x542 + x622 + x702 + x782 + x862 + x942 + x1022 + x1102 + x1182 = 1 e1264: x63 + x143 + x223 + x303 + x383 + x463 + x543 + x623 + x703 + x783 + x863 + x943 + x1023 + x1103 + x1183 = 1 e1265: x64 + x144 + x224 + x304 + x384 + x464 + x544 + x624 + x704 + x784 + x864 + x944 + x1024 + x1104 + x1184 = 1 e1266: x65 + x145 + x225 + x305 + x385 + x465 + x545 + x625 + x705 + x785 + x865 + x945 + x1025 + x1105 + x1185 = 1 e1267: x66 + x146 + x226 + x306 + x386 + x466 + x546 + x626 + x706 + x786 + x866 + x946 + x1026 + x1106 + x1186 = 1 e1268: x67 + x147 + x227 + x307 + x387 + x467 + x547 + x627 + x707 + x787 + x867 + x947 + x1027 + x1107 + x1187 = 1 e1269: x68 + x148 + x228 + x308 + x388 + x468 + x548 + x628 + x708 + x788 + x868 + x948 + x1028 + x1108 + x1188 = 1 e1270: x69 + x149 + x229 + x309 + x389 + x469 + x549 + x629 + x709 + x789 + x869 + x949 + x1029 + x1109 + x1189 = 1 e1271: x70 + x150 + x230 + x310 + x390 + x470 + x550 + x630 + x710 + x790 + x870 + x950 + x1030 + x1110 + x1190 = 1 e1272: x71 + x151 + x231 + x311 + x391 + x471 + x551 + x631 + x711 + x791 + x871 + x951 + x1031 + x1111 + x1191 = 1 e1273: x72 + x152 + x232 + x312 + x392 + x472 + x552 + x632 + x712 + x792 + x872 + x952 + x1032 + x1112 + x1192 = 1 e1274: x73 + x153 + x233 + x313 + x393 + x473 + x553 + x633 + x713 + x793 + x873 + x953 + x1033 + x1113 + x1193 = 1 e1275: x74 + x154 + x234 + x314 + x394 + x474 + x554 + x634 + x714 + x794 + x874 + x954 + x1034 + x1114 + x1194 = 1 e1276: x75 + x155 + x235 + x315 + x395 + x475 + x555 + x635 + x715 + x795 + x875 + x955 + x1035 + x1115 + x1195 = 1 e1277: x76 + x156 + x236 + x316 + x396 + x476 + x556 + x636 + x716 + x796 + x876 + x956 + x1036 + x1116 + x1196 = 1 e1278: x77 + x157 + x237 + x317 + x397 + x477 + x557 + x637 + x717 + x797 + x877 + x957 + x1037 + x1117 + x1197 = 1 e1279: x78 + x158 + x238 + x318 + x398 + x478 + x558 + x638 + x718 + x798 + x878 + x958 + x1038 + x1118 + x1198 = 1 e1280: x79 + x159 + x239 + x319 + x399 + x479 + x559 + x639 + x719 + x799 + x879 + x959 + x1039 + x1119 + x1199 = 1 e1281: x80 + x160 + x240 + x320 + x400 + x480 + x560 + x640 + x720 + x800 + x880 + x960 + x1040 + x1120 + x1200 = 1 e1282: x1^2 - b1201 x1216 <= 0 e1283: x2^2 - b1201 x1217 <= 0 e1284: x3^2 - b1201 x1218 <= 0 e1285: x4^2 - b1201 x1219 <= 0 e1286: x5^2 - b1201 x1220 <= 0 e1287: x6^2 - b1201 x1221 <= 0 e1288: x7^2 - b1201 x1222 <= 0 e1289: x8^2 - b1201 x1223 <= 0 e1290: x9^2 - b1201 x1224 <= 0 e1291: x10^2 - b1201 x1225 <= 0 e1292: x11^2 - b1201 x1226 <= 0 e1293: x12^2 - b1201 x1227 <= 0 e1294: x13^2 - b1201 x1228 <= 0 e1295: x14^2 - b1201 x1229 <= 0 e1296: x15^2 - b1201 x1230 <= 0 e1297: x16^2 - b1201 x1231 <= 0 e1298: x17^2 - b1201 x1232 <= 0 e1299: x18^2 - b1201 x1233 <= 0 e1300: x19^2 - b1201 x1234 <= 0 e1301: x20^2 - b1201 x1235 <= 0 e1302: x21^2 - b1201 x1236 <= 0 e1303: x22^2 - b1201 x1237 <= 0 e1304: x23^2 - b1201 x1238 <= 0 e1305: x24^2 - b1201 x1239 <= 0 e1306: x25^2 - b1201 x1240 <= 0 e1307: x26^2 - b1201 x1241 <= 0 e1308: x27^2 - b1201 x1242 <= 0 e1309: x28^2 - b1201 x1243 <= 0 e1310: x29^2 - b1201 x1244 <= 0 e1311: x30^2 - b1201 x1245 <= 0 e1312: x31^2 - b1201 x1246 <= 0 e1313: x32^2 - b1201 x1247 <= 0 e1314: x33^2 - b1201 x1248 <= 0 e1315: x34^2 - b1201 x1249 <= 0 e1316: x35^2 - b1201 x1250 <= 0 e1317: x36^2 - b1201 x1251 <= 0 e1318: x37^2 - b1201 x1252 <= 0 e1319: x38^2 - b1201 x1253 <= 0 e1320: x39^2 - b1201 x1254 <= 0 e1321: x40^2 - b1201 x1255 <= 0 e1322: x41^2 - b1201 x1256 <= 0 e1323: x42^2 - b1201 x1257 <= 0 e1324: x43^2 - b1201 x1258 <= 0 e1325: x44^2 - b1201 x1259 <= 0 e1326: x45^2 - b1201 x1260 <= 0 e1327: x46^2 - b1201 x1261 <= 0 e1328: x47^2 - b1201 x1262 <= 0 e1329: x48^2 - b1201 x1263 <= 0 e1330: x49^2 - b1201 x1264 <= 0 e1331: x50^2 - b1201 x1265 <= 0 e1332: x51^2 - b1201 x1266 <= 0 e1333: x52^2 - b1201 x1267 <= 0 e1334: x53^2 - b1201 x1268 <= 0 e1335: x54^2 - b1201 x1269 <= 0 e1336: x55^2 - b1201 x1270 <= 0 e1337: x56^2 - b1201 x1271 <= 0 e1338: x57^2 - b1201 x1272 <= 0 e1339: x58^2 - b1201 x1273 <= 0 e1340: x59^2 - b1201 x1274 <= 0 e1341: x60^2 - b1201 x1275 <= 0 e1342: x61^2 - b1201 x1276 <= 0 e1343: x62^2 - b1201 x1277 <= 0 e1344: x63^2 - b1201 x1278 <= 0 e1345: x64^2 - b1201 x1279 <= 0 e1346: x65^2 - b1201 x1280 <= 0 e1347: x66^2 - b1201 x1281 <= 0 e1348: x67^2 - b1201 x1282 <= 0 e1349: x68^2 - b1201 x1283 <= 0 e1350: x69^2 - b1201 x1284 <= 0 e1351: x70^2 - b1201 x1285 <= 0 e1352: x71^2 - b1201 x1286 <= 0 e1353: x72^2 - b1201 x1287 <= 0 e1354: x73^2 - b1201 x1288 <= 0 e1355: x74^2 - b1201 x1289 <= 0 e1356: x75^2 - b1201 x1290 <= 0 e1357: x76^2 - b1201 x1291 <= 0 e1358: x77^2 - b1201 x1292 <= 0 e1359: x78^2 - b1201 x1293 <= 0 e1360: x79^2 - b1201 x1294 <= 0 e1361: x80^2 - b1201 x1295 <= 0 e1362: x81^2 - b1202 x1296 <= 0 e1363: x82^2 - b1202 x1297 <= 0 e1364: x83^2 - b1202 x1298 <= 0 e1365: x84^2 - b1202 x1299 <= 0 e1366: x85^2 - b1202 x1300 <= 0 e1367: x86^2 - b1202 x1301 <= 0 e1368: x87^2 - b1202 x1302 <= 0 e1369: x88^2 - b1202 x1303 <= 0 e1370: x89^2 - b1202 x1304 <= 0 e1371: x90^2 - b1202 x1305 <= 0 e1372: x91^2 - b1202 x1306 <= 0 e1373: x92^2 - b1202 x1307 <= 0 e1374: x93^2 - b1202 x1308 <= 0 e1375: x94^2 - b1202 x1309 <= 0 e1376: x95^2 - b1202 x1310 <= 0 e1377: x96^2 - b1202 x1311 <= 0 e1378: x97^2 - b1202 x1312 <= 0 e1379: x98^2 - b1202 x1313 <= 0 e1380: x99^2 - b1202 x1314 <= 0 e1381: x100^2 - b1202 x1315 <= 0 e1382: x101^2 - b1202 x1316 <= 0 e1383: x102^2 - b1202 x1317 <= 0 e1384: x103^2 - b1202 x1318 <= 0 e1385: x104^2 - b1202 x1319 <= 0 e1386: x105^2 - b1202 x1320 <= 0 e1387: x106^2 - b1202 x1321 <= 0 e1388: x107^2 - b1202 x1322 <= 0 e1389: x108^2 - b1202 x1323 <= 0 e1390: x109^2 - b1202 x1324 <= 0 e1391: x110^2 - b1202 x1325 <= 0 e1392: x111^2 - b1202 x1326 <= 0 e1393: x112^2 - b1202 x1327 <= 0 e1394: x113^2 - b1202 x1328 <= 0 e1395: x114^2 - b1202 x1329 <= 0 e1396: x115^2 - b1202 x1330 <= 0 e1397: x116^2 - b1202 x1331 <= 0 e1398: x117^2 - b1202 x1332 <= 0 e1399: x118^2 - b1202 x1333 <= 0 e1400: x119^2 - b1202 x1334 <= 0 e1401: x120^2 - b1202 x1335 <= 0 e1402: x121^2 - b1202 x1336 <= 0 e1403: x122^2 - b1202 x1337 <= 0 e1404: x123^2 - b1202 x1338 <= 0 e1405: x124^2 - b1202 x1339 <= 0 e1406: x125^2 - b1202 x1340 <= 0 e1407: x126^2 - b1202 x1341 <= 0 e1408: x127^2 - b1202 x1342 <= 0 e1409: x128^2 - b1202 x1343 <= 0 e1410: x129^2 - b1202 x1344 <= 0 e1411: x130^2 - b1202 x1345 <= 0 e1412: x131^2 - b1202 x1346 <= 0 e1413: x132^2 - b1202 x1347 <= 0 e1414: x133^2 - b1202 x1348 <= 0 e1415: x134^2 - b1202 x1349 <= 0 e1416: x135^2 - b1202 x1350 <= 0 e1417: x136^2 - b1202 x1351 <= 0 e1418: x137^2 - b1202 x1352 <= 0 e1419: x138^2 - b1202 x1353 <= 0 e1420: x139^2 - b1202 x1354 <= 0 e1421: x140^2 - b1202 x1355 <= 0 e1422: x141^2 - b1202 x1356 <= 0 e1423: x142^2 - b1202 x1357 <= 0 e1424: x143^2 - b1202 x1358 <= 0 e1425: x144^2 - b1202 x1359 <= 0 e1426: x145^2 - b1202 x1360 <= 0 e1427: x146^2 - b1202 x1361 <= 0 e1428: x147^2 - b1202 x1362 <= 0 e1429: x148^2 - b1202 x1363 <= 0 e1430: x149^2 - b1202 x1364 <= 0 e1431: x150^2 - b1202 x1365 <= 0 e1432: x151^2 - b1202 x1366 <= 0 e1433: x152^2 - b1202 x1367 <= 0 e1434: x153^2 - b1202 x1368 <= 0 e1435: x154^2 - b1202 x1369 <= 0 e1436: x155^2 - b1202 x1370 <= 0 e1437: x156^2 - b1202 x1371 <= 0 e1438: x157^2 - b1202 x1372 <= 0 e1439: x158^2 - b1202 x1373 <= 0 e1440: x159^2 - b1202 x1374 <= 0 e1441: x160^2 - b1202 x1375 <= 0 e1442: x161^2 - b1203 x1376 <= 0 e1443: x162^2 - b1203 x1377 <= 0 e1444: x163^2 - b1203 x1378 <= 0 e1445: x164^2 - b1203 x1379 <= 0 e1446: x165^2 - b1203 x1380 <= 0 e1447: x166^2 - b1203 x1381 <= 0 e1448: x167^2 - b1203 x1382 <= 0 e1449: x168^2 - b1203 x1383 <= 0 e1450: x169^2 - b1203 x1384 <= 0 e1451: x170^2 - b1203 x1385 <= 0 e1452: x171^2 - b1203 x1386 <= 0 e1453: x172^2 - b1203 x1387 <= 0 e1454: x173^2 - b1203 x1388 <= 0 e1455: x174^2 - b1203 x1389 <= 0 e1456: x175^2 - b1203 x1390 <= 0 e1457: x176^2 - b1203 x1391 <= 0 e1458: x177^2 - b1203 x1392 <= 0 e1459: x178^2 - b1203 x1393 <= 0 e1460: x179^2 - b1203 x1394 <= 0 e1461: x180^2 - b1203 x1395 <= 0 e1462: x181^2 - b1203 x1396 <= 0 e1463: x182^2 - b1203 x1397 <= 0 e1464: x183^2 - b1203 x1398 <= 0 e1465: x184^2 - b1203 x1399 <= 0 e1466: x185^2 - b1203 x1400 <= 0 e1467: x186^2 - b1203 x1401 <= 0 e1468: x187^2 - b1203 x1402 <= 0 e1469: x188^2 - b1203 x1403 <= 0 e1470: x189^2 - b1203 x1404 <= 0 e1471: x190^2 - b1203 x1405 <= 0 e1472: x191^2 - b1203 x1406 <= 0 e1473: x192^2 - b1203 x1407 <= 0 e1474: x193^2 - b1203 x1408 <= 0 e1475: x194^2 - b1203 x1409 <= 0 e1476: x195^2 - b1203 x1410 <= 0 e1477: x196^2 - b1203 x1411 <= 0 e1478: x197^2 - b1203 x1412 <= 0 e1479: x198^2 - b1203 x1413 <= 0 e1480: x199^2 - b1203 x1414 <= 0 e1481: x200^2 - b1203 x1415 <= 0 e1482: x201^2 - b1203 x1416 <= 0 e1483: x202^2 - b1203 x1417 <= 0 e1484: x203^2 - b1203 x1418 <= 0 e1485: x204^2 - b1203 x1419 <= 0 e1486: x205^2 - b1203 x1420 <= 0 e1487: x206^2 - b1203 x1421 <= 0 e1488: x207^2 - b1203 x1422 <= 0 e1489: x208^2 - b1203 x1423 <= 0 e1490: x209^2 - b1203 x1424 <= 0 e1491: x210^2 - b1203 x1425 <= 0 e1492: x211^2 - b1203 x1426 <= 0 e1493: x212^2 - b1203 x1427 <= 0 e1494: x213^2 - b1203 x1428 <= 0 e1495: x214^2 - b1203 x1429 <= 0 e1496: x215^2 - b1203 x1430 <= 0 e1497: x216^2 - b1203 x1431 <= 0 e1498: x217^2 - b1203 x1432 <= 0 e1499: x218^2 - b1203 x1433 <= 0 e1500: x219^2 - b1203 x1434 <= 0 e1501: x220^2 - b1203 x1435 <= 0 e1502: x221^2 - b1203 x1436 <= 0 e1503: x222^2 - b1203 x1437 <= 0 e1504: x223^2 - b1203 x1438 <= 0 e1505: x224^2 - b1203 x1439 <= 0 e1506: x225^2 - b1203 x1440 <= 0 e1507: x226^2 - b1203 x1441 <= 0 e1508: x227^2 - b1203 x1442 <= 0 e1509: x228^2 - b1203 x1443 <= 0 e1510: x229^2 - b1203 x1444 <= 0 e1511: x230^2 - b1203 x1445 <= 0 e1512: x231^2 - b1203 x1446 <= 0 e1513: x232^2 - b1203 x1447 <= 0 e1514: x233^2 - b1203 x1448 <= 0 e1515: x234^2 - b1203 x1449 <= 0 e1516: x235^2 - b1203 x1450 <= 0 e1517: x236^2 - b1203 x1451 <= 0 e1518: x237^2 - b1203 x1452 <= 0 e1519: x238^2 - b1203 x1453 <= 0 e1520: x239^2 - b1203 x1454 <= 0 e1521: x240^2 - b1203 x1455 <= 0 e1522: x241^2 - b1204 x1456 <= 0 e1523: x242^2 - b1204 x1457 <= 0 e1524: x243^2 - b1204 x1458 <= 0 e1525: x244^2 - b1204 x1459 <= 0 e1526: x245^2 - b1204 x1460 <= 0 e1527: x246^2 - b1204 x1461 <= 0 e1528: x247^2 - b1204 x1462 <= 0 e1529: x248^2 - b1204 x1463 <= 0 e1530: x249^2 - b1204 x1464 <= 0 e1531: x250^2 - b1204 x1465 <= 0 e1532: x251^2 - b1204 x1466 <= 0 e1533: x252^2 - b1204 x1467 <= 0 e1534: x253^2 - b1204 x1468 <= 0 e1535: x254^2 - b1204 x1469 <= 0 e1536: x255^2 - b1204 x1470 <= 0 e1537: x256^2 - b1204 x1471 <= 0 e1538: x257^2 - b1204 x1472 <= 0 e1539: x258^2 - b1204 x1473 <= 0 e1540: x259^2 - b1204 x1474 <= 0 e1541: x260^2 - b1204 x1475 <= 0 e1542: x261^2 - b1204 x1476 <= 0 e1543: x262^2 - b1204 x1477 <= 0 e1544: x263^2 - b1204 x1478 <= 0 e1545: x264^2 - b1204 x1479 <= 0 e1546: x265^2 - b1204 x1480 <= 0 e1547: x266^2 - b1204 x1481 <= 0 e1548: x267^2 - b1204 x1482 <= 0 e1549: x268^2 - b1204 x1483 <= 0 e1550: x269^2 - b1204 x1484 <= 0 e1551: x270^2 - b1204 x1485 <= 0 e1552: x271^2 - b1204 x1486 <= 0 e1553: x272^2 - b1204 x1487 <= 0 e1554: x273^2 - b1204 x1488 <= 0 e1555: x274^2 - b1204 x1489 <= 0 e1556: x275^2 - b1204 x1490 <= 0 e1557: x276^2 - b1204 x1491 <= 0 e1558: x277^2 - b1204 x1492 <= 0 e1559: x278^2 - b1204 x1493 <= 0 e1560: x279^2 - b1204 x1494 <= 0 e1561: x280^2 - b1204 x1495 <= 0 e1562: x281^2 - b1204 x1496 <= 0 e1563: x282^2 - b1204 x1497 <= 0 e1564: x283^2 - b1204 x1498 <= 0 e1565: x284^2 - b1204 x1499 <= 0 e1566: x285^2 - b1204 x1500 <= 0 e1567: x286^2 - b1204 x1501 <= 0 e1568: x287^2 - b1204 x1502 <= 0 e1569: x288^2 - b1204 x1503 <= 0 e1570: x289^2 - b1204 x1504 <= 0 e1571: x290^2 - b1204 x1505 <= 0 e1572: x291^2 - b1204 x1506 <= 0 e1573: x292^2 - b1204 x1507 <= 0 e1574: x293^2 - b1204 x1508 <= 0 e1575: x294^2 - b1204 x1509 <= 0 e1576: x295^2 - b1204 x1510 <= 0 e1577: x296^2 - b1204 x1511 <= 0 e1578: x297^2 - b1204 x1512 <= 0 e1579: x298^2 - b1204 x1513 <= 0 e1580: x299^2 - b1204 x1514 <= 0 e1581: x300^2 - b1204 x1515 <= 0 e1582: x301^2 - b1204 x1516 <= 0 e1583: x302^2 - b1204 x1517 <= 0 e1584: x303^2 - b1204 x1518 <= 0 e1585: x304^2 - b1204 x1519 <= 0 e1586: x305^2 - b1204 x1520 <= 0 e1587: x306^2 - b1204 x1521 <= 0 e1588: x307^2 - b1204 x1522 <= 0 e1589: x308^2 - b1204 x1523 <= 0 e1590: x309^2 - b1204 x1524 <= 0 e1591: x310^2 - b1204 x1525 <= 0 e1592: x311^2 - b1204 x1526 <= 0 e1593: x312^2 - b1204 x1527 <= 0 e1594: x313^2 - b1204 x1528 <= 0 e1595: x314^2 - b1204 x1529 <= 0 e1596: x315^2 - b1204 x1530 <= 0 e1597: x316^2 - b1204 x1531 <= 0 e1598: x317^2 - b1204 x1532 <= 0 e1599: x318^2 - b1204 x1533 <= 0 e1600: x319^2 - b1204 x1534 <= 0 e1601: x320^2 - b1204 x1535 <= 0 e1602: x321^2 - b1205 x1536 <= 0 e1603: x322^2 - b1205 x1537 <= 0 e1604: x323^2 - b1205 x1538 <= 0 e1605: x324^2 - b1205 x1539 <= 0 e1606: x325^2 - b1205 x1540 <= 0 e1607: x326^2 - b1205 x1541 <= 0 e1608: x327^2 - b1205 x1542 <= 0 e1609: x328^2 - b1205 x1543 <= 0 e1610: x329^2 - b1205 x1544 <= 0 e1611: x330^2 - b1205 x1545 <= 0 e1612: x331^2 - b1205 x1546 <= 0 e1613: x332^2 - b1205 x1547 <= 0 e1614: x333^2 - b1205 x1548 <= 0 e1615: x334^2 - b1205 x1549 <= 0 e1616: x335^2 - b1205 x1550 <= 0 e1617: x336^2 - b1205 x1551 <= 0 e1618: x337^2 - b1205 x1552 <= 0 e1619: x338^2 - b1205 x1553 <= 0 e1620: x339^2 - b1205 x1554 <= 0 e1621: x340^2 - b1205 x1555 <= 0 e1622: x341^2 - b1205 x1556 <= 0 e1623: x342^2 - b1205 x1557 <= 0 e1624: x343^2 - b1205 x1558 <= 0 e1625: x344^2 - b1205 x1559 <= 0 e1626: x345^2 - b1205 x1560 <= 0 e1627: x346^2 - b1205 x1561 <= 0 e1628: x347^2 - b1205 x1562 <= 0 e1629: x348^2 - b1205 x1563 <= 0 e1630: x349^2 - b1205 x1564 <= 0 e1631: x350^2 - b1205 x1565 <= 0 e1632: x351^2 - b1205 x1566 <= 0 e1633: x352^2 - b1205 x1567 <= 0 e1634: x353^2 - b1205 x1568 <= 0 e1635: x354^2 - b1205 x1569 <= 0 e1636: x355^2 - b1205 x1570 <= 0 e1637: x356^2 - b1205 x1571 <= 0 e1638: x357^2 - b1205 x1572 <= 0 e1639: x358^2 - b1205 x1573 <= 0 e1640: x359^2 - b1205 x1574 <= 0 e1641: x360^2 - b1205 x1575 <= 0 e1642: x361^2 - b1205 x1576 <= 0 e1643: x362^2 - b1205 x1577 <= 0 e1644: x363^2 - b1205 x1578 <= 0 e1645: x364^2 - b1205 x1579 <= 0 e1646: x365^2 - b1205 x1580 <= 0 e1647: x366^2 - b1205 x1581 <= 0 e1648: x367^2 - b1205 x1582 <= 0 e1649: x368^2 - b1205 x1583 <= 0 e1650: x369^2 - b1205 x1584 <= 0 e1651: x370^2 - b1205 x1585 <= 0 e1652: x371^2 - b1205 x1586 <= 0 e1653: x372^2 - b1205 x1587 <= 0 e1654: x373^2 - b1205 x1588 <= 0 e1655: x374^2 - b1205 x1589 <= 0 e1656: x375^2 - b1205 x1590 <= 0 e1657: x376^2 - b1205 x1591 <= 0 e1658: x377^2 - b1205 x1592 <= 0 e1659: x378^2 - b1205 x1593 <= 0 e1660: x379^2 - b1205 x1594 <= 0 e1661: x380^2 - b1205 x1595 <= 0 e1662: x381^2 - b1205 x1596 <= 0 e1663: x382^2 - b1205 x1597 <= 0 e1664: x383^2 - b1205 x1598 <= 0 e1665: x384^2 - b1205 x1599 <= 0 e1666: x385^2 - b1205 x1600 <= 0 e1667: x386^2 - b1205 x1601 <= 0 e1668: x387^2 - b1205 x1602 <= 0 e1669: x388^2 - b1205 x1603 <= 0 e1670: x389^2 - b1205 x1604 <= 0 e1671: x390^2 - b1205 x1605 <= 0 e1672: x391^2 - b1205 x1606 <= 0 e1673: x392^2 - b1205 x1607 <= 0 e1674: x393^2 - b1205 x1608 <= 0 e1675: x394^2 - b1205 x1609 <= 0 e1676: x395^2 - b1205 x1610 <= 0 e1677: x396^2 - b1205 x1611 <= 0 e1678: x397^2 - b1205 x1612 <= 0 e1679: x398^2 - b1205 x1613 <= 0 e1680: x399^2 - b1205 x1614 <= 0 e1681: x400^2 - b1205 x1615 <= 0 e1682: x401^2 - b1206 x1616 <= 0 e1683: x402^2 - b1206 x1617 <= 0 e1684: x403^2 - b1206 x1618 <= 0 e1685: x404^2 - b1206 x1619 <= 0 e1686: x405^2 - b1206 x1620 <= 0 e1687: x406^2 - b1206 x1621 <= 0 e1688: x407^2 - b1206 x1622 <= 0 e1689: x408^2 - b1206 x1623 <= 0 e1690: x409^2 - b1206 x1624 <= 0 e1691: x410^2 - b1206 x1625 <= 0 e1692: x411^2 - b1206 x1626 <= 0 e1693: x412^2 - b1206 x1627 <= 0 e1694: x413^2 - b1206 x1628 <= 0 e1695: x414^2 - b1206 x1629 <= 0 e1696: x415^2 - b1206 x1630 <= 0 e1697: x416^2 - b1206 x1631 <= 0 e1698: x417^2 - b1206 x1632 <= 0 e1699: x418^2 - b1206 x1633 <= 0 e1700: x419^2 - b1206 x1634 <= 0 e1701: x420^2 - b1206 x1635 <= 0 e1702: x421^2 - b1206 x1636 <= 0 e1703: x422^2 - b1206 x1637 <= 0 e1704: x423^2 - b1206 x1638 <= 0 e1705: x424^2 - b1206 x1639 <= 0 e1706: x425^2 - b1206 x1640 <= 0 e1707: x426^2 - b1206 x1641 <= 0 e1708: x427^2 - b1206 x1642 <= 0 e1709: x428^2 - b1206 x1643 <= 0 e1710: x429^2 - b1206 x1644 <= 0 e1711: x430^2 - b1206 x1645 <= 0 e1712: x431^2 - b1206 x1646 <= 0 e1713: x432^2 - b1206 x1647 <= 0 e1714: x433^2 - b1206 x1648 <= 0 e1715: x434^2 - b1206 x1649 <= 0 e1716: x435^2 - b1206 x1650 <= 0 e1717: x436^2 - b1206 x1651 <= 0 e1718: x437^2 - b1206 x1652 <= 0 e1719: x438^2 - b1206 x1653 <= 0 e1720: x439^2 - b1206 x1654 <= 0 e1721: x440^2 - b1206 x1655 <= 0 e1722: x441^2 - b1206 x1656 <= 0 e1723: x442^2 - b1206 x1657 <= 0 e1724: x443^2 - b1206 x1658 <= 0 e1725: x444^2 - b1206 x1659 <= 0 e1726: x445^2 - b1206 x1660 <= 0 e1727: x446^2 - b1206 x1661 <= 0 e1728: x447^2 - b1206 x1662 <= 0 e1729: x448^2 - b1206 x1663 <= 0 e1730: x449^2 - b1206 x1664 <= 0 e1731: x450^2 - b1206 x1665 <= 0 e1732: x451^2 - b1206 x1666 <= 0 e1733: x452^2 - b1206 x1667 <= 0 e1734: x453^2 - b1206 x1668 <= 0 e1735: x454^2 - b1206 x1669 <= 0 e1736: x455^2 - b1206 x1670 <= 0 e1737: x456^2 - b1206 x1671 <= 0 e1738: x457^2 - b1206 x1672 <= 0 e1739: x458^2 - b1206 x1673 <= 0 e1740: x459^2 - b1206 x1674 <= 0 e1741: x460^2 - b1206 x1675 <= 0 e1742: x461^2 - b1206 x1676 <= 0 e1743: x462^2 - b1206 x1677 <= 0 e1744: x463^2 - b1206 x1678 <= 0 e1745: x464^2 - b1206 x1679 <= 0 e1746: x465^2 - b1206 x1680 <= 0 e1747: x466^2 - b1206 x1681 <= 0 e1748: x467^2 - b1206 x1682 <= 0 e1749: x468^2 - b1206 x1683 <= 0 e1750: x469^2 - b1206 x1684 <= 0 e1751: x470^2 - b1206 x1685 <= 0 e1752: x471^2 - b1206 x1686 <= 0 e1753: x472^2 - b1206 x1687 <= 0 e1754: x473^2 - b1206 x1688 <= 0 e1755: x474^2 - b1206 x1689 <= 0 e1756: x475^2 - b1206 x1690 <= 0 e1757: x476^2 - b1206 x1691 <= 0 e1758: x477^2 - b1206 x1692 <= 0 e1759: x478^2 - b1206 x1693 <= 0 e1760: x479^2 - b1206 x1694 <= 0 e1761: x480^2 - b1206 x1695 <= 0 e1762: x481^2 - b1207 x1696 <= 0 e1763: x482^2 - b1207 x1697 <= 0 e1764: x483^2 - b1207 x1698 <= 0 e1765: x484^2 - b1207 x1699 <= 0 e1766: x485^2 - b1207 x1700 <= 0 e1767: x486^2 - b1207 x1701 <= 0 e1768: x487^2 - b1207 x1702 <= 0 e1769: x488^2 - b1207 x1703 <= 0 e1770: x489^2 - b1207 x1704 <= 0 e1771: x490^2 - b1207 x1705 <= 0 e1772: x491^2 - b1207 x1706 <= 0 e1773: x492^2 - b1207 x1707 <= 0 e1774: x493^2 - b1207 x1708 <= 0 e1775: x494^2 - b1207 x1709 <= 0 e1776: x495^2 - b1207 x1710 <= 0 e1777: x496^2 - b1207 x1711 <= 0 e1778: x497^2 - b1207 x1712 <= 0 e1779: x498^2 - b1207 x1713 <= 0 e1780: x499^2 - b1207 x1714 <= 0 e1781: x500^2 - b1207 x1715 <= 0 e1782: x501^2 - b1207 x1716 <= 0 e1783: x502^2 - b1207 x1717 <= 0 e1784: x503^2 - b1207 x1718 <= 0 e1785: x504^2 - b1207 x1719 <= 0 e1786: x505^2 - b1207 x1720 <= 0 e1787: x506^2 - b1207 x1721 <= 0 e1788: x507^2 - b1207 x1722 <= 0 e1789: x508^2 - b1207 x1723 <= 0 e1790: x509^2 - b1207 x1724 <= 0 e1791: x510^2 - b1207 x1725 <= 0 e1792: x511^2 - b1207 x1726 <= 0 e1793: x512^2 - b1207 x1727 <= 0 e1794: x513^2 - b1207 x1728 <= 0 e1795: x514^2 - b1207 x1729 <= 0 e1796: x515^2 - b1207 x1730 <= 0 e1797: x516^2 - b1207 x1731 <= 0 e1798: x517^2 - b1207 x1732 <= 0 e1799: x518^2 - b1207 x1733 <= 0 e1800: x519^2 - b1207 x1734 <= 0 e1801: x520^2 - b1207 x1735 <= 0 e1802: x521^2 - b1207 x1736 <= 0 e1803: x522^2 - b1207 x1737 <= 0 e1804: x523^2 - b1207 x1738 <= 0 e1805: x524^2 - b1207 x1739 <= 0 e1806: x525^2 - b1207 x1740 <= 0 e1807: x526^2 - b1207 x1741 <= 0 e1808: x527^2 - b1207 x1742 <= 0 e1809: x528^2 - b1207 x1743 <= 0 e1810: x529^2 - b1207 x1744 <= 0 e1811: x530^2 - b1207 x1745 <= 0 e1812: x531^2 - b1207 x1746 <= 0 e1813: x532^2 - b1207 x1747 <= 0 e1814: x533^2 - b1207 x1748 <= 0 e1815: x534^2 - b1207 x1749 <= 0 e1816: x535^2 - b1207 x1750 <= 0 e1817: x536^2 - b1207 x1751 <= 0 e1818: x537^2 - b1207 x1752 <= 0 e1819: x538^2 - b1207 x1753 <= 0 e1820: x539^2 - b1207 x1754 <= 0 e1821: x540^2 - b1207 x1755 <= 0 e1822: x541^2 - b1207 x1756 <= 0 e1823: x542^2 - b1207 x1757 <= 0 e1824: x543^2 - b1207 x1758 <= 0 e1825: x544^2 - b1207 x1759 <= 0 e1826: x545^2 - b1207 x1760 <= 0 e1827: x546^2 - b1207 x1761 <= 0 e1828: x547^2 - b1207 x1762 <= 0 e1829: x548^2 - b1207 x1763 <= 0 e1830: x549^2 - b1207 x1764 <= 0 e1831: x550^2 - b1207 x1765 <= 0 e1832: x551^2 - b1207 x1766 <= 0 e1833: x552^2 - b1207 x1767 <= 0 e1834: x553^2 - b1207 x1768 <= 0 e1835: x554^2 - b1207 x1769 <= 0 e1836: x555^2 - b1207 x1770 <= 0 e1837: x556^2 - b1207 x1771 <= 0 e1838: x557^2 - b1207 x1772 <= 0 e1839: x558^2 - b1207 x1773 <= 0 e1840: x559^2 - b1207 x1774 <= 0 e1841: x560^2 - b1207 x1775 <= 0 e1842: x561^2 - b1208 x1776 <= 0 e1843: x562^2 - b1208 x1777 <= 0 e1844: x563^2 - b1208 x1778 <= 0 e1845: x564^2 - b1208 x1779 <= 0 e1846: x565^2 - b1208 x1780 <= 0 e1847: x566^2 - b1208 x1781 <= 0 e1848: x567^2 - b1208 x1782 <= 0 e1849: x568^2 - b1208 x1783 <= 0 e1850: x569^2 - b1208 x1784 <= 0 e1851: x570^2 - b1208 x1785 <= 0 e1852: x571^2 - b1208 x1786 <= 0 e1853: x572^2 - b1208 x1787 <= 0 e1854: x573^2 - b1208 x1788 <= 0 e1855: x574^2 - b1208 x1789 <= 0 e1856: x575^2 - b1208 x1790 <= 0 e1857: x576^2 - b1208 x1791 <= 0 e1858: x577^2 - b1208 x1792 <= 0 e1859: x578^2 - b1208 x1793 <= 0 e1860: x579^2 - b1208 x1794 <= 0 e1861: x580^2 - b1208 x1795 <= 0 e1862: x581^2 - b1208 x1796 <= 0 e1863: x582^2 - b1208 x1797 <= 0 e1864: x583^2 - b1208 x1798 <= 0 e1865: x584^2 - b1208 x1799 <= 0 e1866: x585^2 - b1208 x1800 <= 0 e1867: x586^2 - b1208 x1801 <= 0 e1868: x587^2 - b1208 x1802 <= 0 e1869: x588^2 - b1208 x1803 <= 0 e1870: x589^2 - b1208 x1804 <= 0 e1871: x590^2 - b1208 x1805 <= 0 e1872: x591^2 - b1208 x1806 <= 0 e1873: x592^2 - b1208 x1807 <= 0 e1874: x593^2 - b1208 x1808 <= 0 e1875: x594^2 - b1208 x1809 <= 0 e1876: x595^2 - b1208 x1810 <= 0 e1877: x596^2 - b1208 x1811 <= 0 e1878: x597^2 - b1208 x1812 <= 0 e1879: x598^2 - b1208 x1813 <= 0 e1880: x599^2 - b1208 x1814 <= 0 e1881: x600^2 - b1208 x1815 <= 0 e1882: x601^2 - b1208 x1816 <= 0 e1883: x602^2 - b1208 x1817 <= 0 e1884: x603^2 - b1208 x1818 <= 0 e1885: x604^2 - b1208 x1819 <= 0 e1886: x605^2 - b1208 x1820 <= 0 e1887: x606^2 - b1208 x1821 <= 0 e1888: x607^2 - b1208 x1822 <= 0 e1889: x608^2 - b1208 x1823 <= 0 e1890: x609^2 - b1208 x1824 <= 0 e1891: x610^2 - b1208 x1825 <= 0 e1892: x611^2 - b1208 x1826 <= 0 e1893: x612^2 - b1208 x1827 <= 0 e1894: x613^2 - b1208 x1828 <= 0 e1895: x614^2 - b1208 x1829 <= 0 e1896: x615^2 - b1208 x1830 <= 0 e1897: x616^2 - b1208 x1831 <= 0 e1898: x617^2 - b1208 x1832 <= 0 e1899: x618^2 - b1208 x1833 <= 0 e1900: x619^2 - b1208 x1834 <= 0 e1901: x620^2 - b1208 x1835 <= 0 e1902: x621^2 - b1208 x1836 <= 0 e1903: x622^2 - b1208 x1837 <= 0 e1904: x623^2 - b1208 x1838 <= 0 e1905: x624^2 - b1208 x1839 <= 0 e1906: x625^2 - b1208 x1840 <= 0 e1907: x626^2 - b1208 x1841 <= 0 e1908: x627^2 - b1208 x1842 <= 0 e1909: x628^2 - b1208 x1843 <= 0 e1910: x629^2 - b1208 x1844 <= 0 e1911: x630^2 - b1208 x1845 <= 0 e1912: x631^2 - b1208 x1846 <= 0 e1913: x632^2 - b1208 x1847 <= 0 e1914: x633^2 - b1208 x1848 <= 0 e1915: x634^2 - b1208 x1849 <= 0 e1916: x635^2 - b1208 x1850 <= 0 e1917: x636^2 - b1208 x1851 <= 0 e1918: x637^2 - b1208 x1852 <= 0 e1919: x638^2 - b1208 x1853 <= 0 e1920: x639^2 - b1208 x1854 <= 0 e1921: x640^2 - b1208 x1855 <= 0 e1922: x641^2 - b1209 x1856 <= 0 e1923: x642^2 - b1209 x1857 <= 0 e1924: x643^2 - b1209 x1858 <= 0 e1925: x644^2 - b1209 x1859 <= 0 e1926: x645^2 - b1209 x1860 <= 0 e1927: x646^2 - b1209 x1861 <= 0 e1928: x647^2 - b1209 x1862 <= 0 e1929: x648^2 - b1209 x1863 <= 0 e1930: x649^2 - b1209 x1864 <= 0 e1931: x650^2 - b1209 x1865 <= 0 e1932: x651^2 - b1209 x1866 <= 0 e1933: x652^2 - b1209 x1867 <= 0 e1934: x653^2 - b1209 x1868 <= 0 e1935: x654^2 - b1209 x1869 <= 0 e1936: x655^2 - b1209 x1870 <= 0 e1937: x656^2 - b1209 x1871 <= 0 e1938: x657^2 - b1209 x1872 <= 0 e1939: x658^2 - b1209 x1873 <= 0 e1940: x659^2 - b1209 x1874 <= 0 e1941: x660^2 - b1209 x1875 <= 0 e1942: x661^2 - b1209 x1876 <= 0 e1943: x662^2 - b1209 x1877 <= 0 e1944: x663^2 - b1209 x1878 <= 0 e1945: x664^2 - b1209 x1879 <= 0 e1946: x665^2 - b1209 x1880 <= 0 e1947: x666^2 - b1209 x1881 <= 0 e1948: x667^2 - b1209 x1882 <= 0 e1949: x668^2 - b1209 x1883 <= 0 e1950: x669^2 - b1209 x1884 <= 0 e1951: x670^2 - b1209 x1885 <= 0 e1952: x671^2 - b1209 x1886 <= 0 e1953: x672^2 - b1209 x1887 <= 0 e1954: x673^2 - b1209 x1888 <= 0 e1955: x674^2 - b1209 x1889 <= 0 e1956: x675^2 - b1209 x1890 <= 0 e1957: x676^2 - b1209 x1891 <= 0 e1958: x677^2 - b1209 x1892 <= 0 e1959: x678^2 - b1209 x1893 <= 0 e1960: x679^2 - b1209 x1894 <= 0 e1961: x680^2 - b1209 x1895 <= 0 e1962: x681^2 - b1209 x1896 <= 0 e1963: x682^2 - b1209 x1897 <= 0 e1964: x683^2 - b1209 x1898 <= 0 e1965: x684^2 - b1209 x1899 <= 0 e1966: x685^2 - b1209 x1900 <= 0 e1967: x686^2 - b1209 x1901 <= 0 e1968: x687^2 - b1209 x1902 <= 0 e1969: x688^2 - b1209 x1903 <= 0 e1970: x689^2 - b1209 x1904 <= 0 e1971: x690^2 - b1209 x1905 <= 0 e1972: x691^2 - b1209 x1906 <= 0 e1973: x692^2 - b1209 x1907 <= 0 e1974: x693^2 - b1209 x1908 <= 0 e1975: x694^2 - b1209 x1909 <= 0 e1976: x695^2 - b1209 x1910 <= 0 e1977: x696^2 - b1209 x1911 <= 0 e1978: x697^2 - b1209 x1912 <= 0 e1979: x698^2 - b1209 x1913 <= 0 e1980: x699^2 - b1209 x1914 <= 0 e1981: x700^2 - b1209 x1915 <= 0 e1982: x701^2 - b1209 x1916 <= 0 e1983: x702^2 - b1209 x1917 <= 0 e1984: x703^2 - b1209 x1918 <= 0 e1985: x704^2 - b1209 x1919 <= 0 e1986: x705^2 - b1209 x1920 <= 0 e1987: x706^2 - b1209 x1921 <= 0 e1988: x707^2 - b1209 x1922 <= 0 e1989: x708^2 - b1209 x1923 <= 0 e1990: x709^2 - b1209 x1924 <= 0 e1991: x710^2 - b1209 x1925 <= 0 e1992: x711^2 - b1209 x1926 <= 0 e1993: x712^2 - b1209 x1927 <= 0 e1994: x713^2 - b1209 x1928 <= 0 e1995: x714^2 - b1209 x1929 <= 0 e1996: x715^2 - b1209 x1930 <= 0 e1997: x716^2 - b1209 x1931 <= 0 e1998: x717^2 - b1209 x1932 <= 0 e1999: x718^2 - b1209 x1933 <= 0 e2000: x719^2 - b1209 x1934 <= 0 e2001: x720^2 - b1209 x1935 <= 0 e2002: x721^2 - b1210 x1936 <= 0 e2003: x722^2 - b1210 x1937 <= 0 e2004: x723^2 - b1210 x1938 <= 0 e2005: x724^2 - b1210 x1939 <= 0 e2006: x725^2 - b1210 x1940 <= 0 e2007: x726^2 - b1210 x1941 <= 0 e2008: x727^2 - b1210 x1942 <= 0 e2009: x728^2 - b1210 x1943 <= 0 e2010: x729^2 - b1210 x1944 <= 0 e2011: x730^2 - b1210 x1945 <= 0 e2012: x731^2 - b1210 x1946 <= 0 e2013: x732^2 - b1210 x1947 <= 0 e2014: x733^2 - b1210 x1948 <= 0 e2015: x734^2 - b1210 x1949 <= 0 e2016: x735^2 - b1210 x1950 <= 0 e2017: x736^2 - b1210 x1951 <= 0 e2018: x737^2 - b1210 x1952 <= 0 e2019: x738^2 - b1210 x1953 <= 0 e2020: x739^2 - b1210 x1954 <= 0 e2021: x740^2 - b1210 x1955 <= 0 e2022: x741^2 - b1210 x1956 <= 0 e2023: x742^2 - b1210 x1957 <= 0 e2024: x743^2 - b1210 x1958 <= 0 e2025: x744^2 - b1210 x1959 <= 0 e2026: x745^2 - b1210 x1960 <= 0 e2027: x746^2 - b1210 x1961 <= 0 e2028: x747^2 - b1210 x1962 <= 0 e2029: x748^2 - b1210 x1963 <= 0 e2030: x749^2 - b1210 x1964 <= 0 e2031: x750^2 - b1210 x1965 <= 0 e2032: x751^2 - b1210 x1966 <= 0 e2033: x752^2 - b1210 x1967 <= 0 e2034: x753^2 - b1210 x1968 <= 0 e2035: x754^2 - b1210 x1969 <= 0 e2036: x755^2 - b1210 x1970 <= 0 e2037: x756^2 - b1210 x1971 <= 0 e2038: x757^2 - b1210 x1972 <= 0 e2039: x758^2 - b1210 x1973 <= 0 e2040: x759^2 - b1210 x1974 <= 0 e2041: x760^2 - b1210 x1975 <= 0 e2042: x761^2 - b1210 x1976 <= 0 e2043: x762^2 - b1210 x1977 <= 0 e2044: x763^2 - b1210 x1978 <= 0 e2045: x764^2 - b1210 x1979 <= 0 e2046: x765^2 - b1210 x1980 <= 0 e2047: x766^2 - b1210 x1981 <= 0 e2048: x767^2 - b1210 x1982 <= 0 e2049: x768^2 - b1210 x1983 <= 0 e2050: x769^2 - b1210 x1984 <= 0 e2051: x770^2 - b1210 x1985 <= 0 e2052: x771^2 - b1210 x1986 <= 0 e2053: x772^2 - b1210 x1987 <= 0 e2054: x773^2 - b1210 x1988 <= 0 e2055: x774^2 - b1210 x1989 <= 0 e2056: x775^2 - b1210 x1990 <= 0 e2057: x776^2 - b1210 x1991 <= 0 e2058: x777^2 - b1210 x1992 <= 0 e2059: x778^2 - b1210 x1993 <= 0 e2060: x779^2 - b1210 x1994 <= 0 e2061: x780^2 - b1210 x1995 <= 0 e2062: x781^2 - b1210 x1996 <= 0 e2063: x782^2 - b1210 x1997 <= 0 e2064: x783^2 - b1210 x1998 <= 0 e2065: x784^2 - b1210 x1999 <= 0 e2066: x785^2 - b1210 x2000 <= 0 e2067: x786^2 - b1210 x2001 <= 0 e2068: x787^2 - b1210 x2002 <= 0 e2069: x788^2 - b1210 x2003 <= 0 e2070: x789^2 - b1210 x2004 <= 0 e2071: x790^2 - b1210 x2005 <= 0 e2072: x791^2 - b1210 x2006 <= 0 e2073: x792^2 - b1210 x2007 <= 0 e2074: x793^2 - b1210 x2008 <= 0 e2075: x794^2 - b1210 x2009 <= 0 e2076: x795^2 - b1210 x2010 <= 0 e2077: x796^2 - b1210 x2011 <= 0 e2078: x797^2 - b1210 x2012 <= 0 e2079: x798^2 - b1210 x2013 <= 0 e2080: x799^2 - b1210 x2014 <= 0 e2081: x800^2 - b1210 x2015 <= 0 e2082: x801^2 - b1211 x2016 <= 0 e2083: x802^2 - b1211 x2017 <= 0 e2084: x803^2 - b1211 x2018 <= 0 e2085: x804^2 - b1211 x2019 <= 0 e2086: x805^2 - b1211 x2020 <= 0 e2087: x806^2 - b1211 x2021 <= 0 e2088: x807^2 - b1211 x2022 <= 0 e2089: x808^2 - b1211 x2023 <= 0 e2090: x809^2 - b1211 x2024 <= 0 e2091: x810^2 - b1211 x2025 <= 0 e2092: x811^2 - b1211 x2026 <= 0 e2093: x812^2 - b1211 x2027 <= 0 e2094: x813^2 - b1211 x2028 <= 0 e2095: x814^2 - b1211 x2029 <= 0 e2096: x815^2 - b1211 x2030 <= 0 e2097: x816^2 - b1211 x2031 <= 0 e2098: x817^2 - b1211 x2032 <= 0 e2099: x818^2 - b1211 x2033 <= 0 e2100: x819^2 - b1211 x2034 <= 0 e2101: x820^2 - b1211 x2035 <= 0 e2102: x821^2 - b1211 x2036 <= 0 e2103: x822^2 - b1211 x2037 <= 0 e2104: x823^2 - b1211 x2038 <= 0 e2105: x824^2 - b1211 x2039 <= 0 e2106: x825^2 - b1211 x2040 <= 0 e2107: x826^2 - b1211 x2041 <= 0 e2108: x827^2 - b1211 x2042 <= 0 e2109: x828^2 - b1211 x2043 <= 0 e2110: x829^2 - b1211 x2044 <= 0 e2111: x830^2 - b1211 x2045 <= 0 e2112: x831^2 - b1211 x2046 <= 0 e2113: x832^2 - b1211 x2047 <= 0 e2114: x833^2 - b1211 x2048 <= 0 e2115: x834^2 - b1211 x2049 <= 0 e2116: x835^2 - b1211 x2050 <= 0 e2117: x836^2 - b1211 x2051 <= 0 e2118: x837^2 - b1211 x2052 <= 0 e2119: x838^2 - b1211 x2053 <= 0 e2120: x839^2 - b1211 x2054 <= 0 e2121: x840^2 - b1211 x2055 <= 0 e2122: x841^2 - b1211 x2056 <= 0 e2123: x842^2 - b1211 x2057 <= 0 e2124: x843^2 - b1211 x2058 <= 0 e2125: x844^2 - b1211 x2059 <= 0 e2126: x845^2 - b1211 x2060 <= 0 e2127: x846^2 - b1211 x2061 <= 0 e2128: x847^2 - b1211 x2062 <= 0 e2129: x848^2 - b1211 x2063 <= 0 e2130: x849^2 - b1211 x2064 <= 0 e2131: x850^2 - b1211 x2065 <= 0 e2132: x851^2 - b1211 x2066 <= 0 e2133: x852^2 - b1211 x2067 <= 0 e2134: x853^2 - b1211 x2068 <= 0 e2135: x854^2 - b1211 x2069 <= 0 e2136: x855^2 - b1211 x2070 <= 0 e2137: x856^2 - b1211 x2071 <= 0 e2138: x857^2 - b1211 x2072 <= 0 e2139: x858^2 - b1211 x2073 <= 0 e2140: x859^2 - b1211 x2074 <= 0 e2141: x860^2 - b1211 x2075 <= 0 e2142: x861^2 - b1211 x2076 <= 0 e2143: x862^2 - b1211 x2077 <= 0 e2144: x863^2 - b1211 x2078 <= 0 e2145: x864^2 - b1211 x2079 <= 0 e2146: x865^2 - b1211 x2080 <= 0 e2147: x866^2 - b1211 x2081 <= 0 e2148: x867^2 - b1211 x2082 <= 0 e2149: x868^2 - b1211 x2083 <= 0 e2150: x869^2 - b1211 x2084 <= 0 e2151: x870^2 - b1211 x2085 <= 0 e2152: x871^2 - b1211 x2086 <= 0 e2153: x872^2 - b1211 x2087 <= 0 e2154: x873^2 - b1211 x2088 <= 0 e2155: x874^2 - b1211 x2089 <= 0 e2156: x875^2 - b1211 x2090 <= 0 e2157: x876^2 - b1211 x2091 <= 0 e2158: x877^2 - b1211 x2092 <= 0 e2159: x878^2 - b1211 x2093 <= 0 e2160: x879^2 - b1211 x2094 <= 0 e2161: x880^2 - b1211 x2095 <= 0 e2162: x881^2 - b1212 x2096 <= 0 e2163: x882^2 - b1212 x2097 <= 0 e2164: x883^2 - b1212 x2098 <= 0 e2165: x884^2 - b1212 x2099 <= 0 e2166: x885^2 - b1212 x2100 <= 0 e2167: x886^2 - b1212 x2101 <= 0 e2168: x887^2 - b1212 x2102 <= 0 e2169: x888^2 - b1212 x2103 <= 0 e2170: x889^2 - b1212 x2104 <= 0 e2171: x890^2 - b1212 x2105 <= 0 e2172: x891^2 - b1212 x2106 <= 0 e2173: x892^2 - b1212 x2107 <= 0 e2174: x893^2 - b1212 x2108 <= 0 e2175: x894^2 - b1212 x2109 <= 0 e2176: x895^2 - b1212 x2110 <= 0 e2177: x896^2 - b1212 x2111 <= 0 e2178: x897^2 - b1212 x2112 <= 0 e2179: x898^2 - b1212 x2113 <= 0 e2180: x899^2 - b1212 x2114 <= 0 e2181: x900^2 - b1212 x2115 <= 0 e2182: x901^2 - b1212 x2116 <= 0 e2183: x902^2 - b1212 x2117 <= 0 e2184: x903^2 - b1212 x2118 <= 0 e2185: x904^2 - b1212 x2119 <= 0 e2186: x905^2 - b1212 x2120 <= 0 e2187: x906^2 - b1212 x2121 <= 0 e2188: x907^2 - b1212 x2122 <= 0 e2189: x908^2 - b1212 x2123 <= 0 e2190: x909^2 - b1212 x2124 <= 0 e2191: x910^2 - b1212 x2125 <= 0 e2192: x911^2 - b1212 x2126 <= 0 e2193: x912^2 - b1212 x2127 <= 0 e2194: x913^2 - b1212 x2128 <= 0 e2195: x914^2 - b1212 x2129 <= 0 e2196: x915^2 - b1212 x2130 <= 0 e2197: x916^2 - b1212 x2131 <= 0 e2198: x917^2 - b1212 x2132 <= 0 e2199: x918^2 - b1212 x2133 <= 0 e2200: x919^2 - b1212 x2134 <= 0 e2201: x920^2 - b1212 x2135 <= 0 e2202: x921^2 - b1212 x2136 <= 0 e2203: x922^2 - b1212 x2137 <= 0 e2204: x923^2 - b1212 x2138 <= 0 e2205: x924^2 - b1212 x2139 <= 0 e2206: x925^2 - b1212 x2140 <= 0 e2207: x926^2 - b1212 x2141 <= 0 e2208: x927^2 - b1212 x2142 <= 0 e2209: x928^2 - b1212 x2143 <= 0 e2210: x929^2 - b1212 x2144 <= 0 e2211: x930^2 - b1212 x2145 <= 0 e2212: x931^2 - b1212 x2146 <= 0 e2213: x932^2 - b1212 x2147 <= 0 e2214: x933^2 - b1212 x2148 <= 0 e2215: x934^2 - b1212 x2149 <= 0 e2216: x935^2 - b1212 x2150 <= 0 e2217: x936^2 - b1212 x2151 <= 0 e2218: x937^2 - b1212 x2152 <= 0 e2219: x938^2 - b1212 x2153 <= 0 e2220: x939^2 - b1212 x2154 <= 0 e2221: x940^2 - b1212 x2155 <= 0 e2222: x941^2 - b1212 x2156 <= 0 e2223: x942^2 - b1212 x2157 <= 0 e2224: x943^2 - b1212 x2158 <= 0 e2225: x944^2 - b1212 x2159 <= 0 e2226: x945^2 - b1212 x2160 <= 0 e2227: x946^2 - b1212 x2161 <= 0 e2228: x947^2 - b1212 x2162 <= 0 e2229: x948^2 - b1212 x2163 <= 0 e2230: x949^2 - b1212 x2164 <= 0 e2231: x950^2 - b1212 x2165 <= 0 e2232: x951^2 - b1212 x2166 <= 0 e2233: x952^2 - b1212 x2167 <= 0 e2234: x953^2 - b1212 x2168 <= 0 e2235: x954^2 - b1212 x2169 <= 0 e2236: x955^2 - b1212 x2170 <= 0 e2237: x956^2 - b1212 x2171 <= 0 e2238: x957^2 - b1212 x2172 <= 0 e2239: x958^2 - b1212 x2173 <= 0 e2240: x959^2 - b1212 x2174 <= 0 e2241: x960^2 - b1212 x2175 <= 0 e2242: x961^2 - b1213 x2176 <= 0 e2243: x962^2 - b1213 x2177 <= 0 e2244: x963^2 - b1213 x2178 <= 0 e2245: x964^2 - b1213 x2179 <= 0 e2246: x965^2 - b1213 x2180 <= 0 e2247: x966^2 - b1213 x2181 <= 0 e2248: x967^2 - b1213 x2182 <= 0 e2249: x968^2 - b1213 x2183 <= 0 e2250: x969^2 - b1213 x2184 <= 0 e2251: x970^2 - b1213 x2185 <= 0 e2252: x971^2 - b1213 x2186 <= 0 e2253: x972^2 - b1213 x2187 <= 0 e2254: x973^2 - b1213 x2188 <= 0 e2255: x974^2 - b1213 x2189 <= 0 e2256: x975^2 - b1213 x2190 <= 0 e2257: x976^2 - b1213 x2191 <= 0 e2258: x977^2 - b1213 x2192 <= 0 e2259: x978^2 - b1213 x2193 <= 0 e2260: x979^2 - b1213 x2194 <= 0 e2261: x980^2 - b1213 x2195 <= 0 e2262: x981^2 - b1213 x2196 <= 0 e2263: x982^2 - b1213 x2197 <= 0 e2264: x983^2 - b1213 x2198 <= 0 e2265: x984^2 - b1213 x2199 <= 0 e2266: x985^2 - b1213 x2200 <= 0 e2267: x986^2 - b1213 x2201 <= 0 e2268: x987^2 - b1213 x2202 <= 0 e2269: x988^2 - b1213 x2203 <= 0 e2270: x989^2 - b1213 x2204 <= 0 e2271: x990^2 - b1213 x2205 <= 0 e2272: x991^2 - b1213 x2206 <= 0 e2273: x992^2 - b1213 x2207 <= 0 e2274: x993^2 - b1213 x2208 <= 0 e2275: x994^2 - b1213 x2209 <= 0 e2276: x995^2 - b1213 x2210 <= 0 e2277: x996^2 - b1213 x2211 <= 0 e2278: x997^2 - b1213 x2212 <= 0 e2279: x998^2 - b1213 x2213 <= 0 e2280: x999^2 - b1213 x2214 <= 0 e2281: x1000^2 - b1213 x2215 <= 0 e2282: x1001^2 - b1213 x2216 <= 0 e2283: x1002^2 - b1213 x2217 <= 0 e2284: x1003^2 - b1213 x2218 <= 0 e2285: x1004^2 - b1213 x2219 <= 0 e2286: x1005^2 - b1213 x2220 <= 0 e2287: x1006^2 - b1213 x2221 <= 0 e2288: x1007^2 - b1213 x2222 <= 0 e2289: x1008^2 - b1213 x2223 <= 0 e2290: x1009^2 - b1213 x2224 <= 0 e2291: x1010^2 - b1213 x2225 <= 0 e2292: x1011^2 - b1213 x2226 <= 0 e2293: x1012^2 - b1213 x2227 <= 0 e2294: x1013^2 - b1213 x2228 <= 0 e2295: x1014^2 - b1213 x2229 <= 0 e2296: x1015^2 - b1213 x2230 <= 0 e2297: x1016^2 - b1213 x2231 <= 0 e2298: x1017^2 - b1213 x2232 <= 0 e2299: x1018^2 - b1213 x2233 <= 0 e2300: x1019^2 - b1213 x2234 <= 0 e2301: x1020^2 - b1213 x2235 <= 0 e2302: x1021^2 - b1213 x2236 <= 0 e2303: x1022^2 - b1213 x2237 <= 0 e2304: x1023^2 - b1213 x2238 <= 0 e2305: x1024^2 - b1213 x2239 <= 0 e2306: x1025^2 - b1213 x2240 <= 0 e2307: x1026^2 - b1213 x2241 <= 0 e2308: x1027^2 - b1213 x2242 <= 0 e2309: x1028^2 - b1213 x2243 <= 0 e2310: x1029^2 - b1213 x2244 <= 0 e2311: x1030^2 - b1213 x2245 <= 0 e2312: x1031^2 - b1213 x2246 <= 0 e2313: x1032^2 - b1213 x2247 <= 0 e2314: x1033^2 - b1213 x2248 <= 0 e2315: x1034^2 - b1213 x2249 <= 0 e2316: x1035^2 - b1213 x2250 <= 0 e2317: x1036^2 - b1213 x2251 <= 0 e2318: x1037^2 - b1213 x2252 <= 0 e2319: x1038^2 - b1213 x2253 <= 0 e2320: x1039^2 - b1213 x2254 <= 0 e2321: x1040^2 - b1213 x2255 <= 0 e2322: x1041^2 - b1214 x2256 <= 0 e2323: x1042^2 - b1214 x2257 <= 0 e2324: x1043^2 - b1214 x2258 <= 0 e2325: x1044^2 - b1214 x2259 <= 0 e2326: x1045^2 - b1214 x2260 <= 0 e2327: x1046^2 - b1214 x2261 <= 0 e2328: x1047^2 - b1214 x2262 <= 0 e2329: x1048^2 - b1214 x2263 <= 0 e2330: x1049^2 - b1214 x2264 <= 0 e2331: x1050^2 - b1214 x2265 <= 0 e2332: x1051^2 - b1214 x2266 <= 0 e2333: x1052^2 - b1214 x2267 <= 0 e2334: x1053^2 - b1214 x2268 <= 0 e2335: x1054^2 - b1214 x2269 <= 0 e2336: x1055^2 - b1214 x2270 <= 0 e2337: x1056^2 - b1214 x2271 <= 0 e2338: x1057^2 - b1214 x2272 <= 0 e2339: x1058^2 - b1214 x2273 <= 0 e2340: x1059^2 - b1214 x2274 <= 0 e2341: x1060^2 - b1214 x2275 <= 0 e2342: x1061^2 - b1214 x2276 <= 0 e2343: x1062^2 - b1214 x2277 <= 0 e2344: x1063^2 - b1214 x2278 <= 0 e2345: x1064^2 - b1214 x2279 <= 0 e2346: x1065^2 - b1214 x2280 <= 0 e2347: x1066^2 - b1214 x2281 <= 0 e2348: x1067^2 - b1214 x2282 <= 0 e2349: x1068^2 - b1214 x2283 <= 0 e2350: x1069^2 - b1214 x2284 <= 0 e2351: x1070^2 - b1214 x2285 <= 0 e2352: x1071^2 - b1214 x2286 <= 0 e2353: x1072^2 - b1214 x2287 <= 0 e2354: x1073^2 - b1214 x2288 <= 0 e2355: x1074^2 - b1214 x2289 <= 0 e2356: x1075^2 - b1214 x2290 <= 0 e2357: x1076^2 - b1214 x2291 <= 0 e2358: x1077^2 - b1214 x2292 <= 0 e2359: x1078^2 - b1214 x2293 <= 0 e2360: x1079^2 - b1214 x2294 <= 0 e2361: x1080^2 - b1214 x2295 <= 0 e2362: x1081^2 - b1214 x2296 <= 0 e2363: x1082^2 - b1214 x2297 <= 0 e2364: x1083^2 - b1214 x2298 <= 0 e2365: x1084^2 - b1214 x2299 <= 0 e2366: x1085^2 - b1214 x2300 <= 0 e2367: x1086^2 - b1214 x2301 <= 0 e2368: x1087^2 - b1214 x2302 <= 0 e2369: x1088^2 - b1214 x2303 <= 0 e2370: x1089^2 - b1214 x2304 <= 0 e2371: x1090^2 - b1214 x2305 <= 0 e2372: x1091^2 - b1214 x2306 <= 0 e2373: x1092^2 - b1214 x2307 <= 0 e2374: x1093^2 - b1214 x2308 <= 0 e2375: x1094^2 - b1214 x2309 <= 0 e2376: x1095^2 - b1214 x2310 <= 0 e2377: x1096^2 - b1214 x2311 <= 0 e2378: x1097^2 - b1214 x2312 <= 0 e2379: x1098^2 - b1214 x2313 <= 0 e2380: x1099^2 - b1214 x2314 <= 0 e2381: x1100^2 - b1214 x2315 <= 0 e2382: x1101^2 - b1214 x2316 <= 0 e2383: x1102^2 - b1214 x2317 <= 0 e2384: x1103^2 - b1214 x2318 <= 0 e2385: x1104^2 - b1214 x2319 <= 0 e2386: x1105^2 - b1214 x2320 <= 0 e2387: x1106^2 - b1214 x2321 <= 0 e2388: x1107^2 - b1214 x2322 <= 0 e2389: x1108^2 - b1214 x2323 <= 0 e2390: x1109^2 - b1214 x2324 <= 0 e2391: x1110^2 - b1214 x2325 <= 0 e2392: x1111^2 - b1214 x2326 <= 0 e2393: x1112^2 - b1214 x2327 <= 0 e2394: x1113^2 - b1214 x2328 <= 0 e2395: x1114^2 - b1214 x2329 <= 0 e2396: x1115^2 - b1214 x2330 <= 0 e2397: x1116^2 - b1214 x2331 <= 0 e2398: x1117^2 - b1214 x2332 <= 0 e2399: x1118^2 - b1214 x2333 <= 0 e2400: x1119^2 - b1214 x2334 <= 0 e2401: x1120^2 - b1214 x2335 <= 0 e2402: x1121^2 - b1215 x2336 <= 0 e2403: x1122^2 - b1215 x2337 <= 0 e2404: x1123^2 - b1215 x2338 <= 0 e2405: x1124^2 - b1215 x2339 <= 0 e2406: x1125^2 - b1215 x2340 <= 0 e2407: x1126^2 - b1215 x2341 <= 0 e2408: x1127^2 - b1215 x2342 <= 0 e2409: x1128^2 - b1215 x2343 <= 0 e2410: x1129^2 - b1215 x2344 <= 0 e2411: x1130^2 - b1215 x2345 <= 0 e2412: x1131^2 - b1215 x2346 <= 0 e2413: x1132^2 - b1215 x2347 <= 0 e2414: x1133^2 - b1215 x2348 <= 0 e2415: x1134^2 - b1215 x2349 <= 0 e2416: x1135^2 - b1215 x2350 <= 0 e2417: x1136^2 - b1215 x2351 <= 0 e2418: x1137^2 - b1215 x2352 <= 0 e2419: x1138^2 - b1215 x2353 <= 0 e2420: x1139^2 - b1215 x2354 <= 0 e2421: x1140^2 - b1215 x2355 <= 0 e2422: x1141^2 - b1215 x2356 <= 0 e2423: x1142^2 - b1215 x2357 <= 0 e2424: x1143^2 - b1215 x2358 <= 0 e2425: x1144^2 - b1215 x2359 <= 0 e2426: x1145^2 - b1215 x2360 <= 0 e2427: x1146^2 - b1215 x2361 <= 0 e2428: x1147^2 - b1215 x2362 <= 0 e2429: x1148^2 - b1215 x2363 <= 0 e2430: x1149^2 - b1215 x2364 <= 0 e2431: x1150^2 - b1215 x2365 <= 0 e2432: x1151^2 - b1215 x2366 <= 0 e2433: x1152^2 - b1215 x2367 <= 0 e2434: x1153^2 - b1215 x2368 <= 0 e2435: x1154^2 - b1215 x2369 <= 0 e2436: x1155^2 - b1215 x2370 <= 0 e2437: x1156^2 - b1215 x2371 <= 0 e2438: x1157^2 - b1215 x2372 <= 0 e2439: x1158^2 - b1215 x2373 <= 0 e2440: x1159^2 - b1215 x2374 <= 0 e2441: x1160^2 - b1215 x2375 <= 0 e2442: x1161^2 - b1215 x2376 <= 0 e2443: x1162^2 - b1215 x2377 <= 0 e2444: x1163^2 - b1215 x2378 <= 0 e2445: x1164^2 - b1215 x2379 <= 0 e2446: x1165^2 - b1215 x2380 <= 0 e2447: x1166^2 - b1215 x2381 <= 0 e2448: x1167^2 - b1215 x2382 <= 0 e2449: x1168^2 - b1215 x2383 <= 0 e2450: x1169^2 - b1215 x2384 <= 0 e2451: x1170^2 - b1215 x2385 <= 0 e2452: x1171^2 - b1215 x2386 <= 0 e2453: x1172^2 - b1215 x2387 <= 0 e2454: x1173^2 - b1215 x2388 <= 0 e2455: x1174^2 - b1215 x2389 <= 0 e2456: x1175^2 - b1215 x2390 <= 0 e2457: x1176^2 - b1215 x2391 <= 0 e2458: x1177^2 - b1215 x2392 <= 0 e2459: x1178^2 - b1215 x2393 <= 0 e2460: x1179^2 - b1215 x2394 <= 0 e2461: x1180^2 - b1215 x2395 <= 0 e2462: x1181^2 - b1215 x2396 <= 0 e2463: x1182^2 - b1215 x2397 <= 0 e2464: x1183^2 - b1215 x2398 <= 0 e2465: x1184^2 - b1215 x2399 <= 0 e2466: x1185^2 - b1215 x2400 <= 0 e2467: x1186^2 - b1215 x2401 <= 0 e2468: x1187^2 - b1215 x2402 <= 0 e2469: x1188^2 - b1215 x2403 <= 0 e2470: x1189^2 - b1215 x2404 <= 0 e2471: x1190^2 - b1215 x2405 <= 0 e2472: x1191^2 - b1215 x2406 <= 0 e2473: x1192^2 - b1215 x2407 <= 0 e2474: x1193^2 - b1215 x2408 <= 0 e2475: x1194^2 - b1215 x2409 <= 0 e2476: x1195^2 - b1215 x2410 <= 0 e2477: x1196^2 - b1215 x2411 <= 0 e2478: x1197^2 - b1215 x2412 <= 0 e2479: x1198^2 - b1215 x2413 <= 0 e2480: x1199^2 - b1215 x2414 <= 0 e2481: x1200^2 - b1215 x2415 <= 0 Binary b1201 b1202 b1203 b1204 b1205 b1206 b1207 b1208 b1209 b1210 b1211 b1212 b1213 b1214 b1215 End