0 0
1 1
2 30
3 424
4 3357
5 17836
6 71769
7 236093
8 667335
9 1676364
10 3832477
11 8113347
12 16112746
13 30319341
14 54481246
15 94072398
16 156878210
17 253719339
18 399333792
19 613438978
20 921996699
21 1358705458
22 1966745847
23 2800806163
24 3929416785
25 5437623230
26 7430029191
27 10034242245
28 13404756304
29 17727306267
30 23223731716
31 30157387884
32 38839143508
33 49634006565
34 62968420274
35 79338273132
36 99317668137
37 123568497736
38 152850872421
39 188034452281
40 230110732203
41 280206332800
42 339597350529
43 409724821847
44 492211357638
45 588879005529
46 701768399098
47 833159254362
48 985592275318
49 1161892531695
50 1365194373460
51 1598967948006
52 1867047387335
53 2173660733934
54 2523461675427
55 2921563159471
56 3373572961749
57 3885631281298
58 4464450438795
59 5117356754809
60 5852334686412
61 6678073301927
62 7604015174976
63 8640407780376
64 9798357475816
65 11089886154633
66 12527990656390
67 14126705023344
68 15901165692277
69 17867679712548
70 20043796082609
71 22448380298613
72 25101692210127
73 28025467279348
74 31243001341605
75 34779238966315
76 38660865518946
77 42916403025925
78 47576309945814
79 52673084951462
80 58241374829226
81 64318086602739
82 70942503990088
83 78156408304650
84 86004203911219
85 94533048350442
86 103792987245967
87 113837094110091
88 124721615165081
89 136506119298726
90 149253653274063
91 163030902314605
92 177908356187784
93 193960480910707
94 211265896203708
95 229907558818564
96 249972951869628
97 271554280297517
98 294748672596378
99 319658388937140
100 346391035820545
101 375059787395136
102 405783613576765
103 438687515107569
104 473902765693747
105 511567161362856
106 551825277182729
107 594828731485503
108 640736457741630
109 689714984230129
110 741938721652722
111 797590258840882
112 856860666706206
113 919949810585911
114 987066671136636
115 1058429673931118
116 1134267027913695
117 1214817072871974
118 1300328636083387
119 1391061398296743
120 1487286269210269
121 1589285772609018
122 1697354441325907
123 1811799222192033
124 1932939891143300
125 2061109478651775
126 2196654705651576
127 2339936430130480
128 2491330104559824
129 2651226244336657
130 2820030907413486
131 2998166185292344
132 3186070705561293
133 3384200146152860
134 3593027761505289
135 3813044920808877
136 4044761658521047
137 4288707237335196
138 4545430723789741
139 4815501576705171
140 5099510248638298
141 5398068800544285
142 5711811529838414
143 6041395612050942
144 6387501756269778
145 6750834874567099
146 7132124765607408
147 7532126812635922
148 7951622696047563
149 8391421120738210
150 8852358558441255
151 9335300005253891
152 9841139754558945
153 10370802185549454
154 10925242567564567
155 11505447880446741
156 12112437651131584
157 12747264806683083
158 13411016543988340
159 14104815216327324
160 14829819237034532
161 15587224000470837
162 16378262820525186
163 17204207886867196
164 18066371239173081
165 18966105759548728
166 19904806183375125
167 20883910128802729
168 21904899145122747
169 22969299780244688
170 24078684667510929
171 25234673632080423
172 26438934817115062
173 27693185830003593
174 28999194908859370
175 30358782109529610
176 31773820513355206
177 33246237455921535
178 34778015777042084
179 36371195092218102
180 38027873085818871
181 39750206826228574
182 41540414103207123
183 43400774787713695
184 45333632214443109
185 47341394587326562
186 49426536408249627
187 51591599929241801
188 53839196628393276
189 56172008709755991
190 58592790627487408
191 61104370634496840
192 63709652355855544
193 66411616387233177
194 69213321918624598
195 72117908383632384
196 75128597134571813
197 78248693143666452
198 81481586730603873
199 84830755316722405
200 88299765206101215
201 91892273393827396
202 95612029401715125
203 99462877141753339
204 103448756807559762
205 107573706794120501
206 111841865646095814
207 116257474034974038
208 120824876765357050
209 125548524810662019
210 130432977378525592
211 135482904006198042
212 140703086686216291
213 146098422022646106
214 151673923418185151
215 157434723292419963
216 163386075331531305
217 169533356769743734
218 175882070702816607
219 182437848433875133
220 189206451851881464
221 196193775843047203
222 203405850735490092
223 210848844777439028
224 218529066649292940
225 226452968009840445
226 234627146076948586
227 243058346243030340
228 251753464725601969
229 260719551253242672
230 269963811787270381
231 279493611279448929
232 289316476466043203
233 299440098698540280
234 309872336811355929
235 320621220026847247
236 331694950897953582
237 343101908288789281
238 354850650393513186
239 366949917793801186
240 379408636555249518
241 392235921363037895
242 405441078697182924
243 419033610047713662
244 433023215170102543
245 447419795381286294
246 462233456896612843
247 477474514208051607
248 493153493504005933
249 509281136131067850
250 525868402098056675
251 542926473622684401
252 560466758721192180
253 578500894841303599
254 597040752538841832
255 616098439198359136
256 635686302798128544
257 655816935719848993
258 676503178603416510
259 697758124247115464
260 719595121553585277
261 742027779521919372
262 765069971286254521
263 788735838201210141
264 813039793974538471
265 837996528847347948
266 863621013822263485
267 889928504939888739
268 916934547603936842
269 944654980955397453
270 973105942296109374
271 1002303871562109358
272 1032265515847129122
273 1063007933976613963
274 1094548501132637760
275 1126904913530090530
276 1160095193144516091
277 1194137692491978770
278 1229051099461339479
279 1264854442199322867
280 1301567094048758641
281 1339208778540381534
282 1377799574438575783
283 1417359920841451365
284 1457910622335640624
285 1499472854206205307
286 1542068167702045412
287 1585718495357202636
288 1630446156368452596
289 1676273862029581381
290 1723224721222743378
291 1771322245967298700
292 1820590357026529929
293 1871053389572639272
294 1922736098910428613
295 1975663666260066329
296 2029861704599346123
297 2085356264565844512
298 2142173840419384993
299 2200341376065218295
300 2259886271138329510
301 2320836387149284281
302 2383220053692027610
303 2447066074714050234
304 2512403734849338902
305 2579262805814528271
306 2647673552868673524
307 2717666741337064198
308 2789273643199501095
309 2862526043743459534
310 2937456248282563587
311 3014097088940797327
312 3092481931502880501
313 3172644682331237426
314 3254619795349989291
315 3338442279096401433
316 3424147703840218540
317 3511772208771322119
318 3601352509256145952
319 3692925904163286648
320 3786530283258747784
321 3882204134671257513
322 3979986552428100902
323 4079917244061909648
324 4182036538288853205
325 4286385392758676740
326 4393005401877032721
327 4501938804700554325
328 4613228492905120239
329 4726918018827761812
330 4843051603582664901
331 4961674145251720139
332 5082831227150076738
333 5206569126167156325
334 5332934821183584694
335 5461976001564500742
336 5593741075729703242
337 5728279179801097491
338 5865640186327905256
339 6005874713090102826
340 6149034131980553363
341 6295170577966301130
342 6444336958129496559
343 6596586960788422507
344 6751975064699093433
345 6910556548337900614
346 7072387499265777903
347 7237524823574363917
348 7406026255414637928
349 7577950366608508115
350 7753356576343832220
351 7932305160953352036
352 8114857263778024540
353 8301074905115233869
354 8491020992252369722
355 8684759329586259156
356 8882354628828940129
357 9083872519300266528
358 9289379558307835805
359 9498943241614731729
360 9712632013995576147
361 9930515279881385032
362 10152663414093725481
363 10379147772668671711
364 10610040703771059486
365 10845415558699539793
366 11085346702982933970
367 11329909527568393874
368 11579180460101872062
369 11833236976301408343
370 12092157611423740444
371 12356021971824747918
372 12624910746614239807
373 12898905719405597958
374 13178089780160789275
375 13462546937131261575
376 13752362328895239101
377 14047622236491935130
378 14348414095653200499
379 14654826509133128257
380 14966949259136136036
381 15284873319844049119
382 15608690870042708568
383 15938495305848630160
384 16274381253536241264
385 16616444582466224177
386 16964782418115495822
387 17319493155209355096
388 17680676470956330541
389 18048433338386262396
390 18422866039792154473
391 18804078180276332685
392 19192174701401448439
393 19587261894946866492
394 19989447416770978253
395 20398840300779982899
396 20815550973003680058
397 21239691265778819197
398 21671374432040552238
399 22110715159722537310
400 22557829586266242930
401 23012835313240003291
402 23475851421068376720
403 23946998483872360754
404 24426398584421018667
405 24914175329195073666
406 25410453863563028359
407 25915360887070368483
408 26429024668842411265
409 26951575063101360174
410 27483143524798129207
411 28023863125359501237
412 28573868568551186336
413 29133296206457347371
414 29702284055577161556
415 30280971813038988028
416 30869500872932712900
417 31468014342760844629
418 32076657060008933922
419 32695575608835893788
420 33324918336884796729
421 33964835372214727448
422 34615478640354270837
423 35277001881477216393
424 35949560667701061595
425 36633312420508898160
426 37328416428295266481
427 38035033864036564935
428 38753327803086602134
429 39483463241097881577
430 40225607112069209546
431 40979928306520218474
432 41746597689793399398
433 42525788120484238495
434 43317674469000054084
435 44122433636248131862
436 44940244572453757527
437 45771288296108747326
438 46615747913051078451
439 47473808635676222591
440 48345657802280787333
441 49231484896539071490
442 50131481567113141819
443 51045841647397039977
444 51974761175395729948
445 52918438413739397559
446 53877073869833715088
447 54850870316146685352
448 55840032810632681048
449 56844768717294296505
450 57865287726882630390
451 58901801877736619296
452 59954525576762043525
453 61023675620550827764
454 62109471216641260737
455 63212134004919759301
456 64331888079164803839
457 65468960008733673188
458 66623578860392608725
459 67795976220291038619
460 68986386216080494642
461 70195045539178855317
462 71422193467180550566
463 72668071886413364406
464 73932925314642473626
465 75217000923922361763
466 76520548563597249080
467 77843820783450680634
468 79187072857004915907
469 80550562804970764858
470 81934551418848516639
471 83339302284680608603
472 84765081806956684617
473 86212159232671693078
474 87680806675537676415
475 89171299140349905245
476 90683914547508011736
477 92218933757692778115
478 93776640596699237644
479 95357321880426746772
480 96961267440026688556
481 98588770147208468829
482 100240125939704467978
483 101915633846894612580
484 103615596015591232529
485 105340317735984870672
486 107090107467751713357
487 108865276866323311681
488 110666140809319264611
489 112493017423143536536
490 114346228109745083193
491 116226097573543461295
492 118132953848520098574
493 120067128325475902337
494 122028955779455886018
495 124018774397341494594
496 126036925805611311118
497 128083755098270828007
498 130159610864951968108
499 132264845219183041950
500 134399813826829828975
501 136564875934708471926
502 138760394399370874955
503 140986735716063297399
504 143244270047858836557
505 145533371254964494186
506 147854416924203522819
507 150207788398673749393
508 152593870807582575060
509 155013053096259351439
510 157465728056345834952
511 159952292356165422272
512 162473146571271871296
513 165028695215178213441
514 167619346770266564446
515 170245513718879542248
516 172907612574594001885
517 175606063913677798764
518 178341292406730293017
519 181113726850507309053
520 183923800199931265799
521 186771949600287194508
522 189658616419605362397
523 192584246281231221763
524 195549289096583405610
525 198554199098100492205
526 201599434872377262366
527 204685459393491174670
528 207812740056519785154
529 210981748711249839467
530 214192961696078766816
531 217446859872109306434
532 220743928657437998683
533 224084658061638274290
534 227469542720438876599
535 230899081930598353107
536 234373779684976353937
537 237894144707802476286
538 241460690490143395271
539 245073935325569022981
540 248734402346018438928
541 252442619557866336475
542 256199119878190731204
543 260004441171242678572
544 263859126285118749588
545 267763723088637014629
546 271718784508417286898
547 275724868566166378412
548 279782538416169122793
549 283892362382985920520
550 288054913999357563685
551 292270772044318098681
552 296540520581516486635
553 300864748997747822784
554 305244052041694877377
555 309679029862880722071
556 314170288050833207174
557 318718437674462056473
558 323324095321649347770
559 327987883139054148634
560 332710428872132078262
561 337492365905370567727
562 342334333302740592276
563 347236975848365650726
564 352200944087408768391
565 357226894367178301358
566 362315488878453321315
567 367467395697029361519
568 372683288825485305877
569 377963848235172204498
570 383309759908424800459
571 388721715880996553913
572 394200414284718951052
573 399746559390385886823
574 405360861650863911680
575 411044037744429134040
576 416796810618331571496
577 422619909532587745225
578 428514070104002313414
579 434480034350419540912
580 440518550735205403701
581 446630374211961128164
582 452816266269468966513
583 459076994976871011125
584 465413335029081851919
585 471826067792435882292
586 478315981350570060517
587 484883870550542934891
588 491530537049190742306
589 498256789359721391301
590 505063442898547142038
591 511951320032356797030
592 518921250125428217834
593 525974069587181984307
594 533110621919977014408
595 540331757767148963914
596 547638334961292226803
597 555031218572786358442
598 562511280958567745103
599 570079401811147344715
600 577736468207875325145
601 585483374660453427686
602 593321023164695884815
603 601250323250539722669
604 609272192032305280072
605 617387554259207777331
606 625597342366120769404
607 633902496524592319428
608 642303964694114729980
609 650802702673648670829
610 659399674153402543322
611 668095850766867922932
612 676892212143111922881
613 685789745959327323136
614 694789447993641310461
615 703892322178183676593
616 713099380652415322995
617 722411643816717922024
618 731830140386245585737
619 741355907445039394943
620 750989990500405642494
621 760733443537558646193
622 770587329074528988082
623 780552718217338038258
624 790630690715439622750
625 800822335017429696375
626 811128748327024882876
627 821551036659310746030
628 832090314897260656799
629 842747706848526122982
630 853524345302499449211
631 864421372087649596519
632 875439938129132112093
633 886581203506674001210
634 897846337512734414739
635 909236518710942026977
636 920752934994809979972
637 932396783646729271871
638 944169271397241468216
639 956071614484591616496
640 968105038714562245648
641 980270779520589333585
642 992570082024161127214
643 1005004201095500700792
644 1017574401414533139853
645 1030281957532138239324
646 1043128153931689605833
647 1056114285090881055597
648 1069241655543841200663
649 1082511579943537117660
650 1095925383124467994605
651 1109484400165649652691
652 1123189976453890841370
653 1137043467747362206429
654 1151046240239458832142
655 1165199670622957259966
656 1179505146154467887634
657 1193964064719183653883
658 1208577834895925915440
659 1223347876022488424274
660 1238275618261280314507
661 1253362502665269009762
662 1268609981244223963111
663 1284019517031262143171
664 1299592584149696181281
665 1315330667880186096078
666 1331235264728195513175
667 1347307882491753299029
668 1363550040329521529472
669 1379963268829170714763
670 1396549110076063204404
671 1413309117722245696348
672 1430244857055751776612
673 1447357905070215416693
674 1464649850534796357570
675 1482122294064418310460
676 1499776848190320905881
677 1517615137430926323960
678 1535638798363021540309
679 1553849479693257123177
680 1572248842329963518971
681 1590838559455285764624
682 1609620316597637566673
683 1628595811704475688295
684 1647766755215395586934
685 1667134870135549246537
686 1686701892109386149802
687 1706469569494718337226
688 1726439663437110501126
689 1746613947944596064191
690 1766994209962720193508
691 1787582249449910702390
692 1808379879453177793719
693 1829388926184143599902
694 1850611229095402475923
695 1872048640957213003359
696 1893703027934522664613
697 1915576269664326148002
698 1937670259333358245723
699 1959986903756122308105
700 1982528123453255218940
701 2005295852730229858071
702 2028292039756396018800
703 2051518646644360749064
704 2074977649529709086712
705 2098671038651066160601
706 2122600818430501630614
707 2146769007554277441088
708 2171177639053939863525
709 2195828760387756805844
710 2220724433522501366817
711 2245866735015582615717
712 2271257756097524578591
713 2296899602754794413956
714 2322794395812980762101
715 2348944271020323253563
716 2375351379131594163730
717 2402017885992333201909
718 2428945972623436424582
719 2456137835306100263958
720 2483595685667121664314
721 2511321750764555320003
722 2539318273173729010392
723 2567587511073618028378
724 2596131738333579700515
725 2624953244600448998170
726 2654054335385996240511
727 2683437332154747891515
728 2713104572412171454569
729 2743058409793225469622
730 2773301214151275619231
731 2803835371647377951229
732 2834663284839930227128
733 2865787372774692406755
734 2897210071075177281004
735 2928933832033412265972
736 2960961124701073373132
737 2993294434980992371581
738 3025936265719038159786
739 3058889136796373365636
740 3092155585222087194993
741 3125738165226205550320
742 3159639448353079442349
743 3193862023555152719137
744 3228408497287110138243
745 3263281493600406809144
746 3298483654238180034393
747 3334017638730544579407
748 3369886124490272402158
749 3406091806908857875425
750 3442637399452969535650
751 3479525633761289393826
752 3516759259741740845230
753 3554341045669106216199
754 3592273778283034987532
755 3630560262886443735486
756 3669203323444308832719
757 3708205802682852952918
758 3747570562189126424235
759 3787300482510984478039
760 3827398463257461440877
761 3867867423199542918922
762 3908710300371337025571
763 3949930052171645704241
764 3991529655465937199796
765 4033512106688720733423
766 4075880421946324437160
767 4118637637120077605664
768 4161786807969898324192
769 4205331010238287533153
770 4249273339754730590974
771 4293616912540507398408
772 4338364864913912148797
773 4383520353595883770188
774 4429086555816048126585
775 4475066669419173047005
776 4521463912972037252391
777 4568281525870714251820
778 4615522768448272280829
779 4663190922082891356067
780 4711289289306398521866
781 4759821193913222365709
782 4808789981069767880958
783 4858199017424212756590
784 4908051691216726175074
785 4958351412390111200907
786 5009101612700871843712
787 5060305745830705881186
788 5111967287498424528571
789 5164089735572300042706
790 5216676610182842350103
791 5269731453836005789875
792 5323257831526827063729
793 5377259330853495486622
794 5431739562131856633063
795 5486702158510350475429
796 5542150776085385112048
797 5598089094017147184187
798 5654520814645850082468
799 5711449663608421044620
800 5768879389955628247860
801 5826813766269649000581
802 5885256588782080139410
803 5944211677492391739084
804 6003682876286825243977
805 6063674053057737131496
806 6124189099823389218949
807 6185231932848186726873
808 6246806492763365213195
809 6308916744688127493984
810 6371566678351231667937
811 6434760308213031363127
812 6498501673587969325926
813 6562794838767525473401
814 6627643893143620531866
815 6693052951332476385658
816 6759026153298934261590
817 6825567664481231875919
818 6892681675916240672052
819 6960372404365164278598
820 7028644092439699318759
821 7097501008728659703438
822 7166947447925065541827
823 7236987730953697804623
824 7307626205099119876405
825 7378867244134167135090
826 7450715248448905697771
827 7523174645180061473625
828 7596249888340920665964
829 7669945458951702866887
830 7744265865170407889376
831 7819215642424137483064
832 7894799353540893081288
833 7971021588881850728425
834 8047886966474114337894
835 8125400132143948432592
836 8203565759650491520917
837 8282388550819951262916
838 8361873235680282582481
839 8442024572596349882901
840 8522847348405574524463
841 8604346378554068724180
842 8686526507233257039109
843 8769392607516986596107
844 8852949581499127232258
845 8937202360431662711589
846 9022155904863274185078
847 9107815204778417062342
848 9194185279736892464778
849 9281271179013914431315
850 9369077981740674049320
851 9457610797045401684586
852 9546874764194928485715
853 9636875052736748339594
854 9727616862641581456047
855 9819105424446440761131
856 9911345999398202279929
857 10004343879597680691078
858 10098104388144211236655
859 10192632879280739172429
860 10287934738539417944872
861 10384015382887717282707
862 10480880260875042392156
863 10578534852779865446436
864 10676984670757370561436
865 10776235258987613450893
866 10876292193824196955770
867 10977161083943463643924
868 11078847570494206677537
869 11181357327247900147168
870 11284696060749450072669
871 11388869510468467272593
872 11493883448951063305107
873 11599743681972170684808
874 11706456048688388581225
875 11814026421791355206175
876 11922460707661648098526
877 12031764846523213516305
878 12141944812598326147474
879 12253006614263080352082
880 12364956294203414149886
881 12477799929571667168919
882 12591543632143673771868
883 12706193548476392578510
884 12821755860066073603839
885 12938236783506964232902
886 13055642570650555254747
887 13173979508765368179271
888 13293253920697285062141
889 13413472165030422064346
890 13534640636248547974323
891 13656765764897048921985
892 13779854017745440515364
893 13903911897950428631967
894 14028945945219520098328
895 14154962735975184492624
896 14281968883519568306608
897 14409971038199762704497
898 14538975887573626117838
899 14668990156576162916760
900 14800020607686459399405
901 14932074041095178342716
902 15065157294872613359145
903 15199277245137304305229
904 15334440806225214989367
905 15470654930859474427516
906 15607926610320682896909
907 15746262874617784039283
908 15885670792659504266490
909 16026157472426360722749
910 16167730061143239059182
911 16310395745452542277662
912 16454161751587911902386
913 16599035345548522738971
914 16745023833273952482256
915 16892134560819627435378
916 17040374914532845604075
917 17189752321229378431554
918 17340274248370652440647
919 17491948204241512051363
920 17644781738128564843329
921 17798782440499110533998
922 17953957943180654944887
923 18110315919541010229493
924 18267864084668982637920
925 18426610195555649094635
926 18586562051276223867156
927 18747727493172516604860
928 18910114405035983028484
929 19073730713291369552277
930 19238584387180953122146
931 19404683438949377554524
932 19572035924029087662073
933 19740649941226362453720
934 19910533632907948697909
935 20081695185188296139337
936 20254142828117395660827
937 20427884835869221683376
938 20602929526930780098801
939 20779285264291763030791
940 20956960455634811721558
941 21135963553526388842665
942 21316303055608261529994
943 21497987504789596444202
944 21681025489439668159398
945 21865425643581182184159
946 22051196647084213920388
947 22238347225860764866902
948 22426886152059937376023
949 22616822244263729272830
950 22808164367683449648115
951 23000921434356757137471
952 23195102403345322000325
953 23390716280933113314114
954 23587772120825312600187
955 23786279024347855199401
956 23986246140647600716764
957 24187682666893133855863
958 24390597848476196965200
959 24595000979213755619944
960 24800901401550698563992
961 25008308506763173338617
962 25217231735162558925366
963 25427680576300076732256
964 25639664569172041253701
965 25853193302425751735988
966 26068276414566026181505
967 26284923594162379026309
968 26503144580056843827007
969 26722949161572442294308
970 26944347178722301011989
971 27167348522419417181403
972 27391963134687074733042
973 27618201008869912148053
974 27846072189845643333990
975 28075586774237432900470
976 28306754910626927181786
977 28539586799767942354915
978 28774092694800811002744
979 29010282901467388473722
980 29248167778326720390531
981 29487757736971372661754
982 29729063242244425351903
983 29972094812457131766555
984 30216863019607244110729
985 30463378489598007080022
986 30711651902457820745407
987 30961693992560574093981
988 31213515548846650589336
989 31467127415044607116611
990 31722540489893527678668
991 31979765727366053211220
992 32238814136892088886124
993 32499696783583190273437
994 32762424788457629734218
995 33027009328666144417444
996 33293461637718367235793
997 33561793005709942196432
998 33832014779550325464333
999 34104138363191273537025
1000 34378175217856019911075