# Computed by Robert Israel, August 28 2023 # using Maple 2023.1, X86 64 WINDOWS, Jul 07 2023, Build ID 1723669 1 1 2 30 3 74 4 94 5 792 6 852 7 1037 8 1178 9 1395 10 1557 11 2468 12 3602 13 3725 14 5064 15 5361 16 5514 17 6461 18 8979 19 9765 20 11005 21 16503 22 19798 23 20090 24 21254 25 22475 26 24686 27 30480 28 30822 29 37614 30 44243 31 44668 32 45528 33 49999 34 50924 35 53241 36 61613 37 64721 38 65236 39 68404 40 72755 41 89581 42 94563 43 96449 44 101598 45 105540 46 106882 47 108878 48 109576 49 118578 50 119981 51 132327 52 133830 53 134578 54 139155 55 139935 56 144579 57 146142 58 156475 59 157278 60 179906 61 188688 62 191337 63 199495 64 203138 65 206918 66 221983 67 222970 68 223921 69 226827 70 234788 71 238775 72 250857 73 263309 74 267530 75 282566 76 285870 77 288072 78 289181 79 291368 80 303659 81 304789 82 310443 83 318515 84 326645 85 327837 86 329025 87 330193 88 336076 89 337251 90 372604 91 373884 92 375118 93 377633 94 390183 95 392717 96 416099 97 429352 98 432078 99 433427 100 434766 101 446911 102 449655 103 477570 104 481855 105 510644 106 525435 107 529914 108 581933 109 616737 110 629621 111 652548 112 657464 113 672453 114 674141 115 679149 116 685920 117 687618 118 701280 119 722017 120 750129 121 753660 122 784304 123 797040 124 806177 125 837806 126 843407 127 852764 128 869775 129 896577 130 900467 131 919935 132 925791 133 939659 134 955535 135 977622 136 989802 137 997877 138 1016449 139 1064389 140 1094267 141 1144042 142 1170432 143 1183612 144 1192549 145 1199275 146 1205966 147 1237761 148 1240027 149 1281536 150 1297695 151 1311795 152 1318849 153 1330643 154 1371091 155 1378318 156 1392870 157 1400044 158 1404823 159 1407242 160 1416924 161 1439004 162 1441488 163 1491096 164 1523844 165 1526376 166 1531469 167 1626430 168 1631652 169 1636852 170 1702931 171 1713612 172 1716305 173 1764842 174 1767568 175 1794823 176 1819519 177 1861165 178 1863994 179 1922895 180 1965609 181 1988584 182 1991497 183 2003090 184 2005989 185 2008895 186 2026311 187 2029267 188 2040916 189 2120499 190 2195592 191 2213770 192 2229046 193 2238266 194 2302915 195 2340354 196 2368706 197 2480412 198 2538730 199 2541986 200 2554906 201 2584477 202 2594382 203 2623985 204 2647179 205 2704098 206 2717552 207 2724340 208 2744777 209 2765163 210 2782232 211 2816480 212 2830264 213 2844072 214 2854446 215 2902950 216 2937979 217 2955549 218 2962595 219 2973275 220 2976823 221 3058649 222 3091048 223 3120001 224 3141731 225 3152625 226 3189158 227 3192788 228 3222025 229 3284667 230 3306969 231 3318102 232 3344339 233 3366769 234 3449815 235 3472659 236 3495604 237 3568456 238 3572327 239 3599471 240 3618946 241 3685179 242 3716619 243 3736315 244 3748175 245 3752160 246 3768036 247 3912426 248 3932806 249 3936865 250 3985799 251 4022588 252 4113277 253 4125656 254 4129799 255 4225903 256 4251314 257 4344527 258 4348817 259 4357335 260 4374422 261 4413105 262 4451995 263 4456301 264 4482122 265 4582184 266 4586507 267 4590922 268 4608473 269 4674511 270 4687821 271 4696720 272 4759245 273 4930417 274 4966786 275 5132340 276 5164723 277 5413472 278 5461165 279 5470728 280 5480354 281 5528412 282 5538025 283 5600763 284 5649389 285 5810567 286 5855092 287 5934744 288 5954747 289 5984770 290 5989816 291 6014923 292 6045139 293 6060196 294 6146065 295 6186904 296 6268766 297 6304904 298 6345946 299 6397546 300 6402786 301 6407890 302 6512023 303 6548537 304 6680305 305 6690870 306 6775851 307 6829040 308 6834408 309 6845217 310 6914857 311 6936389 312 7039096 313 7099062 314 7120865 315 7208684 316 7230711 317 7241711 318 7296806 319 7307970 320 7319122 321 7363525 322 7374545 323 7525215 324 7598269 325 7620920 326 7626523 327 7632222 328 7711453 329 7734375 330 7797035 331 8091269 332 8155500 333 8184670 334 8237480 335 8243354 336 8260978 337 8278641 338 8391040 339 8396921 340 8408763 341 8414693 342 8420617 343 8444363 344 8468148 345 8480043 346 8641527 347 8719869 348 8828899 349 8871425 350 8938371 351 8944482 352 8993483 353 9073257 354 9110156 355 9134877 356 9147235 357 9271151 358 9314756 359 9321052 360 9333517 361 9346017 362 9371040 363 9377297 364 9439930 365 9603894 366 9699144 367 9705459 368 9833195 369 9858794 370 9865290 371 9903888 372 9916745 373 9968340 374 9981286 375 10013678 376 10046100 377 10110764 378 10208250 379 10234471 380 10319956 381 10326509 382 10365942 383 10372550 384 10544606 385 10571282 386 10670935 387 10885841 388 10919651 389 10926389 390 11000812 391 11075587 392 11082490 393 11116643 394 11529726 395 11662231 396 12099336 397 12285155 398 12364451 399 12393188 400 12443663 401 12458080 402 12487004 403 12632222 404 12683390 405 12719927 406 12734511 407 12763731 408 12807615 409 12844059 410 12925156 411 12991473 412 13080520 413 13281061 414 13400435 415 13453128 416 13558277 417 13656477 418 13770117 419 13884254 420 14129427 421 14399826 422 14524458 423 14563340 424 14633608 425 14649297 426 14869170 427 14900708 428 14916628 429 15051335 430 15146946 431 15210698 432 15330701 433 15394660 434 15442891 435 15531253 436 15668672 437 15717354 438 15880159 439 15929139 440 15945554 441 15978291 442 16002750 443 16010880 444 16060058 445 16101069 446 16150504 447 16183349 448 16282308 449 16455917 450 16572459 451 16605773 452 16622511 453 16714536 454 16739649 455 16831664 456 16856763 457 16890518 458 17016721 459 17432138 460 17491998 461 17517570 462 17560508 463 17749505 464 17784127 465 17809867 466 17991653 467 18026361 468 18052518 469 18174322 470 18270271 471 18314175 472 18419554 473 18683888 474 18799067 475 18861224 476 18976900 477 19128754 478 19182428 479 19245243 480 19254200 481 19407147 482 19497577 483 19569898 484 19715308 485 19787854 486 19833472 487 19842521 488 20089488 489 20449260 490 20458515 491 20486308 492 20569684 493 20643885 494 20709137 495 20755761 496 20886228 497 20998581 498 21252356 499 21271126 500 21299357 501 21507620 502 21564519 503 21621547 504 21840708 505 21898190 506 21955511 507 22041885 508 22137972 509 22292040 510 22407798 511 22475541 512 22660320 513 22777205 514 22816086 515 22864958 516 22923608 517 22933350 518 22943184 519 22962647 520 23168916 521 23267403 522 23485232 523 23495201 524 23515065 525 23525067 526 23873295 527 24033419 528 24043529 529 24143967 530 24164060 531 24335219 532 24395772 533 24598388 534 24628824 535 24659339 536 24679686 537 24832344 538 25005720 539 25067060 540 25230973 541 25303007 542 25375215 543 25498819 544 25622981 545 25664489 546 25778561 547 25788907 548 25799247 549 26195845 550 26374068 551 26563146 552 26584118 553 26700297 554 26784863 555 26869540 556 26964908 557 27188331 558 27209612 559 27305862 560 27316560 561 27369963 562 27380630 563 27444978 564 27498573 565 27573774 566 27681323 567 27692160 568 27702910 569 27821612 570 27940381 571 28037929 572 28276892 573 28353169 574 28451170 575 28527431 576 28614841 577 28658618 578 28669608 579 28724504 580 28801382 581 28856434 582 28911528 583 28944633 584 29087950 585 29242710 586 29309025 587 29342284 588 29453381 589 29475601 590 29486617 591 29597903 592 29865569 593 29887905 594 29932683 595 30044922 596 30303470 597 30359760 598 30495350 599 30642262 600 30721720 601 30744313 602 30766909 603 30835401 604 30846796 605 31109159 606 31178002 607 31200827 608 31223615 609 31349504 610 31671352 611 32133824 612 32249770 613 32308022 614 32435983 615 32669482 616 32751708 617 32786884 618 32810256 619 32951011 620 33033196 621 33280958 622 33304586 623 33352005 624 33375708 625 33434731 626 33458365 627 33647950 628 33671811 629 33755069 630 33886054 631 34232392 632 34256464 633 34328381 634 34340392 635 34412465 636 34700977 637 34857702 638 35196502 639 35476041 640 35610469 641 35659308 642 35916365 643 36235874 644 36260528 645 36322233 646 36457959 647 36643467 648 36692993 649 36742679 650 36804555 651 36854331 652 36879175 653 36928846 654 37028136 655 37490523 656 37628486 657 37678574 658 38018165 659 38043325 660 38169637 661 38220312 662 38473606 663 38524339 664 38625856 665 38943947 666 38969629 667 38995337 668 39046389 669 39059175 670 39071975 671 39597437 672 39739480 673 39778223 674 39984869 675 40270033 676 40869868 677 40882908 678 40948267 679 41027050 680 41315712 681 41341949 682 41355170 683 41658853 684 41896610 685 41910001 686 42148831 687 42162092 688 42255085 689 42294935 690 42427875 691 42681306 692 42868639 693 43002618 694 43284884 695 43473084 696 43499915 697 43621614 698 43648602 699 43837986 700 44108809 701 44203969 702 44258355 703 44285710 704 44326582 705 44490084 706 44531000 707 44777005 708 44831642 709 45009681 710 45023396 711 45078052 712 45091798 713 45105563 714 45160540 715 45188092 716 45683828 717 45711435 718 45863376 719 46085201 720 46224098 721 46237776 722 46335369 723 46363315 724 46642892 725 46656673 726 46684556 727 46726658 728 46768685 729 46796791 730 46880555 731 46894539 732 46978923 733 47021070 734 47203458 735 47231595 736 47287922 737 47428299 738 47498857 739 47682396 740 47936843 741 48305984 742 48462425 743 48519352 744 48662161 745 48690775 746 48762013 747 48790743 748 48833568 749 49422087 750 49479595 751 49810849 752 49955171 753 49998444 754 50389923 755 50564275 756 50607924 757 50695453 758 50957668 759 51074574 760 51176861 761 51206398 762 51734410 763 51807831 764 51822653 765 52013921 766 52146791 767 52176160 768 52235215 769 52412775 770 52545847 771 52590247 772 53289298 773 53319190 774 53363901 775 53393944 776 53468558 777 53647867 778 53662847 779 54399585 780 54656060 781 54701383 782 54731684 783 55217081 784 55964520 785 55979805 786 56010496 787 56025819 788 56486000 789 56901651 790 56963385 791 56978774 792 57040601 793 57133154 794 57194880 795 57303075 796 57488666 797 57690362 798 57829743 799 58141645 800 58516747 801 58532427 802 58594974 803 58814864 804 59160518 805 59239218 806 59838557 807 60044592 808 60696324 809 60744249 810 60824226 811 60936005 812 61946703 813 61962879 814 62027092 815 62140102 816 62188603 817 62641340 818 62722692 819 63210130 820 63372966 821 63732437 822 64076242 823 64108882 824 64174446 825 64190872 826 64207286 827 64305894 828 64371520 829 64749694 830 64815717 831 64980476 832 65260963 833 65294058 834 65409894 835 65442935 836 65492809 837 65692054 838 65824858 839 65874529 840 66073969 841 66107110 842 66223809 843 66573903 844 66740966 845 66925658 846 67093564 847 67244549 848 67362131 849 67698282 850 67816454 851 68086650 852 68137395 853 68154298 854 68171273 855 68238891 856 68272817 857 68764161 858 68882890 859 68933743 860 69205940 861 69854149 862 70127843 863 70281863 864 70763041 865 70797389 866 70935567 867 71056234 868 71229010 869 71246219 870 71436399 871 71557527 872 71626708 873 71938836 874 72182028 875 72216750 876 72774312 877 72791723 878 74142603 879 74354302 880 74584018 881 74619336 882 74902009 883 75150509 884 75415967 885 75611561 886 75700672 887 75789694 888 75807487 889 75896528 890 76021340 891 76182414 892 76324987 893 76432176 894 76467898 895 76503783 896 76539425 897 76557302 898 76825853 899 77418987 900 77527012 901 77563023 902 77580987 903 78157941 904 78175957 905 78194056 906 78248224 907 78502238 908 78683828 909 78883323 910 79010513 911 79065175 912 79119778 913 79192228 914 79574833 915 79830689 916 80306094 917 80342661 918 80379390 919 80434364 920 80507928 921 80599597 922 80985788 923 81207272 924 81280912 925 82038057 926 82056741 927 82112200 928 82186489 929 82297608 930 82706429 931 83097491 932 83489607 933 83564368 934 83601943 935 83733129 936 84088967 937 84201328 938 84238887 939 85048418 940 85407294 941 85615348 942 85672059 943 85728915 944 86355092 945 86621370 946 86773946 947 87231935 948 87882789 949 87998090 950 88055620 951 88575101 952 88999695 953 89444183 954 89618433 955 89637762 956 89657133 957 89908930 958 90219669 959 90258602 960 90433567 961 90784081 962 90979167 963 91271741 964 91526091 965 91682594 966 91780445 967 92546132 968 92959048 969 93038231 970 93551795 971 93690201 972 94105976 973 94185291 974 94304478 975 94840797 976 94960579 977 95459421 978 95699227 979 95759522 980 95799520 981 95979900 982 96080197 983 96100251 984 96421116 985 96601816 986 96621966 987 97206151 988 97428161 989 98014845 990 98176720 991 98461214 992 98664495 993 98888482 994 99153240 995 99908383 996 100194497 997 100256250 998 100399762 999 100420164 1000 100522648 1001 100768925 1002 100789594 1003 100953656 1004 101282801 1005 101365039 1006 101880388 1007 101963018 1008 102211127 1009 102272963 1010 102397226 1011 102583643 1012 102708198 1013 102977788 1014 103144211 1015 103352031 1016 103497820 1017 103602037 1018 103706016 1019 103955925 1020 105210353 1021 105336473 1022 105567477 1023 105967046 1024 106072325 1025 106473222 1026 106494256 1027 106726362 1028 106810836 1029 107340077 1030 107382503 1031 107721500 1032 108168050 1033 108189224 1034 108657345 1035 108699958 1036 109062693 1037 109190869 1038 109747191 1039 109854119 1040 110047178 1041 110412025 1042 110455242 1043 111230670 1044 111640590 1045 111727042 1046 112181659 1047 112289800 1048 112854241 1049 113071241 1050 113092892 1051 113201853 1052 113702529 1053 113833713 1054 113942823 1055 114905472 1056 114971231 1057 115498390 1058 115652499 1059 116269649 1060 116335873 1061 116357959 1062 116490416 1063 117708013 1064 117730307 1065 117796804 1066 118130464 1067 118219449 1068 118263864 1069 119133257 1070 119312211 1071 119558297 1072 120499850 1073 121039202 1074 121467070 1075 121489629 1076 121557144 1077 121692595 1078 121918665 1079 122235376 1080 122348593 1081 122484407 1082 122574865 1083 122733487 1084 123005979 1085 123869996 1086 124143516 1087 124439980 1088 124577146 1089 124920183 1090 124988880 1091 125194651 1092 125538165 1093 126066035 1094 126272515 1095 126295539 1096 126801222 1097 127170014 1098 127770023 1099 128371724 1100 128510531 1101 128557004 1102 128580179 1103 128696571 1104 129021084 1105 129044395 1106 129346696 1107 129905587 1108 130021933 1109 130092270 1110 130232434 1111 130279085 1112 130419101 1113 130536061 1114 130699824 1115 131425804 1116 131472766 1117 131848113 1118 132129695 1119 132670905 1120 133071151 1121 133212691 1122 133448785 1123 133708757 1124 133945655 1125 134230213 1126 134419798 1127 134443541 1128 134704604 1129 134870836 1130 135322449 1131 135560936 1132 136109097 1133 136252582 1134 136443793 1135 136778359 1136 137617015 1137 137689230 1138 137809382 1139 137857467 1140 137905659 1141 138218144 1142 138386762 1143 138651671 1144 139085751 1145 139110100 1146 139230740 1147 139278997 1148 139303106 1149 139472166 1150 139520525 1151 139810625 1152 139859010 1153 140173984 1154 140198286 1155 140295106 1156 140391993 1157 140610262 1158 140658700 1159 141071861 1160 141388133 1161 141704569 1162 141875225 1163 142363017 1164 142411702 1165 142436013 1166 143047319 1167 143169456 1168 143586220 1169 143757735 1170 143831287 1171 144518415 1172 144641279 1173 145059823 1174 145256868 1175 145355444 1176 145404798 1177 145454054 1178 145799255 1179 146268899 1180 147210427 1181 147632867 1182 148454289 1183 148503908 1184 148753122 1185 148952425 1186 149251583 1187 149276511 1188 149501535 1189 149526526 1190 149801612 1191 149876916 1192 149901953 1193 150102458 1194 150554012 1195 150679374 1196 150855103 1197 150905441 1198 151106531 1199 151282717 1200 151736162 1201 151786409 1202 151811752 1203 151912504 1204 153150226 1205 154062982 1206 154723464 1207 154774266 1208 154952329 1209 155512672 1210 155538195 1211 155589218 1212 155691472 1213 155819417 1214 155870153 1215 156202745 1216 156458396 1217 156790915 1218 157406076 1219 157483203 1220 157637245 1221 157971049 1222 158048322 1223 158743112 1224 158768875 1225 158923511 1226 159543182 1227 159620868 1228 159672587 1229 159775973 1230 160137952 1231 160293203 1232 160422568 1233 160656043 1234 161018822 1235 161408185 1236 161642159 1237 161720130 1238 161901877 1239 161927868 1240 162214455 1241 162318951 1242 162631387 1243 162788112 1244 162892571 1245 163205837 1246 163545811 1247 163624255 1248 163702834 1249 163886378 1250 163938725 1251 164069937 1252 164096237 1253 164515485 1254 164620481 1255 164988613 1256 165014893 1257 165041254 1258 165067683 1259 165541251 1260 165620549 1261 166121000 1262 166226502 1263 166252905 1264 166543175 1265 166596225 1266 166702042 1267 167045502 1268 167840238 1269 168476968 1270 168609876 1271 168742543 1272 169088476 1273 170021333 1274 170475371 1275 170795773 1276 170876129 1277 170902829 1278 170929672 1279 171090491 1280 171358153 1281 171545315 1282 171572182 1283 171625710 1284 171759898 1285 172028188 1286 172135851 1287 172511320 1288 172538345 1289 172592294 1290 172619162 1291 172726825 1292 172807779 1293 173103992 1294 174968305 1295 175103606 1296 175266414 1297 175320488 1298 176080264 1299 176406469 1300 176596738 1301 176624095 1302 176923437 1303 177824227 1304 178124950 1305 178617164 1306 178781368 1307 178835948 1308 179301726 1309 179548768 1310 179603466 1311 180400058 1312 180455157 1313 181750347 1314 181805568 1315 181915743 1316 182468361 1317 183021255 1318 183602787 1319 183630413 1320 183907938 1321 183935757 1322 184324497 1323 184407905 1324 184630477 1325 184991998 1326 185381549 1327 185855965 1328 185911619 1329 187168781 1330 187308798 1331 188684161 1332 188937365 1333 189106024 1334 189274962 1335 189556383 1336 189810122 1337 190092595 1338 190177333 1339 190544063 1340 190572314 1341 191760783 1342 191845757 1343 191959263 1344 191987507 1345 192356396 1346 192868078 1347 193123811 1348 193464873 1349 195033519 1350 195233905 1351 195491740 1352 195520304 1353 195864071 1354 196093516 1355 196179283 1356 196207988 1357 196436983 1358 196609266 1359 196982373 1360 197326894 1361 197700409 1362 197815283 1363 198621443 1364 198736629 1365 199169929 1366 199198888 1367 199285430 1368 199343159 1369 199660917 1370 200094806 1371 200239046 1372 200876236 1373 201224321 1374 201311366 1375 201340189 1376 201427362 1377 201630421 1378 201717345 1379 203464223 1380 203639046 1381 203814074 1382 204398772 1383 204427982 1384 204486400 1385 205189477 1386 205277456 1387 205716755 1388 205804823 1389 206451496 1390 206833468 1391 206862685 1392 207009927 1393 207127842 1394 207304342 1395 207569221 1396 208719907 1397 208749224 1398 209458731 1399 209636247 1400 209724979 1401 209961597 1402 210050560 1403 210524678 1404 211088635 1405 211385444 1406 211563731 1407 211593466 1408 211623332 1409 212337504 1410 212606438 1411 212844878 1412 212963948 1413 213113288 1414 213143188 1415 213172860 1416 213351995 1417 213381928 1418 213411862 1419 213471375 1420 214997552 1421 215087736 1422 215267502 1423 215748176 1424 215778171 1425 216258592 1426 216408932 1427 216559373 1428 216770243 1429 217252067 1430 217342661 1431 217402946 1432 218278000 1433 218459416 1434 218791515 1435 218882413 1436 218943036 1437 219094358 1438 219184999 1439 219245644 1440 219487478 1441 219790619 1442 220184559 1443 221005204 1444 221613674 1445 221765718 1446 221856799 1447 222649388 1448 222741100 1449 222924125 1450 224209134 1451 224423273 1452 225158263 1453 226387374 1454 226572221 1455 226695676 1456 226941789 1457 227188120 1458 227249689 1459 227372885 1460 227557969 1461 227989914 1462 228051720 1463 228422488 1464 228638569 1465 229288304 1466 230963511 1467 231460910 1468 231492036 1469 231958614 1470 232145861 1471 232581913 1472 232925303 1473 233393706 1474 233799817 1475 234174962 1476 234237488 1477 234800937 1478 235051179 1479 236182219 1480 236307818 1481 236653420 1482 237313685 1483 238669885 1484 239049105 1485 239364945 1486 239618003 1487 239808061 1488 239871459 1489 239934964 1490 240029900 1491 240758965 1492 241044045 1493 241107630 1494 241361747 1495 241615896 1496 242187847 1497 242251288 1498 242283046 1499 242315138 1500 242633390 1501 242824434 1502 243079071 1503 243206637 1504 243461812 1505 243940852 1506 244260171 1507 244484264 1508 245444010 1509 246245440 1510 246469832 1511 246501975 1512 246533909 1513 247112278 1514 247208370 1515 248109831 1516 248206485 1517 248689962 1518 248722043 1519 248786564 1520 248883397 1521 249012352 1522 249303011 1523 249593535 1524 249916427 1525 250563611 1526 250725448 1527 250855144 1528 250919917 1529 250952373 1530 250984959 1531 251017375 1532 251244203 1533 251762966 1534 252055146 1535 252509834 1536 252607083 1537 252769603 1538 252997258 1539 253159701 1540 253192369 1541 253811121 1542 254006539 1543 254299613 1544 254527829 1545 254560568 1546 254886899 1547 255344436 1548 255442546 1549 255573722 1550 256031411 1551 256227902 1552 256358863 1553 256423965 1554 257013634 1555 257046467 1556 257505190 1557 258227396 1558 258325985 1559 258490072 1560 259279723 1561 259312630 1562 259542914 1563 259740934 1564 259906161 1565 260269097 1566 261392861 1567 262320117 1568 262552413 1569 263515000 1570 263647895 1571 263681082 1572 264712303 1573 265312601 1574 266079971 1575 266113128 1576 266346391 1577 266413198 1578 266547227 1579 266714270 1580 267817757 1581 267884517 1582 269225674 1583 269292767 1584 269393283 1585 269426813 1586 270031347 1587 270132133 1588 270165909 1589 270233092 1590 270300282 1591 270905990 1592 270939737 1593 272085794 1594 272760960 1595 273471000 1596 273640358 1597 274013186 1598 274148530 1599 274453287 1600 275505005