1000
818435896335669158 983009381013279909
843817293559769331 939737287053300065
731959795794999926 835678161258580851
451427959216082887 853290233545160502
877991590784096089 930575334573879090
490553869185209102 856720300212127331
582678495134110681 967824691064055053
465053459906921274 890218877345594891
358385693955789200 378937295706555378
407176879059969511 543841138949060661
284057456626089974 481457705305939922
982111878433231535 994348383340907369
697047297418329668 738689539572219207
62064165579629820 81825836996211009
226917732158748862 347502126705885758
226635285015881283 882276722081941363
14371735016364124 398977091104787088
659596662286752721 791493943110668919
52841350075461911 890486633766489540
354291343919435634 562732931387659848
607259660112724750 713897644438184707
763969011913028835 979093740618823343
811240962660631122 979498345459167937
28320184986439794 630490318628377430
625260726865528339 996884969323948113
301811072436640416 666185919487428399
90418720189069309 597080503795339462
623074470250280189 768946724436961934
61854061181879928 234745261939707317
402623426005796190 452027773090449997
331469694962817197 395982170296150677
531863871913761008 751174438366561516
240287851248567532 997944290212286860
742186337524180891 818182354729137130
246440029615165122 403389985248354429
451802167589455733 699447068227576052
291538293617963798 546845581468337737
384788563209337398 430183551411083157
622538093592679556 733287770676766743
504383133587383271 944361444428759906
363322135001600233 827253433243347699
413546285673364323 851894945604379676
719037427878050350 798483172347359050
860417549076619901 915962730044884074
816680681842678234 949489557859017638
3318122915059363 102222940516011646
566919715565610286 588333022943450181
670031663599212044 782762298909418035
512257294691845829 896754754771757690
347369860658294500 914195184770047215
826624909721625190 929135540787660237
378609821935709842 697700014545313646
784808452338472011 978799441443742165
175868130189641721 950165429556153737
49833335776376848 695970580772152584
341568666599115862 512988946118583419
537159182251199636 583467914678256042
845001888762479398 985923114166320731
527523632641233283 943565224997927107
202074663723389406 424363972289089760
273298184309972895 530195265437928097
48776073757146053 778142269056237602
508041720552352531 918821976793632669
468134391997049059 645056325582677344
360659359243008381 767725039854958262
726611111567078366 952867768662316307
93589996694312457 111280016586518832
345027482838635394 568396567950126760
788891884136962753 819600093694961559
183847613039820759 924619260806453978
466569482466939143 809937199545990889
496480953901912604 888802977300254830
479270095365915793 970126429973653569
532267357967848965 961478336835590952
85172780021411238 163149569454520934
748800119744657544 788044656107870714
314773017893027601 751322494307314470
177974973748877 932413103180441239
281938386296469485 904376742282985053
974373701652116549 993182854990425307
179761257497034516 657441936062528443
560561364480085263 582854552739688015
765791830358943165 769507266217545954
695022361389228150 746443642835201361
912789366658332198 966700963365920765
502725384270772052 745831561081922299
545501212400568702 552428780646810563
983893030915751999 987307084028703396
490057594150293052 540861809624011181
634887116431784062 936368757929304659
931711141540942351 961823424219630440
968303927115898480 986370738071241764
503623343327479634 748697978370790967
630270372576423353 806354869500775352
823027420691107857 904169481825842044
422877676002776153 451371899192803189
415951200655366797 665078647061725470
31430912287497227 495112837345490953
609456197270745428 609526301440602757
742496882142789430 938013946934986426
831236315790735967 854984776773821390
370518251542039747 974270624473278115
516606374174369228 811244590540303669
245782685897274110 775421697988968316
674546359180689556 883902507524600704
428640694280154723 512057639436120241
124166929629458578 595403137625859785
156602466890096219 920573215799680531
305865283475110162 864223768192814986
80776495068169184 793683609735311475
188500119774179327 880350996000607821
544539631417126161 933198725708441068
323963941107947062 619898369682563351
843291703660621919 885142508806946890
806126537980545713 849906110991861668
761716586186889745 777743999690991880
907805183717482221 925625923662195146
229701939017212569 302278307795429212
593983852642304610 952238191990657374
659771158617198182 877971701835390948
104474548633014709 930767729658887120
415468459453640155 665147401198836630
808684028821641896 878559706114614204
341311409242897466 706706888209236544
373794651428021079 709133052981431181
49913055827614172 534680543832261019
392353596103114550 494835659092364954
874552796597221770 913291883718066947
317619177507836663 375161520829141344
161208977245876254 734115650245984755
574916251511749714 772986796879810033
693310161566263440 946932146603644926
673838841020003810 982830349034935405
849526751631825669 909396131759880816
605242491206217731 995077691011157935
713490784572020473 875665736353390763
682546653748031833 908216377900949550
860248802457141522 885977986099481813
301567207710966614 450591854064301552
741594875751568378 819603364165017164
603775239831468258 664877262431321157
717562321172700412 755249350027621775
782212772725772976 819399984327381518
140049874878467042 316125442130494783
446639522497175308 646629314225113588
500248136761820962 510338503365611414
107514740800878901 944849970071317242
719131059213286949 851078877727896513
35214706443027599 107236502368109351
658080785803380840 791566755113527548
78162631064046344 109609435460084836
673640142828436031 974630123592660455
30683760106686860 832145529244753151
366159542126155672 543994934087709299
947912809728157969 965723198765898089
685009175744699301 859945881118074930
395973556104428507 750934722815190520
704596110677763695 899726137585819603
206428981856100292 820326009277377545
456015545035846040 513781222694376649
488084182793777870 620270736575145367
880695127708646937 891070096377218198
4950126905542623 833298035410209715
211650986933292826 519084412703541818
685129569920239915 881452076575637200
520197210106126648 560365995580600881
617320176356462367 768502413735729617
505400231975048911 873900540530263679
655057357967516385 957708684771810212
453474980013247341 655163066999788420
882897035473493652 995194453043175150
583027307325677266 735874531641191176
525376555511476128 631685811243582814
784717280569627878 994882651854652333
775099494990055938 891535231436892386
638021895511348639 658623017875549977
270596330652219080 826912272978971734
843153351963537484 897126795259574642
984340844842065091 989699904356220471
188538934939797427 731482406217883903
991235379979033561 998856122164093856
622760656075003445 962942103940404934
637031937342432998 877246600023879262
36305579463828609 428259618301394303
125953616849788247 575644791402072562
122196283517276732 769459716749829619
283251082851814335 708434734255347263
195449471560090021 706641013016367424
252295277754789729 634285764275613994
572093458220042252 611567189716295871
38709211502131170 285478318908807925
806720046565932914 873068138290807980
583048416918279650 834361757245387069
751465644032202835 947892152561669094
957172597649132789 964043170394050043
979796637983667522 984798024393842320
261286172322959942 674252165553329812
563223301634607696 921987415374479760
230773016847051599 605543348394994578
577530413188133850 772725583459277785
620316349820126573 800567104672505336
957319492153974872 990335597170533965
510910356291981766 576890031667261746
46592590990783030 859999279151985253
849232073483355972 873677052835767130
771566620524611798 837063532300893959
844042180467884521 893381913859893626
610584358079970638 819672557882762680
721312676397054061 938781165394354730
193579695390836802 500933081119029188
601866690592465000 746703477879729824
27581173717517118 826101018494426912
222352122904984023 796878015100547556
792678821873302557 991180454584907291
135286038320190477 778335253282862879
297118778866745353 661435927379268417
604022130847081986 889819051511065422
943406745797254889 952710600406398291
860026697045230977 923252731426595872
748887869479362064 912241122059154985
592720025877437697 804574086463311682
60902948875212028 734828902853336286
362103034583623623 670165332361791778
710631684690931660 865923021048391245
859655061884422890 963296142717991567
957119285020537800 981206314735541359
402043303977626635 773724799591715955
700887400275693197 959966452005276186
267548819579057453 873668707519267431
552936506145153203 789066513444132465
146961588450978587 411831529002887261
411134876700041663 576924605228399219
345312225306316174 989596441185012980
553843161883520681 787394084603250911
896024313572676399 933063231276093991
341064558281412279 718330915053779615
198002656789590236 566801291583055224
138955947819604489 516473273321310765
60009591079986106 233909555419726168
738277634884749902 798601762704358650
921867103080717522 949269567805706467
984473045825091314 991194139456080904
197441134419883845 442955729644369723
23915057564185507 686604201564060646
404742576214568809 789822948239842385
134042325234503126 485544534849724708
332645786473942337 859026614671321303
557133009811137902 740095749381062283
348993515314258993 604043171761225055
147171343966510809 494477786128195319
492044422609518636 505420413286541603
909311386529495782 959139004580677645
730667380375561985 873819366496605213
829384113193557048 858225846224206875
395002809909337477 791905597528869322
256711466798157228 737937725053348460
756572862414790414 781188776390179659
137358551290530565 381944928451957501
942348155006208139 971018413645016549
891978558492071315 927411859688372932
907606498900258671 920029874548252218
553883124214505481 904971593256060112
966432649341320459 966487564927122850
112178486127414187 346357009619803597
734366172346244390 883255419597790130
722826710911390420 870189350653051715
466736101355292657 780643912958177629
636354389687497257 643821328893466968
881013684511722483 957703986724010298
359461425121571276 458850335394961250
575565539053107787 717252848409359983
635119042023382670 957766342463182990
803306212080851890 870310684045668426
370548585000316473 456527594818869198
268856299152123061 891980377863600350
614517405725751237 689673406731875219
181335529241065481 407163209009098967
472665107639674389 971921214632536103
915373186571538054 931558871271361155
644624620230869066 773540842130529559
363555047103307910 783336069947224636
274139208232091651 822819424125119140
933072072967117153 995049911707940980
963259498484688724 969184476501255219
29426429998493246 913832070425249632
647766648160569104 969547910597675608
470871517320357058 630055545362426054
771933480013177771 834543434499153131
363230404296951362 757688439510477489
814039457344808513 951853589224250878
253129232530174103 541554723709211418
981445786076126415 992271277552087477
956986006456701496 967310488774016564
302863705269648398 874309908917877579
33094790433090497 851126239836013949
916252073972783386 918417279609824372
433361952124914917 566038530053195004
187953162040000476 489401058281722328
633007620923559545 731018701173714247
316871766044261479 884783977839239104
620668529468086229 776304609871646307
556663071831608122 939300479601396426
990189840419001588 998702521131818547
705553167104445613 936389459772645119
872188755960031139 974294397839704646
297791510638749708 381768558369445272
836963430696612814 967005633703264849
955078699187451101 982993070500183747
234881006317270117 841767233334335565
218477976915533160 987966152485627899
41356720434531063 324950821624231568
617854876704008582 768792211936522309
384094227694086256 894690141255751909
938225407377580330 947947950073090555
163216664628008306 279802886601210760
537460612875790943 770033235975163489
924724210235592794 996903035598295812
488703351540862880 712778727704500520
64263755619449029 819030806330455775
372174362739862676 968846473722994553
918246850602979659 955083614876241081
224342446934882528 269570791013486067
832466943072978091 980205768763936557
684173733555705781 869305267220474469
711740185243471945 731816688717899828
85398827536709694 924906447663482255
676995801087381562 776249776724580823
923051866217070075 977152712540639718
394342588935304660 795162348296397361
684722022040921461 933896060474505300
490981337942127378 839810158151634240
351703592645457403 626725008119797903
392995544925817603 701598885280724060
345804108726180325 737931509856750614
740222027614065683 831324480491611027
625661619824087582 889987139744529871
885366334068431377 958303365907908864
878786635260291386 908206084224041508
640798106790409262 745223181143389323
321605044029425948 736033644775163571
144529828326036801 615530394550186585
478771996965578932 917979174176263110
500248164239108460 909540891833663247
513397467578520197 606876355463231248
71767475268869235 79874818125632411
707672226633771597 959936772573320340
889030802297270868 982632597708919044
146378047370810516 457744312621114050
209946261670654483 890135494211938428
391818961376150776 752384577917116832
340813517902508293 668041663331975596
699506885938074160 915228102897722685
30211892014913313 779541408341323086
704250386041891713 904834949049211679
324031370275973312 885940613755971923
717138139556145841 756644175201734454
250391983183895165 417226424642064327
636608011783475251 775057994766974152
984813697667028330 990459394549644814
379432003414529615 396417732815748790
812222327495271912 888230691660874798
541317847461232091 744567232057255807
260613366889017906 936686411212969640
215765579426797615 505955241492376050
171344852467492039 960157533471652262
337207865020217562 441029755902197473
90852094040507632 150444925504338378
224209486107275196 726446441946684804
961635622482819997 964655123624407784
780623437965149910 818581932698109379
39211507182552636 955792282524705700
206941693723718594 479900832806899561
183577632569988438 215500660820141076
336053357156029978 964878724960329205
605713533624847239 907978444943939860
732037834390117850 808952286586833402
881247551169991860 928637348429767314
126660336919424525 339025026982322466
581778903091109395 985189485378444270
762695301532433549 930603178814230668
369956351083044777 395246391380817694
73064823824360938 884013253239397203
478233318238617968 535897850178447979
232128662740659789 724496618630564853
668386870723720562 957944531574226939
240258051374563244 765148353134387206
119803210557160350 708252859147142242
380998583386938193 848033022962288971
48233621194251346 605019148907510256
199197215883364784 495581918343640156
874166535799216426 874950788423958055
572104427068871530 735761044457182923
725327687507411637 893815456092616225
625327170547738366 737510100870630554
214397728586982693 232546792096341563
949483481383392967 961095072528979693
585687171432140525 677694597543964079
72325271095980048 831864569960419037
432601392718694515 546340439150262276
905085880818847036 950973539657582504
846015171527187660 996401902711486710
939732416601171351 947507241134592299
339381118540328816 485759415495552514
864820242643918072 934206332140968092
712592986652940271 894810549407044558
369579196933756595 514893796935909815
109802633490490719 194398310937634584
233852591430956052 300312211364214161
338639546510229970 947771437328684057
323945775846314194 433857505433210976
283285636255282603 707472725972264733
109174392450617444 130479811536533779
925658285846765015 975349137660034896
748922506612191492 973358271688983264
764551285138631989 860403839544833001
813790400702844262 888236716841034330
962406962613528218 974608467026345877
433604756580078932 476291637843813975
180254732721320922 902424673578112834
129840499992351675 710518859900077661
351416058493805938 652957123127749470
620943522224086862 927901684657122965
430456153226037330 864695046254869126
548536286104301627 814297114373233101
817804645579848825 901895742587184514
243454292311058948 620734643058956502
789673021566317813 825501577421747067
376448503054663550 380398695157885832
923994077861881267 926419671654018778
112970460530068205 437812728569889986
518166545700369207 859877143746291261
936448343870447891 987447109094233874
616406265472740783 820639875448158600
831855282038313027 905469255903105486
174914730608038715 806441308407516202
727034063362424144 936007244322516466
869830405337958536 984847125887253074
132368757962524263 982724380254015219
412901559799830859 425614639604588568
562543450771833638 915252329881143600
313640594791685173 592356431856575589
706056876655204859 990535855824814242
710003830120635738 883405840255847815
910834831363712229 956751201917320910
434909498880709332 659206026605145523
161485061050021702 791058076034444853
581759100622470824 607414623690234943
988272312128798876 992726002844059883
794211044828246713 945669812639323048
773602947511904951 842429109937587621
772275963484251711 816251211699927108
84658622154618259 523622268771619425
45981152005043570 648224710487957161
236261715481355261 584084584996624274
646440803133113949 662853771528132912
15193155547837825 443405087572468092
347329941930617303 782299483088072655
506780732808653976 981804598273835516
3462138285222150 33008247738780652
995725834479301474 998247308680541685
361372605910023678 376723580558525510
253332547609333310 697693317345982743
787022754217673005 898390353955808105
550498190138965404 731126213538700983
770179299766920839 979241679806424910
319186012979267183 691203341083591124
911766962704771875 935667262096402573
613342379583185520 931262503667835099
839173486304786141 913710358048760905
640192868480051027 912103733553104398
927551496929732707 980235787392168640
711058400281315055 983762430808831955
208769718050828433 351852647970952333
788652845454202520 832229403700267096
966754448229138909 983094582303616608
87797627320911526 536314257323868348
146575597295824585 554116728024859209
777194916076313712 799382659317779423
979094419677021161 994123115683316446
977367000875700930 980578724926147345
823696317213444694 948947517727029072
743698550848649813 986598622172959599
99896727174061627 982264453868023731
248352024565922847 996845290745115730
569054487808795537 756511087756571322
860069706172214678 919080200610579462
873650348480101584 905983089809995029
217710960085608632 659163798204840683
629127807398393149 671961306303583568
275375022706660792 409527429710758385
446756709312016015 832020775550112870
299058757811855267 695719412265186742
806826987769713611 957157998312703667
188582984655060627 320111097424112356
154198062310429827 248478909983730311
83172033770339950 608377990070714859
78398672448874577 131887316715568541
126447005598740234 249356392567605482
518941800376939806 657857535593470533
650012223308633642 730924424637398065
308359230343374006 742500854089090106
57693944580279484 176185418894998913
826180360418577997 882138401214818365
738620348922002553 966167714959050776
61427155619190502 231262162768375529
350668978566202011 608199989035881824
173932895319444177 286952757134841042
573002236267692178 867471579216772745
994796334035576375 999610328629251694
23301836638536529 557678460375447132
789900362149638330 987601438292307857
396258022506999340 973044449582132307
419983366966649224 513372923157222681
60910013649843173 467748695300119545
298524276096444401 713779163857172786
37866671649658705 638331048117731948
153781751497216560 846002008829356985
123258461358731677 237304709033997242
289931138030820552 813612501496537175
406725009419475525 472418233120375062
503227320521932267 535812403715989281
147156406222411410 415692848851441663
54019267050705972 787833222060051833
70153902703392030 949327570566644312
144007962348293724 298390883191456392
898546052107454603 928154637164264153
927606377199157412 961065228105672851
11760062626102682 607983016125705047
55611500746855331 767400215032450939
803345331046833665 926830614416008701
395982614809272272 463455616643623002
461763037004156807 973935755984105168
384209658792044666 744597440748108039
192702691083900096 780919867363512074
743627095721931316 986167892454882025
332527031609985803 705190381158415234
502975847492479057 812230081769795955
134826099718465170 439263981285220831
494739262820734547 927870715294571252
532258774169284976 903671603616524431
583063254082585044 774543249719131910
388331632666119914 722209683896210740
706901885255420452 995142418202389899
377125156979048580 433139510596718447
715746181834439801 787988006515601820
952118863236663028 954152914856419326
152903613217930504 327754125499845100
968420389040212199 998057653300698817
676239462239066079 784146156466092206
127567151230009718 138446586711821737
336497090398030395 848197356287590049
324634371786588481 485418016958819143
493305123490967914 790799982701919430
561460303090914492 816878342905068128
288923553821761434 648983259996512194
2651219304856095 14540558431236925
508700621143788736 782298417700737193
791152958111729447 891445557246494353
649444185439448253 698002264242066497
135119309857130743 619453990187627588
843686095126230650 936328524160453609
597213749253445212 677530014171550977
773927234848252614 955021614383936248
811948655857949430 983069861215246166
64572758885035298 182100075538182189
947748221450424889 995116326497792821
996516720696170124 999425120401007686
167615039057914351 341244208778862402
120320867140812384 717865310615821503
640819464318701583 802899044188224353
519805163959380693 758044303262156244
4491297453225423 862788649482092476
908339554394009628 992824690871970328
650853500135504309 988126084634156230
717948302549127498 741972666278520440
586814388196995666 651495209429504942
537679657996520041 764416107868214306
202519649782629276 422692544694464240
75190652988663162 119615777107325782
718919867249365489 835189325339596474
269509773618655299 843572978780769384
312084862012789425 323494314127150730
98913622204837077 253135637427298996
874285644333124640 893163837925383533
340114447017001710 403598024306244609
481918863050370482 994529939681095082
796493523554659576 799352789713910700
794308979939668647 927057159608787560
884797629998933636 890855934006452753
360362159510313230 991336193700869698
571168131145307966 709346577181653500
785387787535892393 816673065643860870
198094402933591678 450105030374611778
367818467030438590 692907600175421312
253291390648484078 902116789542371315
978937266961888114 995945213740152258
208822657053147160 391600676973188262
691411299900407004 759136572144392360
545982293907414622 870157734953390085
12738996303430412 643861600578346820
364688344263282973 874796853734376757
675983254554657544 713890647107390042
38718726645732294 785355974748052317
622342248864721572 951325187802559947
176356835947202529 863333639353325617
520941280435024970 590760624563168735
525273035970321241 931696130266363533
211522746666878870 359975926991574327
132304797380893871 355187691521491831
697672602250090284 818645638159872897
250759480881543108 325716246951305270
732217703834662086 881695792879301152
670311908495807329 981646744581740845
203484829237211471 285233309245429694
701297247080421704 749494124136797637
479443859657997103 775324206044516375
788429836972923384 826071308076928763
898586230942561420 900911546824247681
7838998505744689 135427340385013833
610392862980334291 636970981168814305
569386741421187345 638802956471152082
972472801520484505 988507812653821868
156559142939017872 580211296337291597
174617654833039815 568367156701855350
755007165509149748 834428683067961227
60480620853255891 738040188689073194
687386985596208339 835835331115757999
82487793457981816 219536418077668388
980632820317804407 983723753109379862
306019471663789918 399604357635675998
105090528223383783 747848837225820244
152148149093804126 164002396730696339
325464637321988036 660945569260501688
582432204794483590 708637746232394445
503614544684360574 976698895613286875
347810590391145915 897764496918900340
602982842297498346 970405979098960954
420833668064527628 660918246543523686
968937519222797778 973728830932971804
989112898995236632 990150501297342391
432263866147861319 867171988513896058
642723928745699454 969786214015967956
492275591189337359 510974999087528900
699868844872331573 939900220604323191
372033273413504368 826906364788144370
810999292839529318 918568522099370831
938916574834288744 969070899055883821
933999529718029588 947655790115984068
939171230546677688 966572527558768769
148665576295671732 582861814289297343
684317572396991701 718923559479537560
6524246835072153 877012048097563046
853718843166313929 891674035076687464
641450647628399112 871523660226583917
682415122131944945 812293916392883919
336255942109865058 457493205856503815
587238132332267454 952509846113413497
205572656681444650 681626437483957215
494690575117911844 643498674143119887
203363894905990532 915161046847746374
804220855794845543 838801848245389689
678110513285356852 833673362703126873
729757167414596604 799293937994265582
692912549572164152 696544697924081868
772914266058409958 836786519547315301
848217856270964233 862712830007543526
410997764944255173 970692459521820859
884299239799061999 979694526237759262
347208065094813740 895195236748081929
724322240323072422 862715686851207736
656925032099479914 866371624673949159
577168945526725452 750879608073432244
853726885651407357 881937920325005687
569661033655609480 570494674204405442
945122102096962691 950397695061068766
89670972716235320 881449288292269535
998318769438428587 999049425958597364
310043699357103723 818947781053980172
316644196433710591 531261772132511840
452698344066980481 770207823949330605
579937104540763051 827049548376906626
945899755968043088 972575604983865641
561917049514108450 752342634333808513
730916236841787458 870881965368680365
621902832180238179 717171777289533393
798955321189137050 833821078311423291
869097362811831029 971160825130681710
544667373507658992 743335711767293450
271187058558854971 400354096380161260
525988182113654269 746257908186628928
674611294578419121 844230148247381943
941183125629772280 959250020704020182
769022481040379508 894026088862444881
538850294480675024 788650893196282493
601281293814804306 983693620792030074
840529820309776744 887005903788987022
740806169217534184 813342940357477872
783750424803302405 917755526551676206
741356140226935075 996064947028675121
684518723798471133 995153846274593913
566630270927902711 807799967774838021
48539730793531386 989170899917360985
241075364499170071 941361390064436880
30304657865499579 475280814943044131
441048454122150399 829176811610587927
780844585954283615 879970001692469690
383440690341842979 919271962304825341
13578493642679515 397524291525169144
593708991324463128 872499493326458107
496796550999420997 578128362198968539
229916752104226115 959671831294163423
976823629307438442 985368779815019068
885824757898564828 997012593102986520
561262273668071458 939627715022179973
125122025185210091 422924228928175457
872721484848396515 926337596176489926
310259074131138130 526262349564423660
94438839012615405 279893657409541450
764155341706096211 883062508810398794
859821527388710382 910205731016739516
773210760131999543 928912693413241260
391525816464166790 461874338500497217
656995014689420736 706174814273042326
401962662688577749 753383336616219846
1403262354144592 777295124380994906
491665714450825231 668250771451837775
141059747602025764 799792678191030715
277615764295639077 358660137663033138
231153172897857375 289317139220580728
385165079221597361 913210069860363585
219686298701298426 398463920562410156
746075000591750471 852706867020374711
987151958426328528 993011746771378343
108629150962422266 896888925837807895
425420447585290854 496023595679893971
527293953589137173 759294716305791593
263349415017465183 954484180545528902
778478848882846195 841035337686701920
639497724331722377 993612474971894084
930662709279091424 993338773249132747
624624058229100733 976521436419282585
728483470392688063 917563862490857886
336195066391185252 658247528565296181
970359872017975454 993609106575167617
958277163675143416 965051327112506704
207435372507120298 897045474190509400
169826641854258307 965384457654173928
569011144790703928 804952218107142174
165063466790013869 264945252397542884
988844259459458981 990632253693121204
816911911897463164 994228164699131416
343417272144984829 749977546270834407
573763004724152693 677087464504318326
742579926735346280 970480809319436008
9589668571584662 590664356417669745
723878076636987316 781751464640819530
541746620594806169 605680582788051500
29407828523835191 222354643128806949
546804930668092995 560421482903400196
79082059510788222 327917336612250315
507499112859831571 754396114168646523
198844793173986399 471991081840023034
154126694631829441 185339576954482286
539713401966551131 582494591608329051
660499687913145878 704759531810450619
349568960870806271 725996190326645525
833810496204441305 881422419578378114
478005719806382895 492250535618605585
251927739772227300 594178636604558444
799554866708646569 846805144170328486
588409601137434223 595859574912616458
255297172420442874 402430950314261238
655390027851726257 824036920637451254
930922932163113477 961876404483568340
256050746725108643 450788729268495974
157679966985322337 746227029604663326
393677686155061954 615547752996797867
924921667163945796 975604038790516066
605826682709924937 860411004763667692
750230852616149962 905670905895631072
815216664751863578 938244254654325172
798482560434952170 857841927973674446
798916309105303322 995668379320947311
680025147294645722 908918559609499961
824316222628634125 925269787066883342
497700730636054781 924368201845289257
362403486809080349 741671486744113253
618506169850435453 765258305033733847
139061333406527341 772270907331952048
168849917726089297 501325223195152315
54814355927881451 227960106858756286
47223384334164420 935963367430187679
919249159067848261 943057839481263594
337958464234721249 959618349717385771
825850709069306466 866828614835193408
263800577397727664 982395602208975108
240639166198932159 730030284719942730
628811368945697530 853408979523359467
256246381109109554 839726772641906900
602633200684467317 995868499843418029
562289940526322076 759723979516301534
584609529277637802 636183510855528588
361797435160852456 569245661116459700
836266113536767319 985073649058678643
616592542401686961 755268664423618490
660340129934633900 830357963834133687
711209717180288204 796934332936575280
777237831945068196 803111444714104809
807087342816581533 966151164194397395
163447995198802087 438357193717536943
750182735001588941 790465558335804469
870324506622400136 964249893020831149
960512671009533002 988291792662012295
455457070603865491 820495481662742792
709321777594745083 799989327281690652
158561877817078019 165401132221255402
731754191723567740 824888866792085774
44559881510688338 380492510023049452
45560353151399309 499783344894175140
489443229729244847 627812786243663613
889733725331370072 977788475242363307
157414577678096423 960863066596034837
910828020189242869 953324271758857363
791564259207279345 833679408087403507
730777099496744566 736280448013158324
463261119075426058 489956732975279107
868988076577618980 910598597861855673
931358672165673825 957357200185602356
274632525973103390 343132248989505790
66014239124414512 764521399003178531
372468252171844636 390217322817719822
633626396916363603 815679455131890862
173764160964371260 442496248101799431
758277831489679890 812297600088799701
358504036381399506 652194468559365430
527226480630478742 601391516796614778
86725615874743799 925809005978056426
777442382274859081 971526100543683281
121444798291450191 702140104977889496
934987240221982318 966404907787635423
890899063431445344 947110633000062301
472393421426121933 981721169476798014
627716398370353989 883292216925364301
70814911251338671 298655878927271195
662763039467956751 919361326866734237
74496105446929333 119290132049656614
966512668159698774 978260155227247430
832280763002947147 904329923047818336
532898782613733933 558215132869451433
382848020274138536 546696464527235499
505512901481468786 879861244887292257
349012469455804650 707942968949481405
315909132829327135 848746413551687879
913649359376033623 914401957847383202
670036268228565336 709764080329579631
582997546296146106 968593266972051380
366515890720547665 374871296032839953
872613800548937243 996359792471211038
935539154192215081 956331324195357506
621902649475883902 958795696490680940
507796587892653996 770096492983008611
965345613014780907 971096419813050837
77240301564350119 507932853310026653
400163523753649614 572642698815400431
551884297245809380 936779747390933646
342695640813664925 400855897861252757
133954575468988306 526900659661626329
874442099201968909 912614899950889092
428304911058456634 925617792252633379
293163626699715736 581644325670235457
80487571799046779 409070434592788498
378935131950696922 843955710835366956
688611360358458898 691430990469648116
546356256920224160 753235228887914978
11768840553541800 504362177919968402
75091188306280668 245439180890733691
175690318362599757 628714325992913884
444216544279310508 996662088562760440
967618598177196775 983855955658183105
78400850162399759 929606168651127067
421668679558457044 464433209947595385
360021351448471851 558854749450354603
128169552752149440 635325395359834903
950606642309016331 978701672472678488
889021625375276743 991131078381012907
859424922767848395 995618373423533800
575180676453787958 882345370297636700
610613498840600457 901919199931143300
601169181733379002 644063830472357359
559437445958129382 855495543769855992
918234996456425123 933565053453320123
485318218308008626 705605866529714808
591104528267088549 638854428696916357
412073681404302568 849253477659369977
865888711904997584 892157383037837757
49894103433794037 263595448356983198
319903180589193623 401047965315858328
73641514384277029 531684594931695379
404227292159635546 895093756742915755
146080583430744871 648802357161724818
785470188191239481 944578093221658491
114710742536375579 824604960925048632
72923437920872818 981420256721740132
261097230797580928 519973591434058586
893719463028780719 939409001701494134
619018881899625488 939071685789731499
66626703134491477 492240815406397166
537756516619471289 910983557018529956
971507025650875257 984813056509176175
152252483081691279 705213970063661905
550529717526128910 933071652402098683
772746263697555739 816090006186558007
933689666827042660 944712369083293533
187278439884242668 385337025552054268
861706773525818307 971485451453646021
764048005207911787 991963042429033063
409621365338574303 812777212081558587
857885745076746982 920626711378194202
984396253687132478 984713418977838539
283482036612382965 841393963241304379
510986363248346532 758703919364048528
856166428773847768 896728233600107406
211683394876083230 541898584057838203
993808569007998478 995520884585941478
553879259119754612 779069148803975833
337829744169444991 361057349053087806
30311263202293805 219977067391381861
139951309256255696 740335110330911762
437624389490090427 970395995612737973
746899348081220532 833946978506347970
738812292228626379 851665881137056574
60510014769920979 946871650987354080
758755628302365862 823003888548551330
454506435509169661 815284259659640107
517825526240296872 661193355901950527
112727275916844650 264111384894483848
873382331906383160 926059122591471075
713441206346642692 822999427549962783
553382197574070084 935831478422763072
138957448089529586 696345094702555912
788114694838685550 845716310699301147
862937085524720355 902758048642488781
965841750047377597 972086963999654120
289182263038995748 761129432263985083
948230589357397247 975433734800346666
655706395882953746 867780611088049387
707803127711964045 997810902416129966
490023325695595193 595579300919584630
594970596474008530 691831369376080634
190875397963154285 350114035160271953
844126413438167154 894849697819135349
823940423048551706 926532426629433934
27243276960149743 854734150305704418
967101512870865661 995171307580571737
335543231133463250 340437951806799967
138284699704473983 625764543158209207
7537387351358460 576284177471082437
311686611425616369 367632404172929540
283883490938027854 590139237335240130
345438696093250806 715907167232753022
461523114314020486 677783788157899865
312965386335555854 341827482845947105
989518734397411471 998134893256619131
414681906345526171 618041263762312409
440649593477516544 478847889865765977
533051083892401428 768370496245568525
324176257239109335 913939637921605311
418636026634214546 690369208615530880
744738283314142659 843317913027024368
193196502981241576 616767121773172218
439060296910817255 603268803958764397
223237807742226515 264754467896539189
308483541929901845 386236145987811525
411362576468420924 798561049068819706
637096962104530583 639662524422442930
518155829407639722 545481863853471431
284934644285942376 356126556620327497
580829906323162278 862193906419961666
60771503697293281 612346873604733200
832988111375557937 877103495815054866
821082125072013924 850994476995695449
654623825597428211 931011516582293354
248277921923476103 576917619702552460
20730242123190061 252366867806010018
384513615530517485 707946472456018923
226337435279038248 395243676243952411
256436624122778151 664699198330536038
155631502098988023 796839009163855270
143867726588225590 744072275019606322
946908368493112691 975038931314463022
851614191076505412 985997372762363455
894814219625277851 999851190559808924
155051593321426032 361003759696652751
218905975604043119 683800133404545006
73177943058690907 685962442295364031
480420826417152264 516475174317623393
136896459672883771 484864046375528168
797664210996509560 973143149826309629
360537152868573062 899999798284616449
373630856623730637 841154258299717288