# Computed by Robert Israel, August 11 2021 # using Maple 2021.1, X86 64 WINDOWS, May 19 2021, Build ID 1539851 1 79 2 241 3 727 4 2399 5 14639 6 19681 7 28559 8 371291 9 707279 10 823541 11 1771559 12 2825759 13 3418799 14 5764799 15 7890479 16 12117359 17 24137567 18 28398239 19 28629149 20 47458319 21 104060399 22 1073283119 23 2565726407 24 3262808639 25 3373402559 26 5887339439 27 6103515623 28 7370050799 29 9354951839 30 10779215327 31 13841287199 32 18141126719 33 22898045039 34 27982932959 35 31381059607 36 31414372079 37 35152125119 38 42180533639 39 51888844697 40 64013554079 41 90458382167 42 118727795759 43 144924114719 44 175233494879 45 194264244899 46 217611987119 47 328385156399 48 357040905839 49 418227202049 50 432596913839 51 458774574239 52 495504774239 53 500246412959 54 602425897919 55 629763392147 56 676751377199 57 824843587679 58 1078193566319 59 1427186233199 60 1461660310349 61 1556727840719 62 1985193642959 63 2433603119999 64 3431093087039 65 4195872914687 66 4682207873279 67 4747561509941 68 4810832476319 69 5668441960799 70 5816822652479 71 6091226377679 72 7181161893359 73 7212549413159 74 7722224074319 75 9314758936079 76 10243334671439 77 11637711365279 78 12465425870879 79 12732914759039 80 19043806494239 81 19934162223359 82 23298085122479 83 25674499133999 84 26808753332087 85 27644976106799 86 30549950894399 87 32247508758719 88 32792218149599 89 39129873538841 90 42216219754799 91 47191967468879 92 49988873418959 93 51356271336239 94 52127952360959 95 56446386112559 96 76042045003679 97 89874969418079 98 90342914902319 99 90876845839097 100 100598673352319 101 122816065582079 102 127606868135039 103 129132336776879 104 132224264252159 105 156863626279439 106 172295262524639 107 186809002860479 108 191707312997279 109 195930594145439 110 226868693989919 111 235885395990719 112 238890943128749 113 256256096015999 114 268776384148799 115 270906877643999 116 275205836670239 117 314442301015439 118 324109773296399 119 350548070339039 120 373788436964879 121 392491609582799 122 403901025149519 123 412619959676399 124 451590872919491 125 455977983956879 126 618525306088559 127 630518176634639 128 636579593619839 129 645753531245759 130 790836141432479 131 862336172844719 132 935868077825519 133 953589778301999 134 961853371365119 135 1021212076175279 136 1043063201727119 137 1083276693622559 138 1115348988779279 139 1118440201861919 140 1184852673612719 141 1209273431102879 142 1357270227241541 143 1360232428806239 144 1574296150114799 145 1628978758850879 146 1674578083148879 147 1808243034480479 148 1841748809191199 149 1989966538939679 150 2025961404083759 151 2091980103472559 152 2141913281694479 153 2174845703128079 154 2210734546365599 155 2438258877655439 156 2443410216924767 157 2460541835614799 158 2676949887083999 159 2693103168443687 160 3052506034761119 161 3156404426880767 162 3244123657069679 163 3316944549312239 164 3320442513204959 165 3459034957500719 166 3491624436420959 167 3590775636532559 168 3803140674212879 169 3830333604516719 170 3992546545933199 171 5539099826666639 172 5679093577977119 173 5779186511363519 174 5939914532447279 175 6356401066615679 176 6410082527866079 177 7123523568138959 178 7173081332487641 179 7192003529873759 180 8032477329079919 181 8307449123653679 182 8447552693903759 183 8560905418075919 184 8812838745711839 185 9010954778750399 186 9287849382033119 187 9695539173833039 188 10567700398061039 189 10668115335791759 190 10727020190826239 191 10794638349767999 192 10922283455653439 193 11347158263887679 194 11444217385567199 195 12150432661457999 196 12358664279161397 197 12610483474295279 198 13369605210286079 199 13509403834061519 200 14156858601108497 201 14308458507684959 202 14571910597360559 203 15284911233529919 204 15718341236550479 205 16472757578830079 206 16706638135813919 207 17290169469583919 208 17790064611118799 209 18591957623724239 210 18619893262512569 211 18745279373386799 212 19237060029757439 213 19315585217431439 214 19473356557086959 215 20454057078617759 216 20464923860814887 217 21485534869143599 218 25071688922457239 219 25680152560578959 220 26121143675696159 221 26835157974988799 222 27290910813752879 223 28376898692622479 224 28622565703838399 225 28640174171914559 226 29476978460354879 227 29874913172144879 228 30534752934125519 229 30627254391486479 230 31544931660527039 231 32638209395151359 232 33580697738636159 233 33879367982853119 234 33937011715960079 235 33979366049435039 236 35320196065295759 237 35444026887437279 238 35755028478179999 239 36891607470878159 240 40738920965644799 241 40899739857659279 242 41245954687181999 243 42052983462257057 244 42085836891492239 245 43225553920968719 246 44953634220243839 247 45774229799858639 248 46302243472152719 249 47552034137075519 250 51864724632834959 251 52085029783659599 252 52833744418758239 253 53059462610881607 254 55070835410841119 255 55243595235072719 256 55851457213898639 257 55996922580882719 258 56435023943603759 259 56640348662844239 260 57318933633685439 261 57884087504036639 262 58333205437427759 263 58483490572627199 264 60432900719143679 265 61363276603286639 266 61801109293727519 267 63121332085847279 268 63543887277398639 269 67641673500656639 270 67675234241018879 271 67843225308917039 272 68586104448681119 273 73994363018864399 274 74968197258697679 275 75988220034032879 276 76061474925417599 277 77612098923849359 278 77835536717863679 279 81014601796070879 280 83109072064446479 281 84329651543453759 282 85044515965397039 283 85964556453842639 284 87338265200091359 285 89388251692499759 286 91389987197757359 287 91684691512629599 288 92318600364537119 289 92915974333361087 290 93425155693673519 291 93724766535610079 292 95363819297088239 293 95885853013139279 294 100184708460341759 295 101270282619666239 296 101513598260088167 297 103191237140777039 298 104022814904513759 299 108065491141051919 300 108113181118764719 301 108859988535875639 302 109695825315367199 303 109985435169151439 304 111100921789166399 305 111393308507962319 306 114548137832252879 307 115297142342640239 308 115597770290751839 309 116654599806064319 310 122309255010214799 311 124203753490929839 312 124999588751790479 313 131339101105502159 314 136093738870504799 315 141034528474100879 316 141267559090581359 317 142495711149853679 318 146707415983969679 319 147067562900344319 320 158755645656793439 321 160673059141074479 322 164168110412042879 323 169355452058194949 324 170723438296451039 325 174887470365513047 326 176024962310717519 327 178791102353106959 328 189237570838773599 329 190328693733699359 330 192525088116222479 331 194963019358576559 332 199681465331297039 333 202415877638323439 334 204638943511270319 335 204947004151711439 336 207657394393859279 337 209374771722164159 338 211024002396033119 339 213396923872004399 340 213794347963822079 341 223335751421342639 342 235921510206385439 343 236435756984053199 344 238155986406822959 345 245483664634012559 346 256334628037589999 347 275053887202551599 348 277077219298799999 349 278044624547798159 350 282625405374311999 351 293668443416009279 352 302238046634952479 353 305447534462032559 354 313530081177629759 355 317684504533876559 356 320908202086735199 357 322529220258066719 358 324584056305938519 359 326226259851164399 360 329404654514746799 361 334493813156068799 362 336054326486321039 363 337172317209137279 364 345646409471506079 365 372029010366192479 366 376264821763595519 367 385587050648946719 368 395207522680098239 369 405135357398958479 370 418793701343283839 371 420376354988768159 372 427955304595019039 373 428759007751080239 374 428886683801872799 375 430101027955616159 376 431715607915374719 377 435771945644801999 378 436450770885235679 379 440540392165444559 380 446314062967973279 381 450283905890997361 382 460713520795098479 383 463975949863155599 384 464829860361431039 385 469547456109738239 386 476038300819073519 387 479673274403391119 388 493638820681066031 389 498037973985973541 390 509965559108575439 391 510423714856392479 392 511116753300641399 393 529946670273358319 394 530890090288958399 395 546639133754931359 396 556710783639173699 397 560930130360330719 398 568345381095148799 399 575332385121635759 400 578682079039056719 401 587799327953079839 402 592910781589013999 403 595478973537011279 404 597539526760362479 405 607400277863314319 406 614743812704111999 407 674408281676875199 408 674784901419432239 409 694395038101008719 410 694779997746998879 411 720741179003223359 412 746000700872849039 413 751498703811281999 414 752520178047265679 415 760555107617869847 416 761141728212428159 417 784494818432528639 418 787451288110399439 419 799006685782884119 420 802359178476091679 421 805581069132305759 422 808812653240294639 423 817633815294109967 424 830385618527190959 425 842110610420890799 426 845451431276580239 427 867296014652969519 428 869695819144977887 429 874136979445679039 430 880328376683101919 431 885628421313432239 432 896731549611390221 433 900268518173886479 434 908009187857215919 435 908244530093486879 436 912960989132586239 437 921496877764871519 438 925071106726456559 439 932971002781786079 440 941163099849800879 441 945279320287167119 442 954773423919256559 443 988441516068089519 444 1002560534989743599 445 1009676498077213199 446 1013248651389195839 447 1043734740654290159 448 1045041532457107439 449 1047396849570694559 450 1063995734409852719 451 1069572289622040959 452 1089667668845133359 453 1090965999809045249 454 1105128515723363039 455 1112783293633764479 456 1119554149718639879 457 1124339936059362959 458 1130706589332428159 459 1132371892854788879 460 1134039035193210719 461 1151936657823500639 462 1157572862263171199 463 1169760718346643359 464 1173179090820834239 465 1177176655066353839 466 1183479171677567519 467 1191248627734070159 468 1197897172249342319 469 1234222258516824719 470 1308468909056420999 471 1356732578202626879 472 1373024687132572319 473 1384613026918164479 474 1397249675430091919 475 1411937684636525279 476 1442778251557760207 477 1446326231304907679 478 1469823464259543119 479 1474895605856745599 480 1478623511090462879 481 1479641437857506639 482 1490116119384765623 483 1517675673287919599 484 1562086549854182879 485 1563854716013649359 486 1571652486269611199 487 1633992111737986079 488 1660476066343862879 489 1673838124447019519 490 1699673971961271599 491 1722762409260474479 492 1753397907391181039 493 1812333815513529359 494 1829783332868015279 495 1840553187719272319 496 1851370515180291359 497 1860219830257335119 498 1897979282672112719 499 1909048578460264079 500 1911103749528951119 501 1966383053613840479 502 1979016038488952399 503 1985355308537324159 504 1990437679998495839 505 1992982521818448239 506 1994255857432300079 507 2023711348401823919 508 2030157652543048079 509 2043961229827101839 510 2044393722679974959 511 2084477613971896079 512 2100321971260035119 513 2118921024523685279 514 2155589184756015119 515 2226659768600528879 516 2271260108479741679 517 2282044355115528719 518 2293809871862686319 519 2317952539556134319 520 2324613147535267679 521 2340369943148979359 522 2345160505138272719 523 2365361222488201919 524 2409087697615184879 525 2419377171292347839 526 2454409646812224719 527 2474447753486836007 528 2523587842945041599 529 2541872336359651679 530 2550694994150423999 531 2569998611093353439 532 2605613646618786239 533 2621213355483436559 534 2631652004916619439 535 2634789670586797439 536 2653674625924523039 537 2695472305892788319 538 2698134237653225279 539 2706131863545015359 540 2712542754770452319 541 2714114125887180299 542 2757738498057287999 543 2793643776776856719 544 2823831706157750399 545 2833410286394684741 546 2865390540602109599 547 2867062378282520399 548 2893350136921532399 549 2920948570585914959 550 2925473116741299599 551 2949882675810017999 552 3018231307203789119 553 3053139766611607199 554 3067187595888117599 555 3078343128852351359 556 3177708540898091279 557 3183130993449200639 558 3185406083915736407 559 3195810369049727519 560 3208527586329396239 561 3225542870886488879 562 3229197790323728159 563 3242014473427941119 564 3258549081164038559 565 3272683933147975919 566 3284395192707781679 567 3289953588744972239 568 3319095480001803119 569 3345300585427331519 570 3364741752472744079 571 3430583232400190159 572 3483174235069612799 573 3548779333364927279 574 3574358381420164319 575 3622608480280286639 576 3629921171129510399 577 3674030084667473519 578 3710417184184751039 579 3768239895454821359 580 3777828069457817759 581 3786061057590863039 582 3796423300804679999 583 3806702400348172079 584 3844763938306055519 585 3977023685542027199 586 4105365553745488559 587 4218142749621921119 588 4258495844400804239 589 4297625829703557647 590 4318809539238335759 591 4323358746811977599 592 4339309280422976159 593 4392029077651019279 594 4517693325038318879 595 4534964500811180879 596 4629749075101299239 597 4678140947765300399 598 4679750596041080639 599 4735538299444898399 600 4741225657146353759 601 4849129465465357799 602 4894028501935246127 603 4896730264933973759 604 5009277288972873359 605 5012666444046483119 606 5032187472132705359 607 5129661833054811599 608 5318597779232343839 609 5343449442286438079 610 5418527181428914079 611 5460413568858245087 612 5460878583214902959 613 5474447100572756879 614 5493485484389207759 615 5543583270402177839 616 5550898664143699439 617 5601388177048490399 618 5665215745807334159 619 5679163174472061119 620 5712742072422131039 621 5845695142742392079 622 5896265621632207439 623 5910637403127701999 624 5951018179246916159 625 5959086216005207447 626 5963558819467132319 627 5983858632577967759 628 6018778831041041519 629 6022200422754928499 630 6058734965310153359 631 6114613871271171839 632 6185749185939122879 633 6275539041536965199 634 6296629895946205199 635 6394740269765252159 636 6443711592895062719 637 6461122867579984319 638 6502229748708046079 639 6525459332071566767 640 6525954842537332799 641 6530087564003767199 642 6834978397471063919 643 6916616431046395919 644 6991366560626416079 645 7013146078216099439 646 7093073403151437599 647 7215913494795148079 648 7229288420166164879 649 7232635054669286159 650 7271765038763923679 651 7350501118816539119 652 7413948940923411119 653 7458377828431492559 654 7476662709286439759 655 7493835299642935679 656 7572055686144448799 657 7719781740745129439 658 7818670916057426879 659 7824586980348035039 660 7892267675691724079 661 7936435140186149039 662 7950799454181872399 663 7957988918783211359 664 7960386490135344719 665 8003635486279017839 666 8050687181130677519 667 8163724466048257679 668 8179619682531840479 669 8196763554574904399 670 8248356894086268959 671 8249588267808703199 672 8264375508974070719 673 8274244707818718719 674 8413343736493449599 675 8432105366921295359 676 8503685873496215999 677 8509986533303510639 678 8555454701497450319 679 8590944604683005039 680 8598563926493301599 681 8686550888106661439 682 8713463060432868719 683 8821737565821281999 684 8879014467287415359 685 8887966048831178399 686 8891209401336447041 687 9063755477864479919 688 9164608506187614479 689 9242887056970432049 690 9248846402652008879 691 9285125566314460799 692 9378323900165016239 693 9458570150646364799 694 9570952719142400879 695 9765136262365083599 696 9766533827393777279 697 9871779479500338479 698 9891519154861830719 699 9904224569059035599 700 10003462746028664639 701 10023399530558633519 702 10024824725996530319 703 10182526446272708639 704 10214288729284447919 705 10286752051270362719 706 10343540553984025439 707 10344999754172768159 708 10415223121270275359 709 10488752006068386959 710 10583436262836758159 711 10637679616079174567 712 10644429306950785919 713 10749172590781072559 714 10810998600596939807 715 11002181509614415199 716 11197559112878117279 717 11206853460151982159 718 11272075998861779999 719 11295438613570075439 720 11337582814702987439 721 11373576354816342239 722 11393958400589427599 723 11502598982647252559 724 11602469363917173359 725 11741453025216176159 726 11838028719404035199 727 12032966173802978879 728 12215417568544057919 729 12240231355254848399 730 12288311851309384799 731 12298277198562581519 732 12601758494007504719 733 12676373826077772719 734 12816313285386676319 735 12891878687309590079 736 12974694243579203519 737 12985074171454067279 738 13099664895859338239 739 13492460309804985599 740 13513844733634021919 741 13631913796108024559 742 13640889837020985839 743 13743530316790179359 744 13756175104469103599 745 13892203226299609199 746 13935944529975015599 747 13999918987443126719 748 14076978792434740079 749 14148061439784930041 750 14228345276909356319 751 14271020077942736159 752 14345465682843640799 753 14514032988567955439 754 14744901811784809919 755 14786890484821830341 756 14899697588679794879 757 14957337512734701839 758 14980440245246402159 759 15038314164321987839 760 15144851685721638719 761 15265626148523252399 762 15338044531340796719 763 15389087049409650719 764 15408752669379731279 765 15527142490596321839 766 15626320704073628639 767 15739962580012384559 768 15753961211814251999 769 15781986485720735279 770 15812055040301625359 771 15952943457693187199 772 16109005902971606879 773 16203601667447009747 774 16221178085037512159 775 16410119817645290879 776 16461746656972380479 777 16548753858950753519 778 16567443041734384799 779 16784557236311810399 780 16840228945958409599 781 16847580990679479119 782 16976276472896853839 783 17114220942901605119 784 17222463006919864847 785 17306606742961241999 786 17351469636189801839 787 17392630189964512079 788 17487625947676750319 789 17533101763556411759 790 17880302985268111439 791 17928746382432271679 792 17948592480704682239 793 17992753907766062879 794 18208094012583960239 795 18429861372428076479 796 18790264946181714239 797 18794831717219821199 798 18822249826920732719 799 18858853957440596399 800 19031147999601100799 801 19051902331925583119 802 19407330027211766639 803 19442441579019011279 804 19505762406296056799 805 19555118770533233999 806 19817560247225969279 807 19867506967370752559 808 19922318781195435359 809 19986807711475671359 810 20017913715440699039 811 20068238556756255119 812 20123465048825523839 813 20219782522208279999 814 20275321391769386879 815 20481567018480327839 816 20562061364223528239 817 21047535293805785519 818 21132184676189311199 819 21365030224138444559 820 21432989504413337759 821 21944017921989173999 822 21987654392868021839 823 22222345476664674959 824 22274176753605865199 825 22313109671906544479 826 22597557292811838479 827 22618540760875646159 828 22657924147639334399 829 22974845701738307519 830 23158574321638880879 831 23233444303295172239 832 23329972281981221999 833 23800771222306421279 834 24102056060833791119 835 24146116421179779599 836 24179201313871646639 837 24262062293697873119 838 24534226309215656879 839 24537015240247195919 840 24553753820022453599 841 25159226015069334239 842 25707497848707962099 843 25781616051200882399 844 25790300628729298559 845 25825060881291104159 846 25929552487527548159 847 25970273624416005359 848 27088900393267826567 849 27124054465583140319 850 27208343183084269439 851 27253578579984928079 852 27380537789626781759 853 27632737283845330079 854 27678500729760415919 855 27889745138953726079 856 27892815513271175039 857 28179470268948722159 858 28428728105749636727 859 28680938540771655119 860 28967320850355993359 861 29517670256024255759 862 29585005434978419999 863 29787702319836254639 864 30014140728838331519 865 30470888069314435679 866 30707806428330675359 867 31255953783803358479 868 31356399986523030719 869 31406713778437601039 870 31467170226044450879 871 31541179922148417359 872 31571494213076525759 873 31703108718947774159 874 31923380151766696319 875 31926777882608430719 876 32213156948473817759 877 32326188465374783279 878 32591085342612341999 879 32684355652857869039 880 32784007725975020759 881 33104806028307956879 882 33157209151281036719 883 33304268897460337919 884 33501108854018806079 885 33621043735633940879 886 33819285181325476559 887 33994274647969364297 888 34125755660688610799 889 34143295708259643359 890 34261367302666460399 891 34747579210332337439 892 34791047072317747199 893 34918061298030710879 894 35403889564734999359 895 35543624051252222159 896 35746603425796776239 897 35798409418566194399 898 36114155645408604479 899 36155169032988088799 900 36181286643257885999 901 36244774035213084959 902 36472996377170786401 903 36529622304985454399 904 36704559124813140287 905 36710389430792226239 906 36922131417403276799 907 36982797012123227519 908 37401899129047405679 909 37967520555753022079 910 38375446052436838799 911 38660276842847592347 912 38727705064181595359 913 38731632624146411039 914 39153610678028282879 915 39169452120489203039 916 39252698573740313279 917 39427549923716038559 918 39642937851782967599 919 39811070949991017119 920 40347022359920221199 921 40835214813779925839 922 40892457806101345919 923 41179576033744839599 924 41323700809056066239 925 41385584241753796799 926 41435141009692516319 927 41548081225301160947 928 42050007706951957439 929 42296316538626358097 930 42309610424231607599 931 42372597700271385119 932 42574629669267265439 933 42578846335980479279 934 42726627105169761599 935 42883270425132461039 936 43210638376965845039 937 43467026741700990479 938 43479876037590529679 939 43987545499891539839 940 44190985800178147919 941 44923950774304651919 942 45148251233305115279 943 45324760050260293199 944 45550558804001237279 945 45790558301967038639 946 46039406888200779041 947 46322793040837169999 948 47318958700470153839 949 47414880107296942319 950 47593406683851945359 951 47634676616890109039 952 48095468356445867447 953 48377494580517026399 954 48544772022828281279 955 48894659650189232879 956 49527794166332822447 957 49529219615027414159 958 49946170819380519119 959 50088913157860832639 960 50112733260710883359 961 50215590050722074791 962 50413595063894542559 963 50792778314193268079 964 50831295532413366959 965 50990410661582626079 966 51679353962585366159 967 51737892711194529839 968 51850230970337781599 969 52222737011597866559 970 52399886100082986719 971 52696135645986580799 972 52800119156265164399 973 54236707008785985119 974 54272107907329434719 975 55311425037018944639 976 55388430048969610319 977 55450091927486458799 978 55862487846823621679 979 55924545061451997839 980 56173291105089780239 981 56553181847650571519 982 56615813562490106399 983 56798786563746186959 984 56877339179570809199 985 57087211176767669039 986 57097719999856482239 987 57160803410077912799 988 57324010831730584559 989 57874099475823071279 990 58422791539809948239 991 58722741766701463439 992 58921555831114497359 993 58987842434660536487 994 59081812290810044999 995 59147847965824188479 996 59407264999622500799 997 59857852673726633759 998 59906865151173495839 999 61097749180017216239 1000 61130927054883971039