# Computed by Robert Israel, September 07 2023 # using Maple 2023.1, X86 64 WINDOWS, Jul 07 2023, Build ID 1723669 0 1 1 4 2 11 3 17 4 32 5 42 6 85 7 55 8 84 9 100 10 115 11 120 12 162 13 128 14 202 15 111 16 214 17 267 18 260 19 316 20 321 21 319 22 295 23 307 24 298 25 331 26 384 27 404 28 451 29 454 30 490 31 488 32 449 33 521 34 528 35 511 36 575 37 617 38 584 39 604 40 590 41 628 42 663 43 619 44 668 45 807 46 776 47 812 48 718 49 788 50 856 51 796 52 956 53 960 54 743 55 857 56 858 57 915 58 970 59 967 60 1099 61 1069 62 1019 63 942 64 1161 65 1145 66 1090 67 1049 68 1176 69 1102 70 1271 71 1291 72 1158 73 1284 74 1215 75 1278 76 1311 77 1315 78 1423 79 1369 80 1435 81 1321 82 1443 83 1559 84 1483 85 1532 86 1414 87 1496 88 1555 89 1589 90 1378 91 1557 92 1540 93 1706 94 1610 95 1769 96 1518 97 1803 98 1704 99 1702 100 1888 101 1833 102 1682 103 1761 104 1755 105 1879 106 1913 107 1912 108 1902 109 1920 110 1872 111 1952 112 1905 113 2034 114 2008 115 2110 116 2117 117 1973 118 2145 119 2135 120 2108 121 2041 122 2064 123 2044 124 2096 125 2167 126 2224 127 2136 128 2370 129 2317 130 2164 131 2187 132 2333 133 2376 134 2414 135 2506 136 2330 137 2285 138 2386 139 2578 140 2445 141 2515 142 2576 143 2608 144 2706 145 2581 146 2589 147 2605 148 2765 149 2754 150 2673 151 2810 152 2809 153 2913 154 2736 155 2652 156 2980 157 2986 158 2779 159 2838 160 2725 161 2773 162 2939 163 2826 164 2871 165 2969 166 3186 167 3100 168 2883 169 3065 170 3224 171 3180 172 3146 173 3234 174 3282 175 3200 176 3443 177 3196 178 3206 179 3437 180 3306 181 3123 182 3300 183 3325 184 3307 185 3706 186 3409 187 3391 188 3386 189 3164 190 3428 191 3554 192 3532 193 3711 194 3363 195 3633 196 3578 197 3666 198 3784 199 3648 200 3708 201 3641 202 3761 203 3976 204 3696 205 3661 206 3801 207 3950 208 3881 209 3842 210 3663 211 3993 212 3930 213 3806 214 4069 215 4227 216 3995 217 3917 218 4099 219 4226 220 3997 221 4166 222 4237 223 3924 224 4139 225 4112 226 3848 227 3893 228 4244 229 4322 230 4256 231 3979 232 4072 233 4355 234 4074 235 4478 236 4508 237 4533 238 4527 239 4572 240 4739 241 4460 242 4729 243 4652 244 4525 245 4513 246 4559 247 4586 248 4615 249 4752 250 4569 251 4763 252 4662 253 4710 254 4748 255 4790 256 4670 257 4964 258 4602 259 4655 260 5025 261 4669 262 4946 263 5042 264 4858 265 5066 266 4885 267 5225 268 4915 269 5287 270 4926 271 4913 272 5241 273 5117 274 5229 275 5217 276 5260 277 5284 278 5056 279 5478 280 5379 281 5444 282 5291 283 5616 284 5470 285 5323 286 5686 287 5069 288 5516 289 5576 290 5407 291 5611 292 5413 293 5456 294 5502 295 5725 296 5780 297 5750 298 5540 299 5903 300 5614 301 5641 302 5859 303 5852 304 5850 305 5654 306 5446 307 5818 308 5934 309 5891 310 6049 311 5963 312 5994 313 5988 314 5786 315 6035 316 6045 317 5899 318 5953 319 5922 320 6125 321 6440 322 6058 323 6108 324 5845 325 6221 326 6087 327 6269 328 6206 329 6196 330 6471 331 6582 332 6529 333 6416 334 6332 335 6433 336 6282 337 6411 338 6195 339 6646 340 6639 341 6657 342 6611 343 6617 344 6428 345 6511 346 6248 347 6525 348 6385 349 6709 350 6532 351 6636 352 6723 353 6822 354 6695 355 6824 356 6509 357 7069 358 6633 359 7120 360 7109 361 6815 362 6793 363 6848 364 6956 365 7152 366 7119 367 6962 368 7280 369 6966 370 7218 371 7134 372 7186 373 7141 374 6974 375 6752 376 7455 377 7261 378 7246 379 7155 380 6477 381 7481 382 7349 383 7413 384 7547 385 7369 386 7328 387 7564 388 7386 389 7249 390 7655 391 7720 392 7431 393 7394 394 7739 395 7490 396 7678 397 7725 398 7641 399 7681 400 7853 401 7583 402 7832 403 7499 404 7580 405 7808 406 8094 407 7953 408 7439 409 7710 410 7851 411 7991 412 7874 413 7961 414 7899 415 7715 416 8017 417 7938 418 8206 419 8510 420 7831 421 8197 422 8336 423 8252 424 8139 425 8367 426 7956 427 8309 428 8043 429 8331 430 8496 431 7912 432 8401 433 8385 434 8587 435 8281 436 8347 437 8627 438 8221 439 8166 440 8137 441 8647 442 8369 443 8598 444 8195 445 8555 446 8926 447 8778 448 8607 449 8444 450 8715 451 8922 452 8856 453 8679 454 8670 455 8698 456 8682 457 8746 458 9173 459 8953 460 8987 461 8860 462 8767 463 8999 464 9047 465 8942 466 8811 467 8991 468 9036 469 9343 470 9224 471 9200 472 8972 473 9227 474 8892 475 8829 476 9136 477 8824 478 9064 479 9535 480 9086 481 9185 482 9444 483 9172 484 9492 485 9008 486 9466 487 9379 488 9534 489 9457 490 9485 491 9393 492 9711 493 9608 494 9582 495 9494 496 9561 497 9761 498 9513 499 9578 500 9723 501 9595 502 10037 503 9303 504 9757 505 9713 506 9583 507 9903 508 9955 509 10018 510 9847 511 9752 512 10060 513 10169 514 10282 515 9954 516 10071 517 9912 518 9987 519 10226 520 9724 521 9750 522 10085 523 9952 524 10231 525 9997 526 10522 527 10291 528 10429 529 10201 530 10424 531 10603 532 10784 533 10585 534 10332 535 10496 536 10474 537 10178 538 10477 539 10521 540 10223 541 10800 542 10370 543 10659 544 10483 545 10600 546 11071 547 10576 548 10825 549 10803 550 11023 551 10618 552 10776 553 11141 554 10500 555 10910 556 10592 557 10738 558 10480 559 10967 560 10883 561 11252 562 11103 563 10607 564 10945 565 10709 566 11038 567 11267 568 10874 569 11489 570 11451 571 10977 572 10808 573 10611 574 10872 575 11572 576 11139 577 11322 578 11412 579 11523 580 11428 581 11443 582 11794 583 11457 584 11683 585 11434 586 10957 587 11470 588 11207 589 11630 590 11774 591 11992 592 11327 593 11934 594 11137 595 11747 596 11908 597 11525 598 11637 599 12088 600 11446 601 11669 602 11464 603 12051 604 11811 605 12080 606 12298 607 11670 608 12066 609 11603 610 12124 611 11946 612 11808 613 12024 614 12045 615 12011 616 11644 617 12274 618 12593 619 11762 620 11733 621 12391 622 12420 623 12151 624 12262 625 12190 626 12143 627 11870 628 12780 629 12039 630 12709 631 12758 632 12502 633 12580 634 12560 635 12670 636 12128 637 12276 638 12737 639 12302 640 12772 641 12567 642 12839 643 12575 644 12015 645 12783 646 12191 647 12792 648 12194 649 12594 650 12526 651 12815 652 13032 653 12791 654 12948 655 13418 656 13074 657 12846 658 12231 659 13356 660 12700 661 12533 662 12961 663 13397 664 13023 665 12683 666 12630 667 12945 668 13166 669 13120 670 13123 671 12811 672 12720 673 13310 674 13544 675 12622 676 13127 677 13241 678 13486 679 13602 680 13498 681 13061 682 13287 683 13185 684 13858 685 13069 686 13278 687 13105 688 13372 689 13596 690 13650 691 13424 692 13284 693 13324 694 13679 695 13879 696 13769 697 13598 698 13449 699 13995 700 13715 701 13197 702 14087 703 14161 704 13346 705 13437 706 13713 707 14102 708 13709 709 14244 710 13567 711 13581 712 13904 713 14274 714 14033 715 13853 716 14034 717 13935 718 14195 719 14073 720 14428 721 13998 722 13963 723 14343 724 14135 725 14429 726 14326 727 14329 728 13992 729 14224 730 14902 731 14163 732 14444 733 14044 734 14606 735 14594 736 14829 737 14644 738 14566 739 14611 740 14640 741 14348 742 14192 743 14903 744 14286 745 14405 746 14524 747 14797 748 14273 749 14941 750 14660 751 14332 752 14518 753 15000 754 14814 755 14626 756 14925 757 14456 758 14199 759 14647 760 15261 761 15319 762 15231 763 14570 764 14984 765 15176 766 15015 767 15464 768 15144 769 14816 770 15240 771 15101 772 15410 773 15624 774 15573 775 15317 776 15173 777 15884 778 15300 779 15305 780 16066 781 15791 782 15477 783 15419 784 15518 785 15729 786 15628 787 16023 788 15123 789 15466 790 15521 791 15830 792 15479 793 15746 794 15455 795 15892 796 15633 797 15380 798 15798 799 15483 800 15835 801 15860 802 15985 803 15652 804 15820 805 16145 806 16016 807 15753 808 15246 809 16018 810 16020 811 15680 812 16071 813 16476 814 15971 815 15975 816 16040 817 16196 818 16008 819 15965 820 16063 821 16368 822 16313 823 15810 824 15842 825 16541 826 16218 827 16545 828 16295 829 16377 830 16415 831 16794 832 16278 833 16140 834 15675 835 16407 836 16809 837 15850 838 16609 839 16683 840 16382 841 16491 842 16755 843 16868 844 16650 845 16524 846 16356 847 16403 848 16638 849 16496 850 16736 851 16762 852 16520 853 16379 854 17272 855 17267 856 16807 857 17251 858 16895 859 16710 860 16893 861 16750 862 17233 863 17695 864 17482 865 17435 866 17212 867 17180 868 17073 869 17310 870 16775 871 17012 872 17081 873 17493 874 17370 875 17562 876 16768 877 16980 878 17308 879 17293 880 17241 881 17335 882 17656 883 17483 884 16941 885 17019 886 16786 887 18047 888 17691 889 17459 890 17986 891 17166 892 17922 893 17065 894 17567 895 17550 896 17633 897 18028 898 17372 899 18134 900 17835 901 18184 902 18044 903 17883 904 18440 905 17584 906 18003 907 17650 908 18221 909 17684 910 18384 911 17894 912 17766 913 17865 914 17850 915 17895 916 17880 917 18399 918 18220 919 18234 920 18480 921 18108 922 17982 923 18589 924 18628 925 18368 926 18267 927 18380 928 18673 929 18561 930 17967 931 18671 932 18886 933 18316 934 18533 935 18460 936 18502 937 18823 938 17842 939 18912 940 18590 941 18701 942 18689 943 19128 944 18593 945 18839 946 18668 947 18679 948 18105 949 19147 950 18684 951 18756 952 18827 953 19380 954 19195 955 18932 956 18922 957 18476 958 19101 959 19015 960 19131 961 18517 962 19416 963 19156 964 18611 965 19013 966 19043 967 19386 968 19329 969 19372 970 19783 971 19365 972 19556 973 19476 974 19287 975 19496 976 19692 977 19256 978 18831 979 19109 980 19371 981 19139 982 19547 983 19080 984 19358 985 19215 986 19667 987 19414 988 19434 989 19653 990 19576 991 19543 992 19907 993 19771 994 20076 995 19389 996 19635 997 19564 998 19650 999 20122 1000 20416