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