2 3
3 47
4 306
5 1270
6 4005
7 10493
8 24052
9 49836
10 95415
11 171435
12 292358
13 477282
14 750841
15 1144185
16 1696040
17 2453848
18 3474987
19 4828071
20 6594330
21 8869070
22 11763213
23 15404917
24 19941276
25 25540100
26 32391775
27 40711203
28 50739822
29 62747706
30 77035745
31 93937905
32 113823568
33 137099952
34 164214611
35 195658015
36 231966210
37 273723558
38 321565557
39 376181741
40 438318660
41 508782940
42 588444423
43 678239387
44 779173846
45 892326930
46 1018854345
47 1159991913
48 1317059192
49 1491463176
50 1684702075
51 1898369175
52 2134156778
53 2393860222
54 2679381981
55 2992735845
56 3336051180
57 3711577268
58 4121687727
59 4568885011
60 5055804990
61 5585221610
62 6160051633
63 6783359457
64 7458362016
65 8188433760
66 8977111715
67 9828100623
68 10745278162
69 11732700246
70 12794606405
71 13935425245
72 15159779988
73 16472494092
74 17878596951
75 19383329675
76 20992150950
77 22710742978
78 24545017497
79 26501121881
80 28585445320
81 30804625080
82 33165552843
83 35675381127
84 38341529786
85 41171692590
86 44173843885
87 47356245333
88 50727452732
89 54296322916
90 58072020735
91 62064026115
92 66282141198
93 70736497562
94 75437563521
95 80396151505
96 85623425520
97 91130908688
98 96930490867
99 103034436351
100 109455391650
101 116206393350
102 123300876053
103 130752680397
104 138576061156
105 146785695420
106 155396690855
107 164424594043
108 173885398902
109 183795555186
110 194171977065
111 205032051785
112 216393648408
113 228275126632
114 240695345691
115 253673673335
116 267229994890
117 281384722398
118 296158803837
119 311573732421
120 327651555980
121 344414886420
122 361886909263
123 380091393267
124 399052700126
125 418795794250
126 439346252625
127 460730274753
128 482974692672
129 506106981056
130 530155267395
131 555148342255
132 581115669618
133 608087397302
134 636094367461
135 665168127165
136 695340939060
137 726645792108
138 759116412407
139 792787274091
140 827693610310
141 863871424290
142 901357500473
143 940189415737
144 980405550696
145 1022045101080
146 1065148089195
147 1109755375463
148 1155908670042
149 1203650544526
150 1253024443725
151 1304074697525
152 1356846532828
153 1411386085572
154 1467740412831
155 1525957504995
156 1586086298030
157 1648176685818
158 1712279532577
159 1778446685361
160 1846730986640
161 1917186286960
162 1989867457683
163 2064830403807
164 2142132076866
165 2221830487910
166 2303984720565
167 2388654944173
168 2475902427012
169 2565789549596
170 2658379818055
171 2753737877595
172 2851929526038
173 2953021727442
174 3057082625801
175 3164181558825
176 3274389071800
177 3387776931528
178 3504418140347
179 3624386950231
180 3747758876970
181 3874610714430
182 4005020548893
183 4139067773477
184 4276833102636
185 4418398586740
186 4563847626735
187 4713264988883
188 4866736819582
189 5024350660266
190 5186195462385
191 5352361602465
192 5522940897248
193 5698026618912
194 5877713510371
195 6062097800655
196 6251277220370
197 6445351017238
198 6644419971717
199 6848586412701
200 7057954233300
201 7272628906700
202 7492717502103
203 7718328700747
204 7949572812006
205 8186561789570
206 8429409247705
207 8678230477593
208 8933142463752
209 9194263900536
210 9461715208715
211 9735618552135
212 10016097854458
213 10303278815982
214 10597288930541
215 10898257502485
216 11206315663740
217 11521596390948
218 11844234522687
219 12174366776771
220 12512131767630
221 12857670023770
222 13211124005313
223 13572638121617
224 13942358748976
225 14320434248400
226 14707014983475
227 15102253338303
228 15506303735522
229 15919322654406
230 16341468649045
231 16772902366605
232 17213786565668
233 17664286134652
234 18124568110311
235 18594801696315
236 19075158281910
237 19565811460658
238 20066937049257
239 20578713106441
240 21101319951960
241 21634940185640
242 22179758706523
243 22735962732087
244 23303741817546
245 23883287875230
246 24474795194045
247 25078460459013
248 25694482770892
249 26323063665876
250 26964407135375
251 27618719645875
252 28286210158878
253 28967090150922
254 29661573633681
255 30369877174145
256 31092219914880
257 31828823594368
258 32579912567427
259 33345713825711
260 34126457018290
261 34922374472310
262 35733701213733
263 36560674988157
264 37403536281716
265 38262528342060
266 39137897199415
267 40029891687723
268 40938763465862
269 41864767038946
270 42808159779705
271 43769201949945
272 44748156722088
273 45745290200792
274 46760871444651
275 47795172487975
276 48848468362650
277 49921037120078
278 51013159853197
279 52125120718581
280 53257206958620
281 54409708923780
282 55582920094943
283 56777137105827
284 57992659765486
285 59229791080890
286 60488837279585
287 61770107832433
288 63073915476432
289 64400576237616
290 65750409454035
291 67123737798815
292 68520887303298
293 69942187380262
294 71387970847221
295 72858573949805
296 74354336385220
297 75875601325788
298 77422715442567
299 78996028929051
300 80595895524950
301 82222672540050
302 83876720878153
303 85558405061097
304 87268093252856
305 89006157283720
306 90772972674555
307 92568918661143
308 94394378218602
309 96249738085886
310 98135388790365
311 100051724672485
312 101999143910508
313 103978048545332
314 105988844505391
315 108031941631635
316 110107753702590
317 112216698459498
318 114359197631537
319 116535676961121
320 118746566229280
321 120992299281120
322 123273314051363
323 125590052589967
324 127942961087826
325 130332489902550
326 132759093584325
327 135223230901853
328 137725364868372
329 140265962767756
330 142845496180695
331 145464441010955
332 148123277511718
333 150822490312002
334 153562568443161
335 156344005365465
336 159167298994760
337 162032951729208
338 164941470476107
339 167893366678791
340 170889156343610
341 173929360066990
342 177014503062573
343 180145115188437
344 183321730974396
345 186544889649380
346 189815135168895
347 193133016242563
348 196499086361742
349 199913903827226
350 203378031777025
351 206892038214225
352 210456496034928
353 214071983056272
354 217739082044531
355 221458380743295
356 225230471901730
357 229055953302918
358 232935427792277
359 236869503306061
360 240858792899940
361 244903914777660
362 249005492319783
363 253164154112507
364 257380533976566
365 261655270996210
366 265989009548265
367 270382399331273
368 274836095394712
369 279350758168296
370 283927053491355
371 288565652642295
372 293267232368138
373 298032474914142
374 302862068053501
375 307756705117125
376 312717085023500
377 317743912308628
378 322837897156047
379 327999755426931
380 333230208690270
381 338529984253130
382 343899815190993
383 349340440378177
384 354852604518336
385 360437058175040
386 366094557802435
387 371825865775983
388 377631750423282
389 383512986054966
390 389470352995685
391 395504637615165
392 401616632359348
393 407807135781612
394 414076952574071
395 420426893598955
396 426857775920070
397 433370422834338
398 439965663903417
399 446644334985401
400 453407278266600
401 460255342293400
402 467189382004203
403 474210258761447
404 481318840383706
405 488516001177870
406 495802621971405
407 503179590144693
408 510647799663452
409 518208151111236
410 525861551722015
411 533608915412835
412 541451162816558
413 549389221314682
414 557424025070241
415 565556515060785
416 573787639111440
417 582118351928048
418 590549615130387
419 599082397285471
420 607717673940930
421 616456427658470
422 625299648047413
423 634248331798317
424 643303482716676
425 652466111756700
426 661737237055175
427 671117883965403
428 680609085091222
429 690211880321106
430 699927316862345
431 709756449275305
432 719700339507768
433 729760056929352
434 739936678366011
435 750231288134615
436 760644978077610
437 771178847597758
438 781834003692957
439 792611560991141
440 803512641785260
441 814538376068340
442 825689901568623
443 836968363784787
444 848374916021246
445 859910719423530
446 871576943013745
447 883374763726113
448 895305366442592
449 907369944028576
450 919569697368675
451 931905835402575
452 944379575160978
453 956992141801622
454 969744768645381
455 982638697212445
456 995675177258580
457 1008855466811468
458 1022180832207127
459 1035652548126411
460 1049271897631590
461 1063040172203010
462 1076958671775833
463 1091028704776857
464 1105251588161416
465 1119628647450360
466 1134161216767115
467 1148850638874823
468 1163698265213562
469 1178705455937646
470 1193873579953005
471 1209204014954645
472 1224698147464188
473 1240357372867492
474 1256183095452351
475 1272176728446275
476 1288339694054350
477 1304673423497178
478 1321179357048897
479 1337858944075281
480 1354713643071920
481 1371744921702480
482 1388954256837043
483 1406343134590527
484 1423913050361186
485 1441665508869190
486 1459602024195285
487 1477724119819533
488 1496033328660132
489 1514531193112316
490 1533219265087335
491 1552099106051515
492 1571172287065398
493 1590440388822962
494 1609905001690921
495 1629567725748105
496 1649430170824920
497 1669493956542888
498 1689760712354267
499 1710232077581751
500 1730909701458250
501 1751795243166750
502 1772890371880253
503 1794196766801797
504 1815716117204556
505 1837450122472020
506 1859400492138255
507 1881568945928243
508 1903957213798302
509 1926567035976586
510 1949400163003665
511 1972458355773185
512 1995743385572608
513 2019257034124032
514 2043001093625091
515 2066977366789935
516 2091187666890290
517 2115633817796598
518 2140317654019237
519 2165241020749821
520 2190405773902580
521 2215813780155820
522 2241466916993463
523 2267367072746667
524 2293516146635526
525 2319916048810850
526 2346568700396025
527 2373476033528953
528 2400639991404072
529 2428062528314456
530 2455745609693995
531 2483691212159655
532 2511901323553818
533 2540377942986702
534 2569123080878861
535 2598138759003765
536 2627427010530460
537 2656989880066308
538 2686829423699807
539 2716947709043491
540 2747346815276910
541 2778028833189690
542 2808995865224673
543 2840250025521137
544 2871793439958096
545 2903628246197680
546 2935756593728595
547 2968180643909663
548 3000902570013442
549 3033924557269926
550 3067248802910325
551 3100877516210925
552 3134812918537028
553 3169057243386972
554 3203612736436231
555 3238481655581595
556 3273666270985430
557 3309168865120018
558 3344991732811977
559 3381137181286761
560 3417607530213240
561 3454405111748360
562 3491532270581883
563 3528991363981207
564 3566784761836266
565 3604914846704510
566 3643384013855965
567 3682194671318373
568 3721349239922412
569 3760850153346996
570 3800699858164655
571 3840900813886995
572 3881455493010238
573 3922366381060842
574 3963635976641201
575 4005266791475425
576 4047261350455200
577 4089622191685728
578 4132351866531747
579 4175452939663631
580 4218927989103570
581 4262779606271830
582 4307010396033093
583 4351622976742877
584 4396619980294036
585 4442004052163340
586 4487777851458135
587 4533944050963083
588 4580505337186982
589 4627464410409666
590 4674823984728985
591 4722586788107865
592 4770755562421448
593 4819333063504312
594 4868322061197771
595 4917725339397255
596 4967545696099770
597 5017785943451438
598 5068448907795117
599 5119537429718101
600 5171054364099900
601 5223002580160100
602 5275384961506303
603 5328204406182147
604 5381463826715406
605 5435166150166170
606 5489314318175105
607 5543911287011793
608 5598960027623152
609 5654463525681936
610 5710424781635315
611 5766846810753535
612 5823732643178658
613 5881085323973382
614 5938907913169941
615 5997203485819085
616 6055975132039140
617 6115225957065148
618 6174959081298087
619 6235177640354171
620 6295884785114230
621 6357083681773170
622 6418777511889513
623 6480969472435017
624 6543662775844376
625 6606860650065000
626 6670566338606875
627 6734783100592503
628 6799514210806922
629 6864762959747806
630 6930532653675645
631 6996826614664005
632 7063648180649868
633 7131000705484052
634 7198887558981711
635 7267312126972915
636 7336277811353310
637 7405788030134858
638 7475846217496657
639 7546455823835841
640 7617620315818560
641 7689343176431040
642 7761627905030723
643 7834478017397487
644 7907897045784946
645 7981888538971830
646 8056456062313445
647 8131603197793213
648 8207333544074292
649 8283650716551276
650 8360558347401975
651 8438060085639275
652 8516159597163078
653 8594860564812322
654 8674166688417081
655 8754081684850745
656 8834609288082280
657 8915753249228568
658 8997517336606827
659 9079905335787111
660 9162921049644890
661 9246568298413710
662 9330850919737933
663 9415772768725557
664 9501337718001116
665 9587549657758660
666 9674412495814815
667 9761930157661923
668 9850106586521262
669 9938945743396346
670 10028451607126305
671 10118628174439345
672 10209479460006288
673 10301009496494192
674 10393222334620051
675 10486122043204575
676 10579712709226050
677 10673998437874278
678 10768983352604597
679 10864671595191981
680 10961067325785220
681 11058174722961180
682 11155997983779143
683 11254541323835227
684 11353808977316886
685 11453805197057490
686 11554534254590985
687 11656000440206633
688 11758208063003832
689 11861161450947016
690 11964864950920635
691 12069322928784215
692 12174539769427498
693 12280519876825662
694 12387267674094621
695 12494787603546405
696 12603084126744620
697 12712161724559988
698 12822024897225967
699 12932678164394451
700 13044126065191550
701 13156373158273450
702 13269424021882353
703 13383283253902497
704 13497955471916256
705 13613445313260320
706 13729757435081955
707 13846896514395343
708 13964867248138002
709 14083674353227286
710 14203322566616965
711 14323816645353885
712 14445161366634708
713 14567361527862732
714 14690421946704791
715 14814347461148235
716 14939142929557990
717 15064813230733698
718 15191363263966937
719 15318797949098521
720 15447122226575880
721 15576341057510520
722 15706459423735563
723 15837482327863367
724 15969414793343226
725 16102261864519150
726 16236028606687725
727 16370720106156053
728 16506341470299772
729 16642897827621156
730 16780394327807295
731 16918836141788355
732 17058228461795918
733 17198576501421402
734 17339885495674561
735 17482160701042065
736 17625407395546160
737 17769630878803408
738 17914836472083507
739 18061029518368191
740 18208215382410210
741 18356399450792390
742 18505587131986773
743 18655783856413837
744 18806995076501796
745 18959226266745980
746 19112482923768295
747 19266770566376763
748 19422094735625142
749 19578460994872626
750 19735874929843625
751 19894342148687625
752 20053868282039128
753 20214458983077672
754 20376119927587931
755 20538856814019895
756 20702675363549130
757 20867581320137118
758 21033580450591677
759 21200678544627461
760 21368881414926540
761 21538194897199060
762 21708624850243983
763 21880177156009907
764 22052857719655966
765 22226672469612810
766 22401627357643665
767 22577728358905473
768 22754981472010112
769 22933392719085696
770 23112968145837955
771 23293713821611695
772 23475635839452338
773 23658740316167542
774 23843033392388901
775 24028521232633725
776 24215210025366900
777 24403105983062828
778 24592215342267447
779 24782544363660331
780 24974099332116870
781 25166886556770530
782 25360912371075193
783 25556183132867577
784 25752705224429736
785 25950485052551640
786 26149529048593835
787 26349843668550183
788 26551435393110682
789 26754310727724366
790 26958476202662285
791 27163938373080565
792 27370703819083548
793 27578779145787012
794 27788170983381471
795 27998885987195555
796 28210930837759470
797 28424312240868538
798 28639036927646817
799 28855111654610801
800 29072543203733200
801 29291338382506800
802 29511504024008403
803 29733046986962847
804 29955974155807106
805 30180292440754470
806 30406008777858805
807 30633130129078893
808 30861663482342852
809 31091615851612636
810 31322994276948615
811 31555805824574235
812 31790057586940758
813 32025756682792082
814 32262910257229641
815 32501525481777385
816 32741609554446840
817 32983169699802248
818 33226213169025787
819 33470747239982871
820 33716779217287530
821 33964316432367870
822 34213366243531613
823 34463936036031717
824 34716033222132076
825 34969665241173300
826 35224839559638575
827 35481563671219603
828 35739845096882622
829 35999691384934506
830 36261110111088945
831 36524108878532705
832 36788695317991968
833 37054877087798752
834 37322661873957411
835 37592057390211215
836 37863071378109010
837 38135711607071958
838 38409985874460357
839 38685902005640541
840 38963467854051860
841 39242691301273740
842 39523580257092823
843 39806142659570187
844 40090386475108646
845 40376319698520130
846 40663950353093145
847 40953286490660313
848 41244336191665992
849 41537107565233976
850 41831608749235275
851 42127847910355975
852 42425833244165178
853 42725572975183022
854 43027075356948781
855 43330348672089045
856 43635401232385980
857 43942241378845668
858 44250877481766527
859 44561317940807811
860 44873571185058190
861 45187645673104410
862 45503549893100033
863 45821292362834257
864 46140881629800816
865 46462326271266960
866 46785634894342515
867 47110816136049023
868 47437878663388962
869 47766831173415046
870 48097682393299605
871 48430441080404045
872 48765116022348388
873 49101716037080892
874 49440249972947751
875 49780726708762875
876 50123155153877750
877 50467544248251378
878 50813902962520297
879 51162240298068681
880 51512565287098520
881 51864886992699880
882 52219214508921243
883 52575556960839927
884 52933923504632586
885 53294323327645790
886 53656765648466685
887 54021259716993733
888 54387814814507532
889 54756440253741716
890 55127145378953935
891 55499939565996915
892 55874832222389598
893 56251832787388362
894 56630950732058321
895 57012195559344705
896 57395576804144320
897 57781104033377088
898 58168786846057667
899 58558634873367151
900 58950657778724850
901 59344865257860150
902 59741267038884453
903 60139872882363197
904 60540692581387956
905 60943735961648620
906 61349012881505655
907 61756533232062443
908 62166306937237702
909 62578343953837986
910 62992654271630265
911 63409247913414585
912 63828134935096808
913 64249325425761432
914 64672829507744491
915 65098657336706535
916 65526819101705690
917 65957325025270798
918 66390185363474637
919 66825410406007221
920 67263010476249180
921 67702995931345220
922 68145377162277663
923 68590164593940067
924 69037368685210926
925 69486999929027450
926 69939068852459425
927 70393586016783153
928 70850562017555472
929 71310007484687856
930 71771933082520595
931 72236349509897055
932 72703267500238018
933 73172697821616102
934 73644651276830261
935 74119138703480365
936 74596170974041860
937 75075758995940508
938 75557913711627207
939 76042646098652891
940 76529967169743510
941 77019887972875090
942 77512419591348873
943 78007573143866537
944 78505359784605496
945 79005790703294280
946 79508877125287995
947 80014630311643863
948 80523061559196842
949 81034182200635326
950 81548003604576925
951 82064537175644325
952 82583794354541228
953 83105786618128372
954 83630525479499631
955 84158022488058195
956 84688289229592830
957 85221337326354218
958 85757178437131377
959 86295824257328161
960 86837286519039840
961 87381576991129760
962 87928707479306083
963 88478689826198607
964 89031535911435666
965 89587257651721110
966 90145867000911365
967 90707375950092573
968 91271796527657812
969 91839140799384396
970 92409420868511255
971 92982648875816395
972 93558836999694438
973 94137997456234242
974 94720142499296601
975 95305284420592025
976 95893435549758600
977 96484608254439928
978 97078814940363147
979 97676068051417031
980 98276380069730170
981 98879763515749230
982 99486230948317293
983 100095794964752277
984 100708468200925436
985 101324263331339940
986 101943193069209535
987 102565270166537283
988 103190507414194382
989 103818917641999066
990 104450513718795585
991 105085308552533265
992 105723315090345648
993 106364546318629712
994 107009015263125171
995 107656734988993855
996 108307718600899170
997 108961979243085638
998 109619530099458517
999 110280384393663501
1000 110944555389166500