0 1
1 7
2 29
3 93
4 255
5 627
6 1419
7 3003
8 6006
9 11440
10 20878
11 36686
12 62322
13 102714
14 164730
15 257754
16 394383
17 591261
18 870067
19 1258675
20 1792505
21 2516085
22 3484845
23 4767165
24 6446700
25 8625006
26 11424492
27 14991724
28 19501108
29 25158980
30 32208132
31 40932804
32 51664173
33 64786371
34 80743065
35 100044633
36 123275971
37 151104967
38 184291679
39 223698255
40 270299634
41 325195068
42 389620506
43 464961882
44 552769350
45 654772510
46 772896670
47 909280190
48 1066292955
49 1246556025
50 1452962511
51 1688699727
52 1957272669
53 2262528873
54 2608684705
55 3000353137
56 3442573064
57 3940840218
58 4501139736
59 5129980440
60 5834430888
61 6622157256
62 7501463112
63 8481331144
64 9571466905
65 10782344639
66 12125255253
67 13612356501
68 15256725447
69 17072413275
70 19074502515
71 21279166755
72 23703732910
73 26366746120
74 29288037350
75 32488793766
76 35991631962
77 39820674114
78 44001627138
79 48561864930
80 53530513767
81 58938540949
82 64818846763
83 71206359851
84 78138136065
85 85653460893
86 93793955541
87 102603686757
88 112129280484
89 122420039430
90 133528064644
91 145508381188
92 158419067996
93 172321392012
94 187279946700
95 203362795020
96 220641616965
97 239191861755
98 259092904785
99 280428209425
100 303285493771
101 327756902447
102 353939183559
103 381933870903
104 411847471530
105 443791658772
106 477883470834
107 514245515058
108 553006177966
109 594299841190
110 638267103398
111 685055008326
112 734817279027
113 787714558449
114 843914656455
115 903592803399
116 966931910373
117 1034122836241
118 1105364661577
119 1180864969625
120 1260840134400
121 1345515616050
122 1435126263600
123 1529916625200
124 1630141266000
125 1736065093776
126 1847963692432
127 1966123663504
128 2090842975793
129 2222431323255
130 2361210491277
131 2507514731469
132 2661691145103
133 2824100075331
134 2995115508315
135 3175125483403
136 3364532512486
137 3563754008672
138 3773222724414
139 3993387199230
140 4224712217154
141 4467679274058
142 4722787054986
143 4990551921642
144 5271508410175
145 5566209739405
146 5875228329635
147 6199156332195
148 6538606169865
149 6894211088325
150 7266625718781
151 7656526651917
152 8064613023324
153 8491607110558
154 8938254941980
155 9405326917532
156 9893618441604
157 10403950568148
158 10937170658196
159 11494153049940
160 12075799741533
161 12683041086771
162 13316836503817
163 13978175197129
164 14668076892755
165 15387592587159
166 16137805309743
167 16919830899231
168 17734818794082
169 18583952837100
170 19468452094410
171 20389571688970
172 21348603648790
173 22346877770030
174 23385762495150
175 24466665806286
176 25591036134027
177 26760363281769
178 27976179365823
179 29240059771455
180 30553624125037
181 31918537282489
182 33336510334193
183 34809301626561
184 36338717800440
185 37926614846538
186 39574899178056
187 41285528720712
188 43060514020344
189 44901919368280
190 46811863944664
191 48792522979928
192 50846128934601
193 52974972697647
194 55181404803525
195 57467836668165
196 59836741844055
197 62290657294635
198 64832184688195
199 67463991711475
200 70188813403166
201 73009453507512
202 75928785848214
203 78949755722838
204 82075381317930
205 85308755145042
206 88653045497874
207 92111497930738
208 95687436758551
209 99384266578565
210 103205473814043
211 107154628280091
212 111235384771857
213 115451484675309
214 119806757600805
215 124305123039669
216 128950592043988
217 133747268929846
218 138699353004212
219 143811140315700
220 149087025429420
221 154531503226140
222 160149170725980
223 165944728936860
224 171922984727925
225 178088852728171
226 184447357250497
227 191003634241409
228 197762933256603
229 204730619462655
230 211912175665047
231 219313204362759
232 226939429829658
233 234796700222916
234 242890989718690
235 251228400675298
236 259815165824126
237 268657650488502
238 277762354830774
239 287135916127830
240 296785111075299
241 306716858120673
242 316938219825591
243 327456405257527
244 338278772411125
245 349412830659425
246 360866243235225
247 372646829742825
248 384762568700400
249 397221600113250
250 410032228078176
251 423202923419232
252 436742326355104
253 450659249198368
254 464962679086880
255 479661780747552
256 494765899292769
257 510284563049703
258 526227486422781
259 542604572789565
260 559425917430303
261 576701810491411
262 594442739983147
263 612659394811739
264 631362667846230
265 650563659020304
266 670273678469358
267 690504249703086
268 711267112813842
269 732574227721050
270 754437777451930
271 776870171458810
272 799884048973295
273 823492282397565
274 847707980733075
275 872544493046931
276 898015411976217
277 924134577270549
278 950916079373133
279 978374263040605
280 1006523731001932
281 1035379347656654
282 1064956242812748
283 1095269815464396
284 1126335737609940
285 1158169958110308
286 1190788706588196
287 1224208497368292
288 1258446133458829
289 1293518710574755
290 1329443621202809
291 1366238558708793
292 1403921521487331
293 1442510817154407
294 1482025066782975
295 1522483209181935
296 1563904505218770
297 1606308542186140
298 1649715238212730
299 1694144846718650
300 1739617960915686
301 1786155518352702
302 1833778805506494
303 1882509462418398
304 1932369487376955
305 1983381241646937
306 2035567454245039
307 2088951226762543
308 2143556038235261
309 2199405750061065
310 2256524610965313
311 2314937262014481
312 2374668741678312
313 2435744490940794
314 2498190358460280
315 2562032605779064
316 2627297912582728
317 2694013382009576
318 2762206546010472
319 2831905370759400
320 2903138262115065
321 2975934071133855
322 3050322099634485
323 3126332105814645
324 3203994309919975
325 3283339399965691
326 3364398537511187
327 3447203363487939
328 3531786004081038
329 3618179076664680
330 3706415695791942
331 3796529479239174
332 3888554554105338
333 3982525562966626
334 4078477670086690
335 4176446567682818
336 4276468482248391
337 4378580180931957
338 4482818977973259
339 4589222741196555
340 4697829898561569
341 4808679444772413
342 4921810947944821
343 5037264556332037
344 5155081005109700
345 5275301623220070
346 5397968340275940
347 5523123693524580
348 5650810834872060
349 5781073537968300
350 5913956205353196
351 6049503875664172
352 6187762230905509
353 6328777603779803
354 6472596985081905
355 6619268031155697
356 6768839071414059
357 6921359115922383
358 7076877863045991
359 7235445707161815
360 7397113746434698
361 7561933790658676
362 7729958369163602
363 7901240738787474
364 8075834891914830
365 8253795564581574
366 8435178244646598
367 8620039180030566
368 8808435387022227
369 9000424658652625
370 9196065573137575
371 9395417502388775
372 9598540620593925
373 9805495912866225
374 10016345183963625
375 10231151067078201
376 10449977032696032
377 10672887397527954
378 10899947333511568
379 11131222876884880
380 11366780937331952
381 11606689307200944
382 11851016670794928
383 12099832613735856
384 12353207632402065
385 12611213143439703
386 12873921493348461
387 13141405968141997
388 13413740803083439
389 13691001192496355
390 13973263299651579
391 14260604266730283
392 14553102224863686
393 14850836304249792
394 15153886644347550
395 15462334404148830
396 15776261772528610
397 16095751978673770
398 16420889302590890
399 16751759085693450
400 17088447741468831
401 17431042766225517
402 17779632749920899
403 18134307387070083
404 18495157487736105
405 18862274988601957
406 19235752964124829
407 19615685637772973
408 20002168393345596
409 20395297786376190
410 20795171555619708
411 21201888634623996
412 21615549163385892
413 22036254500092404
414 22464107232947380
415 22899211192084084
416 23341671461564093
417 23791594391462931
418 24249087610042857
419 24714260036013225
420 25187221890878835
421 25668084711376695
422 26156961362001615
423 26653966047621055
424 27159214326179650
425 27672823121493836
426 28194910736137002
427 28725596864415594
428 29265002605436598
429 29813250476266830
430 30370464425184462
431 30936769845023214
432 31512293586609643
433 32097163972293961
434 32691510809574815
435 33295465404818463
436 33909160577072781
437 34532730671976537
438 35166311575764369
439 35810040729367905
440 36464057142613464
441 37128501408516778
442 37803515717675176
443 38489243872757672
444 39185831303093400
445 39893425079358840
446 40612173928364280
447 41342228247939960
448 42083740121922345
449 42836863335240975
450 43601753389106341
451 44378567516299237
452 45167464696562039
453 45968605672092363
454 46782152963139555
455 47608270883704467
456 48447125557342974
457 49298884933073688
458 50163718801390326
459 51041798810379190
460 51933298481942218
461 52838393228126066
462 53757260367557682
463 54690079141986834
464 55637030732936055
465 56598298278458469
466 57574066890003963
467 58564523669394171
468 59569857725906737
469 60590260193469325
470 61625924247963845
471 62677045124641365
472 63743820135648180
473 64826448687663510
474 65925132299649300
475 67040074620712596
476 68171481448080972
477 69319560745191484
478 70484522659893628
479 71666579542766780
480 72865945965552597
481 74082838739702859
482 75317476935043233
483 76570081898553441
484 77840877273264315
485 79130089017272223
486 80437945422871351
487 81764677135804327
488 83110517174631674
489 84475700950220580
490 85860466285353474
491 87265053434456898
492 88689705103451166
493 90134666469721302
494 91600185202209750
495 93086511481631350
496 94593898020811075
497 96122600085145025
498 97672875513185175
499 99244984737348375
500 100839190804750101
501 102455759398163457
502 104094958857103929
503 105757060199040393
504 107442337140732880
505 109151066119697602
506 110883526315799744
507 112639999672974528
508 114420770921077056
509 116226127597861440
510 118056360071089728
511 119911761560771136
512 121792628161532097
513 123699258865117639
514 125631955583024605
515 127591023169267229
516 129576769443275583
517 131589505212927411
518 133629544297713867
519 135697203552039675
520 137792802888658230
521 139916665302242160
522 142069116893089870
523 144250486890968590
524 146461107679094450
525 148701314818250106
526 150971447071040442
527 153271846426286874
528 155602858123560783
529 157964830677856605
530 160358115904405107
531 162783068943627379
532 165240048286230073
533 167729415798442421
534 170251536747395565
535 172806779826644733
536 175395517181834796
537 178018124436509742
538 180674980718066604
539 183366468683854380
540 186092974547418484
541 188854888104891268
542 191652602761529156
543 194486515558396932
544 197357027199199725
545 200264542077263235
546 203209468302662745
547 206192217729501465
548 209213205983338755
549 212272852488768775
550 215371580497150111
551 218509817114486927
552 221687993329462194
553 224906544041623548
554 228165908089722330
555 231466528280206362
556 234808851415867014
557 238193328324641118
558 241620413888568286
559 245090567072904190
560 248604250955390363
561 252161932755681081
562 255764083864927887
563 259411179875522319
564 263103700610997405
565 266842130156088489
566 270626956886953953
567 274458673501556401
568 278337777050204872
569 282264768966258650
570 286240155096993240
571 290264445734629080
572 294338155647523560
573 298461804111526920
574 302635914941502600
575 306861016523012616
576 311137641844168537
577 315466328527648639
578 319847618862881813
579 324282059838398805
580 328770203174351367
581 333312605355199899
582 337909827662570163
583 342562436208279651
584 347271001967534190
585 352036100812295368
586 356858313544819366
587 361738225931367782
588 366676428736091034
589 371673517755084930
590 376730093850620994
591 381846762985551138
592 387024136257887271
593 392262829935556437
594 397563465491332075
595 402926669637941995
596 408353074363353665
597 413843316966237405
598 419398040091608085
599 425017891766645925
600 430703525436696996
601 436455600001454022
602 442274779851318084
603 448161734903941828
604 454117140640954780
605 460141678144871372
606 466236034136182284
607 472400901010629708
608 478636976876667141
609 484944965593104315
610 491325576806937873
611 497779525991368401
612 504307534484004427
613 510910329525253999
614 517588644296904455
615 524343217960890999
616 531174795698254698
617 538084128748290516
618 545071974447886002
619 552139096271051250
620 559286263868640750
621 566514253108267750
622 573823846114411750
623 581215831308719750
624 588691003450501875
625 596250163677422001
626 603894119546384007
627 611623685074614279
628 619439680780941093
629 627342933727271505
630 635334277560266377
631 643414552553214169
632 651584605648104128
633 659845290497899506
634 668197467509011440
635 676642003883974128
636 685179773664321936
637 693811657773669072
638 702538544060992464
639 711361327344118480
640 720280909453414129
641 729298199275683383
642 738414112798269261
643 747629573153362317
644 756945510662516175
645 766362862881370755
646 775882574644583835
647 785505598110971595
648 795232892808858790
649 805065425681639200
650 815004171133547006
651 825050111075639742
652 835204234971993474
653 845467539886110858
654 855841030527542730
655 866325719298723882
656 876922626342023679
657 887632779587012173
658 898457214797942371
659 909396975621449315
660 920453113634466633
661 931626688392361221
662 942918767477286717
663 954330426546756429
664 965862749382436380
665 977516827939159134
666 989293762394159068
667 1001194661196529756
668 1013220641116904132
669 1025372827297358100
670 1037652353301538260
671 1050060361165014420
672 1062598001445857565
673 1075266433275443955
674 1088066824409486025
675 1101000351279290761
676 1114068199043246227
677 1127271561638536919
678 1140611641833088623
679 1154089651277743455
680 1167706810558665762
681 1181464349249979564
682 1195363505966638218
683 1209405528417526986
684 1223591673458799190
685 1237923207147446638
686 1252401404795105006
687 1267027551022094862
688 1281802939811699019
689 1296728874564676905
690 1311806668154016639
691 1327037642979925503
692 1342423131025059501
693 1357964473909992697
694 1373663022948927025
695 1389520139205643265
696 1405537193549693880
697 1421715566712838410
698 1438056649345722120
699 1454561842074798600
700 1471232555559497016
701 1488070210549634712
702 1505076237943075864
703 1522252078843636888
704 1539599184619239305
705 1557119016960310767
706 1574813047938434949
707 1592682760065251013
708 1610729646351603351
709 1628955210366942315
710 1647360966298976643
711 1665948439013578291
712 1684719164114940382
713 1703674688005988984
714 1722816567949049430
715 1742146372126767894
716 1761665679703288938
717 1781376080885689746
718 1801279176985671762
719 1821376580481510450
720 1841669915080263895
721 1862160815780240965
722 1882850928933729755
723 1903741912309987035
724 1924835435158489425
725 1946133178272447021
726 1967636834052580197
727 1989348106571160309
728 2011268711636315028
729 2033400376856599030
730 2055744841705830772
731 2078303857588196084
732 2101079187903619308
733 2124072608113402716
734 2147285905806134940
735 2170720880763869148
736 2194379345028571701
737 2218263122968842027
738 2242374051346904449
739 2266713979385872705
740 2291284768837287899
741 2316088294048930623
742 2341126442032907991
743 2366401112534016327
744 2391914218098380250
745 2417667684142368900
746 2443663449021790050
747 2469903464101362850
748 2496389693824469950
749 2523124115783189750
750 2550108720788609526
751 2577345512941420182
752 2604836509702793379
753 2632583741965541793
754 2660589254125563255
755 2688855104153569527
756 2717383363667100469
757 2746176118002824353
758 2775235466289125081
759 2804563521518977065
760 2834162410623108528
761 2864034274543453986
762 2894181268306896672
763 2924605561099301664
764 2955309336339840480
765 2986294791755607904
766 3017564139456531808
767 3049119606010576736
768 3080963432519242017
769 3113097874693355175
770 3145525202929161405
771 3178247702384709885
772 3211267673056537695
773 3244587429856652115
774 3278209302689812075
775 3312135636531109531
776 3346368791503851542
777 3380911142957743824
778 3415765081547376558
779 3450933013311013230
780 3486417359749683282
781 3522220557906579354
782 3558345060446759898
783 3594793335737157946
784 3631567867926896815
785 3668671157027913533
786 3706105718995890771
787 3743874085811498067
788 3781978805561943129
789 3820422442522834005
790 3859207577240352909
791 3898336806613742493
792 3937812743978105356
793 3977638019187517582
794 4017815278698457100
795 4058347185653547660
796 4099236419965619220
797 4140485678402085540
798 4182097674669639780
799 4224075139499268900
800 4266420820731587661
801 4309137483402493027
802 4352227909829139769
803 4395694899696238073
804 4439541270142673955
805 4483769855848453287
806 4528383509121970239
807 4573385099987600943
808 4618777516273623186
809 4664563663700462940
810 4710746465969268538
811 4757328864850813306
812 4804313820274727462
813 4851704310419060094
814 4899503331800172030
815 4947713899362960414
816 4996339046571415803
817 5045381825499512601
818 5094845306922433647
819 5144732580408129775
820 5195046754409215165
821 5245790956355199305
822 5296968332745056385
823 5348582049240132945
824 5400635290757394600
825 5453131261563012666
826 5506073185366291512
827 5559464305413937464
828 5613307884584670088
829 5667607205484176680
830 5722365570540410792
831 5777586302099235624
832 5833272742520413113
833 5889428254273939551
834 5946056220036728565
835 6003160042789642293
836 6060743145914871591
837 6118808973293666107
838 6177360989404415059
839 6236402679421079555
840 6295937549311977294
841 6355969125938920488
842 6416500957156707846
843 6477536611912971462
844 6539079680348379450
845 6601133773897195170
846 6663702525388193890
847 6726789589145937730
848 6790398641092409735
849 6854533378849007925
850 6919197521838900171
851 6984394811389740747
852 7050129010836749409
853 7116403905626153853
854 7183223303418996405
855 7250591034195305797
856 7318510950358634884
857 7386986926840965158
858 7456022861207978916
859 7525622673764699940
860 7595790307661503548
861 7666529729000496876
862 7737844926942270252
863 7809739913813020524
864 7882218725212047205
865 7955285420119622299
866 8028944081005234673
867 8103198813936209841
868 8178053748686706027
869 8253513038847087375
870 8329580861933675175
871 8406261419498877975
872 8483558937241701450
873 8561477665118638900
874 8640021877454943250
875 8719195873056281426
876 8799003975320771982
877 8879450532351406854
878 8960539917068858118
879 9042276527324670630
880 9124664786014841427
881 9207709141193786769
882 9291414066188697703
883 9375784059714285031
884 9460823645987914565
885 9546537374845133553
886 9632929821855589161
887 9720005588439339897
888 9807769301983560864
889 9896225615959643730
890 9985379210040692304
891 10075234790219414608
892 10165797088926412336
893 10257070865148868592
894 10349060904549634800
895 10441772019586717680
896 10535209049633167185
897 10629376861097366295
898 10724280347543723565
899 10819924429813769325
900 10916314056147656431
901 11013454202306066467
902 11111349871692522299
903 11210006095476107883
904 11309427932714596230
905 11409620470477986432
906 11510588823972450654
907 11612338136664691998
908 11714873580406714146
909 11818200355561003690
910 11922323691126126058
911 12027248844862735946
912 12132981103420003167
913 12239525782462454829
914 12346888226797234755
915 12455073810501781059
916 12564087937051922793
917 12673936039450396581
918 12784623580355784157
919 12896156052211871725
920 13008538977377432060
921 13121777908256430270
922 13235878427428654140
923 13350846147780769980
924 13466686712637804900
925 13583405795895056436
926 13701009102150430452
927 13819502366837208244
928 13938891356357243773
929 14059181868214591955
930 14180379731149568937
931 14302490805273245289
932 14425520982202373043
933 14549476185194747511
934 14674362369285004815
935 14800185521420856063
936 14926951660599759106
937 15054666838006028812
938 15183337137148386794
939 15312968673997951530
940 15443567597126669814
941 15575140087846190478
942 15707692360347181326
943 15841230661839090222
944 15975761272690351275
945 16111290506569037065
946 16247824710583957855
947 16385370265426208735
948 16523933585511165645
949 16663521119120931225
950 16804139348547231441
951 16945794790234763937
952 17088493994924999064
953 17232243547800434538
954 17377050068629304680
955 17522920211910745192
956 17669860667020414424
957 17817878158356572088
958 17966979445486616376
959 18117171323294080440
960 18268460622126089193
961 18420854207941277391
962 18574358982458169957
963 18728981883304025509
964 18884729884164144055
965 19041609994931639819
966 19199629261857680163
967 19358794767702191571
968 19519113631885033662
969 19680593010637642200
970 19843240097155142070
971 20007062121748931190
972 20172066351999736330
973 20338260092911141810
974 20505650687063592050
975 20674245514768868946
976 20844051994225045047
977 21015077581671913509
978 21187329771546895803
979 21360816096641428155
980 21535544128257827697
981 21711521476366639309
982 21888755789764464133
983 22067254756232270741
984 22247026102694189940
985 22428077595376794198
986 22610417039968862676
987 22794052281781632852
988 22978991205909539724
989 23165241737391443580
990 23352811841372347324
991 23541709523265604348
992 23731942828915617941
993 23923519844761033227
994 24116448697998422625
995 24310737556746465825
996 24506394630210625275
997 24703428168848318175
998 24901846464534585975
999 25101657850728262375
1000 25302870702638640826