12 2
13 22
14 136
15 618
16 2278
17 7180
18 20140
19 51100
20 120046
21 263192
22 545644
23 1075414
24 2031190
25 3690972
26 6485546
27 11052982
28 18333194
29 29664162
30 46934548
31 72757550
32 110684340
33 165506866
34 243561442
35 353198516
36 505188930
37 713484770
38 995688310
39 1374225240
40 1876917926
41 2538650248
42 3402080378
43 4519967202
44 5956002630
45 7787971606
46 10108784712
47 13030558138
48 16686068246
49 21233624602
50 26859435192
51 33783123574
52 42261287594
53 52593738112
54 65128824172
55 80269382688
56 98481837332
57 120300716896
58 146341817418
59 177305623990
60 213996428140
61 257321064352
62 308318391546
63 368151254198
64 438146676490
65 519781875054
66 614737076800
67 724870503414
68 852291427670
69 999320042004
70 1168579890430
71 1362946299406
72 1585659391426
73 1840255323614
74 2130706555386
75 2461334995384
76 2836976002324
77 3262879920698
78 3744895041274
79 4289361695562
80 4903311084072
81 5594358689072
82 6370908338722
83 7242060947570
84 8217805437622
85 9308967367350
86 10527358531006
87 11885794026688
88 13398176637618
89 15079611849516
90 16946380449724
91 19016224929410
92 21308125829024
93 23842826915936
94 26642381925650
95 29730953454132
96 33134043511786
97 36879718026590
98 40997355338366
99 45519420265904
100 50479665627888
101 55915515076924
102 61865584908372
103 68372920391282
104 75481557726432
105 83240804232220
106 91700786185734
107 100917811366468
108 110948715376624
109 121857675694548
110 133708965936680
111 146575457538392
112 160529732297478
113 175654277799414
114 192030809067232
115 209752538906918
116 228911243676290
117 249611868530102
118 271957412000544
119 296065695869224
120 322052002948526
121 350048354701338
122 380183576139096
123 412605101239070
124 447456792882340
125 484902813771018
126 525103543147158
127 568241391261498
128 614494907510876
129 664066128125268
130 717153776341254
131 773980968940742
132 834768634303304
133 899762540571422
134 969208137419646
135 1043375337662556
136 1122536735729452
137 1206987828168702
138 1297031313577774
139 1392989701598086
140 1495198982844932
141 1604010133111734
142 1719796013806050
143 1842937286982248
144 1973847929047794
145 2112939195685098
146 2260670752310168
147 2417485629479146
148 2583894020342594
149 2760371343993860
150 2947484557114952
151 3145741295271902
152 3355771799726254
153 3578116444787916
154 3813475434782054
155 4062421324042382
156 4325733331125358
157 4604014179172046
158 4898131473616826
159 5208717244499078
160 5536736823308696
161 5882849047270074
162 6248130024200494
163 6633260352137256
164 7039440285506314
165 7467369201768892
166 7918384530092316
167 8393198667623512
168 8893304960805344
169 9419419315951912
170 9973209951829030
171 10555389546840192
172 11167819667350426
173 11811199440325230
174 12487609888636468
175 13197720419409938
176 13943858450861422
177 14726651633347436
178 15548699516584350
179 16410570389945138
180 17315172592901198
181 18262990037725992
182 19257277079459280
183 20298412855036034
184 21390034049121192
185 22532387911182104
186 23729543266555186
187 24981577768265162
188 26293044315925772
189 27663819013556042
190 29098989037181984
191 30598187838908748
192 32167104750191460
193 33805076934042946
194 35518465886121996
195 37306263643502010
196 39175574139777380
197 41124985219037910
198 43162433069324896
199 45286025390377376
200 47504626320458824
201 49815792461942108
202 52229411271279758
203 54742404003908924
204 57365800708432350
205 60095784493667748
206 62944654606930374
207 65907753616221504
208 68998781170713450
209 72212123042919916
210 75563033596517410
211 79044803253231866
212 82674409962501962
213 86443906147261146
214 90372168434688470
215 94449852344771952
216 98697933802895376
217 103105489670599570
218 107695814713107516
219 112456209553590350
220 117412523584980894
221 122550069149301470
222 127897504762667418
223 133437917417726954
224 139203061137230296
225 145173531155550450
226 151384487000863178
227 157813750566954840
228 164500211374239732
229 171418614291733586
230 178611945214294810
231 186051515384645132
232 193784815403706522
233 201779355924995162
234 210087537367432696
235 218672683620225472
236 227592574507083872
237 236805877654107852
238 246376280264869144
239 256257318590102962
240 266519094961029482
241 277109528902531982
242 288105729570621180
243 299449388060339444
244 311225301928059028
245 323368325829731544
246 335971573063866826
247 348962456218199468
248 362443148978037780
249 376332834156171674
250 390743613385138554
251 405585668599891062
252 420981804178400674
253 436832450162117324
254 453272040689324558
255 470190250738593528
256 487734242950308394
257 505781965726780318
258 524494258645650150
259 543736420870006952
260 563684117813437088
261 584188731525579274
262 605442130454293360
263 627280568307142772
264 649913275303851036
265 673160244110048096
266 697249480567126812
267 721983133931621284
268 747609698210759202
269 773911974506133220
270 801160354920501774
271 829116916046811888
272 858075675406059692
273 887776018639060498
274 918537706371155390
275 950075584191329080
276 982736862252559322
277 1016210168854344546
278 1050872267214469428
279 1086383160007179164
280 1123151752606602558
281 1160807150950117828
282 1199792470254583530
283 1239703897222734130
284 1281021297592740432
285 1323304992697723230
286 1367074754315007580
287 1411852283461673970
288 1458199742948808636
289 1505597764423206102
290 1554653966642926086
291 1604804360166974298
292 1656705818858656634
293 1709746382631377028
294 1764635187485341894
295 1820709364828100388
296 1878733970093098002
297 1937990948623256980
298 1999305841435027686
299 2061901392960301984
300 2126667227597146254
301 2192763339148624178
302 2261147811993180012
303 2330912809720431598
304 2403090297177138448
305 2476699772641271292
306 2552851423189330586
307 2630487840640060106
308 2710802603292081336
309 2792655371280606794
310 2877329543267587360
311 2963596102668874040
312 3052833451304009882
313 3143718780120349456
314 3237731637008708824
315 3333448369918165642
316 3432457188692508618
317 3533226743758083450
318 3637460154456964022
319 3743512278009332852
320 3853208332687208130
321 3964781132475104652
322 4080186796071863268
323 4197528013741356220
324 4318899259612197408
325 4442265758202103496
326 4569868810646683998
327 4699526663633806642
328 4833637588021881522
329 4969863300490283510
330 5110768017934528550
331 5253848172753429644
332 5401843773366680858
333 5552074994738539846
334 5707469363241801850
335 5865159618092869976
336 6028271496204666472
337 6193739775706934952
338 6364899920845319178
339 6538476290422998924
340 6718027395541002976
341 6900054049206199580
342 7088350682639951608
343 7279182010153390176
344 7476591682249582292
345 7676594158658683990
346 7883497483016182264
347 8093050605855793544
348 8309841289311226282
349 8529337913493783092
350 8756423410610046476
351 8986269745964294494
352 9224072012551359480
353 9464687975550830814
354 9713643324817182642
355 9965463656811072718
356 10226022978902335126
357 10489497021517051074
358 10762127166085934486
359 11037718738325619112
360 11322902435739357552
361 11611091636108828244
362 11909326819390775430
363 12210609930844831708
364 12522412245931041006
365 12837300488383161202
366 13163203057997891042
367 13492225772199371126
368 13832777495775051418
369 14176481794225929448
370 14532251160884064144
371 14891199561578297542
372 15262774446790672558
373 15637549449034376552
374 16025533782479821130
375 16416737688551517910
376 16821757206001712478
377 17230007728040898908
378 17652709621576300736
379 18078646811940372068
380 18519694417279073832
381 18963980195615609856
382 19424061090503286060
383 19887372689926885548
384 20367198357912485706
385 20850237804818977532
386 21350535524016424528
387 21854029315241129302
388 22375553453426257998
389 22900242671798215942
390 23443774247978919000
391 23990427806702465294
392 24556762874507409208
393 25126176907704823296
394 25716141835095791368
395 26309126036109715446
396 26923577015864731964
397 27540972159447248480
398 28180779070840078138
399 28823456560821465612
400 29489523302113763348
401 30158366201201925914
402 30851630164121694224
403 31547556585756177160
404 32268966760447578068
405 32992929166978858788
406 33743472867816882556
407 34496432870218618726
408 35277135067468680946
409 36060093714879644458
410 36871988110668639862
411 37685985274455794308
412 38530148730649793872
413 39376229805802891694
414 40253781808573551850
415 41133036831634306966
416 42045101495170363620
417 42958664385175614060
418 43906414779272789928
419 44855420276751454108
420 45840077597729577168
421 46825711009941702554
422 47848495961046098608
423 48871992416119966168
424 49934181036183701996
425 50996770337845902722
426 52099693512990469264
427 53202662885967227820
428 54347644006361547012
429 55492337415829369776
430 56680763005559179188
431 57868511198454218998
432 59101829924054239688
433 60334029124777999204
434 61613673849090702850
435 62891784883619750298
436 64219260003887625622
437 65544720794613683844
438 66921601996276579852
439 68295924994205409716
440 69723761008730889948
441 71148532699030951964
442 72628954289695549768
443 74105725909586118138
444 75640444840160168534
445 77170853028493941498
446 78761541322806075656
447 80347307192370829548
448 81995730045710659154
449 83638524898241195394
450 85346540809249471136
451 87048133274523151136
452 88817544178553316418
453 90579800219883201050
454 92412515306288437538
455 94237232524560687536
456 96135267180362724478
457 98024355168462403170
458 99989649364836636532
459 101945128910119015208
460 103979744507153956990
461 106003546816874440906
462 108109668436465650900
463 110203852467685920156
464 112383564794895039246
465 114550317985920321072
466 116805846363045262360
467 119047239722247525164
468 121380949408808403280
469 123699201354242165844
470 126113330506873293962
471 128510806233953903808
472 131007752984855699554
473 133486671238053969712
474 136068995753073901478
475 138631743261542277300
476 141301843808223332190
477 143950977305056911762
478 146711437067575287910
479 149449328924090617298
480 152302915659749505858
481 155132132366641495656
482 158081413882927273476
483 161004716113532407002
484 164052470495379349030
485 167072392695710308844
486 170221611896918380560
487 173340909607220666788
488 176594337440319416216
489 179815991277393472292
490 183176614470461975102
491 186503326389453788574
492 189974375271356913110
493 193409102928843447414
494 196993507303692268252
495 200539464911965775754
496 204240430642958968876
497 207900496685406717602
498 211721511851040786588
499 215498855639083910432
500 219443041918089125256
501 223341130048247523226
502 227411927904343866140
503 231433820124619428324
504 235634991146886421216
505 239784083110547096184
506 244118951501063910332
507 248398977315644643564
508 252871229314602982976
509 257285439437055676110
510 261899132488717079084
511 266451158791451973876
512 271209824752466173392
513 275903690956399296366
514 280811279056498019452
515 285650429768566908688
516 290711311108728287246
517 295699631075057483322
518 300917556433096767034
519 306059375590010808608
520 311438568793279706320
521 316737535945978989386
522 322282707629587525378
523 327742970564188101726
524 333458094324921175540
525 339084314880613274738
526 344973908538373329714
527 350769941569821359238
528 356839075506353106370
529 362809350494766243428
530 369062232557348463758
531 375211761836747692924
532 381653216007716957742
533 387986071099911217626
534 394621557208044915318
535 401142459311981332454
536 407976422122549558376
537 414690764077042231860
538 421728355501953536996
539 428640425042553869548
540 435887517036818503374
541 443002348365073409686
542 450463634109358649674
543 457787021450761528806
544 465467993343807131706
545 473004451321619311528
546 480911427856539430646
547 488666313615169553700
548 496804237530906145588
549 504783781407826423220
550 513158509423176033772
551 521367450084856943370
552 529985773110283070874
553 538429814781780152702
554 547296936016524951356
555 555982768288102834276
556 565104922295216905574
557 574037518568717319848
558 583422008336635643264
559 592607429400290321734
560 602259717411995285640
561 611705152749487124470
562 621631877595589233866
563 631342529520761907300
564 641551535647228252824
565 651533848300684648912
566 662030867860345950470
567 672292556664296425742
568 683084646918340129046
569 693631153139003241610
570 704726744965163843498
571 715564905646399031718
572 726969997297056241314
573 738108101086230134216
574 749830196554746654464
575 761273913782640414772
576 773322064807751116338
577 785078655241600182400
578 797459135219859901778
579 809537489935622698818
580 822258265238913168398
581 834664293181850808938
582 847735087389753541370
583 860476480647456184050
584 873903835688698666796
585 886990141895082529732
586 900782516989715329700
587 914219869452258553702
588 928387700434199536260
589 942184256066343091834
590 956734359695027903212
591 970900356595437349086
592 985841702325520218506
593 1000383506393953146660
594 1015727299311738273572
595 1030653541507681600392
596 1046406864133254220164
597 1061728535107270704096
598 1077900899418277617460
599 1093624577958969429546
600 1110228005644369712294
601 1126362832769962900356
602 1143404674626363517786
603 1159962432919374444348
604 1177452762897455055808
605 1194440249536793103594
606 1212391970039554985208
607 1229818845576317869266
608 1248239563904687188188
609 1266118473015132419042
610 1285018858050556914156
611 1303356791629378005692
612 1322750682856811359360
613 1341557859881353469084
614 1361453117736770580296
615 1380743090817350536420
616 1401151002523499022924
617 1420930958032231260876
618 1441866371164261934306
619 1462147096254743494456
620 1483618109599935567556
621 1504414144674747328346
622 1526432696784784618448
623 1547751393082112004292
624 1570333406810045897158
625 1592186160695618176432
626 1615339962741675342122
627 1637742356615224772792
628 1661480565197769343344
629 1684440111187292619328
630 1708779801724246044154
631 1732308517169177541842
632 1757258227302361437442
633 1781372826018884616978
634 1806945884704996096876
635 1831654002725805878260
636 1857868719929815377452
637 1883183038067980238232
638 1910048141423033307088
639 1935986569395362551746
640 1963516133556807413010
641 1990086420305989221830
642 2018300073127688797264
643 2045515577303367577836
644 2074422217549765215658
645 2102302143765086996642
646 2131916620113481759644
647 2160468787102462002820
648 2190812144752041845726
649 2220050631387473920112
650 2251131905372373733646
651 2281077289630367890522
652 2312912146885570274876
653 2343572295752468200832
654 2376183286842552073978
655 2407573018020619261578
656 2440969295872594959126
657 2473110669375979647586
658 2507308740956979363870
659 2540209622767441780076
660 2575233665881644593348
661 2608909653964200774840
662 2644768886168281664382
663 2679243617560474335784
664 2715955442551505551968
665 2751236746858504046332
666 2788827061531898682556
667 2824931342284450104168
668 2863409411703094140198
669 2900362000416531125884
670 2939746137428847493352
671 2977554773719350721328
672 3017872743913716478230
673 3056554673496200087804
674 3097815712384920288664
675 3137398078006455329008
676 3179621481483781077420
677 3220111879043397787302
678 3263327373457651347644
679 3304743925712732737198
680 3348960704819257028982
681 3391332491544482494656
682 3436570832628270487016
683 3479905247819308006968
684 3526197022362418259902
685 3570513095664699764932
686 3617867348205205646386
687 3663196240198826839872
688 3711634324428731782626
689 3757983149669806364218
690 3807539172410326055834
691 3854927916283469360996
692 3905610769188310420466
693 3954072803163042789916
694 4005904895031588111206
695 4055446995761799905078
696 4108464896417626991888
697 4159108023023365728580
698 4213320323107346620254
699 4265100236311650891870
700 4320530524530495567378
701 4373453554608874292102
702 4430140947161737620880
703 4484229092810741412398
704 4542181889638713250722
705 4597473434920280586572
706 4656716356314135992176
707 4713217128617585859180
708 4773792115921177737950
709 4831525155040560123314
710 4893440021268605310976
711 4952446355303596282576
712 5015727114480964668212
713 5076011917620022135576
714 5140703407604742748478
715 5202290853393377791216
716 5268400430531537106716
717 5331334423812834665566
718 5398889308532037146658
719 5463174321718927823522
720 5532222594520578401498
721 5597883911259510659452
722 5668432213565077683716
723 5735516886390369637936
724 5807593856547733357522
725 5876105457303761401332
726 5949762468565215489294
727 6019727517472976942208
728 6094970551676613409732
729 6166439376327152685724
730 6243298357085083994164
731 6316273592245119883950
732 6394803612028572197838
733 6469312953451900929184
734 6549519001420836273722
735 6625616390665525879274
736 6707529946821693073564
737 6785216819705373124862
738 6868896711323637188172
739 6948202111950644047004
740 7033652432630476316804
741 7114634028414552843022
742 7201887620110984231924
743 7284545627780565461148
744 7373665580204074581706
745 7458030289024460347460
746 7549019370461631975092
747 7635152593426678441142
748 7728045350712289088178
749 7815945747575429095378
750 7910809508666570820350
751 8000508842239072983166
752 8097345199229550895348
753 8188909510638686829076
754 8287754445735945299326
755 8381180852619125840772
756 8482106577278100409244
757 8577428153016936668448
758 8680434531156120726112
759 8777722067991349086856
760 8882846959451942880702
761 8982095595021539010064
762 9089416011867156667186
763 9190660425218493275706
764 9300174725066320760698
765 9403490510424785109150
766 9515238059481080608682
767 9620618432989008780980
768 9734681827768249518816
769 9842162839377438261542
770 9958538241507940563096
771 10068200928675253541758
772 10186929771004902448124
773 10298764863064180167950
774 10419935171154563808922
775 10533980481783687457938
776 10657586528162978894142
777 10773928536720430714100
778 10900013318181261412816
779 11018640391840476956726
780 11147298328217888959500
781 11268249707689344946372
782 11399472319099207746560
783 11522840706562334074668
784 11656673265669070235186
785 11782443960213085447032
786 11918987020397563783128
787 12047201197680237136416
788 12186443937445974912806
789 12317200457052783758740
790 12459189776310241569584
791 12592471068941956808382
792 12737314830084060835098
793 12873163537166989943824
794 13020847511986696590680
795 13159369618341245618254
796 13309943218216324562206
797 13451117400528104492266
798 13604695396770981376294
799 13748566421966305627170
800 13905131741181907148002
801 14051812553010516250460
802 14211416280478275967298
803 14360882095195653290476
804 14523647348479769279586
805 14675944444653416500878
806 14841849980880185154894
807 14997099444745672036432
808 15166199112170088159958
809 15324371606792773702812
810 15496796316021096574556
811 15657940460641638205886
812 15833665537649647930042
813 15997910258935523130490
814 16176991258301180870114
815 16344303104736124182576
816 16526880460228707725952
817 16697309587348638201322
818 16883353554491403521450
819 17057038184186736907818
820 17246607386278858473004
821 17423508588801290420290
822 17616752225575986856730
823 17796922724562040108682
824 17993806951254513493682
825 18177393816123819687570
826 18377978978828978682044
827 18564938409761943226102
828 18769384548216426254604
829 18959770812851165285570
830 19168037995354617559496
831 19362008765097240048134
832 19574160737610162324826
833 19771665649608178103382
834 19987872297913429450620
835 20188968473254450627346
836 20409185005922796097786
837 20614040069904115639414
838 20838331933791692127876
839 21046889797567543693270
840 21275439237934049198180
841 21487758554891343981564
842 21720513505051401524000
843 21936773961957711579964
844 22173803641757841341638
845 22393941371254474070646
846 22635439069239844322014
847 22859515884845043276038
848 23105423795772536496142
849 23333630566783798953974
850 23584019596922848197750
851 23816285763629994821382
852 24071363259049123205756
853 24307752110579261618782
854 24567451624655237152604
855 24808167777721923881106
856 25072564409784290444734
857 25317528112814666562514
858 25586841555814402244572
859 25836119606041719147722
860 26110276723401180744054
861 26364086280949420486746
862 26643163794824360058576
863 26901417306254131820774
864 27185650883038446843254
865 27448416574500877636468
866 27737722868554014248584
867 28005233527254314065776
868 28299693905017499000894
869 28571851170597391466968
870 28871715128595878907862
871 29148591128717221370976
872 29453767539069096980580
873 29735609085356234939466
874 30046180839104393503932
875 30332880571619519360382
876 30649115293909791131212
877 30940746664370367640352
878 31262541200812963621260
879 31559368768451673998016
880 31886811212688313191214
881 32188714965838872907024
882 32522088383044687247822
883 32829146095190380503764
884 33168338328703486306238
885 33480830269800606685828
886 33825930792860376045636
887 34143726584024457948090
888 34495038986443730115442
889 34818217582989770179478
890 35175615664051429514634
891 35504477464511912216244
892 35868056500870520428152
893 36202456347847132286634
894 36572537145841150462404
895 36912558850698462295292
896 37289004841146874715312
897 37634966340497297617382
898 38017873953758855153114
899 38369618203776374830368
900 38759331520643604215922