0 1
1 7
2 29
3 123
4 425
5 1343
6 4197
7 12435
8 33809
9 84663
10 198765
11 444907
12 959801
13 2005615
14 4064821
15 7988867
16 15221537
17 28122727
18 50423741
19 87851099
20 148962249
21 246243487
22 397527813
23 627798387
24 971451697
25 1475103511
26 2201030157
27 3231347659
28 4673041753
29 6663972815
30 9379991253
31 13043310947
32 17932300865
33 24392868039
34 32851618653
35 43830998075
36 57966625257
37 76027052031
38 98936193445
39 127798691411
40 163928490577
41 208880922487
42 264488611757
43 332901536171
44 416631591289
45 518602029359
46 642202162037
47 791347736643
48 970547416417
49 1184975816487
50 1440553569021
51 1744034913307
52 2103103329289
53 2526475756383
54 3024015963205
55 3606857658163
56 4287537955697
57 5080141838295
58 6000458280269
59 7066148725643
60 8296928639385
61 9714762878607
62 11344075658261
63 13211975914275
64 15348498896001
65 17786864849287
66 20563755681437
67 23719610529787
68 27298941186601
69 31350668364479
70 35928479818469
71 41091211373587
72 46903251939473
73 53434973627447
74 60763188119277
75 68971630471531
76 78151471574457
77 88401860519919
78 99830498169013
79 112554243246595
80 126699752327073
81 142404155113447
82 159815766449725
83 179094836545499
84 200414340930633
85 223960811697695
86 249935211629957
87 278553852853491
88 310049361693105
89 344671691453591
90 382689184889997
91 424389688173387
92 470081718201817
93 520095685150031
94 574785172195669
95 634528274404579
96 699728998803137
97 770818727711303
98 848257747456477
99 932536844635067
100 1024178972136041
101 1123740987188607
102 1231815463744549
103 1349032581554643
104 1476062094347985
105 1613615379572983
106 1762447572209197
107 1923359785210155
108 2097201419188729
109 2284872564008623
110 2487326494998005
111 2705572266554307
112 2940677405962721
113 3193770710304935
114 3466045149389181
115 3758760877687707
116 4073248358323337
117 4410911602202847
118 4773231525451461
119 5161769428359859
120 5578170599112689
121 6024168045625687
122 6501586358877133
123 7012345711178507
124 7558465992888857
125 8142071091137551
126 8765393314180757
127 9430777965078179
128 10140688068438273
129 10897709254042375
130 11704554801220893
131 12564070847917947
132 13479241768444585
133 14453195723984959
134 15489210389984613
135 16590718864615315
136 17761315762576657
137 19004763498560951
138 20324998764774765
139 21726139206977771
140 23212490303567417
141 24788552452306287
142 26459028269357877
143 28228830105365891
144 30103087783382049
145 32087156563517799
146 34186625339266237
147 36407325070511963
148 38755337458318537
149 41237003866655647
150 43858934496301061
151 46628017816225907
152 49551430257845809
153 52636646177594903
154 55891448093354765
155 59323937200345803
156 62942544172164697
157 66756040252728015
158 70773548644959189
159 75004556202133603
160 79458925427874625
161 84146906790872007
162 89079151360473181
163 94266723769377595
164 99721115509744361
165 105454258569104127
166 111478539412547237
167 117806813317741907
168 124452419069418321
169 131429194020037239
170 138751489523444909
171 146434186748399787
172 154492712878940793
173 162943057708651567
174 171801790635960437
175 181086078067701571
176 190813701238249057
177 201003074451622439
178 211673263754049533
179 222844006044560155
180 234535728631272713
181 246769569241124447
182 259567396490885445
183 272951830827386419
184 286946265944980593
185 301574890688350935
186 316862711448865357
187 332835575062774411
188 349520192219638425
189 366944161389463951
190 385135993277122837
191 404125135812721187
192 423941999686679937
193 444617984438383751
194 466185505107350429
195 488678019455969019
196 512130055772951337
197 536577241266738623
198 562056331058202597
199 588605237782078227
200 616263061806664081
201 645070122081425207
202 675067987622233069
203 706299509644077163
204 738808854351183545
205 772641536394576623
206 807844453007222197
207 844465918826991875
208 882555701417791649
209 922165057499300583
210 963346769895869245
211 1006155185215231707
212 1050646252267789641
213 1096877561237332255
214 1144908383614161541
215 1194799712901698547
216 1246614306107753137
217 1300416726031746967
218 1356273384359287181
219 1414252585575596619
220 1474424571709415129
221 1536861567919095887
222 1601637828932730453
223 1668829686354246627
224 1738515596847534017
225 1810776191210763591
226 1885694324353179357
227 1963355126186752699
228 2043846053445202793
229 2127256942442999935
230 2213680062787082533
231 2303210172054132947
232 2395944571446372305
233 2491983162438949879
234 2591428504432118573
235 2694385873421504555
236 2800963321699896057
237 2911271738604093871
238 3025424912320484085
239 3143539592763112131
240 3265735555538156257
241 3392135667008818087
242 3522865950474767997
243 3658055653480403611
244 3797837316266300809
245 3942346841378358239
246 4091723564449258437
247 4246110326166991283
248 4405653545445308657
249 4570503293811102807
250 4740813371023825101
251 4916741381942186507
252 5098448814653506329
253 5286101119881201423
254 5479867791686034325
255 5679922449476865443
256 5886442921346781697
257 6099611328750601735
258 6319614172539886109
259 6546642420371709563
260 6780891595507581865
261 7022561867019033407
262 7271858141416512101
263 7528990155718368915
264 7794172571976840721
265 8067625073278070967
266 8349572461233341037
267 8640244754978818027
268 8939877291701258041
269 9248710828707237999
270 9566991647053623349
271 9894971656757113987
272 10232908503600846113
273 10581065677556163687
274 10939712622837809597
275 11309124849610923611
276 11689584047368371657
277 12081378199997068959
278 12484801702552098053
279 12900155479757561715
280 13327747106253250353
281 13767890928606343447
282 14220908189107505165
283 14687127151370875339
284 15166883227757598553
285 15660519108642676175
286 16168384893545068757
287 16690838224141119331
288 17228244419181511745
289 17780976611332122311
290 18349415885959267677
291 18933951421879996987
292 19534980634098222057
293 20152909318547625471
294 20788151798862433189
295 21441131075197285459
296 22112278975117587537
297 22802036306581869943
298 23510853013037836717
299 24239188330653929387
300 24987510947708384121
301 25756299166157909807
302 26546041065408265589
303 27357234668309167683
304 28190388109396107105
305 29046019805401812263
306 29924658628060243197
307 30826844079226157595
308 31753126468333442569
309 32704067092215560543
310 33680238417311612485
311 34682224264281677107
312 35710619995055240561
313 36766032702336687575
314 37849081401591981901
315 38960397225540821387
316 40100623621178710937
317 41270416549353555087
318 42470444686921530901
319 43701389631507161379
320 44963946108892669569
321 46258822183061854087
322 47586739468923887773
323 48948433347742602747
324 50344653185296987177
325 51776162552798781631
326 53243739450593225957
327 54748176534669171219
328 56290281346004935313
329 57870876542776445495
330 59490800135454376173
331 61150905724817155947
332 62852062742906884025
333 64595156696955362799
334 66381089416307620533
335 68210779302370465795
336 70085161581613783457
337 72005188561652450791
338 73971829890436921405
339 75986072818580694491
340 78048922464853057097
341 80161402084865657887
342 82324553342981642117
343 84539436587476249331
344 86807131128977947569
345 89128735522219350679
346 91505367851127338637
347 93938166017281974603
348 96428288031773986777
349 98976912310490757967
350 101585237972860941141
351 104254485144087995107
352 106985895260903110849
353 109780731380868175943
354 112640278495259601885
355 115565843845564017083
356 118558757243617006697
357 121620371395416259455
358 124752062228640661029
359 127955229223907053523
360 131231295749796561105
361 134581709401682562807
362 138007942344392575021
363 141511491658736488235
364 145093879691933785081
365 148756654411972549807
366 152501389765933262837
367 156329686042310558147
368 160243170237366305761
369 164243496425547566759
370 168332346134003153789
371 172511428721232716187
372 176782481759902455433
373 181147271423861763807
374 185607592879395266757
375 190165270680744937651
376 194822159169937142257
377 199580142880949659479
378 204441136948253914573
379 209407087519767851275
380 214479972174255059993
381 219661800343205970447
382 224954613737237108885
383 230360486777044612259
384 235881527028948384513
385 241519875645063473415
386 247277707808135440157
387 253157233181076688251
388 259160696361240913065
389 265290377339473028671
390 271548591963972124517
391 277937692409005200787
392 284460067648509628177
393 291118143934622475191
394 297914385281175043949
395 304851293952191153899
396 311931410955427911737
397 319157316540997905263
398 326531630705111958837
399 334057013698981788547
400 341736166542922096161
401 349571831545691842407
402 357566792829114642109
403 365723876858018426203
404 374045952975534718665
405 382535933943798079903
406 391196776490086472197
407 400031481858443507315
408 409043096366823741489
409 418234711969802388503
410 427609466826891027725
411 437170545876501090507
412 446921181415597115481
413 456864653685081970895
414 467004291460956450261
415 477343472651295856227
416 487885624899086396737
417 498634226190964427207
418 509592805471901782621
419 520764943265880654139
420 532154272302601676009
421 543764478150269100287
422 555599299854497149093
423 567662530583381846867
424 579958018278782848337
425 592489666313859991671
426 605261434156909520557
427 618277338041545133739
428 631541451643269235833
429 645057906762479979055
430 658830894013959901813
431 672864663522892186947
432 687163525627450779745
433 701731851588010823719
434 716574074303026090493
435 731694689031620299035
436 747098254122939438857
437 762789391752312431711
438 778772788664267686725
439 795053196922453324851
440 811635434666509069937
441 828524386875938025687
442 845725006141026780237
443 863242313440862503051
444 881081398928495922329
445 899247422723299295119
446 917745615710568706837
447 936581280348420261923
448 955759791482029952897
449 975286597165267221127
450 995167219489772449181
451 1015407255421528851707
452 1036012377644979459369
453 1056988335414740118463
454 1078340955414959657445
455 1100076142626378600723
456 1122199881201138039697
457 1144718235345390501175
458 1167637350209764883949
459 1190963452787737765483
460 1214702852821963612345
461 1238861943718616660207
462 1263447203469797461941
463 1288465195584057335555
464 1313922570025094177441
465 1339826064158673340647
466 1366182503707827512637
467 1392998803716389762267
468 1420281969520914161481
469 1448039097731038623519
470 1476277377218344836229
471 1505004090113770406387
472 1534226612813628568753
473 1563952416994291051927
474 1594189070635589931917
475 1624944239052994543691
476 1656225685938619760857
477 1688041274411122193999
478 1720398968074541099093
479 1753306832086141028835
480 1786773034233313501633
481 1820805846019595205447
482 1855413643759860496605
483 1890604909684746197179
484 1926388233054366938473
485 1962772311281379542655
486 1999765951063455179557
487 2037378069525218281171
488 2075617695369711442385
489 2114493970039445783031
490 2154016148887096493357
491 2194193602355903532587
492 2235035817169837698297
493 2276552397533592532911
494 2318753066342462782709
495 2361647666402170374339
496 2405246161658699123937
497 2449558638438199644583
498 2494595306697026168957
499 2540366501281967255707
500 2586882683200732600201
501 2634154440902758423007
502 2682192491570394162629
503 2731007682420533452723
504 2780610992016752618225
505 2831013531592020179543
506 2882226546382041109197
507 2934261416969299841035
508 2987129660637866288409
509 3040842932739029384463
510 3095413028067822914965
511 3150851882250508671907
512 3207171573143082214401
513 3264384322240866782215
514 3322502496099261166621
515 3381538607765707603067
516 3441505318222946010537
517 3502415437843621163327
518 3564281927856309642341
519 3627117901823033674899
520 3690936627128329234449
521 3755751526479936034487
522 3821576179421177314413
523 3888424323855097578987
524 3956309857580426717497
525 4025246839839439193711
526 4095249492877777263157
527 4166332203516307440259
528 4238509524735079704353
529 4311796177269459200615
530 4386207051218500459453
531 4461757207665634425947
532 4538461880311738859465
533 4616336477120662932639
534 4695396581977277128453
535 4775657956358119804275
536 4857136541014712062257
537 4939848457669612836631
538 5023810010725286380045
539 5109037688985854603211
540 5195548167391806994777
541 5283358308767741121487
542 5372485165583206982357
543 5462945981726728764771
544 5554758194293077825089
545 5647939435383870991559
546 5742507533921568563037
547 5838480517476946653243
548 5935876614110118807017
549 6034714254225182092287
550 6135012072438563149221
551 6236788909461139956307
552 6340063813994215351889
553 6444856044639418628983
554 6551185071822611801005
555 6659070579731877416363
556 6768532468269665080697
557 6879590855019174126895
558 6992266077225050154869
559 7106578693788473445443
560 7222549487276717535585
561 7340199465947256525607
562 7459549865786499972861
563 7580622152563234510875
564 7703438023896851617801
565 7828019411340441243487
566 7954388482478831290437
567 8082567643041653230387
568 8212579539031514425201
569 8344447058867358008279
570 8478193335543091470669
571 8613841748801565384587
572 8751415927323983986073
573 8890939750934829628047
574 9032437352822383405077
575 9175933121774924541731
576 9321451704432691427457
577 9469018007555687472519
578 9618657200307415251613
579 9770394716554622694395
580 9924256257183145375273
581 10080267792429929248447
582 10238455564231318468325
583 10398846088587693230099
584 10561466157944542860433
585 10726342843590059683895
586 10893503498069339486957
587 11062975757615274698091
588 11234787544596226699705
589 11408967069980563985391
590 11585542835818153174197
591 11764543637738890192387
592 11945998567468359232417
593 12129937015360707398631
594 12316388672948823249469
595 12505383535511907746779
596 12696951904660526424137
597 12891124390939231887903
598 13087931916446846067077
599 13287405717474491930867
600 13489577347161464696241
601 13694478678169032851607
602 13902141905372259627149
603 14112599548569935847243
604 14325884455212715405785
605 14542029803149544911183
606 14761069103392479354197
607 14983036202899975958755
608 15207965287378758683329
609 15435890884104346148423
610 15666847864760336074205
611 15900871448296539621307
612 16137997203806059337321
613 16378261053421404721535
614 16621699275229739730981
615 16868348506207356861907
616 17118245745173472752337
617 17371428355763440563447
618 17627934069421474710061
619 17887800988412983823659
620 18151067588856608144889
621 18417772723776057856687
622 18687955626171849183733
623 18961655912113035399107
624 19238913583849030194657
625 19519769032941621187751
626 19804263043417271653757
627 20092436794939808890779
628 20384331866003597940873
629 20679990237147299710175
630 20979454294188312849093
631 21282766831477999072947
632 21589971055177791923185
633 21901110586556289289559
634 22216229465307430334413
635 22535372152889857781515
636 22858583535887566853657
637 23185908929391942465551
638 23517394080405286601365
639 23853085171265938129571
640 24193028823095087631617
641 24537272099265390145287
642 24885862508891479048477
643 25238848010342484634491
644 25596277014776661255849
645 25958198389698227239999
646 26324661462536522107237
647 26695716024247585948563
648 27071412332938266149137
649 27451801117512956971447
650 27836933581343077841261
651 28226861405959396508907
652 28621636754767303588409
653 29021312276785145307503
654 29425941110405721632565
655 29835576887181057264003
656 30250273735630553329697
657 30670086285072627936615
658 31095069669479954073789
659 31525279531358403693403
660 31960772025649807130825
661 32401603823658637359007
662 32847832117002728907781
663 33299514621588141614195
664 33756709581608279706161
665 34219475773567377058327
666 34687872510328459796237
667 35161959645185897762507
668 35641797575962656696921
669 36127447249132363321039
670 36618970163966295857109
671 37116428376705412850787
672 37619884504757533507393
673 38129401730919783092167
674 38645043807626417286237
675 39166875061222139731771
676 39694960396261027342057
677 40229365299831178295039
678 40770155845905197972133
679 41317398699716638447955
680 41871161122162507480913
681 42431510974231963299447
682 42998516721461311824045
683 43572247438415423311019
684 44152772813195685750393
685 44740163151974612697135
686 45334489383557223562357
687 45935823063969314739011
688 46544236381072740285025
689 47159802159207821235751
690 47782593863863002967037
691 48412685606371880380187
692 49050152148637711030537
693 49695068907885536672351
694 50347511961442034044229
695 51007558051543216071219
696 51675284590170105012337
697 52350769663912499435223
698 53034092038860957253197
699 53725331165527117414027
700 54424567183792483184281
701 55131880927885790328207
702 55847353931389083835669
703 56571068432272627209763
704 57303107377958768681345
705 58043554430414889074823
706 58792493971275556407197
707 59550011106994012660475
708 60316191674023118526249
709 61091122244025882280383
710 61874890129115699305445
711 62667583387126429138707
712 63469290826912437284241
713 64280102013678729388855
714 65100107274341305743341
715 65929397702917864432747
716 66768065165948981822137
717 67616202307949899427567
718 68473902556893046585781
719 69341260129721428700419
720 70218370037893011207329
721 71105328092956229766887
722 72002230912156757557053
723 72909175924075660907227
724 73826261374299074879817
725 74753586331119530773791
726 75691250691269067892357
727 76639355185684262285299
728 77598001385303305545393
729 78567291706895267107735
730 79547329418921673870733
731 80538218647430541327947
732 81540064381982990770905
733 82552972481612587494479
734 83577049680817535308373
735 84612403595585863030755
736 85659142729453739013057
737 86717376479597050118471
738 87787215142956381950685
739 88868769922395537503931
740 89962152932893731780457
741 91067477207771600297087
742 92184856704951159778597
743 93314406313249859712211
744 94456241858708863814609
745 95610480110955700840439
746 96777238789601424539437
747 97956636570672422947883
748 99148793093077017579257
749 100353828965106993458607
750 101571865770974201325301
751 102803026077382373709507
752 104047433440134296968929
753 105305212410774481754023
754 106576488543267474752125
755 107861388400711954943643
756 109160039562090757986697
757 110472570629056972730335
758 111799111232756254240709
759 113139792040685498109363
760 114494744763588021198065
761 115864102162385394360407
762 117247998055146073066701
763 118646567324090972245515
764 120059945922636132042521
765 121488270882472621585167
766 122931680320683828230037
767 124390313446900280158627
768 125864310570492150576641
769 127353813107799592161799
770 128858963589401050795549
771 130379905667419708004987
772 131916784122868201932713
773 133469744873031777044287
774 135038934978890013175397
775 136624502652577284913811
776 138226597264882102704657
777 139845369352785487461559
778 141480970627038530860653
779 143133553979779293889515
780 144803273492189196618553
781 146490284442189052558447
782 148194743312174901363765
783 149916807796793794039939
784 151656636810759685208353
785 153414390496709587382375
786 155190230233100142605757
787 156984318642144767203931
788 158796819597791525798345
789 160627898233741891134111
790 162477720951510546671877
791 164346455428526389295987
792 166234270626274889892657
793 168141336798481969954071
794 170067825499339552766989
795 172013909591772948147659
796 173979763255750230088537
797 175965561996633767086543
798 177971482653574065327317
799 179997703407946085305187
800 182044403791828192864321
801 184111764696523906052807
802 186199968381126599588189
803 188309198481127329140283
804 190439640017065938044905
805 192591479403225609470463
806 194764904456371027468197
807 196960104404530310746195
808 199177269895820883417169
809 201416593007319447380343
810 203678267253976221408685
811 205962487597573612424107
812 208269450455729484855161
813 210599353710945194384175
814 212952396719698552803701
815 215328780321581891115587
816 217728706848485388419937
817 220152380133825834555687
818 222600005521820994869501
819 225071789876809745905179
820 227567941592618151221769
821 230088670601971646965087
822 232634188385953507234373
823 235204707983509759703347
824 237800444001000722372977
825 240421612621799332751831
826 243068431615936441178957
827 245741120349793240423819
828 248439899795841004117913
829 251164992542428306993295
830 253916622803615900324373
831 256695016429059416390947
832 259500400913940076202625
833 262333005408943575147399
834 265193060730287321650333
835 268080799369796204351995
836 270996455505027063740457
837 273940265009442044595391
838 276912465462631006028005
839 279913296160583166326291
840 282942998126008160241297
841 286001814118706686776887
842 289089988645990925972717
843 292207767973154903597931
844 295355400133994983101369
845 298533134941380664592879
846 301741223997875871059637
847 304979920706410902451203
848 308249480281005238697377
849 311550159757541373153767
850 314882218004589858401341
851 318245915734285746758107
852 321641515513256608293449
853 325069281773602309568543
854 328529480823926736759685
855 332022380860421647255283
856 335548251978002834251697
857 339107366181498789308055
858 342699997396892048255629
859 346326421482613406293323
860 349986916240889188537305
861 353681761429141762729807
862 357411238771443481249621
863 361175631970024240004835
864 364975226716832842226881
865 368810310705152355624007
866 372681173641269651791837
867 376588107256199317218747
868 380531405317462125664361
869 384511363640918262130559
870 388528280102655489085989
871 392582454650932446047187
872 396674189318177274062033
873 400803788233041757084407
874 404971557632511172672557
875 409177805874070044887851
876 413422843447923992715257
877 417706982989277867772079
878 422030539290670375517173
879 426393829314365374619075
880 430797172204800049588193
881 435240889301090152225447
882 439725304149592507887485
883 444250742516524983016859
884 448817532400644110834313
885 453426004045980572539615
886 458076489954632731817157
887 462769324899618420892851
888 467504845937785176839665
889 472283392422779127280471
890 477105306018072725088717
891 481970930710051532139787
892 486880612821160252618777
893 491834701023108216843791
894 496833546350134517017749
895 501877502212332996776099
896 506966924409037296852737
897 512102171142266159641863
898 517283603030229195889437
899 522511583120893317204347
900 527786476905610038536361
901 533108652332803855225407
902 538478479821721899684709
903 543896332276245083238803
904 549362585098760929096465
905 554877616204098302898103
906 560441806033524247737197
907 566055537568803131015915
908 571719196346318310956089
909 577433170471256531048303
910 583197850631855251183925
911 589013630113713124677507
912 594880904814163830850081
913 600800073256713473307495
914 606771536605541754512061
915 612795698680067137710427
916 618872965969576207745737
917 625003747647917442747807
918 631188455588259609161221
919 637427504377914993037939
920 643721311333227680988209
921 650070296514527104651287
922 656474882741147063015693
923 662935495606510437387467
924 669452563493279814274137
925 676026517588574231921871
926 682657791899252266713557
927 689346823267261676106339
928 696094051385055815258433
929 702899918811077044966855
930 709764870985307349010013
931 716689356244886379461947
932 723673825839797149018345
933 730718733948619589848319
934 737824537694352198960293
935 744991697160301990545235
936 752220675406042976235857
937 759511938483443394696311
938 766865955452761912433325
939 774283198398813018196651
940 781764142447201833814137
941 789309265780628564784687
942 796919049655262814430837
943 804593978417187985891651
944 812334539518915996716129
945 820141223535972531297319
946 828014524183553056867837
947 835954938333249829258523
948 843962966029850115103497
949 852039110508205857656927
950 860183878210175013869381
951 868397778801634790854707
952 876681325189567010361969
953 885035033539215830351063
954 893459423291318053255245
955 901955017179406250998923
956 910522341247184937324697
957 919161924865980018469775
958 927874300752261753718549
959 936660004985241457845283
960 945519577024542177948545
961 954453559727943577667207
962 963462499369201262256541
963 972546945655940778492155
964 981707451747626523859241
965 990944574273605799974847
966 1000258873351228245681637
967 1009650912604040885742867
968 1019121259180059031560081
969 1028670483770113270827319
970 1038299160626272783528429
971 1048007867580345222177387
972 1057797186062453394695353
973 1067667701119688988812527
974 1077620001434843577377717
975 1087654679345217144453891
976 1097772330861504372573857
977 1107973555686758932026599
978 1118258957235436013541693
979 1128629142652513346236635
980 1139084722832690943189833
981 1149626312439669817500447
982 1160254529925509912195205
983 1170969997550067487841779
984 1181773341400512212228273
985 1192665191410924196968855
986 1203646181381971226396557
987 1214716949000666424605771
988 1225878135860206607008985
989 1237130387479891563274831
990 1248474353325124519017557
991 1259910686827494024111587
992 1271440045404937516008897
993 1283063090481986806941511
994 1294780487510095744396509
995 1306592905988050294756539
996 1318501019482461300504937
997 1330505505648340161901183
998 1342607046249757694539557
999 1354806327180586414711507
1000 1367104038485326505000401