0 0
1 0
2 0
3 1
4 1
5 3
6 3
7 6
8 6
9 10
10 11
11 16
12 17
13 24
14 27
15 35
16 39
17 50
18 57
19 70
20 79
21 97
22 111
23 132
24 150
25 178
26 204
27 239
28 271
29 316
30 361
31 416
32 472
33 545
34 618
35 706
36 800
37 912
38 1032
39 1173
40 1320
41 1496
42 1687
43 1902
44 2137
45 2410
46 2702
47 3034
48 3398
49 3808
50 4258
51 4765
52 5313
53 5932
54 6613
55 7365
56 8191
57 9118
58 10124
59 11242
60 12471
61 13826
62 15314
63 16960
64 18751
65 20735
66 22909
67 25290
68 27899
69 30774
70 33903
71 37340
72 41099
73 45210
74 49702
75 54623
76 59973
77 65831
78 72223
79 79184
80 86772
81 95060
82 104060
83 113872
84 124551
85 136161
86 148784
87 162520
88 177413
89 193610
90 211196
91 230263
92 250951
93 273406
94 297714
95 324073
96 352626
97 383534
98 416994
99 453220
100 492371
101 534730
102 580529
103 629998
104 683447
105 741202
106 803510
107 870784
108 943381
109 1021666
110 1106095
111 1197134
112 1295202
113 1400894
114 1514747
115 1637313
116 1769266
117 1911310
118 2064088
119 2228451
120 2405215
121 2595218
122 2799450
123 3018934
124 3254660
125 3507867
126 3779757
127 4071580
128 4384786
129 4720884
130 5081353
131 5467970
132 5882527
133 6326869
134 6803100
135 7313412
136 7859999
137 8445446
138 9072351
139 9743418
140 10461700
141 11230366
142 12052656
143 12932254
144 13872945
145 14878681
146 15953824
147 17102963
148 18330802
149 19642624
150 21043884
151 22540266
152 24138051
153 25843807
154 27664325
155 29607130
156 31680027
157 33891210
158 36249604
159 38764572
160 41445862
161 44304149
162 47350565
163 50596780
164 54055460
165 57739904
166 61663976
167 65842772
168 70292065
169 75028424
170 80069715
171 85434703
172 91143054
173 97215992
174 103675761
175 110545735
176 117851001
177 125617984
178 133874344
179 142649824
180 151975643
181 161884606
182 172411841
183 183594280
184 195470703
185 208082626
186 221473621
187 235689553
188 250779340
189 266794454
190 283788963
191 301820538
192 320949816
193 341240576
194 362760674
195 385581528
196 409778175
197 435430486
198 462622409
199 491442256
200 521983817
201 554345758
202 588631822
203 624952123
204 663422449
205 704164616
206 747307696
207 792987527
208 841346889
209 892537087
210 946717201
211 1004054522
212 1064726136
213 1128918270
214 1196826708
215 1268658566
216 1344631567
217 1424974713
218 1509929948
219 1599751718
220 1694707476
221 1795079732
222 1901165484
223 2013276914
224 2131743552
225 2256911817
226 2389145704
227 2528829340
228 2676366355
229 2832180942
230 2996720365
231 3170454612
232 3353877491
233 3547509472
234 3751897321
235 3967615464
236 4195268960
237 4435493476
238 4688956589
239 4956361282
240 5238445847
241 5535985598
242 5849796570
243 6180735659
244 6529702538
245 6897643809
246 7285553180
247 7694473918
248 8125503143
249 8579792518
250 9058550745
251 9563048554
252 10094619563
253 10654663211
254 11244650212
255 11866123772
256 12520702893
257 13210088602
258 13936065276
259 14700504725
260 15505372786
261 16352731349
262 17244742862
263 18183677728
264 19171916789
265 20211956566
266 21306417315
267 22458046360
268 23669723812
269 24944471818
270 26285458308
271 27696003752
272 29179591397
273 30739871822
274 32380670624
275 34105999871
276 35920063457
277 37827266166
278 39832226068
279 41939781277
280 44154999963
281 46483194454
282 48929929108
283 51501031766
284 54202609506
285 57041057920
286 60023074104
287 63155674483
288 66446205400
289 69902358278
290 73532189159
291 77344131422
292 81347012892
293 85550077798
294 89963001545
295 94595910164
296 99459404891
297 104564579526
298 109923042254
299 115546943513
300 121448995770
301 127642498622
302 134141369884
303 140960168522
304 148114123145
305 155619166924
306 163491963881
307 171749941564
308 180411329878
309 189495191702
310 199021459627
311 209010979780
312 219485546977
313 230467946336
314 241982002542
315 254052620121
316 266705830546
317 279968847908
318 293870114586
319 308439355069
320 323707638062
321 339707429078
322 356472651263
323 374038755170
324 392442778884
325 411723416827
326 431921098118
327 453078055376
328 475238402277
329 498448221988
330 522755645110
331 548210937760
332 574866600842
333 602777458763
334 632000759016
335 662596283730
336 694626450481
337 728156425108
338 763254246672
339 799990942382
340 838440654615
341 878680781663
342 920792108069
343 964858947978
344 1010969303391
345 1059215011883
346 1109691908302
347 1162500002922
348 1217743648337
349 1275531722370
350 1335977827736
351 1399200481292
352 1465323320274
353 1534475326500
354 1606791040546
355 1682410794072
356 1761480961660
357 1844154203224
358 1930589725290
359 2020953564320
360 2115418860041
361 2214166150098
362 2317383688032
363 2425267751833
364 2538022975738
365 2655862707074
366 2779009354382
367 2907694761038
368 3042160605393
369 3182658793719
370 3329451880007
371 3482813515350
372 3643028890661
373 3810395208684
374 3985222188179
375 4167832562481
376 4358562609963
377 4557762719943
378 4765797953374
379 4983048639322
380 5209911009117
381 5446797827478
382 5694139062452
383 5952382596134
384 6221994934654
385 6503461960093
386 6797289727030
387 7104005260981
388 7424157401640
389 7758317696120
390 8107081295225
391 8471067899952
392 8850922762074
393 9247317690408
394 9660952112510
395 10092554195000
396 10542881973119
397 11012724541196
398 11502903306562
399 12014273257322
400 12547724295882
401 13104182642970
402 13684612259242
403 14290016339069
404 14921438881824
405 15579966285306
406 16266729018551
407 16982903380027
408 17729713282559
409 18508432126554
410 19320384765779
411 20166949506964
412 21049560206142
413 21969708466392
414 22928945876793
415 23928886357410
416 24971208615940
417 26057658653892
418 27190052388405
419 28370278398176
420 29600300726576
421 30882161813174
422 32217985561410
423 33609980473091
424 35060442925018
425 36571760594732
426 38146415964728
427 39786989983584
428 41496165890236
429 43276733130742
430 45131591446507
431 47063755143514
432 49076357467739
433 51172655169554
434 53356033267959
435 55630009936397
436 57998241597532
437 60464528238442
438 63032818864282
439 65707217183680
440 68491987535970
441 71391560977709
442 74410541624536
443 77553713259520
444 80826046123471
445 84232703986644
446 87779051514566
447 91470661841314
448 95313324452198
449 99313053392358
450 103476095709226
451 107808940237757
452 112318326745028
453 117011255338980
454 121894996256614
455 126977100047831
456 132265408058375
457 137768063332228
458 143493521949346
459 149450564702520
460 155648309235713
461 162096222664598
462 168804134578244
463 175782250550248
464 183041166183075
465 190591881580013
466 198445816380640
467 206614825385102
468 215111214657695
469 223947758254348
470 233137715598591
471 242694849396712
472 252633444241546
473 262968325931939
474 273714881397064
475 284889079380732
476 296507491916468
477 308587316479903
478 321146398979546
479 334203257622212
480 347777107534268
481 361887886310281
482 376556280527044
483 391803753101524
484 407652571674009
485 424125838056390
486 441247518622903
487 459042475833776
488 477536500933404
489 496756347701574
490 516729767454034
491 537485545341238
492 559053537820491
493 581464711506915
494 604751183458873
495 628946262768828
496 654084493677861
497 680201700273852
498 707335032641038
499 735523014694074
500 764805593757857
501 795224191763662
502 826821758304148
503 859642825614862
504 893733565353349
505 929141847429042
506 965917300960313
507 1004111377228539
508 1043777414894634
509 1084970707564514
510 1127748573570103
511 1172170428248782
512 1218297858814194
513 1266194701685026
514 1315927122571830
515 1367563699421726
516 1421175508090001
517 1476836211055489
518 1534622149286607
519 1594612437132698
520 1656889060571212
521 1721536978931534
522 1788644229970843
523 1858302038650586
524 1930604929748708
525 2005650844182881
526 2083541259416254
527 2164381314093065
528 2248279936781093
529 2335349979218298
530 2425708354220337
531 2519476178135272
532 2616778918263571
533 2717746545415211
534 2822513691498508
535 2931219812580846
536 3044009357612740
537 3161031942716054
538 3282442531501858
539 3408401621631381
540 3539075437525202
541 3674636129719336
542 3815261981099318
543 3961137619927434
544 4112454240194980
545 4269409829550294
546 4432209404731630
547 4601065255069876
548 4776197194334218
549 4957832820867048
550 5146207786605204
551 5341566075291039
552 5544160289833581
553 5754251949454642
554 5972111796955584
555 6198020116079889
556 6432267059650704
557 6675152988851058
558 6926988823639311
559 7188096405029471
560 7458808869633857
561 7739471036488304
562 8030439806936610
563 8332084578008852
564 8644787669343567
565 8968944764479318
566 9304965366996068
567 9653273271584692
568 10014307050925142
569 10388520558904830
570 10776383450282879
571 11178381717748338
572 11595018246951236
573 12026813389649344
574 12474305555988389
575 12938051826546352
576 13418628584330251
577 13916632167813986
578 14432679545706938
579 14967409013692510
580 15521480914299101
581 16095578380663912
582 16690408104478714
583 17306701129364347
584 17945213670510084
585 18606727960921566
586 19292053125619208
587 20002026084702642
588 20737512485686034
589 21499407666551953
590 22288637650520461
591 23106160173015174
592 23952965742380201
593 24830078735438186
594 25738558528455330
595 26679500665179931
596 27654038063153134
597 28663342258944888
598 29708624694106299
599 30791138043156912
600 31912177584351215
601 33073082615160060
602 34275237913906977
603 35520075248410840
604 36809074933725230
605 38143767440545519
606 39525735055259296
607 40956613593892094
608 42438094171666100
609 43971925029284706
610 45559913418365848
611 47203927547910983
612 48905898593064437
613 50667822768778242
614 52491763470450838
615 54379853482950475
616 56334297260851714
617 58357373282146540
618 60451436477015142
619 62618920734717424
620 64862341491073421
621 67184298398317398
622 69587478080631760
623 72074656978058918
624 74648704280794737
625 77312584957433282
626 80069362880118418
627 82922204048840776
628 85874379918737524
629 88929270833634873
630 92090369568322149
631 95361284983739306
632 98745745798617234
633 102247604480341014
634 105870841259569232
635 109619568272471748
636 113498033833673943
637 117510626844813045
638 121661881342926463
639 125956481192108780
640 130399264923742774
641 134995230729925350
642 139749541613895286
643 144667530703211378
644 149754706730735095
645 155016759687629737
646 160459566654612628
647 166089197816980156
648 171911922668065085
649 177934216407893355
650 184162766543063859
651 190604479693009734
652 197266488609975850
653 204156159419291164
654 211281099085638954
655 218649163113274208
656 226268463487379259
657 234147376862849726
658 242294553009130481
659 250718923518962842
660 259429710787972368
661 268436437274457836
662 277748935047961570
663 287377355634253818
664 297332180166896538
665 307624229854745875
666 318264676773804445
667 329265054994454572
668 340637272054285130
669 352393620785775054
670 364546791510798640
671 377109884613108695
672 390096423498977648
673 403520367958985582
674 417396127943136486
675 431738577760480899
676 446563070717356887
677 461885454207537140
678 477722085266555594
679 494089846605546414
680 511006163139082244
681 528489019020493256
682 546556975201313649
683 565229187530657302
684 584525425409318533
685 604466091016671296
686 625072239127608049
687 646365597535739284
688 668368588102482467
689 691104348450849287
690 714596754321700643
691 738870442613800170
692 763950835128170758
693 789864163036217480
694 816637492094797308
695 844298748630580758
696 872876746315025809
697 902401213755145135
698 932902822924417920
699 964413218457194286
700 996965047833937268
701 1030591992483852980
702 1065328799830450306
703 1101211316309735957
704 1138276521389986480
705 1176562562621021867
706 1216108791745265694
707 1256955801902120092
708 1299145465956183875
709 1342720975984400252
710 1387726883956468916
711 1434209143641900900
712 1482215153781830184
713 1531793802562979914
714 1582995513430259551
715 1635872292279393386
716 1690477776070319418
717 1746867282901195398
718 1805097863587988352
719 1865228354794018968
720 1927319433752948243
721 1991433674634080492
722 2057635606598288200
723 2125991773592026594
724 2196570795932543122
725 2269443433736858878
726 2344682652246331025
727 2422363689104485388
728 2502564123645342726
729 2585363948248771352
730 2670845641825523882
731 2759094245494246597
732 2850197440512114955
733 2944245628527155792
734 3041332014220047346
735 3141552690402610624
736 3245006725646933171
737 3351796254518879458
738 3462026570489251721
739 3575806221602927930
740 3693247108986197103
741 3814464588272151248
742 3939577574031371655
743 4068708647295164176
744 4201984166258366287
745 4339534380256458524
746 4481493547111888656
747 4628000053944397732
748 4779196541548224038
749 4935230032439401388
750 5096252062676369655
751 5262418817565627504
752 5433891271364644117
753 5610835331094414448
754 5793421984582989555
755 5981827452861964772
756 6176233347038277118
757 6376826829773046348
758 6583800781500048210
759 6797353971516993398
760 7017691234092622874
761 7245023649733733506
762 7479568731757039790
763 7721550618321121032
764 7971200270075073022
765 8228755673581496436
766 8494462050682360812
767 8768572073977914053
768 9051346088590087196
769 9343052340393348422
770 9643967210897861504
771 9954375458971414990
772 10274570469598683528
773 10604854509878617090
774 10945538992462713663
775 11296944746649649372
776 11659402297354368538
777 12033252152172038599
778 12418845096770689510
779 12816542498849404551
780 13226716620901601072
781 13649750942037126808
782 14086040489120360137
783 14535992177484617274
784 15000025161498160910
785 15478571195261022678
786 15972075003715474040
787 16480994664468796310
788 17005802000631443578
789 17546982984977860540
790 18105038155753904496
791 18680483044459867236
792 19273848615942817603
793 19885681721149635439
794 20516545562897798508
795 21167020175026313219
796 21837702915307883876
797 22529208972509774098
798 23242171887996829029
799 23977244092289952135
800 24735097457000403863
801 25516423862567088474
802 26321935782244974572
803 27152366882800681450
804 28008472642378906277
805 28891030986025569413
806 29800842939362360651
807 30738733300915889588
808 31705551333628184232
809 32702171476085081054
810 33729494074008508562
811 34788446132583683856
812 35879982090203065541
813 37005084614219432484
814 38164765419327036403
815 39360066109201708994
816 40592059042042526275
817 41861848220685833605
818 43170570207975615078
819 44519395068087194300
820 45909527334531186415
821 47342207005579190808
822 48818710567867060564
823 50340352048963416264
824 51908484099707127524
825 53524499107133293869
826 55189830338841146503
827 56905953119674924472
828 58674386041606204681
829 60496692207742253744
830 62374480511404298712
831 64309406951238834330
832 66303175983363482224
833 68357541911570123953
834 70474310316629187286
835 72655339525779826560
836 74902542123514018970
837 77217886504785808494
838 79603398471820468444
839 82061162875723876938
840 84593325304117815013
841 87202093816073358360
842 89889740725642425816
843 92658604435315403466
844 95511091320782340470
845 98449677668405661919
846 101476911666842887069
847 104595415454310705216
848 107807887223015026767
849 111117103382305064760
850 114525920782165881367
851 118037278998700194083
852 121654202683286747397
853 125379803977162761900
854 129217284993217656717
855 133169940366825079092
856 137241159877604625134
857 141434431144047864696
858 145753342392986766288
859 150201585305951401696
860 154782957944510865407
861 159501367756738813047
862 164360834667018511262
863 169365494251453533674
864 174519601001202000591
865 179827531676130793458
866 185293788751241983702
867 190923003958380072491
868 196719941925812628737
869 202689503918337650154
870 208836731680632278757
871 215166811386647406267
872 221685077697918707172
873 228397017933731344390
874 235308276356171835206
875 242424658573172241204
876 249752136062724441808
877 257296850821545240924
878 265065120141550911086
879 273063441517578728208
880 281298497689903266955
881 289777161825179818710
882 298506502839533028812
883 307493790867626896980
884 316746502881644126268
885 326272328464195863711
886 336079175739309387384
887 346175177465740895234
888 356568697296961579515
889 367268336212300751260
890 378282939123837752026
891 389621601663744073886
892 401293677156922368200
893 413308783783906094007
894 425676811939102557722
895 438407931789617756930
896 451512601040028369756
897 465001572908595233828
898 478885904320579544826
899 493176964324460560652
900 507886442736993376377
901 523026359023224341641
902 538609071417730645937
903 554647286293502059487
904 571154067785074836242
905 588142847672689018578
906 605627435534404507720
907 623622029173317198244
908 642141225327191008014
909 661200030667999406366
910 680813873099090910706
911 700998613357881966434
912 721770556932173032341
913 743146466298420680058
914 765143573490502976810
915 787779593007723597437
916 811072735071054486198
917 835041719236837997316
918 859705788377394689602
919 885084723038255994076
920 911198856181980010878
921 938069088328752406916
922 965716903104267409624
923 994164383205642330299
924 1023434226796382639967
925 1053549764341729115988
926 1084534975895997979610
927 1116414508853809876996
928 1149213696177441196991
929 1182958575112833185294
930 1217675906407102236161
931 1253393194040757320449
932 1290138705488156707332
933 1327941492520068896964
934 1366831412562592035926
935 1406839150627038381621
936 1447996241825749956739
937 1490335094489229597988
938 1533889013900352062783
939 1578692226661808305642
940 1624779905713384930291
941 1672188196016091689332
942 1720954240920569360808
943 1771116209237692430859
944 1822713323029724603401
945 1875785886140837984750
946 1930375313486324654791
947 1986524161120308072178
948 2044276157102250592854
949 2103676233183109660903
950 2164770557332511776030
951 2227606567128841023672
952 2292233004034736409930
953 2358699948581049580928
954 2427058856482883972849
955 2497362595711978134822
956 2569665484550297281110
957 2644023330650311475528
958 2720493471128128171598
959 2799134813716295439568
960 2880007879003754850908
961 2963174843791163555482
962 3048699585590504491669
963 3136647728298618362258
964 3227086689075086599680
965 3320085726455648601430
966 3415715989733107278989
967 3514050569638531594002
968 3615164550356377680610
969 3719135062907981220672
970 3826041339938791778324
971 3935964771945596130350
972 4048988964980873474617
973 4165199799872411638476
974 4284685492997257917930
975 4407536658650043677995
976 4533846373046781433311
977 4663710240006250862378
978 4797226458352130702582
979 4934495891080171837518
980 5075622136335803336332
981 5220711600248684442948
982 5369873571671938380086
983 5523220298874985016570
984 5680867068240097474423
985 5842932285014121365674
986 6009537556168067725093
987 6180807775418591933965
988 6356871210466782104288
989 6537859592511050775797
990 6723908208092325180391
991 6915155993331247376530
992 7111745630618571169755
993 7313823647821451924538
994 7521540520069954003835
995 7735050774189689282284
996 7954513095848125304570
997 8180090439483851078488
998 8411950141089798847494
999 8650264033923169875384
1000 8895208567216691383670