# Computed by Robert Israel, June 08 2022 # using Maple 2022.1, X86 64 WINDOWS, May 26 2022, Build ID 1619613 1 4 2 8 3 15 4 10 5 18 6 22 7 34 8 42 9 39 10 64 11 60 12 66 13 74 14 82 15 75 16 115 17 102 18 136 19 106 20 156 21 162 22 160 23 203 24 190 25 186 26 210 27 213 28 268 29 226 30 246 31 240 32 291 33 304 34 300 35 306 36 312 37 364 38 330 39 344 40 342 41 362 42 368 43 386 44 412 45 448 46 420 47 466 48 450 49 472 50 474 51 496 52 518 53 495 54 539 55 483 56 510 57 594 58 660 59 564 60 609 61 655 62 708 63 636 64 666 65 654 66 682 67 674 68 726 69 685 70 732 71 762 72 792 73 800 74 780 75 862 76 861 77 840 78 819 79 878 80 916 81 938 82 914 83 902 84 906 85 842 86 952 87 958 88 960 89 1016 90 970 91 1052 92 1030 93 957 94 1113 95 1085 96 1106 97 1190 98 1064 99 1134 100 1100 101 1058 102 1122 103 1211 104 1316 105 1208 106 1226 107 1331 108 1270 109 1228 110 1366 111 1308 112 1320 113 1278 114 1426 115 1341 116 1416 117 1365 118 1356 119 1384 120 1408 121 1414 122 1552 123 1472 124 1516 125 1468 126 1470 127 1650 128 1596 129 1482 130 1558 131 1586 132 1550 133 1576 134 1572 135 1536 136 1653 137 1598 138 1674 139 1686 140 1770 141 1734 142 1800 143 1804 144 1798 145 1816 146 1956 147 1894 148 1874 149 1915 150 1885 151 2006 152 1884 153 1764 154 1946 155 1928 156 1912 157 2030 158 1986 159 2019 160 2028 161 2004 162 2052 163 2040 164 2136 165 2205 166 2127 167 2182 168 2314 169 2130 170 2369 171 2226 172 2163 173 2286 174 2250 175 2272 176 2238 177 2248 178 2361 179 2356 180 2340 181 2396 182 2425 183 2408 184 2235 185 2360 186 2330 187 2346 188 2418 189 2302 190 2500 191 2350 192 2634 193 2478 194 2577 195 2525 196 2515 197 2472 198 2630 199 2727 200 2530 201 2715 202 2710 203 2610 204 2675 205 2742 206 2712 207 2700 208 2734 209 2730 210 2706 211 2808 212 2912 213 2880 214 2976 215 3026 216 2840 217 2934 218 2854 219 3069 220 3100 221 3048 222 2994 223 3030 224 3156 225 3072 226 3035 227 3159 228 3230 229 3135 230 3324 231 3012 232 3066 233 3150 234 3262 235 3320 236 3144 237 3270 238 3342 239 3294 240 3180 241 3396 242 3192 243 3312 244 3350 245 3430 246 3346 247 3558 248 3360 249 3388 250 3534 251 3384 252 3512 253 3588 254 3515 255 3570 256 3598 257 3768 258 3480 259 3747 260 3240 261 3666 262 3696 263 3780 264 3708 265 3600 266 3860 267 3770 268 3794 269 3938 270 3746 271 3792 272 3862 273 3850 274 3944 275 3940 276 3980 277 3846 278 3874 279 4022 280 3948 281 4026 282 4098 283 4258 284 4198 285 3952 286 4136 287 4272 288 4092 289 3894 290 4134 291 3966 292 4216 293 4176 294 4204 295 4104 296 4236 297 4440 298 4290 299 4080 300 4472 301 4274 302 4278 303 4200 304 4653 305 4375 306 4302 307 4170 308 4500 309 4368 310 4416 311 4724 312 4506 313 4568 314 4566 315 4320 316 4470 317 4508 318 4726 319 4480 320 4858 321 4755 322 4362 323 4806 324 4734 325 4776 326 4708 327 4824 328 4536 329 4912 330 4602 331 4865 332 4710 333 4964 334 4960 335 4890 336 4944 337 4866 338 4930 339 4878 340 5044 341 5046 342 4800 343 5040 344 4856 345 5052 346 5104 347 4926 348 5182 349 5308 350 5332 351 5304 352 5154 353 5190 354 5200 355 5016 356 5253 357 5202 358 5270 359 5452 360 5064 361 5262 362 5150 363 5448 364 5346 365 5196 366 5550 367 5310 368 5370 369 5412 370 5436 371 5490 372 5440 373 5572 374 5602 375 5574 376 5610 377 5578 378 5650 379 5450 380 5640 381 5598 382 5568 383 5804 384 5850 385 5722 386 5742 387 5952 388 5892 389 5670 390 5790 391 5528 392 5758 393 5698 394 5760 395 5977 396 6220 397 5880 398 5922 399 5868 400 6018 401 6239 402 6072 403 6104 404 6228 405 6054 406 6084 407 6298 408 6306 409 6208 410 6252 411 6474 412 5946 413 6160 414 6312 415 6330 416 6552 417 6182 418 6500 419 6456 420 6464 421 6318 422 6504 423 6516 424 6538 425 6462 426 6360 427 6690 428 6684 429 6666 430 6622 431 6630 432 6876 433 6618 434 6486 435 6699 436 6594 437 6726 438 6660 439 6812 440 6844 441 6780 442 6750 443 6772 444 6766 445 6830 446 6900 447 6708 448 6990 449 6924 450 6864 451 6510 452 6702 453 7032 454 6946 455 6952 456 6936 457 7166 458 7078 459 6984 460 7098 461 7038 462 7272 463 6820 464 6972 465 7262 466 7034 467 6930 468 7216 469 7200 470 7428 471 7212 472 7284 473 7443 474 7370 475 7302 476 7410 477 7326 478 7350 479 7104 480 7372 481 7600 482 7668 483 7494 484 7581 485 7455 486 7036 487 7722 488 7704 489 7458 490 7674 491 7776 492 7640 493 7710 494 7524 495 7794 496 7560 497 7680 498 7740 499 7995 500 7446 501 8050 502 7752 503 7870 504 7742 505 7656 506 7830 507 8004 508 7910 509 8142 510 8106 511 7844 512 7670 513 8124 514 8010 515 8188 516 8108 517 8202 518 8316 519 8256 520 8529 521 8280 522 8046 523 8348 524 8022 525 8172 526 8074 527 8226 528 8558 529 8184 530 8679 531 8480 532 8190 533 8196 534 8493 535 8342 536 8494 537 8448 538 8694 539 8442 540 8535 541 8740 542 8697 543 8460 544 8526 545 8567 546 8800 547 8700 548 8438 549 8472 550 8962 551 8648 552 8634 553 8964 554 8898 555 8754 556 8592 557 8400 558 8890 559 8556 560 8850 561 8790 562 8938 563 8952 564 9249 565 8598 566 8942 567 8772 568 9208 569 8742 570 9438 571 9030 572 8958 573 9123 574 9106 575 9352 576 9310 577 9400 578 9462 579 9290 580 9282 581 9340 582 8880 583 9450 584 9526 585 9620 586 9594 587 9712 588 9528 589 9212 590 9096 591 9294 592 9648 593 9430 594 9474 595 9855 596 9636 597 9360 598 9790 599 9792 600 9614 601 9668 602 9538 603 9156 604 9760 605 9510 606 9840 607 9444 608 9828 609 9936 610 9819 611 9758 612 9750 613 9570 614 10122 615 9918 616 9900 617 10185 618 9740 619 10494 620 10162 621 9912 622 10120 623 10044 624 10538 625 9930 626 10564 627 10194 628 10028 629 10420 630 10462 631 10020 632 10128 633 10230 634 10269 635 10234 636 10180 637 10624 638 10300 639 11097 640 10170 641 10642 642 10200 643 10446 644 10676 645 10350 646 10918 647 10416 648 10702 649 10488 650 10608 651 10626 652 10566 653 10392 654 10404 655 10440 656 10080 657 10620 658 10780 659 10770 660 10878 661 10380 662 10832 663 10344 664 10812 665 10868 666 10974 667 10938 668 10838 669 10896 670 10662 671 11229 672 11028 673 10956 674 10776 675 11154 676 11060 677 11226 678 11070 679 11296 680 11016 681 10692 682 11336 683 10990 684 11328 685 11340 686 11116 687 11106 688 11436 689 11148 690 11262 691 11094 692 11530 693 11130 694 11160 695 11400 696 11358 697 11740 698 11480 699 11194 700 11730 701 11466 702 11600 703 11140 704 11520 705 11910 706 11424 707 11562 708 11810 709 11724 710 11778 711 11478 712 11556 713 11580 714 11690 715 11460 716 11772 717 11610 718 11978 719 12156 720 11898 721 11973 722 11470 723 11220 724 11748 725 11900 726 11904 727 12108 728 12219 729 12232 730 11786 731 12018 732 12314 733 12072 734 11970 735 12042 736 12180 737 12306 738 12105 739 12210 740 12012 741 12336 742 12375 743 12348 744 12582 745 12292 746 11796 747 12800 748 12456 749 12390 750 12410 751 12090 752 12376 753 12446 754 12678 755 12507 756 12462 757 12804 758 12538 759 12648 760 12426 761 12574 762 12432 763 13218 764 12120 765 12896 766 12642 767 12944 768 13062 769 12360 770 12914 771 12714 772 12870 773 12594 774 13143 775 12690 776 12600 777 13020 778 12570 779 13200 780 13356 781 13180 782 13215 783 13220 784 12756 785 13230 786 13248 787 13167 788 13032 789 13140 790 13353 791 13254 792 13398 793 13274 794 13382 795 13164 796 13645 797 13656 798 13010 799 13210 800 13452 801 13506 802 13320 803 12810 804 13698 805 13086 806 13760 807 13484 808 13188 809 13538 810 13942 811 13536 812 13260 813 13482 814 13296 815 13908 816 13550 817 13630 818 13764 819 13206 820 13960 821 14028 822 13674 823 14090 824 13854 825 13746 826 13804 827 13840 828 14318 829 13740 830 14042 831 13580 832 14282 833 14283 834 13880 835 14270 836 14244 837 14432 838 13730 839 13860 840 14286 841 14160 842 13596 843 14250 844 14470 845 14436 846 14632 847 14112 848 14144 849 14370 850 14616 851 14240 852 14040 853 14076 854 14612 855 14538 856 14280 857 14638 858 14456 859 14742 860 14706 861 14712 862 14480 863 14760 864 14718 865 14466 866 14985 867 15044 868 14916 869 14670 870 15192 871 14988 872 14810 873 14830 874 15106 875 15054 876 15134 877 14620 878 15126 879 15102 880 14754 881 14826 882 15042 883 14904 884 14946 885 14994 886 14772 887 15040 888 15150 889 15108 890 15262 891 15642 892 15096 893 15030 894 15494 895 15530 896 14700 897 14952 898 15816 899 14960 900 15550 901 15592 902 15542 903 15246 904 15330 905 15250 906 15552 907 15120 908 15180 909 15132 910 15480 911 15348 912 15276 913 15672 914 15810 915 15860 916 16009 917 15420 918 15498 919 15720 920 15764 921 15920 922 15650 923 15752 924 15780 925 15938 926 15680 927 15540 928 15426 929 15916 930 15594 931 16026 932 15740 933 16086 934 15940 935 15918 936 16170 937 15036 938 15912 939 16178 940 15714 941 16098 942 16110 943 16068 944 16155 945 16304 946 15840 947 15600 948 16872 949 16646 950 15792 951 15660 952 16620 953 16568 954 16332 955 15890 956 16242 957 16632 958 16680 959 16296 960 15870 961 16302 962 16869 963 16758 964 16002 965 16284 966 16164 967 16730 968 16368 969 16870 970 16768 971 16824 972 16446 973 16350 974 16464 975 16494 976 16812 977 16986 978 17024 979 17004 980 16800 981 16880 982 17110 983 17060 984 17034 985 17040 986 17402 987 16626 988 16890 989 17230 990 17370 991 17202 992 17316 993 16950 994 17754 995 16380 996 17100 997 17604 998 17348 999 17526 1000 16674