3 7
4 48
5 331
6 1269
7 3698
8 9382
9 20927
10 42683
11 79844
12 142173
13 238810
14 387615
15 603589
16 915324
17 1345294
18 1939221
19 2729723
20 3783313
21 5138567
22 6895632
23 9108626
24 11909496
25 15362753
26 19642539
27 24832744
28 31179476
29 38757032
30 47877886
31 58647957
32 71447776
33 86391220
34 103977272
35 124334295
36 148043151
37 175217479
38 206616715
39 242402891
40 283452029
41 329827721
42 382611285
43 442022490
44 509294668
45 584410327
46 668999880
47 763156937
48 868560962
49 985298081
50 1115332382
51 1258817985
52 1418069095
53 1592942402
54 1786235903
55 1998011919
56 2231072451
57 2485215328
58 2764270711
59 3067976815
60 3400178343
61 3760303271
62 4152948072
63 4578009753
64 5040471533
65 5539285269
66 6080005860
67 6662518400
68 7293010662
69 7969936139
70 8700832406
71 9484666602
72 10328684516
73 11231532915
74 12202121168
75 13238833693
76 14351326080
77 15536578868
78 16806007049
79 18158213259
80 19602962636
81 21137301546
82 22775308015
83 24513474553
84 26366269014
85 28328242841
86 30415449968
87 32624004910
88 34971482397
89 37451585250
90 40081341017
91 42858693583
92 45800223607
93 48900159914
94 52181891589
95 55638220186
96 59290723514
97 63130695812
98 67184711690
99 71445688092
100 75940789902
101 80655743828
102 85622164213
103 90833123777
104 96316421934
105 102058909992
106 108096818608
107 114418408734
108 121057988452
109 128000816849
110 135286384203
111 142900103646
112 150883549446
113 159218645677
114 167949153535
115 177060762195
116 186598432225
117 196536908349
118 206935528275
119 217772032093
120 229095456320
121 240882000539
122 253187797192
123 265995985796
124 279367918172
125 293264095553
126 307754678140
127 322817704444
128 338514855896
129 354812778157
130 371788055819
131 389409541940
132 407748659142
133 426768935639
134 446557034480
135 467073595359
136 488404113159
137 510498625866
138 533455979703
139 557240245253
140 581935998820
141 607489101350
142 634016464157
143 661465071440
144 689940294290
145 719382091042
146 749899696049
147 781448150499
148 814151911418
149 847933395094
150 882918698781
151 919060850487
152 956473181854
153 995081272136
154 1035047111159
155 1076288662929
156 1118948079922
157 1162930979593
158 1208413365564
159 1255318724358
160 1303795476418
161 1353745408441
162 1405334312394
163 1458507514429
164 1513415455702
165 1569945490552
166 1628308820455
167 1688397627809
168 1750402653316
169 1814207816551
170 1880014832648
171 1947715951012
172 2017536572943
173 2089328650805
174 2163325608514
175 2239423782359
176 2317819772697
177 2398376237319
178 2481365681146
179 2566650189361
180 2654462757337
181 2744638294507
182 2837451288488
183 2932774801791
184 3030888592685
185 3131573826137
186 3235140289588
187 3341448487822
188 3450777251626
189 3562923911331
190 3678236803218
191 3796524568771
192 3918077309803
193 4042713314043
194 4170783085353
195 4302076565824
196 4436963502715
197 4575168282883
198 4717098505613
199 4862569611652
200 5011891526106
201 5164829502847
202 5321796526252
203 5482589932412
204 5647596736849
205 5816509160030
206 5989781281746
207 6167159502424
208 6349118836270
209 6535312246137
210 6726193702065
211 6921552530501
212 7121803450521
213 7326613163448
214 7536563492615
215 7751320945008
216 7971327405105
217 8196275292286
218 8426702696731
219 8662324871544
220 8903660552841
221 9150279493723
222 9402798575755
223 9660908995490
224 9925145015427
225 10195058000974
226 10471361193639
227 10753600579826
228 11042455491770
229 11337445767914
230 11639222814641
231 11947423387192
232 12262694227829
233 12584549723628
234 12913682800620
235 13249725455231
236 13593313740516
237 13943879677960
238 14302350889311
239 14668212195276
240 15042127487835
241 15423555354368
242 15813316600792
243 16210976465910
244 16617359107926
245 17031738970506
246 17455030342988
247 17886768738860
248 18327722409889
249 18777286389256
250 19236414396082
251 19704483354059
252 20182371436196
253 20669454051045
254 21166729460267
255 21673526178428
256 22190866322385
257 22717936035724
258 23255805490831
259 23803945014155
260 24363238466386
261 24932850982985
262 25514018829487
263 26106037272149
264 26709976455047
265 27324905840909
266 27952062707955
267 28590718980730
268 29242102333222
269 29905188031871
270 30581241848543
271 31269599946301
272 31971234797451
273 32685334513674
274 33413329182092
275 34154273954885
276 34909407516630
277 35677704323822
278 36460699160754
279 37257403510179
280 38069248429668
281 38895007799983
282 39736200868844
283 40592031716319
284 41463849344242
285 42350390473870
286 43253407264022
287 44171811119781
288 45107065518764
289 46058087330153
290 47026293888721
291 48010785665361
292 49013219021084
293 50032144810580
294 51069459307574
295 52124032338869
296 53197354642626
297 54288045229551
298 55398279967492
299 56526704533842
300 57674960278315
301 58841595863040
302 60028632406986
303 61234905162975
304 62462254312583
305 63709037161074
306 64977205536159
307 66265629286347
308 67576213728550
309 68907261051974
310 70261124292763
311 71636205205370
312 73034495788378
313 74454442019932
314 75898287604148
315 77364467807313
316 78855339955541
317 80368772280812
318 81907360439379
319 83469726502011
320 85057755788720
321 86669585836012
322 88307917233343
323 89971085148229
324 91661458497802
325 93376818485816
326 95119968213650
327 96889101096521
328 98686864779784
329 100511090270268
330 102364292902914
331 104245038026858
332 106155512082195
333 108093654300378
334 110062802843743
335 112060464352890
336 114089469531567
337 116147481055337
338 118237692664926
339 120357995625132
340 122511408643540
341 124695183620862
342 126912412835806
343 129161549842847
344 131445134534200
345 133760563875648
346 136111356232290
347 138495155028577
348 140915294192103
349 143368837655813
350 145859316486919
351 148384359259808
352 150947376361680
353 153545332349703
354 156182049670771
355 158855138193630
356 161567655987951
357 164316677292453
358 167106564109437
359 169934524833931
360 172803605875527
361 175711050645352
362 178660704506595
363 181650005687196
364 184683016950915
365 187755919038151
366 190873044845578
367 194031596250856
368 197235443536201
369 200481144440547
370 203773182486545
371 207108471335775
372 210490909870338
373 213917161395858
374 217391758873139
375 220911470621905
376 224480818810839
377 228095480011620
378 231760432458161
379 235473018721786
380 239236921042049
381 243048072451526
382 246912117641143
383 250825523305987
384 254792526204783
385 258809227108752
386 262880547589936
387 267003046647503
388 271182051464462
389 275412697157898
390 279700367832380
391 284041636027862
392 288440925502841
393 292894240414970
394 297407564335649
395 301976290796513
396 306605779177551
397 311291349196084
398 316038977345231
399 320844805468541
400 325713961247724
401 330641557036275
402 335633268859480
403 340685764279393
404 345804407839226
405 350983290005678
406 356229855672271
407 361539031588180
408 366916842314476
409 372358069834447
410 377868934379159
411 383445087481173
412 389092731486082
413 394806126359052
414 400592336798151
415 406446873684609
416 412374775365672
417 418371001258578
418 424443325131968
419 430586275883862
420 436806236815448
421 443097031423777
422 449466301176517
423 455908730700071
424 462431996328069
425 469028794667395
426 475706578959657
427 482460831623132
428 489298260178557
429 496212412328326
430 503211474314461
431 510289598617885
432 517453409380090
433 524697229179631
434 532028724809655
435 539442124178747
436 546945712515444
437 554531214276348
438 562208111862868
439 569970856090725
440 577825774504863
441 585766152169838
442 593801304609170
443 601924980042325
444 610144970154830
445 618453524187879
446 626860316988901
447 635358143447157
448 643956593692804
449 652647343614224
450 661438826255738
451 670325704448502
452 679315601848617
453 688401027862694
454 697592401134318
455 706881948332535
456 716278437368666
457 725773581748257
458 735377868871710
459 745084191429662
460 754902095181828
461 764821484133564
462 774853694234411
463 784992096589642
464 795245530418136
465 805604321153842
466 816080455968433
467 826665570540230
468 837369756367058
469 848184055752416
470 859118861651199
471 870166574645165
472 881337399875039
473 892622014043593
474 904032003139269
475 915558892182655
476 927212934836670
477 938983557764490
478 950885169267406
479 962907498536847
480 975061095218126
481 987336306253724
482 999744384904259
483 1012277841572537
484 1024948797127277
485 1037744876599581
486 1050678459661289
487 1063742020232690
488 1076946017928179
489 1090279675900768
490 1103756940642840
491 1117367559836356
492 1131123346722384
493 1145012960221932
494 1159051155229086
495 1173226771109264
496 1187553062019039
497 1202017303812304
498 1216634154247304
499 1231394482268572
500 1246309347731255
501 1261366685023012
502 1276582537221028
503 1291945515305308
504 1307468663177236
505 1323139517403364
506 1338972568058232
507 1354956795678588
508 1371108021481384
509 1387411825558430
510 1403882454738810
511 1420510938300333
512 1437308804730929
513 1454264253883671
514 1471394126526016
515 1488685120628410
516 1506152487886863
517 1523781021125473
518 1541589112673890
519 1559564600583306
520 1577722169057459
521 1596046182765906
522 1614553489154783
523 1633234508719683
524 1652102658707350
525 1671142552828720
526 1690373669170665
527 1709781930253813
528 1729383124126710
529 1749163015005356
530 1769138326226658
531 1789295450746830
532 1809653042586810
533 1830193592157511
534 1850936662872471
535 1871868272498624
536 1893004357582529
537 1914328862389589
538 1935862736763652
539 1957591322302184
540 1979530584775132
541 2001664668438324
542 2024012232064868
543 2046560229389619
544 2069327686437330
545 2092294713282088
546 2115481614903201
547 2138875208792852
548 2162493491013246
549 2186317360695211
550 2210370211485247
551 2234634790126572
552 2259128897513042
553 2283836575327542
554 2308778433557891
555 2333938675753824
556 2359337151148506
557 2384953450346067
558 2410811507912843
559 2436895632858453
560 2463222546536034
561 2489774314451948
562 2516574880774930
563 2543606558103151
564 2570891328209067
565 2598406965741927
566 2626177275813978
567 2654184806401999
568 2682453489368340
569 2710960916769634
570 2739728618456509
571 2768742301039285
572 2798021807902621
573 2827545678201541
574 2857342401297544
575 2887390357026410
576 2917710783365076
577 2948282992929360
578 2979133158691448
579 3010242772977636
580 3041634733575377
581 3073285049923504
582 3105219558074469
583 3137422806437169
584 3169914731988357
585 3202671844515744
586 3235724360655843
587 3269048233412986
588 3302670892643493
589 3336567871252011
590 3370766086404502
591 3405244539622308
592 3440029096353015
593 3475096071284983
594 3510471463508248
595 3546137218727377
596 3582116104096494
597 3618382728410322
598 3654969630850546
599 3691854168639928
600 3729060624084045
601 3766563176452154
602 3804391359161636
603 3842524370797024
604 3880992650813505
605 3919762891961375
606 3958869062589345
607 3998289039091914
608 4038048041118110
609 4078121297084184
610 4118539677166529
611 4159279117924110
612 4200366227557955
613 4241775828261081
614 4283540404446800
615 4325632816016478
616 4368085359955609
617 4410867042110301
618 4454011868239349
619 4497496847075146
620 4541349178125937
621 4585537951291359
622 4630101340919004
623 4675012740243298
624 4720301796254574
625 4765938164344263
626 4811954751689868
627 4858327452235058
628 4905091623593040
629 4952211320366487
630 4999721557228030
631 5047599701587944
632 5095872161240481
633 5144510176100564
634 5193554120336102
635 5242972514313803
636 5292797043906691
637 5342995562851342
638 5393608690422588
639 5444606553447468
640 5496023423186476
641 5547823497500329
642 5600044324445935
643 5652661664037195
644 5705708991545145
645 5759148241266077
646 5813024724036389
647 5867302680300179
648 5922020469813859
649 5977144995354304
650 6032710551576648
651 6088690810780981
652 6145122809822913
653 6201968993643506
654 6259271573782324
655 6316999624921664
656 6375188144670996
657 6433798468182979
658 6492879566344894
659 6552396185450044
660 6612385349427680
661 6672807703433695
662 6733708418319766
663 6795056059847054
664 6856890542648881
665 6919169650912135
666 6981936199937370
667 7045162233185563
668 7108883452243529
669 7173061571100747
670 7237743977358501
671 7302893459892334
672 7368548886777686
673 7434673917344312
674 7501314161727834
675 7568430088540549
676 7636071083353611
677 7704187783704330
678 7772831355939832
679 7841969691414085
680 7911638150558035
681 7981795346420742
682 8052492768887744
683 8123693674926784
684 8195442090050427
685 8267690738273580
686 8340490327311431
687 8413802797542084
688 8487678622182709
689 8562067794370684
690 8637019491974347
691 8712499503946044
692 8788548644903127
693 8865123175020476
694 8942281982866989
695 9019978116128365
696 9098257036244792
697 9177072831647607
698 9256482504806125
699 9336442918780784
700 9417005433835789
701 9498116228050342
702 9579830138144509
703 9662111757039315
704 9745004930885892
705 9828460597671584
706 9912536853920713
707 9997188783507643
708 10082469402524852
709 10168328086482416
710 10254817846496090
711 10341896841482977
712 10429619585779610
713 10517930299404738
714 10606889630908190
715 10696453925919766
716 10786672927918454
717 10877490336427646
718 10968977727085957
719 11061084222441730
720 11153855293774649
721 11247244859645764
722 11341308439157283
723 11436005094796860
724 11531392491074502
725 11627407229454826
726 11724114502364729
727 11821466704594576
728 11919520661928070
729 12018218575897308
730 12117627637570721
731 12217692663109688
732 12318474515012993
733 12419915393141562
734 12522082216900017
735 12624922005675613
736 12728495834751031
737 12832742521116451
738 12937724903837943
739 13043404136551126
740 13149829123481925
741 13256936368230638
742 13364804425970470
743 13473377953485149
744 13582717904829901
745 13692758539595212
746 13803569999873541
747 13915098831289770
748 14027415497953084
749 14140449470285756
750 14254270927621347
751 14368831991590256
752 14484182894359523
753 14600270685196524
754 14717171676611760
755 14834819047989493
756 14953281681870532
757 15072491528815391
758 15192527781146771
759 15313330507209324
760 15434969376936271
761 15557372678744995
762 15680610984858078
763 15804639345933061
764 15929519513602018
765 16055176022375007
766 16181697857285891
767 16309015936976382
768 16437204024613102
769 16566191631189494
770 16696052866925746
771 16826731110746303
772 16958300327677317
773 17090682472208993
774 17223961020257599
775 17358077964875050
776 17493093950741968
777 17628939059220914
778 17765706009334194
779 17903326996564590
780 18041868177511406
781 18181257026431823
782 18321580288561153
783 18462770317226650
784 18604912495178614
785 18747917303583437
786 18891871733444672
787 19036712250492488
788 19182520186237790
789 19329213292483617
790 19476880303087809
791 19625452406517314
792 19775001112022101
793 19925458541254871
794 20076906765966648
795 20229275679103281
796 20382653914300835
797 20536946485489568
798 20692255098229120
799 20848513509382251
800 21005788882086613
801 21163998823033206
802 21323246436919737
803 21483456062351857
804 21644712507320061
805 21806925473920738
806 21970190834990147
807 22134435773285472
808 22299750665591134
809 22466046203479823
810 22633410489323863
811 22801779440269766
812 22971227617537408
813 23141674598792925
814 23313228921392065
815 23485799467823331
816 23659474493051664
817 23834167523554761
818 24009976918957526
819 24186828500175824
820 24364817035221510
821 24543837190117328
822 24723992758832445
823 24905216850473378
824 25087593696271684
825 25271022952421589
826 25455620016160069
827 25641297289276085
828 25828151188472063
829 26016083428449238
830 26205201079049784
831 26395419589344005
832 26586835856184744
833 26779355266896051
834 26973080724066664
835 27167934723389085
836 27364006031028226
837 27561190823972760
838 27759623418301520
839 27959200239308021
840 28160016177931174
841 28361974958991034
842 28565185992226576
843 28769564796338627
844 28975225434385666
845 29182044192562901
846 29390136434494179
847 29599426838951300
848 29810005599633503
849 30021775748748728
850 30234848362289341
851 30449134683851151
852 30664736946445828
853 30881547070387145
854 31099692790015434
855 31319069894854832
856 31539796232663525
857 31761745515645872
858 31985050906811605
859 32209626354653929
860 32435561018181402
861 32662748365775281
862 32891319919508637
863 33121178869961810
864 33352428883125660
865 33584959581703421
866 33818891341245676
867 34054122623113194
868 34290787836870547
869 34528756263863444
870 34768152980084668
871 35008883642657698
872 35251053147908829
873 35494550157234983
874 35739515216583275
875 35985833075552687
876 36233622027552881
877 36482760157109853
878 36733386132711017
879 36985396053346705
880 37238911825412854
881 37493797906062239
882 37750186183515862
883 38007994830548502
884 38267331406121175
885 38528058966927734
886 38790337585171050
887 39054046233476866
888 39319308457178723
889 39586004107987181
890 39854260960345215
891 40123975384601445
892 40395277155716667
893 40668032016975196
894 40942388946636257
895 41218231986767017
896 41495678091166037
897 41774600670503719
898 42055162890047230
899 42337235286731441
900 42620944898097676
901 42906161948456481
902 43193023680846560
903 43481430630717040
904 43771518992980552
905 44063138058903192
906 44356431730379367
907 44651295082069968
908 44947865411896135
909 45245988710251020
910 45545838572258500
911 45847278099281500
912 46150439992842933
913 46455193167613309
914 46761695818187212
915 47069817567083477
916 47379708671341100
917 47691207499436969
918 48004482266630482
919 48319426093550342
920 48636144773540875
921 48954506689066789
922 49274680744431168
923 49596534826323950
924 49920221024538842
925 50245572166724059
926 50572766362479016
927 50901658642900082
928 51232420583246145
929 51564890226070658
930 51899213549007597
931 52235286521910994
932 52573241916448495
933 52912929659009907
934 53254534798994717
935 53597906625910138
936 53943191051390162
937 54290236273351669
938 54639217039140584
939 54990001298024970
940 55342750308044670
941 55697277736754200
942 56053772930887146
943 56412114796203092
944 56772436404107132
945 57134575202288122
946 57498727494105372
947 57864735308467233
948 58232768027748702
949 58602660160040419
950 58974585546228801
951 59348398589921837
952 59724273554223829
953 60102038082535239
954 60481870819576424
955 60863633563064490
956 61247480516594069
957 61633237795690497
958 62021119533881236
959 62410966262476479
960 62802928244151590
961 63196842511231598
962 63592885700502596
963 63990923981703544
964 64391148091283658
965 64793338603180844
966 65197703790757912
967 65604099445292274
968 66012692533811481
969 66423301735919063
970 66836133419713149
971 67251023164405390
972 67668131201632818
973 68087298550159837
974 68508725253228107
975 68932239844227226
976 69358027436799583
977 69785893114163921
978 70216049312695846
979 70648344336719166
980 71082943953640629
981 71519649019344765
982 71958695335898748
983 72399899807533638
984 72843458942503529
985 73289167258892780
986 73737229501921345
987 74187490217536725
988 74640152817987111
989 75095006223813465
990 75552246798729732
991 76011738863333145
992 76473637578504990
993 76937757817216167
994 77404340102161195
995 77873188273521343
996 78344501162158537
997 78818062270246301
998 79294115327295251
999 79772478203825208
1000 80253349738617697