# Computed by Robert Israel, September 04 2022 # using Maple 2022.1, X86 64 WINDOWS, May 26 2022, Build ID 1619613 1 43 2 127 3 197 4 3613 5 3767 6 4957 7 28687 8 29723 9 40193 10 46817 11 66403 12 78737 13 89137 14 93253 15 104243 16 105337 17 105673 18 110543 19 114113 20 123397 21 127247 22 145963 23 148303 24 168713 25 173293 26 190387 27 201893 28 207367 29 213613 30 241597 31 256117 32 261323 33 268253 34 278543 35 283807 36 333227 37 339373 38 340913 39 356173 40 359143 41 387493 42 406267 43 416387 44 421483 45 433847 46 445507 47 458947 48 472163 49 486977 50 506183 51 510553 52 527603 53 530837 54 609253 55 619277 56 627593 57 649307 58 689597 59 707923 60 710837 61 732073 62 769357 63 774773 64 781367 65 800213 66 803447 67 804523 68 822697 69 871963 70 900773 71 908573 72 1051373 73 1057657 74 1077917 75 1128623 76 1143407 77 1155293 78 1162937 79 1185953 80 1201283 81 1204477 82 1205693 83 1208423 84 1258657 85 1279123 86 1282343 87 1294987 88 1377347 89 1427707 90 1432943 91 1434943 92 1449937 93 1467143 94 1471903 95 1482053 96 1496837 97 1507997 98 1516087 99 1521547 100 1550207 101 1570603 102 1570883 103 1581007 104 1598197 105 1617743 106 1650137 107 1671713 108 1681877 109 1689913 110 1693817 111 1752983 112 1757993 113 1758233 114 1782103 115 1833803 116 1837067 117 1850227 118 1856513 119 1859843 120 1971887 121 2007067 122 2070067 123 2071873 124 2092133 125 2141413 126 2142293 127 2143763 128 2175223 129 2180683 130 2199163 131 2203447 132 2219377 133 2280097 134 2288887 135 2304037 136 2329097 137 2369597 138 2410183 139 2422547 140 2429923 141 2510537 142 2548673 143 2608733 144 2643227 145 2644657 146 2666987 147 2711213 148 2736497 149 2779253 150 2788633 151 2856883 152 2896403 153 2901403 154 2994727 155 3001543 156 3034907 157 3038657 158 3057823 159 3093887 160 3133873 161 3141557 162 3160877 163 3162587 164 3230963 165 3274963 166 3286697 167 3289523 168 3351013 169 3394453 170 3397267 171 3404983 172 3426373 173 3490873 174 3493183 175 3512053 176 3527033 177 3537407 178 3541957 179 3560003 180 3581593 181 3590707 182 3620567 183 3642577 184 3711527 185 3750977 186 3776263 187 3802583 188 3875383 189 3933203 190 4008577 191 4042933 192 4063583 193 4069603 194 4072223 195 4105457 196 4155733 197 4189723 198 4205713 199 4207477 200 4220497 201 4299203 202 4435663 203 4441163 204 4455403 205 4485823 206 4538407 207 4624157 208 4624957 209 4660627 210 4666117 211 4666283 212 4676657 213 4713323 214 4716097 215 4727617 216 4734647 217 4744657 218 4797563 219 4821263 220 4865447 221 4872643 222 4976063 223 4987907 224 5020553 225 5081567 226 5177327 227 5205173 228 5205773 229 5251273 230 5251933 231 5287673 232 5300527 233 5323697 234 5335133 235 5338747 236 5367587 237 5460713 238 5555983 239 5556907 240 5639327 241 5650793 242 5684057 243 5698853 244 5703713 245 5727583 246 5756227 247 5786213 248 5823553 249 5846273 250 5870927 251 5894797 252 5907133 253 5984903 254 5998873 255 6020923 256 6047663 257 6051583 258 6064717 259 6095657 260 6162337 261 6177683 262 6197813 263 6200167 264 6226303 265 6233893 266 6273623 267 6275473 268 6282277 269 6344647 270 6348523 271 6410993 272 6427273 273 6432397 274 6518023 275 6523313 276 6529403 277 6540337 278 6561787 279 6640327 280 6655543 281 6723193 282 6724453 283 6734993 284 6906103 285 6921347 286 6976787 287 6988367 288 7070477 289 7077377 290 7165187 291 7226267 292 7332373 293 7333717 294 7503077 295 7515523 296 7540133 297 7548617 298 7567433 299 7569017 300 7599857 301 7611157 302 7644433 303 7688143 304 7748077 305 7786927 306 7880263 307 7883567 308 7896587 309 7972817 310 8019227 311 8021327 312 8024857 313 8060597 314 8091007 315 8101967 316 8169617 317 8306803 318 8384053 319 8409127 320 8546537 321 8565047 322 8572073 323 8636893 324 8663117 325 8684537 326 8692487 327 8831717 328 8833483 329 8880173 330 8950817 331 8976197 332 8992297 333 9063487 334 9106607 335 9137267 336 9177013 337 9197063 338 9280627 339 9444847 340 9502277 341 9529283 342 9553853 343 9645173 344 9661037 345 9688463 346 9775457 347 9801973 348 9825817 349 9971837 350 9990457 351 9995903 352 10030973 353 10042523 354 10087153 355 10107973 356 10113797 357 10187017 358 10223527 359 10297897 360 10324693 361 10337447 362 10395953 363 10401803 364 10404773 365 10440107 366 10497733 367 10506007 368 10558967 369 10563827 370 10614757 371 10681903 372 10700887 373 10724743 374 10738757 375 10745783 376 10758973 377 10814987 378 10857643 379 10879373 380 10932263 381 10967753 382 10993753 383 11055463 384 11058403 385 11063233 386 11065097 387 11112193 388 11139463 389 11175583 390 11216113 391 11268377 392 11268613 393 11272367 394 11325497 395 11369623 396 11478697 397 11595667 398 11607623 399 11611627 400 11617577 401 11619383 402 11653487 403 11667503 404 11736143 405 11759777 406 11784037 407 11850103 408 11875417 409 11885693 410 11889487 411 11921477 412 11924963 413 11933333 414 11971637 415 12138097 416 12154367 417 12156563 418 12363583 419 12440693 420 12448673 421 12487133 422 12579797 423 12601357 424 12652837 425 12768937 426 12777073 427 12785933 428 12793117 429 12798463 430 12837523 431 12842957 432 12924017 433 12970033 434 12988277 435 13031677 436 13081573 437 13103287 438 13319587 439 13458493 440 13479913 441 13491967 442 13506767 443 13529053 444 13533337 445 13566673 446 13593887 447 13631743 448 13703353 449 13730317 450 13731103 451 13743533 452 13834927 453 13950413 454 13966847 455 13976087 456 13979027 457 14037533 458 14040823 459 14207143 460 14271713 461 14400203 462 14416247 463 14470637 464 14516767 465 14553587 466 14587523 467 14593363 468 14628223 469 14628937 470 14643943 471 14659343 472 14666777 473 14668697 474 14671103 475 14679757 476 14692903 477 14698193 478 14763503 479 14777993 480 14910713 481 14918947 482 14987153 483 14998187 484 15027767 485 15062557 486 15075913 487 15101113 488 15110633 489 15229523 490 15264173 491 15307067 492 15320243 493 15346127 494 15435377 495 15472673 496 15474047 497 15531697 498 15575083 499 15582253 500 15612367 501 15654953 502 15672733 503 15680713 504 15771673 505 15848057 506 15925463 507 15948157 508 16001497 509 16065713 510 16077473 511 16115023 512 16143973 513 16149253 514 16186897 515 16345267 516 16363073 517 16371403 518 16464323 519 16566073 520 16587647 521 16623713 522 16643353 523 16650943 524 16651727 525 16660687 526 16673777 527 16711787 528 16749503 529 16803893 530 16825453 531 16912853 532 16940617 533 16941973 534 16970953 535 17043907 536 17107007 537 17176853 538 17235233 539 17311673 540 17355367 541 17470097 542 17503613 543 17521657 544 17536457 545 17573177 546 17644213 547 17665663 548 17695187 549 17761883 550 17765257 551 17773937 552 17794253 553 17795917 554 17819467 555 17820683 556 17884973 557 17935933 558 17960167 559 18026317 560 18110077 561 18127313 562 18191837 563 18213887 564 18234817 565 18304777 566 18375517 567 18398143 568 18408053 569 18457643 570 18488933 571 18497123 572 18503057 573 18511723 574 18534137 575 18545687 576 18575717 577 18583027 578 18664057 579 18789847 580 18795463 581 18820103 582 18861893 583 18875653 584 18887483 585 18895183 586 18957637 587 19006093 588 19074733 589 19083107 590 19146637 591 19160807 592 19168423 593 19173587 594 19229897 595 19244653 596 19311307 597 19316023 598 19334057 599 19386977 600 19441283 601 19443803 602 19461133 603 19476043 604 19534607 605 19592117 606 19648537 607 19740197 608 19780853 609 19815137 610 19843697 611 19912787 612 19919857 613 19933117 614 20021303 615 20021357 616 20043743 617 20079613 618 20229467 619 20328853 620 20480503 621 20546497 622 20636183 623 20638757 624 20708953 625 20858293 626 20894747 627 20895827 628 20964497 629 21003247 630 21028253 631 21044423 632 21237707 633 21297557 634 21422813 635 21442667 636 21543803 637 21635587 638 21641467 639 21672337 640 21686813 641 21735533 642 21769243 643 21811637 644 21875827 645 21943697 646 22050617 647 22062473 648 22078363 649 22119817 650 22171183 651 22278493 652 22312373 653 22354837 654 22391573 655 22427987 656 22496347 657 22531277 658 22581973 659 22590707 660 22610407 661 22631923 662 22647857 663 22651663 664 22703743 665 22711067 666 22728007 667 22739317 668 22767053 669 22854187 670 22913953 671 22944277 672 22951307 673 22969673 674 22971367 675 23090803 676 23203333 677 23337887 678 23348023 679 23431073 680 23471953 681 23508547 682 23529043 683 23539027 684 23552677 685 23610173 686 23623627 687 23692003 688 23720803 689 23736637 690 23741593 691 23793743 692 23871863 693 23926183 694 23964737 695 23970437 696 24013807 697 24044483 698 24070523 699 24113963 700 24116737 701 24121607 702 24173717 703 24181877 704 24212173 705 24246377 706 24284737 707 24296453 708 24350563 709 24359287 710 24422063 711 24495703 712 24585917 713 24624263 714 24696253 715 24768883 716 24785347 717 24858917 718 24927827 719 25046603 720 25056907 721 25060463 722 25159903 723 25166527 724 25188673 725 25211213 726 25212587 727 25216687 728 25297243 729 25420333 730 25437397 731 25537513 732 25540747 733 25606307 734 25729103 735 25737097 736 25751543 737 25770233 738 25776703 739 25853227 740 25888913 741 25926643 742 25927777 743 25952107 744 25961797 745 25969987 746 26143223 747 26143783 748 26250407 749 26254213 750 26389873 751 26474167 752 26510357 753 26607937 754 26644003 755 26644463 756 26664413 757 26724053 758 26875157 759 26933143 760 26978923 761 27103957 762 27110287 763 27200893 764 27390523 765 27419267 766 27420007 767 27546947 768 27547673 769 27571417 770 27588527 771 27620363 772 27692923 773 27696283 774 27813757 775 27827213 776 27881827 777 27929287 778 27973513 779 28030267 780 28197833 781 28286873 782 28380743 783 28391287 784 28455643 785 28468763 786 28507513 787 28733167 788 28740403 789 28790173 790 28913473 791 28918693 792 28922977 793 28988807 794 29165737 795 29210537 796 29211407 797 29258923 798 29285453 799 29296387 800 29363473 801 29392007 802 29421377 803 29432173 804 29452933 805 29484517 806 29544367 807 29567537 808 29606053 809 29640337 810 29687923 811 29690627 812 29701687 813 29757503 814 29772583 815 29783627 816 29800877 817 29835763 818 29932027 819 30001063 820 30031987 821 30157007 822 30205853 823 30253103 824 30289043 825 30378613 826 30390793 827 30425093 828 30576547 829 30582707 830 30648353 831 30649207 832 30682163 833 30683533 834 30684067 835 30791447 836 30822637 837 30826487 838 30844577 839 30849757 840 30861013 841 30962903 842 30968293 843 30990373 844 31032217 845 31093397 846 31095527 847 31170173 848 31175803 849 31199657 850 31262533 851 31279907 852 31352663 853 31365097 854 31438373 855 31513607 856 31568123 857 31608823 858 31610083 859 31674133 860 31683343 861 31714297 862 31724083 863 31744553 864 31799767 865 31846753 866 32008747 867 32016473 868 32112403 869 32133793 870 32140417 871 32165827 872 32187737 873 32228587 874 32239453 875 32242057 876 32259277 877 32371597 878 32403223 879 32407717 880 32428213 881 32446567 882 32485403 883 32499307 884 32643997 885 32691583 886 32728207 887 32791697 888 32797673 889 32798107 890 32836987 891 32865223 892 32912447 893 32947613 894 32952067 895 33015247 896 33054097 897 33113233 898 33324257 899 33339697 900 33353123 901 33398317 902 33548257 903 33635477 904 33776527 905 33824533 906 33914077 907 34002277 908 34147037 909 34155617 910 34172473 911 34264817 912 34388117 913 34402633 914 34576823 915 34626103 916 34633243 917 34668157 918 34747313 919 34796537 920 34806073 921 34817537 922 34853153 923 34907053 924 34914557 925 34935223 926 34950497 927 34984867 928 34990367 929 35030533 930 35038123 931 35196013 932 35257067 933 35320193 934 35322743 935 35363707 936 35377733 937 35442133 938 35448617 939 35512877 940 35530727 941 35579363 942 35600867 943 35836123 944 35852123 945 36002203 946 36028007 947 36067723 948 36129647 949 36219343 950 36352343 951 36381043 952 36414883 953 36465197 954 36512153 955 36631337 956 36642227 957 36663313 958 36675017 959 36779077 960 36783823 961 36879233 962 36981407 963 37028963 964 37045933 965 37055927 966 37060687 967 37063823 968 37102603 969 37112123 970 37165547 971 37208863 972 37293103 973 37383193 974 37404137 975 37531537 976 37585393 977 37600513 978 37650157 979 37695673 980 37783873 981 37911077 982 37988257 983 38030917 984 38166787 985 38226887 986 38296763 987 38340037 988 38348113 989 38365487 990 38372333 991 38554697 992 38567117 993 38573443 994 38601403 995 38626573 996 38637143 997 38678683 998 38779483 999 38788567 1000 38827727