# Computed by Robert Israel using Maple, November 29 2023 1 3 2 5 3 6 4 9 5 10 6 12 7 13 8 14 9 15 10 17 11 20 12 24 13 25 14 26 15 28 16 29 17 30 18 34 19 35 20 36 21 37 22 39 23 40 24 41 25 42 26 45 27 48 28 50 29 51 30 52 31 53 32 55 33 57 34 58 35 60 36 61 37 63 38 65 39 68 40 70 41 71 42 72 43 73 44 74 45 75 46 78 47 80 48 82 49 85 50 87 51 89 52 90 53 91 54 95 55 96 56 97 57 98 58 100 59 101 60 102 61 104 62 105 63 106 64 109 65 110 66 111 67 113 68 115 69 116 70 117 71 119 72 120 73 122 74 123 75 124 76 125 77 126 78 130 79 133 80 134 81 135 82 136 83 137 84 140 85 141 86 143 87 145 88 146 89 147 90 148 91 149 92 150 93 152 94 153 95 155 96 156 97 157 98 159 99 160 100 162 101 164 102 165 103 168 104 169 105 170 106 173 107 174 108 175 109 178 110 180 111 181 112 182 113 183 114 185 115 187 116 189 117 190 118 192 119 193 120 194 121 195 122 196 123 197 124 200 125 201 126 202 127 203 128 204 129 205 130 208 131 210 132 212 133 215 134 216 135 217 136 218 137 219 138 220 139 221 140 222 141 224 142 225 143 226 144 229 145 230 146 231 147 232 148 233 149 234 150 235 151 238 152 240 153 241 154 243 155 244 156 245 157 246 158 247 159 250 160 252 161 255 162 257 163 259 164 260 165 261 166 265 167 267 168 269 169 270 170 272 171 273 172 274 173 275 174 277 175 278 176 279 177 280 178 281 179 285 180 286 181 287 182 288 183 289 184 290 185 291 186 292 187 293 188 295 189 296 190 298 191 299 192 300 193 303 194 305 195 306 196 309 197 310 198 312 199 313 200 314 201 315 202 317 203 318 204 319 205 320 206 323 207 325 208 327 209 328 210 330 211 333 212 335 213 336 214 337 215 338 216 339 217 340 218 341 219 344 220 345 221 346 222 348 223 349 224 350 225 351 226 353 227 355 228 356 229 357 230 360 231 362 232 363 233 364 234 365 235 366 236 369 237 370 238 371 239 373 240 374 241 375 242 377 243 380 244 384 245 385 246 386 247 388 248 389 249 390 250 391 251 394 252 395 253 397 254 399 255 400 256 401 257 403 258 404 259 405 260 406 261 407 262 408 263 409 264 410 265 411 266 415 267 416 268 420 269 421 270 422 271 424 272 425 273 426 274 427 275 429 276 430 277 433 278 435 279 436 280 438 281 440 282 441 283 442 284 444 285 445 286 447 287 448 288 449 289 450 290 451 291 452 292 453 293 455 294 456 295 457 296 458 297 459 298 460 299 461 300 462 301 464 302 465 303 466 304 468 305 470 306 471 307 475 308 476 309 477 310 480 311 481 312 482 313 485 314 488 315 490 316 492 317 493 318 494 319 495 320 497 321 500 322 504 323 505 324 507 325 509 326 510 327 511 328 513 329 514 330 515 331 518 332 519 333 520 334 521 335 522 336 525 337 527 338 530 339 533 340 534 341 535 342 537 343 538 344 539 345 540 346 541 347 543 348 544 349 545 350 546 351 548 352 549 353 550 354 551 355 554 356 555 357 557 358 559 359 560 360 561 361 562 362 565 363 568 364 569 365 570 366 572 367 574 368 575 369 576 370 577 371 578 372 579 373 580 374 582 375 583 376 584 377 585 378 586 379 590 380 591 381 592 382 593 383 595 384 596 385 598 386 600 387 601 388 605 389 606 390 609 391 610 392 611 393 612 394 613 395 615 396 617 397 620 398 623 399 624 400 625 401 626 402 628 403 629 404 630 405 634 406 635 407 636 408 637 409 638 410 640 411 641 412 645 413 646 414 650 415 651 416 653 417 654 418 655 419 656 420 657 421 658 422 660 423 661 424 663 425 665 426 666 427 667 428 670 429 671 430 673 431 674 432 675 433 676 434 677 435 678 436 679 437 680 438 685 439 686 440 687 441 689 442 690 443 692 444 695 445 696 446 697 447 698 448 699 449 700 450 701 451 702 452 703 453 705 454 706 455 707 456 709 457 710 458 712 459 713 460 714 461 715 462 720 463 722 464 723 465 724 466 725 467 728 468 729 469 730 470 731 471 732 472 733 473 735 474 737 475 738 476 740 477 741 478 742 479 745 480 746 481 748 482 750 483 754 484 755 485 756 486 757 487 760 488 761 489 763 490 765 491 767 492 768 493 769 494 770 495 771 496 772 497 773 498 775 499 776 500 777 501 778 502 779 503 780 504 782 505 783 506 784 507 785 508 788 509 790 510 791 511 793 512 794 513 795 514 797 515 799 516 800 517 801 518 802 519 803 520 805 521 806 522 807 523 808 524 809 525 810 526 812 527 814 528 815 529 816 530 818 531 819 532 820 533 821 534 822 535 825 536 828 537 829 538 830 539 831 540 832 541 833 542 835 543 840 544 841 545 842 546 843 547 845 548 847 549 848 550 850 551 851 552 853 553 854 554 855 555 857 556 858 557 860 558 861 559 865 560 866 561 867 562 870 563 871 564 872 565 873 566 875 567 876 568 877 569 879 570 880 571 881 572 884 573 885 574 888 575 890 576 891 577 894 578 895 579 897 580 898 581 899 582 900 583 901 584 902 585 904 586 905 587 909 588 910 589 914 590 915 591 916 592 918 593 920 594 922 595 923 596 924 597 925 598 928 599 929 600 930 601 932 602 935 603 936 604 937 605 939 606 940 607 941 608 942 609 943 610 945 611 946 612 949 613 950 614 951 615 952 616 953 617 954 618 955 619 957 620 959 621 960 622 962 623 964 624 965 625 969 626 970 627 972 628 975 629 976 630 977 631 979 632 980 633 981 634 984 635 985 636 986 637 988 638 990 639 995 640 997 641 999 642 1000 643 1001 644 1003 645 1005 646 1007 647 1008 648 1009 649 1010 650 1011 651 1013 652 1014 653 1015 654 1016 655 1017 656 1018 657 1020 658 1021 659 1022 660 1023 661 1025 662 1027 663 1028 664 1030 665 1033 666 1035 667 1036 668 1037 669 1038 670 1040 671 1042 672 1043 673 1044 674 1045 675 1047 676 1049 677 1050 678 1053 679 1054 680 1055 681 1059 682 1060 683 1061 684 1064 685 1065 686 1066 687 1067 688 1068 689 1069 690 1070 691 1071 692 1072 693 1073 694 1075 695 1076 696 1079 697 1080 698 1082 699 1083 700 1085 701 1086 702 1088 703 1090 704 1092 705 1093 706 1095 707 1096 708 1097 709 1098 710 1099 711 1100 712 1102 713 1105 714 1107 715 1108 716 1109 717 1110 718 1111 719 1113 720 1114 721 1115 722 1117 723 1118 724 1119 725 1120 726 1122 727 1124 728 1125 729 1128 730 1129 731 1130 732 1131 733 1132 734 1134 735 1135 736 1138 737 1139 738 1140 739 1144 740 1145 741 1147 742 1148 743 1150 744 1153 745 1154 746 1155 747 1156 748 1157 749 1158 750 1159 751 1160 752 1164 753 1165 754 1166 755 1167 756 1168 757 1170 758 1172 759 1173 760 1175 761 1176 762 1180 763 1181 764 1182 765 1183 766 1184 767 1185 768 1186 769 1189 770 1190 771 1191 772 1192 773 1193 774 1195 775 1196 776 1199 777 1200 778 1201 779 1202 780 1203 781 1205 782 1207 783 1209 784 1210 785 1211 786 1212 787 1213 788 1215 789 1216 790 1217 791 1218 792 1219 793 1220 794 1221 795 1222 796 1224 797 1225 798 1226 799 1227 800 1229 801 1230 802 1233 803 1234 804 1235 805 1237 806 1240 807 1241 808 1242 809 1243 810 1245 811 1246 812 1247 813 1248 814 1249 815 1250 816 1252 817 1255 818 1256 819 1258 820 1260 821 1261 822 1263 823 1265 824 1267 825 1268 826 1270 827 1271 828 1272 829 1274 830 1275 831 1276 832 1277 833 1280 834 1281 835 1282 836 1285 837 1287 838 1289 839 1290 840 1292 841 1295 842 1296 843 1297 844 1299 845 1300 846 1301 847 1305 848 1306 849 1308 850 1309 851 1310 852 1312 853 1313 854 1314 855 1315 856 1320 857 1321 858 1322 859 1324 860 1325 861 1326 862 1330 863 1332 864 1334 865 1335 866 1339 867 1340 868 1341 869 1342 870 1343 871 1344 872 1345 873 1346 874 1347 875 1348 876 1350 877 1351 878 1352 879 1353 880 1354 881 1355 882 1356 883 1358 884 1360 885 1361 886 1363 887 1365 888 1369 889 1370 890 1371 891 1373 892 1374 893 1375 894 1377 895 1378 896 1379 897 1380 898 1381 899 1383 900 1384 901 1385 902 1386 903 1387 904 1390 905 1391 906 1392 907 1394 908 1395 909 1396 910 1398 911 1400 912 1402 913 1403 914 1404 915 1405 916 1406 917 1409 918 1410 919 1411 920 1412 921 1413 922 1414 923 1415 924 1417 925 1418 926 1420 927 1421 928 1424 929 1425 930 1428 931 1429 932 1430 933 1431 934 1433 935 1435 936 1440 937 1443 938 1445 939 1446 940 1448 941 1449 942 1450 943 1452 944 1453 945 1455 946 1456 947 1460 948 1462 949 1464 950 1465 951 1466 952 1469 953 1470 954 1475 955 1476 956 1479 957 1480 958 1481 959 1482 960 1484 961 1485 962 1489 963 1490 964 1492 965 1493 966 1495 967 1496 968 1500 969 1505 970 1507 971 1508 972 1510 973 1512 974 1513 975 1514 976 1515 977 1517 978 1518 979 1520 980 1521 981 1522 982 1525 983 1526 984 1527 985 1530 986 1533 987 1534 988 1535 989 1536 990 1537 991 1538 992 1539 993 1540 994 1542 995 1544 996 1545 997 1546 998 1547 999 1549 1000 1550 1001 1552 1002 1553 1003 1554 1004 1555 1005 1556 1006 1557 1007 1558 1008 1560 1009 1563 1010 1564 1011 1565 1012 1566 1013 1568 1014 1570 1015 1573 1016 1575 1017 1576 1018 1580 1019 1581 1020 1582 1021 1585 1022 1586 1023 1588 1024 1590 1025 1591 1026 1594 1027 1595 1028 1597 1029 1598 1030 1599 1031 1600 1032 1601 1033 1602 1034 1603 1035 1604 1036 1605 1037 1606 1038 1608 1039 1609 1040 1610 1041 1612 1042 1613 1043 1614 1044 1615 1045 1616 1046 1617 1047 1618 1048 1620 1049 1621 1050 1623 1051 1624 1052 1625 1053 1628 1054 1629 1055 1630 1056 1631 1057 1632 1058 1635 1059 1636 1060 1637 1061 1638 1062 1639 1063 1640 1064 1642 1065 1643 1066 1644 1067 1645 1068 1647 1069 1649 1070 1650 1071 1651 1072 1653 1073 1655 1074 1657 1075 1658 1076 1660 1077 1662 1078 1664 1079 1665 1080 1666 1081 1669 1082 1670 1083 1671 1084 1674 1085 1675 1086 1677 1087 1679 1088 1680 1089 1681 1090 1682 1091 1683 1092 1684 1093 1685 1094 1686 1095 1687 1096 1690 1097 1691 1098 1692 1099 1693 1100 1694 1101 1695 1102 1696 1103 1697 1104 1700 1105 1701 1106 1702 1107 1703 1108 1705 1109 1706 1110 1707 1111 1708 1112 1709 1113 1710 1114 1711 1115 1714 1116 1715 1117 1716 1118 1717 1119 1720 1120 1721 1121 1722 1122 1725 1123 1727 1124 1729 1125 1730 1126 1731 1127 1732 1128 1733 1129 1734 1130 1735 1131 1736 1132 1737 1133 1739 1134 1740 1135 1741 1136 1742 1137 1744 1138 1745 1139 1746 1140 1749 1141 1750 1142 1751 1143 1752 1144 1753 1145 1754 1146 1755 1147 1758 1148 1760 1149 1762 1150 1763 1151 1764 1152 1765 1153 1768 1154 1769 1155 1770 1156 1773 1157 1775 1158 1776 1159 1777 1160 1779 1161 1780 1162 1781 1163 1782 1164 1785 1165 1788 1166 1789 1167 1790 1168 1792 1169 1794 1170 1795 1171 1796 1172 1798 1173 1799 1174 1800 1175 1801 1176 1802 1177 1803 1178 1804 1179 1805 1180 1807 1181 1808 1182 1810 1183 1813 1184 1815 1185 1818 1186 1819 1187 1820 1188 1825 1189 1827 1190 1828 1191 1830 1192 1832 1193 1833 1194 1835 1195 1836 1196 1839 1197 1840 1198 1842 1199 1843 1200 1844 1201 1845 1202 1846 1203 1849 1204 1850 1205 1851 1206 1853 1207 1855 1208 1856 1209 1858 1210 1859 1211 1860 1212 1861 1213 1864 1214 1865 1215 1869 1216 1870 1217 1872 1218 1873 1219 1874 1220 1875 1221 1877 1222 1878 1223 1880 1224 1881 1225 1882 1226 1883 1227 1884 1228 1885 1229 1886 1230 1887 1231 1889 1232 1890 1233 1891 1234 1895 1235 1898 1236 1900 1237 1901 1238 1902 1239 1903 1240 1904 1241 1905 1242 1906 1243 1908 1244 1910 1245 1911 1246 1913 1247 1914 1248 1915 1249 1917 1250 1918 1251 1919 1252 1920 1253 1921 1254 1923 1255 1924 1256 1925 1257 1927 1258 1928 1259 1930 1260 1933 1261 1935 1262 1937 1263 1938 1264 1939 1265 1940 1266 1943 1267 1944 1268 1945 1269 1949 1270 1950 1271 1952 1272 1954 1273 1955 1274 1958 1275 1959 1276 1960 1277 1961 1278 1962 1279 1963 1280 1965 1281 1967 1282 1968 1283 1970 1284 1971 1285 1972 1286 1973 1287 1975 1288 1976 1289 1980 1290 1983 1291 1985 1292 1989 1293 1990 1294 1991 1295 1993 1296 1994 1297 1995 1298 1996 1299 1997 1300 1998 1301 2000