0 0
1 0
2 1
3 2
4 3
5 4
6 7
7 11
8 17
9 23
10 32
11 44
12 63
13 85
14 114
15 149
16 198
17 260
18 341
19 436
20 559
21 712
22 910
23 1149
24 1446
25 1803
26 2254
27 2803
28 3478
29 4282
30 5267
31 6453
32 7905
33 9635
34 11716
35 14191
36 17180
37 20735
38 24985
39 29998
40 35965
41 43019
42 51404
43 61257
44 72880
45 86510
46 102580
47 121405
48 143490
49 169232
50 199346
51 234442
52 275415
53 322999
54 378325
55 442442
56 516900
57 603067
58 702808
59 817887
60 950814
61 1104010
62 1280658
63 1483765
64 1717325
65 1985398
66 2293257
67 2646083
68 3050379
69 3512756
70 4041657
71 4645801
72 5335836
73 6122606
74 7019492
75 8040612
76 9203133
77 10524922
78 12027253
79 13732624
80 15668158
81 17862716
82 20350195
83 23166509
84 26353984
85 29958236
86 34032729
87 38634583
88 43829852
89 49689858
90 56297558
91 63742697
92 72128275
93 81565374
94 92181575
95 104115913
96 117527452
97 132588520
98 149494914
99 168459913
100 189726415
101 213559415
102 240258258
103 270148734
104 303599115
105 341012399
106 382842848
107 429586011
108 481797965
109 540086921
110 605136424
111 677694461
112 758597262
113 848758721
114 949200563
115 1061042489
116 1185534263
117 1324042534
118 1478088070
119 1649336469
120 1839642203
121 2051036208
122 2285772616
123 2546317501
124 2835407041
125 3156039421
126 3511537060
127 3905534757
128 4342052684
129 4825492049
130 5360720980
131 5953068269
132 6608415410
133 7333194845
134 8134503960
135 9020110717
136 9998577479
137 11079265517
138 12272479219
139 13589486720
140 15042690215
141 16645647980
142 18413260088
143 20361804838
144 22509164537
145 24874880551
146 27480403689
147 30349155104
148 33506817624
149 36981433080
150 40803743917
151 45007304350
152 49628860285
153 54708495447
154 60290088039
155 66421503317
156 73155104466
157 80547973203
158 88662506161
159 97566712039
160 107334908863
161 118048070367
162 129794608763
163 142670804805
164 156781742575
165 172241843969
166 189175924439
167 207719814062
168 228021586241
169 250242342821
170 274557650402
171 301158454295
172 330252705069
173 362066467362
174 396845844388
175 434858319849
176 476394950124
177 521771923106
178 571333106066
179 625451956734
180 684534490915
181 749021506116
182 819391967157
183 896165657303
184 979907158106
185 1071229012969
186 1170796277079
187 1279330190797
188 1397613464426
189 1526494687815
190 1666894470914
191 1819810572115
192 1986324925199
193 2167609690204
194 2364935476098
195 2579678479677
196 2813329910562
197 3067504275436
198 3343950299175
199 3644560739284
200 3971385052504
201 4326640777906
202 4712728061076
203 5132242992894
204 5587994521748
205 6083020071672
206 6620604959784
207 7204300476491
208 7837946339080
209 8525691923952
210 9272022239495
211 10081782493713
212 10960207908204
213 11912952333363
214 12946122829242
215 14066312988175
216 15280642636541
217 16596796325135
218 18023069153421
219 19568411650023
220 21242482654309
221 23055701135545
222 25019306876139
223 27145420550105
224 29447113882627
225 31938479277098
226 34634710321686
227 37552182045988
228 40708543630455
229 44122811486990
230 47815476016505
231 51808608811215
232 56125985069209
233 60793207423882
234 65837847031575
235 71289586529383
236 77180381785471
237 83544626292438
238 90419337034598
239 97844344345096
240 105862505441963
241 114519922581729
242 123866187651954
243 133954633311493
244 144842614116903
245 156591795524321
246 169268475746103
247 182943917346109
248 197694716326616
249 213603183682813
250 230757768511710
251 249253495477236
252 269192448754389
253 290684274177294
254 313846734094079
255 338806283520663
256 365698704426650
257 394669765406604
258 425875947516718
259 459485200974363
260 495677775518746
261 534647086096648
262 576600661137440
263 621761133676475
264 670367326010121
265 722675383933057
266 778960014704709
267 839515782968946
268 904658524561006
269 974726829012445
270 1050083653651150
271 1131118016120113
272 1218246834715819
273 1311916861503813
274 1412606782738227
275 1520829425920187
276 1637134153072444
277 1762109377359381
278 1896385291047816
279 2040636737364840
280 2195586318862674
281 2362007669663586
282 2540728993556861
283 2732636793187492
284 2938679899935363
285 3159873722236026
286 3397304829614852
287 3652135787628439
288 3925610373123891
289 4219059079329148
290 4533905047302753
291 4871670326576320
292 5233982615356892
293 5622582380882987
294 6039330521553633
295 6486216462014179
296 6965366854429008
297 7479054774326708
298 8029709602193536
299 8619927472401894
300 9252482491527788
301 9930338599748356
302 10656662297815603
303 11434836111294051
304 12268473031712988
305 13161431794891663
306 14117833253585858
307 15142077702656650
308 16238863440474418
309 17413206417054623
310 18670461269909992
311 20016343589423281
312 21456953744913767
313 22998802112938503
314 24648836065214063
315 26414468544471564
316 28303608612809905
317 30324693801019857
318 32486724682831832
319 34799301495541076
320 37272663258406164
321 39917729201892030
322 42746143004768292
323 45770319655944199
324 49003495478208909
325 52459781117696446
326 56154218078631977
327 60102838612317505
328 64322729599615381
329 68832100232270008
330 73650354175963672
331 78798166015964632
332 84297562737639173
333 90172010054844876
334 96446504401497784
335 103147670390007984
336 110303864618254528
337 117945285645310048
338 126104091108760711
339 134814521808903264
340 144113033803624721
341 154038438344927018
342 164632050807126558
343 175937848467386002
344 188002638388166941
345 200876235263835548
346 214611650587069740
347 229265293035881976
348 244897181577209867
349 261571171213263239
350 279355192982326131
351 298321508167726322
352 318546978492345475
353 340113352315025610
354 363107568764466467
355 387622079854942209
356 413755192689874023
357 441611431877115151
358 471301924481665493
359 502944807705384715
360 536665661808672807
361 572597968536434889
362 610883597823880079
363 651673323166992766
364 695127368688452286
365 741415988365376045
366 790720080724880084
367 843231839629667078
368 899155444806518342
369 958707792881531688
370 1022119272887693213
371 1089634587166819542
372 1161513622044414127
373 1238032369431232543
374 1319483904143966611
375 1406179418282347804
376 1498449317904294325
377 1596644383628219982
378 1701137000955908723
379 1812322462227895973
380 1930620346522175432
381 2056475979722064234
382 2190361981726210986
383 2332779903450647513
384 2484261961269659086
385 2645372871919097873
386 2816711796244505221
387 2998914395347507600
388 3192655008399905562
389 3398648956213814420
390 3617654980693755058
391 3850477824853642304
392 4097970964592459357
393 4361039497669217870
394 4640643202175412801
395 4937799770659829881
396 5253588233410936564
397 5589152577997084719
398 5945705580003273727
399 6324532853040910750
400 6726997134391499053
401 7154542815446993632
402 7608700735037444090
403 8091093246143258657
404 8603439575896345272
405 9147561490678718806
406 9725389288210977284
407 10338968130096651506
408 10990464739040304888
409 11682174475948551193
410 12416528823491110295
411 13196103293265668255
412 14023625785959986359
413 14901985423971907315
414 15834241888861232449
415 16823635285441833519
416 17873596568163382292
417 18987758554456616647
418 20169967564480390671
419 21424295714997929845
420 22755053910727980867
421 24166805564285927596
422 25664381092655030797
423 27252893225277409929
424 28937753176610133107
425 30724687722353147070
426 32619757237587032111
427 34629374740933583384
428 36760326009159263596
429 39019790811603811565
430 41415365335320697980
431 43955085856155332570
432 46647453734149183204
433 49501461795255414639
434 52526622185819821755
435 55732995768918196964
436 59131223157880234368
437 62732557464410415357
438 66548898866726917294
439 70592831084122694195
440 74877659874045157342
441 79417453648057159895
442 84227086335033101804
443 89322282599350700917
444 94719665555674168889
445 100436807100208284164
446 106492281014602643327
447 112905718976374657534
448 119697869648506570266
449 126890660997281052095
450 134507266028584278738
451 142572172108554553513
452 151111254078817225470
453 160151851351257473506
454 169722849214281053910
455 179854764555967035285
456 190579836259967930012
457 201932120502925928680
458 213947591236131449929
459 226664246105647192574
460 240122218122479775608
461 254363893365165593272
462 269434035058977098647
463 285379914345835209067
464 302251448124639076255
465 320101344310308209567
466 338985254930347182881
467 358961937445995384049
468 380093424760521354235
469 402445204344060043318
470 426086406984780906792
471 451090005642540711728
472 477533024967908595110
473 505496762015143699304
474 535067018769921900884
475 566334347077190106787
476 599394306653709954986
477 634347736834609468123
478 671301042809602629562
479 710366497068138819856
480 751662556886181272452
481 795314198651058674750
482 841453269943313638930
483 890218860258158493019
484 941757691379656091245
485 996224528383897788043
486 1053782612387969843795
487 1114604116125882920421
488 1178870623583514357565
489 1246773634888596460088
490 1318515097813060636700
491 1394307967210416751152
492 1474376793885124066095
493 1558958344357543014200
494 1648302253174162699565
495 1742671709380201758556
496 1842344178972324969664
497 1947612165119801818971
498 2058784008158188185657
499 2176184727331466038985
500 2300156906489677487001
501 2431061625924660239273
502 2569279442776477637048
503 2715211422422461451235
504 2869280223528333376716
505 3031931239423555152024
506 3203633798751871822228
507 3384882428337349961646
508 3576198181517289322342
509 3778130035187189416492
510 3991256359136839649156
511 4216186461258309173526
512 4453562212568136439224
513 4704059755995951626536
514 4968391303279580333131
515 5247307024324676434884
516 5541597033806103486734
517 5852093479818952834417
518 6179672739839274748414
519 6525257729295512669279
520 6889820328537993010513
521 7274383934049825773142
522 7680026140269699169597
523 8107881558469059971773
524 8559144779692862852863
525 9035073488861383125754
526 9536991737743895910866
527 10066293384626093548053
528 10624445709155722844022
529 11212993210982325180107
530 11833561601521030081141
531 12487861998328921032525
532 13177695332357176538293
533 13904956978529853255124
534 14671641620934705430861
535 15479848364129446561782
536 16331786102971097213271
537 17229779163633501875996
538 18176273229456447186209
539 19173841565564598342874
540 20225191557250683237887
541 21333171577459308908040
542 22500778199854664358216
543 23731163774348076230241
544 25027644383199217486370
545 26393708196251150876414
546 27833024245202046215626
547 29349451637329455392997
548 30947049230537593182868
549 32630085792176640304691
550 34403050665656006621910
551 36270664969531772428686
552 38237893355457762038890
553 40309956352134141719747
554 42492343324235335458868
555 44790826076135324665951
556 47211473132254724483403
557 49760664726800833433151
558 52445108537847836360165
559 55271856201762708168767
560 58248320646338744097833
561 61382294282189137509365
562 64681968094515364068166
563 68155951678698807962692
564 71813294265938302325819
565 75663506786643529397993
566 79716585022308697649767
567 83983033898258807173919
568 88473892972933387583155
569 93200763181226191778286
570 98175834892947465830643
571 103411917349544899963897
572 108922469546079688959842
573 114721632627757861384746
574 120824263874501814411466
575 127245972349603053104795
576 134003156293047208157725
577 141113042342950325232343
578 148593726673488938814231
579 156464218140858379976241
580 164744483534158963550519
581 173455495031610123382324
582 182619279968332190633177
583 192258973025814571602249
584 202398870959525884719562
585 213064489985409609030630
586 224282625952902273634588
587 236081417436866214134670
588 248490411888323051720024
589 261540634989120452020312
590 275264663363804518168605
591 289696700807773703072706
592 304872658199652351448251
593 320830237272231289869086
594 337609018425947241098920
595 355250552775937820426853
596 373798458634182451186781
597 393298522636045820873937
598 413798805731931968600673
599 435349754273349232536976
600 458004316435066625049120
601 481818064224518022128830
602 506849321343092016135154
603 533159297174382191882459
604 560812227189122342261676
605 589875520068009782018138
606 620419911859565949283786
607 652519627502830981663049
608 686252550062037847273159
609 721700398034304987103108
610 758948911110249612937162
611 798088044782708999339187
612 839212174219299428274202
613 882420307831341835810735
614 927816310994015247110689
615 975509140391041098931535
616 1025613089481512560187874
617 1078248045606756808986173
618 1133539759281572778759945
619 1191620126236421715906537
620 1252627482805919611122477
621 1316706915283394418578800
622 1384010583892603365642697
623 1454698062054490252254060
624 1528936691660934163723337
625 1606901955096799201855355
626 1688777864788686170111494
627 1774757371091001046284721
628 1865042789360319797784007
629 1959846247104309873493764
630 2059390152135375586594724
631 2163907682697869053384251
632 2273643300585518149510240
633 2388853288308089136831347
634 2509806311418298783852026
635 2636784007156366108151761
636 2770081600626195508740711
637 2910008549767989448597951
638 3056889220453684074075768
639 3211063593087177549203341
640 3372888002158324252544505
641 3542735910260504443368176
642 3720998718154526123165181
643 3908086612528173618325202
644 4104429453180056284354780
645 4310477701429182554397144
646 4526703391638036825186560
647 4753601147816554130918002
648 4991689247368347989734222
649 5241510734127547118466027
650 5503634582936801609124191
651 5778656918112137298951136
652 6067202288251583804634838
653 6369924999948447498069520
654 6687510513091088052372197
655 7020676900544591467037458
656 7370176375141387851708577
657 7736796887031930614588611
658 8121363794589784035574055
659 8524741612200910651304417
660 8947835838422727523379759
661 9391594868146424045064477
662 9857011992565547163432427
663 10345127490915349538517326
664 10857030818131727367924275
665 11393862892754798460741884
666 11956818489602704508378930
667 12547148741933596265015088
668 13166163758031874275861136
669 13815235357364591048094089
670 14495799931691096307340200
671 15209361436737953224501336
672 15957494520309162640917085
673 16741847792951449858513453
674 17564147247574876486711366
675 18426199834701313254665244
676 19329897200318383748259176
677 20277219593613439751150244
678 21270239952193857412157234
679 22311128172723588153471731
680 23402155575266529633566203
681 24545699569980100098305406
682 25744248535194576521449855
683 27000406916298268259908484
684 28316900555274868167371529
685 29696582261158243517189210
686 31142437632133379150753209
687 32657591140468688871974316
688 34245312491968697335743488
689 35909023272133271723311212
690 37652303891757106097346072
691 39478900845244724853066077
692 41392734295511473890271249
693 43397905999930733436857911
694 45498707592434346201816609
695 47699629237515337947994087
696 50005368672584930483909998
697 52420840655834994688652037
698 54951186837520934220723932
699 57601786073340911313681398
700 60378265199417220252460368
701 63286510289213861380050824
702 66332678413626187547911199
703 69523209926379827690530106
704 72864841297855715961458730
705 76364618521438689408130636
706 80029911117551413535580159
707 83868426761602419246857151
708 87888226563233153540588456
709 92097741025409502905998785
710 96505786713158907532530377
711 101121583663016567105815580
712 105954773565608186611590513
713 111015438755169584864683997
714 116314122041284601495602724
715 121861847419615462396485785
716 127670141700008272085291411
717 133751057091979445725329565
718 140117194789335518642457123
719 146781729597443123275861136
720 153758435648562241209999763
721 161061713252573767206838903
722 168706616932491447372304635
723 176708884696232760289427483
724 185084968598358398126478399
725 193852066647755133336152828
726 203028156119663226094152635
727 212632028332911020002330608
728 222683324955853060444735800
729 233202575907182155331324380
730 244211238920644121731485812
731 255731740845589057423668157
732 267787520758395274654878225
733 280403074962957590866641603
734 293604003961797969996435880
735 307417061482783542507706744
736 321870205650089941829594258
737 336992652391769812607773772
738 352814931180249793225140396
739 369368943206120408037385124
740 386688022089883135996812447
741 404806997240706644816329661
742 423762259975909089905496787
743 443591832519646716496676764
744 464335440004348927113464016
745 486034585603610294477662025
746 508732628930738477762850406
747 532474867842769039156701784
748 557308623795710809685854105
749 583283330902875574917641880
750 610450628854601153916947284
751 638864459864285767655991934
752 668581169812652061056312011
753 699659613769329872301749396
754 732161266078437096495373288
755 766150335202617306707295268
756 801693883528222508263021456
757 838861952342768787366326008
758 877727692204714693118708613
759 918367498934765819632633756
760 960861155467580644388562994
761 1005291979812680709490622287
762 1051746979383852221656811584
763 1100317011967092736177588330
764 1151096953608519306565159795
765 1204185873715328933744218356
766 1259687217675217041335264979
767 1317708997312318170434914059
768 1378363989511078559246303718
769 1441769943353193240489477194
770 1508049796127201019689400704
771 1577331898585207104171939075
772 1649750249836872016209334600
773 1725444742286930309565425739
774 1804561417039477944265089900
775 1887252730209743188807510245
776 1973677830602446141404935624
777 2064002849234791540463402820
778 2158401201202060582889020257
779 2257053900404289871229141139
780 2360149887674102679647786941
781 2467886372867994197299608490
782 2580469191506742421936957315
783 2698113176574707379093598250
784 2821042546113089745012985137
785 2949491307268317172816672379
786 3083703677484133156001989438
787 3223934523554232410639978627
788 3370449819281962502013719062
789 3523527122524228777581517085
790 3683456072428869320070962967
791 3850538907707925463549125821
792 4025091006824018486065823150
793 4207441451002950569489075549
794 4397933611023303206716593013
795 4596925758772685999653922828
796 4804791704601048858496749826
797 5021921461543566427074241737
798 5248721937529720512297394888
799 5485617656740778050394410234
800 5733051511325607882619064483
801 5991485544734111485239699351
802 6261401767979213369328341733
803 6543303010191753696571265528
804 6837713804888536973655231187
805 7145181313431581487607145198
806 7466276287217111172356668868
807 7801594070195374290598195141
808 8151755643387826228644405760
809 8517408713135890591512468004
810 8899228844886321024859688495
811 9297920644391414270489011943
812 9714218988278922671864106965
813 10148890306025741261907138013
814 10602733915452295789102456892
815 11076583413940266791211373170
816 11571308127665895123796373852
817 12087814621233829524359753736
818 12627048270193389027945642930
819 13189994899019395758336984217
820 13777682487244533408663412308
821 14391182946538647712914070666
822 15031613971643728076357736420
823 15700140968190604803903954425
824 16397979060545922477666079458
825 17126395182964787186333558472
826 17886710257456954252633647231
827 18680301461911569555968352520
828 19508604592168683854058515621
829 20373116521874037053030224059
830 21275397764108409900940646021
831 22217075138943142075374618186
832 23199844551240739028908067682
833 24225473883192774811096831877
834 25295806006268139225287453400
835 26412761917431980437097361878
836 27578344004691133024621114751
837 28794639447224262726070556884
838 30063823755566156366684184660
839 31388164457534366283012227031
840 32770024935814625406731885102
841 34211868423357872461904255559
842 35716262162988297734959485033
843 37285881737877285999223294254
844 38923515579804520614297470244
845 40632069662403531341673208392
846 42414572386876746512847288235
847 44274179667963314467824774746
848 46214180228253820071075145464
849 48238001109268163952079123457
850 50349213408048639523963672655
851 52551538248368219974515542582
852 54848852996016713581604342204
853 57245197728003298236039620448
854 59744781965905586727650770068
855 62351991684001300710503208389
856 65071396603241557003777949290
857 67907757782563146515188272361
858 70866035519493859306913570311
859 73951397572478286249093221972
860 77169227717844601495207639194
861 80525134654843966428361678265
862 84024961272726536601217939045
863 87674794294369915504509711508
864 91480974311550583391056464142
865 95450106227544613206343608640
866 99589070123364340514104857414
867 103905032564580811025410302400
868 108405458366351431364432014936
869 113098122834966483122439648002
870 117991124504950861851234014719
871 123092898391506719301841625239
872 128412229778862647393125801747
873 133958268565903746596460402672
874 139740544191298605059383121937
875 145768981161211942991555211984
876 152053915203599907649952874832
877 158606110074026760162103220940
878 165436775038921659270883213818
879 172557583063210403049081386396
880 179980689730314270199949460456
881 187718752923604460268839294371
882 195784953299541253099837117488
883 204193015583909804477144972833
884 212957230723794924312606820661
885 222092478929213133894306491390
886 231614253639647518317257375837
887 241538686452107235414845976821
888 251882573048765057695489593350
889 262663400163710840171982314376
890 273899373629902696285939737287
891 285609447548998742351757995371
892 297813354628417243841604148332
893 310531637731699656519851626211
894 323785682690046464648160148410
895 337597752424757666585645313230
896 351991022432245691533218050996
897 366989617685296229640098407280
898 382618651006339758611686179918
899 398904262970661233886284307177
900 415873663399725745377630614381
901 433555174507131727198363803011
902 451978275762129248859566203509
903 471173650538156819737682069637
904 491173234616465186924040085766
905 512010266617608637747656607695
906 533719340436403023906920341302
907 556336459758872971993857509580
908 579899094742748746576951645884
909 604446240946223900373619033647
910 630018480592958964834452027261
911 656658046264711983203218886548
912 684408887116505038733553614075
913 713316737712895123024044732815
914 743429189587719724382284763008
915 774795765633630531712595508007
916 807467997431825322304017057087
917 841499505636636665906273549378
918 876946083534049903749044782096
919 913865783897800302983564773813
920 952319009271454477909297292792
921 992368605809812611403343263326
922 1034079960818090623944030041115
923 1077521104132653872585684465041
924 1122762813492591980610778971617
925 1169878724057146847672263245655
926 1218945442229949436067158317928
927 1270042663957184620055087631623
928 1323253297673204820496102953685
929 1378663592073751611433386417086
930 1436363268903838598394937326549
931 1496445660954498193450109589414
932 1559007855470019127539030455753
933 1624150843175000493154534743124
934 1691979673138542609852869485444
935 1762603613701185251288456591769
936 1836136319698811789771504080067
937 1912696006226664168125576880796
938 1992405629195881581448831245267
939 2075393072944586325028047672344
940 2161791345175518096151887227257
941 2251738779502564585522740845916
942 2345379245899277544762276113185
943 2442862369353601622242449584466
944 2544343757044605735082419750940
945 2649985234368996131089492413204
946 2759955090157635845594951581771
947 2874428331435200130045849469545
948 2993586948089492582022811718658
949 3117620187830835984829117771495
950 3246724841836368087447480651308
951 3381105541489020342922520303895
952 3520975066636471732439428449376
953 3666554665811455664395042128580
954 3818074388871492383489583945866
955 3975773432533428725467894665593
956 4139900499296130463467202521025
957 4310714170263297272432846923901
958 4488483292397697863856456079267
959 4673487380758161571219311727185
960 4866017036291456495275096738121
961 5066374379772742924590466241849
962 5274873502510660669027731454576
963 5491840934456301141489251410507
964 5717616130379378858572109534147
965 5952551974799864923893657436708
966 6197015306389229398866712703235
967 6451387462582274218210256312080
968 6716064845168379030009943658328
969 6991459507659844694242973183200
970 7277999765264962156724087455203
971 7576130828324475562228000175148
972 7886315460102310386377839563759
973 8209034659854819563496723977220
974 8544788372137429531345751373140
975 8894096223343465539475706416656
976 9257498286507172076787195115004
977 9635555875441543957982993115127
978 10028852369321621409458251021799
979 10437994068865405082687857051064
980 10863611085307593941409208230180
981 11306358263405969914289680541080
982 11766916139766532667082673434960
983 12245991937821458317386613946931
984 12744320600843707270860504078097
985 13262665864433674421907693024836
986 13801821369966755283170670028558
987 14362611820546133547236133808036
988 14945894181062580652474252879089
989 15552558924022639338533019011597
990 16183531322868348897094177373657
991 16839772794575707273313346034730
992 17522282293385469111989498479057
993 18232097757588701159068895397148
994 18970297611360879153683107522762
995 19738002323712270301241485887339
996 20536376026699032423890235182417
997 21366628195118937011712783568197
998 22230015389998026677426743678783
999 23127843068259915718141494363442
1000 24061467461057982509475487640967