# Computed by Robert Israel, December 16 2019 # using Maple 2019.2, X86 64 WINDOWS, Nov 26 2019, Build ID 1435526 1 33 2 1718 3 4174 4 7971 5 8434 6 11114 7 13011 8 14005 9 16645 10 17571 11 29787 12 30574 13 43647 14 58414 15 63177 16 65006 17 69694 18 71794 19 87218 20 95314 21 97827 22 104485 23 125738 24 126394 25 150334 26 193594 27 196341 28 198694 29 200378 30 201094 31 212631 32 212847 33 227554 34 239314 35 243591 36 254427 37 276085 38 277594 39 288818 40 291514 41 312506 42 313647 43 326877 44 329185 45 338785 46 340611 47 341546 48 353554 49 357746 50 358647 51 394406 52 399338 53 431378 54 435154 55 443074 56 458306 57 459518 58 464914 59 467785 60 478774 61 480514 62 503774 63 511174 64 513154 65 515734 66 518151 67 518314 68 533906 69 535047 70 538287 71 547017 72 555274 73 560674 74 563978 75 565795 76 594158 77 609866 78 633398 79 672123 80 674841 81 697118 82 703761 83 711934 84 724106 85 744655 86 748178 87 782494 88 786746 89 789801 90 797845 91 800511 92 805894 93 808838 94 831214 95 850114 96 864274 97 871154 98 876094 99 889046 100 897994 101 921254 102 926909 103 935734 104 976834 105 978441 106 997435 107 999087 108 1035274 109 1041214 110 1042354 111 1072294 112 1087714 113 1108221 114 1109506 115 1115977 116 1120586 117 1127618 118 1158117 119 1202374 120 1204166 121 1219731 122 1234538 123 1264174 124 1302034 125 1303161 126 1303738 127 1308921 128 1321521 129 1326814 130 1333538 131 1347334 132 1347387 133 1350914 134 1355366 135 1359718 136 1385858 137 1460794 138 1506994 139 1516227 140 1522358 141 1533874 142 1536386 143 1543947 144 1561166 145 1563938 146 1566514 147 1567054 148 1581634 149 1603045 150 1621671 151 1653326 152 1679914 153 1682378 154 1693886 155 1695685 156 1703841 157 1718546 158 1732911 159 1768821 160 1803111 161 1810594 162 1842514 163 1856314 164 1863998 165 1872141 166 1879534 167 1908177 168 1920021 169 1950514 170 1953051 171 1953685 172 1981671 173 1992338 174 2009103 175 2016998 176 2056658 177 2061518 178 2080707 179 2085214 180 2086418 181 2089405 182 2113701 183 2123018 184 2124394 185 2127046 186 2132331 187 2141054 188 2154535 189 2180534 190 2188671 191 2188898 192 2196231 193 2200294 194 2229938 195 2242286 196 2262434 197 2272654 198 2274458 199 2293881 200 2322878 201 2340266 202 2341418 203 2350774 204 2358634 205 2369974 206 2378067 207 2403398 208 2411254 209 2425838 210 2433111 211 2456018 212 2487154 213 2509135 214 2511814 215 2520334 216 2526214 217 2532417 218 2543494 219 2566173 220 2574934 221 2579001 222 2579306 223 2591035 224 2598446 225 2640741 226 2660006 227 2663905 228 2674671 229 2689714 230 2700098 231 2705546 232 2711974 233 2717558 234 2723271 235 2727818 236 2788538 237 2792186 238 2796351 239 2801374 240 2818654 241 2820914 242 2833563 243 2836167 244 2854941 245 2861367 246 2865921 247 2905114 248 2905418 249 2963434 250 2967747 251 2980437 252 2986658 253 3018507 254 3020631 255 3023187 256 3043226 257 3050534 258 3055786 259 3062666 260 3076114 261 3087998 262 3106347 263 3118226 264 3155318 265 3162886 266 3203254 267 3211774 268 3216254 269 3221066 270 3223894 271 3230785 272 3245037 273 3258771 274 3263314 275 3266234 276 3275187 277 3275374 278 3285741 279 3308181 280 3322118 281 3323031 282 3345081 283 3361503 284 3370047 285 3370954 286 3398306 287 3411515 288 3421707 289 3423867 290 3456231 291 3457646 292 3458074 293 3496534 294 3498994 295 3501805 296 3503138 297 3537214 298 3544586 299 3545978 300 3546454 301 3584391 302 3589294 303 3589585 304 3598198 305 3607354 306 3629121 307 3646491 308 3660081 309 3661467 310 3688131 311 3695061 312 3709054 313 3724467 314 3740494 315 3778766 316 3784461 317 3794937 318 3796834 319 3803434 320 3831193 321 3832071 322 3835851 323 3860121 324 3875906 325 3882597 326 3888205 327 3892947 328 3932794 329 3933505 330 3939934 331 3963026 332 3963741 333 3966874 334 3967294 335 3995798 336 3998486 337 4005154 338 4008111 339 4062021 340 4064678 341 4067738 342 4083141 343 4094907 344 4115967 345 4135011 346 4136074 347 4158334 348 4176807 349 4177347 350 4184078 351 4190378 352 4232846 353 4273114 354 4281934 355 4289374 356 4306371 357 4317094 358 4325318 359 4331571 360 4363791 361 4367614 362 4368471 363 4386626 364 4395687 365 4434895 366 4440994 367 4456366 368 4533297 369 4546418 370 4599874 371 4605998 372 4608634 373 4627226 374 4631678 375 4643781 376 4647218 377 4647626 378 4710274 379 4721966 380 4746237 381 4753058 382 4770457 383 4784674 384 4809754 385 4822058 386 4846834 387 4851458 388 4872597 389 4892194 390 4962274 391 4965837 392 4983214 393 5041077 394 5053778 395 5071834 396 5080045 397 5083118 398 5121874 399 5123918 400 5130985 401 5169818 402 5173594 403 5175267 404 5180783 405 5193274 406 5220591 407 5244801 408 5254114 409 5264005 410 5265734 411 5271758 412 5281971 413 5283266 414 5290647 415 5305474 416 5318009 417 5324258 418 5339014 419 5341047 420 5341255 421 5385274 422 5385533 423 5402198 424 5408378 425 5437585 426 5440101 427 5472794 428 5472994 429 5474517 430 5484394 431 5501918 432 5531558 433 5546186 434 5552258 435 5556147 436 5561554 437 5561695 438 5573787 439 5590534 440 5610334 441 5661627 442 5666558 443 5667027 444 5675721 445 5682147 446 5719598 447 5721385 448 5748927 449 5756995 450 5773358 451 5779658 452 5796454 453 5808206 454 5814807 455 5825558 456 5884647 457 5906931 458 5912871 459 5924014 460 5933163 461 5934035 462 5964747 463 5985321 464 6015574 465 6020726 466 6029126 467 6035434 468 6038666 469 6075998 470 6076298 471 6081814 472 6092974 473 6097726 474 6104138 475 6117334 476 6117445 477 6128726 478 6138206 479 6171745 480 6188271 481 6195814 482 6210717 483 6255338 484 6290871 485 6296918 486 6305506 487 6319294 488 6354514 489 6377037 490 6378998 491 6381807 492 6390638 493 6400718 494 6404194 495 6406706 496 6418354 497 6431078 498 6466714 499 6469838 500 6472671 501 6477981 502 6488666 503 6506978 504 6518335 505 6523197 506 6540321 507 6562118 508 6620451 509 6620781 510 6632114 511 6641546 512 6644305 513 6673371 514 6676435 515 6677786 516 6727766 517 6744134 518 6744394 519 6770306 520 6773794 521 6793071 522 6796761 523 6804758 524 6825685 525 6844094 526 6852334 527 6855406 528 6855686 529 6896661 530 7030581 531 7079714 532 7091817 533 7126255 534 7139906 535 7157877 536 7163907 537 7165658 538 7182278 539 7215938 540 7222731 541 7256374 542 7313074 543 7400018 544 7406914 545 7412974 546 7428595 547 7459885 548 7497745 549 7501954 550 7507894 551 7511594 552 7559187 553 7565854 554 7596321 555 7603598 556 7627105 557 7638278 558 7647754 559 7665535 560 7678046 561 7687041 562 7720046 563 7766614 564 7767094 565 7772858 566 7775907 567 7788098 568 7789714 569 7795646 570 7796918 571 7834958 572 7847755 573 7860638 574 7881326 575 7885534 576 7885617 577 7886794 578 7892978 579 7963234 580 7985374 581 7993347 582 8015314 583 8020354 584 8020581 585 8042026 586 8080071 587 8102845 588 8109411 589 8125778 590 8126614 591 8159374 592 8160567 593 8168614 594 8168631 595 8188478 596 8251346 597 8257945 598 8273438 599 8283518 600 8288331 601 8299106 602 8320654 603 8340694 604 8358754 605 8414674 606 8419101 607 8419358 608 8448758 609 8467094 610 8480211 611 8482641 612 8484334 613 8497634 614 8506838 615 8507726 616 8511346 617 8515371 618 8559934 619 8573063 620 8582307 621 8597018 622 8636091 623 8636114 624 8665898 625 8695598 626 8733254 627 8738547 628 8763998 629 8765854 630 8781145 631 8791906 632 8795554 633 8806114 634 8821105 635 8839178 636 8844686 637 8877994 638 8898154 639 8902221 640 8903067 641 8965585 642 8995838 643 9000634 644 9001106 645 9008018 646 9044674 647 9047905 648 9076701 649 9079298 650 9098498 651 9106431 652 9139461 653 9170254 654 9174835 655 9176914 656 9178586 657 9186141 658 9187414 659 9189086 660 9192146 661 9192154 662 9201295 663 9206727 664 9219201 665 9228981 666 9232827 667 9263967 668 9267711 669 9293134 670 9409105 671 9428487 672 9428631 673 9437014 674 9460114 675 9466855 676 9518326 677 9543994 678 9545395 679 9579205 680 9585278 681 9599726 682 9613855 683 9695074 684 9711231 685 9715521 686 9737061 687 9752854 688 9767014 689 9771445 690 9790954 691 9792626 692 9815734 693 9820354 694 9854014 695 9878474 696 9888946 697 9893498 698 9933874 699 9944185 700 9954145 701 9991286 702 10001374 703 10022433 704 10040127 705 10106367 706 10111246 707 10124914 708 10159701 709 10174358 710 10191274 711 10193726 712 10228714 713 10250155 714 10295206 715 10298438 716 10306298 717 10315478 718 10327011 719 10336954 720 10357778 721 10385314 722 10389578 723 10441527 724 10441594 725 10465881 726 10466306 727 10497094 728 10503754 729 10525234 730 10585255 731 10615838 732 10636435 733 10637997 734 10705298 735 10727254 736 10746326 737 10761694 738 10767986 739 10778798 740 10786834 741 10790414 742 10801174 743 10815578 744 10817434 745 10818177 746 10836537 747 10900234 748 10906174 749 10924114 750 10926926 751 10946366 752 10988997 753 11010578 754 11013351 755 11017894 756 11041406 757 11041838 758 11055021 759 11067621 760 11071238 761 11109831 762 11136985 763 11154201 764 11175386 765 11197898 766 11207734 767 11223501 768 11227526 769 11335034 770 11364274 771 11374474 772 11394094 773 11410838 774 11449401 775 11454694 776 11456098 777 11465074 778 11466321 779 11478458 780 11487754 781 11490477 782 11538861 783 11546817 784 11548294 785 11549194 786 11567337 787 11631385 788 11634466 789 11652338 790 11663194 791 11669811 792 11702318 793 11720427 794 11727398 795 11727627 796 11743114 797 11781411 798 11835231 799 11847686 800 11864894 801 11867074 802 11868394 803 11900558 804 11909427 805 11933305 806 11992054 807 11992654 808 12001706 809 12002811 810 12005254 811 12015754 812 12051934 813 12063215 814 12085114 815 12112354 816 12150214 817 12195591 818 12257558 819 12257906 820 12267807 821 12296618 822 12333274 823 12357987 824 12367778 825 12368067 826 12369926 827 12423514 828 12451238 829 12461451 830 12466887 831 12483286 832 12502167 833 12507338 834 12519814 835 12538294 836 12556437 837 12566794 838 12572635 839 12596294 840 12598645 841 12615027 842 12620995 843 12642326 844 12645267 845 12645938 846 12646135 847 12685174 848 12693158 849 12714698 850 12736414 851 12736778 852 12742827 853 12745058 854 12770678 855 12773546 856 12851974 857 12923007 858 12923871 859 12944314 860 12950331 861 12952834 862 12993801 863 13015238 864 13042437 865 13046494 866 13099714 867 13116655 868 13118674 869 13126874 870 13131934 871 13140454 872 13140566 873 13152561 874 13193871 875 13200994 876 13223306 877 13224934 878 13244746 879 13251334 880 13290934 881 13305466 882 13337014 883 13347218 884 13360461 885 13375234 886 13376614 887 13384186 888 13392514 889 13398747 890 13410861 891 13412198 892 13432894 893 13432983 894 13441234 895 13471971 896 13560297 897 13565366 898 13590295 899 13636131 900 13701274 901 13701994 902 13722081 903 13730037 904 13779274 905 13784138 906 13785158 907 13791034 908 13813161 909 13819461 910 13854158 911 13857398 912 13876714 913 13885594 914 13890291 915 13890434 916 13919138 917 13928494 918 13932098 919 13933054 920 13937354 921 13967781 922 13970486 923 13983374 924 13991091 925 14021314 926 14047234 927 14088398 928 14093841 929 14134294 930 14134298 931 14140114 932 14144794 933 14150211 934 14159031 935 14177846 936 14178831 937 14267186 938 14313934 939 14338705 940 14359874 941 14379055 942 14403394 943 14421458 944 14544501 945 14680234 946 14697814 947 14701371 948 14707255 949 14724267 950 14757801 951 14761774 952 14765974 953 14767881 954 14814543 955 14836345 956 14848885 957 14849151 958 14860298 959 14863274 960 14885629 961 14889454 962 14911174 963 14915374 964 14921185 965 14929058 966 14941257 967 14943878 968 14950077 969 14979878 970 14992161 971 14996155 972 15042458 973 15069634 974 15096338 975 15101511 976 15138346 977 15161134 978 15183411 979 15216655 980 15235894 981 15247178 982 15296937 983 15324154 984 15328354 985 15344545 986 15350001 987 15394371 988 15416074 989 15425794 990 15434547 991 15437134 992 15476338 993 15480638 994 15481286 995 15481478 996 15506714 997 15524854 998 15531886 999 15538654 1000 15540494