# Computed by Robert Israel, November 08 2022 # using Maple 2022.2, X86 64 WINDOWS, Oct 23 2022, Build ID 1657361 1 5 2 7 3 13 4 17 5 23 6 103 7 6863 8 7523 9 11807 10 11833 11 22447 12 91807 13 100517 14 144167 15 204013 16 221077 17 478937 18 531983 19 571867 20 752293 21 1440253 22 1647383 23 1715717 24 1727527 25 1768667 26 2193707 27 2381963 28 2539393 29 2957237 30 3215783 31 3290647 32 3873713 33 4243997 34 4512223 35 4880963 36 4895777 37 5226107 38 5345317 39 5540063 40 5765497 41 5809613 42 6572983 43 7356463 44 7548467 45 8412533 46 8543083 47 10225757 48 10578283 49 10835107 50 11821723 51 12163603 52 12319667 53 12445157 54 13469767 55 13776187 56 15067337 57 16037537 58 16967653 59 17763547 60 18516923 61 18881287 62 19372057 63 21324733 64 21429383 65 21883657 66 21924913 67 21940403 68 22658353 69 23275537 70 23303933 71 23345347 72 23848003 73 24594593 74 25267217 75 25683607 76 25699363 77 27188957 78 27353083 79 27477733 80 27577793 81 28036187 82 28416257 83 29290537 84 30589703 85 30905423 86 31898507 87 31967737 88 32020273 89 32346317 90 32830997 91 34082177 92 34708483 93 37341307 94 38171717 95 38480753 96 39397907 97 40002973 98 40965473 99 41587367 100 41618617 101 41791493 102 41920993 103 43637723 104 44271217 105 44438573 106 44991257 107 45529433 108 47773813 109 47799287 110 48058817 111 48475787 112 49739687 113 51166853 114 53177563 115 53248337 116 53946883 117 54908213 118 55111187 119 56658577 120 57530903 121 57921197 122 62409013 123 63911977 124 64042177 125 64577627 126 64781603 127 66151823 128 66716627 129 68248093 130 69805537 131 70988347 132 71320583 133 74513297 134 76360723 135 76372097 136 76722803 137 79897687 138 80274143 139 80275913 140 80735113 141 81487717 142 85402417 143 87034483 144 87056713 145 88494227 146 88885213 147 89078887 148 91509967 149 92087537 150 94882303 151 97466087 152 97977877 153 98445013 154 98967703 155 99585307 156 99953803 157 101122493 158 101501297 159 102395653 160 104288383 161 104342723 162 106152713 163 106166713 164 106387997 165 106471837 166 107528563 167 107709913 168 110334877 169 110958383 170 111081637 171 112565267 172 115321847 173 116355977 174 116423737 175 119007173 176 119128637 177 123787507 178 123997457 179 127477507 180 128070953 181 129475477 182 130878877 183 133708433 184 133798213 185 134566007 186 135751747 187 138088877 188 139050733 189 139223327 190 141123707 191 144907907 192 145696717 193 145964537 194 147549887 195 148365733 196 148582177 197 148810637 198 149681333 199 151055623 200 152092097 201 153522113 202 154352623 203 157170823 204 157578937 205 157629677 206 160176103 207 162275473 208 164308603 209 167394083 210 168180737 211 169366097 212 170304313 213 170693227 214 172400687 215 172453447 216 174358207 217 174650893 218 178372037 219 179729447 220 180910987 221 183339313 222 184289453 223 184425167 224 184669033 225 185335957 226 185533877 227 185712887 228 189540277 229 191527493 230 192605117 231 195872687 232 196064353 233 198617753 234 199686343 235 200684857 236 204977237 237 205027637 238 210575663 239 210686527 240 211041203 241 212464537 242 213604907 243 214274303 244 216174163 245 216383597 246 217713317 247 219577907 248 220757813 249 221786093 250 223984567 251 224089337 252 225562193 253 226265953 254 226699217 255 226957013 256 227813057 257 228201167 258 228581713 259 230251163 260 230449517 261 232203947 262 232434667 263 232671737 264 233740867 265 233864797 266 235689557 267 237029537 268 237119923 269 238265743 270 240398623 271 241181027 272 242400877 273 242506007 274 242949373 275 243212947 276 243250367 277 245266207 278 245896793 279 249641417 280 251631137 281 252102223 282 252437467 283 260119597 284 260234693 285 260365403 286 264724483 287 266113717 288 266773147 289 267755203 290 267959563 291 268011173 292 269745563 293 270270283 294 270311513 295 271105033 296 276656377 297 277704233 298 279760147 299 281553583 300 281780027 301 282010873 302 288309557 303 289411957 304 292093097 305 297149893 306 299318353 307 306865703 308 306963667 309 307799033 310 308029283 311 309109687 312 310132013 313 315300743 314 317050757 315 317249123 316 318982793 317 319049147 318 319191883 319 319376747 320 319583723 321 319790753 322 323372947 323 323548943 324 323970313 325 325831243 326 326658617 327 327916333 328 331483637 329 333288517 330 334467943 331 338562353 332 339728723 333 340229033 334 342120497 335 344020717 336 347217797 337 350441653 338 350752427 339 351903353 340 352374593 341 352560407 342 355337467 343 359150507 344 359758697 345 361686607 346 364050677 347 366706757 348 366738397 349 368576387 350 369491693 351 369969863 352 374167537 353 375015827 354 377482577 355 377719163 356 379170817 357 379727143 358 380058163 359 380537413 360 382393307 361 382811543 362 384480227 363 385574933 364 386307217 365 388087697 366 389309777 367 389600137 368 389989343 369 390129323 370 392225027 371 392569867 372 392635357 373 393742337 374 394158313 375 395361097 376 396616217 377 397141007 378 400868417 379 401255843 380 401374717 381 402025627 382 402330413 383 403194983 384 409391687 385 410500463 386 412886057 387 413126737 388 414565007 389 414611053 390 418464023 391 424360577 392 425227813 393 428149543 394 428771383 395 429401717 396 433620113 397 434838647 398 434945177 399 436691113 400 437128493 401 437309443 402 437361167 403 438182603 404 444076673 405 444179297 406 447416317 407 448503403 408 449007017 409 449642267 410 451465037 411 453228073 412 453776657 413 456616967 414 457726463 415 457889717 416 458420533 417 460068683 418 460458437 419 463890943 420 464869753 421 466971517 422 468432493 423 473701177 424 475729123 425 477508607 426 479962583 427 480307697 428 484422377 429 484843693 430 485581253 431 487053557 432 488586557 433 488858213 434 489132487 435 490210907 436 490246327 437 496339427 438 497729657 439 498496547 440 498983957 441 499502813 442 499621957 443 500584087 444 502772267 445 503020387 446 503471803 447 503646727 448 513248993 449 514338527 450 515882467 451 519253747 452 519314927 453 520056437 454 521206313 455 523517983 456 523795093 457 524504837 458 528060493 459 529923397 460 535059667 461 535499953 462 536932813 463 539107027 464 542864297 465 542935433 466 545086013 467 545926657 468 547754783 469 553751683 470 555135247 471 555217387 472 557123137 473 557850193 474 560760853 475 561299933 476 561697223 477 563876413 478 566094253 479 566552873 480 569145617 481 573578633 482 573765503 483 574761113 484 579640577 485 580244123 486 584998327 487 589008703 488 590839547 489 591470903 490 593766757 491 598959247 492 603959407 493 605549597 494 606236437 495 613526497 496 613711627 497 619887137 498 624931297 499 631176443 500 631731907 501 633186503 502 641517977 503 643452967 504 645601813 505 645909133 506 647544173 507 651633467 508 653944567 509 658872127 510 662886227 511 663614093 512 667210493 513 671157673 514 680531983 515 680611447 516 684253727 517 685363423 518 685644307 519 686928113 520 688901173 521 692044427 522 695720477 523 698384353 524 700072333 525 701198783 526 701786227 527 710143457 528 712261133 529 713889263 530 725607307 531 726228863 532 726433003 533 727606883 534 728363393 535 730006573 536 730894007 537 734405143 538 735302993 539 745696487 540 746517313 541 747508787 542 747844673 543 748746457 544 749447773 545 750879713 546 752558797 547 754101547 548 757090357 549 760264033 550 760959013 551 761375267 552 762111107 553 762563273 554 772716227 555 779597017 556 783340763 557 784143733 558 791565323 559 792693043 560 792878503 561 793868087 562 794455457 563 798245647 564 799294753 565 799418777 566 800930287 567 802512127 568 802618777 569 804528163 570 805820557 571 807188177 572 808031353 573 808669313 574 810807947 575 813611237 576 814435673 577 817785097 578 818653993 579 825554467 580 826861597 581 826888193 582 829242613 583 829854763 584 833777143 585 833870137 586 839218643 587 840768413 588 841898047 589 842208623 590 842506103 591 843669083 592 850337437 593 851071757 594 851399363 595 859740353 596 861969313 597 864593573 598 866687873 599 868024517 600 869457307 601 870561233 602 872812097 603 872959663 604 877356503 605 878124173 606 880268533 607 881288383 608 884268947 609 886057637 610 888800923 611 890340727 612 895188473 613 897405623 614 902462857 615 909622297 616 919459823 617 920493857 618 924155027 619 930459373 620 931608107 621 932043947 622 935851073 623 943488367 624 947531597 625 948717067 626 950367443 627 950688553 628 954085967 629 955222243 630 958272767 631 962830727 632 962836003 633 964713083 634 965317937 635 966915533 636 970324343 637 971370397 638 972547993 639 973314547 640 976456763 641 979786343 642 981459553 643 981625103 644 984834737 645 986309977 646 988001473 647 988311523 648 989720267 649 991310077 650 992253727 651 992866577 652 997104923 653 998078377 654 999079357 655 999306487 656 1004097467 657 1005303133 658 1007997233 659 1008559093 660 1009240957 661 1010317733 662 1017999007 663 1018273057 664 1018696873 665 1019539993 666 1026630307 667 1027890707 668 1028044993 669 1028649647 670 1032810893 671 1036402357 672 1036762913 673 1037874863 674 1038857557 675 1040098357 676 1041770357 677 1041816317 678 1043545247 679 1044224723 680 1045207523 681 1046824613 682 1047032143 683 1051218373 684 1053151943 685 1054497547 686 1055244277 687 1056221143 688 1062731017 689 1063442663 690 1064101477 691 1064424373 692 1065831653 693 1068941233 694 1069714957 695 1069766387 696 1077466147 697 1078745873 698 1079595793 699 1082450093 700 1084089673 701 1086316087 702 1087431907 703 1089037577 704 1092681853 705 1093738403 706 1095614497 707 1096957157 708 1097037737 709 1101521717 710 1107399983 711 1113270107 712 1116572027 713 1118830813 714 1119569747 715 1119626317 716 1121325833 717 1122102433 718 1122701207 719 1122899647 720 1125475493 721 1128307597 722 1132677443 723 1134873497 724 1137827107 725 1143598873 726 1153565117 727 1153756553 728 1155040553 729 1155207167 730 1155635623 731 1156435283 732 1160192777 733 1160367757 734 1161889433 735 1164281543 736 1166200933 737 1171796603 738 1173837523 739 1176844967 740 1177604867 741 1179732467 742 1184558387 743 1185459557 744 1189978877 745 1192116553 746 1198574387 747 1200122873 748 1202209823 749 1203824753 750 1212762737 751 1214791153 752 1215980897 753 1216901557 754 1217391163 755 1221130327 756 1221568373 757 1221780403 758 1222678027 759 1227438343 760 1228521163 761 1228722043 762 1233404897 763 1237372553 764 1241490917 765 1243451543 766 1244891443 767 1246896577 768 1248960673 769 1252989917 770 1253433067 771 1253735297 772 1259569013 773 1262986007 774 1265538557 775 1266072833 776 1266313247 777 1267603193 778 1268729773 779 1270377083 780 1276729367 781 1280967817 782 1281744593 783 1282339517 784 1288320043 785 1289287717 786 1295565283 787 1301267483 788 1304926697 789 1306271927 790 1307775457 791 1308994573 792 1316575003 793 1318062937 794 1324507313 795 1327413127 796 1328505127 797 1329540677 798 1329829973 799 1333147573 800 1334958923 801 1335841313 802 1336729637 803 1337081483 804 1342890383 805 1342984837 806 1343048017 807 1345541713 808 1347554737 809 1349378273 810 1352259193 811 1362664313 812 1363271053 813 1363469293 814 1377965333 815 1382899723 816 1385095183 817 1385343293 818 1390625233 819 1391487263 820 1392953753 821 1392968677 822 1394593903 823 1395770687 824 1400377157 825 1403964103 826 1411495843 827 1411800107 828 1413263107 829 1414728943 830 1417148303 831 1417196063 832 1418088803 833 1418609063 834 1421048113 835 1422375197 836 1427962273 837 1429221707 838 1431068453 839 1432050643 840 1435404127 841 1435928867 842 1437753173 843 1438065487 844 1439562497 845 1441035907 846 1441057817 847 1441100077 848 1441741187 849 1444038727 850 1444781797 851 1445539547 852 1447377227 853 1447829107 854 1453965473 855 1455157513 856 1456701223 857 1461652763 858 1464598607 859 1464727723 860 1471356553 861 1474805617 862 1476607003 863 1477758593 864 1478323103 865 1478386537 866 1478616767 867 1479217897 868 1479404567 869 1479977243 870 1481473093 871 1483197713 872 1485945127 873 1489903957 874 1490769283 875 1495316567 876 1497256003 877 1500106787 878 1507517587 879 1507686833 880 1507895723 881 1510501123 882 1512384877 883 1514051023 884 1516824893 885 1517194667 886 1518478127 887 1518699467 888 1519212223 889 1522530593 890 1523970257 891 1525766267 892 1526442493 893 1527563293 894 1527648547 895 1528776967 896 1531073287 897 1533193177 898 1534400737 899 1535692183 900 1537852573 901 1547364523 902 1555076563 903 1557094613 904 1557335407 905 1559723923 906 1561609793 907 1562228873 908 1563583297 909 1564246493 910 1567055227 911 1568263007 912 1571099527 913 1573407887 914 1574849033 915 1577616413 916 1577817803 917 1578012173 918 1590046943 919 1593260863 920 1594393063 921 1595176417 922 1595267033 923 1599090307 924 1600804063 925 1600842673 926 1601575603 927 1604533187 928 1605157733 929 1608117787 930 1612095203 931 1619967647 932 1621181383 933 1621880963 934 1622602697 935 1623587863 936 1623652273 937 1625267333 938 1626898387 939 1631022227 940 1635443567 941 1635644867 942 1647143293 943 1653942377 944 1655120477 945 1657277423 946 1659160513 947 1660077493 948 1660904983 949 1663286173 950 1664191603 951 1666818347 952 1670747027 953 1673397857 954 1676617427 955 1680713233 956 1682111707 957 1686979243 958 1687903577 959 1689156583 960 1691385433 961 1692028313 962 1692101707 963 1697622593 964 1698644203 965 1706545213 966 1706610203 967 1709961067 968 1711188467 969 1711439987 970 1712184497 971 1712528947 972 1713338587 973 1713423247 974 1719396227 975 1720436147 976 1721068493 977 1725108397 978 1729166297 979 1733532173 980 1735983547 981 1736099713 982 1738970977 983 1742414257 984 1743837377 985 1743890633 986 1744673213 987 1747754467 988 1749913793 989 1752435827 990 1757617003 991 1759159223 992 1763948083 993 1764075353 994 1764896173 995 1770963037 996 1771130813 997 1771310683 998 1772516483 999 1773481553 1000 1774185373