1256703693773432715434959758183878552645125679322364744898551906124498251037311851673572097644037248483486569142527359495866360523066241599027585496962261332883787727590600649093452265186315449963843121443371851070371463910244517272093316644873083470667754942372282608034887254218604303624543935404344542566881932881021546590623737704691718339439871467344828513887336212053281838599454813354250053946383913445196292498914882673565167801217464878499151894703374875937243551054254647827778458131187512147909061545352414115344884879917948678705615336472103087419291358811254477577433033694847514990093061607627168144881466607994504780591905860552714557849944986464211645438417759569567051237956327642967125362603536327711778416617537591514896188992588793645973542946249697103743966926852791826886299404916038592689658357095524718784788198611348706571755666814102258161088849134139505577744947379385930236925810140919954568353254491469988846743375192105880727298491137532638796378868789475446296683846853613032847071392129639523899340501867856529127984442360866907415788405519478767907368720119839582973184155568711956698317625574382159984470880563852338062828893221479539735963140672872506848605075125831466353609088268171579507052913189965017932182697436216567409361763844908548074919505882159191155310695848274645834058420211237256968188620323725712594439417662346054631752745492757604840733244304513883349176277484832367376859825439231513337804269123157125260507216442494261096277651891483828093247749867949741360328861069586679405981420149363327602817842252019805064688528194756643990593145668524668098200173578230747815197586156579807777138378213172624290234326349917769960008163398433195640207841382393389301145647412702564168911974538938646537454665734806666084914413829304133838729706245257438495945570766065900014844224047224634267007266395461402451878827795054671965432959401261051232775572831386541633637916130921591061730557980898371014618979021712111265705881751593027965530525582630509357038494176693025565123836009264700225434739933521043842703337524578616356989383928368058570463013173733385048454899233787248010602072662152544581219043503660949853710391488322729284035361909657753911935140162578679314881466237302025142541938739362055949268732930612527867139444466549406223043479421884562862781329354884609883197525762695749482753678942847649821572130875213768285853860983681037214237835325174733378727197730577928716710875314191643506462697429814094539957925677281118654377483884651919695636372358891618836952697468404249679058504048678089974191914751637698723135809253564678492844854983198990456351827211163930587345375767730611880902990366125744433490671533852832730670014523597883680853778485926062968684335640587793824373464924466698203629831878058784884934514580114596149979043595819057529964817867229110108032668079995281939138703602764360364888466437438824602872531571418480806818440410167379137312933693563249981599725654108834987825068485472893276914171922575722208205293561638101853671070772376301433938258745534427394565899883449197873678145454357310306198937092445226501475581374954684429838139059068891444138647653661600341363654966158984450372549752286845331557415839045693540377386359002991929677530275565621182425637241565368742673027121766690715928800141245383323216366260406080268194447286436978371283382953822348919518111198067907350423436272627513337839565810933197306208752288919414612548515424486149213720667577816088349176953132149094962218185289559743952130468552260742517922620918331384449249878554015197611582742845355412622338080988088983974457477384135441235072828589287291691771988575428834893599742446137875833536876659869667548718483366608240428781877645122982913504447669481345115762341664612615685541362328378197552812649422145687667751255922929753163728488891835509710938707449866302861784728613907928094940529387514379626601481715360444986493704505331618244994647914289135587434826024806906735735750878351705596344740071218474818317370725023198644111671676698267825883538566499443822416417681391198296325852525930687889787169654857849679376803131475327292758773347301248105541244882785325232184389872877834540240771880629644338737896518810058709857726246659928271169654467944097126095337409443766521685844217040557253969153210271867522028399133727294804914052917322940088420525853123743663461636189352921032861763070789659728161316066597633989650622222324413007395613945553942740316565099792959920868513112151049370277288282051927720888311181626237616100824471142980789738098709636416725445457749379432343423355577945168260098372875813078568146688802131334329805666722179412206613154361704692839469994157673607409377384396436443230891998082765322538136488415797596132726396423176423931104174765155029787086605830863130928573334046329658569778858644769594892609127285149993310648344691036833881739206935341369746704669936296167316941602190571759913523448565473642527153887271239757121235622848044264694194443870771835931823214489202885867555150928790078432333306278790858876422989987809738987227745811434308353587084267867494422851219285559725055153175664797382753811841864405261607719335117724505473745627837856153912846547475175657568461215643222937142977951234676604094591242119096558906964785346397847871352950877192330589428328834908157827955961422353238705084853855766321757563129234448610732779454888273480156685503997805470857959741797033211626534065049999146285468154614122876068641045756970316496500794484980588580881552472037812874828139283223588426395929626259752315018601040187115597037993937661938937038627849986876640039977448321627763901885473508794283965347034454112374323532215128327420928543878299584082770403437665634237750729363247192522139660769382453211265492172466356861565278540642170149312780837317154759377742973138054314816193751642092118531369066084672925881720716841