# Computed using the Mathematica program that I contributed to this sequence 1 5 2 17 3 4957 4 129277 5 2826443 6 3861083 7 5126483 8 9451573 9 19811083 10 53751743 11 68136617 12 98729003 13 264616831 14 388771421 15 498157871 16 608312141 17 682548511 18 779346653 19 918754301 20 1174179079 21 1700023891 22 2056298683 23 2149703411 24 3080781931 25 3121075049 26 3455573983 27 4796626183 28 4905810409 29 6500871929 30 6568697297 31 6706237463 32 11164283281 33 11262673441 34 11411153021 35 12330193103 36 13524580249 37 16142238263 38 17245641019 39 18538894369 40 20187870103 41 20631837977 42 20781488929 43 21160379411 44 22249037467 45 25764383347 46 27098677061 47 28110041021 48 28955749997 49 29822012131 50 30707009897 51 42777776021 52 43782962383 53 44930623513 54 46362051893 55 47956208897 56 49993107523 57 51528515251 58 54837441121 59 57071288777 60 61259438371 61 61577389259 62 63506300909 63 68530474433 64 70793370371 65 78098331463 66 78858089287 67 82732706503 68 87567488759 69 103707475757 70 111005915281 71 113913197929 72 128714975629 73 139126824013 74 140819694901 75 143383754893 76 143670692819 77 146852630069 78 153370555193 79 161380178599 80 201901513483 81 222503345347 82 223278160411 83 231529973461 84 241249932881 85 242485002839 86 270384273847 87 278499192773 88 281693638211 89 293764248857 90 296603276939 91 301382007349 92 326505484339 93 355715633387 94 362800200899 95 373341441959 96 374465039633 97 377849779079 98 402012266599 99 407921207483 100 424156957853 101 454044841291 102 468905331263 103 491472953047 104 498923584073 105 502339449083 106 503710869197 107 509218905659 108 513378447061 109 527370433027 110 541615465009 111 551745989959 112 564197310797 113 579837177431 114 611274973427 115 638193997489 116 659297214517 117 680938321571 118 685146887681 119 713352029251 120 720295365833 121 772051428557 122 812273131751 123 826644745547 124 886891528087 125 959633257903 126 985457903737 127 991981781423 128 996346014113 129 1032893795671 130 1078612713481 131 1381759898501 132 1387266925171 133 1395555667313 134 1399716258131 135 1406675411717 136 1555290401113 137 1595950373527 138 1603568500421 139 1678056572167 140 1685928040547 141 1708093697903 142 1826790379859 143 1902606259747 144 1914571868621 145 1987490134093 146 1999836679817 147 2082183270001 148 2093088171679 149 2159408465791 150 2181849331819 151 2185606015847 152 2208234134849 153 2217704141509 154 2283004154369 155 2302454568199 156 2320053707987 157 2353574783953 158 2361508319341 159 2450010323437 160 2472446269313 161 2717633916233 162 2722011368849 163 2772691102871 164 2801682975799 165 2830868541463 166 3017150502173 167 3064430069167 168 3073948085207 169 3097798608077 170 3102585377399 171 3233905125733 172 3438301782257 173 3642972540043 174 3712857330157 175 3726378483851 176 3772596224161 177 3846751114963 178 4026834203869 179 4180605930187 180 4266411482149 181 4317269563147 182 4414100869769 183 4625134988921 184 4640929759289 185 4688589858877 186 4701358183297 187 4866276125027 188 4955123387639 189 5187604238863 190 5491111456937 191 5494673498113 192 5533929091279 193 5566154344801 194 5598536923979 195 5645512523611 196 5652763476263 197 5743888582307 198 5762226003661 199 6106627732181 200 6210333700423 201 6674120151791 202 6796601358731 203 6916604228603 204 6945788520599 205 6958319311693 206 7004421258977 207 7105693679573 208 7242216683747 209 7618309638119 210 7667348726753 211 7685219856623 212 7793058130987 213 7874688181081 214 7961504736041 215 8160597567061 216 8216709073693 217 8348580614947 218 8419845099301 219 8481965384317 220 8525100352211 221 8592501482519 222 8718544204873 223 8791761457187 224 8806452579877 225 8934383848399 226 9377004648619 227 9387231015017 228 9489872802551 229 9582964114421 230 9619397152459 231 9708194590301 232 9760631499121 233 9929648851181 234 9940270612813 235 9972189476719 236 10176028344407 237 10213933511381 238 10311807083147 239 10415920795201 240 10721483637769 241 10783439801879 242 10930846268231 243 11073743180063 244 11177508733537 245 11247022910573 246 11351889481171 247 11387026422691 248 11510571848219 249 11546047010423 250 11581612636859 251 11635103748887 252 11796687539873 253 11832814336391 254 12069136585439 255 12172952036173 256 12222044681251 257 12246649747357 258 12395100712721 259 12419987837303 260 12563856877631 261 12576420130073 262 12658362278699 263 12989695718059 264 13112181371489 265 13189858889939 266 13556634604451 267 13776297187507 268 13910611490621 269 14188602007553 270 14270611689461 271 14518459901963 272 14987936423233 273 15323780239213 274 15395949126611 275 15577449192889 276 15584749472261 277 15731258769563 278 15834376414933 279 16266008916169 280 16484822207939 281 16682605330477 282 16827949912141 283 16889380746677 284 16912466703799 285 16974151939051 286 17583191686849 287 17885288501363 288 18199066428167 289 18255836778341 290 18484013066627 291 18681263016389 292 19079829300247 293 19552028627333 294 19911350856643 295 19954396365529 296 20275092280423 297 20794172486531 298 21187402038067 299 21458145251801 300 21648829360673 301 21685305131003 302 22080224413063 303 22265676706907 304 23228786904803 305 23295874600007 306 23440121150027 307 23681803057981 308 23759531938171 309 24229361729021 310 24615246162701 311 25156636591573 312 25348916229389 313 25470816229561 314 25634044874357 315 25767120653039 316 25859561637419 317 25952205314351 318 26055484659361 319 26127956633371 320 26211000236881 321 26429776268191 322 27532366540447 323 27780455933063 324 28369193702011 325 29122986987547 326 29822009390141 327 30164622517247 328 30509753040929 329 30659977711537 330 31668783495079 331 31966390384757 332 32121880354873 333 32918749463989 334 33174752284117 335 33604468405103 336 36200013890977 337 36316847268173 338 36681852878941 339 37605767070353 340 37712432456059 341 38262054495199 342 38289006989137 343 39693478483091 344 39859223109469 345 40303712401097 346 40317664231249 347 41801300633681 348 41829935820217 349 42160347100687 350 42536212937287 351 42841526533319 352 44092050805661 353 44181257264779 354 44285476281161 355 44345111837207 356 44688927775967 357 45321916835777 358 45503858263007 359 45595037206073 360 46452531010451 361 46699436038883 362 47351500359671 363 48166550396689 364 48308536570117 365 48911547522037 366 50151610761127 367 50167853122319 368 50640469188011 369 51826915078517 370 52209955262599 371 52410489098833 372 52863827095379 373 53252360645479 374 53915240057443 375 54514492260607 376 55309431684929 377 55466106611161 378 56271452356531 379 56907164566207 380 58444974937721 381 59516167058353 382 59680975444709 383 59699305021711 384 59956165908167 385 61084110303311 386 61214543198317 387 61625665200199 388 62189194821757 389 62415596765099 390 62434487711581 391 62604620721557 392 63078852207799 393 64439661548543 394 64536197462827 395 65117917191401 396 66154659807799 397 68243099405609 398 68323526445883 399 68444248297849 400 68928251202197 401 69009158277841 402 69985504350889 403 70292751494083 404 70765500095431 405 71468316011297 406 72572986869827 407 73330118681293 408 75376688864677 409 75570512399219 410 75937503767857 411 78164940031987 412 79405444969237 413 79784827526203 414 79851858423767 415 80614249545307 416 80749282645103 417 81880693627787 418 82199569678847 419 83207062959583 420 83690698913477 421 84780336377953 422 85387235225183 423 85715315165507 424 86917776398377 425 86941470660269 426 87606525161741 427 88298882908631 428 88490560441771 429 89067338680871 430 89187819816773 431 90083645571389 432 91034890677791 433 91426807340647 434 94503466759997 435 95990896183379 436 96295477744651 437 96600749648383 438 97802187704041 439 98445676414931 440 98497306371419 441 100263846076211 442 101972962518461 443 102263977487059 444 103140494133461 445 104505051114073 446 104585750439637 447 106480844544541 448 106835597656511 449 109451394981233 450 109673620707109 451 109896187861139 452 112446510604409 453 113949879594151 454 115093990548161 455 115640085710759 456 116332181823911 457 116708324795081 458 118046968121447 459 118076178099487 460 120933497918399 461 121587612487147 462 122693279387909 463 125501703629537 464 127522534447639 465 128139899472799 466 128852111045429 467 129255893433659 468 129816747097649 469 130348048078289 470 132361918222871 471 132425222095163 472 132583575924101 473 136776693548191 474 137489765315359 475 137587205470669 476 137717210450849 477 138955949591917 478 141159199177823 479 143219763773171 480 145332229927273 481 145433345197319 482 149036550299407 483 149345267527483 484 150239448486581 485 150653153685901 486 150894752551133 487 150963819288497 488 151171172475581 489 151829017432067 490 152454075161363 491 152488852944163 492 152732498473319 493 152802167371583 494 153255426796211 495 156914708256259 496 157021212536611 497 157590077565607 498 158767425450607 499 159161250864173 500 162045831431129 501 162990723462407 502 166107487889243 503 166588117446073 504 166995515416117 505 167217975270793 506 167700350921063 507 168332540095969 508 169340276928481 509 169714566492503 510 170502780268693 511 171671073731137 512 173301422363441 513 176747718822959 514 179343241777373 515 180201083808787 516 181611157401607 517 182949812474227 518 184534579268527 519 188172949545283 520 189423596243897 521 191452229840423 522 193908833675519 523 194032211225023 524 194279131277269 525 197844320744821 526 198470804916211 527 198679929417517 528 198763615289593 529 199433637538507 530 199517479813219 531 199643281344407 532 201579421004069 533 201663926599937 534 202002170557177 535 202468005277631 536 205837945433299 537 206396429776087 538 207386975522219 539 207430125239089 540 208943754572419 541 211467362535679 542 212648789366197 543 212868050789957 544 217999616706061 545 218713773693593 546 221045154212123 547 222353392517153 548 225258953768291 549 226172128877161 550 226309343789159 551 227960243108239 552 228144198618121 553 230362269823849 554 230965597093487 555 231104953456357 556 232641098161327 557 235965992018243 558 236766951842959 559 237239102854861 560 239182792902293 561 240182708676793 562 240373490036161 563 241281061953803 564 241998934610371 565 244112540354107 566 246528396109927 567 246867747679031 568 247255925143067 569 247547301088319 570 247936022616719 571 248763564761849 572 250423988956873 573 250472949713873 574 253030753264567 575 253277816966891 576 253574546113939 577 256953146497343 578 257552366689951 579 258002343601969 580 258903632223211 581 259907523284089 582 262631630268779 583 264204332210519 584 265069469689729 585 265375246067051 586 267779483043181 587 268807028424541 588 270043399291507 589 271645948024333 590 272215889125801 591 272475188500769 592 273149958313259 593 274658903943209 594 275285211691319 595 276540673880677 596 279115950136081 597 279326799521137 598 279748844804189 599 284744478879863 600 285172477193459 601 285600869929619 602 287319233515151 603 288396405049663 604 289097854342541 605 290233438392701 606 290287578608143 607 290937892904621 608 291698247077737 609 292678051442443 610 294206398349257 611 297114867244967 612 297224986088441 613 299488735589249 614 306910519398449 615 307304580658367 616 311377565124089 617 312972444359453 618 314286416914859 619 317213578053809 620 317732039723573 621 319464316568521 622 320565292795339 623 321145738973791 624 325697979783083 625 325756614143509 626 326284617632447 627 329464974862351 628 330351967774247 629 337328008587293 630 338049224730689 631 342704104355363 632 344591526773279 633 347219848940623 634 352828091873837 635 354379778774353 636 356810544091231 637 357498167560279 638 358939333156849 639 360321416121451 640 362023040695417 641 369841708339589 642 370225856046581 643 370674492129913 644 375570125996581 645 376605736573901 646 377059521896929 647 378618022194281 648 379919919409417 649 385025840391889 650 387133449564413 651 389314574456449 652 391702139192411 653 393232716240359 654 395168695466821 655 399059544608741 656 400677053227541 657 403724090063981 658 404063888807251 659 409320064107337 660 412000087886479 661 413034126220201 662 416145729263549 663 418926382617577 664 419553784805017 665 421090659742957 666 425796809584273 667 429120183982969 668 431036672571581 669 435891856345483 670 438045445522423 671 439340744097137 672 439412763691819 673 440710963079851 674 441505673303033 675 442663225378373 676 445055793833549 677 445927702887241 678 446437022775859 679 449355316976801 680 452506569332471 681 453168094976167 682 455968422181787 683 459596364550567 684 460562324523583 685 460711068751897 686 461604434852879 687 462648072100729 688 465188524600589 689 466311931720571 690 466386891500611 691 466536832522543 692 466836867503833 693 470071728162761 694 474914601677609 695 474990554590891 696 476967993955279 697 477729879566867 698 478263739435093 699 482471941198193 700 482702201375521 701 486551920568501 702 489260029864217 703 492211086561283 704 492522292820251 705 499565025694451 706 501217255118291 707 502320707156993 708 512000069483599 709 512079916253681 710 519381527024813 711 522371108239723 712 537760154312581 713 541156766566181 714 547077184842017 715 547747429022273 716 549677634869213 717 550013826981313 718 550602407491919 719 553298735326489 720 553805292790969 721 554312117896577 722 554565644368187 723 555411675733493 724 559231606440893 725 561531058635293 726 563751271398941 727 564692408384161 728 573038824387721 729 577982286687737 730 579201053555239 731 581556525769007 732 581905980779891 733 582255557435267 734 582605305005853 735 585583361312699 736 585671096148889 737 591921771037423 738 595907597873759 739 596085221717987 740 596974030183963 741 597329751057427 742 602145998095493 743 603936649281533 744 606897583831283 745 609507300701669 746 610770240412747 747 611673552194953 748 612035146692113 749 618203420066759 750 622034430571207 751 624963354426029 752 625146780054143 753 626707433883539 754 630850858290083 755 632328142994663 756 637980133469381 757 639747073929727 758 642077477462933 759 643104528142763 760 654956010537511 761 656471447121629 762 657040377145391 763 658843665352151 764 664752206193521 765 667624666892441 766 676296482798501 767 678233091392429 768 683191602489749 769 683581565343169 770 690427003459429 771 694851117684263 772 696231674589169 773 698899784012713 774 699295787657339 775 700187496605033 776 702768271862017 777 705355277309131 778 706950889303777 779 707549904162721 780 707749637702929 781 712052937571181 782 714059824219043 783 715768472908721 784 716573530915013 785 718387555942937 786 720205134856429 787 722025697659649 788 725473192789409 789 727812550523921 790 728423612451049 791 744854889643751 792 745061902761079 793 747030444591037 794 749418872274161 795 757764865037267 796 764487640129361 797 765541680149497 798 766491115393811 799 772947288310039 800 778585982259721 801 788868766579241 802 796525373731897 803 797500380331747 804 805106225783807 805 805433204625317 806 809912157739759 807 827552055519247 808 830665852534769 809 836580650761979 810 839380580912807 811 841177034249707 812 843652148032247 813 861002700861221 814 864546428714957 815 868443822344713 816 874658592736171 817 876275197710091 818 881021699107523 819 881137717560949 820 887184627915907 821 887301174266609 822 887650890257797 823 895134787044163 824 895838668615027 825 903372536588573 826 907510432509631 827 908457697021141 828 910354526222117 829 911303912611717 830 913680373643579 831 914394146014061 832 923463544181393 833 926700713858743 834 930065636971453 835 931390146035603 836 938882807935417 837 949216742849587 838 961720974981343 839 964803519308639 840 970246996290947 841 970742960818121 842 975091907146013 843 991870261450213 844 992122103748031 845 995147675515507 846 995652414145177 847 1001850125280463 848 1004005860885023 849 1006800605011207 850 1010874974552551 851 1018161958488089 852 1024069686103627 853 1026645888303487 854 1029485056965569 855 1030389835781179 856 1032978236996389 857 1034922999871753 858 1036091087032073 859 1036350756484051 860 1037779544022329 861 1039469385498433 862 1041421892947027 863 1043116397028749 864 1044551501806301 865 1058320944497197 866 1065450638151677 867 1073678087463347 868 1084494877130479 869 1086506879168353 870 1090538814378911 871 1090807945379309 872 1091750286714677 873 1097957875659439 874 1110987196471423 875 1112486504037709 876 1118223368877787 877 1118770748128519 878 1120003442648297 879 1124120045899693 880 1125632396780531 881 1134593631462469 882 1136390975820059 883 1140268333893883 884 1140684315797339 885 1144432660631773 886 1145962079986681 887 1149442553477563 888 1150557732587687 889 1150836622483403 890 1157262728649553 891 1197478812112703 892 1198769004976981 893 1201926795840143 894 1206673478900257 895 1208980162978339 896 1218237990201217 897 1220269534048813 898 1223321700164677 899 1229297408067787 900 1231635313059733 901 1232073975759481 902 1237051637204491 903 1238518124245901 904 1248079447172477 905 1248226937173753 906 1250588026683449 907 1251178679257589 908 1261247504511119 909 1273165377663463 910 1277504623949233 911 1280803344939137 912 1283205870211523 913 1288923640997479 914 1295867173535651 915 1317148472098211 916 1323729519206551 917 1325262844224391 918 1328179595144833 919 1328794148114863 920 1334024358761249 921 1345148619855679 922 1346078364173227 923 1349336335277947 924 1351355794592569 925 1355245052743051 926 1357738147768897 927 1372764078262757 928 1374493460961713 929 1378588040247881 930 1379376389122283 931 1380638406477481 932 1387433948138941 933 1390126223798693 934 1406189130676949 935 1410665277313403 936 1422381678446867 937 1424313358116829 938 1425279836850829 939 1426730408408651 940 1442103360618247 941 1448448782406841 942 1454485738970279 943 1457919308880467 944 1467595229961467 945 1475829703370483 946 1489899360973343 947 1490896296335221 948 1494222919191221 949 1510426887412657 950 1523375658892091 951 1525400425139663 952 1529117384303959 953 1533179802335849 954 1534366174016009 955 1535213936778671 956 1540307318433647 957 1554797008990493 958 1557705994309607 959 1590475592308007 960 1602672493357711 961 1611247188952103 962 1616336989004827 963 1629373587980969 964 1656020387042341 965 1661028271711799 966 1662461293834667 967 1664253548207093 968 1667661620838347 969 1668379700261273 970 1670176100859089 971 1671434277367177 972 1681520301925943 973 1686398279005471 974 1688206909465459 975 1689292720365577 976 1691828884900333 977 1696546194458611 978 1700362185442399 979 1703273671216421 980 1704002074584647 981 1708558603417123 982 1712941425558487 983 1715501780640409 984 1726136142680501 985 1726870994988701 986 1749394117506361 987 1751991309197407 988 1785048189198587 989 1803904597096141 990 1826138469141373 991 1830534655798873 992 1834171715480677 993 1834746402357061 994 1836855045916061 995 1840500400935037 996 1849345444783787 997 1860151978277239 998 1870221579717511 999 1874687983247741 1000 1892643672627839