0 0
1 0
2 0
3 1
4 2
5 4
6 6
7 10
8 14
9 22
10 30
11 44
12 59
13 84
14 109
15 151
16 195
17 261
18 335
19 440
20 558
21 723
22 909
23 1160
24 1452
25 1829
26 2272
27 2839
28 3503
29 4336
30 5326
31 6542
32 7984
33 9756
34 11842
35 14376
36 17382
37 20985
38 25255
39 30355
40 36372
41 43528
42 51960
43 61925
44 73645
45 87460
46 103648
47 122650
48 144893
49 170908
50 201273
51 236690
52 277933
53 325912
54 381651
55 446324
56 521284
57 608066
58 708444
59 824380
60 958168
61 1112426
62 1290074
63 1494429
64 1729379
65 1999157
66 2308658
67 2663454
68 3069806
69 3534734
70 4066361
71 4673608
72 5366741
73 6157367
74 7058309
75 8084247
76 9251740
77 10579239
78 12087474
79 13800154
80 15743290
81 17946461
82 20442938
83 23269771
84 26468369
85 30085837
86 34173799
87 38790970
88 44002590
89 49881707
90 56509376
91 63977495
92 72386787
93 81851072
94 92496539
95 104464384
96 117910550
97 133011144
98 149959127
99 168971810
100 190289173
101 214179023
102 240937183
103 270895525
104 304418157
105 341912567
106 383828838
107 430667675
108 482981017
109 541385002
110 606556474
111 679249712
112 760296094
113 850617576
114 951230182
115 1063263261
116 1187957152
117 1326687970
118 1480971968
119 1652485492
120 1843073679
121 2054779266
122 2289846435
123 2550756078
124 2840237993
125 3161301653
126 3517257925
127 3911759141
128 4348815546
129 4832846285
130 5368709782
131 5961749219
132 6617833954
133 7343421676
134 8145598042
135 9032151038
136 10011630339
137 11093417993
138 12287809217
139 13606104154
140 15060686578
141 16665138241
142 18434350083
143 20384632206
144 22533856409
145 24901597285
146 27509285363
147 30380376860
148 33540551423
149 37017888934
150 40843116292
151 45049829074
152 49674756428
153 54758033182
154 60343537547
155 66479175244
156 73217292792
157 80615029191
158 88734777528
159 97644610150
160 107418839570
161 118138488361
162 129891963565
163 142775633890
164 156894581694
165 172363296591
166 189306594440
167 207860380401
168 228172745429
169 250404897204
170 274732398250
171 301346280449
172 330454516621
173 362283286826
174 397078726700
175 435108439382
176 476663484867
177 522060179709
178 571642457729
179 625783926508
180 684890631636
181 749403524356
182 819801612833
183 896604881608
184 980378005524
185 1071733698167
186 1171337071849
187 1279909597015
188 1398234093646
189 1527159412579
190 1667606270060
191 1820572656995
192 1987140631037
193 2168482701697
194 2365869638219
195 2580677952533
196 2814399008322
197 3068647668462
198 3345172900784
199 3645867923596
200 3972782383988
201 4328134243321
202 4714323927597
203 5133948081631
204 5589815989198
205 6084965638236
206 6622682629339
207 7206518896687
208 7840314629684
209 8528219949951
210 9274720275516
211 10084661583958
212 10963279584838
213 11916229100008
214 12949617836727
215 14070040331565
216 15284616991976
217 16601033508982
218 18027585792191
219 19573225682582
220 21247612822891
221 23061167477483
222 25025130371367
223 27151623863735
224 29453720798186
225 31945515257169
226 34642201947911
227 37560157824433
228 40717033544438
229 44131847786924
230 47825092386817
231 51818841227263
232 56136871244112
233 60804787886443
234 65850164340327
235 71302686166592
236 77194311243692
237 83559436393187
238 90435081236982
239 97861079915735
240 105880292279067
241 114538824554365
242 123886271686979
243 133975971132566
244 144865281053821
245 156615871864860
246 169294045440229
247 182971070020461
248 197723546179336
249 213633791374944
250 230790259419923
251 249287981707445
252 269229047854910
253 290723111754287
254 313887942029361
255 338850002115512
256 365745080520988
257 394718955370518
258 425928115687995
259 459540522496223
260 495736433850883
261 534709276067687
262 576666587103904
263 621831013378823
264 670441388107467
265 722753871208258
266 779043181403924
267 839603899269706
268 904751874368451
269 974825714175673
270 1050188390513490
271 1131228940005713
272 1218364297481693
273 1312041237120476
274 1412738463922035
275 1520968828880128
276 1637281713941171
277 1762265558603388
278 1896550578623769
279 2040811646797647
280 2195771390628870
281 2362203475776420
282 2540936134289177
283 2732855905075511
284 2938911651507396
285 3160118820801213
286 3397564016561418
287 3652409847715173
288 3925900130888321
289 4219365407637588
290 4534228861661047
291 4872012594310641
292 5234344351653781
293 5622964660257066
294 6039734472396169
295 6486643276150096
296 6965817781666010
297 7479531135283595
298 8030212784055318
299 8620458941273356
300 9253043785304973
301 9930931340911637
302 10657288189356991
303 11435496952420226
304 12269170711497740
305 13162168306031472
306 14118610685859046
307 15142898260696075
308 16239729439884900
309 17414120301239941
310 18671425601730827
311 20017361069546546
312 21458027207640206
313 22999934547808484
314 24650030610861332
315 26415728507247225
316 28304937459947987
317 30326095185871906
318 32488202441315867
319 34800859669302156
320 37274306086953649
321 39919461147312214
322 42747968748635369
323 45772244130146548
324 49005523858913535
325 52461918851078279
326 56156470875861315
327 60105212483670087
328 64325230853175759
329 68834735507067995
330 73653130434427333
331 78801090577928415
332 84300643281873176
333 90175254660543488
334 96449921544670175
335 103151268980592446
336 110307653997444511
337 117949275632577568
338 126108292007017309
339 134818944449454198
340 144117689541706597
341 154043339108894883
342 164637209105409700
343 175943277446058782
344 188008351834928570
345 200882247658481102
346 214617977105132806
347 229271949616268862
348 244904184935697290
349 261578538905239342
350 279362943407683818
351 298329660638371269
352 318555553250572354
353 340122370616700175
354 363117052892415605
355 387632053190470500
356 413765679731175881
357 441622458332218503
358 471313517297898476
359 502956995161362941
360 536678473531269318
361 572611435596342212
362 610897752777080298
363 651688200169852679
364 695143003529790108
365 741432418572972603
366 790737345602682391
367 843249980390020385
368 899174504629921381
369 958727817045660737
370 1022140308807737969
371 1089656684537334164
372 1161536832910816691
373 1238056748354201792
374 1319509508267548450
375 1406206307485142591
376 1498477554871189799
377 1596674034045352798
378 1701168133610531370
379 1812355149195646354
380 1930654663251610025
381 2056512005237178850
382 2190399798748598509
383 2332819598643551126
384 2484303625353640658
385 2645416599894267515
386 2816757687524217200
387 2998962554036427435
388 3192705543460396451
389 3398701981747787910
390 3617710616086835324
391 3850536195072971460
392 4098032200395350351
393 4361103735953612488
394 4640710586175605831
395 4937870450284729878
396 5253662365460937207
397 5589230326571479039
398 5945787116778314070
399 6324618357679830448
400 6727086794788552502
401 7154636828177425255
402 7608799305684708509
403 8091196589814029087
404 8603547917550542768
405 9147675065626712732
406 9725508342466876523
407 10339092920989373973
408 10990595535644520780
409 11682311559694532235
410 12416672488575772979
411 13196253847313656406
412 14023783550537996951
413 14902150735361851420
414 15834415098577264416
415 16823816760975722864
416 17873786693559667055
417 18987957731206350473
418 20170176212194242319
419 21424514272329606924
420 22755282836018774647
421 24167045336551847362
422 25664632212400702410
423 27253156215629671804
424 28938028584130345982
425 30724976118170910826
426 32620059218289700041
427 34629690929891250927
428 36760657057579196495
429 39020137399896027272
430 41415728174112824391
431 43955465687784744929
432 46647851333898862832
433 49501877973035580717
434 52527057787448118798
435 55733451677805563879
436 59131700296408077951
437 62733056795916248135
438 66549421397101698974
439 70593377863849567427
440 74878231999797059747
441 79418052264905766362
442 84227712638337720342
443 89322937837272086458
444 94720351031124865797
445 100437524173376783102
446 106493031105093562657
447 112906503566132483720
448 119698690284243988193
449 126891519293540065402
450 134508163670178005241
451 142573110853858175270
452 151112235762656683567
453 160152877888611919735
454 169723922603263241877
455 179855886881618133807
456 190581009697498944891
457 201933347322044194779
458 213948873804743170458
459 226665586894383640842
460 240123619708429383367
461 254365358436792620983
462 269435566420459716489
463 285381514922537438669
464 302253120967664000082
465 320103092602120106560
466 338987081989691023159
467 358963846734316011282
468 380095419887508739996
469 402447289074359066858
470 426088585243696261347
471 451092281523294196908
472 477535402738160129564
473 505499246125091972949
474 535069613859153906892
475 566337057983020306865
476 599397138418636386721
477 634350694715738371969
478 671304132286967844882
479 710369723854650524507
480 751665926936212044927
481 795317718171160570833
482 841456945402023598695
483 890222698397876179816
484 941761699226938129964
485 996228713261822910408
486 1053786981927305204710
487 1114608678278928960542
488 1178875386636570102220
489 1246778607476577482603
490 1318520288932411055436
491 1394313386234925379426
492 1474382450580511678072
493 1558964248898881463295
494 1648308416161328035621
495 1742678141856046379306
496 1842350892439375726797
497 1947619171560582823347
498 2058791320053740916894
499 2176192357682810827723
500 2300164868837174609264
501 2431069934371178070529
502 2569288112009079332700
503 2715220467737925260511
504 2869289660856135132340
505 3031941085352547441597
506 3203644070555197495257
507 3384893144002091805573
508 3576209359771932194147
509 3778141695533083585661
510 3991268521876998248985
511 4216199147531302387745
512 4453575444380253238573
513 4704073556258378956304
514 4968405695842518898508
515 5247322034016427172816
516 5541612686469963979522
517 5852109802356422988704
518 6179689760250690915478
519 6525275476725921357194
520 6889838833319854395592
521 7274403227752506716061
522 7680046255746888190300
523 8107902529912859134024
524 8559166642684259850979
525 9035096280427228050800
526 9537015496411405364889
527 10066318150485694292750
528 10624471523920829651792
529 11213020118056109645670
530 11833589646059536626926
531 12487891227313014396321
532 13177725794662253718808
533 13904988725004395130256
534 14671674704474544471877
535 15479882839760652794020
536 16331822027930207171757
537 17229816597458588244262
538 18176312234074829282043
539 19173882205389806206932
540 20225233899275229522634
541 21333215691359076598120
542 22500824158091088347249
543 23731211652281825901132
544 25027694259199116483523
545 26393760151814467514750
546 27833078365072032760183
547 29349508009627078435109
548 30947107946889798768741
549 32630146947856700061877
550 34403114359719423728510
551 36270731304967383067933
552 38237962439336866124999
553 40310028295774713084514
554 42492418243361212951730
555 44790904091050217065572
556 47211554368013825548577
557 49760749313400965088813
558 52445196610414274871750
559 55271947900751891414729
560 58248416117736605853310
561 61382393677729209165270
562 64682071571895746620742
563 68156059401818853503869
564 71813406405130322670937
565 75663623518923939304858
566 79716706531627698446659
567 83983160375774141604462
568 88474024617281594185092
569 93200900198814685795385
570 98175977498242856733593
571 103412065765387097985438
572 108922624003996505777992
573 114721793368305335868039
574 120824431147600347754399
575 127246146414898981865154
576 134003337420274740406417
577 141113230812324854157836
578 148593922776099564779609
579 156464422179087753024600
580 164744695822100939476759
581 173455715895521061842103
582 182619509747085611116798
583 192259212071389465899630
584 202399119637492630667578
585 213064748675449292001782
586 224282895049329590615239
587 236081697349193279784729
588 248490703041825584872015
589 261540937825439901252782
590 275264978341550946215418
591 289697028403172743107402
592 304872998907200184393303
593 320830591605393701657916
594 337609386917859806450357
595 355250935980150046204874
596 373798857125410662063226
597 393298937010979709827010
598 413799236610048718138426
599 435350202297775003997759
600 458004782273444057615087
601 481818548569931554043876
602 506849824915008414012287
603 533159820719649285043502
604 560812771482974727389633
605 589876085915132488744221
606 620420500095175248527484
607 652520238993825623979187
608 686253185708166008311724
609 721701058769394276255815
610 758949597903451307993660
611 798088758639818346946580
612 839212916184102449278961
613 882421078987039055941756
614 927817112464661586311496
615 975509973343063089697142
616 1025613955125255078344212
617 1078248945198122550409345
618 1133540694123690381498624
619 1191621097681397888521773
620 1252628492256618025308832
621 1316707964195315770869609
622 1384011673775808264847629
623 1454699194475624102532019
624 1528937868245283125290964
625 1606903177530449244396743
626 1688779134820729785387258
627 1774758690535867496830468
628 1865044160100152776007904
629 1959847671091457454748012
630 2059391631394926671811837
631 2163909219330324327742131
632 2273644896769527455946196
633 2388854946303325803953128
634 2509808033568386645606540
635 2636785795891944533319209
636 2770083458468059627285670
637 2910010479330394788671402
638 3056891224447725833679952
639 3211065674324322052158036
640 3372890163554015090374500
641 3542738154837948124213807
642 3721001049048579340469262
643 3908089032989414218972948
644 4104431966578938501157713
645 4310480311260379408463818
646 4526706101524896222300652
647 4753603961515774638638009
648 4991692168774770167044741
649 5241513767279150639320511
650 5503637732019817645990678
651 5778660187466403454956399
652 6067205682376049567167040
653 6369928523506926905760424
654 6687514170918144275423862
655 7020680697651674700864951
656 7370180316723141435878705
657 7736800978472794093476652
658 8121368041470768676733755
659 8524746020306654172087002
660 8947840413748724645442815
661 9391599616906584004395123
662 9857016921199970385719901
663 10345132606098441047975752
664 10857036126780508652663729
665 11393868402037563082755387
666 11956824206947921606544896
667 12547154675039214615511331
668 13166169914874879110979051
669 13815241746210944005056480
670 14495806561105935094057285
671 15209368315596233351146069
672 15957501657806617923184708
673 16741855198616010045468283
674 17564154931278377462129306
675 18426207806671678811255875
676 19329905471152164747227746
677 20277228174288894835666411
678 21270248854084403153051511
679 22311137407611772958108672
680 23402165155358385435345693
681 24545709507920097528785251
682 25744258844081034989489718
683 27000417609699388013578552
684 28316911647245192129126767
685 29696593766255763374963082
686 31142449565437151233798262
687 32657603517597189025055560
688 34245325329098705442121487
689 35909036586019472954478601
690 37652317699752240639625251
691 39478915165320558661196201
692 41392749146280413412514875
693 43397921400668293548447383
694 45498723563102236665233470
695 47699645798785431028771785
696 50005385845863956386784507
697 52420858463290241703634012
698 54951205302106701255124521
699 57601805218825948996063962
700 60378285050412954793829510
701 63286530871203736432436667
702 66332699752995918664686178
703 69523232050448822562315229
704 72864864234909376526998034
705 76364642300761927387640932
706 80029935769463191059224053
707 83868452317491656899271046
708 87888253055595708061955500
709 92097768487886501523323102
710 96505815180576190564127593
711 101121613171425662886563716
712 105954804152328565085362312
713 111015470458832504087100794
714 116314154901878211313698075
715 121861881478531571449949875
716 127670177000090550869488643
717 133751093677573501070120796
718 140117232706340470975873912
719 146781768893365045146905947
720 153758476372569165956629184
721 161061755455552788907241394
722 168706660667107603757137723
723 176708930016990103540077721
724 185085015561662836732698838
725 193852115311979552432090683
726 203028206545214622237445765
727 212632080582300187319865437
728 222683379093766377830530017
729 233202632000555937806127367
730 244211297038741172864850387
731 255731801060078075289556318
732 267787583143432748173150820
733 280403139595272687625124862
734 293604070920779905756753030
735 307417130850572084125034967
736 321870277511668712258862160
737 336992726835063072569181353
738 352815008296222163116955387
739 369369023088880105826203409
740 386688104836788287169641272
741 404807082952475499121580845
742 423762348756733690386837437
743 443591924477310655693082476
744 464335535250348582629438258
745 486034684253280353780298119
746 508732731103381347239408159
747 532474973661789005922188628
748 557308733388752287352070569
749 583283444401966163789891789
750 610450746396298991059810156
751 638864581589832205217110040
752 668581295868129116557722336
753 699659744305823276810530791
754 732161401252204183494038943
755 766150475175260765192865391
756 801694028466869525998187107
757 838862102420256666504866764
758 877727847599782120188043308
759 918367659832250741198913076
760 960861322058624092944321101
761 1005292152294937887912376491
762 1051747157961710189991618316
763 1100317196851895735667552656
764 1151097145018800795829285875
765 1204186071877051655608831274
766 1259687422822020526483823337
767 1317709209685775046799830383
768 1378364209360958694364572130
769 1441770170937736909341917374
770 1508050031713400300239211940
771 1577332142449097177791653792
772 1649750502263831556277754467
773 1725445003571992275239796247
774 1804561687487649681636828189
775 1887253010136337487524523237
776 1973678120333422527573127639
777 2064003149107109565872032106
778 2158401511564043908675333077
779 2257054221616002664182228820
780 2360150220107737386570335767
781 2467886716908272788636937557
782 2580469547551330117916832094
783 2698113545034640566265839580
784 2821042927413216732178185321
785 2949491701847753868630002441
786 3083704085796732839422769927
787 3223934946069071793086175877
788 3370450256483842630070954576
789 3523527574914192741644288148
790 3683456540524735622455067005
791 3850539392044839679832476077
792 4025091507955022074473300322
793 4207441969499568969526173834
794 4397934147476151602939968439
795 4596926313792095419297693515
796 4804792278817711592458051708
797 5021922055609203547417131739
798 5248722552117769789343807156
799 5485618292547104732830807876
800 5733052169069236978691595113
801 5991486225157984899269856114
802 6261402471850970506773991277
803 6543303738304538252313303577
804 6837714558061828013135981015
805 7145182092512052150028415247
806 7466277093079513814660134854
807 7801594903743455612565246737
808 8151756505555270332305535769
809 8517409604887293093753206936
810 8899229767218192675014457082
811 9297921598333218247352697768
812 9714219974894143938719859675
813 10148891326412991463960675061
814 10602734970746451429650671414
815 11076584505313644873975511660
816 11571309256329464959863714192
817 12087815788438465113197404715
818 12627049477231159611229611229
819 13189996147224898543472200669
820 13777683777996266637162601247
821 14391184281260429303479079519
822 15031615351806158037457038698
823 15700142395312575769113968950
824 16397980536196175728722340986
825 17126396708763519481223606694
826 17886711835077473962158284746
827 18680303093082007640757956335
828 19508606278673756967015585008
829 20373118265556867756387806995
830 21275399566872401934211394320
831 22217077002753917282547966321
832 23199846478128133869503338216
833 24225475875252901936429045334
834 25295808065665511168370482806
835 26412764046401702027313296451
836 27578346205541160906142860514
837 28794641722337738979301379552
838 30063826107403813095202165705
839 31388166888637007442457896520
840 32770027448805683675002419155
841 34211871020946049346337080645
842 35716264847970284645845749277
843 37285884513140573256631358950
844 38923518448330291016980958123
845 40632072627269646568082293651
846 42414575451260824758326659665
847 44274182835145908008134874224
848 46214183501621689257250972195
849 48238004492317655601222800727
850 50349216904389167312020113004
851 52551541861725857051980291316
852 54848856730237895105894230565
853 57245201587058642495759995418
854 59744785953893831159333569558
855 62351995805153363229774439524
856 65071400861924721067243772259
857 67907762183285380764782599814
858 70866040066908268100111070970
859 73951402271387700991784593487
860 77169232573206310354833422843
861 80525139671774595258714554754
862 84024966456507078724674887928
863 87674799650450921225881559558
864 91480979845557505409906311734
865 95450111945283320859739267981
866 99589076030826801518914738170
867 103905038667950954365588448393
868 108405464672011187395358791932
869 113098129349502013318904797314
870 117991131235158976044530612709
871 123092905344401496298834351445
872 128412236961682256842369783139
873 133958275986117485834545670732
874 139740551856614146977278284619
875 145768989079582811056282812075
876 152053923383233177398631684677
877 158606118523391004101159402372
878 165436783766755131293453885359
879 172557592078529478056215774212
880 179980699042422137153185092777
881 187718762542100088460677991453
882 195784963234328630162358831880
883 204193025845207463235473104761
884 212957241322145754738531711330
885 222092489875494500419738614317
886 231614264945081682696548613020
887 241538698128272106262191527147
888 251882585107605263306596491445
889 262663412617549144184090912272
890 273899386491451755287812153036
891 285609460831373230218836418425
892 297813368345146342235742470637
893 310531651896739932993753216414
894 323785697317795135380591987527
895 337597767530066268930829270527
896 351991038030434168111326123613
897 366989633792167450486768837792
898 382618667638194478770472812220
899 398904280144313510967992627441
900 415873681132518817842750593350
901 433555192816954384128663174164
902 451978294667432692323859062701
903 471173670057972046800874697267
904 491173254770420889483491956865
905 512010287425949651674938287194
906 533719361920009331731005110092
907 556336481939279292148746504077
908 579899117642164708173566727121
909 604446264587554834455631787105
910 630018504999827315149471110274
911 656658071461479374885744800363
912 684408913128295008761679807934
913 713316764565616546311427671596
914 743429217308090935823012251515
915 774795794249204183746546337036
916 807468026971013985630893806799
917 841499536128739214696893805432
918 876946115009278687067965554769
919 913865816387309141238763780836
920 952319042807367490943426564435
921 992368640425253926405184643061
922 1034079996547214970822298641689
923 1077521141010678109443188373241
924 1122762851555827553180573072204
925 1169878763343033232201362638835
926 1218945482777088578323621662501
927 1270042705805376422513018350332
928 1323253340863483683300622202291
929 1378663636648424076102622388162
930 1436363314906522106291016320693
931 1496445708430161019227536198425
932 1559007904465021500866929909895
933 1624150893737136962726340078965
934 1691979725317085658506618463173
935 1762603667546930224453509125309
936 1836136375264123157245065687989
937 1912696063565523184492158409444
938 1992405688363935356693303595513
939 2075393133999198367437645132159
940 2161791408175820346902567769983
941 2251738844509511020571375434631
942 2345379312975699365579502383690
943 2442862438564264103582038133803
944 2544343828456266746039843214051
945 2649985308050466408080385426075
946 2759955166179841047082951241878
947 2874428409871244755384183068894
948 2993587029014725774755964949419
949 3117620271322919299028769971410
950 3246724927975345246996213644742
951 3381105630357389089175757435347
952 3520975158319257792928796266051
953 3666554760396288929149569983075
954 3818074486448685316034695732853
955 3975773533196057107716981107018
956 4139900603140116518059468771066
957 4310714277387495266890854816162
958 4488483402903982228957487194930
959 4673487494751517633511627249114
960 4866017153880073868431718459401
961 5066374501068111679939916663103
962 5274873627627670333489833069640
963 5491841063513342633353929986025
964 5717616263498449402924923454574
965 5952552112106676073485350949965
966 6197015448013318222900584688208
967 6451387608657117791239810199473
968 6716064995831512270346918672779
969 6991459663052981679569934332897
970 7277999925534120981435426926839
971 7576130993620106888911498691779
972 7886315630579429761158433573583
973 8209034835673143636088974948740
974 8544788553461516242238982728894
975 8894096410342858434408922290716
976 9257498479356548836174932951714
977 9635556074320869309462684409307
978 10028852574416304496597804739763
979 10437994280366461453020467944252
980 10863611303411812245471315675776
981 11306358488316083509463399917997
982 11766916371691396224692484745302
983 12245992176976229613425237991710
984 12744320847450034251220781979312
985 13262666118719887746161105389183
986 13801821632168066468615775354922
987 14362612090904838927944455875427
988 14945894459828271258217293459791
989 15552559211452416902932396984830
990 16183531619227048123484815545386
991 16839773100136124604960313389647
992 17522282608428598144017392833078
993 18232098082403974923923129738260
994 18970297946246419409239719158720
995 19738002668975144082444982030612
996 20536376382655516025374419423552
997 21366628562094787675874598329626
998 22230015768328762136181819388966
999 23127843458291101857766339720966
1000 24061467863145529336009974619148