13 1
14 10
15 77
16 415
17 1825
18 6692
19 21587
20 62225
21 164197
22 401173
23 919007
24 1989942
25 4102426
26 8100013
27 15388485
28 28249241
29 50273708
30 87007800
31 146783168
32 241958083
33 390411308
34 617752456
35 959909294
36 1466853260
37 2206861654
38 3272535062
39 4787597429
40 6916184121
41 9873403733
42 13939142612
43 19474129056
44 26939712785
45 36921723153
46 50158275075
47 67574163899
48 90318936769
49 119816212053
50 157813996412
51 206454002212
52 268338048285
53 346622293319
54 445104102687
55 568349331458
56 721802442446
57 911955880583
58 1146491602333
59 1434498655769
60 1786654592541
61 2215503849102
62 2735686446856
63 3364287416312
64 4121129389450
65 5029198930977
66 6115023440041
67 7409183296972
68 8946794693800
69 10768115048260
70 12919163870840
71 15452421867937
72 18427632353512
73 21912587580816
74 25984166343415
75 30729199450635
76 36245796026058
77 42644287314512
78 50048915667671
79 58598812379080
80 68450169558814
81 79777218169182
82 92774948145248
83 107660100921930
84 124674543840893
85 144086189310497
86 166193210782561
87 191324845698351
88 219846508501677
89 252160542741259
90 288712331813056
91 329990897839020
92 376536259659391
93 428939866020326
94 487853129127252
95 553987969163743
96 628126512580271
97 711121717346768
98 803908402549082
99 907504149923955
100 1023021364775483
101 1151669043172693
102 1294765509802253
103 1453741416433965
104 1630152983783289
105 1825686876411451
106 2042173073395282
107 2281592918434233
108 2546090610477434
109 2837985538618785
110 3159781367510065
111 3514184258223185
112 3904107842872701
113 4332699566001940
114 4803339304447196
115 5319676544279005
116 5885620088584713
117 6505389041750778
118 7183490654417092
119 7924788773272661
120 8734465908719018
121 9618114065617414
122 10581676013779042
123 11631563668999733
124 12774574214992951
125 14018040965071627
126 15369718389907823
127 16837973496271890
128 18431631582190185
129 20160215536780639
130 22033746944619459
131 24063039129933523
132 26259445865100171
133 28635219246815184
134 31203194832578229
135 33977223291571517
136 36971787104345903
137 40202510567167202
138 43685700555316263
139 47438947613482475
140 51480577916237026
141 55830353400569130
142 60508834794157116
143 65538179318505027
144 70941412020690243
145 76743330583809869
146 82969676528862001
147 89648147125010338
148 96807478345586992
149 104478548021481841
150 112693382640370243
151 121486347330409475
152 130893082917096658
153 140951762795109092
154 151701999954408125
155 163186122471162977
156 175448094981163174
157 188534775737446431
158 202494896503385567
159 217380237044413002
160 233244753426639095
161 250145564868332052
162 268142339143832430
163 287297985537484156
164 307678414770697171
165 329352792220364863
166 352393856538832474
167 376877523784151141
168 402883984741798086
169 430496433013196996
170 459803192740213931
171 490895279612198452
172 523869896423299941
173 558826449933104923
174 595871826455703443
175 635114423543771416
176 676671682917933567
177 720661610867062166
178 767213158504963000
179 816454578633853937
180 868527367275872369
181 923570681193294504
182 981739684736775462
183 1043185119366261814
184 1108077036524716386
185 1176578448095122877
186 1248875634504231481
187 1325144568193195444
188 1405589204343263993
189 1490399193600275501
190 1579797731091094919
191 1673988847556332231
192 1773216716111901046
193 1877700423128533188
194 1987706992412352430
195 2103471278678667095
196 2225285165466402732
197 2353399938143875437
198 2488134601949898286
199 2629757466497562833
200 2778617081646034940
201 2934999420349776201
202 3099285169883437831
203 3271778507965699333
204 3452895199490007301
205 3642958034936074849
206 3842421004756339730
207 4051625977782838290
208 4271068515386232971
209 4501109866708947057
210 4742290992796376958
211 4994992601432022712
212 5259805139666508298
213 5537128923495205531
214 5827608214458270224
215 6131662830295695121
216 6449995823650670528
217 6783046069541529416
218 7131580719657764157
219 7496057333886474566
220 7877312765801372812
221 8275822522788989580
222 8692499618650142786
223 9127836273441832727
224 9582828546875206239
225 10057984210872561364
226 10554389622005173401
227 11072566423931037655
228 11613699632732011771
229 12178322402708524958
230 12767727321074171895
231 13382456725052090600
232 14023920159124615755
233 14692666133830282444
234 15390231929476503957
235 16117168286233205939
236 16875151736494951067
237 17664731290573522156
238 18487734848097005601
239 19344704808650938275
240 20237634303331985148
241 21167053050137893217
242 22135134222062370100
243 23142388613973321667
244 24191185068644347415
245 25282008074762644830
246 26417439863984085222
247 27597929679508014027
248 28826292160468588648
249 30102932002842958098
250 31430916321209972995
251 32810594500327314957
252 34245308723933769119
253 35735340414375668347
254 37284331078471319328
255 38892480760264813635
256 40563756037676671637
257 42298260423890688291
258 44100314172177181844
259 45969906745156575795
260 47911742963676300791
261 49925679481528479159
262 52016838510584063125
263 54184922991464583891
264 56435508649349388143
265 58768121057196811789
266 61188828509227486117
267 63696953451087948804
268 66299098546306523967
269 68994354896973540087
270 71789904825079628820
271 74684576589958847239
272 77686181457331503221
273 80793250201940972162
274 84014275868903193576
275 87347454183225785491
276 90802016628616480151
277 94375782648708532600
278 98078783903400314550
279 101908417517945098925
280 105875582030228479820
281 109977203019145036243
282 114225116259368952481
283 118615722353655906958
284 123161871467281637897
285 127859379005559136844
286 132722193111773721482
287 137745480098558098968
288 142944373296069390993
289 148313321540118923183
290 153868739108401166718
291 159604279323414316732
292 165537741924693559830
293 171661902795063931400
294 177996054455264715603
295 184532008551068875556
296 191290668957760285388
297 198262783123350856825
298 205470996064470772955
299 212904886781355889630
300 220588973280318777519
301 228511556985823072192
302 236699174731356030467
303 245138723386117436929
304 253858919299249414015
305 262845123411614478109
306 272128392573274554707
307 281692415487100185783
308 291570768424870742741
309 301745308001160659652
310 312252327626383652980
311 323071687386026477802
312 334242593969724773351
313 345742741942832702017
314 357614469442656919385
315 369833105807856608431
316 382444363100508464654
317 395421001109832187654
318 408812343562747339122
319 422588372372530383630
320 436802288243366285988
321 451421047556354414581
322 466502023606128038342
323 482008894978033388235
324 498003495042346856537
325 514445969232068265567
326 531402931956451325567
327 548830690493561483692
328 566800999362042438759
329 585266017994443145308
330 604302987252107094461
331 623859607380868975122
332 644018992586626277510
333 664724010605740507917
334 686064082871707892371
335 707976866726744602942
336 730558506748918663465
337 753741071815915626105
338 777627894283675165337
339 802145000628812437692
340 827403433128679517813
341 853322716848388400241
342 880022101993309813888
343 907414155406489534170
344 935626891071647458460
345 964565368483964633539
346 994366990893224385964
347 1024928756069727733858
348 1056398051218064372776
349 1088663262024491369324
350 1121882422275972227253
351 1155934645597418775038
352 1190989358249031393608
353 1226915734594719716714
354 1263895301920209930099
355 1301786635388450874119
356 1340784150169554629989
357 1380735032358300514983
358 1421847471018816018167
359 1463956464707557780141
360 1507284818060642663362
361 1551654552270946146402
362 1597304019315149724395
363 1644041323717871719253
364 1692121412166194411738
365 1741337519521540300640
366 1791962185614241418049
367 1843772834545652833316
368 1897060698074796758475
369 1951586276678211706667
370 2007660727962548535320
371 2065026497469863871302
372 2124015849305480800907
373 2184352054006466446240
374 2246389775300355461308
375 2309831798388528609783
376 2375056632810127745028
377 2441745238307979778925
378 2510301365331141821127
379 2580382820874906718823
380 2652420111388719007126
381 2726046353161463676669
382 2801720498802292145122
383 2879049394578961367551
384 2958522082601910695958
385 3039717566931579601437
386 3123156751700712380851
387 3208389004855839093889
388 3295969056959165081688
389 3385414782023732442496
390 3477316672363409369527
391 3571159253236021078319
392 3667570843053296133822
393 3766000531693235149369
394 3867116741605055598663
395 3970330952314721584365
396 4076353961999466467352
397 4184557451901012107914
398 4295696997600256664634
399 4409102070194763285093
400 4525575648746723985982
401 4644402451539704336748
402 4766435528547590256564
403 4890912273716508159574
404 5018738589734272442028
405 5149101765268492061841
406 5282963576884258644844
407 5419458249363987442971
408 5559606554673754716545
409 5702486631579716957859
410 5849181466962984351729
411 5998709926695049102534
412 6152220667783989623205
413 6308669844349394231679
414 6469275439488845052546
415 6632927355110364636973
416 6800916609629852479407
417 6972063210090907541528
418 7147735154057485639287
419 7326678574838273392175
420 7510342716264571557508
421 7697395689682595169589
422 7889372257228965620527
423 8084858369340522920829
424 8285478781466262906832
425 8489732683358663130445
426 8699339808666101230722
427 8912707740740941203437
428 9131656089269623391896
429 9354496141588272198705
430 9583152450910943679808
431 9815834712842138958919
432 10054578229120103333469
433 10297485441956540735750
434 10546708016992437904460
435 10800235859863074338247
436 11060342703280438706257
437 11324899825489774595245
438 11596309792040529535146
439 11872318657211978779493
440 12155464228172878188758
441 12443361400851318412195
442 12738689630543700222710
443 13038925674975120414991
444 13346898500633347641840
445 13659939039538427333875
446 13981033083759515376220
447 14307359112785396839921
448 14642066894852930436152
449 14982174467908005920845
450 15331004720772682640848
451 15685406311818541936152
452 16048883563806929576517
453 16418108379185182274179
454 16796774480434172578250
455 17181367898343388825659
456 17575782360755926872586
457 17976307636613750102634
458 18387046907088412211126
459 18804085517703935452521
460 19231744917605104470377
461 19665895640509846170534
462 20111089712233147054850
463 20562970798720557995842
464 21026332199645846167542
465 21496581716004419925063
466 21978763651973898151755
467 22468038138319329118594
468 22969714732737563248879
469 23478691914370383546818
470 24000556602683407431882
471 24529935765427990877406
472 25072704354014400398974
473 25623204427566141264488
474 26187615473047509452035
475 26759978449280430382560
476 27346791036640552032232
477 27941782339500497656481
478 28551779896023709948099
479 29170185789405904111800
480 29804176486276432477393
481 30446808311500619963350
482 31105622061610178613772
483 31773316643560525135677
484 32457809847512530026718
485 33151426018467861038980
486 33862481981114778456200
487 34582905861080214237788
488 35321430830475396488039
489 36069576230355436891000
490 36836505273190259650086
491 37613309172681903778805
492 38409606607127511383369
493 39216035655607448416305
494 40042689915014849853829
495 40879740872809297794667
496 41737771740962531010376
497 42606465634220329125701
498 43496924703182711652742
499 44398314839722722058019
500 45322278930367428262141
501 46257451342504257042456
502 47216031389946135858676
503 48186097420798328800086
504 49180438943481684834799
505 50186545046229044762067
506 51217819836282847654870
507 52261148051185797907647
508 53330565013555647232322
509 54412323626414941415883
510 55521129289478226904476
511 56642564792451473523547
512 57792032877153020455750
513 58954430458708484756474
514 60145875091315886175006
515 61350547000949483974997
516 62585323222854788555680
517 63833623287007338695482
518 65113114133822410838041
519 66406438276716196988375
520 67732070754248288989746
521 69071842604117648147579
522 70445088261953567102567
523 71832776708779584795705
524 73255135673315794680821
525 74692255422438122894397
526 76165275726803281603610
527 77653369615880647018709
528 79178647759161856604282
529 80719307924706137675627
530 82298469382465298188883
531 83893337832329810359727
532 85528060239488076941266
533 87178807294376804800480
534 88870821103729216208588
535 90579170784928767218558
536 92330235478791283363731
537 94097966142517016576280
538 95909898090033532445081
539 97738816241614947475346
540 99613489321687595545026
541 101505460020304188421117
542 103444776926836624232434
543 105401724425325363939516
544 107407649833087042108211
545 109431526023128462453551
546 111506087356011794483769
547 113598907959348790795061
548 115744160729107227378838
549 117908006046613881932574
550 120126073443160858388344
551 122363050384705392851738
552 124656123981202446514443
553 126968409147937950644215
554 129338707502146522958062
555 131728547913927298152752
556 134178363383456805317957
557 136648031172277823982065
558 139179730832382153299078
559 141731574169995360295110
560 144347550244089044108690
561 146983994241040172500399
562 149686719640794946580013
563 152410212276730065934945
564 155202241425047545141387
565 158015313817445942655236
566 160899223933360947921741
567 163804491184008120871562
568 166782947560341919922089
569 169783044777106313830555
570 172858801895755695256934
571 175956454984291990759412
572 179132286760134436168058
573 182330313535445610160239
574 185609090311555650713236
575 188910324684444006642833
576 192295014207527260178836
577 195702389511245288040966
578 199195974909500495766899
579 202712524914127471572529
580 206318094672081766187233
581 209946864528316613609182
582 213667613869281638127138
583 217411757422955203102055
584 221250891533034973694028
585 225113672716207481691748
586 229074512288341867733141
587 233059200274255594935528
588 237145182708925681909605
589 241255165869088397886089
590 245469732191030306915025
591 249708519328467911877681
592 254055236897366886724693
593 258426334884979083977024
594 262908899139616457181661
595 267415945287097982878656
596 272038047148763053785012
597 276684810977164790499198
598 281450280062495861209814
599 286240520086025395590814
600 291153326200733775726170
601 296090944177260943796487
602 301155043269847135047332
603 306244085753721384299903
604 311463585623584821264890
605 316708077758570878749303
606 322087240261415231977367
607 327491364092168830564266
608 333034425543858533871638
609 338602522308868787294240
610 344313885922076507495390
611 350050262551586047303313
612 355934500348583497768749
613 361843636314808627252628
614 367905281534413264082869
615 373991830814175164501855
616 380235599596623248559322
617 386504167291254144990705
618 392934961516734309309713
619 399390341882863370070309
620 406013008385202411523996
621 412660187785990371944309
622 419479774642647569890426
623 426323672775852588339678
624 433345431792852251407749
625 440391176590219975207877
626 447620286266664196558987
627 454873216436891026655368
628 462315076015668911508967
629 469780443702256223491755
630 477440676796127196237330
631 485123962597720097377571
632 493008097442124776887194
633 500915014265986367160321
634 509028822187527893497159
635 517164972339002399542452
636 525514470980062729893498
637 533885708517186690492955
638 542476795514752722645863
639 551089229569111568123950
640 559928069384861617405830
641 568787671829560724562064
642 577880700426682481172733
643 586993719520448837377131
644 596347223453941546566241
645 605720188810177656601611
646 615340748665738434210516
647 624980020776542093015445
648 634874515434573010479909
649 644786759588314018772496
650 654961885823838972296024
651 665154076421848352739536
652 675616853968896812826314
653 686095761159794156238242
654 696853538730382655355835
655 707626267413513596065901
656 718686173045108516617184
657 729760169322039430952718
658 741129687110700977287258
659 752512151183999886032193
660 764199126851164093165597
661 775897628278983812447144
662 787909644131577827925501
663 799932127520704506396146
664 812277157146611953253036
665 824631275454148089377089
666 837317691396140165097742
667 850011503396563062644877
668 863047364860625475168927
669 876089343472900308389371
670 889483141093170570607415
671 902881413825541646988640
672 916642077008098269076347
673 930405219283369176463985
674 944541308860858631744474
675 958678351417903707628566
676 973198902509825306162098
677 987718471836911400552005
678 1002633003685425421976943
679 1017544218496297377233513
680 1032861817798666208781101
681 1048174299671348837335978
682 1063904576091309133311985
683 1079627473708289727783727
684 1095780569505260259151726
685 1111923574812907483189590
686 1128509129058416171578795
687 1145082486969990111954944
688 1162110713809712517949356
689 1179124121362917806982948
690 1196605822441837847558703
691 1214069573734175872895302
692 1232014966421730444331990
693 1249939966236057310514838
694 1268359901833898226693983
695 1286756420160230970906654
696 1305662396413678893722165
697 1324541362136660920170341
698 1343944202995779297995208
699 1363317216521669169892697
700 1383228443047336532027734
701 1403106375276865240169560
702 1423538221387510345681716
703 1443932667346267798560972
704 1464896591210871281279241
705 1485819887250318711359873
706 1507328115166752244101421
707 1528791759105809129071285
708 1550857301804494729618185
709 1572873590264697742719989
710 1595508570097523558875154
711 1618090614792274566534762
712 1641307998829805163562872
713 1664467954229051994494800
714 1688281574047966593502702
715 1712032472289308325774834
716 1736455143914803409897354
717 1760810916547838585836908
718 1785856386211148021680589
719 1810829871734236557258394
720 1836512836825359027353974
721 1862117841388188245556485
722 1888451843189462909208432
723 1914703161641154266532979
724 1941702764248062355555090
725 1968613950517152233149970
726 1996294765506184594727395
727 2023880436476731661918849
728 2052256761800673782670838
729 2080532624555285980417658
730 2109619883510220041347067
731 2138600236234695013386260
732 2168415004431759636224306
733 2198115316406275921886618
734 2228672681483031154574493
735 2259109619930927550709815
736 2290425906664712564498435
737 2321614547030525988859447
738 2353707348061496732657593
739 2385664051736038431267363
740 2418549277771522538026203
741 2451291725969028763812747
742 2484986647639199170045112
743 2518530723320266630229462
744 2553054005585325290556746
745 2587417007141638789140006
746 2622785418102527322778721
747 2657986093645456010902328
748 2694217895997967548548893
749 2730272970396807819739982
750 2767387959278361535369483
751 2804315711011588633485121
752 2842331547434936392730116
753 2880151850615790328971651
754 2919087836710391009147114
755 2957818289768822174918401
756 2997695412391506326761077
757 3037355322130970967329810
758 3078192170507159301301229
759 3118802595501693090803929
760 3160619561741282793486069
761 3202199009640862772240756
762 3245018335352603269531152
763 3287587188031776575770995
764 3331428428414736885239753
765 3375008993599116903819247
766 3419893681169652923826502
767 3464505408835039027733914
768 3510457108532132873569734
769 3556121507201583647424340
770 3603160776028592338010270
771 3649901467408311138393226
772 3698051033739565478033880
773 3745888446688914496902691
774 3795173267194309772743556
775 3844130087652786350047725
776 3894571761475409102064595
777 3944672995796378186554303
778 3996295500469607408803947
779 4047562590962115654268460
780 4100392351439112380574856
781 4152849216477423544470422
782 4206908909904661159499700
783 4260582012452663581266323
784 4315896926462039118831316
785 4370808759281410415281775
786 4427406861210198217659218
787 4483582630405264529690958
788 4541487718509519503493952
789 4598955420594820941970303
790 4658194148553276845796287
791 4716977362975277552322549
792 4777579326196944006527624
793 4837704605084350778555502
794 4899694758100659217594490
795 4961191711574948124605075
796 5024598141426036742952570
797 5087491472541915460192380
798 5152345482559606817732176
799 5216663149819816786176645
800 5282990897058697400280878
801 5348764207831871407824702
802 5416595270966529740560881
803 5483850089859498859594651
804 5553217576265594737114274
805 5621983329559187390451134
806 5692914632530046612615633
807 5763224414150547328433889
808 5835750678491120607611562
809 5907631550682521769632908
810 5981787773517542846863214
811 6055270696558705010024641
812 6131085557273859551780950
813 6206205502125053098204288
814 6283711771746902203772974
815 6360497038206801931453583
816 6439731711831002573039471
817 6518214858401175481541087
818 6599207932561125932082955
819 6679425907105057908576348
820 6762211861886934538965455
821 6844194236213876980174418
822 6928812156207019121150966
823 7012593159822965044896647
824 7099074412746300612018116
825 7184693068009510495265167
826 7273073904341175241933153
827 7360561097258207267091026
828 7450882813091257793331827
829 7540274510765324857442966
830 7632569872155093124208762
831 7723907283533351566780903
832 7818214403843757862903677
833 7911529760641555286561651
834 8007892244632497330788654
835 8103223332061863527832095
836 8201675403174411010701944
837 8299065721536520230560736
838 8399647417528596328422820
839 8499130589148049563809001
840 8601887961553449939304728
841 8703503658143647910305806
842 8808472409361562091157307
843 8912266548544338781172135
844 9019488744468676399695676
845 9125496366547950949503378
846 9235020608002799461388670
847 9343283360613100261817768
848 9455146893743193725115197
849 9565713223779441108911652
850 9679960203379368153244853
851 9792866617329603719416092
852 9909548350192116268086537
853 10024838540739235722120514
854 10143993830776708981539233
855 10261718916361224065565196
856 10383394124170970266388866
857 10503592098897161381040619
858 10627841344289054376321994
859 10750558045796407757954820
860 10877421762482710171333713
861 11002711099665318407657437
862 11132237912507697221608034
863 11260139419103116846366969
864 11392386439233855013029255
865 11522948166916618817747726
866 11657957461848030132736596
867 11791236271011943446836908
868 11929058861880295454239564
869 12065095839406559038665262
870 12205791939836361984376258
871 12344637463565236648285257
872 12488250855488950081170590
873 12629964862466078106060388
874 12776549017768497319489844
875 12921174205265323695950503
876 13070792643351689705491063
877 13218381782846295461604040
878 13371079990782638249888177
879 13521696278942694786966970
880 13677530329676236193823244
881 13831218077092081031150787
882 13990254909766620210672591
883 14147069407720795694456246
884 14309356305793631679889757
885 14469364141869988242446606
886 14634959827352256918238939
887 14798206989022008403882767
888 14967182052765469350581380
889 15133726415371075197095401
890 15306129911755232357829985
891 15476041662004719667054981
892 15651935133684627611312108
893 15825261924815129010133131
894 16004719729842665046417289
895 16181522164781579325880811
896 16364595232305949174478202
897 16544947233069410160809440
898 16731699964715860370770540
899 16915650922103358399588968
900 17106161709252442596772682