0 2
1 7
2 25
3 81
4 236
5 622
6 1498
7 3334
8 6931
9 13586
10 25312
11 45124
12 77403
13 128351
14 206551
15 323647
16 495160
17 741457
18 1088891
19 1571131
20 2230702
21 3120756
22 4307096
23 5870476
24 7909201
25 10542052
26 13911562
27 18187670
28 23571781
29 30301261
30 38654397
31 48955853
32 61582654
33 76970731
34 95622061
35 118112437
36 145099904
37 177333898
38 215665126
39 261056226
40 314593247
41 377497990
42 451141252
43 537057016
44 636957631
45 752750027
46 886553011
47 1040715691
48 1217837076
49 1420786901
50 1652727727
51 1917138367
52 2217838690
53 2559015856
54 2945252036
55 3381553672
56 3873382333
57 4426687224
58 5047939406
59 5744167786
60 6522996937
61 7392686809
62 8362174393
63 9441117401
64 10639940026
65 11969880847
66 13443042945
67 15072446297
68 16872082516
69 18856972006
70 21043223602
71 23448096766
72 26090066411
73 28988890426
74 32165679976
75 35642972652
76 39444808547
77 43596809335
78 48126260431
79 53062196311
80 58435489072
81 64278940313
82 70627376419
83 77517747331
84 84989228886
85 93083328812
86 101843996464
87 111317736388
88 121553725801
89 132603936076
90 144523258322
91 157369633150
92 171204184717
93 186091359141
94 202099067381
95 219298832677
96 237765942646
97 257579606131
98 278823114901
99 301584010301
100 325954254952
101 352030409602
102 379913815230
103 409710780506
104 441532774711
105 475496626222
106 511724726668
107 550345240864
108 591492322631
109 635306336611
110 681934086187
111 731529047619
112 784251610508
113 840269324701
114 899757153751
115 962897735047
116 1029881646730
117 1100907681512
118 1176183127516
119 1255924056256
120 1340355617877
121 1429712343776
122 1524238456726
123 1624188188626
124 1729826106001
125 1841427443377
126 1959278444657
127 2083676712625
128 2214931566706
129 2353364409111
130 2499309099497
131 2653112338273
132 2815134058684
133 2985747827806
134 3165341256586
135 3354316419062
136 3553090280899
137 3762095137378
138 3981779060976
139 4212606358676
140 4455058039147
141 4709632289935
142 4976844964807
143 5257230081391
144 5551340329256
145 5859747588577
146 6183043459531
147 6521839802571
148 6876769289726
149 7248485967076
150 7637665828552
151 8045007401212
152 8471232342145
153 8917086047156
154 9383338271386
155 9870783762022
156 10380242903253
157 10912562373629
158 11468615815981
159 12049304520061
160 12655558118062
161 13288335293179
162 13948624501373
163 14637444706501
164 15355846128976
165 16104911008122
166 16885754378390
167 17699524859602
168 18547405461391
169 19430614402006
170 20350405941652
171 21308071230536
172 22304939171791
173 23342377299451
174 24421792671651
175 25544632779227
176 26712386469892
177 27926584888165
178 29188802431231
179 30500657720911
180 31863814591922
181 33279983096608
182 34750920526324
183 36278432449656
184 37864373767661
185 39510649786312
186 41219217306334
187 42992085730618
188 44831318189401
189 46739032683401
190 48717403245097
191 50768661118345
192 52895095956522
193 55099057039391
194 57382954508881
195 59749260623977
196 62200511034916
197 64739306076886
198 67368312083426
199 70090262719726
200 72907960336027
201 75824277341322
202 78842157597560
203 81964617834556
204 85194749085811
205 88535718145447
206 91990769046463
207 95563224560519
208 99256487719456
209 103074043358761
210 107019459683187
211 111096389854739
212 115308573603238
213 119659838859676
214 124154103412576
215 128795376587572
216 133587760950425
217 138535454033692
218 143642750087266
219 148914041853006
220 154353822363677
221 159966686766421
222 165757334170981
223 171730569522901
224 177891305501926
225 184244564445827
226 190795480299877
227 197549300592205
228 204511388435256
229 211687224553586
230 219082409338222
231 226702664927818
232 234553837316839
233 242641898491006
234 250972948590236
235 259553218099312
236 268389070066519
237 277487002350483
238 286853649895451
239 296495787035251
240 306420329826172
241 316634338409005
242 327145019400487
243 337959728314391
244 349085972012506
245 360531411185752
246 372303862865676
247 384411302966576
248 396861868858501
249 409663861971376
250 422825750430502
251 436356171723682
252 450263935400225
253 464558025802081
254 479247604827361
255 494342014726497
256 509850780931298
257 525783614917159
258 542150417098681
259 558961279758961
260 576226490012812
261 593956532804174
262 612162093937978
263 630854063146726
264 650043537192051
265 669741823001522
266 689960440840960
267 710711127522532
268 732005839648891
269 753856756893631
270 776276285318327
271 799277060726431
272 822871952054296
273 847074064799601
274 871896744487451
275 897353580174427
276 923458407990862
277 950225314721620
278 977668641425656
279 1005802987094636
280 1034643212350897
281 1064204443185028
282 1094502074733354
283 1125551775095606
284 1157369489193061
285 1189971442667437
286 1223374145820829
287 1257594397596973
288 1292649289604126
289 1328556210179851
290 1365332848497997
291 1402997198718165
292 1441567564177952
293 1481062561628266
294 1521501125512006
295 1562902512286402
296 1605286304789311
297 1648672416649766
298 1693081096743076
299 1738532933690776
300 1785048860405727
301 1832650158682667
302 1881358463834515
303 1931195769374731
304 1982184431746036
305 2034347175095797
306 2087707096098383
307 2142287668824799
308 2198112749659906
309 2255206582267536
310 2313593802603812
311 2373299443978984
312 2434348942168093
313 2496768140570776
314 2560583295420526
315 2625821081043722
316 2692508595168745
317 2760673364285497
318 2830343349055641
319 2901546949773881
320 2974313011880602
321 3048670831526191
322 3124650161187361
323 3202281215335801
324 3281594676159476
325 3362621699336902
326 3445393919864722
327 3529943457938910
328 3616302924889931
329 3704505429172186
330 3794584582408072
331 3886574505486988
332 3980509834719619
333 4076425728047831
334 4174357871310511
335 4274342484565687
336 4376416328469264
337 4480616710710713
338 4586981492506051
339 4695549095148451
340 4806358506616822
341 4919449288242700
342 5034861581435792
343 5152636114468516
344 5272814209319881
345 5395437788579052
346 5520549382408946
347 5648192135570206
348 5778409814505901
349 5911246814487301
350 6046748166821077
351 6184959546118277
352 6325927277625430
353 6469698344618131
354 6616320395857461
355 6765841753109597
356 6918311418728968
357 7073779083305314
358 7232295133375006
359 7393910659196986
360 7558677462593687
361 7726648064857294
362 7897875714721708
363 8072414396400576
364 8250318837691751
365 8431644518148547
366 8616447677318155
367 8804785323047587
368 8996715239857516
369 9192295997384381
370 9391586958891127
371 9594648289846951
372 9801540966576426
373 10012326784978376
374 10227068369314876
375 10445829181070752
376 10668673527883957
377 10895666572547200
378 11126874342081206
379 11362363736879986
380 11602202539928497
381 11846459426093073
382 12095203971485009
383 12348506662897681
384 12606438907317586
385 12869073041509687
386 13136482341677449
387 13408741033197953
388 13685924300432476
389 13968108296612926
390 14255370153804522
391 14547787992945110
392 14845440933961507
393 15148409105963266
394 15456773657514256
395 15770616766982452
396 16090021652968331
397 16415072584812271
398 16745854893181351
399 17082454980735951
400 17424960332876552
401 17773459528571137
402 18128042251263595
403 18488799299863531
404 18855822599817886
405 19229205214264772
406 19609041355269928
407 19995426395146204
408 20388456877856481
409 20788230530500436
410 21194846274885562
411 21608404239182854
412 22029005769667573
413 22456753442545501
414 22891751075865101
415 23334103741515997
416 23783917777314190
417 24241300799174427
418 24706361713370141
419 25179210728881381
420 25659959369831152
421 26148720488010586
422 26645608275493366
423 27150738277339826
424 27664227404391151
425 28186193946154102
426 28716757583776692
427 29256039403115240
428 29804161907893231
429 30361249032952411
430 30927426157596547
431 31502820119028283
432 32087559225879524
433 32681773271835781
434 33285593549354911
435 33899152863480687
436 34522585545751634
437 35156027468205568
438 35799616057480276
439 36453490309010776
440 37117790801323597
441 37792659710428520
442 38478240824308222
443 39174679557506266
444 39882122965813881
445 40600719761055977
446 41330620325976841
447 42071976729225961
448 42824942740444426
449 43589673845452351
450 44366327261537777
451 45155061952847497
452 45956038645880260
453 46769419845082806
454 47595369848549186
455 48434054763823822
456 49285642523808763
457 50150302902775594
458 51028207532482456
459 51919529918396636
460 52824445456023187
461 53743131447340039
462 54675767117340063
463 55622533630680551
464 56583614108440576
465 57559193644986697
466 58549459324947475
467 59554600240297267
468 60574807507549766
469 61610274285061756
470 62661195790447552
471 63727769318104596
472 64810194256850681
473 65908672107673276
474 67023406501591426
475 68154603217630702
476 69302470200911677
477 70467217580852405
478 71649057689485381
479 72848205079889461
480 74064876544737222
481 75299291134958243
482 76551670178518789
483 77822237299318381
484 79111218436203736
485 80418841862100562
486 81745338203263694
487 83090940458646058
488 84455884019386951
489 85840406688420126
490 87244748700202172
491 88669152740561680
492 90113863966669687
493 91579130027131891
494 93065201082203131
495 94572329824124627
496 96100771497584476
497 97650783920301901
498 99222627503735751
499 100816565273917751
500 102432862892411002
501 104071788677394232
502 105733613624872300
503 107418611430013456
504 109127058508613861
505 110859234018689872
506 112615419882198598
507 114395900806887234
508 116200964308271681
509 118030900731744961
510 119886003274815937
511 121766568009478849
512 123672893904714178
513 125605282849121351
514 127564039673683801
515 129549472174666897
516 131561891136649260
517 133601610355687982
518 135668946662618266
519 137764219946488006
520 139887753178127827
521 142039872433857106
522 144220906919326496
523 146431188993497476
524 148671054192759451
525 150940841255184927
526 153240892144923287
527 155571552076733695
528 157933169540657656
529 160326096326831761
530 162750687550441147
531 165207301676814203
532 167696300546659054
533 170218049401442356
534 172772916908910936
535 175361275188756812
536 177983499838426129
537 180639969959072548
538 183331068181655626
539 186057180693184726
540 188818697263108997
541 191616011269853965
542 194449519727505277
543 197319623312640141
544 200226726391307006
545 203171237046154027
546 206153567103706861
547 209174132161796341
548 212233351617136576
549 215331648693054026
550 218469450467368102
551 221647187900423842
552 224865295863277215
553 228124213166033606
554 231424382586340036
555 234766250898031672
556 238150268899933183
557 241576891444815499
558 245046577468508531
559 248559790019170411
560 252116996286713812
561 255718667632389909
562 259365279618530543
563 263057312038449151
564 266795248946501026
565 270579578688303472
566 274410793931116420
567 278289391694384072
568 282215873380438141
569 286190744805363256
570 290214516230025102
571 294287702391261866
572 298410822533239561
573 302584400438971801
574 306808964462004601
575 311085047558266777
576 315413187318086522
577 319793925998374735
578 324227810554975681
579 328715392675185561
580 333257228810439572
581 337853880209168038
582 342505912949822194
583 347213897974070206
584 351978411120164011
585 356800033156477562
586 361679349815217064
587 366616951826303788
588 371613434951430051
589 376669400018288951
590 381785452954978447
591 386962204824580375
592 392200271859914992
593 397500275498471641
594 402862842417516131
595 408288604569375427
596 413778199216900246
597 419332268969106156
598 424951461816993776
599 430636431169548676
600 436387835889921577
601 442206340331789452
602 448092614375898130
603 454047333466787006
604 460071178649696461
605 466164836607658597
606 472328999698771893
607 478564365993660389
608 484871639313118006
609 491251529265938611
610 497704751286932437
611 504232026675129469
612 510834082632170408
613 517511652300885826
614 524265474804064126
615 531096295283408922
616 538004864938686455
617 544991941067063662
618 552058287102637516
619 559204672656156256
620 566431873554933127
621 573740671882953251
622 581131856021174251
623 588606220688021251
624 596164566980076876
625 603807702412966877
626 611536440962442007
627 619351603105656775
628 627254015862645706
629 635244512837997736
630 643323934262729372
631 651493127036357248
632 659752944769170709
633 668104247824705056
634 676547903362416086
635 685084785380556562
636 693715774759255249
637 702441759303799153
638 711263633788119601
639 720182299998482801
640 729198666777385522
641 738313650067656535
642 747528172956764457
643 756843165721332641
644 766259565871861756
645 775778318197660702
646 785400374811986506
647 795126695197393846
648 804958246251294851
649 814896002331729826
650 824940945303349552
651 835094064583609812
652 845356357189178795
653 855728827782558031
654 866212488718917511
655 876808360093145647
656 887517469787114728
657 898340853517162529
658 909279554881790731
659 920334625409580811
660 931507124607328062
661 942798120008394404
662 954208687221280648
663 965739909978418876
664 977392880185185601
665 989168697969136372
666 1001068471729462490
667 1013093318186670502
668 1025244362432485141
669 1037522737979976381
670 1049929586813911277
671 1062466059441331261
672 1075133314942355566
673 1087932521021211451
674 1100864854057491901
675 1113931499157641477
676 1127133650206670992
677 1140472509920101690
678 1153949289896139606
679 1167565210668080786
680 1181321501756948047
681 1195219401724359958
682 1209260158225632724
683 1223445028063115656
684 1237775277239760911
685 1252252181012928187
686 1266877023948425059
687 1281651099974783643
688 1296575712437774276
689 1311652174155156901
690 1326881807471670847
691 1342265944314263695
692 1357805926247559922
693 1373503104529570016
694 1389358840167640756
695 1405374503974647352
696 1421551476625428141
697 1437891148713462536
698 1454394920807792926
699 1471064203510191226
700 1487900417512570777
701 1504904993654644297
702 1522079372981828585
703 1539425006803396681
704 1556943356750878186
705 1574635894836708447
706 1592504103513127313
707 1610549475731328169
708 1628773515000857956
709 1647177735449268886
710 1665763661882022562
711 1684532829842647214
712 1703486785673148763
713 1722627086574676426
714 1741955300668443576
715 1761473007056904572
716 1781181795885188275
717 1801083268402788967
718 1821179037025515391
719 1841470725397698631
720 1861959968454659552
721 1882648412485436521
722 1903537715195774131
723 1924629545771373651
724 1945925584941405926
725 1967427525042287452
726 1989137070081720352
727 2011055935802996980
728 2033185849749569881
729 2055528551329887836
730 2078085791882498722
731 2100859334741419918
732 2123850955301776989
733 2147062441085711381
734 2170495591808557861
735 2194152219445292437
736 2218034148297251494
737 2242143215059122883
738 2266481268886209701
739 2291050171461967501
740 2315851797065815672
741 2340888032641223730
742 2366160777864073262
743 2391671945211296266
744 2417423460029790631
745 2443417260605613502
746 2469655298233453276
747 2496139537286380976
748 2522871955285881751
749 2549854542972167251
750 2577089304374769627
751 2604578256883417907
752 2632323431319197500
753 2660326872005993581
754 2688590636842219111
755 2717116797372828247
756 2745907438861615898
757 2774964660363804184
758 2804290574798916556
759 2833887309023940336
760 2863757003906778437
761 2893901814399991024
762 2924323909614827878
763 2955025472895552226
764 2986008701894056801
765 3017275808644772897
766 3048829019639873185
767 3080670575904769057
768 3112802733073903266
769 3145227761466838631
770 3177947946164643577
771 3210965587086575281
772 3244282999067061196
773 3277902511932979726
774 3311826470581240826
775 3346057235056667302
776 3380597180630177587
777 3415448697877270770
778 3450614192756814656
779 3486096086690137636
780 3521896816640425147
781 3558018835192421503
782 3594464610632437879
783 3631236627028667231
784 3668337384311806936
785 3705769398355989937
786 3743535201060025179
787 3781637340428948123
788 3820078380655882126
789 3858860902204211476
790 3897987501890066872
791 3937460792965124140
792 3977283405199716977
793 4017457984966264516
794 4057987195323014506
795 4098873716098102902
796 4140120243973930661
797 4181729492571858541
798 4223704192537220701
799 4266047091624657901
800 4308760954783771102
801 4351848564245096267
802 4395312719606401165
803 4439156237919304981
804 4483381953776221536
805 4527992719397626922
806 4572991404719652358
807 4618380897482003074
808 4664164103316204031
809 4710343945834173286
810 4756923366717123812
811 4803905325804794584
812 4851292801185011743
813 4899088789283580651
814 4947296304954509651
815 4995918381570566347
816 5044958071114167220
817 5094418444268601397
818 5144302590509589391
819 5194613618197177631
820 5245354654667969602
821 5296528846327694416
822 5348139358744113636
823 5400189376740267176
824 5452682104488059101
825 5505620765602184152
826 5559008603234395822
827 5612848880168116810
828 5667144878913392681
829 5721899901802189561
830 5777117271084036697
831 5832800329022014713
832 5888952437989090394
833 5945576980564798831
834 6002677359632273761
835 6060256998475626937
836 6118319340877677364
837 6176867851218031238
838 6235906014571513426
839 6295437336806951326
840 6355465344686311947
841 6415993585964193050
842 6477025629487669192
843 6538565065296493516
844 6600615504723656131
845 6663180580496299927
846 6726263946836994671
847 6789869279565370231
848 6854000276200109776
849 6918660656061303801
850 6983854160373165827
851 7049584552367110627
852 7115855617385195830
853 7182671162983927756
854 7250035019038432336
855 7317951037846991972
856 7386423094235949193
857 7455455085664977964
858 7525050932332723506
859 7595214577282811486
860 7665949986510227437
861 7737261149068067269
862 7809152077174659733
863 7881626806321061701
864 7954689395378927126
865 8028343926708750547
866 8102594506268486005
867 8177445263722542237
868 8252900352551155016
869 8328963950160137506
870 8405640257991009502
871 8482933501631506426
872 8560847930926468951
873 8639387820089114126
874 8718557467812688876
875 8798361197382506752
876 8878803356788368807
877 8959888318837369475
878 9041620481267088331
879 9124004266859168611
880 9207044123553283372
881 9290744524561490173
882 9375109968482975159
883 9460144979419187431
884 9545854107089364586
885 9632241926946450312
886 9719313040293404924
887 9807072074399909728
888 9895523682619466101
889 9984672544506890176
890 10074523365936204022
891 10165080879218924210
892 10256349843222748657
893 10348335043490642641
894 10441041292360324881
895 10534473429084154577
896 10628636319949420306
897 10723534858399031671
898 10819173965152614601
899 10915558588328011201
900 11012693703563185052
901 11110584314138532862
902 11209235451099603370
903 11308652173380224406
904 11408839567926039011
905 11509802749818451522
906 11611546862398984528
907 11714077077394047604
908 11817398595040118731
909 11921516644209339311
910 12026436482535523687
911 12132163396540584079
912 12238702701761371848
913 12346059742876936001
914 12454239893836199851
915 12563248557986056747
916 12673091168199885790
917 12783773187006488452
918 12895300106719447016
919 13007677449566905756
920 13120910767821775777
921 13235005643932364436
922 13349967690653430266
923 13465802551177664326
924 13582515899267598901
925 13700113439387944477
926 13818600906838355917
927 13937984067886628765
928 14058268719902326606
929 14179460691490840411
930 14301565842627880797
931 14424590064794404133
932 14548539281111973424
933 14673419446478554906
934 14799236547704751286
935 14925996603650472562
936 15053705665362045359
937 15182369816209761718
938 15311995172025868276
939 15442587881242996776
940 15574154125033036847
941 15706700117446451995
942 15840232105552039747
943 15974756369577136891
944 16110279223048270756
945 16246807012932257477
946 16384346119777748191
947 16522902957857224111
948 16662483975309441426
949 16803095654282326976
950 16944744511076325652
951 17087437096288200472
952 17231179994955286285
953 17375979826700198056
954 17521843245875994686
955 17668776941711799322
956 17816787638458877113
957 17965882095537171369
958 18116067107682299081
959 18267349505093006761
960 18419736153579087562
961 18573233954709760639
962 18727849845962513713
963 18883590800872409801
964 19040463829181859076
965 19198475976990856822
966 19357634326907688450
967 19517945998200102542
968 19679418146946952891
969 19842057966190310506
970 20005872686088046552
971 20170869574066887196
972 20337055934975941331
973 20504439111240702151
974 20673026483017523551
975 20842825468348572327
976 21013843523317257152
977 21186088142204135305
978 21359566857643298131
979 21534287240779236211
980 21710256901424185222
981 21887483488215953468
982 22065974688776232064
983 22245738229869388756
984 22426781877561746361
985 22609113437381346812
986 22792740754478201794
987 22977671713785030958
988 23163914240178488701
989 23351476298640880501
990 23540365894422369797
991 23730591073203676405
992 23922159921259267462
993 24115080565621041891
994 24309361174242509381
995 24505009956163464877
996 24702035161675159576
997 24900445082485969426
998 25100248051887562126
999 25301452444921563626
1000 25504066678546725127