0 1
1 3
2 13
3 43
4 129
5 327
6 761
7 1619
8 3238
9 6098
10 10974
11 18930
12 31550
13 50930
14 80030
15 122666
16 183999
17 270525
18 390755
19 555205
20 777287
21 1073297
22 1463583
23 1972533
24 2630044
25 3471508
26 4539660
27 5884564
28 7565868
29 9652788
30 12226860
31 15381924
32 19227405
33 23888295
34 29509065
35 36253647
36 44310013
37 53890155
38 65235445
39 78616615
40 94339938
41 112747206
42 134222858
43 159193958
44 188138314
45 221584454
46 260120874
47 304396014
48 355128683
49 413108033
50 479205311
51 554373833
52 639662115
53 736213845
54 845282555
55 968231593
56 1106550392
57 1261854440
58 1435903320
59 1630600680
60 1848014104
61 2090375080
62 2360100888
63 2659794568
64 2992268889
65 3360546315
66 3767885253
67 4217780019
68 4713989433
69 5260536783
70 5861740977
71 6522216507
72 7246907230
73 8041086330
74 8910392950
75 9860832154
76 10898814486
77 12031155930
78 13265120630
79 14608420850
80 16069262935
81 17656347269
82 19378917723
83 21246761613
84 23270262719
85 25460401241
86 27828810647
87 30387777629
88 33150302868
89 36130100988
90 39341665508
91 42800268796
92 46522031300
93 50523921500
94 54823829700
95 59440567980
96 64393948645
97 69704784175
98 75394970625
99 81487487575
100 88006486581
101 94977291123
102 102426490413
103 110381939343
104 118872857754
105 127929830382
106 137584911906
107 147871626894
108 158825080738
109 170481959598
110 182880647554
111 196061226550
112 210065599875
113 224937492105
114 240722579255
115 257468488721
116 275224936219
117 294043725725
118 313978893555
119 335086708305
120 357425822192
121 381057270992
122 406044633008
123 432454029008
124 460354288944
125 489816951888
126 520916440880
127 553730062864
128 588338191793
129 624824268563
130 663274992765
131 703780322619
132 746433675505
133 791331927895
134 838575625065
135 888268981027
136 940520097558
137 995440964130
138 1053147686670
139 1113760487490
140 1177403943918
141 1244206988226
142 1314303156558
143 1387830588858
144 1464932288239
145 1545756120909
146 1630455086419
147 1719187317589
148 1812116361783
149 1909411180833
150 2011246443791
151 2117802526853
152 2229265817740
153 2345828715620
154 2467689947580
155 2595054568548
156 2728134290012
157 2867147479940
158 3012319504220
159 3163882726580
160 3322076862909
161 3487148981175
162 3659353869113
163 3838954034143
164 4026220084589
165 4221430729595
166 4424873174373
167 4636843120119
168 4857645173458
169 5087592846358
170 5327008980282
171 5576225746102
172 5835585083130
173 6105438699030
174 6386148524250
175 6678086711934
176 6981636107931
177 7297190250705
178 7625153857455
179 7965942824025
180 8319984727315
181 8687718825189
182 9069596575723
183 9466081637113
184 9877650403944
185 10304792007096
186 10748008867592
187 11207816696504
188 11684745066568
189 12179337412088
190 12692151618888
191 13223760024216
192 13774750025225
193 14345724078875
194 14937300329525
195 15550112608835
196 16184811082665
197 16842062250975
198 17522549614625
199 18226973675275
200 18956052622286
201 19710522332618
202 20491137078438
203 21298669527018
204 22133911469254
205 22997673819562
206 23890787365926
207 24814102769794
208 25768491337863
209 26754845021973
210 27774077213259
211 28827122742045
212 29914938694575
213 31038504412905
214 32198822334855
215 33396917993901
216 34633840882564
217 35910664452300
218 37228487000980
219 38588431672780
220 39991647369972
221 41439308752812
222 42932617176308
223 44472800690108
224 46061115000469
225 47698843470143
226 49387298106225
227 51127819560039
228 52921778141093
229 54770573816963
230 56675637254045
231 58638429817439
232 60660444638730
233 62743206615870
234 64888273508690
235 67097235938782
236 69371718512978
237 71713379823230
238 74123913598770
239 76605048705990
240 79158550329523
241 81786219972121
242 84489896665383
243 87271456969633
244 90132816214539
245 93075928498989
246 96102787962339
247 99215428784289
248 102415926487008
249 105706397935008
250 109089002668896
251 112565942905248
252 116139464902240
253 119811858959520
254 123585460816480
255 127462651652128
256 131445859516257
257 135537559329315
258 139740274347245
259 144056576161355
260 148489086197089
261 153040475713895
262 157713467338713
263 162510835065843
264 167435405825414
265 172490059483250
266 177677730445118
267 183001407656594
268 188464136243358
269 194069017511058
270 199819210622462
271 205717932597322
272 211768460026655
273 217974129072605
274 224338337220675
275 230864543279589
276 237556269171751
277 244417099933105
278 251450685542655
279 258660740922325
280 266051047805820
281 273625454738484
282 281387878986348
283 289342306535988
284 297492794044044
285 305843468837076
286 314398530902412
287 323162252888004
288 332138982134893
289 341333140677063
290 350749227316393
291 360391817622511
292 370265566050525
293 380375205940875
294 390725551680725
295 401321498703815
296 412168025695810
297 423270194594150
298 434633152838250
299 446262133369350
300 458162456925866
301 470339532043238
302 482798857395338
303 495546021794318
304 508586706578379
305 521926685611617
306 535571827719071
307 549528096686569
308 563801553743363
309 578398357561973
310 593324766789339
311 608587140046665
312 624191938509400
313 640145725907080
314 656455171153080
315 673127048344456
316 690168239441784
317 707585734269000
318 725386633244280
319 743578147379880
320 762167601064377
321 781162432062507
322 800570194349733
323 820398558112083
324 840655312633369
325 861348366295023
326 882485749516945
327 904075614757339
328 926126239507518
329 948646026291738
330 971643505716950
331 995127336472634
332 1019106308435830
333 1043589342670970
334 1068585494591190
335 1094103953958162
336 1120154048100023
337 1146745241911205
338 1173887141127995
339 1201589492328365
340 1229862186265503
341 1258715257867641
342 1288158889630583
343 1318203411617533
344 1348859304910964
345 1380137201612444
346 1412047888354884
347 1444602306302364
348 1477811554723108
349 1511686890989308
350 1546239734211876
351 1581481665240268
352 1617424430359365
353 1654079941289295
354 1691460278945505
355 1729577693438583
356 1768444607897877
357 1808073618471315
358 1848477498213645
359 1889669197086255
360 1931661845910394
361 1974468756366990
362 2018103425015938
363 2062579533295918
364 2107910951610114
365 2154111739326030
366 2201196148928738
367 2249178626020694
368 2298073813542883
369 2347896551774633
370 2398661882623767
371 2450385049626417
372 2503081502306555
373 2556766896175805
374 2611457097163475
375 2667168181616369
376 2723916440799696
377 2781718380896880
378 2840590727582480
379 2900550426022000
380 2961614645517200
381 3023800779505904
382 3087126450280848
383 3151609508989488
384 3217268040426769
385 3284120363034931
386 3352185033771357
387 3421480848108379
388 3492026844976593
389 3563842306764663
390 3636946764339273
391 3711359997044931
392 3787102037800950
393 3864193173101250
394 3942653948189550
395 4022505167059170
396 4103767897706830
397 4186463472132450
398 4270613491672750
399 4356239827001050
400 4443364623541071
401 4532010301466733
402 4622199561197363
403 4713955383397493
404 4807301034553879
405 4902260066975297
406 4998856324452591
407 5097113942258469
408 5197057352890988
409 5298711286073348
410 5402100774582044
411 5507251154246660
412 5614188069863100
413 5722937475193380
414 5833525638965180
415 5945979144871636
416 6060324897657629
417 6176590123119575
418 6294802374279705
419 6414989531385855
420 6537179808174157
421 6661401751868827
422 6787684249534533
423 6916056528076183
424 7046548160681394
425 7179189066820278
426 7314009518779290
427 7451040141661014
428 7590311920009818
429 7731856197811638
430 7875704685212730
431 8021889458519454
432 8170442967010555
433 8321398032936945
434 8474787858428815
435 8630646025495417
436 8789006503027443
437 8949903646796805
438 9113372206555595
439 9279447326035865
440 9448164550145608
441 9619559824968536
442 9793669505058408
443 9970530353438808
444 10150179548996264
445 10332654686480024
446 10517993783995304
447 10706235283003064
448 10897418055913833
449 11091581406087483
450 11288765075528981
451 11489009244888163
452 11692354541257865
453 11898842038173695
454 12108513263515905
455 12321410199509163
456 12537575290728622
457 12757051444099690
458 12979882037009670
459 13206110917307530
460 13435782411521574
461 13668941324859210
462 13905632949532038
463 14145903064755618
464 14389797945182439
465 14637364360901685
466 14888649585981483
467 15143701398468669
468 15402568089040783
469 15665298461005833
470 15931941839065447
471 16202548069314637
472 16477167528116580
473 16755851122102380
474 17038650297158900
475 17325617038428524
476 17616803879410516
477 17912263901960780
478 18212050745508180
479 18516218607054300
480 18824822250505205
481 19137917006671199
482 19455558782715473
483 19777804062153863
484 20104709914420869
485 20436333994869411
486 20772734554455677
487 21113970439738879
488 21460101102685418
489 21811186600668638
490 22167287606393778
491 22528465407897726
492 22894781918595250
493 23266299677278750
494 23643081858287250
495 24025192271506150
496 24412695372659475
497 24805656263309625
498 25204140701274375
499 25608215100626625
500 26017946542236651
501 26433402773771853
502 26854652220365763
503 27281763984617793
504 27714807857389504
505 28153854317804352
506 28598974544172736
507 29050240413991744
508 29507724514999488
509 29971500145174848
510 30441641323922624
511 30918222792073280
512 31401320023199425
513 31891009223615555
514 32387367343827405
515 32890472078531691
516 33400401878198849
517 33917235949072775
518 34441054264888505
519 34971937566871955
520 35509967375593062
521 36055225990965522
522 36607796504236958
523 37167762797988658
524 37735209558263294
525 38310222274564658
526 38892887252124510
527 39483291611902314
528 40081523302991743
529 40687671102620413
530 41301824628697635
531 41924074339814149
532 42554511547931655
533 43193228418382545
534 43840317982702815
535 44495874138631797
536 45159991663088988
537 45832766212173780
538 46514294334287820
539 47204673470134740
540 47904001965988588
541 48612379073693556
542 49329904964080108
543 50056680726964708
544 50792808384714189
545 51538390892245479
546 52293532150739849
547 53058337007642639
548 53832911270527933
549 54617361707098283
550 55411796059201461
551 56216323042830183
552 57031052362291490
553 57856094710206470
554 58691561781833930
555 59537566275070118
556 60394221904927242
557 61261643403533190
558 62139946534766570
559 63029248094256430
560 63929665924174379
561 64841318913234305
562 65764327011643263
563 66698811231101193
564 67644893659911139
565 68602697462978965
566 69572346897084603
567 70553967310881769
568 71547685160330808
569 72553628008698408
570 73571924542153752
571 74602704569768232
572 75646099039275480
573 76702240037071080
574 77771260804138200
575 78853295736047304
576 79948480399047961
577 81056951530068555
578 82178847052976005
579 83314306078575475
580 84463468921038585
581 85626477097903119
582 86803473346671473
583 87994601624810363
584 89200007126520094
585 90419836282734266
586 91654236778061622
587 92903357550785754
588 94167348809980118
589 95446362035507738
590 96740549995311158
591 98050066745412146
592 99375067647377175
593 100715709368317125
594 102072149898530075
595 103444548551501005
596 104833065981722495
597 106237864184694425
598 107659106514924375
599 109096957685927325
600 110551583788406356
601 112023152290252348
602 113511832054906788
603 115017793341361468
604 116541207822704004
605 118082248586117532
606 119641090151610756
607 121217908472017644
608 122812880951912613
609 124426186447610223
610 126058005286267329
611 127708519265882775
612 129377911674587125
613 131066367290642355
614 132774072401921005
615 134501214805905871
616 136247983829359194
617 138014570328322350
618 139801166707976930
619 141607966922644430
620 143435166495839842
621 145282962520271342
622 147151553678088258
623 149041140240880758
624 150951924090122819
625 152884108717171913
626 154837899243908855
627 156813502422737489
628 158811126657422043
629 160830982003086813
630 162873280187252915
631 164938234609837969
632 167026060364392880
633 169136974238101520
634 171271194733219440
635 173428942067073552
636 175610438193703408
637 177815906803860880
638 180045573346855920
639 182299665030556240
640 184578410843438193
641 186882041554586451
642 189210789735951933
643 191564889762351483
644 193944577833933489
645 196350091976177559
646 198781672062569769
647 201239559814602339
648 203723998824659158
649 206235234556015458
650 208773514365935566
651 211339087505672578
652 213932205143778990
653 216553120366106370
654 219202088199330830
655 221879365610952698
656 224585211533037487
657 227319886862215565
658 230083654483640595
659 232876779270989205
660 235699528110637559
661 238552169901661025
662 241434975580230863
663 244348218119613893
664 247292172554789964
665 250267115982451620
666 253273327585844348
667 256311088634766244
668 259380682510631708
669 262482394706471108
670 265616512852219932
671 268783326714718452
672 271983128223227005
673 275216211469425655
674 278482872733157625
675 281783410482428959
676 285118125399380781
677 288487320380288955
678 291891300561767205
679 295330373320766775
680 298804848301011090
681 302315037412995414
682 305861254860655098
683 309443817141365238
684 313063043072843194
685 316719253793148246
686 320412772787820442
687 324143925889880254
688 327913041307204443
689 331720449622525713
690 335566483821047663
691 339451479290444441
692 343375773848715475
693 347339707744185125
694 351343623683599275
695 355387866832124985
696 359472784841689640
697 363598727850980600
698 367766048514029000
699 371975102000209400
700 376226246023068936
701 380519840840326968
702 384856249282951688
703 389235836755159768
704 393658971263741129
705 398126023418058587
706 402637366459622901
707 407193376262092419
708 411794431361099113
709 416440912954248223
710 421133204931197409
711 425871693873656395
712 430656769085719950
713 435488822593867530
714 440368249177552230
715 445295446369200426
716 450270814485057414
717 455294756625187050
718 460367678704576230
719 465489989453134530
720 470662100447058247
721 475884426108830037
722 481157383738844683
723 486481393515408733
724 491856878526628719
725 497284264770410793
726 502763981186613575
727 508296459657047789
728 513882135037894468
729 519521445159704588
730 525214830860084820
731 530962735983697164
732 536765607415212980
733 542623895079312620
734 548538051973909940
735 554508534170151932
736 560535800845914453
737 566620314285801855
738 572762539914916145
739 578962946298856615
740 585222005177763173
741 591540191466315971
742 597917983288055133
743 604355861975380383
744 610854312104147914
745 617413821493670014
746 624034881241591314
747 630717985723888414
748 637463632630026258
749 644272322962957758
750 651144561074562546
751 658080854665646598
752 665081714821664115
753 672147656012717145
754 679279196129562855
755 686476856483613153
756 693741161843228107
757 701072640433715565
758 708471823973912995
759 715939247676187105
760 723475450283304864
761 731080974068433120
762 738756364872301088
763 746502172103199968
764 754318948774437664
765 762207251504338400
766 770167640553991968
767 778200679827253344
768 786306936908787233
769 794486983064067683
770 802741393277720237
771 811070746253521547
772 819475624453039905
773 827956614095634855
774 836514305197398425
775 845149291571154739
776 853862170865702726
777 862653544565815730
778 871524018031788030
779 880474200499434450
780 889504705119941470
781 898616148959866834
782 907809153041297598
783 917084342341849738
784 926442345835133919
785 935883796490755101
786 945409331315088387
787 955019591351278629
788 964715221720327143
789 974496871621091313
790 984365194371684543
791 994320847409475861
792 1004364492332803900
793 1014496794900976500
794 1024718425076301100
795 1035030057024084340
796 1045432369154979660
797 1055926044124986900
798 1066511768878119500
799 1077190234646404100
800 1087962136992868141
801 1098828175811539463
802 1109789055370756713
803 1120845484313168943
804 1131998175699369629
805 1143247847007896267
806 1154595220179190421
807 1166041021615597319
808 1177585982225652738
809 1189230837424082598
810 1200976327176419114
811 1212823195999000390
812 1224772193003916650
813 1236824071899009830
814 1248979591033152330
815 1261239513396246606
816 1273604606664837259
817 1286075643202110625
818 1298653400103842655
819 1311338659198398505
820 1324132207093017027
821 1337034835173810357
822 1350047339652387483
823 1363170521565853833
824 1376405186823774744
825 1389752146208175048
826 1403212215420844920
827 1416786215083339464
828 1430474970784627768
829 1444279313081092488
830 1458200077544524600
831 1472238104762122984
832 1486394240384835705
833 1500669335127359595
834 1515064244816830565
835 1529579830392823187
836 1544216957956390873
837 1558976498770065455
838 1573859329307249745
839 1588866331252217115
840 1603998391549857278
841 1619256402405675866
842 1634641261335895958
843 1650153871167457658
844 1665795140088476214
845 1681565981648241594
846 1697467314808035734
847 1713500063941132114
848 1729665158883972983
849 1745963534936168933
850 1762396132912038651
851 1778963899140608493
852 1795667785517515615
853 1812508749505007545
854 1829487754184211255
855 1846605768255132733
856 1863863766089292852
857 1881262727729726940
858 1898803638943990020
859 1916487491224156380
860 1934315281840195044
861 1952288013839969340
862 1970406696102985188
863 1988672343340390668
864 2007085976149097989
865 2025648621011783055
866 2044361310351383713
867 2063225082531099319
868 2082240981909266133
869 2101410058839356883
870 2120733369725235917
871 2140211977021158767
872 2159846949287407930
873 2179639361190292430
874 2199590293558166850
875 2219700833381430894
876 2239972073868932546
877 2260405114447967630
878 2281001060821069730
879 2301761024966009750
880 2322686125192973475
881 2343777486144561129
882 2365036238853355223
883 2386463520741920113
884 2408060475680761019
885 2429828253988323581
886 2451768012489346707
887 2473880914514862129
888 2496168129960941968
889 2518630835288698288
890 2541270213583428048
891 2564087454554612656
892 2587083754595461200
893 2610260316782910000
894 2633618350937566800
895 2657159073623710320
896 2680883708209636305
897 2704793484867657075
898 2728889640634852125
899 2753173419413067675
900 2777646072030072721
901 2802308856239558583
902 2827163036782703113
903 2852209885388170243
904 2877450680834083254
905 2902886708948024322
906 2928519262669419566
907 2954349642049538594
908 2980379154314292238
909 3006609113864232098
910 3033040842337763694
911 3059675668611146010
912 3086514928862120975
913 3113559966569913005
914 3140812132579277555
915 3168272785100500661
916 3195943289773867479
917 3223825019669661825
918 3251919355353057455
919 3280227684884117605
920 3308751403883109932
921 3337491915530506052
922 3366450630632722908
923 3395628967622122308
924 3425028352623179644
925 3454650219452483428
926 3484496009685334140
927 3514567172655743764
928 3544865165523465693
929 3575391453273994263
930 3606147508786028505
931 3637134812831471679
932 3668354854143329805
933 3699809129415711195
934 3731499143372162565
935 3763426408765668567
936 3795592446447426418
937 3827998785366845430
938 3860646962640762970
939 3893538523553443990
940 3926675021626239258
941 3960058018617584886
942 3993689084593105658
943 4027569797925614558
944 4061701745365662139
945 4096086522041536049
946 4130725731530259279
947 4165620985857589689
948 4200773905569468083
949 4236186119732017733
950 4271859266003445131
951 4307794990634039513
952 4343994948538527240
953 4380460803296071320
954 4417194227223082280
955 4454196901373217688
956 4491470515610650472
957 4529016768610068440
958 4566837367930402920
959 4604934030014828280
960 4643308480264951849
961 4681962453040813435
962 4720897691735539413
963 4760115948775342243
964 4799618985694639689
965 4839408573136054335
966 4879486490926000833
967 4919854528074685419
968 4960514482852162158
969 5001468162788332458
970 5042717384749473222
971 5084263974938236362
972 5126109768970649830
973 5168256611876117130
974 5210706358174894150
975 5253460871878088674
976 5296522026565613991
977 5339891705386188405
978 5383571801135768555
979 5427564216257548925
980 5471870862920875855
981 5516493663021247049
982 5561434548259709223
983 5606695460142857613
984 5652278350062718244
985 5698185179296747436
986 5744417919088201652
987 5790978550646137004
988 5837869065226267668
989 5885091464130965388
990 5932647758790609428
991 5980539970763586076
992 6028770131818131125
993 6077340283932329375
994 6126252479376452625
995 6175508780712959175
996 6225111260879328325
997 6275062003188059875
998 6325363101410008125
999 6376016659774381375
1000 6427024793052576426