# Computed using the Mathematica program that I contributed to this sequence 0 0 1 2 2 8 3 20 4 38 5 64 6 100 7 148 8 208 9 282 10 373 11 480 12 606 13 753 14 921 15 1112 16 1328 17 1571 18 1841 19 2140 20 2471 21 2833 22 3229 23 3661 24 4129 25 4635 26 5182 27 5769 28 6399 29 7074 30 7794 31 8561 32 9377 33 10244 34 11162 35 12133 36 13160 37 14242 38 15382 39 16582 40 17842 41 19164 42 20551 43 22002 44 23520 45 25107 46 26763 47 28490 48 30290 49 32165 50 34115 51 36142 52 38249 53 40435 54 42703 55 45055 56 47491 57 50013 58 52624 59 55323 60 58113 61 60996 62 63972 63 67043 64 70211 65 73478 66 76844 67 80311 68 83882 69 87556 70 91336 71 95224 72 99220 73 103326 74 107545 75 111876 76 116322 77 120885 78 125565 79 130364 80 135284 81 140327 82 145493 83 150784 84 156203 85 161749 86 167425 87 173233 88 179173 89 185247 90 191458 91 197805 92 204291 93 210918 94 217686 95 224597 96 231653 97 238856 98 246206 99 253705 100 261356 101 269158 102 277114 103 285226 104 293494 105 301920 106 310507 107 319254 108 328164 109 337239 110 346479 111 355886 112 365462 113 375209 114 385127 115 395218 116 405485 117 415927 118 426547 119 437347 120 448327 121 459489 122 470836 123 482367 124 494085 125 505992 126 518088 127 530375 128 542855 129 555530 130 568400 131 581467 132 594734 133 608200 134 621868 135 635740 136 649816 137 664098 138 678589 139 693288 140 708198 141 723321 142 738657 143 754208 144 769976 145 785963 146 802169 147 818596 148 835247 149 852121 150 869221 151 886549 152 904105 153 921891 154 939910 155 958161 156 976647 157 995370 158 1014330 159 1033529 160 1052969 161 1072652 162 1092578 163 1112749 164 1133168 165 1153834 166 1174750 167 1195918 168 1217338 169 1239012 170 1260943 171 1283130 172 1305576 173 1328283 174 1351251 175 1374482 176 1397978 177 1421741 178 1445771 179 1470070 180 1494641 181 1519483 182 1544599 183 1569991 184 1595659 185 1621605 186 1647832 187 1674339 188 1701129 189 1728204 190 1755564 191 1783211 192 1811147 193 1839374 194 1867892 195 1896703 196 1925810 197 1955212 198 1984912 199 2014912 200 2045212 201 2075814 202 2106721 203 2137932 204 2169450 205 2201277 206 2233413 207 2265860 208 2298620 209 2331695 210 2365085 211 2398792 212 2432819 213 2467165 214 2501833 215 2536825 216 2572141 217 2607783 218 2643754 219 2680053 220 2716683 221 2753646 222 2790942 223 2828573 224 2866541 225 2904848 226 2943494 227 2982481 228 3021812 229 3061486 230 3101506 231 3141874 232 3182590 233 3223656 234 3265075 235 3306846 236 3348972 237 3391455 238 3434295 239 3477494 240 3521054 241 3564977 242 3609263 243 3653914 244 3698933 245 3744319 246 3790075 247 3836203 248 3882703 249 3929577 250 3976828 251 4024455 252 4072461 253 4120848 254 4169616 255 4218767 256 4268303 257 4318226 258 4368536 259 4419235 260 4470326 261 4521808 262 4573684 263 4625956 264 4678624 265 4731690 266 4785157 267 4839024 268 4893294 269 4947969 270 5003049 271 5058536 272 5114432 273 5170739 274 5227457 275 5284588 276 5342135 277 5400097 278 5458477 279 5517277 280 5576497 281 5636139 282 5696206 283 5756697 284 5817615 285 5878962 286 5940738 287 6002945 288 6065585 289 6128660 290 6192170 291 6256117 292 6320504 293 6385330 294 6450598 295 6516310 296 6582466 297 6649068 298 6716119 299 6783618 300 6851568 301 6919971 302 6988827 303 7058138 304 7127906 305 7198133 306 7268819 307 7339966 308 7411577 309 7483651 310 7556191 311 7629199 312 7702675 313 7776621 314 7851040 315 7925931 316 8001297 317 8077140 318 8153460 319 8230259 320 8307539 321 8385302 322 8463548 323 8542279 324 8621498 325 8701204 326 8781400 327 8862088 328 8943268 329 9024942 330 9107113 331 9189780 332 9272946 333 9356613 334 9440781 335 9525452 336 9610628 337 9696311 338 9782501 339 9869200 340 9956411 341 10044133 342 10132369 343 10221121 344 10310389 345 10400175 346 10490482 347 10581309 348 10672659 349 10764534 350 10856934 351 10949861 352 11043317 353 11137304 354 11231822 355 11326873 356 11422460 357 11518582 358 11615242 359 11712442 360 11810182 361 11908464 362 12007291 363 12106662 364 12206580 365 12307047 366 12408063 367 12509630 368 12611750 369 12714425 370 12817655 371 12921442 372 13025789 373 13130695 374 13236163 375 13342195 376 13448791 377 13555953 378 13663684 379 13771983 380 13880853 381 13990296 382 14100312 383 14210903 384 14322071 385 14433818 386 14546144 387 14659051 388 14772542 389 14886616 390 15001276 391 15116524 392 15232360 393 15348786 394 15465805 395 15583416 396 15701622 397 15820425 398 15939825 399 16059824 400 16180424 401 16301627 402 16423433 403 16545844 404 16668863 405 16792489 406 16916725 407 17041573 408 17167033 409 17293107 410 17419798 411 17547105 412 17675031 413 17803578 414 17932746 415 18062537 416 18192953 417 18323996 418 18455666 419 18587965 420 18720896 421 18854458 422 18988654 423 19123486 424 19258954 425 19395060 426 19531807 427 19669194 428 19807224 429 19945899 430 20085219 431 20225186 432 20365802 433 20507069 434 20648987 435 20791558 436 20934785 437 21078667 438 21223207 439 21368407 440 21514267 441 21660789 442 21807976 443 21955827 444 22104345 445 22253532 446 22403388 447 22553915 448 22705115 449 22856990 450 23009540 451 23162767 452 23316674 453 23471260 454 23626528 455 23782480 456 23939116 457 24096438 458 24254449 459 24413148 460 24572538 461 24732621 462 24893397 463 25054868 464 25217036 465 25379903 466 25543469 467 25707736 468 25872707 469 26038381 470 26204761 471 26371849 472 26539645 473 26708151 474 26877370 475 27047301 476 27217947 477 27389310 478 27561390 479 27734189 480 27907709 481 28081952 482 28256918 483 28432609 484 28609028 485 28786174 486 28964050 487 29142658 488 29321998 489 29502072 490 29682883 491 29864430 492 30046716 493 30229743 494 30413511 495 30598022 496 30783278 497 30969281 498 31156031 499 31343530 500 31531781 501 31720783 502 31910539 503 32101051 504 32292319 505 32484345 506 32677132 507 32870679 508 33064989 509 33260064 510 33455904 511 33652511 512 33849887 513 34048034 514 34246952 515 34446643 516 34647110 517 34848352 518 35050372 519 35253172 520 35456752 521 35661114 522 35866261 523 36072192 524 36278910 525 36486417 526 36694713 527 36903800 528 37113680 529 37324355 530 37535825 531 37748092 532 37961159 533 38175025 534 38389693 535 38605165 536 38821441 537 39038523 538 39256414 539 39475113 540 39694623 541 39914946 542 40136082 543 40358033 544 40580801 545 40804388 546 41028794 547 41254021 548 41480072 549 41706946 550 41934646 551 42163174 552 42392530 553 42622716 554 42853735 555 43085586 556 43318272 557 43551795 558 43786155 559 44021354 560 44257394 561 44494277 562 44732003 563 44970574 564 45209993 565 45450259 566 45691375 567 45933343 568 46176163 569 46419837 570 46664368 571 46909755 572 47156001 573 47403108 574 47651076 575 47899907 576 48149603 577 48400166 578 48651596 579 48903895 580 49157066 581 49411108 582 49666024 583 49921816 584 50178484 585 50436030 586 50694457 587 50953764 588 51213954 589 51475029 590 51736989 591 51999836 592 52263572 593 52528199 594 52793717 595 53060128 596 53327435 597 53595637 598 53864737 599 54134737 600 54405637 601 54677439 602 54950146 603 55223757 604 55498275 605 55773702 606 56050038 607 56327285 608 56605445 609 56884520 610 57164510 611 57445417 612 57727244 613 58009990 614 58293658 615 58578250 616 58863766 617 59150208 618 59437579 619 59725878 620 60015108 621 60305271 622 60596367 623 60888398 624 61181366 625 61475273 626 61770119 627 62065906 628 62362637 629 62660311 630 62958931 631 63258499 632 63559015 633 63860481 634 64162900 635 64466271 636 64770597 637 65075880 638 65382120 639 65689319 640 65997479 641 66306602 642 66616688 643 66927739 644 67239758 645 67552744 646 67866700 647 68181628 648 68497528 649 68814402 650 69132253 651 69451080 652 69770886 653 70091673 654 70413441 655 70736192 656 71059928 657 71384651 658 71710361 659 72037060 660 72364751 661 72693433 662 73023109 663 73353781 664 73685449 665 74018115 666 74351782 667 74686449 668 75022119 669 75358794 670 75696474 671 76035161 672 76374857 673 76715564 674 77057282 675 77400013 676 77743760 677 78088522 678 78434302 679 78781102 680 79128922 681 79477764 682 79827631 683 80178522 684 80530440 685 80883387 686 81237363 687 81592370 688 81948410 689 82305485 690 82663595 691 83022742 692 83382929 693 83744155 694 84106423 695 84469735 696 84834091 697 85199493 698 85565944 699 85933443 700 86301993 701 86671596 702 87042252 703 87413963 704 87786731 705 88160558 706 88535444 707 88911391 708 89288402 709 89666476 710 90045616 711 90425824 712 90807100 713 91189446 714 91572865 715 91957356 716 92342922 717 92729565 718 93117285 719 93506084 720 93895964 721 94286927 722 94678973 723 95072104 724 95466323 725 95861629 726 96258025 727 96655513 728 97054093 729 97453767 730 97854538 731 98256405 732 98659371 733 99063438 734 99468606 735 99874877 736 100282253 737 100690736 738 101100326 739 101511025 740 101922836 741 102335758 742 102749794 743 103164946 744 103581214 745 103998600 746 104417107 747 104836734 748 105257484 749 105679359 750 106102359 751 106526486 752 106951742 753 107378129 754 107805647 755 108234298 756 108664085 757 109095007 758 109527067 759 109960267 760 110394607 761 110830089 762 111266716 763 111704487 764 112143405 765 112583472 766 113024688 767 113467055 768 113910575 769 114355250 770 114801080 771 115248067 772 115696214 773 116145520 774 116595988 775 117047620 776 117500416 777 117954378 778 118409509 779 118865808 780 119323278 781 119781921 782 120241737 783 120702728 784 121164896 785 121628243 786 122092769 787 122558476 788 123025367 789 123493441 790 123962701 791 124433149 792 124904785 793 125377611 794 125851630 795 126326841 796 126803247 797 127280850 798 127759650 799 128239649 800 128720849 801 129203252 802 129686858 803 130171669 804 130657688 805 131144914 806 131633350 807 132122998 808 132613858 809 133105932 810 133599223 811 134093730 812 134589456 813 135086403 814 135584571 815 136083962 816 136584578 817 137086421 818 137589491 819 138093790 820 138599321 821 139106083 822 139614079 823 140123311 824 140633779 825 141145485 826 141658432 827 142172619 828 142688049 829 143204724 830 143722644 831 144241811 832 144762227 833 145283894 834 145806812 835 146330983 836 146856410 837 147383092 838 147911032 839 148440232 840 148970692 841 149502414 842 150035401 843 150569652 844 151105170 845 151641957 846 152180013 847 152719340 848 153259940 849 153801815 850 154344965 851 154889392 852 155435099 853 155982085 854 156530353 855 157079905 856 157630741 857 158182863 858 158736274 859 159290973 860 159846963 861 160404246 862 160962822 863 161522693 864 162083861 865 162646328 866 163210094 867 163775161 868 164341532 869 164909206 870 165478186 871 166048474 872 166620070 873 167192976 874 167767195 875 168342726 876 168919572 877 169497735 878 170077215 879 170658014 880 171240134 881 171823577 882 172408343 883 172994434 884 173581853 885 174170599 886 174760675 887 175352083 888 175944823 889 176538897 890 177134308 891 177731055 892 178329141 893 178928568 894 179529336 895 180131447 896 180734903 897 181339706 898 181945856 899 182553355 900 183162206 901 183772408 902 184383964 903 184996876 904 185611144 905 186226770 906 186843757 907 187462104 908 188081814 909 188702889 910 189325329 911 189949136 912 190574312 913 191200859 914 191828777 915 192458068 916 193088735 917 193720777 918 194354197 919 194988997 920 195625177 921 196262739 922 196901686 923 197542017 924 198183735 925 198826842 926 199471338 927 200117225 928 200764505 929 201413180 930 202063250 931 202714717 932 203367584 933 204021850 934 204677518 935 205334590 936 205993066 937 206652948 938 207314239 939 207976938 940 208641048 941 209306571 942 209973507 943 210641858 944 211311626 945 211982813 946 212655419 947 213329446 948 214004897 949 214681771 950 215360071 951 216039799 952 216720955 953 217403541 954 218087560 955 218773011 956 219459897 957 220148220 958 220837980 959 221529179 960 222221819 961 222915902 962 223611428 963 224308399 964 225006818 965 225706684 966 226408000 967 227110768 968 227814988 969 228520662 970 229227793 971 229936380 972 230646426 973 231357933 974 232070901 975 232785332 976 233501228 977 234218591 978 234937421 979 235657720 980 236379491 981 237102733 982 237827449 983 238553641 984 239281309 985 240010455 986 240741082 987 241473189 988 242206779 989 242941854 990 243678414 991 244416461 992 245155997 993 245897024 994 246639542 995 247383553 996 248129060 997 248876062 998 249624562 999 250374562 1000 251126062