# b267172.txt - Table of n, a(n) for n=0..1000 - Ray Chandler, Feb 13 2024 0 1 1 10 2 54 3 211 4 669 5 1827 6 4456 7 9942 8 20637 9 40348 10 74999 11 133506 12 228910 13 379818 14 612207 15 961652 16 1476045 17 2218878 18 3273169 19 4746115 20 6774561 21 9531380 22 13232864 23 18147232 24 24604366 25 33006891 26 43842720 27 57699190 28 75278921 29 97417535 30 125103378 31 159499393 32 201967298 33 254094228 34 317722005 35 394979205 36 488316197 37 600543335 38 734872490 39 894962114 40 1084966033 41 1309586172 42 1574129419 43 1884568841 44 2247609469 45 2670758876 46 3162402777 47 3731885886 48 4389598270 49 5147067445 50 6017056465 51 7013668260 52 8152456485 53 9450543146 54 10926743275 55 12601696931 56 14498008811 57 16640395759 58 19055842468 59 21773765674 60 24826187147 61 28247915789 62 32076739155 63 36353624719 64 41122931210 65 46432630349 66 52334539322 67 58884564332 68 66142955577 69 74174574008 70 83049170225 71 92841675876 72 103632507929 73 115507886193 74 128560164468 75 142888175709 76 158597591595 77 175801296898 78 194619779054 79 215181533341 80 237623484077 81 262091422255 82 288740460040 83 317735502557 84 349251737406 85 383475142344 86 420603011579 87 460844501125 88 504421193672 89 551567683432 90 602532181426 91 657577141684 92 716979908834 93 781033387564 94 850046734444 95 924346072603 96 1004275229760 97 1090196500115 98 1182491430610 99 1281561632075 100 1387829615779 101 1501739655911 102 1623758678522 103 1754377177463 104 1894110157860 105 2043498107671 106 2203107997879 107 2373534311879 108 2555400104624 109 2749358092098 110 2956091771691 111 3176316574056 112 3410781047034 113 3660268072238 114 3925596114892 115 4207620507527 116 4507234768140 117 4825371953428 118 5163006047713 119 5521153388180 120 5900874127054 121 6303273731349 122 6729504520827 123 7180767244813 124 7658312698516 125 8163443379512 126 8697515185050 127 9261939150848 128 9858183232052 129 10487774127035 130 11152299144718 131 11853408116099 132 12592815350682 133 13372301638503 134 14193716298456 135 15058979273627 136 15970083274351 137 16929095969712 138 17938162228212 139 18999506408339 140 20115434699771 141 21288337515958 142 22520691938829 143 23815064216376 144 25174112313872 145 26600588519486 146 28097342105063 147 29667322042843 148 31313579778898 149 33039272064072 150 34847663843214 151 36742131203500 152 38726164382644 153 40803370837804 154 42977478375993 155 45252338346811 156 47631928898319 157 50120358296883 158 52721868311822 159 55440837665699 160 58281785551100 161 61249375214751 162 64348417609829 163 67583875117327 164 70960865337338 165 74484664951127 166 78160713654867 167 81994618165920 168 85992156302550 169 90159281137959 170 94502125229543 171 99027004924271 172 103740424741096 173 108649081831313 174 113759870517784 175 119079886913956 176 124616433623602 177 130377024522221 178 136369389621037 179 142601480014543 180 149081472912541 181 155817776757635 182 162819036429139 183 170094138534368 184 177652216788285 185 185502657482482 186 193655105044479 187 202119467688330 188 210905923157532 189 220024924561237 190 229487206304773 191 239303790115485 192 249485991164913 193 260045424288329 194 270994010302660 195 282343982423829 196 294107892784551 197 306298619053627 198 318929371157784 199 332013698107115 200 345565494925178 201 359599009684820 202 374128850650797 203 389169993530267 204 404737788832237 205 420847969337051 206 437516657677011 207 454760374029227 208 472596043921798 209 491041006154430 210 510113020834604 211 529830277530412 212 550211403541186 213 571275472287050 214 593042011818531 215 615531013447370 216 638762940499680 217 662758737192603 218 687539837635623 219 713128174957697 220 739546190561370 221 766816843505046 222 794963620014591 223 824010543125451 224 853982182456472 225 884903664116617 226 916800680745780 227 949699501690904 228 983626983318615 229 1018610579465588 230 1054678352027866 231 1091858981690358 232 1130181778797749 233 1169676694368059 234 1210374331250094 235 1252305955426036 236 1295503507460426 237 1339999614096798 238 1385827600003229 239 1433021499668074 240 1481616069447161 241 1531646799763726 242 1583149927462374 243 1636162448318358 244 1690722129703472 245 1746867523409861 246 1804637978633055 247 1864073655115541 248 1925215536452191 249 1988105443558871 250 2052786048305560 251 2119300887315314 252 2187694375930414 253 2258011822347043 254 2330299441919842 255 2404604371637700 256 2480974684772139 257 2559459405699660 258 2640108524899423 259 2722973014127638 260 2808104841770051 261 2895556988373913 262 2985383462360827 263 3077639315921872 264 3172380661096409 265 3269664686035979 266 3369549671454709 267 3472095007267647 268 3577361209418452 269 3685409936897870 270 3796304008954432 271 3910107422498817 272 4026885369703327 273 4146704255797927 274 4269631717064306 275 4395736639029422 276 4525089174860000 277 4657760763959459 278 4793824150768749 279 4933353403772585 280 5076423934712570 281 5223112518008704 282 5373497310390781 283 5527657870741181 284 5685675180150569 285 5847631662188017 286 6013611203387071 287 6183699173949290 288 6357982448666791 289 6536549428065338 290 6719490059769520 291 6906895860091568 292 7098859935845368 293 7295477006387233 294 7496843425885002 295 7703057205817038 296 7914218037702702 297 8130427316065885 298 8351788161633185 299 8578405444768321 300 8810385809144381 301 9047837695655508 302 9290871366569633 303 9539598929923871 304 9794134364164200 305 10054593543031050 306 10321094260692433 307 10593756257126251 308 10872701243753423 309 11158052929323478 310 11449937046054267 311 11748481376027452 312 12053815777841435 313 12366072213523395 314 12685384775702107 315 13011889715043222 316 13345725467948694 317 13687032684522044 318 14035954256801158 319 14392635347260319 320 14757223417583180 321 15129868257708389 322 15510722015149584 323 15899939224591481 324 16297676837763783 325 16704094253594643 326 17119353348645419 327 17543618507828466 328 17977056655409714 329 18419837286297787 330 18872132497621422 331 19334117020596955 332 19805968252687645 333 20287866290056614 334 20779993960315184 335 21282536855568399 336 21795683365759525 337 22319624712315327 338 22854554982093927 339 23400671161637051 340 23958173171728479 341 24527263902260516 342 25108149247410309 343 25701038141127839 344 26306142592937425 345 26923677724054581 346 27553861803820074 347 28196916286453035 348 28853065848124982 349 29522538424356618 350 30205565247739272 351 30902380885982856 352 31613223280292216 353 32338333784073762 354 33077957201974266 355 33832341829253724 356 34601739491494182 357 35386405584646433 358 36186599115416496 359 37002582741993794 360 37834622815122952 361 38682989419521143 362 39547956415642915 363 40429801481794437 364 41328806156599107 365 42245255881816470 366 43179440045516401 367 44131652025610513 368 45102189233742757 369 46091353159541185 370 47099449415232854 371 48126787780623853 372 49173682248446440 373 50240451070075280 374 51327416801614780 375 52434906350359523 376 53563251021629808 377 54712786565984309 378 55883853226811872 379 57076795788304475 380 58291963623813381 381 59529710744590521 382 60790395848917149 383 62074382371621817 384 63382038533989722 385 64713737394065482 386 66069856897351403 387 67450779927903304 388 68856894359825973 389 70288593109170331 390 71746274186234387 391 73230340748270072 392 74741201152598047 393 76279269010132585 394 77844963239318632 395 79438708120483158 396 81060933350602915 397 82712074098490725 398 84392571060402426 399 86102870516066609 400 87843424385139284 401 89614690284085619 402 91417131583490900 403 93251217465802866 404 95117422983507577 405 97016229117740979 406 98948122837338335 407 100913597158323697 408 102913151203841600 409 104947290264533164 410 107016525859358796 411 109121375796869689 412 111262364236930322 413 113440021752894170 414 115654885394234839 415 117907498749634845 416 120198412010534261 417 122528182035141460 418 124897372412908188 419 127306553529471206 420 129756302632062746 421 132247203895392032 422 134779848488000123 423 137354834639090341 424 139972767705836551 425 142634260241171566 426 145339932062057955 427 148090410318243538 428 150886329561503856 429 153728331815373910 430 156617066645371468 431 159553191229714245 432 162537370430533266 433 165570276865584728 434 168652590980462682 435 171785001121314862 436 174968203608063994 437 178202902808136923 438 181489811210703901 439 184829649501430383 440 188223146637743684 441 191671039924616855 442 195174075090872142 443 198733006366006397 444 202348596557540816 445 206021617128897384 446 209752848277804414 447 213543079015233572 448 217393107244870786 449 221303739843123441 450 225275792739666267 451 229310090998528332 452 233407468899723558 453 237568770021427184 454 241794847322700604 455 246086563226767014 456 250444789704840307 457 254870408360509662 458 259364310514682278 459 263927397291086710 460 268560579702339268 461 273264778736575946 462 278040925444652352 463 282889961027914117 464 287812836926540265 465 292810514908462032 466 297883967158859628 467 303034176370239441 468 308262135833094188 469 313568849527148522 470 318955332213192611 471 324422609525506209 472 329971718064875746 473 335603705492206968 474 341319630622735665 475 347120563520839029 476 353007585595450190 477 358981789696078482 478 365044280209437997 479 371196173156686990 480 377438596291280704 481 383772689197440190 482 390199603389239701 483 396720502410315246 484 403336561934196893 485 410048969865267418 486 416858926440349901 487 423767644330926878 488 430776348745993662 489 437886277535548452 490 445098681294721853 491 452414823468548436 492 459835980457382972 493 467363441722963978 494 474998509895127218 495 482742500879171806 496 490596743963881566 497 498562581930204309 498 506641371160591695 499 514834481749002351 500 523143297611570924 501 531569216597945752 502 540113650603297843 503 548778025681003856 504 557563782156005783 505 566472374738850036 506 575505272640408647 507 584663959687285295 508 593949934437908878 509 603364710299317355 510 612909815644634587 511 622586793931242914 512 632397203819654209 513 642342619293082158 514 652424629777718519 515 662644840263716119 516 673004871426881352 517 683506359751078947 518 694150957651351781 519 704940333597758516 520 715876172239931845 521 726960174532360136 522 738194057860395270 523 749579556166989473 524 761118420080163949 525 772812417041212125 526 784663331433640326 527 796672964712848702 528 808843135536555235 529 821175679895965658 530 833672451247692124 531 846335320646423470 532 859166176878349926 533 872166926595345125 534 885339494449908274 535 898685823230869353 536 912207873999860213 537 925907626228554450 538 939787077936678936 539 953848245830799894 540 968093165443886409 541 982523891275654273 542 997142496933693067 543 1011951075275379389 544 1026951738550579142 545 1042146618545141801 546 1057537866725189584 547 1073127654382204457 548 1088918172778915910 549 1104911633295992445 550 1121110267579539723 551 1137516327689408322 552 1154132086248314064 553 1170959836591773874 554 1188001892918860139 555 1205260590443776540 556 1222738285548258336 557 1240437355934800085 558 1258360200780713792 559 1276509240893020478 560 1294886918864178169 561 1313495699228649310 562 1332338068620310615 563 1351416535930708370 564 1370733632468162211 565 1390291912117720406 566 1410093951501969675 567 1430142350142702587 568 1450439730623445578 569 1470988738752850639 570 1491792043728953728 571 1512852338304302965 572 1534172338951959674 573 1555754786032375342 574 1577602443961147570 575 1599718101377658097 576 1622104571314595984 577 1644764691368369051 578 1667701323870406666 579 1690917356059356990 580 1714415700254181787 581 1738199294028151912 582 1762271100383746596 583 1786634107928459652 584 1811291331051515731 585 1836245810101499762 586 1861500611564902716 587 1887058828245586840 588 1912923579445173513 589 1939098011144356881 590 1965585296185146434 591 1992388634454041694 592 2019511253066142188 593 2046956406550195885 594 2074727377034589280 595 2102827474434282314 596 2131260036638691324 597 2160028429700523222 598 2189136048025564107 599 2218586314563425520 600 2248382680999251558 601 2278528627946390069 602 2309027665140031156 603 2339883331631816223 604 2371099195985420801 605 2402678856473114397 606 2434625941273300615 607 2466944108669040803 608 2499637047247564486 609 2532708476100769850 610 2566162145026717547 611 2600001834732121096 612 2634231357035837160 613 2668854555073358985 614 2703875303502316291 615 2739297508708984911 616 2775125109015809480 617 2811362074889942483 618 2848012409152802976 619 2885080147190658299 620 2922569357166232105 621 2960484140231342035 622 2998828630740570375 623 3037606996465971036 624 3076823438812816203 625 3116482193036386003 626 3156587528459804548 627 3197143748692925713 628 3238155191852272016 629 3279626230782029971 630 3321561273276105292 631 3363964762301241331 632 3406841176221204139 633 3450195029022037545 634 3494030870538391653 635 3538353286680928163 636 3583166899664805926 637 3628476368239250149 638 3674286387918208670 639 3720601691212098730 640 3767427047860647673 641 3814767265066831012 642 3862627187731911303 643 3911011698691581276 644 3959925718953214676 645 4009374207934228273 646 4059362163701558505 647 4109894623212256223 648 4160976662555203013 649 4212613397193952573 650 4264809982210700631 651 4317571612551386894 652 4370903523271932526 653 4424810989785616657 654 4479299328111595432 655 4534373895124567113 656 4590040088805586754 657 4646303348494033973 658 4703169155140737350 659 4760643031562258984 660 4818730542696342747 661 4877437295858529780 662 4936768940999944780 663 4996731170966256634 664 5057329721757816959 665 5118570372790980115 666 5180458947160608262 667 5243001311903765041 668 5306203378264601463 669 5370071101960437596 670 5434610483449043644 671 5499827568197124017 672 5565728446950007996 673 5632319256002550602 674 5699606177471247284 675 5767595439567566045 676 5836293316872500632 677 5905706130612348420 678 5975840248935716628 679 6046702087191760508 680 6118298108209657155 681 6190634822579318590 682 6263718788933347775 683 6337556614230241224 684 6412154954038841880 685 6487520512824045933 686 6563660044233767259 687 6640580351387163166 688 6718288287164125137 689 6796790754496038266 690 6876094706657813087 691 6956207147561193503 692 7037135132049344526 693 7118885766192723546 694 7201466207586238851 695 7284883665647699127 696 7369145401917557672 697 7454258730359955064 698 7540231017665064028 699 7627069683552740252 700 7714782201077482908 701 7803376096934708639 702 7892858951768342778 703 7983238400479731569 704 8074522132537879166 705 8166717892291013191 706 8259833479279482639 707 8353876748549991923 708 8448855610971174859 709 8544778033550512395 710 8641652039752597894 711 8739485709818753786 712 8838287181088003410 713 8938064648319401872 714 9038826364015729749 715 9140580638748553474 716 9243335841484656242 717 9347100399913843283 718 9451882800778125354 719 9557691590202284308 720 9664535374025824603 721 9772422818136314621 722 9881362648804121672 723 9991363653018544564 724 10102434678825347623 725 10214584635665700053 726 10327822494716524531 727 10442157289232258938 728 10557598114888035132 729 10674154130124278674 730 10791834556492733424 731 10910648679003914929 732 11030605846475996531 733 11151715471885132128 734 11273987032717219527 735 11397430071321108333 736 11522054195263256324 737 11647869077683838266 738 11774884457654311129 739 11903110140536439669 740 12032555998342786347 741 12163231970098669561 742 12295148062205594173 743 12428314348806158319 744 12562740972150440495 745 12698438142963870918 746 12835416140816591165 747 12973685314494306099 748 13113256082370632095 749 13254138932780945585 750 13396344424397735945 751 13539883186607466754 752 13684765919888949461 753 13831003396193233502 754 13978606459325016913 755 14127586025325581491 756 14277953082857256561 757 14429718693589415412 758 14582893992586008471 759 14737490188694637288 760 14893518564937173412 761 15050990478901926242 762 15209917363137363943 763 15370310725547391521 764 15532182149788190157 765 15695543295666621905 766 15860405899540203865 767 16026781774718655947 768 16194682811867026347 769 16364120979410398862 770 16535108323940186176 771 16707656970622013256 772 16881779123605195002 773 17057487066433812302 774 17234793162459390647 775 17413709855255185467 776 17594249669032078353 777 17776425209056088336 778 17960249162067502399 779 18145734296701629402 780 18332893463911181605 781 18521739597390287979 782 18712285714000143502 783 18904544914196298642 784 19098530382457593235 785 19294255387716738971 786 19491733283792554709 787 19690977509823858847 788 19892001590705022979 789 20094819137523191075 790 20299443847997168425 791 20505889506917984593 792 20714169986591134631 793 20924299247280502809 794 21136291337653973121 795 21350160395230730834 796 21565920646830259352 797 21783586409023036674 798 22003172088582935730 799 22224692182941332885 800 22448161280642928906 801 22673594061803286692 802 22901005298568090072 803 23130409855574127982 804 23361822690412008338 805 23595258854090605926 806 23830733491503248636 807 24068261841895646371 808 24307859239335566969 809 24549541113184263480 810 24793322988569657147 811 25039220486861280445 812 25287249326146984538 813 25537425321711415519 814 25789764386516263802 815 26044282531682291041 816 26300995866973138956 817 26559920601280924453 818 26821073043113625429 819 27084469601084261659 820 27350126784401875167 821 27618061203364314490 822 27888289569852827248 823 28160828697828465439 824 28435695503830307882 825 28712907007475504237 826 28992480331961145037 827 29274432704567962172 828 29558781457165864271 829 29845544026721311432 830 30134737955806533757 831 30426380893110598153 832 30720490593952327867 833 31017084920795079227 834 31316181843763380067 835 31617799441161434318 836 31921955899993497253 837 32228669516486125880 838 32537958696612308983 839 32849841956617481316 840 33164337923547426460 841 33481465335778072859 842 33801243043547187556 843 34123690009487972157 844 34448825309164565554 845 34776668131609457944 846 35107237779862820685 847 35440553671513756537 848 35776635339243474841 849 36115502431370396195 850 36457174712397191191 851 36801672063559757783 852 37149014483378141861 853 37499222088209405611 854 37852315112802448247 855 38208313910854783706 856 38567238955571279903 857 38929110840224864147 858 39293950278719199325 859 39661778106153335465 860 40032615279388341296 861 40406482877615920428 862 40783402102929016782 863 41163394280894413905 864 41546480861127332811 865 41932683417868032994 866 42322023650560421264 867 42714523384432673061 868 43110204571079870907 869 43509089289048664661 870 43911199744423958247 871 44316558271417627532 872 44725187332959274036 873 45137109521289019163 874 45552347558552343646 875 45970924297396976906 876 46392862721571841030 877 46818185946528054080 878 47246917220021997449 879 47679079922720451985 880 48114697568807807608 881 48553793806595351151 882 48996392419132637161 883 49442517324820946401 884 49892192578028836799 885 50345442369709791595 886 50802291028021969444 887 51262763018950061238 888 51726882946929258418 889 52194675555471337550 890 52666165727792865946 891 53141378487445533115 892 53620338998948612836 893 54103072568423560649 894 54589604644230751566 895 55079960817608362809 896 55574166823313406387 897 56072248540264916329 898 56574231992189295395 899 57080143348267826093 900 57590008923786350834 901 58103855180787126064 902 58621708728722855216 903 59143596325112905333 904 59669544876201712216 905 60199581437619378959 906 60733733215044472737 907 61272027564869024720 908 61814491994865737991 909 62361154164857408351 910 62912041887388562899 911 63467183128399321279 912 64026606007901484492 913 64590338800656856175 914 65158409936857801256 915 65730848002810046898 916 66307681741617730653 917 66888940053870700751 918 67474651998334073456 919 68064846792640052424 920 68659553813982015005 921 69258802599810870436 922 69862622848533694878 923 70471044420214648255 924 71084097337278177857 925 71701811785214513676 926 72324218113287460448 927 72951346835244491381 928 73583228630029148553 929 74219894342495754971 930 74861374984126443286 931 75507701733750506166 932 76158905938266073333 933 76815019113364120276 934 77476072944254813656 935 78142099286396198424 936 78813130166225231679 937 79489197781891168298 938 80170334503991303377 939 80856572876309076527 940 81547945616554543076 941 82244485617107217232 942 82946225945761292269 943 83653199846473242802 944 84365440740111814222 945 85082982225210404366 946 85805858078721842503 947 86534102256775570723 948 87267748895437232821 949 88006832311470675773 950 88751387003102368906 951 89501447650788245871 952 90257049117982974533 953 91018226451911659899 954 91785014884343985209 955 92557449832370796321 956 93335566899183134526 957 94119401874853722934 958 94908990737120911577 959 95704369652175086380 960 96505574975447547157 961 97312643252401859794 962 98125611219327687787 963 98944515804137108308 964 99769394127163417978 965 100600283501962433531 966 101437221436116292559 967 102280245632039759533 968 103129393987789042301 969 103984704597873124269 970 104846215754067617476 971 105713965946231141779 972 106587993863124235369 973 107468338393230801846 974 108355038625582099085 975 109248133850583275131 976 110147663560842456366 977 111053667452002393197 978 111966185423574668519 979 112885257579776474212 980 113810924230369960937 981 114743225891504166502 982 115682203286559528075 983 116627897346994983526 984 117580349213197667185 985 118539600235335205308 986 119505691974210616549 987 120478666202119822740 988 121458564903711775286 989 122445430276851202486 990 123439304733483983098 991 124440230900505151472 992 125448251620629539581 993 126463409953265061286 994 127485749175388644176 995 128515312782424814330 996 129552144489126939353 997 130596288230461135044 998 131647788162492841059 999 132706688663276070937 1000 133773034333745341861