# Computed by Robert Israel, March 02 2020 # using Maple 2020.0, X86 64 WINDOWS, Jan 29 2020, Build ID 1447657 1 1 2 2 3 5 4 6 5 11 6 24 7 49 8 50 9 73 10 87 11 182 12 183 13 202 14 203 15 307 16 309 17 379 18 458 19 459 20 520 21 677 22 961 23 1001 24 1475 25 1618 26 1619 27 1769 28 2089 29 2427 30 2428 31 3303 32 3378 33 4090 34 4397 35 4944 36 5444 37 5969 38 6496 39 6497 40 7653 41 8557 42 8871 43 8873 44 9091 45 9526 46 10524 47 11580 48 11824 49 12311 50 13063 51 13436 52 14753 53 16243 54 16246 55 16525 56 16669 57 17970 58 17973 59 18400 60 18402 61 20225 62 20226 63 20695 64 21635 65 25271 66 25272 67 25603 68 28275 69 28277 70 29364 71 30295 72 33328 73 36291 74 36904 75 37730 76 42387 77 42604 78 46597 79 46599 80 48681 81 49379 82 50329 83 51492 84 56586 85 56587 86 57360 87 58610 88 58859 89 59626 90 61930 91 63769 92 64289 93 65078 94 65079 95 65081 96 65337 97 70775 98 70776 99 70779 100 71881 101 74400 102 74678 103 76367 104 76658 105 78360 106 80133 107 83638 108 83639 109 83640 110 84836 111 84837 112 92866 113 97586 114 98239 115 100158 116 103412 117 109758 118 110434 119 115956 120 116618 121 117305 122 118712 123 119763 124 121872 125 126537 126 130159 127 130518 128 134571 129 136076 130 137213 131 145237 132 145613 133 147906 134 149491 135 151845 136 154593 137 156186 138 165469 139 166712 140 168771 141 170007 142 172885 143 174566 144 175837 145 177082 146 188235 147 192188 148 202835 149 203751 150 204222 151 208316 152 208317 153 209675 154 215171 155 224998 156 225466 157 225945 158 226404 159 227828 160 239914 161 243822 162 243823 163 254130 164 254135 165 258704 166 261196 167 271470 168 274051 169 275073 170 285007 171 287149 172 287672 173 297838 174 305903 175 309175 176 313631 177 315863 178 319146 179 325312 180 329824 181 332102 182 336050 183 336051 184 341215 185 342972 186 348211 187 348786 188 351088 189 352258 190 362198 191 362200 192 369328 193 369934 194 376519 195 383147 196 383729 197 387370 198 392211 199 397169 200 399593 201 407709 202 424692 203 424693 204 436874 205 440080 206 445910 207 447862 208 451145 209 455716 210 459693 211 463629 212 469691 213 473732 214 477723 215 478405 216 489901 217 491945 218 493311 219 496056 220 496058 221 498097 222 498772 223 514636 224 519533 225 537842 226 542096 227 546350 228 557901 229 565138 230 568010 231 570224 232 574655 233 579080 234 581304 235 583502 236 585750 237 596849 238 601337 239 603558 240 605798 241 611069 242 619437 243 621709 244 625535 245 640079 246 640848 247 646245 248 651677 249 657888 250 679845 251 684615 252 691830 253 696674 254 699077 255 701494 256 707974 257 708797 258 713607 259 716033 260 724237 261 736526 262 738192 263 738193 264 746427 265 754716 266 763097 267 766475 268 770668 269 781627 270 794362 271 795239 272 796072 273 807273 274 825404 275 840299 276 840304 277 842925 278 847254 279 848113 280 850789 281 855109 282 858646 283 862204 284 867517 285 867518 286 871982 287 871984 288 879982 289 882640 290 885346 291 888063 292 892582 293 902553 294 904398 295 906216 296 924361 297 926210 298 926212 299 929874 300 937300 301 941887 302 948364 303 951140 304 953933 305 956741 306 957696 307 966062 308 966067 309 968839 310 976347 311 987669 312 996134 313 999901 314 1007605 315 1009510 316 1013337 317 1031597 318 1035442 319 1040272 320 1042174 321 1061678 322 1074400 323 1099224 324 1113155 325 1113157 326 1116202 327 1120220 328 1120225 329 1129296 330 1132277 331 1134292 332 1139343 333 1140347 334 1140348 335 1143374 336 1158591 337 1167792 338 1167796 339 1169870 340 1169872 341 1173928 342 1185176 343 1186224 344 1193446 345 1211102 346 1226709 347 1236202 348 1245562 349 1246628 350 1248760 351 1267863 352 1283848 353 1323692 354 1325850 355 1334565 356 1335620 357 1338911 358 1377363 359 1395118 360 1418409 361 1443244 362 1459126 363 1459130 364 1469382 365 1487638 366 1493330 367 1502530 368 1510615 369 1525711 370 1537318 371 1541971 372 1549015 373 1551347 374 1552513 375 1558342 376 1579407 377 1587607 378 1591159 379 1597092 380 1630503 381 1644826 382 1684799 383 1689678 384 1695757 385 1710385 386 1711588 387 1711590 388 1722665 389 1732449 390 1736191 391 1743650 392 1751021 393 1762204 394 1762205 395 1769602 396 1780874 397 1784612 398 1788322 399 1795841 400 1810802 401 1822208 402 1833500 403 1833502 404 1839858 405 1843673 406 1844913 407 1855169 408 1856434 409 1860296 410 1923178 411 1968666 412 1972604 413 1980478 414 2020020 415 2020021 416 2022632 417 2029307 418 2042578 419 2085436 420 2092084 421 2127022 422 2136478 423 2137805 424 2151441 425 2156903 426 2159650 427 2165128 428 2165129 429 2174709 430 2185703 431 2191197 432 2211880 433 2224375 434 2243731 435 2265994 436 2267410 437 2268870 438 2271673 439 2280010 440 2288412 441 2298292 442 2302519 443 2303941 444 2322230 445 2323684 446 2327922 447 2332210 448 2336515 449 2353516 450 2367835 451 2369273 452 2370711 453 2379262 454 2421061 455 2423934 456 2429686 457 2431095 458 2448398 459 2461558 460 2473105 461 2481987 462 2492135 463 2509690 464 2512605 465 2540513 466 2549265 467 2574547 468 2589368 469 2595348 470 2602724 471 2602725 472 2617659 473 2628125 474 2629625 475 2643113 476 2668683 477 2688371 478 2702067 479 2715746 480 2720283 481 2721882 482 2743316 483 2757151 484 2771007 485 2780190 486 2783227 487 2798624 488 2803257 489 2817191 490 2831166 491 2837310 492 2862284 493 2873145 494 2874687 495 2890337 496 2890338 497 2910702 498 2924800 499 2924803 500 2929528 501 2935855 502 2945319 503 2953216 504 2961186 505 2967541 506 2981955 507 2986687 508 3005835 509 3005838 510 3020249 511 3028223 512 3049163 513 3053953 514 3055541 515 3058731 516 3084524 517 3097475 518 3141358 519 3151174 520 3169141 521 3170772 522 3198649 523 3201911 524 3213433 525 3215058 526 3238162 527 3249668 528 3249669 529 3286248 530 3304576 531 3314562 532 3329709 533 3329711 534 3331367 535 3359956 536 3375082 537 3376808 538 3376809 539 3419226 540 3451368 541 3502822 542 3507913 543 3518184 544 3530189 545 3564721 546 3569879 547 3580330 548 3606436 549 3611707 550 3620431 551 3622164 552 3632571 553 3635997 554 3637727 555 3637728 556 3658701 557 3660447 558 3685047 559 3686793 560 3688535 561 3716726 562 3732588 563 3761005 564 3769849 565 3777042 566 3780635 567 3803807 568 3837637 569 3848382 570 3850166 571 3884292 572 3904236 573 3916992 574 3920630 575 3951442 576 3969673 577 3969674 578 3969676 579 4035520 580 4039156 581 4051984 582 4051986 583 4079522 584 4103673 585 4129547 586 4131388 587 4172322 588 4179751 589 4230258 590 4234086 591 4235968 592 4235972 593 4260511 594 4275544 595 4285002 596 4286921 597 4298181 598 4315215 599 4328499 600 4330390 601 4349287 602 4358794 603 4360707 604 4360709 605 4379740 606 4379741 607 4389310 608 4389311 609 4421899 610 4452686 611 4458435 612 4466064 613 4508434 614 4510382 615 4535515 616 4562719 617 4582110 618 4603596 619 4621137 620 4656366 621 4672029 622 4674008 623 4689773 624 4699655 625 4709479 626 4721431 627 4723434 628 4745286 629 4745288 630 4749285 631 4763145 632 4789000 633 4789001 634 4808831 635 4852781 636 4870752 637 4888987 638 4919054 639 4931108 640 4937147 641 4951217 642 4977552 643 5005991 644 5016119 645 5022218 646 5028381 647 5034466 648 5040577 649 5046716 650 5056907 651 5091594 652 5095658 653 5114221 654 5116222 655 5122483 656 5142958 657 5157414 658 5176014 659 5178079 660 5194503 661 5194507 662 5198598 663 5215040 664 5225493 665 5269233 666 5269236 667 5300463 668 5367466 669 5369557 670 5375879 671 5405227 672 5419934 673 5451675 674 5458013 675 5462245 676 5464391 677 5464392 678 5481396 679 5509036 680 5509037 681 5541005 682 5560155 683 5583721 684 5585845 685 5663119 686 5669614 687 5669617 688 5689105 689 5706170 690 5710574 691 5721320 692 5727798 693 5734295 694 5788611 695 5799463 696 5803797 697 5812514 698 5843172 699 5851879 700 5871618 701 5891491 702 5898063 703 5915643 704 5917847 705 5939787 706 5946423 707 5975065 708 5983972 709 5990683 710 6023893 711 6050512 712 6083849 713 6092743 714 6135152 715 6137337 716 6182352 717 6202519 718 6222933 719 6238729 720 6241006 721 6261252 722 6311198 723 6313416 724 6317933 725 6320165 726 6333688 727 6356480 728 6408789 729 6415695 730 6450001 731 6450003 732 6466051 733 6470665 734 6495932 735 6516478 736 6525646 737 6587915 738 6597133 739 6601780 740 6632037 741 6652944 742 6678482 743 6685525 744 6687811 745 6687814 746 6699458 747 6720424 748 6727467 749 6743874 750 6769573 751 6769576 752 6811657 753 6813989 754 6818705 755 6832792 756 6839935 757 6889346 758 6924866 759 6946232 760 6953380 761 6960476 762 6960477 763 6969931 764 7046238 765 7072608 766 7082198 767 7125350 768 7125353 769 7171105 770 7190414 771 7197643 772 7204860 773 7248351 774 7248352 775 7321271 776 7326150 777 7355404 778 7372452 779 7391835 780 7411374 781 7413824 782 7480123 783 7482588 784 7544134 785 7615720 786 7633071 787 7638037 788 7705029 789 7742648 790 7770019 791 7787675 792 7810062 793 7810063 794 7815065 795 7822537 796 7825077 797 7825078 798 7832554 799 7855222 800 7877867 801 7900610 802 7908167 803 7910757 804 7910758 805 7945997 806 7981319 807 7986455 808 8067873 809 8067874 810 8129240 811 8131818 812 8198296 813 8205973 814 8239494 815 8267786 816 8291080 817 8314323 818 8329742 819 8353063 820 8469847 821 8472474 822 8493255 823 8521951 824 8584647 825 8626654 826 8626656 827 8631932 828 8682031 829 8705740 830 8705743 831 8713642 832 8729475 833 8729476 834 8822364 835 8856888 836 8912692 837 8923438 838 8926121 839 8928831 840 8942174 841 8944821 842 8952844 843 8968946 844 9022719 845 9033463 846 9070964 847 9073646 848 9100575 849 9138328 850 9162774 851 9170927 852 9179101 853 9206071 854 9252191 855 9287406 856 9317463 857 9366650 858 9374860 859 9377635 860 9399515 861 9424145 862 9468081 863 9503891 864 9545207 865 9556271 866 9559056 867 9561822 868 9581236 869 9581238 870 9606112 871 9622764 872 9658691 873 9717122 874 9739336 875 9789549 876 9865068 877 9898746 878 9938222 879 9943736 880 9957734 881 9974694 882 10008526 883 10011376 884 10042505 885 10192236 886 10192238 887 10212128 888 10212129 889 10212130 890 10220764 891 10223678 892 10289481 893 10295186 894 10306679 895 10323807 896 10338092 897 10392635 898 10412731 899 10427124 900 10441462 901 10444293 902 10453019 903 10487521 904 10513532 905 10574213 906 10588646 907 10600186 908 10614673 909 10658010 910 10672540 911 10780537 912 10780540 913 10792279 914 10798059 915 10859590 916 10871376 917 10941693 918 10965096 919 10994529 920 11003413 921 11012276 922 11018173 923 11068338 924 11201944 925 11210822 926 11279360 927 11342190 928 11348124 929 11351127 930 11420073 931 11420075 932 11435145 933 11462220 934 11489362 935 11495370 936 11546539 937 11549543 938 11570653 939 11576725 940 11628187 941 11676703 942 11688884 943 11734408 944 11758764 945 11795209 946 11798209 947 11877809 948 11905265 949 11923689 950 11926784 951 11942096 952 11942097 953 12006485 954 12018697 955 12058708 956 12064908 957 12179072 958 12182147 959 12210024 960 12234928 961 12238078 962 12272170 963 12284627 964 12322128 965 12343937 966 12368850 967 12378126 968 12406165 969 12406166 970 12456169 971 12471861 972 12481287 973 12500082 974 12518860 975 12600471 976 12622375 977 12669720 978 12676125 979 12701423 980 12748844 981 12751985 982 12761449 983 12764606 984 12802588 985 12802589 986 12849927 987 12881695 988 12897670 989 12986989 990 13022207 991 13031773 992 13047801 993 13070355 994 13105604 995 13115157 996 13182647 997 13208531 998 13224578 999 13266326 1000 13282413