13412901376715546257153340344022374732524369236388394185315323864327605602585853507402977082225493434735084577224972798682546509205147489257033947420789425661587655845860420033673644300631932291263472742065265627321401917456386388645518307490739248218826397448301889395178233128952571746850792534869109269697165662780715874121972329238402109534679261963102751728269350420883123171724256383494467785018845737218689888367736018683967372185892949026247970443113213662923104432153294350481821918653761147645598658520185352111277935559966342800732953864661640775505281638668553746899562067558807193831396614747222889233168147449582932201728131379572410085757199109439783064854748972685636785913104110134815371807709912378638831731946059757731134517117828097869588628181322384328110196598508441527897954370836468889427554922339375217419539444870252461858682079496504412486392134361436255947429534992453189769799239005630718645121171198832559509451713326772489847952875106930465699205969973510424895217628635723891413038627362302644333735204653221907275785065571344393961883981587467417350892987703442762279804307711945793889610849297459215825644870177440154493276321493551461744240894754793478471958692356025074691445365998158495911607134162492329636686173678872113383917045179320697418741564221793715122943411477685919265925879844747474293375164294044381285092138334479573161382240625348388291282937087766522158127916957548688625569947336751322984208475324986134303509920361903836926016074870454151432297196548871404448842072555308226901505972675318380242885109011694397225982962415722362198112375813926846161773629805210073759414215643038701405499864892818709957885648990816296213849441848142938835212834765584520089655028952459439612599491562432179042379737662310839793441847497619493764604190798839758517993521995043454478208637426733939344637707839729641808021134890162501732890919649733375730901293754747862150386426418304972694338820437844430155141819277451564125088826854930220732062374056763699831266439811105836167306242275166223651754505287405987651507188176682528854550846869365769231579457098982567668512176877815732555678045420590129573208460561043819719835536046630671894709546953513162479332428057617870433832711031387978900970317388751113659058932631666965375597118999997086254261806770504129139439629928559098795830346946863997729995677330539880951078296388564595913184965284631288812558667164795755350819183299371091736429471688617310234678612602156928752778055837552811218771642983821275773124244512101461741758414998518034697762963502657374919632378890919733534189816575500949272443283447417768022102940841293535497300772729042440384629053165746083982368181322862216740576978109855677027588571384016481697888274513922251455452195573251673839629737641050561948256575975205736660796617613965812769656584586227487301631695374455283759819467471926026147372653836759019177360553349836048319125682089198011282309312651058331865063304535293437365269557220858766986496944129510462955291558990761737348418814738791415613054918913136541316518896414691382585885350104726155887186689212401035202111231963184508269458156902569772142828959815906595553566055677109958465201762613963337332899746961941450834615857143315135177307724516199230140721286631869365321618822398794448712078424880386698039250187390863753412530149131700963881978984728239085403961970295974131353512152713256535689467892527329294972063785589452668935388312146038644600428986216880039377624539778004209332774236284311911794973516135047130438031913976117854328677756095625385125361832740162677608693639676364106191056212548616076946104672711065009504980081846294151461364841759746036835574768953307317409362945884748061073795825697489711342140289438751515368185397208043832048882343762550232995179515697882404528991940136876655741942492433752466639120181292939527982323448664279596548074988788372552497244788974331504485322033687843683049525680782962966986134373434596520329301781211347052081220904551736097815900759710758335437331328034690182239168793201317269607596018577361197781116323486897408012671204727473667667052712784803287408243819735040748930148171712572573417837741067063293242154099937111529529223382794153092279973595779087166720636973344691170117650533544711822295115098833411653582031256375270163011404440077781675903530611604823729745729775369761919792231065175289537036252427376726361342004894966882568811755958155446980021572123690825502034670220129470797757544767619449593609644370658975331395620223986677918161580694394313725734233573172454863721920383559447029993323534261245196999867401865253961676967223231758188520435418217463346381116734379431666437763049034489454722802193304810375956133578162279016434515068506873729589217219721570796615523775409444368429415371428535078841108213521805952018957292202131971985567435517037462230713602543716139234161997961873921426402483453622056119598513187462647112292539352983013261295816345407619976075688547919972472174393251304478501867232416488156209664466952540386309190823099311661299275769619566501589607379804417746196734933355012415003560142997897212699525852316127731022151201124011195675532968591947569883671141736366784472156738887952848196031451710539877458163153613899543412492972859103095838981510737514962592683162866794142967137044332512453801149838256736380823292202712624181298523239382438887649456734080781068176783966153428968987257696902718927438786680827786450383395159410386266068078152166718038794043763138205305986626032728185627279837318279579117450502813709739742274083800503297441565568459373716377585924129829131748877092750444575442187479037582698848068576032947700198953258892621419818312136074519819683722208002214915988189727246633467521297168654910561659032973639130673661460148412402557389858598203864434668886186839912142469253741040230464355622897837967573102269426891290181830954255116