# b267174.txt - Table of n, a(n) for n=0..1000 - Ray Chandler, Feb 13 2024
0 1
1 12
2 77
3 353
4 1298
5 4070
6 11298
7 28468
8 66275
9 144430
10 297584
11 584244
12 1099814
13 1995202
14 3502797
15 5972044
16 9917336
17 16081506
18 25518845
19 39702300
20 60660325
21 91149775
22 134872255
23 196742469
24 283218364
25 402704237
26 566039474
27 787087225
28 1083439094
29 1477253844
30 1996250190
31 2674875984
32 3555678491
33 4690903019
34 6144349905
35 7993522778
36 10332104126
37 13272797493
38 16950579130
39 21526405627
40 27191427967
41 34171766574
42 42733906281
43 53190774727
44 65908572509
45 81314428473
46 99904958833
47 122255814365
48 149032305740
49 181001203143
50 219043812679
51 264170438698
52 317536348084
53 380459359754
54 454439190107
55 541178692957
56 642607140584
57 760905700949
58 898535274850
59 1058266865851
60 1243214665202
61 1456872043689
62 1703150652416
63 1986422844931
64 2311567643872
65 2684020486431
66 3109826994422
67 3595701026599
68 4149087283108
69 4778228744579
70 5492239241376
71 6301181461931
72 7216150722897
73 8249364838072
74 9414260437676
75 10725596104613
76 12199562709824
77 13853901344742
78 15708029265200
79 17783174277927
80 20102518017999
81 22691348583300
82 25577223010196
83 28790140093240
84 32362724070814
85 36330419718181
86 40731699409472
87 45608282730675
88 51005369246733
89 56971885047399
90 63560743718546
91 70829122408192
92 78838753679583
93 87656233867285
94 97353348676378
95 108007416789524
96 119701652271905
97 132525546589801
98 146575271084909
99 161954100773397
100 178772860366149
101 197150393434694
102 217214055675928
103 239100233257939
104 262954887259034
105 288934125242454
106 317204801040251
107 347945143851400
108 381345417791432
109 417608613063711
110 456951169955941
111 499603736899587
112 545811963864631
113 595837332397468
114 649958023645783
115 708469825750944
116 771687082025803
117 839943681373821
118 913594092444132
119 993014443056538
120 1078603646470491
121 1170784576112872
122 1270005290420831
123 1376740309498109
124 1491491945326133
125 1614791687314760
126 1747201645021857
127 1889316049915944
128 2041762818101903
129 2205205175976271
130 2380343350825896
131 2567916328431748
132 2768703679788447
133 2983527459099604
134 3213254175259373
135 3458796839081691
136 3721117088590542
137 4001227394737229
138 4300193349964077
139 4619136042088231
140 4959234516034258
141 5321728326000121
142 5707920180697769
143 6119178684367089
144 6556941176320298
145 7022716671833022
146 7518088907258319
147 8044719492300760
148 8604351172449392
149 9198811204630974
150 9830014849208309
151 10499968981512796
152 11210775826165505
153 11964636817507138
154 12763856589524189
155 13610847098726458
156 14508131883499818
157 15458350463527784
158 16464262882945998
159 17528754400965227
160 18654840333770881
161 19845671051580399
162 21104537134814130
163 22434874693410558
164 23840270853392891
165 25324469414871161
166 26891376685742068
167 28545067495427852
168 30289791393075497
169 32129979034718569
170 34070248763985969
171 36115413391024851
172 38270487174388918
173 40540693010728275
174 42931469837202991
175 45448480251629511
176 48097618355457068
177 50885017824760282
178 53817060214524203
179 56900383501589164
180 60141890871714962
181 63548759756317086
182 67128451124521967
183 70888719036283542
184 74837620462399809
185 78983525377365507
186 83335127131095592
187 87901453105653800
188 92691875663221299
189 97716123391642238
190 102984292653985911
191 108506859448669272
192 114294691586788671
193 120359061193415935
194 126711657539721299
195 133364600212894205
196 140330452630942639
197 147622235909562472
198 155253443088380218
199 163238053723985727
200 171590548857285599
201 180325926362823542
202 189459716687830509
203 199007998988885243
204 208987417674184839
205 219415199359545105
206 230309170246371873
207 241687773929966984
208 253570089646656451
209 265975850968353299
210 278925464953293796
211 292440031761813232
212 306541364746156079
213 321252011023445281
214 336595272541066585
215 352595227643856238
216 369276753152614048
217 386665546963598745
218 404788151178798787
219 423671975776909241
220 443345322835084137
221 463837411311673748
222 485178402400297597
223 507399425465746637
224 530532604572351999
225 554611085615602961
226 579669064067943366
227 605741813349823614
228 632865713837234580
229 661078282517100372
230 690418203302058746
231 720925358016311245
232 752640858064379732
233 785607076794761949
234 819867682570636060
235 855467672559922833
236 892453407257174189
237 930872645749918302
238 970774581742254278
239 1012209880348653679
240 1055230715671091796
241 1099890809172798620
242 1146245468862087917
243 1194351629299892688
244 1244267892444806594
245 1296054569349603655
246 1349773722723382697
247 1405489210373658628
248 1463266729542899679
249 1523173862154188255
250 1585280120980863010
251 1649656996755181194
252 1716378006231223225
253 1785518741217445821
254 1857156918594475892
255 1931372431333924746
256 2008247400534191012
257 2087866228489411033
258 2170315652807907339
259 2255684801596679181
260 2344065249728673997
261 2435551076209775097
262 2530238922662638802
263 2628228052944713758
264 2729620413917976175
265 2834520697388117319
266 2943036403231123718
267 3055277903725396237
268 3171358509107761438
269 3291394534371937474
270 3415505367328227178
271 3543813537943423003
272 3676444788980122053
273 3813528147954864623
274 3955196000434726446
275 4101584164692213232
276 4252831967738526086
277 4409082322755488015
278 4570481807946644985
279 4737180746828279874
280 4909333289981304192
281 5087097498285220609
282 5270635427655579152
283 5460113215306581409
284 5655701167560720216
285 5857573849227577108
286 6065910174574136291
287 6280893499909212047
288 6502711717804826323
289 6731557352977614786
290 6967627659853582853
291 7211124721839778136
292 7462255552326692382
293 7721232197445454344
294 7988271840604125097
295 8263596908827659120
296 8547435180926348007
297 8840019897517818952
298 9141589872927917181
299 9452389608996060281
300 9772669410810912910
301 10102685504402492667
302 10442700156417081965
303 10792981795801586587
304 11153805137524249224
305 11525451308358895699
306 11908207974760162779
307 12302369472857429473
308 12708236940595448515
309 13126118452049951343
310 13556329153946778314
311 13999191404413366147
312 14455034913991706666
313 14924196888942174830
314 15407022176867909791
315 15903863414689720322
316 16415081179001775409
317 16941044138838632112
318 17482129210884445974
319 18038721717155504302
320 18611215545187519563
321 19200013310759418940
322 19805526523185666783
323 20428175753209459274
324 21068390803529435108
325 21726610881992852380
326 22403284777488490168
327 23098871038572843518
328 23813838154863492677
329 24548664741233841488
330 25303839724843735866
331 26079862535040791220
332 26877243296167577581
333 27696503023310133044
334 28538173821023599941
335 29402799085071103936
336 30290933707212323979
337 31203144283078530778
338 32140009323171203152
339 33102119467021665320
340 34090077700549523867
341 35104499576658020814
342 36146013439104758910
343 37215260649686596968
344 38312895818777856788
345 39439587039261328957
346 40596016123891912593
347 41782878846133073916
348 43000885184506660387
349 44250759570496961064
350 45533241140050259785
351 46849083988711485810
352 48199057430439926643
353 49583946260146329917
354 51004551019994085466
355 52461688269507545033
356 53956190859530905478
357 55488908210081451859
358 57060706592141329369
359 58672469413432387827
360 60325097508219019250
361 62019509431184287980
362 63756641755425033913
363 65537449374612012580
364 67362905809361521172
365 69234003517865347086
366 71151754210826265205
367 73117189170746701917
368 75131359575618577833
369 77195336827062737287
370 79310212882966770998
371 81477100594670438751
372 83697134048748301616
373 85971468913439578079
374 88301282789775645510
375 90687775567456017647
376 93132169785524040234
377 95635710997893960623
378 98199668143781443040
379 100825333923090019332
380 103514025176806385360
381 106267083272457875791
382 109085874494685874875
383 111971790440989347878
384 114926248422693107184
385 117950691871195858685
386 121046590749553507954
387 124215441969453641847
388 127458769813637539612
389 130778126363826508300
390 134175091934209780282
391 137651275510551655981
392 141208315194976022537
393 144847878656486829040
394 148571663587283551200
395 152381398164931132877
396 156278841520444348777
397 160265784212346991836
398 164344048706766750371
399 168515489863627103980
400 172781995428998033429
401 177145486533667808377
402 181607918197998587766
403 186171279843129041048
404 190837595808587674140
405 195608925876381022098
406 200487365801621350987
407 205475047849758994304
408 210574141340484934589
409 215786853198369728544
410 221115428510305364075
411 226562151089817130186
412 232129344048313075591
413 237819370373339129278
414 243634633513908456061
415 249577577972974122400
416 255650689907114652459
417 261856497733502561515
418 268197572744226463431
419 274676529728037860969
420 281296027599594242252
421 288058770036270623692
422 294967506122612199191
423 302025031002501277399
424 309234186539112213286
425 316597861982728567257
426 324118994646497254519
427 331800570590194979400
428 339645625312082783831
429 347657244448925076236
430 355838564484250046642
431 364192773464928915924
432 372723111726152011746
433 381432872624880210952
434 390325403281850837907
435 399404105332217660593
436 408672435684905181135
437 418133907290757974874
438 427792089919566392123
439 437650610946050499345
440 447713156144884701682
441 457983470494846056550
442 468465358992169858400
443 479162687473196647738
444 490079383446395373101
445 501219436933848012911
446 512586901322281544978
447 524185894223733734905
448 536020598345939800767
449 548095262372527600200
450 560414201853109577450
451 572981800103360302002
452 585802509115169027140
453 598880850476957296185
454 612221416304252226227
455 625828870180606703912
456 639707948108958335275
457 653863459473519601729
458 668300288012292287137
459 683023392800299856412
460 698037809243632084317
461 713348650084396854076
462 728961106416674669067
463 744880448713572047253
464 761112027865470597125
465 777661276229569205787
466 794533708690817404414
467 811734923734338613665
468 829270604529442611740
469 847146520025327210640
470 865368526058569771826
471 883942566472509840885
472 902874674248624832002
473 922170972650001347015
474 941837676377005370598
475 961881092735255242684
476 982307622816001971609
477 1003123762689022116637
478 1024336104608129136519
479 1045951338229409771553
480 1067976251842292700252
481 1090417733613557388199
482 1113282772844391725978
483 1136578461240607735225
484 1160311994196125306850
485 1184490672089834623345
486 1209121901595948607821
487 1234213197007957436015
488 1259772181576297843983
489 1285806588859850663551
490 1312324264091380719840
491 1339333165557033930317
492 1366841365990007152859
493 1394857053978507041255
494 1423388535388114880418
495 1452444234798675090340
496 1482032696955825807505
497 1512162588237290675084
498 1542842698134051698779
499 1574081940746523753667
500 1605889356295852058826
501 1638274112650454670910
502 1671245506867932785184
503 1704812966752472372839
504 1738986052427861426687
505 1773774457926247833593
506 1809188012792763641240
507 1845236683706142239049
508 1881930576115455728295
509 1919279935893100514677
510 1957295151004159917821
511 1995986753192273356426
512 2035365419682142435010
513 2075441974898805028483
514 2116227392203809234074
515 2157732795648419836475
516 2199969461743990711443
517 2242948821249637375528
518 2286682460977344675076
519 2331182125614645396197
520 2376459719565006368994
521 2422527308806059434027
522 2469397122765815436741
523 2517081556217000216425
524 2565593171189652360194
525 2614944698902123299506
526 2665149041710621136846
527 2716219275077440403435
528 2768168649558020765159
529 2821010592806978513368
530 2874758711603255499774
531 2929426793894531000386
532 2985028810861042822266
533 3041578918998964798878
534 3099091462223488654940
535 3157580973991759059982
536 3217062179445811531268
537 3277549997575663691360
538 3339059543402711233395
539 3401606130183580798116
540 3465205271634592820853
541 3529872684176988263994
542 3595624289203074011027
543 3662476215363442561977
544 3730444800875422537013
545 3799546595852917365163
546 3869798364657790408456
547 3941217088272955648416
548 4013819966697333941669
549 4087624421362835734498
550 4162648097573532012498
551 4238908866967176151051
552 4316424829999240225164
553 4395214318449630233299
554 4475295897952245589176
555 4556688370547549138157
556 4639410777258314860725
557 4723482400688721334764
558 4808922767646959940827
559 4895751651791527710357
560 4983989076301375635906
561 5073655316570084184786
562 5164770902924238683290
563 5257356623366178167646
564 5351433526341292230220
565 5447022923530041325169
566 5544146392664876936769
567 5642825780372238956010
568 5743083205039808556769
569 5844941059709195811946
570 5948422014994242242385
571 6053549022025119447205
572 6160345315418405923343
573 6268834416273325144667
574 6379040135194328936960
575 6490986575340211154410
576 6604698135499937635974
577 6720199513195379396122
578 6837515707811136984016
579 6956672023751644928144
580 7077694073625746169816
581 7200607781458927378745
582 7325439385933407037186
583 7452215443656269175797
584 7580962832455836644521
585 7711708754706478805375
586 7844480740682049541074
587 7979306651938152483923
588 8116214684723431383382
589 8255233373420084548157
590 8396391594013803319598
591 8539718567593335557601
592 8685243863879876148120
593 8832997404786487572804
594 8983009468007754616189
595 9135310690639878324302
596 9289932072831415370478
597 9446904981464870029657
598 9606261153869347011423
599 9768032701564474454576
600 9932252114035807442098
601 10098952262541923454990
602 10268166403953422246627
603 10439928184624043686006
604 10614271644294118188556
605 10791231220026565427042
606 10970841750175658092536
607 11153138478388768556451
608 11338157057641317369246
609 11525933554305143619615
610 11716504452250518269778
611 11909906656982022677902
612 12106177499808515617701
613 12305354742047413207902
614 12507476579263507270524
615 12712581645542548746807
616 12920709017799823913153
617 13131898220123952256609
618 13346189228156135990238
619 13563622473505092313197
620 13784238848197900648475
621 14008079709166998223046
622 14235186882773558490665
623 14465602669367488036686
624 14699369847884278747114
625 14936531680478953170626
626 15177131917197342152513
627 15421214800684934973413
628 15668825070933543383329
629 15920007970066022082761
630 16174809247159289367834
631 16433275163105892825080
632 16695452495514366134039
633 16961388543648624212087
634 17231131133406645115887
635 17504728622338688297595
636 17782229904705300001446
637 18063684416575357777599
638 18349142140964407285143
639 18638653613013545754962
640 18932269925209107685734
641 19230042732643409552701
642 19532024258316811518999
643 19838267298481355353284
644 20148825228026238975138
645 20463752005905389271295
646 20783102180607396051096
647 21106930895668071238771
648 21435293895225898633159
649 21768247529620640802322
650 22105848761035370921189
651 22448155169182198604891
652 22795224957031960038822
653 23147116956588143958693
654 23503890634705326289940
655 23865606098952387515811
656 24232324103520788107295
657 24604106055178178615775
658 24981014019267622300893
659 25363110725752709441613
660 25750459575308843757864
661 26143124645460982653443
662 26541170696768114278065
663 26944663179054755697566
664 27353668237689757756305
665 27768252719912703514775
666 28188484181208188448331
667 28614430891728271899779
668 29046161842763390589353
669 29483746753262026300341
670 29927256076399421177314
671 30376761006195635396568
672 30832333484183243295015
673 31294046206124965374360
674 31761972628781534931982
675 32236186976730099408505
676 32716764249233457884604
677 33203780227160437506149
678 33697311479957712967351
679 34197435372673374536147
680 34704230073032551464648
681 35217774558565398990084
682 35738148623787758498317
683 36265432887434801792666
684 36799708799747971785500
685 37341058649815533308815
686 37889565572967049122823
687 38445313558222097588452
688 39008387455793549860591
689 39578872984645725853918
690 40156856740107749632229
691 40742426201542426275346
692 41335669740070963684930
693 41936676626353864201865
694 42545537038428312323320
695 43162342069602386227141
696 43787183736406422234884
697 44420154986601862772576
698 45061349707247919820192
699 45710862732826387276865
700 46368789853424937109011
701 47035227822979235592856
702 47710274367574217411304
703 48394028193804856817690
704 49086588997196776535726
705 49788057470687036525877
706 50498535313165446213503
707 51218125238076745243379
708 51946930982083999298663
709 52685057313793559000031
710 53432610042541931382541
711 54189696027244914933834
712 54956423185309350667532
713 55732900501607843200159
714 56519238037516807298594
715 57315546940018196867973
716 58121939450865274857094
717 58938528915812784069752
718 59765429793911880386045
719 60602757666870191417553
720 61450629248477365144407
721 62309162394096474610640
722 63178476110221646286854
723 64058690564102281246151
724 64949927093434239840470
725 65852308216118362109950
726 66765957640086697707708
727 67691000273196820676485
728 68627562233194605971979
729 69575770857745846190357
730 70535754714537088524426
731 71507643611446073544250
732 72491568606782158973633
733 73487662019597113213851
734 74496057440066664950316
735 75516889739943196766498
736 76550295083079972282423
737 77596410936027287932412
738 78655376078700942098434
739 79727330615123415921522
740 80812415984238161724149
741 81910774970797396591288
742 83022551716323800277092
743 84147891730146518227734
744 85286941900511872138948
745 86439850505769182099217
746 87606767225632106006368
747 88787843152515903586563
748 89983230802951033990324
749 91193084129073497590305
750 92417558530192334260031
751 93656810864434692071770
752 94910999460468882015094
753 96180284129305836005526
754 97464826176179387124967
755 98764788412505792712356
756 100080335167922922604243
757 101411632302409536510656
758 102758847218485076201824
759 104122148873490399875985
760 105501707791949887777668
761 106897696078015349839496
762 108310287427992167828719
763 109739657142948106192358
764 111185982141405227512029
765 112649440972115350201225
766 114130213826919487804070
767 115628482553691710985327
768 117144430669367875036749
769 118678243373059657464714
770 120230107559254351968489
771 121800211831100866867430
772 123388746513782377788953
773 124995903667976086187210
774 126621877103400537025080
775 128266862392450950719342
776 129931056883923026220741
777 131614659716825673877095
778 133317871834283138508626
779 135040895997526974910336
780 136783936799978339786496
781 138547200681421065917179
782 140330895942265986156252
783 142135232757906976664354
784 143960423193169190589133
785 145806681216849955218402
786 147674222716352807449908
787 149563265512415144244097
788 151474029373929966553607
789 153406736032862197055237
790 155361609199260053846828
791 157338874576361964112858
792 159338759875799503608601
793 161361494832896849663436
794 163407311222067237259321
795 165476442872306909600575
796 167569125682787056455943
797 169685597638544235423461
798 171826098826269773142897
799 173990871450198645359526
800 176180159848098336626708
801 178394210507358182323184
802 180633272081179697554194
803 182897595404868399403458
804 185187433512227630905753
805 187503041652054897017271
806 189844677304741224773162
807 192212600198974061738657
808 194607072328544228781936
809 197028357969257445123459
810 199476723695950945547821
811 201952438399615711600330
812 204455773304624840531446
813 206987001986068577697964
814 209546400387196540080382
815 212134246836967660531272
816 214750822067708384329674
817 217396409232879651581565
818 220071293924953200976322
819 222775764193397732383807
820 225510110562775467756259
821 228274626050949651783590
822 231069606187403535739954
823 233895349031671389953598
824 236752155191882092331016
825 239640327843415842370319
826 242560172747674552107510
827 245511998270966467453021
828 248496115403505575394434
829 251512837778526354564778
830 254562481691514428704172
831 257645366119553684575876
832 260761812740790417936023
833 263912145954015073199441
834 267096692898362144492041
835 270315783473128807833251
836 273569750357712856249924
837 276858929031670511686045
838 280183657794894689640415
839 283544277787914294537303
840 286941133012315125912839
841 290374570351282977582676
842 293844939590269514044185
843 297352593437781510459167
844 300897887546294044660779
845 304481180533288231731080
846 308102834002414093803317
847 311763212564779159855794
848 315462683860363392381907
849 319201618579561039943690
850 322980390484850016744007
851 326799376432589412485348
852 330658956394945737921047
853 334559513481948513647645
854 338501433963675811835075
855 342485107292570362744358
856 346510926125886840040572
857 350579286348270941071999
858 354690587094470880454571
859 358845230772181917474034
860 363043623085024539996631
861 367286173055656929762581
862 371573293049022336125205
863 375905398795731987492230
864 380282909415584171924592
865 384706247441220120551967
866 389175838841917329673290
867 393692113047520959624682
868 398255502972513950716500
869 402866445040226498765658
870 407525379207185534978946
871 412232748987604857177802
872 416989001478016561594879
873 421794587382044426717797
874 426649961035319902905690
875 431555580430541363759552
876 436511907242677277487964
877 441519406854313958775549
878 446578548381148563932463
879 451689804697627994379391
880 456853652462734375803885
881 462070572145917782610460
882 467341048053176879578660
883 472665568353288154940325
884 478044625104184421389536
885 483478714279483263846196
886 488968335795166115106925
887 494513993536408642834915
888 500116195384563133663610
889 505775453244293562517556
890 511492283070864037587509
891 517267204897581313735906
892 523100742863392069453098
893 528993425240635644834324
894 534945784462952940402273
895 540958357153352178960245
896 547031684152432235026386
897 553166310546764238770242
898 559362785697432163748959
899 565621663268733110121855
900 571943501257037997408814
901 578328862019813383250004
902 584778312304805127021809
903 591292423279384619566593
904 597871770560058302701992
905 604516934242141204588861
906 611228498929595219455797
907 618007053765032862602319
908 624853192459887234032320
909 631767513324748926504317
910 638750619299870616225321
911 645803117985840076860834
912 652925621674422359984561
913 660118747379571887547908
914 667383116868615204411227
915 674719356693605141446072
916 682128098222847142190451
917 689609977672598508517206
918 697165636138941323259230
919 704795719629829810224246
920 712500879097312894526331
921 720281770469932728661277
922 728139054685299952258244
923 736073397722846455950985
924 744085470636756422328215
925 752175949589076419444463
926 760345515883005324899992
927 768594855996364861031103
928 776924661615251524290360
929 785335629667870694439990
930 793828462358553711730932
931 802403867201958712794737
932 811062557057456018535764
933 819805250163698869876880
934 828632670173380309783163
935 837545546188177012564929
936 846544612793880864043764
937 855630610095719098753145
938 864804283753863802938688
939 874066385019131594722071
940 883417670768874295397254
941 892858903543061408437761
942 902390851580555225409508
943 912014288855579380604961
944 921729995114381678841294
945 931538755912092023497695
946 941441362649776274505043
947 951438612611686868644857
948 961531309002711037163704
949 971720260986017458364154
950 982006283720902185493891
951 992390198400834692920738
952 1002872832291704886253136
953 1013455018770271924743039
954 1024137597362815706991254
955 1034921413783991873663975
956 1045807319975891183623638
957 1056796174147304122577266
958 1067888840813191606051185
959 1079086190834362641212380
960 1090389101457359814773830
961 1101798456354553476943918
962 1113315145664445494108462
963 1124940066032183445668062
964 1136674120650286143193312
965 1148518219299581352805989
966 1160473278390356604445610
967 1172540221003723974437749
968 1184719976933199730543236
969 1197013482726499731435824
970 1209421681727551475330115
971 1221945524118723695261487
972 1234585966963274401305468
973 1247343974248018272815465
974 1260220516926214306554982
975 1273216572960674629403457
976 1286333127367095387123621
977 1299571172257610623492838
978 1312931706884570066921229
979 1326415737684541744505522
980 1340024278322540346299509
981 1353758349736482265419738
982 1367618980181868242448628
983 1381607205276694545446574
984 1395724068046593619739812
985 1409970618970205144511847
986 1424347916024778436093114
987 1438857024732007140716249
988 1453499018204097162382899
989 1468274977190068774372404
990 1483185990122293865812946
991 1498233153163269277631887
992 1513417570252627185104016
993 1528740353154383487124301
994 1544202621504425165245503
995 1559805502858237578440660
996 1575550132738872662475997
997 1591437654685159005711269
998 1607469220300154776081905
999 1623645989299844476960595
1000 1639969129562080512545156