507172691580855392541078904649361547494280456284248243915888978508390224227728771403350656410693598993172926851316024402991382772017759126662579538867793863336626726167963497326676441116173738409100919099361493182029044247624577197631246414610820815772943933266792520786254818057712438978364164472475875076900512923114162415103747269425155481191839295464567265177979598895614457683132913953037262301379979781379331117893436168235839091229669220749408617770917483965489949451902329122453634564559878294704472643234169261676112354358922951854864897157440159979836948793743073276940771947783289564960640593311686422545157351757768402934372127596769036852360110556599257236422457227488294125522975910988138701836221165156596572107813870715336178934120923210948968788846222321385140913042413487726958182668877556817028309536409968701585025049624191426825567108389343481213520455502164753473802772780934799485747979943504277342160027216317529304996273879371538946759082257261269154515186184688987165376663532769490826151857251721248586662958733294574824726544291468501766793110140972733208456247809182711545181955800845549621009151452746006862870196960512699809646509805976870416785580014721363370886045063651802996169727777520430734366376710217739307704306484014859008288244036956608658302712114328538195230969184109446760597101858139111584778769110694589323362014071663549798848427141034036375402564170157197191632351662208334746829554898141541194890448051520358269172094605846410828234197124959845753927208873666727961338087028414243143788091318877786329455317558981415956135411814782094919639623646450347894983448188859347028904423358539134575842053623840699769755646575459834439688532334578365056356828146864934076605717865863392665388051974158220023393841300865775125588528019829717032932846959097047498035143041778020284988801649775281200209513033701246715071300784585024065595744684732330173811678393674005589629674788127957987923135936464887559620488537356484714015144488010275723830317866914085583530754873458670258872229055116133558677562937601889914610884309425715174123194972854124698521157013481129014092531989784911008829049004655195857626332658626312929777571351498963911575539164493559151385205717894443666864788553532324512621580855765383744487800301245531918794932898757160260214814174046985121288184015640704281535164415589838824003172178291363858522453711496554499872334415421538939304685313198571050997478596853941781524083317561184723177402942518235982653258436437205454870562052815912962475324520298512272207838113609157530062963812533496546772956335851509105999083256236168175955987635933332905677115465088421172426133590147351561891999763235677624974464041261461713393684264635385187892721971049172313764983624626665490405213746575741903745144916648125570519022393961121072834929468044455213936255801600386755276238876247934477465801439199395774185649748797698949711259768122795219992819740271650647598101962225609737910853835968505939517114600236108983518876919016265679719924672415825203840664812369610996018514450913892175953442646691117116506449755293822338525716904839479834395153018743135269473608621299281687282851327211819574529176731429411428137541258350458848867294731516458921403160130017084237330239226344573078311177779923655224446913391088616334292518514728177004537494847421389840613534868316934858077840927648247686148291351002994641643986421809230114905868237819474293737895181635864541745243750222846338233903282598897336901949770442804535160994494561557623108904987046086970380374369960243746183457352332645248148943567663415532608277873878039817165535857531938519053453734011543815365283045311080828248432763841976595646648644716880801162317129532612677773662985614024171136046225969367705691250213969396216824429482664640834676793573884595424667276721331424512295536589590879198027293468671397056777743859285232234159450531864129878201892172975184879314058924493472779741706535799993949856675996638674423281528962872339228333849539021115991509852137599991284986604273057429512805943884163081586552685890496781289262820894195174522671314257598235117342332519198137132770540371855881746247440872381939775445144411077848026959265023567779538604237423778666886253537434808771376469913822916223317940960146875344960215463283490326499962878059677192598011255849198659445243408162823528658977850764573778631182039082400663523362736017124521000123490659374149066726915741140465627732465304657470581457228351630638070798094918099478877615936393924558116623037607107165135231890013383436339031577607153180991709282326598322298943129915104462048677933453716449383153494352986322879517475608164281601627846694109738129232746663278286877421118927596106663629327329620895535588330241607101149507823590624995834170268416537971474692388561357071893282525947758291748139663533315555684120212343963623462489704788739594940714108339856552802975370587254778514527746297147138395957757968609129275968824982492181409289697698441486372179019581740637273144697872913164602198588615306968614821887571211418432289327434311586992019132418304853372500144240656882468733763662802428940823725771992338756171726690234204356837999057694517066554847836111524534387605553914285759068324578970958613145529275716760385680229038904951617272864429388839269187922546390146969412040243990113996227919728434542684735020367707325641325255077146971629117310099047621139370149548586314581925833847509551746255554852238891060121876929037568081606355799835248132230608126204664512539948206942408330995515245383696559321866781853390685911618756083680243929203263959544829975161547328179226651796354426828759160770956921862416524938589353752241362582913776944781459551776797639937677922886575938754256886274096877940899056946297833996781957359447398836005785799389554228171283731444234262731484702855523685919451027755965177457086846264310832917