83841749928135639726142679427038618555016181173077431713138081076245481641036893479994454446863030184582945681421757811048276740906494332349407205688844225580861037117406022783483305813484271357637771350982294533306903994319293245608315874579667270870830872382841810047183981985633788676523129024192516602973723386893822961508724766714699833066052935671508451176601635239243444213653802489517866487694911751246779727182322166225471515192950866065095178831868055271409694029372543496149722318774821828398851589024913846414617572275262819542885326133746051379413438949941642738181464145614775922431285041552249666749712411281821283138783426193267354282330812096677563661257008615931269387178305274806653477113760104945996552635538272940997038817164577797581641913973588832524328116632695960519630892134200618848046976628195568797621493119359776753980505645271924927635096973110279558754906371363681432333054641000585624306118560157721226982887825056121173390631827334386391277556662894187411581965871731114362132369789496528779234866874784894692769622149380515421042649146596268936385592548150283013715844601932826763699481009985199674901350735696783344707038327545158150155332744814590947244882358112621981122516851599677764279831487332452523414861486199097453242892764550567570138563463869738491562789905490096301734244229055470323915475106113309266605025242576824892223380796613836135779051686032296832799602446937603510624309836389092963487782215093054457578068514688314782413977386849690529822748635494281792156292513110870896564028441441599556337956883715892912326128826337366749369070264418214288756505655258017822089529867207644655259736792536953429906641453609380341131561075845212497205857944288465734182987528664716622249806471323994018636753720380598212641084074374559249331514476508885788531609916805234378653892365426964393653817615844898945372999292797530181634989092533118978397251916312853459465698742338166704241552784854923369338954249743344933450597049093496971481599910342704529427791215889214122405510289552288353567283523659203362228806596560615047302133536073788714764724724767110236533020649198908312159428399760569336349993756303804048697586821546878875468464817708386153569877357337918378286548562639069079298130611877473341574597735593993163278154719953411314801349899023659628231714410994765673201698274317543258092883753195916418661287910136341866888982710914573364296473195972977637495587134927934377300264783259100918138448425437678484379756327270033845491884859930756797551332795555988438763396887077481953517957556021326079536345345982314063155342847124938554045894066753916490857996942952840619866610524794141776292860889741024285870536632748633174322325341745124731748550011834177380633094681418534238102967253303141065042010263265358293278845094595660583666330200617419318449734505409964378784548159433132480138522273487168794287734745349289465078341519765106493353929366330309350708800546180798478486522335314925248527419449258326833206524833700531180727995617169317914907993844905807107776616027141197504103507193365856190324077500976447351225092765620710263099890585065734527560071928520630732387194257327175328302179234707636255692375525390595204534639352713947840269386938265752599528089094703560738351591620685572253979016139657878803409122744257301880173919704984717474921976232357601614146335143467321739117474700341362647419331125462049460437274917516877359978194420516335191628238337971831822911401510689353166416655606186216897322365451229325279498994928021542765259846267534782971238598398719149601291225119224181361034172621162215633285074768538445874268356894992750622170766899648675948092397307000960876812011794483855231876081173424447860016907103715566544708498357180307722535500626222483831357636313526450282581433907434924376568694447173621692424710822151478324531447219729901157929256223684327433162412167151766611799357311753134897401386559981859446605129730858788487438689547083531941082743757278638456479474321048935285709755323368995307472094937753888419444936670583746861744677865193317337127631958289766515984555303171060596847970850726843780585702079113722571390871866416367490398057420904672728230619777132021804759115163960941543584834889756564950667785587897109785786712554877451598611686559124483124111787254423680259944848476915958404391029793724373352631264227441890305611720171904844288759382516794574917596809347911433772226583640876265854575508645933531083375325537833411383966175732525723848016946513568194558660303914851237547541195929648191189319623943568166483334233714235406464187878568842346195089439545073622778989267390741941553633700236571946889523075231234152313622954435632340198119829812196398741345340081637696559962531944375021631411529756633913711872873690343571336613883374818336640609830113724356632644828470347874596924122165910838202217631463668023935833209920593667165844801012253198558343098861849581904956743481321801307300311502499709073834541330974253066261972346016250060248775617183464913463373515574663248529767872610958617935889121148545670096580356275405359268828475644505364254732765926605686314678149158103540803225411232527319180996846736374226042509622546198513150061013456797973463984577214885282360731672310138340246938353323262569282485456349728839549155717043329814951978331827021791682679559938471607118747546786315396541936981223237448884731220484238078596748404261622602954087385329337572857991427081493635428421038189693891884268537265669739618283645151238209320404884560122849324256435593689546877726035396173947759015153337793381663910268341930656095380256919169871436785423719520754065263740109948453602742221194372908061442022539362621137656821332416777274287171138254045882395447878790864520854778790991143382719165369369123959675512110681247211279408561969041591532286158285081164784547414750737982761932556855148376531