1 0
2 0
3 2
4 20
5 138
6 505
7 1547
8 3759
9 8313
10 16350
11 30344
12 52470
13 87212
14 138255
15 212953
16 317065
17 461827
18 655724
19 915038
20 1251720
21 1688414
22 2241365
23 2941047
24 3808915
25 4884893
26 6196650
27 7795332
28 9715914
29 12022688
30 14759115
31 18004709
32 21812685
33 26280007
34 31471000
35 37502458
36 44451260
37 52456562
38 61609329
39 72073763
40 83956535
41 97449729
42 112677430
43 129862592
44 149148510
45 170792148
46 194957895
47 221940017
48 251925969
49 285250763
50 322126980
51 362933974
52 407911600
53 457487302
54 511930445
55 571720463
56 637158555
57 708780197
58 786920834
59 872176188
60 964918450
61 1065807944
62 1175256195
63 1293992637
64 1422470805
65 1561493903
66 1711560240
67 1873551602
68 2048013924
69 2235912538
70 2437843945
71 2654862139
72 2887617215
73 3137257097
74 3404488590
75 3690558968
76 3996234950
77 4322868732
78 4671290239
79 5042962313
80 5438781465
81 5860327059
82 6308565660
83 6785199182
84 7291267800
85 7828602158
86 8398319685
87 9002386087
88 9641999779
89 10319268013
90 11035474010
91 11792873204
92 12592837530
93 13437777392
94 14329157435
95 15269549973
96 16260516445
97 17304798167
98 18404057544
99 19561212138
100 20778029580
101 22057611074
102 23401833825
103 24813990227
104 26296071495
105 27851568913
106 29482592230
107 31192839472
108 32984543534
109 34861617188
110 36826421175
111 38883091169
112 41034120545
113 43283876187
114 45634988980
115 48092065478
116 50657879040
117 53337284502
118 56133202749
119 59050745663
120 62092986795
121 65265303989
122 68570928690
123 72015513772
124 75602453890
125 79337686168
126 83224773875
127 87269947757
128 91476945189
129 95852300063
130 100399929440
131 105126680034
132 110036654260
133 115137021482
134 120432075225
135 125929317483
136 131633238735
137 137551683737
138 143689345854
139 150054422888
140 156651817110
141 163490089804
142 170574358255
143 177913557817
144 185513026985
145 193382085923
146 201526300620
147 209955386942
148 218675144744
149 227695696638
150 237023082805
151 246667843799
152 256636266675
153 266939321277
154 277583548170
155 288580357988
156 299936551530
157 311663991872
158 323769746859
159 336266143813
160 349160524525
161 362465692519
162 376189270520
163 390344550362
164 404939442780
165 419987740178
166 435497648465
167 451483473027
168 467953722199
169 484923226913
170 502400805270
171 520401826464
172 538935425790
173 558017523572
174 577657579815
175 597872078993
176 618670813425
177 640070844907
178 662082305764
179 684722848438
180 708002953040
181 731940876134
182 756547453485
183 781841559407
184 807834393275
185 834545460933
186 861986333410
187 890177162012
188 919129897554
189 948865350888
190 979395860835
191 1010742912029
192 1042919239605
193 1075947016367
194 1109839382160
195 1144619212498
196 1180300060420
197 1216905518842
198 1254449562569
199 1292956516763
200 1332440786655
201 1372927444649
202 1414431335150
203 1456978292952
204 1500583610470
205 1545273900188
206 1591064911455
207 1637984049897
208 1686047530809
209 1735283568563
210 1785708853500
211 1837352424494
212 1890231456120
213 1944375827662
214 1999803207205
215 2056544330503
216 2114617368515
217 2174053929677
218 2234872697274
219 2297106168788
220 2360773549370
221 2425908242064
222 2492529983515
223 2560673098997
224 2630357866365
225 2701619549943
226 2774478978600
227 2848972372682
228 2925121121964
229 3002962419938
230 3082518227265
231 3163826727859
232 3246910463335
233 3331808625457
234 3418544346950
235 3507157845008
236 3597672853710
237 3690130633412
238 3784555529879
239 3880989864513
240 3979458605185
241 4080005152379
242 4182655106580
243 4287452965542
244 4394424972960
245 4503616742198
246 4615055170845
247 4728787006367
248 4844839811019
249 4963261485013
250 5084080266130
251 5207345226124
252 5333085289250
253 5461350717752
254 5592171133395
255 5725598008013
256 5861661672005
257 6000414826047
258 6141888520384
259 6286136703938
260 6433191158100
261 6583107099594
262 6735917052345
263 6891677520587
264 7050421782255
265 7212207648953
266 7377069164190
267 7545065466952
268 7716231377974
269 7890627383788
270 8068289094095
271 8249278363289
272 8433631601865
273 8621412052547
274 8812656938540
275 9007430911518
276 9205772019400
277 9407746343582
278 9613392768789
279 9822778827063
280 10035944252115
281 10252958047709
282 10473860808810
283 10698723032132
284 10927586186250
285 11160522282208
286 11397573674635
287 11638813910437
288 11884286242829
289 12134065776263
290 12388196675160
291 12646755623354
292 12909787709180
293 13177371217842
294 13449552174385
295 13726410487523
296 14007993131895
297 14294381662017
298 14585624015094
299 14881803413888
300 15182968771230
301 15489205000724
302 15800562003975
303 16117126408177
304 16438949116945
305 16766118493963
306 17098686458180
307 17436743132822
308 17780341465584
309 18129573362438
310 18484492813325
311 18845193530319
312 19211730559195
313 19584199441637
314 19962656292930
315 20347198508028
316 20737883285490
317 21134809897352
318 21538036639299
319 21947664684413
320 22363753439445
321 22786406002639
322 23215682905840
323 23651689196722
324 24094486546340
325 24544181976218
326 25000838310825
327 25464564570107
328 25935424746239
329 26413529882313
330 26898945152590
331 27391783648184
332 27892111739910
333 28400044591932
334 28915649786175
335 29439044585033
336 29970297796185
337 30509528805587
338 31056807661404
339 31612255898638
340 32175944820760
341 32747998137454
342 33328488422405
343 33917541585767
344 34515231486435
345 35121686260973
346 35736981068570
347 36361246298292
348 36994558424794
349 37637050115888
350 38288799176955
351 38949940580949
352 39620553479325
353 40300775176727
354 40990686186120
355 41690426170538
356 42400077019980
357 43119780782722
358 43849620741409
359 44589741356563
360 45340227319175
361 46101225529169
362 46872822101670
363 47655166403312
364 48448345989230
365 49252512720228
366 50067755607415
367 50894229033377
368 51732023481249
369 52581295883163
370 53442138210420
371 54314709972614
372 55199104645440
373 56095484344022
374 57003944064765
375 57924648556543
376 58857694352875
377 59803248864757
378 60761410179314
379 61732348398188
380 62716163178690
381 63713027341784
382 64723042131635
383 65746383117357
384 66783153146725
385 67833530565983
386 68897619843360
387 69975602131362
388 71067583535604
389 72173748044138
390 73294203416985
391 74429136507179
392 75578656746255
393 76742953881817
394 77922139034110
395 79116404875048
396 80325864230870
397 81550712727692
398 82791064915119
399 84047119403513
400 85318992483305
401 86606885779299
402 87910917340300
403 89231291835902
404 90568129090920
405 91921636850238
406 93291936732405
407 94679239588247
408 96083668847859
409 97505438498813
410 98944673800650
411 100401591908644
412 101876319929770
413 103369078218112
414 104879995746155
415 106409296098053
416 107957110129965
417 109523664687527
418 111109092528824
419 112713623792538
420 114337393157020
421 115980634085714
422 117643483195665
423 119326177306947
424 121028854993815
425 122751756464993
426 124495022270550
427 126258896040032
428 128043520318014
429 129849142187188
430 131675906205415
431 133524062941009
432 135393758983985
433 137285248420907
434 139198679892900
435 141134311037558
436 143092292566160
437 145072885700262
438 147076243240429
439 149102630025263
440 151152200963835
441 153225224545029
442 155321857805730
443 157442372918492
444 159586929067410
445 161755802142248
446 163949153493795
447 166167262762717
448 168410293486069
449 170678529089263
450 172972135315280
451 175291399408274
452 177636489336900
453 180007696198202
454 182405190206345
455 184829266345563
456 187280097095455
457 189757981361897
458 192263093909934
459 194795737601688
460 197356089507750
461 199944456481244
462 202561017918495
463 205206084698537
464 207879838563705
465 210582594454003
466 213314536478140
467 216075983672302
468 218867122532024
469 221688276225038
470 224539633654245
471 227421522154439
472 230334133056515
473 233277797897997
474 236252710458490
475 239259206514068
476 242297482313850
477 245367877908432
478 248470592037339
479 251605969061813
480 254774210232765
481 257975664258359
482 261210534921960
483 264479175315082
484 267781791774700
485 271118741812258
486 274490234339585
487 277896631324787
488 281338144275879
489 284815139654513
490 288327831586310
491 291876591063504
492 295461634850830
493 299083338508292
494 302741921461335
495 306437763875073
496 310171087857345
497 313942278215867
498 317751559762644
499 321599321985638
500 325485792422880
501 329411365280374
502 333376270844125
503 337380908076127
504 341425510032395
505 345510480469013
506 349636055234130
507 353802642916172
508 358010482177634
509 362259986477688
510 366551397315475
511 370885133059469
512 375261438067845
513 379680735657087
514 384143273066880
515 388649478600578
516 393199602401940
517 397794077800202
518 402433157865849
519 407117280993163
520 411846703202095
521 416621867991289
522 421443034352990
523 426310650929672
524 431224979708790
525 436186474516268
526 441195400357775
527 446252216282457
528 451357190337289
529 456510786834563
530 461713276885740
531 466965130106334
532 472266620695560
533 477618223612382
534 483020216167125
535 488473078702583
536 493977091663635
537 499532740817437
538 505140309766954
539 510800289744388
540 516512967534410
541 522278839875104
542 528098196756555
543 533971540463717
544 539899164215885
545 545881575886023
546 551919071946520
547 558012165899642
548 564161157494844
549 570366565905138
550 576628694181105
551 582948067208099
552 589324991361975
553 595759997282177
554 602253394694070
555 608805720033088
556 615417286398430
557 622088636063572
558 628820085525959
559 635612182939313
560 642465248223825
561 649379835455819
562 656356268002820
563 663395105906262
564 670496676005680
565 677661544350278
566 684890041276365
567 692182738883727
568 699539971030299
569 706962315909413
570 714450110925570
571 722003940408764
572 729624145335090
573 737311316214472
574 745065797619715
575 752888186284093
576 760778830402325
577 768738332974607
578 776767045842864
579 784865578317938
580 793034285914340
581 801273784297434
582 809584432679785
583 817966853125307
584 826421408570175
585 834948727521033
586 843549176663310
587 852223390990712
588 860971740963654
589 869794868107388
590 878693146683135
591 887667224792329
592 896717480522905
593 905844568597267
594 915048870956060
595 924331048987598
596 933691488511320
597 943130857626542
598 952649546057669
599 962248228660263
600 971927299089955
601 981687439003949
602 991529046015450
603 1001452808628852
604 1011459128441370
605 1021548700850288
606 1031721931463355
607 1041979522616597
608 1052321883954909
609 1062749724799063
610 1073263458857800
611 1083863802482794
612 1094551173473420
613 1105326295258562
614 1116189589755105
615 1127141787515603
616 1138183314601415
617 1149314908735377
618 1160537000150374
619 1171850333786288
620 1183255344074670
621 1194752783219364
622 1206343089877815
623 1218027023564897
624 1229805027191265
625 1241677867630043
626 1253645992072500
627 1265710174797382
628 1277870867304064
629 1290128851324438
630 1302484582693565
631 1314938850644159
632 1327492115374635
633 1340145173666357
634 1352898490108850
635 1365752869080108
636 1378708779588610
637 1391767033657112
638 1404928104740979
639 1418192812556013
640 1431561635032485
641 1445035399627679
642 1458614588774880
643 1472300037721442
644 1486092233431860
645 1499992018992298
646 1513999885926745
647 1528116685209067
648 1542342912951119
649 1556679428063513
650 1571126731274430
651 1585685689480424
652 1600356808054550
653 1615140961928652
654 1630038661149295
655 1645050788733113
656 1660177859428905
657 1675420764387747
658 1690780023089484
659 1706256534869438
660 1721850823967400
661 1737563797952894
662 1753395985854645
663 1769348303526487
664 1785421284815155
665 1801615853909053
666 1817932549502090
667 1834372304167652
668 1850935661476074
669 1867623562436288
670 1884436555524395
671 1901375590235589
672 1918441219981165
673 1935634402793447
674 1952955697048440
675 1970406069366618
676 1987986083118300
677 2005696713563282
678 2023538529095889
679 2041512513666563
680 2059619240723415
681 2077859702959009
682 2096234478905110
683 2114744570048032
684 2133390560033150
685 2152173459192308
686 2171093856314535
687 2190152770629137
688 2209350796098929
689 2228688960902763
690 2248167864207460
691 2267788543193654
692 2287551602262480
693 2307458087648742
694 2327508609018285
695 2347704221712623
696 2368045540692795
697 2388533630459717
698 2409169111300194
699 2429953056927388
700 2450886092984530
701 2471969302450024
702 2493203316354275
703 2514589226994077
704 2536127670817845
705 2557819749494063
706 2579666104920080
707 2601667848189522
708 2623825626679684
709 2646140560962938
710 2668613303927625
711 2691244985678619
712 2714036264646495
713 2736988280522537
714 2760101697310830
715 2783377664343128
716 2806816851228390
717 2830420416993052
718 2854189036882399
719 2878123879671913
720 2902225626274745
721 2926495455269939
722 2950934053270140
723 2975542608712622
724 3000321813941240
725 3025272867306318
726 3050396466914725
727 3075693821084807
728 3101165633718339
729 3126813123156813
730 3152636999128890
731 3178638490054484
732 3204818311521210
733 3231177702082832
734 3257717383218075
735 3284438603670133
736 3311342090841085
737 3338429103719287
738 3365700375662504
739 3393157175960138
740 3420800243958060
741 3448630859302754
742 3476649767360705
743 3504858258191667
744 3533257083215335
745 3561847542961073
746 3590630394934470
747 3619606950190992
748 3648777972354894
749 3678144783064388
750 3707708152095255
751 3737469411725249
752 3767429337914625
753 3797589273637627
754 3827950001072020
755 3858512873945638
756 3889278680686880
757 3920248785834422
758 3951423984100509
759 3982805650892063
760 4014394587238475
761 4046192179472469
762 4078199234973970
763 4110417151059212
764 4142846741492130
765 4175489414630328
766 4208345990655315
767 4241417889024077
768 4274705936369349
769 4308211563305663
770 4341935602950720
771 4375879497134914
772 4410044085494740
773 4444430821134922
774 4479040550244665
775 4513874737261643
776 4548934234961775
777 4584220519174457
778 4619734449296414
779 4655477512607688
780 4691450575159990
781 4727655135743084
782 4764092067097935
783 4800762879583257
784 4837668452663625
785 4874810308326083
786 4912189332793260
787 4949807059740062
788 4987664382181704
789 5025762845540638
790 5064103349659285
791 5102687451767479
792 5141516058569555
793 5180590739162717
794 5219912407148010
795 5259482643550148
796 5299302368901770
797 5339373176215392
798 5379695992990219
799 5420272424287013
800 5461103404606605
801 5502190551118599
802 5543534805360600
803 5585137796671802
804 5627000473661820
805 5669124477900338
806 5711510765104305
807 5754160989134947
808 5797076112851959
809 5840257802469313
810 5883707028024950
811 5927425468146944
812 5971414100087070
813 6015674614949012
814 6060207997234055
815 6105015950583153
816 6150099466782865
817 6195460262073227
818 6241099335561924
819 6287018416150038
820 6333218510302320
821 6379701359643014
822 6426467978029965
823 6473520119872847
824 6520858806458715
825 6568485805045093
826 6616402144384450
827 6664609604644732
828 6713109222080114
829 6761902789831688
830 6810991351691715
831 6860376713837309
832 6910059927635285
833 6960042812361807
834 7010326426994800
835 7060912603972658
836 7111802409921060
837 7162997690503962
838 7214499520031529
839 7266309757456763
840 7318429484811135
841 7370860574400329
842 7423604116014030
843 7476661995374392
844 7530035310066310
845 7583725959292348
846 7637735048469695
847 7692064490345417
848 7746715398206169
849 7801689698407763
850 7856988512143580
851 7912613779442574
852 7968566629442200
853 8024849015909102
854 8081462075962245
855 8138407777170663
856 8195687264672355
857 8253302519903597
858 8311254696059034
859 8369545788507188
860 8428176958537050
861 8487150215514544
862 8546466728860795
863 8606128522004437
864 8666136772536605
865 8726493518014103
866 8787199944236040
867 8848258102953002
868 8909669188210124
869 8971435266017538
870 9033557538704545
871 9096038086606739
872 9158878120375815
873 9222079734738897
874 9285644148708390
875 9349573471469168
876 9413868930432750
877 9478532649308132
878 9543565863944439
879 9608970712641313
880 9674748439724065
881 9740901198149659
882 9807430240758260
883 9874337735230982
884 9941624942961600
885 10009294046422358
886 10077346315599485
887 10145783947823487
888 10214608221711979
889 10283821349521013
890 10353424618538610
891 10423420256013804
892 10493809557944130
893 10564594766639192
894 10635777186845235
895 10707359076000173
896 10779341747638245
897 10851727474393567
898 10924517578627744
899 10997714348239138
900 11071319114456180
901 11145334180509674
902 11219760886534425
903 11294601551162027
904 11369857523473295
905 11445531137569113
906 11521623751516030
907 11598137714952872
908 11675074394971734
909 11752436156818188
910 11830224376649775
911 11908441435387769
912 11987088718295145
913 12066168622037987
914 12145682541024780
915 12225632887735678
916 12306021065764840
917 12386849503475902
918 12468119613688949
919 12549833840720663
920 12631993606657395
921 12714601371838589
922 12797658567657290
923 12881167670545572
924 12965130121243690
925 13049548412346368
926 13134423993981675
927 13219759374977157
928 13305556014889389
929 13391816438849063
930 13478542115882040
931 13565735587492634
932 13653398332216860
933 13741532908003282
934 13830140802939025
935 13919224591487683
936 14008785771328535
937 14098826933511137
938 14189349585348054
939 14280356334545888
940 14371848698091710
941 14463829300420404
942 14556299668234855
943 14649262442769617
944 14742719160484785
945 14836672479486123
946 14931123946032420
947 15026076235172342
948 15121530903004944
949 15217490641593638
950 15313957016919405
951 15410932738132399
952 15508419381137275
953 15606419672243077
954 15704935197319970
955 15803968699908188
956 15903521775885330
957 16003597186095272
958 16104196536465059
959 16205322605214813
960 16306977008363125
961 16409162541579119
962 16511880831015120
963 16615134689862162
964 16718925754448580
965 16823256855560378
966 16928129639744265
967 17033546955454427
968 17139510459498399
969 17246023018071913
970 17353086298285870
971 17460703184151064
972 17568875353124390
973 17677605707105372
974 17786895933939615
975 17896748953489193
976 18007166464031225
977 18118151403464307
978 18229705480539964
979 18341831651267438
980 18454531634915640
981 18567808405678734
982 18681663693386085
983 18796100490491207
984 18911120537427075
985 19026726844981133
986 19142921164233210
987 19259706524379412
988 19377084687189754
989 19495058700343888
990 19613630336345435
991 19732802661432629
992 19852577458886205
993 19972957813578167
994 20093945519609960
995 20215543680562698
996 20337754101402220
997 20460579904494242
998 20584022905712769
999 20708086246283763
1000 20832771753033255