The 8x8 multihedral pentomino example.

Maximize
  Obj: 0
Subject to
 x25 + x97 + x193 + x217 + x241 + x287 + x310 + x356 + x379 + x402 + x425 + x471 + x540 + x586 + x609 + x640 + x702 + x733 + x764 + x795 + x857 + x881 + x953 + x983 + x1013 + x1043 + x1073 + x1121 + x1145 + x1169 + x1217 + x1335 + x1358 + x1427 + x1450 + x1473 + x1545 = 1
 x1 + x26 + x49 + x73 + x97 + x98 + x121 + x145 + x194 + x217 + x218 + x242 + x287 + x288 + x310 + x311 + x333 + x356 + x357 + x379 + x380 + x403 + x425 + x426 + x448 + x471 + x472 + x494 + x541 + x563 + x587 + x609 + x610 + x640 + x641 + x671 + x702 + x703 + x733 + x734 + x764 + x765 + x796 + x826 + x857 + x858 + x882 + x905 + x954 + x983 + x984 + x1013 + x1014 + x1043 + x1044 + x1074 + x1121 + x1122 + x1145 + x1146 + x1170 + x1217 + x1218 + x1241 + x1265 + x1312 + x1335 + x1336 + x1359 + x1381 + x1404 + x1427 + x1428 + x1451 + x1473 + x1474 + x1521 + x1546 = 1
 x1 + x2 + x27 + x50 + x74 + x98 + x99 + x122 + x146 + x169 + x195 + x217 + x218 + x219 + x288 + x310 + x311 + x312 + x334 + x356 + x357 + x358 + x380 + x381 + x404 + x426 + x427 + x449 + x471 + x472 + x473 + x495 + x517 + x563 + x564 + x610 + x611 + x641 + x642 + x672 + x702 + x703 + x704 + x734 + x735 + x764 + x765 + x766 + x797 + x826 + x827 + x857 + x858 + x859 + x883 + x906 + x929 + x953 + x955 + x984 + x985 + x1013 + x1014 + x1015 + x1044 + x1045 + x1075 + x1097 + x1121 + x1122 + x1123 + x1145 + x1146 + x1147 + x1171 + x1193 + x1218 + x1219 + x1241 + x1242 + x1266 + x1289 + x1313 + x1335 + x1336 + x1337 + x1360 + x1382 + x1405 + x1427 + x1428 + x1429 + x1452 + x1474 + x1475 + x1497 + x1521 + x1522 + x1547 = 1
 x2 + x3 + x28 + x51 + x75 + x99 + x100 + x123 + x147 + x170 + x217 + x218 + x219 + x220 + x264 + x310 + x311 + x312 + x313 + x356 + x357 + x358 + x359 + x381 + x405 + x427 + x428 + x450 + x472 + x473 + x474 + x496 + x517 + x518 + x563 + x564 + x565 + x611 + x612 + x642 + x643 + x673 + x703 + x704 + x705 + x735 + x736 + x765 + x766 + x767 + x798 + x827 + x828 + x858 + x859 + x860 + x884 + x907 + x930 + x954 + x956 + x985 + x986 + x1014 + x1015 + x1016 + x1045 + x1046 + x1076 + x1098 + x1122 + x1123 + x1124 + x1146 + x1147 + x1148 + x1172 + x1194 + x1219 + x1220 + x1242 + x1243 + x1267 + x1290 + x1335 + x1336 + x1337 + x1338 + x1383 + x1427 + x1428 + x1429 + x1430 + x1475 + x1476 + x1498 + x1522 + x1523 + x1548 = 1
 x3 + x4 + x29 + x52 + x76 + x100 + x101 + x124 + x148 + x171 + x217 + x218 + x219 + x220 + x265 + x289 + x311 + x312 + x313 + x314 + x357 + x358 + x359 + x360 + x406 + x428 + x429 + x473 + x474 + x475 + x518 + x519 + x542 + x564 + x565 + x566 + x588 + x612 + x613 + x643 + x644 + x674 + x704 + x705 + x706 + x736 + x737 + x766 + x767 + x768 + x799 + x828 + x829 + x859 + x860 + x861 + x885 + x908 + x931 + x955 + x957 + x986 + x987 + x1015 + x1016 + x1017 + x1046 + x1047 + x1077 + x1099 + x1123 + x1124 + x1125 + x1147 + x1148 + x1149 + x1173 + x1195 + x1220 + x1221 + x1243 + x1244 + x1268 + x1291 + x1336 + x1337 + x1338 + x1339 + x1384 + x1428 + x1429 + x1430 + x1431 + x1476 + x1477 + x1499 + x1523 + x1524 + x1549 = 1
 x4 + x5 + x30 + x53 + x77 + x101 + x102 + x125 + x149 + x172 + x196 + x218 + x219 + x220 + x243 + x266 + x289 + x290 + x312 + x313 + x314 + x358 + x359 + x360 + x382 + x429 + x474 + x475 + x519 + x520 + x543 + x565 + x566 + x567 + x589 + x613 + x614 + x644 + x645 + x675 + x705 + x706 + x707 + x737 + x738 + x767 + x768 + x769 + x800 + x829 + x830 + x860 + x861 + x862 + x886 + x909 + x932 + x956 + x958 + x987 + x988 + x1016 + x1017 + x1018 + x1047 + x1048 + x1078 + x1100 + x1124 + x1125 + x1126 + x1148 + x1149 + x1150 + x1174 + x1196 + x1221 + x1222 + x1244 + x1245 + x1269 + x1292 + x1314 + x1337 + x1338 + x1339 + x1361 + x1385 + x1406 + x1429 + x1430 + x1431 + x1453 + x1477 + x1478 + x1500 + x1524 + x1525 + x1550 = 1
 x5 + x6 + x54 + x78 + x102 + x126 + x150 + x173 + x197 + x219 + x220 + x244 + x267 + x290 + x291 + x313 + x314 + x335 + x359 + x360 + x382 + x383 + x451 + x475 + x497 + x520 + x521 + x544 + x566 + x567 + x590 + x614 + x615 + x645 + x676 + x706 + x707 + x738 + x739 + x768 + x769 + x801 + x830 + x831 + x861 + x862 + x910 + x933 + x957 + x988 + x989 + x1017 + x1018 + x1048 + x1049 + x1101 + x1125 + x1126 + x1149 + x1150 + x1197 + x1222 + x1245 + x1246 + x1270 + x1293 + x1315 + x1338 + x1339 + x1362 + x1407 + x1430 + x1431 + x1454 + x1478 + x1501 + x1525 + x1526 = 1
 x6 + x174 + x198 + x220 + x268 + x291 + x314 + x336 + x360 + x383 + x452 + x498 + x521 + x567 + x615 + x677 + x707 + x739 + x769 + x831 + x862 + x934 + x958 + x989 + x1018 + x1049 + x1102 + x1126 + x1150 + x1198 + x1246 + x1316 + x1339 + x1408 + x1431 + x1502 + x1526 = 1
 x1 + x25 + x31 + x73 + x103 + x121 + x145 + x169 + x193 + x199 + x221 + x241 + x245 + x264 + x292 + x310 + x315 + x361 + x379 + x384 + x402 + x407 + x430 + x476 + x494 + x517 + x540 + x545 + x563 + x586 + x591 + x609 + x616 + x640 + x646 + x671 + x708 + x733 + x740 + x764 + x770 + x795 + x802 + x826 + x863 + x881 + x887 + x929 + x953 + x959 + x990 + x1013 + x1019 + x1043 + x1050 + x1073 + x1079 + x1127 + x1145 + x1151 + x1169 + x1175 + x1223 + x1241 + x1265 + x1289 + x1312 + x1340 + x1358 + x1363 + x1381 + x1432 + x1450 + x1455 + x1479 + x1497 + x1545 + x1551 = 1
 x1 + x2 + x7 + x25 + x26 + x32 + x49 + x55 + x73 + x74 + x79 + x97 + x103 + x104 + x121 + x122 + x127 + x145 + x146 + x151 + x169 + x170 + x194 + x200 + x221 + x222 + x242 + x246 + x264 + x265 + x287 + x292 + x293 + x311 + x315 + x316 + x333 + x337 + x361 + x362 + x380 + x384 + x385 + x402 + x403 + x408 + x425 + x430 + x431 + x448 + x453 + x476 + x477 + x494 + x495 + x499 + x517 + x518 + x540 + x541 + x546 + x563 + x564 + x568 + x587 + x592 + x609 + x610 + x616 + x617 + x640 + x641 + x646 + x647 + x671 + x672 + x678 + x702 + x708 + x709 + x733 + x734 + x740 + x741 + x764 + x765 + x770 + x771 + x795 + x796 + x803 + x826 + x827 + x832 + x857 + x863 + x864 + x881 + x882 + x888 + x905 + x911 + x929 + x930 + x953 + x954 + x960 + x983 + x990 + x991 + x1014 + x1019 + x1020 + x1044 + x1050 + x1051 + x1074 + x1127 + x1146 + x1151 + x1152 + x1169 + x1170 + x1193 + x1217 + x1223 + x1241 + x1242 + x1247 + x1265 + x1266 + x1271 + x1289 + x1290 + x1312 + x1313 + x1317 + x1335 + x1340 + x1341 + x1359 + x1364 + x1381 + x1382 + x1386 + x1404 + x1409 + x1432 + x1433 + x1450 + x1451 + x1456 + x1473 + x1479 + x1497 + x1498 + x1521 + x1527 + x1545 + x1546 = 1
 x2 + x3 + x7 + x8 + x25 + x26 + x27 + x49 + x50 + x56 + x73 + x74 + x75 + x97 + x98 + x104 + x121 + x122 + x123 + x128 + x146 + x147 + x169 + x170 + x171 + x175 + x195 + x201 + x221 + x222 + x223 + x264 + x265 + x266 + x288 + x293 + x312 + x315 + x316 + x317 + x334 + x338 + x361 + x362 + x363 + x381 + x385 + x386 + x402 + x403 + x404 + x409 + x425 + x426 + x431 + x432 + x449 + x454 + x471 + x476 + x477 + x478 + x495 + x496 + x500 + x517 + x518 + x519 + x522 + x541 + x564 + x565 + x568 + x569 + x610 + x611 + x617 + x618 + x640 + x641 + x642 + x647 + x648 + x672 + x673 + x679 + x702 + x703 + x708 + x709 + x710 + x734 + x735 + x741 + x765 + x766 + x770 + x771 + x772 + x796 + x797 + x826 + x827 + x828 + x832 + x833 + x858 + x863 + x864 + x881 + x882 + x883 + x889 + x906 + x929 + x930 + x931 + x935 + x953 + x954 + x955 + x959 + x961 + x984 + x991 + x1013 + x1015 + x1019 + x1020 + x1021 + x1045 + x1051 + x1075 + x1097 + x1103 + x1121 + x1127 + x1147 + x1151 + x1152 + x1153 + x1170 + x1171 + x1193 + x1194 + x1199 + x1217 + x1218 + x1242 + x1243 + x1247 + x1248 + x1265 + x1266 + x1267 + x1272 + x1289 + x1290 + x1291 + x1294 + x1313 + x1318 + x1336 + x1340 + x1341 + x1342 + x1360 + x1381 + x1382 + x1383 + x1387 + x1405 + x1410 + x1427 + x1432 + x1433 + x1434 + x1451 + x1452 + x1457 + x1474 + x1497 + x1498 + x1499 + x1503 + x1522 + x1527 + x1528 + x1545 + x1546 + x1547 = 1
 x3 + x4 + x8 + x26 + x27 + x28 + x50 + x51 + x74 + x75 + x76 + x98 + x99 + x122 + x123 + x124 + x129 + x147 + x148 + x170 + x171 + x172 + x176 + x221 + x222 + x223 + x224 + x264 + x265 + x266 + x267 + x269 + x313 + x315 + x316 + x317 + x318 + x356 + x361 + x362 + x363 + x364 + x386 + x402 + x403 + x404 + x405 + x410 + x425 + x426 + x427 + x432 + x433 + x450 + x471 + x472 + x477 + x478 + x479 + x496 + x501 + x518 + x519 + x520 + x522 + x523 + x565 + x566 + x568 + x569 + x570 + x611 + x612 + x618 + x641 + x642 + x643 + x648 + x649 + x673 + x674 + x703 + x704 + x709 + x710 + x711 + x735 + x736 + x766 + x767 + x771 + x772 + x773 + x797 + x798 + x827 + x828 + x829 + x833 + x834 + x859 + x864 + x882 + x883 + x884 + x907 + x930 + x931 + x932 + x954 + x955 + x956 + x960 + x962 + x985 + x1014 + x1016 + x1020 + x1021 + x1022 + x1046 + x1076 + x1098 + x1122 + x1128 + x1148 + x1152 + x1153 + x1171 + x1172 + x1194 + x1195 + x1200 + x1218 + x1219 + x1224 + x1243 + x1244 + x1248 + x1249 + x1266 + x1267 + x1268 + x1289 + x1290 + x1291 + x1292 + x1295 + x1337 + x1340 + x1341 + x1342 + x1343 + x1381 + x1382 + x1383 + x1384 + x1388 + x1428 + x1432 + x1433 + x1434 + x1435 + x1452 + x1475 + x1498 + x1499 + x1500 + x1504 + x1523 + x1528 + x1546 + x1547 + x1548 + x1552 = 1
 x4 + x5 + x27 + x28 + x29 + x33 + x51 + x52 + x75 + x76 + x77 + x80 + x99 + x100 + x105 + x123 + x124 + x125 + x148 + x149 + x171 + x172 + x173 + x221 + x222 + x223 + x224 + x265 + x266 + x267 + x268 + x270 + x294 + x314 + x316 + x317 + x318 + x319 + x357 + x362 + x363 + x364 + x365 + x403 + x404 + x405 + x406 + x411 + x426 + x427 + x428 + x433 + x434 + x472 + x473 + x478 + x479 + x480 + x519 + x520 + x521 + x523 + x524 + x542 + x547 + x566 + x567 + x569 + x570 + x571 + x588 + x612 + x613 + x642 + x643 + x644 + x649 + x650 + x674 + x675 + x704 + x705 + x710 + x711 + x712 + x736 + x737 + x742 + x767 + x768 + x772 + x773 + x774 + x798 + x799 + x828 + x829 + x830 + x834 + x835 + x860 + x865 + x883 + x884 + x885 + x908 + x931 + x932 + x933 + x955 + x956 + x957 + x961 + x963 + x986 + x1015 + x1017 + x1021 + x1022 + x1023 + x1047 + x1077 + x1099 + x1123 + x1128 + x1129 + x1149 + x1153 + x1172 + x1173 + x1176 + x1195 + x1196 + x1219 + x1220 + x1224 + x1225 + x1244 + x1245 + x1249 + x1267 + x1268 + x1269 + x1290 + x1291 + x1292 + x1293 + x1296 + x1314 + x1338 + x1341 + x1342 + x1343 + x1344 + x1382 + x1383 + x1384 + x1385 + x1389 + x1429 + x1433 + x1434 + x1435 + x1436 + x1476 + x1480 + x1499 + x1500 + x1501 + x1505 + x1524 + x1547 + x1548 + x1549 + x1553 = 1
 x5 + x6 + x9 + x28 + x29 + x30 + x34 + x52 + x53 + x76 + x77 + x78 + x81 + x100 + x101 + x105 + x106 + x124 + x125 + x126 + x149 + x150 + x152 + x172 + x173 + x174 + x196 + x202 + x222 + x223 + x224 + x243 + x247 + x266 + x267 + x268 + x271 + x289 + x294 + x295 + x317 + x318 + x319 + x358 + x363 + x364 + x365 + x382 + x387 + x404 + x405 + x406 + x427 + x428 + x429 + x434 + x473 + x474 + x479 + x480 + x497 + x520 + x521 + x524 + x525 + x542 + x543 + x548 + x567 + x570 + x571 + x572 + x589 + x593 + x613 + x614 + x619 + x643 + x644 + x645 + x650 + x651 + x675 + x676 + x705 + x706 + x711 + x712 + x713 + x737 + x738 + x742 + x743 + x768 + x769 + x773 + x774 + x775 + x799 + x800 + x804 + x829 + x830 + x831 + x835 + x836 + x861 + x865 + x866 + x884 + x885 + x886 + x890 + x909 + x932 + x933 + x934 + x936 + x956 + x957 + x958 + x962 + x964 + x987 + x992 + x1016 + x1018 + x1022 + x1023 + x1024 + x1048 + x1052 + x1078 + x1080 + x1100 + x1124 + x1128 + x1129 + x1130 + x1150 + x1154 + x1173 + x1174 + x1177 + x1196 + x1197 + x1220 + x1221 + x1225 + x1226 + x1245 + x1246 + x1268 + x1269 + x1270 + x1273 + x1291 + x1292 + x1293 + x1297 + x1314 + x1315 + x1319 + x1339 + x1342 + x1343 + x1344 + x1361 + x1365 + x1383 + x1384 + x1385 + x1390 + x1406 + x1430 + x1434 + x1435 + x1436 + x1453 + x1458 + x1477 + x1480 + x1481 + x1500 + x1501 + x1502 + x1525 + x1548 + x1549 + x1550 + x1554 = 1
 x6 + x9 + x10 + x29 + x30 + x53 + x54 + x57 + x77 + x78 + x82 + x101 + x102 + x106 + x125 + x126 + x130 + x150 + x153 + x173 + x174 + x177 + x197 + x203 + x223 + x224 + x244 + x248 + x267 + x268 + x272 + x290 + x295 + x296 + x318 + x319 + x335 + x339 + x359 + x364 + x365 + x383 + x387 + x388 + x405 + x406 + x428 + x429 + x451 + x455 + x474 + x475 + x480 + x497 + x498 + x502 + x521 + x525 + x526 + x543 + x544 + x549 + x571 + x572 + x590 + x594 + x614 + x615 + x619 + x620 + x644 + x645 + x651 + x676 + x677 + x680 + x706 + x707 + x712 + x713 + x738 + x739 + x743 + x744 + x769 + x774 + x775 + x800 + x801 + x805 + x830 + x831 + x836 + x837 + x862 + x865 + x866 + x885 + x886 + x910 + x912 + x933 + x934 + x937 + x957 + x958 + x963 + x988 + x992 + x993 + x1017 + x1023 + x1024 + x1049 + x1052 + x1053 + x1101 + x1125 + x1129 + x1130 + x1154 + x1174 + x1197 + x1198 + x1221 + x1222 + x1226 + x1246 + x1250 + x1269 + x1270 + x1274 + x1292 + x1293 + x1298 + x1315 + x1316 + x1320 + x1343 + x1344 + x1362 + x1366 + x1384 + x1385 + x1407 + x1411 + x1431 + x1435 + x1436 + x1453 + x1454 + x1459 + x1478 + x1481 + x1501 + x1502 + x1526 + x1529 + x1549 + x1550 = 1
 x10 + x30 + x54 + x78 + x102 + x126 + x174 + x178 + x198 + x204 + x224 + x268 + x273 + x291 + x296 + x319 + x336 + x340 + x360 + x365 + x388 + x406 + x429 + x452 + x456 + x475 + x498 + x503 + x526 + x544 + x572 + x615 + x620 + x645 + x677 + x681 + x707 + x713 + x739 + x744 + x775 + x801 + x831 + x837 + x866 + x886 + x934 + x938 + x958 + x964 + x989 + x993 + x1018 + x1024 + x1053 + x1102 + x1104 + x1126 + x1130 + x1154 + x1198 + x1201 + x1222 + x1250 + x1270 + x1293 + x1316 + x1321 + x1344 + x1385 + x1408 + x1412 + x1436 + x1454 + x1502 + x1506 + x1529 + x1550 = 1
 x7 + x31 + x35 + x49 + x79 + x107 + x121 + x127 + x151 + x175 + x193 + x199 + x205 + x225 + x241 + x245 + x249 + x269 + x297 + x315 + x320 + x379 + x384 + x389 + x407 + x448 + x494 + x499 + x522 + x545 + x550 + x568 + x586 + x591 + x595 + x609 + x616 + x621 + x646 + x652 + x671 + x678 + x714 + x740 + x745 + x770 + x776 + x795 + x802 + x806 + x832 + x867 + x881 + x887 + x891 + x905 + x935 + x959 + x965 + x983 + x994 + x1019 + x1025 + x1043 + x1050 + x1054 + x1073 + x1079 + x1081 + x1097 + x1131 + x1145 + x1151 + x1155 + x1175 + x1178 + x1193 + x1227 + x1241 + x1247 + x1271 + x1294 + x1317 + x1345 + x1358 + x1363 + x1367 + x1386 + x1404 + x1437 + x1450 + x1455 + x1460 + x1482 + x1497 + x1503 + x1521 + x1551 + x1555 = 1
 x1 + x7 + x8 + x11 + x25 + x31 + x32 + x49 + x50 + x55 + x58 + x79 + x83 + x97 + x103 + x107 + x122 + x127 + x128 + x131 + x145 + x151 + x154 + x169 + x175 + x176 + x194 + x200 + x206 + x225 + x226 + x242 + x246 + x250 + x269 + x270 + x287 + x292 + x297 + x298 + x316 + x320 + x321 + x333 + x337 + x341 + x380 + x385 + x389 + x390 + x407 + x408 + x430 + x448 + x449 + x453 + x457 + x495 + x499 + x500 + x504 + x522 + x523 + x540 + x545 + x546 + x551 + x568 + x569 + x573 + x586 + x587 + x592 + x596 + x610 + x616 + x617 + x621 + x622 + x646 + x647 + x652 + x671 + x672 + x678 + x679 + x682 + x708 + x714 + x733 + x740 + x741 + x745 + x746 + x770 + x771 + x776 + x777 + x795 + x796 + x802 + x803 + x807 + x832 + x833 + x838 + x857 + x863 + x867 + x868 + x882 + x887 + x888 + x905 + x906 + x911 + x913 + x935 + x959 + x960 + x983 + x984 + x990 + x994 + x995 + x1020 + x1025 + x1043 + x1044 + x1051 + x1054 + x1055 + x1073 + x1074 + x1097 + x1098 + x1131 + x1146 + x1152 + x1155 + x1156 + x1169 + x1175 + x1193 + x1194 + x1199 + x1223 + x1227 + x1242 + x1247 + x1248 + x1251 + x1265 + x1271 + x1272 + x1275 + x1294 + x1295 + x1312 + x1317 + x1318 + x1322 + x1340 + x1345 + x1346 + x1358 + x1359 + x1364 + x1368 + x1386 + x1387 + x1404 + x1405 + x1409 + x1413 + x1437 + x1451 + x1455 + x1456 + x1461 + x1473 + x1479 + x1482 + x1498 + x1503 + x1504 + x1521 + x1522 + x1527 + x1530 + x1551 = 1
 x2 + x8 + x11 + x12 + x26 + x31 + x32 + x50 + x51 + x55 + x56 + x73 + x79 + x98 + x103 + x104 + x123 + x127 + x128 + x129 + x145 + x146 + x170 + x175 + x176 + x179 + x195 + x201 + x207 + x225 + x226 + x227 + x251 + x269 + x270 + x271 + x288 + x293 + x298 + x317 + x320 + x321 + x322 + x334 + x338 + x342 + x366 + x381 + x386 + x390 + x391 + x407 + x408 + x409 + x430 + x431 + x449 + x450 + x454 + x458 + x476 + x496 + x500 + x501 + x505 + x522 + x523 + x524 + x527 + x541 + x546 + x569 + x570 + x573 + x574 + x587 + x611 + x617 + x618 + x622 + x646 + x647 + x648 + x672 + x673 + x679 + x683 + x708 + x709 + x714 + x734 + x741 + x746 + x771 + x772 + x776 + x777 + x796 + x797 + x803 + x832 + x833 + x834 + x838 + x858 + x864 + x867 + x868 + x883 + x887 + x888 + x889 + x905 + x906 + x907 + x929 + x935 + x939 + x959 + x960 + x961 + x965 + x984 + x985 + x991 + x995 + x1019 + x1021 + x1025 + x1044 + x1045 + x1055 + x1073 + x1074 + x1075 + x1097 + x1098 + x1099 + x1103 + x1105 + x1121 + x1127 + x1131 + x1147 + x1153 + x1155 + x1156 + x1157 + x1169 + x1170 + x1194 + x1195 + x1199 + x1200 + x1202 + x1217 + x1223 + x1243 + x1248 + x1249 + x1251 + x1252 + x1266 + x1271 + x1272 + x1294 + x1295 + x1296 + x1313 + x1318 + x1323 + x1341 + x1345 + x1346 + x1359 + x1360 + x1386 + x1387 + x1388 + x1405 + x1410 + x1414 + x1432 + x1437 + x1452 + x1456 + x1457 + x1473 + x1474 + x1499 + x1503 + x1504 + x1505 + x1507 + x1522 + x1523 + x1528 + x1530 + x1531 + x1545 + x1551 = 1
 x3 + x12 + x27 + x32 + x51 + x52 + x56 + x74 + x80 + x99 + x104 + x124 + x128 + x129 + x146 + x147 + x171 + x176 + x225 + x226 + x227 + x228 + x269 + x270 + x271 + x272 + x318 + x320 + x321 + x322 + x361 + x366 + x367 + x391 + x407 + x408 + x409 + x410 + x430 + x431 + x432 + x450 + x476 + x477 + x481 + x501 + x523 + x524 + x525 + x527 + x570 + x571 + x573 + x574 + x612 + x618 + x647 + x648 + x649 + x673 + x674 + x709 + x710 + x735 + x772 + x773 + x777 + x797 + x798 + x833 + x834 + x835 + x859 + x868 + x884 + x888 + x889 + x906 + x907 + x908 + x930 + x936 + x960 + x961 + x962 + x985 + x986 + x1020 + x1022 + x1045 + x1046 + x1074 + x1075 + x1076 + x1098 + x1099 + x1100 + x1122 + x1132 + x1148 + x1156 + x1157 + x1170 + x1171 + x1195 + x1196 + x1200 + x1218 + x1244 + x1249 + x1252 + x1267 + x1272 + x1294 + x1295 + x1296 + x1297 + x1342 + x1345 + x1346 + x1360 + x1386 + x1387 + x1388 + x1389 + x1433 + x1437 + x1438 + x1457 + x1474 + x1475 + x1500 + x1504 + x1505 + x1523 + x1524 + x1531 + x1546 + x1552 = 1
 x4 + x9 + x28 + x33 + x52 + x53 + x75 + x80 + x81 + x100 + x108 + x125 + x129 + x147 + x148 + x152 + x172 + x177 + x225 + x226 + x227 + x228 + x270 + x271 + x272 + x273 + x299 + x319 + x321 + x322 + x362 + x366 + x367 + x368 + x408 + x409 + x410 + x411 + x431 + x432 + x433 + x435 + x477 + x478 + x481 + x482 + x524 + x525 + x526 + x547 + x571 + x572 + x574 + x588 + x613 + x648 + x649 + x650 + x674 + x675 + x710 + x711 + x715 + x736 + x742 + x773 + x774 + x798 + x799 + x834 + x835 + x836 + x860 + x869 + x885 + x889 + x907 + x908 + x909 + x931 + x936 + x937 + x961 + x962 + x963 + x986 + x987 + x1021 + x1023 + x1046 + x1047 + x1075 + x1076 + x1077 + x1099 + x1100 + x1101 + x1123 + x1132 + x1133 + x1149 + x1157 + x1171 + x1172 + x1176 + x1196 + x1197 + x1219 + x1224 + x1228 + x1245 + x1268 + x1273 + x1295 + x1296 + x1297 + x1298 + x1319 + x1343 + x1346 + x1347 + x1387 + x1388 + x1389 + x1390 + x1406 + x1434 + x1438 + x1439 + x1475 + x1476 + x1483 + x1501 + x1505 + x1524 + x1525 + x1547 + x1552 + x1553 = 1
 x5 + x9 + x10 + x29 + x33 + x34 + x36 + x53 + x54 + x76 + x80 + x81 + x82 + x101 + x105 + x108 + x109 + x126 + x130 + x148 + x149 + x152 + x153 + x173 + x177 + x178 + x196 + x202 + x208 + x226 + x227 + x228 + x243 + x247 + x252 + x271 + x272 + x273 + x289 + x294 + x299 + x300 + x322 + x343 + x363 + x366 + x367 + x368 + x382 + x387 + x392 + x409 + x410 + x411 + x432 + x433 + x434 + x435 + x451 + x478 + x479 + x481 + x482 + x497 + x502 + x525 + x526 + x542 + x547 + x548 + x552 + x572 + x588 + x589 + x593 + x597 + x614 + x619 + x623 + x649 + x650 + x651 + x653 + x675 + x676 + x680 + x711 + x712 + x715 + x716 + x737 + x742 + x743 + x747 + x774 + x775 + x778 + x799 + x800 + x804 + x808 + x835 + x836 + x837 + x861 + x865 + x869 + x870 + x886 + x890 + x892 + x908 + x909 + x910 + x932 + x936 + x937 + x938 + x962 + x963 + x964 + x966 + x987 + x988 + x996 + x1022 + x1024 + x1026 + x1047 + x1048 + x1052 + x1056 + x1076 + x1077 + x1078 + x1080 + x1082 + x1100 + x1101 + x1102 + x1124 + x1128 + x1132 + x1133 + x1134 + x1150 + x1154 + x1158 + x1172 + x1173 + x1176 + x1177 + x1179 + x1197 + x1198 + x1220 + x1224 + x1225 + x1228 + x1229 + x1246 + x1250 + x1269 + x1273 + x1274 + x1296 + x1297 + x1298 + x1314 + x1319 + x1320 + x1344 + x1347 + x1361 + x1365 + x1369 + x1388 + x1389 + x1390 + x1406 + x1407 + x1435 + x1438 + x1439 + x1453 + x1458 + x1462 + x1476 + x1477 + x1480 + x1483 + x1484 + x1502 + x1506 + x1525 + x1526 + x1548 + x1552 + x1553 + x1554 + x1556 = 1
 x6 + x10 + x13 + x30 + x33 + x34 + x54 + x57 + x59 + x77 + x81 + x82 + x84 + x102 + x105 + x106 + x109 + x130 + x132 + x149 + x150 + x153 + x155 + x174 + x177 + x178 + x197 + x203 + x209 + x227 + x228 + x244 + x248 + x253 + x272 + x273 + x290 + x295 + x300 + x301 + x335 + x339 + x344 + x364 + x367 + x368 + x383 + x388 + x392 + x393 + x410 + x411 + x433 + x434 + x451 + x452 + x455 + x459 + x479 + x480 + x482 + x498 + x502 + x503 + x506 + x526 + x543 + x548 + x549 + x553 + x589 + x590 + x594 + x598 + x615 + x619 + x620 + x623 + x624 + x650 + x651 + x653 + x676 + x677 + x680 + x681 + x684 + x712 + x713 + x715 + x716 + x738 + x743 + x744 + x747 + x748 + x775 + x778 + x800 + x801 + x804 + x805 + x809 + x836 + x837 + x839 + x862 + x866 + x869 + x870 + x890 + x909 + x910 + x912 + x914 + x933 + x937 + x938 + x963 + x964 + x988 + x989 + x992 + x996 + x997 + x1023 + x1026 + x1048 + x1049 + x1053 + x1056 + x1057 + x1077 + x1078 + x1101 + x1102 + x1125 + x1129 + x1133 + x1134 + x1158 + x1173 + x1174 + x1177 + x1198 + x1201 + x1221 + x1225 + x1226 + x1229 + x1250 + x1253 + x1270 + x1273 + x1274 + x1276 + x1297 + x1298 + x1315 + x1320 + x1321 + x1324 + x1347 + x1361 + x1362 + x1366 + x1370 + x1389 + x1390 + x1407 + x1408 + x1411 + x1415 + x1436 + x1438 + x1439 + x1454 + x1458 + x1459 + x1463 + x1477 + x1478 + x1481 + x1484 + x1506 + x1526 + x1529 + x1532 + x1549 + x1553 + x1554 = 1
 x13 + x34 + x57 + x78 + x82 + x106 + x130 + x150 + x178 + x180 + x198 + x204 + x210 + x228 + x273 + x291 + x296 + x301 + x336 + x340 + x345 + x365 + x368 + x393 + x411 + x434 + x452 + x456 + x460 + x480 + x503 + x507 + x544 + x549 + x590 + x620 + x624 + x651 + x677 + x681 + x685 + x713 + x716 + x739 + x744 + x748 + x778 + x801 + x805 + x837 + x839 + x870 + x890 + x910 + x934 + x938 + x940 + x964 + x966 + x989 + x993 + x997 + x1024 + x1026 + x1049 + x1057 + x1078 + x1102 + x1104 + x1106 + x1126 + x1130 + x1134 + x1158 + x1174 + x1201 + x1203 + x1222 + x1226 + x1253 + x1274 + x1298 + x1316 + x1321 + x1325 + x1347 + x1362 + x1390 + x1408 + x1412 + x1416 + x1439 + x1459 + x1478 + x1506 + x1508 + x1532 + x1550 + x1554 = 1
 x11 + x35 + x37 + x55 + x83 + x110 + x127 + x131 + x154 + x179 + x193 + x199 + x205 + x211 + x241 + x245 + x249 + x254 + x302 + x320 + x333 + x379 + x384 + x389 + x394 + x448 + x453 + x494 + x499 + x504 + x527 + x550 + x554 + x573 + x591 + x595 + x599 + x616 + x621 + x625 + x652 + x654 + x678 + x682 + x717 + x745 + x749 + x776 + x779 + x802 + x806 + x810 + x838 + x871 + x887 + x891 + x893 + x911 + x939 + x965 + x967 + x990 + x998 + x1025 + x1027 + x1050 + x1054 + x1058 + x1079 + x1081 + x1083 + x1103 + x1135 + x1151 + x1155 + x1159 + x1178 + x1180 + x1199 + x1230 + x1247 + x1251 + x1275 + x1322 + x1358 + x1363 + x1367 + x1371 + x1409 + x1450 + x1455 + x1460 + x1464 + x1485 + x1503 + x1507 + x1527 + x1555 + x1557 = 1
 x7 + x11 + x12 + x14 + x31 + x35 + x55 + x56 + x58 + x60 + x83 + x85 + x103 + x107 + x110 + x128 + x131 + x133 + x151 + x154 + x156 + x175 + x179 + x194 + x200 + x206 + x212 + x241 + x242 + x246 + x250 + x255 + x287 + x292 + x297 + x302 + x303 + x321 + x333 + x334 + x337 + x341 + x346 + x380 + x385 + x390 + x394 + x395 + x449 + x453 + x454 + x457 + x461 + x495 + x500 + x504 + x505 + x508 + x527 + x540 + x545 + x550 + x551 + x555 + x573 + x574 + x586 + x591 + x592 + x596 + x600 + x617 + x621 + x622 + x625 + x626 + x652 + x654 + x678 + x679 + x682 + x683 + x686 + x714 + x717 + x740 + x745 + x746 + x749 + x750 + x776 + x777 + x779 + x802 + x803 + x806 + x807 + x811 + x838 + x840 + x863 + x867 + x871 + x888 + x891 + x911 + x913 + x915 + x939 + x965 + x990 + x991 + x994 + x998 + x999 + x1027 + x1050 + x1051 + x1055 + x1058 + x1059 + x1079 + x1084 + x1103 + x1135 + x1152 + x1156 + x1159 + x1175 + x1178 + x1181 + x1199 + x1200 + x1202 + x1227 + x1230 + x1248 + x1251 + x1252 + x1254 + x1271 + x1275 + x1277 + x1312 + x1317 + x1322 + x1323 + x1326 + x1345 + x1359 + x1363 + x1364 + x1368 + x1372 + x1404 + x1409 + x1410 + x1413 + x1417 + x1451 + x1456 + x1460 + x1461 + x1465 + x1479 + x1482 + x1485 + x1486 + x1504 + x1507 + x1527 + x1528 + x1530 + x1533 + x1555 = 1
 x8 + x12 + x14 + x32 + x35 + x56 + x58 + x79 + x83 + x104 + x107 + x129 + x131 + x151 + x157 + x176 + x179 + x181 + x195 + x201 + x207 + x213 + x242 + x251 + x256 + x288 + x293 + x298 + x303 + x322 + x334 + x338 + x342 + x347 + x381 + x386 + x391 + x395 + x450 + x454 + x458 + x462 + x496 + x501 + x505 + x509 + x527 + x541 + x546 + x551 + x574 + x587 + x592 + x601 + x618 + x622 + x626 + x652 + x679 + x683 + x687 + x714 + x717 + x741 + x746 + x750 + x777 + x779 + x803 + x807 + x838 + x840 + x864 + x868 + x871 + x889 + x891 + x911 + x916 + x935 + x939 + x941 + x965 + x967 + x991 + x995 + x999 + x1025 + x1027 + x1051 + x1059 + x1079 + x1085 + x1103 + x1105 + x1107 + x1127 + x1131 + x1135 + x1153 + x1157 + x1159 + x1175 + x1200 + x1202 + x1204 + x1223 + x1227 + x1249 + x1252 + x1254 + x1272 + x1275 + x1313 + x1318 + x1323 + x1327 + x1346 + x1360 + x1364 + x1373 + x1405 + x1410 + x1414 + x1418 + x1437 + x1452 + x1457 + x1461 + x1479 + x1486 + x1505 + x1507 + x1509 + x1528 + x1531 + x1533 + x1551 + x1555 = 1
 x9 + x13 + x33 + x36 + x38 + x57 + x61 + x80 + x84 + x105 + x108 + x111 + x130 + x132 + x152 + x155 + x177 + x180 + x196 + x202 + x208 + x214 + x243 + x247 + x252 + x257 + x289 + x294 + x299 + x304 + x335 + x343 + x348 + x366 + x382 + x387 + x392 + x396 + x435 + x451 + x455 + x463 + x481 + x497 + x502 + x506 + x542 + x547 + x552 + x556 + x588 + x593 + x597 + x602 + x619 + x623 + x627 + x653 + x655 + x680 + x684 + x715 + x718 + x742 + x747 + x751 + x778 + x780 + x804 + x808 + x812 + x839 + x865 + x869 + x872 + x890 + x892 + x894 + x912 + x917 + x936 + x940 + x966 + x968 + x992 + x1000 + x1026 + x1028 + x1052 + x1056 + x1060 + x1080 + x1082 + x1086 + x1104 + x1108 + x1128 + x1132 + x1136 + x1154 + x1158 + x1160 + x1176 + x1179 + x1182 + x1201 + x1224 + x1228 + x1231 + x1250 + x1253 + x1273 + x1276 + x1314 + x1319 + x1324 + x1347 + x1361 + x1365 + x1369 + x1374 + x1406 + x1411 + x1419 + x1438 + x1453 + x1458 + x1462 + x1466 + x1480 + x1483 + x1487 + x1506 + x1508 + x1529 + x1534 + x1552 + x1556 + x1558 = 1
 x10 + x13 + x15 + x34 + x36 + x57 + x59 + x62 + x81 + x84 + x86 + x106 + x108 + x109 + x111 + x132 + x134 + x152 + x153 + x155 + x158 + x178 + x180 + x197 + x203 + x209 + x215 + x243 + x244 + x248 + x253 + x258 + x290 + x295 + x300 + x304 + x305 + x335 + x336 + x339 + x344 + x349 + x367 + x383 + x388 + x393 + x396 + x397 + x435 + x452 + x455 + x456 + x459 + x464 + x481 + x482 + x498 + x503 + x506 + x507 + x510 + x543 + x548 + x552 + x553 + x557 + x589 + x593 + x594 + x598 + x603 + x620 + x623 + x624 + x627 + x628 + x653 + x655 + x680 + x681 + x684 + x685 + x688 + x715 + x716 + x718 + x743 + x747 + x748 + x751 + x752 + x778 + x780 + x804 + x805 + x808 + x809 + x813 + x839 + x841 + x866 + x870 + x872 + x892 + x912 + x914 + x918 + x937 + x940 + x966 + x992 + x993 + x996 + x1000 + x1001 + x1028 + x1052 + x1053 + x1057 + x1060 + x1061 + x1080 + x1104 + x1109 + x1129 + x1133 + x1136 + x1160 + x1176 + x1177 + x1179 + x1201 + x1203 + x1205 + x1225 + x1228 + x1229 + x1231 + x1253 + x1255 + x1274 + x1276 + x1278 + x1315 + x1320 + x1324 + x1325 + x1328 + x1362 + x1365 + x1366 + x1370 + x1375 + x1407 + x1411 + x1412 + x1415 + x1420 + x1439 + x1454 + x1459 + x1462 + x1463 + x1467 + x1480 + x1481 + x1484 + x1487 + x1508 + x1529 + x1532 + x1534 + x1535 + x1553 + x1556 = 1
 x15 + x36 + x59 + x82 + x84 + x109 + x132 + x153 + x180 + x182 + x198 + x204 + x210 + x216 + x244 + x291 + x296 + x301 + x305 + x336 + x340 + x345 + x350 + x368 + x397 + x435 + x456 + x460 + x465 + x482 + x507 + x511 + x544 + x549 + x553 + x590 + x594 + x624 + x628 + x653 + x681 + x685 + x689 + x716 + x718 + x744 + x748 + x752 + x780 + x805 + x809 + x839 + x841 + x872 + x892 + x912 + x938 + x940 + x942 + x966 + x968 + x993 + x997 + x1001 + x1026 + x1028 + x1053 + x1061 + x1080 + x1104 + x1106 + x1110 + x1130 + x1134 + x1136 + x1160 + x1177 + x1203 + x1206 + x1226 + x1229 + x1255 + x1276 + x1316 + x1321 + x1325 + x1329 + x1366 + x1408 + x1412 + x1416 + x1421 + x1463 + x1481 + x1508 + x1510 + x1535 + x1554 + x1556 = 1
 x14 + x37 + x39 + x58 + x85 + x112 + x131 + x133 + x156 + x181 + x193 + x199 + x205 + x211 + x245 + x249 + x254 + x259 + x306 + x337 + x384 + x389 + x394 + x398 + x412 + x436 + x453 + x457 + x483 + x499 + x504 + x508 + x554 + x558 + x595 + x599 + x604 + x621 + x625 + x629 + x654 + x656 + x682 + x686 + x719 + x749 + x753 + x779 + x781 + x806 + x810 + x814 + x840 + x873 + x891 + x893 + x895 + x913 + x941 + x967 + x969 + x994 + x1002 + x1027 + x1029 + x1054 + x1058 + x1062 + x1081 + x1083 + x1087 + x1105 + x1137 + x1155 + x1159 + x1161 + x1180 + x1183 + x1202 + x1232 + x1251 + x1254 + x1277 + x1326 + x1363 + x1367 + x1371 + x1376 + x1413 + x1455 + x1460 + x1464 + x1468 + x1488 + x1507 + x1509 + x1530 + x1557 + x1559 = 1
 x11 + x14 + x16 + x35 + x37 + x40 + x58 + x60 + x63 + x85 + x87 + x107 + x110 + x112 + x113 + x133 + x135 + x154 + x156 + x157 + x159 + x179 + x181 + x194 + x200 + x206 + x212 + x245 + x246 + x250 + x255 + x260 + x292 + x297 + x302 + x306 + x307 + x337 + x338 + x341 + x346 + x351 + x385 + x390 + x395 + x398 + x399 + x413 + x436 + x437 + x454 + x457 + x458 + x461 + x466 + x483 + x500 + x505 + x508 + x509 + x512 + x545 + x550 + x554 + x555 + x559 + x591 + x595 + x596 + x600 + x605 + x622 + x625 + x626 + x629 + x630 + x654 + x656 + x657 + x682 + x683 + x686 + x687 + x690 + x717 + x719 + x745 + x749 + x750 + x753 + x754 + x779 + x781 + x806 + x807 + x810 + x811 + x815 + x840 + x842 + x867 + x871 + x873 + x893 + x896 + x913 + x915 + x919 + x941 + x967 + x994 + x995 + x998 + x1002 + x1003 + x1029 + x1054 + x1055 + x1059 + x1062 + x1063 + x1081 + x1084 + x1088 + x1105 + x1137 + x1156 + x1161 + x1178 + x1180 + x1181 + x1184 + x1202 + x1204 + x1230 + x1232 + x1233 + x1252 + x1254 + x1256 + x1275 + x1277 + x1279 + x1317 + x1322 + x1326 + x1327 + x1330 + x1364 + x1367 + x1368 + x1372 + x1377 + x1391 + x1409 + x1413 + x1414 + x1417 + x1422 + x1456 + x1461 + x1464 + x1465 + x1469 + x1482 + x1485 + x1488 + x1489 + x1509 + x1530 + x1531 + x1533 + x1536 + x1557 + x1560 = 1
 x12 + x16 + x37 + x41 + x60 + x64 + x83 + x85 + x88 + x110 + x113 + x133 + x136 + x154 + x157 + x160 + x181 + x183 + x195 + x201 + x207 + x213 + x246 + x251 + x256 + x261 + x293 + x298 + x303 + x307 + x338 + x342 + x347 + x352 + x386 + x391 + x399 + x414 + x437 + x458 + x462 + x467 + x483 + x501 + x509 + x513 + x546 + x551 + x555 + x560 + x592 + x596 + x601 + x606 + x626 + x630 + x654 + x657 + x683 + x687 + x691 + x717 + x719 + x746 + x750 + x754 + x781 + x807 + x811 + x816 + x840 + x842 + x868 + x873 + x893 + x897 + x913 + x916 + x920 + x939 + x941 + x943 + x967 + x969 + x995 + x999 + x1003 + x1027 + x1029 + x1055 + x1063 + x1081 + x1085 + x1089 + x1105 + x1107 + x1111 + x1131 + x1135 + x1137 + x1157 + x1161 + x1178 + x1181 + x1185 + x1204 + x1207 + x1227 + x1230 + x1233 + x1256 + x1277 + x1280 + x1299 + x1318 + x1323 + x1327 + x1331 + x1368 + x1373 + x1378 + x1392 + x1410 + x1414 + x1418 + x1423 + x1457 + x1465 + x1470 + x1482 + x1486 + x1489 + x1509 + x1511 + x1531 + x1536 + x1555 + x1557 + x1561 = 1
 x15 + x17 + x38 + x42 + x59 + x61 + x65 + x86 + x89 + x108 + x114 + x132 + x134 + x137 + x158 + x161 + x182 + x184 + x196 + x202 + x208 + x214 + x247 + x252 + x257 + x262 + x274 + x294 + x299 + x308 + x339 + x343 + x348 + x353 + x387 + x392 + x396 + x400 + x455 + x459 + x463 + x468 + x502 + x506 + x510 + x514 + x528 + x547 + x556 + x561 + x575 + x597 + x602 + x607 + x623 + x627 + x631 + x655 + x658 + x684 + x688 + x692 + x720 + x751 + x755 + x780 + x782 + x808 + x812 + x817 + x841 + x843 + x869 + x874 + x892 + x894 + x898 + x914 + x917 + x921 + x942 + x944 + x968 + x970 + x996 + x1004 + x1028 + x1030 + x1056 + x1060 + x1064 + x1082 + x1086 + x1090 + x1106 + x1108 + x1112 + x1132 + x1138 + x1158 + x1160 + x1162 + x1182 + x1186 + x1203 + x1205 + x1208 + x1234 + x1253 + x1255 + x1257 + x1278 + x1281 + x1300 + x1319 + x1328 + x1332 + x1365 + x1369 + x1374 + x1379 + x1393 + x1415 + x1419 + x1424 + x1458 + x1462 + x1466 + x1471 + x1483 + x1490 + x1508 + x1510 + x1512 + x1532 + x1534 + x1537 + x1558 + x1562 = 1
 x13 + x15 + x17 + x18 + x36 + x38 + x59 + x61 + x62 + x66 + x86 + x90 + x109 + x111 + x114 + x134 + x138 + x155 + x158 + x162 + x180 + x182 + x185 + x197 + x203 + x209 + x215 + x247 + x248 + x253 + x258 + x263 + x275 + x295 + x300 + x304 + x308 + x309 + x339 + x340 + x344 + x349 + x354 + x388 + x393 + x397 + x400 + x401 + x456 + x459 + x460 + x464 + x469 + x503 + x507 + x510 + x511 + x515 + x528 + x529 + x548 + x552 + x556 + x557 + x562 + x575 + x593 + x597 + x598 + x603 + x608 + x624 + x627 + x628 + x631 + x632 + x655 + x658 + x684 + x685 + x688 + x689 + x693 + x718 + x720 + x747 + x751 + x752 + x755 + x756 + x780 + x782 + x808 + x809 + x812 + x813 + x818 + x841 + x843 + x844 + x870 + x872 + x874 + x894 + x914 + x918 + x922 + x942 + x945 + x968 + x996 + x997 + x1000 + x1004 + x1005 + x1030 + x1056 + x1057 + x1061 + x1064 + x1065 + x1082 + x1106 + x1109 + x1113 + x1133 + x1138 + x1162 + x1179 + x1182 + x1203 + x1205 + x1206 + x1209 + x1228 + x1231 + x1234 + x1255 + x1257 + x1258 + x1276 + x1278 + x1282 + x1301 + x1320 + x1324 + x1328 + x1329 + x1333 + x1366 + x1369 + x1370 + x1375 + x1380 + x1411 + x1415 + x1416 + x1420 + x1425 + x1459 + x1463 + x1466 + x1467 + x1472 + x1483 + x1484 + x1487 + x1490 + x1510 + x1513 + x1532 + x1535 + x1537 + x1538 + x1558 = 1
 x18 + x38 + x62 + x84 + x86 + x111 + x134 + x155 + x182 + x186 + x198 + x204 + x210 + x216 + x248 + x276 + x296 + x301 + x305 + x309 + x340 + x345 + x350 + x355 + x401 + x460 + x465 + x470 + x511 + x516 + x529 + x549 + x553 + x557 + x575 + x594 + x598 + x628 + x632 + x655 + x685 + x689 + x694 + x718 + x720 + x748 + x752 + x756 + x782 + x809 + x813 + x841 + x844 + x874 + x894 + x914 + x940 + x942 + x946 + x968 + x970 + x997 + x1001 + x1005 + x1028 + x1030 + x1057 + x1065 + x1082 + x1106 + x1110 + x1114 + x1134 + x1136 + x1138 + x1162 + x1179 + x1206 + x1210 + x1229 + x1231 + x1258 + x1278 + x1321 + x1325 + x1329 + x1334 + x1370 + x1412 + x1416 + x1421 + x1426 + x1467 + x1484 + x1510 + x1514 + x1538 + x1556 + x1558 = 1
 x16 + x39 + x43 + x60 + x87 + x115 + x133 + x135 + x159 + x183 + x199 + x205 + x211 + x229 + x249 + x254 + x259 + x323 + x341 + x369 + x389 + x394 + x398 + x412 + x415 + x438 + x457 + x461 + x484 + x504 + x508 + x512 + x558 + x599 + x604 + x625 + x629 + x633 + x656 + x659 + x686 + x690 + x721 + x753 + x757 + x781 + x783 + x810 + x814 + x819 + x842 + x875 + x893 + x895 + x899 + x915 + x943 + x969 + x971 + x998 + x1006 + x1029 + x1031 + x1058 + x1062 + x1066 + x1083 + x1087 + x1091 + x1107 + x1139 + x1159 + x1161 + x1163 + x1183 + x1187 + x1204 + x1235 + x1254 + x1256 + x1279 + x1299 + x1330 + x1348 + x1367 + x1371 + x1376 + x1391 + x1417 + x1440 + x1460 + x1464 + x1468 + x1491 + x1509 + x1511 + x1533 + x1559 + x1563 = 1
 x14 + x16 + x19 + x37 + x39 + x40 + x44 + x60 + x63 + x67 + x87 + x88 + x91 + x110 + x112 + x115 + x116 + x135 + x136 + x139 + x156 + x159 + x160 + x163 + x181 + x183 + x200 + x206 + x212 + x229 + x230 + x249 + x250 + x255 + x260 + x297 + x302 + x306 + x323 + x324 + x341 + x342 + x346 + x351 + x369 + x370 + x390 + x395 + x399 + x412 + x413 + x416 + x436 + x438 + x439 + x458 + x461 + x462 + x466 + x484 + x485 + x505 + x509 + x512 + x513 + x550 + x554 + x558 + x559 + x576 + x595 + x599 + x600 + x605 + x626 + x629 + x630 + x633 + x634 + x656 + x657 + x659 + x660 + x686 + x687 + x690 + x691 + x695 + x719 + x721 + x722 + x749 + x753 + x754 + x757 + x758 + x781 + x783 + x784 + x810 + x811 + x814 + x815 + x820 + x842 + x845 + x871 + x873 + x875 + x876 + x895 + x896 + x900 + x915 + x916 + x919 + x923 + x943 + x969 + x972 + x998 + x999 + x1002 + x1006 + x1007 + x1031 + x1032 + x1058 + x1059 + x1063 + x1066 + x1067 + x1083 + x1084 + x1088 + x1092 + x1107 + x1139 + x1140 + x1163 + x1164 + x1180 + x1183 + x1184 + x1188 + x1204 + x1207 + x1232 + x1235 + x1236 + x1256 + x1259 + x1277 + x1279 + x1280 + x1283 + x1299 + x1322 + x1326 + x1330 + x1331 + x1348 + x1349 + x1368 + x1371 + x1372 + x1377 + x1391 + x1392 + x1394 + x1413 + x1417 + x1418 + x1422 + x1440 + x1441 + x1461 + x1465 + x1468 + x1469 + x1485 + x1488 + x1491 + x1492 + x1511 + x1533 + x1536 + x1539 + x1559 + x1560 + x1564 = 1
 x19 + x20 + x39 + x40 + x41 + x45 + x63 + x64 + x68 + x85 + x87 + x88 + x92 + x112 + x113 + x116 + x117 + x135 + x136 + x140 + x156 + x157 + x160 + x164 + x183 + x187 + x201 + x207 + x213 + x229 + x230 + x231 + x250 + x251 + x256 + x261 + x274 + x298 + x303 + x307 + x323 + x324 + x325 + x342 + x347 + x352 + x369 + x370 + x371 + x391 + x412 + x413 + x414 + x417 + x436 + x437 + x439 + x440 + x462 + x467 + x483 + x484 + x485 + x486 + x513 + x530 + x551 + x555 + x559 + x560 + x576 + x577 + x596 + x600 + x601 + x606 + x630 + x634 + x635 + x656 + x657 + x660 + x661 + x687 + x691 + x696 + x719 + x721 + x722 + x723 + x750 + x754 + x758 + x759 + x783 + x784 + x785 + x811 + x815 + x816 + x821 + x842 + x845 + x846 + x875 + x876 + x877 + x895 + x896 + x897 + x901 + x915 + x916 + x920 + x924 + x941 + x943 + x947 + x969 + x971 + x973 + x999 + x1003 + x1007 + x1008 + x1029 + x1031 + x1032 + x1033 + x1059 + x1067 + x1068 + x1083 + x1084 + x1085 + x1089 + x1093 + x1107 + x1111 + x1115 + x1135 + x1137 + x1139 + x1140 + x1141 + x1163 + x1164 + x1165 + x1180 + x1181 + x1184 + x1185 + x1189 + x1207 + x1211 + x1230 + x1232 + x1233 + x1236 + x1237 + x1259 + x1260 + x1279 + x1280 + x1284 + x1299 + x1302 + x1323 + x1327 + x1331 + x1348 + x1349 + x1350 + x1372 + x1373 + x1378 + x1391 + x1392 + x1395 + x1414 + x1418 + x1423 + x1440 + x1441 + x1442 + x1469 + x1470 + x1485 + x1486 + x1489 + x1492 + x1493 + x1511 + x1515 + x1539 + x1540 + x1557 + x1559 + x1560 + x1561 + x1565 = 1
 x20 + x21 + x40 + x41 + x46 + x64 + x69 + x88 + x93 + x113 + x117 + x118 + x136 + x141 + x157 + x165 + x184 + x188 + x229 + x230 + x231 + x232 + x251 + x274 + x275 + x277 + x323 + x324 + x325 + x326 + x369 + x370 + x371 + x372 + x412 + x413 + x414 + x418 + x436 + x437 + x440 + x441 + x483 + x485 + x486 + x487 + x528 + x530 + x531 + x560 + x576 + x577 + x578 + x601 + x635 + x636 + x657 + x661 + x662 + x697 + x722 + x723 + x724 + x759 + x760 + x784 + x785 + x786 + x816 + x822 + x846 + x847 + x876 + x877 + x878 + x896 + x897 + x902 + x916 + x925 + x944 + x948 + x972 + x974 + x1008 + x1009 + x1032 + x1033 + x1034 + x1068 + x1069 + x1084 + x1085 + x1094 + x1108 + x1116 + x1140 + x1141 + x1142 + x1164 + x1165 + x1166 + x1181 + x1185 + x1190 + x1212 + x1233 + x1237 + x1238 + x1260 + x1261 + x1280 + x1285 + x1299 + x1300 + x1303 + x1348 + x1349 + x1350 + x1351 + x1373 + x1391 + x1392 + x1396 + x1440 + x1441 + x1442 + x1443 + x1470 + x1486 + x1493 + x1494 + x1512 + x1516 + x1540 + x1541 + x1560 + x1561 + x1566 = 1
 x17 + x21 + x22 + x41 + x47 + x61 + x70 + x89 + x94 + x118 + x119 + x137 + x142 + x161 + x166 + x184 + x185 + x189 + x229 + x230 + x231 + x232 + x274 + x275 + x276 + x278 + x324 + x325 + x326 + x327 + x343 + x370 + x371 + x372 + x373 + x413 + x414 + x419 + x437 + x441 + x442 + x463 + x486 + x487 + x488 + x514 + x528 + x529 + x531 + x532 + x575 + x577 + x578 + x579 + x636 + x637 + x662 + x663 + x692 + x698 + x723 + x724 + x725 + x760 + x761 + x785 + x786 + x787 + x823 + x843 + x847 + x848 + x877 + x878 + x879 + x897 + x903 + x917 + x926 + x944 + x945 + x949 + x973 + x975 + x1009 + x1010 + x1033 + x1034 + x1035 + x1069 + x1070 + x1085 + x1095 + x1108 + x1109 + x1117 + x1141 + x1142 + x1143 + x1165 + x1166 + x1167 + x1191 + x1205 + x1208 + x1213 + x1238 + x1239 + x1257 + x1261 + x1262 + x1281 + x1286 + x1300 + x1301 + x1304 + x1332 + x1349 + x1350 + x1351 + x1352 + x1392 + x1393 + x1397 + x1419 + x1441 + x1442 + x1443 + x1444 + x1494 + x1495 + x1512 + x1513 + x1517 + x1534 + x1541 + x1542 + x1561 + x1567 = 1
 x17 + x18 + x22 + x23 + x42 + x48 + x61 + x62 + x65 + x71 + x89 + x90 + x95 + x119 + x120 + x134 + x137 + x138 + x143 + x161 + x162 + x167 + x184 + x185 + x186 + x190 + x202 + x208 + x214 + x230 + x231 + x232 + x252 + x257 + x262 + x274 + x275 + x276 + x279 + x299 + x325 + x326 + x327 + x343 + x344 + x348 + x353 + x371 + x372 + x373 + x392 + x396 + x400 + x414 + x442 + x459 + x463 + x464 + x468 + x487 + x488 + x506 + x510 + x514 + x515 + x528 + x529 + x532 + x533 + x561 + x575 + x578 + x579 + x580 + x602 + x607 + x627 + x631 + x637 + x638 + x658 + x663 + x664 + x688 + x692 + x693 + x699 + x724 + x725 + x726 + x755 + x761 + x762 + x782 + x786 + x787 + x788 + x812 + x817 + x824 + x843 + x844 + x848 + x849 + x878 + x879 + x880 + x894 + x898 + x904 + x917 + x918 + x921 + x927 + x944 + x945 + x946 + x950 + x970 + x974 + x976 + x1000 + x1010 + x1011 + x1030 + x1034 + x1035 + x1036 + x1060 + x1064 + x1070 + x1071 + x1086 + x1090 + x1096 + x1108 + x1109 + x1110 + x1112 + x1118 + x1142 + x1143 + x1144 + x1160 + x1162 + x1166 + x1167 + x1168 + x1186 + x1192 + x1205 + x1206 + x1208 + x1209 + x1214 + x1239 + x1240 + x1255 + x1257 + x1258 + x1262 + x1263 + x1281 + x1282 + x1287 + x1300 + x1301 + x1305 + x1332 + x1333 + x1350 + x1351 + x1352 + x1369 + x1374 + x1379 + x1393 + x1398 + x1419 + x1420 + x1424 + x1442 + x1443 + x1444 + x1462 + x1466 + x1471 + x1495 + x1496 + x1510 + x1512 + x1513 + x1514 + x1518 + x1534 + x1535 + x1537 + x1542 + x1543 + x1562 + x1568 = 1
 x15 + x18 + x23 + x24 + x38 + x42 + x62 + x65 + x66 + x72 + x89 + x90 + x96 + x111 + x114 + x120 + x137 + x138 + x144 + x158 + x162 + x168 + x182 + x185 + x186 + x191 + x203 + x209 + x215 + x231 + x232 + x252 + x253 + x258 + x263 + x275 + x276 + x280 + x300 + x304 + x308 + x326 + x327 + x344 + x345 + x349 + x354 + x372 + x373 + x393 + x397 + x401 + x460 + x464 + x465 + x469 + x488 + x507 + x511 + x515 + x516 + x529 + x533 + x534 + x552 + x556 + x561 + x562 + x579 + x580 + x597 + x602 + x603 + x608 + x628 + x631 + x632 + x638 + x639 + x658 + x664 + x688 + x689 + x693 + x694 + x700 + x720 + x725 + x726 + x751 + x755 + x756 + x762 + x763 + x782 + x787 + x788 + x812 + x813 + x817 + x818 + x825 + x843 + x844 + x849 + x850 + x872 + x874 + x879 + x880 + x898 + x917 + x918 + x922 + x928 + x945 + x946 + x951 + x970 + x975 + x1000 + x1001 + x1004 + x1011 + x1012 + x1035 + x1036 + x1060 + x1061 + x1065 + x1071 + x1072 + x1086 + x1109 + x1110 + x1113 + x1119 + x1143 + x1144 + x1167 + x1168 + x1182 + x1186 + x1206 + x1209 + x1210 + x1215 + x1234 + x1240 + x1258 + x1263 + x1264 + x1278 + x1281 + x1282 + x1288 + x1300 + x1301 + x1306 + x1324 + x1328 + x1333 + x1334 + x1351 + x1352 + x1370 + x1374 + x1375 + x1380 + x1393 + x1415 + x1420 + x1421 + x1425 + x1443 + x1444 + x1463 + x1467 + x1471 + x1472 + x1487 + x1490 + x1496 + x1513 + x1514 + x1519 + x1535 + x1538 + x1543 + x1544 + x1562 = 1
 x24 + x42 + x66 + x86 + x90 + x114 + x138 + x158 + x186 + x192 + x204 + x210 + x216 + x232 + x253 + x276 + x281 + x301 + x305 + x309 + x327 + x345 + x350 + x355 + x373 + x465 + x470 + x516 + x534 + x553 + x557 + x562 + x580 + x598 + x603 + x632 + x639 + x658 + x689 + x694 + x701 + x720 + x726 + x752 + x756 + x763 + x788 + x813 + x818 + x844 + x850 + x880 + x898 + x918 + x942 + x946 + x952 + x970 + x976 + x1001 + x1005 + x1012 + x1030 + x1036 + x1061 + x1072 + x1086 + x1110 + x1114 + x1120 + x1136 + x1138 + x1144 + x1168 + x1182 + x1210 + x1216 + x1231 + x1234 + x1264 + x1282 + x1301 + x1325 + x1329 + x1334 + x1352 + x1375 + x1393 + x1416 + x1421 + x1426 + x1444 + x1472 + x1487 + x1514 + x1520 + x1544 + x1558 + x1562 = 1
 x19 + x43 + x63 + x91 + x135 + x139 + x163 + x187 + x205 + x211 + x233 + x254 + x259 + x277 + x323 + x328 + x346 + x374 + x394 + x398 + x415 + x420 + x443 + x461 + x466 + x489 + x508 + x512 + x530 + x576 + x604 + x629 + x633 + x659 + x665 + x690 + x695 + x727 + x757 + x783 + x789 + x814 + x819 + x845 + x895 + x899 + x919 + x947 + x971 + x977 + x1002 + x1031 + x1037 + x1062 + x1066 + x1087 + x1091 + x1111 + x1161 + x1163 + x1187 + x1207 + x1256 + x1259 + x1283 + x1302 + x1353 + x1371 + x1376 + x1394 + x1422 + x1445 + x1464 + x1468 + x1511 + x1515 + x1536 + x1563 = 1
 x16 + x19 + x20 + x39 + x43 + x44 + x63 + x64 + x67 + x91 + x92 + x112 + x115 + x136 + x139 + x140 + x159 + x163 + x164 + x183 + x187 + x188 + x206 + x212 + x233 + x234 + x254 + x255 + x260 + x277 + x278 + x302 + x306 + x324 + x328 + x329 + x346 + x347 + x351 + x374 + x375 + x395 + x399 + x415 + x416 + x421 + x438 + x443 + x444 + x462 + x466 + x467 + x489 + x490 + x509 + x513 + x530 + x531 + x554 + x558 + x576 + x577 + x581 + x599 + x604 + x605 + x630 + x633 + x634 + x659 + x660 + x665 + x666 + x690 + x691 + x695 + x696 + x721 + x727 + x728 + x753 + x757 + x758 + x783 + x784 + x789 + x790 + x814 + x815 + x819 + x820 + x845 + x846 + x851 + x873 + x875 + x896 + x899 + x900 + x919 + x920 + x923 + x947 + x948 + x971 + x972 + x978 + x1002 + x1003 + x1006 + x1032 + x1037 + x1038 + x1062 + x1063 + x1067 + x1087 + x1088 + x1092 + x1111 + x1164 + x1183 + x1187 + x1188 + x1207 + x1211 + x1235 + x1259 + x1260 + x1279 + x1283 + x1284 + x1302 + x1303 + x1326 + x1330 + x1348 + x1353 + x1354 + x1372 + x1376 + x1377 + x1394 + x1395 + x1399 + x1417 + x1422 + x1423 + x1445 + x1446 + x1465 + x1469 + x1488 + x1491 + x1515 + x1516 + x1536 + x1539 + x1563 + x1564 = 1
 x20 + x21 + x40 + x43 + x44 + x45 + x64 + x67 + x68 + x87 + x91 + x92 + x93 + x113 + x115 + x116 + x139 + x140 + x141 + x159 + x160 + x164 + x165 + x187 + x188 + x189 + x207 + x213 + x233 + x234 + x235 + x255 + x256 + x261 + x277 + x278 + x279 + x303 + x307 + x325 + x328 + x329 + x330 + x347 + x352 + x374 + x375 + x376 + x415 + x416 + x417 + x422 + x438 + x439 + x444 + x445 + x467 + x484 + x489 + x490 + x491 + x530 + x531 + x532 + x535 + x555 + x559 + x577 + x578 + x581 + x582 + x600 + x605 + x606 + x634 + x635 + x659 + x660 + x661 + x666 + x667 + x691 + x696 + x697 + x721 + x722 + x727 + x728 + x729 + x754 + x758 + x759 + x784 + x785 + x789 + x790 + x791 + x815 + x816 + x820 + x821 + x845 + x846 + x847 + x851 + x852 + x876 + x897 + x899 + x900 + x901 + x919 + x920 + x924 + x943 + x947 + x948 + x949 + x971 + x972 + x973 + x977 + x979 + x1003 + x1007 + x1031 + x1033 + x1037 + x1038 + x1039 + x1063 + x1068 + x1087 + x1088 + x1089 + x1093 + x1111 + x1115 + x1137 + x1139 + x1165 + x1183 + x1184 + x1188 + x1189 + x1211 + x1212 + x1232 + x1235 + x1236 + x1260 + x1261 + x1280 + x1283 + x1284 + x1285 + x1302 + x1303 + x1304 + x1307 + x1327 + x1331 + x1349 + x1353 + x1354 + x1355 + x1373 + x1377 + x1378 + x1394 + x1395 + x1396 + x1400 + x1418 + x1423 + x1440 + x1445 + x1446 + x1447 + x1470 + x1488 + x1489 + x1492 + x1515 + x1516 + x1517 + x1540 + x1559 + x1563 + x1564 + x1565 = 1
 x21 + x22 + x41 + x44 + x45 + x46 + x68 + x69 + x88 + x92 + x93 + x94 + x116 + x117 + x140 + x141 + x142 + x160 + x165 + x166 + x188 + x189 + x190 + x233 + x234 + x235 + x236 + x256 + x277 + x278 + x279 + x280 + x282 + x326 + x328 + x329 + x330 + x331 + x369 + x374 + x375 + x376 + x377 + x415 + x416 + x417 + x418 + x423 + x438 + x439 + x440 + x445 + x446 + x484 + x485 + x490 + x491 + x492 + x531 + x532 + x533 + x535 + x536 + x560 + x578 + x579 + x581 + x582 + x583 + x601 + x606 + x635 + x636 + x660 + x661 + x662 + x667 + x668 + x697 + x698 + x722 + x723 + x728 + x729 + x730 + x759 + x760 + x785 + x786 + x790 + x791 + x792 + x816 + x821 + x822 + x846 + x847 + x848 + x852 + x853 + x877 + x900 + x901 + x902 + x920 + x925 + x948 + x949 + x950 + x972 + x973 + x974 + x978 + x980 + x1008 + x1032 + x1034 + x1038 + x1039 + x1040 + x1069 + x1088 + x1089 + x1094 + x1112 + x1116 + x1140 + x1166 + x1184 + x1185 + x1189 + x1190 + x1208 + x1212 + x1213 + x1233 + x1236 + x1237 + x1261 + x1262 + x1284 + x1285 + x1286 + x1302 + x1303 + x1304 + x1305 + x1308 + x1350 + x1353 + x1354 + x1355 + x1356 + x1378 + x1394 + x1395 + x1396 + x1397 + x1401 + x1441 + x1445 + x1446 + x1447 + x1448 + x1489 + x1493 + x1512 + x1516 + x1517 + x1518 + x1541 + x1560 + x1564 + x1565 + x1566 = 1
 x22 + x23 + x45 + x46 + x47 + x65 + x69 + x70 + x93 + x94 + x95 + x117 + x118 + x137 + x141 + x142 + x143 + x166 + x167 + x184 + x189 + x190 + x191 + x233 + x234 + x235 + x236 + x278 + x279 + x280 + x281 + x283 + x327 + x329 + x330 + x331 + x332 + x348 + x370 + x375 + x376 + x377 + x378 + x416 + x417 + x418 + x419 + x424 + x439 + x440 + x441 + x446 + x447 + x463 + x468 + x485 + x486 + x491 + x492 + x493 + x514 + x532 + x533 + x534 + x536 + x537 + x579 + x580 + x582 + x583 + x584 + x636 + x637 + x661 + x662 + x663 + x668 + x669 + x692 + x698 + x699 + x723 + x724 + x729 + x730 + x731 + x760 + x761 + x786 + x787 + x791 + x792 + x793 + x822 + x823 + x847 + x848 + x849 + x853 + x854 + x878 + x901 + x902 + x903 + x921 + x926 + x949 + x950 + x951 + x973 + x974 + x975 + x979 + x981 + x1009 + x1033 + x1035 + x1039 + x1040 + x1041 + x1070 + x1089 + x1095 + x1112 + x1113 + x1117 + x1141 + x1167 + x1185 + x1190 + x1191 + x1208 + x1209 + x1213 + x1214 + x1237 + x1238 + x1257 + x1262 + x1263 + x1285 + x1286 + x1287 + x1303 + x1304 + x1305 + x1306 + x1309 + x1351 + x1354 + x1355 + x1356 + x1357 + x1395 + x1396 + x1397 + x1398 + x1402 + x1424 + x1442 + x1446 + x1447 + x1448 + x1449 + x1494 + x1513 + x1517 + x1518 + x1519 + x1537 + x1542 + x1561 + x1565 + x1566 + x1567 = 1
 x17 + x23 + x24 + x46 + x47 + x48 + x65 + x66 + x70 + x71 + x94 + x95 + x96 + x118 + x119 + x138 + x142 + x143 + x144 + x161 + x167 + x168 + x185 + x190 + x191 + x192 + x208 + x214 + x234 + x235 + x236 + x257 + x262 + x279 + x280 + x281 + x284 + x330 + x331 + x332 + x348 + x349 + x353 + x371 + x376 + x377 + x378 + x396 + x400 + x417 + x418 + x419 + x440 + x441 + x442 + x447 + x464 + x468 + x469 + x486 + x487 + x492 + x493 + x510 + x515 + x533 + x534 + x537 + x538 + x580 + x583 + x584 + x585 + x607 + x631 + x637 + x638 + x662 + x663 + x664 + x669 + x670 + x692 + x693 + x699 + x700 + x724 + x725 + x730 + x731 + x732 + x761 + x762 + x787 + x788 + x792 + x793 + x794 + x817 + x823 + x824 + x848 + x849 + x850 + x854 + x855 + x879 + x898 + x902 + x903 + x904 + x921 + x922 + x927 + x944 + x950 + x951 + x952 + x974 + x975 + x976 + x980 + x982 + x1004 + x1010 + x1034 + x1036 + x1040 + x1041 + x1042 + x1064 + x1071 + x1090 + x1096 + x1112 + x1113 + x1114 + x1118 + x1142 + x1162 + x1168 + x1191 + x1192 + x1209 + x1210 + x1214 + x1215 + x1238 + x1239 + x1258 + x1263 + x1264 + x1281 + x1286 + x1287 + x1288 + x1304 + x1305 + x1306 + x1310 + x1332 + x1352 + x1355 + x1356 + x1357 + x1374 + x1379 + x1396 + x1397 + x1398 + x1403 + x1419 + x1424 + x1425 + x1443 + x1447 + x1448 + x1449 + x1466 + x1471 + x1495 + x1514 + x1518 + x1519 + x1520 + x1537 + x1538 + x1543 + x1566 + x1567 + x1568 = 1
 x18 + x24 + x42 + x47 + x48 + x66 + x71 + x72 + x89 + x95 + x96 + x114 + x119 + x120 + x143 + x144 + x161 + x162 + x168 + x186 + x191 + x192 + x209 + x215 + x235 + x236 + x257 + x258 + x263 + x280 + x281 + x285 + x304 + x308 + x331 + x332 + x349 + x350 + x354 + x372 + x377 + x378 + x397 + x401 + x418 + x419 + x441 + x442 + x465 + x469 + x470 + x487 + x488 + x493 + x511 + x516 + x534 + x538 + x539 + x556 + x561 + x584 + x585 + x602 + x607 + x608 + x632 + x638 + x639 + x663 + x664 + x670 + x693 + x694 + x700 + x701 + x725 + x726 + x731 + x732 + x755 + x762 + x763 + x788 + x793 + x794 + x817 + x818 + x824 + x825 + x849 + x850 + x855 + x856 + x874 + x880 + x903 + x904 + x921 + x922 + x928 + x945 + x951 + x952 + x975 + x976 + x981 + x1004 + x1005 + x1011 + x1035 + x1041 + x1042 + x1064 + x1065 + x1072 + x1090 + x1113 + x1114 + x1119 + x1143 + x1186 + x1192 + x1210 + x1215 + x1216 + x1239 + x1240 + x1264 + x1282 + x1287 + x1288 + x1305 + x1306 + x1311 + x1328 + x1333 + x1356 + x1357 + x1375 + x1379 + x1380 + x1397 + x1398 + x1420 + x1425 + x1426 + x1444 + x1448 + x1449 + x1467 + x1472 + x1490 + x1496 + x1519 + x1520 + x1538 + x1544 + x1567 + x1568 = 1
 x48 + x72 + x90 + x96 + x120 + x144 + x162 + x192 + x210 + x216 + x236 + x258 + x281 + x286 + x305 + x309 + x332 + x350 + x355 + x373 + x378 + x419 + x442 + x470 + x488 + x539 + x557 + x562 + x585 + x603 + x608 + x639 + x664 + x694 + x701 + x726 + x732 + x756 + x763 + x794 + x818 + x825 + x850 + x856 + x904 + x922 + x946 + x952 + x976 + x982 + x1005 + x1012 + x1036 + x1042 + x1065 + x1090 + x1114 + x1120 + x1138 + x1144 + x1186 + x1216 + x1234 + x1240 + x1288 + x1306 + x1329 + x1334 + x1357 + x1380 + x1398 + x1421 + x1426 + x1449 + x1490 + x1520 + x1562 + x1568 = 1
 x67 + x139 + x211 + x237 + x259 + x282 + x328 + x351 + x398 + x420 + x466 + x512 + x535 + x581 + x633 + x665 + x695 + x789 + x819 + x851 + x899 + x923 + x977 + x1006 + x1037 + x1066 + x1091 + x1115 + x1163 + x1211 + x1259 + x1307 + x1376 + x1399 + x1468 + x1515 + x1539 = 1
 x19 + x43 + x67 + x68 + x115 + x140 + x163 + x187 + x212 + x237 + x238 + x259 + x260 + x282 + x283 + x306 + x329 + x351 + x352 + x399 + x420 + x421 + x443 + x467 + x513 + x535 + x536 + x558 + x581 + x582 + x604 + x634 + x665 + x666 + x695 + x696 + x727 + x757 + x789 + x790 + x819 + x820 + x851 + x852 + x875 + x900 + x923 + x924 + x977 + x978 + x1006 + x1007 + x1038 + x1066 + x1067 + x1091 + x1092 + x1115 + x1116 + x1164 + x1187 + x1211 + x1212 + x1260 + x1283 + x1307 + x1308 + x1330 + x1353 + x1377 + x1399 + x1400 + x1422 + x1469 + x1491 + x1516 + x1539 + x1540 = 1
 x20 + x44 + x68 + x69 + x91 + x116 + x141 + x163 + x164 + x188 + x213 + x237 + x238 + x239 + x260 + x261 + x282 + x283 + x284 + x307 + x330 + x352 + x420 + x421 + x422 + x443 + x444 + x489 + x535 + x536 + x537 + x559 + x582 + x583 + x605 + x635 + x665 + x666 + x667 + x696 + x697 + x727 + x728 + x758 + x790 + x791 + x820 + x821 + x851 + x852 + x853 + x876 + x901 + x923 + x924 + x925 + x947 + x977 + x978 + x979 + x1007 + x1008 + x1037 + x1039 + x1067 + x1068 + x1091 + x1092 + x1093 + x1115 + x1116 + x1117 + x1139 + x1165 + x1187 + x1188 + x1212 + x1213 + x1235 + x1261 + x1284 + x1307 + x1308 + x1309 + x1331 + x1354 + x1378 + x1399 + x1400 + x1401 + x1423 + x1445 + x1470 + x1491 + x1492 + x1517 + x1540 + x1541 + x1563 = 1
 x21 + x45 + x69 + x70 + x92 + x117 + x142 + x164 + x165 + x189 + x237 + x238 + x239 + x240 + x261 + x282 + x283 + x284 + x285 + x331 + x374 + x420 + x421 + x422 + x423 + x443 + x444 + x445 + x489 + x490 + x536 + x537 + x538 + x560 + x583 + x584 + x606 + x636 + x666 + x667 + x668 + x697 + x698 + x728 + x729 + x759 + x791 + x792 + x821 + x822 + x852 + x853 + x854 + x877 + x902 + x924 + x925 + x926 + x948 + x978 + x979 + x980 + x1008 + x1009 + x1038 + x1040 + x1068 + x1069 + x1092 + x1093 + x1094 + x1116 + x1117 + x1118 + x1140 + x1166 + x1188 + x1189 + x1213 + x1214 + x1236 + x1262 + x1285 + x1307 + x1308 + x1309 + x1310 + x1355 + x1399 + x1400 + x1401 + x1402 + x1446 + x1492 + x1493 + x1518 + x1541 + x1542 + x1564 = 1
 x22 + x46 + x70 + x71 + x93 + x118 + x143 + x165 + x166 + x190 + x237 + x238 + x239 + x240 + x283 + x284 + x285 + x286 + x332 + x353 + x375 + x421 + x422 + x423 + x424 + x444 + x445 + x446 + x468 + x490 + x491 + x514 + x537 + x538 + x539 + x584 + x585 + x637 + x667 + x668 + x669 + x698 + x699 + x729 + x730 + x760 + x792 + x793 + x822 + x823 + x853 + x854 + x855 + x878 + x903 + x925 + x926 + x927 + x949 + x979 + x980 + x981 + x1009 + x1010 + x1039 + x1041 + x1069 + x1070 + x1093 + x1094 + x1095 + x1117 + x1118 + x1119 + x1141 + x1167 + x1189 + x1190 + x1214 + x1215 + x1237 + x1263 + x1286 + x1308 + x1309 + x1310 + x1311 + x1356 + x1400 + x1401 + x1402 + x1403 + x1447 + x1493 + x1494 + x1519 + x1542 + x1543 + x1565 = 1
 x23 + x47 + x71 + x72 + x94 + x119 + x144 + x166 + x167 + x191 + x214 + x238 + x239 + x240 + x262 + x284 + x285 + x286 + x353 + x354 + x376 + x400 + x422 + x423 + x424 + x445 + x446 + x447 + x469 + x491 + x492 + x515 + x538 + x539 + x585 + x638 + x668 + x669 + x670 + x699 + x700 + x730 + x731 + x761 + x793 + x794 + x823 + x824 + x854 + x855 + x856 + x879 + x904 + x926 + x927 + x928 + x950 + x980 + x981 + x982 + x1010 + x1011 + x1040 + x1042 + x1070 + x1071 + x1094 + x1095 + x1096 + x1118 + x1119 + x1120 + x1142 + x1168 + x1190 + x1191 + x1215 + x1216 + x1238 + x1264 + x1287 + x1309 + x1310 + x1311 + x1332 + x1357 + x1379 + x1401 + x1402 + x1403 + x1424 + x1448 + x1471 + x1494 + x1495 + x1520 + x1543 + x1544 + x1566 = 1
 x24 + x48 + x72 + x95 + x120 + x167 + x168 + x192 + x215 + x239 + x240 + x262 + x263 + x285 + x286 + x308 + x354 + x355 + x377 + x401 + x423 + x424 + x446 + x447 + x470 + x492 + x493 + x516 + x539 + x561 + x607 + x639 + x669 + x670 + x700 + x701 + x731 + x732 + x762 + x794 + x824 + x825 + x855 + x856 + x880 + x927 + x928 + x951 + x981 + x982 + x1011 + x1012 + x1041 + x1071 + x1072 + x1095 + x1096 + x1119 + x1120 + x1143 + x1191 + x1192 + x1216 + x1239 + x1288 + x1310 + x1311 + x1333 + x1380 + x1402 + x1403 + x1425 + x1449 + x1472 + x1495 + x1496 + x1544 + x1567 = 1
 x96 + x168 + x216 + x240 + x263 + x286 + x309 + x355 + x378 + x424 + x447 + x493 + x562 + x608 + x670 + x701 + x732 + x763 + x825 + x856 + x928 + x952 + x982 + x1012 + x1042 + x1072 + x1096 + x1120 + x1144 + x1192 + x1240 + x1311 + x1334 + x1403 + x1426 + x1496 + x1568 = 1
 x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 + x52 + x53 + x54 + x55 + x56 + x57 + x58 + x59 + x60 + x61 + x62 + x63 + x64 + x65 + x66 + x67 + x68 + x69 + x70 + x71 + x72 + x73 + x74 + x75 + x76 + x77 + x78 + x79 + x80 + x81 + x82 + x83 + x84 + x85 + x86 + x87 + x88 + x89 + x90 + x91 + x92 + x93 + x94 + x95 + x96 + x97 + x98 + x99 + x100 + x101 + x102 + x103 + x104 + x105 + x106 + x107 + x108 + x109 + x110 + x111 + x112 + x113 + x114 + x115 + x116 + x117 + x118 + x119 + x120 + x121 + x122 + x123 + x124 + x125 + x126 + x127 + x128 + x129 + x130 + x131 + x132 + x133 + x134 + x135 + x136 + x137 + x138 + x139 + x140 + x141 + x142 + x143 + x144 + x145 + x146 + x147 + x148 + x149 + x150 + x151 + x152 + x153 + x154 + x155 + x156 + x157 + x158 + x159 + x160 + x161 + x162 + x163 + x164 + x165 + x166 + x167 + x168 + x169 + x170 + x171 + x172 + x173 + x174 + x175 + x176 + x177 + x178 + x179 + x180 + x181 + x182 + x183 + x184 + x185 + x186 + x187 + x188 + x189 + x190 + x191 + x192 = 1
 x193 + x194 + x195 + x196 + x197 + x198 + x199 + x200 + x201 + x202 + x203 + x204 + x205 + x206 + x207 + x208 + x209 + x210 + x211 + x212 + x213 + x214 + x215 + x216 + x217 + x218 + x219 + x220 + x221 + x222 + x223 + x224 + x225 + x226 + x227 + x228 + x229 + x230 + x231 + x232 + x233 + x234 + x235 + x236 + x237 + x238 + x239 + x240 = 1
 x241 + x242 + x243 + x244 + x245 + x246 + x247 + x248 + x249 + x250 + x251 + x252 + x253 + x254 + x255 + x256 + x257 + x258 + x259 + x260 + x261 + x262 + x263 + x264 + x265 + x266 + x267 + x268 + x269 + x270 + x271 + x272 + x273 + x274 + x275 + x276 + x277 + x278 + x279 + x280 + x281 + x282 + x283 + x284 + x285 + x286 + x287 + x288 + x289 + x290 + x291 + x292 + x293 + x294 + x295 + x296 + x297 + x298 + x299 + x300 + x301 + x302 + x303 + x304 + x305 + x306 + x307 + x308 + x309 + x310 + x311 + x312 + x313 + x314 + x315 + x316 + x317 + x318 + x319 + x320 + x321 + x322 + x323 + x324 + x325 + x326 + x327 + x328 + x329 + x330 + x331 + x332 + x333 + x334 + x335 + x336 + x337 + x338 + x339 + x340 + x341 + x342 + x343 + x344 + x345 + x346 + x347 + x348 + x349 + x350 + x351 + x352 + x353 + x354 + x355 + x356 + x357 + x358 + x359 + x360 + x361 + x362 + x363 + x364 + x365 + x366 + x367 + x368 + x369 + x370 + x371 + x372 + x373 + x374 + x375 + x376 + x377 + x378 + x379 + x380 + x381 + x382 + x383 + x384 + x385 + x386 + x387 + x388 + x389 + x390 + x391 + x392 + x393 + x394 + x395 + x396 + x397 + x398 + x399 + x400 + x401 + x402 + x403 + x404 + x405 + x406 + x407 + x408 + x409 + x410 + x411 + x412 + x413 + x414 + x415 + x416 + x417 + x418 + x419 + x420 + x421 + x422 + x423 + x424 = 1
 x425 + x426 + x427 + x428 + x429 + x430 + x431 + x432 + x433 + x434 + x435 + x436 + x437 + x438 + x439 + x440 + x441 + x442 + x443 + x444 + x445 + x446 + x447 + x448 + x449 + x450 + x451 + x452 + x453 + x454 + x455 + x456 + x457 + x458 + x459 + x460 + x461 + x462 + x463 + x464 + x465 + x466 + x467 + x468 + x469 + x470 + x471 + x472 + x473 + x474 + x475 + x476 + x477 + x478 + x479 + x480 + x481 + x482 + x483 + x484 + x485 + x486 + x487 + x488 + x489 + x490 + x491 + x492 + x493 + x494 + x495 + x496 + x497 + x498 + x499 + x500 + x501 + x502 + x503 + x504 + x505 + x506 + x507 + x508 + x509 + x510 + x511 + x512 + x513 + x514 + x515 + x516 + x517 + x518 + x519 + x520 + x521 + x522 + x523 + x524 + x525 + x526 + x527 + x528 + x529 + x530 + x531 + x532 + x533 + x534 + x535 + x536 + x537 + x538 + x539 + x540 + x541 + x542 + x543 + x544 + x545 + x546 + x547 + x548 + x549 + x550 + x551 + x552 + x553 + x554 + x555 + x556 + x557 + x558 + x559 + x560 + x561 + x562 + x563 + x564 + x565 + x566 + x567 + x568 + x569 + x570 + x571 + x572 + x573 + x574 + x575 + x576 + x577 + x578 + x579 + x580 + x581 + x582 + x583 + x584 + x585 + x586 + x587 + x588 + x589 + x590 + x591 + x592 + x593 + x594 + x595 + x596 + x597 + x598 + x599 + x600 + x601 + x602 + x603 + x604 + x605 + x606 + x607 + x608 = 1
 x609 + x610 + x611 + x612 + x613 + x614 + x615 + x616 + x617 + x618 + x619 + x620 + x621 + x622 + x623 + x624 + x625 + x626 + x627 + x628 + x629 + x630 + x631 + x632 + x633 + x634 + x635 + x636 + x637 + x638 + x639 + x640 + x641 + x642 + x643 + x644 + x645 + x646 + x647 + x648 + x649 + x650 + x651 + x652 + x653 + x654 + x655 + x656 + x657 + x658 + x659 + x660 + x661 + x662 + x663 + x664 + x665 + x666 + x667 + x668 + x669 + x670 + x671 + x672 + x673 + x674 + x675 + x676 + x677 + x678 + x679 + x680 + x681 + x682 + x683 + x684 + x685 + x686 + x687 + x688 + x689 + x690 + x691 + x692 + x693 + x694 + x695 + x696 + x697 + x698 + x699 + x700 + x701 + x702 + x703 + x704 + x705 + x706 + x707 + x708 + x709 + x710 + x711 + x712 + x713 + x714 + x715 + x716 + x717 + x718 + x719 + x720 + x721 + x722 + x723 + x724 + x725 + x726 + x727 + x728 + x729 + x730 + x731 + x732 + x733 + x734 + x735 + x736 + x737 + x738 + x739 + x740 + x741 + x742 + x743 + x744 + x745 + x746 + x747 + x748 + x749 + x750 + x751 + x752 + x753 + x754 + x755 + x756 + x757 + x758 + x759 + x760 + x761 + x762 + x763 + x764 + x765 + x766 + x767 + x768 + x769 + x770 + x771 + x772 + x773 + x774 + x775 + x776 + x777 + x778 + x779 + x780 + x781 + x782 + x783 + x784 + x785 + x786 + x787 + x788 + x789 + x790 + x791 + x792 + x793 + x794 + x795 + x796 + x797 + x798 + x799 + x800 + x801 + x802 + x803 + x804 + x805 + x806 + x807 + x808 + x809 + x810 + x811 + x812 + x813 + x814 + x815 + x816 + x817 + x818 + x819 + x820 + x821 + x822 + x823 + x824 + x825 + x826 + x827 + x828 + x829 + x830 + x831 + x832 + x833 + x834 + x835 + x836 + x837 + x838 + x839 + x840 + x841 + x842 + x843 + x844 + x845 + x846 + x847 + x848 + x849 + x850 + x851 + x852 + x853 + x854 + x855 + x856 = 1
 x857 + x858 + x859 + x860 + x861 + x862 + x863 + x864 + x865 + x866 + x867 + x868 + x869 + x870 + x871 + x872 + x873 + x874 + x875 + x876 + x877 + x878 + x879 + x880 + x881 + x882 + x883 + x884 + x885 + x886 + x887 + x888 + x889 + x890 + x891 + x892 + x893 + x894 + x895 + x896 + x897 + x898 + x899 + x900 + x901 + x902 + x903 + x904 + x905 + x906 + x907 + x908 + x909 + x910 + x911 + x912 + x913 + x914 + x915 + x916 + x917 + x918 + x919 + x920 + x921 + x922 + x923 + x924 + x925 + x926 + x927 + x928 + x929 + x930 + x931 + x932 + x933 + x934 + x935 + x936 + x937 + x938 + x939 + x940 + x941 + x942 + x943 + x944 + x945 + x946 + x947 + x948 + x949 + x950 + x951 + x952 = 1
 x953 + x954 + x955 + x956 + x957 + x958 + x959 + x960 + x961 + x962 + x963 + x964 + x965 + x966 + x967 + x968 + x969 + x970 + x971 + x972 + x973 + x974 + x975 + x976 + x977 + x978 + x979 + x980 + x981 + x982 + x983 + x984 + x985 + x986 + x987 + x988 + x989 + x990 + x991 + x992 + x993 + x994 + x995 + x996 + x997 + x998 + x999 + x1000 + x1001 + x1002 + x1003 + x1004 + x1005 + x1006 + x1007 + x1008 + x1009 + x1010 + x1011 + x1012 + x1013 + x1014 + x1015 + x1016 + x1017 + x1018 + x1019 + x1020 + x1021 + x1022 + x1023 + x1024 + x1025 + x1026 + x1027 + x1028 + x1029 + x1030 + x1031 + x1032 + x1033 + x1034 + x1035 + x1036 + x1037 + x1038 + x1039 + x1040 + x1041 + x1042 + x1043 + x1044 + x1045 + x1046 + x1047 + x1048 + x1049 + x1050 + x1051 + x1052 + x1053 + x1054 + x1055 + x1056 + x1057 + x1058 + x1059 + x1060 + x1061 + x1062 + x1063 + x1064 + x1065 + x1066 + x1067 + x1068 + x1069 + x1070 + x1071 + x1072 = 1
 x1073 + x1074 + x1075 + x1076 + x1077 + x1078 + x1079 + x1080 + x1081 + x1082 + x1083 + x1084 + x1085 + x1086 + x1087 + x1088 + x1089 + x1090 + x1091 + x1092 + x1093 + x1094 + x1095 + x1096 + x1097 + x1098 + x1099 + x1100 + x1101 + x1102 + x1103 + x1104 + x1105 + x1106 + x1107 + x1108 + x1109 + x1110 + x1111 + x1112 + x1113 + x1114 + x1115 + x1116 + x1117 + x1118 + x1119 + x1120 + x1121 + x1122 + x1123 + x1124 + x1125 + x1126 + x1127 + x1128 + x1129 + x1130 + x1131 + x1132 + x1133 + x1134 + x1135 + x1136 + x1137 + x1138 + x1139 + x1140 + x1141 + x1142 + x1143 + x1144 + x1145 + x1146 + x1147 + x1148 + x1149 + x1150 + x1151 + x1152 + x1153 + x1154 + x1155 + x1156 + x1157 + x1158 + x1159 + x1160 + x1161 + x1162 + x1163 + x1164 + x1165 + x1166 + x1167 + x1168 = 1
 x1169 + x1170 + x1171 + x1172 + x1173 + x1174 + x1175 + x1176 + x1177 + x1178 + x1179 + x1180 + x1181 + x1182 + x1183 + x1184 + x1185 + x1186 + x1187 + x1188 + x1189 + x1190 + x1191 + x1192 + x1193 + x1194 + x1195 + x1196 + x1197 + x1198 + x1199 + x1200 + x1201 + x1202 + x1203 + x1204 + x1205 + x1206 + x1207 + x1208 + x1209 + x1210 + x1211 + x1212 + x1213 + x1214 + x1215 + x1216 + x1217 + x1218 + x1219 + x1220 + x1221 + x1222 + x1223 + x1224 + x1225 + x1226 + x1227 + x1228 + x1229 + x1230 + x1231 + x1232 + x1233 + x1234 + x1235 + x1236 + x1237 + x1238 + x1239 + x1240 + x1241 + x1242 + x1243 + x1244 + x1245 + x1246 + x1247 + x1248 + x1249 + x1250 + x1251 + x1252 + x1253 + x1254 + x1255 + x1256 + x1257 + x1258 + x1259 + x1260 + x1261 + x1262 + x1263 + x1264 = 1
 x1265 + x1266 + x1267 + x1268 + x1269 + x1270 + x1271 + x1272 + x1273 + x1274 + x1275 + x1276 + x1277 + x1278 + x1279 + x1280 + x1281 + x1282 + x1283 + x1284 + x1285 + x1286 + x1287 + x1288 = 1
 x1289 + x1290 + x1291 + x1292 + x1293 + x1294 + x1295 + x1296 + x1297 + x1298 + x1299 + x1300 + x1301 + x1302 + x1303 + x1304 + x1305 + x1306 + x1307 + x1308 + x1309 + x1310 + x1311 + x1312 + x1313 + x1314 + x1315 + x1316 + x1317 + x1318 + x1319 + x1320 + x1321 + x1322 + x1323 + x1324 + x1325 + x1326 + x1327 + x1328 + x1329 + x1330 + x1331 + x1332 + x1333 + x1334 + x1335 + x1336 + x1337 + x1338 + x1339 + x1340 + x1341 + x1342 + x1343 + x1344 + x1345 + x1346 + x1347 + x1348 + x1349 + x1350 + x1351 + x1352 + x1353 + x1354 + x1355 + x1356 + x1357 + x1358 + x1359 + x1360 + x1361 + x1362 + x1363 + x1364 + x1365 + x1366 + x1367 + x1368 + x1369 + x1370 + x1371 + x1372 + x1373 + x1374 + x1375 + x1376 + x1377 + x1378 + x1379 + x1380 + x1381 + x1382 + x1383 + x1384 + x1385 + x1386 + x1387 + x1388 + x1389 + x1390 + x1391 + x1392 + x1393 + x1394 + x1395 + x1396 + x1397 + x1398 + x1399 + x1400 + x1401 + x1402 + x1403 + x1404 + x1405 + x1406 + x1407 + x1408 + x1409 + x1410 + x1411 + x1412 + x1413 + x1414 + x1415 + x1416 + x1417 + x1418 + x1419 + x1420 + x1421 + x1422 + x1423 + x1424 + x1425 + x1426 + x1427 + x1428 + x1429 + x1430 + x1431 + x1432 + x1433 + x1434 + x1435 + x1436 + x1437 + x1438 + x1439 + x1440 + x1441 + x1442 + x1443 + x1444 + x1445 + x1446 + x1447 + x1448 + x1449 + x1450 + x1451 + x1452 + x1453 + x1454 + x1455 + x1456 + x1457 + x1458 + x1459 + x1460 + x1461 + x1462 + x1463 + x1464 + x1465 + x1466 + x1467 + x1468 + x1469 + x1470 + x1471 + x1472 = 1
 x1473 + x1474 + x1475 + x1476 + x1477 + x1478 + x1479 + x1480 + x1481 + x1482 + x1483 + x1484 + x1485 + x1486 + x1487 + x1488 + x1489 + x1490 + x1491 + x1492 + x1493 + x1494 + x1495 + x1496 + x1497 + x1498 + x1499 + x1500 + x1501 + x1502 + x1503 + x1504 + x1505 + x1506 + x1507 + x1508 + x1509 + x1510 + x1511 + x1512 + x1513 + x1514 + x1515 + x1516 + x1517 + x1518 + x1519 + x1520 + x1521 + x1522 + x1523 + x1524 + x1525 + x1526 + x1527 + x1528 + x1529 + x1530 + x1531 + x1532 + x1533 + x1534 + x1535 + x1536 + x1537 + x1538 + x1539 + x1540 + x1541 + x1542 + x1543 + x1544 + x1545 + x1546 + x1547 + x1548 + x1549 + x1550 + x1551 + x1552 + x1553 + x1554 + x1555 + x1556 + x1557 + x1558 + x1559 + x1560 + x1561 + x1562 + x1563 + x1564 + x1565 + x1566 + x1567 + x1568 = 1
 5 x1 + 5 x2 + 5 x3 + 5 x4 + 5 x5 + 5 x6 + 5 x7 + 5 x8 + 5 x9 + 5 x10 + 5 x11 + 5 x12 + 5 x13 + 5 x14 + 5 x15 + 5 x16 + 5 x17 + 5 x18 + 5 x19 + 5 x20 + 5 x21 + 5 x22 + 5 x23 + 5 x24 + 5 x25 + 5 x26 + 5 x27 + 5 x28 + 5 x29 + 5 x30 + 5 x31 + 5 x32 + 5 x33 + 5 x34 + 5 x35 + 5 x36 + 5 x37 + 5 x38 + 5 x39 + 5 x40 + 5 x41 + 5 x42 + 5 x43 + 5 x44 + 5 x45 + 5 x46 + 5 x47 + 5 x48 + 5 x49 + 5 x50 + 5 x51 + 5 x52 + 5 x53 + 5 x54 + 5 x55 + 5 x56 + 5 x57 + 5 x58 + 5 x59 + 5 x60 + 5 x61 + 5 x62 + 5 x63 + 5 x64 + 5 x65 + 5 x66 + 5 x67 + 5 x68 + 5 x69 + 5 x70 + 5 x71 + 5 x72 + 5 x73 + 5 x74 + 5 x75 + 5 x76 + 5 x77 + 5 x78 + 5 x79 + 5 x80 + 5 x81 + 5 x82 + 5 x83 + 5 x84 + 5 x85 + 5 x86 + 5 x87 + 5 x88 + 5 x89 + 5 x90 + 5 x91 + 5 x92 + 5 x93 + 5 x94 + 5 x95 + 5 x96 + 5 x97 + 5 x98 + 5 x99 + 5 x100 + 5 x101 + 5 x102 + 5 x103 + 5 x104 + 5 x105 + 5 x106 + 5 x107 + 5 x108 + 5 x109 + 5 x110 + 5 x111 + 5 x112 + 5 x113 + 5 x114 + 5 x115 + 5 x116 + 5 x117 + 5 x118 + 5 x119 + 5 x120 + 5 x121 + 5 x122 + 5 x123 + 5 x124 + 5 x125 + 5 x126 + 5 x127 + 5 x128 + 5 x129 + 5 x130 + 5 x131 + 5 x132 + 5 x133 + 5 x134 + 5 x135 + 5 x136 + 5 x137 + 5 x138 + 5 x139 + 5 x140 + 5 x141 + 5 x142 + 5 x143 + 5 x144 + 5 x145 + 5 x146 + 5 x147 + 5 x148 + 5 x149 + 5 x150 + 5 x151 + 5 x152 + 5 x153 + 5 x154 + 5 x155 + 5 x156 + 5 x157 + 5 x158 + 5 x159 + 5 x160 + 5 x161 + 5 x162 + 5 x163 + 5 x164 + 5 x165 + 5 x166 + 5 x167 + 5 x168 + 5 x169 + 5 x170 + 5 x171 + 5 x172 + 5 x173 + 5 x174 + 5 x175 + 5 x176 + 5 x177 + 5 x178 + 5 x179 + 5 x180 + 5 x181 + 5 x182 + 5 x183 + 5 x184 + 5 x185 + 5 x186 + 5 x187 + 5 x188 + 5 x189 + 5 x190 + 5 x191 + 5 x192 + 5 x193 + 5 x194 + 5 x195 + 5 x196 + 5 x197 + 5 x198 + 5 x199 + 5 x200 + 5 x201 + 5 x202 + 5 x203 + 5 x204 + 5 x205 + 5 x206 + 5 x207 + 5 x208 + 5 x209 + 5 x210 + 5 x211 + 5 x212 + 5 x213 + 5 x214 + 5 x215 + 5 x216 + 5 x217 + 5 x218 + 5 x219 + 5 x220 + 5 x221 + 5 x222 + 5 x223 + 5 x224 + 5 x225 + 5 x226 + 5 x227 + 5 x228 + 5 x229 + 5 x230 + 5 x231 + 5 x232 + 5 x233 + 5 x234 + 5 x235 + 5 x236 + 5 x237 + 5 x238 + 5 x239 + 5 x240 + 5 x241 + 5 x242 + 5 x243 + 5 x244 + 5 x245 + 5 x246 + 5 x247 + 5 x248 + 5 x249 + 5 x250 + 5 x251 + 5 x252 + 5 x253 + 5 x254 + 5 x255 + 5 x256 + 5 x257 + 5 x258 + 5 x259 + 5 x260 + 5 x261 + 5 x262 + 5 x263 + 5 x264 + 5 x265 + 5 x266 + 5 x267 + 5 x268 + 5 x269 + 5 x270 + 5 x271 + 5 x272 + 5 x273 + 5 x274 + 5 x275 + 5 x276 + 5 x277 + 5 x278 + 5 x279 + 5 x280 + 5 x281 + 5 x282 + 5 x283 + 5 x284 + 5 x285 + 5 x286 + 5 x287 + 5 x288 + 5 x289 + 5 x290 + 5 x291 + 5 x292 + 5 x293 + 5 x294 + 5 x295 + 5 x296 + 5 x297 + 5 x298 + 5 x299 + 5 x300 + 5 x301 + 5 x302 + 5 x303 + 5 x304 + 5 x305 + 5 x306 + 5 x307 + 5 x308 + 5 x309 + 5 x310 + 5 x311 + 5 x312 + 5 x313 + 5 x314 + 5 x315 + 5 x316 + 5 x317 + 5 x318 + 5 x319 + 5 x320 + 5 x321 + 5 x322 + 5 x323 + 5 x324 + 5 x325 + 5 x326 + 5 x327 + 5 x328 + 5 x329 + 5 x330 + 5 x331 + 5 x332 + 5 x333 + 5 x334 + 5 x335 + 5 x336 + 5 x337 + 5 x338 + 5 x339 + 5 x340 + 5 x341 + 5 x342 + 5 x343 + 5 x344 + 5 x345 + 5 x346 + 5 x347 + 5 x348 + 5 x349 + 5 x350 + 5 x351 + 5 x352 + 5 x353 + 5 x354 + 5 x355 + 5 x356 + 5 x357 + 5 x358 + 5 x359 + 5 x360 + 5 x361 + 5 x362 + 5 x363 + 5 x364 + 5 x365 + 5 x366 + 5 x367 + 5 x368 + 5 x369 + 5 x370 + 5 x371 + 5 x372 + 5 x373 + 5 x374 + 5 x375 + 5 x376 + 5 x377 + 5 x378 + 5 x379 + 5 x380 + 5 x381 + 5 x382 + 5 x383 + 5 x384 + 5 x385 + 5 x386 + 5 x387 + 5 x388 + 5 x389 + 5 x390 + 5 x391 + 5 x392 + 5 x393 + 5 x394 + 5 x395 + 5 x396 + 5 x397 + 5 x398 + 5 x399 + 5 x400 + 5 x401 + 5 x402 + 5 x403 + 5 x404 + 5 x405 + 5 x406 + 5 x407 + 5 x408 + 5 x409 + 5 x410 + 5 x411 + 5 x412 + 5 x413 + 5 x414 + 5 x415 + 5 x416 + 5 x417 + 5 x418 + 5 x419 + 5 x420 + 5 x421 + 5 x422 + 5 x423 + 5 x424 + 5 x425 + 5 x426 + 5 x427 + 5 x428 + 5 x429 + 5 x430 + 5 x431 + 5 x432 + 5 x433 + 5 x434 + 5 x435 + 5 x436 + 5 x437 + 5 x438 + 5 x439 + 5 x440 + 5 x441 + 5 x442 + 5 x443 + 5 x444 + 5 x445 + 5 x446 + 5 x447 + 5 x448 + 5 x449 + 5 x450 + 5 x451 + 5 x452 + 5 x453 + 5 x454 + 5 x455 + 5 x456 + 5 x457 + 5 x458 + 5 x459 + 5 x460 + 5 x461 + 5 x462 + 5 x463 + 5 x464 + 5 x465 + 5 x466 + 5 x467 + 5 x468 + 5 x469 + 5 x470 + 5 x471 + 5 x472 + 5 x473 + 5 x474 + 5 x475 + 5 x476 + 5 x477 + 5 x478 + 5 x479 + 5 x480 + 5 x481 + 5 x482 + 5 x483 + 5 x484 + 5 x485 + 5 x486 + 5 x487 + 5 x488 + 5 x489 + 5 x490 + 5 x491 + 5 x492 + 5 x493 + 5 x494 + 5 x495 + 5 x496 + 5 x497 + 5 x498 + 5 x499 + 5 x500 + 5 x501 + 5 x502 + 5 x503 + 5 x504 + 5 x505 + 5 x506 + 5 x507 + 5 x508 + 5 x509 + 5 x510 + 5 x511 + 5 x512 + 5 x513 + 5 x514 + 5 x515 + 5 x516 + 5 x517 + 5 x518 + 5 x519 + 5 x520 + 5 x521 + 5 x522 + 5 x523 + 5 x524 + 5 x525 + 5 x526 + 5 x527 + 5 x528 + 5 x529 + 5 x530 + 5 x531 + 5 x532 + 5 x533 + 5 x534 + 5 x535 + 5 x536 + 5 x537 + 5 x538 + 5 x539 + 5 x540 + 5 x541 + 5 x542 + 5 x543 + 5 x544 + 5 x545 + 5 x546 + 5 x547 + 5 x548 + 5 x549 + 5 x550 + 5 x551 + 5 x552 + 5 x553 + 5 x554 + 5 x555 + 5 x556 + 5 x557 + 5 x558 + 5 x559 + 5 x560 + 5 x561 + 5 x562 + 5 x563 + 5 x564 + 5 x565 + 5 x566 + 5 x567 + 5 x568 + 5 x569 + 5 x570 + 5 x571 + 5 x572 + 5 x573 + 5 x574 + 5 x575 + 5 x576 + 5 x577 + 5 x578 + 5 x579 + 5 x580 + 5 x581 + 5 x582 + 5 x583 + 5 x584 + 5 x585 + 5 x586 + 5 x587 + 5 x588 + 5 x589 + 5 x590 + 5 x591 + 5 x592 + 5 x593 + 5 x594 + 5 x595 + 5 x596 + 5 x597 + 5 x598 + 5 x599 + 5 x600 + 5 x601 + 5 x602 + 5 x603 + 5 x604 + 5 x605 + 5 x606 + 5 x607 + 5 x608 + 5 x609 + 5 x610 + 5 x611 + 5 x612 + 5 x613 + 5 x614 + 5 x615 + 5 x616 + 5 x617 + 5 x618 + 5 x619 + 5 x620 + 5 x621 + 5 x622 + 5 x623 + 5 x624 + 5 x625 + 5 x626 + 5 x627 + 5 x628 + 5 x629 + 5 x630 + 5 x631 + 5 x632 + 5 x633 + 5 x634 + 5 x635 + 5 x636 + 5 x637 + 5 x638 + 5 x639 + 5 x640 + 5 x641 + 5 x642 + 5 x643 + 5 x644 + 5 x645 + 5 x646 + 5 x647 + 5 x648 + 5 x649 + 5 x650 + 5 x651 + 5 x652 + 5 x653 + 5 x654 + 5 x655 + 5 x656 + 5 x657 + 5 x658 + 5 x659 + 5 x660 + 5 x661 + 5 x662 + 5 x663 + 5 x664 + 5 x665 + 5 x666 + 5 x667 + 5 x668 + 5 x669 + 5 x670 + 5 x671 + 5 x672 + 5 x673 + 5 x674 + 5 x675 + 5 x676 + 5 x677 + 5 x678 + 5 x679 + 5 x680 + 5 x681 + 5 x682 + 5 x683 + 5 x684 + 5 x685 + 5 x686 + 5 x687 + 5 x688 + 5 x689 + 5 x690 + 5 x691 + 5 x692 + 5 x693 + 5 x694 + 5 x695 + 5 x696 + 5 x697 + 5 x698 + 5 x699 + 5 x700 + 5 x701 + 5 x702 + 5 x703 + 5 x704 + 5 x705 + 5 x706 + 5 x707 + 5 x708 + 5 x709 + 5 x710 + 5 x711 + 5 x712 + 5 x713 + 5 x714 + 5 x715 + 5 x716 + 5 x717 + 5 x718 + 5 x719 + 5 x720 + 5 x721 + 5 x722 + 5 x723 + 5 x724 + 5 x725 + 5 x726 + 5 x727 + 5 x728 + 5 x729 + 5 x730 + 5 x731 + 5 x732 + 5 x733 + 5 x734 + 5 x735 + 5 x736 + 5 x737 + 5 x738 + 5 x739 + 5 x740 + 5 x741 + 5 x742 + 5 x743 + 5 x744 + 5 x745 + 5 x746 + 5 x747 + 5 x748 + 5 x749 + 5 x750 + 5 x751 + 5 x752 + 5 x753 + 5 x754 + 5 x755 + 5 x756 + 5 x757 + 5 x758 + 5 x759 + 5 x760 + 5 x761 + 5 x762 + 5 x763 + 5 x764 + 5 x765 + 5 x766 + 5 x767 + 5 x768 + 5 x769 + 5 x770 + 5 x771 + 5 x772 + 5 x773 + 5 x774 + 5 x775 + 5 x776 + 5 x777 + 5 x778 + 5 x779 + 5 x780 + 5 x781 + 5 x782 + 5 x783 + 5 x784 + 5 x785 + 5 x786 + 5 x787 + 5 x788 + 5 x789 + 5 x790 + 5 x791 + 5 x792 + 5 x793 + 5 x794 + 5 x795 + 5 x796 + 5 x797 + 5 x798 + 5 x799 + 5 x800 + 5 x801 + 5 x802 + 5 x803 + 5 x804 + 5 x805 + 5 x806 + 5 x807 + 5 x808 + 5 x809 + 5 x810 + 5 x811 + 5 x812 + 5 x813 + 5 x814 + 5 x815 + 5 x816 + 5 x817 + 5 x818 + 5 x819 + 5 x820 + 5 x821 + 5 x822 + 5 x823 + 5 x824 + 5 x825 + 5 x826 + 5 x827 + 5 x828 + 5 x829 + 5 x830 + 5 x831 + 5 x832 + 5 x833 + 5 x834 + 5 x835 + 5 x836 + 5 x837 + 5 x838 + 5 x839 + 5 x840 + 5 x841 + 5 x842 + 5 x843 + 5 x844 + 5 x845 + 5 x846 + 5 x847 + 5 x848 + 5 x849 + 5 x850 + 5 x851 + 5 x852 + 5 x853 + 5 x854 + 5 x855 + 5 x856 + 5 x857 + 5 x858 + 5 x859 + 5 x860 + 5 x861 + 5 x862 + 5 x863 + 5 x864 + 5 x865 + 5 x866 + 5 x867 + 5 x868 + 5 x869 + 5 x870 + 5 x871 + 5 x872 + 5 x873 + 5 x874 + 5 x875 + 5 x876 + 5 x877 + 5 x878 + 5 x879 + 5 x880 + 5 x881 + 5 x882 + 5 x883 + 5 x884 + 5 x885 + 5 x886 + 5 x887 + 5 x888 + 5 x889 + 5 x890 + 5 x891 + 5 x892 + 5 x893 + 5 x894 + 5 x895 + 5 x896 + 5 x897 + 5 x898 + 5 x899 + 5 x900 + 5 x901 + 5 x902 + 5 x903 + 5 x904 + 5 x905 + 5 x906 + 5 x907 + 5 x908 + 5 x909 + 5 x910 + 5 x911 + 5 x912 + 5 x913 + 5 x914 + 5 x915 + 5 x916 + 5 x917 + 5 x918 + 5 x919 + 5 x920 + 5 x921 + 5 x922 + 5 x923 + 5 x924 + 5 x925 + 5 x926 + 5 x927 + 5 x928 + 5 x929 + 5 x930 + 5 x931 + 5 x932 + 5 x933 + 5 x934 + 5 x935 + 5 x936 + 5 x937 + 5 x938 + 5 x939 + 5 x940 + 5 x941 + 5 x942 + 5 x943 + 5 x944 + 5 x945 + 5 x946 + 5 x947 + 5 x948 + 5 x949 + 5 x950 + 5 x951 + 5 x952 + 5 x953 + 5 x954 + 5 x955 + 5 x956 + 5 x957 + 5 x958 + 5 x959 + 5 x960 + 5 x961 + 5 x962 + 5 x963 + 5 x964 + 5 x965 + 5 x966 + 5 x967 + 5 x968 + 5 x969 + 5 x970 + 5 x971 + 5 x972 + 5 x973 + 5 x974 + 5 x975 + 5 x976 + 5 x977 + 5 x978 + 5 x979 + 5 x980 + 5 x981 + 5 x982 + 5 x983 + 5 x984 + 5 x985 + 5 x986 + 5 x987 + 5 x988 + 5 x989 + 5 x990 + 5 x991 + 5 x992 + 5 x993 + 5 x994 + 5 x995 + 5 x996 + 5 x997 + 5 x998 + 5 x999 + 5 x1000 + 5 x1001 + 5 x1002 + 5 x1003 + 5 x1004 + 5 x1005 + 5 x1006 + 5 x1007 + 5 x1008 + 5 x1009 + 5 x1010 + 5 x1011 + 5 x1012 + 5 x1013 + 5 x1014 + 5 x1015 + 5 x1016 + 5 x1017 + 5 x1018 + 5 x1019 + 5 x1020 + 5 x1021 + 5 x1022 + 5 x1023 + 5 x1024 + 5 x1025 + 5 x1026 + 5 x1027 + 5 x1028 + 5 x1029 + 5 x1030 + 5 x1031 + 5 x1032 + 5 x1033 + 5 x1034 + 5 x1035 + 5 x1036 + 5 x1037 + 5 x1038 + 5 x1039 + 5 x1040 + 5 x1041 + 5 x1042 + 5 x1043 + 5 x1044 + 5 x1045 + 5 x1046 + 5 x1047 + 5 x1048 + 5 x1049 + 5 x1050 + 5 x1051 + 5 x1052 + 5 x1053 + 5 x1054 + 5 x1055 + 5 x1056 + 5 x1057 + 5 x1058 + 5 x1059 + 5 x1060 + 5 x1061 + 5 x1062 + 5 x1063 + 5 x1064 + 5 x1065 + 5 x1066 + 5 x1067 + 5 x1068 + 5 x1069 + 5 x1070 + 5 x1071 + 5 x1072 + 5 x1073 + 5 x1074 + 5 x1075 + 5 x1076 + 5 x1077 + 5 x1078 + 5 x1079 + 5 x1080 + 5 x1081 + 5 x1082 + 5 x1083 + 5 x1084 + 5 x1085 + 5 x1086 + 5 x1087 + 5 x1088 + 5 x1089 + 5 x1090 + 5 x1091 + 5 x1092 + 5 x1093 + 5 x1094 + 5 x1095 + 5 x1096 + 5 x1097 + 5 x1098 + 5 x1099 + 5 x1100 + 5 x1101 + 5 x1102 + 5 x1103 + 5 x1104 + 5 x1105 + 5 x1106 + 5 x1107 + 5 x1108 + 5 x1109 + 5 x1110 + 5 x1111 + 5 x1112 + 5 x1113 + 5 x1114 + 5 x1115 + 5 x1116 + 5 x1117 + 5 x1118 + 5 x1119 + 5 x1120 + 5 x1121 + 5 x1122 + 5 x1123 + 5 x1124 + 5 x1125 + 5 x1126 + 5 x1127 + 5 x1128 + 5 x1129 + 5 x1130 + 5 x1131 + 5 x1132 + 5 x1133 + 5 x1134 + 5 x1135 + 5 x1136 + 5 x1137 + 5 x1138 + 5 x1139 + 5 x1140 + 5 x1141 + 5 x1142 + 5 x1143 + 5 x1144 + 5 x1145 + 5 x1146 + 5 x1147 + 5 x1148 + 5 x1149 + 5 x1150 + 5 x1151 + 5 x1152 + 5 x1153 + 5 x1154 + 5 x1155 + 5 x1156 + 5 x1157 + 5 x1158 + 5 x1159 + 5 x1160 + 5 x1161 + 5 x1162 + 5 x1163 + 5 x1164 + 5 x1165 + 5 x1166 + 5 x1167 + 5 x1168 + 5 x1169 + 5 x1170 + 5 x1171 + 5 x1172 + 5 x1173 + 5 x1174 + 5 x1175 + 5 x1176 + 5 x1177 + 5 x1178 + 5 x1179 + 5 x1180 + 5 x1181 + 5 x1182 + 5 x1183 + 5 x1184 + 5 x1185 + 5 x1186 + 5 x1187 + 5 x1188 + 5 x1189 + 5 x1190 + 5 x1191 + 5 x1192 + 5 x1193 + 5 x1194 + 5 x1195 + 5 x1196 + 5 x1197 + 5 x1198 + 5 x1199 + 5 x1200 + 5 x1201 + 5 x1202 + 5 x1203 + 5 x1204 + 5 x1205 + 5 x1206 + 5 x1207 + 5 x1208 + 5 x1209 + 5 x1210 + 5 x1211 + 5 x1212 + 5 x1213 + 5 x1214 + 5 x1215 + 5 x1216 + 5 x1217 + 5 x1218 + 5 x1219 + 5 x1220 + 5 x1221 + 5 x1222 + 5 x1223 + 5 x1224 + 5 x1225 + 5 x1226 + 5 x1227 + 5 x1228 + 5 x1229 + 5 x1230 + 5 x1231 + 5 x1232 + 5 x1233 + 5 x1234 + 5 x1235 + 5 x1236 + 5 x1237 + 5 x1238 + 5 x1239 + 5 x1240 + 5 x1241 + 5 x1242 + 5 x1243 + 5 x1244 + 5 x1245 + 5 x1246 + 5 x1247 + 5 x1248 + 5 x1249 + 5 x1250 + 5 x1251 + 5 x1252 + 5 x1253 + 5 x1254 + 5 x1255 + 5 x1256 + 5 x1257 + 5 x1258 + 5 x1259 + 5 x1260 + 5 x1261 + 5 x1262 + 5 x1263 + 5 x1264 + 5 x1265 + 5 x1266 + 5 x1267 + 5 x1268 + 5 x1269 + 5 x1270 + 5 x1271 + 5 x1272 + 5 x1273 + 5 x1274 + 5 x1275 + 5 x1276 + 5 x1277 + 5 x1278 + 5 x1279 + 5 x1280 + 5 x1281 + 5 x1282 + 5 x1283 + 5 x1284 + 5 x1285 + 5 x1286 + 5 x1287 + 5 x1288 + 5 x1289 + 5 x1290 + 5 x1291 + 5 x1292 + 5 x1293 + 5 x1294 + 5 x1295 + 5 x1296 + 5 x1297 + 5 x1298 + 5 x1299 + 5 x1300 + 5 x1301 + 5 x1302 + 5 x1303 + 5 x1304 + 5 x1305 + 5 x1306 + 5 x1307 + 5 x1308 + 5 x1309 + 5 x1310 + 5 x1311 + 5 x1312 + 5 x1313 + 5 x1314 + 5 x1315 + 5 x1316 + 5 x1317 + 5 x1318 + 5 x1319 + 5 x1320 + 5 x1321 + 5 x1322 + 5 x1323 + 5 x1324 + 5 x1325 + 5 x1326 + 5 x1327 + 5 x1328 + 5 x1329 + 5 x1330 + 5 x1331 + 5 x1332 + 5 x1333 + 5 x1334 + 5 x1335 + 5 x1336 + 5 x1337 + 5 x1338 + 5 x1339 + 5 x1340 + 5 x1341 + 5 x1342 + 5 x1343 + 5 x1344 + 5 x1345 + 5 x1346 + 5 x1347 + 5 x1348 + 5 x1349 + 5 x1350 + 5 x1351 + 5 x1352 + 5 x1353 + 5 x1354 + 5 x1355 + 5 x1356 + 5 x1357 + 5 x1358 + 5 x1359 + 5 x1360 + 5 x1361 + 5 x1362 + 5 x1363 + 5 x1364 + 5 x1365 + 5 x1366 + 5 x1367 + 5 x1368 + 5 x1369 + 5 x1370 + 5 x1371 + 5 x1372 + 5 x1373 + 5 x1374 + 5 x1375 + 5 x1376 + 5 x1377 + 5 x1378 + 5 x1379 + 5 x1380 + 5 x1381 + 5 x1382 + 5 x1383 + 5 x1384 + 5 x1385 + 5 x1386 + 5 x1387 + 5 x1388 + 5 x1389 + 5 x1390 + 5 x1391 + 5 x1392 + 5 x1393 + 5 x1394 + 5 x1395 + 5 x1396 + 5 x1397 + 5 x1398 + 5 x1399 + 5 x1400 + 5 x1401 + 5 x1402 + 5 x1403 + 5 x1404 + 5 x1405 + 5 x1406 + 5 x1407 + 5 x1408 + 5 x1409 + 5 x1410 + 5 x1411 + 5 x1412 + 5 x1413 + 5 x1414 + 5 x1415 + 5 x1416 + 5 x1417 + 5 x1418 + 5 x1419 + 5 x1420 + 5 x1421 + 5 x1422 + 5 x1423 + 5 x1424 + 5 x1425 + 5 x1426 + 5 x1427 + 5 x1428 + 5 x1429 + 5 x1430 + 5 x1431 + 5 x1432 + 5 x1433 + 5 x1434 + 5 x1435 + 5 x1436 + 5 x1437 + 5 x1438 + 5 x1439 + 5 x1440 + 5 x1441 + 5 x1442 + 5 x1443 + 5 x1444 + 5 x1445 + 5 x1446 + 5 x1447 + 5 x1448 + 5 x1449 + 5 x1450 + 5 x1451 + 5 x1452 + 5 x1453 + 5 x1454 + 5 x1455 + 5 x1456 + 5 x1457 + 5 x1458 + 5 x1459 + 5 x1460 + 5 x1461 + 5 x1462 + 5 x1463 + 5 x1464 + 5 x1465 + 5 x1466 + 5 x1467 + 5 x1468 + 5 x1469 + 5 x1470 + 5 x1471 + 5 x1472 + 5 x1473 + 5 x1474 + 5 x1475 + 5 x1476 + 5 x1477 + 5 x1478 + 5 x1479 + 5 x1480 + 5 x1481 + 5 x1482 + 5 x1483 + 5 x1484 + 5 x1485 + 5 x1486 + 5 x1487 + 5 x1488 + 5 x1489 + 5 x1490 + 5 x1491 + 5 x1492 + 5 x1493 + 5 x1494 + 5 x1495 + 5 x1496 + 5 x1497 + 5 x1498 + 5 x1499 + 5 x1500 + 5 x1501 + 5 x1502 + 5 x1503 + 5 x1504 + 5 x1505 + 5 x1506 + 5 x1507 + 5 x1508 + 5 x1509 + 5 x1510 + 5 x1511 + 5 x1512 + 5 x1513 + 5 x1514 + 5 x1515 + 5 x1516 + 5 x1517 + 5 x1518 + 5 x1519 + 5 x1520 + 5 x1521 + 5 x1522 + 5 x1523 + 5 x1524 + 5 x1525 + 5 x1526 + 5 x1527 + 5 x1528 + 5 x1529 + 5 x1530 + 5 x1531 + 5 x1532 + 5 x1533 + 5 x1534 + 5 x1535 + 5 x1536 + 5 x1537 + 5 x1538 + 5 x1539 + 5 x1540 + 5 x1541 + 5 x1542 + 5 x1543 + 5 x1544 + 5 x1545 + 5 x1546 + 5 x1547 + 5 x1548 + 5 x1549 + 5 x1550 + 5 x1551 + 5 x1552 + 5 x1553 + 5 x1554 + 5 x1555 + 5 x1556 + 5 x1557 + 5 x1558 + 5 x1559 + 5 x1560 + 5 x1561 + 5 x1562 + 5 x1563 + 5 x1564 + 5 x1565 + 5 x1566 + 5 x1567 + 5 x1568 = 60
Binary
  x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 x1075 x1076 x1077 x1078 x1079 x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 x1531 x1532 x1533 x1534 x1535 x1536 x1537 x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 x1548 x1549 x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1559 x1560 x1561 x1562 x1563 x1564 x1565 x1566 x1567 x1568
End