154046973051942396230915776039163247162723487352779517521603050637657889855711549772357557593675016227521846438203394458087579925267596211484871747381476332978061527507195958351051581914305257413762412877986398827088600397698829677073654937785274818385011786464697807820185617103621967783471438881986546687667870357649295381556739489979454284686996240369876438077648817884625159925720002089612717906472568529345542276887694736272945753136669127699381689650053146587586129506947624853759539329519118086017187241942137896440168280427762139762710569641567080933487069089186007514509874848923085200483416451720812808234977877279886785743793458960235512146432414173902581459892813500114214274415476663910798422034549745827781199273220001929473538537028249362113488245611505188318813348953621885389150273990879163540226092379942786619927197624769925139533944332435685978001341869024056822125784691513616092964384683997921489207783767588773690666664377311535605731227272394644192811960831749251781695540307012106583541254526167120042940832274696676468569693475220865785823236640269409926456185181508474942802988765219556290935258224445797915042406832521759463918529942459514753937532461425515740654886165470934561261765511616483989369924540046027524381446519661020197063643756130995987648436920967399953327394577612939389645027229483528959420329635559822414120559636922935121586094673662721077693975831737387602157523534495625432934385706576348306578780213090600324454027191177725792754261895975705943843696513344807310364476464529770358876321088985383003558989772276028347186397772218989287665542086441369497497754952638759999759788123476323277909302754144978372607638815014617015575667101209353370927058222410733234483951248101188731226829089125912721687736511118736866897140908283536018792774229125744281766059477282283852524615039005392375525427205983006040723827635716277820029681965531981040326226698888545242457572746241495067997522474194724558877992628306356503181137573170016214572534411785447775707986414232401781656361336281863654761154947039437810223233961172638360526889785596275309786334538295164822677069937311219570321163587227603227415877450329319473968462418616496097362417917031985566239024918603653416134030592211721603218073629967215326633339977841371396629654933911552762900686409221439363439268211029391241969181895562697513343794877556647609797126486160178752257920741424404439907788693967423042868397140777307520565348962856105181496973441324140645038801827155114842880907622120084454772580077128955651980403368037337389452824888959953877864739245774761923353691031695600691383174285824941111416112760887024099980711332715241331777863344416753168084252785168306506361650595540802385025882791120759784722624493705196261177451487057659375798096858523763775577664606752059485970330312089799777166123317445647559702907929007943377768636069658610315227523308050795004561589359366364865328123459569872616897055467125598458144614209474163821599828427668365926523412828297387348992303238450629826496676287316987387223371716695150983586614856660452907169581305442470259066474070752289123246455958687525270488296233447131484720458827461447158911642424719673702197517944396752023931722197662617600849437197869747358275573492918037193891581892484484468166994931578972285506530574158912876702659257246193973173642466119114465121637136229394745798022462290858334982218291495910758473096120587818967776384445317295529992697373571724119646261974034616120319395281163793304967714948872862487031129246500716684651848971175759308608893948369373321360701130359918469189989545348246466159284578508552164884409631334829512786784431760531521182294510765358452131377192341992029668172988298298444432871282960880657904883854651190830127764928587128437105295583314005811684972885437114255988173285613688563264192143353601710396463526803548954012609950753243315640436841490867886461238781279261997930838141611189111161668048267170335934949960799509920516865208058979263440341724254821744464181496551486246195269943087858188125949597839349502097408882877001384610736017743609989156078471829432349334118639622688484646636303778065226618663748484289437878499807200371067763761483698320223550456846164269466766294643511961092791385376785032822889930761931639913411576633592075066276325413582906736886757542831372027955055503570793144189917850455637119931296405659093302542390813695062275524702646894868232688272728101673351711485707089995481909466873060176926694852786579907879533693672551648913355529397746302638873512602340739593469320637844503119799078631700541698989350236255701081786424768698724224898859252584392929471424231968124338924959982720543552649044946564877618810088806490529762861197813686482768645281919653734520063593682382074359326457248772681813357455480125654148516452187544898138166903967455547124702214387572698356385222299835458875642011039178767381568423278251973196463765275126029504153544269455335585882097235173736799172776542673196796284161239693732827279766894737157469035063428131825654327647516219324118315610271671299484140409285251632607098595895773871637277814906701325916018371246633465090811781961739193267467005979025775654847185865602860061552438356285886706505798427124484781416286912669443973240602506559621333718865832108354831944037027514591197939750637216418312956172949295141307384047084853253786975668325948382154492393479775242644272366248640578035901836852357545290578512127646191460179733178202332375708413955097393344225577654027127194325535012092034502088137728891144143745775372903377839971661027447407835202378335626284145188673240526641463554779506159265957318141589970876639877883385349301544073079354118051976965593558744727906974653134856490378641540850332385392914294303223545642480154449423601947961128132803326482902554361161858527377462747887174973218066173766993457525374470687214197