0 1
1 15
2 113
3 575
4 2241
5 7183
6 19825
7 48639
8 108545
9 224143
10 433905
11 795455
12 1392065
13 2340495
14 3800305
15 5984767
16 9173505
17 13726991
18 20103025
19 28875327
20 40754369
21 56610575
22 77500017
23 104692735
24 139703809
25 184327311
26 240673265
27 311207743
28 398796225
29 506750351
30 638878193
31 799538175
32 993696769
33 1226990095
34 1505789553
35 1837271615
36 2229491905
37 2691463695
38 3233240945
39 3866006015
40 4602162177
41 5455431055
42 6440955121
43 7575405375
44 8877094337
45 10366094479
46 12064362225
47 13995867647
48 16186729985
49 18665359119
50 21462603121
51 24611902015
52 28149447873
53 32114351375
54 36548814961
55 41498312703
56 47011777025
57 53141792399
58 59944796145
59 67481286463
60 75816037825
61 85018323855
62 95162147825
63 106326480895
64 118595508225
65 132058883087
66 146811989105
67 162956210751
68 180599212225
69 199855224847
70 220845343089
71 243697829375
72 268548427777
73 295540686735
74 324826290929
75 356565402431
76 390927011265
77 428089295503
78 468239991025
79 511576771071
80 558307635713
81 608651311375
82 662837660529
83 721108101695
84 783716039873
85 850927307535
86 923020616305
87 1000288019455
88 1083035385345
89 1171582881935
90 1266265472497
91 1367433422655
92 1475452818881
93 1590706098575
94 1713592591857
95 1844529075199
96 1983950337025
97 2132309755407
98 2290079887985
99 2457753074239
100 2635842050241
101 2824880576015
102 3025424075633
103 3238050290175
104 3463359943681
105 3701977422223
106 3954551466225
107 4221755876159
108 4504290231745
109 4802880624783
110 5118280405745
111 5451270944255
112 5802662403585
113 6173294529295
114 6564037452145
115 6975792505407
116 7409493056705
117 7866105354511
118 8346629389425
119 8852099770367
120 9383586615809
121 9942196460175
122 10529073175537
123 11145398908735
124 11792395034049
125 12471323121551
126 13183485921265
127 13930228363263
128 14712938573825
129 15533048907791
130 16392036997233
131 17291426816575
132 18232789764289
133 19217745761295
134 20247964366193
135 21325165907455
136 22451122632705
137 23627659875215
138 24856657237745
139 26140049793855
140 27479829306817
141 28878045466255
142 30336807142641
143 31858283659775
144 33444706085377
145 35098368539919
146 36821629523825
147 38616913263167
148 40486711073985
149 42433582745359
150 44460157941361
151 46569137622015
152 48763295483393
153 51045479416975
154 53418612988401
155 55885696935743
156 58449810687425
157 61114113899919
158 63881848015345
159 66756337839103
160 69740993137665
161 72839310256655
162 76054873759345
163 79391358085695
164 82852529232065
165 86442246451727
166 90164463976305
167 94023232758271
168 98022702234625
169 102167122111887
170 106460844172529
171 110908324102975
172 115514123343297
173 120282910958735
174 125219465533169
175 130328677084671
176 135615549003265
177 141085200011023
178 146742866144625
179 152593902760511
180 158643786562753
181 164898117653775
182 171362621608049
183 178043151568895
184 184945690368513
185 192076352671375
186 199441387141105
187 207047178630975
188 214900250398145
189 223007266341775
190 231375033265137
191 240010503161855
192 248920775526401
193 258113099688975
194 267594877174897
195 277373664088639
196 287457173522625
197 297853277990927
198 308570011887985
199 319615573972479
200 330998329876481
201 342726814640015
202 354809735271153
203 367255973331775
204 380074587549121
205 393274816453263
206 406866081040625
207 420857987463679
208 435260329746945
209 450083092529423
210 465336453833585
211 481030787861055
212 497176667815105
213 513784868750095
214 530866370447985
215 548432360322047
216 566494236347905
217 585063610022031
218 604152309347825
219 623772381849407
220 643936097613249
221 664655952357775
222 685944670531057
223 707815208436735
224 730280757388289
225 753354746891791
226 777050847857265
227 801382975838783
228 826365294303425
229 852012217929231
230 878338415932273
231 905358815422975
232 933088604791809
233 961543237124495
234 990738433646833
235 1020690187199295
236 1051414765741505
237 1082928715886735
238 1115248866466545
239 1148392332125695
240 1182376516947457
241 1217219118109455
242 1252938129570161
243 1289551845786175
244 1327078865460417
245 1365538095321359
246 1404948753933425
247 1445330375538687
248 1486702813929985
249 1529086246355599
250 1572501177455601
251 1616968443230015
252 1662509215038913
253 1709145003634575
254 1756897663225841
255 1805789395574783
256 1855842754125825
257 1907080648167439
258 1959526347026545
259 2013203484295743
260 2068136062093505
261 2124348455357455
262 2181865416170865
263 2240712078122495
264 2300913960699905
265 2362496973716367
266 2425487421771505
267 2489912008745791
268 2555797842329025
269 2623172438582927
270 2692063726537969
271 2762500052824575
272 2834510186338817
273 2908123322942735
274 2983369090199409
275 3060277552142911
276 3138879214083265
277 3219205027446543
278 3301286394650225
279 3385155174013951
280 3470843684705793
281 3558384711724175
282 3647811510915569
283 3739157814028095
284 3832457833801153
285 3927746269091215
286 4025058310033905
287 4124429643242495
288 4225896457042945
289 4329495446745615
290 4435263819953777
291 4543239301909055
292 4653460140873921
293 4765965113551375
294 4880793530541937
295 4997985241838079
296 5117580642356225
297 5239620677506447
298 5364146848799985
299 5491201219494719
300 5620826420278721
301 5753065654992015
302 5887962706386673
303 6025561941925375
304 6165908319618561
305 6309047393900303
306 6455025321543025
307 6603888867611199
308 6755685411454145
309 6910462952738063
310 7068270117517425
311 7229156164345855
312 7393170990426625
313 7560365137802895
314 7730789799587825
315 7904496826234687
316 8081538731847105
317 8261968700529551
318 8445840592778225
319 8633208951912447
320 8824129010546689
321 9018656697103375
322 9216848642366577
323 9418762186076735
324 9624455383566529
325 9833987012438031
326 10047416579281265
327 10264804326434303
328 10486211238785025
329 10711699050614671
330 10941330252483313
331 11175168098157375
332 11413276611579329
333 11655720593879695
334 11902565630431473
335 12153878097947135
336 12409725171618305
337 12670174832298255
338 12935295873727345
339 13205157909801535
340 13479831381884097
341 13759387566160655
342 14043898581037681
343 14333437394584575
344 14628077832019457
345 14927894583238799
346 15232963210391025
347 15543360155494207
348 15859162748097985
349 16180449212989839
350 16507298677945841
351 16839791181526015
352 17178007680914433
353 17522030059804175
354 17871941136327281
355 18227824671029823
356 18589765374892225
357 18957848917394959
358 19332161934629745
359 19712792037456383
360 20099827819705345
361 20493358866426255
362 20893475762182385
363 21300270099391295
364 21713834486711745
365 22134262557477007
366 22561648978174705
367 22996089456973311
368 23437680752295425
369 23886520681437967
370 24342708129239409
371 24806343056794175
372 25277526510214337
373 25756360629438735
374 26242948657089649
375 26737394947377151
376 27239804975051265
377 27750285344402063
378 28268943798307825
379 28795889227331391
380 29331231678864833
381 29875082366322575
382 30427553678383089
383 30988759188279295
384 31558813663137793
385 32137833073367055
386 32725934602094705
387 33323236654654015
388 33929858868119745
389 34545922120893455
390 35171548542338417
391 35806861522464255
392 36451985721661441
393 37107047080485775
394 37772172829492977
395 38447491499123519
396 39133132929637825
397 39829228281101967
398 40535910043423985
399 41253312046440959
400 41981569470056961
401 42720818854432015
402 43471198110222193
403 44232846528870975
404 45005904792952001
405 45790514986563343
406 46586820605773425
407 47394966569118719
408 48215099228153345
409 49047366378050703
410 49891917268257265
411 50748902613198655
412 51618474603038145
413 52500786914487695
414 53395994721671665
415 54304254707043327
416 55225725072354305
417 56160565549677071
418 57108937412480625
419 58071003486759487
420 59046928162216129
421 60036877403496975
422 61041018761482097
423 62059521384628735
424 63092556030368769
425 64140295076560271
426 65202912532993265
427 66280584052949823
428 67373486944818625
429 68481800183764111
430 69605704423450353
431 70745382007819775
432 71901016982926849
433 73072795108826895
434 74260903871520113
435 75465532494950975
436 76686871953063105
437 77925114981909775
438 79180456091820145
439 80453091579621375
440 81743219540916737
441 83051039882419855
442 84376754334345201
443 85720566462854975
444 87082681682562497
445 88463307269092239
446 89862652371696625
447 91280928025929727
448 92718347166377985
449 94175124639448079
450 95651477216212081
451 97147623605310015
452 98663784465909953
453 100200182420725775
454 101757042069092721
455 103334590000100863
456 104933054805786625
457 106552667094382479
458 108193659503624945
459 109856266714121023
460 111540725462773185
461 113247274556263055
462 114976154884593905
463 116727609434692095
464 118501883304067585
465 120299223714533647
466 122119880025985905
467 123964103750240831
468 125832148564933825
469 127724270327477007
470 129640727089076849
471 131581779108811775
472 133547688867769857
473 135538721083246735
474 137555142723003889
475 139597223019587391
476 141665233484707265
477 143759447923677583
478 145880142449917425
479 148027595499512831
480 150202087845839873
481 152403902614248975
482 154633325296810609
483 156890643767122495
484 159176148295178433
485 161490131562298895
486 163832888676123505
487 166204717185665535
488 168605917096428545
489 171036790885585295
490 173497643517219057
491 175988782457627455
492 178510517690688961
493 181063161733292175
494 183647029650828017
495 186262439072744959
496 188909710208167425
497 191589165861577487
498 194301131448559985
499 197045935011611199
500 199823907236011201
501 202635381465760015
502 205480693719577713
503 208360182706968575
504 211274189844349441
505 214223059271242383
506 217207137866531825
507 220226775264786239
508 223282323872644545
509 226374138885267343
510 229502578302853105
511 232668002947219455
512 235870776478449665
513 239111265411604495
514 242389839133499505
515 245706869919547967
516 249062732950669505
517 252457806330264591
518 255892471101255025
519 259367111263190527
520 262882113789421569
521 266437868644338575
522 270034768800677617
523 273673210256892735
524 277353592054595009
525 281076316296058511
526 284841788161793265
527 288650415928185343
528 292502610985204225
529 296398787854177551
530 300339364205633393
531 304324760877210175
532 308355401891634369
533 312431714474766095
534 316554129073712753
535 320723079375010815
536 324939002322875905
537 329202338137521295
538 333513530333544945
539 337873025738385215
540 342281274510845377
541 346738730159687055
542 351245849562292721
543 355803092983397375
544 360410924093889537
545 365069809989681679
546 369780221210650225
547 374542631759645247
548 379357519121569985
549 384225364282530319
550 389146651749054321
551 394121869567382015
552 399151509342825473
553 404236066259199375
554 409376039098322161
555 414571930259587903
556 419824245779609025
557 425133495351929999
558 430500192346812145
559 435924853831089663
560 441408000588097025
561 446950157137667855
562 452551851756205425
563 458213616496824895
564 463935987209567425
565 469719503561686287
566 475564709058005105
567 481472151061348351
568 487442380813044225
569 493475953453500047
570 499573428042850289
571 505735367581677375
572 511962339031805377
573 518254913337166735
574 524613665444742129
575 531039174325573631
576 537532022995851265
577 544092798538073103
578 550722092122279025
579 557420499027358271
580 564188618662430913
581 571027054588303375
582 577936414538998129
583 584917310443357695
584 591970358446723073
585 599096178932686735
586 606295396544920305
587 613568640209077055
588 620916543154769345
589 628339742937621135
590 635838881461395697
591 643414605000198655
592 651067564220756481
593 658798414204770575
594 666607814471347057
595 674496428999502399
596 682464926250745025
597 690513979191733007
598 698644265317007985
599 706856466671805439
600 715151269874941441
601 723529366141776015
602 731991451307253233
603 740538225849018175
604 749170394910610881
605 757888668324737423
606 766693760636618225
607 775586391127413759
608 784567283837727745
609 793637167591187983
610 802796776018104945
611 812046847579208255
612 821388125589461185
613 830821358241953295
614 840347298631871345
615 849966704780548607
616 859680339659592705
617 869488971215092111
618 879393372391901425
619 889394321158005567
620 899492600528963009
621 909688998592428175
622 919984308532753137
623 930379328655668735
624 940874862413045249
625 951471718427732751
626 962170710518481265
627 972972657724940863
628 983878384332741825
629 994888719898654991
630 1006004499275832433
631 1017226562639128575
632 1028555755510501889
633 1039992928784497295
634 1051538938753809393
635 1063194647134926655
636 1074960921093856705
637 1086838633271932815
638 1098828661811701745
639 1110931890382893055
640 1123149208208470017
641 1135481510090762255
642 1147929696437680241
643 1160494673289011775
644 1173177352342800577
645 1185978650981807119
646 1198899492300051825
647 1211940805129440767
648 1225103524066473985
649 1238388589499036559
650 1251796947633272561
651 1265329550520542015
652 1278987356084460993
653 1292771328148024975
654 1306682436460815601
655 1320721656726290943
656 1334889970629159425
657 1349188365862837519
658 1363617836156991345
659 1378179381305162303
660 1392874007192476865
661 1407702725823440655
662 1422666555349816945
663 1437766520098589695
664 1453003650600011265
665 1468378983615734927
666 1483893562167032305
667 1499548435563095871
668 1515344659429426625
669 1531283295736307087
670 1547365412827359729
671 1563592085448190975
672 1579964394775120897
673 1596483428443998735
674 1613150280579104369
675 1629966051822135871
676 1646931849361283265
677 1664048786960388623
678 1681317984988192625
679 1698740570447667711
680 1716317677005437953
681 1734050445021285775
682 1751940021577745649
683 1769987560509784895
684 1788194222434571713
685 1806561174781330575
686 1825089591821285105
687 1843780654697688575
688 1862635551455942145
689 1881655477073800975
690 1900841633491668337
691 1920195229642977855
692 1939717481484664001
693 1959409612027720975
694 1979272851367850097
695 1999308436716195839
696 2019517612430170625
697 2039901630044368527
698 2060461748301567985
699 2081199233183823679
700 2102115357943647681
701 2123211403135280015
702 2144488656646048753
703 2165948413727819775
704 2187591977028536321
705 2209420656623848463
706 2231435770048832625
707 2253638642329801279
708 2276030606016202945
709 2298613001212612623
710 2321387175610812785
711 2344354484521965055
712 2367516290908872705
713 2390873965418334095
714 2414428886413587185
715 2438182440006845247
716 2462136020091923905
717 2486291028376959631
718 2510648874417219825
719 2535210975648004607
720 2559978757417640449
721 2584953653020565775
722 2610137103730508657
723 2635530558833756735
724 2661135475662519489
725 2686953319628382991
726 2712985564255857265
727 2739233691216016383
728 2765699190360231425
729 2792383559753996431
730 2819288305710847473
731 2846414942826374975
732 2873764994012329409
733 2901339990530820495
734 2929141472028610033
735 2957170986571498495
736 2985430090678805505
737 3013920349357944335
738 3042643336139090545
739 3071600633109944895
740 3100793830950590657
741 3130224528968445455
742 3159894335133307761
743 3189804866112498175
744 3219957747306095617
745 3250354612882268559
746 3280997105812701425
747 3311886877908116287
748 3343025589853889985
749 3374414911245766799
750 3406056520625666801
751 3437952105517590015
752 3470103362463616513
753 3502511997060002575
754 3535179723993373041
755 3568108267077009983
756 3601299359287237825
757 3634754742799905039
758 3668476169026962545
759 3702465398653138943
760 3736724201672712705
761 3771254357426381455
762 3806057654638228465
763 3841135891452786495
764 3876490875472199105
765 3912124423793479567
766 3948038363045867505
767 3984234529428283391
768 4020714768746881025
769 4057480936452698127
770 4094534897679405169
771 4131878527281152575
772 4169513709870516417
773 4207442339856542735
774 4245666321482890609
775 4284187568866074111
776 4323008006033803265
777 4362129566963424143
778 4401554195620458225
779 4441283845997241151
780 4481320482151660993
781 4521666078245996175
782 4562322618585853169
783 4603292097659204095
784 4644576520175524353
785 4686177901105030415
786 4728098265718017905
787 4770339649624300095
788 4812904098812746945
789 4855793669690924815
790 4899010429124836977
791 4942556454478765055
792 4986433833655211521
793 5030644665134943375
794 5075191058017137137
795 5120075132059625279
796 5165299017719244225
797 5210864856192284047
798 5256774799455039985
799 5303031010304465919
800 5349635662398929921
801 5396590940299072015
802 5443899039508764273
803 5491562166516173375
804 5539582538834925761
805 5587962385045375503
806 5636703944835975025
807 5685809469044748799
808 5735281219700870145
809 5785121470066341263
810 5835332504677776625
811 5885916619388289855
812 5936876121409484225
813 5988213329353546895
814 6039930573275447025
815 6092030194715237887
816 6144514546740463105
817 6197385993988667151
818 6250646912710010225
819 6304299690809987647
820 6358346727892253889
821 6412790435301551375
822 6467633236166744177
823 6522877565443956735
824 6578525869959817729
825 6634580608454809231
826 6691044251626721265
827 6747919282174211903
828 6805208194840473025
829 6862913496457001871
830 6921037705987478513
831 6979583354571749375
832 7038552985569916929
833 7097949154606535695
834 7157774429614914673
835 7218031390881526335
836 7278722631090522305
837 7339850755368355855
838 7401418381328511345
839 7463428139116340735
840 7525882671454007297
841 7588784633685536655
842 7652136693821975281
843 7715941532586656575
844 7780201843460574657
845 7844920332727865999
846 7910099719521399025
847 7975742735868471807
848 8041852126736617985
849 8108430650079521039
850 8175481076883037041
851 8243006191211326015
852 8311008790253092033
853 8379491684367932175
854 8448457697132794481
855 8517909665388545023
856 8587850439286644225
857 8658282882335932559
858 8729209871449525745
859 8800634296991819583
860 8872559062825604545
861 8944987086359290255
862 9017921298594239985
863 9091364644172215295
864 9165320081422930945
865 9239790582411720207
866 9314779132987310705
867 9390288732829710911
868 9466322395498207425
869 9542883148479473167
870 9619974033235786609
871 9697598105253362175
872 9775758434090791937
873 9854458103427598735
874 9933700211112900849
875 10013487869214188351
876 10093824204066211265
877 10174712356319979663
878 10256155480991875825
879 10338156747512878591
880 10420719339777900033
881 10503846456195234575
882 10587541309736120689
883 10671807127984415295
884 10756647153186380993
885 10842064642300586255
886 10928062867047918705
887 11014645113961711615
888 11101814684437983745
889 11189574894785792655
890 11277929076277701617
891 11366880575200360255
892 11456432752905199041
893 11546588985859237775
894 11637352665696008177
895 11728727199266590719
896 11820716008690765825
897 11913322531408279567
898 12006550220230223985
899 12100402543390532159
900 12194882984597588161
901 12289995043085952015
902 12385742233668199793
903 12482128086786878975
904 12579156148566579201
905 12676829980866118543
906 12775153161330845425
907 12874129283445056319
908 12973761956584529345
909 13074054806069173903
910 13175011473215796465
911 13276635615390982655
912 13378930906064095745
913 13481901034860391695
914 13585549707614250865
915 13689880646422526527
916 13794897589698010305
917 13900604292223014671
918 14007004525203072625
919 14114102076320754687
920 14221900749789603329
921 14330404366408184975
922 14439616763614259697
923 14549541795539068735
924 14660183333061739969
925 14771545263863811471
926 14883631492483873265
927 14996445940372327423
928 15109992545946266625
929 15224275264644471311
930 15339298068982525553
931 15455064948608051775
932 15571579910356064449
933 15688846978304442895
934 15806870193829523313
935 15925653615661810175
936 16045201319941807105
937 16165517400275967375
938 16286605967792764145
939 16408471151198880575
940 16531117096835519937
941 16654547968734835855
942 16778767948676482801
943 16903781236244286975
944 17029592048883037697
945 17156204621955399439
946 17283623208798944625
947 17411852080783307327
948 17540895527367457985
949 17670757856157099279
950 17801443392962183281
951 17932956481854550015
952 18065301485225687553
953 18198482783844613775
954 18332504776915879921
955 18467371882137696063
956 18603088535760178625
957 18739659192643720079
958 18877088326317480945
959 19015380429038004223
960 19154540011847952385
961 19294571604634967055
962 19435479756190651505
963 19577269034269676095
964 19719944025649006785
965 19863509336187256847
966 20007969590884161905
967 20153329433940178431
968 20299593528816205825
969 20446766558293432207
970 20594853224533304049
971 20743858249137619775
972 20893786373208747457
973 21044642357409966735
974 21196430982025935089
975 21349157047023278591
976 21502825372111307265
977 21657440796802855183
978 21813008180475245425
979 21969532402431380031
980 22127018361960955073
981 22285470978401800975
982 22444895191201348209
983 22605295959978218495
984 22766678264583941633
985 22929047105164798095
986 23092407502223787505
987 23256764496682723135
988 23422123149944452545
989 23588488543955204495
990 23755865781267062257
991 23924259985100563455
992 24093676299407426561
993 24264119888933404175
994 24435595939281263217
995 24608109656973892159
996 24781666269517535425
997 24956271025465155087
998 25131929194479919985
999 25308646067398822399
1000 25486426956296422401