# Optimal Taxman scores for N=1 through N=1000. # Generated by Brian Chess on September 10, 2022 using the code posted at https://github.com/bvchess/taxman/ 1 0 2 2 3 3 4 7 5 9 6 15 7 17 8 21 9 30 10 40 11 44 12 50 13 52 14 66 15 81 16 89 17 93 18 111 19 113 20 124 21 144 22 166 23 170 24 182 25 198 26 224 27 251 28 279 29 285 30 301 31 303 32 319 33 352 34 386 35 418 36 442 37 448 38 486 39 503 40 525 41 529 42 571 43 573 44 617 45 660 46 706 47 710 48 734 49 758 50 808 51 833 52 885 53 891 54 940 55 981 56 1017 57 1040 58 1098 59 1104 60 1137 61 1139 62 1201 63 1264 64 1296 65 1328 66 1394 67 1400 68 1468 69 1499 70 1566 71 1570 72 1642 73 1644 74 1718 75 1793 76 1869 77 1914 78 1991 79 1997 80 2041 81 2105 82 2187 83 2191 84 2263 85 2309 86 2395 87 2436 88 2496 89 2502 90 2552 91 2588 92 2680 93 2715 94 2809 95 2853 96 2901 97 2909 98 3007 99 3106 100 3164 101 3168 102 3270 103 3272 104 3332 105 3434 106 3540 107 3544 108 3652 109 3654 110 3764 111 3813 112 3925 113 3929 114 4043 115 4101 116 4217 117 4334 118 4452 119 4506 120 4593 121 4689 122 4811 123 4860 124 4984 125 5109 126 5191 127 5205 128 5301 129 5348 130 5478 131 5482 132 5572 133 5620 134 5754 135 5844 136 5928 137 5934 138 6072 139 6074 140 6164 141 6219 142 6361 143 6427 144 6523 145 6599 146 6745 147 6892 148 7040 149 7050 150 7137 151 7139 152 7223 153 7376 154 7530 155 7598 156 7688 157 7694 158 7852 159 7917 160 8005 161 8071 162 8233 163 8239 164 8403 165 8568 166 8734 167 8738 168 8906 169 8954 170 9124 171 9295 172 9467 173 9473 174 9647 175 9822 176 9985 177 10056 178 10234 179 10240 180 10401 181 10403 182 10543 183 10608 184 10744 185 10836 186 11022 187 11132 188 11320 189 11447 190 11637 191 11647 192 11787 193 11789 194 11983 195 12164 196 12332 197 12336 198 12471 199 12473 200 12648 201 12727 202 12929 203 13017 204 13146 205 13240 206 13446 207 13653 208 13832 209 13922 210 14066 211 14078 212 14290 213 14369 214 14583 215 14675 216 14834 217 14906 218 15124 219 15201 220 15346 221 15424 222 15646 223 15658 224 15827 225 15952 226 16178 227 16182 228 16308 229 16310 230 16540 231 16771 232 16911 233 16915 234 17068 235 17174 236 17410 237 17501 238 17739 239 17745 240 17877 241 17879 242 18121 243 18364 244 18608 245 18853 246 19099 247 19159 248 19291 249 19382 250 19533 251 19543 252 19795 253 19915 254 20169 255 20424 256 20552 257 20558 258 20816 259 20920 260 21075 261 21336 262 21598 263 21604 264 21859 265 21983 266 22249 267 22350 268 22618 269 22624 270 22894 271 22896 272 23142 273 23404 274 23678 275 23953 276 24115 277 24121 278 24399 279 24678 280 24934 281 24938 282 25220 283 25222 284 25506 285 25791 286 26077 287 26179 288 26395 289 26515 290 26805 291 26918 292 27210 293 27220 294 27514 295 27650 296 27822 297 28041 298 28339 299 28429 300 28691 301 28787 302 29089 303 29198 304 29430 305 29558 306 29796 307 29810 308 30031 309 30138 310 30448 311 30452 312 30719 313 30721 314 31035 315 31248 316 31564 317 31568 318 31886 319 32044 320 32289 321 32404 322 32726 323 32828 324 33074 325 33396 326 33722 327 33835 328 34015 329 34129 330 34354 331 34368 332 34700 333 35033 334 35367 335 35519 336 35774 337 35780 338 36118 339 36239 340 36449 341 36587 342 36827 343 37170 344 37350 345 37695 346 38041 347 38051 348 38261 349 38263 350 38463 351 38715 352 38955 353 38959 354 39313 355 39467 356 39823 357 40167 358 40525 359 40531 360 40731 361 40803 362 41165 363 41528 364 41769 365 41921 366 42287 367 42295 368 42625 369 42994 370 43364 371 43500 372 43698 373 43704 374 44078 375 44328 376 44532 377 44656 378 45034 379 45040 380 45266 381 45421 382 45803 383 45807 384 45999 385 46384 386 46770 387 47157 388 47545 389 47551 390 47770 391 47914 392 48306 393 48445 394 48839 395 49015 396 49409 397 49417 398 49815 399 50197 400 50437 401 50441 402 50843 403 50927 404 51331 405 51729 406 52135 407 52325 408 52693 409 52701 410 53111 411 53260 412 53672 413 53820 414 54120 415 54298 416 54554 417 54697 418 55115 419 55125 420 55509 421 55511 422 55933 423 56356 424 56592 425 57010 426 57436 427 57568 428 57996 429 58402 430 58832 431 58842 432 59259 433 59261 434 59695 435 60130 436 60566 437 60680 438 61118 439 61124 440 61540 441 61886 442 62328 443 62332 444 62590 445 62786 446 63232 447 63401 448 63837 449 63843 450 64214 451 64406 452 64858 453 65013 454 65467 455 65757 456 66025 457 66033 458 66491 459 66922 460 67344 461 67348 462 67760 463 67762 464 68122 465 68587 466 69053 467 69057 468 69350 469 69514 470 69984 471 70153 472 70413 473 70599 474 71073 475 71440 476 71889 477 72366 478 72844 479 72856 480 73120 481 73260 482 73742 483 74098 484 74558 485 74776 486 75247 487 75255 488 75507 489 75682 490 76172 491 76176 492 76446 493 76640 494 77134 495 77533 496 77925 497 78087 498 78585 499 78593 500 78934 501 79109 502 79611 503 79615 504 80119 505 80333 506 80839 507 81110 508 81618 509 81624 510 82085 511 82241 512 82497 513 82938 514 83452 515 83664 516 83934 517 84150 518 84668 519 84853 520 85221 521 85233 522 85695 523 85697 524 86221 525 86616 526 87142 527 87292 528 87654 529 87822 530 88352 531 88883 532 89286 533 89412 534 89946 535 90172 536 90464 537 90655 538 91193 539 91703 540 92123 541 92141 542 92683 543 92868 544 93256 545 93480 546 93844 547 93850 548 94398 549 94947 550 95304 551 95464 552 95995 553 96183 554 96737 555 97292 556 97848 557 97858 558 98218 559 98326 560 98686 561 99247 562 99809 563 99815 564 100121 565 100359 566 100925 567 101487 568 101787 569 101793 570 102125 571 102127 572 102472 573 102683 574 103257 575 103832 576 104224 577 104230 578 104808 579 105005 580 105401 581 105587 582 106169 583 106423 584 106723 585 107080 586 107666 587 107676 588 108264 589 108360 590 108950 591 109155 592 109685 593 109691 594 110282 595 110860 596 111456 597 111659 598 112257 599 112263 600 112623 601 112625 602 113227 603 113830 604 114434 605 115039 606 115645 607 115651 608 115988 609 116573 610 117183 611 117321 612 117933 613 117939 614 118553 615 119168 616 119767 617 119771 618 120389 619 120391 620 120761 621 121217 622 121839 623 122047 624 122408 625 122854 626 123480 627 124107 628 124735 629 124961 630 125570 631 125582 632 125922 633 126157 634 126791 635 127087 636 127441 637 128034 638 128672 639 129311 640 129663 641 129673 642 130315 643 130317 644 130757 645 131402 646 132048 647 132052 648 132700 649 132978 650 133408 651 134030 652 134682 653 134688 654 135342 655 135616 656 136177 657 136834 658 137492 659 137498 660 138099 661 138101 662 138763 663 139338 664 139686 665 140313 666 140855 667 141085 668 141753 669 142000 670 142670 671 142928 672 143600 673 143612 674 144286 675 144814 676 145386 677 145390 678 146068 679 146302 680 146826 681 147061 682 147743 683 147749 684 148195 685 148487 686 149173 687 149406 688 149894 689 150066 690 150704 691 150712 692 151404 693 151975 694 152669 695 152953 696 153495 697 153711 698 154409 699 154650 700 155113 701 155123 702 155601 703 155777 704 156257 705 156962 706 157668 707 157890 708 158280 709 158288 710 158998 711 159709 712 160089 713 160251 714 160931 715 161449 716 162165 717 162416 718 163134 719 163144 720 163544 721 163760 722 164482 723 164727 724 165451 725 165969 726 166695 727 166703 728 167188 729 167917 730 168647 731 168845 732 169223 733 169229 734 169963 735 170698 736 171327 737 171637 738 172281 739 172287 740 172899 741 173266 742 174008 743 174012 744 174516 745 174844 746 175590 747 176337 748 177085 749 177319 750 177803 751 177811 752 178341 753 178612 754 179366 755 179674 756 180426 757 180432 758 181190 759 181711 760 182165 761 182169 762 182931 763 183159 764 183923 765 184654 766 185420 767 185604 768 185988 769 185996 770 186713 771 186982 772 187754 773 187758 774 188442 775 189000 776 189420 777 189905 778 190683 779 190833 780 191325 781 191637 782 192419 783 193202 784 193986 785 194318 786 195104 787 195118 788 195906 789 196181 790 196971 791 197217 792 197992 793 198136 794 198930 795 199725 796 200521 797 200531 798 201250 799 201490 800 201990 801 202791 802 203593 803 203899 804 204337 805 204916 806 205722 807 206003 808 206423 809 206435 810 207230 811 207232 812 208044 813 208319 814 209133 815 209477 816 210180 817 210300 818 211118 819 211831 820 212343 821 212353 822 213175 823 213177 824 213597 825 214174 826 215000 827 215004 828 215832 829 215834 830 216664 831 216953 832 217575 833 218226 834 219060 835 219406 836 220069 837 220684 838 221522 839 221532 840 222172 841 222484 842 223326 843 223615 844 224459 845 225251 846 225839 847 226661 848 227415 849 227702 850 228294 851 228556 852 229006 853 229020 854 229874 855 230442 856 230886 857 230890 858 231418 859 231420 860 231911 861 232735 862 233597 863 233601 864 234257 865 234621 866 235487 867 236245 868 236864 869 237222 870 237771 871 237971 872 238415 873 239288 874 240162 875 240739 876 241189 877 241203 878 242081 879 242394 880 242974 881 242978 882 243860 883 243862 884 244504 885 245389 886 246275 887 246279 888 247097 889 247421 890 248311 891 249202 892 250094 893 250256 894 251150 895 251526 896 252202 897 252994 898 253892 899 254124 900 254657 901 254947 902 255849 903 256711 904 257179 905 257547 906 258453 907 258473 908 259381 909 260290 910 260815 911 260819 912 261323 913 261683 914 262597 915 263512 916 264428 917 264710 918 265628 919 265636 920 266544 921 266879 922 267801 923 267987 924 268911 925 269807 926 270733 927 271660 928 272220 929 272230 930 272754 931 273566 932 274498 933 274817 934 275751 935 276679 936 277300 937 277308 938 278246 939 278563 940 279137 941 279141 942 280083 943 280323 944 281129 945 282024 946 282970 947 282976 948 283486 949 283654 950 284306 951 284631 952 285583 953 285589 954 286318 955 286730 956 287686 957 288636 958 289594 959 289898 960 290426 961 290546 962 291508 963 292471 964 293435 965 293827 966 294534 967 294548 968 295510 969 296226 970 297196 971 297200 972 298172 973 298460 974 299434 975 300205 976 300957 977 300963 978 301941 979 302339 980 303319 981 304300 982 305282 983 305288 984 306134 985 306540 986 307526 987 308235 988 308949 989 309159 990 310049 991 310057 992 310690 993 311049 994 312043 995 312447 996 312969 997 312975 998 313973 999 314764 1000 315426