# Computed by Robert Israel, October 28 2021 # using Maple 2021.1, X86 64 WINDOWS, May 19 2021, Build ID 1539851 1 2 2 4 3 8 4 16 5 24 6 32 7 64 8 128 9 256 10 320 11 512 12 1024 13 2048 14 3712 15 4096 16 7168 17 8192 18 10512 19 16192 20 16384 21 32768 22 33024 23 37888 24 41728 25 49280 26 51552 27 54528 28 57280 29 62592 30 65536 31 66432 32 67968 33 68832 34 69792 35 81600 36 84352 37 87696 38 91968 39 92016 40 93888 41 94720 42 124128 43 129888 44 131072 45 141408 46 148736 47 152928 48 153360 49 156384 50 164352 51 170112 52 170592 53 175968 54 183808 55 184704 56 185616 57 187008 58 196320 59 198336 60 209600 61 215808 62 222480 63 243120 64 245664 65 251088 66 255120 67 262144 68 262440 69 265920 70 268288 71 291552 72 293184 73 303648 74 309888 75 310080 76 318960 77 326272 78 326304 79 330000 80 341440 81 345840 82 346464 83 353808 84 371840 85 378048 86 380032 87 412560 88 414432 89 421120 90 446256 91 476736 92 482976 93 498048 94 498688 95 522336 96 524288 97 542592 98 551936 99 553392 100 573264 101 580992 102 616608 103 653376 104 663040 105 669568 106 684864 107 699648 108 726624 109 727040 110 740736 111 782016 112 786000 113 793856 114 795520 115 802432 116 807408 117 817536 118 823392 119 825472 120 837936 121 851040 122 857600 123 857952 124 871168 125 882688 126 892160 127 908448 128 926016 129 926448 130 942624 131 978048 132 1005568 133 1027840 134 1029024 135 1036416 136 1042272 137 1042432 138 1045248 139 1048576 140 1091520 141 1103232 142 1132544 143 1140768 144 1141248 145 1150976 146 1184400 147 1197568 148 1200640 149 1203648 150 1205632 151 1238208 152 1251360 153 1265600 154 1296640 155 1328128 156 1328544 157 1346976 158 1381056 159 1381824 160 1385664 161 1416384 162 1416720 163 1423200 164 1432800 165 1438720 166 1440384 167 1449360 168 1450224 169 1452864 170 1466368 171 1474848 172 1475328 173 1478784 174 1481088 175 1514368 176 1541952 177 1549248 178 1554624 179 1565184 180 1571840 181 1573120 182 1583520 183 1599488 184 1614080 185 1617840 186 1643040 187 1655520 188 1663872 189 1682208 190 1695232 191 1699776 192 1709760 193 1729248 194 1745664 195 1753488 196 1763200 197 1771520 198 1793232 199 1808448 200 1811712 201 1812000 202 1871360 203 1900224 204 1923072 205 1925632 206 1937088 207 1937280 208 1951104 209 1955328 210 1958256 211 1960800 212 1968768 213 1976640 214 1979424 215 1986624 216 1993824 217 1998000 218 1999152 219 2011200 220 2030784 221 2032992 222 2045328 223 2051200 224 2055936 225 2059632 226 2097152 227 2108800 228 2111488 229 2113152 230 2118624 231 2121728 232 2127840 233 2134400 234 2139456 235 2140320 236 2151552 237 2161632 238 2164992 239 2166720 240 2184768 241 2196352 242 2231280 243 2244000 244 2248800 245 2273904 246 2279040 247 2286528 248 2296000 249 2303136 250 2313504 251 2318080 252 2323872 253 2324352 254 2326528 255 2342912 256 2360640 257 2363008 258 2387712 259 2397216 260 2416640 261 2431104 262 2442048 263 2455872 264 2483904 265 2508288 266 2517760 267 2525440 268 2550912 269 2565216 270 2565360 271 2591520 272 2597904 273 2608992 274 2616320 275 2627712 276 2635008 277 2678784 278 2701008 279 2705616 280 2707584 281 2710080 282 2739840 283 2747392 284 2760768 285 2782464 286 2787264 287 2790432 288 2790528 289 2797632 290 2807520 291 2833408 292 2837088 293 2873856 294 2877568 295 2895744 296 2904480 297 2910384 298 2916352 299 2926368 300 2926800 301 2939040 302 2939392 303 2942880 304 2960256 305 2977792 306 2978880 307 2982720 308 2986368 309 2993920 310 3014144 311 3031200 312 3031344 313 3051520 314 3068496 315 3085632 316 3088512 317 3116880 318 3170688 319 3203136 320 3206784 321 3227712 322 3250080 323 3256704 324 3281664 325 3294528 326 3310400 327 3316992 328 3317472 329 3323392 330 3333312 331 3342208 332 3366432 333 3381312 334 3407872 335 3429792 336 3434208 337 3438240 338 3449088 339 3456864 340 3467136 341 3497760 342 3511680 343 3552384 344 3561408 345 3595824 346 3596800 347 3605184 348 3610512 349 3619584 350 3624480 351 3629056 352 3635040 353 3637872 354 3641280 355 3642880 356 3648512 357 3660096 358 3661632 359 3705856 360 3706880 361 3714912 362 3741984 363 3748320 364 3751680 365 3758112 366 3777024 367 3824832 368 3826176 369 3841536 370 3858240 371 3858912 372 3860992 373 3868672 374 3873888 375 3879936 376 3891360 377 3925120 378 3930000 379 3937152 380 3971328 381 3977600 382 3991200 383 4005936 384 4065280 385 4122144 386 4131328 387 4135296 388 4139904 389 4159488 390 4166976 391 4192896 392 4194304 393 4198176 394 4210848 395 4220352 396 4237824 397 4245600 398 4252032 399 4252320 400 4260864 401 4261824 402 4267872 403 4297104 404 4301760 405 4302432 406 4305920 407 4346400 408 4350336 409 4358160 410 4382784 411 4417792 412 4421376 413 4452352 414 4455936 415 4490208 416 4517376 417 4526784 418 4533504 419 4538368 420 4544448 421 4549120 422 4551840 423 4553728 424 4571904 425 4572480 426 4593888 427 4597056 428 4607712 429 4610688 430 4618080 431 4619008 432 4624560 433 4630528 434 4635792 435 4636656 436 4643200 437 4659552 438 4661760 439 4669312 440 4674816 441 4681600 442 4705728 443 4724352 444 4726912 445 4728064 446 4730688 447 4753920 448 4770816 449 4780160 450 4783872 451 4787520 452 4809888 453 4815232 454 4821504 455 4834368 456 4840448 457 4846720 458 4882432 459 4897152 460 4926096 461 4929280 462 4940640 463 5003424 464 5051520 465 5052576 466 5054720 467 5091552 468 5098032 469 5105520 470 5128000 471 5149248 472 5150304 473 5159664 474 5175552 475 5182992 476 5186400 477 5200704 478 5210496 479 5213760 480 5219040 481 5254080 482 5278720 483 5334144 484 5358336 485 5382400 486 5384016 487 5403520 488 5412480 489 5426304 490 5475600 491 5485568 492 5486336 493 5506176 494 5508672 495 5510784 496 5512000 497 5519872 498 5524704 499 5527552 500 5578272 501 5613568 502 5623296 503 5625120 504 5630720 505 5665248 506 5681472 507 5688288 508 5692224 509 5701120 510 5755008 511 5772816 512 5798912 513 5807232 514 5809392 515 5828608 516 5833152 517 5834752 518 5835840 519 5845248 520 5874768 521 5923200 522 5923840 523 5961024 524 5982048 525 5988768 526 6002400 527 6012480 528 6040192 529 6051840 530 6054144 531 6068352 532 6073200 533 6079680 534 6108960 535 6110080 536 6116928 537 6131136 538 6153120 539 6165936 540 6184512 541 6209088 542 6212736 543 6226944 544 6256320 545 6282496 546 6287616 547 6313104 548 6363072 549 6398976 550 6426864 551 6452352 552 6452608 553 6453792 554 6471680 555 6479424 556 6519808 557 6527616 558 6537600 559 6556608 560 6573312 561 6581760 562 6619008 563 6619824 564 6626688 565 6627456 566 6645120 567 6654912 568 6699648 569 6699840 570 6704256 571 6723520 572 6725232 573 6730752 574 6756192 575 6789504 576 6790176 577 6817792 578 6822912 579 6829200 580 6840144 581 6849600 582 6887936 583 6902016 584 6960096 585 6970176 586 6970464 587 6972672 588 7003136 589 7003968 590 7048224 591 7084480 592 7087968 593 7100032 594 7103616 595 7107328 596 7132288 597 7149120 598 7202688 599 7220016 600 7230384 601 7247808 602 7265952 603 7271808 604 7285104 605 7301184 606 7307136 607 7350624 608 7351296 609 7355520 610 7360320 611 7399008 612 7402320 613 7415712 614 7450368 615 7461312 616 7462912 617 7479936 618 7502832 619 7513920 620 7514112 621 7532800 622 7595904 623 7621056 624 7627968 625 7629552 626 7648768 627 7673280 628 7697760 629 7723776 630 7739520 631 7798400 632 7828512 633 7829568 634 7836416 635 7846848 636 7855200 637 7885312 638 7907616 639 7921728 640 7925040 641 7926912 642 7935488 643 7972416 644 7988640 645 7992576 646 7995840 647 8004672 648 8011584 649 8017536 650 8052000 651 8068992 652 8069280 653 8085744 654 8108544 655 8109696 656 8140032 657 8193600 658 8221632 659 8228864 660 8237232 661 8249856 662 8274688 663 8330352 664 8333184 665 8334208 666 8341440 667 8388608 668 8440128 669 8449632 670 8471424 671 8502240 672 8505088 673 8514240 674 8554752 675 8562048 676 8579712 677 8600832 678 8608128 679 8620032 680 8620416 681 8645632 682 8683008 683 8736384 684 8742144 685 8753280 686 8780112 687 8806656 688 8810112 689 8870784 690 8870976 691 8892864 692 8895360 693 8906240 694 8915456 695 8923392 696 8949312 697 8952448 698 8992896 699 9004416 700 9009600 701 9034560 702 9050400 703 9054144 704 9060288 705 9088000 706 9100032 707 9117888 708 9171072 709 9185472 710 9188736 711 9189120 712 9194688 713 9195840 714 9219456 715 9228816 716 9230080 717 9239552 718 9241152 719 9245184 720 9293568 721 9298944 722 9308736 723 9310720 724 9311040 725 9340032 726 9356352 727 9375984 728 9376768 729 9377424 730 9421824 731 9423888 732 9480480 733 9487296 734 9512448 735 9514608 736 9539136 737 9558240 738 9570528 739 9573984 740 9584448 741 9607104 742 9667840 743 9678912 744 9692160 745 9703200 746 9708000 747 9736992 748 9746400 749 9747072 750 9776448 751 9790272 752 9790720 753 9814016 754 9816192 755 9839808 756 9865920 757 9869952 758 9876096 759 9978336 760 9981120 761 9986112 762 9995520 763 10020384 764 10040928 765 10044288 766 10058976 767 10111872 768 10125504 769 10151520 770 10159104 771 10160256 772 10164480 773 10183552 774 10285312 775 10285920 776 10287232 777 10325632 778 10332576 779 10332864 780 10339584 781 10362624 782 10387440 783 10413792 784 10453056 785 10485792 786 10494000 787 10505472 788 10508640 789 10541952 790 10566240 791 10569984 792 10626000 793 10629696 794 10630656 795 10635552 796 10652256 797 10660992 798 10681200 799 10708128 800 10731744 801 10745472 802 10758912 803 10791888 804 10795392 805 10797568 806 10809344 807 10817856 808 10818048 809 10820480 810 10865152 811 10868160 812 10882368 813 10884240 814 10901088 815 10959408 816 10977600 817 10984320 818 10998400 819 11035008 820 11077120 821 11102976 822 11108800 823 11111904 824 11127552 825 11134368 826 11143296 827 11161872 828 11174272 829 11244000 830 11252160 831 11286240 832 11323008 833 11325696 834 11355120 835 11355648 836 11368800 837 11386560 838 11398528 839 11398848 840 11400192 841 11416320 842 11438352 843 11442688 844 11443072 845 11447568 846 11456064 847 11469696 848 11477664 849 11480400 850 11486400 851 11520768 852 11536000 853 11548032 854 11580960 855 11596416 856 11615872 857 11661600 858 11661840 859 11698992 860 11717856 861 11722496 862 11723520 863 11731680 864 11733696 865 11739168 866 11753424 867 11763072 868 11785536 869 11875200 870 11878992 871 11880864 872 11887488 873 11902976 874 11903040 875 11903232 876 11905536 877 11927952 878 11956608 879 11974464 880 11978064 881 11979072 882 11986080 883 12016320 884 12017472 885 12023680 886 12033024 887 12042624 888 12077184 889 12077568 890 12114864 891 12127296 892 12128064 893 12147264 894 12190032 895 12199104 896 12203520 897 12208512 898 12214656 899 12279808 900 12292128 901 12298752 902 12299616 903 12307392 904 12351488 905 12357888 906 12396672 907 12439552 908 12451776 909 12458496 910 12468000 911 12489792 912 12494848 913 12501312 914 12511872 915 12523200 916 12523776 917 12542720 918 12547008 919 12547872 920 12562176 921 12652672 922 12680832 923 12686080 924 12690000 925 12692352 926 12694272 927 12717696 928 12729280 929 12743680 930 12753360 931 12758688 932 12769408 933 12779712 934 12782080 935 12788784 936 12828096 937 12883776 938 12884480 939 12884992 940 12919104 941 12952512 942 12974208 943 12980608 944 12987216 945 12999936 946 13000704 947 13028688 948 13054272 949 13057920 950 13109568 951 13119744 952 13125600 953 13153152 954 13168656 955 13192416 956 13208400 957 13232640 958 13247488 959 13253184 960 13255872 961 13259808 962 13284352 963 13288192 964 13299264 965 13300272 966 13300416 967 13336704 968 13344480 969 13351104 970 13352448 971 13354368 972 13356480 973 13360608 974 13381056 975 13382016 976 13390656 977 13403328 978 13428672 979 13493088 980 13506624 981 13518720 982 13525440 983 13544832 984 13551744 985 13554720 986 13590000 987 13595328 988 13636512 989 13650624 990 13660992 991 13677312 992 13682944 993 13686144 994 13693440 995 13771392 996 13776384 997 13784640 998 13800096 999 13805856 1000 13811200