15 2310
16 2730
17 7860
18 15606
19 35594
20 67255
21 120061
22 201324
23 364479
24 592991
25 1004771
26 1530056
27 2444073
28 3691392
29 5610179
30 8334486
31 12213775
32 17529361
33 25187765
34 35345858
35 49999364
36 68516285
37 94223007
38 127478773
39 172613052
40 230362430
41 305639795
42 401637665
43 527011287
44 683174505
45 885719293
46 1133481697
47 1450315056
48 1839244038
49 2326861603
50 2924496900
51 3660561732
52 4552898147
53 5650134170
54 6970042526
55 8586023275
56 10498203654
57 12821607980
58 15575650553
59 18883508442
60 22799569439
61 27436331090
62 32891137518
63 39362819987
64 46908671898
65 55815834547
66 66126184738
67 78223273910
68 92209009148
69 108511587569
70 127315207919
71 149050224767
72 174031472269
73 202843809490
74 235780518618
75 273694963546
76 316754116158
77 366076418161
78 422093391857
79 485937581279
80 558232627354
81 640213522427
82 732746723226
83 837504842003
84 955330384255
85 1088396330636
86 1237310474621
87 1405063475486
88 1592577102715
89 1802928993823
90 2037796027668
91 2300107423149
92 2592112842125
93 2918001415356
94 3279645597011
95 3682388896643
96 4127898221816
97 4622712075933
98 5169488984405
99 5775265882658
100 6443421785742
101 7181143092182
102 7993555721188
103 8889366161696
104 9873239641790
105 10956742444141
106 12143538557659
107 13447696392090
108 14875067195794
109 16439855770592
110 18150021313759
111 20020696730777
112 22061234865306
113 24290790778758
114 26718952885608
115 29367827997083
116 32246137281206
117 35381919364663
118 38785819349322
119 42486913975735
120 46500643412658
121 50855533966500
122 55571353941624
123 60684240971121
124 66211199127070
125 72196625047136
126 78656291763399
127 85641086925089
128 93173330891287
129 101306909582195
130 110068553667829
131 119512482840779
132 129675093305757
133 140619987662927
134 152381131271681
135 165036586071059
136 178614471931335
137 193207609177957
138 208855653637313
139 225650029775591
140 243641435669694
141 262927401129624
142 283565272453357
143 305670113283406
144 329300342724130
145 354586451848244
146 381584623946413
147 410448222691216
148 441242025359453
149 474128407497200
150 509189737358577
151 546587621290966
152 586421992624654
153 628886176943526
154 674071288257037
155 722200924657021
156 773362567917162
157 827809258476156
158 885653131679536
159 947155199498821
160 1012446767667795
161 1081795524011680
162 1155365601119568
163 1233457427400182
164 1316229446295270
165 1404038767036132
166 1497018381269910
167 1595577557886221
168 1699893957697987
169 1810375483554840
170 1927237667287883
171 2050900371255175
172 2181610161785888
173 2319854813920573
174 2465875566178057
175 2620214285268332
176 2783095717875549
177 2955152374708285
178 3136644672961030
179 3328212116491093
180 3530184417965130
181 3743199163469115
182 3967643626785413
183 4204253474826394
184 4453385361452009
185 4715882867067722
186 4992083678244719
187 5282914804817523
188 5588795570956737
189 5910687043199954
190 6249062328111310
191 6604889646302084
192 6978746346897778
193 7371718203987151
194 7784350655031099
195 8217876057573301
196 8672792553418477
197 9150492009250808
198 9651577996413766
199 10177436971006600
200 10728792546281397
201 11307070884309484
202 11913078758498557
203 12548415810581474
204 13213880151985514
205 13911246986546031
206 14641257660901868
207 15405902281117939
208 16206043630427958
209 17043716514898174
210 17919936538292523
211 18836730023980196
212 19795279459748756
213 20797881371097653
214 21845635574502944
215 22941086083907940
216 24085298616716117
217 25281079679733754
218 26529673134917110
219 27833927784607167
220 29195270518588685
221 30616607548205525
222 32099577041170331
223 33647351750157859
224 35261538311753479
225 36945687284097970
226 38701281107899976
227 40532208987668961
228 42440241174344197
229 44429317486331135
230 46501431729032634
231 48660610347869054
232 50909088398134821
233 53251316171644015
234 55689487395866497
235 58228424108907274
236 60870248662783429
237 63620312029277286
238 66480988149056607
239 69457676614242752
240 72553173176925201
241 75772875854514411
242 79119940366831611
243 82600345623877422
244 86217092148676887
245 89976802375308819
246 93882301830839150
247 97940772803007162
248 102155527162582176
249 106533874941029458
250 111079496793733024
251 115799724239717632
252 120698808392773654
253 125784774969564278
254 131061683303534110
255 136538312284935866
256 142218560009301528
257 148112023873036066
258 154223126485629278
259 160561490173924178
260 167132169107949501
261 173944956797182191
262 181005393775928956
263 188324127085093601
264 195906642782288831
265 203764505328299327
266 211902971535218830
267 220334565642262237
268 229065215917305412
269 238107682175905601
270 247468583731940444
271 257160668886241573
272 267191400581007773
273 277574765966083051
274 288317879282912814
275 299435854361690432
276 310935679537229327
277 322833708455233877
278 335137721858498655
279 347864235587581448
280 361021962525621190
281 374627612022048403
282 388690834140464351
283 403229603240512939
284 418253417885595145
285 433781862235577225
286 449823927484489027
287 466400680455187118
288 483522380179017126
289 501210292969077399
290 519475702204263852
291 538340054182781798
292 557815842571188351
293 577926319886177166
294 598683658475813924
295 620112723563642923
296 642225492559527768
297 665048863115374688
298 688595916092488861
299 712893748064772258
300 737957029874250215
301 763813152028080882
302 790478074731104980
303 817981219683024725
304 846338335187670666
305 875581117742163967
306 905724920617179992
307 936803449720678984
308 968833802808911186
309 1001850341453167901
310 1035871548479024027
311 1070931992401303821
312 1107052182862196859
313 1144269262960408292
314 1182603209183144872
315 1222093809170702058
316 1262760509079815528
317 1304646163197337319
318 1347772159563896821
319 1392181360998030501
320 1437897603820294476
321 1484964180866110821
322 1533406845504661722
323 1583271953595001645
324 1634584995528497435
325 1687395660260598476
326 1741728615975454405
327 1797636829754965360
328 1855147576708536865
329 1914314508758469635
330 1975167209455044306
331 2037759483646177039
332 2102123878010100165
333 2168318148429690764
334 2236373915331466427
335 2306352746469947845
336 2378285725411365120
337 2452238695951210873
338 2528245568423149891
339 2606372378197267662
340 2686656487482721640
341 2769164409105023502
342 2853936585614905680
343 2941043813600706392
344 3030526071629780306
345 3122459350326942549
346 3216881828237258461
347 3313874471019289752
348 3413479763661416382
349 3515778981628423840
350 3620818206989876727
351 3728678780633550235
352 3839411095970269638
353 3953102350835093918
354 4069801506682032796
355 4189601043374914549
356 4312549319681951878
357 4438745032082741143
358 4568240275279181968
359 4701134125900441665
360 4837483784476358748
361 4977388821400045736
362 5120910782762620254
363 5268155484380927043
364 5419183678397166336
365 5574108357980552340
366 5732988332616301785
367 5895943100981212539
368 6063037459954981969
369 6234391832993799947
370 6410075692360812673
371 6590209607871019409
372 6774869412962565305
373 6964183502812037417
374 7158225837571635637
375 7357132473025791627
376 7560976108542194883
377 7769901610941028741
378 7983987290835191023
379 8203377996337165665
380 8428159386883718366
381 8658477235105256874
382 8894422859724846443
383 9136150796751835008
384 9383751649183043994
385 9637389302360238622
386 9897152090784540415
387 10163213064217857100
388 10435668289493429379
389 10714692369360195782
390 11000388136117473091
391 11292929897831486158
392 11592429507556055422
393 11899072240028610262
394 12212966924187829755
395 12534309528120277307
396 12863207732315080346
397 13199868746984004414
398 13544408204028202990
399 13897033796749113713
400 14257870565475780091
401 14627127611962100850
402 15004938212943286548
403 15391522794427242096
404 15787013964930862676
405 16191645302281627492
406 16605545262775287198
407 17028960550875418847
408 17462030891209111935
409 17905003694628862064
410 18358028535806034089
411 18821352928239768077
412 19295137800023645338
413 19779645780094958059
414 20275034321813065183
415 20781579721552464452
416 21299437965749010765
417 21828901138817481177
418 22370135491406880828
419 22923433718473940591
420 23488975386306592178
421 24067054080817020637
422 24657861091629447773
423 25261705522768388586
424 25878776854302938653
425 26509402222955611034
426 27153766621805224475
427 27812213238419194357
428 28484942517425232827
429 29172299520911612868
430 29874496524796270284
431 30591879652502582848
432 31324676772129835312
433 32073252593872597941
434 32837831534320052825
435 33618796514640662261
436 34416369746135745549
437 35230955266728725598
438 36062788900119899282
439 36912274928628643462
440 37779667598415798469
441 38665372912429060780
442 39569659154735727489
443 40492953649291535492
444 41435523224207585656
445 42397817103993755859
446 43380097692535616692
447 44382835661358119425
448 45406312161363567866
449 46451001609698503088
450 47517201089078629003
451 48605385291514276626
452 49715872684157924780
453 50849162490052261735
454 52005567539093598576
455 53185611505887108450
456 54389606343378064085
457 55618100576958477158
458 56871424723182574594
459 58150129291859611409
460 59454566514927059005
461 60785290896694207981
462 62142673556655495607
463 63527294302223088541
464 64939524465688718621
465 66379972922581446978
466 67849002998319845506
467 69347252984869654681
468 70875111851338912499
469 72433219951519133847
470 74021988912311427296
471 75642059841542341136
472 77293870176140963871
473 78978094647558534975
474 80695163950481374541
475 82445782400201944768
476 84230380261972368019
477 86049695687770798352
478 87904181140560753117
479 89794577862278278170
480 91721368144255467057
481 93685295187267799523
482 95686867854294617495
483 97726862899835042346
484 99805786646874121529
485 101924454922405561965
486 104083365828219083546
487 106283369282887252850
488 108524998240857050420
489 110809106908320475038
490 113136254322393969676
491 115507296902642509980
492 117922828940498641628
493 120383746698517322034
494 122890637691660103822
495 125444437528052315932
496 128045729718860695180
497 130695495437763091952
498 133394348129592398310
499 136143269021009213444
500 138942913481646979741
501 141794263423936538659
502 144698006266748463622
503 147655171639596947399
504 150666442336871114261
505 153732894989239608347
506 156855202192178926750
507 160034487770240807491
508 163271466164350827948
509 166567266322031678267
510 169922640175238537538
511 173338711255558046597
512 176816281821571610603
513 180356529563277535761
514 183960240278639959552
515 187628647397584760682
516 191362529510146029503
517 195163174675341644419
518 199031406591197276501
519 202968510888207170868
520 206975360300882036308
521 211053244224950005419
522 215203079097860442417
523 219426208685348263329
524 223723547049120213583
525 228096499573415296083
526 232545962022384559163
527 237073402547087975840
528 241679772503244467684
529 246366539860638882599
530 251134706837187609064
531 255985739406738856282
532 260920694934699662305
533 265941110131486420440
534 271048027122490431536
535 276243043994120536943
536 281527199779310824378
537 286902163091603855316
538 292369021834958361785
539 297929447007556475938
540 303584590845212700551
541 309336121617307377052
542 315185251136399313992
543 321133718132407066133
544 327182724612541277588
545 333334090961549731481
546 339588999265505086548
547 345949340322018623366
548 352416371767142576964
549 358991986473041818493
550 365677497149681524499
551 372474800189288786919
552 379385280838051829477
553 386410913508289517912
554 393553071092589493736
555 400813807016923667506
556 408194483913154262638
557 415697246884136972643
558 423323521692550359379
559 431075448713889704133
560 438954539085310877840
561 446962935850029292347
562 455102212250341563154
563 463374603531447370371
564 471781678043842144919
565 480325758888096464222
566 489008400756887964087
567 497832015576218294672
568 506798238535626426565
569 515909494434013669989
570 525167489077828249136
571 534574643421080758133
572 544132758473249774463
573 553844353232844177110
574 563711205654523971947
575 573735938156942203865
576 583920322461980613044
577 594267080183307109929
578 604778068993173059749
579 615456010416283464728
580 626302854610051993052
581 637321333454238677526
582 648513480007363758750
583 659882126282657949764
584 671429307650712071874
585 683157969320161379433
586 695070116549385062793
587 707168812319175464500
588 719456167045965329970
589 731935244049191270506
590 744608251124838080943
591 757478251182311680023
592 770547554900152092784
593 783819355349276207006
594 797295940464979297932
595 810980613799027355453
596 824875668306737477654
597 838984533054502617925
598 853309589477057713832
599 867854278785920283411
600 882621100104340641470
601 897613494568008512154
602 912834071161999981964
603 928286396519681741301
604 943973070202008560794
605 959897804496573502814
606 976063174723690408785
607 992473015380575068459
608 1009130038532657043973
609 1026038090869624652381
610 1043199983600498901219
611 1060619574450136604839
612 1078299807772320553511
613 1096244679846909218921
614 1114457120811874664803
615 1132941267998332614625
616 1151700039439170024925
617 1170737736886606335963
618 1190057393451563784497
619 1209663305568537370047
620 1229558662741174231154
621 1249747770205074204398
622 1270233928896137158577
623 1291021609234786509044
624 1312114111245736668544
625 1333516059206567889380
626 1355230736175394775471
627 1377262924736989155018
628 1399616053646452537117
629 1422294931105208313284
630 1445303116844030562593
631 1468645407364448694090
632 1492325540638695271556
633 1516348489836927085740
634 1540717950619866835893
635 1565439084282311020473
636 1590515577633300450650
637 1615952767128209045400
638 1641754499542441602324
639 1667926109488769217547
640 1694471610738838312011
641 1721396357285767356314
642 1748704513868514168858
643 1776401611255329498404
644 1804491822939545337860
645 1832980880279574457802
646 1861872902045957721148
647 1891173833016450587067
648 1920887983617149661753
649 1951021291786647515410
650 1981578250549713729989
651 2012564788802864768893
652 2043985588009912160680
653 2075846812003695486203
654 2108153098610689424543
655 2140910808348262367120
656 2174124587250192193653
657 2207801018920132628691
658 2241944911984947079840
659 2276562865935578603089
660 2311659902391664181368
661 2347242612707986815037
662 2383316221193894375851
663 2419887540441843914446
664 2456961774947779313471
665 2494545998144432406824
666 2532645364278691255547
667 2571267164692010629487
668 2610416806746793232991
669 2650101588181262147682
670 2690327097268606600476
671 2731100646825058034276
672 2772428063283191329878
673 2814316900756511684159
674 2856772961477963511643
675 2899804045259059882329
676 2943415931170200672327
677 2987616707655065213712
678 3032412359760487717544
679 3077810958396945392874
680 3123818768932995916851
681 3170443867597481295880
682 3217692720119825415799
683 3265573692535787843802
684 3314093244578788727500
685 3363260007835635826817
686 3413080415791118071058
687 3463563371565668413765
688 3514715563781598934624
689 3566545936377212770514
690 3619061409665881982259
691 3672270896657301069020
692 3726181634087595594756
693 3780802839422722390689
694 3836141672514779263780
695 3892207677616411935530
696 3949007993592754837551
697 4006552466745109423356
698 4064848520431916060428
699 4123905985544922130055
700 4183732580527219557087
701 4244338156504467960329
702 4305730699697267576807
703 4367920366134652929065
704 4430915151548874625951
705 4494725554412667385406
706 4559359475587408749920
707 4624827777539416175131
708 4691138693252568465695
709 4758303065335169358243
710 4826329444687689658796
711 4895228646415912617202
712 4965009550330817299819
713 5035683372220144779871
714 5107258911154832631891
715 5179747717234672130624
716 5253158604791927769403
717 5327503497217907431780
718 5402791489453426653751
719 5479034525164257138756
720 5556242064383409013999
721 5634426029033536285349
722 5713596225976422916155
723 5793764948355693767404
724 5874941969966130353741
725 5957140016733704870825
726 6040368786607492179606
727 6124641364987308913630
728 6209967873672692603740
729 6296361408138807764236
730 6383832395291623908666
731 6472393954412672789790
732 6562056911835652870944
733 6652834784392112858138
734 6744738363373334627088
735 6837781576377978042428
736 6931975163680173085864
737 7027333539357865942392
738 7123867799590363487670
739 7221592310852609386592
740 7320518648487039623905
741 7420661169185489167223
742 7522031793102682256386
743 7624645362802900404521
744 7728513778113432418473
745 7833652321670246621453
746 7940072850068836526508
747 8047791093787630327025
748 8156819339040445145322
749 8267173371229816052723
750 8378865860445329999294
751 8491912551015136680471
752 8606326629865650357647
753 8722124326398884637615
754 8839318718302050216406
755 8957926564882321050434
756 9077960915558576431425
757 9199439015332764511097
758 9322374384036060840573
759 9446784241329676064988
760 9572682584445024701144
761 9700086682340391535843
762 9829010959409379004845
763 9959473167194052865967
764 10091487769522863860521
765 10225073052881001007935
766 10360243356581285949237
767 10497017543563072833962
768 10635410479176863818568
769 10775441009377032530905
770 10917124506200201192074
771 11060479799459217486024
772 11205522775178391717627
773 11352272885310550644276
774 11500745923960254488060
775 11650961870994436531421
776 11802936546009343313188
777 11956690526400278608798
778 12112240094393596639577
779 12269605855679699423030
780 12428804682870298647877
781 12589857139090208811246
782 12752780665824743407242
783 12917596419796976404747
784 13084321790862294635934
785 13252978631699589143045
786 13423584199339341843454
787 13596160932964182302936
788 13770726784417188408950
789 13947304182658406760901
790 14125911588849964964767
791 14306571449698473897357
792 14489302879590737565043
793 14674128966799772786962
794 14861068759112659653566
795 15050146002014465603944
796 15241379666649456256160
797 15434794266844241507145
798 15630409349257288345079
799 15828249348590399115097
800 16028334576626254399466
801 16230689444742760380221
802 16435334823222841349322
803 16642295891095672125905
804 16851593488496255277761
805 17063253491407572882622
806 17277296665560021883547
807 17493749601250478469136
808 17712633758914156213419
809 17933975794484677379399
810 18157797792710664193596
811 18384126324274600792195
812 18612984306467472040647
813 18844399080915298666484
814 19078393381716557105153
815 19314995393426294702039
816 19554227792977584443422
817 19796119536600999214983
818 20040694059056512210165
819 20287980253465205361528
820 20538002324160744048822
821 20790789216825477091634
822 21046365823867432805686
823 21304761858031081722552
824 21566002261328254418580
825 21830117591624134348275
826 22097132574382394419689
827 22367078686354215668048
828 22639981500011315414622
829 22915872430668922266728
830 23194777870505405242581
831 23476729167018549504943
832 23761753549050542833892
833 24049883350062757186322
834 24341145623602925692192
835 24635573536945998246463
836 24933194189028462424864
837 25234041667033041266653
838 25538143800940207010240
839 25845534715100657859515
840 26156243163385432683302
841 26470303193920603553132
842 26787744453971929167910
843 27108601910707651602467
844 27432905133082153869252
845 27760690166559035183714
846 28091986362345486852435
847 28426830683946156487835
848 28765253574390137814707
849 29107291954305913289957
850 29452977069309314703731
851 29802345864999316377021
852 30155430596390454145033
853 30512269193029484148885
854 30872893817237497002055
855 31237343401371916364567
856 31605650005127992827753
857 31977853731615933094451
858 32353987525918099938935
859 32734091374973588072585
860 33118199399688036770398
861 33506351552506150619566
862 33898582814811564915411
863 34294934304555193887280
864 34695440971060880690764
865 35100144991957647092242
866 35509081212148438307777
867 35922292894401575245690
868 36339815955876746941047
869 36761693751407263578446
870 37187963153459108780969
871 37618667400186153604346
872 38053844630793740915090
873 38493539239976257275804
874 38937789115101891188701
875 39386639907761984615005
876 39840129470257444211192
877 40298304593231976554154
878 40761204259597508652988
879 41228875203194988593837
880 41701357564140058139433
881 42178698169567897801270
882 42660938197612260307844
883 43148125621972065696056
884 43640301722309818304568
885 44137515725751446704222
886 44639808636922900830552
887 45147231039964618121501
888 45659825201425018403011
889 46177641646371926793472
890 46700723868842193161343
891 47229122310614909771337
892 47762881720914868136666
893 48302054005320921702829
894 48846683682719049391815
895 49396823889526620360622
896 49952519265947898308585
897 50513824294545630639941
898 51080784697336292286802
899 51653455054751040772743
900 52231882451273680039712
901 52816121395400470863929
902 53406220295078884112061
903 54002234999270061955664
904 54604213853894599090749
905 55212214291871763138442
906 55826284375938124266013
907 56446482889913233699143
908 57072859518939855508649
909 57705473002346005787534
910 58344374224207950539038
911 58989621981110890918132
912 59641268652359965954082
913 60299374485946620069349
914 60963991758655670759391
915 61635182181219651488865
916 62312997939818327304201
917 62997502449716897534860
918 63688749196158450158244
919 64386801465502288567478
920 65091714471173156918053
921 65803551480708333632404
922 66522368978663540806707
923 67248231927886903690862
924 67981196812462602387578
925 68721330137983770142307
926 69468688298921474551230
927 70223339362340158876907
928 70985341292979680858122
929 71754762342647182980656
930 72531661868769536973509
931 73316107985111639370882
932 74108161909456148776764
933 74907893435579339535705
934 75715363459240476434240
935 76530643599965464168546
936 77353794744005011975823
937 78184890174505574384000
938 79023992431994718452756
939 79871174734350315815097
940 80726501323662767909017
941 81590045599292774662587
942 82461873304209992504795
943 83342059489572008183003
944 84230670113612004267799
945 85127782036023514329454
946 86033460854836500693116
947 86947785393864476068511
948 87870823101413683063471
949 88802652745073297939521
950 89743343573451048361088
951 90692974201763398095612
952 91651615763753944126925
953 92619349021023899925589
954 93596244753450805446457
955 94582385545902034235810
956 95577842334954048807555
957 96582699692248288668894
958 97597030171007484112593
959 98620918439150318231508
960 99654439093626860205139
961 100697676644058092004235
962 101750707649294585300025
963 102813618613846624841396
964 103886485977606443395267
965 104969398552741960854543
966 106062432382148237279192
967 107165678250259806824366
968 108279214565642321198564
969 109403132045409292318222
970 110537510869452698377544
971 111682441797350160271930
972 112838007223652951855874
973 114004300032812758507446
974 115181402440957815250602
975 116369409489726228726790
976 117568403230892048017860
977 118778481193765591243056
978 119999727369610857314408
979 121232239050545631146372
980 122476102778783318232051
981 123731415743030579869869
982 124998266392136773975954
983 126276754405954526285349
984 127566968180919255029749
985 128869009673831507303673
986 130182967073254009808976
987 131508944652477027363027
988 132847032944425847483978
989 134197336381946122742187
990 135559947599587591544832
991 136934970715037775813495
992 138322501127116332488199
993 139722645451827807940963
994 141135498528385686933822
995 142561169663770351217244
996 143999753596999130121597
997 145451362094835190858591
998 146916092350897553801491
999 148394055944220644291984
1000 149885352599757684597096