0 1
1 2
2 6
3 10
4 22
5 34
6 62
7 90
8 150
9 210
10 326
11 442
12 654
13 866
14 1230
15 1594
16 2198
17 2802
18 3766
19 4730
20 6230
21 7730
22 9998
23 12266
24 15630
25 18994
26 23878
27 28762
28 35742
29 42722
30 52526
31 62330
32 75926
33 89522
34 108118
35 126714
36 151878
37 177042
38 210702
39 244362
40 288982
41 333602
42 392182
43 450762
44 527070
45 603378
46 701950
47 800522
48 926990
49 1053458
50 1214550
51 1375642
52 1579606
53 1783570
54 2040174
55 2296778
56 2617886
57 2938994
58 3338566
59 3738138
60 4232958
61 4727778
62 5337454
63 5947130
64 6695062
65 7442994
66 8356374
67 9269754
68 10380774
69 11491794
70 12837646
71 14183498
72 15807942
73 17432386
74 19385750
75 21339114
76 23680222
77 26021330
78 28817502
79 31613674
80 34943190
81 38272706
82 42224806
83 46176906
84 50854790
85 55532674
86 61053502
87 66574330
88 73072990
89 79571650
90 87200758
91 94829866
92 103764302
93 112698738
94 123135646
95 133572554
96 145736974
97 157901394
98 172046262
99 186191130
100 202604006
101 219016882
102 238019950
103 257023018
104 278981334
105 300939650
106 326261142
107 351582634
108 380727870
109 409873106
110 443355294
111 476837482
112 515234334
113 553631186
114 597584918
115 641538650
116 691769942
117 742001234
118 799309230
119 856617226
120 921896318
121 987175410
122 1061415238
123 1135655066
124 1219960126
125 1304265186
126 1399854830
127 1495444474
128 1603676310
129 1711908146
130 1834278038
131 1956647930
132 2094817190
133 2232986450
134 2388781838
135 2544577226
136 2720023142
137 2895469058
138 3092787542
139 3290106026
140 3511753950
141 3733401874
142 3982070942
143 4230740010
144 4509400518
145 4788061026
146 5099961862
147 5411862698
148 5760581670
149 6109300642
150 6498744478
151 6888188314
152 7322651486
153 7757114658
154 8241279382
155 8725444106
156 9264447662
157 9803451218
158 10402885950
159 11002320682
160 11668312278
161 12334303874
162 13073511366
163 13812718858
164 14632423862
165 15452128866
166 16360235582
167 17268342298
168 18273480710
169 19278619122
170 20390144998
171 21501670874
172 22729782926
173 23957894978
174 25313634862
175 26669374746
176 28164761950
177 29660149154
178 31308180998
179 32956212842
180 34771017094
181 36585821346
182 38582656222
183 40579491098
184 42774920142
185 44970349186
186 47382241270
187 49794133354
188 52441859822
189 55089586290
190 57994020958
191 60898455626
192 64082199822
193 67265944018
194 70753326582
195 74240709146
196 78058039366
197 81875369586
198 86050937198
199 90226504810
200 94790867558
201 99355230306
202 104341213942
203 109327197578
204 114770218046
205 120213238514
206 126151301950
207 132089365386
208 138563433174
209 145037500962
210 152091489734
211 159145478506
212 166826668070
213 174507857634
214 182866890974
215 191225924314
216 200317268158
217 209408612002
218 219290556822
219 229172501642
220 239907674862
221 250642848082
222 262298214078
223 273953580074
224 286601017886
225 299248455698
226 312964759030
227 326681062362
228 341548581798
229 356416101234
230 372522744238
231 388629387242
232 406069338838
233 423509290434
234 442383013206
235 461256735978
236 481671769214
237 502086802450
238 524157762142
239 546228721834
240 570078195070
241 593927668306
242 619686213270
243 645444758234
244 673251893846
245 701059029458
246 731063235374
247 761067441290
248 793427262398
249 825787083506
250 860671129926
251 895555176346
252 933143342782
253 970731509218
254 1011214974958
255 1051698440698
256 1095281027222
257 1138863613746
258 1185761784726
259 1232659955706
260 1283104312870
261 1333548670034
262 1387783953166
263 1442019236298
264 1500305984550
265 1558592732802
266 1621207284694
267 1683821836586
268 1751058156766
269 1818294476946
270 1890464156190
271 1962633835434
272 2040068115046
273 2117502394658
274 2200552166470
275 2283601938282
276 2372639966694
277 2461677995106
278 2557098917086
279 2652519839066
280 2754742621022
281 2856965402978
282 2966433340758
283 3075901278538
284 3193084689134
285 3310268099730
286 3435664321278
287 3561060542826
288 3695196904902
289 3829333266978
290 3972767090598
291 4116200914218
292 4269522760726
293 4422844607234
294 4586678278302
295 4750511949370
296 4925518064806
297 5100524180242
298 5287400177990
299 5474276175738
300 5673760218606
301 5873244261474
302 6086115237134
303 6298986212794
304 6526068028254
305 6753149843714
306 6995311425318
307 7237473006922
308 7495632982566
309 7753792958210
310 8028919657342
311 8304046356474
312 8597162947374
313 8890279538274
314 9202464028054
315 9514648517834
316 9847039344782
317 10179430171730
318 10533226205310
319 10887022238890
320 11263488905430
321 11639955571970
322 12040424854662
323 12440894137354
324 12866771235286
325 13292648333218
326 13745411661374
327 14198174989530
328 14679383460406
329 15160591931282
330 15671884954886
331 16183177978490
332 16726283366542
333 17269388754594
334 17846122720526
335 18422856686458
336 19035132475398
337 19647408264338
338 20297236153110
339 20947064041882
340 21636560694774
341 22326057347666
342 23057445816430
343 23788834285194
344 24564454207758
345 25340074130322
346 26162381730790
347 26984689331258
348 27856268461566
349 28727847591874
350 29651409731790
351 30574971871706
352 31553368148318
353 32531764424930
354 33567985612646
355 34604206800362
356 35701396318230
357 36798585836098
358 37960039747806
359 39121493659514
360 40350674801158
361 41579855942802
362 42880393922886
363 44180931902970
364 45556638360622
365 46932344818274
366 48387213423246
367 49842082028218
368 51380305044430
369 52918528060642
370 54544496346182
371 56170464631722
372 57888785507718
373 59607106383714
374 61422603634334
375 63238100884954
376 65155834128750
377 67073567372546
378 69098832062454
379 71124096752362
380 73262445049518
381 75400793346674
382 77658034120414
383 79915274894154
384 82297496323342
385 84679717752530
386 87193287325558
387 89706856898586
388 92358445742214
389 95010034585842
390 97806617465198
391 100603200344554
392 103552081972422
393 106500963600290
394 109609778637110
395 112718593673930
396 115995335017534
397 119272076361138
398 122725095146750
399 126178113932362
400 129816150090342
401 133454186248322
402 137286368504166
403 141118550760010
404 145154429460102
405 149190308160194
406 153439855271806
407 157689402383418
408 162163046910654
409 166636691437890
410 171345319421686
411 176053947405482
412 181008939929742
413 185963932454002
414 191177165645598
415 196390398837194
416 201874284827350
417 207358170817506
418 213125657741798
419 218893144666090
420 224957760581078
421 231022376496066
422 237398229379294
423 243774082262522
424 250475907292326
425 257177732322130
426 264220891877638
427 271264051433146
428 278664585737262
429 286065120041378
430 293839747160782
431 301614374280186
432 309780544592062
433 317946714903938
434 326522611095974
435 335098507288010
436 344103102648870
437 353107698009730
438 362560756429054
439 372013814848378
440 381935953444206
441 391858092040034
442 402270781158806
443 412683470277578
444 423609100458510
445 434534730639442
446 445996612614526
447 457458494589610
448 469480931162654
449 481503367735698
450 494111653782326
451 506719939828954
452 519940439090310
453 533160938351666
454 547021083434414
455 560881228517162
456 575409603244070
457 589937977970978
458 605164317380918
459 620390656790858
460 636345935046270
461 652301213301682
462 669017643688574
463 685734074075466
464 703245203188438
465 720756332301410
466 739097040043654
467 757437747785898
468 776644347831782
469 795850947877666
470 815961187672734
471 836071427467802
472 857124595768062
473 878177764068322
474 900214690940246
475 922251617812170
476 945314789248686
477 968377960685202
478 992511518605694
479 1016645076526186
480 1041894941363582
481 1067144806200978
482 1093558676901750
483 1119972547602522
484 1147600032184870
485 1175227516767218
486 1204120132321070
487 1233012747874922
488 1263224060080854
489 1293435372286786
490 1325020995416022
491 1356606618545258
492 1389624363939326
493 1422642109333394
494 1457151985404126
495 1491661861474858
496 1527726232249278
497 1563790603023698
498 1601474188144022
499 1639157773264346
500 1678527816598102
501 1717897859931858
502 1759024129571886
503 1800150399211914
504 1843105367371070
505 1886060335530226
506 1930919178541382
507 1975778021552538
508 2022618811047870
509 2069459600543202
510 2118363303454190
511 2167267006365178
512 2218317688744086
513 2269368371122994
514 2322653198142870
515 2375938025162746
516 2431547477581094
517 2487156929999442
518 2545184804158222
519 2603212678317002
520 2663756316744358
521 2724299955171714
522 2787460246581974
523 2850620537992234
524 2916502162025694
525 2982383786059154
526 3051095213282078
527 3119806640505002
528 3191460392948774
529 3263114145392546
530 3337826796553670
531 3412539447714794
532 3490431898893414
533 3568324350072034
534 3649521830371934
535 3730719310671834
536 3815351670965086
537 3899984031258338
538 3988185744185302
539 4076387457112266
540 4168297928672366
541 4260208400232466
542 4355971969784190
543 4451735539335914
544 4551501810838118
545 4651268082340322
546 4755191924352230
547 4859115766364138
548 4967357662937174
549 5075599559510210
550 5188325610187998
551 5301051660865786
552 5418433953448550
553 5535816246031314
554 5658032856575878
555 5780249467120442
556 5907484854577198
557 6034720242033954
558 6167165248246862
559 6299610254459770
560 6437462523132766
561 6575314791805762
562 6718778768502758
563 6862242745199754
564 7011530120640486
565 7160817496081218
566 7316147206141246
567 7471476916201274
568 7633075612228974
569 7794674308256674
570 7962776357073238
571 8130878405889802
572 8305726387127374
573 8480574368364946
574 8662419074466622
575 8844263780568298
576 9033364744117702
577 9222465707667106
578 9419091201388390
579 9615716695109674
580 9820144289188534
581 10024571883267394
582 10237088445351070
583 10449605007434746
584 10670507293193366
585 10891409578951986
586 11121004232078566
587 11350598885205146
588 11589203061217262
589 11827807237229378
590 12075748603469166
591 12323689969708954
592 12581307365962918
593 12838924762216882
594 13106568200715894
595 13374211639214906
596 13652243002072150
597 13930274364929394
598 14219067404140366
599 14507860443351338
600 14807801518956654
601 15107742594561970
602 15419230674647366
603 15730718754732762
604 16054166194316766
605 16377613633900770
606 16713446174934702
607 17049278715968634
608 17397936311243614
609 17746593906518594
610 18108530719665542
611 18470467532812490
612 18846152807228470
613 19221838081644450
614 19611756140492670
615 20001674199340890
616 20406325364178598
617 20810976529016306
618 21230877119794790
619 21650777710573274
620 22086461013967310
621 22522144317361346
622 22974160586769198
623 23426176856177050
624 23895094334888750
625 24364011813600450
626 24850416734797798
627 25336821655995146
628 25841319320758822
629 26345816985522498
630 26869031762832062
631 27392246540141626
632 27934823005313806
633 28477399470485986
634 29040002405174678
635 29602605339863370
636 30185920930929102
637 30769236521994834
638 31373972361504766
639 31978708201014698
640 32605594551668950
641 33232480902323202
642 33882270697454854
643 34532060492586506
644 35205530668144790
645 35879000843703074
646 36576952338253374
647 37274903832803674
648 37998162992726614
649 38721422152649554
650 39470840732140998
651 40220259311632442
652 40996715951118478
653 41773172590604514
654 42577572816741454
655 43381973042878394
656 44215250827465270
657 45048528612052146
658 45911646372030710
659 46774764132009274
660 47668714368874006
661 48562664605738738
662 49488469905536846
663 50414275205334954
664 51372989966478094
665 52331704727621234
666 53324415160885510
667 54317125594149786
668 55344951538889182
669 56372777483628578
670 57436872407774958
671 58500967331921338
672 59602520245229574
673 60704073158537810
674 61844308612585782
675 62984544066633754
676 64164724165099174
677 65344904263564594
678 66566328662225006
679 67787753060885418
680 69051761084282486
681 70315769107679554
682 71623739749119062
683 72931710390558570
684 74285064535162174
685 75638418679765778
686 77038619104471006
687 78438819529176234
688 79887373242374414
689 81335926955572594
690 82834385197108854
691 84332843438645114
692 85882804136042486
693 87432764833439858
694 89035872601899278
695 90638980370358698
696 92296929096610942
697 93954877822863186
698 95669410665168870
699 97383943507474554
700 99156855607103902
701 100929767706733250
702 102762906187966094
703 104596044669198938
704 106491311490451806
705 108386578311704674
706 110345930265530790
707 112305282219356906
708 114330733923220598
709 116356185627084290
710 118449809523360990
711 120543433419637690
712 122707362919032982
713 124871292418428274
714 127107721899977894
715 129344151381527514
716 131655339488661038
717 133966527595794562
718 136354797236335406
719 138743066876876250
720 141210808685877766
721 143678550494879282
722 146228222834624758
723 148777895174370234
724 151412027763981398
725 154046160353592562
726 156767354269029582
727 159488548184466602
728 162299479670167214
729 165110411155867826
730 168013831624747334
731 170917252093626842
732 173915992120747870
733 176914732147868898
734 180011701470441390
735 183108670793013882
736 186306862502659022
737 189505054212304162
738 192807544755054374
739 196110035297804586
740 199519988864961622
741 202929942432118658
742 206450610960253598
743 209971279488388538
744 213606007266662918
745 217240735044937298
746 220992958715103110
747 224745182385268922
748 228618435765452782
749 232491689145636642
750 236489603230339790
751 240487517315042938
752 244613825334759790
753 248740133354476642
754 252998670775694790
755 257257208196912938
756 261651918017566086
757 266046627838219234
758 270581560587687198
759 275116493337155162
760 279795812628425006
761 284475131919694850
762 289303114449360886
763 294131096979026922
764 299112138336160046
765 304093179693293170
766 309231794359440862
767 314370409025588554
768 319671236462953742
769 324972063900318930
770 330439868551759990
771 335907673203201050
772 341547350859720198
773 347187028516239346
774 353003606316982638
775 358820184117725930
776 364818827221110022
777 370817470324494114
778 377003481908206262
779 383189493491918410
780 389568321727681598
781 395947149963444786
782 402524388017017726
783 409101626070590666
784 415883019406480582
785 422664412742370498
786 429655859123833126
787 436647305505295754
788 443854862628995782
789 451062419752695810
790 458492305248706878
791 465922190744717946
792 473580790169420478
793 481239389594123010
794 489133256430204214
795 497027123266285418
796 505162987273874510
797 513298851281463602
798 521683618498131806
799 530068385714800010
800 538709147195490918
801 547349908676181826
802 556253940493211398
803 565157972310240970
804 574332744682023030
805 583507517053805090
806 592960694344851326
807 602413871635897562
808 612153321907163910
809 621892772178430258
810 631926567187316902
811 641960362196203546
812 652296787368522190
813 662633212540840834
814 673280766970814702
815 683928321400788570
816 694895728280056510
817 705863135159324450
818 717159341776940934
819 728455548394557418
820 740089737023033478
821 751723925651509538
822 763705513546812766
823 775687101442115994
824 788025752224754446
825 800364403007392898
826 813070026662415094
827 825775650317437290
828 838858415070559086
829 851941179823680882
830 865411512141285470
831 878881844458890058
832 892750441460159190
833 906619038461428322
834 920896867918342310
835 935174697375256298
836 949873010660729590
837 964571323946202882
838 979701656034084062
839 994831988121965242
840 1010406171115093590
841 1025980354108221938
842 1042010517238427430
843 1058040680368632922
844 1074539264104713774
845 1091037847840794626
846 1108017603888517294
847 1124997359936239962
848 1142471365973517478
849 1159945372010794994
850 1177927031687686966
851 1195908691364578938
852 1214411749665670678
853 1232914807966762418
854 1251953351211164942
855 1270991894455567466
856 1290580366337140398
857 1310168838218713330
858 1330322039806064902
859 1350475241393416474
860 1371208347847970206
861 1391941454302523938
862 1413270014878518638
863 1434598575454513338
864 1456538530949380286
865 1478478486444247234
866 1501046169198610182
867 1523613851952973130
868 1546826004033335990
869 1570038156113698850
870 1593911929312445694
871 1617785702511192538
872 1642338677319876262
873 1666891652128559986
874 1692141837737902310
875 1717392023347244634
876 1743357877411025742
877 1769323731474806850
878 1796024160109865390
879 1822724588744923930
880 1850178967148275054
881 1877633345551626178
882 1905861518000461542
883 1934089690449296906
884 1963111991771331110
885 1992134293093365314
886 2021971548666835902
887 2051808804240306490
888 2082482352384513166
889 2113155900528719842
890 2144687592504024470
891 2176219284479329098
892 2208631507797887694
893 2241043731116446290
894 2274359409542209022
895 2307675087967971754
896 2341917705819486750
897 2376160323671001746
898 2411353925821415094
899 2446547527971828442
900 2482716745143759814
901 2518885962315691186
902 2556056011081233838
903 2593226059846776490
904 2631422768991238406
905 2669619478135700322
906 2708869288657604214
907 2748119099179508106
908 2788449091723198078
909 2828779084266888050
910 2870216979122529598
911 2911654873978171146
912 2954229059665573926
913 2996803245352976706
914 3040542778621594534
915 3084282311890212362
916 3129216947454182086
917 3174151583018151810
918 3220311773556293310
919 3266471964094434810
920 3313888891224413438
921 3361305818354392066
922 3410011392632718646
923 3458716966911045226
924 3508743860046362062
925 3558770753181678898
926 3610152398034759774
927 3661534042887840650
928 3714304667018185430
929 3767075291148530210
930 3821269916814364838
931 3875464542480199466
932 3931119021518379158
933 3986773500556558850
934 4043924514382568094
935 4101075528208577338
936 4159760624130204262
937 4218445720051831186
938 4278703311269167558
939 4338960902486503930
940 4400830305839390702
941 4462699709192277474
942 4526221145160304782
943 4589742581128332090
944 4654957213119595262
945 4720171845110858434
946 4787121779461957990
947 4854071713813057546
948 4922800040619165670
949 4991528367425273794
950 5062079160540134334
951 5132629953654994874
952 5205048313176916270
953 5277466672698837666
954 5351798724970692950
955 5426130777242548234
956 5502423718993694414
957 5578716660744840594
958 5657018759091118654
959 5735320857437396714
960 5815681495801564542
961 5896042134165732370
962 5978511812277464758
963 6060981490389197146
964 6145611871984032262
965 6230242253578867378
966 6317086166398206766
967 6403930079217546154
968 6493041564616672934
969 6582153050015799714
970 6673587362963878582
971 6765021675911957450
972 6858835336509124606
973 6952648997106291762
974 7048899790583654910
975 7145150584061018058
976 7243897614346336982
977 7342644644631655906
978 7443948334349342470
979 7545252024067029034
980 7649174170152418406
981 7753096316237807778
982 7859700089937158430
983 7966303863636509082
984 8075653868318344318
985 8185003873000179554
986 8297166144155287510
987 8409328415310395466
988 8524370480560240942
989 8639412545810086418
990 8757403424906810878
991 8875394304003535338
992 8996404571193983934
993 9117414838384432530
994 9241516622410154102
995 9365618406435875674
996 9492885455252764966
997 9620152504069654258
998 9750660184847951918
999 9881167865626249578
1000 10014993231994409686
1001 10148818598362569794
1002 10286040390407259862
1003 10423262182451949930
1004 10563960896486143742
1005 10704659610520337554
1006 10848917499083315166
1007 10993175387646292778
1008 11141076531975853374
1009 11288977676305413970
1010 11440607986337875862
1011 11592238296370337754
1012 11747685585916871254
1013 11903132875463404754
1014 12062486862210032174
1015 12221840848956659594
1016 12385193232535887422
1017 12548545616115115250
1018 12715990078105934150
1019 12883434540096753050
1020 13055066824991569342
1021 13226699109886385634
1022 13402617025091021294
1023 13578534940295656954
1024 13758838440195401878