0 1
1 4
2 17
3 52
4 147
5 360
6 819
7 1712
8 3382
9 6312
10 11286
11 19368
12 32154
13 51744
14 81114
15 124080
16 185823
17 272844
18 393679
19 558844
20 781781
21 1078792
22 1470261
23 1980576
24 2639676
25 3482960
26 4553212
27 5900496
28 7584516
29 9674496
30 12252036
31 15410976
32 19260813
33 23926548
34 29552733
35 36303300
36 44366311
37 53953768
38 65307143
39 78697168
40 94430226
41 112848120
42 134335410
43 159319160
44 188277310
45 221738400
46 260291070
47 304583760
48 355335435
49 413335260
50 479454651
51 554646924
52 639960777
53 736539912
54 845638057
55 968618560
56 1106971064
57 1262311072
58 1436398392
59 1631136672
60 1848593736
61 2091001088
62 2360776264
63 2660522304
64 2993052249
65 3361388580
66 3768789993
67 4218750804
68 4715030139
69 5261651304
70 5862933531
71 6523491312
72 7248268846
73 8042539336
74 8911942286
75 9862482760
76 10900571682
77 12033025056
78 13267107426
79 14610531056
80 16071502711
81 17658722796
82 19381435623
83 21249428508
84 23273085693
85 25463387400
86 27831967581
87 30391112928
88 33153824628
89 36133817328
90 39345585076
91 42804400240
92 46526383820
93 50528504320
94 54828652620
95 59445640800
96 64399281765
97 69710388020
98 75400856245
99 81493666020
100 88012969551
101 94984090344
102 102433618287
103 110389408272
104 118880680842
105 127938020760
106 137593483434
107 147880593432
108 158834456902
109 170491760032
110 182890887686
111 196071921808
112 210076766499
113 224949146364
114 240734738259
115 257481169580
116 275238156913
117 294057504264
118 313993248849
119 335101659264
120 357441388656
121 381073472832
122 406061491056
123 432471564096
124 460372522896
125 489835906560
126 520936139152
127 553750527616
128 588359446961
129 624846338116
130 663297901761
131 703804096116
132 746458339683
133 791357508968
134 838602150403
135 888296478000
136 940548594726
137 995470490088
138 1053178271238
139 1113792160488
140 1177436736426
141 1244240931360
142 1314338282730
143 1387866930480
144 1464969879055
145 1545794994700
146 1630495278335
147 1719228862780
148 1812159296805
149 1909455542280
150 2011292269701
151 2117849855264
152 2229314688172
153 2345879167632
154 2467742022252
155 2595108306960
156 2728189734804
157 2867204673792
158 3012378491412
159 3163943551392
160 3322139571261
161 3487213619028
162 3659420484109
163 3839022673924
164 4026290798519
165 4221503567080
166 4424948186583
167 4636920358224
168 4857724690434
169 5087674695224
170 5327093215906
171 5576312423352
172 5835674258766
173 6105530429856
174 6386242869006
175 6678183729360
176 6981735858747
177 7297292795676
178 7625259259371
179 7966051145676
180 8320096033561
181 8687833180936
182 9069714047993
183 9466202292928
184 9877774312488
185 10304919237600
186 10748139491496
187 11207950785248
188 11684882693848
189 12179478651648
190 12692296546776
191 13223908716480
192 13774902560265
193 14345880535140
194 14937460787865
195 15550277150100
196 16184979790155
197 16842235208040
198 17522726907115
199 18227155389040
200 18956238845726
201 19710713154184
202 20491332589182
203 21298869817992
204 22134116634162
205 22997883952160
206 23891002562674
207 24814323127152
208 25768716955047
209 26755075998252
210 27774313650711
211 28827364742748
212 29915186363469
213 31038757854984
214 32199081658029
215 33397183306080
216 34634112294628
217 35910942075184
218 37228770948644
219 38588722059184
220 39991944312156
221 41439612367872
222 42932927584476
223 44473118011616
224 46061439358741
225 47699174988660
226 49387636911717
227 51128165779236
228 52922131904031
229 54770935253736
230 56676006498111
231 58638807002256
232 60660829901178
233 62743600092888
234 64888675340698
235 67097646266200
236 69372137479766
237 71713807573408
238 74124350279958
239 76605494465808
240 79159005319251
241 81786684343100
242 84490370572675
243 87271940568300
244 90133309663425
245 93076431957000
246 96103301592225
247 99215952748800
248 102416460952800
249 105706943068800
250 109089558641376
251 112566509887104
252 116140043068192
253 119812448484352
254 123586061879072
255 127463264431360
256 131446484195169
257 135538196091012
258 139740923379057
259 144057237650612
260 148489760335411
261 153041162692968
262 157714167354579
263 162511548314544
264 167436132507414
265 172490799799080
266 177678484599798
267 183002175855144
268 188464918695354
269 194069814426144
270 199820022214906
271 205718759081392
272 211769301621311
273 217974985996876
274 224339209698351
275 230865431534460
276 237557173432437
277 244418020428296
278 251451622505941
279 258661694587296
280 266052018411036
281 273626442522576
282 281388884192988
283 289343329408848
284 297493834831908
285 305844527788800
286 314399608272036
287 323163348929568
288 332140097107693
289 341334274840468
290 350750380935101
291 360392990961220
292 370266759379335
293 380376419529960
294 390726785805735
295 401322753640400
296 412169301725170
297 423271491997560
298 434634471902610
299 446263474381560
300 458163820178526
301 470340917829024
302 482800266012702
303 495547453541712
304 508588161760107
305 521928164532060
306 535573330688539
307 549529624015372
308 563803105747817
309 578399934558472
310 593326369100361
311 608588767994688
312 624193592423064
313 640147406115104
314 656456877990424
315 673128782146080
316 690170000548968
317 707587523023104
318 725388449993064
319 743579992471104
320 762169474852281
321 781164334901412
322 800572126600521
323 820400520135636
324 840657304797211
325 861350388966760
326 882487803070907
327 904077699567856
328 926128355955726
329 948648174758856
330 971645686591086
331 995129550141896
332 1019108555295298
333 1043591623115808
334 1068587809023618
335 1094106302780400
336 1120156431721431
337 1146747660741228
338 1173889595583303
339 1201591982825628
340 1229864713228701
341 1258717821720840
342 1288161490805245
343 1318206050545120
344 1348861982030420
345 1380139917362800
346 1412050643182740
347 1444605100654320
348 1477814389053420
349 1511689765752320
350 1546242649869676
351 1581484622254944
352 1617427429200837
353 1654082982427572
354 1691463362858517
355 1729580820604260
356 1768447778802159
357 1808076833600232
358 1848480758061327
359 1889672502146832
360 1931665196686186
361 1974472153360408
362 2018106868737674
363 2062583024256664
364 2107914490328934
365 2154115326322080
366 2201199784729638
367 2249182311154064
368 2298077548544899
369 2347900337181564
370 2398665718980531
371 2450388937477932
372 2503085442206481
373 2556770888677896
374 2611461142830321
375 2667172281010560
376 2723920594492752
377 2781722589460416
378 2840594991597136
379 2900554746068416
380 2961619022185136
381 3023805213385216
382 3087130941970608
383 3151614059088768
384 3217272649543953
385 3284125031778500
386 3352189762759201
387 3421485637958388
388 3492031696316163
389 3563847220221288
390 3636951740550051
391 3711365036646960
392 3787107141441030
393 3864198341426280
394 3942659181856230
395 4022510466724200
396 4103773264036810
397 4186468905794080
398 4270618993342730
399 4356245397356080
400 4443370263267951
401 4532016011252364
402 4622205341738847
403 4713961235391932
404 4807306958708677
405 4902266063997960
406 4998862395061029
407 5097120087170592
408 5197063572835212
409 5298717581778192
410 5402107146786636
411 5507257603690128
412 5614194597295284
413 5722944081364224
414 5833532324635444
415 5945985910802080
416 6060331744619933
417 6176597051885524
418 6294809385632109
419 6414996626107524
420 6537186987059031
421 6661409015710952
422 6787691599139191
423 6916063964248656
424 7046555684238306
425 7179196678578360
426 7314017219566722
427 7451047932305976
428 7590319801352046
429 7731864170690976
430 7875712750480686
431 8021897617027536
432 8170451219622043
433 8321406380515228
434 8474796301849163
435 8630654565633100
436 8789015140769721
437 8949912383031048
438 9113381042181273
439 9279456261952448
440 9448173587264776
441 9619568964202080
442 9793678747330440
443 9970539699673440
444 10150189000130040
445 10332664243449600
446 10518003447749880
447 10706245054491840
448 10897427936098665
449 11091591395930340
450 11288775176004601
451 11489019456971284
452 11692364865936107
453 11898852476434792
454 12108523816360587
455 12321420867938160
456 12537586075755774
457 12757062346738952
458 12979893058288222
459 13206122058252552
460 13435793673173586
461 13668952708258848
462 13905644455733394
463 14145914694812784
464 14389809700163079
465 14637376241873580
466 14888661594026103
467 15143713534667484
468 15402580354489069
469 15665310856798984
470 15931954366312781
471 16202560729125472
472 16477180321614276
473 16755864050410416
474 17038663361414916
475 17325630239770160
476 17616817218989692
477 17912277380929536
478 18212064365032956
479 18516232368301536
480 18824836154655861
481 19137931054906356
482 19455572976230853
483 19777818402145188
484 20104724402098623
485 20436348631444200
486 20772749341152991
487 21113985377784208
488 21460116193319258
489 21811201845131608
490 22167303005941626
491 22528480963786200
492 22894797632095350
493 23266315549661600
494 23643097890839350
495 24025208465514000
496 24412711729425075
497 24805672784135100
498 25204157387477475
499 25608231953525100
500 26017963563164001
501 26433419964061704
502 26854669581367617
503 27281781517681152
504 27714825563879872
505 28153872199087360
506 28598992601630144
507 29050258649005312
508 29507742928967232
509 29971518739494912
510 30441660100009536
511 30918241751341568
512 31401339167080129
513 31891028553539844
514 32387386861243089
515 32890491784886580
516 33400421774957523
517 33917256037699944
518 34441074546865779
519 34971958043680944
520 35509988048732406
521 36055246861933992
522 36607817574550486
523 37167784069163176
524 37735231031832026
525 38310243952060960
526 38892909135099162
527 39483313701906096
528 40081545601592991
529 40687693611387596
530 41301847349216911
531 41924097273671676
532 42554534696731413
533 43193251783728648
534 43840341566217333
535 44495897941936800
536 45160015687824636
537 45832790459980368
538 46514318806823868
539 47204698169058768
540 47904026892977476
541 48612404230424320
542 49329930352248260
543 50056706348265760
544 50792834240862285
545 51538416984954900
546 52293558481743645
547 53058363578673860
548 53832938083338535
549 54617388763440360
550 55411823360846151
551 56216350591548624
552 57031080159874002
553 57856122758443512
554 58691590082535282
555 59537594830045560
556 60394250716006014
557 61261672472544672
558 62139975863559742
559 63029277684680272
560 63929695778097611
561 64841349032525788
562 65764357398191739
563 66698841886795404
564 67644924586659849
565 68602728662691080
566 69572378371689193
567 70553999062307904
568 71547717190527864
569 72553660319615904
570 73571957135761656
571 74602737448036512
572 75646132204194696
573 76702273490631936
574 77771294548352136
575 78853329772925760
576 79948514730623257
577 81056986158373156
578 82178881980063401
579 83314341306499156
580 84463504451873211
581 85626512933723496
582 86803509489573723
583 87994638076890608
584 89200043889895918
585 90419873359523400
586 91654274170403406
587 92903395260819528
588 94167386839866978
589 95446400387408928
590 96740588671409826
591 98050105747891440
592 99375106978442295
593 100715749030173420
594 102072189893405095
595 103444588881622300
596 104833106649339965
597 106237905192058120
598 107659147864306845
599 109096999379601120
600 110551625828666676
601 112023194679394544
602 113511874795249012
603 115017836435221872
604 116541251272423692
605 118082292394037760
606 119641134320095884
607 121217953003432032
608 122812925848643877
609 124426231712046132
610 126058050920819061
611 127708565272961508
612 129377958056627599
613 131066414050079464
614 132774119541213359
615 134501262327512080
616 136248031735761738
617 138014618622003864
618 139801215391444074
619 141608015998403864
620 143435215966422406
621 145283012388208032
622 147151603945934406
623 149041190911191696
624 150951975165478371
625 152884160200152060
626 154837951137118227
627 156813554728780716
628 158811179378928561
629 160831035142686216
630 162873333747599761
631 164938288593586816
632 167026114774223408
633 169137029076693568
634 171271250003278128
635 173428997771304000
636 175610494334836176
637 177815963384626688
638 180045630370011088
639 182299722498857088
640 184578468759666801
641 186882099921525060
642 189210848556408705
643 191564949039134580
644 193944637569877155
645 196350152174116200
646 198781732725364035
647 201239620945112880
648 203724060425773030
649 206235296630619880
650 208773576916944326
651 211339150535999464
652 213932268656364522
653 216553184363891232
654 219202152685282602
655 221879430588038960
656 224585277004252879
657 227319952830554892
658 230083720952125887
659 232876846242642492
660 235699595588508261
661 238552237888798728
662 241435044079712709
663 244348287134517024
664 247292242088219244
665 250267186037512080
666 253273398165668908
667 256311159742487824
668 259380754149411284
669 262482466879469824
670 265616585562627156
671 268783399965723552
672 271983202018047741
673 275216285811279956
674 278482947625291981
675 281783485928089860
676 285118201401843447
677 288487396942828776
678 291891377687688471
679 295330451013373776
680 298804926563637186
681 302315116248974136
682 305861334273349218
683 309443897134137528
684 313063123649085838
685 316719334956253600
686 320412854541210446
687 324144008236976848
688 327913124251459323
689 331720533167390748
690 335566567970004651
691 339451564046975180
692 343375859216331865
693 347339793726399240
694 351343710283953465
695 355387954054161600
696 359472872688981480
697 363598816327100640
698 367766137622580840
699 371975191744796640
700 376226336407325976
701 380519931867888384
702 384856340957483032
703 389235929080326592
704 393659064243240137
705 398126117055586660
706 402637460758908249
707 407193471226863252
708 411794526995115147
709 416441009261269352
710 421133301915015211
711 425871791538062448
712 430656867434537694
713 435488921630920584
714 440368348906696254
715 445295546794291080
716 450270915609982578
717 455294858453834784
718 460367781240866994
719 465490092700988784
720 470662204410429031
721 475884530791670572
722 481157489145140951
723 486481499649146716
724 491856985391827341
725 497284372371089160
726 502764089526823917
727 508296568740842336
728 513882244869358756
729 519521555742924336
730 525214942199179236
731 530962848082785456
732 536765720278448028
733 542624008710847488
734 548538166377931548
735 554508649350847200
736 560535916807504341
737 566620431032507508
738 572762657450992933
739 578963064628559908
740 585222124305382751
741 591540311396141800
742 597918104024411775
743 604355983522592400
744 610854434466574650
745 617413944675671000
746 624035005247561050
747 630718110558221400
748 637463758297152150
749 644272449467306400
750 651144688420599126
751 658080982857836304
752 665081843864507667
753 672147785910715452
754 679279326887252547
755 686476988105530860
756 693741294333946369
757 701072773797807112
758 708471958215986657
759 715939382800851712
760 723475586295205536
761 731081110972215168
762 738756502672646304
763 746502310804790144
764 754319088381991264
765 762207392022574080
766 770167781987665248
767 778200822181119744
768 786307080187639329
769 794487127272698244
770 802741538420959281
771 811070892336199092
772 819475771480023411
773 827956762071791976
774 836514454127634451
775 845149441460374960
776 853862321718850262
777 862653696387833896
778 871524170827658166
779 880474354274137896
780 889504859878497786
781 898616304707295776
782 907809309782657338
783 917084500082198448
784 926442504579568383
785 935883956244372300
786 945409492083024111
787 955019753138668668
788 964715384532346293
789 974497035462914568
790 984365359248526101
791 994321013326549920
792 1004364659295364060
793 1014496962914276560
794 1024718594145634460
795 1035030227154744400
796 1045432540352299620
797 1055926216394300160
798 1066511942224799460
799 1077190409075824160
800 1087962312510441901
801 1098828352422680724
802 1109789233080919677
803 1120845663127807812
804 1131998355623979207
805 1143248028047971560
806 1154595402340267239
807 1166041204903211472
808 1177586166645381042
809 1189231022981502072
810 1200976513877147986
811 1212823383848656888
812 1224772382008160414
813 1236824262063500704
814 1248979782363591774
815 1261239705898336080
816 1273604800344320043
817 1286075838064730204
818 1298653596155384539
819 1311338856444648204
820 1324132405539802281
821 1337035034826959112
822 1350047540517770121
823 1363170723649340736
824 1376405390131278936
825 1389752350745609760
826 1403212421194166232
827 1416786422098503456
828 1430475179047633576
829 1444279522597939456
830 1458200288321255336
831 1472238316804780096
832 1486394453699505273
833 1500669549720127908
834 1515064460693827593
835 1529580047560178900
836 1544217176420279131
837 1558976718536660328
838 1573859550382769403
839 1588866553642879728
840 1603998615261925326
841 1619256627445412040
842 1634641487709607470
843 1650154098881451720
844 1665795369149104770
845 1681566212061856800
846 1697467546581034690
847 1713500297079911920
848 1729665393394975895
849 1745963770825837420
850 1762396370186860551
851 1778964137807071644
852 1795668025582153437
853 1812508990974353672
854 1829487997064845117
855 1846606012553633760
856 1863864011812286484
857 1881262974883838832
858 1898803887535892052
859 1916487741260520432
860 1934315533327739436
861 1952288266785412608
862 1970406950513092524
863 1988672599221927264
864 2007086233508875909
865 2025648879856614580
866 2044361570688128213
867 2063225344366616164
868 2082241245250461999
869 2101410323693138664
870 2120733636098558031
871 2140212244920975632
872 2159847218720721706
873 2179639632164105496
874 2199590566079529546
875 2219701107457393560
876 2239972349506593702
877 2260405391654426016
878 2281001339603472486
879 2301761305331504016
880 2322686407148755011
881 2343777769697825916
882 2365036524011348083
883 2386463807511885868
884 2408060764069993553
885 2429828544004117000
886 2451768304139044401
887 2473881207805807488
888 2496168424900527888
889 2518631131884317888
890 2541270511842524176
891 2564087754484628160
892 2587084056203888880
893 2610260620077242880
894 2633618655925348080
895 2657159380312483200
896 2680884016606994385
897 2704793794981194180
898 2728889952472212705
899 2753173732981896180
900 2777646387338064451
901 2802309173294409064
902 2827163355592158947
903 2852210205959978032
904 2877451003176040902
905 2902887033067929960
906 2928519588575122854
907 2954349969748889192
908 2980379483815191562
909 3006609445174581792
910 3033041175465517386
911 3059676003564257328
912 3086515265648595759
913 3113560305197757324
914 3140812473056549919
915 3168273127435259580
916 3195943633974224133
917 3223825365743727624
918 3251919703308996709
919 3280228034730094624
920 3308751755627342156
921 3337492269181211152
922 3366450986198171916
923 3395629325110586256
924 3425028712042983156
925 3454650580811951360
926 3484496372992845172
927 3514567537919676576
928 3544865532752253021
929 3575391822476069076
930 3606147879969878061
931 3637135186005583236
932 3668355229316245143
933 3699809506595972328
934 3731499522568366263
935 3763426789986411600
936 3795592829701360546
937 3827999170662622648
938 3860647349987090498
939 3893538912959029048
940 3926675413099844526
941 3960058412167973280
942 3993689480229095790
943 4027570195656025040
944 4061702145199367515
945 4096086923987411100
946 4130726135597234955
947 4165621392054596940
948 4200774313905494265
949 4236186530216050440
950 4271859678644528601
951 4307795405441217984
952 4343995365520901832
953 4380461222462743392
954 4417194648583210312
955 4454197324935960160
956 4491470941385223224
957 4529017196605687552
958 4566837798156342072
959 4604934462480361152
960 4643308914979409961
961 4681962890013528548
962 4720898130975901369
963 4760116390292740884
964 4799619429498523179
965 4839409019235871080
966 4879486939331257803
967 4919854978794889584
968 4960514935896879294
969 5001468618167128584
970 5042717842471973406
971 5084264435014065672
972 5126110231409492626
973 5168257076687658016
974 5210706825368877266
975 5253461341464258160
976 5296522498553773767
977 5339892179786142636
978 5383572277957381431
979 5427564695510684636
980 5471871344615458861
981 5516494147167202056
982 5561435034867021453
983 5606695949221512288
984 5652278841622761348
985 5698185673348225200
986 5744418415641221316
987 5790979049710805808
988 5837869566812754108
989 5885091968249438208
990 5932648265451298876
991 5980540479976722400
992 6028770643594006325
993 6077340798281235700
994 6126252996308744325
995 6175509300238990500
996 6225111783009515775
997 6275062527932820200
998 6325363628779820575
999 6376017189779725200
1000 6427025325703993626