# Computed using the Mathematica program that I contributed to this sequence 0 0 1 12 2 64 3 156 4 288 5 460 6 672 7 924 8 1216 9 1548 10 1920 11 2332 12 2784 13 3276 14 3808 15 4380 16 4992 17 5644 18 6336 19 7068 20 7840 21 8652 22 9504 23 10396 24 11328 25 12300 26 13312 27 14364 28 15456 29 16588 30 17760 31 18972 32 20224 33 21516 34 22848 35 24220 36 25632 37 27084 38 28576 39 30108 40 31680 41 33292 42 34944 43 36636 44 38368 45 40140 46 41952 47 43804 48 45696 49 47628 50 49600 51 51612 52 53664 53 55756 54 57888 55 60060 56 62272 57 64524 58 66816 59 69148 60 71520 61 73932 62 76384 63 78876 64 81408 65 83980 66 86592 67 89244 68 91936 69 94668 70 97440 71 100252 72 103104 73 105996 74 108928 75 111900 76 114912 77 117964 78 121056 79 124188 80 127360 81 130572 82 133824 83 137116 84 140448 85 143820 86 147232 87 150684 88 154176 89 157708 90 161280 91 164892 92 168544 93 172236 94 175968 95 179740 96 183552 97 187404 98 191296 99 195228 100 199200 101 203212 102 207264 103 211356 104 215488 105 219660 106 223872 107 228124 108 232416 109 236748 110 241120 111 245532 112 249984 113 254476 114 259008 115 263580 116 268192 117 272844 118 277536 119 282268 120 287040 121 291852 122 296704 123 301596 124 306528 125 311500 126 316512 127 321564 128 326656 129 331788 130 336960 131 342172 132 347424 133 352716 134 358048 135 363420 136 368832 137 374284 138 379776 139 385308 140 390880 141 396492 142 402144 143 407836 144 413568 145 419340 146 425152 147 431004 148 436896 149 442828 150 448800 151 454812 152 460864 153 466956 154 473088 155 479260 156 485472 157 491724 158 498016 159 504348 160 510720 161 517132 162 523584 163 530076 164 536608 165 543180 166 549792 167 556444 168 563136 169 569868 170 576640 171 583452 172 590304 173 597196 174 604128 175 611100 176 618112 177 625164 178 632256 179 639388 180 646560 181 653772 182 661024 183 668316 184 675648 185 683020 186 690432 187 697884 188 705376 189 712908 190 720480 191 728092 192 735744 193 743436 194 751168 195 758940 196 766752 197 774604 198 782496 199 790428 200 798400 201 806412 202 814464 203 822556 204 830688 205 838860 206 847072 207 855324 208 863616 209 871948 210 880320 211 888732 212 897184 213 905676 214 914208 215 922780 216 931392 217 940044 218 948736 219 957468 220 966240 221 975052 222 983904 223 992796 224 1001728 225 1010700 226 1019712 227 1028764 228 1037856 229 1046988 230 1056160 231 1065372 232 1074624 233 1083916 234 1093248 235 1102620 236 1112032 237 1121484 238 1130976 239 1140508 240 1150080 241 1159692 242 1169344 243 1179036 244 1188768 245 1198540 246 1208352 247 1218204 248 1228096 249 1238028 250 1248000 251 1258012 252 1268064 253 1278156 254 1288288 255 1298460 256 1308672 257 1318924 258 1329216 259 1339548 260 1349920 261 1360332 262 1370784 263 1381276 264 1391808 265 1402380 266 1412992 267 1423644 268 1434336 269 1445068 270 1455840 271 1466652 272 1477504 273 1488396 274 1499328 275 1510300 276 1521312 277 1532364 278 1543456 279 1554588 280 1565760 281 1576972 282 1588224 283 1599516 284 1610848 285 1622220 286 1633632 287 1645084 288 1656576 289 1668108 290 1679680 291 1691292 292 1702944 293 1714636 294 1726368 295 1738140 296 1749952 297 1761804 298 1773696 299 1785628 300 1797600 301 1809612 302 1821664 303 1833756 304 1845888 305 1858060 306 1870272 307 1882524 308 1894816 309 1907148 310 1919520 311 1931932 312 1944384 313 1956876 314 1969408 315 1981980 316 1994592 317 2007244 318 2019936 319 2032668 320 2045440 321 2058252 322 2071104 323 2083996 324 2096928 325 2109900 326 2122912 327 2135964 328 2149056 329 2162188 330 2175360 331 2188572 332 2201824 333 2215116 334 2228448 335 2241820 336 2255232 337 2268684 338 2282176 339 2295708 340 2309280 341 2322892 342 2336544 343 2350236 344 2363968 345 2377740 346 2391552 347 2405404 348 2419296 349 2433228 350 2447200 351 2461212 352 2475264 353 2489356 354 2503488 355 2517660 356 2531872 357 2546124 358 2560416 359 2574748 360 2589120 361 2603532 362 2617984 363 2632476 364 2647008 365 2661580 366 2676192 367 2690844 368 2705536 369 2720268 370 2735040 371 2749852 372 2764704 373 2779596 374 2794528 375 2809500 376 2824512 377 2839564 378 2854656 379 2869788 380 2884960 381 2900172 382 2915424 383 2930716 384 2946048 385 2961420 386 2976832 387 2992284 388 3007776 389 3023308 390 3038880 391 3054492 392 3070144 393 3085836 394 3101568 395 3117340 396 3133152 397 3149004 398 3164896 399 3180828 400 3196800 401 3212812 402 3228864 403 3244956 404 3261088 405 3277260 406 3293472 407 3309724 408 3326016 409 3342348 410 3358720 411 3375132 412 3391584 413 3408076 414 3424608 415 3441180 416 3457792 417 3474444 418 3491136 419 3507868 420 3524640 421 3541452 422 3558304 423 3575196 424 3592128 425 3609100 426 3626112 427 3643164 428 3660256 429 3677388 430 3694560 431 3711772 432 3729024 433 3746316 434 3763648 435 3781020 436 3798432 437 3815884 438 3833376 439 3850908 440 3868480 441 3886092 442 3903744 443 3921436 444 3939168 445 3956940 446 3974752 447 3992604 448 4010496 449 4028428 450 4046400 451 4064412 452 4082464 453 4100556 454 4118688 455 4136860 456 4155072 457 4173324 458 4191616 459 4209948 460 4228320 461 4246732 462 4265184 463 4283676 464 4302208 465 4320780 466 4339392 467 4358044 468 4376736 469 4395468 470 4414240 471 4433052 472 4451904 473 4470796 474 4489728 475 4508700 476 4527712 477 4546764 478 4565856 479 4584988 480 4604160 481 4623372 482 4642624 483 4661916 484 4681248 485 4700620 486 4720032 487 4739484 488 4758976 489 4778508 490 4798080 491 4817692 492 4837344 493 4857036 494 4876768 495 4896540 496 4916352 497 4936204 498 4956096 499 4976028 500 4996000 501 5016012 502 5036064 503 5056156 504 5076288 505 5096460 506 5116672 507 5136924 508 5157216 509 5177548 510 5197920 511 5218332 512 5238784 513 5259276 514 5279808 515 5300380 516 5320992 517 5341644 518 5362336 519 5383068 520 5403840 521 5424652 522 5445504 523 5466396 524 5487328 525 5508300 526 5529312 527 5550364 528 5571456 529 5592588 530 5613760 531 5634972 532 5656224 533 5677516 534 5698848 535 5720220 536 5741632 537 5763084 538 5784576 539 5806108 540 5827680 541 5849292 542 5870944 543 5892636 544 5914368 545 5936140 546 5957952 547 5979804 548 6001696 549 6023628 550 6045600 551 6067612 552 6089664 553 6111756 554 6133888 555 6156060 556 6178272 557 6200524 558 6222816 559 6245148 560 6267520 561 6289932 562 6312384 563 6334876 564 6357408 565 6379980 566 6402592 567 6425244 568 6447936 569 6470668 570 6493440 571 6516252 572 6539104 573 6561996 574 6584928 575 6607900 576 6630912 577 6653964 578 6677056 579 6700188 580 6723360 581 6746572 582 6769824 583 6793116 584 6816448 585 6839820 586 6863232 587 6886684 588 6910176 589 6933708 590 6957280 591 6980892 592 7004544 593 7028236 594 7051968 595 7075740 596 7099552 597 7123404 598 7147296 599 7171228 600 7195200 601 7219212 602 7243264 603 7267356 604 7291488 605 7315660 606 7339872 607 7364124 608 7388416 609 7412748 610 7437120 611 7461532 612 7485984 613 7510476 614 7535008 615 7559580 616 7584192 617 7608844 618 7633536 619 7658268 620 7683040 621 7707852 622 7732704 623 7757596 624 7782528 625 7807500 626 7832512 627 7857564 628 7882656 629 7907788 630 7932960 631 7958172 632 7983424 633 8008716 634 8034048 635 8059420 636 8084832 637 8110284 638 8135776 639 8161308 640 8186880 641 8212492 642 8238144 643 8263836 644 8289568 645 8315340 646 8341152 647 8367004 648 8392896 649 8418828 650 8444800 651 8470812 652 8496864 653 8522956 654 8549088 655 8575260 656 8601472 657 8627724 658 8654016 659 8680348 660 8706720 661 8733132 662 8759584 663 8786076 664 8812608 665 8839180 666 8865792 667 8892444 668 8919136 669 8945868 670 8972640 671 8999452 672 9026304 673 9053196 674 9080128 675 9107100 676 9134112 677 9161164 678 9188256 679 9215388 680 9242560 681 9269772 682 9297024 683 9324316 684 9351648 685 9379020 686 9406432 687 9433884 688 9461376 689 9488908 690 9516480 691 9544092 692 9571744 693 9599436 694 9627168 695 9654940 696 9682752 697 9710604 698 9738496 699 9766428 700 9794400 701 9822412 702 9850464 703 9878556 704 9906688 705 9934860 706 9963072 707 9991324 708 10019616 709 10047948 710 10076320 711 10104732 712 10133184 713 10161676 714 10190208 715 10218780 716 10247392 717 10276044 718 10304736 719 10333468 720 10362240 721 10391052 722 10419904 723 10448796 724 10477728 725 10506700 726 10535712 727 10564764 728 10593856 729 10622988 730 10652160 731 10681372 732 10710624 733 10739916 734 10769248 735 10798620 736 10828032 737 10857484 738 10886976 739 10916508 740 10946080 741 10975692 742 11005344 743 11035036 744 11064768 745 11094540 746 11124352 747 11154204 748 11184096 749 11214028 750 11244000 751 11274012 752 11304064 753 11334156 754 11364288 755 11394460 756 11424672 757 11454924 758 11485216 759 11515548 760 11545920 761 11576332 762 11606784 763 11637276 764 11667808 765 11698380 766 11728992 767 11759644 768 11790336 769 11821068 770 11851840 771 11882652 772 11913504 773 11944396 774 11975328 775 12006300 776 12037312 777 12068364 778 12099456 779 12130588 780 12161760 781 12192972 782 12224224 783 12255516 784 12286848 785 12318220 786 12349632 787 12381084 788 12412576 789 12444108 790 12475680 791 12507292 792 12538944 793 12570636 794 12602368 795 12634140 796 12665952 797 12697804 798 12729696 799 12761628 800 12793600 801 12825612 802 12857664 803 12889756 804 12921888 805 12954060 806 12986272 807 13018524 808 13050816 809 13083148 810 13115520 811 13147932 812 13180384 813 13212876 814 13245408 815 13277980 816 13310592 817 13343244 818 13375936 819 13408668 820 13441440 821 13474252 822 13507104 823 13539996 824 13572928 825 13605900 826 13638912 827 13671964 828 13705056 829 13738188 830 13771360 831 13804572 832 13837824 833 13871116 834 13904448 835 13937820 836 13971232 837 14004684 838 14038176 839 14071708 840 14105280 841 14138892 842 14172544 843 14206236 844 14239968 845 14273740 846 14307552 847 14341404 848 14375296 849 14409228 850 14443200 851 14477212 852 14511264 853 14545356 854 14579488 855 14613660 856 14647872 857 14682124 858 14716416 859 14750748 860 14785120 861 14819532 862 14853984 863 14888476 864 14923008 865 14957580 866 14992192 867 15026844 868 15061536 869 15096268 870 15131040 871 15165852 872 15200704 873 15235596 874 15270528 875 15305500 876 15340512 877 15375564 878 15410656 879 15445788 880 15480960 881 15516172 882 15551424 883 15586716 884 15622048 885 15657420 886 15692832 887 15728284 888 15763776 889 15799308 890 15834880 891 15870492 892 15906144 893 15941836 894 15977568 895 16013340 896 16049152 897 16085004 898 16120896 899 16156828 900 16192800 901 16228812 902 16264864 903 16300956 904 16337088 905 16373260 906 16409472 907 16445724 908 16482016 909 16518348 910 16554720 911 16591132 912 16627584 913 16664076 914 16700608 915 16737180 916 16773792 917 16810444 918 16847136 919 16883868 920 16920640 921 16957452 922 16994304 923 17031196 924 17068128 925 17105100 926 17142112 927 17179164 928 17216256 929 17253388 930 17290560 931 17327772 932 17365024 933 17402316 934 17439648 935 17477020 936 17514432 937 17551884 938 17589376 939 17626908 940 17664480 941 17702092 942 17739744 943 17777436 944 17815168 945 17852940 946 17890752 947 17928604 948 17966496 949 18004428 950 18042400 951 18080412 952 18118464 953 18156556 954 18194688 955 18232860 956 18271072 957 18309324 958 18347616 959 18385948 960 18424320 961 18462732 962 18501184 963 18539676 964 18578208 965 18616780 966 18655392 967 18694044 968 18732736 969 18771468 970 18810240 971 18849052 972 18887904 973 18926796 974 18965728 975 19004700 976 19043712 977 19082764 978 19121856 979 19160988 980 19200160 981 19239372 982 19278624 983 19317916 984 19357248 985 19396620 986 19436032 987 19475484 988 19514976 989 19554508 990 19594080 991 19633692 992 19673344 993 19713036 994 19752768 995 19792540 996 19832352 997 19872204 998 19912096 999 19952028 1000 19992000