# Computed by Robert Israel, May 21 2021 # using Maple 2021.0, X86 64 WINDOWS, Mar 5 2021, Build ID 1523359 1 90 2 168 3 185 4 229 5 242 6 447 7 470 8 503 9 552 10 657 11 684 12 758 13 804 14 811 15 1000 16 1113 17 1126 18 1182 19 1402 20 1410 21 1412 22 1420 23 1546 24 1566 25 1638 26 1655 27 1663 28 1790 29 2066 30 2180 31 2232 32 2275 33 2362 34 2390 35 2416 36 2504 37 2585 38 2670 39 2721 40 2725 41 2803 42 2814 43 2902 44 2911 45 2928 46 3002 47 3060 48 3087 49 3135 50 3393 51 3405 52 3574 53 3660 54 3675 55 3751 56 4003 57 4162 58 4191 59 4247 60 4281 61 4352 62 4390 63 4401 64 4414 65 4500 66 4547 67 4640 68 4708 69 4750 70 4787 71 4824 72 5036 73 5038 74 5238 75 5249 76 5518 77 5538 78 5539 79 5752 80 5758 81 5760 82 5886 83 5906 84 5912 85 5913 86 5940 87 6010 88 6014 89 6040 90 6187 91 6214 92 6245 93 6257 94 6296 95 6299 96 6426 97 6637 98 6756 99 6782 100 6916 101 7042 102 7245 103 7360 104 7369 105 7384 106 7487 107 7688 108 7689 109 7728 110 7880 111 7920 112 8006 113 8018 114 8095 115 8237 116 8370 117 8523 118 8587 119 8650 120 8694 121 8786 122 8793 123 8876 124 8893 125 8950 126 8961 127 9001 128 9011 129 9200 130 9263 131 9270 132 9315 133 9361 134 9543 135 9563 136 9607 137 9608 138 9773 139 9841 140 9873 141 9946 142 9953 143 10020 144 10212 145 10262 146 10367 147 10452 148 10643 149 10645 150 10684 151 10723 152 11013 153 11020 154 11054 155 11123 156 11127 157 11221 158 11369 159 11405 160 11457 161 11480 162 11600 163 11647 164 11670 165 11778 166 11799 167 11867 168 11901 169 11940 170 11954 171 11996 172 12037 173 12092 174 12142 175 12177 176 12284 177 12329 178 12419 179 12440 180 12650 181 12660 182 12746 183 12791 184 12837 185 12848 186 12869 187 13046 188 13162 189 13197 190 13203 191 13214 192 13218 193 13236 194 13283 195 13308 196 13365 197 13414 198 13446 199 13501 200 13580 201 13615 202 13740 203 13791 204 13934 205 13971 206 14091 207 14144 208 14160 209 14300 210 14324 211 14343 212 14380 213 14470 214 14495 215 14531 216 14648 217 14691 218 14750 219 14751 220 14820 221 14880 222 14919 223 14958 224 14975 225 15066 226 15160 227 15205 228 15210 229 15215 230 15447 231 15475 232 15481 233 15663 234 15727 235 15738 236 15797 237 15806 238 15844 239 15855 240 15859 241 15963 242 16027 243 16058 244 16063 245 16128 246 16202 247 16206 248 16354 249 16360 250 16415 251 16532 252 16564 253 16588 254 16620 255 16714 256 16743 257 16838 258 16960 259 16961 260 17017 261 17037 262 17057 263 17144 264 17179 265 17261 266 17346 267 17387 268 17407 269 17467 270 17514 271 17598 272 17658 273 17670 274 17682 275 17697 276 17700 277 17719 278 17736 279 17760 280 17777 281 17801 282 17833 283 18028 284 18100 285 18141 286 18161 287 18312 288 18324 289 18326 290 18346 291 18359 292 18369 293 18398 294 18503 295 18588 296 18597 297 18651 298 18697 299 18774 300 18829 301 18862 302 18894 303 19020 304 19040 305 19149 306 19219 307 19269 308 19270 309 19319 310 19342 311 19353 312 19615 313 19672 314 19746 315 19909 316 19958 317 19998 318 20035 319 20307 320 20415 321 20472 322 20535 323 20546 324 20698 325 20738 326 20761 327 20765 328 20795 329 20815 330 20842 331 20929 332 21015 333 21056 334 21202 335 21249 336 21327 337 21353 338 21385 339 21451 340 21487 341 21547 342 21552 343 21554 344 21701 345 21887 346 21935 347 21964 348 21965 349 21997 350 22021 351 22100 352 22122 353 22201 354 22364 355 22393 356 22434 357 22469 358 22506 359 22508 360 22512 361 22629 362 22808 363 22851 364 22921 365 22942 366 23029 367 23249 368 23284 369 23438 370 23663 371 23716 372 23745 373 23769 374 23859 375 23903 376 23939 377 24003 378 24006 379 24026 380 24086 381 24094 382 24244 383 24248 384 24268 385 24430 386 24442 387 24471 388 24547 389 24566 390 24662 391 24674 392 24771 393 24810 394 24878 395 24889 396 24975 397 25044 398 25086 399 25146 400 25256 401 25258 402 25379 403 25400 404 25410 405 25508 406 25558 407 25585 408 25634 409 25649 410 25758 411 25963 412 26092 413 26445 414 26498 415 26570 416 26589 417 26594 418 26684 419 26709 420 26910 421 27018 422 27180 423 27236 424 27237 425 27271 426 27293 427 27330 428 27364 429 27388 430 27398 431 27422 432 27427 433 27538 434 27664 435 27666 436 27690 437 27716 438 27789 439 27820 440 27913 441 27950 442 27951 443 27975 444 27988 445 28009 446 28307 447 28334 448 28472 449 28514 450 28525 451 28575 452 28624 453 28634 454 28651 455 28678 456 28724 457 28744 458 28792 459 28829 460 28884 461 28922 462 29004 463 29014 464 29189 465 29210 466 29323 467 29327 468 29435 469 29437 470 29502 471 29533 472 29536 473 29596 474 29604 475 29645 476 29646 477 29679 478 29721 479 29875 480 29907 481 29910 482 29964 483 29991 484 30001 485 30091 486 30175 487 30307 488 30383 489 30475 490 30566 491 30577 492 30581 493 30585 494 30635 495 30645 496 30656 497 30692 498 30710 499 30767 500 30801 501 30817 502 30824 503 30912 504 30943 505 31010 506 31013 507 31240 508 31248 509 31258 510 31278 511 31311 512 31389 513 31408 514 31421 515 31434 516 31473 517 31511 518 31600 519 31770 520 32122 521 32215 522 32236 523 32263 524 32328 525 32331 526 32355 527 32636 528 32835 529 32941 530 33064 531 33397 532 33398 533 33473 534 33499 535 33505 536 33597 537 33707 538 33751 539 33850 540 33862 541 33914 542 33947 543 33956 544 34012 545 34039 546 34068 547 34104 548 34146 549 34202 550 34219 551 34242 552 34314 553 34343 554 34388 555 34429 556 34466 557 34495 558 34633 559 34654 560 34698 561 34758 562 34770 563 34809 564 34858 565 34868 566 34878 567 34881 568 34992 569 35067 570 35324 571 35428 572 35526 573 35548 574 35700 575 35729 576 35797 577 35942 578 36011 579 36017 580 36018 581 36117 582 36198 583 36231 584 36232 585 36275 586 36302 587 36326 588 36415 589 36521 590 36530 591 36586 592 36592 593 36613 594 36685 595 36707 596 36727 597 36755 598 36836 599 36859 600 36883 601 37020 602 37023 603 37152 604 37186 605 37196 606 37215 607 37234 608 37309 609 37320 610 37372 611 37397 612 37420 613 37437 614 37491 615 37521 616 37545 617 37573 618 37579 619 37615 620 37720 621 37949 622 38016 623 38052 624 38181 625 38202 626 38217 627 38286 628 38324 629 38397 630 38436 631 38578 632 38603 633 38800 634 39029 635 39061 636 39123 637 39165 638 39271 639 39291 640 39456 641 39743 642 39762 643 39764 644 39770 645 39779 646 39803 647 39945 648 40220 649 40450 650 40481 651 40486 652 40534 653 40546 654 40575 655 40617 656 40736 657 40792 658 40796 659 40827 660 40895 661 40907 662 40909 663 40910 664 41137 665 41177 666 41236 667 41283 668 41319 669 41392 670 41437 671 41519 672 41529 673 41556 674 41683 675 41689 676 41763 677 41789 678 41973 679 41988 680 42041 681 42061 682 42192 683 42244 684 42321 685 42323 686 42402 687 42438 688 42486 689 42526 690 42548 691 42571 692 42645 693 42694 694 42726 695 42731 696 42741 697 42775 698 42793 699 43017 700 43186 701 43282 702 43314 703 43332 704 43349 705 43390 706 43391 707 43403 708 43422 709 43488 710 43740 711 43758 712 43831 713 43970 714 44077 715 44126 716 44130 717 44252 718 44283 719 44399 720 44403 721 44441 722 44535 723 44553 724 44582 725 44721 726 44798 727 44883 728 44933 729 44964 730 45044 731 45155 732 45172 733 45264 734 45274 735 45316 736 45340 737 45486 738 45521 739 45738 740 45770 741 45803 742 45838 743 45846 744 45995 745 46164 746 46194 747 46196 748 46202 749 46239 750 46274 751 46399 752 46418 753 46508 754 46636 755 46671 756 46869 757 46893 758 46899 759 46968 760 47024 761 47030 762 47037 763 47226 764 47234 765 47291 766 47307 767 47380 768 47417 769 47488 770 47559 771 47647 772 47695 773 47699 774 47783 775 47801 776 47921 777 47997 778 48043 779 48067 780 48098 781 48118 782 48122 783 48153 784 48175 785 48228 786 48270 787 48389 788 48439 789 48538 790 48653 791 48659 792 48676 793 48949 794 49008 795 49031 796 49059 797 49069 798 49125 799 49166 800 49185 801 49207 802 49378 803 49515 804 49586 805 49762 806 49792 807 49839 808 49943 809 49972 810 49982 811 50049 812 50068 813 50085 814 50210 815 50237 816 50352 817 50356 818 50403 819 50439 820 50449 821 50557 822 50599 823 50655 824 50678 825 50706 826 50791 827 50854 828 50858 829 50939 830 50998 831 51019 832 51091 833 51099 834 51123 835 51133 836 51179 837 51317 838 51387 839 51410 840 51657 841 51785 842 51790 843 51937 844 51994 845 52021 846 52139 847 52147 848 52197 849 52268 850 52325 851 52367 852 52431 853 52440 854 52453 855 52505 856 52629 857 52630 858 52645 859 52754 860 52842 861 52877 862 52987 863 52991 864 53072 865 53089 866 53105 867 53320 868 53336 869 53365 870 53543 871 53607 872 53611 873 53623 874 53695 875 53729 876 53757 877 53761 878 53810 879 53815 880 53863 881 53873 882 53943 883 53950 884 54075 885 54120 886 54146 887 54337 888 54341 889 54460 890 54491 891 54514 892 54546 893 54554 894 54653 895 54697