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