# Computed by Robert Israel, October 30 2022 # using Maple 2022.1, X86 64 WINDOWS, May 26 2022, Build ID 1619613 1 1 2 2 3 3 4 6 5 9 6 11 7 15 8 45 9 51 10 59 11 81 12 126 13 165 14 174 15 179 16 255 17 681 18 831 19 839 20 921 21 1734 22 1739 23 1845 24 2499 25 2519 26 2661 27 3119 28 5061 29 5094 30 5099 31 5289 32 5301 33 8061 34 8571 35 8579 36 9654 37 9659 38 11094 39 11399 40 12315 41 13254 42 16011 43 16379 44 18225 45 18234 46 18239 47 19401 48 19689 49 26214 50 26219 51 27141 52 28554 53 29039 54 32976 55 34536 56 34575 57 36174 58 36179 59 38346 60 39426 61 40026 62 40035 63 42846 64 47094 65 47121 66 48351 67 48981 68 50241 69 54779 70 56781 71 60201 72 62286 73 62289 74 62295 75 62301 76 64404 77 67314 78 67326 79 69549 80 71805 81 71814 82 71819 83 75654 84 78786 85 88599 86 88619 87 92874 88 98109 89 100779 90 104421 91 106259 92 107181 93 109029 94 109041 95 114719 96 118569 97 118575 98 124494 99 124499 100 129539 101 136746 102 146301 103 146304 104 149595 105 155109 106 155121 107 158454 108 158481 109 161874 110 163011 111 163019 112 172281 113 175809 114 179394 115 180594 116 190329 117 199065 118 199071 119 205439 120 213174 121 217139 122 229161 123 245679 124 245694 125 251334 126 251339 127 258441 128 264261 129 268596 130 268635 131 273054 132 276015 133 281991 134 286521 135 298746 136 309675 137 327231 138 338661 139 341916 140 341949 141 341961 142 343569 143 351945 144 351954 145 363801 146 367176 147 368939 148 372369 149 372381 150 384531 151 384549 152 389769 153 393309 154 393354 155 411321 156 422244 157 422274 158 431519 159 442641 160 442734 161 448395 162 448401 163 454089 164 454101 165 467535 166 477261 167 483054 168 491031 169 491039 170 496941 171 496986 172 496989 173 497001 174 513006 175 513081 176 519174 177 531429 178 531479 179 533526 180 539751 181 550149 182 550185 183 550199 184 552285 185 552294 186 562824 187 562851 188 564906 189 564975 190 571374 191 590706 192 590769 193 597315 194 601626 195 614934 196 637251 197 637281 198 637319 199 697371 200 704454 201 711519 202 711615 203 711621 204 721179 205 721199 206 747816 207 747846 208 747861 209 755181 210 755205 211 755214 212 757679 213 765066 214 779964 215 779999 216 792534 217 815361 218 817919 219 823029 220 830754 221 848856 222 869859 223 872490 224 872505 225 926139 226 934311 227 934329 228 953574 229 953579 230 992625 231 1021019 232 1035339 233 1035359 234 1046901 235 1052691 236 1064339 237 1081914 238 1096679 239 1099641 240 1105581 241 1141554 242 1159716 243 1159761 244 1171979 245 1199646 246 1205874 247 1215225 248 1215239 249 1227735 250 1234019 251 1252866 252 1252935 253 1252941 254 1275201 255 1300881 256 1310565 257 1310579 258 1372785 259 1382781 260 1433115 261 1439721 262 1439886 263 1439889 264 1443299 265 1480914 266 1480919 267 1484316 268 1501629 269 1515366 270 1515486 271 1525965 272 1525989 273 1536501 274 1578861 275 1596594 276 1596675 277 1600209 278 1600254 279 1639821 280 1676274 281 1731549 282 1731654 283 1731659 284 1742805 285 1750290 286 1750319 287 1761561 288 1765221 289 1765281 290 1765290 291 1765319 292 1784061 293 1806870 294 1829649 295 1829775 296 1864281 297 1864359 298 1864371 299 1868061 300 1868169 301 1899285 302 1899294 303 1903161 304 1903191 305 1903194 306 1903199 307 1974036 308 1974069 309 1974081 310 1986009 311 1993884 312 1993956 313 1993989 314 1997999 315 2005974 316 2034141 317 2054349 318 2058399 319 2058411 320 2058419 321 2078691 322 2078709 323 2127969 324 2127981 325 2140371 326 2165244 327 2165250 328 2165279 329 2169381 330 2169396 331 2169435 332 2169441 333 2202870 334 2266251 335 2266299 336 2266311 337 2266314 338 2270571 339 2283354 340 2283375 341 2296194 342 2334921 343 2334951 344 2373966 345 2426571 346 2426595 347 2435415 348 2448621 349 2466339 350 2466405 351 2506449 352 2506559 353 2515506 354 2569614 355 2574150 356 2574165 357 2583246 358 2638089 359 2665704 360 2665710 361 2665725 362 2665739 363 2670291 364 2670339 365 2735364 366 2735424 367 2740119 368 2763594 369 2763599 370 2825061 371 2834526 372 2834579 373 2839326 374 2853659 375 2863221 376 2906454 377 2935434 378 2969379 379 2979210 380 2979231 381 2979239 382 3042996 383 3067695 384 3132495 385 3177719 386 3202869 387 3223224 388 3223254 389 3248679 390 3269106 391 3325619 392 3356625 393 3361815 394 3424290 395 3434819 396 3466269 397 3466314 398 3503301 399 3535131 400 3567119 401 3583149 402 3583155 403 3583161 404 3609906 405 3615204 406 3615306 407 3615339 408 3615354 409 3642299 410 3663915 411 3663921 412 3674745 413 3674754 414 3680181 415 3723684 416 3729174 417 3756534 418 3778389 419 3778464 420 3778499 421 3828111 422 3828141 423 3855849 424 3894741 425 3894801 426 3894839 427 3911556 428 3911574 429 3911586 430 3922704 431 3922794 432 3973371 433 3973374 434 4012926 435 4012935 436 4024266 437 4092519 438 4092645 439 4144314 440 4167366 441 4196295 442 4196301 443 4213689 444 4231059 445 4231104 446 4231119 447 4231134 448 4254441 449 4283655 450 4360089 451 4407450 452 4407471 453 4496970 454 4502919 455 4533054 456 4533059 457 4557144 458 4569159 459 4611669 460 4623819 461 4623825 462 4623831 463 4623834 464 4648194 465 4684854 466 4752339 467 4770846 468 4770879 469 4864079 470 4870299 471 4920351 472 4920381 473 5021169 474 5059329 475 5059365 476 5078451 477 5091231 478 5129601 479 5148819 480 5148834 481 5148839 482 5174454 483 5174496 484 5213166 485 5213181 486 5213205 487 5284499 488 5310525 489 5448291 490 5487981 491 5507874 492 5521131 493 5521155 494 5541051 495 5541111 496 5587524 497 5587794 498 5641410 499 5648159 500 5681819 501 5742591 502 5749434 503 5749439 504 5803671 505 5803776 506 5803809 507 5824254 508 5892714 509 5947725 510 5947761 511 5947785 512 5947799 513 5989191 514 6016941 515 6016965 516 6016974 517 6093510 518 6121431 519 6121499 520 6163509 521 6184635 522 6226884 523 6262259 524 6269289 525 6269319 526 6290595 527 6326121 528 6333201 529 6333219 530 6333231 531 6411729 532 6411759 533 6411779 534 6418896 535 6505209 536 6526881 537 6563061 538 6613821 539 6613845 540 6613881 541 6635694 542 6694134 543 6745449 544 6759936 545 6811731 546 6811739 547 6848664 548 6878319 549 6945249 550 6967635 551 7095066 552 7095141 553 7102566 554 7102611 555 7140384 556 7140399 557 7140419 558 7193394 559 7208541 560 7208601 561 7231314 562 7231326 563 7231350 564 7300014 565 7345866 566 7345935 567 7399686 568 7399689 569 7422789 570 7461294 571 7461351 572 7461354 573 7461369 574 7562139 575 7562154 576 7632270 577 7632276 578 7632291 579 7632309 580 7647945 581 7671429 582 7718519 583 7726374 584 7773621 585 7789371 586 7868526 587 7868541 588 7955961 589 7956009 590 7956059 591 8003991 592 8012001 593 8028015 594 8051994 595 8076150 596 8084214 597 8108361 598 8197191 599 8205299 600 8319119 601 8400894 602 8400899 603 8450079 604 8524319 605 8540826 606 8540829 607 8565621 608 8623656 609 8623686 610 8623689 611 8648639 612 8824191 613 8866254 614 8891541 615 8899971 616 8899974 617 8942219 618 8950650 619 8950674 620 9001491 621 9069489 622 9069534 623 9077979 624 9078051 625 9120711 626 9120719 627 9129261 628 9197691 629 9232095 630 9361386 631 9361455 632 9456864 633 9491634 634 9491715 635 9517881 636 9561525 637 9561555 638 9640359 639 9772569 640 9772605 641 9861201 642 9861231 643 9861234 644 9887865 645 9887895 646 9905670 647 9905691 648 9932406 649 9932421 650 9959154 651 9959166 652 10039665 653 10039679 654 10048635 655 10048641 656 10156509 657 10183569 658 10201614 659 10337469 660 10337526 661 10337556 662 10593795 663 10593801 664 10676819 665 10750881 666 10806489 667 10806531 668 10806564 669 10806594 670 10806599 671 10815899 672 10843821 673 10918449 674 10946519 675 11059035 676 11153349 677 11153361 678 11181711 679 11181719 680 11285985 681 11323824 682 11324039 683 11438514 684 11457681 685 11467251 686 11582481 687 11669250 688 11814659 689 11863266 690 11863314 691 11892429 692 11892549 693 11951061 694 11951091 695 11951151 696 12049125 697 12098166 698 12098279 699 12157359 700 12157374 701 12157379 702 12167226 703 12167229 704 12186885 705 12186981 706 12216591 707 12256119 708 12256191 709 12285834 710 12285921 711 12335526 712 12345369 713 12345471 714 12345479 715 12365250 716 12365355 717 12434985 718 12465015 719 12494999 720 12514965 721 12514986 722 12545025 723 12555006 724 12605106 725 12605151 726 12605181 727 12615201 728 12695759 729 12756264 730 12796739 731 12887949 732 13010085 733 13010099 734 13071381 735 13102074 736 13102079 737 13245801 738 13348911 739 13462821 740 13504395 741 13660566 742 13660629 743 13660644 744 13660761 745 13681671 746 13692096 747 13713054 748 13902249 749 13933911 750 13933919 751 13944471 752 14029071 753 14060841 754 14060886 755 14092725 756 14092734 757 14167029 758 14167149 759 14220324 760 14220441 761 14295126 762 14295129 763 14295189 764 14316444 765 14316501 766 14316531 767 14509869 768 14617776 769 14617821 770 14650269 771 14671929 772 14682771 773 14780301 774 14813121 775 14845749 776 14845791 777 14965919 778 14998761 779 15009711 780 15130389 781 15130479 782 15229671 783 15229674 784 15273774 785 15473475 786 15506781 787 15529134 788 15529161 789 15629586 790 15629631 791 15629634 792 15899121 793 15899159 794 15910425 795 15944256 796 15966786 797 15978189 798 15978195 799 16000776 800 16000815 801 16068774 802 16148241 803 16182359 804 16205106 805 16250649 806 16250661 807 16250694 808 16307754 809 16341966 810 16456431 811 16456569 812 16456581 813 16479504 814 16479539 815 16490994 816 16491015 817 16491021 818 16525494 819 16721529 820 16825704 821 16825719 822 16825791 823 16895349 824 17070285 825 17070294 826 17105379 827 17117099 828 17175630 829 17175654 830 17175659 831 17210769 832 17222559 833 17281311 834 17281314 835 17293005 836 17293029 837 17387274 838 17387295 839 17422686 840 17540961 841 17635770 842 17635859 843 17719041 844 17719089 845 17886179 846 18042021 847 18174411 848 18258885 849 18258921 850 18283095 851 18319371 852 18404169 853 18404211 854 18440601 855 18440646 856 18440649 857 18440655 858 18440661 859 18477051 860 18477111 861 18537924 862 18550110 863 18550119 864 18550131 865 18550134 866 18684264 867 18684375 868 18733299 869 18794544 870 18794574