\ Equation counts \ Total E G L N X C B \ 2049 1366 0 683 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 2059 1376 683 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 10928 9562 1366 0 \ Minimize obj: b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 + b102 + b103 + b104 + b105 + b106 + b107 + b108 + b109 + b110 + b111 + b112 + b113 + b114 + b115 + b116 + b117 + b118 + b119 + b120 + b121 + b122 + b123 + b124 + b125 + b126 + b127 + b128 + b129 + b130 + b131 + b132 + b133 + b134 + b135 + b136 + b137 + b138 + b139 + b140 + b141 + b142 + b143 + b144 + b145 + b146 + b147 + b148 + b149 + b150 + b151 + b152 + b153 + b154 + b155 + b156 + b157 + b158 + b159 + b160 + b161 + b162 + b163 + b164 + b165 + b166 + b167 + b168 + b169 + b170 + b171 + b172 + b173 + b174 + b175 + b176 + b177 + b178 + b179 + b180 + b181 + b182 + b183 + b184 + b185 + b186 + b187 + b188 + b189 + b190 + b191 + b192 + b193 + b194 + b195 + b196 + b197 + b198 + b199 + b200 + b201 + b202 + b203 + b204 + b205 + b206 + b207 + b208 + b209 + b210 + b211 + b212 + b213 + b214 + b215 + b216 + b217 + b218 + b219 + b220 + b221 + b222 + b223 + b224 + b225 + b226 + b227 + b228 + b229 + b230 + b231 + b232 + b233 + b234 + b235 + b236 + b237 + b238 + b239 + b240 + b241 + b242 + b243 + b244 + b245 + b246 + b247 + b248 + b249 + b250 + b251 + b252 + b253 + b254 + b255 + b256 + b257 + b258 + b259 + b260 + b261 + b262 + b263 + b264 + b265 + b266 + b267 + b268 + b269 + b270 + b271 + b272 + b273 + b274 + b275 + b276 + b277 + b278 + b279 + b280 + b281 + b282 + b283 + b284 + b285 + b286 + b287 + b288 + b289 + b290 + b291 + b292 + b293 + b294 + b295 + b296 + b297 + b298 + b299 + b300 + b301 + b302 + b303 + b304 + b305 + b306 + b307 + b308 + b309 + b310 + b311 + b312 + b313 + b314 + b315 + b316 + b317 + b318 + b319 + b320 + b321 + b322 + b323 + b324 + b325 + b326 + b327 + b328 + b329 + b330 + b331 + b332 + b333 + b334 + b335 + b336 + b337 + b338 + b339 + b340 + b341 + b342 + b343 + b344 + b345 + b346 + b347 + b348 + b349 + b350 + b351 + b352 + b353 + b354 + b355 + b356 + b357 + b358 + b359 + b360 + b361 + b362 + b363 + b364 + b365 + b366 + b367 + b368 + b369 + b370 + b371 + b372 + b373 + b374 + b375 + b376 + b377 + b378 + b379 + b380 + b381 + b382 + b383 + b384 + b385 + b386 + b387 + b388 + b389 + b390 + b391 + b392 + 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 + 0 x685 + 0 x686 + 0 x687 + 0 x688 + 0 x689 + 0 x690 + 0 x691 + 0 x692 + 0 x693 + 0 x694 + 0 x695 + 0 x696 + 0 x697 + 0 x698 + 0 x699 + 0 x700 + 0 x701 + 0 x702 + 0 x703 + 0 x704 + 0 x705 + 0 x706 + 0 x707 + 0 x708 + 0 x709 + 0 x710 + 0 x711 + 0 x712 + 0 x713 + 0 x714 + 0 x715 + 0 x716 + 0 x717 + 0 x718 + 0 x719 + 0 x720 + 0 x721 + 0 x722 + 0 x723 + 0 x724 + 0 x725 + 0 x726 + 0 x727 + 0 x728 + 0 x729 + 0 x730 + 0 x731 + 0 x732 + 0 x733 + 0 x734 + 0 x735 + 0 x736 + 0 x737 + 0 x738 + 0 x739 + 0 x740 + 0 x741 + 0 x742 + 0 x743 + 0 x744 + 0 x745 + 0 x746 + 0 x747 + 0 x748 + 0 x749 + 0 x750 + 0 x751 + 0 x752 + 0 x753 + 0 x754 + 0 x755 + 0 x756 + 0 x757 + 0 x758 + 0 x759 + 0 x760 + 0 x761 + 0 x762 + 0 x763 + 0 x764 + 0 x765 + 0 x766 + 0 x767 + 0 x768 + 0 x769 + 0 x770 + 0 x771 + 0 x772 + 0 x773 + 0 x774 + 0 x775 + 0 x776 + 0 x777 + 0 x778 + 0 x779 + 0 x780 + 0 x781 + 0 x782 + 0 x783 + 0 x784 + 0 x785 + 0 x786 + 0 x787 + 0 x788 + 0 x789 + 0 x790 + 0 x791 + 0 x792 + 0 x793 + 0 x794 + 0 x795 + 0 x796 + 0 x797 + 0 x798 + 0 x799 + 0 x800 + 0 x801 + 0 x802 + 0 x803 + 0 x804 + 0 x805 + 0 x806 + 0 x807 + 0 x808 + 0 x809 + 0 x810 + 0 x811 + 0 x812 + 0 x813 + 0 x814 + 0 x815 + 0 x816 + 0 x817 + 0 x818 + 0 x819 + 0 x820 + 0 x821 + 0 x822 + 0 x823 + 0 x824 + 0 x825 + 0 x826 + 0 x827 + 0 x828 + 0 x829 + 0 x830 + 0 x831 + 0 x832 + 0 x833 + 0 x834 + 0 x835 + 0 x836 + 0 x837 + 0 x838 + 0 x839 + 0 x840 + 0 x841 + 0 x842 + 0 x843 + 0 x844 + 0 x845 + 0 x846 + 0 x847 + 0 x848 + 0 x849 + 0 x850 + 0 x851 + 0 x852 + 0 x853 + 0 x854 + 0 x855 + 0 x856 + 0 x857 + 0 x858 + 0 x859 + 0 x860 + 0 x861 + 0 x862 + 0 x863 + 0 x864 + 0 x865 + 0 x866 + 0 x867 + 0 x868 + 0 x869 + 0 x870 + 0 x871 + 0 x872 + 0 x873 + 0 x874 + 0 x875 + 0 x876 + 0 x877 + 0 x878 + 0 x879 + 0 x880 + 0 x881 + 0 x882 + 0 x883 + 0 x884 + 0 x885 + 0 x886 + 0 x887 + 0 x888 + 0 x889 + 0 x890 + 0 x891 + 0 x892 + 0 x893 + 0 x894 + 0 x895 + 0 x896 + 0 x897 + 0 x898 + 0 x899 + 0 x900 + 0 x901 + 0 x902 + 0 x903 + 0 x904 + 0 x905 + 0 x906 + 0 x907 + 0 x908 + 0 x909 + 0 x910 + 0 x911 + 0 x912 + 0 x913 + 0 x914 + 0 x915 + 0 x916 + 0 x917 + 0 x918 + 0 x919 + 0 x920 + 0 x921 + 0 x922 + 0 x923 + 0 x924 + 0 x925 + 0 x926 + 0 x927 + 0 x928 + 0 x929 + 0 x930 + 0 x931 + 0 x932 + 0 x933 + 0 x934 + 0 x935 + 0 x936 + 0 x937 + 0 x938 + 0 x939 + 0 x940 + 0 x941 + 0 x942 + 0 x943 + 0 x944 + 0 x945 + 0 x946 + 0 x947 + 0 x948 + 0 x949 + 0 x950 + 0 x951 + 0 x952 + 0 x953 + 0 x954 + 0 x955 + 0 x956 + 0 x957 + 0 x958 + 0 x959 + 0 x960 + 0 x961 + 0 x962 + 0 x963 + 0 x964 + 0 x965 + 0 x966 + 0 x967 + 0 x968 + 0 x969 + 0 x970 + 0 x971 + 0 x972 + 0 x973 + 0 x974 + 0 x975 + 0 x976 + 0 x977 + 0 x978 + 0 x979 + 0 x980 + 0 x981 + 0 x982 + 0 x983 + 0 x984 + 0 x985 + 0 x986 + 0 x987 + 0 x988 + 0 x989 + 0 x990 + 0 x991 + 0 x992 + 0 x993 + 0 x994 + 0 x995 + 0 x996 + 0 x997 + 0 x998 + 0 x999 + 0 x1000 + 0 x1001 + 0 x1002 + 0 x1003 + 0 x1004 + 0 x1005 + 0 x1006 + 0 x1007 + 0 x1008 + 0 x1009 + 0 x1010 + 0 x1011 + 0 x1012 + 0 x1013 + 0 x1014 + 0 x1015 + 0 x1016 + 0 x1017 + 0 x1018 + 0 x1019 + 0 x1020 + 0 x1021 + 0 x1022 + 0 x1023 + 0 x1024 + 0 x1025 + 0 x1026 + 0 x1027 + 0 x1028 + 0 x1029 + 0 x1030 + 0 x1031 + 0 x1032 + 0 x1033 + 0 x1034 + 0 x1035 + 0 x1036 + 0 x1037 + 0 x1038 + 0 x1039 + 0 x1040 + 0 x1041 + 0 x1042 + 0 x1043 + 0 x1044 + 0 x1045 + 0 x1046 + 0 x1047 + 0 x1048 + 0 x1049 + 0 x1050 + 0 x1051 + 0 x1052 + 0 x1053 + 0 x1054 + 0 x1055 + 0 x1056 + 0 x1057 + 0 x1058 + 0 x1059 + 0 x1060 + 0 x1061 + 0 x1062 + 0 x1063 + 0 x1064 + 0 x1065 + 0 x1066 + 0 x1067 + 0 x1068 + 0 x1069 + 0 x1070 + 0 x1071 + 0 x1072 + 0 x1073 + 0 x1074 + 0 x1075 + 0 x1076 + 0 x1077 + 0 x1078 + 0 x1079 + 0 x1080 + 0 x1081 + 0 x1082 + 0 x1083 + 0 x1084 + 0 x1085 + 0 x1086 + 0 x1087 + 0 x1088 + 0 x1089 + 0 x1090 + 0 x1091 + 0 x1092 + 0 x1093 + 0 x1094 + 0 x1095 + 0 x1096 + 0 x1097 + 0 x1098 + 0 x1099 + 0 x1100 + 0 x1101 + 0 x1102 + 0 x1103 + 0 x1104 + 0 x1105 + 0 x1106 + 0 x1107 + 0 x1108 + 0 x1109 + 0 x1110 + 0 x1111 + 0 x1112 + 0 x1113 + 0 x1114 + 0 x1115 + 0 x1116 + 0 x1117 + 0 x1118 + 0 x1119 + 0 x1120 + 0 x1121 + 0 x1122 + 0 x1123 + 0 x1124 + 0 x1125 + 0 x1126 + 0 x1127 + 0 x1128 + 0 x1129 + 0 x1130 + 0 x1131 + 0 x1132 + 0 x1133 + 0 x1134 + 0 x1135 + 0 x1136 + 0 x1137 + 0 x1138 + 0 x1139 + 0 x1140 + 0 x1141 + 0 x1142 + 0 x1143 + 0 x1144 + 0 x1145 + 0 x1146 + 0 x1147 + 0 x1148 + 0 x1149 + 0 x1150 + 0 x1151 + 0 x1152 + 0 x1153 + 0 x1154 + 0 x1155 + 0 x1156 + 0 x1157 + 0 x1158 + 0 x1159 + 0 x1160 + 0 x1161 + 0 x1162 + 0 x1163 + 0 x1164 + 0 x1165 + 0 x1166 + 0 x1167 + 0 x1168 + 0 x1169 + 0 x1170 + 0 x1171 + 0 x1172 + 0 x1173 + 0 x1174 + 0 x1175 + 0 x1176 + 0 x1177 + 0 x1178 + 0 x1179 + 0 x1180 + 0 x1181 + 0 x1182 + 0 x1183 + 0 x1184 + 0 x1185 + 0 x1186 + 0 x1187 + 0 x1188 + 0 x1189 + 0 x1190 + 0 x1191 + 0 x1192 + 0 x1193 + 0 x1194 + 0 x1195 + 0 x1196 + 0 x1197 + 0 x1198 + 0 x1199 + 0 x1200 + 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 + 0 x1570 + 0 x1571 + 0 x1572 + 0 x1573 + 0 x1574 + 0 x1575 + 0 x1576 + 0 x1577 + 0 x1578 + 0 x1579 + 0 x1580 + 0 x1581 + 0 x1582 + 0 x1583 + 0 x1584 + 0 x1585 + 0 x1586 + 0 x1587 + 0 x1588 + 0 x1589 + 0 x1590 + 0 x1591 + 0 x1592 + 0 x1593 + 0 x1594 + 0 x1595 + 0 x1596 + 0 x1597 + 0 x1598 + 0 x1599 + 0 x1600 + 0 x1601 + 0 x1602 + 0 x1603 + 0 x1604 + 0 x1605 + 0 x1606 + 0 x1607 + 0 x1608 + 0 x1609 + 0 x1610 + 0 x1611 + 0 x1612 + 0 x1613 + 0 x1614 + 0 x1615 + 0 x1616 + 0 x1617 + 0 x1618 + 0 x1619 + 0 x1620 + 0 x1621 + 0 x1622 + 0 x1623 + 0 x1624 + 0 x1625 + 0 x1626 + 0 x1627 + 0 x1628 + 0 x1629 + 0 x1630 + 0 x1631 + 0 x1632 + 0 x1633 + 0 x1634 + 0 x1635 + 0 x1636 + 0 x1637 + 0 x1638 + 0 x1639 + 0 x1640 + 0 x1641 + 0 x1642 + 0 x1643 + 0 x1644 + 0 x1645 + 0 x1646 + 0 x1647 + 0 x1648 + 0 x1649 + 0 x1650 + 0 x1651 + 0 x1652 + 0 x1653 + 0 x1654 + 0 x1655 + 0 x1656 + 0 x1657 + 0 x1658 + 0 x1659 + 0 x1660 + 0 x1661 + 0 x1662 + 0 x1663 + 0 x1664 + 0 x1665 + 0 x1666 + 0 x1667 + 0 x1668 + 0 x1669 + 0 x1670 + 0 x1671 + 0 x1672 + 0 x1673 + 0 x1674 + 0 x1675 + 0 x1676 + 0 x1677 + 0 x1678 + 0 x1679 + 0 x1680 + 0 x1681 + 0 x1682 + 0 x1683 + 0 x1684 + 0 x1685 + 0 x1686 + 0 x1687 + 0 x1688 + 0 x1689 + 0 x1690 + 0 x1691 + 0 x1692 + 0 x1693 + 0 x1694 + 0 x1695 + 0 x1696 + 0 x1697 + 0 x1698 + 0 x1699 + 0 x1700 + 0 x1701 + 0 x1702 + 0 x1703 + 0 x1704 + 0 x1705 + 0 x1706 + 0 x1707 + 0 x1708 + 0 x1709 + 0 x1710 + 0 x1711 + 0 x1712 + 0 x1713 + 0 x1714 + 0 x1715 + 0 x1716 + 0 x1717 + 0 x1718 + 0 x1719 + 0 x1720 + 0 x1721 + 0 x1722 + 0 x1723 + 0 x1724 + 0 x1725 + 0 x1726 + 0 x1727 + 0 x1728 + 0 x1729 + 0 x1730 + 0 x1731 + 0 x1732 + 0 x1733 + 0 x1734 + 0 x1735 + 0 x1736 + 0 x1737 + 0 x1738 + 0 x1739 + 0 x1740 + 0 x1741 + 0 x1742 + 0 x1743 + 0 x1744 + 0 x1745 + 0 x1746 + 0 x1747 + 0 x1748 + 0 x1749 + 0 x1750 + 0 x1751 + 0 x1752 + 0 x1753 + 0 x1754 + 0 x1755 + 0 x1756 + 0 x1757 + 0 x1758 + 0 x1759 + 0 x1760 + 0 x1761 + 0 x1762 + 0 x1763 + 0 x1764 + 0 x1765 + 0 x1766 + 0 x1767 + 0 x1768 + 0 x1769 + 0 x1770 + 0 x1771 + 0 x1772 + 0 x1773 + 0 x1774 + 0 x1775 + 0 x1776 + 0 x1777 + 0 x1778 + 0 x1779 + 0 x1780 + 0 x1781 + 0 x1782 + 0 x1783 + 0 x1784 + 0 x1785 + 0 x1786 + 0 x1787 + 0 x1788 + 0 x1789 + 0 x1790 + 0 x1791 + 0 x1792 + 0 x1793 + 0 x1794 + 0 x1795 + 0 x1796 + 0 x1797 + 0 x1798 + 0 x1799 + 0 x1800 + 0 x1801 + 0 x1802 + 0 x1803 + 0 x1804 + 0 x1805 + 0 x1806 + 0 x1807 + 0 x1808 + 0 x1809 + 0 x1810 + 0 x1811 + 0 x1812 + 0 x1813 + 0 x1814 + 0 x1815 + 0 x1816 + 0 x1817 + 0 x1818 + 0 x1819 + 0 x1820 + 0 x1821 + 0 x1822 + 0 x1823 + 0 x1824 + 0 x1825 + 0 x1826 + 0 x1827 + 0 x1828 + 0 x1829 + 0 x1830 + 0 x1831 + 0 x1832 + 0 x1833 + 0 x1834 + 0 x1835 + 0 x1836 + 0 x1837 + 0 x1838 + 0 x1839 + 0 x1840 + 0 x1841 + 0 x1842 + 0 x1843 + 0 x1844 + 0 x1845 + 0 x1846 + 0 x1847 + 0 x1848 + 0 x1849 + 0 x1850 + 0 x1851 + 0 x1852 + 0 x1853 + 0 x1854 + 0 x1855 + 0 x1856 + 0 x1857 + 0 x1858 + 0 x1859 + 0 x1860 + 0 x1861 + 0 x1862 + 0 x1863 + 0 x1864 + 0 x1865 + 0 x1866 + 0 x1867 + 0 x1868 + 0 x1869 + 0 x1870 + 0 x1871 + 0 x1872 + 0 x1873 + 0 x1874 + 0 x1875 + 0 x1876 + 0 x1877 + 0 x1878 + 0 x1879 + 0 x1880 + 0 x1881 + 0 x1882 + 0 x1883 + 0 x1884 + 0 x1885 + 0 x1886 + 0 x1887 + 0 x1888 + 0 x1889 + 0 x1890 + 0 x1891 + 0 x1892 + 0 x1893 + 0 x1894 + 0 x1895 + 0 x1896 + 0 x1897 + 0 x1898 + 0 x1899 + 0 x1900 + 0 x1901 + 0 x1902 + 0 x1903 + 0 x1904 + 0 x1905 + 0 x1906 + 0 x1907 + 0 x1908 + 0 x1909 + 0 x1910 + 0 x1911 + 0 x1912 + 0 x1913 + 0 x1914 + 0 x1915 + 0 x1916 + 0 x1917 + 0 x1918 + 0 x1919 + 0 x1920 + 0 x1921 + 0 x1922 + 0 x1923 + 0 x1924 + 0 x1925 + 0 x1926 + 0 x1927 + 0 x1928 + 0 x1929 + 0 x1930 + 0 x1931 + 0 x1932 + 0 x1933 + 0 x1934 + 0 x1935 + 0 x1936 + 0 x1937 + 0 x1938 + 0 x1939 + 0 x1940 + 0 x1941 + 0 x1942 + 0 x1943 + 0 x1944 + 0 x1945 + 0 x1946 + 0 x1947 + 0 x1948 + 0 x1949 + 0 x1950 + 0 x1951 + 0 x1952 + 0 x1953 + 0 x1954 + 0 x1955 + 0 x1956 + 0 x1957 + 0 x1958 + 0 x1959 + 0 x1960 + 0 x1961 + 0 x1962 + 0 x1963 + 0 x1964 + 0 x1965 + 0 x1966 + 0 x1967 + 0 x1968 + 0 x1969 + 0 x1970 + 0 x1971 + 0 x1972 + 0 x1973 + 0 x1974 + 0 x1975 + 0 x1976 + 0 x1977 + 0 x1978 + 0 x1979 + 0 x1980 + 0 x1981 + 0 x1982 + 0 x1983 + 0 x1984 + 0 x1985 + 0 x1986 + 0 x1987 + 0 x1988 + 0 x1989 + 0 x1990 + 0 x1991 + 0 x1992 + 0 x1993 + 0 x1994 + 0 x1995 + 0 x1996 + 0 x1997 + 0 x1998 + 0 x1999 + 0 x2000 + 0 x2001 + 0 x2002 + 0 x2003 + 0 x2004 + 0 x2005 + 0 x2006 + 0 x2007 + 0 x2008 + 0 x2009 + 0 x2010 + 0 x2011 + 0 x2012 + 0 x2013 + 0 x2014 + 0 x2015 + 0 x2016 + 0 x2017 + 0 x2018 + 0 x2019 + 0 x2020 + 0 x2021 + 0 x2022 + 0 x2023 + 0 x2024 + 0 x2025 + 0 x2026 + 0 x2027 + 0 x2028 + 0 x2029 + 0 x2030 + 0 x2031 + 0 x2032 + 0 x2033 + 0 x2034 + 0 x2035 + 0 x2036 + 0 x2037 + 0 x2038 + 0 x2039 + 0 x2040 + 0 x2041 + 0 x2042 + 0 x2043 + 0 x2044 + 0 x2045 + 0 x2046 + 0 x2047 + 0 x2048 + 0 x2049 + 0 x2050 + 0 x2051 + 0 x2052 + 0 x2053 + 0 x2054 + 0 x2055 + 0 x2056 + 0 x2057 + 0 x2058 + 0 x2059 + 0 x2060 Subject To e2: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x695 <= -1 e3: 5 x685 + 4 x686 + 4 x687 + 5 x688 + 7 x689 + 10 x690 + 3 x691 + 2 x692 + x693 - x694 - x696 <= -1 e4: 3 x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 3 x691 + x692 + x693 - x694 - x697 <= -1 e5: 6 x685 + 8 x686 + 8 x687 + x688 + 3 x689 + 4 x690 + 3 x691 + 7 x692 + x693 - x694 - x698 <= -1 e6: 4 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x699 <= -1 e7: - 8 x685 - 10 x686 - 10 x687 - 8 x688 - 7 x689 - 10 x690 - 9 x691 - 7 x692 - x693 + x694 - x700 <= -1 e8: x685 + x686 + x687 + x688 + 2 x689 + 10 x690 + 3 x691 + x692 + x693 - x694 - x701 <= -1 e9: 2 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x702 <= -1 e10: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + 5 x693 - x694 - x703 <= -1 e11: 4 x685 + 2 x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x704 <= -1 e12: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x705 <= -1 e13: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x706 <= -1 e14: - 5 x685 - 3 x686 - 3 x687 - 3 x688 - 2 x689 - 3 x690 - 4 x691 - 4 x692 - x693 + x694 - x707 <= -1 e15: x685 + x686 + x687 + x688 + 2 x689 + 3 x690 + 3 x691 + x692 + x693 - x694 - x708 <= -1 e16: - 8 x685 - 7 x686 - 5 x687 - 10 x688 - 7 x689 - 9 x690 - 5 x691 - 5 x692 - 4 x693 + x694 - x709 <= -1 e17: - 7 x685 - 4 x686 - 6 x687 - 4 x688 - 6 x689 - x690 - 4 x691 - 3 x692 - x693 + x694 - x710 <= -1 e18: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x711 <= -1 e19: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x712 <= -1 e20: - 10 x685 - 7 x686 - 7 x687 - 6 x688 - 4 x689 - 10 x690 - 4 x691 - x692 - 2 x693 + x694 - x713 <= -1 e21: 6 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x714 <= -1 e22: - 7 x685 - 3 x686 - 2 x687 - 10 x688 - 5 x689 - 10 x690 - 5 x691 - 4 x692 - 4 x693 + x694 - x715 <= -1 e23: - 10 x685 - 5 x686 - 5 x687 - 3 x688 - 6 x689 - 7 x690 - 7 x691 - 10 x692 - x693 + x694 - x716 <= -1 e24: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x717 <= -1 e25: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x718 <= -1 e26: - 5 x685 - 2 x686 - 3 x687 - 4 x688 - 2 x689 - 7 x690 - 3 x691 - 6 x692 - x693 + x694 - x719 <= -1 e27: 3 x685 + 2 x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x720 <= -1 e28: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x721 <= -1 e29: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x722 <= -1 e30: x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x723 <= -1 e31: 3 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x724 <= -1 e32: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x725 <= -1 e33: - 10 x685 - 7 x686 - 7 x687 - 3 x688 - 8 x689 - 5 x690 - 7 x691 - 4 x692 - 3 x693 + x694 - x726 <= -1 e34: 2 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x727 <= -1 e35: 3 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x728 <= -1 e36: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x729 <= -1 e37: - 10 x685 - 10 x686 - 10 x687 - 8 x688 - 6 x689 - x690 - 8 x691 - 9 x692 - x693 + x694 - x730 <= -1 e38: 6 x685 + 2 x686 + x687 + x688 + x689 + x690 + 7 x691 + x692 + x693 - x694 - x731 <= -1 e39: - 5 x685 - 4 x686 - 4 x687 - 9 x688 - 2 x689 - 10 x690 - 5 x691 - 6 x692 - x693 + x694 - x732 <= -1 e40: - 2 x685 - 5 x686 - 3 x687 - 3 x688 - 6 x689 - 7 x690 - 7 x691 - 5 x692 - x693 + x694 - x733 <= -1 e41: - 10 x685 - 4 x686 - 3 x687 - x688 - 3 x689 - 3 x690 - 6 x691 - 5 x692 - 2 x693 + x694 - x734 <= -1 e42: - 6 x685 - 10 x686 - 10 x687 - 2 x688 - 8 x689 - 10 x690 - 7 x691 - 3 x692 - 3 x693 + x694 - x735 <= -1 e43: - 5 x685 - 6 x686 - 5 x687 - 6 x688 - 10 x689 - x690 - 3 x691 - x692 - x693 + x694 - x736 <= -1 e44: - 10 x685 - 10 x686 - 10 x687 - 4 x688 - 8 x689 - x690 - 8 x691 - 10 x692 - x693 + x694 - x737 <= -1 e45: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + 2 x693 - x694 - x738 <= -1 e46: - 3 x685 - 7 x686 - 7 x687 - 4 x688 - 4 x689 - 9 x690 - 4 x691 - 8 x692 - x693 + x694 - x739 <= -1 e47: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x740 <= -1 e48: 4 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x741 <= -1 e49: - 7 x685 - 8 x686 - 7 x687 - 2 x688 - 4 x689 - 8 x690 - 3 x691 - 8 x692 - 2 x693 + x694 - x742 <= -1 e50: - 9 x685 - 5 x686 - 8 x687 - x688 - 2 x689 - 3 x690 - 2 x691 - x692 - 5 x693 + x694 - x743 <= -1 e51: - 5 x685 - 3 x686 - 3 x687 - 4 x688 - 2 x689 - 4 x690 - 3 x691 - 4 x692 - x693 + x694 - x744 <= -1 e52: - 10 x685 - 3 x686 - 6 x687 - 2 x688 - 3 x689 - 5 x690 - 4 x691 - 10 x692 - 2 x693 + x694 - x745 <= -1 e53: - 5 x685 - 5 x686 - 5 x687 - 8 x688 - 10 x689 - 8 x690 - 7 x691 - 3 x692 - 7 x693 + x694 - x746 <= -1 e54: - 10 x685 - 5 x686 - 5 x687 - 6 x688 - 8 x689 - 8 x690 - 7 x691 - x692 - x693 + x694 - x747 <= -1 e55: - 10 x685 - 6 x686 - 6 x687 - 3 x688 - 4 x689 - 5 x690 - 3 x691 - 6 x692 - x693 + x694 - x748 <= -1 e56: - 8 x685 - 10 x686 - 10 x687 - x688 - 3 x689 - 6 x690 - 3 x691 - 9 x692 - x693 + x694 - x749 <= -1 e57: - 8 x685 - 2 x686 - 4 x687 - x688 - 5 x689 - x690 - 5 x691 - 4 x692 - 4 x693 + x694 - x750 <= -1 e58: - 5 x685 - 2 x686 - 3 x687 - x688 - 6 x689 - 10 x690 - 5 x691 - x692 - x693 + x694 - x751 <= -1 e59: - 9 x685 - 5 x686 - 5 x687 - 2 x688 - 2 x689 - 2 x690 - 5 x691 - x692 - x693 + x694 - x752 <= -1 e60: - 5 x685 - 3 x686 - 5 x687 - 5 x688 - 3 x689 - 3 x690 - 4 x691 - 10 x692 - x693 + x694 - x753 <= -1 e61: x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 2 x691 + x692 + x693 - x694 - x754 <= -1 e62: - 9 x685 - 10 x686 - 10 x687 - x688 - 10 x689 - 8 x690 - 3 x691 - 3 x692 - x693 + x694 - x755 <= -1 e63: - 6 x685 - 3 x686 - 4 x687 - x688 - 5 x689 - 2 x690 - 3 x691 - 9 x692 - x693 + x694 - x756 <= -1 e64: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x757 <= -1 e65: - 10 x685 - 4 x686 - 2 x687 - x688 - 3 x689 - 2 x690 - 4 x691 - 3 x692 - 10 x693 + x694 - x758 <= -1 e66: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x759 <= -1 e67: - 5 x685 - 3 x686 - 4 x687 - x688 - 8 x689 - 10 x690 - 4 x691 - 9 x692 - x693 + x694 - x760 <= -1 e68: - 8 x685 - 3 x686 - 8 x687 - 3 x688 - 4 x689 - 9 x690 - 8 x691 - 9 x692 - 8 x693 + x694 - x761 <= -1 e69: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x762 <= -1 e70: 5 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x763 <= -1 e71: - 6 x685 - 10 x686 - 2 x687 - 8 x688 - 10 x689 - 2 x690 - 7 x691 - 8 x692 - 10 x693 + x694 - x764 <= -1 e72: x685 + 3 x686 + 3 x687 + 2 x688 + 2 x689 + x690 + 7 x691 + 2 x692 + x693 - x694 - x765 <= -1 e73: - 9 x685 - 4 x686 - 5 x687 - 10 x688 - 6 x689 - 10 x690 - 4 x691 - 8 x692 - x693 + x694 - x766 <= -1 e74: - 10 x685 - 6 x686 - 4 x687 - x688 - 3 x689 - 4 x690 - 3 x691 - 2 x692 - 3 x693 + x694 - x767 <= -1 e75: x685 + x686 + 2 x687 + x688 + 2 x689 + 2 x690 + 4 x691 + 2 x692 + x693 - x694 - x768 <= -1 e76: x685 + x686 + 4 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x769 <= -1 e77: 5 x685 + 3 x686 + x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x770 <= -1 e78: 3 x685 + x686 + x687 + x688 + 2 x689 + 3 x690 + 3 x691 + x692 + x693 - x694 - x771 <= -1 e79: 2 x685 + x686 + x687 + x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x772 <= -1 e80: 2 x685 + 2 x686 + 2 x687 + x688 + x689 + x690 + 7 x691 + x692 + x693 - x694 - x773 <= -1 e81: 4 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x774 <= -1 e82: 5 x685 + 2 x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x775 <= -1 e83: 3 x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 7 x691 + x692 + x693 - x694 - x776 <= -1 e84: - 3 x685 - 5 x686 - 7 x687 - 8 x688 - 8 x689 - 9 x690 - 7 x691 - 10 x692 - 7 x693 + x694 - x777 <= -1 e85: - 5 x685 - 10 x686 - 6 x687 - x688 - 10 x689 - 4 x690 - 4 x691 - 10 x692 - 10 x693 + x694 - x778 <= -1 e86: - 3 x685 - 3 x686 - 6 x687 - 4 x688 - 5 x689 - 8 x690 - 4 x691 - 4 x692 - x693 + x694 - x779 <= -1 e87: - 3 x685 - 6 x686 - 6 x687 - 6 x688 - 5 x689 - 10 x690 - 6 x691 - 8 x692 - 3 x693 + x694 - x780 <= -1 e88: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x781 <= -1 e89: 2 x685 + x686 + x687 + 2 x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x782 <= -1 e90: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x783 <= -1 e91: 3 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x784 <= -1 e92: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x785 <= -1 e93: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x786 <= -1 e94: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x787 <= -1 e95: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x788 <= -1 e96: 2 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x789 <= -1 e97: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x790 <= -1 e98: - 9 x685 - 6 x686 - 9 x687 - 2 x688 - 10 x689 - 6 x690 - 2 x691 - 9 x692 - 10 x693 + x694 - x791 <= -1 e99: - 7 x685 - 5 x686 - 6 x687 - 10 x688 - 5 x689 - 10 x690 - 7 x691 - 9 x692 - 4 x693 + x694 - x792 <= -1 e100: - 10 x685 - 3 x686 - 5 x687 - x688 - 10 x689 - 5 x690 - 3 x691 - 10 x692 - 2 x693 + x694 - x793 <= -1 e101: - 2 x685 - 3 x686 - 4 x687 - 4 x688 - 2 x689 - 5 x690 - 2 x691 - 5 x692 - x693 + x694 - x794 <= -1 e102: 4 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x795 <= -1 e103: - 8 x685 - 2 x686 - 3 x687 - x688 - 6 x689 - 3 x690 - 7 x691 - x692 - x693 + x694 - x796 <= -1 e104: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - x690 - 8 x691 - 8 x692 - 8 x693 + x694 - x797 <= -1 e105: - 7 x685 - 3 x686 - 4 x687 - 4 x688 - 3 x689 - 3 x690 - 3 x691 - 2 x692 - 7 x693 + x694 - x798 <= -1 e106: - 10 x685 - 10 x686 - 10 x687 - 8 x688 - 2 x689 - 10 x690 - 4 x691 - x692 - x693 + x694 - x799 <= -1 e107: - x685 - 6 x686 - 8 x687 - 10 x688 - 8 x689 - 10 x690 - 5 x691 - 7 x692 - x693 + x694 - x800 <= -1 e108: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 3 x692 + x693 - x694 - x801 <= -1 e109: - 6 x685 - 5 x686 - 4 x687 - 4 x688 - 3 x689 - 9 x690 - 7 x691 - 8 x692 - 3 x693 + x694 - x802 <= -1 e110: x685 + 3 x686 + x687 + 2 x688 + 2 x689 + 2 x690 + 5 x691 + 3 x692 + 2 x693 - x694 - x803 <= -1 e111: - 8 x685 - 6 x686 - 4 x687 - 3 x688 - 5 x689 - 9 x690 - 3 x691 - x692 - x693 + x694 - x804 <= -1 e112: - 10 x685 - 3 x686 - 3 x687 - 10 x688 - 2 x689 - 10 x690 - 7 x691 - 3 x692 - 3 x693 + x694 - x805 <= -1 e113: - 10 x685 - 10 x686 - 10 x687 - 3 x688 - 10 x689 - 8 x690 - 8 x691 - x692 - x693 + x694 - x806 <= -1 e114: 3 x685 + 3 x686 + 2 x687 + x688 + 2 x689 + 3 x690 + 3 x691 + x692 + x693 - x694 - x807 <= -1 e115: x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + x691 + x692 + x693 - x694 - x808 <= -1 e116: 8 x685 + 3 x686 + 3 x687 + x688 + 2 x689 + 2 x690 + 3 x691 + 2 x692 + x693 - x694 - x809 <= -1 e117: - 4 x685 - 5 x686 - 5 x687 - 10 x688 - 4 x689 - 10 x690 - 7 x691 - 5 x692 - 8 x693 + x694 - x810 <= -1 e118: x685 + x686 + x687 + x688 + 4 x689 + 3 x690 + x691 + x692 + x693 - x694 - x811 <= -1 e119: 3 x685 + 2 x686 + x687 + x688 + 2 x689 + 2 x690 + 3 x691 + x692 + x693 - x694 - x812 <= -1 e120: x685 + x686 + 2 x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x813 <= -1 e121: 4 x685 + 2 x686 + x687 + x688 + 2 x689 + 2 x690 + 3 x691 + x692 + x693 - x694 - x814 <= -1 e122: - 10 x685 - 10 x686 - 10 x687 - 2 x688 - 10 x689 - 10 x690 - 5 x691 - 3 x692 - 3 x693 + x694 - x815 <= -1 e123: - 5 x685 - 3 x686 - 5 x687 - x688 - 8 x689 - 10 x690 - 5 x691 - 3 x692 - x693 + x694 - x816 <= -1 e124: - 5 x685 - 4 x686 - 6 x687 - 7 x688 - 9 x689 - 7 x690 - 8 x691 - 10 x692 - x693 + x694 - x817 <= -1 e125: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x818 <= -1 e126: - 7 x685 - 5 x686 - 3 x687 - 7 x688 - 4 x689 - 10 x690 - 7 x691 - 5 x692 - 5 x693 + x694 - x819 <= -1 e127: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x820 <= -1 e128: - 8 x685 - 3 x686 - 5 x687 - 4 x688 - 5 x689 - 10 x690 - x691 - 6 x692 - 2 x693 + x694 - x821 <= -1 e129: x685 + x686 + x687 + x688 + 10 x689 + x690 + x691 + x692 + x693 - x694 - x822 <= -1 e130: 5 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x823 <= -1 e131: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x824 <= -1 e132: - 5 x685 - 10 x686 - 8 x687 - 10 x688 - 8 x689 - 10 x690 - 3 x691 - 6 x692 - 3 x693 + x694 - x825 <= -1 e133: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x826 <= -1 e134: 3 x685 + x686 + x687 + x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x827 <= -1 e135: 5 x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 3 x691 + 3 x692 + x693 - x694 - x828 <= -1 e136: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x829 <= -1 e137: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x830 <= -1 e138: 4 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x831 <= -1 e139: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x832 <= -1 e140: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x833 <= -1 e141: - 9 x685 - 5 x686 - 5 x687 - 4 x688 - 4 x689 - 5 x690 - 4 x691 - 3 x692 - 3 x693 + x694 - x834 <= -1 e142: x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + x691 + x692 + x693 - x694 - x835 <= -1 e143: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x836 <= -1 e144: - 3 x685 - 4 x686 - 5 x687 - 2 x688 - 6 x689 - 8 x690 - 4 x691 - x692 - x693 + x694 - x837 <= -1 e145: x685 + x686 + x687 + x688 + 3 x689 + 2 x690 + 2 x691 + x692 + x693 - x694 - x838 <= -1 e146: 3 x685 + x686 + x687 + 3 x688 + 8 x689 + x690 + 5 x691 + 8 x692 + x693 - x694 - x839 <= -1 e147: - 8 x685 - 8 x686 - 7 x687 - 4 x688 - 10 x689 - 10 x690 - 7 x691 - 8 x692 - 7 x693 + x694 - x840 <= -1 e148: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x841 <= -1 e149: - 7 x685 - 2 x686 - 4 x687 - x688 - 6 x689 - 10 x690 - 5 x691 - 4 x692 - 3 x693 + x694 - x842 <= -1 e150: - 10 x685 - 10 x686 - 8 x687 - 6 x688 - 4 x689 - 5 x690 - 8 x691 - 10 x692 - x693 + x694 - x843 <= -1 e151: 4 x685 + x686 + x687 + x688 + 2 x689 + 3 x690 + x691 + x692 + x693 - x694 - x844 <= -1 e152: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x845 <= -1 e153: - 5 x685 - 5 x686 - 5 x687 - 6 x688 - 3 x689 - 10 x690 - 3 x691 - x692 - x693 + x694 - x846 <= -1 e154: x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x847 <= -1 e155: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x848 <= -1 e156: - 9 x685 - 9 x686 - 10 x687 - 3 x688 - 6 x689 - 10 x690 - 7 x691 - 10 x692 - 6 x693 + x694 - x849 <= -1 e157: - 10 x685 - 7 x686 - 7 x687 - 4 x688 - 5 x689 - 10 x690 - 5 x691 - 7 x692 - 2 x693 + x694 - x850 <= -1 e158: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x851 <= -1 e159: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x852 <= -1 e160: x685 + x686 + x687 + 2 x688 + x689 + 3 x690 + x691 + x692 + 7 x693 - x694 - x853 <= -1 e161: 4 x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 3 x691 + 2 x692 + x693 - x694 - x854 <= -1 e162: - 5 x685 - 6 x686 - 7 x687 - 8 x688 - 8 x689 - 10 x690 - 3 x691 - 10 x692 - 3 x693 + x694 - x855 <= -1 e163: - 10 x685 - 8 x686 - 10 x687 - 10 x688 - 6 x689 - x690 - 3 x691 - x692 - 10 x693 + x694 - x856 <= -1 e164: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x857 <= -1 e165: x685 + x686 + x687 + 2 x688 + x689 + x690 + x691 + x692 + x693 - x694 - x858 <= -1 e166: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x859 <= -1 e167: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x860 <= -1 e168: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x861 <= -1 e169: - 6 x685 - 10 x686 - 10 x687 - 10 x688 - 8 x689 - 10 x690 - 10 x691 - 10 x692 - 7 x693 + x694 - x862 <= -1 e170: - 8 x685 - 6 x686 - 5 x687 - 4 x688 - 3 x689 - 10 x690 - 6 x691 - x692 - x693 + x694 - x863 <= -1 e171: - 5 x685 - 8 x686 - 7 x687 - 7 x688 - 10 x689 - 10 x690 - 5 x691 - 7 x692 - x693 + x694 - x864 <= -1 e172: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x865 <= -1 e173: - 5 x685 - 10 x686 - 10 x687 - 3 x688 - 8 x689 - x690 - 5 x691 - 10 x692 - 3 x693 + x694 - x866 <= -1 e174: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x867 <= -1 e175: - 5 x685 - 3 x686 - 3 x687 - 3 x688 - 6 x689 - 10 x690 - 3 x691 - x692 - x693 + x694 - x868 <= -1 e176: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x869 <= -1 e177: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x870 <= -1 e178: 6 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x871 <= -1 e179: - 5 x685 - 8 x686 - 8 x687 - 8 x688 - 5 x689 - 10 x690 - 7 x691 - 8 x692 - x693 + x694 - x872 <= -1 e180: - 8 x685 - 7 x686 - 6 x687 - 4 x688 - 4 x689 - 10 x690 - 5 x691 - x692 - x693 + x694 - x873 <= -1 e181: 2 x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x874 <= -1 e182: - x685 - 5 x686 - 8 x687 - 6 x688 - 5 x689 - 8 x690 - 7 x691 - 10 x692 - x693 + x694 - x875 <= -1 e183: - 10 x685 - 5 x686 - 6 x687 - 10 x688 - 6 x689 - 10 x690 - 7 x691 - 7 x692 - 10 x693 + x694 - x876 <= -1 e184: - 5 x685 - 8 x686 - 4 x687 - 10 x688 - 5 x689 - 8 x690 - 9 x691 - 10 x692 - x693 + x694 - x877 <= -1 e185: x685 + 2 x686 + 3 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x878 <= -1 e186: - 10 x685 - 10 x686 - 10 x687 - 8 x688 - 6 x689 - 8 x690 - 7 x691 - 10 x692 - x693 + x694 - x879 <= -1 e187: - 7 x685 - 5 x686 - 10 x687 - 10 x688 - 10 x689 - 10 x690 - 4 x691 - 10 x692 - 3 x693 + x694 - x880 <= -1 e188: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x881 <= -1 e189: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x882 <= -1 e190: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x883 <= -1 e191: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x884 <= -1 e192: 8 x685 + 4 x686 + 4 x687 + 5 x688 + 4 x689 + 7 x690 + 7 x691 + 8 x692 + 2 x693 - x694 - x885 <= -1 e193: 5 x685 + x686 + x687 + 4 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x886 <= -1 e194: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x887 <= -1 e195: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x888 <= -1 e196: - 9 x685 - 7 x686 - 7 x687 - 5 x688 - 5 x689 - 10 x690 - 7 x691 - 8 x692 - 3 x693 + x694 - x889 <= -1 e197: - 10 x685 - 8 x686 - 8 x687 - 4 x688 - 10 x689 - 10 x690 - 8 x691 - x692 - x693 + x694 - x890 <= -1 e198: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x891 <= -1 e199: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x892 <= -1 e200: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x893 <= -1 e201: - 5 x685 - 10 x686 - 10 x687 - 9 x688 - 6 x689 - 10 x690 - 7 x691 - 10 x692 - 5 x693 + x694 - x894 <= -1 e202: - 10 x685 - 10 x686 - 9 x687 - 3 x688 - 7 x689 - 5 x690 - 3 x691 - 5 x692 - x693 + x694 - x895 <= -1 e203: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x896 <= -1 e204: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x897 <= -1 e205: 5 x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x898 <= -1 e206: - 8 x685 - 10 x686 - 10 x687 - 10 x688 - 5 x689 - 10 x690 - 8 x691 - 10 x692 - 6 x693 + x694 - x899 <= -1 e207: - 8 x685 - 10 x686 - 8 x687 - 8 x688 - 4 x689 - 8 x690 - 7 x691 - 7 x692 - x693 + x694 - x900 <= -1 e208: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x901 <= -1 e209: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 7 x689 - 10 x690 - 7 x691 - 10 x692 - 4 x693 + x694 - x902 <= -1 e210: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 3 x689 - 10 x690 - 10 x691 - 6 x692 - x693 + x694 - x903 <= -1 e211: - 8 x685 - 7 x686 - 8 x687 - 7 x688 - 5 x689 - 5 x690 - 5 x691 - 10 x692 - 2 x693 + x694 - x904 <= -1 e212: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x905 <= -1 e213: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x906 <= -1 e214: - 6 x685 - 10 x686 - 7 x687 - 7 x688 - 6 x689 - 4 x690 - 8 x691 - 10 x692 - 2 x693 + x694 - x907 <= -1 e215: 6 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x908 <= -1 e216: x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x909 <= -1 e217: - 10 x685 - 6 x686 - 4 x687 - 3 x688 - 10 x689 - 10 x690 - 9 x691 - 10 x692 - x693 + x694 - x910 <= -1 e218: - 4 x685 - x686 - x687 - 3 x688 - x689 - 5 x690 - 2 x691 - x692 - x693 + x694 - x911 <= -1 e219: - 7 x685 - 5 x686 - 6 x687 - 3 x688 - 3 x689 - 8 x690 - 7 x691 - 4 x692 - x693 + x694 - x912 <= -1 e220: - 10 x685 - 5 x686 - 5 x687 - 6 x688 - 3 x689 - 10 x690 - 7 x691 - 9 x692 - 2 x693 + x694 - x913 <= -1 e221: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x914 <= -1 e222: - 10 x685 - 5 x686 - 7 x687 - 4 x688 - 4 x689 - 10 x690 - 8 x691 - 9 x692 - x693 + x694 - x915 <= -1 e223: - 8 x685 - 9 x686 - 9 x687 - 5 x688 - 3 x689 - 5 x690 - 7 x691 - 7 x692 - x693 + x694 - x916 <= -1 e224: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x917 <= -1 e225: - 10 x685 - 10 x686 - 10 x687 - 3 x688 - 10 x689 - 10 x690 - 9 x691 - 10 x692 - x693 + x694 - x918 <= -1 e226: - 7 x685 - 4 x686 - 7 x687 - 4 x688 - 3 x689 - 7 x690 - 7 x691 - 6 x692 - x693 + x694 - x919 <= -1 e227: - 6 x685 - 8 x686 - 7 x687 - 5 x688 - 6 x689 - 8 x690 - 8 x691 - 9 x692 - 2 x693 + x694 - x920 <= -1 e228: 8 x685 + 4 x686 + 6 x687 + 3 x688 + 3 x689 + x690 + 4 x691 + 3 x692 + x693 - x694 - x921 <= -1 e229: - 10 x685 - 4 x686 - 5 x687 - 5 x688 - 5 x689 - 10 x690 - 4 x691 - x692 - x693 + x694 - x922 <= -1 e230: 3 x685 + 3 x686 + 2 x687 + x688 + 3 x689 + x690 + 3 x691 + 6 x692 + x693 - x694 - x923 <= -1 e231: - 10 x685 - 8 x686 - 8 x687 - 2 x688 - 8 x689 - 10 x690 - 4 x691 - 8 x692 - 10 x693 + x694 - x924 <= -1 e232: - 9 x685 - 8 x686 - 8 x687 - 5 x688 - 6 x689 - 2 x690 - 4 x691 - 10 x692 - 4 x693 + x694 - x925 <= -1 e233: - 8 x685 - 10 x686 - 10 x687 - 8 x688 - 6 x689 - 9 x690 - 3 x691 - 10 x692 - 10 x693 + x694 - x926 <= -1 e234: - 10 x685 - 4 x686 - 3 x687 - 2 x688 - 3 x689 - 10 x690 - 5 x691 - 3 x692 - 2 x693 + x694 - x927 <= -1 e235: 5 x685 + x686 + 3 x687 + 3 x688 + 2 x689 + 2 x690 + 2 x691 + 3 x692 + x693 - x694 - x928 <= -1 e236: 3 x685 + x686 + x687 + 3 x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x929 <= -1 e237: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x930 <= -1 e238: x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + 5 x691 + x692 + x693 - x694 - x931 <= -1 e239: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x932 <= -1 e240: 5 x685 + x686 + x687 + 2 x688 + 2 x689 + 2 x690 + 3 x691 + x692 + x693 - x694 - x933 <= -1 e241: - 8 x685 - 10 x686 - 10 x687 - 8 x688 - 5 x689 - 10 x690 - 7 x691 - 8 x692 - x693 + x694 - x934 <= -1 e242: - 8 x685 - 4 x686 - 4 x687 - x688 - 2 x689 - 9 x690 - 3 x691 - 3 x692 - x693 + x694 - x935 <= -1 e243: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 6 x692 + x693 - x694 - x936 <= -1 e244: x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x937 <= -1 e245: - 10 x685 - 4 x686 - 4 x687 - 10 x688 - 2 x689 - 10 x690 - 5 x691 - 3 x692 - 3 x693 + x694 - x938 <= -1 e246: 6 x685 + 3 x686 + 3 x687 + 5 x688 + 3 x689 + 10 x690 + 3 x691 + 5 x692 + 3 x693 - x694 - x939 <= -1 e247: - 6 x685 - 10 x686 - 10 x687 - 2 x688 - 8 x689 - 10 x690 - 7 x691 - 3 x692 - 3 x693 + x694 - x940 <= -1 e248: - 9 x685 - 10 x686 - 10 x687 - x688 - 10 x689 - 8 x690 - 3 x691 - 3 x692 - x693 + x694 - x941 <= -1 e249: - 5 x685 - 6 x686 - 6 x687 - 2 x688 - 4 x689 - 10 x690 - 3 x691 - 6 x692 - x693 + x694 - x942 <= -1 e250: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x943 <= -1 e251: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x944 <= -1 e252: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x945 <= -1 e253: 5 x685 + 7 x686 + 7 x687 + x688 + 5 x689 + 8 x690 + 3 x691 + 4 x692 + x693 - x694 - x946 <= -1 e254: - 10 x685 - 5 x686 - 8 x687 - 10 x688 - 3 x689 - 10 x690 - 5 x691 - x692 - 3 x693 + x694 - x947 <= -1 e255: - 5 x685 - 10 x686 - 10 x687 - 6 x688 - 10 x689 - 10 x690 - 10 x691 - 6 x692 - 5 x693 + x694 - x948 <= -1 e256: - 8 x685 - 8 x686 - 9 x687 - 4 x688 - 5 x689 - 10 x690 - 7 x691 - 8 x692 - x693 + x694 - x949 <= -1 e257: - 10 x685 - 4 x686 - 4 x687 - 10 x688 - 6 x689 - 10 x690 - 5 x691 - 5 x692 - x693 + x694 - x950 <= -1 e258: - 7 x685 - 9 x686 - 4 x687 - 10 x688 - 10 x689 - 3 x690 - 5 x691 - 3 x692 - 3 x693 + x694 - x951 <= -1 e259: 5 x685 + x686 + 4 x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x952 <= -1 e260: - 10 x685 - 10 x686 - 6 x687 - 3 x688 - 3 x689 - 10 x690 - 4 x691 - 3 x692 - 2 x693 + x694 - x953 <= -1 e261: - 3 x685 - 3 x686 - 5 x687 - 2 x688 - 3 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x954 <= -1 e262: - 10 x685 - 8 x686 - 8 x687 - 2 x688 - 3 x689 - 4 x690 - 8 x691 - 7 x692 - 8 x693 + x694 - x955 <= -1 e263: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x956 <= -1 e264: - 8 x685 - 4 x686 - 7 x687 - x688 - 3 x689 - 10 x690 - 3 x691 - 9 x692 - 2 x693 + x694 - x957 <= -1 e265: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x958 <= -1 e266: - 3 x685 - 3 x686 - 5 x687 - 2 x688 - 3 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x959 <= -1 e267: - 7 x685 - 2 x686 - 4 x687 - x688 - 3 x689 - 4 x690 - 3 x691 - 3 x692 - x693 + x694 - x960 <= -1 e268: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x961 <= -1 e269: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x962 <= -1 e270: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x963 <= -1 e271: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x964 <= -1 e272: - 10 x685 - 5 x686 - 7 x687 - 3 x688 - 3 x689 - 7 x690 - 3 x691 - 3 x692 - 8 x693 + x694 - x965 <= -1 e273: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x966 <= -1 e274: 2 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x967 <= -1 e275: - x685 - 4 x686 - 3 x687 - 10 x688 - 4 x689 - 10 x690 - 5 x691 - 6 x692 - x693 + x694 - x968 <= -1 e276: - 10 x685 - 4 x686 - 6 x687 - x688 - 2 x689 - 10 x690 - 5 x691 - 3 x692 - x693 + x694 - x969 <= -1 e277: - 7 x685 - 4 x686 - 5 x687 - 10 x688 - 2 x689 - 10 x690 - 3 x691 - 8 x692 - 2 x693 + x694 - x970 <= -1 e278: - 8 x685 - 10 x686 - 10 x687 - 10 x688 - 8 x689 - 10 x690 - 10 x691 - 7 x692 - 3 x693 + x694 - x971 <= -1 e279: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 10 x690 - 4 x691 - 10 x692 - 10 x693 + x694 - x972 <= -1 e280: 3 x685 + x686 + x687 + x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x973 <= -1 e281: - 6 x685 - x686 - 3 x687 - x688 - 4 x689 - 5 x690 - 5 x691 - 10 x692 - x693 + x694 - x974 <= -1 e282: - 5 x685 - 6 x686 - 6 x687 - 8 x688 - 6 x689 - 10 x690 - 4 x691 - 10 x692 - 4 x693 + x694 - x975 <= -1 e283: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x976 <= -1 e284: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x977 <= -1 e285: - 10 x685 - 4 x686 - 4 x687 - 6 x688 - 2 x689 - 10 x690 - 2 x691 - 3 x692 - x693 + x694 - x978 <= -1 e286: - 5 x685 - 5 x686 - 7 x687 - 8 x688 - 6 x689 - 10 x690 - 7 x691 - 4 x692 - x693 + x694 - x979 <= -1 e287: 5 x685 + 3 x686 + 4 x687 + 3 x688 + 4 x689 + 5 x690 + 4 x691 + 7 x692 + x693 - x694 - x980 <= -1 e288: 8 x685 + 2 x686 + x687 + x688 + 5 x689 + x690 + x691 + x692 + x693 - x694 - x981 <= -1 e289: - 9 x685 - x686 - 2 x687 - 6 x688 - 4 x689 - 10 x690 - 7 x691 - 7 x692 - 2 x693 + x694 - x982 <= -1 e290: - 8 x685 - 4 x686 - 10 x687 - 5 x688 - 4 x689 - 4 x690 - 7 x691 - 10 x692 - x693 + x694 - x983 <= -1 e291: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x984 <= -1 e292: - 10 x685 - 10 x686 - 10 x687 - 7 x688 - 9 x689 - 10 x690 - 7 x691 - 10 x692 - 10 x693 + x694 - x985 <= -1 e293: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x986 <= -1 e294: - 8 x685 - 3 x686 - 4 x687 - 9 x688 - 3 x689 - 10 x690 - 3 x691 - 3 x692 - x693 + x694 - x987 <= -1 e295: - 10 x685 - 8 x686 - 4 x687 - 4 x688 - 4 x689 - 10 x690 - 3 x691 - 10 x692 - 4 x693 + x694 - x988 <= -1 e296: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x989 <= -1 e297: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x990 <= -1 e298: - 7 x685 - 8 x686 - 7 x687 - 6 x688 - 4 x689 - 3 x690 - 8 x691 - 8 x692 - 4 x693 + x694 - x991 <= -1 e299: 3 x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + 5 x691 + x692 + x693 - x694 - x992 <= -1 e300: 2 x685 + x686 + x687 + x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x993 <= -1 e301: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x994 <= -1 e302: - 8 x685 - 6 x686 - 4 x687 - 10 x688 - 10 x689 - x690 - 3 x691 - 5 x692 - x693 + x694 - x995 <= -1 e303: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x996 <= -1 e304: x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x997 <= -1 e305: - 5 x685 - 5 x686 - 5 x687 - 2 x688 - 5 x689 - 10 x690 - 4 x691 - 3 x692 - x693 + x694 - x998 <= -1 e306: - 6 x685 - 8 x686 - 7 x687 - 8 x688 - 6 x689 - 8 x690 - 8 x691 - 9 x692 - x693 + x694 - x999 <= -1 e307: x685 + x686 + x687 + x688 + 5 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1000 <= -1 e308: 4 x685 + 4 x686 + 4 x687 + 4 x688 + 6 x689 + 5 x690 + 7 x691 + 3 x692 + x693 - x694 - x1001 <= -1 e309: - 7 x685 - 6 x686 - 3 x687 - 2 x688 - 5 x689 - 10 x690 - 7 x691 - 4 x692 - 6 x693 + x694 - x1002 <= -1 e310: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1003 <= -1 e311: - 5 x685 - 4 x686 - 6 x687 - 10 x688 - 2 x689 - 10 x690 - 4 x691 - x692 - x693 + x694 - x1004 <= -1 e312: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1005 <= -1 e313: 3 x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + 3 x692 + x693 - x694 - x1006 <= -1 e314: - 10 x685 - x686 - x687 - x688 - 2 x689 - 10 x690 - 5 x691 - 4 x692 - x693 + x694 - x1007 <= -1 e315: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1008 <= -1 e316: - 8 x685 - 10 x686 - 3 x687 - 2 x688 - 6 x689 - 4 x690 - 3 x691 - 10 x692 - x693 + x694 - x1009 <= -1 e317: - 10 x685 - 4 x686 - 6 x687 - 4 x688 - 5 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x1010 <= -1 e318: - 10 x685 - 4 x686 - 7 x687 - 2 x688 - 2 x689 - 8 x690 - 6 x691 - x692 - x693 + x694 - x1011 <= -1 e319: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + 2 x693 - x694 - x1012 <= -1 e320: 5 x685 + 2 x686 + 2 x687 + 2 x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1013 <= -1 e321: - 5 x685 - 4 x686 - 6 x687 - 6 x688 - 4 x689 - 10 x690 - 4 x691 - 3 x692 - x693 + x694 - x1014 <= -1 e322: - 8 x685 - 6 x686 - 7 x687 - 3 x688 - 3 x689 - 10 x690 - 3 x691 - 4 x692 - 2 x693 + x694 - x1015 <= -1 e323: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1016 <= -1 e324: - 6 x685 - 5 x686 - 5 x687 - 8 x688 - 4 x689 - 10 x690 - 3 x691 - 4 x692 - x693 + x694 - x1017 <= -1 e325: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1018 <= -1 e326: x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1019 <= -1 e327: - 8 x685 - 5 x686 - 5 x687 - 5 x688 - 2 x689 - 10 x690 - 4 x691 - 3 x692 - x693 + x694 - x1020 <= -1 e328: - 10 x685 - 3 x686 - 3 x687 - x688 - 2 x689 - 10 x690 - 7 x691 - 6 x692 - x693 + x694 - x1021 <= -1 e329: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1022 <= -1 e330: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1023 <= -1 e331: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1024 <= -1 e332: - 7 x685 - 6 x686 - 4 x687 - 8 x688 - 10 x689 - 10 x690 - 9 x691 - 5 x692 - 3 x693 + x694 - x1025 <= -1 e333: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1026 <= -1 e334: 5 x685 + 2 x686 + 2 x687 + 2 x688 + 3 x689 + x690 + x691 + 3 x692 + x693 - x694 - x1027 <= -1 e335: x685 + x686 + x687 + x688 + x689 + x690 + x691 + 3 x692 + x693 - x694 - x1028 <= -1 e336: - 3 x685 - 4 x686 - 4 x687 - 10 x688 - 5 x689 - x690 - 3 x691 - 3 x692 - x693 + x694 - x1029 <= -1 e337: - 4 x685 - 2 x686 - 3 x687 - 5 x688 - 3 x689 - 8 x690 - 7 x691 - 6 x692 - x693 + x694 - x1030 <= -1 e338: 5 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1031 <= -1 e339: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1032 <= -1 e340: 3 x685 + 4 x686 + 5 x687 + 3 x688 + 7 x689 + 3 x690 + 4 x691 + 6 x692 + x693 - x694 - x1033 <= -1 e341: - 2 x685 - 7 x686 - 10 x687 - 10 x688 - 7 x689 - 10 x690 - 4 x691 - 9 x692 - 4 x693 + x694 - x1034 <= -1 e342: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1035 <= -1 e343: 4 x685 + x686 + x687 + x688 + 3 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1036 <= -1 e344: - 5 x685 - 3 x686 - 3 x687 - x688 - 3 x689 - 3 x690 - 3 x691 - 3 x692 - 3 x693 + x694 - x1037 <= -1 e345: - 8 x685 - 10 x686 - 10 x687 - 7 x688 - 10 x689 - 10 x690 - 7 x691 - 3 x692 - 8 x693 + x694 - x1038 <= -1 e346: - 8 x685 - 10 x686 - 5 x687 - 3 x688 - 8 x689 - 4 x690 - 4 x691 - 10 x692 - 3 x693 + x694 - x1039 <= -1 e347: - 10 x685 - 3 x686 - 5 x687 - 4 x688 - 3 x689 - 7 x690 - 3 x691 - 5 x692 - 3 x693 + x694 - x1040 <= -1 e348: - 6 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 10 x690 - 8 x691 - 10 x692 - 10 x693 + x694 - x1041 <= -1 e349: - 3 x685 - 10 x686 - 3 x687 - 10 x688 - 6 x689 - 10 x690 - 5 x691 - x692 - 4 x693 + x694 - x1042 <= -1 e350: 3 x685 + 2 x686 + 2 x687 + x688 + 4 x689 + 3 x690 + 2 x691 + x692 + x693 - x694 - x1043 <= -1 e351: 4 x685 + 4 x686 + 4 x687 + 2 x688 + 2 x689 + 3 x690 + 2 x691 + x692 + x693 - x694 - x1044 <= -1 e352: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1045 <= -1 e353: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1046 <= -1 e354: - 6 x685 - 10 x686 - 10 x687 - 10 x688 - 8 x689 - 10 x690 - 7 x691 - 10 x692 - 7 x693 + x694 - x1047 <= -1 e355: - 5 x685 - 8 x686 - 8 x687 - 10 x688 - 5 x689 - 10 x690 - 8 x691 - 10 x692 - 3 x693 + x694 - x1048 <= -1 e356: x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1049 <= -1 e357: x685 + x686 + 3 x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1050 <= -1 e358: 4 x685 + 3 x686 + 2 x687 + x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1051 <= -1 e359: x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1052 <= -1 e360: 4 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1053 <= -1 e361: 5 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1054 <= -1 e362: 3 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1055 <= -1 e363: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1056 <= -1 e364: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1057 <= -1 e365: x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1058 <= -1 e366: 3 x685 + x686 + x687 + 4 x688 + 3 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1059 <= -1 e367: 5 x685 + 3 x686 + 4 x687 + x688 + 4 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1060 <= -1 e368: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1061 <= -1 e369: - 10 x685 - 6 x686 - 3 x687 - 6 x688 - 4 x689 - 10 x690 - 7 x691 - 8 x692 - 4 x693 + x694 - x1062 <= -1 e370: 3 x685 + 2 x686 + 2 x687 + 2 x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x1063 <= -1 e371: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1064 <= -1 e372: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1065 <= -1 e373: 3 x685 + 3 x686 + 2 x687 + 2 x688 + 3 x689 + x690 + x691 + 2 x692 + 3 x693 - x694 - x1066 <= -1 e374: - 7 x685 - 6 x686 - 6 x687 - 3 x688 - 2 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x1067 <= -1 e375: 5 x685 + 3 x686 + 3 x687 + 2 x688 + 3 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1068 <= -1 e376: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1069 <= -1 e377: 5 x685 + x686 + x687 + x688 + 3 x689 + 2 x690 + 2 x691 + 2 x692 + x693 - x694 - x1070 <= -1 e378: x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1071 <= -1 e379: - 10 x685 - 8 x686 - 7 x687 - 4 x688 - 3 x689 - 10 x690 - 7 x691 - 9 x692 - x693 + x694 - x1072 <= -1 e380: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1073 <= -1 e381: x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1074 <= -1 e382: x685 + 2 x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1075 <= -1 e383: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1076 <= -1 e384: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1077 <= -1 e385: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1078 <= -1 e386: 3 x685 + 2 x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1079 <= -1 e387: x685 + 2 x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1080 <= -1 e388: - 3 x685 - 10 x686 - 8 x687 - 7 x688 - 6 x689 - 9 x690 - 9 x691 - 3 x692 - 8 x693 + x694 - x1081 <= -1 e389: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1082 <= -1 e390: 5 x685 + 3 x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1083 <= -1 e391: 3 x685 + x686 + x687 + x688 + 2 x689 + 4 x690 + x691 + x692 + x693 - x694 - x1084 <= -1 e392: x685 + 2 x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + 2 x692 + x693 - x694 - x1085 <= -1 e393: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1086 <= -1 e394: 4 x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1087 <= -1 e395: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1088 <= -1 e396: 2 x685 + 3 x686 + 2 x687 + 2 x688 + 2 x689 + 2 x690 + 3 x691 + x692 + x693 - x694 - x1089 <= -1 e397: 3 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1090 <= -1 e398: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1091 <= -1 e399: - 10 x685 - 10 x686 - 10 x687 - 6 x688 - 8 x689 - 4 x690 - 8 x691 - 5 x692 - x693 + x694 - x1092 <= -1 e400: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1093 <= -1 e401: - 8 x685 - 5 x686 - 6 x687 - 2 x688 - 3 x689 - 10 x690 - 6 x691 - 6 x692 - x693 + x694 - x1094 <= -1 e402: 3 x685 + 3 x686 + 2 x687 + 6 x688 + 3 x689 + 3 x690 + 3 x691 + 5 x692 + x693 - x694 - x1095 <= -1 e403: - 8 x685 - 7 x686 - 8 x687 - 5 x688 - 10 x689 - 10 x690 - 7 x691 - 2 x692 - x693 + x694 - x1096 <= -1 e404: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1097 <= -1 e405: 5 x685 + 2 x686 + 2 x687 + 2 x688 + 2 x689 + 2 x690 + 3 x691 + 2 x692 + 2 x693 - x694 - x1098 <= -1 e406: 2 x685 + 3 x686 + x687 + x688 + 5 x689 + x690 + x691 + x692 + x693 - x694 - x1099 <= -1 e407: 3 x685 + 2 x686 + 2 x687 + 3 x688 + 2 x689 + 3 x690 + 3 x691 + x692 + x693 - x694 - x1100 <= -1 e408: - 10 x685 - 10 x686 - 10 x687 - 7 x688 - 10 x689 - 10 x690 - 8 x691 - 2 x692 - x693 + x694 - x1101 <= -1 e409: 4 x685 + 3 x686 + 3 x687 + x688 + 2 x689 + x690 + 3 x691 + 3 x692 + x693 - x694 - x1102 <= -1 e410: 5 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1103 <= -1 e411: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1104 <= -1 e412: - 9 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 10 x690 - 10 x691 - 10 x692 - x693 + x694 - x1105 <= -1 e413: 5 x685 + 3 x686 + 6 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1106 <= -1 e414: - 8 x685 - 7 x686 - 8 x687 - 2 x688 - 4 x689 - 2 x690 - 5 x691 - 10 x692 - x693 + x694 - x1107 <= -1 e415: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1108 <= -1 e416: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1109 <= -1 e417: x685 + 3 x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1110 <= -1 e418: 5 x685 + x686 + x687 + 3 x688 + 4 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x1111 <= -1 e419: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1112 <= -1 e420: 3 x685 + 2 x686 + 2 x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1113 <= -1 e421: 6 x685 + 9 x686 + 7 x687 + 5 x688 + 5 x689 + 8 x690 + 4 x691 + 2 x692 + x693 - x694 - x1114 <= -1 e422: - 10 x685 - 8 x686 - 10 x687 - x688 - 3 x689 - 10 x690 - 5 x691 - x692 - x693 + x694 - x1115 <= -1 e423: - 10 x685 - 10 x686 - 10 x687 - x688 - 6 x689 - x690 - 2 x691 - 8 x692 - x693 + x694 - x1116 <= -1 e424: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1117 <= -1 e425: 4 x685 + x686 + 3 x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1118 <= -1 e426: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1119 <= -1 e427: - 10 x685 - 4 x686 - 3 x687 - 10 x688 - 4 x689 - 10 x690 - 10 x691 - x692 - x693 + x694 - x1120 <= -1 e428: 5 x685 + 2 x686 + 2 x687 + 4 x688 + 2 x689 + 4 x690 + x691 + x692 + x693 - x694 - x1121 <= -1 e429: x685 + x686 + x687 + 3 x688 + 2 x689 + 3 x690 + x691 + x692 + x693 - x694 - x1122 <= -1 e430: x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + x691 + x692 + x693 - x694 - x1123 <= -1 e431: 5 x685 + x686 + x687 + 6 x688 + 3 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1124 <= -1 e432: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1125 <= -1 e433: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1126 <= -1 e434: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1127 <= -1 e435: x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1128 <= -1 e436: - 5 x685 - 7 x686 - 9 x687 - 8 x688 - 6 x689 - 10 x690 - 8 x691 - 10 x692 - x693 + x694 - x1129 <= -1 e437: 4 x685 + x686 + x687 + 3 x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1130 <= -1 e438: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1131 <= -1 e439: 3 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1132 <= -1 e440: - 4 x685 - 5 x686 - 5 x687 - 8 x688 - 6 x689 - 10 x690 - 10 x691 - 7 x692 - x693 + x694 - x1133 <= -1 e441: 2 x685 + 3 x686 + x687 + x688 + 3 x689 + x690 + x691 + x692 + x693 - x694 - x1134 <= -1 e442: - 10 x685 - 2 x686 - 2 x687 - x688 - 2 x689 - 6 x690 - x691 - x692 - 2 x693 + x694 - x1135 <= -1 e443: - 10 x685 - 6 x686 - 5 x687 - 8 x688 - 5 x689 - 10 x690 - 8 x691 - 6 x692 - x693 + x694 - x1136 <= -1 e444: - 8 x685 - 8 x686 - 9 x687 - 6 x688 - 6 x689 - 3 x690 - 10 x691 - 10 x692 - x693 + x694 - x1137 <= -1 e445: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1138 <= -1 e446: 5 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1139 <= -1 e447: 5 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1140 <= -1 e448: 3 x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + x691 + x692 + x693 - x694 - x1141 <= -1 e449: 6 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1142 <= -1 e450: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + 2 x692 + x693 - x694 - x1143 <= -1 e451: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1144 <= -1 e452: - 10 x685 - 9 x686 - 8 x687 - 7 x688 - 6 x689 - 4 x690 - 7 x691 - 10 x692 - 3 x693 + x694 - x1145 <= -1 e453: - 10 x685 - 6 x686 - 6 x687 - 2 x688 - 4 x689 - 10 x690 - 9 x691 - 7 x692 - x693 + x694 - x1146 <= -1 e454: - 6 x685 - 6 x686 - 6 x687 - 5 x688 - 4 x689 - 10 x690 - 7 x691 - 6 x692 - 2 x693 + x694 - x1147 <= -1 e455: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1148 <= -1 e456: x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1149 <= -1 e457: 3 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1150 <= -1 e458: 6 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1151 <= -1 e459: 6 x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1152 <= -1 e460: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1153 <= -1 e461: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1154 <= -1 e462: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1155 <= -1 e463: 4 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1156 <= -1 e464: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1157 <= -1 e465: 5 x685 + 2 x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1158 <= -1 e466: - 4 x685 - 8 x686 - 7 x687 - 10 x688 - 4 x689 - 10 x690 - 7 x691 - 5 x692 - x693 + x694 - x1159 <= -1 e467: 5 x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1160 <= -1 e468: 5 x685 + 3 x686 + 2 x687 + 4 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1161 <= -1 e469: - 9 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 5 x690 - 10 x691 - 10 x692 - 10 x693 + x694 - x1162 <= -1 e470: - 8 x685 - 7 x686 - 8 x687 - 5 x688 - 5 x689 - 10 x690 - 9 x691 - 10 x692 - x693 + x694 - x1163 <= -1 e471: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1164 <= -1 e472: x685 + x686 + x687 + 3 x688 + x689 + 3 x690 + x691 + x692 + x693 - x694 - x1165 <= -1 e473: 3 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1166 <= -1 e474: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 6 x689 - 10 x690 - 8 x691 - x692 - 5 x693 + x694 - x1167 <= -1 e475: - 3 x685 - 6 x686 - 4 x687 - 10 x688 - 3 x689 - 3 x690 - 3 x691 - 4 x692 - x693 + x694 - x1168 <= -1 e476: - 6 x685 - 3 x686 - 2 x687 - x688 - 3 x689 - 4 x690 - 4 x691 - x692 - x693 + x694 - x1169 <= -1 e477: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1170 <= -1 e478: - 5 x685 - 8 x686 - 9 x687 - 4 x688 - 3 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x1171 <= -1 e479: 4 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1172 <= -1 e480: - 5 x685 - 10 x686 - 10 x687 - 10 x688 - 6 x689 - 10 x690 - 6 x691 - 5 x692 - 2 x693 + x694 - x1173 <= -1 e481: 5 x685 + x686 + 2 x687 + 10 x688 + 4 x689 + 5 x690 + 2 x691 + x692 + x693 - x694 - x1174 <= -1 e482: 3 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1175 <= -1 e483: x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1176 <= -1 e484: 4 x685 + 2 x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1177 <= -1 e485: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1178 <= -1 e486: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1179 <= -1 e487: 6 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1180 <= -1 e488: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1181 <= -1 e489: 4 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1182 <= -1 e490: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1183 <= -1 e491: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1184 <= -1 e492: 3 x685 + 3 x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1185 <= -1 e493: - 8 x685 - 10 x686 - 10 x687 - 10 x688 - 7 x689 - 5 x690 - 4 x691 - 8 x692 - 7 x693 + x694 - x1186 <= -1 e494: x685 + x686 + x687 + x688 + 2 x689 + 4 x690 + x691 + x692 + x693 - x694 - x1187 <= -1 e495: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1188 <= -1 e496: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1189 <= -1 e497: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1190 <= -1 e498: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1191 <= -1 e499: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1192 <= -1 e500: 3 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1193 <= -1 e501: - 6 x685 - 6 x686 - 7 x687 - 10 x688 - 3 x689 - 10 x690 - 8 x691 - 10 x692 - 2 x693 + x694 - x1194 <= -1 e502: - 4 x685 - 10 x686 - 4 x687 - 7 x688 - 3 x689 - 10 x690 - 9 x691 - 10 x692 - x693 + x694 - x1195 <= -1 e503: x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1196 <= -1 e504: x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1197 <= -1 e505: 3 x685 + x686 + 2 x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1198 <= -1 e506: - 4 x685 - 7 x686 - 8 x687 - 3 x688 - 4 x689 - 10 x690 - 9 x691 - x692 - x693 + x694 - x1199 <= -1 e507: x685 + x686 + x687 + x688 + 3 x689 + x690 + x691 + x692 + x693 - x694 - x1200 <= -1 e508: 4 x685 + x686 + x687 + x688 + 3 x689 + x690 + x691 + x692 + x693 - x694 - x1201 <= -1 e509: - 10 x685 - 4 x686 - 5 x687 - 4 x688 - 3 x689 - 5 x690 - 7 x691 - 3 x692 - x693 + x694 - x1202 <= -1 e510: - 7 x685 - 5 x686 - 6 x687 - 10 x688 - 4 x689 - 10 x690 - 5 x691 - 3 x692 - x693 + x694 - x1203 <= -1 e511: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1204 <= -1 e512: 3 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1205 <= -1 e513: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1206 <= -1 e514: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1207 <= -1 e515: 6 x685 + x686 + 3 x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1208 <= -1 e516: 4 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1209 <= -1 e517: - 7 x685 - 4 x686 - 4 x687 - 3 x688 - 4 x689 - 10 x690 - 6 x691 - 9 x692 - x693 + x694 - x1210 <= -1 e518: 4 x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1211 <= -1 e519: x685 + x686 + x687 + x688 + x689 + x690 + 3 x691 + x692 + x693 - x694 - x1212 <= -1 e520: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1213 <= -1 e521: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1214 <= -1 e522: x685 + x686 + 3 x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1215 <= -1 e523: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1216 <= -1 e524: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1217 <= -1 e525: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1218 <= -1 e526: 6 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1219 <= -1 e527: 5 x685 + x686 + x687 + x688 + 2 x689 + 2 x690 + 2 x691 + x692 + x693 - x694 - x1220 <= -1 e528: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1221 <= -1 e529: 5 x685 + 3 x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1222 <= -1 e530: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1223 <= -1 e531: 2 x685 + x686 + 3 x687 + 2 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1224 <= -1 e532: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1225 <= -1 e533: - 6 x685 - 10 x686 - 10 x687 - 10 x688 - 4 x689 - 10 x690 - 7 x691 - 10 x692 - x693 + x694 - x1226 <= -1 e534: 2 x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1227 <= -1 e535: 3 x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1228 <= -1 e536: - 7 x685 - 8 x686 - 3 x687 - 7 x688 - 4 x689 - 5 x690 - 7 x691 - 8 x692 - 2 x693 + x694 - x1229 <= -1 e537: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1230 <= -1 e538: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1231 <= -1 e539: 3 x685 + 2 x686 + 2 x687 + 2 x688 + 2 x689 + x690 + 4 x691 + 2 x692 + x693 - x694 - x1232 <= -1 e540: 4 x685 + 4 x686 + 2 x687 + x688 + 2 x689 + 5 x690 + 2 x691 + x692 + 2 x693 - x694 - x1233 <= -1 e541: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1234 <= -1 e542: 4 x685 + 3 x686 + x687 + x688 + 2 x689 + x690 + 4 x691 + 8 x692 + x693 - x694 - x1235 <= -1 e543: 5 x685 + 2 x686 + 2 x687 + 2 x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1236 <= -1 e544: 5 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1237 <= -1 e545: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1238 <= -1 e546: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1239 <= -1 e547: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1240 <= -1 e548: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1241 <= -1 e549: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1242 <= -1 e550: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1243 <= -1 e551: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x1244 <= -1 e552: - 5 x685 - 7 x686 - 10 x687 - 10 x688 - 5 x689 - 10 x690 - 10 x691 - 10 x692 - x693 + x694 - x1245 <= -1 e553: 3 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1246 <= -1 e554: 4 x685 + x686 + x687 + x688 + 2 x689 + 3 x690 + 2 x691 + x692 + x693 - x694 - x1247 <= -1 e555: - 8 x685 - 4 x686 - 4 x687 - x688 - 6 x689 - 10 x690 - 2 x691 - 5 x692 - 2 x693 + x694 - x1248 <= -1 e556: - 10 x685 - 10 x686 - 8 x687 - 10 x688 - 6 x689 - 5 x690 - 10 x691 - 3 x692 - x693 + x694 - x1249 <= -1 e557: - 8 x685 - 10 x686 - 4 x687 - 4 x688 - 8 x689 - 10 x690 - 8 x691 - 2 x692 - x693 + x694 - x1250 <= -1 e558: - 7 x685 - 6 x686 - 10 x687 - 5 x688 - 3 x689 - 10 x690 - 9 x691 - 10 x692 - 2 x693 + x694 - x1251 <= -1 e559: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1252 <= -1 e560: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1253 <= -1 e561: - 10 x685 - 9 x686 - 7 x687 - 3 x688 - 4 x689 - 2 x690 - 7 x691 - 7 x692 - x693 + x694 - x1254 <= -1 e562: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1255 <= -1 e563: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1256 <= -1 e564: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1257 <= -1 e565: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1258 <= -1 e566: x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1259 <= -1 e567: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1260 <= -1 e568: - 5 x685 - 7 x686 - 10 x687 - 6 x688 - 5 x689 - 10 x690 - 7 x691 - 5 x692 - x693 + x694 - x1261 <= -1 e569: - 6 x685 - 10 x686 - 5 x687 - 5 x688 - 4 x689 - 10 x690 - 6 x691 - 10 x692 - x693 + x694 - x1262 <= -1 e570: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1263 <= -1 e571: 5 x685 + x686 + x687 + 6 x688 + 3 x689 + x690 + x691 + x692 + x693 - x694 - x1264 <= -1 e572: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1265 <= -1 e573: - 8 x685 - 10 x686 - 10 x687 - 10 x688 - 6 x689 - 10 x690 - 10 x691 - 10 x692 - x693 + x694 - x1266 <= -1 e574: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1267 <= -1 e575: - 9 x685 - 8 x686 - 8 x687 - 9 x688 - 6 x689 - 3 x690 - 4 x691 - x692 - x693 + x694 - x1268 <= -1 e576: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1269 <= -1 e577: - 4 x685 - 10 x686 - 8 x687 - 5 x688 - 4 x689 - x690 - 10 x691 - x692 - x693 + x694 - x1270 <= -1 e578: - 2 x685 - 5 x686 - 7 x687 - 6 x688 - 4 x689 - 10 x690 - 7 x691 - 6 x692 - x693 + x694 - x1271 <= -1 e579: - 10 x685 - 3 x686 - 4 x687 - 5 x688 - 3 x689 - 10 x690 - 4 x691 - x692 - x693 + x694 - x1272 <= -1 e580: 5 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1273 <= -1 e581: - 4 x685 - 8 x686 - 6 x687 - 3 x688 - 4 x689 - 10 x690 - 7 x691 - x692 - x693 + x694 - x1274 <= -1 e582: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1275 <= -1 e583: 4 x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1276 <= -1 e584: 5 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1277 <= -1 e585: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1278 <= -1 e586: 5 x685 + 2 x686 + 4 x687 + x688 + x689 + x690 + x691 + x692 + x693 - x694 - x1279 <= -1 e587: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1280 <= -1 e588: x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1281 <= -1 e589: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1282 <= -1 e590: - 5 x685 - 4 x686 - 6 x687 - 8 x688 - 4 x689 - x690 - 8 x691 - 10 x692 - x693 + x694 - x1283 <= -1 e591: - 5 x685 - 3 x686 - 2 x687 - 8 x688 - 5 x689 - 10 x690 - 8 x691 - x692 - 2 x693 + x694 - x1284 <= -1 e592: - 10 x685 - 5 x686 - 10 x687 - 3 x688 - 5 x689 - 8 x690 - 7 x691 - 8 x692 - 3 x693 + x694 - x1285 <= -1 e593: 4 x685 + x686 + x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1286 <= -1 e594: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1287 <= -1 e595: - 5 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 10 x690 - 10 x691 - x692 - x693 + x694 - x1288 <= -1 e596: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1289 <= -1 e597: - 10 x685 - 4 x686 - 3 x687 - 10 x688 - 3 x689 - 10 x690 - 7 x691 - x692 - 2 x693 + x694 - x1290 <= -1 e598: - 5 x685 - 10 x686 - 10 x687 - 10 x688 - 5 x689 - 2 x690 - 8 x691 - 5 x692 - x693 + x694 - x1291 <= -1 e599: - 8 x685 - 10 x686 - 10 x687 - 10 x688 - 6 x689 - 10 x690 - 10 x691 - 10 x692 - 10 x693 + x694 - x1292 <= -1 e600: 2 x685 + 3 x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1293 <= -1 e601: 2 x685 + x686 + x687 + x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1294 <= -1 e602: 4 x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1295 <= -1 e603: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1296 <= -1 e604: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1297 <= -1 e605: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1298 <= -1 e606: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1299 <= -1 e607: 6 x685 + 3 x686 + 3 x687 + 3 x688 + 3 x689 + 2 x690 + 6 x691 + x692 + x693 - x694 - x1300 <= -1 e608: 7 x685 + x686 + 2 x687 + 3 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1301 <= -1 e609: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1302 <= -1 e610: 5 x685 + x686 + x687 + 2 x688 + x689 + x690 + 2 x691 + x692 + x693 - x694 - x1303 <= -1 e611: 3 x685 + x686 + 3 x687 + x688 + 3 x689 + 4 x690 + x691 + x692 + x693 - x694 - x1304 <= -1 e612: - 4 x685 - 6 x686 - 6 x687 - 5 x688 - 7 x689 - 6 x690 - 7 x691 - 7 x692 - 3 x693 + x694 - x1305 <= -1 e613: 2 x685 + x686 + x687 + x688 + 2 x689 + 5 x690 + x691 + x692 + x693 - x694 - x1306 <= -1 e614: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1307 <= -1 e615: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1308 <= -1 e616: 6 x685 + 2 x686 + 3 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1309 <= -1 e617: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1310 <= -1 e618: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1311 <= -1 e619: - 8 x685 - 7 x686 - 4 x687 - 4 x688 - 5 x689 - 3 x690 - 5 x691 - 10 x692 - x693 + x694 - x1312 <= -1 e620: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1313 <= -1 e621: 3 x685 + x686 + 4 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1314 <= -1 e622: - 10 x685 - 10 x686 - 7 x687 - 8 x688 - 7 x689 - x690 - 10 x691 - 10 x692 - 3 x693 + x694 - x1315 <= -1 e623: 4 x685 + 2 x686 + 4 x687 + 3 x688 + 2 x689 + 2 x690 + 2 x691 + x692 + x693 - x694 - x1316 <= -1 e624: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1317 <= -1 e625: 5 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1318 <= -1 e626: 4 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1319 <= -1 e627: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1320 <= -1 e628: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1321 <= -1 e629: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1322 <= -1 e630: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1323 <= -1 e631: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1324 <= -1 e632: x685 + 2 x686 + 2 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1325 <= -1 e633: x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1326 <= -1 e634: - 5 x685 - 10 x686 - 10 x687 - 10 x688 - 10 x689 - 2 x690 - 10 x691 - 10 x692 - 10 x693 + x694 - x1327 <= -1 e635: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1328 <= -1 e636: 3 x685 + x686 + x687 + 2 x688 + 3 x689 + 4 x690 + x691 + x692 + x693 - x694 - x1329 <= -1 e637: x685 + 2 x686 + x687 + 3 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1330 <= -1 e638: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 2 x692 + x693 - x694 - x1331 <= -1 e639: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1332 <= -1 e640: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1333 <= -1 e641: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1334 <= -1 e642: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1335 <= -1 e643: 5 x685 + 4 x686 + 5 x687 + x688 + 8 x689 + x690 + 3 x691 + 6 x692 + x693 - x694 - x1336 <= -1 e644: - 7 x685 - 8 x686 - 8 x687 - 7 x688 - 3 x689 - 10 x690 - 7 x691 - 2 x692 - 3 x693 + x694 - x1337 <= -1 e645: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1338 <= -1 e646: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1339 <= -1 e647: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1340 <= -1 e648: x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1341 <= -1 e649: x685 + x686 + 3 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1342 <= -1 e650: 3 x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1343 <= -1 e651: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1344 <= -1 e652: 5 x685 + 2 x686 + 2 x687 + 2 x688 + 2 x689 + x690 + x691 + x692 + 2 x693 - x694 - x1345 <= -1 e653: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1346 <= -1 e654: - 5 x685 - 7 x686 - 4 x687 - x688 - 6 x689 - x690 - 7 x691 - 10 x692 - 3 x693 + x694 - x1347 <= -1 e655: - 5 x685 - 10 x686 - 10 x687 - 8 x688 - 5 x689 - 5 x690 - 7 x691 - 10 x692 - x693 + x694 - x1348 <= -1 e656: - 3 x685 - 10 x686 - 7 x687 - 8 x688 - 5 x689 - 8 x690 - 7 x691 - 4 x692 - x693 + x694 - x1349 <= -1 e657: 3 x685 + 2 x686 + x687 + 2 x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1350 <= -1 e658: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + x692 + x693 - x694 - x1351 <= -1 e659: 5 x685 + 3 x686 + 2 x687 + x688 + 3 x689 + x690 + x691 + x692 + x693 - x694 - x1352 <= -1 e660: x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1353 <= -1 e661: 4 x685 + x686 + 4 x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1354 <= -1 e662: x685 + x686 + 2 x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + x693 - x694 - x1355 <= -1 e663: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1356 <= -1 e664: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1357 <= -1 e665: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1358 <= -1 e666: - 10 x685 - 10 x686 - 10 x687 - 10 x688 - 5 x689 - 10 x690 - 10 x691 - 10 x692 - 7 x693 + x694 - x1359 <= -1 e667: - 5 x685 - 10 x686 - 10 x687 - 10 x688 - 4 x689 - 10 x690 - 5 x691 - 6 x692 - 3 x693 + x694 - x1360 <= -1 e668: 5 x685 + x686 + x687 + x688 + 2 x689 + x690 + 3 x691 + 2 x692 + x693 - x694 - x1361 <= -1 e669: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1362 <= -1 e670: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1363 <= -1 e671: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1364 <= -1 e672: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1365 <= -1 e673: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + 3 x692 + x693 - x694 - x1366 <= -1 e674: 4 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1367 <= -1 e675: x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + 8 x693 - x694 - x1368 <= -1 e676: x685 + x686 + x687 + 3 x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1369 <= -1 e677: - 5 x685 - 10 x686 - 10 x687 - 5 x688 - 4 x689 - 5 x690 - 4 x691 - 4 x692 - x693 + x694 - x1370 <= -1 e678: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1371 <= -1 e679: 3 x685 + x686 + x687 + x688 + 2 x689 + x690 + 2 x691 + x692 + 2 x693 - x694 - x1372 <= -1 e680: 3 x685 + x686 + x687 + x688 + 3 x689 + 2 x690 + x691 + x692 + x693 - x694 - x1373 <= -1 e681: 2 x685 + x686 + x687 + x688 + 2 x689 + x690 + x691 + x692 + x693 - x694 - x1374 <= -1 e682: - 5 x685 - 10 x686 - 10 x687 - 3 x688 - 7 x689 - 3 x690 - 8 x691 - 10 x692 - 2 x693 + x694 - x1375 <= -1 e683: - 4 x685 - 8 x686 - 6 x687 - 4 x688 - 3 x689 - 4 x690 - 10 x691 - 6 x692 - x693 + x694 - x1376 <= -1 e684: - 4 x685 - 8 x686 - 8 x687 - 5 x688 - 4 x689 - 5 x690 - 10 x691 - 4 x692 - x693 + x694 - x1377 <= -1 e685: - b2 - x1378 = -1 e686: - b3 - x1379 = -1 e687: - b4 - x1380 = -1 e688: - b5 - x1381 = -1 e689: - b6 - x1382 = -1 e690: - b7 - x1383 = -1 e691: - b8 - x1384 = -1 e692: - b9 - x1385 = -1 e693: - b10 - x1386 = -1 e694: - b11 - x1387 = -1 e695: - b12 - x1388 = -1 e696: - b13 - x1389 = -1 e697: - b14 - x1390 = -1 e698: - b15 - x1391 = -1 e699: - b16 - x1392 = -1 e700: - b17 - x1393 = -1 e701: - b18 - x1394 = -1 e702: - b19 - x1395 = -1 e703: - b20 - x1396 = -1 e704: - b21 - x1397 = -1 e705: - b22 - x1398 = -1 e706: - b23 - x1399 = -1 e707: - b24 - x1400 = -1 e708: - b25 - x1401 = -1 e709: - b26 - x1402 = -1 e710: - b27 - x1403 = -1 e711: - b28 - x1404 = -1 e712: - b29 - x1405 = -1 e713: - b30 - x1406 = -1 e714: - b31 - x1407 = -1 e715: - b32 - x1408 = -1 e716: - b33 - x1409 = -1 e717: - b34 - x1410 = -1 e718: - b35 - x1411 = -1 e719: - b36 - x1412 = -1 e720: - b37 - x1413 = -1 e721: - b38 - x1414 = -1 e722: - b39 - x1415 = -1 e723: - b40 - x1416 = -1 e724: - b41 - x1417 = -1 e725: - b42 - x1418 = -1 e726: - b43 - x1419 = -1 e727: - b44 - x1420 = -1 e728: - b45 - x1421 = -1 e729: - b46 - x1422 = -1 e730: - b47 - x1423 = -1 e731: - b48 - x1424 = -1 e732: - b49 - x1425 = -1 e733: - b50 - x1426 = -1 e734: - b51 - x1427 = -1 e735: - b52 - x1428 = -1 e736: - b53 - x1429 = -1 e737: - b54 - x1430 = -1 e738: - b55 - x1431 = -1 e739: - b56 - x1432 = -1 e740: - b57 - x1433 = -1 e741: - b58 - x1434 = -1 e742: - b59 - x1435 = -1 e743: - b60 - x1436 = -1 e744: - b61 - x1437 = -1 e745: - b62 - x1438 = -1 e746: - b63 - x1439 = -1 e747: - b64 - x1440 = -1 e748: - b65 - x1441 = -1 e749: - b66 - x1442 = -1 e750: - b67 - x1443 = -1 e751: - b68 - x1444 = -1 e752: - b69 - x1445 = -1 e753: - b70 - x1446 = -1 e754: - b71 - x1447 = -1 e755: - b72 - x1448 = -1 e756: - b73 - x1449 = -1 e757: - b74 - x1450 = -1 e758: - b75 - x1451 = -1 e759: - b76 - x1452 = -1 e760: - b77 - x1453 = -1 e761: - b78 - x1454 = -1 e762: - b79 - x1455 = -1 e763: - b80 - x1456 = -1 e764: - b81 - x1457 = -1 e765: - b82 - x1458 = -1 e766: - b83 - x1459 = -1 e767: - b84 - x1460 = -1 e768: - b85 - x1461 = -1 e769: - b86 - x1462 = -1 e770: - b87 - x1463 = -1 e771: - b88 - x1464 = -1 e772: - b89 - x1465 = -1 e773: - b90 - x1466 = -1 e774: - b91 - x1467 = -1 e775: - b92 - x1468 = -1 e776: - b93 - x1469 = -1 e777: - b94 - x1470 = -1 e778: - b95 - x1471 = -1 e779: - b96 - x1472 = -1 e780: - b97 - x1473 = -1 e781: - b98 - x1474 = -1 e782: - b99 - x1475 = -1 e783: - b100 - x1476 = -1 e784: - b101 - x1477 = -1 e785: - b102 - x1478 = -1 e786: - b103 - x1479 = -1 e787: - b104 - x1480 = -1 e788: - b105 - x1481 = -1 e789: - b106 - x1482 = -1 e790: - b107 - x1483 = -1 e791: - b108 - x1484 = -1 e792: - b109 - x1485 = -1 e793: - b110 - x1486 = -1 e794: - b111 - x1487 = -1 e795: - b112 - x1488 = -1 e796: - b113 - x1489 = -1 e797: - b114 - x1490 = -1 e798: - b115 - x1491 = -1 e799: - b116 - x1492 = -1 e800: - b117 - x1493 = -1 e801: - b118 - x1494 = -1 e802: - b119 - x1495 = -1 e803: - b120 - x1496 = -1 e804: - b121 - x1497 = -1 e805: - b122 - x1498 = -1 e806: - b123 - x1499 = -1 e807: - b124 - x1500 = -1 e808: - b125 - x1501 = -1 e809: - b126 - x1502 = -1 e810: - b127 - x1503 = -1 e811: - b128 - x1504 = -1 e812: - b129 - x1505 = -1 e813: - b130 - x1506 = -1 e814: - b131 - x1507 = -1 e815: - b132 - x1508 = -1 e816: - b133 - x1509 = -1 e817: - b134 - x1510 = -1 e818: - b135 - x1511 = -1 e819: - b136 - x1512 = -1 e820: - b137 - x1513 = -1 e821: - b138 - x1514 = -1 e822: - b139 - x1515 = -1 e823: - b140 - x1516 = -1 e824: - b141 - x1517 = -1 e825: - b142 - x1518 = -1 e826: - b143 - x1519 = -1 e827: - b144 - x1520 = -1 e828: - b145 - x1521 = -1 e829: - b146 - x1522 = -1 e830: - b147 - x1523 = -1 e831: - b148 - x1524 = -1 e832: - b149 - x1525 = -1 e833: - b150 - x1526 = -1 e834: - b151 - x1527 = -1 e835: - b152 - x1528 = -1 e836: - b153 - x1529 = -1 e837: - b154 - x1530 = -1 e838: - b155 - x1531 = -1 e839: - b156 - x1532 = -1 e840: - b157 - x1533 = -1 e841: - b158 - x1534 = -1 e842: - b159 - x1535 = -1 e843: - b160 - x1536 = -1 e844: - b161 - x1537 = -1 e845: - b162 - x1538 = -1 e846: - b163 - x1539 = -1 e847: - b164 - x1540 = -1 e848: - b165 - x1541 = -1 e849: - b166 - x1542 = -1 e850: - b167 - x1543 = -1 e851: - b168 - x1544 = -1 e852: - b169 - x1545 = -1 e853: - b170 - x1546 = -1 e854: - b171 - x1547 = -1 e855: - b172 - x1548 = -1 e856: - b173 - x1549 = -1 e857: - b174 - x1550 = -1 e858: - b175 - x1551 = -1 e859: - b176 - x1552 = -1 e860: - b177 - x1553 = -1 e861: - b178 - x1554 = -1 e862: - b179 - x1555 = -1 e863: - b180 - x1556 = -1 e864: - b181 - x1557 = -1 e865: - b182 - x1558 = -1 e866: - b183 - x1559 = -1 e867: - b184 - x1560 = -1 e868: - b185 - x1561 = -1 e869: - b186 - x1562 = -1 e870: - b187 - x1563 = -1 e871: - b188 - x1564 = -1 e872: - b189 - x1565 = -1 e873: - b190 - x1566 = -1 e874: - b191 - x1567 = -1 e875: - b192 - x1568 = -1 e876: - b193 - x1569 = -1 e877: - b194 - x1570 = -1 e878: - b195 - x1571 = -1 e879: - b196 - x1572 = -1 e880: - b197 - x1573 = -1 e881: - b198 - x1574 = -1 e882: - b199 - x1575 = -1 e883: - b200 - x1576 = -1 e884: - b201 - x1577 = -1 e885: - b202 - x1578 = -1 e886: - b203 - x1579 = -1 e887: - b204 - x1580 = -1 e888: - b205 - x1581 = -1 e889: - b206 - x1582 = -1 e890: - b207 - x1583 = -1 e891: - b208 - x1584 = -1 e892: - b209 - x1585 = -1 e893: - b210 - x1586 = -1 e894: - b211 - x1587 = -1 e895: - b212 - x1588 = -1 e896: - b213 - x1589 = -1 e897: - b214 - x1590 = -1 e898: - b215 - x1591 = -1 e899: - b216 - x1592 = -1 e900: - b217 - x1593 = -1 e901: - b218 - x1594 = -1 e902: - b219 - x1595 = -1 e903: - b220 - x1596 = -1 e904: - b221 - x1597 = -1 e905: - b222 - x1598 = -1 e906: - b223 - x1599 = -1 e907: - b224 - x1600 = -1 e908: - b225 - x1601 = -1 e909: - b226 - x1602 = -1 e910: - b227 - x1603 = -1 e911: - b228 - x1604 = -1 e912: - b229 - x1605 = -1 e913: - b230 - x1606 = -1 e914: - b231 - x1607 = -1 e915: - b232 - x1608 = -1 e916: - b233 - x1609 = -1 e917: - b234 - x1610 = -1 e918: - b235 - x1611 = -1 e919: - b236 - x1612 = -1 e920: - b237 - x1613 = -1 e921: - b238 - x1614 = -1 e922: - b239 - x1615 = -1 e923: - b240 - x1616 = -1 e924: - b241 - x1617 = -1 e925: - b242 - x1618 = -1 e926: - b243 - x1619 = -1 e927: - b244 - x1620 = -1 e928: - b245 - x1621 = -1 e929: - b246 - x1622 = -1 e930: - b247 - x1623 = -1 e931: - b248 - x1624 = -1 e932: - b249 - x1625 = -1 e933: - b250 - x1626 = -1 e934: - b251 - x1627 = -1 e935: - b252 - x1628 = -1 e936: - b253 - x1629 = -1 e937: - b254 - x1630 = -1 e938: - b255 - x1631 = -1 e939: - b256 - x1632 = -1 e940: - b257 - x1633 = -1 e941: - b258 - x1634 = -1 e942: - b259 - x1635 = -1 e943: - b260 - x1636 = -1 e944: - b261 - x1637 = -1 e945: - b262 - x1638 = -1 e946: - b263 - x1639 = -1 e947: - b264 - x1640 = -1 e948: - b265 - x1641 = -1 e949: - b266 - x1642 = -1 e950: - b267 - x1643 = -1 e951: - b268 - x1644 = -1 e952: - b269 - x1645 = -1 e953: - b270 - x1646 = -1 e954: - b271 - x1647 = -1 e955: - b272 - x1648 = -1 e956: - b273 - x1649 = -1 e957: - b274 - x1650 = -1 e958: - b275 - x1651 = -1 e959: - b276 - x1652 = -1 e960: - b277 - x1653 = -1 e961: - b278 - x1654 = -1 e962: - b279 - x1655 = -1 e963: - b280 - x1656 = -1 e964: - b281 - x1657 = -1 e965: - b282 - x1658 = -1 e966: - b283 - x1659 = -1 e967: - b284 - x1660 = -1 e968: - b285 - x1661 = -1 e969: - b286 - x1662 = -1 e970: - b287 - x1663 = -1 e971: - b288 - x1664 = -1 e972: - b289 - x1665 = -1 e973: - b290 - x1666 = -1 e974: - b291 - x1667 = -1 e975: - b292 - x1668 = -1 e976: - b293 - x1669 = -1 e977: - b294 - x1670 = -1 e978: - b295 - x1671 = -1 e979: - b296 - x1672 = -1 e980: - b297 - x1673 = -1 e981: - b298 - x1674 = -1 e982: - b299 - x1675 = -1 e983: - b300 - x1676 = -1 e984: - b301 - x1677 = -1 e985: - b302 - x1678 = -1 e986: - b303 - x1679 = -1 e987: - b304 - x1680 = -1 e988: - b305 - x1681 = -1 e989: - b306 - x1682 = -1 e990: - b307 - x1683 = -1 e991: - b308 - x1684 = -1 e992: - b309 - x1685 = -1 e993: - b310 - x1686 = -1 e994: - b311 - x1687 = -1 e995: - b312 - x1688 = -1 e996: - b313 - x1689 = -1 e997: - b314 - x1690 = -1 e998: - b315 - x1691 = -1 e999: - b316 - x1692 = -1 e1000: - b317 - x1693 = -1 e1001: - b318 - x1694 = -1 e1002: - b319 - x1695 = -1 e1003: - b320 - x1696 = -1 e1004: - b321 - x1697 = -1 e1005: - b322 - x1698 = -1 e1006: - b323 - x1699 = -1 e1007: - b324 - x1700 = -1 e1008: - b325 - x1701 = -1 e1009: - b326 - x1702 = -1 e1010: - b327 - x1703 = -1 e1011: - b328 - x1704 = -1 e1012: - b329 - x1705 = -1 e1013: - b330 - x1706 = -1 e1014: - b331 - x1707 = -1 e1015: - b332 - x1708 = -1 e1016: - b333 - x1709 = -1 e1017: - b334 - x1710 = -1 e1018: - b335 - x1711 = -1 e1019: - b336 - x1712 = -1 e1020: - b337 - x1713 = -1 e1021: - b338 - x1714 = -1 e1022: - b339 - x1715 = -1 e1023: - b340 - x1716 = -1 e1024: - b341 - x1717 = -1 e1025: - b342 - x1718 = -1 e1026: - b343 - x1719 = -1 e1027: - b344 - x1720 = -1 e1028: - b345 - x1721 = -1 e1029: - b346 - x1722 = -1 e1030: - b347 - x1723 = -1 e1031: - b348 - x1724 = -1 e1032: - b349 - x1725 = -1 e1033: - b350 - x1726 = -1 e1034: - b351 - x1727 = -1 e1035: - b352 - x1728 = -1 e1036: - b353 - x1729 = -1 e1037: - b354 - x1730 = -1 e1038: - b355 - x1731 = -1 e1039: - b356 - x1732 = -1 e1040: - b357 - x1733 = -1 e1041: - b358 - x1734 = -1 e1042: - b359 - x1735 = -1 e1043: - b360 - x1736 = -1 e1044: - b361 - x1737 = -1 e1045: - b362 - x1738 = -1 e1046: - b363 - x1739 = -1 e1047: - b364 - x1740 = -1 e1048: - b365 - x1741 = -1 e1049: - b366 - x1742 = -1 e1050: - b367 - x1743 = -1 e1051: - b368 - x1744 = -1 e1052: - b369 - x1745 = -1 e1053: - b370 - x1746 = -1 e1054: - b371 - x1747 = -1 e1055: - b372 - x1748 = -1 e1056: - b373 - x1749 = -1 e1057: - b374 - x1750 = -1 e1058: - b375 - x1751 = -1 e1059: - b376 - x1752 = -1 e1060: - b377 - x1753 = -1 e1061: - b378 - x1754 = -1 e1062: - b379 - x1755 = -1 e1063: - b380 - x1756 = -1 e1064: - b381 - x1757 = -1 e1065: - b382 - x1758 = -1 e1066: - b383 - x1759 = -1 e1067: - b384 - x1760 = -1 e1068: - b385 - x1761 = -1 e1069: - b386 - x1762 = -1 e1070: - b387 - x1763 = -1 e1071: - b388 - x1764 = -1 e1072: - b389 - x1765 = -1 e1073: - b390 - x1766 = -1 e1074: - b391 - x1767 = -1 e1075: - b392 - x1768 = -1 e1076: - b393 - x1769 = -1 e1077: - b394 - x1770 = -1 e1078: - b395 - x1771 = -1 e1079: - b396 - x1772 = -1 e1080: - b397 - x1773 = -1 e1081: - b398 - x1774 = -1 e1082: - b399 - x1775 = -1 e1083: - b400 - x1776 = -1 e1084: - b401 - x1777 = -1 e1085: - b402 - x1778 = -1 e1086: - b403 - x1779 = -1 e1087: - b404 - x1780 = -1 e1088: - b405 - x1781 = -1 e1089: - b406 - x1782 = -1 e1090: - b407 - x1783 = -1 e1091: - b408 - x1784 = -1 e1092: - b409 - x1785 = -1 e1093: - b410 - x1786 = -1 e1094: - b411 - x1787 = -1 e1095: - b412 - x1788 = -1 e1096: - b413 - x1789 = -1 e1097: - b414 - x1790 = -1 e1098: - b415 - x1791 = -1 e1099: - b416 - x1792 = -1 e1100: - b417 - x1793 = -1 e1101: - b418 - x1794 = -1 e1102: - b419 - x1795 = -1 e1103: - b420 - x1796 = -1 e1104: - b421 - x1797 = -1 e1105: - b422 - x1798 = -1 e1106: - b423 - x1799 = -1 e1107: - b424 - x1800 = -1 e1108: - b425 - x1801 = -1 e1109: - b426 - x1802 = -1 e1110: - b427 - x1803 = -1 e1111: - b428 - x1804 = -1 e1112: - b429 - x1805 = -1 e1113: - b430 - x1806 = -1 e1114: - b431 - x1807 = -1 e1115: - b432 - x1808 = -1 e1116: - b433 - x1809 = -1 e1117: - b434 - x1810 = -1 e1118: - b435 - x1811 = -1 e1119: - b436 - x1812 = -1 e1120: - b437 - x1813 = -1 e1121: - b438 - x1814 = -1 e1122: - b439 - x1815 = -1 e1123: - b440 - x1816 = -1 e1124: - b441 - x1817 = -1 e1125: - b442 - x1818 = -1 e1126: - b443 - x1819 = -1 e1127: - b444 - x1820 = -1 e1128: - b445 - x1821 = -1 e1129: - b446 - x1822 = -1 e1130: - b447 - x1823 = -1 e1131: - b448 - x1824 = -1 e1132: - b449 - x1825 = -1 e1133: - b450 - x1826 = -1 e1134: - b451 - x1827 = -1 e1135: - b452 - x1828 = -1 e1136: - b453 - x1829 = -1 e1137: - b454 - x1830 = -1 e1138: - b455 - x1831 = -1 e1139: - b456 - x1832 = -1 e1140: - b457 - x1833 = -1 e1141: - b458 - x1834 = -1 e1142: - b459 - x1835 = -1 e1143: - b460 - x1836 = -1 e1144: - b461 - x1837 = -1 e1145: - b462 - x1838 = -1 e1146: - b463 - x1839 = -1 e1147: - b464 - x1840 = -1 e1148: - b465 - x1841 = -1 e1149: - b466 - x1842 = -1 e1150: - b467 - x1843 = -1 e1151: - b468 - x1844 = -1 e1152: - b469 - x1845 = -1 e1153: - b470 - x1846 = -1 e1154: - b471 - x1847 = -1 e1155: - b472 - x1848 = -1 e1156: - b473 - x1849 = -1 e1157: - b474 - x1850 = -1 e1158: - b475 - x1851 = -1 e1159: - b476 - x1852 = -1 e1160: - b477 - x1853 = -1 e1161: - b478 - x1854 = -1 e1162: - b479 - x1855 = -1 e1163: - b480 - x1856 = -1 e1164: - b481 - x1857 = -1 e1165: - b482 - x1858 = -1 e1166: - b483 - x1859 = -1 e1167: - b484 - x1860 = -1 e1168: - b485 - x1861 = -1 e1169: - b486 - x1862 = -1 e1170: - b487 - x1863 = -1 e1171: - b488 - x1864 = -1 e1172: - b489 - x1865 = -1 e1173: - b490 - x1866 = -1 e1174: - b491 - x1867 = -1 e1175: - b492 - x1868 = -1 e1176: - b493 - x1869 = -1 e1177: - b494 - x1870 = -1 e1178: - b495 - x1871 = -1 e1179: - b496 - x1872 = -1 e1180: - b497 - x1873 = -1 e1181: - b498 - x1874 = -1 e1182: - b499 - x1875 = -1 e1183: - b500 - x1876 = -1 e1184: - b501 - x1877 = -1 e1185: - b502 - x1878 = -1 e1186: - b503 - x1879 = -1 e1187: - b504 - x1880 = -1 e1188: - b505 - x1881 = -1 e1189: - b506 - x1882 = -1 e1190: - b507 - x1883 = -1 e1191: - b508 - x1884 = -1 e1192: - b509 - x1885 = -1 e1193: - b510 - x1886 = -1 e1194: - b511 - x1887 = -1 e1195: - b512 - x1888 = -1 e1196: - b513 - x1889 = -1 e1197: - b514 - x1890 = -1 e1198: - b515 - x1891 = -1 e1199: - b516 - x1892 = -1 e1200: - b517 - x1893 = -1 e1201: - b518 - x1894 = -1 e1202: - b519 - x1895 = -1 e1203: - b520 - x1896 = -1 e1204: - b521 - x1897 = -1 e1205: - b522 - x1898 = -1 e1206: - b523 - x1899 = -1 e1207: - b524 - x1900 = -1 e1208: - b525 - x1901 = -1 e1209: - b526 - x1902 = -1 e1210: - b527 - x1903 = -1 e1211: - b528 - x1904 = -1 e1212: - b529 - x1905 = -1 e1213: - b530 - x1906 = -1 e1214: - b531 - x1907 = -1 e1215: - b532 - x1908 = -1 e1216: - b533 - x1909 = -1 e1217: - b534 - x1910 = -1 e1218: - b535 - x1911 = -1 e1219: - b536 - x1912 = -1 e1220: - b537 - x1913 = -1 e1221: - b538 - x1914 = -1 e1222: - b539 - x1915 = -1 e1223: - b540 - x1916 = -1 e1224: - b541 - x1917 = -1 e1225: - b542 - x1918 = -1 e1226: - b543 - x1919 = -1 e1227: - b544 - x1920 = -1 e1228: - b545 - x1921 = -1 e1229: - b546 - x1922 = -1 e1230: - b547 - x1923 = -1 e1231: - b548 - x1924 = -1 e1232: - b549 - x1925 = -1 e1233: - b550 - x1926 = -1 e1234: - b551 - x1927 = -1 e1235: - b552 - x1928 = -1 e1236: - b553 - x1929 = -1 e1237: - b554 - x1930 = -1 e1238: - b555 - x1931 = -1 e1239: - b556 - x1932 = -1 e1240: - b557 - x1933 = -1 e1241: - b558 - x1934 = -1 e1242: - b559 - x1935 = -1 e1243: - b560 - x1936 = -1 e1244: - b561 - x1937 = -1 e1245: - b562 - x1938 = -1 e1246: - b563 - x1939 = -1 e1247: - b564 - x1940 = -1 e1248: - b565 - x1941 = -1 e1249: - b566 - x1942 = -1 e1250: - b567 - x1943 = -1 e1251: - b568 - x1944 = -1 e1252: - b569 - x1945 = -1 e1253: - b570 - x1946 = -1 e1254: - b571 - x1947 = -1 e1255: - b572 - x1948 = -1 e1256: - b573 - x1949 = -1 e1257: - b574 - x1950 = -1 e1258: - b575 - x1951 = -1 e1259: - b576 - x1952 = -1 e1260: - b577 - x1953 = -1 e1261: - b578 - x1954 = -1 e1262: - b579 - x1955 = -1 e1263: - b580 - x1956 = -1 e1264: - b581 - x1957 = -1 e1265: - b582 - x1958 = -1 e1266: - b583 - x1959 = -1 e1267: - b584 - x1960 = -1 e1268: - b585 - x1961 = -1 e1269: - b586 - x1962 = -1 e1270: - b587 - x1963 = -1 e1271: - b588 - x1964 = -1 e1272: - b589 - x1965 = -1 e1273: - b590 - x1966 = -1 e1274: - b591 - x1967 = -1 e1275: - b592 - x1968 = -1 e1276: - b593 - x1969 = -1 e1277: - b594 - x1970 = -1 e1278: - b595 - x1971 = -1 e1279: - b596 - x1972 = -1 e1280: - b597 - x1973 = -1 e1281: - b598 - x1974 = -1 e1282: - b599 - x1975 = -1 e1283: - b600 - x1976 = -1 e1284: - b601 - x1977 = -1 e1285: - b602 - x1978 = -1 e1286: - b603 - x1979 = -1 e1287: - b604 - x1980 = -1 e1288: - b605 - x1981 = -1 e1289: - b606 - x1982 = -1 e1290: - b607 - x1983 = -1 e1291: - b608 - x1984 = -1 e1292: - b609 - x1985 = -1 e1293: - b610 - x1986 = -1 e1294: - b611 - x1987 = -1 e1295: - b612 - x1988 = -1 e1296: - b613 - x1989 = -1 e1297: - b614 - x1990 = -1 e1298: - b615 - x1991 = -1 e1299: - b616 - x1992 = -1 e1300: - b617 - x1993 = -1 e1301: - b618 - x1994 = -1 e1302: - b619 - x1995 = -1 e1303: - b620 - x1996 = -1 e1304: - b621 - x1997 = -1 e1305: - b622 - x1998 = -1 e1306: - b623 - x1999 = -1 e1307: - b624 - x2000 = -1 e1308: - b625 - x2001 = -1 e1309: - b626 - x2002 = -1 e1310: - b627 - x2003 = -1 e1311: - b628 - x2004 = -1 e1312: - b629 - x2005 = -1 e1313: - b630 - x2006 = -1 e1314: - b631 - x2007 = -1 e1315: - b632 - x2008 = -1 e1316: - b633 - x2009 = -1 e1317: - b634 - x2010 = -1 e1318: - b635 - x2011 = -1 e1319: - b636 - x2012 = -1 e1320: - b637 - x2013 = -1 e1321: - b638 - x2014 = -1 e1322: - b639 - x2015 = -1 e1323: - b640 - x2016 = -1 e1324: - b641 - x2017 = -1 e1325: - b642 - x2018 = -1 e1326: - b643 - x2019 = -1 e1327: - b644 - x2020 = -1 e1328: - b645 - x2021 = -1 e1329: - b646 - x2022 = -1 e1330: - b647 - x2023 = -1 e1331: - b648 - x2024 = -1 e1332: - b649 - x2025 = -1 e1333: - b650 - x2026 = -1 e1334: - b651 - x2027 = -1 e1335: - b652 - x2028 = -1 e1336: - b653 - x2029 = -1 e1337: - b654 - x2030 = -1 e1338: - b655 - x2031 = -1 e1339: - b656 - x2032 = -1 e1340: - b657 - x2033 = -1 e1341: - b658 - x2034 = -1 e1342: - b659 - x2035 = -1 e1343: - b660 - x2036 = -1 e1344: - b661 - x2037 = -1 e1345: - b662 - x2038 = -1 e1346: - b663 - x2039 = -1 e1347: - b664 - x2040 = -1 e1348: - b665 - x2041 = -1 e1349: - b666 - x2042 = -1 e1350: - b667 - x2043 = -1 e1351: - b668 - x2044 = -1 e1352: - b669 - x2045 = -1 e1353: - b670 - x2046 = -1 e1354: - b671 - x2047 = -1 e1355: - b672 - x2048 = -1 e1356: - b673 - x2049 = -1 e1357: - b674 - x2050 = -1 e1358: - b675 - x2051 = -1 e1359: - b676 - x2052 = -1 e1360: - b677 - x2053 = -1 e1361: - b678 - x2054 = -1 e1362: - b679 - x2055 = -1 e1363: - b680 - x2056 = -1 e1364: - b681 - x2057 = -1 e1365: - b682 - x2058 = -1 e1366: - b683 - x2059 = -1 e1367: - b684 - x2060 = -1 e1368: [ x695 * x1378 ] = 0 e1369: [ x696 * x1379 ] = 0 e1370: [ x697 * x1380 ] = 0 e1371: [ x698 * x1381 ] = 0 e1372: [ x699 * x1382 ] = 0 e1373: [ x700 * x1383 ] = 0 e1374: [ x701 * x1384 ] = 0 e1375: [ x702 * x1385 ] = 0 e1376: [ x703 * x1386 ] = 0 e1377: [ x704 * x1387 ] = 0 e1378: [ x705 * x1388 ] = 0 e1379: [ x706 * x1389 ] = 0 e1380: [ x707 * x1390 ] = 0 e1381: [ x708 * x1391 ] = 0 e1382: [ x709 * x1392 ] = 0 e1383: [ x710 * x1393 ] = 0 e1384: [ x711 * x1394 ] = 0 e1385: [ x712 * x1395 ] = 0 e1386: [ x713 * x1396 ] = 0 e1387: [ x714 * x1397 ] = 0 e1388: [ x715 * x1398 ] = 0 e1389: [ x716 * x1399 ] = 0 e1390: [ x717 * x1400 ] = 0 e1391: [ x718 * x1401 ] = 0 e1392: [ x719 * x1402 ] = 0 e1393: [ x720 * x1403 ] = 0 e1394: [ x721 * x1404 ] = 0 e1395: [ x722 * x1405 ] = 0 e1396: [ x723 * x1406 ] = 0 e1397: [ x724 * x1407 ] = 0 e1398: [ x725 * x1408 ] = 0 e1399: [ x726 * x1409 ] = 0 e1400: [ x727 * x1410 ] = 0 e1401: [ x728 * x1411 ] = 0 e1402: [ x729 * x1412 ] = 0 e1403: [ x730 * x1413 ] = 0 e1404: [ x731 * x1414 ] = 0 e1405: [ x732 * x1415 ] = 0 e1406: [ x733 * x1416 ] = 0 e1407: [ x734 * x1417 ] = 0 e1408: [ x735 * x1418 ] = 0 e1409: [ x736 * x1419 ] = 0 e1410: [ x737 * x1420 ] = 0 e1411: [ x738 * x1421 ] = 0 e1412: [ x739 * x1422 ] = 0 e1413: [ x740 * x1423 ] = 0 e1414: [ x741 * x1424 ] = 0 e1415: [ x742 * x1425 ] = 0 e1416: [ x743 * x1426 ] = 0 e1417: [ x744 * x1427 ] = 0 e1418: [ x745 * x1428 ] = 0 e1419: [ x746 * x1429 ] = 0 e1420: [ x747 * x1430 ] = 0 e1421: [ x748 * x1431 ] = 0 e1422: [ x749 * x1432 ] = 0 e1423: [ x750 * x1433 ] = 0 e1424: [ x751 * x1434 ] = 0 e1425: [ x752 * x1435 ] = 0 e1426: [ x753 * x1436 ] = 0 e1427: [ x754 * x1437 ] = 0 e1428: [ x755 * x1438 ] = 0 e1429: [ x756 * x1439 ] = 0 e1430: [ x757 * x1440 ] = 0 e1431: [ x758 * x1441 ] = 0 e1432: [ x759 * x1442 ] = 0 e1433: [ x760 * x1443 ] = 0 e1434: [ x761 * x1444 ] = 0 e1435: [ x762 * x1445 ] = 0 e1436: [ x763 * x1446 ] = 0 e1437: [ x764 * x1447 ] = 0 e1438: [ x765 * x1448 ] = 0 e1439: [ x766 * x1449 ] = 0 e1440: [ x767 * x1450 ] = 0 e1441: [ x768 * x1451 ] = 0 e1442: [ x769 * x1452 ] = 0 e1443: [ x770 * x1453 ] = 0 e1444: [ x771 * x1454 ] = 0 e1445: [ x772 * x1455 ] = 0 e1446: [ x773 * x1456 ] = 0 e1447: [ x774 * x1457 ] = 0 e1448: [ x775 * x1458 ] = 0 e1449: [ x776 * x1459 ] = 0 e1450: [ x777 * x1460 ] = 0 e1451: [ x778 * x1461 ] = 0 e1452: [ x779 * x1462 ] = 0 e1453: [ x780 * x1463 ] = 0 e1454: [ x781 * x1464 ] = 0 e1455: [ x782 * x1465 ] = 0 e1456: [ x783 * x1466 ] = 0 e1457: [ x784 * x1467 ] = 0 e1458: [ x785 * x1468 ] = 0 e1459: [ x786 * x1469 ] = 0 e1460: [ x787 * x1470 ] = 0 e1461: [ x788 * x1471 ] = 0 e1462: [ x789 * x1472 ] = 0 e1463: [ x790 * x1473 ] = 0 e1464: [ x791 * x1474 ] = 0 e1465: [ x792 * x1475 ] = 0 e1466: [ x793 * x1476 ] = 0 e1467: [ x794 * x1477 ] = 0 e1468: [ x795 * x1478 ] = 0 e1469: [ x796 * x1479 ] = 0 e1470: [ x797 * x1480 ] = 0 e1471: [ x798 * x1481 ] = 0 e1472: [ x799 * x1482 ] = 0 e1473: [ x800 * x1483 ] = 0 e1474: [ x801 * x1484 ] = 0 e1475: [ x802 * x1485 ] = 0 e1476: [ x803 * x1486 ] = 0 e1477: [ x804 * x1487 ] = 0 e1478: [ x805 * x1488 ] = 0 e1479: [ x806 * x1489 ] = 0 e1480: [ x807 * x1490 ] = 0 e1481: [ x808 * x1491 ] = 0 e1482: [ x809 * x1492 ] = 0 e1483: [ x810 * x1493 ] = 0 e1484: [ x811 * x1494 ] = 0 e1485: [ x812 * x1495 ] = 0 e1486: [ x813 * x1496 ] = 0 e1487: [ x814 * x1497 ] = 0 e1488: [ x815 * x1498 ] = 0 e1489: [ x816 * x1499 ] = 0 e1490: [ x817 * x1500 ] = 0 e1491: [ x818 * x1501 ] = 0 e1492: [ x819 * x1502 ] = 0 e1493: [ x820 * x1503 ] = 0 e1494: [ x821 * x1504 ] = 0 e1495: [ x822 * x1505 ] = 0 e1496: [ x823 * x1506 ] = 0 e1497: [ x824 * x1507 ] = 0 e1498: [ x825 * x1508 ] = 0 e1499: [ x826 * x1509 ] = 0 e1500: [ x827 * x1510 ] = 0 e1501: [ x828 * x1511 ] = 0 e1502: [ x829 * x1512 ] = 0 e1503: [ x830 * x1513 ] = 0 e1504: [ x831 * x1514 ] = 0 e1505: [ x832 * x1515 ] = 0 e1506: [ x833 * x1516 ] = 0 e1507: [ x834 * x1517 ] = 0 e1508: [ x835 * x1518 ] = 0 e1509: [ x836 * x1519 ] = 0 e1510: [ x837 * x1520 ] = 0 e1511: [ x838 * x1521 ] = 0 e1512: [ x839 * x1522 ] = 0 e1513: [ x840 * x1523 ] = 0 e1514: [ x841 * x1524 ] = 0 e1515: [ x842 * x1525 ] = 0 e1516: [ x843 * x1526 ] = 0 e1517: [ x844 * x1527 ] = 0 e1518: [ x845 * x1528 ] = 0 e1519: [ x846 * x1529 ] = 0 e1520: [ x847 * x1530 ] = 0 e1521: [ x848 * x1531 ] = 0 e1522: [ x849 * x1532 ] = 0 e1523: [ x850 * x1533 ] = 0 e1524: [ x851 * x1534 ] = 0 e1525: [ x852 * x1535 ] = 0 e1526: [ x853 * x1536 ] = 0 e1527: [ x854 * x1537 ] = 0 e1528: [ x855 * x1538 ] = 0 e1529: [ x856 * x1539 ] = 0 e1530: [ x857 * x1540 ] = 0 e1531: [ x858 * x1541 ] = 0 e1532: [ x859 * x1542 ] = 0 e1533: [ x860 * x1543 ] = 0 e1534: [ x861 * x1544 ] = 0 e1535: [ x862 * x1545 ] = 0 e1536: [ x863 * x1546 ] = 0 e1537: [ x864 * x1547 ] = 0 e1538: [ x865 * x1548 ] = 0 e1539: [ x866 * x1549 ] = 0 e1540: [ x867 * x1550 ] = 0 e1541: [ x868 * x1551 ] = 0 e1542: [ x869 * x1552 ] = 0 e1543: [ x870 * x1553 ] = 0 e1544: [ x871 * x1554 ] = 0 e1545: [ x872 * x1555 ] = 0 e1546: [ x873 * x1556 ] = 0 e1547: [ x874 * x1557 ] = 0 e1548: [ x875 * x1558 ] = 0 e1549: [ x876 * x1559 ] = 0 e1550: [ x877 * x1560 ] = 0 e1551: [ x878 * x1561 ] = 0 e1552: [ x879 * x1562 ] = 0 e1553: [ x880 * x1563 ] = 0 e1554: [ x881 * x1564 ] = 0 e1555: [ x882 * x1565 ] = 0 e1556: [ x883 * x1566 ] = 0 e1557: [ x884 * x1567 ] = 0 e1558: [ x885 * x1568 ] = 0 e1559: [ x886 * x1569 ] = 0 e1560: [ x887 * x1570 ] = 0 e1561: [ x888 * x1571 ] = 0 e1562: [ x889 * x1572 ] = 0 e1563: [ x890 * x1573 ] = 0 e1564: [ x891 * x1574 ] = 0 e1565: [ x892 * x1575 ] = 0 e1566: [ x893 * x1576 ] = 0 e1567: [ x894 * x1577 ] = 0 e1568: [ x895 * x1578 ] = 0 e1569: [ x896 * x1579 ] = 0 e1570: [ x897 * x1580 ] = 0 e1571: [ x898 * x1581 ] = 0 e1572: [ x899 * x1582 ] = 0 e1573: [ x900 * x1583 ] = 0 e1574: [ x901 * x1584 ] = 0 e1575: [ x902 * x1585 ] = 0 e1576: [ x903 * x1586 ] = 0 e1577: [ x904 * x1587 ] = 0 e1578: [ x905 * x1588 ] = 0 e1579: [ x906 * x1589 ] = 0 e1580: [ x907 * x1590 ] = 0 e1581: [ x908 * x1591 ] = 0 e1582: [ x909 * x1592 ] = 0 e1583: [ x910 * x1593 ] = 0 e1584: [ x911 * x1594 ] = 0 e1585: [ x912 * x1595 ] = 0 e1586: [ x913 * x1596 ] = 0 e1587: [ x914 * x1597 ] = 0 e1588: [ x915 * x1598 ] = 0 e1589: [ x916 * x1599 ] = 0 e1590: [ x917 * x1600 ] = 0 e1591: [ x918 * x1601 ] = 0 e1592: [ x919 * x1602 ] = 0 e1593: [ x920 * x1603 ] = 0 e1594: [ x921 * x1604 ] = 0 e1595: [ x922 * x1605 ] = 0 e1596: [ x923 * x1606 ] = 0 e1597: [ x924 * x1607 ] = 0 e1598: [ x925 * x1608 ] = 0 e1599: [ x926 * x1609 ] = 0 e1600: [ x927 * x1610 ] = 0 e1601: [ x928 * x1611 ] = 0 e1602: [ x929 * x1612 ] = 0 e1603: [ x930 * x1613 ] = 0 e1604: [ x931 * x1614 ] = 0 e1605: [ x932 * x1615 ] = 0 e1606: [ x933 * x1616 ] = 0 e1607: [ x934 * x1617 ] = 0 e1608: [ x935 * x1618 ] = 0 e1609: [ x936 * x1619 ] = 0 e1610: [ x937 * x1620 ] = 0 e1611: [ x938 * x1621 ] = 0 e1612: [ x939 * x1622 ] = 0 e1613: [ x940 * x1623 ] = 0 e1614: [ x941 * x1624 ] = 0 e1615: [ x942 * x1625 ] = 0 e1616: [ x943 * x1626 ] = 0 e1617: [ x944 * x1627 ] = 0 e1618: [ x945 * x1628 ] = 0 e1619: [ x946 * x1629 ] = 0 e1620: [ x947 * x1630 ] = 0 e1621: [ x948 * x1631 ] = 0 e1622: [ x949 * x1632 ] = 0 e1623: [ x950 * x1633 ] = 0 e1624: [ x951 * x1634 ] = 0 e1625: [ x952 * x1635 ] = 0 e1626: [ x953 * x1636 ] = 0 e1627: [ x954 * x1637 ] = 0 e1628: [ x955 * x1638 ] = 0 e1629: [ x956 * x1639 ] = 0 e1630: [ x957 * x1640 ] = 0 e1631: [ x958 * x1641 ] = 0 e1632: [ x959 * x1642 ] = 0 e1633: [ x960 * x1643 ] = 0 e1634: [ x961 * x1644 ] = 0 e1635: [ x962 * x1645 ] = 0 e1636: [ x963 * x1646 ] = 0 e1637: [ x964 * x1647 ] = 0 e1638: [ x965 * x1648 ] = 0 e1639: [ x966 * x1649 ] = 0 e1640: [ x967 * x1650 ] = 0 e1641: [ x968 * x1651 ] = 0 e1642: [ x969 * x1652 ] = 0 e1643: [ x970 * x1653 ] = 0 e1644: [ x971 * x1654 ] = 0 e1645: [ x972 * x1655 ] = 0 e1646: [ x973 * x1656 ] = 0 e1647: [ x974 * x1657 ] = 0 e1648: [ x975 * x1658 ] = 0 e1649: [ x976 * x1659 ] = 0 e1650: [ x977 * x1660 ] = 0 e1651: [ x978 * x1661 ] = 0 e1652: [ x979 * x1662 ] = 0 e1653: [ x980 * x1663 ] = 0 e1654: [ x981 * x1664 ] = 0 e1655: [ x982 * x1665 ] = 0 e1656: [ x983 * x1666 ] = 0 e1657: [ x984 * x1667 ] = 0 e1658: [ x985 * x1668 ] = 0 e1659: [ x986 * x1669 ] = 0 e1660: [ x987 * x1670 ] = 0 e1661: [ x988 * x1671 ] = 0 e1662: [ x989 * x1672 ] = 0 e1663: [ x990 * x1673 ] = 0 e1664: [ x991 * x1674 ] = 0 e1665: [ x992 * x1675 ] = 0 e1666: [ x993 * x1676 ] = 0 e1667: [ x994 * x1677 ] = 0 e1668: [ x995 * x1678 ] = 0 e1669: [ x996 * x1679 ] = 0 e1670: [ x997 * x1680 ] = 0 e1671: [ x998 * x1681 ] = 0 e1672: [ x999 * x1682 ] = 0 e1673: [ x1000 * x1683 ] = 0 e1674: [ x1001 * x1684 ] = 0 e1675: [ x1002 * x1685 ] = 0 e1676: [ x1003 * x1686 ] = 0 e1677: [ x1004 * x1687 ] = 0 e1678: [ x1005 * x1688 ] = 0 e1679: [ x1006 * x1689 ] = 0 e1680: [ x1007 * x1690 ] = 0 e1681: [ x1008 * x1691 ] = 0 e1682: [ x1009 * x1692 ] = 0 e1683: [ x1010 * x1693 ] = 0 e1684: [ x1011 * x1694 ] = 0 e1685: [ x1012 * x1695 ] = 0 e1686: [ x1013 * x1696 ] = 0 e1687: [ x1014 * x1697 ] = 0 e1688: [ x1015 * x1698 ] = 0 e1689: [ x1016 * x1699 ] = 0 e1690: [ x1017 * x1700 ] = 0 e1691: [ x1018 * x1701 ] = 0 e1692: [ x1019 * x1702 ] = 0 e1693: [ x1020 * x1703 ] = 0 e1694: [ x1021 * x1704 ] = 0 e1695: [ x1022 * x1705 ] = 0 e1696: [ x1023 * x1706 ] = 0 e1697: [ x1024 * x1707 ] = 0 e1698: [ x1025 * x1708 ] = 0 e1699: [ x1026 * x1709 ] = 0 e1700: [ x1027 * x1710 ] = 0 e1701: [ x1028 * x1711 ] = 0 e1702: [ x1029 * x1712 ] = 0 e1703: [ x1030 * x1713 ] = 0 e1704: [ x1031 * x1714 ] = 0 e1705: [ x1032 * x1715 ] = 0 e1706: [ x1033 * x1716 ] = 0 e1707: [ x1034 * x1717 ] = 0 e1708: [ x1035 * x1718 ] = 0 e1709: [ x1036 * x1719 ] = 0 e1710: [ x1037 * x1720 ] = 0 e1711: [ x1038 * x1721 ] = 0 e1712: [ x1039 * x1722 ] = 0 e1713: [ x1040 * x1723 ] = 0 e1714: [ x1041 * x1724 ] = 0 e1715: [ x1042 * x1725 ] = 0 e1716: [ x1043 * x1726 ] = 0 e1717: [ x1044 * x1727 ] = 0 e1718: [ x1045 * x1728 ] = 0 e1719: [ x1046 * x1729 ] = 0 e1720: [ x1047 * x1730 ] = 0 e1721: [ x1048 * x1731 ] = 0 e1722: [ x1049 * x1732 ] = 0 e1723: [ x1050 * x1733 ] = 0 e1724: [ x1051 * x1734 ] = 0 e1725: [ x1052 * x1735 ] = 0 e1726: [ x1053 * x1736 ] = 0 e1727: [ x1054 * x1737 ] = 0 e1728: [ x1055 * x1738 ] = 0 e1729: [ x1056 * x1739 ] = 0 e1730: [ x1057 * x1740 ] = 0 e1731: [ x1058 * x1741 ] = 0 e1732: [ x1059 * x1742 ] = 0 e1733: [ x1060 * x1743 ] = 0 e1734: [ x1061 * x1744 ] = 0 e1735: [ x1062 * x1745 ] = 0 e1736: [ x1063 * x1746 ] = 0 e1737: [ x1064 * x1747 ] = 0 e1738: [ x1065 * x1748 ] = 0 e1739: [ x1066 * x1749 ] = 0 e1740: [ x1067 * x1750 ] = 0 e1741: [ x1068 * x1751 ] = 0 e1742: [ x1069 * x1752 ] = 0 e1743: [ x1070 * x1753 ] = 0 e1744: [ x1071 * x1754 ] = 0 e1745: [ x1072 * x1755 ] = 0 e1746: [ x1073 * x1756 ] = 0 e1747: [ x1074 * x1757 ] = 0 e1748: [ x1075 * x1758 ] = 0 e1749: [ x1076 * x1759 ] = 0 e1750: [ x1077 * x1760 ] = 0 e1751: [ x1078 * x1761 ] = 0 e1752: [ x1079 * x1762 ] = 0 e1753: [ x1080 * x1763 ] = 0 e1754: [ x1081 * x1764 ] = 0 e1755: [ x1082 * x1765 ] = 0 e1756: [ x1083 * x1766 ] = 0 e1757: [ x1084 * x1767 ] = 0 e1758: [ x1085 * x1768 ] = 0 e1759: [ x1086 * x1769 ] = 0 e1760: [ x1087 * x1770 ] = 0 e1761: [ x1088 * x1771 ] = 0 e1762: [ x1089 * x1772 ] = 0 e1763: [ x1090 * x1773 ] = 0 e1764: [ x1091 * x1774 ] = 0 e1765: [ x1092 * x1775 ] = 0 e1766: [ x1093 * x1776 ] = 0 e1767: [ x1094 * x1777 ] = 0 e1768: [ x1095 * x1778 ] = 0 e1769: [ x1096 * x1779 ] = 0 e1770: [ x1097 * x1780 ] = 0 e1771: [ x1098 * x1781 ] = 0 e1772: [ x1099 * x1782 ] = 0 e1773: [ x1100 * x1783 ] = 0 e1774: [ x1101 * x1784 ] = 0 e1775: [ x1102 * x1785 ] = 0 e1776: [ x1103 * x1786 ] = 0 e1777: [ x1104 * x1787 ] = 0 e1778: [ x1105 * x1788 ] = 0 e1779: [ x1106 * x1789 ] = 0 e1780: [ x1107 * x1790 ] = 0 e1781: [ x1108 * x1791 ] = 0 e1782: [ x1109 * x1792 ] = 0 e1783: [ x1110 * x1793 ] = 0 e1784: [ x1111 * x1794 ] = 0 e1785: [ x1112 * x1795 ] = 0 e1786: [ x1113 * x1796 ] = 0 e1787: [ x1114 * x1797 ] = 0 e1788: [ x1115 * x1798 ] = 0 e1789: [ x1116 * x1799 ] = 0 e1790: [ x1117 * x1800 ] = 0 e1791: [ x1118 * x1801 ] = 0 e1792: [ x1119 * x1802 ] = 0 e1793: [ x1120 * x1803 ] = 0 e1794: [ x1121 * x1804 ] = 0 e1795: [ x1122 * x1805 ] = 0 e1796: [ x1123 * x1806 ] = 0 e1797: [ x1124 * x1807 ] = 0 e1798: [ x1125 * x1808 ] = 0 e1799: [ x1126 * x1809 ] = 0 e1800: [ x1127 * x1810 ] = 0 e1801: [ x1128 * x1811 ] = 0 e1802: [ x1129 * x1812 ] = 0 e1803: [ x1130 * x1813 ] = 0 e1804: [ x1131 * x1814 ] = 0 e1805: [ x1132 * x1815 ] = 0 e1806: [ x1133 * x1816 ] = 0 e1807: [ x1134 * x1817 ] = 0 e1808: [ x1135 * x1818 ] = 0 e1809: [ x1136 * x1819 ] = 0 e1810: [ x1137 * x1820 ] = 0 e1811: [ x1138 * x1821 ] = 0 e1812: [ x1139 * x1822 ] = 0 e1813: [ x1140 * x1823 ] = 0 e1814: [ x1141 * x1824 ] = 0 e1815: [ x1142 * x1825 ] = 0 e1816: [ x1143 * x1826 ] = 0 e1817: [ x1144 * x1827 ] = 0 e1818: [ x1145 * x1828 ] = 0 e1819: [ x1146 * x1829 ] = 0 e1820: [ x1147 * x1830 ] = 0 e1821: [ x1148 * x1831 ] = 0 e1822: [ x1149 * x1832 ] = 0 e1823: [ x1150 * x1833 ] = 0 e1824: [ x1151 * x1834 ] = 0 e1825: [ x1152 * x1835 ] = 0 e1826: [ x1153 * x1836 ] = 0 e1827: [ x1154 * x1837 ] = 0 e1828: [ x1155 * x1838 ] = 0 e1829: [ x1156 * x1839 ] = 0 e1830: [ x1157 * x1840 ] = 0 e1831: [ x1158 * x1841 ] = 0 e1832: [ x1159 * x1842 ] = 0 e1833: [ x1160 * x1843 ] = 0 e1834: [ x1161 * x1844 ] = 0 e1835: [ x1162 * x1845 ] = 0 e1836: [ x1163 * x1846 ] = 0 e1837: [ x1164 * x1847 ] = 0 e1838: [ x1165 * x1848 ] = 0 e1839: [ x1166 * x1849 ] = 0 e1840: [ x1167 * x1850 ] = 0 e1841: [ x1168 * x1851 ] = 0 e1842: [ x1169 * x1852 ] = 0 e1843: [ x1170 * x1853 ] = 0 e1844: [ x1171 * x1854 ] = 0 e1845: [ x1172 * x1855 ] = 0 e1846: [ x1173 * x1856 ] = 0 e1847: [ x1174 * x1857 ] = 0 e1848: [ x1175 * x1858 ] = 0 e1849: [ x1176 * x1859 ] = 0 e1850: [ x1177 * x1860 ] = 0 e1851: [ x1178 * x1861 ] = 0 e1852: [ x1179 * x1862 ] = 0 e1853: [ x1180 * x1863 ] = 0 e1854: [ x1181 * x1864 ] = 0 e1855: [ x1182 * x1865 ] = 0 e1856: [ x1183 * x1866 ] = 0 e1857: [ x1184 * x1867 ] = 0 e1858: [ x1185 * x1868 ] = 0 e1859: [ x1186 * x1869 ] = 0 e1860: [ x1187 * x1870 ] = 0 e1861: [ x1188 * x1871 ] = 0 e1862: [ x1189 * x1872 ] = 0 e1863: [ x1190 * x1873 ] = 0 e1864: [ x1191 * x1874 ] = 0 e1865: [ x1192 * x1875 ] = 0 e1866: [ x1193 * x1876 ] = 0 e1867: [ x1194 * x1877 ] = 0 e1868: [ x1195 * x1878 ] = 0 e1869: [ x1196 * x1879 ] = 0 e1870: [ x1197 * x1880 ] = 0 e1871: [ x1198 * x1881 ] = 0 e1872: [ x1199 * x1882 ] = 0 e1873: [ x1200 * x1883 ] = 0 e1874: [ x1201 * x1884 ] = 0 e1875: [ x1202 * x1885 ] = 0 e1876: [ x1203 * x1886 ] = 0 e1877: [ x1204 * x1887 ] = 0 e1878: [ x1205 * x1888 ] = 0 e1879: [ x1206 * x1889 ] = 0 e1880: [ x1207 * x1890 ] = 0 e1881: [ x1208 * x1891 ] = 0 e1882: [ x1209 * x1892 ] = 0 e1883: [ x1210 * x1893 ] = 0 e1884: [ x1211 * x1894 ] = 0 e1885: [ x1212 * x1895 ] = 0 e1886: [ x1213 * x1896 ] = 0 e1887: [ x1214 * x1897 ] = 0 e1888: [ x1215 * x1898 ] = 0 e1889: [ x1216 * x1899 ] = 0 e1890: [ x1217 * x1900 ] = 0 e1891: [ x1218 * x1901 ] = 0 e1892: [ x1219 * x1902 ] = 0 e1893: [ x1220 * x1903 ] = 0 e1894: [ x1221 * x1904 ] = 0 e1895: [ x1222 * x1905 ] = 0 e1896: [ x1223 * x1906 ] = 0 e1897: [ x1224 * x1907 ] = 0 e1898: [ x1225 * x1908 ] = 0 e1899: [ x1226 * x1909 ] = 0 e1900: [ x1227 * x1910 ] = 0 e1901: [ x1228 * x1911 ] = 0 e1902: [ x1229 * x1912 ] = 0 e1903: [ x1230 * x1913 ] = 0 e1904: [ x1231 * x1914 ] = 0 e1905: [ x1232 * x1915 ] = 0 e1906: [ x1233 * x1916 ] = 0 e1907: [ x1234 * x1917 ] = 0 e1908: [ x1235 * x1918 ] = 0 e1909: [ x1236 * x1919 ] = 0 e1910: [ x1237 * x1920 ] = 0 e1911: [ x1238 * x1921 ] = 0 e1912: [ x1239 * x1922 ] = 0 e1913: [ x1240 * x1923 ] = 0 e1914: [ x1241 * x1924 ] = 0 e1915: [ x1242 * x1925 ] = 0 e1916: [ x1243 * x1926 ] = 0 e1917: [ x1244 * x1927 ] = 0 e1918: [ x1245 * x1928 ] = 0 e1919: [ x1246 * x1929 ] = 0 e1920: [ x1247 * x1930 ] = 0 e1921: [ x1248 * x1931 ] = 0 e1922: [ x1249 * x1932 ] = 0 e1923: [ x1250 * x1933 ] = 0 e1924: [ x1251 * x1934 ] = 0 e1925: [ x1252 * x1935 ] = 0 e1926: [ x1253 * x1936 ] = 0 e1927: [ x1254 * x1937 ] = 0 e1928: [ x1255 * x1938 ] = 0 e1929: [ x1256 * x1939 ] = 0 e1930: [ x1257 * x1940 ] = 0 e1931: [ x1258 * x1941 ] = 0 e1932: [ x1259 * x1942 ] = 0 e1933: [ x1260 * x1943 ] = 0 e1934: [ x1261 * x1944 ] = 0 e1935: [ x1262 * x1945 ] = 0 e1936: [ x1263 * x1946 ] = 0 e1937: [ x1264 * x1947 ] = 0 e1938: [ x1265 * x1948 ] = 0 e1939: [ x1266 * x1949 ] = 0 e1940: [ x1267 * x1950 ] = 0 e1941: [ x1268 * x1951 ] = 0 e1942: [ x1269 * x1952 ] = 0 e1943: [ x1270 * x1953 ] = 0 e1944: [ x1271 * x1954 ] = 0 e1945: [ x1272 * x1955 ] = 0 e1946: [ x1273 * x1956 ] = 0 e1947: [ x1274 * x1957 ] = 0 e1948: [ x1275 * x1958 ] = 0 e1949: [ x1276 * x1959 ] = 0 e1950: [ x1277 * x1960 ] = 0 e1951: [ x1278 * x1961 ] = 0 e1952: [ x1279 * x1962 ] = 0 e1953: [ x1280 * x1963 ] = 0 e1954: [ x1281 * x1964 ] = 0 e1955: [ x1282 * x1965 ] = 0 e1956: [ x1283 * x1966 ] = 0 e1957: [ x1284 * x1967 ] = 0 e1958: [ x1285 * x1968 ] = 0 e1959: [ x1286 * x1969 ] = 0 e1960: [ x1287 * x1970 ] = 0 e1961: [ x1288 * x1971 ] = 0 e1962: [ x1289 * x1972 ] = 0 e1963: [ x1290 * x1973 ] = 0 e1964: [ x1291 * x1974 ] = 0 e1965: [ x1292 * x1975 ] = 0 e1966: [ x1293 * x1976 ] = 0 e1967: [ x1294 * x1977 ] = 0 e1968: [ x1295 * x1978 ] = 0 e1969: [ x1296 * x1979 ] = 0 e1970: [ x1297 * x1980 ] = 0 e1971: [ x1298 * x1981 ] = 0 e1972: [ x1299 * x1982 ] = 0 e1973: [ x1300 * x1983 ] = 0 e1974: [ x1301 * x1984 ] = 0 e1975: [ x1302 * x1985 ] = 0 e1976: [ x1303 * x1986 ] = 0 e1977: [ x1304 * x1987 ] = 0 e1978: [ x1305 * x1988 ] = 0 e1979: [ x1306 * x1989 ] = 0 e1980: [ x1307 * x1990 ] = 0 e1981: [ x1308 * x1991 ] = 0 e1982: [ x1309 * x1992 ] = 0 e1983: [ x1310 * x1993 ] = 0 e1984: [ x1311 * x1994 ] = 0 e1985: [ x1312 * x1995 ] = 0 e1986: [ x1313 * x1996 ] = 0 e1987: [ x1314 * x1997 ] = 0 e1988: [ x1315 * x1998 ] = 0 e1989: [ x1316 * x1999 ] = 0 e1990: [ x1317 * x2000 ] = 0 e1991: [ x1318 * x2001 ] = 0 e1992: [ x1319 * x2002 ] = 0 e1993: [ x1320 * x2003 ] = 0 e1994: [ x1321 * x2004 ] = 0 e1995: [ x1322 * x2005 ] = 0 e1996: [ x1323 * x2006 ] = 0 e1997: [ x1324 * x2007 ] = 0 e1998: [ x1325 * x2008 ] = 0 e1999: [ x1326 * x2009 ] = 0 e2000: [ x1327 * x2010 ] = 0 e2001: [ x1328 * x2011 ] = 0 e2002: [ x1329 * x2012 ] = 0 e2003: [ x1330 * x2013 ] = 0 e2004: [ x1331 * x2014 ] = 0 e2005: [ x1332 * x2015 ] = 0 e2006: [ x1333 * x2016 ] = 0 e2007: [ x1334 * x2017 ] = 0 e2008: [ x1335 * x2018 ] = 0 e2009: [ x1336 * x2019 ] = 0 e2010: [ x1337 * x2020 ] = 0 e2011: [ x1338 * x2021 ] = 0 e2012: [ x1339 * x2022 ] = 0 e2013: [ x1340 * x2023 ] = 0 e2014: [ x1341 * x2024 ] = 0 e2015: [ x1342 * x2025 ] = 0 e2016: [ x1343 * x2026 ] = 0 e2017: [ x1344 * x2027 ] = 0 e2018: [ x1345 * x2028 ] = 0 e2019: [ x1346 * x2029 ] = 0 e2020: [ x1347 * x2030 ] = 0 e2021: [ x1348 * x2031 ] = 0 e2022: [ x1349 * x2032 ] = 0 e2023: [ x1350 * x2033 ] = 0 e2024: [ x1351 * x2034 ] = 0 e2025: [ x1352 * x2035 ] = 0 e2026: [ x1353 * x2036 ] = 0 e2027: [ x1354 * x2037 ] = 0 e2028: [ x1355 * x2038 ] = 0 e2029: [ x1356 * x2039 ] = 0 e2030: [ x1357 * x2040 ] = 0 e2031: [ x1358 * x2041 ] = 0 e2032: [ x1359 * x2042 ] = 0 e2033: [ x1360 * x2043 ] = 0 e2034: [ x1361 * x2044 ] = 0 e2035: [ x1362 * x2045 ] = 0 e2036: [ x1363 * x2046 ] = 0 e2037: [ x1364 * x2047 ] = 0 e2038: [ x1365 * x2048 ] = 0 e2039: [ x1366 * x2049 ] = 0 e2040: [ x1367 * x2050 ] = 0 e2041: [ x1368 * x2051 ] = 0 e2042: [ x1369 * x2052 ] = 0 e2043: [ x1370 * x2053 ] = 0 e2044: [ x1371 * x2054 ] = 0 e2045: [ x1372 * x2055 ] = 0 e2046: [ x1373 * x2056 ] = 0 e2047: [ x1374 * x2057 ] = 0 e2048: [ x1375 * x2058 ] = 0 e2049: [ x1376 * x2059 ] = 0 e2050: [ x1377 * x2060 ] = 0 Bounds x685 Free x686 Free x687 Free x688 Free x689 Free x690 Free x691 Free x692 Free x693 Free x694 Free x1378 Free x1379 Free x1380 Free x1381 Free x1382 Free x1383 Free x1384 Free x1385 Free x1386 Free x1387 Free x1388 Free x1389 Free x1390 Free x1391 Free x1392 Free x1393 Free x1394 Free x1395 Free x1396 Free x1397 Free x1398 Free x1399 Free x1400 Free x1401 Free x1402 Free x1403 Free x1404 Free x1405 Free x1406 Free x1407 Free x1408 Free x1409 Free x1410 Free x1411 Free x1412 Free x1413 Free x1414 Free x1415 Free x1416 Free x1417 Free x1418 Free x1419 Free x1420 Free x1421 Free x1422 Free x1423 Free x1424 Free x1425 Free x1426 Free x1427 Free x1428 Free x1429 Free x1430 Free x1431 Free x1432 Free x1433 Free x1434 Free x1435 Free x1436 Free x1437 Free x1438 Free x1439 Free x1440 Free x1441 Free x1442 Free x1443 Free x1444 Free x1445 Free x1446 Free x1447 Free x1448 Free x1449 Free x1450 Free x1451 Free x1452 Free x1453 Free x1454 Free x1455 Free x1456 Free x1457 Free x1458 Free x1459 Free x1460 Free x1461 Free x1462 Free x1463 Free x1464 Free x1465 Free x1466 Free x1467 Free x1468 Free x1469 Free x1470 Free x1471 Free x1472 Free x1473 Free x1474 Free x1475 Free x1476 Free x1477 Free x1478 Free x1479 Free x1480 Free x1481 Free x1482 Free x1483 Free x1484 Free x1485 Free x1486 Free x1487 Free x1488 Free x1489 Free x1490 Free x1491 Free x1492 Free x1493 Free x1494 Free x1495 Free x1496 Free x1497 Free x1498 Free x1499 Free x1500 Free x1501 Free x1502 Free x1503 Free x1504 Free x1505 Free x1506 Free x1507 Free x1508 Free x1509 Free x1510 Free x1511 Free x1512 Free x1513 Free x1514 Free x1515 Free x1516 Free x1517 Free x1518 Free x1519 Free x1520 Free x1521 Free x1522 Free x1523 Free x1524 Free x1525 Free x1526 Free x1527 Free x1528 Free x1529 Free x1530 Free x1531 Free x1532 Free x1533 Free x1534 Free x1535 Free x1536 Free x1537 Free x1538 Free x1539 Free x1540 Free x1541 Free x1542 Free x1543 Free x1544 Free x1545 Free x1546 Free x1547 Free x1548 Free x1549 Free x1550 Free x1551 Free x1552 Free x1553 Free x1554 Free x1555 Free x1556 Free x1557 Free x1558 Free x1559 Free x1560 Free x1561 Free x1562 Free x1563 Free x1564 Free x1565 Free x1566 Free x1567 Free x1568 Free x1569 Free x1570 Free x1571 Free x1572 Free x1573 Free x1574 Free x1575 Free x1576 Free x1577 Free x1578 Free x1579 Free x1580 Free x1581 Free x1582 Free x1583 Free x1584 Free x1585 Free x1586 Free x1587 Free x1588 Free x1589 Free x1590 Free x1591 Free x1592 Free x1593 Free x1594 Free x1595 Free x1596 Free x1597 Free x1598 Free x1599 Free x1600 Free x1601 Free x1602 Free x1603 Free x1604 Free x1605 Free x1606 Free x1607 Free x1608 Free x1609 Free x1610 Free x1611 Free x1612 Free x1613 Free x1614 Free x1615 Free x1616 Free x1617 Free x1618 Free x1619 Free x1620 Free x1621 Free x1622 Free x1623 Free x1624 Free x1625 Free x1626 Free x1627 Free x1628 Free x1629 Free x1630 Free x1631 Free x1632 Free x1633 Free x1634 Free x1635 Free x1636 Free x1637 Free x1638 Free x1639 Free x1640 Free x1641 Free x1642 Free x1643 Free x1644 Free x1645 Free x1646 Free x1647 Free x1648 Free x1649 Free x1650 Free x1651 Free x1652 Free x1653 Free x1654 Free x1655 Free x1656 Free x1657 Free x1658 Free x1659 Free x1660 Free x1661 Free x1662 Free x1663 Free x1664 Free x1665 Free x1666 Free x1667 Free x1668 Free x1669 Free x1670 Free x1671 Free x1672 Free x1673 Free x1674 Free x1675 Free x1676 Free x1677 Free x1678 Free x1679 Free x1680 Free x1681 Free x1682 Free x1683 Free x1684 Free x1685 Free x1686 Free x1687 Free x1688 Free x1689 Free x1690 Free x1691 Free x1692 Free x1693 Free x1694 Free x1695 Free x1696 Free x1697 Free x1698 Free x1699 Free x1700 Free x1701 Free x1702 Free x1703 Free x1704 Free x1705 Free x1706 Free x1707 Free x1708 Free x1709 Free x1710 Free x1711 Free x1712 Free x1713 Free x1714 Free x1715 Free x1716 Free x1717 Free x1718 Free x1719 Free x1720 Free x1721 Free x1722 Free x1723 Free x1724 Free x1725 Free x1726 Free x1727 Free x1728 Free x1729 Free x1730 Free x1731 Free x1732 Free x1733 Free x1734 Free x1735 Free x1736 Free x1737 Free x1738 Free x1739 Free x1740 Free x1741 Free x1742 Free x1743 Free x1744 Free x1745 Free x1746 Free x1747 Free x1748 Free x1749 Free x1750 Free x1751 Free x1752 Free x1753 Free x1754 Free x1755 Free x1756 Free x1757 Free x1758 Free x1759 Free x1760 Free x1761 Free x1762 Free x1763 Free x1764 Free x1765 Free x1766 Free x1767 Free x1768 Free x1769 Free x1770 Free x1771 Free x1772 Free x1773 Free x1774 Free x1775 Free x1776 Free x1777 Free x1778 Free x1779 Free x1780 Free x1781 Free x1782 Free x1783 Free x1784 Free x1785 Free x1786 Free x1787 Free x1788 Free x1789 Free x1790 Free x1791 Free x1792 Free x1793 Free x1794 Free x1795 Free x1796 Free x1797 Free x1798 Free x1799 Free x1800 Free x1801 Free x1802 Free x1803 Free x1804 Free x1805 Free x1806 Free x1807 Free x1808 Free x1809 Free x1810 Free x1811 Free x1812 Free x1813 Free x1814 Free x1815 Free x1816 Free x1817 Free x1818 Free x1819 Free x1820 Free x1821 Free x1822 Free x1823 Free x1824 Free x1825 Free x1826 Free x1827 Free x1828 Free x1829 Free x1830 Free x1831 Free x1832 Free x1833 Free x1834 Free x1835 Free x1836 Free x1837 Free x1838 Free x1839 Free x1840 Free x1841 Free x1842 Free x1843 Free x1844 Free x1845 Free x1846 Free x1847 Free x1848 Free x1849 Free x1850 Free x1851 Free x1852 Free x1853 Free x1854 Free x1855 Free x1856 Free x1857 Free x1858 Free x1859 Free x1860 Free x1861 Free x1862 Free x1863 Free x1864 Free x1865 Free x1866 Free x1867 Free x1868 Free x1869 Free x1870 Free x1871 Free x1872 Free x1873 Free x1874 Free x1875 Free x1876 Free x1877 Free x1878 Free x1879 Free x1880 Free x1881 Free x1882 Free x1883 Free x1884 Free x1885 Free x1886 Free x1887 Free x1888 Free x1889 Free x1890 Free x1891 Free x1892 Free x1893 Free x1894 Free x1895 Free x1896 Free x1897 Free x1898 Free x1899 Free x1900 Free x1901 Free x1902 Free x1903 Free x1904 Free x1905 Free x1906 Free x1907 Free x1908 Free x1909 Free x1910 Free x1911 Free x1912 Free x1913 Free x1914 Free x1915 Free x1916 Free x1917 Free x1918 Free x1919 Free x1920 Free x1921 Free x1922 Free x1923 Free x1924 Free x1925 Free x1926 Free x1927 Free x1928 Free x1929 Free x1930 Free x1931 Free x1932 Free x1933 Free x1934 Free x1935 Free x1936 Free x1937 Free x1938 Free x1939 Free x1940 Free x1941 Free x1942 Free x1943 Free x1944 Free x1945 Free x1946 Free x1947 Free x1948 Free x1949 Free x1950 Free x1951 Free x1952 Free x1953 Free x1954 Free x1955 Free x1956 Free x1957 Free x1958 Free x1959 Free x1960 Free x1961 Free x1962 Free x1963 Free x1964 Free x1965 Free x1966 Free x1967 Free x1968 Free x1969 Free x1970 Free x1971 Free x1972 Free x1973 Free x1974 Free x1975 Free x1976 Free x1977 Free x1978 Free x1979 Free x1980 Free x1981 Free x1982 Free x1983 Free x1984 Free x1985 Free x1986 Free x1987 Free x1988 Free x1989 Free x1990 Free x1991 Free x1992 Free x1993 Free x1994 Free x1995 Free x1996 Free x1997 Free x1998 Free x1999 Free x2000 Free x2001 Free x2002 Free x2003 Free x2004 Free x2005 Free x2006 Free x2007 Free x2008 Free x2009 Free x2010 Free x2011 Free x2012 Free x2013 Free x2014 Free x2015 Free x2016 Free x2017 Free x2018 Free x2019 Free x2020 Free x2021 Free x2022 Free x2023 Free x2024 Free x2025 Free x2026 Free x2027 Free x2028 Free x2029 Free x2030 Free x2031 Free x2032 Free x2033 Free x2034 Free x2035 Free x2036 Free x2037 Free x2038 Free x2039 Free x2040 Free x2041 Free x2042 Free x2043 Free x2044 Free x2045 Free x2046 Free x2047 Free x2048 Free x2049 Free x2050 Free x2051 Free x2052 Free x2053 Free x2054 Free x2055 Free x2056 Free x2057 Free x2058 Free x2059 Free x2060 Free Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 b121 b122 b123 b124 b125 b126 b127 b128 b129 b130 b131 b132 b133 b134 b135 b136 b137 b138 b139 b140 b141 b142 b143 b144 b145 b146 b147 b148 b149 b150 b151 b152 b153 b154 b155 b156 b157 b158 b159 b160 b161 b162 b163 b164 b165 b166 b167 b168 b169 b170 b171 b172 b173 b174 b175 b176 b177 b178 b179 b180 b181 b182 b183 b184 b185 b186 b187 b188 b189 b190 b191 b192 b193 b194 b195 b196 b197 b198 b199 b200 b201 b202 b203 b204 b205 b206 b207 b208 b209 b210 b211 b212 b213 b214 b215 b216 b217 b218 b219 b220 b221 b222 b223 b224 b225 b226 b227 b228 b229 b230 b231 b232 b233 b234 b235 b236 b237 b238 b239 b240 b241 b242 b243 b244 b245 b246 b247 b248 b249 b250 b251 b252 b253 b254 b255 b256 b257 b258 b259 b260 b261 b262 b263 b264 b265 b266 b267 b268 b269 b270 b271 b272 b273 b274 b275 b276 b277 b278 b279 b280 b281 b282 b283 b284 b285 b286 b287 b288 b289 b290 b291 b292 b293 b294 b295 b296 b297 b298 b299 b300 b301 b302 b303 b304 b305 b306 b307 b308 b309 b310 b311 b312 b313 b314 b315 b316 b317 b318 b319 b320 b321 b322 b323 b324 b325 b326 b327 b328 b329 b330 b331 b332 b333 b334 b335 b336 b337 b338 b339 b340 b341 b342 b343 b344 b345 b346 b347 b348 b349 b350 b351 b352 b353 b354 b355 b356 b357 b358 b359 b360 b361 b362 b363 b364 b365 b366 b367 b368 b369 b370 b371 b372 b373 b374 b375 b376 b377 b378 b379 b380 b381 b382 b383 b384 b385 b386 b387 b388 b389 b390 b391 b392 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 End