0 0
1 0
2 0
3 1
4 79
5 1987
6 16834
7 85275
8 317471
9 962089
10 2515262
11 5882109
12 12605095
13 25175191
14 47443474
15 85152487
16 146608359
17 243516365
18 392004286
19 613859609
20 938008287
21 1402264459
22 2055382210
23 2959442131
24 4192607119
25 5852283537
26 8058725534
27 10959122005
28 14732207351
29 19593438879
30 25800785362
31 33661172959
32 43537636375
33 55857224821
34 71119714014
35 89907177137
36 112894469359
37 140860682195
38 174701625666
39 215443397899
40 264257103487
41 322474783609
42 391606622590
43 473359497261
44 569656937159
45 682660565287
46 814793090834
47 968762926935
48 1147590508231
49 1354636384669
50 1593631169662
51 1868707422409
52 2184433545855
53 2545849783451
54 2958506399554
55 3428504129987
56 3962536990959
57 4567937536225
58 5252724654046
59 6025653997189
60 6896271140887
61 7874967565359
62 8973039561170
63 10202750157391
64 11577394174199
65 13111366503237
66 14820233720734
67 16720809140065
68 18831231412111
69 21171046783459
70 23761295124162
71 26624599838459
72 29785261773535
73 33269357243081
74 37104840284094
75 41321649267037
76 45951817981159
77 51029591318455
78 56591545681426
79 62676714241479
80 69326717176487
81 76585897017709
82 84501459237950
83 93123618214521
84 102505748702239
85 112704542953387
86 123780173623234
87 135796462601395
88 148821055910991
89 162925604819249
90 178185953304862
91 194682332029109
92 212499558959415
93 231727246795711
94 252460017351634
95 274797723044287
96 298845675647959
97 324714882468885
98 352522290099806
99 382391035914769
100 414450707466287
101 448837609948659
102 485695041892930
103 525173579260651
104 567431368105279
105 612634425971737
106 660956952206334
107 712581647350925
108 767700041796871
109 826512833876039
110 889230237567762
111 956072340002359
112 1027269468943495
113 1103062570433341
114 1183703596786174
115 1269455905117737
116 1360594666599359
117 1457407286627515
118 1560193836101186
119 1669267494001059
120 1784955001466287
121 1907597127566209
122 2037549146966110
123 2175181329687781
124 2320879443167319
125 2475045266814287
126 2638097119278034
127 2810470398628655
128 2992618135661751
129 3185011560537829
130 3388140682968862
131 3602514886166209
132 3828663534765775
133 4067136596947971
134 4318505280971714
135 4583362686343387
136 4862324469843359
137 5156029526634345
138 5465140686677566
139 5790345426684349
140 6132356597832487
141 6491913169478359
142 6869780989097490
143 7266753558687911
144 7683652827872359
145 8121330003937037
146 8580666379046334
147 9062574174874585
148 9567997404897631
149 10097912754588619
150 10653330479764162
151 11235295323328659
152 11844887450666255
153 12483223403931601
154 13151457075492254
155 13850780700777237
156 14582425870787959
157 15347664564529375
158 16147810201620946
159 16984218715348639
160 17858289646420887
161 18771467257693109
162 19725241670127070
163 20721150020253041
164 21760777639404399
165 22845759254995987
166 23977780214119234
167 25158577729728715
168 26389942149696511
169 27673718249012409
170 29011806545409662
171 30406164638697709
172 31858808574084935
173 33371814229776231
174 34947318729131794
175 36587521877675287
176 38294687625241159
177 40071145553552605
178 41919292389523326
179 43841593544577929
180 45840584680287487
181 47918873300618459
182 50079140371094850
183 52324141965175171
184 54656710938147439
185 57079758628847137
186 59596276589504734
187 62209338344031045
188 64922101175050391
189 67737807939993199
190 70659788916561362
191 73691463677881359
192 76836342997661815
193 80098030785673861
194 83480226053874334
195 86986724913493537
196 90621422603410959
197 94388315550144035
198 98291503459776706
199 102335191442156219
200 106523692167688287
201 110861428057062409
202 115352933504240830
203 120002857133046301
204 124815964087685479
205 129797138357546487
206 134951385136610834
207 140283833217821575
208 145799737422751271
209 151504481066914989
210 157403578461075262
211 163502677448887609
212 169807561981236895
213 176324154727616491
214 183058519724903874
215 190016865063887987
216 197205545613905359
217 204631065785943665
218 212300082334573086
219 220219407199067509
220 228396010384079287
221 236837022880232959
222 245549739625005010
223 254541622504258431
224 263820303394802519
225 273393587248350037
226 283269455217245534
227 293456067822340305
228 303961768163391151
229 314795085172361779
230 325964736910007362
231 337479633906124459
232 349348882543850175
233 361581788488396121
234 374187860160604414
235 387176812255714637
236 400558569307732359
237 414343269299791495
238 428541267320904466
239 443163139269495799
240 458219685604116487
241 473721935141738109
242 489681148904027390
243 506108824012003561
244 523016697629482559
245 540416750955713787
246 558321213267616834
247 576742566012027235
248 595693546948362031
249 615187154342117569
250 635236651209613662
251 655855569614399909
252 677057715015741655
253 698857170669604751
254 721268302082559954
255 744305761519029487
256 767984492562299959
257 792319734729727525
258 817327028142562846
259 843022218250825089
260 869421460613655887
261 896541225735585859
262 924398303959147970
263 953009810414273691
264 982393190024909599
265 1012566222573293737
266 1043547027822332734
267 1075354070696522365
268 1108006166521855911
269 1141522486325166359
270 1175922562193350162
271 1211226292692921959
272 1247453948350351335
273 1284626177193634381
274 1322764010355554494
275 1361888867739088537
276 1402022563745416159
277 1443187313064991755
278 1485405736532140226
279 1528700867043639379
280 1573096155541753487
281 1618615477062184209
282 1665283136847406750
283 1713123876525860821
284 1762162880357467639
285 1812425781545945887
286 1863938668618401234
287 1916728091872665695
288 1970821069892864791
289 2026245096133692149
290 2083028145573872862
291 2141198681439298609
292 2200785661996319215
293 2261818547415677011
294 2324327306707572034
295 2388342424728347787
296 2453894909259288959
297 2521016298158024185
298 2589738666583028606
299 2660094634291722669
300 2732117373012665287
301 2805840613892341159
302 2881298655017043730
303 2958526369010356951
304 3037559210706740679
305 3118433224901726237
306 3201185054179230334
307 3285851946816497225
308 3372471764767180671
309 3461082991723078939
310 3551724741255037762
311 3644436765033537859
312 3739259461129485295
313 3836233882395724641
314 3935401744929796574
315 4036805436618463237
316 4140488025764526359
317 4246493269796464815
318 4354865624061419986
319 4465650250702058959
320 4578893027617847287
321 4694640557511264709
322 4812940177019498910
323 4933839965932154081
324 5057388756495512719
325 5183636142803890787
326 5312632490278628034
327 5444428945235256955
328 5579077444539395551
329 5716630725351910729
330 5857142334963900862
331 6000666640722047709
332 6147258840044889575
333 6296974970530569271
334 6449871920156612114
335 6606007437572290887
336 6765440142484136359
337 6928229536135153645
338 7094436011878306366
339 7264120865844832249
340 7437346307707955487
341 7614175471542562859
342 7794672426781412290
343 7978902189268444211
344 8166930732409767759
345 8358824998422895537
346 8554652909684802334
347 8754483380179384885
348 8958386327044901431
349 9166432682221971519
350 9378694404202718162
351 9595244489881636159
352 9816156986508772055
353 10041507003745802901
354 10271370725825602654
355 10505825423815886737
356 10744949467987526959
357 10988822340288130675
358 11237524646921479746
359 11491138131033426539
360 11749745685504845887
361 12013431365852243609
362 12282280403236623870
363 12556379217581219341
364 12835815430798689799
365 13120677880128396487
366 13411056631584361234
367 13707042993514521015
368 14008729530271890311
369 14316210075998245309
370 14629579748520945662
371 14948934963363511209
372 15274373447870572735
373 15605994255447817531
374 15943897779917552194
375 16288185769990506787
376 16638961343854506159
377 16996329003880635905
378 17360394651447532126
379 17731265601884425829
380 18109050599533574487
381 18493859832932714959
382 18885804950118173650
383 19284999074049271471
384 19691556818154662839
385 20105594302001249637
386 20527229167086312734
387 20956580592753505345
388 21393769312233354191
389 21838917628808916099
390 22292149432107239362
391 22753590214517280859
392 23223367087734931615
393 23701608799435805161
394 24188445750076444734
395 24684010009824607037
396 25188435335619281959
397 25701857188361109335
398 26224412750233855506
399 26756240942157614119
400 27297482441374397287
401 27848279699166784909
402 28408776958710301630
403 28979120273060192601
404 29559457523273270879
405 30149938436665510987
406 30750714605206064834
407 31361939504048377875
408 31983768510199085071
409 32616358921325367889
410 33259869974701455262
411 33914462866294953109
412 34580300769993688695
413 35257548856973757791
414 35946374315209464274
415 36646946369125843487
416 37359436299394462359
417 38084017462873190965
418 38820865312690641886
419 39570157418475975409
420 40332073486734770287
421 41106795381371661459
422 41894507144360447810
423 42695395016562374731
424 43509647458693297919
425 44337455172440436537
426 45179011121729425534
427 46034510554142378605
428 46904151022487674951
429 47788132406522184679
430 48686656934826649362
431 49599929206834935959
432 50528156215017883975
433 51471547367222467421
434 52430314509166994814
435 53404671947093072137
436 54394836470575055359
437 55401027375487720795
438 56423466487132883266
439 57462378183525693699
440 58517989418841349487
441 59590529747022952609
442 60680231345551252190
443 61787329039377009861
444 62912060325016727959
445 64054665394812482287
446 65215387161356602834
447 66394471282081947535
448 67592166184018515831
449 68808723088717150469
450 70044396037341077662
451 71299441915926037409
452 72574120480809757455
453 73868694384231526051
454 75183429200102620354
455 76518593449948348987
456 77874458629022468959
457 79251299232594738825
458 80649392782412371646
459 82069019853336152989
460 83510464100151990887
461 84974012284558666359
462 86459954302332554770
463 87968583210670089991
464 89500195255708744999
465 91055089900227304237
466 92633569851526204734
467 94235941089488724665
468 95862512894823799711
469 97513597877491249259
470 99189512005310196162
471 100890574632751465459
472 102617108529914749135
473 104369439911691325681
474 106147898467113124894
475 107952817388888930037
476 109784533403128511159
477 111643386799255485055
478 113529721460109699026
479 115443884892239937279
480 117386228256387750487
481 119357106398163210709
482 121356877878913395550
483 123385905006784407121
484 125444553867977733039
485 127533194358201758387
486 129652200214319239234
487 131801949046191549995
488 133982822368720518591
489 136195205634088665049
490 138439488264198660862
491 140716063683312828109
492 143025329350893499015
493 145367686794645058311
494 147743541643758492434
495 150153303662359271287
496 152597386783159389959
497 155076209141314399485
498 157590193108486257406
499 160139765327112830569
500 162725356744884884287
501 165347402649431393659
502 168006342703214014530
503 170702620978631553251
504 173436685993335276079
505 176208990745755900737
506 179019992750843114334
507 181870154076018463525
508 184759941377342464471
509 187689825935896781839
510 190660283694382327762
511 193671795293934133359
512 196724846111153847095
513 199819926295360715941
514 202957530806061906974
515 206138159450643028737
516 209362316922279713359
517 212630512838071122115
518 215943261777396238786
519 219301083320493816859
520 222704502087266848287
521 226154047776312423209
522 229650255204177851710
523 233193664344843920381
524 236784820369436158119
525 240424273686164987287
526 244112579980495638034
527 247850300255548705255
528 251638000872732229351
529 255476253592606183629
530 259365635615980252862
531 263306729625245789209
532 267300123825942833375
533 271346411988563090571
534 275446193490589752514
535 279600073358775058387
536 283808662311656489359
537 288072576802312492945
538 292392439061358635166
539 296768877140185080149
540 301202524954436298487
541 305694022327733907359
542 310244015035643547090
543 314853154849886700511
544 319522099582798363159
545 324251513132031474037
546 329042065525509018334
547 333894432966624715185
548 338809297879693205231
549 343787348955650654419
550 348829281198006692162
551 353935795969048603659
552 359107601036298697855
553 364345410619225774201
554 369649945436211613054
555 375021932751773416237
556 380462106424043125959
557 385971206952504551975
558 391549981525989238546
559 397199184070932004439
560 402919575299887090887
561 408711922760305854109
562 414577000883576940670
563 420515591034329885641
564 426528481560003075199
565 432616467840677016987
566 438780352339173863234
567 445020944651424133315
568 451339061557101584111
569 457735527070527178209
570 464211172491843101662
571 470766836458457784709
572 477403364996762880535
573 484121611574123158831
574 490922437151140272594
575 497806710234191358287
576 504775306928243431159
577 511829110989944539205
578 518969013880992640926
579 526195914821783173729
580 533510720845336281487
581 540914346851504671459
582 548407715661463072450
583 555991758072480267771
584 563667412912974678239
585 571435627097854472137
586 579297355684143180734
587 587253561926891799645
588 595305217335378357991
589 603453301729595938999
590 611698803297030137362
591 620042718649726940359
592 628486052881652021415
593 637029819626342436461
594 645675041114851715134
595 654422748233989340537
596 663273980584855612959
597 672229786541672894635
598 681291223310914234306
599 690459356990730372019
600 699735262630676126287
601 709120024291737167409
602 718614735106658182430
603 728220497340573438901
604 737938422451940756279
605 747769631153779895487
606 757715253475216378834
607 767776428823331754175
608 777954306045321318871
609 788250043490960320789
610 798664809075379655262
611 809199780342152078609
612 819856144526689960495
613 830635098619955599091
614 841537849432485124674
615 852565613658727018987
616 863719617941696279359
617 875001098937945258265
618 886411303382852210686
619 897951488156228583309
620 909622920348246081287
621 921426877325684549959
622 933364646798501710610
623 945437526886725791031
624 957646826187672093319
625 969993863843484543037
626 982479969609003265534
627 995106483919959236905
628 1007874757961497058751
629 1020786153737026907579
630 1033842044137406711362
631 1047043813010455607459
632 1060392855230799737775
633 1073890576770051438721
634 1087538394767322885214
635 1101337737600075249637
636 1115290044955304438359
637 1129396767901064470095
638 1143659368958329562066
639 1158079322173195991599
640 1172658113189424802487
641 1187397239321326427109
642 1202298209626988296990
643 1217362544981846516161
644 1232591778152602673359
645 1247987453871486870787
646 1263551128910868048834
647 1279284372158212687835
648 1295188764691392969631
649 1311265899854345483369
650 1327517383333081561662
651 1343944833232050334909
652 1360549880150855593255
653 1377334167261327547351
654 1394299350384950580754
655 1411447098070648088487
656 1428779091672925497959
657 1446297025430372570125
658 1464002606544526080446
659 1481897555259093980889
660 1499983604939542145887
661 1518262502153044806859
662 1536736006748799781570
663 1555405891938709606291
664 1574273944378429680399
665 1593341964248784534737
666 1612611765337553336734
667 1632085175121625746965
668 1651764034849529243511
669 1671650199624329032159
670 1691745538486901662162
671 1712051934499583468959
672 1732571284830194966935
673 1753305500836442316981
674 1774256508150696995294
675 1795426246765154791537
676 1816816671117375266159
677 1838429750176202798355
678 1860267467528070357826
679 1882331821463687135179
680 1904624825065111167487
681 1927148506293208097209
682 1949904908075497204350
683 1972896088394385853421
684 1996124120375793498439
685 2019591092378166390887
686 2043299108081884137234
687 2067250286579059254295
688 2091446762463730872391
689 2115890685922453737949
690 2140584222825283668862
691 2165529554817160617609
692 2190728879409690498815
693 2216184410073326939611
694 2241898376329954112834
695 2267873023845871814787
696 2294110614525183950959
697 2320613426603591594785
698 2347383754742591786206
699 2374423910124083238469
700 2401736220545380123287
701 2429323030514635106159
702 2457186701346672805330
703 2485329611259234849551
704 2513754155469637711479
705 2542462746291844495237
706 2571457813233951858334
707 2600741803096093249825
708 2630317180068759648271
709 2660186425831538984739
710 2690352039652275437762
711 2720816538486649788859
712 2751582457078182028895
713 2782652348058657407241
714 2814028782048977117374
715 2845714347760434814237
716 2877711652096420160359
717 2910023320254550599415
718 2942651995829232557586
719 2975600340914653274759
720 3008871036208204469287
721 3042466781114339041709
722 3076390293848862024510
723 3110644311543656986681
724 3145231590351849103519
725 3180154905553406103787
726 3215417051661178308034
727 3251020842527378973555
728 3286969111450506163151
729 3323264711282707356529
730 3359910514537588024862
731 3396909413498465390709
732 3434264320327068597175
733 3471978167172686511871
734 3510053906281764392914
735 3548494510107950645887
736 3587302971422594902359
737 3626482303425698652245
738 3666035539857319663966
739 3705965735109431428049
740 3746275964338238861487
741 3786969323576951511859
742 3828048929849015501890
743 3869517921281805456811
744 3911379457220777658559
745 3953636718344085672537
746 3996292906777659694334
747 4039351246210750865485
748 4082814982011941809031
749 4126687381345624637319
750 4170971733288947686162
751 4215671348949232231159
752 4260789561581860443655
753 4306329726708635845501
754 4352295222236617523454
755 4398689448577429365737
756 4445515828767045584959
757 4492777808586053793275
758 4540478856680396897346
759 4588622464682595082339
760 4637212147333449155887
761 4686251442604226524609
762 4735743911819331077470
763 4785693139779458251941
764 4836102734885236560599
765 4886976329261356857487
766 4938317578881190625234
767 4990130163691898565615
768 5042417787740030777911
769 5095184179297619811109
770 5148433090988767877662
771 5202168299916729518209
772 5256393607791491008335
773 5311112841057847800131
774 5366329851023981292994
775 5422048513990536229787
776 5478272731380200016159
777 5535006429867785262505
778 5592253561510816849726
779 5650018103880624821629
780 5708304060193944408487
781 5767115459445024487959
782 5826456356538245791250
783 5886330832421250164071
784 5946742994218582193639
785 6007696975365844514637
786 6069196935744368108734
787 6131247061816398913945
788 6193851566760802061791
789 6257014690609285061899
790 6320740700383141255362
791 6385033890230514859859
792 6449898581564188931215
793 6515339123199897567761
794 6581359891495163685534
795 6647965290488663694037
796 6715159752040120403959
797 6782947735970725499935
798 6851333730204092913106
799 6920322250907744429919
800 6989917842635128875287
801 7060125078468176209909
802 7130948560160387883230
803 7202392918280464785201
804 7274462812356474141679
805 7347162931020556699987
806 7420497992154175552834
807 7494472743033907950475
808 7569091960477781452671
809 7644360450992155773689
810 7720283050919151675262
811 7796864626584628264109
812 7874110074446710052295
813 7952024321244865140391
814 8030612324149535885074
815 8109879070912323414487
816 8189829580016727356359
817 8270468900829442145565
818 8351802113752211279486
819 8433834330374240891209
820 8516570693625174012287
821 8600016377928626898459
822 8684176589356288793410
823 8769056565782586507331
824 8854661577039915188719
825 8940996925074436669537
826 9028067944102446765534
827 9115880000767312915205
828 9204438494296983542551
829 9293748856662070530479
830 9383816552734506193362
831 9474647080446776138959
832 9566245970951729411575
833 9658618788782967310021
834 9751771132015812275614
835 9845708632428858247137
836 9940436955666103881359
837 10035961801399670039395
838 10132288903493102940866
839 10229424030165264389499
840 10327372984154810475487
841 10426141602885260161609
842 10525735758630655161790
843 10626161358681812522461
844 10727424345513171318759
845 10829530696950234879287
846 10932486426337609954834
847 11036297582707644248135
848 11140970250949663723431
849 11246510551979811116269
850 11352924642911487065662
851 11460218717226395292409
852 11568399004946193249055
853 11677471772804749668651
854 11787443324421010441154
855 11898320000472474247987
856 12010108178869279386959
857 12122814274928903221425
858 12236444741551475689246
859 12351006069395708308789
860 12466504787055440120887
861 12582947461236802007359
862 12700340696936000828370
863 12818691137617724822591
864 12938005465394171715799
865 13058290401204700985237
866 13179552704996111728734
867 13301799175903547589265
868 13425036652432030187311
869 13549272012638622515059
870 13674512174315223748162
871 13800764095171996932459
872 13928034773021431004735
873 14056331245963038608281
874 14185660592568691165694
875 14316029932068592673037
876 14447446424537893681159
877 14579917271083946931655
878 14713449714034206116626
879 14848051037124769233079
880 14983728565689568004487
881 15120489666850204843709
882 15258341749706438833150
883 15397292265527322199721
884 15537348707942988763839
885 15678518613137095843387
886 15820809560039921095234
887 15964229170522115778595
888 16108785109589115926191
889 16254485085576212910849
890 16401336850344284896862
891 16549348199476190667109
892 16698526972473827318615
893 16848881052955853320911
894 17000418368856078433234
895 17153146892622521978287
896 17307074641417140971959
897 17462209677316229610085
898 17618560107511491615006
899 17776134084511786946369
900 17934939806345554382287
901 18094985516763911478659
902 18256279505444433416130
903 18418830108195612245851
904 18582645707161998046879
905 18747734731030023509737
906 18914105655234513462334
907 19081767002165880856125
908 19250727341378010732071
909 19420995289796833687639
910 19592579511929590367762
911 19765488720074788504359
912 19939731674532854030695
913 20115317183817477798541
914 20292254104867659427774
915 20470551343260449819737
916 20650217853424393867359
917 20831262638853674896715
918 21013694752322962376386
919 21197523296102964432659
920 21382757422176686710287
921 21569406332456399120209
922 21757479279001312017310
923 21946985564235963352981
924 22137934541169318348919
925 22330335613614583240287
926 22524198236409734638034
927 22719531915638766061855
928 22916346208853653196951
929 23114650725297039429429
930 23314455126125643216862
931 23515769124634388852209
932 23718602486481262180975
933 23922965029912892833171
934 24128866625990864533314
935 24336317198818755053387
936 24545326725769907375359
937 24755905237715933631545
938 24968062819255953392766
939 25181809608946567875949
940 25397155799532571644487
941 25614111638178403376359
942 25832687426700337276690
943 26052893521799416713111
944 26274740335295131653959
945 26498238334359841491037
946 26723398041753944830334
947 26950230036061797835785
948 27178744951928382712831
949 27408953480296727920219
950 27640866368646081700162
951 27874494421230840518659
952 28109848499320234009455
953 28346939521438768016801
954 28585778463607427333854
955 28826376359585639735237
956 29068744301114002903959
957 29312893438157775854575
958 29558834979151136456146
959 29806580191242206660239
960 30056140400538847040887
961 30307526992355222255109
962 30560751411459139034270
963 30815825162320158318241
964 31072759809358483145999
965 31331566977194623917987
966 31592258350899842647234
967 31854845676247377817915
968 32119340759964451471711
969 32385755469985060144009
970 32654101735703551273662
971 32924391548228986711709
972 33196636960640294956135
973 33470850088242213741431
974 33747043108822024613394
975 34025228262907081121287
976 34305417854023132261159
977 34587624248953442805805
978 34871859877998712158526
979 35158137235237793369529
980 35446468878789213955487
981 35736867431073500164459
982 36029345579076306330050
983 36323916074612350960371
984 36620591734590161209039
985 36919385441277627377137
986 37220310142568369096734
987 37523378852248914848245
988 37828604650266696465591
989 38136000682998860284799
990 38445580163521896593362
991 38757356371882089039359
992 39071342655366785661015
993 39387552428776493199061
994 39705999174697796355934
995 40026696443777103667537
996 40349657854995221654959
997 40674897095942758925235
998 41002427923096361891906
999 41332264162095783787819
1000 41664419708021788644287