# Computed using the Mathematica program that I contributed to this sequence
0 0
1 0
2 5
3 122
4 1022
5 5122
6 18847
7 56332
8 144924
9 332844
10 699369
11 1367894
12 2522234
13 4426526
14 7449091
15 12090616
16 19017016
17 29097336
18 43447053
19 63477138
20 90949238
21 128037338
22 177396263
23 242237380
24 326411860
25 434501860
26 571919985
27 745017390
28 961200882
29 1229059382
30 1558500107
31 1960894832
32 2449236592
33 3038307184
34 3744855829
35 4587789354
36 5588374254
37 6770450994
38 8160660911
39 9788686076
40 11687502476
41 13893646876
42 16447497721
43 19393570438
44 22780827498
45 26663003598
46 31098946323
47 36152972648
48 41895241640
49 48402143720
50 55756706845
51 64049019970
52 73376674150
53 83845221642
54 95568653367
55 108669895092
56 123281322692
57 139545296852
58 157614717569
59 177653598814
60 199837663714
61 224354960614
62 251406500379
63 281206915296
64 313985139936
65 349985114336
66 389466509861
67 432705478106
68 479995423198
69 531647797858
70 587992923583
71 649380835308
72 716182150908
73 788788965900
74 867615773705
75 953100411830
76 1045705034330
77 1145917110910
78 1254250453027
79 1371246267352
80 1497474236952
81 1633533630552
82 1780054440237
83 1937698547954
84 2107160921174
85 2289170838074
86 2484493142599
87 2693929529764
88 2918319861556
89 3158543513796
90 3415520754321
91 3690214152846
92 3983630022866
93 4296819895958
94 4630882028843
95 4986962943568
96 5366259001168
97 5770018009168
98 6199540863285
99 6656183223690
100 7141357226190
101 7656533228690
102 8203241593295
103 8783074504412
104 9397687823212
105 10048802978812
106 10738208896537
107 11467763963622
108 12239398032714
109 13055114463534
110 13916992203059
111 14827187904584
112 15787938086024
113 16801561327816
114 17870460510781
115 18997125094306
116 20184133435206
117 21434155147626
118 22749953504343
119 24134387879828
120 25590416235428
121 27121097647028
122 28729594875553
123 30419176980670
124 32193221978050
125 34055219540550
126 36008773743675
127 38057605855680
128 40205557172672
129 42456591899072
130 44814800073797
131 47284400542522
132 49869743976382
133 52575315937474
134 55405739991519
135 58365780868044
136 61460347668444
137 64694497122284
138 68073436892201
139 71602528927766
140 75287292868666
141 79133409497566
142 83146724243011
143 87333250732728
144 91699174397688
145 96250856127288
146 100994835976013
147 105937836921938
148 111086768677430
149 116448731552410
150 122031020370535
151 127841128438660
152 133886751569940
153 140175792160932
154 146716363323057
155 153516793068782
156 160585628552882
157 167931640369142
158 175563826902859
159 183491418739504
160 191723883129904
161 200270928512304
162 209142509091669
163 218348829476586
164 227900349374126
165 237807788343026
166 248082130605551
167 258734629918396
168 269776814502988
169 281220492035548
170 293077754697273
171 305360984284998
172 318082857382698
173 331256350594190
174 344894745837395
175 359011635700520
176 373620928860520
177 388736855564200
178 404373973172317
179 420547171767042
180 437271679823142
181 454563069943242
182 472437264657527
183 490910542288244
184 509999542879364
185 529721274191764
186 550093117764289
187 571132835041054
188 592858573565346
189 615288873240486
190 638442672658011
191 662339315493536
192 686998556970656
193 712440570393248
194 738685953746533
195 765755736367258
196 793671385683358
197 822454814023458
198 852128385496575
199 882714922942380
200 914237714952380
201 946720522962380
202 980187588416585
203 1014663640003702
204 1050173900965402
205 1086744096477502
206 1124400461104227
207 1163169746325912
208 1203079228140504
209 1244156714739224
210 1286430554256749
211 1329929642596274
212 1374683431329814
213 1420721935674106
214 1468075742542471
215 1516776018672996
216 1566854518833396
217 1618343594102916
218 1671276200231633
219 1725685906077518
220 1781606902121618
221 1839074009061718
222 1898122686484843
223 1958789041618960
224 2021109838164240
225 2085122505204240
226 2150865146197365
227 2218376548048970
228 2287696190264462
229 2358864254183762
230 2431921632297487
231 2506909937645212
232 2583871513296172
233 2662849441912764
234 2743887555397209
235 2827030444621734
236 2912323469242634
237 2999812767598574
238 3089545266693491
239 3181568692264456
240 3275931578934856
241 3372683280453256
242 3471873980018301
243 3573554700690018
244 3677777315887878
245 3784594559975978
246 3894060038935703
247 4006228241126228
248 4121154548133220
249 4238895245706100
250 4359507534784225
251 4483049542612350
252 4609580333945730
253 4739159922345222
254 4871849281562747
255 5007710357017472
256 5146806077363072
257 5289200366146432
258 5434958153558149
259 5584145388275194
260 5736829049396094
261 5893077158468994
262 6052958791612959
263 6216544091732876
264 6383904280828316
265 6555111672396716
266 6730239683931241
267 6909362849513686
268 7092556832502778
269 7279898438318238
270 7471465627320963
271 7667337527789688
272 7867594448994488
273 8072317894367480
274 8281590574771085
275 8495496421864210
276 8714120601566710
277 8937549527622490
278 9165870875261607
279 9399173594961732
280 9637547926309332
281 9881085411960932
282 10129878911704817
283 10384022616623534
284 10643612063357554
285 10908744148470454
286 11179517142915979
287 11456030706607344
288 11738385903089136
289 12026685214312176
290 12321032555511701
291 12621533290189226
292 12928294245198446
293 13241423725935538
294 13561031531634223
295 13887228970765948
296 14220128876545548
297 14559845622542748
298 14906495138399865
299 15260194925656070
300 15621064073678570
301 15989223275701070
302 16364794844969875
303 16747902730997992
304 17138672535927592
305 17537231531001192
306 17943708673141917
307 18358234621643202
308 18780941754968294
309 19211964187659914
310 19651437787360439
311 20099500191942964
312 20556290826753604
313 21021950921965396
314 21496623530044161
315 21980453543326686
316 22473587711711586
317 22976174660463206
318 23488364908128923
319 24010310884570208
320 24542166949107808
321 25084089408781408
322 25636236536724133
323 26198768590652250
324 26771847831470430
325 27355638541992930
326 27950307045781055
327 28556021726097260
328 29172953044976252
329 29801273562413452
330 30441157955671177
331 31092783038702902
332 31756327781695962
333 32431973330733054
334 33119903027572899
335 33820302429550424
336 34533359329596824
337 35259263776379864
338 35998208094564781
339 36750386905196146
340 37515997146201046
341 38295238093013946
342 39088311379323591
343 39895421017942308
344 40716773421798068
345 41552577425049668
346 42403044304325393
347 43268387800085518
348 44148824138109010
349 45044572051104790
350 45955852800447915
351 46882890198041040
352 47825910628301520
353 48785143070274512
354 49760819119872437
355 50753173012241162
356 51762441644253262
357 52788864597128722
358 53832684159183439
359 54894145348705884
360 55973495936962284
361 57070986471330684
362 58186870298564249
363 59321403588184166
364 60474845356002506
365 61647457487775406
366 62839504762986931
367 64051254878763976
368 65282978473922568
369 66534949153145928
370 67807443511294653
371 69100741157849378
372 70415124741486278
373 71750879974785770
374 73108295659074775
375 74487663709402900
376 75889279179652900
377 77313440287785780
378 78760448441220897
379 80230608262351422
380 81724227614195522
381 83241617626183622
382 84783092720082107
383 86348970636053824
384 87939572458855744
385 89555222644174144
386 91196249045097669
387 92862982938728634
388 94555759052932926
389 96274915593228866
390 98020794269815391
391 99793740324739916
392 101594102559206236
393 103422233361022828
394 105278488732191913
395 107163228316639638
396 109076815428087738
397 111019617078067038
398 112992004004073155
399 114994350697864760
400 117027035433904760
401 119090440297944760
402 121184951215753165
403 123310957981987282
404 125468854289209782
405 127659037757049882
406 129881909961509607
407 132137876464415492
408 134427346843016084
409 136750734719725604
410 139108457792014129
411 141500937862444654
412 143928600868857394
413 146391876914701686
414 148891200299515851
415 151427009549555376
416 153999747448569776
417 156609861068728496
418 159257801801696213
419 161944025389857898
420 164668991957693998
421 167433166043306098
422 170237016630093423
423 173081017178580540
424 175965645658396620
425 178891384580406620
426 181858721028994745
427 184868146694500550
428 187920157905808042
429 191015255663088142
430 194153945670694867
431 197336738370215592
432 200564148973675752
433 203836697496898344
434 207154908793018589
435 210519312586154114
436 213930443505231014
437 217388841117966154
438 220895049965006071
439 224449619594222836
440 228053104595167236
441 231706064633679636
442 235409064486658881
443 239162674076989598
444 242967468508628258
445 246824028101848358
446 250732938428645083
447 254694790348299808
448 258710180043104800
449 262779709054248480
450 266903984317861605
451 271083618201224730
452 275319228539137310
453 279611438670448802
454 283960877474752127
455 288368179409239852
456 292833984545723452
457 297358938607816012
458 301943693008278729
459 306588904886531574
460 311295237146328474
461 316063358493597374
462 320893943474445539
463 325787672513330456
464 330745231951396696
465 335767314084979096
466 340854617204272621
467 346007845632169266
468 351227709763262358
469 356514926103018618
470 361870217307118343
471 367294312220964068
472 372787945919358068
473 378351859746349060
474 383986801355248465
475 389693524748816590
476 395472790319619090
477 401325364890554070
478 407252021755550187
479 413253540720436112
480 419330708143981712
481 425484316979111312
482 431715166814289397
483 438024063915079114
484 444411821265873934
485 450879258611802834
486 457427202500809359
487 464056486325904924
488 470767950367596716
489 477562441836490556
490 484440814916069081
491 491403930805645606
492 498452657763494026
493 505587871150155118
494 512810453471919603
495 520121294424488328
496 527521290936809928
497 535011347215096328
498 542592374787016445
499 550265292546068450
500 558031026796130950
501 565890511296193450
502 573844687305266455
503 581894503627471572
504 590040916657311972
505 598284890425123572
506 606627396642707297
507 615069414749142782
508 623611931956783874
509 632255943297436294
510 641002451668717819
511 649852467880601344
512 658807010702141184
513 667867106908382976
514 677033791327457541
515 686308106887859066
516 695691104665907966
517 705183843933398786
518 714787392205433503
519 724502825288440588
520 734331227328380188
521 744273690859135788
522 754331316851092713
523 764505214759903830
524 774796502575442810
525 785206306870945310
526 795735762852338435
527 806386014407758840
528 817158214157259832
529 828053523502707832
530 839073112677868557
531 850218160798683282
532 861489855913735542
533 872889395054908634
534 884417984288234279
535 896076838764932804
536 907867182772645204
537 919790249786857444
538 931847282522517361
539 944039532985844526
540 956368262526333426
541 968834741888950326
542 981440251266524171
543 994186080352331888
544 1007073528392878448
545 1020103904240872048
546 1033278526408394773
547 1046598723120269098
548 1060065832367620590
549 1073681201961637170
550 1087446189587525295
551 1101362162858663420
552 1115430499370953100
553 1129652586757368092
554 1144029822742701817
555 1158563615198513542
556 1173255382198273642
557 1188106552072708302
558 1203118563465344019
559 1218292865388252264
560 1233630917277994664
561 1249134189051769064
562 1264804161163756829
563 1280642324661671746
564 1296650181243510886
565 1312829243314507786
566 1329181034044288311
567 1345707087424229556
568 1362408948325022148
569 1379288172554436308
570 1396346326915292033
571 1413584989263633758
572 1431005748567109858
573 1448610204963557350
574 1466399969819792155
575 1484376665790605280
576 1502541926877965280
577 1520897398490427360
578 1539444737502749477
579 1558185612315715802
580 1577121702916167902
581 1596254700937244002
582 1615586309718826687
583 1635118244368199404
584 1654852231820912124
585 1674790010901856524
586 1694933332386551049
587 1715283959062636214
588 1735843665791580506
589 1756614239570597246
590 1777597479594772771
591 1798795197319406296
592 1820209216522561816
593 1841841373367832408
594 1863693516467317293
595 1885767506944812018
596 1908065218499212118
597 1930588537468130618
598 1953339362891729735
599 1976319606576767140
600 1999531193160857140
601 2022976060176947140
602 2046656158118009745
603 2070573450501950862
604 2094729913936734162
605 2119127538185722262
606 2143768326233234987
607 2168654294350325072
608 2193787472160771664
609 2219169902707291984
610 2244803642517971509
611 2270690761672913034
612 2296833343871104974
613 2323233486497509266
614 2349893300690369231
615 2376814911408737756
616 2404000457500226156
617 2431452091768974076
618 2459171981043840793
619 2487162306246818278
620 2515425262461666378
621 2543963059002770478
622 2572777919484222003
623 2601872081889122120
624 2631247798639109000
625 2660907336664109000
626 2690852977472312125
627 2721087017220372130
628 2751611766783831622
629 2782429551827772522
630 2813542712877692247
631 2844953605390605972
632 2876664599826375332
633 2908678081719263924
634 2940996451749719969
635 2973622125816386494
636 3006557535108339394
637 3039805126177553734
638 3073367361011598651
639 3107246717106561216
640 3141445687540199616
641 3175966781045326016
642 3210812522083419461
643 3245985450918469178
644 3281488123691048638
645 3317323112492620738
646 3353493005440074463
647 3390000406750493388
648 3426847936816156380
649 3464038232279770860
650 3501573946109938985
651 3539457747676857110
652 3577692322828248890
653 3616280373965532382
654 3655224620120221507
655 3694527797030562232
656 3734192657218403832
657 3774221970066305592
658 3814618521894879309
659 3855385116040367954
660 3896524572932460854
661 3938039730172345754
662 3979933442610998119
663 4022208582427708036
664 4064868039208845076
665 4107914720026861476
666 4151351549519534001
667 4195181469969444846
668 4239407441383701938
669 4284032441573898998
670 4329059466236315723
671 4374491529032358448
672 4420331661669241648
673 4466582913980910640
674 4513248354009205845
675 4560331068085268970
676 4607834160911191470
677 4655760755641905650
678 4704113993967318767
679 4752897036194690492
680 4802113061331254092
681 4851765267167081692
682 4901856870358193977
683 4952391106509914694
684 5003371230260470314
685 5054800515364835214
686 5106682254778822739
687 5159019760743422504
688 5211816364869384296
689 5265075418222048936
690 5318800291406426461
691 5372994374652521986
692 5427661077900909606
693 5482803830888554698
694 5538426083234884983
695 5594531304528110708
696 5651122984411794308
697 5708204632671669908
698 5765779779322713025
699 5823851974696460830
700 5882424789528583330
701 5941501815046705830
702 6001086663058483035
703 6061182966039925152
704 6121794377223976352
705 6182924570689345952
706 6244577241449592677
707 6306756105542462362
708 6369464900119479454
709 6432707383535792674
710 6496487335440275199
711 6560808556865879724
712 6625674870320248764
713 6691090119876580556
714 6757058171264750921
715 6823582911962691446
716 6890668251288024346
717 6958318120489954366
718 7026536472841418083
719 7095327283731490968
720 7164694550758052568
721 7234642293820710168
722 7305174555213981293
723 7376295399720735410
724 7448008914705895190
725 7520319210210397690
726 7593230419045415815
727 7666746696886840420
728 7740872222370023412
729 7815611197184782212
730 7890967846170665937
731 7966946417412483662
732 8043551182336095122
733 8120786435804464214
734 8198656496213975659
735 8277165705591015184
736 8356318429688813584
737 8436119058084555024
738 8516572004276749941
739 8597681705782872906
740 8679452624237265806
741 8761889245489306706
742 8844996079701844751
743 8928777661449901468
744 9013238549819638828
745 9098383328507594428
746 9184216605920184153
747 9270743015273472678
748 9357967214693212170
749 9445893887315149550
750 9534527741385602675
751 9623873510362305800
752 9713935953015524680
753 9804719853529441672
754 9896230021603811197
755 9988471292555885922
756 10081448527422614022
757 10175166613063107882
758 10269630462261384599
759 10364845013829378644
760 10460815232710227044
761 10557546110081827444
762 10655042663460669409
763 10753309936805939326
764 10852353000623899266
765 10952176952072540166
766 11052786915066509691
767 11154188040382315136
768 11256385505763801728
769 11359384516027906688
770 11463190303170689413
771 11567808126473638138
772 11673243272610253438
773 11779501055752908930
774 11886586817679989535
775 11994505927883307660
776 12103263783675797660
777 12212865810299488940
778 12323317461033758057
779 12434624217303860182
780 12546791588789740282
781 12659825113535124382
782 12773730358056891267
783 12888512917454724984
784 13004178415521048504
785 13120732504851238904
786 13238180866954124429
787 13356529212362763794
788 13475783280745508086
789 13595948841017345626
790 13717031691451530151
791 13839037659791492676
792 13961972603363037396
793 14085842409186821988
794 14210652994091122673
795 14336410304824884398
796 14463120318171056498
797 14590789041060214198
798 14719422510684466315
799 14849026794611649520
800 14979607990899809520
801 15111172228211969520
802 15243725665931186325
803 15377274494275894442
804 15511824934415538542
805 15647383238586494642
806 15783955690208280367
807 15921548604000054652
808 16060168326097407244
809 16199821234169438364
810 16340513737536128889
811 16482252277286001414
812 16625043326394072554
813 16768893389840096846
814 16913809004727102611
815 17059796740400220136
816 17206863198565802536
817 17355015013410839656
818 17504258851722665373
819 17654601413008958658
820 17806049429618038758
821 17958609666859454858
822 18112288923124870583
823 18267094030009243700
824 18423031852432301380
825 18580109288760311380
826 18738333270928149505
827 18897710764561663710
828 19058248769100335202
829 19219954317920236902
830 19382834478457289627
831 19546896352330816352
832 19712147075467394912
833 19878593818225009504
834 20046243785517501349
835 20215104216939318874
836 20385182386890567774
837 20556485604702361314
838 20729021214762471231
839 20902796596641279596
840 21077819165218031996
841 21254096370807392396
842 21431635699286300041
843 21610444672221128758
844 21790530846995149018
845 21971901816936293118
846 22154565211445223843
847 22338528696123706968
848 22523799972903287960
849 22710386780174273240
850 22898296892915016365
851 23087538122821509490
852 23278118318437280470
853 23470045365283595962
854 23663327185989970887
855 23857971740424984612
856 24053987025827404212
857 24251381076937615172
858 24450161966129359889
859 24650337803541784334
860 24851916737211793234
861 25054906953206714134
862 25259316675757270699
863 25465154167390865616
864 25672427729065173456
865 25881145700302043856
866 26091316459321715381
867 26302948423177340426
868 26516050047889821518
869 26730629828582959378
870 26946696299618913103
871 27164258034733972828
872 27383323647174645228
873 27603901789834052220
874 27826001155388643225
875 28049630476435221350
876 28274798525628283850
877 28501514115817677230
878 28729786100186567347
879 28959623372389724872
880 29191034866692126472
881 29424029558107872072
882 29658616462539418557
883 29894804636917130274
884 30132603179339146694
885 30372021229211567594
886 30613067967388956119
887 30855752616315160084
888 31100084440164451876
889 31346072744982987316
890 31593726878830583841
891 31843056231922818366
892 32094070236773445186
893 32346778368337134278
894 32601190144152530363
895 32857315124485633088
896 33115162912473498688
897 33374743154268263488
898 33636065539181489605
899 33899139799828833210
900 34163975712275035710
901 34430583096179238210
902 34698971814940619615
903 34969151775844358732
904 35241132930207920732
905 35514925273527668332
906 35790538845625798057
907 36067983730797601942
908 36347270057959055034
909 36628408000794729054
910 36911407777906032579
911 37196279652959778104
912 37483033934837076344
913 37771680977782558136
914 38062231181553924301
915 38354694991571823826
916 38649082899070060726
917 38945405441246129946
918 39243673201412082663
919 39543896809145721348
920 39846086940442124948
921 40150254317865504548
922 40456409710701389873
923 40764563935109146990
924 41074727854274827570
925 41386912378564350070
926 41701128465677013195
927 42017387120799342000
928 42335699396759266992
929 42656076394180636592
930 42978529261638063317
931 43303069195812104042
932 43629707441644774702
933 43958455292495399794
934 44289324090296797039
935 44622325225711797564
936 44957470138290101964
937 45294770316625472604
938 45634237298513262521
939 45975882671108281286
940 46319718071082998186
941 46665755184786083086
942 47014005748401285331
943 47364481548106651048
944 47717194420234079208
945 48072156251429216808
946 48429378978811693533
947 48788874590135696258
948 49150655123950883750
949 49514732669763641930
950 49881119368198680055
951 50249827411160968180
952 50620869041998016260
953 50994256555662495252
954 51370002298875200577
955 51748118670288358302
956 52128618120649274402
957 52511513152964327462
958 52896816322663305179
959 53284540237764085024
960 53674697559037659424
961 54067301000173505824
962 54462363327945301989
963 54859897362376986906
964 55259915976909167646
965 55662432098565872546
966 56067458708121651071
967 56475008840269020716
968 56885095583786261308
969 57297732081705557068
970 57712931531481486793
971 58130707185159862518
972 58551072349546917018
973 58974040386378840510
974 59399624712491666915
975 59827838799991510040
976 60258696176425150040
977 60692210424950970520
978 61128395184510246637
979 61567264149998784562
980 62008831072438912662
981 62453109759151824762
982 62900114073930275847
983 63349857937211630564
984 63802355326251264884
985 64257620275296321284
986 64715666875759817809
987 65176509276395111374
988 65640161683470715666
989 66106638360945474006
990 66575953630644087531
991 67048121872432999056
992 67523157524396632976
993 68001075083013991568
994 68481889103335608053
995 68965614199160856778
996 69452265043215620878
997 69941856367330317778
998 70434402962618282895
999 70929919679654511900
1000 71428421428654761900