571375684532350978
967321186816598569
762879105851175000
370065047230592266
936897883750373771
922477185974389483
609562627171369800
292862178773913310
224343004784036562
94542374282811116
696673384785745096
424804342768987426
969658737987802143
993645166763364884
239912994499473657
666748224577573009
480029157515459258
633743492793376335
18747752969083031
572619148983101335
34107249832318092
935675808052529983
867999766385692592
27577920957527424
270873535400807657
49994839087700853
328034815514483106
987259068319591202
850512529021892718
713335360928531366
112932234088773229
210575230704327367
221417542424376638
966386051342104403
311501047113215603
351570375741061979
830767421943217861
133375434028865009
500921541548151518
12125490282895478
813717383049226734
628466388433876626
998911875005041009
932313922228377015
401762416210970202
338220489871527724
137405058607044786
735956035771763824
359586611950563620
604934868831787924
138704573001806412
733152897233549934
840092114399451747
436382478914489835
924447473708792546
242283492949337617
861222245385358014
541449734458149677
410652844242615066
520245162173669973
944782264126368301
61565337135064601
271227002111442029
76558476283397974
909808512754758253
119231707903351547
688441064555166012
584920916995368308
635736987078815539
632730138473528245
113777272509521770
976397786357866356
292906365628560325
151238614899411960
203655212090990795
9300900413955397
714230664201137958
696690475093460931
262279538523230153
950337630789782597
301174934075107403
413451369105898730
380345875184010837
774750295104392970
920029225613361887
22439551484044806
17932889800339948
209901699982029145
191327391142637688
719966345682636865
881595333286241431
819547223084416091
664845451009814160
487733040477830519
229680788542370296
555888025370703223
361809036421080660
424419877149841997
272573097661198816
214122100212915328
547862521378172090
307111944084647222
515256613601989985
668854555947343447
363321304832427783
605255232571528420
333279597977739398
240329420995117613
369995344918672987
722419303089060417
440326314537948656
123388285486169744
631198268385692031
934216839247168471
947614537242505808
978424041751830699
156061059546599877
591726744646966619
254249922467288104
655761375572000464
905258023538932036
87311501123839107
645129076778433592
610109212490965742
141167032599503085
16588774493335161
381996406500775075
450367077057623975
178627661204032484
75554629707693257
127707779129213430
668444318523637915
770922769044202849
715581822346289104
768771983425693736
385643065696909887
756081524569225646
260749387581782757
233692681397617437
278111684010570269
278785110616962466
644746580265900874
482446774022506231
53210695459082129
533770159216083735
523035855037280741
926444127840050237
571951763814894392
762657655092234182
749952931701273391
151377754772951936
236000134923901762
932366326957939845
931942849725221083
397145756134879493
736701880932505157
340086599951991617
822126897302066325
494732664298014795
705344934450979482
363981669689280892
529546908127313918
344330615639816991
291920948426906030
112159554877140500
502996078596381998
953379256530375106
859347215953962370
309816511213055595
337492013151271744
326310240263822220
296119955766711464
240673623242031261
49316480146476885
163171129116123141
175209778027356648
104026578566980991
990941794369452067
504525504949263800
232148962516042372
242388631646579753
10919339813472854
370781156766081411
476593349482938015
845362813852213490
332659754444230970
864768157178905827
508267270702057689
582317852507988358
738298968713758981
649551524849935502
216034104382048008
372280529435959823
342858101055603527
227910515931542573
776265585255716637
773278227358300262
314365176009396292
917059667026685226
841757845851157456
735290095850264912
33311499007848216
395797661504882483
49647758708684347
808090940875182137
712319743731718927
574201785798771102
947954594212103979
756137649160792987
867913428963981133
344046141924168526
506763798450924876
995206941875814400
858208832452368099
65857032121643419
853401282480779316
283929949790081323
755850390468347315
250649740841236904
401783314907576103
905423897921619062
341128837006813944
77289160425324078
112323683870577274
891574944009201467
61929106399297367
263135610022342118
63369585707942350
141671705629355594
676207784106338779
604891272487397878
930506009748596588
727548853712013905
829364031473347626
255798548439039760
860307192456565770
342476822964892452
551962738016344233
222285368746147095
190038641976823195
92121105249750328
542882721656848460
925082622635341791
301700121482947606
580180850607839496
913240710900243185
149504704918753747
700109671764708354
814961568903208481
110916182917714714
633996579239407036
847992127489625422
387728064347607332
260455345108831042
160702580437241374
87564333981733540
339211461482484716
151346696099672710
418567123502764911
24863554245041189
757628528532702184
53951420291148079
482944847075581871
853816500822218187
593485767739082592
863728566784445294
479957550640827027
808085876591048244
363257192409750919
536980110897267501
277850398483808845
375636175717637623
868662223030242478
164621571028819569
163410226717338948
244130362553116725
699560874351341406
14108225000265996
443463204570742477
698125598525961012
165893759906148551
357052155389325113
783422887159608364
49728634565208275
866451539526923570
742732061030002112
435690951170336825
358872909653117482
675861925076038632
412003834616939552
718079637422827565
825863228592151117
398824266749802787
60341241018815089
276752184744029521
43155143603927376
785562281237439384
838431135903175469
449604061777265547
22365491797022338
873730277762734650
470195212610581084
893690457434877419
52531492516280097
499835492629242691
326316918384530475
312263451178288504
359138437120636546
887081720708402435
763646226030323157
285537530055452326
649617162832488651
425840703658918348
414986657067694109
560692492891139775
296623603254676033
30082704840441564
754083920392132659
606787830803245139
621014482768055111
897868623824790459
547898675767970797
29725553317681883
8199306990163771
499131394451146607
929670161743912817
481454924257228203
316753447947692671
588997431846396597
492671381260707482
455593170424960077
960423200435266883
914795406052734590
890471415918363166
444863721676556439
153385861222310264
624196940943670058
468127554771265515
262671312269972697
634946837757997558
54210420150034624
318977360657649613
43206914938489128
139081877474830642
610777987764619378
793003596238415375
76073840813191364
566712834968911302
41287685088563235
371876398225120937
817253864762469964
58064484625662251
882735079102821210
877785056254728558
127317424383202109
72992616690185153
614164207715848074
779047595733446910
25310828765785550
680821482203122845
262196699687855450
41964702042258089
2639919439797904
870154257116240482
278139884359641558
100927030904556279
208542182629925061
76832622101110773
681537578853724144
26610557530998759
129833281131561860
4090544911732937
442321743355989014
783348020108808218
520983669697869362
559384494936878825
192783712923881625
685002783791056967
269179666637939226
621985649443876791
272752221469180463
478901104985818477
244127733573358638
4057049436714493
936276502140370116
795740624244176661
466783337692441746
116121302699043347
109443431329771280
683080787277471270
274595573982491484
650884635755277526
454438013142583993
580876751669254442
761477056004014675
94018912040320691
353843363970097163
839857358273474456
466658109285530125
689344724782283815
998569919605412223
320192843319211197
121500989675938527
786129541967321390
524234676195785635
24609994754430384
548034330307821755
232359782179696699
584620110530187044
637447406138102496
548935960080502799
527846715538867706
852999095376172695
679514574633417226
448433874461602932
164469641154448995
732500804039037420
272363184553940502
144454518860651006
147591793113848964
358322342620417490
757543959634437911
866403952984705038
486564603987499284
741198676727124266
629187828826499667
696995706200571786
210003066937259635
260663686612774984
756128347528919163
766544067517708
38336678487086737
468291956406146996
220799246582894449
969881510830283066
142492600567483487
787485597895449150
422158808311439956
64523974148077530
601147376288456577
4838185404812005
416675569257695233
822591073673593615
284250436638985713
460716207158032039
260930627712932896
454324417197400277
918865767740907179
238072667957330137
214948315466272517
738769426308780984
493249273017392125
575253617745232994
250329144077670652
114675811791184892
543352142143784117
859574298551196892
180010938977422694
502890509544391739
310590824143718059
152620130659109200
737098898618977532
567096231353980749
515647898526907164
333193511096713647
527373941523257332
978829347274088503
725234407532189988
392880070059237151
740434360246922309
589188773384150303
36105144576183466
506387666317004184
823969998864123559
972715945637635961
155128970823758857
719500609147931540
57037967194232802
851587392106707832
260227350912780413
712949598497356334
763901956239709292
141683786299888788
638012259379616554
519696321355960072
784463311972275208
79673053083521838
934680822534227051
484585302785067257
315736192028070430
414352292325693305
46964373712417127
449690002296286633
919435420972629729
584895751593580438
985741439185775576
755920714023774546
825773411450259546
949708870820038995
94449610000606316
193634714569794937
632429709620085785
470853032004027269
939720877215679196
826925061498234890
276963594117586200
42575042233583517
347695600558574964
376568903595874505
591121814584934674
166292134473844887
457082371044361368
190595154356835566
564309923237310626
67069018939697608
286839089493289342
904881496890674178
806863394093183257
454143246904843414
832021480335945680
643123966451611415
127372973927608255
196660985033222919
212583226076980496
155164399631353873
596056654988252724
499138196965179970
858142583218574052
105465095229115140
566366116104840820
105442811817427181
490019976816431116
8229407183534794
722071980011569096
364803226114007450
657597083177758105
909186980615853683
367651766168898104
162023447706919731
879572727889642151
317500544999504103
540591849904552163
416624239512956483
556573311558439321
915349669520869034
809619218193427965
298116443838154605
825492526832537898
625214365210063051
652953793391215201
799655283889228203
416271847175500239
301977894746414191
817761251473972328
239874944564644307
381663626190619522
620210096819243967
808001339252353451
980483360726863211
507162201760353005
515919742790263048
450087236360889914
962781900770993845
961111353036750591
290085045762569427
220329775311360804
374219463553960141
128708266709855405
166292597434639973
448152361058702569
339743575080771929
111911032016439942
499310213635480797
282371695554413820
721753284814897191
654206925974299081
467993618366265821
886946215553235044
103326196965883640
910127872039289297
503564123160013995
418269895854311977
907776268920507504
590283027375974845
61238490524424189
972674158993173630
182320497714951860
861186162689813486
440880884575180881
207038830464752691
259576292808543655
79836913249000262
492834036849692451
104709567964222143
302306460337687164
1163126239911194
417418183484282085
191504163079762712
441113133873615380
643896121298996441
341040865082872987
582566086637054747
242760453929512914
48312917236388632
194691097525126874
507418831792053468
307722122258712024
860750192019846481
621176803833334384
441035160234003091
434565155495566041
107517089873948038
602637775044972874
880364184177161525
360403523910251432
782614684178839910
908344468062487813
344778274238263762
639099054877674779
81613210407015036
591305713514562135
315453315751360542
949697505559355810
286632268300311130
14298961128691636
912446236504123766
260689379061966545
148825562998945136
182948522655435659
307066332477513352
761703077401756338
253359356618868343
29717074113610573
855234010824997947
891222468222684065
126685130533177393
563803488543128012
615100497694126740
144387509428088691
295841120154446897
937292883658339910
966546974547942936
75503385096079359
20058437914534878
942809432671531947
770931920645466567
997486988903343639
139083049447767689
79317661392436239
411791655682119829
457363221963371815
665397681847694694
77940040319276460
627769087128156765
464545244736339685
859629901229042739
394634533962464666
639461459401353922
456179573688042626
878766826606767145
347121966822733177
415782890030381214
401411341416277998
425090475867909983
285150235002712985
633504030645728594
166964906895777237
649567555761293047
309527059129724843
852043017548980823
413345497423810925
387350266274813627
967728715747501209
691732131080405319
599031443985652124
745870484032171644
810570926312232226
292075145121959421
817533738248187343
724563864789680703
668690548321068854
811720036009915620
717222596850933599
562018650629791600
469269257488010206
327476216397417548
607411475915356887
514675190507686407
31830697038584869
406938301412111894
812728913966226096
650091707521892056
233910087043389563
22491078977715059
478225514045715226
437274375085932181
561694696974652726
760489785328234598
46497094808668962
782672977743927660
749724317670188639
174103015150294530
168307144526599096
392400500081134466
287485391620770999
832112473437104366
234936266394153140
893411597134442105
251816384228571795
878228710365441483
43727161934824242
836480125038374029
330495578520616775
524355404721288084
794485173198864435
61000587517759984
512208181710212919
887431359332276150
23818075727102467
917202739907000594
251145518241777565
573799508582742649
72505486826498104
866372299422718738
143370436527425984
525188063865449254
73474535615782249
325626322394302686
481737346578664582
260387162639039572
631943503270940579
970456703183269672
495079090123737801
624567370365662997
755500587807445729
846409614808857020
906441300614940356
540859145411865128
55598190723108686
955396444934160023
404756494924270224
220431475224789330
458981544466824096
927190309915752678
537292140065866498
428171147830590558
493797143549912102
649923654754000463
271681557242624949
607391929671257171
909410707147392012
522205900153721033
783781863126525280
458556592693339511
670724400996514454
39448129172178316
642336166136890038
10831139934108358
921163296057792565
771962293303116561
828151916048817636
728752597986433209
772705436475610730
732371777737522463
678970735791232082
113150849355547521
888528385700124922
561342015174202527
634886645222503400
14618648242261687
581792432280018815
247962178514390197
525499964227970635
261660786020535098
369357622535558812
167700823236992113
362743766762693433
966670217374007660
192320846257683604
381084141556626148
593990703025595795
182712625178647314
851765630621779983
262046309604276034
349634209828329340
77240532046913763
448869908138362000
372265451550935072
412562672216105887
838766330127667995
687628400160154329
212868760268323956
525890518697940761
98680912625912966
231768539860677199
266490913425421315
199541992476581522
165590623880130024
611491215569472098
636002737978085162
35727555164005520
649912157557288394
648443412243811458
272460357880093604
977251080823820078
983555576583220513
726698630917582994
66713971959334882
355903596942944598
568779150350862953
789433508361575464
570102914443503009
585233954940123057
987605699701320017
599415344800281488
227661796653807718
310672072623184607
413333544556741285
314415535723203468
832082669499417415
328514189251798421
443687311584992168
870445165880840190
752201858668423619
574186955014394235
701961406704851493
127533194063411834
165556455660283795
939223724384490609
140462197793452091
520473558115559436
207384409925515076
594854342041103289
706899456023033225
221587652571717206
7568372607347396
865442365399507917
565048641731129738
131707183111914230
758053073917016407
379667403327183586
330580047421059790
77182148135844555
821832095074734683
485489713946717190
171834518189492666
847970014247276762
889245525747931905
234439755083201704
809071538920023832
528912638270087744
308857034324530369
355835120868900768
176520693764876209
854159731891771127
81603139273213175
391041626297694640
752413098533164931
587577670062550045
962741311585664738
461605733196155563
802372418861795373
412985192595889475
906777292688784886
314207043062791273
374333775894897039
177600188963138816
400664283093122900
860158263921030757
379393514908989036
143677973905820633
933212200687382658
312569842276937545
34076829821946475
925003261478068374
774921147154484409
145811018663187808
334334834950035128
767451714107748858
515473184552683158
150659437071102226
873476387563251397
53965859829342037
272904787329960508
132666466375634199
902646946822511841
411186040085231578
158248061795617019
721215205539468668
623054323760301263
180479992452280650
674479324987135947
316541734014530280
409569521017427499
989416171843921537
585917315469882354
222915850476095915
795144388975851249
809745634330582816
287752788709534525
306662823332194051
425596342828215922
421627913121390931
259067718200159199
260962388521889931
641027452139242347
358446473099433278
806244863652132074
813365671986644148
704630049940163335
242509394662340225
46549470404487828
250932426211108995
450030130471310169
728694264159107808
420666299723541156
66715718609142865
940708788239862144
453723984912269514
510924705157960971
14890106717213233
306335076088343574
270524686386868623
386204706144914798
456936279234989589
290431361621836166
331422894126813479
220232883738825534
765481459510880760
35431400513480103
363796184033918344
200006789507870493
904991870063969934
632521652577598399
425107515453042679
852458668921607152
49808564481693871
852090776509353368
466033672424145757
481791090691375011
825053163166491687
785942365867611149
753541077520978228
245050065452839561
874161408229162376
726117990635858462
251378762858230244
183030473205590328
703424749174797209
661802421761967781
321818415841328727
872247549248596317
145574703875297886
182045999341144151
607375545340682667
119014814911212602
942693787822368107
808028757045197154
2079829837997639
536366232110433443
997226794445533115
980577333154733276
615212266156202936
203261937004714006
793889787099485234
10441556334232689
213028822132695842
538442013678395363
60338781776703791
174891554327574044
889112742262584625
327781464349293492
133370016139740005
81969924540572307
211922568610553502
646979130166226284
293937377212002868
588167918726802620
157189926655291699
377133501877739225
283188789113905081
727727903646836085
290423962704361067
496486033858247216
324500660896455617
395694194389899799
25003690959442482
77187632253054515
688918596630873337
143268730777174143
634660485454495222
215803226913726875
337761304227939814
395468970017659905
122266796828131119
453747459640071186
967437378214829267
853739631309665564
390248693028850169
770075306242594034