# Computed by Robert Israel, October 23 2020 # using Maple 2019.2, X86 64 WINDOWS, Nov 26 2019, Build ID 1435526 0 2 1 5 2 13 3 17 4 37 5 47 6 73 7 89 8 113 9 137 10 193 11 233 12 293 13 277 14 373 15 359 16 401 17 499 18 467 19 613 20 577 21 743 22 877 23 857 24 701 25 991 26 863 27 1223 28 1153 29 1109 30 1307 31 1571 32 1609 33 1493 34 1637 35 2053 36 1783 37 1889 38 1913 39 2017 40 2221 41 2063 42 2161 43 2381 44 2467 45 2333 46 2677 47 2719 48 2633 49 2851 50 3041 51 3319 52 3067 53 3413 54 3361 55 3623 56 3617 57 3593 58 3917 59 3739 60 3907 61 4243 62 4549 63 3877 64 4027 65 4457 66 4481 67 4357 68 4729 69 4561 70 4793 71 5081 72 4817 73 5179 74 5449 75 5441 76 5657 77 5749 78 5857 79 5569 80 6037 81 5881 82 6569 83 5953 84 6673 85 6857 86 6947 87 6959 88 6373 89 6911 90 7499 91 7253 92 7649 93 6977 94 7487 95 7727 96 8147 97 7691 98 8431 99 8387 100 8539 101 8171 102 8713 103 8863 104 8839 105 9013 106 8929 107 9857 108 9871 109 9133 110 9473 111 9403 112 10009 113 9811 114 9391 115 10271 116 10657 117 10177 118 10729 119 10723 120 10949 121 11177 122 11279 123 11369 124 10753 125 12037 126 11549 127 11489 128 12241 129 12073 130 12281 131 12433 132 12841 133 13003 134 12457 135 12809 136 13009 137 13297 138 12821 139 13553 140 13537 141 13183 142 13219 143 14957 144 13711 145 14081 146 14401 147 14489 148 15511 149 15319 150 14887 151 14929 152 15569 153 15349 154 15277 155 15091 156 15173 157 16319 158 16417 159 15937 160 16993 161 16073 162 17599 163 17053 164 16361 165 16901 166 16249 167 17207 168 17957 169 17977 170 18289 171 17669 172 18229 173 18461 174 18397 175 18379 176 17627 177 19079 178 18869 179 19853 180 19157 181 19051 182 20071 183 20611 184 20393 185 20809 186 20743 187 21169 188 20599 189 20789 190 21557 191 21023 192 21673 193 22189 194 22229 195 21617 196 21737 197 22051 198 22283 199 22783 200 23017 201 23143 202 23981 203 22777 204 23719 205 23339 206 23371 207 24373 208 24571 209 23909 210 24179 211 24247 212 24943 213 23833 214 24229 215 24391 216 25349 217 25409 218 25391 219 25471 220 25307 221 26371 222 26449 223 26903 224 27067 225 27281 226 27551 227 26399 228 27917 229 27647 230 28123 231 27967 232 27953 233 28751 234 28921 235 28901 236 28019 237 28711 238 29347 239 28793 240 29017 241 30059 242 29251 243 29599 244 29927 245 29429 246 28837 247 30139 248 30347 249 30211 250 30449 251 31859 252 31063 253 31543 254 32099 255 30553 256 31699 257 32749 258 31729 259 31657 260 31517 261 32341 262 33191 263 32233 264 33889 265 34763 266 33967 267 33601 268 34487 269 34211 270 33461 271 34721 272 34897 273 35099 274 34511 275 35543 276 34057 277 34381 278 34913 279 35753 280 36037 281 34421 282 36527 283 35933 284 36229 285 37379 286 37337 287 35393 288 37493 289 36563 290 36721 291 37657 292 37361 293 38119 294 39191 295 37853 296 39301 297 38239 298 38723 299 39929 300 39251 301 39079 302 40163 303 39827 304 41903 305 40193 306 42193 307 41141 308 41341 309 41593 310 41189 311 41081 312 42101 313 42061 314 42023 315 42181 316 41737 317 42773 318 44269 319 43019 320 44207 321 43801 322 42509 323 44101 324 44041 325 43943 326 43481 327 45233 328 45061 329 44449 330 42967 331 44279 332 44273 333 44699 334 45433 335 45077 336 46351 337 46619 338 46073 339 47237 340 45337 341 48131 342 47293 343 47791 344 46993 345 49747 346 48409 347 49459 348 47741 349 49081 350 47569 351 48761 352 48799 353 49009 354 49031 355 49639 356 48049 357 47017 358 51593 359 50033 360 49549 361 51241 362 49921 363 51341 364 51427 365 52069 366 50119 367 52673 368 51637 369 52579 370 51859 371 54679 372 52609 373 53239 374 53611 375 53281 376 52391 377 53993 378 54287 379 55229 380 52181 381 53951 382 52189 383 56267 384 54581 385 54469 386 56873 387 56629 388 57389 389 56767 390 53849 391 56671 392 56569 393 56209 394 57457 395 57593 396 57923 397 58337 398 59093 399 57119 400 57793 401 56893 402 59159 403 58061 404 59707 405 59119 406 58901 407 58211 408 59369 409 60017 410 60169 411 58771 412 60127 413 61757 414 62467 415 59921 416 58613 417 60923 418 59957 419 62201 420 60209 421 63131 422 63839 423 62299 424 64303 425 63389 426 62483 427 63907 428 64627 429 61729 430 64793 431 65717 432 65167 433 65449 434 64853 435 65827 436 66457 437 63727 438 64613 439 65521 440 66089 441 66067 442 68489 443 67121 444 66797 445 66593 446 69403 447 65563 448 68863 449 67181 450 67349 451 68729 452 68737 453 69029 454 68683 455 71563 456 68473 457 69697 458 70121 459 68567 460 70949 461 71443 462 70289 463 70481 464 72421 465 71023 466 70549 467 71549 468 72229 469 72031 470 72577 471 72559 472 73141 473 72469 474 72313 475 72889 476 74383 477 73363 478 74719 479 73651 480 75307 481 74897 482 74203 483 75773 484 74573 485 76961 486 75161 487 75377 488 76001 489 76463 490 75641 491 76253 492 77617 493 77261 494 77867 495 77093 496 75557 497 78697 498 79631 499 75833 500 80149 501 80681 502 80701 503 77101 504 77969 505 79769 506 80491 507 79997 508 77491 509 81119 510 78137 511 80671 512 77849 513 81299 514 78017 515 79241 516 82657 517 77761 518 83009 519 81283 520 80153 521 82051 522 83443 523 81547 524 78569 525 83563 526 85781 527 85147 528 82499 529 84163 530 82889 531 83497 532 87359 533 86579 534 85193 535 85133 536 85451 537 86171 538 84691 539 87641 540 87151 541 90469 542 87881 543 84463 544 85889 545 87719 546 86083 547 88169 548 87697 549 89273 550 90247 551 90401 552 88241 553 87013 554 90359 555 91199 556 91921 557 91541 558 91019 559 89533 560 91373 561 92369 562 93241 563 92347 564 88237 565 92861 566 91499 567 91121 568 91283 569 94273 570 93493 571 93523 572 92693 573 93923 574 92959 575 95311 576 95177 577 92789 578 92009 579 94207 580 98369 581 95317 582 96703 583 93967 584 96739 585 97081 586 96013 587 95959 588 95461 589 97613 590 96223 591 97927 592 99013 593 98993 594 98453 595 96157 596 96289 597 97159 598 99133 599 99907 600 97039 601 99839 602 99901 603 102241 604 99643 605 102139 606 102233 607 100931 608 100999 609 101999 610 100937 611 101723 612 101399 613 102217 614 103867 615 104701 616 99809 617 104677 618 100417 619 104287 620 103357 621 106649 622 104297 623 104479 624 106129 625 105943 626 104729 627 102329 628 103217 629 106219 630 106663 631 107209 632 108217 633 105613 634 109097 635 108293 636 106801 637 109013 638 107713 639 108301 640 109721 641 108187 642 109741 643 107033 644 110543 645 109441 646 110969 647 108529 648 110161 649 112253 650 110923 651 110947 652 108643 653 110647 654 109663 655 113891 656 113177 657 111103 658 110233 659 114319 660 110629 661 112337 662 113279 663 113171 664 112799 665 113149 666 113233 667 115249 668 113761 669 117371 670 115571 671 116803 672 114089 673 117721 674 117797 675 117851 676 116041 677 118681 678 117751 679 116279 680 116953 681 117437 682 117167 683 119389 684 119653 685 119723 686 117809 687 119293 688 120371 689 121321 690 118169 691 118903 692 119089 693 120829 694 118211 695 119993 696 118739 697 123433 698 119881 699 120157 700 122929 701 118801 702 123091 703 126227 704 123887 705 121189 706 122861 707 122323 708 124793 709 127481 710 124349 711 124001 712 122471 713 124181 714 123833 715 124721 716 124847 717 126751 718 124337 719 122849 720 124981 721 128203 722 128341 723 130811 724 128693 725 127081 726 127657 727 126229 728 129281 729 128941 730 127873 731 126541 732 129011 733 129763 734 121921 735 129313 736 125941 737 131947 738 131519 739 133153 740 133169 741 134093 742 129061 743 133801 744 133717 745 131149 746 134707 747 131129 748 132721 749 129209 750 132757 751 132001 752 129361 753 135281 754 130841 755 134333 756 135391 757 131489 758 135181 759 137447 760 136537 761 134807 762 135601 763 137251 764 137593 765 140909 766 133543 767 133391 768 139021 769 139091 770 139969 771 137383 772 138679 773 136361 774 140269 775 140317 776 140407 777 138407 778 139901 779 139589 780 143443 781 140057 782 140897 783 140663 784 141811 785 143141 786 142757 787 140297 788 140417 789 143053 790 142057 791 144173 792 143111 793 143467 794 140593 795 146213 796 141497 797 145091 798 147419 799 145703 800 146581 801 146317 802 141937 803 145897 804 147799 805 147353 806 148891 807 148061 808 147547 809 143527 810 148817 811 148403 812 147457 813 149563 814 149911 815 151897 816 149423 817 147227 818 152017 819 147551 820 151157 821 150649 822 149503 823 151051 824 153067 825 150721 826 148793 827 153913 828 150589 829 149873 830 152183 831 153509 832 150991 833 152393 834 152941 835 151381 836 151849 837 153313 838 155161 839 152077 840 154579 841 151163 842 152837 843 152363 844 155269 845 153073 846 158017 847 155047 848 153449 849 154073 850 155657 851 155581 852 158357 853 155773 854 158419 855 157049 856 160169 857 157163 858 161779 859 158341 860 154159 861 161263 862 159673 863 158591 864 152641 865 161033 866 158269 867 162011 868 161237 869 161233 870 159769 871 163021 872 162007 873 164371 874 160507 875 161753 876 162523 877 163973 878 164267 879 162257 880 162839 881 163409 882 163027 883 163993 884 162229 885 163259 886 167627 887 163393 888 165089 889 167099 890 160751 891 167621 892 167191 893 167663 894 168347 895 166841 896 168127 897 169831 898 168541 899 169891 900 170689 901 170353 902 169823 903 168731 904 167051 905 172553 906 170927 907 170441 908 172489 909 170647 910 171271 911 171929 912 173249 913 169399 914 174337 915 175493 916 171889 917 176327 918 171529 919 174329 920 174047 921 174673 922 175853 923 172351 924 176531 925 173819 926 178349 927 176129 928 176899 929 174761 930 176333 931 179321 932 177167 933 176051 934 178907 935 178361 936 178447 937 177791 938 180413 939 180731 940 180361 941 178469 942 178601 943 179369 944 179903 945 178403 946 180161 947 180001 948 177283 949 176807 950 180623 951 184417 952 179173 953 183499 954 180779 955 182653 956 183971 957 185711 958 180793 959 186191 960 184369 961 182851 962 181903 963 185819 964 185291 965 184829 966 182957 967 184189 968 185699 969 184463 970 188351 971 185089 972 186733 973 188939 974 185567 975 190297 976 187277 977 191099 978 186947 979 187349 980 186689 981 188801 982 184279 983 187909 984 189491 985 191699 986 189617 987 188603 988 190093 989 187513 990 186071 991 193649 992 188767 993 192191 994 192347 995 194093 996 193093 997 193751 998 194977 999 192971 1000 192611