4 5
5 36
6 147
7 448
8 1134
9 2520
10 5082
11 9504
12 16731
13 28028
14 45045
15 69888
16 105196
17 154224
18 220932
19 310080
20 427329
21 579348
22 773927
23 1020096
24 1328250
25 1710280
26 2179710
27 2751840
28 3443895
29 4275180
30 5267241
31 6444032
32 7832088
33 9460704
34 11362120
35 13571712
36 16128189
37 19073796
38 22454523
39 26320320
40 30725318
41 35728056
42 41391714
43 47784352
44 54979155
45 63054684
46 72095133
47 82190592
48 93437316
49 105938000
50 119802060
51 135145920
52 152093305
53 170775540
54 191331855
55 213909696
56 238665042
57 265762728
58 295376774
59 327690720
60 362897967
61 401202124
62 442817361
63 487968768
64 536892720
65 589837248
66 647062416
67 708840704
68 775457397
69 847210980
70 924413539
71 1007391168
72 1096484382
73 1192048536
74 1294454250
75 1404087840
76 1521351755
77 1646665020
78 1780463685
79 1923201280
80 2075349276
81 2237397552
82 2409854868
83 2593249344
84 2788128945
85 2995061972
86 3214637559
87 3447466176
88 3694180138
89 3955434120
90 4231905678
91 4524295776
92 4833329319
93 5159755692
94 5504349305
95 5867910144
96 6251264328
97 6655264672
98 7080791256
99 7528752000
100 8000083245
101 8495750340
102 9016748235
103 9564102080
104 10138867830
105 10742132856
106 11375016562
107 12038671008
108 12734281539
109 13463067420
110 14226282477
111 15025215744
112 15861192116
113 16735573008
114 17649757020
115 18605180608
116 19603318761
117 20645685684
118 21733835487
119 22869362880
120 24053903874
121 25289136488
122 26576781462
123 27918602976
124 29316409375
125 30772053900
126 32287435425
127 33864499200
128 35505237600
129 37211690880
130 38985947936
131 40830147072
132 42746476773
133 44737176484
134 46804537395
135 48950903232
136 51178671054
137 53490292056
138 55888272378
139 58375173920
140 60953615163
141 63626271996
142 66395878549
143 69265228032
144 72237173580
145 75314629104
146 78500570148
147 81798034752
148 85210124321
149 88740004500
150 92390906055
151 96166125760
152 100069027290
153 104103042120
154 108271670430
155 112578482016
156 117027117207
157 121621287788
158 126364777929
159 131261445120
160 136315221112
161 141530112864
162 146910203496
163 152459653248
164 158182700445
165 164083662468
166 170166936731
167 176437001664
168 182898417702
169 189555828280
170 196413960834
171 203477627808
172 210751727667
173 218241245916
174 225951256125
175 233886920960
176 242053493220
177 250456316880
178 259100828140
179 267992556480
180 277137125721
181 286540255092
182 296207760303
183 306145554624
184 316359649970
185 326856157992
186 337641291174
187 348721363936
188 360102793743
189 371792102220
190 383795916273
191 396120969216
192 408774101904
193 421762263872
194 435092514480
195 448772024064
196 462808075093
197 477208063332
198 491979499011
199 507130008000
200 522667332990
201 538599334680
202 554933992970
203 571679408160
204 588843802155
205 606435519676
206 624463029477
207 642934925568
208 661859928444
209 681246886320
210 701104776372
211 721442705984
212 742269914001
213 763595771988
214 785429785495
215 807781595328
216 830660978826
217 854077851144
218 878042266542
219 902564419680
220 927654646919
221 953323427628
222 979581385497
223 1006439289856
224 1033908057000
225 1061998751520
226 1090722587640
227 1120090930560
228 1150115297805
229 1180807360580
230 1212178945131
231 1244242034112
232 1277008767958
233 1310491446264
234 1344702529170
235 1379654638752
236 1415360560419
237 1451833244316
238 1489085806733
239 1527131531520
240 1565983871508
241 1605656449936
242 1646163061884
243 1687517675712
244 1729734434505
245 1772827657524
246 1816811841663
247 1861701662912
248 1907511977826
249 1954257825000
250 2001954426550
251 2050617189600
252 2100261707775
253 2150903762700
254 2202559325505
255 2255244558336
256 2308975815872
257 2363769646848
258 2419642795584
259 2476612203520
260 2534695010757
261 2593908557604
262 2654270386131
263 2715798241728
264 2778510074670
265 2842424041688
266 2907558507546
267 2973932046624
268 3041563444507
269 3110471699580
270 3180676024629
271 3252195848448
272 3325050817452
273 3399260797296
274 3474845874500
275 3551826358080
276 3630222781185
277 3710055902740
278 3791346709095
279 3874116415680
280 3958386468666
281 4044178546632
282 4131514562238
283 4220416663904
284 4310907237495
285 4403008908012
286 4496744541289
287 4592137245696
288 4689210373848
289 4787987524320
290 4888492543368
291 4990749526656
292 5094782820989
293 5200617026052
294 5308276996155
295 5417787841984
296 5529174932358
297 5642463895992
298 5757680623266
299 5874851268000
300 5994002249235
301 6115160253020
302 6238352234205
303 6363605418240
304 6490947302980
305 6620405660496
306 6752008538892
307 6885784264128
308 7021761441849
309 7159968959220
310 7300435986767
311 7443191980224
312 7588266682386
313 7735690124968
314 7885492630470
315 8037704814048
316 8192357585391
317 8349482150604
318 8509110014097
319 8671272980480
320 8836003156464
321 9003332952768
322 9173295086032
323 9345922580736
324 9521248771125
325 9699307303140
326 9880132136355
327 10063757545920
328 10250218124510
329 10439548784280
330 10631784758826
331 10826961605152
332 11025115205643
333 11226281770044
334 11430497837445
335 11637800278272
336 11848226296284
337 12061813430576
338 12278599557588
339 12498622893120
340 12721921994353
341 12948535761876
342 13178503441719
343 13411864627392
344 13648659261930
345 13888927639944
346 14132710409678
347 14380048575072
348 14630983497831
349 14885556899500
350 15143810863545
351 15405787837440
352 15671530634760
353 15941082437280
354 16214486797080
355 16491787638656
356 16773029261037
357 17058256339908
358 17347513929739
359 17640847465920
360 17938302766902
361 18239926036344
362 18545763865266
363 18855863234208
364 19170271515395
365 19489036474908
366 19812206274861
367 20139829475584
368 20471955037812
369 20808632324880
370 21149911104924
371 21495841553088
372 21846474253737
373 22201860202676
374 22562050809375
375 22927097899200
376 23297053715650
377 23671970922600
378 24051902606550
379 24436902278880
380 24827023878111
381 25222321772172
382 25622850760673
383 26028666077184
384 26439823391520
385 26856378812032
386 27278388887904
387 27705910611456
388 28139001420453
389 28577719200420
390 29022122286963
391 29472269468096
392 29928219986574
393 30390033542232
394 30857770294330
395 31331490863904
396 31811256336123
397 32297128262652
398 32789168664021
399 33287440032000
400 33792005331980
401 34302928005360
402 34820271971940
403 35344101632320
404 35874481870305
405 36411478055316
406 36955156044807
407 37505582186688
408 38062823321754
409 38626946786120
410 39198020413662
411 39776112538464
412 40361291997271
413 40953628131948
414 41553190791945
415 42160050336768
416 42774277638456
417 43395944084064
418 44025121578152
419 44661882545280
420 45306299932509
421 45958447211908
422 46618398383067
423 47286227975616
424 47962011051750
425 48645823208760
426 49337740581570
427 50037839845280
428 50746198217715
429 51462893461980
430 52188003889021
431 52921608360192
432 53663786289828
433 54414617647824
434 55174182962220
435 55942563321792
436 56719840378649
437 57506096350836
438 58301414024943
439 59105876758720
440 59919568483698
441 60742573707816
442 61574977518054
443 62416865583072
444 63268324155855
445 64129440076364
446 65000300774193
447 65880994271232
448 66771609184336
449 67672234728000
450 68582960717040
451 69503877569280
452 70435076308245
453 71376648565860
454 72328686585155
455 73291283222976
456 74264531952702
457 75248526866968
458 76243362680394
459 77249134732320
460 78265938989547
461 79293872049084
462 80333031140901
463 81383514130688
464 82445419522620
465 83518846462128
466 84603894738676
467 85700664788544
468 86809257697617
469 87929775204180
470 89062319701719
471 90206994241728
472 91363902536522
473 92533148962056
474 93714838560750
475 94909077044320
476 96115970796615
477 97335626876460
478 98568153020505
479 99813657646080
480 101072249854056
481 102344039431712
482 103629136855608
483 104927653294464
484 106239700612045
485 107565391370052
486 108904838831019
487 110258156961216
488 111625460433558
489 113006864630520
490 114402485647058
491 115812440293536
492 117236846098659
493 118675821312412
494 120129484909005
495 121597956589824
496 123081356786388
497 124579806663312
498 126093428121276
499 127622343800000
500 129166677081225
501 130726552091700
502 132302093706175
503 133893427550400
504 135500680004130
505 137123978204136
506 138763450047222
507 140419224193248
508 142091430068159
509 143780197867020
510 145485658557057
511 147207943880704
512 148947186358656
513 150703519292928
514 152477076769920
515 154267993663488
516 156076405638021
517 157902449151524
518 159746261458707
519 161607980614080
520 163487745475054
521 165385695705048
522 167301971776602
523 169236714974496
524 171190067398875
525 173162171968380
526 175153172423285
527 177163213328640
528 179192440077420
529 181240998893680
530 183309036835716
531 185396701799232
532 187504142520513
533 189631508579604
534 191778950403495
535 193946619269312
536 196134667307514
537 198343247505096
538 200572513708798
539 202822620628320
540 205093723839543
541 207385979787756
542 209699545790889
543 212034580042752
544 214391241616280
545 216769690466784
546 219170087435208
547 221592594251392
548 224037373537341
549 226504588810500
550 228994404487035
551 231506985885120
552 234042499228230
553 236601111648440
554 239182991189730
555 241788306811296
556 244417228390867
557 247069926728028
558 249746573547549
559 252447341502720
560 255172404178692
561 257921936095824
562 260696112713036
563 263495110431168
564 266319106596345
565 269168279503348
566 272042808398991
567 274942873485504
568 277868655923922
569 280820337837480
570 283798102315014
571 286802133414368
572 289832616165807
573 292889736575436
574 295973681628625
575 299084639293440
576 302222798524080
577 305388349264320
578 308581482450960
579 311802390017280
580 315051264896501
581 318328301025252
582 321633693347043
583 324967637815744
584 328330331399070
585 331721972082072
586 335142758870634
587 338592891794976
588 342072571913163
589 345582001314620
590 349121383123653
591 352690921502976
592 356290821657244
593 359921289836592
594 363582533340180
595 367274760519744
596 370998180783153
597 374753004597972
598 378539443495031
599 382357710072000
600 386208017996970
601 390090582012040
602 394005617936910
603 397953342672480
604 401933974204455
605 405947731606956
606 409994835046137
607 414075505783808
608 418189966181064
609 422338439701920
610 426521150916952
611 430738325506944
612 434990190266541
613 439276973107908
614 443598903064395
615 447956210294208
616 452349126084086
617 456777882852984
618 461242714155762
619 465743854686880
620 470281540284099
621 474856007932188
622 479467495766637
623 484116243077376
624 488802490312500
625 493526479082000
626 498288452161500
627 503088653496000
628 507927328203625
629 512804722579380
630 517721084098911
631 522676661422272
632 527671704397698
633 532706464065384
634 537781192661270
635 542896143620832
636 548051571582879
637 553247732393356
638 558484883109153
639 563763282001920
640 569083188561888
641 574444863501696
642 579848568760224
643 585294567506432
644 590783124143205
645 596314504311204
646 601888974892723
647 607506804015552
648 613168261056846
649 618873616647000
650 624623142673530
651 630417112284960
652 636255799894715
653 642139481185020
654 648068433110805
655 654042933903616
656 660063263075532
657 666129701423088
658 672242531031204
659 678402035277120
660 684608498834337
661 690862207676564
662 697163449081671
663 703512511635648
664 709909685236570
665 716355261098568
666 722849531755806
667 729392791066464
668 735985334216727
669 742627457724780
670 749319459444809
671 756061638571008
672 762854295641592
673 769697732542816
674 776592252513000
675 783538160146560
676 790535761398045
677 797585363586180
678 804687275397915
679 811841806892480
680 819049269505446
681 826309976052792
682 833624240734978
683 840992379141024
684 848414708252595
685 855891546448092
686 863423213506749
687 871010030612736
688 878652320359268
689 886350406752720
690 894104615216748
691 901915272596416
692 909782707162329
693 917707248614772
694 925689228087855
695 933728978153664
696 941826832826418
697 949983127566632
698 958198199285286
699 966472386348000
700 974806028579215
701 983199467266380
702 991653045164145
703 1000167106498560
704 1008741996971280
705 1017378063763776
706 1026075655541552
707 1034835122458368
708 1043656816160469
709 1052541089790820
710 1061488297993347
711 1070498796917184
712 1079572944220926
713 1088711099076888
714 1097913622175370
715 1107180875728928
716 1116513223476651
717 1125911030688444
718 1135374664169317
719 1144904492263680
720 1154500884859644
721 1164164213393328
722 1173894850853172
723 1183693171784256
724 1193559552292625
725 1203494370049620
726 1213498004296215
727 1223570835847360
728 1233713247096330
729 1243925622019080
730 1254208346178606
731 1264561806729312
732 1274986392421383
733 1285482493605164
734 1296050502235545
735 1306690811876352
736 1317403817704744
737 1328189916515616
738 1339049506726008
739 1349982988379520
740 1360990763150733
741 1372073234349636
742 1383230806926059
743 1394463887474112
744 1405772884236630
745 1417158207109624
746 1428620267646738
747 1440159479063712
748 1451776256242851
749 1463471015737500
750 1475244175776525
751 1487096156268800
752 1499027378807700
753 1511038266675600
754 1523129244848380
755 1535300739999936
756 1547553180506697
757 1559886996452148
758 1572302619631359
759 1584800483555520
760 1597381023456482
761 1610044676291304
762 1622791880746806
763 1635623077244128
764 1648538707943295
765 1661539216747788
766 1674625049309121
767 1687796653031424
768 1701054477076032
769 1714398972366080
770 1727830591591104
771 1741349789211648
772 1754957021463877
773 1768652746364196
774 1782437423713875
775 1796311515103680
776 1810275483918510
777 1824329795342040
778 1838474916361370
779 1852711315771680
780 1867039464180891
781 1881459834014332
782 1895972899519413
783 1910579136770304
784 1925279023672620
785 1940073039968112
786 1954961667239364
787 1969945388914496
788 1985024690271873
789 2000200058444820
790 2015471982426343
791 2030840953073856
792 2046307463113914
793 2061872007146952
794 2077535081652030
795 2093297184991584
796 2109158817416183
797 2125120481069292
798 2141182679992041
799 2157345920128000
800 2173610709327960
801 2189977557354720
802 2206446975887880
803 2223019478528640
804 2239695580804605
805 2256475800174596
806 2273360656033467
807 2290350669716928
808 2307446364506374
809 2324648265633720
810 2341956900286242
811 2359372797611424
812 2376896488721811
813 2394528506699868
814 2412269386602845
815 2430119665467648
816 2448079882315716
817 2466150578157904
818 2484332295999372
819 2502625580844480
820 2521030979701689
821 2539549041588468
822 2558180317536207
823 2576925360595136
824 2595784725839250
825 2614758970371240
826 2633848653327430
827 2653054335882720
828 2672376581255535
829 2691815954712780
830 2711373023574801
831 2731048357220352
832 2750842527091568
833 2770756106698944
834 2790789671626320
835 2810943799535872
836 2831219070173109
837 2851616065371876
838 2872135369059363
839 2892777567261120
840 2913543248106078
841 2934433001831576
842 2955447420788394
843 2976587099445792
844 2997852634396555
845 3019244624362044
846 3040763670197253
847 3062410374895872
848 3084185343595356
849 3106089183582000
850 3128122504296020
851 3150285917336640
852 3172580036467185
853 3195005477620180
854 3217562858902455
855 3240252800600256
856 3263075925184362
857 3286032857315208
858 3309124223848014
859 3332350653837920
860 3355712778545127
861 3379211231440044
862 3402846648208441
863 3426619666756608
864 3450530927216520
865 3474581071951008
866 3498770745558936
867 3523100594880384
868 3547571269001837
869 3572183419261380
870 3596937699253899
871 3621834764836288
872 3646875274132662
873 3672059887539576
874 3697389267731250
875 3722864079664800
876 3748484990585475
877 3774252670031900
878 3800167789841325
879 3826231024154880
880 3852443049422836
881 3878804544409872
882 3905316190200348
883 3931978670203584
884 3958792670159145
885 3985758878142132
886 4012877984568479
887 4040150682200256
888 4067577666150978
889 4095159633890920
890 4122897285252438
891 4150791322435296
892 4178842450011999
893 4207051374933132
894 4235418806532705
895 4263945456533504
896 4292632039052448
897 4321479270605952
898 4350487870115296
899 4379658558912000
900 4408992060743205
901 4438489101777060
902 4468150410608115
903 4497976718262720
904 4527968758204430
905 4558127266339416
906 4588452981021882
907 4618946643059488
908 4649608995718779
909 4680440784730620
910 4711442758295637
911 4742615667089664
912 4773960264269196
913 4805477305476848
914 4837167548846820
915 4869031755010368
916 4901070687101281
917 4933285110761364
918 4965675794145927
919 4998243507929280
920 5030989025310234
921 5063913122017608
922 5097016576315742
923 5130300169010016
924 5163764683452375
925 5197410905546860
926 5231239623755145
927 5265251629102080
928 5299447715181240
929 5333828678160480
930 5368395316787496
931 5403148432395392
932 5438088828908253
933 5473217312846724
934 5508534693333595
935 5544041782099392
936 5579739393487974
937 5615628344462136
938 5651709454609218
939 5687983546146720
940 5724451443927923
941 5761113975447516
942 5797971970847229
943 5835026262921472
944 5872277687122980
945 5909727081568464
946 5947375287044268
947 5985223147012032
948 6023271507614361
949 6061521217680500
950 6099973128732015
951 6138628094988480
952 6177486973373170
953 6216550623518760
954 6255819907773030
955 6295295691204576
956 6334978841608527
957 6374870229512268
958 6414970728181169
959 6455281213624320
960 6495802564600272
961 6536535662622784
962 6577481391966576
963 6618640639673088
964 6660014295556245
965 6701603252208228
966 6743408405005251
967 6785430652113344
968 6827670894494142
969 6870130035910680
970 6912808982933194
971 6955708644944928
972 6998829934147947
973 7042173765568956
974 7085741057065125
975 7129532729329920
976 7173549705898940
977 7217792913155760
978 7262263280337780
979 7306961739542080
980 7351889225731281
981 7397046676739412
982 7442435033277783
983 7488055238940864
984 7533908240212170
985 7579994986470152
986 7626316429994094
987 7672873525970016
988 7719667232496583
989 7766698510591020
990 7813968324195033
991 7861477640180736
992 7909227428356584
993 7957218661473312
994 8005452315229880
995 8053929368279424
996 8102650802235213
997 8151617601676612
998 8200830754155051
999 8250291250200000
1000 8300000083324950