509070173641926085749261693894744769302557578847819384142174754877450192398855169192628158427243315463102818976357520790366418474606520369416842787604223618332156183939182765916317576639889982066675156889834159263832865044276411528924857492472442582358148004488083523377695676346112538027763216585803467758087850348594748427515964952431835062717120329090457133308924889355034687513071719189700295743779750469079119531026702751613126631254659107578361181139974034003993206868914407372251118510131773118451846715585606758215312271894591893451692919249887788766997896517246488102872716945990150318111835629567889377235559319848687282886599717752539575216904741857987488505930313668978495774141301858221015568612722062626036585178942977360496333124285233271996686809885869645229983750672937354609559418890273774661864892757526527006525125837494027390230084292758296749518457658791833787781310558693525353298642112338187165515453578850961088306325610828543252887183135910846479154745650357462474970663604049770914991883409754365921224984106916294552696413737001448431779062612305484247828642498963930180331856890694895655243476951199109678581997022316546594950750861426971282353098005799632811798942499281150649359064389311285091646836438768794452291335408227944341509164977969608675322298021529247455846222429379598130264886592731695513399730262899862359710085475420241641156621731036416794879108623106141408609262287796882833652914469399985676693797671892566179185135966308249246042285892281134195876968111362211822087265248197822175763625687214023725758791708368679357981398952413402928559464125444621742174608499769643812329299121347733689011382257764117571980722631432562770927657879265510219613187026842783343565555956221468498942458390002041149737017427826290536966403373748937665327243589420873754382517152561562673184594472068184263379324417234483174545352187382354384594130289595379091585887428234051276174021293267994272488183312025638171639273548783494685546163815740175246068460481022902030364936489546331193908354804448015561492215189969789231566009498703952501025980065437315710067282274855664303207555260512234455758909458799489919597957108079759528024869255432938256975899543579649679359247873423463559828831426219175021311581391676395569165382056548776586958884598391924489903679671506763765074340405437661612857118339922235918738368118625892229140821855871240779314682902922867647289620197762566660653149249139124143998580562636308544627442372455689209255032009295126362874883258817243701506511397034933780751388000141483253075185183468761148398196249440925482487920593850695149976590334671770996812369562389778341885276411062407214116289522310757402311830585541956417291339428459658984027906417023408307922852628355412795781543370258513221629587148067132714782322247297002410813814644487620565702272344763172520941050169018355295052094116783942662555871782184141116761415381408105611568190166335732422938513841165161333175986156891209703530835515101554171586792942190529509005366187978414836433186131487689225725880914579388012954327459775352557208383365090750343328385989499946298450237798518363907565266276494155322466724162678859243289336721679537296188601557873267470022737483688851346658364775207854986973587889426388433587566845042276151329572905939672814029525640534532780705533341520858155815749453222084373788830779619504674172788223099643038668871877778361939283236044295498911468886389767329303413612423485470547011518519218743318052138293925757138396967518668748059829342363027916618628478714339409601403414242112945986122718792543114193352563755711082955907552058172327516973729957242525944468543480516968662339458282487582130822201627829969725208423260324346454872845674152488209216053902882815738644160123831066642122994046930320185618524181784022393475114391623236959080701514635055261081319186596434563692586440246963171779125025742160157889169218664882314322301953712356735476193588849775882679785563627780993593404729751478777169029745482229828632381804221857369558817162796348914087292836570777341238577187905146125082761044900410533054134117755615772218215045901673266214142097849442216946923478933865327530295566092110748077671100428765239840317582627177652437815775194216537612858479290438706184997454624498320110172642575529904437539099173085323920952112461447626012022355670141427971482752482218592643349541252742480355688627269911039576121922269543637280997985699106345756194250326406680308593623176585668574731648924006590838020439408408094137387407979285665715237051166234766829257511780878661125389730675584439557085423156756898941901961752132503791831680574167594219673332476527967313855924677529657598467843273112718351870595228285539266615751870737595167321652497911928617062212420026668473398668999325803948561628850657031844257192851617594535739309678725735981938768565453108418109834643424415417364204432649246427359589357473587469512936508120488225514556615096816293635649602737551109471958231783934422251943302640495642285841859726001298071479772562693278265428977309175898082707652617813640430932884360575107435581813094245456560747013225763729894419700897387271353123459639583911065315255835460652123882755713354915099868344223715630978289704062858862340428143245803594705067433238256378564958519950470020575063406490685649143289889175043560711768235111999347466818667064432962943883592320056887367367889101150273323133142645406332841156211312433294926948582033753961838258124230424498474182599729902021574197640771908430659053356876973760073608598128439060935832792235678795831605591011098332522455783836930742186082577278536805182289751548306488743667730252651151350153950739329769114895333031775911297054569755258169634913595331321843892695914560942908895884380403581727374268253186675647583521230531627674771930551041057964216459179289488422630590941067918