# Computed by Robert Israel, January 11 2024 # using Maple 2023.2, X86 64 WINDOWS, Nov 24 2023, Build ID 1762575 1 4 2 155 3 3702 4 39933 5 244676 6 1046455 7 3635046 8 10406049 9 26595892 10 60712839 11 128248632 12 253217949 13 472633812 14 837636667 15 1431878468 16 2356057659 17 3756191658 18 5844567389 19 8865989698 20 13147819241 21 19100995732 22 27324708263 23 38402817766 24 53116446341 25 72537301810 26 97894517685 27 130577859342 28 172248713479 29 224928290992 30 290991914233 31 373388381166 32 475274678047 33 600665496142 34 753174688843 35 937543806810 36 1159884213905 37 1427029783292 38 1747219742275 39 2127015480130 40 2574726540829 41 3102263920738 42 3722916540197 43 4444736821084 44 5283848887529 45 6260241676490 46 7385782332871 47 8688191716630 48 10183773438531 49 11894939004950 50 13846873582841 51 16067408362858 52 18585194740791 53 21445763344632 54 24681448727531 55 28330517726968 56 32435422005933 57 37043870431808 58 42216600402635 59 48005695668880 60 54455453047753 61 61628749252868 62 69611154680965 63 78475433434834 64 88302162068429 65 99175210777662 66 111198185453025 67 124430186083252 68 139011932611595 69 155049977515592 70 172683425510747 71 192050828445424 72 213225986872237 73 236387281250530 74 261714506583027 75 289338524853004 76 319430221530423 77 352134538294558 78 387698244289813 79 426331062615464 80 468313685072901 81 513834221235636 82 563148682204799 83 616475119003158 84 674191863376375 85 736394928266846 86 803554017547561 87 875889683857598 88 953798870003007 89 1037671967368892 90 1127702459400923 91 1224485157350832 92 1328356552888341 93 1439824624356694 94 1559284346958317 95 1687153069166964 96 1823823051375501 97 1969959187634292 98 2126261798542493 99 2293106908032422 100 2471122156091979 101 2660995207125636 102 2863452616233001 103 3079097469592834 104 3308623469389849 105 3552973200586652 106 3812549650839935 107 4088466925111154 108 4381163059780699 109 4691886665090424 110 5021353149992811 111 5370656085104710 112 5740877019926151 113 6132778959129754 114 6547392660509959 115 6985949482796572 116 7449902899441939 117 7940318539277034 118 8458340804866687 119 9004583036901518 120 9581515522444981 121 10190028897835972 122 10831928231805505 123 11508529118423418 124 12221714501700879 125 12973331867424866 126 13763945151738705 127 14596152916300786 128 15470874559381391 129 16390828195211532 130 17357027222664263 131 18371763412952352 132 19437417809478959 133 20555898131330946 134 21729660729002331 135 22961024476015758 136 24252647360036417 137 25606014084728268 138 27023175634003249 139 28508687997681168 140 30064193350026427 141 31691876821124214 142 33395520580616315 143 35176751158072434 144 37039181714771959 145 38987392735019278 146 41024976381517787 147 43152671634099948 148 45374703035204387 149 47693900243304256 150 50115320927358285 151 52642320189869148 152 55279561329764387 153 58030507131965454 154 60896729676455811 155 63884450060881446 156 66997445412134743 157 70241547039153600 158 73619527100779363 159 77139966368923932 160 80803968751051463 161 84618513354567030 162 88590206968936927 163 92719299509107536 164 97011954676451373 165 101476761561038636 166 106115891083112349 167 110933061793129832 168 115938511378644517 169 121136037353674166 170 126534213854927065 171 132138032950178310 172 137957213571243885 173 143994065420450784 174 150257895481339805 175 156753444086214658 176 163494965279541813 177 170482624675973450 178 177729493150823657 179 185243877146064302 180 193030910887947173 181 201100341024837568 182 209459996897987155 183 218112277346109710 184 227071772208492583 185 236349438690696444 186 245959213549452255 187 255900367089525610 188 266187910244297769 189 276828000931148502 190 287832406315871223 191 299213128310892408 192 310971318589334315 193 323128787586622670 194 335693758772419925 195 348679641094595256 196 362101861735608143 197 375973827341431784 198 390303628643947381 199 405092978970817740 200 420360076638867113 201 436119436919870044 202 452394879271053483 203 469188367009339920 204 486510151335233183 205 504382507244612118 206 522824778811042923 207 541842790451807510 208 561448434088379065 209 581664807725176696 210 602503143403921257 211 623986484438295022 212 646132393085844629 213 668954861468937722 214 692470744786728135 215 716700382121471306 216 741659413566530087 217 767371674963765480 218 793835080660722669 219 821085737173984734 220 849127446606058075 221 877997143113758426 222 907711594266100475 223 938288451831581746 224 969742648606512709 225 1002101595720289610 226 1035390885344881049 227 1069646151990099394 228 1104868867140514085 229 1141109931062300234 230 1178367652651750165 231 1216668231186118602 232 1256039614259900603 233 1296505516653672538 234 1338091851827176681 235 1380821888640220114 236 1424720352522161079 237 1469814061333158664 238 1516139770197450527 239 1563719660780696834 240 1612558050994303409 241 1662735909128778280 242 1714232342598827345 243 1767108542320649928 244 1821370310837696523 245 1877094446500092128 246 1934296584844307909 247 1992985688871608876 248 2053202541779749533 249 2114968960498546582 250 2178340128316152599 251 2243329709570078004 252 2309993019256597019 253 2378341614991054050 254 2448429377944378573 255 2520306641191694772 256 2593981622936565367 257 2669505299939422278 258 2746908524321628237 259 2826254748829580516 260 2907568662087449041 261 2990910963000323774 262 3076315787829345617 263 3163779777487024580 264 3253395866663728351 265 3345163804619642496 266 3439178688681534215 267 3535457676272712946 268 3634076983038823069 269 3735028729974679738 270 3838419828724699689 271 3944262479390493160 272 4052595123746328877 273 4163502998942673782 274 4277034578564101487 275 4393243623377018414 276 4512181146681981295 277 4633874058157303294 278 4758397390022488495 279 4885826489934920064 280 5016207636483079185 281 5149560207385573410 282 5285925610609892879 283 5425388402884553598 284 5567985695664736967 285 5713835909224408822 286 5862994758242029131 287 6015491477719606032 288 6171422339868274031 289 6330862996339176960 290 6493836909612550263 291 6660405609558393992 292 6830642027234450605 293 7004601733325074548 294 7182354668945248621 295 7363942755052384574 296 7549527097618078613 297 7739066967166666554 298 7932751850779860933 299 8130608346891027672 300 8332732103325893065 301 8539105687522592060 302 8749853224337542867 303 8965048314133868014 304 9184737628592331487 305 9409076934074809572 306 9638171179052405571 307 9872077806915709512 308 10110853397372581087 309 10354636393427932602 310 10603553301862326971 311 10857548966389560360 312 11116783072281667365 313 11381298307251743006 314 11651219510263975503 315 11926679318268444854 316 12207690474723163413 317 12494464057599468520 318 12787036413807882833 319 13085489182960537636 320 13389940755456728967 321 13700473204546790426 322 14017243203398691849 323 14340316773712879568 324 14669805985505692787 325 15005805517160788872 326 15348378724484376327 327 15697698089422494582 328 16053761482781853395 329 16416846488176824846 330 16787104000956797141 331 17164430675698859772 332 17549044459394181707 333 17941032752847331026 334 18340548566597103207 335 18747719952486171886 336 19162673692467551545 337 19585505539535015154 338 20016269743606003059 339 20455173621541778402 340 20902349951138443599 341 21357952168932985910 342 21822209774221417785 343 22295164434394550762 344 22776930999825978535 345 23267622802852785496 346 23767456340258534467 347 24276550744374496642 348 24795164827071716305 349 25323200244038480090 350 25860928180983219323 351 26408456436665369366 352 26965944350875130719 353 27533574872220720068 354 28111522446092249273 355 28699908903491043102 356 29298762143311906313 357 29908412738339116166 358 30528938423931129881 359 31160610553080649278 360 31803502157979744559 361 32457827107045773988 362 33123879343935631467 363 33801590055673190796 364 34491212177811425877 365 35193070097557703512 366 35907172946905153851 367 36633715709492550012 368 37372925486150948919 369 38124830415149420652 370 38889831057379776215 371 39667888994246555632 372 40459485345765964675 373 41264568614650297326 374 42083322378771900359 375 42916029051362446748 376 43762950789143960415 377 44624073318764096060 378 45499998532802061111 379 46390530155766883826 380 47296048423098972269 381 48216728547453191934 382 49152812854277258913 383 50104617992390892748 384 51072457696770773043 385 52056447597149710954 386 53056548114147111573 387 54073241401169157466 388 55106491766326344009 389 56156701744866380108 390 57224116157672114983 391 58309149269081944192 392 59411847214824949255 393 60532435563219423800 394 61671361482475163779 395 62828688619129434598 396 64004674023785028123 397 65199721511714263664 398 66413788309009011497 399 67647351153692385582 400 68900573586891818487 401 70173688224462461358 402 71467020519901621457 403 72780916031395516624 404 74115795531459102599 405 75471807152999115294 406 76849152618059202667 407 78248034513464689720 408 79669123100008868747 409 81112055802151688404 410 82577300157034339925 411 84065502504468391032 412 85576761983373614293 413 87111324110698895512 414 88670071770958512697 415 90252696344152195910 416 91859539557378531833 417 93491409750712885462 418 95148099674384332289 419 96829874645165767396 420 98537263263862668345 421 100270669123764335776 422 102030177312737257859 423 103816412613380478338 424 105629644825306627707 425 107469856201436641874 426 109337867143806384637 427 111233743835436840960 428 113157977013251318685 429 115110744180328408998 430 117092847263102063115 431 119103824973192045174 432 121144886447661073675 433 123215782928258053816 434 125317376343714141071 435 127449373610563343366 436 129612456450047660275 437 131807458036088031102 438 134034449655711177081 439 136293681950322580576 440 138585583145868628133 441 140910379629193713736 442 143269273723120881425 443 145661754124178464898 444 148088651027318398775 445 150550228073404675434 446 153046937897029741063 447 155579531976301863224 448 158148416981449630509 449 160753725564212072770 450 163396172569245638311 451 166076114865180293466 452 168793109609165680985 453 171548367947091923796 454 174342205658248636289 455 177174707578659285316 456 180047321768791101121 457 182959898410747751540 458 185913448641050861241 459 188908003352134302218 460 191944051049422677593 461 195022197571310285080 462 198142781237028591783 463 201306729105916945108 464 204513865313608982543 465 207765090617920046484 466 211061125714834923043 467 214401416036374239448 468 217787570506325970397 469 221220024672138319324 470 224699209960807361371 471 228225806189501483182 472 231799473385737550071 473 235421152077713690536 474 239091548837438732775 475 242811150502302195050 476 246580618314264939391 477 250400345385594718262 478 254270805382706935369 479 258192996498512594156 480 262166681251517394301 481 266192544693565426192 482 270271401830209902441 483 274403816886490391286 484 278590742889626059347 485 282832433878513324870 486 287129968556124327051 487 291483824298780649902 488 295894412177213348299 489 300362628070621385490 490 304889254349145757081 491 309474865294124943726 492 314119453787280622083 493 318824395911976846426 494 323589400228249135637 495 328416055482916424896 496 333304075901004433205 497 338254025656235253640 498 343268057142885992793 499 348346309216920503596 500 353490145300734035177 501 358700072990539389538 502 363975981955174066769 503 369319623256055972138 504 374730709557819987921 505 380209756324594726868 506 385758534217158170089 507 391376174361975060824 508 397063692734522126617 509 402821849154366611044 510 408652008584802185487 511 414555366576295153146 512 420531692686250753489 513 426582237923918597274 514 432707083851296283261 515 438907604899264016748 516 445184000557112253615 517 451537747534980640344 518 457970021338859967505 519 464481972829501888638 520 471073059471871186637 521 477744851656071981714 522 484497347695519812997 523 491331724881247056756 524 498249368569911974233 525 505251153189258935680 526 512337161378365485003 527 519508892803779369050 528 526766638343855066335 529 534111608151025095762 530 541545103695968545115 531 549066942593731376796 532 556680819274298419331 533 564384830850477322890 534 572180983769885416029 535 580069293821693660018 536 588050117294612000901 537 596126228614036886220 538 604296980021513478633 539 612564000628224675794 540 620929174663679297461 541 629393634997781610010 542 637957015798337871741 543 646619789681377705634 544 655385080461268588031 545 664250959141102934414 546 673220036268313274579 547 682294991252478180980 548 691473982594902972471 549 700759816359481122716 550 710153716944019936437 551 719656362193107991632 552 729269323715923566379 553 738991591482457158898 554 748827341388903356361 555 758774833743719877008 556 768835895334753308251 557 779012944935792580228 558 789304974285518058099 559 799713186958368371790 560 810238348872828305377 561 820882422709211879970 562 831646491936140070963 563 842532066607258167624 564 853540876074138462269 565 864674864082919656700 566 875932813809042685497 567 887317320488413270260 568 898828971803398203675 569 910468558816526457706 570 922238898161199610589 571 934140116279048840226 572 946174560664822037203 573 958341194003863222134 574 970641398404203721003 575 983078539592366323352 576 995651336197177998167 577 1008364389716349032834 578 1021216740429722913309 579 1034210954140098257396 580 1047348056768910079151 581 1060627502965277220302 582 1074052245886292466369 583 1087623344638923584724 584 1101341781699472523913 585 1115207328512525454348 586 1129223433360036338377 587 1143391158067872270174 588 1157709970793928773795 589 1172184692391887442364 590 1186813808593579032017 591 1201598880277377709688 592 1216544274239701475173 593 1231649655075352237838 594 1246916176312315622099 595 1262347165104163379388 596 1277940499878638047877 597 1293701694529735315698 598 1309628556342081385455 599 1325726128984321486414 600 1341992901161216252575 601 1358432242380036538386 602 1375046325148428685295 603 1391833503400664146486 604 1408795718161693544171 605 1425936940352346895076 606 1443257507035365225463 607 1460758168851218851288 608 1478443144293666126995 609 1496311674471600726928 610 1514365445386693780859 611 1532607635212370211640 612 1551038416320794277063 613 1569661268324384840368 614 1588476018622887895205 615 1607484270602849746982 616 1626688252811619346251 617 1646091053382859480804 618 1665693180425255397981 619 1685497148474488563964 620 1705504367235997530917 621 1725715410961600429030 622 1746133983339910228937 623 1766760314611725439318 624 1787598913995273883471 625 1808647363895117981008 626 1829910492255538899053 627 1851389560246962820886 628 1873084365949254114179 629 1894996825788446837686 630 1917131553533539879751 631 1939488710329645577164 632 1962070834765941273927 633 1984880351128449811116 634 2007918241714889542691 635 2031187402480902584320 636 2054688276664925845837 637 2078421980036488718742 638 2102392228403088869839 639 2126596324568244248996 640 2151039697273261667651 641 2175724507244141917532 642 2200656392528098080219 643 2225833498046767619236 644 2251256034528146244253 645 2276931950026620696178 646 2302860145024856267365 647 2329042576694881008118 648 2355480635711314198111 649 2382176886732364369644 650 2409134447601440228367 651 2436352988786515269776 652 2463837579608451952221 653 2491587977934090625276 654 2519611184613302309651 655 2547904157930796251028 656 2576469973210834529631 657 2605310036151469348992 658 2634423874664178029801 659 2663819722657112825246 660 2693499054293080972297 661 2723461950970407890794 662 2753713608936756061427 663 2784259745567222798222 664 2815094076718962886669 665 2846224315404172210146 666 2877650992602971609853 667 2909377095754034473686 668 2941403087525016863705 669 2973733015586580432110 670 3006367991898255548771 671 3039311740994029303656 672 3072563500364701820351 673 3106127701982440222534 674 3140008156930872189625 675 3174209505935115569478 676 3208733173147682757617 677 3243578605346877619188 678 3278747993069212399513 679 3314243840598649126548 680 3350072766269251079141 681 3386233047428648772972 682 3422730920051310050393 683 3459568105251676356672 684 3496744468346047097307 685 3534259679971819892526 686 3572123589658453566433 687 3610336380306891934498 688 3648903141616839423603 689 3687819059143678704098 690 3727091601497609458127 691 3766728366429257543498 692 3806724774259665902803 693 3847084095260928718826 694 3887815670568723245409 695 3928914347945283636052 696 3970385989560624160371 697 4012240072292441596012 698 4054472605296787997977 699 4097090888308913951194 700 4140091448771703488565 701 4183484153378084489238 702 4227268180345657525401 703 4271444515626761104146 704 4316016995491088931747 705 4360992575500126467686 706 4406368716924776785439 707 4452158046291378454494 708 4498351450144610621789 709 4544961451356036888430 710 4591985723608509157573 711 4639429371709424044560 712 4687293814548943294393 713 4735584153675943957888 714 4784308994373013238809 715 4833464646536607665844 716 4883051184511530428729 717 4933080413441406741230 718 4983547563385497325303 719 5034460932297433551560 720 5085819016473727307693 721 5137627151135131865000 722 5189890156277818049329 723 5242612665154843823478 724 5295795437723501145549 725 5349443622894705171234 726 5403563416414252603325 727 5458155972582328235988 728 5513218686382476095747 729 5568760241153833484484 730 5624779218504571936031 731 5681286036387820088224 732 5738279017107971457883 733 5795767001307134429064 734 5853752407300893204475 735 5912233032037130216010 736 5971220428024466615913 737 6030715810665377873696 738 6090721986212104049977 739 6151243426767373510426 740 6212285235768435197941 741 6273847165908886096442 742 6335933458291499633487 743 6398550302809845189018 744 6461699457532628332061 745 6525379188692727131994 746 6589602491727814900403 747 6654370164288392140314 748 6719685306920483370501 749 6785554479350606362060 750 6851977794505271217711 751 6918958247946683494640 752 6986505831288383128655 753 7054623152039823101484 754 7123316029795771245075 755 7192584847440356251640 756 7262430504337173549179 757 7332857798944441844170 758 7403869508093694643133 759 7475476524731005146126 760 7547671713063831461573 761 7620469208894500929204 762 7693869553169220156531 763 7767881900783826133224 764 7842505068306032735691 765 7917740921326941279598 766 7993599416364051045099 767 8070082725963160816516 768 8147195096475860911969 769 8224939349314717780104 770 8303328876352633473501 771 8382362470379856726660 772 8462044427827818865451 773 8542380292748797462702 774 8623366310049372212853 775 8705021853346312428620 776 8787332773845786513539 777 8870322320260253664742 778 8953992292409468696581 779 9038340673734769226188 780 9123375987506520074827 781 9209096307882738531010 782 9295515395731019360433 783 9382628130269272822858 784 9470440435806579268483 785 9558966208071277079016 786 9648191882963366082955 787 9738142041784188167706 788 9828813973881951928939 789 9920206983868382112082 790 10012337159674062647101 791 10105201680128710739144 792 10198803947067819233673 793 10293159447527181465008 794 10388269914315852964829 795 10484134660351517513538 796 10580769649593974113851 797 10678161040308335903848 798 10776331641782714998367 799 10875277393520336846798 800 10974997773104598229363 801 11075505043000179930484 802 11176808164310473969797 803 11278905921858622591124 804 11381805501558441862781 805 11485518271312833376270 806 11590041534145210772073 807 11695386551202974616096 808 11801558412333058718055 809 11908554263013204522580 810 12016391766238403928169 811 12125071640051389978678 812 12234597194758607319185 813 12344980596146059637618 814 12456222993631073348461 815 12568330539410195976552 816 12681315774827255644317 817 12795171514989889823746 818 12909898495200522899277 819 13025512473466670965618 820 13142018918374837383727 821 13259421514790272514598 822 13377728641476912192089 823 13496949871351307142652 824 13617089550873769177631 825 13738146194468833624878 826 13860126796163421161983 827 13983046011181855691578 828 14106901695891506572097 829 14231700677405029423170 830 14357449505991746912991 831 14484151477365158957166 832 14611818368808652389215 833 14740442102615592964708 834 14870047960622466835639 835 15000625477006079349354 836 15132199826521708805639 837 15264758489722580856770 838 15398321329174570958603 839 15532891208786071877398 840 15668471505301508610947 841 15805067458362364958744 842 15942683470471541379153 843 16081327645425848527372 844 16221009903983050118213 845 16361747944360873976614 846 16503535902460127936273 847 16646378212863927646616 848 16790284938140598554593 849 16935267830438227410940 850 17081329485836796894231 851 17228458090731171299738 852 17376693892622670314353 853 17526022220124205740602 854 17676463427076738917959 855 17828007150360366637060 856 17980665945478559191901 857 18134446120017359062500 858 18289371909376892358919 859 18445429815973360282406 860 18602628728157363086317 861 18760996626834159532708 862 18920507980250729174521 863 19081196064795519563650 864 19243070064090059431125 865 19406113293372576830452 866 19570357665030048564971 867 19735801325774516084868 868 19902450790182617151857 869 20070312453322318593268 870 20239381491150222419961 871 20409682974583107950192 872 20581219048854016617181 873 20753987453033589607252 874 20928002444905930229241 875 21103271791971815559854 876 21279795692278147685751 877 21457597791078184011044 878 21636687781368317436483 879 21817051346593210436334 880 21998721474665436415491 881 22181690492112016911970 882 22365961562616374132859 883 22551570328564113288824 884 22738490912219037626713 885 22926751035256252847626 886 23116340660599424958399 887 23307286623867933459136 888 23499588935862221050843 889 23693256759314065211602 890 23888301264304953007257 891 24084731654811830438068 892 24282558184427966417099 893 24481773844214960461766 894 24682404151614532532213 895 24884464143775993676756 896 25087924822416355076563 897 25292825398926337249234 898 25499172693085617203537 899 25706957288643035316606 900 25916205942648386592139 901 26126905618183119546858 902 26339078810507239265017 903 26552730440898582030608 904 26767876486970132188715 905 26984539664043209935172 906 27202706788119942626311 907 27422398499002765397388 908 27643618559435664701573 909 27866376655631123880108 910 28090670712822177558631 911 28316528794594651355946 912 28543944673378688327673 913 28772928932273368911774 914 29003480024603206430089 915 29235635965092967737974 916 29469375514404727854157 917 29704729232518536230674 918 29941694355746895059305 919 30180308295334621504520 920 30420562548046082457873 921 30662467267076685822408 922 30906028800972850250443 923 31151263857214823884390 924 31398175683887726370055 925 31646787165921539742308 926 31897093098239755362465 927 32149105385319015366014 928 32402839306709907383025 929 32658274550937810486820 930 32915454976597318636663 931 33174385189892881718548 932 33435069552057032004279 933 33697512432801167632166 934 33961738601871218331333 935 34227725901618849900370 936 34495523788977538940073 937 34765134533183278649246 938 35036567955307151703155 939 35309821070784853779722 940 35584916825864881144209 941 35861854680491957120282 942 36140640358831223143427 943 36421298598687534521498 944 36703825223013649670713 945 36988222902408697560188 946 37274534398840859516741 947 37562758246874151318794 948 37852884565991274138837 949 38144933721786351901452 950 38438921138734135600547 951 38734862055490444434252 952 39032748335883736712439 953 39332618157565078820208 954 39634492036335557417483 955 39938355517510456382752 956 40244239556752186395967 957 40552132480730587953430 958 40862056174579639563183 959 41173998861164979648328 960 41488009207280991355217 961 41804095754157664567118 962 42122255188348764567357 963 42442479600751458208416 964 42764810394049535715109 965 43089251342547434827830 966 43415775605845054336901 967 43744440615033671251430 968 44075240067653067849769 969 44408199045377914962056 970 44743330273173939324949 971 45080639973736675983618 972 45420143348447622445285 973 45761829265416586125286 974 46105750880070474695529 975 46451899891673846613492 976 46800287048718743274689 977 47150920239405175060604 978 47503816620985371598511 979 47858972382003547920710 980 48216421211564966291469 981 48576149575572798534998 982 48938206939819006183957 983 49302587556703598813030 984 49669315632120944605959 985 50038404638160407798478 986 50409859368760591932195 987 50783682081730954243640 988 51159900480667754679491 989 51538511615375361467764 990 51919534128495544463121 991 52302982920523291375774 992 52688882015788902181995 993 53077244534731477736512 994 53468036072370078322741 995 53861312803886282215276 996 54257087784991847567953 997 54655369780832874307028 998 55056201824018815141147 999 55459545912603517357720 1000 55865444971204389191919