4 15 806 35507 1251958 40098329 12426634610 385418867011 12194346054012 397952563400513 13480614804475014 475672858559841615 17513276422388003516 673193136638315476017 27012943117406839638018 1130890305441700954064419 49354459805775540656068820 2243178517156142861132086521 106064896485999032878695458022 5211634382222423422990339793023 265823238873673629919307310533124 14059102378764473988503864687158425 770208947741263347679674186911855026 43661772065563343118871180760435685027 2558633207296853038664944183062547350028 154852396321085055510262770495530191907729 9670254094647070424456413866180820458352230 622575470507709445890858593260183431288574031 41287750034816854974499753624438345609825535532 2818270411211183690004932414514223848719838168033 197855899079755667640852549697951628255494210684034 14276038121150842849023328561297787255245079370109635 1057938076312347948497281929774245055044439508745376036 80467675494087398382730510062738326782930118821156918537 6277962418685590186106686460073075668365709465022373644038 502101241519262218135373323681573203849342468696466785845439 41142408742766550531337746408537010350834068855082596364908340 3452034092112910759765778580875340346027459291753601944269740041 296427500209228352584827247032507250751037918131573650440441789042 26037574015173354809320442953075284284591654960451847909917996647043 2338355995026449960418865161549635016651910500885628597508637818159644 214608406110456957284305531221842542361772619218189550709305768074414945 20119384040546495936030158152795580612017704159794441961385268575680079046 1925874037168935089167067089013483886061231852333814458471814385930396612047 188151134635807891100704222257808775827516020128471564557143925089672701707548 18753348917876464168300704841915986444423611789725124101721344375394272703807249 1906239695622341986766410049051723995258363226035461569757497675633087663332517250 197534327156753181369975602001808672560267497833873407596774860281836890257268590051 20860249347406145320935316262702591757180024981632688626491551113212242735942075640052 2244187675323140741898181203436580276514803685250417080988700299869216845228734941542553 245876884132190824194634915461115026585097048667897555410492116956268872882059546133190054 27425597232878089939335461074957225112240328321456549819045594215147856979632248287462902655 3113436766098391772325147399079732980311592855683936981078187487331351675243760969918114115556 359616594667500997717224404538935829847895870004526592962731824711055759937902565019143906488057 42250272931305181397559494134147894373974451510151907227810256846026896365845812135226038943707058 5047634273257545584272555635554599457656821935658419568417641870349726889940175127349955430535263459 613051720058630567965852147871118494269928739979484277561656324240774123498980007320891568559157522860 75673393652668488134392567300979396742208721912039123055300427758714390690189160929701494346650126032561 9491080797709611547670581989852248825030277504914655452294716641065932293679489985664581764101186261041062 1209225667541462840076513369599966714052616765217398640540365474203115236690451487735142663383204369039898063 156463969541439033145230270115320999472577099043728239926485445626112531495006307810136107549049470427350241164 20555865978786256785838284629319661392721878723404890867945852340070875463551612313464408742777234676909246166465 2741408421123555653933146988785596875225281531525606657896220164010589425075179400803123735513855676652094195768066 371050602078675108659702824524120115201977075950683956242515506645166680967377702110539990011603801004044049273864067 50959079093701836819869837768889585296234487686755113659715619615721594332843056005523280813378971304928378868352000068 7099850755959637182861249431408525823372274514159881107060693071499844148815222553921163126058169037684234191195002361769 1003295243581529977103635812381640877446987866568382850144343659045613846301241779145877001544908209461450757397286552707270 143772300016338924067072029927704227614760177699900889255820053762184227865319977269108013909643660855278203275266669288571071 20888437539045803547563356766711104868711204600122840909691266909222234605807622992042270705703536089534192820835986901250839572 3076383625079454157890083799949905250779949232886014105828481163918802444970133034464583490600381219180801865755425957979435252073 459198508831663807698063168886197561117881369920940719558326181341311149100576122444969057547536169528644897621543281788433845961074 6945596722969803046202799124281446265042031722059274717148159289573265828590246678643033779255543438167475144356023469544500675 10643719029427240596230241348982740181679892185389120330624131046882529305319351035661092545125469680650142344925305273445254800565670076 1652264191150805352776763513274376017228831980337116509373015651834648521536739597961507746714747037256013313761927012693600972566655112577 259774877686441846308052545925922824652666729415160470611395849893165967122781078578480497268911505013487437033305871126763868271020560355078 41359705657766728155173637225906965095403898413919992808990232077329005429393867264217333614709515380507541135673352426716307362497785985126479 6667347729178309083136261475869624088386720686949164129394247795017145231744937094372780556373007718775105728973053041614461915538886559906432380 1088074203684207141184939182598779199371024847476022516073646209181862921374895686831297868798115815177791828830683740197223500951148547830139140081 179733732404192359639260822970521214602493849057959500997883666692452671524078509201530511889883910152144790490680301881226204963714728765067331278082 30047184348114491260224346615839248983224399256563897774327304441337771772813587335603352468943771635096576469106718364627265731126384451196641946034083 5082998421758350186323193808159730664108946763459528286199216283755644745325445318110238458363678786709507860250479285416928986786719862494645353259857684 869998443774766308177192926469614485264391332566736455360809719308813724327909323093258376678737828764152170469677221543990611188084613510634139702585532985 150640221789296028589886853745128373838795023344797599675784715983063151291518633407268060616688607762255611337672078699179050546291518890216492150516554922086 26383375768584323975134219286428371966130935092928831391569736138203152800477999523160815680001137885812350759035374680922433465257118413565096439801452595241087 4673378670908745653793526576740153736096885567594084174416629436658507604533486741200564041792914097325431964076928842928547672836306771312755667955066655788827588 837121024040952734116438907596849577862841177637402980138328849632395736224052165385323727935933820175473296370159376135730123225765275308543771003523042401748371289 1516173350042997748192053167662723280035153086196961783885421429472731904226432154857408156585321804999159296289701162819756777621399846121158522494301524951930260922290 27762630675581588064852529004239717605597098429540524996223493158092006224603584981600514797534553735078531595578748706221574178566235521826887818116556777431521520717091 5138927013943477730749374430447921990478582959635581033251311177928091975167896208864426747738185148472015718993845732877667089105449916601041970429938504048756675473334092 961466969333260406242271661284420061445482463182297178178900475391119721686935623283040652830824973103147280909529871706168582444030459214050235476243709973049103117437296593 181801485512101676847248231978101533084259275779581117347019528254286113627728378868650287982471443094314520524129489247223118006518400051031546496678358476518041978633879397094 34738710463565012712488159561674962920127555110275629778533258554971613779410352328771252175953526657418868616152665774449108403946548671957933630311680976210055622587131641103695 6707122134869615960155669818198836800025720153173555787531744679410774799368355876757399228197185521434386569501509001239120637636798279900590451093337668324954526023638443881039596 1308335107950193582931024866427633057909902569914689843318632286088475476157062859041505956522033116283209266711114777564693415207988380493996775086931665624239151466399965825985992097 2578202121170253445365307037250994933420302230124477159188667265204195482764593990648697771029862801989183248336509552061771890670610706448176100323523444980056426635964063778424814388098 51319915882410656268884793357783379708980120209661181935669816900136055133505580958056288417866451693962141026977656379064225056910330602535299749011550996742006675324391576884459815634499 103176932639044726272610602523799938088251563230451536388097820736167863644090534912432128857784125392431135476503799435893422377761845993759043840847544006682602882588604508984344628354368100 20949059493107083635410011033608104959350701459171611413988660964189762496282470362290597320053166935178364399631542452675273970656745613540498182162952611045462087124765132534669157109734625101 4295265839630471352691945186296359326815905517863182462387201062045370995803784308766638821072097914551130386867096838602674178645267214537670746452676328146874954042187699635678879925864957000102 889238634459024405319948242322399263150247131150009021907505523139781522181689447867108871695796874237309777942384498093194589631696926573792184787791466609487899240916401248822490741170443692550103 185869994752004769046164708560147018034238461558107234529857992731355319715479891066594429243577858802465567409489066883809555633276191117692901539470921408017106837300586843840680811208831877496091104 39221448012573161756849279553887936655836712241960423102840541909186919901943487163315406886459228424639988316547438781281448085833228523948490168040870475945209657298070683715155079424523723448221144105 8354543979066083759570072151949476986548503768261116158558332996533824872870712730040080342557116964137981026695199282441524306572969866728714376253498708795320895619412752804873518944319527109028211410106 1796258324677049115159700676833838004022619617945169239992987419083340633405841191209041412884728514293896845676233226468327176625150754665551051733785065914884193693742529233386973744453425277081552289430107 389784510919881745655740945367908954981951587239544681665122771142353231389256304562207000679160639174650409590570308926185283631940993768108064555934525581801414519206415016649625833612790794870762719135900108 85359840460564343065546042160397585831326467129330338393927626956318038351503789835559137759643401917977507577696634887466106911139648813626446720072203307586745392142271125242350849563713226766103806370966357109 18863400974400997710866961683066784701729008104781352005792906090988373580895817577764898311443324830808746535650776849363620250286585204835401366664288020113235839093544687110591073300313321411607319323106211622110 4206186949568583185053304409528696553052842740144983264713431198227472781012262315129164165751597982791684448911021286713622200774079374850439917360956209389102178335742534655346987552984619629908716870600854872280111 946291044678896726095690726217825998993864731679412774180556424379569310880236612886328133789243542561649099299284409299036240970490619359359179867113003951318517018046498325732012168673325101290904470103784630633235112 214780321271512699239581413411518246507170440489816289806658509392516940677761258762698772755971224447046028179905524353335651684681239717120214322096964227991538742507817708335888806353353441442650940647368138876760113 49177273780097227382333941182341067916384197579467454021902829144428393199888729117400987160428946086388573606909358257054528778718825129125463375542423999413259543660618548064765792409045884632879160668266111801749778980114 11357998170574424742259262482848601973732968248292940469606681882342784232198552549272577224363565427089867431449735416462175392598903307799926951572625448417335158676620474185838808252160240727768240109912894611383089689116115 2645905093263611012294977700498846280799737599637200222756799468788462123431825108770226485063680100643768491162654935006420000199401499487620812560609185293683393105102891631457153683852293474588750446709286454675122381192240116 621656011735103087300252977309281063060734560242845983643951773144696227845278000538734053451144360057900433506656563058520219807913906426835298591278717295933879448176293576262072131552145768313760068983297494263535131105843265117 147298470718714811181699171112179560318660672263831370543620998284666846458946193845227386171618395878593028251395516381463957529015194989860837773744610623747171515271519747308817558142195421567341168211738064458598511838999106060118 35195561494421867452521418502033714623478153459361088019726373932988933066333461542765675568485471171669933524976584532994045550397926313250188455884364109488192797742802357872599642159275358092083202421909507094882208072485187769874119 8479865423856135170367654765546427645795766357338948355578839911852041923033334123612608391927040870255378188818127682461496501876616389966930056976831623970130326165094938207478116555181888287183492423733205852918667168993016280623363120 2060021527128162278461990104490860376764640990860738042854705753634477712753036384762613428747037269231158708613521056068049498810242927078466391197228736327168915812756136091493804209316078490934819685816674011528956193640817093096194000121 504553369810501144318007789825722013959415118937265437763615417215024604549101169564781116808781693539111316796546340222324780776290607827427775042825765984505029766952594757786779860879316825596078292321153478689518581142978485510310995070122 124585156999015814952900501644193045593315829097001064833410003198460316764501195159708006993543477408998902960336010197924081617478664611617714979606316132192082983918459787416254437594163592120599898714341210246491527254558494094327448337610123 31011379276457109782909015845310499215883115870708313336406630267307419204325144071580384803992575572700663909934623526351267529151140106345879819879689834765146105780878157745071987418610586429857914042029500899126752795960748170231834065160956124 7781147372455844822992056132144719261705747868438208326014584252517091715950688085688560891282246381940439305351218270455799921773665346736821011021869267870415390443312343097256397873958425964750706589182857395818639798901503428542813523274115109125 1967916238939248604286234433798661884326686242994839898429178473175827390533358115887261491162709960174016883576150498402838623515072931314625622495364206813608568530462824889134365495082167618557842509460630856367459914756456776292260038226639600250126 501629474573370476627003989386843408304760942171227949080929894149048625704843892979020778778537782673024921422137984993161996502462085723046721434702797902913662269218692309190160454565269102189231143585158518016455564373085304350605723050354921131700127 128868397460636806811549175207388196418181262231236860742392186029539374191484923168436704384007191182766604094265061565272539583045080149577841589657778199212770604983386416164817214051236783833393026017909350461852709983630315210022557288635167216875128 33363425647267950203858682783000485360356029261519130847992216265454299987569721091405727659094360529976716464023329086291625947226747877185342359307722014607197419409510191962117487279187334184343137245354037174244973014782226967079375540634154416627279552129 8704221880055368170461486436288862748113231215197998000128770475442824454557276463393071810377968229117581184431164891772187934439907564780919180210103418358419887662507231490359797452469204799640091755109198000312023236666645433995815653976656328012954994272130 2288226704422547989000053785739592463304292574926961926262190533213928385525759383176549652596184344891892272978769212391716639872622966712913392295587197809401672938397324587883631384679617551805533349856171740635375398901891612735412264137949125294074735803040131 606112132571618394204411327340675745498465208160946769542446244551517093499457599208774553969496203459591209107977505124822932938050751466123662264578221803357957813202299190535715612125042986502045172575163086658463233514622850987210002042363749389307775562350080132 161758518260579623745584555711477334496352620467699335881300352582152693563786840240127746741760895457564966284312374629084731505370091826699003844415388150590113239672925663276645884133675631148651766102572682670678881398038933275229072756449657931275966754940523905133 43492801754755122767720386998029520980395951135148541531750923357471403655597894769833392005721536937822224051724457648130515132793688541645750139260480481888404673910825854270047193944910958454134589548843262218314371756211905145454763658769542517107174654854679878640134 11780936001643217235488664380073713120182830150534654164713896843631336553660525871781343727749918222938823554594479410581065350188802439336712145635725447895835027123135759936520479141595448916821639225773668699320677879887159617656611070659489658758696293740036408141246135 32146292061439663678141095594878594798601967463673103218134980432258539276158911066896019365237185799821062084451449957598840992496108132428804665432953380891649556659365344284421822548777140291444889309459530360671038105551114189677258295204251479627869534308332235136 883583273106592770334824891356601869411142370286189203604000049289591146762743921904796759814631872365232168272240857788835575913347376916180449225869407075972884721099643359194805519681255013802417325708908215081923234565860545253514531659469545051326436687157145819082613160137 244628336051617881420902022796711783570667693865302761718903955630981210737159889725160994970766331048860451216276731993019684894038693746963294172798937705522661064425849415535163588037403883665814493573054515237784771064588137356651201791120043963394275253266313449274225558090138 68215992850832755528806841615987511022129595126208536503753533767302156858834865350155528318728407396406010400516877571658976576783464383221025517509121395995824544037992551463216618421100424213427243834397904915412646848964129519524714354924913079438054834891007674134261288893854139 19158593654363635556828691792308149358445030212740307804975908381513895719191324145909768530523845503604131843719258157197635623759515292991489578426410036121003506494748014611673244323081473429946999148672559181576417050831853002481868956999815412230148289306573915493541020727989308140 5418975036844433410481174788853917823035919741411611335014327062289068076224355667782529769005951397221988605717892090707368280159669911226610868788222410237098940045377079232218935749840064763223102527143777414758113007755747350780118168220068189492562509091860135300602304116289933525141 1543566008279121572898911072056481674138675122560719425581123027559947597706556328973824706102295149648370278241582741637812524841323681635077836984465342754317018812510680370006736155995706827816007261757980571121055879826176676557270317471840554511399575551585866986475812367876473898990142 442758107827415279082460970219897744815902472504852255322247924221528016753874536209292732040976215978202046968445711678400511427132796426584226798407318496540862961370527096667199614781339781884073851009887262823039026670379360075599727511325912520849969641882252274593759090338877983337520143 127885151637507352200718595830098260351453620122436866621365866801201722250685389590679308617814930837602896302134415005699550573784782829427617811540172433189887070367339816804025047109772429688779602436722920731868234743013301371018587069136722441630204464567956557523405845553248467779499171144 37193351641161384471576799343800657579279100028395667049679438293717743089855675500596360825252343480367021455697707372397293253283901763850639105992040838902582562543842508976018750262686717493628319230923025598983436115407620584362354326271839038934070232002924373147147782501280303308825353224145 10891349493644442894592600277572457160936673003188331503861985016489185552415909826154343910489489283433384598944416170933305238818642554245843672741063281601943243336683466012675958697531199471444853249025862060394921043634707510434223280273852263993194094313112168405314206552198379455729642391740146 3211065207722758247348717695029651864225176869315694617570523986042625443223842262049724157500204665772521145953252004535728315917831184309168449439517116237082202797501284660009045326208968864007648371032958250561476336546763420790906867453485377322018407953220120639076506708554409626427751238561220147 953120357355620147600415022472532337581842209858969676148389413840407074283882536536276376342679505393989390726361214229245748580922187835345699036616893157785397450858893302620611626890920131051796792112221523508533080634885051668692546642596275788900163593286918880806925805226649739694303330745025200148 284811787154399436786884937320706048763799425512639870389645003701286079830191413595268110638439420210318268484988905219134498005075247143964640593753470029159690507329404100993968143459977442264156744282058113001757248909120502140555073588412029068914996804732129612632015197618119541091332287262038491297149 85676245655972065593119645836086788916206688303596163356373452105484583971540109548218763244836053629833374700028304555365454552341474301696900717812649766075611736296302121770528793655267862974625719548877839127341299479776548109173931406403085554057494964675769029129427599844547040935535227971609044637172150 25943948159628107346337085216958692000364282741039443160654849282661718054165903107913522750761365993847608646243093340900463970644020177250281419112306046081498496185695700776682507666548321870992667598145468421191657760195997870447523200556410303462636463617806967227045688191686314667472485888959750621450151 7907988823931208792182069539811457158157657955872076340792736316167716077334761251697602244674795743029951942792825658272969278218670192307030458160020578495795671128622850273020091552509364170927793090662894952184720061583284338985565147011917671097641408696169562084160642173889270175027873101793239255590965875152 2426228922988913990494629283871481432612413473685239983853328609209211906692776176529008072166830937169457078495726926216748676100575889401084325278767851180274688556204767849773113386413128119900207626114778394271261428292527546219604138294201952486205118969317652639776893107691127853922630061397501229274775234400153 749229563043830675548657721133110081116333108761113428011575185073116883628384285145428253092280614333404865660013786139669672215984775281267850757112392951420423968562792526631350597346614447827629109210324717087794109746321678387019281735063333806109564064521637569037477650533812919107042022357676924228545978576950154 232861302752156522626801944611556718558865030155130999665010067500728482064233461796838885227048825866827150900022866114068714298295589418082838770303675481696402198297752620947906799825254733560438656892749367707396212140353760738486228656569944006939869593946526090183103104827472569622593021264386886998148513665329426155 72838525463682909353122904124084534553928717831366621829193292491160750776050625870289285196637667565356278489270569224692979505248119188913613610644184370354472060201990637297581896872801962999764744527982976537552287941050567369639605293486260341307507157234422474991088216445671904291497665553324874887841562101250700380156 22929190220257538462265811350264202192341465156032096028982163858751313160214229715681343971510256136559014960853691511249656869909366388889992819274594776060588932322398234597973344067823029272082354888648243471283932596283449505744179572954450258472647519463863365511204573367733523287810665454531556553863079245452799541605157 7263778703512316433470384073688698093987513333722696102469750114946764333179996047336603618322599710582938313367913201980363284378850832891566727858986628255155704819088602274425102368590388217713352917056273529982735597010623185946357793947010734502253897460244345431034226357194586583851597157424482784424908429249918099587970158 2315610936061647891630879160285342900245136138925813590323715296330293804715509276962552391404283429477611813972354771239072850600328878038249952779011275274388749174481435955130000320991634083240883934866825805283271402382778343895563177006532272350760478743309336383032358927744137413692817285564146875789206863358885972114430284159 742815021704418235108078882064292279870088719172455899555387867024781598223694564524096179817907899491206158375032124885305688930437214578895098742164929481034243434678871820678960102505709278658812877208629209372887098720769869064169476717450913788548744597393006625829120997792126741737048733839884736547765984611785456728093510203160 239767917089394760950035442332504251489382829401224934016465223716793167581287577421344294982294373712031922675609479670176119720719766663956072346792425485255763866522705431880631429293168454801240588168338643072064449534612518211061343793165047583960773827777312904223149935919089569837222543396758340321932501696692150273227119377200161 77871794879617213249395192372983242902999728243390484336019990839566573804970218814906664472243845539012458048273553890200808912753924547483676500264894362591345528219713311787652851313813750126512715824598820515930421464958344013974657153874875897976866153314128950089044746904682920366965374668554905331021570755258056379022170525160760162 25446709872105103854730489107836913366693431400593686959950931480498059558049912916040623706308233730218903329101775002186586714283553826830503552109141393918397037328214483413676565847783690021767410265872527544894578316836915314220874408790966881935563942470615739808757032892228902932816799201684726164663078121483221134605194152623334280163 836621934063713505667893163318443933521200704387375256035213756636937061336707421527052590646154123075391262174892176268447858529689103363219934097542821713342366519181925258769047668949045315975892010260663077538909501825639861714145032740204556999375748978247776894848284067436707024497255333279162145923046594703593428298175192727681135673616427673049547654749273805134595631240725661468721097578536489134222262514864140312253995650491300155549826504273575924467791799341784173906141411110730473133820834636164454471584485966389651679746197434601422558520740308898176898493816839259353557088319590548110658994472941067197454248402116584779293361937460058265456584584786816369138617710114891659208717788238735990634217913998773746763693722731379069983698862821390133448084312796028951010155167862590963738109860437599016468005863996997955370424551121603976687033299247616297231016591185645158842363054165210165487634478557798482072438950913053229801850717476764656621001618915209348406465491417626442138370772730145950757624688953228188016630827624948387247551763674092886769852852884699529130969161509926216074813369653446329815891326801339593838160213105906140201950543846417196581671240268953585561584148787141770912969214855726383059486953636955921917131459226977734460918643657730583305747523853579482663837668137231414773201665574552791686788916571752217433447889841894852037012735999016710381600333337363300848260762822238111659488509011859692600002409281466628009100599455020322846125225685778818434758365655776177052737367687095776602940402390317748379395291561211874444123468624023383209821671847696158158467425392194093482229305435458588237301562598138623525146395877745052526205027425753608221129668978947323966343470484653120811839487516835168726156338913163759981996922315678686083238204878594468198277016758832080691790928774334224908175256046503706426550843548165093512344379967831718881186434841016219626845180512327870746368096012432656988661688802712336587086928013719346059771864671432144873812837896004494782968460419294532643187139107254260359582826728115165660394222849825100831929592169119840055166838337143115475115337094436927525509037745853361121530823614456817000879299824287573446033933613603607271426939943698688274193676447904527242043785305134171057980721022255866624721976393553186679181648918985216077082324523496852318133128224131860863833179920962758902239196880629620669997849828828117635942417381321297469883636202899738136078403221704107575017049012584500976142561533951645159725991808093942537149077033183100088763236917480634668148278420355051475141978143225831908912748233954953925145455652896437399188895548266628369540669869550109687980070393020825016034702540755261977508103684106298402006005970867991807001792400794347152915616825206664585763809754040695041779851013649206495101711416095139942922174702207637481636376150455378882065204287543141597187991242044756842522704448277221152707224204644226464934642259613377413458882397701110942161393793399416833618817403253241590247647407437112081663331277963992466156267970710090303650607393552525947897122978984424795217342960983217060434303047569592992965639052442760911999286552780910430656502620172491030240227235173222877937854415160559408541274278650787259275183461303655463652854704926888696676072593952802838153869343387581268530832341536087535601706402698642530677024379401208298148564851296836678757988981637422966201223968463713148831208462726167745047139684594098460103765672403241119951932077288542853966643496209136529045875704986902507854422112522188245173171245253912862702276820528269015493680810983391475709285200890602740149060718434896839963132126902990392756338727174999898334692115128809164024086876953093815465324173457230376366106314138121867209278648960049634112519913566463608800704040228435858655036702013728942984771993628104796754603362920404483455519757051696088001251527722917443112876382761013162887956377910174600632917199910491206333677206594314359194732361069532546355500451707291662066330617390270644049214669584154663128875245909280423888502821998072333214185736028657613440815055073754734823605889503420259849795494598212181147831225127161001167332906438963597329287239456973993193360032540344177949662061234047854004252163633207421500105571504403713464224634809529302155156561752118682799658024517685639623593061259820971029337602697546354682701528164295286728360694134059896506995081656488341979186860557743457682328793288033204947456535622866775707611933868410913722617030569231527915651146874030908076148283532538902722610101739939909350948696414794131071520197385384340528410269932938965008827941581250906254173343980683140515161705245202737370667517675157976593225896166854538044995891511516818099079533272606167046524205219377057735319479600856419933362807343911923423637566806796517315745058484855179971186634140280487190412606799760138279924470306804138620001155915321133829549380625335848304461744183551789999787734314343825401877125875288888071452149773332775411196111053054377528435795153124827950206846301445547372606001772681160443497367498095266869208017419370923505029624176027253198124861577262451750202783616121068899122873941091396432955038931419989758458031212051322304245939840707961297327622479207851856701839445181066414319238724406580947594177893228922247069528375180318375379498171714580113765476423810107183675056472976018808945004935654811279016557405859439887228549197236113222118303700178961823808551693815765413562509806816398173353883661037761621013011413562581497568558138681284576440851848162409852447115650562313134680972096959998287076106306474756617042914020342569904967776643134456796931400364771834870275921105563705486655718411828555945741094978334863093003148733450205839055552952760379915004192574555663928357055717871847205752276086335549647633041989981164179346960312152427146455626402112070663148278980380148624666608539946751577791243298650678563822534250194181903358708847271866008043035682543592899308610578030296237243573986163902727403396095044316555849247605793017909301537089606898736683197250279181765496679573970615889967530423069753448914027512317385646765558794042212267554322151275428465651478527793468399229002742812764831184048180125852643518721397462611780445569583759042987202606060150725092305239584715854280805072371877904305234053301478009016617682254509739452658476918693958863241896022258192085382268335731715423831551853203746133611719862534110464081773450886374658259576367201484950229976100847552254150452622038180997934824911920783949555964966405329159896774587785408856220121822348256233621880797952209025181459018304843339503283030227332748729883130701921057215372329750089964424471119367336236964039654623362966551831671585893240665036419468894148015365352283772980219556249260870068343127131831525596244746953330334684657162717261794642815997653300037274976450195156104046031848015287994505790025402483043870842222966194163531796235113301037202096145941952411474840651324303299383389634652923801821683332020938158079751238348533676512158011064410341512667378621163199068972073685563141187033133220465294296568118780937148371965217240811688604707904927517810002466779927130607021869314938787892866133329143059810157433942446018030508804915056107549546899901093896442718011284641601022638009378993899551823319886131091236062250577121532269474113783784885430906940809682840962838841812766989018362068152790774318838621415473914603196596152065340843152792798369052199716828892861163222695171438854829767424680969214827247144892357450942555436869725295667245954716356876577147328274253210353196818354191247262131465952406689271232118027550481677175983054277732415134946646260154758036694688585470656480666811574545949461923792921366792736925783296997098108982664748331842078760430032385196511842300988185158667654180447251144653056366803689731167884202397852893320211440898682167473976521975904692020705383171545866678482054239015613111679192450543562044564655634320956813178105430755268430923508737502251875947978593328701252060796429866574405061959792554353361048342795285864826955036571115974320296445914104899017888915360832311658035142897266039055874098707485814917525661986732067425904185857618029028549781059745003616200168450986871834913834883535249010480963619746698379225862874033535854044312812508445296666196678049881447124812885404990990163052151085147967010042305584141530637109469488838292795638929197796011319277112555290900357047458859024316662459652265528000309921055514742690351283118620377333639366594308925792524730426513019645735850080989061942073230615450097798667018632136228618679836595065119859280310865505253597970542828302312053075291727894393767662819980048648800880092198036723019918690402141746339328456077228730536381068591973032990187856760202474054147601154760940611522945431692015977162171049664448720306746603982269068688912432418271876682395227122037371934406688890601757681723659906138563649057706727990287933245423258066736944484837904199717292698701001018712106123106702289746019119149041778696021352347048817020821464988957791276694631002707584513876056540103736700666237381265328437752395475466381342542322555050687826298379710053062805827188159325256920741041955582894046765838810694842957552253687043310108186553015391841459103100284108628544614389770505465916570474028550079555053712757426791469154656556756739895465101458962248627502180400409181975609990018845847139470047966629879084039153659145919490667193460242902030028563492652104444302036815135873845245984532872019530077298385837301300448712422276658709623803464155718116622329865248818192341078846416103197038683943813129106416658882080622097112604948506262901177865262813155746263684257299990232799951138384993970435297323294116904754710670760335010706586054521672872034737322215852310809785509470550182437189174543756849131536620028021215354350337825549863965892955674821039194265322566181261349268853957329433348820907410703194746852283583172653844496894994444427277628160737066672787955118124579912569067373400274150478780691630384631388452592314043189997972073618928479881597928387748214701089151931104927310214589458274501703969862047919063226309420813900573051214462576757457190179172346584156241966125696824343237221906679890982808614989872158870992921005710328550124023160022410725224421260884670130137850731984078814133882128317531827406806353575572254523156760992085921274615184442166622837275030607204469056440399162386090391180679826154780991435862021621199709075700033244904706205698994458009787759576356770218325066669653759120394231788877246134532007002905141438131980050597922195030907914583931677560113935152992755909220191256977793986731757301407706709160042260916653578195016932359445104261013486693000996440231118829521126823571404778030525653506146947322006812270867001574182521638309171337477335772552682645343668926058122456196914329865122339163963323952205733920346582154016622749262795322330655147281455819575488831965551215888656261051041881626166171861442092300582194069311616904655909451087319599842347479335657097000237792231519299373661839704343482005742047274232154420339110549413715231066198847149173034563405649703596058062219469061130281651481866256210668097588842888850308187336566704796071111582424427197708419200328092608324264696053754751301507020916818893688209275886760884139149887069688361317249201883123477666554901209625711254664170541970610757714525599617081071228459058027069616809124738270591602586095519012468805699322448382544019338626458748456230436241595827634439776405901139982760118772389106655520847696002093672796748511632890610616569129580753611938254697266473521670090898566906557656215278074480244385315021276403322258526178109971479866573363439295850539788473765525568061882966862651988903997153539529108735425936357207190034545501272474087607003563821799280726192305270616843751941244349506640491679794560430754386139632730756170010480552019415091240674407155249695426586943633912381950037314074791716245311382116448322070738203260427438082112983714152753436597912930657632961781854752523033541159779006098902855404212334388368302983214226204783382778969119970082400015000567929692146862943275031264662888495026600446481007120498877895578143144424629399391329517967900440341928510706743114611256478831960360845776771740521385646811138083128614988513277258433366193619559262519385385941631017172319573404280127107653057726665233108925382959494387825940745178990232841112720785556856650824109090185524374030540804522756329881502376401850983093498207059768396517068310316223542155339682636839509109442060188105535082224091542885518810207697771239266040241387504133236776054450744939052567481851700357838645388058248004014210065081104326256661242648690875125942956721704825652441645059953557701120196233904817986653062697372929259468226761486384525229493857927574102008214855504413269705113292690433916419983841758736974812006208653996047954954853259229273427061594685071727722460239644986593247959486131824052989425460435968154146620161173615180194877929292522581357365998076116313765089633735935432980649959019371526058514847852942689148806195178625386768304949680032968777905537666111732404100033875178446660458236222387662145197927878277750793679374647176213717971181186632188147296660052381219369573340401407778781044631811572923579788741721466584956417808869997382618314430901393402464743380826297751653730357366788866179120949838047907830525763323214937573801230439405623231236719919448373819551379107733706619767415007628271015216322213839720167237281122720475574169626274240303667765105170373597450120042510855186101593273941033229564401286319702383328019836993432782624024607077392434627706500273229799538014269425003075674911138557214010425918625699503325225126235033996142541124931476009485865639045049815313705247418873706168980509516516216615445358349640371499655008873231691867868505567015370247034903410711121867212461526570863455288349523697768651237778014907049294351465899221135977650252257158772040842576079552469375502816989614595794378500998299827342748672102717994809138484941991482276270464472008251431927929272022820370125195399275947311614930368591032556358610668915923980190306190622615722002618412134624998966979064478271606380340747187518943908586311301926639309440373885237374384888015093616765466105944362636224093552599747324000072309954959269214399010250363658081278833334049989739187508281280637385939723781190475155956777399024335981337526327450604144337581107191652620573602738292640783049059105948843200596889303380054526011910068999347725070087572491870424392231010326631268479485690464692246957703728959594773943058808669570519663097548590373656974900920974958003371917718614200306165972080349219505502082720953109625211150824585096732104273901550009868779203286903083460678839107326223107945942862833358330839027828025355396436366644288797971269560679355694228617801263987808287616963081132336537572259088303835761214310480677781635373000201241550465993703275603146726266011273793056224598033219524565173293974078724458179001842216670109057673178106947097127207349001436979182406324969763254619963099941029849255346012932394743799888745644004465142583937276484941569439402244680819804940490786840093649193052024864683894795268375524150849091147663514316349870424813098997265731899467420788307304030216827346399800393101840338484318331154475889172030947738454124279401097823243825850202982337759082346126565347435946030317380059067441493503343002642974781037388887927658120771663608116197699448336200630838712618891660068650209642281484164776147215472930656867548502749040000132504949760951923380205376327893949646638075957943833176907120223938862052077676102649490979088711574605615685787403009416139886098549134016866050315641537901195549942091571985144300299871481717077105746083850306130202847053201275307150911021366003863502034014599303314021036386293483735832461183849584603799557310772976576949464756262587644945399888889001965443833658911576476708213889131135345759097781297317980306012765743454554907570888834129044476889322658545426521648860714536984960680532044124934364101656276593148165656011647998686540343749881319689733262548900128370337781575591497705490948132391083425600274158036418822094107089665534331132500970031125218566741618734117281380893798860571391620416486999213372810064566329631537213447743965280711389057545872230839527369815667504823695630758366879844122804709273953009957645182368485621193150051183413229326607890721658684351896319483358271945631263890448166293874274738018502691537010978749935283655335776148151547155930751014271106254376660675738744599662802733351487780748812806808418654528098414949743343206444709865151636902561230343821980725343874115785044587715815125038981924692056803757267634108327524407060345299848013779125753192370520590854126809880551888587172930117603529625081571311483927880701170746349823014895683385705602983178790207027583238440303524898593895128408205970065993086891816996176214225644060371675975094321281777589091547986788637497235608390944169032378162613709561901525760094617961529017036681315088271452584423978110060568675690145361793472438143302249245862701151224773839745044466465141168106141242110206282132828123940214021939756695744885068923040568030075886905166702114628549529448463149528503634061064809031717409754702472154838600522364961767710301230556805576949341153641264189898514801687367431491958992884826427354301338943464303735763674321953525513822837085309796449512780814315496492973988700885035562680481498780947289552389265558565706143740885892898830193854725013834732247708465868632684804740468768530770702817382110119987151709583875369328020711755632021588265716070954530125585280528243392198920681734761602459044826340636410570907528606420211031914992836964321842406629696579479871448144523787196704645187151150809460716044643516215779982673548976055978964481736656636206895848175474972198093365957996607170478944944162660703638795889077288570420148462963843289252248355805781815536499838504861717991254947637601638653221068001900027882883102544475722946408785840286576472489633103129294529098542752084921708894254440665753066568270504431172011594481456279487204327492127806665209182374762142595798431543545070637791304754378324373016300513241634005262258845625175980247836946270509988502401455441437405688425922171612166511172502181394583675455357014330740829174060009923516622732571012708120414949988060150405273878124336899554760574638962332830668126019225984218394269612384223958661402769267831734076535505664876192965895368424959653942364433910978322092070396689600414571197187690161834159023247641292633218658723192363901974900213595429457935760439986352101923101982425350876028665364245830146580346261109236156158264502734559977586528364826486422438036184463500965414975249781378621014443346943155693502761135972554013406031754661064064908691809619208961037772812179201105682133297056295919243183604005894135821313597538053034408633164152911419960288063913599178418205586972978348951614232284377144500773908273722108750827551094892712236431605772831806991389716604231448787925496327307397561613354233722530412250757602462928168394362894269802584559344361890746253026544158840056145620567078048793659302752667418983437858934706157748467343738692831844664817626810907191609163143004245787830620532289672952305742849066256493736218749566431316290385843227275374662425434239784681267283624002944888073646147293876575571736753578119107036032529745066610196003553609360077753961512258021137161472500227189264333808049607645955279637276914215490112726341551870609317333283105915916476679516311628737080740483544329247034125472961490679332098758107926957536688792865553890691388045160821766795196901237426143065795683861860528834235286463554451278689944225447864181016324852474774913695893498706548588962515611710580998412644275752289260371614006537514592704663663134934075164532740825115533598013452137242405078144093762916398021512755572866919752833126960212158553316515171406884810838892949086710187770873646128386692640643161691253562998660500009575738949431640937070399181269520450256799721250486706839020608180810769688147610163150814570939345930320239906664938508001453605424539222736067793479534534786901432147895281738401134756683059909832529142352020679622473109274932625194936019004720109328042888250419424160566558245789540764435669048678299521673291142591839347269431286372469757835415305012762872617597602951258459852136796524141491394734762234444442295539569315483573347101322259525716008650847326573235823489446692547648693541555254139093865412603502467120145290546765711118311693919310693056137974719154689521337011183615669372627226492002418471154222545738852582616607114915181155254672596788643201742836472679867022267657429697156643783744676722393420014678345963521656296952765788862564297404503337773476778255602356039884724260796439671805068546120493821871916296913917835065816403780