\ Equation counts \ Total E G L N X C B \ 1785 417 0 1368 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 1568 968 600 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 8089 4297 3792 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 - x392 + 0 b393 + 0 b394 + 0 b395 + 0 b396 + 0 b397 + 0 b398 + 0 b399 + 0 b400 + 0 b401 + 0 b402 + 0 b403 + 0 b404 + 0 b405 + 0 b406 + 0 b407 + 0 b408 + 0 b409 + 0 b410 + 0 b411 + 0 b412 + 0 b413 + 0 b414 + 0 b415 + 0 b416 + 0 b417 + 0 b418 + 0 b419 + 0 b420 + 0 b421 + 0 b422 + 0 b423 + 0 b424 + 0 b425 + 0 b426 + 0 b427 + 0 b428 + 0 b429 + 0 b430 + 0 b431 + 0 b432 + 0 b433 + 0 b434 + 0 b435 + 0 b436 + 0 b437 + 0 b438 + 0 b439 + 0 b440 + 0 b441 + 0 b442 + 0 b443 + 0 b444 + 0 b445 + 0 b446 + 0 b447 + 0 b448 + 0 b449 + 0 b450 + 0 b451 + 0 b452 + 0 b453 + 0 b454 + 0 b455 + 0 b456 + 0 b457 + 0 b458 + 0 b459 + 0 b460 + 0 b461 + 0 b462 + 0 b463 + 0 b464 + 0 b465 + 0 b466 + 0 b467 + 0 b468 + 0 b469 + 0 b470 + 0 b471 + 0 b472 + 0 b473 + 0 b474 + 0 b475 + 0 b476 + 0 b477 + 0 b478 + 0 b479 + 0 b480 + 0 b481 + 0 b482 + 0 b483 + 0 b484 + 0 b485 + 0 b486 + 0 b487 + 0 b488 + 0 b489 + 0 b490 + 0 b491 + 0 b492 + 0 b493 + 0 b494 + 0 b495 + 0 b496 + 0 b497 + 0 b498 + 0 b499 + 0 b500 + 0 b501 + 0 b502 + 0 b503 + 0 b504 + 0 b505 + 0 b506 + 0 b507 + 0 b508 + 0 b509 + 0 b510 + 0 b511 + 0 b512 + 0 b513 + 0 b514 + 0 b515 + 0 b516 + 0 b517 + 0 b518 + 0 b519 + 0 b520 + 0 b521 + 0 b522 + 0 b523 + 0 b524 + 0 b525 + 0 b526 + 0 b527 + 0 b528 + 0 b529 + 0 b530 + 0 b531 + 0 b532 + 0 b533 + 0 b534 + 0 b535 + 0 b536 + 0 b537 + 0 b538 + 0 b539 + 0 b540 + 0 b541 + 0 b542 + 0 b543 + 0 b544 + 0 b545 + 0 b546 + 0 b547 + 0 b548 + 0 b549 + 0 b550 + 0 b551 + 0 b552 + 0 b553 + 0 b554 + 0 b555 + 0 b556 + 0 b557 + 0 b558 + 0 b559 + 0 b560 + 0 b561 + 0 b562 + 0 b563 + 0 b564 + 0 b565 + 0 b566 + 0 b567 + 0 b568 + 0 b569 + 0 b570 + 0 b571 + 0 b572 + 0 b573 + 0 b574 + 0 b575 + 0 b576 + 0 b577 + 0 b578 + 0 b579 + 0 b580 + 0 b581 + 0 b582 + 0 b583 + 0 b584 + 0 b585 + 0 b586 + 0 b587 + 0 b588 + 0 b589 + 0 b590 + 0 b591 + 0 b592 + 0 b593 + 0 b594 + 0 b595 + 0 b596 + 0 b597 + 0 b598 + 0 b599 + 0 b600 + 0 b601 + 0 b602 + 0 b603 + 0 b604 + 0 b605 + 0 b606 + 0 b607 + 0 b608 + 0 b609 + 0 b610 + 0 b611 + 0 b612 + 0 b613 + 0 b614 + 0 b615 + 0 b616 + 0 b617 + 0 b618 + 0 b619 + 0 b620 + 0 b621 + 0 b622 + 0 b623 + 0 b624 + 0 b625 + 0 b626 + 0 b627 + 0 b628 + 0 b629 + 0 b630 + 0 b631 + 0 b632 + 0 b633 + 0 b634 + 0 b635 + 0 b636 + 0 b637 + 0 b638 + 0 b639 + 0 b640 + 0 b641 + 0 b642 + 0 b643 + 0 b644 + 0 b645 + 0 b646 + 0 b647 + 0 b648 + 0 b649 + 0 b650 + 0 b651 + 0 b652 + 0 b653 + 0 b654 + 0 b655 + 0 b656 + 0 b657 + 0 b658 + 0 b659 + 0 b660 + 0 b661 + 0 b662 + 0 b663 + 0 b664 + 0 b665 + 0 b666 + 0 b667 + 0 b668 + 0 b669 + 0 b670 + 0 b671 + 0 b672 + 0 b673 + 0 b674 + 0 b675 + 0 b676 + 0 b677 + 0 b678 + 0 b679 + 0 b680 + 0 b681 + 0 b682 + 0 b683 + 0 b684 + 0 b685 + 0 b686 + 0 b687 + 0 b688 + 0 b689 + 0 b690 + 0 b691 + 0 b692 + 0 b693 + 0 b694 + 0 b695 + 0 b696 + 0 b697 + 0 b698 + 0 b699 + 0 b700 + 0 b701 + 0 b702 + 0 b703 + 0 b704 + 0 b705 + 0 b706 + 0 b707 + 0 b708 + 0 b709 + 0 b710 + 0 b711 + 0 b712 + 0 b713 + 0 b714 + 0 b715 + 0 b716 + 0 b717 + 0 b718 + 0 b719 + 0 b720 + 0 b721 + 0 b722 + 0 b723 + 0 b724 + 0 b725 + 0 b726 + 0 b727 + 0 b728 + 0 b729 + 0 b730 + 0 b731 + 0 b732 + 0 b733 + 0 b734 + 0 b735 + 0 b736 + 0 b737 + 0 b738 + 0 b739 + 0 b740 + 0 b741 + 0 b742 + 0 b743 + 0 b744 + 0 b745 + 0 b746 + 0 b747 + 0 b748 + 0 b749 + 0 b750 + 0 b751 + 0 b752 + 0 b753 + 0 b754 + 0 b755 + 0 b756 + 0 b757 + 0 b758 + 0 b759 + 0 b760 + 0 b761 + 0 b762 + 0 b763 + 0 b764 + 0 b765 + 0 b766 + 0 b767 + 0 b768 + 0 b769 + 0 b770 + 0 b771 + 0 b772 + 0 b773 + 0 b774 + 0 b775 + 0 b776 + 0 b777 + 0 b778 + 0 b779 + 0 b780 + 0 b781 + 0 b782 + 0 b783 + 0 b784 + 0 b785 + 0 b786 + 0 b787 + 0 b788 + 0 b789 + 0 b790 + 0 b791 + 0 b792 + 0 b793 + 0 b794 + 0 b795 + 0 b796 + 0 b797 + 0 b798 + 0 b799 + 0 b800 + 0 b801 + 0 b802 + 0 b803 + 0 b804 + 0 b805 + 0 b806 + 0 b807 + 0 b808 + 0 b809 + 0 b810 + 0 b811 + 0 b812 + 0 b813 + 0 b814 + 0 b815 + 0 b816 + 0 b817 + 0 b818 + 0 b819 + 0 b820 + 0 b821 + 0 b822 + 0 b823 + 0 b824 + 0 b825 + 0 b826 + 0 b827 + 0 b828 + 0 b829 + 0 b830 + 0 b831 + 0 b832 + 0 b833 + 0 b834 + 0 b835 + 0 b836 + 0 b837 + 0 b838 + 0 b839 + 0 b840 + 0 b841 + 0 b842 + 0 b843 + 0 b844 + 0 b845 + 0 b846 + 0 b847 + 0 b848 + 0 b849 + 0 b850 + 0 b851 + 0 b852 + 0 b853 + 0 b854 + 0 b855 + 0 b856 + 0 b857 + 0 b858 + 0 b859 + 0 b860 + 0 b861 + 0 b862 + 0 b863 + 0 b864 + 0 b865 + 0 b866 + 0 b867 + 0 b868 + 0 b869 + 0 b870 + 0 b871 + 0 b872 + 0 b873 + 0 b874 + 0 b875 + 0 b876 + 0 b877 + 0 b878 + 0 b879 + 0 b880 + 0 b881 + 0 b882 + 0 b883 + 0 b884 + 0 b885 + 0 b886 + 0 b887 + 0 b888 + 0 b889 + 0 b890 + 0 b891 + 0 b892 + 0 b893 + 0 b894 + 0 b895 + 0 b896 + 0 b897 + 0 b898 + 0 b899 + 0 b900 + 0 b901 + 0 b902 + 0 b903 + 0 b904 + 0 b905 + 0 b906 + 0 b907 + 0 b908 + 0 b909 + 0 b910 + 0 b911 + 0 b912 + 0 b913 + 0 b914 + 0 b915 + 0 b916 + 0 b917 + 0 b918 + 0 b919 + 0 b920 + 0 b921 + 0 b922 + 0 b923 + 0 b924 + 0 b925 + 0 b926 + 0 b927 + 0 b928 + 0 b929 + 0 b930 + 0 b931 + 0 b932 + 0 b933 + 0 b934 + 0 b935 + 0 b936 + 0 b937 + 0 b938 + 0 b939 + 0 b940 + 0 b941 + 0 b942 + 0 b943 + 0 b944 + 0 b945 + 0 b946 + 0 b947 + 0 b948 + 0 b949 + 0 b950 + 0 b951 + 0 b952 + 0 b953 + 0 b954 + 0 b955 + 0 b956 + 0 b957 + 0 b958 + 0 b959 + 0 b960 + 0 b961 + 0 b962 + 0 b963 + 0 b964 + 0 b965 + 0 b966 + 0 b967 + 0 b968 + 0 b969 + 0 b970 + 0 b971 + 0 b972 + 0 b973 + 0 b974 + 0 b975 + 0 b976 + 0 b977 + 0 b978 + 0 b979 + 0 b980 + 0 b981 + 0 b982 + 0 b983 + 0 b984 + 0 b985 + 0 b986 + 0 b987 + 0 b988 + 0 b989 + 0 b990 + 0 b991 + 0 b992 + 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 + 0 x1201 + 0 x1202 + 0 x1203 + 0 x1204 + 0 x1205 + 0 x1206 + 0 x1207 + 0 x1208 + 0 x1209 + 0 x1210 + 0 x1211 + 0 x1212 + 0 x1213 + 0 x1214 + 0 x1215 + 0 x1216 + 0 x1217 + 0 x1218 + 0 x1219 + 0 x1220 + 0 x1221 + 0 x1222 + 0 x1223 + 0 x1224 + 0 x1225 + 0 x1226 + 0 x1227 + 0 x1228 + 0 x1229 + 0 x1230 + 0 x1231 + 0 x1232 + 0 x1233 + 0 x1234 + 0 x1235 + 0 x1236 + 0 x1237 + 0 x1238 + 0 x1239 + 0 x1240 + 0 x1241 + 0 x1242 + 0 x1243 + 0 x1244 + 0 x1245 + 0 x1246 + 0 x1247 + 0 x1248 + 0 x1249 + 0 x1250 + 0 x1251 + 0 x1252 + 0 x1253 + 0 x1254 + 0 x1255 + 0 x1256 + 0 x1257 + 0 x1258 + 0 x1259 + 0 x1260 + 0 x1261 + 0 x1262 + 0 x1263 + 0 x1264 + 0 x1265 + 0 x1266 + 0 x1267 + 0 x1268 + 0 x1269 + 0 x1270 + 0 x1271 + 0 x1272 + 0 x1273 + 0 x1274 + 0 x1275 + 0 x1276 + 0 x1277 + 0 x1278 + 0 x1279 + 0 x1280 + 0 x1281 + 0 x1282 + 0 x1283 + 0 x1284 + 0 x1285 + 0 x1286 + 0 x1287 + 0 x1288 + 0 x1289 + 0 x1290 + 0 x1291 + 0 x1292 + 0 x1293 + 0 x1294 + 0 x1295 + 0 x1296 + 0 x1297 + 0 x1298 + 0 x1299 + 0 x1300 + 0 x1301 + 0 x1302 + 0 x1303 + 0 x1304 + 0 x1305 + 0 x1306 + 0 x1307 + 0 x1308 + 0 x1309 + 0 x1310 + 0 x1311 + 0 x1312 + 0 x1313 + 0 x1314 + 0 x1315 + 0 x1316 + 0 x1317 + 0 x1318 + 0 x1319 + 0 x1320 + 0 x1321 + 0 x1322 + 0 x1323 + 0 x1324 + 0 x1325 + 0 x1326 + 0 x1327 + 0 x1328 + 0 x1329 + 0 x1330 + 0 x1331 + 0 x1332 + 0 x1333 + 0 x1334 + 0 x1335 + 0 x1336 + 0 x1337 + 0 x1338 + 0 x1339 + 0 x1340 + 0 x1341 + 0 x1342 + 0 x1343 + 0 x1344 + 0 x1345 + 0 x1346 + 0 x1347 + 0 x1348 + 0 x1349 + 0 x1350 + 0 x1351 + 0 x1352 + 0 x1353 + 0 x1354 + 0 x1355 + 0 x1356 + 0 x1357 + 0 x1358 + 0 x1359 + 0 x1360 + 0 x1361 + 0 x1362 + 0 x1363 + 0 x1364 + 0 x1365 + 0 x1366 + 0 x1367 + 0 x1368 + 0 x1369 + 0 x1370 + 0 x1371 + 0 x1372 + 0 x1373 + 0 x1374 + 0 x1375 + 0 x1376 + 0 x1377 + 0 x1378 + 0 x1379 + 0 x1380 + 0 x1381 + 0 x1382 + 0 x1383 + 0 x1384 + 0 x1385 + 0 x1386 + 0 x1387 + 0 x1388 + 0 x1389 + 0 x1390 + 0 x1391 + 0 x1392 + 0 x1393 + 0 x1394 + 0 x1395 + 0 x1396 + 0 x1397 + 0 x1398 + 0 x1399 + 0 x1400 + 0 x1401 + 0 x1402 + 0 x1403 + 0 x1404 + 0 x1405 + 0 x1406 + 0 x1407 + 0 x1408 + 0 x1409 + 0 x1410 + 0 x1411 + 0 x1412 + 0 x1413 + 0 x1414 + 0 x1415 + 0 x1416 + 0 x1417 + 0 x1418 + 0 x1419 + 0 x1420 + 0 x1421 + 0 x1422 + 0 x1423 + 0 x1424 + 0 x1425 + 0 x1426 + 0 x1427 + 0 x1428 + 0 x1429 + 0 x1430 + 0 x1431 + 0 x1432 + 0 x1433 + 0 x1434 + 0 x1435 + 0 x1436 + 0 x1437 + 0 x1438 + 0 x1439 + 0 x1440 + 0 x1441 + 0 x1442 + 0 x1443 + 0 x1444 + 0 x1445 + 0 x1446 + 0 x1447 + 0 x1448 + 0 x1449 + 0 x1450 + 0 x1451 + 0 x1452 + 0 x1453 + 0 x1454 + 0 x1455 + 0 x1456 + 0 x1457 + 0 x1458 + 0 x1459 + 0 x1460 + 0 x1461 + 0 x1462 + 0 x1463 + 0 x1464 + 0 x1465 + 0 x1466 + 0 x1467 + 0 x1468 + 0 x1469 + 0 x1470 + 0 x1471 + 0 x1472 + 0 x1473 + 0 x1474 + 0 x1475 + 0 x1476 + 0 x1477 + 0 x1478 + 0 x1479 + 0 x1480 + 0 x1481 + 0 x1482 + 0 x1483 + 0 x1484 + 0 x1485 + 0 x1486 + 0 x1487 + 0 x1488 + 0 x1489 + 0 x1490 + 0 x1491 + 0 x1492 + 0 x1493 + 0 x1494 + 0 x1495 + 0 x1496 + 0 x1497 + 0 x1498 + 0 x1499 + 0 x1500 + 0 x1501 + 0 x1502 + 0 x1503 + 0 x1504 + 0 x1505 + 0 x1506 + 0 x1507 + 0 x1508 + 0 x1509 + 0 x1510 + 0 x1511 + 0 x1512 + 0 x1513 + 0 x1514 + 0 x1515 + 0 x1516 + 0 x1517 + 0 x1518 + 0 x1519 + 0 x1520 + 0 x1521 + 0 x1522 + 0 x1523 + 0 x1524 + 0 x1525 + 0 x1526 + 0 x1527 + 0 x1528 + 0 x1529 + 0 x1530 + 0 x1531 + 0 x1532 + 0 x1533 + 0 x1534 + 0 x1535 + 0 x1536 + 0 x1537 + 0 x1538 + 0 x1539 + 0 x1540 + 0 x1541 + 0 x1542 + 0 x1543 + 0 x1544 + 0 x1545 + 0 x1546 + 0 x1547 + 0 x1548 + 0 x1549 + 0 x1550 + 0 x1551 + 0 x1552 + 0 x1553 + 0 x1554 + 0 x1555 + 0 x1556 + 0 x1557 + 0 x1558 + 0 x1559 + 0 x1560 + 0 x1561 + 0 x1562 + 0 x1563 + 0 x1564 + 0 x1565 + 0 x1566 + 0 x1567 + 0 x1568 + 0 x1569 Subject To e2: x193 - 1.2 b393 - x994 - x995 - x996 - x997 - x998 - x999 - x1000 - x1001 - x1002 - x1003 - x1004 - x1005 - x1006 - x1007 - x1008 - x1009 - x1010 - x1011 - x1012 - x1013 - x1014 - x1015 - x1016 - x1017 = 0 e3: x201 - 1.2 b394 - x1018 - x1019 - x1020 - x1021 - x1022 - x1023 - x1024 - x1025 - x1026 - x1027 - x1028 - x1029 - x1030 - x1031 - x1032 - x1033 - x1034 - x1035 - x1036 - x1037 - x1038 - x1039 - x1040 - x1041 = 0 e4: x209 - 1.2 b395 - x1042 - x1043 - x1044 - x1045 - x1046 - x1047 - x1048 - x1049 - x1050 - x1051 - x1052 - x1053 - x1054 - x1055 - x1056 - x1057 - x1058 - x1059 - x1060 - x1061 - x1062 - x1063 - x1064 - x1065 = 0 e5: x217 - 1.2 b396 - x1066 - x1067 - x1068 - x1069 - x1070 - x1071 - x1072 - x1073 - x1074 - x1075 - x1076 - x1077 - x1078 - x1079 - x1080 - x1081 - x1082 - x1083 - x1084 - x1085 - x1086 - x1087 - x1088 - x1089 = 0 e6: x225 - 1.2 b397 - x1090 - x1091 - x1092 - x1093 - x1094 - x1095 - x1096 - x1097 - x1098 - x1099 - x1100 - x1101 - x1102 - x1103 - x1104 - x1105 - x1106 - x1107 - x1108 - x1109 - x1110 - x1111 - x1112 - x1113 = 0 e7: x233 - 1.2 b398 - x1114 - x1115 - x1116 - x1117 - x1118 - x1119 - x1120 - x1121 - x1122 - x1123 - x1124 - x1125 - x1126 - x1127 - x1128 - x1129 - x1130 - x1131 - x1132 - x1133 - x1134 - x1135 - x1136 - x1137 = 0 e8: x241 - 1.2 b399 - x1138 - x1139 - x1140 - x1141 - x1142 - x1143 - x1144 - x1145 - x1146 - x1147 - x1148 - x1149 - x1150 - x1151 - x1152 - x1153 - x1154 - x1155 - x1156 - x1157 - x1158 - x1159 - x1160 - x1161 = 0 e9: x249 - 1.2 b400 - x1162 - x1163 - x1164 - x1165 - x1166 - x1167 - x1168 - x1169 - x1170 - x1171 - x1172 - x1173 - x1174 - x1175 - x1176 - x1177 - x1178 - x1179 - x1180 - x1181 - x1182 - x1183 - x1184 - x1185 = 0 e10: x257 - 1.2 b401 - x1186 - x1187 - x1188 - x1189 - x1190 - x1191 - x1192 - x1193 - x1194 - x1195 - x1196 - x1197 - x1198 - x1199 - x1200 - x1201 - x1202 - x1203 - x1204 - x1205 - x1206 - x1207 - x1208 - x1209 = 0 e11: x265 - 1.2 b402 - x1210 - x1211 - x1212 - x1213 - x1214 - x1215 - x1216 - x1217 - x1218 - x1219 - x1220 - x1221 - x1222 - x1223 - x1224 - x1225 - x1226 - x1227 - x1228 - x1229 - x1230 - x1231 - x1232 - x1233 = 0 e12: x273 - 1.2 b403 - x1234 - x1235 - x1236 - x1237 - x1238 - x1239 - x1240 - x1241 - x1242 - x1243 - x1244 - x1245 - x1246 - x1247 - x1248 - x1249 - x1250 - x1251 - x1252 - x1253 - x1254 - x1255 - x1256 - x1257 = 0 e13: x281 - 1.2 b404 - x1258 - x1259 - x1260 - x1261 - x1262 - x1263 - x1264 - x1265 - x1266 - x1267 - x1268 - x1269 - x1270 - x1271 - x1272 - x1273 - x1274 - x1275 - x1276 - x1277 - x1278 - x1279 - x1280 - x1281 = 0 e14: x289 - 1.2 b405 - x1282 - x1283 - x1284 - x1285 - x1286 - x1287 - x1288 - x1289 - x1290 - x1291 - x1292 - x1293 - x1294 - x1295 - x1296 - x1297 - x1298 - x1299 - x1300 - x1301 - x1302 - x1303 - x1304 - x1305 = 0 e15: x297 - 1.2 b406 - x1306 - x1307 - x1308 - x1309 - x1310 - x1311 - x1312 - x1313 - x1314 - x1315 - x1316 - x1317 - x1318 - x1319 - x1320 - x1321 - x1322 - x1323 - x1324 - x1325 - x1326 - x1327 - x1328 - x1329 = 0 e16: x305 - 1.2 b407 - x1330 - x1331 - x1332 - x1333 - x1334 - x1335 - x1336 - x1337 - x1338 - x1339 - x1340 - x1341 - x1342 - x1343 - x1344 - x1345 - x1346 - x1347 - x1348 - x1349 - x1350 - x1351 - x1352 - x1353 = 0 e17: x313 - 1.2 b408 - x1354 - x1355 - x1356 - x1357 - x1358 - x1359 - x1360 - x1361 - x1362 - x1363 - x1364 - x1365 - x1366 - x1367 - x1368 - x1369 - x1370 - x1371 - x1372 - x1373 - x1374 - x1375 - x1376 - x1377 = 0 e18: x321 - 1.2 b409 - x1378 - x1379 - x1380 - x1381 - x1382 - x1383 - x1384 - x1385 - x1386 - x1387 - x1388 - x1389 - x1390 - x1391 - x1392 - x1393 - x1394 - x1395 - x1396 - x1397 - x1398 - x1399 - x1400 - x1401 = 0 e19: x329 - 1.2 b410 - x1402 - x1403 - x1404 - x1405 - x1406 - x1407 - x1408 - x1409 - x1410 - x1411 - x1412 - x1413 - x1414 - x1415 - x1416 - x1417 - x1418 - x1419 - x1420 - x1421 - x1422 - x1423 - x1424 - x1425 = 0 e20: x337 - 1.2 b411 - x1426 - x1427 - x1428 - x1429 - x1430 - x1431 - x1432 - x1433 - x1434 - x1435 - x1436 - x1437 - x1438 - x1439 - x1440 - x1441 - x1442 - x1443 - x1444 - x1445 - x1446 - x1447 - x1448 - x1449 = 0 e21: x345 - 1.2 b412 - x1450 - x1451 - x1452 - x1453 - x1454 - x1455 - x1456 - x1457 - x1458 - x1459 - x1460 - x1461 - x1462 - x1463 - x1464 - x1465 - x1466 - x1467 - x1468 - x1469 - x1470 - x1471 - x1472 - x1473 = 0 e22: x353 - 1.2 b413 - x1474 - x1475 - x1476 - x1477 - x1478 - x1479 - x1480 - x1481 - x1482 - x1483 - x1484 - x1485 - x1486 - x1487 - x1488 - x1489 - x1490 - x1491 - x1492 - x1493 - x1494 - x1495 - x1496 - x1497 = 0 e23: x361 - 1.2 b414 - x1498 - x1499 - x1500 - x1501 - x1502 - x1503 - x1504 - x1505 - x1506 - x1507 - x1508 - x1509 - x1510 - x1511 - x1512 - x1513 - x1514 - x1515 - x1516 - x1517 - x1518 - x1519 - x1520 - x1521 = 0 e24: x369 - 1.2 b415 - x1522 - x1523 - x1524 - x1525 - x1526 - x1527 - x1528 - x1529 - x1530 - x1531 - x1532 - x1533 - x1534 - x1535 - x1536 - x1537 - x1538 - x1539 - x1540 - x1541 - x1542 - x1543 - x1544 - x1545 = 0 e25: x377 - 1.2 b416 - x1546 - x1547 - x1548 - x1549 - x1550 - x1551 - x1552 - x1553 - x1554 - x1555 - x1556 - x1557 - x1558 - x1559 - x1560 - x1561 - x1562 - x1563 - x1564 - x1565 - x1566 - x1567 - x1568 - x1569 = 0 e26: [ .805 x1 * x193 - x1 * x385 + 8.4e-3 x9 * x201 + 9.48e-2 x49 * x241 + 9.18e-2 x57 * x249 ] = 0 e27: [ .805 x2 * x194 - x2 * x386 + 8.4e-3 x10 * x202 + 9.48e-2 x50 * x242 + 9.18e-2 x58 * x250 ] = 0 e28: [ .805 x3 * x195 - x3 * x387 + 8.4e-3 x11 * x203 + 9.48e-2 x51 * x243 + 9.18e-2 x59 * x251 ] = 0 e29: [ .805 x4 * x196 - x4 * x388 + 8.4e-3 x12 * x204 + 9.48e-2 x52 * x244 + 9.18e-2 x60 * x252 ] = 0 e30: [ .805 x5 * x197 - x5 * x389 + 8.4e-3 x13 * x205 + 9.48e-2 x53 * x245 + 9.18e-2 x61 * x253 ] = 0 e31: [ .805 x6 * x198 - x6 * x390 + 8.4e-3 x14 * x206 + 9.48e-2 x54 * x246 + 9.18e-2 x62 * x254 ] = 0 e32: [ .805 x7 * x199 - x7 * x391 + 8.4e-3 x15 * x207 + 9.48e-2 x55 * x247 + 9.18e-2 x63 * x255 ] = 0 e33: [ .805 x8 * x200 - x8 * x392 + 8.4e-3 x16 * x208 + 9.48e-2 x56 * x248 + 9.18e-2 x64 * x256 ] = 0 e34: [ 6.03e-2 x1 * x193 + .4693 x9 * x201 - x9 * x385 + .1616 x17 * x209 + 9.5e-2 x49 * x241 + .1356 x57 * x249 + 7.81e-2 x65 * x257 ] = 0 e35: [ 6.03e-2 x2 * x194 + .4693 x10 * x202 - x10 * x386 + .1616 x18 * x210 + 9.5e-2 x50 * x242 + .1356 x58 * x250 + 7.81e-2 x66 * x258 ] = 0 e36: [ 6.03e-2 x3 * x195 + .4693 x11 * x203 - x11 * x387 + .1616 x19 * x211 + 9.5e-2 x51 * x243 + .1356 x59 * x251 + 7.81e-2 x67 * x259 ] = 0 e37: [ 6.03e-2 x4 * x196 + .4693 x12 * x204 - x12 * x388 + .1616 x20 * x212 + 9.5e-2 x52 * x244 + .1356 x60 * x252 + 7.81e-2 x68 * x260 ] = 0 e38: [ 6.03e-2 x5 * x197 + .4693 x13 * x205 - x13 * x389 + .1616 x21 * x213 + 9.5e-2 x53 * x245 + .1356 x61 * x253 + 7.81e-2 x69 * x261 ] = 0 e39: [ 6.03e-2 x6 * x198 + .4693 x14 * x206 - x14 * x390 + .1616 x22 * x214 + 9.5e-2 x54 * x246 + .1356 x62 * x254 + 7.81e-2 x70 * x262 ] = 0 e40: [ 6.03e-2 x7 * x199 + .4693 x15 * x207 - x15 * x391 + .1616 x23 * x215 + 9.5e-2 x55 * x247 + .1356 x63 * x255 + 7.81e-2 x71 * x263 ] = 0 e41: [ 6.03e-2 x8 * x200 + .4693 x16 * x208 - x16 * x392 + .1616 x24 * x216 + 9.5e-2 x56 * x248 + .1356 x64 * x256 + 7.81e-2 x72 * x264 ] = 0 e42: [ .1779 x9 * x201 + .2147 x17 * x209 - x17 * x385 + .1649 x25 * x217 + 8.7e-2 x57 * x249 + .2556 x65 * x257 + .1 x73 * x265 ] = 0 e43: [ .1779 x10 * x202 + .2147 x18 * x210 - x18 * x386 + .1649 x26 * x218 + 8.7e-2 x58 * x250 + .2556 x66 * x258 + .1 x74 * x266 ] = 0 e44: [ .1779 x11 * x203 + .2147 x19 * x211 - x19 * x387 + .1649 x27 * x219 + 8.7e-2 x59 * x251 + .2556 x67 * x259 + .1 x75 * x267 ] = 0 e45: [ .1779 x12 * x204 + .2147 x20 * x212 - x20 * x388 + .1649 x28 * x220 + 8.7e-2 x60 * x252 + .2556 x68 * x260 + .1 x76 * x268 ] = 0 e46: [ .1779 x13 * x205 + .2147 x21 * x213 - x21 * x389 + .1649 x29 * x221 + 8.7e-2 x61 * x253 + .2556 x69 * x261 + .1 x77 * x269 ] = 0 e47: [ .1779 x14 * x206 + .2147 x22 * x214 - x22 * x390 + .1649 x30 * x222 + 8.7e-2 x62 * x254 + .2556 x70 * x262 + .1 x78 * x270 ] = 0 e48: [ .1779 x15 * x207 + .2147 x23 * x215 - x23 * x391 + .1649 x31 * x223 + 8.7e-2 x63 * x255 + .2556 x71 * x263 + .1 x79 * x271 ] = 0 e49: [ .1779 x16 * x208 + .2147 x24 * x216 - x24 * x392 + .1649 x32 * x224 + 8.7e-2 x64 * x256 + .2556 x72 * x264 + .1 x80 * x272 ] = 0 e50: [ .2026 x17 * x209 + .1786 x25 * x217 - x25 * x385 + .1192 x33 * x225 + .1665 x65 * x257 + .1452 x73 * x265 + .1879 x81 * x273 ] = 0 e51: [ .2026 x18 * x210 + .1786 x26 * x218 - x26 * x386 + .1192 x34 * x226 + .1665 x66 * x258 + .1452 x74 * x266 + .1879 x82 * x274 ] = 0 e52: [ .2026 x19 * x211 + .1786 x27 * x219 - x27 * x387 + .1192 x35 * x227 + .1665 x67 * x259 + .1452 x75 * x267 + .1879 x83 * x275 ] = 0 e53: [ .2026 x20 * x212 + .1786 x28 * x220 - x28 * x388 + .1192 x36 * x228 + .1665 x68 * x260 + .1452 x76 * x268 + .1879 x84 * x276 ] = 0 e54: [ .2026 x21 * x213 + .1786 x29 * x221 - x29 * x389 + .1192 x37 * x229 + .1665 x69 * x261 + .1452 x77 * x269 + .1879 x85 * x277 ] = 0 e55: [ .2026 x22 * x214 + .1786 x30 * x222 - x30 * x390 + .1192 x38 * x230 + .1665 x70 * x262 + .1452 x78 * x270 + .1879 x86 * x278 ] = 0 e56: [ .2026 x23 * x215 + .1786 x31 * x223 - x31 * x391 + .1192 x39 * x231 + .1665 x71 * x263 + .1452 x79 * x271 + .1879 x87 * x279 ] = 0 e57: [ .2026 x24 * x216 + .1786 x32 * x224 - x32 * x392 + .1192 x40 * x232 + .1665 x72 * x264 + .1452 x80 * x272 + .1879 x88 * x280 ] = 0 e58: [ .206 x25 * x217 + .2515 x33 * x225 - x33 * x385 + .1994 x41 * x233 + .1675 x73 * x265 + .1756 x81 * x273 ] = 0 e59: [ .206 x26 * x218 + .2515 x34 * x226 - x34 * x386 + .1994 x42 * x234 + .1675 x74 * x266 + .1756 x82 * x274 ] = 0 e60: [ .206 x27 * x219 + .2515 x35 * x227 - x35 * x387 + .1994 x43 * x235 + .1675 x75 * x267 + .1756 x83 * x275 ] = 0 e61: [ .206 x28 * x220 + .2515 x36 * x228 - x36 * x388 + .1994 x44 * x236 + .1675 x76 * x268 + .1756 x84 * x276 ] = 0 e62: [ .206 x29 * x221 + .2515 x37 * x229 - x37 * x389 + .1994 x45 * x237 + .1675 x77 * x269 + .1756 x85 * x277 ] = 0 e63: [ .206 x30 * x222 + .2515 x38 * x230 - x38 * x390 + .1994 x46 * x238 + .1675 x78 * x270 + .1756 x86 * x278 ] = 0 e64: [ .206 x31 * x223 + .2515 x39 * x231 - x39 * x391 + .1994 x47 * x239 + .1675 x79 * x271 + .1756 x87 * x279 ] = 0 e65: [ .206 x32 * x224 + .2515 x40 * x232 - x40 * x392 + .1994 x48 * x240 + .1675 x80 * x272 + .1756 x88 * x280 ] = 0 e66: [ .1809 x33 * x225 + .7953 x41 * x233 - x41 * x385 + 2.38e-2 x81 * x273 ] = 0 e67: [ .1809 x34 * x226 + .7953 x42 * x234 - x42 * x386 + 2.38e-2 x82 * x274 ] = 0 e68: [ .1809 x35 * x227 + .7953 x43 * x235 - x43 * x387 + 2.38e-2 x83 * x275 ] = 0 e69: [ .1809 x36 * x228 + .7953 x44 * x236 - x44 * x388 + 2.38e-2 x84 * x276 ] = 0 e70: [ .1809 x37 * x229 + .7953 x45 * x237 - x45 * x389 + 2.38e-2 x85 * x277 ] = 0 e71: [ .1809 x38 * x230 + .7953 x46 * x238 - x46 * x390 + 2.38e-2 x86 * x278 ] = 0 e72: [ .1809 x39 * x231 + .7953 x47 * x239 - x47 * x391 + 2.38e-2 x87 * x279 ] = 0 e73: [ .1809 x40 * x232 + .7953 x48 * x240 - x48 * x392 + 2.38e-2 x88 * x280 ] = 0 e74: [ 2.74e-2 x1 * x193 + .1159 x9 * x201 + .7946 x49 * x241 - x49 * x385 + 8.8e-3 x57 * x249 + 1.32e-2 x89 * x281 + 4.02e-2 x97 * x289 ] = 0 e75: [ 2.74e-2 x2 * x194 + .1159 x10 * x202 + .7946 x50 * x242 - x50 * x386 + 8.8e-3 x58 * x250 + 1.32e-2 x90 * x282 + 4.02e-2 x98 * x290 ] = 0 e76: [ 2.74e-2 x3 * x195 + .1159 x11 * x203 + .7946 x51 * x243 - x51 * x387 + 8.8e-3 x59 * x251 + 1.32e-2 x91 * x283 + 4.02e-2 x99 * x291 ] = 0 e77: [ 2.74e-2 x4 * x196 + .1159 x12 * x204 + .7946 x52 * x244 - x52 * x388 + 8.8e-3 x60 * x252 + 1.32e-2 x92 * x284 + 4.02e-2 x100 * x292 ] = 0 e78: [ 2.74e-2 x5 * x197 + .1159 x13 * x205 + .7946 x53 * x245 - x53 * x389 + 8.8e-3 x61 * x253 + 1.32e-2 x93 * x285 + 4.02e-2 x101 * x293 ] = 0 e79: [ 2.74e-2 x6 * x198 + .1159 x14 * x206 + .7946 x54 * x246 - x54 * x390 + 8.8e-3 x62 * x254 + 1.32e-2 x94 * x286 + 4.02e-2 x102 * x294 ] = 0 e80: [ 2.74e-2 x7 * x199 + .1159 x15 * x207 + .7946 x55 * x247 - x55 * x391 + 8.8e-3 x63 * x255 + 1.32e-2 x95 * x287 + 4.02e-2 x103 * x295 ] = 0 e81: [ 2.74e-2 x8 * x200 + .1159 x16 * x208 + .7946 x56 * x248 - x56 * x392 + 8.8e-3 x64 * x256 + 1.32e-2 x96 * x288 + 4.02e-2 x104 * x296 ] = 0 e82: [ 4.1e-2 x1 * x193 + 8.77e-2 x9 * x201 + .2708 x17 * x209 + 8.83e-2 x49 * x241 + .3146 x57 * x249 - x57 * x385 + 4.57e-2 x65 * x257 + 5.71e-2 x89 * x281 + 1.54e-2 x97 * x289 + 7.93e-2 x105 * x297 ] = 0 e83: [ 4.1e-2 x2 * x194 + 8.77e-2 x10 * x202 + .2708 x18 * x210 + 8.83e-2 x50 * x242 + .3146 x58 * x250 - x58 * x386 + 4.57e-2 x66 * x258 + 5.71e-2 x90 * x282 + 1.54e-2 x98 * x290 + 7.93e-2 x106 * x298 ] = 0 e84: [ 4.1e-2 x3 * x195 + 8.77e-2 x11 * x203 + .2708 x19 * x211 + 8.83e-2 x51 * x243 + .3146 x59 * x251 - x59 * x387 + 4.57e-2 x67 * x259 + 5.71e-2 x91 * x283 + 1.54e-2 x99 * x291 + 7.93e-2 x107 * x299 ] = 0 e85: [ 4.1e-2 x4 * x196 + 8.77e-2 x12 * x204 + .2708 x20 * x212 + 8.83e-2 x52 * x244 + .3146 x60 * x252 - x60 * x388 + 4.57e-2 x68 * x260 + 5.71e-2 x92 * x284 + 1.54e-2 x100 * x292 + 7.93e-2 x108 * x300 ] = 0 e86: [ 4.1e-2 x5 * x197 + 8.77e-2 x13 * x205 + .2708 x21 * x213 + 8.83e-2 x53 * x245 + .3146 x61 * x253 - x61 * x389 + 4.57e-2 x69 * x261 + 5.71e-2 x93 * x285 + 1.54e-2 x101 * x293 + 7.93e-2 x109 * x301 ] = 0 e87: [ 4.1e-2 x6 * x198 + 8.77e-2 x14 * x206 + .2708 x22 * x214 + 8.83e-2 x54 * x246 + .3146 x62 * x254 - x62 * x390 + 4.57e-2 x70 * x262 + 5.71e-2 x94 * x286 + 1.54e-2 x102 * x294 + 7.93e-2 x110 * x302 ] = 0 e88: [ 4.1e-2 x7 * x199 + 8.77e-2 x15 * x207 + .2708 x23 * x215 + 8.83e-2 x55 * x247 + .3146 x63 * x255 - x63 * x391 + 4.57e-2 x71 * x263 + 5.71e-2 x95 * x287 + 1.54e-2 x103 * x295 + 7.93e-2 x111 * x303 ] = 0 e89: [ 4.1e-2 x8 * x200 + 8.77e-2 x16 * x208 + .2708 x24 * x216 + 8.83e-2 x56 * x248 + .3146 x64 * x256 - x64 * x392 + 4.57e-2 x72 * x264 + 5.71e-2 x96 * x288 + 1.54e-2 x104 * x296 + 7.93e-2 x112 * x304 ] = 0 e90: [ .1769 x9 * x201 + .1774 x17 * x209 + 9.6e-3 x25 * x217 + 7.77e-2 x57 * x249 + .4427 x65 * x257 - x65 * x385 + 5.09e-2 x73 * x265 + 6.7e-3 x97 * x289 + 3.08e-2 x105 * x297 + 2.73e-2 x113 * x305 ] = 0 e91: [ .1769 x10 * x202 + .1774 x18 * x210 + 9.6e-3 x26 * x218 + 7.77e-2 x58 * x250 + .4427 x66 * x258 - x66 * x386 + 5.09e-2 x74 * x266 + 6.7e-3 x98 * x290 + 3.08e-2 x106 * x298 + 2.73e-2 x114 * x306 ] = 0 e92: [ .1769 x11 * x203 + .1774 x19 * x211 + 9.6e-3 x27 * x219 + 7.77e-2 x59 * x251 + .4427 x67 * x259 - x67 * x387 + 5.09e-2 x75 * x267 + 6.7e-3 x99 * x291 + 3.08e-2 x107 * x299 + 2.73e-2 x115 * x307 ] = 0 e93: [ .1769 x12 * x204 + .1774 x20 * x212 + 9.6e-3 x28 * x220 + 7.77e-2 x60 * x252 + .4427 x68 * x260 - x68 * x388 + 5.09e-2 x76 * x268 + 6.7e-3 x100 * x292 + 3.08e-2 x108 * x300 + 2.73e-2 x116 * x308 ] = 0 e94: [ .1769 x13 * x205 + .1774 x21 * x213 + 9.6e-3 x29 * x221 + 7.77e-2 x61 * x253 + .4427 x69 * x261 - x69 * x389 + 5.09e-2 x77 * x269 + 6.7e-3 x101 * x293 + 3.08e-2 x109 * x301 + 2.73e-2 x117 * x309 ] = 0 e95: [ .1769 x14 * x206 + .1774 x22 * x214 + 9.6e-3 x30 * x222 + 7.77e-2 x62 * x254 + .4427 x70 * x262 - x70 * x390 + 5.09e-2 x78 * x270 + 6.7e-3 x102 * x294 + 3.08e-2 x110 * x302 + 2.73e-2 x118 * x310 ] = 0 e96: [ .1769 x15 * x207 + .1774 x23 * x215 + 9.6e-3 x31 * x223 + 7.77e-2 x63 * x255 + .4427 x71 * x263 - x71 * x391 + 5.09e-2 x79 * x271 + 6.7e-3 x103 * x295 + 3.08e-2 x111 * x303 + 2.73e-2 x119 * x311 ] = 0 e97: [ .1769 x16 * x208 + .1774 x24 * x216 + 9.6e-3 x32 * x224 + 7.77e-2 x64 * x256 + .4427 x72 * x264 - x72 * x392 + 5.09e-2 x80 * x272 + 6.7e-3 x104 * x296 + 3.08e-2 x112 * x304 + 2.73e-2 x120 * x312 ] = 0 e98: [ 4.95e-2 x17 * x209 + .2784 x25 * x217 + .1861 x33 * x225 + 3.28e-2 x65 * x257 + .3675 x73 * x265 - x73 * x385 + 5.7e-3 x81 * x273 + 3.34e-2 x105 * x297 + 2.96e-2 x113 * x305 + 1.71e-2 x121 * x313 ] = 0 e99: [ 4.95e-2 x18 * x210 + .2784 x26 * x218 + .1861 x34 * x226 + 3.28e-2 x66 * x258 + .3675 x74 * x266 - x74 * x386 + 5.7e-3 x82 * x274 + 3.34e-2 x106 * x298 + 2.96e-2 x114 * x306 + 1.71e-2 x122 * x314 ] = 0 e100: [ 4.95e-2 x19 * x211 + .2784 x27 * x219 + .1861 x35 * x227 + 3.28e-2 x67 * x259 + .3675 x75 * x267 - x75 * x387 + 5.7e-3 x83 * x275 + 3.34e-2 x107 * x299 + 2.96e-2 x115 * x307 + 1.71e-2 x123 * x315 ] = 0 e101: [ 4.95e-2 x20 * x212 + .2784 x28 * x220 + .1861 x36 * x228 + 3.28e-2 x68 * x260 + .3675 x76 * x268 - x76 * x388 + 5.7e-3 x84 * x276 + 3.34e-2 x108 * x300 + 2.96e-2 x116 * x308 + 1.71e-2 x124 * x316 ] = 0 e102: [ 4.95e-2 x21 * x213 + .2784 x29 * x221 + .1861 x37 * x229 + 3.28e-2 x69 * x261 + .3675 x77 * x269 - x77 * x389 + 5.7e-3 x85 * x277 + 3.34e-2 x109 * x301 + 2.96e-2 x117 * x309 + 1.71e-2 x125 * x317 ] = 0 e103: [ 4.95e-2 x22 * x214 + .2784 x30 * x222 + .1861 x38 * x230 + 3.28e-2 x70 * x262 + .3675 x78 * x270 - x78 * x390 + 5.7e-3 x86 * x278 + 3.34e-2 x110 * x302 + 2.96e-2 x118 * x310 + 1.71e-2 x126 * x318 ] = 0 e104: [ 4.95e-2 x23 * x215 + .2784 x31 * x223 + .1861 x39 * x231 + 3.28e-2 x71 * x263 + .3675 x79 * x271 - x79 * x391 + 5.7e-3 x87 * x279 + 3.34e-2 x111 * x303 + 2.96e-2 x119 * x311 + 1.71e-2 x127 * x319 ] = 0 e105: [ 4.95e-2 x24 * x216 + .2784 x32 * x224 + .1861 x40 * x232 + 3.28e-2 x72 * x264 + .3675 x80 * x272 - x80 * x392 + 5.7e-3 x88 * x280 + 3.34e-2 x112 * x304 + 2.96e-2 x120 * x312 + 1.71e-2 x128 * x320 ] = 0 e106: [ .2074 x25 * x217 + .2112 x33 * x225 + 7.6e-2 x41 * x233 + 9.5e-3 x73 * x265 + .4159 x81 * x273 - x81 * x385 + 2.22e-2 x113 * x305 + 5.79e-2 x121 * x313 ] = 0 e107: [ .2074 x26 * x218 + .2112 x34 * x226 + 7.6e-2 x42 * x234 + 9.5e-3 x74 * x266 + .4159 x82 * x274 - x82 * x386 + 2.22e-2 x114 * x306 + 5.79e-2 x122 * x314 ] = 0 e108: [ .2074 x27 * x219 + .2112 x35 * x227 + 7.6e-2 x43 * x235 + 9.5e-3 x75 * x267 + .4159 x83 * x275 - x83 * x387 + 2.22e-2 x115 * x307 + 5.79e-2 x123 * x315 ] = 0 e109: [ .2074 x28 * x220 + .2112 x36 * x228 + 7.6e-2 x44 * x236 + 9.5e-3 x76 * x268 + .4159 x84 * x276 - x84 * x388 + 2.22e-2 x116 * x308 + 5.79e-2 x124 * x316 ] = 0 e110: [ .2074 x29 * x221 + .2112 x37 * x229 + 7.6e-2 x45 * x237 + 9.5e-3 x77 * x269 + .4159 x85 * x277 - x85 * x389 + 2.22e-2 x117 * x309 + 5.79e-2 x125 * x317 ] = 0 e111: [ .2074 x30 * x222 + .2112 x38 * x230 + 7.6e-2 x46 * x238 + 9.5e-3 x78 * x270 + .4159 x86 * x278 - x86 * x390 + 2.22e-2 x118 * x310 + 5.79e-2 x126 * x318 ] = 0 e112: [ .2074 x31 * x223 + .2112 x39 * x231 + 7.6e-2 x47 * x239 + 9.5e-3 x79 * x271 + .4159 x87 * x279 - x87 * x391 + 2.22e-2 x119 * x311 + 5.79e-2 x127 * x319 ] = 0 e113: [ .2074 x32 * x224 + .2112 x40 * x232 + 7.6e-2 x48 * x240 + 9.5e-3 x80 * x272 + .4159 x88 * x280 - x88 * x392 + 2.22e-2 x120 * x312 + 5.79e-2 x128 * x320 ] = 0 e114: [ 6.06e-2 x49 * x241 + 4.43e-2 x57 * x249 + .7699 x89 * x281 - x89 * x385 + 9e-3 x97 * x289 + 3.96e-2 x129 * x321 + 7.67e-2 x137 * x329 ] = 0 e115: [ 6.06e-2 x50 * x242 + 4.43e-2 x58 * x250 + .7699 x90 * x282 - x90 * x386 + 9e-3 x98 * x290 + 3.96e-2 x130 * x322 + 7.67e-2 x138 * x330 ] = 0 e116: [ 6.06e-2 x51 * x243 + 4.43e-2 x59 * x251 + .7699 x91 * x283 - x91 * x387 + 9e-3 x99 * x291 + 3.96e-2 x131 * x323 + 7.67e-2 x139 * x331 ] = 0 e117: [ 6.06e-2 x52 * x244 + 4.43e-2 x60 * x252 + .7699 x92 * x284 - x92 * x388 + 9e-3 x100 * x292 + 3.96e-2 x132 * x324 + 7.67e-2 x140 * x332 ] = 0 e118: [ 6.06e-2 x53 * x245 + 4.43e-2 x61 * x253 + .7699 x93 * x285 - x93 * x389 + 9e-3 x101 * x293 + 3.96e-2 x133 * x325 + 7.67e-2 x141 * x333 ] = 0 e119: [ 6.06e-2 x54 * x246 + 4.43e-2 x62 * x254 + .7699 x94 * x286 - x94 * x390 + 9e-3 x102 * x294 + 3.96e-2 x134 * x326 + 7.67e-2 x142 * x334 ] = 0 e120: [ 6.06e-2 x55 * x247 + 4.43e-2 x63 * x255 + .7699 x95 * x287 - x95 * x391 + 9e-3 x103 * x295 + 3.96e-2 x135 * x327 + 7.67e-2 x143 * x335 ] = 0 e121: [ 6.06e-2 x56 * x248 + 4.43e-2 x64 * x256 + .7699 x96 * x288 - x96 * x392 + 9e-3 x104 * x296 + 3.96e-2 x136 * x328 + 7.67e-2 x144 * x336 ] = 0 e122: [ 2.59e-2 x49 * x241 + 5.94e-2 x57 * x249 + 1.78e-2 x65 * x257 + 7.4e-2 x89 * x281 + .5665 x97 * x289 - x97 * x385 + 5.2e-2 x105 * x297 + 6.06e-2 x129 * x321 + .1055 x137 * x329 + 3.83e-2 x145 * x337 ] = 0 e123: [ 2.59e-2 x50 * x242 + 5.94e-2 x58 * x250 + 1.78e-2 x66 * x258 + 7.4e-2 x90 * x282 + .5665 x98 * x290 - x98 * x386 + 5.2e-2 x106 * x298 + 6.06e-2 x130 * x322 + .1055 x138 * x330 + 3.83e-2 x146 * x338 ] = 0 e124: [ 2.59e-2 x51 * x243 + 5.94e-2 x59 * x251 + 1.78e-2 x67 * x259 + 7.4e-2 x91 * x283 + .5665 x99 * x291 - x99 * x387 + 5.2e-2 x107 * x299 + 6.06e-2 x131 * x323 + .1055 x139 * x331 + 3.83e-2 x147 * x339 ] = 0 e125: [ 2.59e-2 x52 * x244 + 5.94e-2 x60 * x252 + 1.78e-2 x68 * x260 + 7.4e-2 x92 * x284 + .5665 x100 * x292 - x100 * x388 + 5.2e-2 x108 * x300 + 6.06e-2 x132 * x324 + .1055 x140 * x332 + 3.83e-2 x148 * x340 ] = 0 e126: [ 2.59e-2 x53 * x245 + 5.94e-2 x61 * x253 + 1.78e-2 x69 * x261 + 7.4e-2 x93 * x285 + .5665 x101 * x293 - x101 * x389 + 5.2e-2 x109 * x301 + 6.06e-2 x133 * x325 + .1055 x141 * x333 + 3.83e-2 x149 * x341 ] = 0 e127: [ 2.59e-2 x54 * x246 + 5.94e-2 x62 * x254 + 1.78e-2 x70 * x262 + 7.4e-2 x94 * x286 + .5665 x102 * x294 - x102 * x390 + 5.2e-2 x110 * x302 + 6.06e-2 x134 * x326 + .1055 x142 * x334 + 3.83e-2 x150 * x342 ] = 0 e128: [ 2.59e-2 x55 * x247 + 5.94e-2 x63 * x255 + 1.78e-2 x71 * x263 + 7.4e-2 x95 * x287 + .5665 x103 * x295 - x103 * x391 + 5.2e-2 x111 * x303 + 6.06e-2 x135 * x327 + .1055 x143 * x335 + 3.83e-2 x151 * x343 ] = 0 e129: [ 2.59e-2 x56 * x248 + 5.94e-2 x64 * x256 + 1.78e-2 x72 * x264 + 7.4e-2 x96 * x288 + .5665 x104 * x296 - x104 * x392 + 5.2e-2 x112 * x304 + 6.06e-2 x136 * x328 + .1055 x144 * x336 + 3.83e-2 x152 * x344 ] = 0 e130: [ 3.84e-2 x57 * x249 + 2.23e-2 x65 * x257 + 1.58e-2 x73 * x265 + 3.2e-2 x97 * x289 + .6291 x105 * x297 - x105 * x385 + 8.03e-2 x113 * x305 + .1152 x137 * x329 + 4.89e-2 x145 * x337 + 1.79e-2 x153 * x345 ] = 0 e131: [ 3.84e-2 x58 * x250 + 2.23e-2 x66 * x258 + 1.58e-2 x74 * x266 + 3.2e-2 x98 * x290 + .6291 x106 * x298 - x106 * x386 + 8.03e-2 x114 * x306 + .1152 x138 * x330 + 4.89e-2 x146 * x338 + 1.79e-2 x154 * x346 ] = 0 e132: [ 3.84e-2 x59 * x251 + 2.23e-2 x67 * x259 + 1.58e-2 x75 * x267 + 3.2e-2 x99 * x291 + .6291 x107 * x299 - x107 * x387 + 8.03e-2 x115 * x307 + .1152 x139 * x331 + 4.89e-2 x147 * x339 + 1.79e-2 x155 * x347 ] = 0 e133: [ 3.84e-2 x60 * x252 + 2.23e-2 x68 * x260 + 1.58e-2 x76 * x268 + 3.2e-2 x100 * x292 + .6291 x108 * x300 - x108 * x388 + 8.03e-2 x116 * x308 + .1152 x140 * x332 + 4.89e-2 x148 * x340 + 1.79e-2 x156 * x348 ] = 0 e134: [ 3.84e-2 x61 * x253 + 2.23e-2 x69 * x261 + 1.58e-2 x77 * x269 + 3.2e-2 x101 * x293 + .6291 x109 * x301 - x109 * x389 + 8.03e-2 x117 * x309 + .1152 x141 * x333 + 4.89e-2 x149 * x341 + 1.79e-2 x157 * x349 ] = 0 e135: [ 3.84e-2 x62 * x254 + 2.23e-2 x70 * x262 + 1.58e-2 x78 * x270 + 3.2e-2 x102 * x294 + .6291 x110 * x302 - x110 * x390 + 8.03e-2 x118 * x310 + .1152 x142 * x334 + 4.89e-2 x150 * x342 + 1.79e-2 x158 * x350 ] = 0 e136: [ 3.84e-2 x63 * x255 + 2.23e-2 x71 * x263 + 1.58e-2 x79 * x271 + 3.2e-2 x103 * x295 + .6291 x111 * x303 - x111 * x391 + 8.03e-2 x119 * x311 + .1152 x143 * x335 + 4.89e-2 x151 * x343 + 1.79e-2 x159 * x351 ] = 0 e137: [ 3.84e-2 x64 * x256 + 2.23e-2 x72 * x264 + 1.58e-2 x80 * x272 + 3.2e-2 x104 * x296 + .6291 x112 * x304 - x112 * x392 + 8.03e-2 x120 * x312 + .1152 x144 * x336 + 4.89e-2 x152 * x344 + 1.79e-2 x160 * x352 ] = 0 e138: [ 3.22e-2 x65 * x257 + 1.79e-2 x73 * x265 + 1.7e-3 x81 * x273 + .106 x105 * x297 + .718 x113 * x305 - x113 * x385 + 2.79e-2 x121 * x313 + 2.6e-2 x145 * x337 + 7.03e-2 x153 * x345 ] = 0 e139: [ 3.22e-2 x66 * x258 + 1.79e-2 x74 * x266 + 1.7e-3 x82 * x274 + .106 x106 * x298 + .718 x114 * x306 - x114 * x386 + 2.79e-2 x122 * x314 + 2.6e-2 x146 * x338 + 7.03e-2 x154 * x346 ] = 0 e140: [ 3.22e-2 x67 * x259 + 1.79e-2 x75 * x267 + 1.7e-3 x83 * x275 + .106 x107 * x299 + .718 x115 * x307 - x115 * x387 + 2.79e-2 x123 * x315 + 2.6e-2 x147 * x339 + 7.03e-2 x155 * x347 ] = 0 e141: [ 3.22e-2 x68 * x260 + 1.79e-2 x76 * x268 + 1.7e-3 x84 * x276 + .106 x108 * x300 + .718 x116 * x308 - x116 * x388 + 2.79e-2 x124 * x316 + 2.6e-2 x148 * x340 + 7.03e-2 x156 * x348 ] = 0 e142: [ 3.22e-2 x69 * x261 + 1.79e-2 x77 * x269 + 1.7e-3 x85 * x277 + .106 x109 * x301 + .718 x117 * x309 - x117 * x389 + 2.79e-2 x125 * x317 + 2.6e-2 x149 * x341 + 7.03e-2 x157 * x349 ] = 0 e143: [ 3.22e-2 x70 * x262 + 1.79e-2 x78 * x270 + 1.7e-3 x86 * x278 + .106 x110 * x302 + .718 x118 * x310 - x118 * x390 + 2.79e-2 x126 * x318 + 2.6e-2 x150 * x342 + 7.03e-2 x158 * x350 ] = 0 e144: [ 3.22e-2 x71 * x263 + 1.79e-2 x79 * x271 + 1.7e-3 x87 * x279 + .106 x111 * x303 + .718 x119 * x311 - x119 * x391 + 2.79e-2 x127 * x319 + 2.6e-2 x151 * x343 + 7.03e-2 x159 * x351 ] = 0 e145: [ 3.22e-2 x72 * x264 + 1.79e-2 x80 * x272 + 1.7e-3 x88 * x280 + .106 x112 * x304 + .718 x120 * x312 - x120 * x392 + 2.79e-2 x128 * x320 + 2.6e-2 x152 * x344 + 7.03e-2 x160 * x352 ] = 0 e146: [ 3.01e-2 x73 * x265 + .1163 x81 * x273 + 4.69e-2 x113 * x305 + .7683 x121 * x313 - x121 * x385 + 3.84e-2 x153 * x345 ] = 0 e147: [ 3.01e-2 x74 * x266 + .1163 x82 * x274 + 4.69e-2 x114 * x306 + .7683 x122 * x314 - x122 * x386 + 3.84e-2 x154 * x346 ] = 0 e148: [ 3.01e-2 x75 * x267 + .1163 x83 * x275 + 4.69e-2 x115 * x307 + .7683 x123 * x315 - x123 * x387 + 3.84e-2 x155 * x347 ] = 0 e149: [ 3.01e-2 x76 * x268 + .1163 x84 * x276 + 4.69e-2 x116 * x308 + .7683 x124 * x316 - x124 * x388 + 3.84e-2 x156 * x348 ] = 0 e150: [ 3.01e-2 x77 * x269 + .1163 x85 * x277 + 4.69e-2 x117 * x309 + .7683 x125 * x317 - x125 * x389 + 3.84e-2 x157 * x349 ] = 0 e151: [ 3.01e-2 x78 * x270 + .1163 x86 * x278 + 4.69e-2 x118 * x310 + .7683 x126 * x318 - x126 * x390 + 3.84e-2 x158 * x350 ] = 0 e152: [ 3.01e-2 x79 * x271 + .1163 x87 * x279 + 4.69e-2 x119 * x311 + .7683 x127 * x319 - x127 * x391 + 3.84e-2 x159 * x351 ] = 0 e153: [ 3.01e-2 x80 * x272 + .1163 x88 * x280 + 4.69e-2 x120 * x312 + .7683 x128 * x320 - x128 * x392 + 3.84e-2 x160 * x352 ] = 0 e154: [ .1014 x89 * x281 + 9.28e-2 x97 * x289 + .4066 x129 * x321 - x129 * x385 + 9.63e-2 x137 * x329 + .1273 x161 * x353 + .1756 x169 * x361 ] = 0 e155: [ .1014 x90 * x282 + 9.28e-2 x98 * x290 + .4066 x130 * x322 - x130 * x386 + 9.63e-2 x138 * x330 + .1273 x162 * x354 + .1756 x170 * x362 ] = 0 e156: [ .1014 x91 * x283 + 9.28e-2 x99 * x291 + .4066 x131 * x323 - x131 * x387 + 9.63e-2 x139 * x331 + .1273 x163 * x355 + .1756 x171 * x363 ] = 0 e157: [ .1014 x92 * x284 + 9.28e-2 x100 * x292 + .4066 x132 * x324 - x132 * x388 + 9.63e-2 x140 * x332 + .1273 x164 * x356 + .1756 x172 * x364 ] = 0 e158: [ .1014 x93 * x285 + 9.28e-2 x101 * x293 + .4066 x133 * x325 - x133 * x389 + 9.63e-2 x141 * x333 + .1273 x165 * x357 + .1756 x173 * x365 ] = 0 e159: [ .1014 x94 * x286 + 9.28e-2 x102 * x294 + .4066 x134 * x326 - x134 * x390 + 9.63e-2 x142 * x334 + .1273 x166 * x358 + .1756 x174 * x366 ] = 0 e160: [ .1014 x95 * x287 + 9.28e-2 x103 * x295 + .4066 x135 * x327 - x135 * x391 + 9.63e-2 x143 * x335 + .1273 x167 * x359 + .1756 x175 * x367 ] = 0 e161: [ .1014 x96 * x288 + 9.28e-2 x104 * x296 + .4066 x136 * x328 - x136 * x392 + 9.63e-2 x144 * x336 + .1273 x168 * x360 + .1756 x176 * x368 ] = 0 e162: [ 7.17e-2 x89 * x281 + 5.16e-2 x97 * x289 + 7.11e-2 x105 * x297 + 2.15e-2 x129 * x321 + .5179 x137 * x329 - x137 * x385 + 4.28e-2 x145 * x337 + 3.53e-2 x161 * x353 + 9.95e-2 x169 * x361 + 8.87e-2 x177 * x369 ] = 0 e163: [ 7.17e-2 x90 * x282 + 5.16e-2 x98 * x290 + 7.11e-2 x106 * x298 + 2.15e-2 x130 * x322 + .5179 x138 * x330 - x138 * x386 + 4.28e-2 x146 * x338 + 3.53e-2 x162 * x354 + 9.95e-2 x170 * x362 + 8.87e-2 x178 * x370 ] = 0 e164: [ 7.17e-2 x91 * x283 + 5.16e-2 x99 * x291 + 7.11e-2 x107 * x299 + 2.15e-2 x131 * x323 + .5179 x139 * x331 - x139 * x387 + 4.28e-2 x147 * x339 + 3.53e-2 x163 * x355 + 9.95e-2 x171 * x363 + 8.87e-2 x179 * x371 ] = 0 e165: [ 7.17e-2 x92 * x284 + 5.16e-2 x100 * x292 + 7.11e-2 x108 * x300 + 2.15e-2 x132 * x324 + .5179 x140 * x332 - x140 * x388 + 4.28e-2 x148 * x340 + 3.53e-2 x164 * x356 + 9.95e-2 x172 * x364 + 8.87e-2 x180 * x372 ] = 0 e166: [ 7.17e-2 x93 * x285 + 5.16e-2 x101 * x293 + 7.11e-2 x109 * x301 + 2.15e-2 x133 * x325 + .5179 x141 * x333 - x141 * x389 + 4.28e-2 x149 * x341 + 3.53e-2 x165 * x357 + 9.95e-2 x173 * x365 + 8.87e-2 x181 * x373 ] = 0 e167: [ 7.17e-2 x94 * x286 + 5.16e-2 x102 * x294 + 7.11e-2 x110 * x302 + 2.15e-2 x134 * x326 + .5179 x142 * x334 - x142 * x390 + 4.28e-2 x150 * x342 + 3.53e-2 x166 * x358 + 9.95e-2 x174 * x366 + 8.87e-2 x182 * x374 ] = 0 e168: [ 7.17e-2 x95 * x287 + 5.16e-2 x103 * x295 + 7.11e-2 x111 * x303 + 2.15e-2 x135 * x327 + .5179 x143 * x335 - x143 * x391 + 4.28e-2 x151 * x343 + 3.53e-2 x167 * x359 + 9.95e-2 x175 * x367 + 8.87e-2 x183 * x375 ] = 0 e169: [ 7.17e-2 x96 * x288 + 5.16e-2 x104 * x296 + 7.11e-2 x112 * x304 + 2.15e-2 x136 * x328 + .5179 x144 * x336 - x144 * x392 + 4.28e-2 x152 * x344 + 3.53e-2 x168 * x360 + 9.95e-2 x176 * x368 + 8.87e-2 x184 * x376 ] = 0 e170: [ .1063 x97 * x289 + 8.91e-2 x105 * x297 + 1.4e-3 x113 * x305 + 6.96e-2 x137 * x329 + .5949 x145 * x337 - x145 * x385 + 7.12e-2 x153 * x345 + 1.62e-2 x169 * x361 + 5.13e-2 x177 * x369 ] = 0 e171: [ .1063 x98 * x290 + 8.91e-2 x106 * x298 + 1.4e-3 x114 * x306 + 6.96e-2 x138 * x330 + .5949 x146 * x338 - x146 * x386 + 7.12e-2 x154 * x346 + 1.62e-2 x170 * x362 + 5.13e-2 x178 * x370 ] = 0 e172: [ .1063 x99 * x291 + 8.91e-2 x107 * x299 + 1.4e-3 x115 * x307 + 6.96e-2 x139 * x331 + .5949 x147 * x339 - x147 * x387 + 7.12e-2 x155 * x347 + 1.62e-2 x171 * x363 + 5.13e-2 x179 * x371 ] = 0 e173: [ .1063 x100 * x292 + 8.91e-2 x108 * x300 + 1.4e-3 x116 * x308 + 6.96e-2 x140 * x332 + .5949 x148 * x340 - x148 * x388 + 7.12e-2 x156 * x348 + 1.62e-2 x172 * x364 + 5.13e-2 x180 * x372 ] = 0 e174: [ .1063 x101 * x293 + 8.91e-2 x109 * x301 + 1.4e-3 x117 * x309 + 6.96e-2 x141 * x333 + .5949 x149 * x341 - x149 * x389 + 7.12e-2 x157 * x349 + 1.62e-2 x173 * x365 + 5.13e-2 x181 * x373 ] = 0 e175: [ .1063 x102 * x294 + 8.91e-2 x110 * x302 + 1.4e-3 x118 * x310 + 6.96e-2 x142 * x334 + .5949 x150 * x342 - x150 * x390 + 7.12e-2 x158 * x350 + 1.62e-2 x174 * x366 + 5.13e-2 x182 * x374 ] = 0 e176: [ .1063 x103 * x295 + 8.91e-2 x111 * x303 + 1.4e-3 x119 * x311 + 6.96e-2 x143 * x335 + .5949 x151 * x343 - x151 * x391 + 7.12e-2 x159 * x351 + 1.62e-2 x175 * x367 + 5.13e-2 x183 * x375 ] = 0 e177: [ .1063 x104 * x296 + 8.91e-2 x112 * x304 + 1.4e-3 x120 * x312 + 6.96e-2 x144 * x336 + .5949 x152 * x344 - x152 * x392 + 7.12e-2 x160 * x352 + 1.62e-2 x176 * x368 + 5.13e-2 x184 * x376 ] = 0 e178: [ 8.33e-2 x105 * x297 + 9.25e-2 x113 * x305 + 6.07e-2 x121 * x313 + 1.66e-2 x145 * x337 + .7193 x153 * x345 - x153 * x385 + 2.75e-2 x177 * x369 ] = 0 e179: [ 8.33e-2 x106 * x298 + 9.25e-2 x114 * x306 + 6.07e-2 x122 * x314 + 1.66e-2 x146 * x338 + .7193 x154 * x346 - x154 * x386 + 2.75e-2 x178 * x370 ] = 0 e180: [ 8.33e-2 x107 * x299 + 9.25e-2 x115 * x307 + 6.07e-2 x123 * x315 + 1.66e-2 x147 * x339 + .7193 x155 * x347 - x155 * x387 + 2.75e-2 x179 * x371 ] = 0 e181: [ 8.33e-2 x108 * x300 + 9.25e-2 x116 * x308 + 6.07e-2 x124 * x316 + 1.66e-2 x148 * x340 + .7193 x156 * x348 - x156 * x388 + 2.75e-2 x180 * x372 ] = 0 e182: [ 8.33e-2 x109 * x301 + 9.25e-2 x117 * x309 + 6.07e-2 x125 * x317 + 1.66e-2 x149 * x341 + .7193 x157 * x349 - x157 * x389 + 2.75e-2 x181 * x373 ] = 0 e183: [ 8.33e-2 x110 * x302 + 9.25e-2 x118 * x310 + 6.07e-2 x126 * x318 + 1.66e-2 x150 * x342 + .7193 x158 * x350 - x158 * x390 + 2.75e-2 x182 * x374 ] = 0 e184: [ 8.33e-2 x111 * x303 + 9.25e-2 x119 * x311 + 6.07e-2 x127 * x319 + 1.66e-2 x151 * x343 + .7193 x159 * x351 - x159 * x391 + 2.75e-2 x183 * x375 ] = 0 e185: [ 8.33e-2 x112 * x304 + 9.25e-2 x120 * x312 + 6.07e-2 x128 * x320 + 1.66e-2 x152 * x344 + .7193 x160 * x352 - x160 * x392 + 2.75e-2 x184 * x376 ] = 0 e186: [ .2369 x129 * x321 + 4.15e-2 x137 * x329 + .1653 x161 * x353 - x161 * x385 + .2546 x169 * x361 + .3016 x185 * x377 ] = 0 e187: [ .2369 x130 * x322 + 4.15e-2 x138 * x330 + .1653 x162 * x354 - x162 * x386 + .2546 x170 * x362 + .3016 x186 * x378 ] = 0 e188: [ .2369 x131 * x323 + 4.15e-2 x139 * x331 + .1653 x163 * x355 - x163 * x387 + .2546 x171 * x363 + .3016 x187 * x379 ] = 0 e189: [ .2369 x132 * x324 + 4.15e-2 x140 * x332 + .1653 x164 * x356 - x164 * x388 + .2546 x172 * x364 + .3016 x188 * x380 ] = 0 e190: [ .2369 x133 * x325 + 4.15e-2 x141 * x333 + .1653 x165 * x357 - x165 * x389 + .2546 x173 * x365 + .3016 x189 * x381 ] = 0 e191: [ .2369 x134 * x326 + 4.15e-2 x142 * x334 + .1653 x166 * x358 - x166 * x390 + .2546 x174 * x366 + .3016 x190 * x382 ] = 0 e192: [ .2369 x135 * x327 + 4.15e-2 x143 * x335 + .1653 x167 * x359 - x167 * x391 + .2546 x175 * x367 + .3016 x191 * x383 ] = 0 e193: [ .2369 x136 * x328 + 4.15e-2 x144 * x336 + .1653 x168 * x360 - x168 * x392 + .2546 x176 * x368 + .3016 x192 * x384 ] = 0 e194: [ 7e-2 x129 * x321 + 2.93e-2 x137 * x329 + 6.8e-2 x145 * x337 + 4.42e-2 x161 * x353 + .677 x169 * x361 - x169 * x385 + 5.05e-2 x177 * x369 + 6.1e-2 x185 * x377 ] = 0 e195: [ 7e-2 x130 * x322 + 2.93e-2 x138 * x330 + 6.8e-2 x146 * x338 + 4.42e-2 x162 * x354 + .677 x170 * x362 - x170 * x386 + 5.05e-2 x178 * x370 + 6.1e-2 x186 * x378 ] = 0 e196: [ 7e-2 x131 * x323 + 2.93e-2 x139 * x331 + 6.8e-2 x147 * x339 + 4.42e-2 x163 * x355 + .677 x171 * x363 - x171 * x387 + 5.05e-2 x179 * x371 + 6.1e-2 x187 * x379 ] = 0 e197: [ 7e-2 x132 * x324 + 2.93e-2 x140 * x332 + 6.8e-2 x148 * x340 + 4.42e-2 x164 * x356 + .677 x172 * x364 - x172 * x388 + 5.05e-2 x180 * x372 + 6.1e-2 x188 * x380 ] = 0 e198: [ 7e-2 x133 * x325 + 2.93e-2 x141 * x333 + 6.8e-2 x149 * x341 + 4.42e-2 x165 * x357 + .677 x173 * x365 - x173 * x389 + 5.05e-2 x181 * x373 + 6.1e-2 x189 * x381 ] = 0 e199: [ 7e-2 x134 * x326 + 2.93e-2 x142 * x334 + 6.8e-2 x150 * x342 + 4.42e-2 x166 * x358 + .677 x174 * x366 - x174 * x390 + 5.05e-2 x182 * x374 + 6.1e-2 x190 * x382 ] = 0 e200: [ 7e-2 x135 * x327 + 2.93e-2 x143 * x335 + 6.8e-2 x151 * x343 + 4.42e-2 x167 * x359 + .677 x175 * x367 - x175 * x391 + 5.05e-2 x183 * x375 + 6.1e-2 x191 * x383 ] = 0 e201: [ 7e-2 x136 * x328 + 2.93e-2 x144 * x336 + 6.8e-2 x152 * x344 + 4.42e-2 x168 * x360 + .677 x176 * x368 - x176 * x392 + 5.05e-2 x184 * x376 + 6.1e-2 x192 * x384 ] = 0 e202: [ 2.44e-2 x137 * x329 + 3.32e-2 x145 * x337 + 1.3e-2 x153 * x345 + 6.12e-2 x169 * x361 + .8682 x177 * x369 - x177 * x385 ] = 0 e203: [ 2.44e-2 x138 * x330 + 3.32e-2 x146 * x338 + 1.3e-2 x154 * x346 + 6.12e-2 x170 * x362 + .8682 x178 * x370 - x178 * x386 ] = 0 e204: [ 2.44e-2 x139 * x331 + 3.32e-2 x147 * x339 + 1.3e-2 x155 * x347 + 6.12e-2 x171 * x363 + .8682 x179 * x371 - x179 * x387 ] = 0 e205: [ 2.44e-2 x140 * x332 + 3.32e-2 x148 * x340 + 1.3e-2 x156 * x348 + 6.12e-2 x172 * x364 + .8682 x180 * x372 - x180 * x388 ] = 0 e206: [ 2.44e-2 x141 * x333 + 3.32e-2 x149 * x341 + 1.3e-2 x157 * x349 + 6.12e-2 x173 * x365 + .8682 x181 * x373 - x181 * x389 ] = 0 e207: [ 2.44e-2 x142 * x334 + 3.32e-2 x150 * x342 + 1.3e-2 x158 * x350 + 6.12e-2 x174 * x366 + .8682 x182 * x374 - x182 * x390 ] = 0 e208: [ 2.44e-2 x143 * x335 + 3.32e-2 x151 * x343 + 1.3e-2 x159 * x351 + 6.12e-2 x175 * x367 + .8682 x183 * x375 - x183 * x391 ] = 0 e209: [ 2.44e-2 x144 * x336 + 3.32e-2 x152 * x344 + 1.3e-2 x160 * x352 + 6.12e-2 x176 * x368 + .8682 x184 * x376 - x184 * x392 ] = 0 e210: [ .1076 x161 * x353 + 2.7e-2 x169 * x361 + .8654 x185 * x377 - x185 * x385 ] = 0 e211: [ .1076 x162 * x354 + 2.7e-2 x170 * x362 + .8654 x186 * x378 - x186 * x386 ] = 0 e212: [ .1076 x163 * x355 + 2.7e-2 x171 * x363 + .8654 x187 * x379 - x187 * x387 ] = 0 e213: [ .1076 x164 * x356 + 2.7e-2 x172 * x364 + .8654 x188 * x380 - x188 * x388 ] = 0 e214: [ .1076 x165 * x357 + 2.7e-2 x173 * x365 + .8654 x189 * x381 - x189 * x389 ] = 0 e215: [ .1076 x166 * x358 + 2.7e-2 x174 * x366 + .8654 x190 * x382 - x190 * x390 ] = 0 e216: [ .1076 x167 * x359 + 2.7e-2 x175 * x367 + .8654 x191 * x383 - x191 * x391 ] = 0 e217: [ .1076 x168 * x360 + 2.7e-2 x176 * x368 + .8654 x192 * x384 - x192 * x392 ] = 0 e218: - x193 + x194 + [ .1092 x1 * x193 ] = 0 e219: - x194 + x195 + [ .1092 x2 * x194 ] = 0 e220: - x195 + x196 + [ .1092 x3 * x195 ] = 0 e221: - x196 + x197 + [ .1092 x4 * x196 ] = 0 e222: - x197 + x198 + [ .1092 x5 * x197 ] = 0 e223: - x198 + x199 + [ .1092 x6 * x198 ] = 0 e224: - x199 + x200 + [ .1092 x7 * x199 ] = 0 e225: - x201 + x202 + [ .1092 x9 * x201 ] = 0 e226: - x202 + x203 + [ .1092 x10 * x202 ] = 0 e227: - x203 + x204 + [ .1092 x11 * x203 ] = 0 e228: - x204 + x205 + [ .1092 x12 * x204 ] = 0 e229: - x205 + x206 + [ .1092 x13 * x205 ] = 0 e230: - x206 + x207 + [ .1092 x14 * x206 ] = 0 e231: - x207 + x208 + [ .1092 x15 * x207 ] = 0 e232: - x209 + x210 + [ .1092 x17 * x209 ] = 0 e233: - x210 + x211 + [ .1092 x18 * x210 ] = 0 e234: - x211 + x212 + [ .1092 x19 * x211 ] = 0 e235: - x212 + x213 + [ .1092 x20 * x212 ] = 0 e236: - x213 + x214 + [ .1092 x21 * x213 ] = 0 e237: - x214 + x215 + [ .1092 x22 * x214 ] = 0 e238: - x215 + x216 + [ .1092 x23 * x215 ] = 0 e239: - x217 + x218 + [ .1092 x25 * x217 ] = 0 e240: - x218 + x219 + [ .1092 x26 * x218 ] = 0 e241: - x219 + x220 + [ .1092 x27 * x219 ] = 0 e242: - x220 + x221 + [ .1092 x28 * x220 ] = 0 e243: - x221 + x222 + [ .1092 x29 * x221 ] = 0 e244: - x222 + x223 + [ .1092 x30 * x222 ] = 0 e245: - x223 + x224 + [ .1092 x31 * x223 ] = 0 e246: - x225 + x226 + [ .1092 x33 * x225 ] = 0 e247: - x226 + x227 + [ .1092 x34 * x226 ] = 0 e248: - x227 + x228 + [ .1092 x35 * x227 ] = 0 e249: - x228 + x229 + [ .1092 x36 * x228 ] = 0 e250: - x229 + x230 + [ .1092 x37 * x229 ] = 0 e251: - x230 + x231 + [ .1092 x38 * x230 ] = 0 e252: - x231 + x232 + [ .1092 x39 * x231 ] = 0 e253: - x233 + x234 + [ .1092 x41 * x233 ] = 0 e254: - x234 + x235 + [ .1092 x42 * x234 ] = 0 e255: - x235 + x236 + [ .1092 x43 * x235 ] = 0 e256: - x236 + x237 + [ .1092 x44 * x236 ] = 0 e257: - x237 + x238 + [ .1092 x45 * x237 ] = 0 e258: - x238 + x239 + [ .1092 x46 * x238 ] = 0 e259: - x239 + x240 + [ .1092 x47 * x239 ] = 0 e260: - x241 + x242 + [ .1092 x49 * x241 ] = 0 e261: - x242 + x243 + [ .1092 x50 * x242 ] = 0 e262: - x243 + x244 + [ .1092 x51 * x243 ] = 0 e263: - x244 + x245 + [ .1092 x52 * x244 ] = 0 e264: - x245 + x246 + [ .1092 x53 * x245 ] = 0 e265: - x246 + x247 + [ .1092 x54 * x246 ] = 0 e266: - x247 + x248 + [ .1092 x55 * x247 ] = 0 e267: - x249 + x250 + [ .1092 x57 * x249 ] = 0 e268: - x250 + x251 + [ .1092 x58 * x250 ] = 0 e269: - x251 + x252 + [ .1092 x59 * x251 ] = 0 e270: - x252 + x253 + [ .1092 x60 * x252 ] = 0 e271: - x253 + x254 + [ .1092 x61 * x253 ] = 0 e272: - x254 + x255 + [ .1092 x62 * x254 ] = 0 e273: - x255 + x256 + [ .1092 x63 * x255 ] = 0 e274: - x257 + x258 + [ .1092 x65 * x257 ] = 0 e275: - x258 + x259 + [ .1092 x66 * x258 ] = 0 e276: - x259 + x260 + [ .1092 x67 * x259 ] = 0 e277: - x260 + x261 + [ .1092 x68 * x260 ] = 0 e278: - x261 + x262 + [ .1092 x69 * x261 ] = 0 e279: - x262 + x263 + [ .1092 x70 * x262 ] = 0 e280: - x263 + x264 + [ .1092 x71 * x263 ] = 0 e281: - x265 + x266 + [ .1092 x73 * x265 ] = 0 e282: - x266 + x267 + [ .1092 x74 * x266 ] = 0 e283: - x267 + x268 + [ .1092 x75 * x267 ] = 0 e284: - x268 + x269 + [ .1092 x76 * x268 ] = 0 e285: - x269 + x270 + [ .1092 x77 * x269 ] = 0 e286: - x270 + x271 + [ .1092 x78 * x270 ] = 0 e287: - x271 + x272 + [ .1092 x79 * x271 ] = 0 e288: - x273 + x274 + [ .1092 x81 * x273 ] = 0 e289: - x274 + x275 + [ .1092 x82 * x274 ] = 0 e290: - x275 + x276 + [ .1092 x83 * x275 ] = 0 e291: - x276 + x277 + [ .1092 x84 * x276 ] = 0 e292: - x277 + x278 + [ .1092 x85 * x277 ] = 0 e293: - x278 + x279 + [ .1092 x86 * x278 ] = 0 e294: - x279 + x280 + [ .1092 x87 * x279 ] = 0 e295: - x281 + x282 + [ .1092 x89 * x281 ] = 0 e296: - x282 + x283 + [ .1092 x90 * x282 ] = 0 e297: - x283 + x284 + [ .1092 x91 * x283 ] = 0 e298: - x284 + x285 + [ .1092 x92 * x284 ] = 0 e299: - x285 + x286 + [ .1092 x93 * x285 ] = 0 e300: - x286 + x287 + [ .1092 x94 * x286 ] = 0 e301: - x287 + x288 + [ .1092 x95 * x287 ] = 0 e302: - x289 + x290 + [ .1092 x97 * x289 ] = 0 e303: - x290 + x291 + [ .1092 x98 * x290 ] = 0 e304: - x291 + x292 + [ .1092 x99 * x291 ] = 0 e305: - x292 + x293 + [ .1092 x100 * x292 ] = 0 e306: - x293 + x294 + [ .1092 x101 * x293 ] = 0 e307: - x294 + x295 + [ .1092 x102 * x294 ] = 0 e308: - x295 + x296 + [ .1092 x103 * x295 ] = 0 e309: - x297 + x298 + [ .1092 x105 * x297 ] = 0 e310: - x298 + x299 + [ .1092 x106 * x298 ] = 0 e311: - x299 + x300 + [ .1092 x107 * x299 ] = 0 e312: - x300 + x301 + [ .1092 x108 * x300 ] = 0 e313: - x301 + x302 + [ .1092 x109 * x301 ] = 0 e314: - x302 + x303 + [ .1092 x110 * x302 ] = 0 e315: - x303 + x304 + [ .1092 x111 * x303 ] = 0 e316: - x305 + x306 + [ .1092 x113 * x305 ] = 0 e317: - x306 + x307 + [ .1092 x114 * x306 ] = 0 e318: - x307 + x308 + [ .1092 x115 * x307 ] = 0 e319: - x308 + x309 + [ .1092 x116 * x308 ] = 0 e320: - x309 + x310 + [ .1092 x117 * x309 ] = 0 e321: - x310 + x311 + [ .1092 x118 * x310 ] = 0 e322: - x311 + x312 + [ .1092 x119 * x311 ] = 0 e323: - x313 + x314 + [ .1092 x121 * x313 ] = 0 e324: - x314 + x315 + [ .1092 x122 * x314 ] = 0 e325: - x315 + x316 + [ .1092 x123 * x315 ] = 0 e326: - x316 + x317 + [ .1092 x124 * x316 ] = 0 e327: - x317 + x318 + [ .1092 x125 * x317 ] = 0 e328: - x318 + x319 + [ .1092 x126 * x318 ] = 0 e329: - x319 + x320 + [ .1092 x127 * x319 ] = 0 e330: - x321 + x322 + [ .1092 x129 * x321 ] = 0 e331: - x322 + x323 + [ .1092 x130 * x322 ] = 0 e332: - x323 + x324 + [ .1092 x131 * x323 ] = 0 e333: - x324 + x325 + [ .1092 x132 * x324 ] = 0 e334: - x325 + x326 + [ .1092 x133 * x325 ] = 0 e335: - x326 + x327 + [ .1092 x134 * x326 ] = 0 e336: - x327 + x328 + [ .1092 x135 * x327 ] = 0 e337: - x329 + x330 + [ .1092 x137 * x329 ] = 0 e338: - x330 + x331 + [ .1092 x138 * x330 ] = 0 e339: - x331 + x332 + [ .1092 x139 * x331 ] = 0 e340: - x332 + x333 + [ .1092 x140 * x332 ] = 0 e341: - x333 + x334 + [ .1092 x141 * x333 ] = 0 e342: - x334 + x335 + [ .1092 x142 * x334 ] = 0 e343: - x335 + x336 + [ .1092 x143 * x335 ] = 0 e344: - x337 + x338 + [ .1092 x145 * x337 ] = 0 e345: - x338 + x339 + [ .1092 x146 * x338 ] = 0 e346: - x339 + x340 + [ .1092 x147 * x339 ] = 0 e347: - x340 + x341 + [ .1092 x148 * x340 ] = 0 e348: - x341 + x342 + [ .1092 x149 * x341 ] = 0 e349: - x342 + x343 + [ .1092 x150 * x342 ] = 0 e350: - x343 + x344 + [ .1092 x151 * x343 ] = 0 e351: - x345 + x346 + [ .1092 x153 * x345 ] = 0 e352: - x346 + x347 + [ .1092 x154 * x346 ] = 0 e353: - x347 + x348 + [ .1092 x155 * x347 ] = 0 e354: - x348 + x349 + [ .1092 x156 * x348 ] = 0 e355: - x349 + x350 + [ .1092 x157 * x349 ] = 0 e356: - x350 + x351 + [ .1092 x158 * x350 ] = 0 e357: - x351 + x352 + [ .1092 x159 * x351 ] = 0 e358: - x353 + x354 + [ .1092 x161 * x353 ] = 0 e359: - x354 + x355 + [ .1092 x162 * x354 ] = 0 e360: - x355 + x356 + [ .1092 x163 * x355 ] = 0 e361: - x356 + x357 + [ .1092 x164 * x356 ] = 0 e362: - x357 + x358 + [ .1092 x165 * x357 ] = 0 e363: - x358 + x359 + [ .1092 x166 * x358 ] = 0 e364: - x359 + x360 + [ .1092 x167 * x359 ] = 0 e365: - x361 + x362 + [ .1092 x169 * x361 ] = 0 e366: - x362 + x363 + [ .1092 x170 * x362 ] = 0 e367: - x363 + x364 + [ .1092 x171 * x363 ] = 0 e368: - x364 + x365 + [ .1092 x172 * x364 ] = 0 e369: - x365 + x366 + [ .1092 x173 * x365 ] = 0 e370: - x366 + x367 + [ .1092 x174 * x366 ] = 0 e371: - x367 + x368 + [ .1092 x175 * x367 ] = 0 e372: - x369 + x370 + [ .1092 x177 * x369 ] = 0 e373: - x370 + x371 + [ .1092 x178 * x370 ] = 0 e374: - x371 + x372 + [ .1092 x179 * x371 ] = 0 e375: - x372 + x373 + [ .1092 x180 * x372 ] = 0 e376: - x373 + x374 + [ .1092 x181 * x373 ] = 0 e377: - x374 + x375 + [ .1092 x182 * x374 ] = 0 e378: - x375 + x376 + [ .1092 x183 * x375 ] = 0 e379: - x377 + x378 + [ .1092 x185 * x377 ] = 0 e380: - x378 + x379 + [ .1092 x186 * x378 ] = 0 e381: - x379 + x380 + [ .1092 x187 * x379 ] = 0 e382: - x380 + x381 + [ .1092 x188 * x380 ] = 0 e383: - x381 + x382 + [ .1092 x189 * x381 ] = 0 e384: - x382 + x383 + [ .1092 x190 * x382 ] = 0 e385: - x383 + x384 + [ .1092 x191 * x383 ] = 0 e386: [ x1 * x193 + x9 * x201 + x17 * x209 + x25 * x217 + x33 * x225 + x41 * x233 + x49 * x241 + x57 * x249 + x65 * x257 + x73 * x265 + x81 * x273 + x89 * x281 + x97 * x289 + x105 * x297 + x113 * x305 + x121 * x313 + x129 * x321 + x137 * x329 + x145 * x337 + x153 * x345 + x161 * x353 + x169 * x361 + x177 * x369 + x185 * x377 ] = 1 e387: [ x2 * x194 + x10 * x202 + x18 * x210 + x26 * x218 + x34 * x226 + x42 * x234 + x50 * x242 + x58 * x250 + x66 * x258 + x74 * x266 + x82 * x274 + x90 * x282 + x98 * x290 + x106 * x298 + x114 * x306 + x122 * x314 + x130 * x322 + x138 * x330 + x146 * x338 + x154 * x346 + x162 * x354 + x170 * x362 + x178 * x370 + x186 * x378 ] = 1 e388: [ x3 * x195 + x11 * x203 + x19 * x211 + x27 * x219 + x35 * x227 + x43 * x235 + x51 * x243 + x59 * x251 + x67 * x259 + x75 * x267 + x83 * x275 + x91 * x283 + x99 * x291 + x107 * x299 + x115 * x307 + x123 * x315 + x131 * x323 + x139 * x331 + x147 * x339 + x155 * x347 + x163 * x355 + x171 * x363 + x179 * x371 + x187 * x379 ] = 1 e389: [ x4 * x196 + x12 * x204 + x20 * x212 + x28 * x220 + x36 * x228 + x44 * x236 + x52 * x244 + x60 * x252 + x68 * x260 + x76 * x268 + x84 * x276 + x92 * x284 + x100 * x292 + x108 * x300 + x116 * x308 + x124 * x316 + x132 * x324 + x140 * x332 + x148 * x340 + x156 * x348 + x164 * x356 + x172 * x364 + x180 * x372 + x188 * x380 ] = 1 e390: [ x5 * x197 + x13 * x205 + x21 * x213 + x29 * x221 + x37 * x229 + x45 * x237 + x53 * x245 + x61 * x253 + x69 * x261 + x77 * x269 + x85 * x277 + x93 * x285 + x101 * x293 + x109 * x301 + x117 * x309 + x125 * x317 + x133 * x325 + x141 * x333 + x149 * x341 + x157 * x349 + x165 * x357 + x173 * x365 + x181 * x373 + x189 * x381 ] = 1 e391: [ x6 * x198 + x14 * x206 + x22 * x214 + x30 * x222 + x38 * x230 + x46 * x238 + x54 * x246 + x62 * x254 + x70 * x262 + x78 * x270 + x86 * x278 + x94 * x286 + x102 * x294 + x110 * x302 + x118 * x310 + x126 * x318 + x134 * x326 + x142 * x334 + x150 * x342 + x158 * x350 + x166 * x358 + x174 * x366 + x182 * x374 + x190 * x382 ] = 1 e392: [ x7 * x199 + x15 * x207 + x23 * x215 + x31 * x223 + x39 * x231 + x47 * x239 + x55 * x247 + x63 * x255 + x71 * x263 + x79 * x271 + x87 * x279 + x95 * x287 + x103 * x295 + x111 * x303 + x119 * x311 + x127 * x319 + x135 * x327 + x143 * x335 + x151 * x343 + x159 * x351 + x167 * x359 + x175 * x367 + x183 * x375 + x191 * x383 ] = 1 e393: [ x8 * x200 + x16 * x208 + x24 * x216 + x32 * x224 + x40 * x232 + x48 * x240 + x56 * x248 + x64 * x256 + x72 * x264 + x80 * x272 + x88 * x280 + x96 * x288 + x104 * x296 + x112 * x304 + x120 * x312 + x128 * x320 + x136 * x328 + x144 * x336 + x152 * x344 + x160 * x352 + x168 * x360 + x176 * x368 + x184 * x376 + x192 * x384 ] = 1 e394: [ x1 * x193 ] <= 8.33333333333333e-2 e395: [ x2 * x194 ] <= 8.33333333333333e-2 e396: [ x3 * x195 ] <= 8.33333333333333e-2 e397: [ x4 * x196 ] <= 8.33333333333333e-2 e398: [ x5 * x197 ] <= 8.33333333333333e-2 e399: [ x6 * x198 ] <= 8.33333333333333e-2 e400: [ x7 * x199 ] <= 8.33333333333333e-2 e401: [ x8 * x200 ] <= 8.33333333333333e-2 e402: [ x9 * x201 ] <= 8.33333333333333e-2 e403: [ x10 * x202 ] <= 8.33333333333333e-2 e404: [ x11 * x203 ] <= 8.33333333333333e-2 e405: [ x12 * x204 ] <= 8.33333333333333e-2 e406: [ x13 * x205 ] <= 8.33333333333333e-2 e407: [ x14 * x206 ] <= 8.33333333333333e-2 e408: [ x15 * x207 ] <= 8.33333333333333e-2 e409: [ x16 * x208 ] <= 8.33333333333333e-2 e410: [ x17 * x209 ] <= 8.33333333333333e-2 e411: [ x18 * x210 ] <= 8.33333333333333e-2 e412: [ x19 * x211 ] <= 8.33333333333333e-2 e413: [ x20 * x212 ] <= 8.33333333333333e-2 e414: [ x21 * x213 ] <= 8.33333333333333e-2 e415: [ x22 * x214 ] <= 8.33333333333333e-2 e416: [ x23 * x215 ] <= 8.33333333333333e-2 e417: [ x24 * x216 ] <= 8.33333333333333e-2 e418: [ x25 * x217 ] <= 8.33333333333333e-2 e419: [ x26 * x218 ] <= 8.33333333333333e-2 e420: [ x27 * x219 ] <= 8.33333333333333e-2 e421: [ x28 * x220 ] <= 8.33333333333333e-2 e422: [ x29 * x221 ] <= 8.33333333333333e-2 e423: [ x30 * x222 ] <= 8.33333333333333e-2 e424: [ x31 * x223 ] <= 8.33333333333333e-2 e425: [ x32 * x224 ] <= 8.33333333333333e-2 e426: [ x33 * x225 ] <= 8.33333333333333e-2 e427: [ x34 * x226 ] <= 8.33333333333333e-2 e428: [ x35 * x227 ] <= 8.33333333333333e-2 e429: [ x36 * x228 ] <= 8.33333333333333e-2 e430: [ x37 * x229 ] <= 8.33333333333333e-2 e431: [ x38 * x230 ] <= 8.33333333333333e-2 e432: [ x39 * x231 ] <= 8.33333333333333e-2 e433: [ x40 * x232 ] <= 8.33333333333333e-2 e434: [ x41 * x233 ] <= 8.33333333333333e-2 e435: [ x42 * x234 ] <= 8.33333333333333e-2 e436: [ x43 * x235 ] <= 8.33333333333333e-2 e437: [ x44 * x236 ] <= 8.33333333333333e-2 e438: [ x45 * x237 ] <= 8.33333333333333e-2 e439: [ x46 * x238 ] <= 8.33333333333333e-2 e440: [ x47 * x239 ] <= 8.33333333333333e-2 e441: [ x48 * x240 ] <= 8.33333333333333e-2 e442: [ x49 * x241 ] <= 8.33333333333333e-2 e443: [ x50 * x242 ] <= 8.33333333333333e-2 e444: [ x51 * x243 ] <= 8.33333333333333e-2 e445: [ x52 * x244 ] <= 8.33333333333333e-2 e446: [ x53 * x245 ] <= 8.33333333333333e-2 e447: [ x54 * x246 ] <= 8.33333333333333e-2 e448: [ x55 * x247 ] <= 8.33333333333333e-2 e449: [ x56 * x248 ] <= 8.33333333333333e-2 e450: [ x57 * x249 ] <= 8.33333333333333e-2 e451: [ x58 * x250 ] <= 8.33333333333333e-2 e452: [ x59 * x251 ] <= 8.33333333333333e-2 e453: [ x60 * x252 ] <= 8.33333333333333e-2 e454: [ x61 * x253 ] <= 8.33333333333333e-2 e455: [ x62 * x254 ] <= 8.33333333333333e-2 e456: [ x63 * x255 ] <= 8.33333333333333e-2 e457: [ x64 * x256 ] <= 8.33333333333333e-2 e458: [ x65 * x257 ] <= 8.33333333333333e-2 e459: [ x66 * x258 ] <= 8.33333333333333e-2 e460: [ x67 * x259 ] <= 8.33333333333333e-2 e461: [ x68 * x260 ] <= 8.33333333333333e-2 e462: [ x69 * x261 ] <= 8.33333333333333e-2 e463: [ x70 * x262 ] <= 8.33333333333333e-2 e464: [ x71 * x263 ] <= 8.33333333333333e-2 e465: [ x72 * x264 ] <= 8.33333333333333e-2 e466: [ x73 * x265 ] <= 8.33333333333333e-2 e467: [ x74 * x266 ] <= 8.33333333333333e-2 e468: [ x75 * x267 ] <= 8.33333333333333e-2 e469: [ x76 * x268 ] <= 8.33333333333333e-2 e470: [ x77 * x269 ] <= 8.33333333333333e-2 e471: [ x78 * x270 ] <= 8.33333333333333e-2 e472: [ x79 * x271 ] <= 8.33333333333333e-2 e473: [ x80 * x272 ] <= 8.33333333333333e-2 e474: [ x81 * x273 ] <= 8.33333333333333e-2 e475: [ x82 * x274 ] <= 8.33333333333333e-2 e476: [ x83 * x275 ] <= 8.33333333333333e-2 e477: [ x84 * x276 ] <= 8.33333333333333e-2 e478: [ x85 * x277 ] <= 8.33333333333333e-2 e479: [ x86 * x278 ] <= 8.33333333333333e-2 e480: [ x87 * x279 ] <= 8.33333333333333e-2 e481: [ x88 * x280 ] <= 8.33333333333333e-2 e482: [ x89 * x281 ] <= 8.33333333333333e-2 e483: [ x90 * x282 ] <= 8.33333333333333e-2 e484: [ x91 * x283 ] <= 8.33333333333333e-2 e485: [ x92 * x284 ] <= 8.33333333333333e-2 e486: [ x93 * x285 ] <= 8.33333333333333e-2 e487: [ x94 * x286 ] <= 8.33333333333333e-2 e488: [ x95 * x287 ] <= 8.33333333333333e-2 e489: [ x96 * x288 ] <= 8.33333333333333e-2 e490: [ x97 * x289 ] <= 8.33333333333333e-2 e491: [ x98 * x290 ] <= 8.33333333333333e-2 e492: [ x99 * x291 ] <= 8.33333333333333e-2 e493: [ x100 * x292 ] <= 8.33333333333333e-2 e494: [ x101 * x293 ] <= 8.33333333333333e-2 e495: [ x102 * x294 ] <= 8.33333333333333e-2 e496: [ x103 * x295 ] <= 8.33333333333333e-2 e497: [ x104 * x296 ] <= 8.33333333333333e-2 e498: [ x105 * x297 ] <= 8.33333333333333e-2 e499: [ x106 * x298 ] <= 8.33333333333333e-2 e500: [ x107 * x299 ] <= 8.33333333333333e-2 e501: [ x108 * x300 ] <= 8.33333333333333e-2 e502: [ x109 * x301 ] <= 8.33333333333333e-2 e503: [ x110 * x302 ] <= 8.33333333333333e-2 e504: [ x111 * x303 ] <= 8.33333333333333e-2 e505: [ x112 * x304 ] <= 8.33333333333333e-2 e506: [ x113 * x305 ] <= 8.33333333333333e-2 e507: [ x114 * x306 ] <= 8.33333333333333e-2 e508: [ x115 * x307 ] <= 8.33333333333333e-2 e509: [ x116 * x308 ] <= 8.33333333333333e-2 e510: [ x117 * x309 ] <= 8.33333333333333e-2 e511: [ x118 * x310 ] <= 8.33333333333333e-2 e512: [ x119 * x311 ] <= 8.33333333333333e-2 e513: [ x120 * x312 ] <= 8.33333333333333e-2 e514: [ x121 * x313 ] <= 8.33333333333333e-2 e515: [ x122 * x314 ] <= 8.33333333333333e-2 e516: [ x123 * x315 ] <= 8.33333333333333e-2 e517: [ x124 * x316 ] <= 8.33333333333333e-2 e518: [ x125 * x317 ] <= 8.33333333333333e-2 e519: [ x126 * x318 ] <= 8.33333333333333e-2 e520: [ x127 * x319 ] <= 8.33333333333333e-2 e521: [ x128 * x320 ] <= 8.33333333333333e-2 e522: [ x129 * x321 ] <= 8.33333333333333e-2 e523: [ x130 * x322 ] <= 8.33333333333333e-2 e524: [ x131 * x323 ] <= 8.33333333333333e-2 e525: [ x132 * x324 ] <= 8.33333333333333e-2 e526: [ x133 * x325 ] <= 8.33333333333333e-2 e527: [ x134 * x326 ] <= 8.33333333333333e-2 e528: [ x135 * x327 ] <= 8.33333333333333e-2 e529: [ x136 * x328 ] <= 8.33333333333333e-2 e530: [ x137 * x329 ] <= 8.33333333333333e-2 e531: [ x138 * x330 ] <= 8.33333333333333e-2 e532: [ x139 * x331 ] <= 8.33333333333333e-2 e533: [ x140 * x332 ] <= 8.33333333333333e-2 e534: [ x141 * x333 ] <= 8.33333333333333e-2 e535: [ x142 * x334 ] <= 8.33333333333333e-2 e536: [ x143 * x335 ] <= 8.33333333333333e-2 e537: [ x144 * x336 ] <= 8.33333333333333e-2 e538: [ x145 * x337 ] <= 8.33333333333333e-2 e539: [ x146 * x338 ] <= 8.33333333333333e-2 e540: [ x147 * x339 ] <= 8.33333333333333e-2 e541: [ x148 * x340 ] <= 8.33333333333333e-2 e542: [ x149 * x341 ] <= 8.33333333333333e-2 e543: [ x150 * x342 ] <= 8.33333333333333e-2 e544: [ x151 * x343 ] <= 8.33333333333333e-2 e545: [ x152 * x344 ] <= 8.33333333333333e-2 e546: [ x153 * x345 ] <= 8.33333333333333e-2 e547: [ x154 * x346 ] <= 8.33333333333333e-2 e548: [ x155 * x347 ] <= 8.33333333333333e-2 e549: [ x156 * x348 ] <= 8.33333333333333e-2 e550: [ x157 * x349 ] <= 8.33333333333333e-2 e551: [ x158 * x350 ] <= 8.33333333333333e-2 e552: [ x159 * x351 ] <= 8.33333333333333e-2 e553: [ x160 * x352 ] <= 8.33333333333333e-2 e554: [ x161 * x353 ] <= 8.33333333333333e-2 e555: [ x162 * x354 ] <= 8.33333333333333e-2 e556: [ x163 * x355 ] <= 8.33333333333333e-2 e557: [ x164 * x356 ] <= 8.33333333333333e-2 e558: [ x165 * x357 ] <= 8.33333333333333e-2 e559: [ x166 * x358 ] <= 8.33333333333333e-2 e560: [ x167 * x359 ] <= 8.33333333333333e-2 e561: [ x168 * x360 ] <= 8.33333333333333e-2 e562: [ x169 * x361 ] <= 8.33333333333333e-2 e563: [ x170 * x362 ] <= 8.33333333333333e-2 e564: [ x171 * x363 ] <= 8.33333333333333e-2 e565: [ x172 * x364 ] <= 8.33333333333333e-2 e566: [ x173 * x365 ] <= 8.33333333333333e-2 e567: [ x174 * x366 ] <= 8.33333333333333e-2 e568: [ x175 * x367 ] <= 8.33333333333333e-2 e569: [ x176 * x368 ] <= 8.33333333333333e-2 e570: [ x177 * x369 ] <= 8.33333333333333e-2 e571: [ x178 * x370 ] <= 8.33333333333333e-2 e572: [ x179 * x371 ] <= 8.33333333333333e-2 e573: [ x180 * x372 ] <= 8.33333333333333e-2 e574: [ x181 * x373 ] <= 8.33333333333333e-2 e575: [ x182 * x374 ] <= 8.33333333333333e-2 e576: [ x183 * x375 ] <= 8.33333333333333e-2 e577: [ x184 * x376 ] <= 8.33333333333333e-2 e578: [ x185 * x377 ] <= 8.33333333333333e-2 e579: [ x186 * x378 ] <= 8.33333333333333e-2 e580: [ x187 * x379 ] <= 8.33333333333333e-2 e581: [ x188 * x380 ] <= 8.33333333333333e-2 e582: [ x189 * x381 ] <= 8.33333333333333e-2 e583: [ x190 * x382 ] <= 8.33333333333333e-2 e584: [ x191 * x383 ] <= 8.33333333333333e-2 e585: [ x192 * x384 ] <= 8.33333333333333e-2 e586: b393 + b417 + b418 + b419 + b420 + b421 + b422 + b423 + b424 + b425 + b426 + b427 + b428 + b429 + b430 + b431 + b432 + b433 + b434 + b435 + b436 + b437 + b438 + b439 + b440 = 1 e587: b394 + b441 + b442 + b443 + b444 + b445 + b446 + b447 + b448 + b449 + b450 + b451 + b452 + b453 + b454 + b455 + b456 + b457 + b458 + b459 + b460 + b461 + b462 + b463 + b464 = 1 e588: b395 + b465 + b466 + b467 + b468 + b469 + b470 + b471 + b472 + b473 + b474 + b475 + b476 + b477 + b478 + b479 + b480 + b481 + b482 + b483 + b484 + b485 + b486 + b487 + b488 = 1 e589: b396 + b489 + b490 + b491 + b492 + b493 + b494 + b495 + b496 + b497 + b498 + b499 + b500 + b501 + b502 + b503 + b504 + b505 + b506 + b507 + b508 + b509 + b510 + b511 + b512 = 1 e590: b397 + b513 + b514 + b515 + b516 + b517 + b518 + b519 + b520 + b521 + b522 + b523 + b524 + b525 + b526 + b527 + b528 + b529 + b530 + b531 + b532 + b533 + b534 + b535 + b536 = 1 e591: b398 + b537 + b538 + b539 + b540 + b541 + b542 + b543 + b544 + b545 + b546 + b547 + b548 + b549 + b550 + b551 + b552 + b553 + b554 + b555 + b556 + b557 + b558 + b559 + b560 = 1 e592: b399 + b561 + b562 + b563 + b564 + b565 + b566 + b567 + b568 + b569 + b570 + b571 + b572 + b573 + b574 + b575 + b576 + b577 + b578 + b579 + b580 + b581 + b582 + b583 + b584 = 1 e593: b400 + b585 + b586 + b587 + b588 + b589 + b590 + b591 + b592 + b593 + b594 + b595 + b596 + b597 + b598 + b599 + b600 + b601 + b602 + b603 + b604 + b605 + b606 + b607 + b608 = 1 e594: b401 + b609 + b610 + b611 + b612 + b613 + b614 + b615 + b616 + b617 + b618 + b619 + b620 + b621 + b622 + b623 + b624 + b625 + b626 + b627 + b628 + b629 + b630 + b631 + b632 = 1 e595: b402 + b633 + b634 + b635 + b636 + b637 + b638 + b639 + b640 + b641 + b642 + b643 + b644 + b645 + b646 + b647 + b648 + b649 + b650 + b651 + b652 + b653 + b654 + b655 + b656 = 1 e596: b403 + b657 + b658 + b659 + b660 + b661 + b662 + b663 + b664 + b665 + b666 + b667 + b668 + b669 + b670 + b671 + b672 + b673 + b674 + b675 + b676 + b677 + b678 + b679 + b680 = 1 e597: b404 + b681 + b682 + b683 + b684 + b685 + b686 + b687 + b688 + b689 + b690 + b691 + b692 + b693 + b694 + b695 + b696 + b697 + b698 + b699 + b700 + b701 + b702 + b703 + b704 = 1 e598: b405 + b705 + b706 + b707 + b708 + b709 + b710 + b711 + b712 + b713 + b714 + b715 + b716 + b717 + b718 + b719 + b720 + b721 + b722 + b723 + b724 + b725 + b726 + b727 + b728 = 1 e599: b406 + b729 + b730 + b731 + b732 + b733 + b734 + b735 + b736 + b737 + b738 + b739 + b740 + b741 + b742 + b743 + b744 + b745 + b746 + b747 + b748 + b749 + b750 + b751 + b752 = 1 e600: b407 + b753 + b754 + b755 + b756 + b757 + b758 + b759 + b760 + b761 + b762 + b763 + b764 + b765 + b766 + b767 + b768 + b769 + b770 + b771 + b772 + b773 + b774 + b775 + b776 = 1 e601: b408 + b777 + b778 + b779 + b780 + b781 + b782 + b783 + b784 + b785 + b786 + b787 + b788 + b789 + b790 + b791 + b792 + b793 + b794 + b795 + b796 + b797 + b798 + b799 + b800 = 1 e602: b409 + b801 + b802 + b803 + b804 + b805 + b806 + b807 + b808 + b809 + b810 + b811 + b812 + b813 + b814 + b815 + b816 + b817 + b818 + b819 + b820 + b821 + b822 + b823 + b824 = 1 e603: b410 + b825 + b826 + b827 + b828 + b829 + b830 + b831 + b832 + b833 + b834 + b835 + b836 + b837 + b838 + b839 + b840 + b841 + b842 + b843 + b844 + b845 + b846 + b847 + b848 = 1 e604: b411 + b849 + b850 + b851 + b852 + b853 + b854 + b855 + b856 + b857 + b858 + b859 + b860 + b861 + b862 + b863 + b864 + b865 + b866 + b867 + b868 + b869 + b870 + b871 + b872 = 1 e605: b412 + b873 + b874 + b875 + b876 + b877 + b878 + b879 + b880 + b881 + b882 + b883 + b884 + b885 + b886 + b887 + b888 + b889 + b890 + b891 + b892 + b893 + b894 + b895 + b896 = 1 e606: b413 + b897 + b898 + b899 + b900 + b901 + b902 + b903 + b904 + b905 + b906 + b907 + b908 + b909 + b910 + b911 + b912 + b913 + b914 + b915 + b916 + b917 + b918 + b919 + b920 = 1 e607: b414 + b921 + b922 + b923 + b924 + b925 + b926 + b927 + b928 + b929 + b930 + b931 + b932 + b933 + b934 + b935 + b936 + b937 + b938 + b939 + b940 + b941 + b942 + b943 + b944 = 1 e608: b415 + b945 + b946 + b947 + b948 + b949 + b950 + b951 + b952 + b953 + b954 + b955 + b956 + b957 + b958 + b959 + b960 + b961 + b962 + b963 + b964 + b965 + b966 + b967 + b968 = 1 e609: b416 + b969 + b970 + b971 + b972 + b973 + b974 + b975 + b976 + b977 + b978 + b979 + b980 + b981 + b982 + b983 + b984 + b985 + b986 + b987 + b988 + b989 + b990 + b991 + b992 = 1 e610: b417 + b441 + b465 + b489 + b513 + b537 + b561 + b585 + b609 + b633 + b657 + b681 + b705 + b729 + b753 + b777 + b801 + b825 + b849 + b873 + b897 + b921 + b945 + b969 <= 1 e611: b418 + b442 + b466 + b490 + b514 + b538 + b562 + b586 + b610 + b634 + b658 + b682 + b706 + b730 + b754 + b778 + b802 + b826 + b850 + b874 + b898 + b922 + b946 + b970 <= 1 e612: b419 + b443 + b467 + b491 + b515 + b539 + b563 + b587 + b611 + b635 + b659 + b683 + b707 + b731 + b755 + b779 + b803 + b827 + b851 + b875 + b899 + b923 + b947 + b971 <= 1 e613: b420 + b444 + b468 + b492 + b516 + b540 + b564 + b588 + b612 + b636 + b660 + b684 + b708 + b732 + b756 + b780 + b804 + b828 + b852 + b876 + b900 + b924 + b948 + b972 <= 1 e614: b421 + b445 + b469 + b493 + b517 + b541 + b565 + b589 + b613 + b637 + b661 + b685 + b709 + b733 + b757 + b781 + b805 + b829 + b853 + b877 + b901 + b925 + b949 + b973 <= 1 e615: b422 + b446 + b470 + b494 + b518 + b542 + b566 + b590 + b614 + b638 + b662 + b686 + b710 + b734 + b758 + b782 + b806 + b830 + b854 + b878 + b902 + b926 + b950 + b974 <= 1 e616: b423 + b447 + b471 + b495 + b519 + b543 + b567 + b591 + b615 + b639 + b663 + b687 + b711 + b735 + b759 + b783 + b807 + b831 + b855 + b879 + b903 + b927 + b951 + b975 <= 1 e617: b424 + b448 + b472 + b496 + b520 + b544 + b568 + b592 + b616 + b640 + b664 + b688 + b712 + b736 + b760 + b784 + b808 + b832 + b856 + b880 + b904 + b928 + b952 + b976 <= 1 e618: b425 + b449 + b473 + b497 + b521 + b545 + b569 + b593 + b617 + b641 + b665 + b689 + b713 + b737 + b761 + b785 + b809 + b833 + b857 + b881 + b905 + b929 + b953 + b977 <= 1 e619: b426 + b450 + b474 + b498 + b522 + b546 + b570 + b594 + b618 + b642 + b666 + b690 + b714 + b738 + b762 + b786 + b810 + b834 + b858 + b882 + b906 + b930 + b954 + b978 <= 1 e620: b427 + b451 + b475 + b499 + b523 + b547 + b571 + b595 + b619 + b643 + b667 + b691 + b715 + b739 + b763 + b787 + b811 + b835 + b859 + b883 + b907 + b931 + b955 + b979 <= 1 e621: b428 + b452 + b476 + b500 + b524 + b548 + b572 + b596 + b620 + b644 + b668 + b692 + b716 + b740 + b764 + b788 + b812 + b836 + b860 + b884 + b908 + b932 + b956 + b980 <= 1 e622: b429 + b453 + b477 + b501 + b525 + b549 + b573 + b597 + b621 + b645 + b669 + b693 + b717 + b741 + b765 + b789 + b813 + b837 + b861 + b885 + b909 + b933 + b957 + b981 <= 1 e623: b430 + b454 + b478 + b502 + b526 + b550 + b574 + b598 + b622 + b646 + b670 + b694 + b718 + b742 + b766 + b790 + b814 + b838 + b862 + b886 + b910 + b934 + b958 + b982 <= 1 e624: b431 + b455 + b479 + b503 + b527 + b551 + b575 + b599 + b623 + b647 + b671 + b695 + b719 + b743 + b767 + b791 + b815 + b839 + b863 + b887 + b911 + b935 + b959 + b983 <= 1 e625: b432 + b456 + b480 + b504 + b528 + b552 + b576 + b600 + b624 + b648 + b672 + b696 + b720 + b744 + b768 + b792 + b816 + b840 + b864 + b888 + b912 + b936 + b960 + b984 <= 1 e626: b433 + b457 + b481 + b505 + b529 + b553 + b577 + b601 + b625 + b649 + b673 + b697 + b721 + b745 + b769 + b793 + b817 + b841 + b865 + b889 + b913 + b937 + b961 + b985 <= 1 e627: b434 + b458 + b482 + b506 + b530 + b554 + b578 + b602 + b626 + b650 + b674 + b698 + b722 + b746 + b770 + b794 + b818 + b842 + b866 + b890 + b914 + b938 + b962 + b986 <= 1 e628: b435 + b459 + b483 + b507 + b531 + b555 + b579 + b603 + b627 + b651 + b675 + b699 + b723 + b747 + b771 + b795 + b819 + b843 + b867 + b891 + b915 + b939 + b963 + b987 <= 1 e629: b436 + b460 + b484 + b508 + b532 + b556 + b580 + b604 + b628 + b652 + b676 + b700 + b724 + b748 + b772 + b796 + b820 + b844 + b868 + b892 + b916 + b940 + b964 + b988 <= 1 e630: b437 + b461 + b485 + b509 + b533 + b557 + b581 + b605 + b629 + b653 + b677 + b701 + b725 + b749 + b773 + b797 + b821 + b845 + b869 + b893 + b917 + b941 + b965 + b989 <= 1 e631: b438 + b462 + b486 + b510 + b534 + b558 + b582 + b606 + b630 + b654 + b678 + b702 + b726 + b750 + b774 + b798 + b822 + b846 + b870 + b894 + b918 + b942 + b966 + b990 <= 1 e632: b439 + b463 + b487 + b511 + b535 + b559 + b583 + b607 + b631 + b655 + b679 + b703 + b727 + b751 + b775 + b799 + b823 + b847 + b871 + b895 + b919 + b943 + b967 + b991 <= 1 e633: b440 + b464 + b488 + b512 + b536 + b560 + b584 + b608 + b632 + b656 + b680 + b704 + b728 + b752 + b776 + b800 + b824 + b848 + b872 + b896 + b920 + b944 + b968 + b992 <= 1 e634: b393 + b394 + b395 + b396 + b397 + b398 + b399 + b400 + b401 + b402 + b403 + b404 + b405 + b406 + b407 + b408 + b409 + b410 + b411 + b412 + b413 + b414 + b415 + b416 = 6 e635: - x200 + x994 <= 0 e636: - x208 + x995 <= 0 e637: - x216 + x996 <= 0 e638: - x224 + x997 <= 0 e639: - x232 + x998 <= 0 e640: - x240 + x999 <= 0 e641: - x248 + x1000 <= 0 e642: - x256 + x1001 <= 0 e643: - x264 + x1002 <= 0 e644: - x272 + x1003 <= 0 e645: - x280 + x1004 <= 0 e646: - x288 + x1005 <= 0 e647: - x296 + x1006 <= 0 e648: - x304 + x1007 <= 0 e649: - x312 + x1008 <= 0 e650: - x320 + x1009 <= 0 e651: - x328 + x1010 <= 0 e652: - x336 + x1011 <= 0 e653: - x344 + x1012 <= 0 e654: - x352 + x1013 <= 0 e655: - x360 + x1014 <= 0 e656: - x368 + x1015 <= 0 e657: - x376 + x1016 <= 0 e658: - x384 + x1017 <= 0 e659: - x200 + x1018 <= 0 e660: - x208 + x1019 <= 0 e661: - x216 + x1020 <= 0 e662: - x224 + x1021 <= 0 e663: - x232 + x1022 <= 0 e664: - x240 + x1023 <= 0 e665: - x248 + x1024 <= 0 e666: - x256 + x1025 <= 0 e667: - x264 + x1026 <= 0 e668: - x272 + x1027 <= 0 e669: - x280 + x1028 <= 0 e670: - x288 + x1029 <= 0 e671: - x296 + x1030 <= 0 e672: - x304 + x1031 <= 0 e673: - x312 + x1032 <= 0 e674: - x320 + x1033 <= 0 e675: - x328 + x1034 <= 0 e676: - x336 + x1035 <= 0 e677: - x344 + x1036 <= 0 e678: - x352 + x1037 <= 0 e679: - x360 + x1038 <= 0 e680: - x368 + x1039 <= 0 e681: - x376 + x1040 <= 0 e682: - x384 + x1041 <= 0 e683: - x200 + x1042 <= 0 e684: - x208 + x1043 <= 0 e685: - x216 + x1044 <= 0 e686: - x224 + x1045 <= 0 e687: - x232 + x1046 <= 0 e688: - x240 + x1047 <= 0 e689: - x248 + x1048 <= 0 e690: - x256 + x1049 <= 0 e691: - x264 + x1050 <= 0 e692: - x272 + x1051 <= 0 e693: - x280 + x1052 <= 0 e694: - x288 + x1053 <= 0 e695: - x296 + x1054 <= 0 e696: - x304 + x1055 <= 0 e697: - x312 + x1056 <= 0 e698: - x320 + x1057 <= 0 e699: - x328 + x1058 <= 0 e700: - x336 + x1059 <= 0 e701: - x344 + x1060 <= 0 e702: - x352 + x1061 <= 0 e703: - x360 + x1062 <= 0 e704: - x368 + x1063 <= 0 e705: - x376 + x1064 <= 0 e706: - x384 + x1065 <= 0 e707: - x200 + x1066 <= 0 e708: - x208 + x1067 <= 0 e709: - x216 + x1068 <= 0 e710: - x224 + x1069 <= 0 e711: - x232 + x1070 <= 0 e712: - x240 + x1071 <= 0 e713: - x248 + x1072 <= 0 e714: - x256 + x1073 <= 0 e715: - x264 + x1074 <= 0 e716: - x272 + x1075 <= 0 e717: - x280 + x1076 <= 0 e718: - x288 + x1077 <= 0 e719: - x296 + x1078 <= 0 e720: - x304 + x1079 <= 0 e721: - x312 + x1080 <= 0 e722: - x320 + x1081 <= 0 e723: - x328 + x1082 <= 0 e724: - x336 + x1083 <= 0 e725: - x344 + x1084 <= 0 e726: - x352 + x1085 <= 0 e727: - x360 + x1086 <= 0 e728: - x368 + x1087 <= 0 e729: - x376 + x1088 <= 0 e730: - x384 + x1089 <= 0 e731: - x200 + x1090 <= 0 e732: - x208 + x1091 <= 0 e733: - x216 + x1092 <= 0 e734: - x224 + x1093 <= 0 e735: - x232 + x1094 <= 0 e736: - x240 + x1095 <= 0 e737: - x248 + x1096 <= 0 e738: - x256 + x1097 <= 0 e739: - x264 + x1098 <= 0 e740: - x272 + x1099 <= 0 e741: - x280 + x1100 <= 0 e742: - x288 + x1101 <= 0 e743: - x296 + x1102 <= 0 e744: - x304 + x1103 <= 0 e745: - x312 + x1104 <= 0 e746: - x320 + x1105 <= 0 e747: - x328 + x1106 <= 0 e748: - x336 + x1107 <= 0 e749: - x344 + x1108 <= 0 e750: - x352 + x1109 <= 0 e751: - x360 + x1110 <= 0 e752: - x368 + x1111 <= 0 e753: - x376 + x1112 <= 0 e754: - x384 + x1113 <= 0 e755: - x200 + x1114 <= 0 e756: - x208 + x1115 <= 0 e757: - x216 + x1116 <= 0 e758: - x224 + x1117 <= 0 e759: - x232 + x1118 <= 0 e760: - x240 + x1119 <= 0 e761: - x248 + x1120 <= 0 e762: - x256 + x1121 <= 0 e763: - x264 + x1122 <= 0 e764: - x272 + x1123 <= 0 e765: - x280 + x1124 <= 0 e766: - x288 + x1125 <= 0 e767: - x296 + x1126 <= 0 e768: - x304 + x1127 <= 0 e769: - x312 + x1128 <= 0 e770: - x320 + x1129 <= 0 e771: - x328 + x1130 <= 0 e772: - x336 + x1131 <= 0 e773: - x344 + x1132 <= 0 e774: - x352 + x1133 <= 0 e775: - x360 + x1134 <= 0 e776: - x368 + x1135 <= 0 e777: - x376 + x1136 <= 0 e778: - x384 + x1137 <= 0 e779: - x200 + x1138 <= 0 e780: - x208 + x1139 <= 0 e781: - x216 + x1140 <= 0 e782: - x224 + x1141 <= 0 e783: - x232 + x1142 <= 0 e784: - x240 + x1143 <= 0 e785: - x248 + x1144 <= 0 e786: - x256 + x1145 <= 0 e787: - x264 + x1146 <= 0 e788: - x272 + x1147 <= 0 e789: - x280 + x1148 <= 0 e790: - x288 + x1149 <= 0 e791: - x296 + x1150 <= 0 e792: - x304 + x1151 <= 0 e793: - x312 + x1152 <= 0 e794: - x320 + x1153 <= 0 e795: - x328 + x1154 <= 0 e796: - x336 + x1155 <= 0 e797: - x344 + x1156 <= 0 e798: - x352 + x1157 <= 0 e799: - x360 + x1158 <= 0 e800: - x368 + x1159 <= 0 e801: - x376 + x1160 <= 0 e802: - x384 + x1161 <= 0 e803: - x200 + x1162 <= 0 e804: - x208 + x1163 <= 0 e805: - x216 + x1164 <= 0 e806: - x224 + x1165 <= 0 e807: - x232 + x1166 <= 0 e808: - x240 + x1167 <= 0 e809: - x248 + x1168 <= 0 e810: - x256 + x1169 <= 0 e811: - x264 + x1170 <= 0 e812: - x272 + x1171 <= 0 e813: - x280 + x1172 <= 0 e814: - x288 + x1173 <= 0 e815: - x296 + x1174 <= 0 e816: - x304 + x1175 <= 0 e817: - x312 + x1176 <= 0 e818: - x320 + x1177 <= 0 e819: - x328 + x1178 <= 0 e820: - x336 + x1179 <= 0 e821: - x344 + x1180 <= 0 e822: - x352 + x1181 <= 0 e823: - x360 + x1182 <= 0 e824: - x368 + x1183 <= 0 e825: - x376 + x1184 <= 0 e826: - x384 + x1185 <= 0 e827: - x200 + x1186 <= 0 e828: - x208 + x1187 <= 0 e829: - x216 + x1188 <= 0 e830: - x224 + x1189 <= 0 e831: - x232 + x1190 <= 0 e832: - x240 + x1191 <= 0 e833: - x248 + x1192 <= 0 e834: - x256 + x1193 <= 0 e835: - x264 + x1194 <= 0 e836: - x272 + x1195 <= 0 e837: - x280 + x1196 <= 0 e838: - x288 + x1197 <= 0 e839: - x296 + x1198 <= 0 e840: - x304 + x1199 <= 0 e841: - x312 + x1200 <= 0 e842: - x320 + x1201 <= 0 e843: - x328 + x1202 <= 0 e844: - x336 + x1203 <= 0 e845: - x344 + x1204 <= 0 e846: - x352 + x1205 <= 0 e847: - x360 + x1206 <= 0 e848: - x368 + x1207 <= 0 e849: - x376 + x1208 <= 0 e850: - x384 + x1209 <= 0 e851: - x200 + x1210 <= 0 e852: - x208 + x1211 <= 0 e853: - x216 + x1212 <= 0 e854: - x224 + x1213 <= 0 e855: - x232 + x1214 <= 0 e856: - x240 + x1215 <= 0 e857: - x248 + x1216 <= 0 e858: - x256 + x1217 <= 0 e859: - x264 + x1218 <= 0 e860: - x272 + x1219 <= 0 e861: - x280 + x1220 <= 0 e862: - x288 + x1221 <= 0 e863: - x296 + x1222 <= 0 e864: - x304 + x1223 <= 0 e865: - x312 + x1224 <= 0 e866: - x320 + x1225 <= 0 e867: - x328 + x1226 <= 0 e868: - x336 + x1227 <= 0 e869: - x344 + x1228 <= 0 e870: - x352 + x1229 <= 0 e871: - x360 + x1230 <= 0 e872: - x368 + x1231 <= 0 e873: - x376 + x1232 <= 0 e874: - x384 + x1233 <= 0 e875: - x200 + x1234 <= 0 e876: - x208 + x1235 <= 0 e877: - x216 + x1236 <= 0 e878: - x224 + x1237 <= 0 e879: - x232 + x1238 <= 0 e880: - x240 + x1239 <= 0 e881: - x248 + x1240 <= 0 e882: - x256 + x1241 <= 0 e883: - x264 + x1242 <= 0 e884: - x272 + x1243 <= 0 e885: - x280 + x1244 <= 0 e886: - x288 + x1245 <= 0 e887: - x296 + x1246 <= 0 e888: - x304 + x1247 <= 0 e889: - x312 + x1248 <= 0 e890: - x320 + x1249 <= 0 e891: - x328 + x1250 <= 0 e892: - x336 + x1251 <= 0 e893: - x344 + x1252 <= 0 e894: - x352 + x1253 <= 0 e895: - x360 + x1254 <= 0 e896: - x368 + x1255 <= 0 e897: - x376 + x1256 <= 0 e898: - x384 + x1257 <= 0 e899: - x200 + x1258 <= 0 e900: - x208 + x1259 <= 0 e901: - x216 + x1260 <= 0 e902: - x224 + x1261 <= 0 e903: - x232 + x1262 <= 0 e904: - x240 + x1263 <= 0 e905: - x248 + x1264 <= 0 e906: - x256 + x1265 <= 0 e907: - x264 + x1266 <= 0 e908: - x272 + x1267 <= 0 e909: - x280 + x1268 <= 0 e910: - x288 + x1269 <= 0 e911: - x296 + x1270 <= 0 e912: - x304 + x1271 <= 0 e913: - x312 + x1272 <= 0 e914: - x320 + x1273 <= 0 e915: - x328 + x1274 <= 0 e916: - x336 + x1275 <= 0 e917: - x344 + x1276 <= 0 e918: - x352 + x1277 <= 0 e919: - x360 + x1278 <= 0 e920: - x368 + x1279 <= 0 e921: - x376 + x1280 <= 0 e922: - x384 + x1281 <= 0 e923: - x200 + x1282 <= 0 e924: - x208 + x1283 <= 0 e925: - x216 + x1284 <= 0 e926: - x224 + x1285 <= 0 e927: - x232 + x1286 <= 0 e928: - x240 + x1287 <= 0 e929: - x248 + x1288 <= 0 e930: - x256 + x1289 <= 0 e931: - x264 + x1290 <= 0 e932: - x272 + x1291 <= 0 e933: - x280 + x1292 <= 0 e934: - x288 + x1293 <= 0 e935: - x296 + x1294 <= 0 e936: - x304 + x1295 <= 0 e937: - x312 + x1296 <= 0 e938: - x320 + x1297 <= 0 e939: - x328 + x1298 <= 0 e940: - x336 + x1299 <= 0 e941: - x344 + x1300 <= 0 e942: - x352 + x1301 <= 0 e943: - x360 + x1302 <= 0 e944: - x368 + x1303 <= 0 e945: - x376 + x1304 <= 0 e946: - x384 + x1305 <= 0 e947: - x200 + x1306 <= 0 e948: - x208 + x1307 <= 0 e949: - x216 + x1308 <= 0 e950: - x224 + x1309 <= 0 e951: - x232 + x1310 <= 0 e952: - x240 + x1311 <= 0 e953: - x248 + x1312 <= 0 e954: - x256 + x1313 <= 0 e955: - x264 + x1314 <= 0 e956: - x272 + x1315 <= 0 e957: - x280 + x1316 <= 0 e958: - x288 + x1317 <= 0 e959: - x296 + x1318 <= 0 e960: - x304 + x1319 <= 0 e961: - x312 + x1320 <= 0 e962: - x320 + x1321 <= 0 e963: - x328 + x1322 <= 0 e964: - x336 + x1323 <= 0 e965: - x344 + x1324 <= 0 e966: - x352 + x1325 <= 0 e967: - x360 + x1326 <= 0 e968: - x368 + x1327 <= 0 e969: - x376 + x1328 <= 0 e970: - x384 + x1329 <= 0 e971: - x200 + x1330 <= 0 e972: - x208 + x1331 <= 0 e973: - x216 + x1332 <= 0 e974: - x224 + x1333 <= 0 e975: - x232 + x1334 <= 0 e976: - x240 + x1335 <= 0 e977: - x248 + x1336 <= 0 e978: - x256 + x1337 <= 0 e979: - x264 + x1338 <= 0 e980: - x272 + x1339 <= 0 e981: - x280 + x1340 <= 0 e982: - x288 + x1341 <= 0 e983: - x296 + x1342 <= 0 e984: - x304 + x1343 <= 0 e985: - x312 + x1344 <= 0 e986: - x320 + x1345 <= 0 e987: - x328 + x1346 <= 0 e988: - x336 + x1347 <= 0 e989: - x344 + x1348 <= 0 e990: - x352 + x1349 <= 0 e991: - x360 + x1350 <= 0 e992: - x368 + x1351 <= 0 e993: - x376 + x1352 <= 0 e994: - x384 + x1353 <= 0 e995: - x200 + x1354 <= 0 e996: - x208 + x1355 <= 0 e997: - x216 + x1356 <= 0 e998: - x224 + x1357 <= 0 e999: - x232 + x1358 <= 0 e1000: - x240 + x1359 <= 0 e1001: - x248 + x1360 <= 0 e1002: - x256 + x1361 <= 0 e1003: - x264 + x1362 <= 0 e1004: - x272 + x1363 <= 0 e1005: - x280 + x1364 <= 0 e1006: - x288 + x1365 <= 0 e1007: - x296 + x1366 <= 0 e1008: - x304 + x1367 <= 0 e1009: - x312 + x1368 <= 0 e1010: - x320 + x1369 <= 0 e1011: - x328 + x1370 <= 0 e1012: - x336 + x1371 <= 0 e1013: - x344 + x1372 <= 0 e1014: - x352 + x1373 <= 0 e1015: - x360 + x1374 <= 0 e1016: - x368 + x1375 <= 0 e1017: - x376 + x1376 <= 0 e1018: - x384 + x1377 <= 0 e1019: - x200 + x1378 <= 0 e1020: - x208 + x1379 <= 0 e1021: - x216 + x1380 <= 0 e1022: - x224 + x1381 <= 0 e1023: - x232 + x1382 <= 0 e1024: - x240 + x1383 <= 0 e1025: - x248 + x1384 <= 0 e1026: - x256 + x1385 <= 0 e1027: - x264 + x1386 <= 0 e1028: - x272 + x1387 <= 0 e1029: - x280 + x1388 <= 0 e1030: - x288 + x1389 <= 0 e1031: - x296 + x1390 <= 0 e1032: - x304 + x1391 <= 0 e1033: - x312 + x1392 <= 0 e1034: - x320 + x1393 <= 0 e1035: - x328 + x1394 <= 0 e1036: - x336 + x1395 <= 0 e1037: - x344 + x1396 <= 0 e1038: - x352 + x1397 <= 0 e1039: - x360 + x1398 <= 0 e1040: - x368 + x1399 <= 0 e1041: - x376 + x1400 <= 0 e1042: - x384 + x1401 <= 0 e1043: - x200 + x1402 <= 0 e1044: - x208 + x1403 <= 0 e1045: - x216 + x1404 <= 0 e1046: - x224 + x1405 <= 0 e1047: - x232 + x1406 <= 0 e1048: - x240 + x1407 <= 0 e1049: - x248 + x1408 <= 0 e1050: - x256 + x1409 <= 0 e1051: - x264 + x1410 <= 0 e1052: - x272 + x1411 <= 0 e1053: - x280 + x1412 <= 0 e1054: - x288 + x1413 <= 0 e1055: - x296 + x1414 <= 0 e1056: - x304 + x1415 <= 0 e1057: - x312 + x1416 <= 0 e1058: - x320 + x1417 <= 0 e1059: - x328 + x1418 <= 0 e1060: - x336 + x1419 <= 0 e1061: - x344 + x1420 <= 0 e1062: - x352 + x1421 <= 0 e1063: - x360 + x1422 <= 0 e1064: - x368 + x1423 <= 0 e1065: - x376 + x1424 <= 0 e1066: - x384 + x1425 <= 0 e1067: - x200 + x1426 <= 0 e1068: - x208 + x1427 <= 0 e1069: - x216 + x1428 <= 0 e1070: - x224 + x1429 <= 0 e1071: - x232 + x1430 <= 0 e1072: - x240 + x1431 <= 0 e1073: - x248 + x1432 <= 0 e1074: - x256 + x1433 <= 0 e1075: - x264 + x1434 <= 0 e1076: - x272 + x1435 <= 0 e1077: - x280 + x1436 <= 0 e1078: - x288 + x1437 <= 0 e1079: - x296 + x1438 <= 0 e1080: - x304 + x1439 <= 0 e1081: - x312 + x1440 <= 0 e1082: - x320 + x1441 <= 0 e1083: - x328 + x1442 <= 0 e1084: - x336 + x1443 <= 0 e1085: - x344 + x1444 <= 0 e1086: - x352 + x1445 <= 0 e1087: - x360 + x1446 <= 0 e1088: - x368 + x1447 <= 0 e1089: - x376 + x1448 <= 0 e1090: - x384 + x1449 <= 0 e1091: - x200 + x1450 <= 0 e1092: - x208 + x1451 <= 0 e1093: - x216 + x1452 <= 0 e1094: - x224 + x1453 <= 0 e1095: - x232 + x1454 <= 0 e1096: - x240 + x1455 <= 0 e1097: - x248 + x1456 <= 0 e1098: - x256 + x1457 <= 0 e1099: - x264 + x1458 <= 0 e1100: - x272 + x1459 <= 0 e1101: - x280 + x1460 <= 0 e1102: - x288 + x1461 <= 0 e1103: - x296 + x1462 <= 0 e1104: - x304 + x1463 <= 0 e1105: - x312 + x1464 <= 0 e1106: - x320 + x1465 <= 0 e1107: - x328 + x1466 <= 0 e1108: - x336 + x1467 <= 0 e1109: - x344 + x1468 <= 0 e1110: - x352 + x1469 <= 0 e1111: - x360 + x1470 <= 0 e1112: - x368 + x1471 <= 0 e1113: - x376 + x1472 <= 0 e1114: - x384 + x1473 <= 0 e1115: - x200 + x1474 <= 0 e1116: - x208 + x1475 <= 0 e1117: - x216 + x1476 <= 0 e1118: - x224 + x1477 <= 0 e1119: - x232 + x1478 <= 0 e1120: - x240 + x1479 <= 0 e1121: - x248 + x1480 <= 0 e1122: - x256 + x1481 <= 0 e1123: - x264 + x1482 <= 0 e1124: - x272 + x1483 <= 0 e1125: - x280 + x1484 <= 0 e1126: - x288 + x1485 <= 0 e1127: - x296 + x1486 <= 0 e1128: - x304 + x1487 <= 0 e1129: - x312 + x1488 <= 0 e1130: - x320 + x1489 <= 0 e1131: - x328 + x1490 <= 0 e1132: - x336 + x1491 <= 0 e1133: - x344 + x1492 <= 0 e1134: - x352 + x1493 <= 0 e1135: - x360 + x1494 <= 0 e1136: - x368 + x1495 <= 0 e1137: - x376 + x1496 <= 0 e1138: - x384 + x1497 <= 0 e1139: - x200 + x1498 <= 0 e1140: - x208 + x1499 <= 0 e1141: - x216 + x1500 <= 0 e1142: - x224 + x1501 <= 0 e1143: - x232 + x1502 <= 0 e1144: - x240 + x1503 <= 0 e1145: - x248 + x1504 <= 0 e1146: - x256 + x1505 <= 0 e1147: - x264 + x1506 <= 0 e1148: - x272 + x1507 <= 0 e1149: - x280 + x1508 <= 0 e1150: - x288 + x1509 <= 0 e1151: - x296 + x1510 <= 0 e1152: - x304 + x1511 <= 0 e1153: - x312 + x1512 <= 0 e1154: - x320 + x1513 <= 0 e1155: - x328 + x1514 <= 0 e1156: - x336 + x1515 <= 0 e1157: - x344 + x1516 <= 0 e1158: - x352 + x1517 <= 0 e1159: - x360 + x1518 <= 0 e1160: - x368 + x1519 <= 0 e1161: - x376 + x1520 <= 0 e1162: - x384 + x1521 <= 0 e1163: - x200 + x1522 <= 0 e1164: - x208 + x1523 <= 0 e1165: - x216 + x1524 <= 0 e1166: - x224 + x1525 <= 0 e1167: - x232 + x1526 <= 0 e1168: - x240 + x1527 <= 0 e1169: - x248 + x1528 <= 0 e1170: - x256 + x1529 <= 0 e1171: - x264 + x1530 <= 0 e1172: - x272 + x1531 <= 0 e1173: - x280 + x1532 <= 0 e1174: - x288 + x1533 <= 0 e1175: - x296 + x1534 <= 0 e1176: - x304 + x1535 <= 0 e1177: - x312 + x1536 <= 0 e1178: - x320 + x1537 <= 0 e1179: - x328 + x1538 <= 0 e1180: - x336 + x1539 <= 0 e1181: - x344 + x1540 <= 0 e1182: - x352 + x1541 <= 0 e1183: - x360 + x1542 <= 0 e1184: - x368 + x1543 <= 0 e1185: - x376 + x1544 <= 0 e1186: - x384 + x1545 <= 0 e1187: - x200 + x1546 <= 0 e1188: - x208 + x1547 <= 0 e1189: - x216 + x1548 <= 0 e1190: - x224 + x1549 <= 0 e1191: - x232 + x1550 <= 0 e1192: - x240 + x1551 <= 0 e1193: - x248 + x1552 <= 0 e1194: - x256 + x1553 <= 0 e1195: - x264 + x1554 <= 0 e1196: - x272 + x1555 <= 0 e1197: - x280 + x1556 <= 0 e1198: - x288 + x1557 <= 0 e1199: - x296 + x1558 <= 0 e1200: - x304 + x1559 <= 0 e1201: - x312 + x1560 <= 0 e1202: - x320 + x1561 <= 0 e1203: - x328 + x1562 <= 0 e1204: - x336 + x1563 <= 0 e1205: - x344 + x1564 <= 0 e1206: - x352 + x1565 <= 0 e1207: - x360 + x1566 <= 0 e1208: - x368 + x1567 <= 0 e1209: - x376 + x1568 <= 0 e1210: - x384 + x1569 <= 0 e1211: - 1.2 b417 + x994 <= 0 e1212: - 1.2 b418 + x995 <= 0 e1213: - 1.2 b419 + x996 <= 0 e1214: - 1.2 b420 + x997 <= 0 e1215: - 1.2 b421 + x998 <= 0 e1216: - 1.2 b422 + x999 <= 0 e1217: - 1.2 b423 + x1000 <= 0 e1218: - 1.2 b424 + x1001 <= 0 e1219: - 1.2 b425 + x1002 <= 0 e1220: - 1.2 b426 + x1003 <= 0 e1221: - 1.2 b427 + x1004 <= 0 e1222: - 1.2 b428 + x1005 <= 0 e1223: - 1.2 b429 + x1006 <= 0 e1224: - 1.2 b430 + x1007 <= 0 e1225: - 1.2 b431 + x1008 <= 0 e1226: - 1.2 b432 + x1009 <= 0 e1227: - 1.2 b433 + x1010 <= 0 e1228: - 1.2 b434 + x1011 <= 0 e1229: - 1.2 b435 + x1012 <= 0 e1230: - 1.2 b436 + x1013 <= 0 e1231: - 1.2 b437 + x1014 <= 0 e1232: - 1.2 b438 + x1015 <= 0 e1233: - 1.2 b439 + x1016 <= 0 e1234: - 1.2 b440 + x1017 <= 0 e1235: - 1.2 b441 + x1018 <= 0 e1236: - 1.2 b442 + x1019 <= 0 e1237: - 1.2 b443 + x1020 <= 0 e1238: - 1.2 b444 + x1021 <= 0 e1239: - 1.2 b445 + x1022 <= 0 e1240: - 1.2 b446 + x1023 <= 0 e1241: - 1.2 b447 + x1024 <= 0 e1242: - 1.2 b448 + x1025 <= 0 e1243: - 1.2 b449 + x1026 <= 0 e1244: - 1.2 b450 + x1027 <= 0 e1245: - 1.2 b451 + x1028 <= 0 e1246: - 1.2 b452 + x1029 <= 0 e1247: - 1.2 b453 + x1030 <= 0 e1248: - 1.2 b454 + x1031 <= 0 e1249: - 1.2 b455 + x1032 <= 0 e1250: - 1.2 b456 + x1033 <= 0 e1251: - 1.2 b457 + x1034 <= 0 e1252: - 1.2 b458 + x1035 <= 0 e1253: - 1.2 b459 + x1036 <= 0 e1254: - 1.2 b460 + x1037 <= 0 e1255: - 1.2 b461 + x1038 <= 0 e1256: - 1.2 b462 + x1039 <= 0 e1257: - 1.2 b463 + x1040 <= 0 e1258: - 1.2 b464 + x1041 <= 0 e1259: - 1.2 b465 + x1042 <= 0 e1260: - 1.2 b466 + x1043 <= 0 e1261: - 1.2 b467 + x1044 <= 0 e1262: - 1.2 b468 + x1045 <= 0 e1263: - 1.2 b469 + x1046 <= 0 e1264: - 1.2 b470 + x1047 <= 0 e1265: - 1.2 b471 + x1048 <= 0 e1266: - 1.2 b472 + x1049 <= 0 e1267: - 1.2 b473 + x1050 <= 0 e1268: - 1.2 b474 + x1051 <= 0 e1269: - 1.2 b475 + x1052 <= 0 e1270: - 1.2 b476 + x1053 <= 0 e1271: - 1.2 b477 + x1054 <= 0 e1272: - 1.2 b478 + x1055 <= 0 e1273: - 1.2 b479 + x1056 <= 0 e1274: - 1.2 b480 + x1057 <= 0 e1275: - 1.2 b481 + x1058 <= 0 e1276: - 1.2 b482 + x1059 <= 0 e1277: - 1.2 b483 + x1060 <= 0 e1278: - 1.2 b484 + x1061 <= 0 e1279: - 1.2 b485 + x1062 <= 0 e1280: - 1.2 b486 + x1063 <= 0 e1281: - 1.2 b487 + x1064 <= 0 e1282: - 1.2 b488 + x1065 <= 0 e1283: - 1.2 b489 + x1066 <= 0 e1284: - 1.2 b490 + x1067 <= 0 e1285: - 1.2 b491 + x1068 <= 0 e1286: - 1.2 b492 + x1069 <= 0 e1287: - 1.2 b493 + x1070 <= 0 e1288: - 1.2 b494 + x1071 <= 0 e1289: - 1.2 b495 + x1072 <= 0 e1290: - 1.2 b496 + x1073 <= 0 e1291: - 1.2 b497 + x1074 <= 0 e1292: - 1.2 b498 + x1075 <= 0 e1293: - 1.2 b499 + x1076 <= 0 e1294: - 1.2 b500 + x1077 <= 0 e1295: - 1.2 b501 + x1078 <= 0 e1296: - 1.2 b502 + x1079 <= 0 e1297: - 1.2 b503 + x1080 <= 0 e1298: - 1.2 b504 + x1081 <= 0 e1299: - 1.2 b505 + x1082 <= 0 e1300: - 1.2 b506 + x1083 <= 0 e1301: - 1.2 b507 + x1084 <= 0 e1302: - 1.2 b508 + x1085 <= 0 e1303: - 1.2 b509 + x1086 <= 0 e1304: - 1.2 b510 + x1087 <= 0 e1305: - 1.2 b511 + x1088 <= 0 e1306: - 1.2 b512 + x1089 <= 0 e1307: - 1.2 b513 + x1090 <= 0 e1308: - 1.2 b514 + x1091 <= 0 e1309: - 1.2 b515 + x1092 <= 0 e1310: - 1.2 b516 + x1093 <= 0 e1311: - 1.2 b517 + x1094 <= 0 e1312: - 1.2 b518 + x1095 <= 0 e1313: - 1.2 b519 + x1096 <= 0 e1314: - 1.2 b520 + x1097 <= 0 e1315: - 1.2 b521 + x1098 <= 0 e1316: - 1.2 b522 + x1099 <= 0 e1317: - 1.2 b523 + x1100 <= 0 e1318: - 1.2 b524 + x1101 <= 0 e1319: - 1.2 b525 + x1102 <= 0 e1320: - 1.2 b526 + x1103 <= 0 e1321: - 1.2 b527 + x1104 <= 0 e1322: - 1.2 b528 + x1105 <= 0 e1323: - 1.2 b529 + x1106 <= 0 e1324: - 1.2 b530 + x1107 <= 0 e1325: - 1.2 b531 + x1108 <= 0 e1326: - 1.2 b532 + x1109 <= 0 e1327: - 1.2 b533 + x1110 <= 0 e1328: - 1.2 b534 + x1111 <= 0 e1329: - 1.2 b535 + x1112 <= 0 e1330: - 1.2 b536 + x1113 <= 0 e1331: - 1.2 b537 + x1114 <= 0 e1332: - 1.2 b538 + x1115 <= 0 e1333: - 1.2 b539 + x1116 <= 0 e1334: - 1.2 b540 + x1117 <= 0 e1335: - 1.2 b541 + x1118 <= 0 e1336: - 1.2 b542 + x1119 <= 0 e1337: - 1.2 b543 + x1120 <= 0 e1338: - 1.2 b544 + x1121 <= 0 e1339: - 1.2 b545 + x1122 <= 0 e1340: - 1.2 b546 + x1123 <= 0 e1341: - 1.2 b547 + x1124 <= 0 e1342: - 1.2 b548 + x1125 <= 0 e1343: - 1.2 b549 + x1126 <= 0 e1344: - 1.2 b550 + x1127 <= 0 e1345: - 1.2 b551 + x1128 <= 0 e1346: - 1.2 b552 + x1129 <= 0 e1347: - 1.2 b553 + x1130 <= 0 e1348: - 1.2 b554 + x1131 <= 0 e1349: - 1.2 b555 + x1132 <= 0 e1350: - 1.2 b556 + x1133 <= 0 e1351: - 1.2 b557 + x1134 <= 0 e1352: - 1.2 b558 + x1135 <= 0 e1353: - 1.2 b559 + x1136 <= 0 e1354: - 1.2 b560 + x1137 <= 0 e1355: - 1.2 b561 + x1138 <= 0 e1356: - 1.2 b562 + x1139 <= 0 e1357: - 1.2 b563 + x1140 <= 0 e1358: - 1.2 b564 + x1141 <= 0 e1359: - 1.2 b565 + x1142 <= 0 e1360: - 1.2 b566 + x1143 <= 0 e1361: - 1.2 b567 + x1144 <= 0 e1362: - 1.2 b568 + x1145 <= 0 e1363: - 1.2 b569 + x1146 <= 0 e1364: - 1.2 b570 + x1147 <= 0 e1365: - 1.2 b571 + x1148 <= 0 e1366: - 1.2 b572 + x1149 <= 0 e1367: - 1.2 b573 + x1150 <= 0 e1368: - 1.2 b574 + x1151 <= 0 e1369: - 1.2 b575 + x1152 <= 0 e1370: - 1.2 b576 + x1153 <= 0 e1371: - 1.2 b577 + x1154 <= 0 e1372: - 1.2 b578 + x1155 <= 0 e1373: - 1.2 b579 + x1156 <= 0 e1374: - 1.2 b580 + x1157 <= 0 e1375: - 1.2 b581 + x1158 <= 0 e1376: - 1.2 b582 + x1159 <= 0 e1377: - 1.2 b583 + x1160 <= 0 e1378: - 1.2 b584 + x1161 <= 0 e1379: - 1.2 b585 + x1162 <= 0 e1380: - 1.2 b586 + x1163 <= 0 e1381: - 1.2 b587 + x1164 <= 0 e1382: - 1.2 b588 + x1165 <= 0 e1383: - 1.2 b589 + x1166 <= 0 e1384: - 1.2 b590 + x1167 <= 0 e1385: - 1.2 b591 + x1168 <= 0 e1386: - 1.2 b592 + x1169 <= 0 e1387: - 1.2 b593 + x1170 <= 0 e1388: - 1.2 b594 + x1171 <= 0 e1389: - 1.2 b595 + x1172 <= 0 e1390: - 1.2 b596 + x1173 <= 0 e1391: - 1.2 b597 + x1174 <= 0 e1392: - 1.2 b598 + x1175 <= 0 e1393: - 1.2 b599 + x1176 <= 0 e1394: - 1.2 b600 + x1177 <= 0 e1395: - 1.2 b601 + x1178 <= 0 e1396: - 1.2 b602 + x1179 <= 0 e1397: - 1.2 b603 + x1180 <= 0 e1398: - 1.2 b604 + x1181 <= 0 e1399: - 1.2 b605 + x1182 <= 0 e1400: - 1.2 b606 + x1183 <= 0 e1401: - 1.2 b607 + x1184 <= 0 e1402: - 1.2 b608 + x1185 <= 0 e1403: - 1.2 b609 + x1186 <= 0 e1404: - 1.2 b610 + x1187 <= 0 e1405: - 1.2 b611 + x1188 <= 0 e1406: - 1.2 b612 + x1189 <= 0 e1407: - 1.2 b613 + x1190 <= 0 e1408: - 1.2 b614 + x1191 <= 0 e1409: - 1.2 b615 + x1192 <= 0 e1410: - 1.2 b616 + x1193 <= 0 e1411: - 1.2 b617 + x1194 <= 0 e1412: - 1.2 b618 + x1195 <= 0 e1413: - 1.2 b619 + x1196 <= 0 e1414: - 1.2 b620 + x1197 <= 0 e1415: - 1.2 b621 + x1198 <= 0 e1416: - 1.2 b622 + x1199 <= 0 e1417: - 1.2 b623 + x1200 <= 0 e1418: - 1.2 b624 + x1201 <= 0 e1419: - 1.2 b625 + x1202 <= 0 e1420: - 1.2 b626 + x1203 <= 0 e1421: - 1.2 b627 + x1204 <= 0 e1422: - 1.2 b628 + x1205 <= 0 e1423: - 1.2 b629 + x1206 <= 0 e1424: - 1.2 b630 + x1207 <= 0 e1425: - 1.2 b631 + x1208 <= 0 e1426: - 1.2 b632 + x1209 <= 0 e1427: - 1.2 b633 + x1210 <= 0 e1428: - 1.2 b634 + x1211 <= 0 e1429: - 1.2 b635 + x1212 <= 0 e1430: - 1.2 b636 + x1213 <= 0 e1431: - 1.2 b637 + x1214 <= 0 e1432: - 1.2 b638 + x1215 <= 0 e1433: - 1.2 b639 + x1216 <= 0 e1434: - 1.2 b640 + x1217 <= 0 e1435: - 1.2 b641 + x1218 <= 0 e1436: - 1.2 b642 + x1219 <= 0 e1437: - 1.2 b643 + x1220 <= 0 e1438: - 1.2 b644 + x1221 <= 0 e1439: - 1.2 b645 + x1222 <= 0 e1440: - 1.2 b646 + x1223 <= 0 e1441: - 1.2 b647 + x1224 <= 0 e1442: - 1.2 b648 + x1225 <= 0 e1443: - 1.2 b649 + x1226 <= 0 e1444: - 1.2 b650 + x1227 <= 0 e1445: - 1.2 b651 + x1228 <= 0 e1446: - 1.2 b652 + x1229 <= 0 e1447: - 1.2 b653 + x1230 <= 0 e1448: - 1.2 b654 + x1231 <= 0 e1449: - 1.2 b655 + x1232 <= 0 e1450: - 1.2 b656 + x1233 <= 0 e1451: - 1.2 b657 + x1234 <= 0 e1452: - 1.2 b658 + x1235 <= 0 e1453: - 1.2 b659 + x1236 <= 0 e1454: - 1.2 b660 + x1237 <= 0 e1455: - 1.2 b661 + x1238 <= 0 e1456: - 1.2 b662 + x1239 <= 0 e1457: - 1.2 b663 + x1240 <= 0 e1458: - 1.2 b664 + x1241 <= 0 e1459: - 1.2 b665 + x1242 <= 0 e1460: - 1.2 b666 + x1243 <= 0 e1461: - 1.2 b667 + x1244 <= 0 e1462: - 1.2 b668 + x1245 <= 0 e1463: - 1.2 b669 + x1246 <= 0 e1464: - 1.2 b670 + x1247 <= 0 e1465: - 1.2 b671 + x1248 <= 0 e1466: - 1.2 b672 + x1249 <= 0 e1467: - 1.2 b673 + x1250 <= 0 e1468: - 1.2 b674 + x1251 <= 0 e1469: - 1.2 b675 + x1252 <= 0 e1470: - 1.2 b676 + x1253 <= 0 e1471: - 1.2 b677 + x1254 <= 0 e1472: - 1.2 b678 + x1255 <= 0 e1473: - 1.2 b679 + x1256 <= 0 e1474: - 1.2 b680 + x1257 <= 0 e1475: - 1.2 b681 + x1258 <= 0 e1476: - 1.2 b682 + x1259 <= 0 e1477: - 1.2 b683 + x1260 <= 0 e1478: - 1.2 b684 + x1261 <= 0 e1479: - 1.2 b685 + x1262 <= 0 e1480: - 1.2 b686 + x1263 <= 0 e1481: - 1.2 b687 + x1264 <= 0 e1482: - 1.2 b688 + x1265 <= 0 e1483: - 1.2 b689 + x1266 <= 0 e1484: - 1.2 b690 + x1267 <= 0 e1485: - 1.2 b691 + x1268 <= 0 e1486: - 1.2 b692 + x1269 <= 0 e1487: - 1.2 b693 + x1270 <= 0 e1488: - 1.2 b694 + x1271 <= 0 e1489: - 1.2 b695 + x1272 <= 0 e1490: - 1.2 b696 + x1273 <= 0 e1491: - 1.2 b697 + x1274 <= 0 e1492: - 1.2 b698 + x1275 <= 0 e1493: - 1.2 b699 + x1276 <= 0 e1494: - 1.2 b700 + x1277 <= 0 e1495: - 1.2 b701 + x1278 <= 0 e1496: - 1.2 b702 + x1279 <= 0 e1497: - 1.2 b703 + x1280 <= 0 e1498: - 1.2 b704 + x1281 <= 0 e1499: - 1.2 b705 + x1282 <= 0 e1500: - 1.2 b706 + x1283 <= 0 e1501: - 1.2 b707 + x1284 <= 0 e1502: - 1.2 b708 + x1285 <= 0 e1503: - 1.2 b709 + x1286 <= 0 e1504: - 1.2 b710 + x1287 <= 0 e1505: - 1.2 b711 + x1288 <= 0 e1506: - 1.2 b712 + x1289 <= 0 e1507: - 1.2 b713 + x1290 <= 0 e1508: - 1.2 b714 + x1291 <= 0 e1509: - 1.2 b715 + x1292 <= 0 e1510: - 1.2 b716 + x1293 <= 0 e1511: - 1.2 b717 + x1294 <= 0 e1512: - 1.2 b718 + x1295 <= 0 e1513: - 1.2 b719 + x1296 <= 0 e1514: - 1.2 b720 + x1297 <= 0 e1515: - 1.2 b721 + x1298 <= 0 e1516: - 1.2 b722 + x1299 <= 0 e1517: - 1.2 b723 + x1300 <= 0 e1518: - 1.2 b724 + x1301 <= 0 e1519: - 1.2 b725 + x1302 <= 0 e1520: - 1.2 b726 + x1303 <= 0 e1521: - 1.2 b727 + x1304 <= 0 e1522: - 1.2 b728 + x1305 <= 0 e1523: - 1.2 b729 + x1306 <= 0 e1524: - 1.2 b730 + x1307 <= 0 e1525: - 1.2 b731 + x1308 <= 0 e1526: - 1.2 b732 + x1309 <= 0 e1527: - 1.2 b733 + x1310 <= 0 e1528: - 1.2 b734 + x1311 <= 0 e1529: - 1.2 b735 + x1312 <= 0 e1530: - 1.2 b736 + x1313 <= 0 e1531: - 1.2 b737 + x1314 <= 0 e1532: - 1.2 b738 + x1315 <= 0 e1533: - 1.2 b739 + x1316 <= 0 e1534: - 1.2 b740 + x1317 <= 0 e1535: - 1.2 b741 + x1318 <= 0 e1536: - 1.2 b742 + x1319 <= 0 e1537: - 1.2 b743 + x1320 <= 0 e1538: - 1.2 b744 + x1321 <= 0 e1539: - 1.2 b745 + x1322 <= 0 e1540: - 1.2 b746 + x1323 <= 0 e1541: - 1.2 b747 + x1324 <= 0 e1542: - 1.2 b748 + x1325 <= 0 e1543: - 1.2 b749 + x1326 <= 0 e1544: - 1.2 b750 + x1327 <= 0 e1545: - 1.2 b751 + x1328 <= 0 e1546: - 1.2 b752 + x1329 <= 0 e1547: - 1.2 b753 + x1330 <= 0 e1548: - 1.2 b754 + x1331 <= 0 e1549: - 1.2 b755 + x1332 <= 0 e1550: - 1.2 b756 + x1333 <= 0 e1551: - 1.2 b757 + x1334 <= 0 e1552: - 1.2 b758 + x1335 <= 0 e1553: - 1.2 b759 + x1336 <= 0 e1554: - 1.2 b760 + x1337 <= 0 e1555: - 1.2 b761 + x1338 <= 0 e1556: - 1.2 b762 + x1339 <= 0 e1557: - 1.2 b763 + x1340 <= 0 e1558: - 1.2 b764 + x1341 <= 0 e1559: - 1.2 b765 + x1342 <= 0 e1560: - 1.2 b766 + x1343 <= 0 e1561: - 1.2 b767 + x1344 <= 0 e1562: - 1.2 b768 + x1345 <= 0 e1563: - 1.2 b769 + x1346 <= 0 e1564: - 1.2 b770 + x1347 <= 0 e1565: - 1.2 b771 + x1348 <= 0 e1566: - 1.2 b772 + x1349 <= 0 e1567: - 1.2 b773 + x1350 <= 0 e1568: - 1.2 b774 + x1351 <= 0 e1569: - 1.2 b775 + x1352 <= 0 e1570: - 1.2 b776 + x1353 <= 0 e1571: - 1.2 b777 + x1354 <= 0 e1572: - 1.2 b778 + x1355 <= 0 e1573: - 1.2 b779 + x1356 <= 0 e1574: - 1.2 b780 + x1357 <= 0 e1575: - 1.2 b781 + x1358 <= 0 e1576: - 1.2 b782 + x1359 <= 0 e1577: - 1.2 b783 + x1360 <= 0 e1578: - 1.2 b784 + x1361 <= 0 e1579: - 1.2 b785 + x1362 <= 0 e1580: - 1.2 b786 + x1363 <= 0 e1581: - 1.2 b787 + x1364 <= 0 e1582: - 1.2 b788 + x1365 <= 0 e1583: - 1.2 b789 + x1366 <= 0 e1584: - 1.2 b790 + x1367 <= 0 e1585: - 1.2 b791 + x1368 <= 0 e1586: - 1.2 b792 + x1369 <= 0 e1587: - 1.2 b793 + x1370 <= 0 e1588: - 1.2 b794 + x1371 <= 0 e1589: - 1.2 b795 + x1372 <= 0 e1590: - 1.2 b796 + x1373 <= 0 e1591: - 1.2 b797 + x1374 <= 0 e1592: - 1.2 b798 + x1375 <= 0 e1593: - 1.2 b799 + x1376 <= 0 e1594: - 1.2 b800 + x1377 <= 0 e1595: - 1.2 b801 + x1378 <= 0 e1596: - 1.2 b802 + x1379 <= 0 e1597: - 1.2 b803 + x1380 <= 0 e1598: - 1.2 b804 + x1381 <= 0 e1599: - 1.2 b805 + x1382 <= 0 e1600: - 1.2 b806 + x1383 <= 0 e1601: - 1.2 b807 + x1384 <= 0 e1602: - 1.2 b808 + x1385 <= 0 e1603: - 1.2 b809 + x1386 <= 0 e1604: - 1.2 b810 + x1387 <= 0 e1605: - 1.2 b811 + x1388 <= 0 e1606: - 1.2 b812 + x1389 <= 0 e1607: - 1.2 b813 + x1390 <= 0 e1608: - 1.2 b814 + x1391 <= 0 e1609: - 1.2 b815 + x1392 <= 0 e1610: - 1.2 b816 + x1393 <= 0 e1611: - 1.2 b817 + x1394 <= 0 e1612: - 1.2 b818 + x1395 <= 0 e1613: - 1.2 b819 + x1396 <= 0 e1614: - 1.2 b820 + x1397 <= 0 e1615: - 1.2 b821 + x1398 <= 0 e1616: - 1.2 b822 + x1399 <= 0 e1617: - 1.2 b823 + x1400 <= 0 e1618: - 1.2 b824 + x1401 <= 0 e1619: - 1.2 b825 + x1402 <= 0 e1620: - 1.2 b826 + x1403 <= 0 e1621: - 1.2 b827 + x1404 <= 0 e1622: - 1.2 b828 + x1405 <= 0 e1623: - 1.2 b829 + x1406 <= 0 e1624: - 1.2 b830 + x1407 <= 0 e1625: - 1.2 b831 + x1408 <= 0 e1626: - 1.2 b832 + x1409 <= 0 e1627: - 1.2 b833 + x1410 <= 0 e1628: - 1.2 b834 + x1411 <= 0 e1629: - 1.2 b835 + x1412 <= 0 e1630: - 1.2 b836 + x1413 <= 0 e1631: - 1.2 b837 + x1414 <= 0 e1632: - 1.2 b838 + x1415 <= 0 e1633: - 1.2 b839 + x1416 <= 0 e1634: - 1.2 b840 + x1417 <= 0 e1635: - 1.2 b841 + x1418 <= 0 e1636: - 1.2 b842 + x1419 <= 0 e1637: - 1.2 b843 + x1420 <= 0 e1638: - 1.2 b844 + x1421 <= 0 e1639: - 1.2 b845 + x1422 <= 0 e1640: - 1.2 b846 + x1423 <= 0 e1641: - 1.2 b847 + x1424 <= 0 e1642: - 1.2 b848 + x1425 <= 0 e1643: - 1.2 b849 + x1426 <= 0 e1644: - 1.2 b850 + x1427 <= 0 e1645: - 1.2 b851 + x1428 <= 0 e1646: - 1.2 b852 + x1429 <= 0 e1647: - 1.2 b853 + x1430 <= 0 e1648: - 1.2 b854 + x1431 <= 0 e1649: - 1.2 b855 + x1432 <= 0 e1650: - 1.2 b856 + x1433 <= 0 e1651: - 1.2 b857 + x1434 <= 0 e1652: - 1.2 b858 + x1435 <= 0 e1653: - 1.2 b859 + x1436 <= 0 e1654: - 1.2 b860 + x1437 <= 0 e1655: - 1.2 b861 + x1438 <= 0 e1656: - 1.2 b862 + x1439 <= 0 e1657: - 1.2 b863 + x1440 <= 0 e1658: - 1.2 b864 + x1441 <= 0 e1659: - 1.2 b865 + x1442 <= 0 e1660: - 1.2 b866 + x1443 <= 0 e1661: - 1.2 b867 + x1444 <= 0 e1662: - 1.2 b868 + x1445 <= 0 e1663: - 1.2 b869 + x1446 <= 0 e1664: - 1.2 b870 + x1447 <= 0 e1665: - 1.2 b871 + x1448 <= 0 e1666: - 1.2 b872 + x1449 <= 0 e1667: - 1.2 b873 + x1450 <= 0 e1668: - 1.2 b874 + x1451 <= 0 e1669: - 1.2 b875 + x1452 <= 0 e1670: - 1.2 b876 + x1453 <= 0 e1671: - 1.2 b877 + x1454 <= 0 e1672: - 1.2 b878 + x1455 <= 0 e1673: - 1.2 b879 + x1456 <= 0 e1674: - 1.2 b880 + x1457 <= 0 e1675: - 1.2 b881 + x1458 <= 0 e1676: - 1.2 b882 + x1459 <= 0 e1677: - 1.2 b883 + x1460 <= 0 e1678: - 1.2 b884 + x1461 <= 0 e1679: - 1.2 b885 + x1462 <= 0 e1680: - 1.2 b886 + x1463 <= 0 e1681: - 1.2 b887 + x1464 <= 0 e1682: - 1.2 b888 + x1465 <= 0 e1683: - 1.2 b889 + x1466 <= 0 e1684: - 1.2 b890 + x1467 <= 0 e1685: - 1.2 b891 + x1468 <= 0 e1686: - 1.2 b892 + x1469 <= 0 e1687: - 1.2 b893 + x1470 <= 0 e1688: - 1.2 b894 + x1471 <= 0 e1689: - 1.2 b895 + x1472 <= 0 e1690: - 1.2 b896 + x1473 <= 0 e1691: - 1.2 b897 + x1474 <= 0 e1692: - 1.2 b898 + x1475 <= 0 e1693: - 1.2 b899 + x1476 <= 0 e1694: - 1.2 b900 + x1477 <= 0 e1695: - 1.2 b901 + x1478 <= 0 e1696: - 1.2 b902 + x1479 <= 0 e1697: - 1.2 b903 + x1480 <= 0 e1698: - 1.2 b904 + x1481 <= 0 e1699: - 1.2 b905 + x1482 <= 0 e1700: - 1.2 b906 + x1483 <= 0 e1701: - 1.2 b907 + x1484 <= 0 e1702: - 1.2 b908 + x1485 <= 0 e1703: - 1.2 b909 + x1486 <= 0 e1704: - 1.2 b910 + x1487 <= 0 e1705: - 1.2 b911 + x1488 <= 0 e1706: - 1.2 b912 + x1489 <= 0 e1707: - 1.2 b913 + x1490 <= 0 e1708: - 1.2 b914 + x1491 <= 0 e1709: - 1.2 b915 + x1492 <= 0 e1710: - 1.2 b916 + x1493 <= 0 e1711: - 1.2 b917 + x1494 <= 0 e1712: - 1.2 b918 + x1495 <= 0 e1713: - 1.2 b919 + x1496 <= 0 e1714: - 1.2 b920 + x1497 <= 0 e1715: - 1.2 b921 + x1498 <= 0 e1716: - 1.2 b922 + x1499 <= 0 e1717: - 1.2 b923 + x1500 <= 0 e1718: - 1.2 b924 + x1501 <= 0 e1719: - 1.2 b925 + x1502 <= 0 e1720: - 1.2 b926 + x1503 <= 0 e1721: - 1.2 b927 + x1504 <= 0 e1722: - 1.2 b928 + x1505 <= 0 e1723: - 1.2 b929 + x1506 <= 0 e1724: - 1.2 b930 + x1507 <= 0 e1725: - 1.2 b931 + x1508 <= 0 e1726: - 1.2 b932 + x1509 <= 0 e1727: - 1.2 b933 + x1510 <= 0 e1728: - 1.2 b934 + x1511 <= 0 e1729: - 1.2 b935 + x1512 <= 0 e1730: - 1.2 b936 + x1513 <= 0 e1731: - 1.2 b937 + x1514 <= 0 e1732: - 1.2 b938 + x1515 <= 0 e1733: - 1.2 b939 + x1516 <= 0 e1734: - 1.2 b940 + x1517 <= 0 e1735: - 1.2 b941 + x1518 <= 0 e1736: - 1.2 b942 + x1519 <= 0 e1737: - 1.2 b943 + x1520 <= 0 e1738: - 1.2 b944 + x1521 <= 0 e1739: - 1.2 b945 + x1522 <= 0 e1740: - 1.2 b946 + x1523 <= 0 e1741: - 1.2 b947 + x1524 <= 0 e1742: - 1.2 b948 + x1525 <= 0 e1743: - 1.2 b949 + x1526 <= 0 e1744: - 1.2 b950 + x1527 <= 0 e1745: - 1.2 b951 + x1528 <= 0 e1746: - 1.2 b952 + x1529 <= 0 e1747: - 1.2 b953 + x1530 <= 0 e1748: - 1.2 b954 + x1531 <= 0 e1749: - 1.2 b955 + x1532 <= 0 e1750: - 1.2 b956 + x1533 <= 0 e1751: - 1.2 b957 + x1534 <= 0 e1752: - 1.2 b958 + x1535 <= 0 e1753: - 1.2 b959 + x1536 <= 0 e1754: - 1.2 b960 + x1537 <= 0 e1755: - 1.2 b961 + x1538 <= 0 e1756: - 1.2 b962 + x1539 <= 0 e1757: - 1.2 b963 + x1540 <= 0 e1758: - 1.2 b964 + x1541 <= 0 e1759: - 1.2 b965 + x1542 <= 0 e1760: - 1.2 b966 + x1543 <= 0 e1761: - 1.2 b967 + x1544 <= 0 e1762: - 1.2 b968 + x1545 <= 0 e1763: - 1.2 b969 + x1546 <= 0 e1764: - 1.2 b970 + x1547 <= 0 e1765: - 1.2 b971 + x1548 <= 0 e1766: - 1.2 b972 + x1549 <= 0 e1767: - 1.2 b973 + x1550 <= 0 e1768: - 1.2 b974 + x1551 <= 0 e1769: - 1.2 b975 + x1552 <= 0 e1770: - 1.2 b976 + x1553 <= 0 e1771: - 1.2 b977 + x1554 <= 0 e1772: - 1.2 b978 + x1555 <= 0 e1773: - 1.2 b979 + x1556 <= 0 e1774: - 1.2 b980 + x1557 <= 0 e1775: - 1.2 b981 + x1558 <= 0 e1776: - 1.2 b982 + x1559 <= 0 e1777: - 1.2 b983 + x1560 <= 0 e1778: - 1.2 b984 + x1561 <= 0 e1779: - 1.2 b985 + x1562 <= 0 e1780: - 1.2 b986 + x1563 <= 0 e1781: - 1.2 b987 + x1564 <= 0 e1782: - 1.2 b988 + x1565 <= 0 e1783: - 1.2 b989 + x1566 <= 0 e1784: - 1.2 b990 + x1567 <= 0 e1785: - 1.2 b991 + x1568 <= 0 e1786: - 1.2 b992 + x1569 <= 0 Bounds 3.47222222222222e-3 <= x1 3.47222222222222e-3 <= x2 3.47222222222222e-3 <= x3 3.47222222222222e-3 <= x4 3.47222222222222e-3 <= x5 3.47222222222222e-3 <= x6 3.47222222222222e-3 <= x7 3.47222222222222e-3 <= x8 3.47222222222222e-3 <= x9 3.47222222222222e-3 <= x10 3.47222222222222e-3 <= x11 3.47222222222222e-3 <= x12 3.47222222222222e-3 <= x13 3.47222222222222e-3 <= x14 3.47222222222222e-3 <= x15 3.47222222222222e-3 <= x16 3.47222222222222e-3 <= x17 3.47222222222222e-3 <= x18 3.47222222222222e-3 <= x19 3.47222222222222e-3 <= x20 3.47222222222222e-3 <= x21 3.47222222222222e-3 <= x22 3.47222222222222e-3 <= x23 3.47222222222222e-3 <= x24 3.47222222222222e-3 <= x25 3.47222222222222e-3 <= x26 3.47222222222222e-3 <= x27 3.47222222222222e-3 <= x28 3.47222222222222e-3 <= x29 3.47222222222222e-3 <= x30 3.47222222222222e-3 <= x31 3.47222222222222e-3 <= x32 3.47222222222222e-3 <= x33 3.47222222222222e-3 <= x34 3.47222222222222e-3 <= x35 3.47222222222222e-3 <= x36 3.47222222222222e-3 <= x37 3.47222222222222e-3 <= x38 3.47222222222222e-3 <= x39 3.47222222222222e-3 <= x40 3.47222222222222e-3 <= x41 3.47222222222222e-3 <= x42 3.47222222222222e-3 <= x43 3.47222222222222e-3 <= x44 3.47222222222222e-3 <= x45 3.47222222222222e-3 <= x46 3.47222222222222e-3 <= x47 3.47222222222222e-3 <= x48 3.47222222222222e-3 <= x49 3.47222222222222e-3 <= x50 3.47222222222222e-3 <= x51 3.47222222222222e-3 <= x52 3.47222222222222e-3 <= x53 3.47222222222222e-3 <= x54 3.47222222222222e-3 <= x55 3.47222222222222e-3 <= x56 3.47222222222222e-3 <= x57 3.47222222222222e-3 <= x58 3.47222222222222e-3 <= x59 3.47222222222222e-3 <= x60 3.47222222222222e-3 <= x61 3.47222222222222e-3 <= x62 3.47222222222222e-3 <= x63 3.47222222222222e-3 <= x64 3.47222222222222e-3 <= x65 3.47222222222222e-3 <= x66 3.47222222222222e-3 <= x67 3.47222222222222e-3 <= x68 3.47222222222222e-3 <= x69 3.47222222222222e-3 <= x70 3.47222222222222e-3 <= x71 3.47222222222222e-3 <= x72 3.47222222222222e-3 <= x73 3.47222222222222e-3 <= x74 3.47222222222222e-3 <= x75 3.47222222222222e-3 <= x76 3.47222222222222e-3 <= x77 3.47222222222222e-3 <= x78 3.47222222222222e-3 <= x79 3.47222222222222e-3 <= x80 3.47222222222222e-3 <= x81 3.47222222222222e-3 <= x82 3.47222222222222e-3 <= x83 3.47222222222222e-3 <= x84 3.47222222222222e-3 <= x85 3.47222222222222e-3 <= x86 3.47222222222222e-3 <= x87 3.47222222222222e-3 <= x88 3.47222222222222e-3 <= x89 3.47222222222222e-3 <= x90 3.47222222222222e-3 <= x91 3.47222222222222e-3 <= x92 3.47222222222222e-3 <= x93 3.47222222222222e-3 <= x94 3.47222222222222e-3 <= x95 3.47222222222222e-3 <= x96 3.47222222222222e-3 <= x97 3.47222222222222e-3 <= x98 3.47222222222222e-3 <= x99 3.47222222222222e-3 <= x100 3.47222222222222e-3 <= x101 3.47222222222222e-3 <= x102 3.47222222222222e-3 <= x103 3.47222222222222e-3 <= x104 3.47222222222222e-3 <= x105 3.47222222222222e-3 <= x106 3.47222222222222e-3 <= x107 3.47222222222222e-3 <= x108 3.47222222222222e-3 <= x109 3.47222222222222e-3 <= x110 3.47222222222222e-3 <= x111 3.47222222222222e-3 <= x112 3.47222222222222e-3 <= x113 3.47222222222222e-3 <= x114 3.47222222222222e-3 <= x115 3.47222222222222e-3 <= x116 3.47222222222222e-3 <= x117 3.47222222222222e-3 <= x118 3.47222222222222e-3 <= x119 3.47222222222222e-3 <= x120 3.47222222222222e-3 <= x121 3.47222222222222e-3 <= x122 3.47222222222222e-3 <= x123 3.47222222222222e-3 <= x124 3.47222222222222e-3 <= x125 3.47222222222222e-3 <= x126 3.47222222222222e-3 <= x127 3.47222222222222e-3 <= x128 3.47222222222222e-3 <= x129 3.47222222222222e-3 <= x130 3.47222222222222e-3 <= x131 3.47222222222222e-3 <= x132 3.47222222222222e-3 <= x133 3.47222222222222e-3 <= x134 3.47222222222222e-3 <= x135 3.47222222222222e-3 <= x136 3.47222222222222e-3 <= x137 3.47222222222222e-3 <= x138 3.47222222222222e-3 <= x139 3.47222222222222e-3 <= x140 3.47222222222222e-3 <= x141 3.47222222222222e-3 <= x142 3.47222222222222e-3 <= x143 3.47222222222222e-3 <= x144 3.47222222222222e-3 <= x145 3.47222222222222e-3 <= x146 3.47222222222222e-3 <= x147 3.47222222222222e-3 <= x148 3.47222222222222e-3 <= x149 3.47222222222222e-3 <= x150 3.47222222222222e-3 <= x151 3.47222222222222e-3 <= x152 3.47222222222222e-3 <= x153 3.47222222222222e-3 <= x154 3.47222222222222e-3 <= x155 3.47222222222222e-3 <= x156 3.47222222222222e-3 <= x157 3.47222222222222e-3 <= x158 3.47222222222222e-3 <= x159 3.47222222222222e-3 <= x160 3.47222222222222e-3 <= x161 3.47222222222222e-3 <= x162 3.47222222222222e-3 <= x163 3.47222222222222e-3 <= x164 3.47222222222222e-3 <= x165 3.47222222222222e-3 <= x166 3.47222222222222e-3 <= x167 3.47222222222222e-3 <= x168 3.47222222222222e-3 <= x169 3.47222222222222e-3 <= x170 3.47222222222222e-3 <= x171 3.47222222222222e-3 <= x172 3.47222222222222e-3 <= x173 3.47222222222222e-3 <= x174 3.47222222222222e-3 <= x175 3.47222222222222e-3 <= x176 3.47222222222222e-3 <= x177 3.47222222222222e-3 <= x178 3.47222222222222e-3 <= x179 3.47222222222222e-3 <= x180 3.47222222222222e-3 <= x181 3.47222222222222e-3 <= x182 3.47222222222222e-3 <= x183 3.47222222222222e-3 <= x184 3.47222222222222e-3 <= x185 3.47222222222222e-3 <= x186 3.47222222222222e-3 <= x187 3.47222222222222e-3 <= x188 3.47222222222222e-3 <= x189 3.47222222222222e-3 <= x190 3.47222222222222e-3 <= x191 3.47222222222222e-3 <= x192 .12 <= x193 .12 <= x194 .12 <= x195 .12 <= x196 .12 <= x197 .12 <= x198 .12 <= x199 .12 <= x200 .12 <= x201 .12 <= x202 .12 <= x203 .12 <= x204 .12 <= x205 .12 <= x206 .12 <= x207 .12 <= x208 .12 <= x209 .12 <= x210 .12 <= x211 .12 <= x212 .12 <= x213 .12 <= x214 .12 <= x215 .12 <= x216 .12 <= x217 .12 <= x218 .12 <= x219 .12 <= x220 .12 <= x221 .12 <= x222 .12 <= x223 .12 <= x224 .12 <= x225 .12 <= x226 .12 <= x227 .12 <= x228 .12 <= x229 .12 <= x230 .12 <= x231 .12 <= x232 .12 <= x233 .12 <= x234 .12 <= x235 .12 <= x236 .12 <= x237 .12 <= x238 .12 <= x239 .12 <= x240 .12 <= x241 .12 <= x242 .12 <= x243 .12 <= x244 .12 <= x245 .12 <= x246 .12 <= x247 .12 <= x248 .12 <= x249 .12 <= x250 .12 <= x251 .12 <= x252 .12 <= x253 .12 <= x254 .12 <= x255 .12 <= x256 .12 <= x257 .12 <= x258 .12 <= x259 .12 <= x260 .12 <= x261 .12 <= x262 .12 <= x263 .12 <= x264 .12 <= x265 .12 <= x266 .12 <= x267 .12 <= x268 .12 <= x269 .12 <= x270 .12 <= x271 .12 <= x272 .12 <= x273 .12 <= x274 .12 <= x275 .12 <= x276 .12 <= x277 .12 <= x278 .12 <= x279 .12 <= x280 .12 <= x281 .12 <= x282 .12 <= x283 .12 <= x284 .12 <= x285 .12 <= x286 .12 <= x287 .12 <= x288 .12 <= x289 .12 <= x290 .12 <= x291 .12 <= x292 .12 <= x293 .12 <= x294 .12 <= x295 .12 <= x296 .12 <= x297 .12 <= x298 .12 <= x299 .12 <= x300 .12 <= x301 .12 <= x302 .12 <= x303 .12 <= x304 .12 <= x305 .12 <= x306 .12 <= x307 .12 <= x308 .12 <= x309 .12 <= x310 .12 <= x311 .12 <= x312 .12 <= x313 .12 <= x314 .12 <= x315 .12 <= x316 .12 <= x317 .12 <= x318 .12 <= x319 .12 <= x320 .12 <= x321 .12 <= x322 .12 <= x323 .12 <= x324 .12 <= x325 .12 <= x326 .12 <= x327 .12 <= x328 .12 <= x329 .12 <= x330 .12 <= x331 .12 <= x332 .12 <= x333 .12 <= x334 .12 <= x335 .12 <= x336 .12 <= x337 .12 <= x338 .12 <= x339 .12 <= x340 .12 <= x341 .12 <= x342 .12 <= x343 .12 <= x344 .12 <= x345 .12 <= x346 .12 <= x347 .12 <= x348 .12 <= x349 .12 <= x350 .12 <= x351 .12 <= x352 .12 <= x353 .12 <= x354 .12 <= x355 .12 <= x356 .12 <= x357 .12 <= x358 .12 <= x359 .12 <= x360 .12 <= x361 .12 <= x362 .12 <= x363 .12 <= x364 .12 <= x365 .12 <= x366 .12 <= x367 .12 <= x368 .12 <= x369 .12 <= x370 .12 <= x371 .12 <= x372 .12 <= x373 .12 <= x374 .12 <= x375 .12 <= x376 .12 <= x377 .12 <= x378 .12 <= x379 .12 <= x380 .12 <= x381 .12 <= x382 .12 <= x383 .12 <= x384 Binary b393 b394 b395 b396 b397 b398 b399 b400 b401 b402 b403 b404 b405 b406 b407 b408 b409 b410 b411 b412 b413 b414 b415 b416 b417 b418 b419 b420 b421 b422 b423 b424 b425 b426 b427 b428 b429 b430 b431 b432 b433 b434 b435 b436 b437 b438 b439 b440 b441 b442 b443 b444 b445 b446 b447 b448 b449 b450 b451 b452 b453 b454 b455 b456 b457 b458 b459 b460 b461 b462 b463 b464 b465 b466 b467 b468 b469 b470 b471 b472 b473 b474 b475 b476 b477 b478 b479 b480 b481 b482 b483 b484 b485 b486 b487 b488 b489 b490 b491 b492 b493 b494 b495 b496 b497 b498 b499 b500 b501 b502 b503 b504 b505 b506 b507 b508 b509 b510 b511 b512 b513 b514 b515 b516 b517 b518 b519 b520 b521 b522 b523 b524 b525 b526 b527 b528 b529 b530 b531 b532 b533 b534 b535 b536 b537 b538 b539 b540 b541 b542 b543 b544 b545 b546 b547 b548 b549 b550 b551 b552 b553 b554 b555 b556 b557 b558 b559 b560 b561 b562 b563 b564 b565 b566 b567 b568 b569 b570 b571 b572 b573 b574 b575 b576 b577 b578 b579 b580 b581 b582 b583 b584 b585 b586 b587 b588 b589 b590 b591 b592 b593 b594 b595 b596 b597 b598 b599 b600 b601 b602 b603 b604 b605 b606 b607 b608 b609 b610 b611 b612 b613 b614 b615 b616 b617 b618 b619 b620 b621 b622 b623 b624 b625 b626 b627 b628 b629 b630 b631 b632 b633 b634 b635 b636 b637 b638 b639 b640 b641 b642 b643 b644 b645 b646 b647 b648 b649 b650 b651 b652 b653 b654 b655 b656 b657 b658 b659 b660 b661 b662 b663 b664 b665 b666 b667 b668 b669 b670 b671 b672 b673 b674 b675 b676 b677 b678 b679 b680 b681 b682 b683 b684 b685 b686 b687 b688 b689 b690 b691 b692 b693 b694 b695 b696 b697 b698 b699 b700 b701 b702 b703 b704 b705 b706 b707 b708 b709 b710 b711 b712 b713 b714 b715 b716 b717 b718 b719 b720 b721 b722 b723 b724 b725 b726 b727 b728 b729 b730 b731 b732 b733 b734 b735 b736 b737 b738 b739 b740 b741 b742 b743 b744 b745 b746 b747 b748 b749 b750 b751 b752 b753 b754 b755 b756 b757 b758 b759 b760 b761 b762 b763 b764 b765 b766 b767 b768 b769 b770 b771 b772 b773 b774 b775 b776 b777 b778 b779 b780 b781 b782 b783 b784 b785 b786 b787 b788 b789 b790 b791 b792 b793 b794 b795 b796 b797 b798 b799 b800 b801 b802 b803 b804 b805 b806 b807 b808 b809 b810 b811 b812 b813 b814 b815 b816 b817 b818 b819 b820 b821 b822 b823 b824 b825 b826 b827 b828 b829 b830 b831 b832 b833 b834 b835 b836 b837 b838 b839 b840 b841 b842 b843 b844 b845 b846 b847 b848 b849 b850 b851 b852 b853 b854 b855 b856 b857 b858 b859 b860 b861 b862 b863 b864 b865 b866 b867 b868 b869 b870 b871 b872 b873 b874 b875 b876 b877 b878 b879 b880 b881 b882 b883 b884 b885 b886 b887 b888 b889 b890 b891 b892 b893 b894 b895 b896 b897 b898 b899 b900 b901 b902 b903 b904 b905 b906 b907 b908 b909 b910 b911 b912 b913 b914 b915 b916 b917 b918 b919 b920 b921 b922 b923 b924 b925 b926 b927 b928 b929 b930 b931 b932 b933 b934 b935 b936 b937 b938 b939 b940 b941 b942 b943 b944 b945 b946 b947 b948 b949 b950 b951 b952 b953 b954 b955 b956 b957 b958 b959 b960 b961 b962 b963 b964 b965 b966 b967 b968 b969 b970 b971 b972 b973 b974 b975 b976 b977 b978 b979 b980 b981 b982 b983 b984 b985 b986 b987 b988 b989 b990 b991 b992 End