5 3
6 7
7 18
8 47
9 123
10 319
11 806
12 1954
13 4506
14 9859
15 20495
16 40615
17 77040
18 140455
19 247085
20 420906
21 696509
22 1122751
23 1767344
24 2722551
25 4112177
26 6100063
27 8900312
28 12789498
29 18121132
30 25342683
31 35015477
32 47837823
33 64671742
34 86573703
35 114829799
36 150995826
37 196942759
38 254908151
39 327554014
40 418031775
41 530054935
42 667980095
43 836897050
44 1042728690
45 1292341486
46 1593667379
47 1955837931
48 2389331639
49 2906135356
50 3519920807
51 4246237233
52 5102721242
53 6109324993
54 7288563887
55 8665784988
56 10269457447
57 12131486253
58 14287550687
59 16777468908
60 19645590154
61 22941216096
62 26719052939
63 31039695921
64 35970147919
65 41584373930
66 47963893255
67 55198411275
68 63386492770
69 72636278795
70 83066249191
71 94806032874
72 107997268111
73 122794515059
74 139366222911
75 157895754062
76 178582467778
77 201642865922
78 227311803363
79 255843765767
80 287514217543
81 322621022792
82 361485942183
83 404456208757
84 451906185738
85 504239109509
86 561888920991
87 625322188744
88 695040127191
89 771580713449
90 855520906335
91 947478971200
92 1048116914330
93 1158143030740
94 1278314569275
95 1409440519021
96 1552384521119
97 1708067910166
98 1877472889479
99 2061645844591
100 2261700799442
101 2478823019823
102 2714272768727
103 2969389218358
104 3245594523647
105 3544398062223
106 3867400845887
107 4216300108738
108 4592894077202
109 4999086927318
110 5436893934739
111 5908446823011
112 6415999315799
113 6961932898836
114 7548762797479
115 8179144175865
116 8855878563770
117 9581920517385
118 10360384520335
119 11194552131380
120 12087879385351
121 13044004453989
122 14066755573471
123 15160159245524
124 16328448719146
125 17576072760072
126 18907704715243
127 20328251879657
128 21842865173103
129 23456949134402
130 25176172240903
131 27006477561107
132 28954093748418
133 31025546384147
134 33227669678023
135 35567618534594
136 38052880994031
137 40691291055979
138 43491041895231
139 46460699478134
140 49609216588770
141 52945947274090
142 56480661717315
143 60223561549055
144 64185295605735
145 68376976145056
146 72810195528359
147 77497043379901
148 82450124233194
149 87682575674701
150 93208086995327
151 99040918360288
152 105195920508087
153 111688554989473
154 118534914957407
155 125751746519208
156 133356470662202
157 141367205764348
158 149802790701467
159 158682808562853
160 168027610987199
161 177858343130926
162 188196969281159
163 199066299125751
164 210490014692914
165 222492697973175
166 235099859236535
167 248337966057870
168 262234473063775
169 276817852414215
170 292117625032511
171 308164392597354
172 324989870310706
173 342626920455614
174 361109586758131
175 380473129567707
176 400754061870583
177 421990186150892
178 444220632114343
179 467485895289537
180 491827876522138
181 517289922377297
182 543916866465903
183 571755071710412
184 600852473566183
185 631258624214429
186 663024737743071
187 696203736331964
188 730850297459146
189 767020902144944
190 804773884250955
191 844169480851105
192 885269883692175
193 928139291761370
194 972843964978695
195 1019452279032091
196 1068034781373474
197 1118664248394011
198 1171415743797159
199 1226366678188186
200 1283596869899087
201 1343188607068003
202 1405226710992447
203 1469798600775838
204 1536994359287042
205 1606906800452818
206 1679631537903267
207 1755267054990583
208 1833914776201607
209 1915679139984888
210 2000667673013159
211 2088991065902341
212 2180763250408394
213 2276101478123541
214 2375126400693599
215 2477962151578360
216 2584736429377175
217 2695580582742105
218 2810629696901215
219 2930022681814800
220 3053902361987546
221 3182415567959844
222 3315713229501691
223 3453950470532829
224 3597286705792991
225 3745885739286342
226 3899915864524423
227 4059549966592127
228 4224965626061458
229 4396345224778047
230 4573876053545623
231 4757750421733862
232 4948165768835263
233 5145324777996927
234 5349435491553343
235 5560711428586514
236 5779371704539986
237 6005641152913574
238 6239750449065811
239 6481936236151379
240 6732441253221015
241 6991514465511620
242 7259411196954535
243 7536393264930185
244 7822729117297530
245 8118693971727001
246 8424569957365839
247 8740646258864996
248 9067219262796999
249 9404592706494421
250 9753077829338847
251 10112993526530468
252 10484666505368682
253 10868431444074328
254 11264631153184427
255 11673616739550553
256 12095747772972207
257 12531392455496818
258 12980927793418247
259 13444739772005923
260 13923223532996994
261 14416783554884131
262 14925833836031879
263 15450798080654706
264 15992109887690159
265 16550212942600795
266 17125561212138815
267 17718619142107590
268 18329861858154530
269 18959775369630010
270 19608856776547331
271 20277614479678959
272 20966568393824551
273 21676250164286544
274 22407203386589351
275 23159983829478477
276 23935159661236138
277 24733311679350237
278 25555033543573823
279 26400932012412432
280 27271627183076983
281 28167752734940177
282 29089956176534623
283 30038899096131192
284 31015257415936378
285 32019721649947724
286 33052997165506651
287 34115804448588309
288 35208879372868351
289 36332973472606814
290 37488854219389575
291 38677305302768135
292 39899126914838770
293 41155136038802375
294 42446166741546615
295 43773070470292286
296 45136716353346079
297 46537991505002231
298 47977801334635839
299 49457069860030906
300 50976740024986482
301 52537774021244558
302 54141153614783667
303 55787880476522443
304 57478976517477687
305 59215484228421788
306 60998467024084647
307 62829009591945553
308 64708218245660762
309 66637221283172833
310 68617169349548079
311 70649235804588796
312 72734617095267239
313 74874533133028621
314 77070227676010719
315 79322968716227980
316 81634048871768330
317 84004785784051200
318 86436522520195595
319 88930627980547345
320 91488497311414991
321 94111552323064074
322 96801241913019911
323 99559042494729259
324 102386458431631586
325 105285022476690987
326 108256296217440103
327 111301870526587722
328 114423366018242063
329 117622433509802067
330 120900754489569343
331 124260041590133742
332 127702039067585858
333 131228523286610082
334 134841303211512163
335 138542220903235559
336 142333152022421191
337 146216006338565544
338 150192728245332391
339 154265297282073749
340 158435728661616010
341 162706073804367525
342 167078420878804255
343 171554895348390440
344 176137660524991575
345 180828918128837321
346 185630908855092319
347 190545912947093216
348 195576250776310554
349 200724283429094516
350 205992413300263867
351 211383084693597773
352 216898784429290527
353 222542042458429558
354 228315432484557447
355 234221572592379023
356 240263125883674962
357 246442801120483663
358 252763353375613527
359 259227584690548118
360 265838344740807039
361 272598531508825711
362 279511091964417599
363 286579022752882786
364 293805370890827154
365 301193234469756790
366 308745763367512595
367 316466159967610435
368 324357679886552535
369 332423632709176180
370 340667382732106151
371 349092349715377689
372 357702009642297146
373 366499895487607849
374 375489597994029071
375 384674766457236372
376 394059109519351943
377 403646395971013957
378 413440455562094303
379 423445179821134452
380 433664522883569578
381 444102502328811432
382 454763200026260843
383 465650762990321097
384 476769404244483823
385 488123403694559394
386 499717109011124231
387 511554936521257779
388 523641372109642306
389 535980972129099059
390 548578364320634695
391 561438248743072290
392 574565398712341615
393 587964661750503755
394 601640960544585535
395 615599293915299606
396 629844737795726434
397 644382446220034826
398 659217652322318019
399 674355669345622751
400 689801891661249127
401 705561795798399488
402 721640941484254887
403 738044972694558173
404 754779618714783082
405 771850695211969133
406 789264105317302527
407 807025840719523648
408 825141982769242167
409 843618703594241153
410 862462267225851999
411 881679030736482376
412 901275445388379834
413 921258057793714076
414 941633511086061339
415 962408546103374725
416 983590002582524735
417 1005184820365494670
418 1027200040617315975
419 1049642807055829015
420 1072520367193355186
421 1095840073590366679
422 1119609385121240631
423 1143835868252184814
424 1168527198331422431
425 1193691160891724007
426 1219335652965374783
427 1245468684411666442
428 1272098379257002418
429 1299232977047706462
430 1326880834215624563
431 1355050425456610747
432 1383750345121987703
433 1412989308623073612
434 1442776153848866983
435 1473119842596981729
436 1504029462017925146
437 1535514226072811889
438 1567583477004607471
439 1600246686822995244
440 1633513458802961255
441 1667393528997191805
442 1701896767762378975
443 1737033181299529820
444 1772812913208375370
445 1809246246055976016
446 1846343602959620299
447 1884115549184114561
448 1922572793753561359
449 1961726191077724986
450 2001586742593082887
451 2042165598418662203
452 2083474059026761122
453 2125523576928655163
454 2168325758375388967
455 2211892365073754618
456 2256235315917557967
457 2301366688734274883
458 2347298722047199807
459 2394043816853189438
460 2441614538416104834
461 2490023618076055666
462 2539283955074550819
463 2589408618395659991
464 2640410848623291399
465 2692304059814691160
466 2745101841390270375
467 2798817960039866405
468 2853466361645545290
469 2909061173221052725
470 2965616704868021471
471 3023147451749043544
472 3081668096077715991
473 3141193509125769529
474 3201738753247389791
475 3263319083920841392
476 3325949951807505498
477 3389647004828442052
478 3454426090258588283
479 3520303256838705597
480 3587294756905187423
481 3655417048537841062
482 3724686797725757063
483 3795120880551380127
484 3866736385392896018
485 3939550615145049439
486 4013581089458508311
487 4088845546997890374
488 4165361947718568511
489 4243148475162371679
490 4322223538772298815
491 4402605776226363570
492 4484314055790688210
493 4567367478691965510
494 4651785381509407955
495 4737587338586304051
496 4824793164461302039
497 4913422916319541796
498 5003496896463756199
499 5095035654805463721
500 5188059991376374522
501 5282590958860132793
502 5378649865144518607
503 5476258275894233028
504 5575438017144390727
505 5676211177914844853
506 5778600112845469407
507 5882627444852524868
508 5988316067806233322
509 6095689149229689848
510 6204770133019237419
511 6315582742186433081
512 6428150981621733679
513 6542499140880029906
514 6658651796988157959
515 6776633817274518595
516 6896470362220933890
517 7018186888336872515
518 7141809151056174855
519 7267363207656409810
520 7394875420200995631
521 7524372458504217659
522 7655881303119276351
523 7789429248349499494
524 7925043905282853026
525 8062753204849885402
526 8202585400905240963
527 8344569073332878287
528 8488733131175130023
529 8635106815785741232
530 8783719704007023783
531 8934601711371264877
532 9087783095326528298
533 9243294458486987517
534 9401166751907930303
535 9561431278385575024
536 9724119695781839351
537 9889264020374202609
538 10056896630230803551
539 10227050268610915864
540 10399758047390944250
541 10575053450516084460
542 10752970337477791195
543 10933542946817198325
544 11116805899654636415
545 11302794203245393086
546 11491543254561862279
547 11683088843902229031
548 11877467158525836914
549 12074714786315385831
550 12274868719466108407
551 12477966358202073758
552 12684045514519767967
553 12893144415959101143
554 13105301709401991487
555 13320556464898677338
556 13538948179521908722
557 13760516781249170478
558 13985302632873089587
559 14213346535940179883
560 14444689734718077879
561 14679373920191423996
562 14917441234086544039
563 15158934272925086321
564 15403896092106770394
565 15652370210021403905
566 15904400612190324655
567 16160031755437425500
568 16419308572089920295
569 16682276474209009645
570 16948981357850605791
571 17219469607356276524
572 17493788099674568586
573 17771984208712871584
574 18054105809719984011
575 18340201283699543537
576 18630319521854484303
577 18924509930062684522
578 19222822433383968263
579 19525307480598625867
580 19832016048777618018
581 20142999647884629067
582 20458310325410135783
583 20778000671037658282
584 21102123821342360463
585 21430733464522167859
586 21763883845161571391
587 22101629769028286094
588 22444026607902934466
589 22791130304441924674
590 23142997377073694435
591 23499684924928491975
592 23861250632801866055
593 24227752776152037640
594 24599250226131326375
595 24975802454651805621
596 25357469539485360394
597 25744312169398323141
598 26136391649320862879
599 26533769905551303816
600 26936509490995550167
601 27344673590441794473
602 27758326025870687327
603 28177531261801147008
604 28602354410671988122
605 29032861238259548948
606 29469118169131497787
607 29911192292136999213
608 30359151365933421727
609 30813063824549768918
610 31272998782987016839
611 31739026042855540911
612 32211216098049816274
613 32689640140460576111
614 33174370065724613079
615 33665478479012409590
616 34163038700853783295
617 34667124773001734735
618 35177811464334684735
619 35695174276797289730
620 36219289451380023826
621 36750233974137717014
622 37288085582247239571
623 37832922770104523299
624 38384824795461110871
625 38943871685600425172
626 39510144243553951143
627 40083724054357523257
628 40664693491347912378
629 41253135722499906377
630 41849134716804079503
631 42452775250685446132
632 43064142914463195143
633 43683324118851701797
634 44310406101503014623
635 44945476933591015444
636 45588625526437451306
637 46239941638180037704
638 46899515880482833131
639 47567439725289085609
640 48243805511616752495
641 48928706452396895490
642 49622236641355153415
643 50324491059936495955
644 51035565584273462210
645 51755556992198088531
646 52484562970297730759
647 53222682121014986626
648 53970013969791924719
649 54726658972258827051
650 55492718521467652927
651 56268294955170432438
652 57053491563142798562
653 57848412594552867498
654 58653163265375677507
655 59467849765853397183
656 60292579268001514727
657 61127459933161220448
658 61972600919598195367
659 62828112390148019453
660 63694105519908413674
661 64570692503978530701
662 65457986565245509759
663 66356101962218511776
664 67265153996910451639
665 68185259022767645025
666 69116534452647587935
667 70059098766845087720
668 71013071521166965050
669 71978573355055546940
670 72955725999761171611
671 73944652286563926629
672 74945476155044842431
673 75958322661406764014
674 76983317986845124231
675 78020589445968842807
676 79070265495271575858
677 80132475741653541367
678 81207350950994146743
679 82295023056775645262
680 83395625168758048863
681 84509291581705525447
682 85636157784164509503
683 86776360467293755562
684 87930037533746564658
685 89097328106605414654
686 90278372538369225971
687 91473312419993494939
688 92682290589983527671
689 93905451143541008044
690 95142939441764134055
691 96394902120901557505
692 97661487101660362650
693 98942843598568320145
694 100239122129390653295
695 101550474524601554316
696 102877053936910688999
697 104219014850844928861
698 105576513092385550559
699 106949705838661143036
700 108338751627696463562
701 109743810368217484528
702 111165043349512873547
703 112602613251352150113
704 114056684153960762767
705 115527421548052331418
706 117014992344918300167
707 118519564886575246683
708 120041308955970094882
709 121580395787243478363
710 123136998076051502759
711 124711289989946155866
712 126303447178814615119
713 127913646785377702691
714 129542067455747739199
715 131188889350046047710
716 132854294153080360450
717 134538465085082381330
718 136241586912505758115
719 137963845958884718775
720 139705430115753627271
721 141466528853627714744
722 143247333233045242791
723 145048035915671356229
724 146868831175463883466
725 148709914909901343317
726 150571484651273417823
727 152453739578034151352
728 154356880526218136983
729 156281110000919951897
730 158226632187837104223
731 160193652964876754512
732 162182379913826475738
733 164193022332089316452
734 166225791244483432443
735 168280899415106552989
736 170358561359265548511
737 172458993355471367174
738 174582413457499608711
739 176729041506517004479
740 178899099143274073490
741 181092809820364224895
742 183310398814549578135
743 185552093239153772710
744 187818122056522040255
745 190108716090548812351
746 192424108039273138239
747 194764532487542187346
748 197130225919743112274
749 199521426732603548646
750 201938375248061028947
751 204381313726201588243
752 206850486378267840407
753 209346139379736804228
754 211868520883467759527
755 214417881032920414153
756 216994471975443663482
757 219598547875635224793
758 222230364928772429647
759 224890181374314458148
760 227578257509476299719
761 230294855702874725781
762 233040240408246560479
763 235814678178239536356
764 238618437678276022634
765 241451789700489914520
766 244315007177736972715
767 247208365197678903065
768 250132141016941467055
769 253086614075346914610
770 256072066010221031431
771 259088780670775093859
772 262137044132563025026
773 265217144712014046819
774 268329372981041122951
775 271474021781725489202
776 274651386241077567663
777 277861763785874562587
778 281105454157575036223
779 284382759427310763782
780 287693984010956167458
781 291039434684275630202
782 294419420598148990723
783 297834253293875521967
784 301284246718556696103
785 304769717240558039824
786 308290983665050384551
787 311848367249630816909
788 315442191720023635626
789 319072783285861621789
790 322740470656547930175
791 326445585057198910160
792 330188460244668165495
793 333969432523652163025
794 337788840762877701215
795 341647026411371550136
796 345544333514812575354
797 349481108731966658956
798 353457701351204731739
799 357474463307104231381
800 361531749197134302207
801 365629916298425052958
802 369769324584621189767
803 373950336742820342343
804 378173318190596402162
805 382438637093108192263
806 386746664380293789047
807 391097773764150817278
808 395492341756103040287
809 399930747684453568183
810 404413373711925007679
811 408940604853286877946
812 413512828993070617714
813 418130436903372509646
814 422793822261744848819
815 427503381669175682955
816 432259514668157452855
817 437062623760844862300
818 441913114427302307495
819 446811395143841196945
820 451757877401447493466
821 456752975724299810849
822 461797107688378398511
823 466890693940165348284
824 472034158215436358311
825 477227927358144389837
826 482472431339395553503
827 487768103276517562572
828 493115379452221091338
829 498514699333854377792
830 503966505592751410443
831 509471244123674040017
832 515029364064348357583
833 520641317815095681482
834 526307561058558496263
835 532028552779521687659
836 537804755284829418466
837 543636634223397991019
838 549524658606325042791
839 555469300827095422474
840 561471036681884094735
841 567530345389956422675
842 573647709614166177855
843 579823615481551628590
844 586058552604030058050
845 592353014099191064546
846 598707496611188997219
847 605122500331734881191
848 611598529021188187079
849 618136090029748800616
850 624735694318749548967
851 631397856482049641173
852 638123094767529381002
853 644911931098686511333
854 651764891096334550047
855 658682504100403478248
856 665665303191843142487
857 672713825214629733513
858 679828610797875704927
859 687010204378043495968
860 694259154221263423514
861 701576012445756109236
862 708961335044359808699
863 716415681907163010061
864 723939616844242670879
865 731533707608508462390
866 739198525918653391495
867 746934647482211171535
868 754742652018720713810
869 762623123282998112655
870 770576649088516497751
871 778603821330894128214
872 786705236011491103871
873 794881493261115069999
874 803133197363836292671
875 811460956780912482722
876 819865384174823747218
877 828347096433418048182
878 836906714694167549203
879 845544864368536231427
880 854262175166459161303
881 863059281120933793332
882 871936820612723691943
883 880895436395175057497
884 889935775619146442298
885 899058489858052043369
886 908264235133018959631
887 917553671938158802004
888 926927465265954045831
889 936386284632759515909
890 945930804104419395295
891 955561702322000149940
892 965279662527639762090
893 975085372590513666280
894 984979525032917782635
895 994962817056469043081
896 1005035950568423806959
897 1015199632208114563426
898 1025454573373505318919
899 1035801490247866068851
900 1046241103826566753602
901 1056774139943991099763
902 1067401329300570748487
903 1078123407489940073698
904 1088941115026212093807
905 1099855197371375881483
906 1110866404962815876927
907 1121975493240953510998
908 1133183222677011545442
909 1144490358800901538378
910 1155897672229234844099
911 1167405938693457557151
912 1179015939068109811559
913 1190728459399209846976
914 1202544290932763254439
915 1214464230143397815325
916 1226489078763124348010
917 1238619643810223977645
918 1250856737618262245375
919 1263201177865230474240
920 1275653787602814809911
921 1288215395285793355329
922 1300886834801561819231
923 1313668945499788099464
924 1326562572222196222906
925 1339568565332480064732
926 1352687780746347270683
927 1365921079961693806917
928 1379269330088909562943
929 1392733403881315434062
930 1406314179765732310663
931 1420012541873182402647
932 1433829380069723328178
933 1447765589987415396887
934 1461822073055422518583
935 1475999736531247169454
936 1490299493532099848671
937 1504722263066403459239
938 1519268970065433047871
939 1533940545415091339594
940 1548737925987820503730
941 1563662054674650588830
942 1578713880417385065075
943 1593894358240923913595
944 1609204449285724703095
945 1624645120840402095116
946 1640217346374466220199
947 1655922105571200368161
948 1671760384360678436634
949 1687733174952922582961
950 1703841475871201525487
951 1720086291985469941228
952 1736468634545949407847
953 1752989521216851338813
954 1769649976110242361567
955 1786451029820052589468
956 1803393719456227239242
957 1820479088679022046608
958 1837708187733442933707
959 1855082073483830382913
960 1872601809448588972559
961 1890268465835062531066
962 1908083119574555366919
963 1926046854357500032891
964 1944160760668772083874
965 1962425935823152288635
966 1980843484000936756775
967 1999414516283695443130
968 2018140150690179492815
969 2037021512212377891075
970 2056059732851723883071
971 2075255951655451629694
972 2094611314753103566466
973 2114126975393188933554
974 2133804093979993945891
975 2153643838110544073367
976 2173647382611718902023
977 2193815909577520048152
978 2214150608406492598183
979 2234652675839300548197
980 2255323315996456717898
981 2276163740416207614837
982 2297175168092573725663
983 2318358825513545712152
984 2339715946699436990743
985 2361247773241393175289
986 2382955554340058863711
987 2404840546844402250224
988 2426904015290698045786
989 2449147231941669190404
990 2471571476825787841915
991 2494178037776736126845
992 2516968210473027139935
993 2539943298477786679910
994 2563104613278696210055
995 2586453474328097533151
996 2609991209083259671314
997 2633719153046808442271
998 2657638649807319224599
999 2681751051080073405446
1000 2706057716747979005247