Path: blob/master/souper_strong_primes/new_n.txt
650 views
20545771440533998678326981211281642737148277022654921664807282437230011190585745181381958673174704138077233140395161603815933067083175945160591061621184098180220747183447738001134074355048447379601840749363290356180223319496504567692445410962206345036151844901007078014723974213408244033978098835806619414073330689710822527332155336948345191502618804921225246077445175028515217682638766471799191385418895119619892994142773335841459109720566380874139297348341019815269663409638161862864011813457564607661968981061142580762921101397010589912726269308610139497727674367041024650195555208562560029656345123660932628568419549311527495145245581892253318659009635930730154590946190407109588711038716982188756858696270868288574007992670628866722129639278434579150491999358372865476678777075579606643597510237720763290971607033801113383112652576629655897511203138439263289014349188684298971400525853952577196084315258795621618825209157942652834648122070290510333939276499868958463816240818975757060681736371367983495377302494943936328732063138497297723216070431546306732123184242589592718383459325015139902207804700996539198203846363268960358314216134896006756018441961864502014890882695839956674461795758395901597975652057984958830028613064842099204706461706255044066971869111783069677957884882873005431715170245116407605366159277461251766502028705777450551761950077595826461811930112627619219908451179402324306260882072358426911955728342170180343437541475261104890290377827283730711422435428527648816668109923107588973532237023391586040923576888262555566627162142895164125825885706492450566334832350448393957043533840226944734761671288746959164326897624599835595316520131158547413844669233103478055009250236812337100122270535337384879325639519658430929887064170261752661075267916838726963637799205778439904548290641289073742985349465043600006347811934753266732905855882070293428225729729862665107314665309427512530852629179312277355427598589880812143658243692055447604296504601918701251789214969142416487386495303492274007045692313709666849999170468507661142854677707415259694188408008427545471281160588511143686513239627499434920177072720442872175445674543821915856701080161924875966555594447970708442813621575814375522593759241066981906868085700080680733904664851100225842834473106047193193926978400978364422928849105340916467973633637987187672246287690627568643081946508271611666243169054158686531294042725295217232932129321236159172687179110510642010377791380641062439816928123336450165227050876544175511795398458197022376109134413361787374469110219955463257003679682512776453361954461043656296608468068806022444041762685715071563184925657024548086483569034089998428359939796340351699010284391238344095124378105381840965328529172183898296709591229432531904279759483670187421190535830221490696656453077760465807955560232718114110164637203023611249870843999854165085630543994960272154087432800406518381574976937297333164261994442261928201489319147951954061172039225819483659114841520679193826625309213859416570872391632513083538418009299584855982984640888408728734354893929069104222450590284510133048842148302508536027406374024260401891199306961074654475973612218791719480156464038195601975377079753311125949264750725491141355813953437728403374143203362605360558729106377304801654245607882450847694263636664854651753868721559550512174094281334430202102999899204026802499460199840468724527760811113149362181247726384453225688966680167997814549169000165868495580013116114241274965430458616216186144232148202632412955952612034555347383113881377261814127263045341642716536614011659586671884241765611100209148227379280555484200131382195279677238289774092156959323555140502196364249351157656468527511528937712875736121778711922194360709609399477857472526194764766796470999704954370729640207909925106967192474982977399123169183815227059241595783786598204570185721647716959042232687249280656674917886914322518480431124268910184649764599961862803876709617884924814394996176269749351806911611018369165060993283484190341021131155992053581267335007041220888351053127520892655829983163431357136362096277161989422208980608574462034039825609902682458198285559859028330915186938979027234237942574797065757074805337832917731747455978302018005680024359019597714364274220606430297766881428431164377294033263535449627407528173354033541285995080131322890294014209645622034024898101557815495991345678666326579124212341576877429465635592400737964921648894364139360361094856349564900917592219134752006823961442559165320277940231443624757146758615951419105327898052792529690322496403356202052095381606765264340130131605529101259719792296850942539668061366249841409205504409942834743061101634538118084432434055421092712116713171481586856346279985527577932194210277670993889302167481177909813892139950310655186533996601619088144539783457681964599597465743315700353470117607522254897826352468092602307521458011215234520471664147070460743157140468516613140400506863388146030308791704762870866822221368496819706819700264974349137260881835291782110424561548742419972713606952713532665479819488566782421240016174753565304007092772344003128409689345791128920655744837517047056846101296442827952944167148725780411446080381701991772481612341280495774638545225391506497976201734512688635302403451809227593916375589168868255500862722967557388169099923396075959624659746800903998850239035769767499673056019098818454043707951611855277697098751649118211285458953226051584111116810507751987468481465654826774065863624110230070753041207307179993880597340068959915874975253072867709755464344408405707973269614928051345953765998750492083662822313112468185137718235042311543165367733842166881514945894620597092499037332467334583550731664205930050629344246644924025224719666123678167223855065691413107628180608802860188693068009735915065053790795665396930580294321314001824564252860799863368365945910045860019965721087712564159755648951319298158232198231673380197414773546250738404781947745245533833764097641325157289507328796300528936341539823570485303630557229176826757610503457923291690509123916047609389926176873545743776914383843187078530081629632892324602030818220610881189483138132288609215004882477948351683767986714098782402626919730533420005126169780701953681519633672664348001517254038125896213971524825951219714703121934906369727722165367394254894290543979084483500381409663032725884662864364740982221787098093912587208663745707703496913091022428505857221469561243705162171028853861436592894172263580802302350009299760459815557625983573664190415277334762969432247481250245441629703287745163167035531697828805895549306838089019920656028964133188984240100382352562663315185777952999875197701306633393246879284406711497903824044704061519624012995022135121308744634504911990208708045787572687129589341993296514540995670514276392166892016156576760794856943653515721185645484228394956606306957428013390752578946128118549239219001902762149818598504599546681184720137905326305118660774310157223881980757619962084354981557224413542203975420512847745104069378486081247539408601313402759963821555383091036936774776452053212188674269915465312873828913798071479107536553328282478283930907972160250540234413644704614136574726564553692534342422806771198222080746724227824440286488643842121956469486124429813558475832533352647170208779479205394377644469216690063214549089946163899953189488286856586197771009141506710222623232735511926778582649661103734129733903330127467366623719919363872089808558034993677869005830735810235627226677195469587022226948800518803488439865845345734592521164607728547586134720633245427642969205980860067832825355414832733986036815754611875643247788225986418888831043586357925510297508063774131751349380384680970625897808479971395092346440813057210111294042517368623491455313851196044863900225179615344866578288486075433258952768452102927387266209486261620429481041134282276079622710614684954274112048404589015704770500597526196105900148494965125759389063830951795593817018124390318620860877289472465617654675589331702592113066640194479262683121094354001447760778627504402961306424039386370263858734412620236110947815610574432392040210651962612154696007007122356958325453611659312299870833790763176151129909467424035588350702361580092114765276597533811115753504409262705430591014896841244823719350107210140859199671014501185812409684725373192938472104980854594471147266754030826939713092968774011323137091925576719178280588119649238862238311671546430830671679506034315582311628805181431789085646488905341751281052620480792819754234034585928636925023968857848802537109531050670176255175536157921592916994188331592907764733195894868511442653395473741606485037352342111872916401941397550364446753694414135709962087980284055725587634034778091191120862757743769376184723189974993515761392576650778534627606331668578586790303628081685732786322785478782857182042391111376751875325720800067704586505889528311948858542463148486589113296656603754513784995758742130642900374423147049735815026035326422138278505979669497082232022489974799995403936569568065313751201038876824037570322948095527262617283932983826755655267970977845186988830385704286489989972437341185039433925707320926845352721121826868550766411539216378064064233686544818508699992551739706729899494023552650695697236468738958814768033883592717659551629100588980694034718155853183405606882012475143011320709284794634359111667161548021657135467979270074023173130052094394999709275528840628424677924585600280279007665167383719745455814031791561554008812589858751469228127575823477950547121606637119497862062092822113482463190280860723991405680292792424773737550633578837774638477229481352243740937651570671712140540588618946657224694487907771696269910413936155905352573358309168563347644180277707090394843192497265220386024689699841155000946741452106999474398249278168908968374749054082988574479107686416017576002903867745543181551419082129590285035487913758680337538907687659106313248631813389046241680826750341051698409290312055470087907262802675955996226450733038034355048240584299998335323845436833423557537112240467298798878447011870800431683310778962348688189734015070705912363022336495243346129689864604075129744117975742299157934343385376128946450766678679653438225620641949883404079233172489266395304576226554245920442935120474602086516797926524823219884844930358379188906248179441892109670242462798806184882255752351313843423393003728388882628914752883691313017481819878443567617475536455926905949073725453339894628301857261707576954563574493518149135625452142910555330671072748291930099758305804014190575482179855233481714491717259126586957120903447752863602688597022979017765358366554441811838638655323931306144874826337600751970376408778034773474845135750737060108137625933001667121171843810908972450214594229018090260393513158326455534252805614847441953717599750020687897168809181894121059130041066556856777735325291523422303189540973890373598332184427815281423314902635522526749914766729657948523893392796455438038538234308964163297562299040383439637629370815177775225473556205296795321284060981342395741751428261937705988875524320822511283155457816411564896893915405702563917827817678151973703521478514188383916259946007479439286963505613931833858619780832086546247312417827742574666070517224062070646227433334725721079952315083840689875765306300411179049234905172493317959747200345711226730167212955368293450510603914518340943022072555507866138919098284763156636956585746125574947920002159382998574915087887250937763141417126045850291704077189199253211442170641290641048334122862125483995966441117611195091344837713813916454588722188482315546045784437406687359868380186746836091905348028847069024748547646619121038367442440757486298213391818515271316428121971134121028918516450763382826171681071150273330073056450852834340502229812482002692629627672108737096709381912184582797472404868027973944536084035867545330241699748660465749362293038237670366192162274803614094163475001356479920257647918908764522405391076850280550405919002154145000739127096842174351018230592764435965640112844187526826413109304670306704098141335682651684121113908389930142942115281516154487123663783287579069883887129355134896864706908289207570298276107130445242901790313764221297465598924880566847392090413907502956489432825725753138490719286900357819545047150015955102359399566110268348599112879569511535172420865866324365187923932652244168544640560410070651978379375576573600615716493616498410556836324006041610655083275095104423791325850796324411178813372345557279029959236352351147442508578498327456020567439829817474593472037620088587846955566052188102433580568994580790947107494691453942784664887357305759485353037272597214499500237077124370550821269642913689095251046611740985299638327105755014750469475225530694835514033642351514836985836875761386326095182839445860933569633845442871052207333100621532351566379074706364606324761652055609365570702163320280976867937130634474250182683771798106967993501639346946142653845000368191211009560118871586873627427852912743197390300313960761816162601957974196450699637641590490742044307650324955122539388182438518069192048932535753919669360977948162215252985995382482769343345309907915328374167401183702069511033221951934807612537802820834009523041545903372759618399528717690118998529312604230258472995265085663092940268653788995679568289780324621869832567637221586951057125807132944578668883166985890924099826161922133853148248210603259255594028618610478988211273188761393012299076674901660982087279367713962558690778646505138689631776467941623851991574225089515155556093105529877020421885970148873715286518590751774620152294018888307926552619682783673137010647019584618405963828769777296328676224835236211120001645435470214043331787420091916263476661156775667008505204287522709039212617024326446163654945363522457375282006485577161041976757735678760233471681093427687961430714316481673175697452690576707708311915191389202104036842038931036230449343650656517772411553880103084227682244675907135514433583453161652952665452626925634305951794356141566208848445204786649716384760587831248150646356853878509452954410616694910161283589845004374641879859432917850587044642969312760282653590377936952344071861260852836436226210758837914316536772805073705745148002919966341399007979716388145288799598161920206194664006048795275868139491165628627183723460390496314105323808065201700247051711770848021334110372677619030534114532613676735360338570290449770168417433613934977322748728681430394158270983543634577573611859948237814698330515223707667512718557723244302610685449092516782801630881332427091605550104709234856371799075774955603585326529111380828304319347342374358353034532617936335558951317777874415969325190896377477687963648232670985530615303344507216371948780907176118789304686527511628512900354542711413743697091089500256134328939263692369579665807922098478389337781214097296749539107394703139896806693997886196211288116477991712797111609908800975734518879076022489480801848322311159041830152280084240457479090267534824566496016152577133157754307643595156988067004873102349371229149263008390974465352500526046437310297309904981269179865146336656246944971598849152464229936288554501276595782645166742661848742836481131355502338569363428153346315037156504953762099597077642533692874103800808867006607181863805836062661748996296322511084555845932813385427324505628818972326464482974583080448273807219337362088283589124951628320162087251321328972927120114380922031646015647337477574048513607822125422976947486863286870148460847831561127752754694530493455276092802935473383427249238030122199635805301270545813760247921361411717158400599221119790355352023957709799200800827749045595838037774241867766046387872846900834332973588004912024374496880324610771510439929082879332236181592430064437602496201769763987100668778519219587147965504988308895457331639437156863325184680387948016369168548061677130214003889097647859192241181315228343503815025584821072280719669338306190732298217920880391141746004639392419349188027368995372222835784986763835092222157644616906663683269734878564839183639359234249976384993998905715847913014997179067644033951628160597902541961571954413738357983791375800494874451950311935474553752550582807066285389694591093236380800673964183664760420618559513665761536210097733064754269811130947395986351947013058033678991724468422998804310700971575925280373470260206242546601664152978843974513445680876041263108955565387332293122522457999167943503828774397289285045070552446920871127480855852563493831020277412008439676762403777584941047989662221633528868380149841943035260502622704107284599267242717934076849297236521438884489505870940423746517362825250915134326849206347103602646145508683234555881141591709279004746722793195890911247747747245781763291146405258974024555810412320823127034519703448637532991092112519281149842997458561445331963461418833283576999277314795589426536734603588515716198218636579205647442251303840668893051405662186192429151489869103445366652173350457111500197904527519847651703000059405204318762236455708902326826672882934153591769779241633970062459922331084373871465040464708659950289390953770624000532714776243290271312269620530870823645206935974111877648513965916884658104437255665151704131699782748704047592782122654506406352819127841711288366874212573861786273189884326863066895568193312267315832884864982985439249221753436998038010988267693807110584984424032139339972597464723755336663543680208479292441034845265853556686214178060579992440573629226139602732584833902393760981605529170180470123628791071408811202435674185376413001916896789883214428212409000998736875957597846107731981237112346328718506887903199379220891551575491464224888744647589020553895869037295780511607801403957437335150827206072085405236471683591293970175618547387914637118027556961095248094409909652877923274687887632224010298351733410611158462216551824206376742162584861715869722188064236828838007569482566423598060807206153350627339492751914303234437962779365901105787039346258081774123661277304584145616607451232150137923887843791291534092350929849488035466966539082661160925153343076966039028589785480722243103044891064521276041406732994287676705917337740480761245535224499980629681007200294795242626999266874006422362212750521653825473113239966139475826154657023609282786481540474435063758994498889910739421513771678415049372113799420185928143414484117377451735649295235100581329685355851477524849506192152799348095365973126703684509114626475368381693699923861668602845074551262534192403032898258792371121850355609842916951165612965057500398936275231373319299584236437839148763442233932966369002973730425088892392833516039530049866236858031326628430943701174927672260064386652657520060258915912622454880198584517536311713790446268429938430641195968051206740485574534952407630706942395362083049441218032451262522894515610216371501923332571323682733415770518727705676363755389533586167534003936673515344167622365879102173354713590061510288601131021116411208016897790440578066046174289190354741623708339795931355271185156644472639580065348591960688697562362096041832944088280470945523953573036858037950670712821447603898631617592225193930167790846681392878742696477130102931155214835650375406200652357156850242776507393798297143953352299736125213152363554603611970582486953130257092788312401767666814347557674303909936652894353630037472024338579454763193645912268947272357428976551575629316590614331982239328466712521824358782861023260059363335906562606665223815552514581103209478373114307111388517690033199966223433208858715572177446826588178269753567165713415046271407546766625762009873288922534645327416111662893316958586457987485865040837397320899635828378764719067484822599917051485671549409802482226127532899130416418018002080673543540941269677243928100112046639941000662893436405184381555185520319555256410484130001175415968003702573338203667180846022774700104738899240019380303692115553067876987286283416712006655378210522548214532596399415635982744711257790357745115603560714518722767147045361697961569799049083065357774801913621539994274411256427172093198759870760070912761333667105133657537326426640282265947273303919631754277604169144544532754783115786432406154694046580039205520054072161412953329571990255790002578893124704827888523492150664889742115212468981319223959943006765486339061941099825410891628800060102348735048587567877230588395446948716985960302552298678005725010423753141583913951366594276125423038769280775697335516577385664292421974995545270826670213614533695362993794495847703861077455022844153225139168374470881592713165359493057133629742824524806054006429581819537906976357599012042395240632024199517328422784699995131827701467474589582467796182526157090879924837941635992494704008484545905334074681614580351470593078741211620038687985933071179765307235557666267639211924369412341444676126336920927854539399487810082759650857788861437138392306737837447765977264058451432725667091754181226100751345446847732350400103519016177116545243959163887080524765317822371705490264406581809519682409811637274944542867726265466392988764204475160169708468940891538341299655092410704455099880300718400172825025290566842029044388485906685582027877518065886174506517473845279629266079001395297414976388032473257472268378370098231289890210562969741595237921943107562731202378106673872030632219245779196024543942642503326612256865663575277974360802923508146277259146058715423492414801300435764931439551187534463403838006511822086903118899665593853961226099899300610881068106271975202639699628580032507705570656757314351287754267883326425735716762650618499104564022873348898595762855130225006006102041548181790085088881711202997500305154904456783728341680245516964816276073512124967168876457119863980895590297770975919006109215846051058590112415080387559952900279989546102990964310426062571043516036217102423695218293991806145079529410479527828868580303791183823796369256440419809246514481219254435304962118056549306126945375799705047278231446093063673342980104752332352024866393132514216212438106754585867087080079459648000455446001784792774692206011411472603815517784583737173103916132559337455840381227873554349259070748920225964743804028620778787318252155986796122532806883112178650098018878876814387954944295236794238912220098535642560066646054021363539291691723701454620777435383103735940868124176005436861029819497268156800492978891824972630701266568585021753706331268658203504722998698482077242874653898435314305894856717084012981702847569658145822619035391700986497563067118638145225117716434644317485801421323214809320313051470145704828351839032824600887722890269803410090451996525108227395141188061676876561397339785080629749193250875109053100208619655308425348698846722741115280212801927318799813178018650112937390644919973911242219487319533709381690114337763310147313204922497505770231184230389529306620024770772596596383485485182494968205495895320232437246105322794904559221804640289835129041542878208795856272069957379271545811693844404733822881475185324689160600299325722518748935122045642421671679847149939988584960615620768917069160272813377019920381993389204441904596130140533310986089697601984992957892650083536488896279794610428628393835557403412544558797612568058176642671323919439917888056523956102199778439766939485733341154076923330413745684318416164703540003869929399699207441998605376539884494180828443158526806059277073850242231283683437561243954352893271552541318019525483634654090908395130951735611412492102722362159143717509994506702507617593532004730488531928455807581755401975044644736958239405116919929734290698937047654197150724814833832711015769479172919328383822021586044955487304499604472744563003697095532390735863773687214089722879618030643846098132045087874837325210377618972130896812920360378353126937350364523852910862506511561835763033965274946769286614931633485702205159658595601862834259195576733789215787419021907403118398835617224940557077344888934345578628208445761967772647777012368958592894099734493177605834939815615143320923427967570812445299398628818880873274782911375332368941273386327465330905256871847974416482660526555703922027783561943586592384706468617708277431162429431210960314891292000622362850204064193751982560596632669657769679099655304353363688400917963639387217992247193280621937728539355590617161036149742331291927826840798607929355661862692140435666342939049413423845349984121948393770678319409389575170813033805927332902790594018889295648452543252668204217438261973467540469915207779603992896097630859465312064488229041072213280444712602710121767815866550554144780339235235490989731978607831791935804328257139649425045307798059400572449960045569483160612903944262469435794741421407747275203010329135596627389972215675430747951357438188744756583543176014687257396737497425025353247889969927343931602057898539261222141469823251473812866643418054294733059216470255844702536630585652376624182939381431495676385816643414398903365396255241236031171090924248804832733569261136754215932428532518881974250169716442912056574687521358070662426683579949823863284544239821682108163148239440635228561958431735372227059676131295821387132184950310483994786609934571832607745051294412804112252162372080690865183429597217182666999671856186592444857429625765148776727077873873881400760022556798541474153057740394666086955602560069673169131476918665781870521698260668181843551487484945810985747093895906049611584998322257805686938440101855960656270624779541623092175235656213090913301620588196800814564632213620986099491788471324050935762545237770988417050048069572154738534174850245412797521935766514470473058540083934232967504622303985077074689802389844888366420932120341329364803967696956866547840624312689168413349966953119161738564140099285148969858018745510991956057229000609535341845366229623942020925669626417823544228091127532200238174380723935727380656567488694681444064071304499635301001532852561558526858442461121912266751867386424775561104853932732608061478753442686097466850891346245747388799110166763233816908378474558659785981306130387689629556153643443527076536254518500995227116897411727568357684211532095021315761678624422296782703282580715258439273683214624115532959787647550701610016092660303409368264033271752792318204810022731615744709086027854095360528311259544441115214420492073212231701199487837713804356918320944995393882083850593856408691826446464522231837423807226048316392286859541844108155504264790552851129082983079514492523855133127444033423131004087402828538199199422813408685470525468771151997815716013306682662419919829703831775678043819927681533694996785549102817317463919275039019005788675076386300373811258110124631368701881733147965526611925186600057054558563245621609537505984729805637678709269998425794080992669167865735063961472061859523856383211933554410974900918576659955398763829279435343991363765423507183757696526220386855203977863148448999380778189622301816076132873239408602408663412128148600417803873527386939592062700982115391665807095656201555586271966517800212232354506365359550489672932879801313165107733884771584527194543479197166488845539199053808875399661489557707831741895936276274291794417734448573005861716544535270258955086731360357308828838334241328858730024966913782355786633786294583250148174587461654929825920001493200292319394191356623565030392227344227456458470121958320278297485012191585883537786612167018390360984751562978223908807831750218328202522863280511009430339079044775567907353547215776507593796045215370922815105680783787682694151889386202075706665212210769102156483245389874385860478791915646616297366761201278950402090709207802866964206918033341439045288155612676858273144081336174559712969590266823656619456147085861741678474938847658423555352904771695311274076650361745509216626019556419012515833762380616349818980701621603035804259598019231382327421108680789519914407319685682948630788293431964068093781553383350118700912335851859060901847126242134358211096715214601565390003313386777754447376257168312696165484361991640869727245574130665326710846912122055654435214178124644070657676564400662113558981618944824164893054825803964396969874662407644537793489683661934042718602181534315994153633078859002641031958416663551253937901649461497929918789458932074075181034493661756172139254529721791610190815804797858363845067971938660852641674736702434587665449231156985829057604362587720354508632994351553857114512241468191976413571386330764263078206196197315745128748840081736565473105208368680429357087281513543093649288359359309528089039127909659513014332431903783776021165771809231044448452756931553996141637257412251576172095138135939307434776724209079995286996130857383827386972913707248000304197480637158202234405728682846193513714794954660927968884938560220359718775956251039063655679175851537285436695171750092197823871350087757437705704487539535706757731225236702418927911877279446435630426231550951830733497259540597937341824112676408477046090337464883547833125623231193858972180573621022949562443827362249042028526405448476488143344141896936820972330064817905033300014703248134367321929711204388258186674975540274157197845147145676085962251077596583317442627436432413814983603129970697943197980986086424590906885924083160112046066973501159420247543835713424444237661014789780306624041143142803574137122418857705970700525028044139924876259598149704604376019977505563429903023829905755409516221789440769725594351635984382415232557410860482491662832924263612887250586623721951809355334100815288947879227797189485792872028895508455530316079858000888235052160959031013407697032704886101966828702903758004690851756187693555551549189639653751475182126593543960486051361701928984802008454128053155960305884556499784577723927512928524905215123802231588785523876814419527914782045838869925523072292178839658497393300805418001180825718462790927593173931404000679513060955396684729349300914457905799301898089451698595769543689778993805710876504982066154612258711956170195418993913903638449301945063320841178465415495175570623162462832340896373884151809093864970692368216234063965943777395182965048776862738686647113281230615851447492711962557740346725953689333371649861329669624377849677193044687130190132138986860059197646365833476646561694137001530553571344884078018186858626366484184693530391535685846500234072892563827123745675086039540254646179541899386021793789456137890646979446581158289555862487453448404686085919281469558363000023479841959105286218338026349593539146005937537590878551396231421786339583745174780484994490957891838867851698247781477425258060089979858375462087768409794513720168614071122995691262340435544926430581050247228105528356260573413602070068606574652815887461081611820036587413597417881012161109403601261525697372202179415595817925770512015629696567903099828854501558522247164593211913617535627686448937483644513626588841951125926196605740313524220794634096089825056042066421907127608128331333832640647152877316367634355431366240543612911351390456846854542390369333677754491690602459892378353945859903174081905314844149782956996471936308118635069724336664031199326498899066863343654094931719683585196345674143464185814455821798050259369371073701151599004223112526173014596909677185848341715824055061460114568596996824122997806895451167182189923672545416826048687403281192967068809593331538342016047285395320401495825904126366247983141128029582190282256694153695621771892936754453880751070691950063816257740411465348655340654788900556582256853739056010932694369066318871467094705761169408691069104027707583151416649255383565100303170481541071531962718600084662065857503487917648060143473606884262429760900598974661691246175240539925044635463789859784217888494759422787941640726282539581692989448198437401841291107481815222664073767345964937112755588554405556309796860963779596686045567835166404644757285738181432870650196682730760022212190044688218999535754655602043590953128035695948371739409843804610675001117236257429854054726008726582779935785848042869213921984078068006007075198496639687932326599792158071926188644614781674056600421111558214821373363402746197169806480202909074095024682658843238948654134212105114610924359252968071721821593055769369560361890119953607834921867514387457384285698357888683786753777598093890213694909737152267895901651397938165337057468518603962300336215039956159198120108825544637737399158366537811627985707205488153744267786638288289202491432511335729175389287067740096152150772821542396186090793297667979916658145339988417671036043707244730357955715676502040763868088475383327986913247183492505149371514121666653328862760232938242831688760219991488721662340633301115616046215102946235329861648209550316988225516807408655626830023412594815497575789176830628365320837865705004823592849968960519054567608917266003739948428227165543044367689256450816847147789652969551693268975572764880954701907807204634490592801044320081767684784586658861637096948663185222229164914682373491110530082149074819579130723147363695811272238244345776358298667655342714056364202067228758795046378827754846937840316067646820384578580726931680059967029149136318689044199847205884322095158214099691102037751378935247278742990956241632155385775067911441098679640871116992534829996037722689735819696671250734975061971186185297432417751248440123312251385093563068434744375270328330824295512039288101447674265305651918814465279963151448726121890696524488997391853527389680804389339708039361564164172344367978452527130392206031763910526067692701621875194807658323716053097999050204064331827983952454922529439196159208275162256855114789911896181248438523155290960929267028204839691148619142210503740764414545471256573193261329560956365825244305953820859183790696266770763438208239938883139787875805258819679713816996973371706763008868893779194259329053470143379099291703957716859576976261680118751345232786467422049226562743962463834364863488326752078799229250956934468195677171538579567504911858458236850649921379556552110484588659354650055065305635449528021134628283677052765087613944098117924686544564543963870653788172658511337474624663505953689000062325888669110161905906565633835057755629480205252210518268848282207428099553657362788548591550308095097886254872093215883042734698581097406262070281481782858518612805553759144352245822014908808718545179302799043108342862788764334004120450148413869161070928302290904940321577261507518139554898328186937195443810451017896059512996351425734644704908002556205402757014517515609742432713285466489486742173002164443624022493217188873606119445331658594914993273943262516357498728624926840015237157645268318008267948411136499586042957880320568980232255907311589597675204498573684519643501221270826400792463285177361745211707273503482639110771558324647378278731888569485359443309717944236580507027533316774813018575035505140085105735065980132484247122623241884634031042259361418957168701107861463794622229184693195582733614761695268117011428303478635946115338095519726185982083526333351908655679754039060402852965889053346368242178985178416939467455611766398178279612342066381555084585403562578558070744036634495302530418136867758220980519825788441383858760810957958753360216403870719773282976981019097990224041737736840419624198783648580993270855500307446028369400631693937178015605968048826161470482469224780054498955580052290496529614752624399223925859678949051671816744450406006614689913898318435729121086824677335149417414738146702754583701903175554269140107246568892601611973806848309940875631764048553689598517220762378060737377310014331043284277893237437268520673595000835287219269049271573134654047518738597459040105610129114210486641606433073249985722504821331576891628028727060892431099495996968462758521978559311793100403183898556174698101355028769216260875994128326848912477761622393226631381339943291248121478828302791952333344352578301956015159513035898160503660559078547558873305086414947888736402561724882685536060808486870293447327601083910465294509497228328230814154994927998719307624988088109298590040611985879718933947154077119487945025340523943217075567923129142837458384999056278348670930718219671524407435730820987563710159549484812883056920943651475890034341625037018335478200954184106107191016890136743116843102037285951398619654310426333043790955037358796020685793737643556178985736162184162412806328667018979844886134376013842773944997096811692297124580159486858701834717905534757433669866398382690849869695431925212496870614483370706050137826727431923173651133731474386318944584257931906789817724745414528271140617930045599770022523991496908485371243583638145614137762322290031786745904383929278754348941058262811618453729120428253241406204221206768848613049802241546894178421065573827313801389186893063338716344198928412476305401258256624258691078059997541921064781301921956516069023234797350178436105869618718251035251627950656557566835630380926187364934012555256149737710309628859126664862615577893756966631453259560705368769026121722588084657354128708390013183018365459231754063952238305799940692618458311851687719899799671242802281980973728527484329323544140260812477724667160049758299406528101353338660122020623508739877373429794921539721490640057667622210264928702540832549736646056361809718543535510209985991390997760412114831484804283244625925228098078605044650619585695026752617229613239978990649884953116546155299096656775333271772865498748721894428328302150136125279849177805337399006565901652048033856962932909843933764637535519241105096830134396827724706988262017717548085886585125301739713853544422156596495947220951108867935709986708840332098473807454846793365282030969065253312023375937687875328117555158095087211183246069472969322620687019301424049359648749389790220363048204708019394710846364793073524471722006322428466066954071435111227665572912070682524089826968053064022733695557727261435078826273633452458167282641374861331592786610467270704367139856945308770015271959545843867417405326504390808630473004079899300348955967423307421041218653954145519284260540528271125468919914549545666337221524858603086327244985743715185912558590675445602730157292290452435579934723692627427202459213496746020904555383580617441987550237910831958918671551578565088320874526691369543303657047097230992691976527203988611491884225087081715338499769907026916960362628595109317616574522087164635677725175421232292845336128141815610715004065895261342655151442326905028288938010610189963315809825913060331784069287726161273248983649671766873660942401434100382426581332420850775684065670302256621365100216559451186941673768943731856905218774076804357406943434072789548999375179006702621401576119811181204235082906692802585461198978242132564104051032834243916486850800526055322210342123144467301833741883837708412549644172341634364280080565533349353347165763543435397626405700931606843419422356927954090270380205920513087681977988618570496561822725578695043163674214873984811465932201415177529577293937462435462017936019546848099685329907279292918454268560776424275176522343767229919260577798368656301978131141837871722160491356636299235720265945537826238037412648237572364142422536248002504419487816305163237522196045425490219565056416552918691145333712308020903382073410478126420231601423492004379532990007062385971906381274151950861921910895539065888159949229135439471090880423143436952062130596823108284913930197495174540835702322210159722834167310699011217893761894604813606275525952723981493856647158890991614538380406393062186175259773353733408000241018650837734506787580599898668143801101625393334201489624860605302921679693776512660358674950192617193045700491490260505173656786664562130490315941049480193825937397978128420274773051106123604008908632166565869592144258741614699127645353720476291316289909151591551392877270663826317031599620689722240589021083179899177022373909813061515115424299124974589284748548455497911468773303660958921995569002472277045542759612646207588889595641808840071727285573054131644953033878538172552509001053021439083865469325940953363525526341337657644615976225802338085049483561669623794574419732677944696714723539775577229132595528723819526363790977344002830420069986701033710776401259415167828319025840776873286129604844061424692943775079707345369211036557264943090226127952921008185906242263056683136909612206966279307149734582084375704771317146823205254534722187495189985316658418454218763186587040591086310388267412607542149657778401023388261842050179810081958306724484407201820140095188525761497647717490108813655828343026091714881490863232598344707991661332886324490779342632877986094468452878662556959783909186886110897834726371949445155776622111725033822286058493698419461350735962871866596266367849996374948560892744423415332462855640317749300208243422311154853500253918578806112983732145004882014200973596306732474555647502474117550894421517378268484001412580291714174636313955739935836422829033632120407923254315358839116977858136300269772908480873261831265745122147838173858824837080537564088579765274273698039548285473616831710270028087162459845504144905898674557637978183928348596682140929999857134924337737965562807868876110823574407034645401464895190427921100488297078893330681517509343309966198564221655736369918969826399028950309112965485938570282033073600252160526933911523291936460385317035651337613620299086319867661495215336717413155828209021054382272557322855303891109606521495645940004673658879332076126114515015918274174462897168452826482430507421720475614887671236873059797642886959395818172677212156614605430425694094843554883393448193845685773663437705813373100669113681075021917161554938241175741234755021464646599205349176767646174052952305491791289967883899981699272401635315913135291326287331279906911904805991590821873262329699351006143518213455597173692523098411301740768193702631425978791739587613257822230644326369972920508728218476216251738813155139635030651473584731176302131352171051307727765780503432646746129189800441490555623795101958366034516736640898499754220359218556565260805553745569757810173949942003075424169025873233858663162531169946664000710717685150506320488483690929126138694743381301883362213573383312085572722497237825957795319641060653553828265393711921051162979239832161712625419055446379007745134586059834020701131198627850657841753168891671438678228808182265723604315113221292640668121134119266935697873094881718611585254244462569632851686833483034770934984558420088194696093684351805430460422259193070341397998965852303840204478718032173917611737214542691039314984790084986073765432363361033968503932473821121396924916059944547871104791676759807879865936714488481633781761731903676075381572816492671109617906731052652969703397176730358425157188796371952556943803136443449373324346224095538205648385091357736867210923796766929508688196422372367082480178426322509201465796124526997492633071269476197864003230842447247647881530438417689538475298555645941480714460261644143092983011152751074485156045566097879059310671013584919358043561746078483786574928047912842244079488129206629233822415109627960807770463703680938756441026451091137930559092272807024193943205328123024481024992331061354196748501364722074689348790176669101146938527554194013030658466775028518408522892221733379630885114855035325048727271432171096904792290719512488047720150725116615057388469012508638766707053337603265298065566859884424455799332818702100948318580775853427594507408317523921898597511682246774153351410698217042554309110055524864336461140370385133653672806757222873969124762562526731137377242462704805214822853934194878831513260647508397723461055224490631382140414878418708545470844287349931081710527515861691241567223188532348675110513180182461262317608056587633058688082952207141286023907162955528143732301935071185553676510770908653741397972329153487916552659015794534744047901622651241218853435019146020956188922302695155659778123068439426599070604640012028421601987044487148106052458641025354771003153160655043397023320695183524876038166766700720639737084007195718250351452565262778825575195521247946200151133102235377499631484935436925902380086050560721532266067819621034942820430740597177491248061140271186849533196878147469048552275501259859934109704188207837577737875728606353334511229755662734365538563091123039765929499877135596228691814872311238871330604269786261983023523622919004214057073120936720305447062471556564623157897604253849731011739534523768417506536344401235236409182066537140466118203639488547287193919570619356682522363864078027970312820024835742860716257542727244718291739750764277035609180583678832602240511942378088896368896043466292252117137978912211766059483219371983731505117519752456326055938222421723901538824256420772429921763684376946626089678352864717080859465138395163153272026154541384735370542769032521398634349997275972875134211589592332109544397253696683589706922936913470335588685741650885490674996251666854496044453448301379870660160717742608897280453575649156142966444783326101475332859698085888040445073018530709662647959258254776195990430904382681636122835962217225097193568726070031811277648075328397685894743784838108456699583383438545121840973764362313934385912638583940471197076476429187170983235931327032610995612968273655128737673494331580320450063470556969566175091323271438215687179609336978278778742882226701294654626984144880104252961027247268099010210698240244712101088555855470722021759151535532938019489842574025728282930044735640903585442509571919493089279770011892536361529425649292368210184192651660561782785712977569934074551359037743330800900982066478760866582401602220196023436434341412445675482645836779399265217167705787925198733042034971653817235269658841368444234552892638572533779904051205211088184329040909434138065246006576143687402219672935204156958419409671755330080812735224799832585273435583356977613058194867041525129262048733511849571546572259916345858237220667719547445937153082377054081922774640028286245256409468272903468353915433818991123016320972558475285399487997339749287926415868356762782706415113209191452613037767360502562894679744860587297907993303485130515525026508768813670826440726787600608742091839176134322006434907290574258734711456678185947050447110357113172134317860190175626653639644911920770361426413067919050053887668569794785622153715694904211259245908175142537369423104364304269575875479129297266797576637501554798118195719272422510242998754199404966558834817238631099356809452471683546578777446744491746343122786449731791770852187604500844215010076111609242763668197915461346136304084569886975975831551228615534908934709537416125642207734179337140376997462777367999751361108765061665906148387850709748612605474186906147719084874405453221603525962126847936221508157871510675005139386242876381846510189387447747492652801484166636616518197197385007962812638089831341259998941228340424026066210672655923642424726795021546964305225337252942863794117576395837935941955848502468400865124275120090586526009372855841653982644252366454939355925153887527151796210633132276911536744286306517365962108636449967914162803717060032051927506627043246571745289265680417710122618276720500018750476732658304335823183937968176922581664006112266853925646931473631810591022202996015858431410023298120925328588352243405168328889046931455707540924700083779012754813108722993106019181321803780254424142300259538387300150873154006570970086012910665939783250491364204880881449183898367160630216184403829872746163895617394774415903144465721526538692383212769508642865178843201121692174511851514323080012053802333060561076349859544119122199695974811603256912999230013996037996103389421420494455664098606864398265627253313443081358769944574792684207455645235086991995980410012803536653872340137380540703788835604683444769226641003682712352710660817028966061318242181498837240906265547096539587252887866056130625851519354174871900294182110206353540213539230817624955819090027924754941944167142734399019264479215686182537356148782543581862095930725847981279829345116376427714725293052945080812130971033693652740552520256418551443678967733260760305712859891450574755137948363751920559555892367103906295022790017602926436570594864360747545347968251663874617909007498148989970434714162805055267908732451651541860626304846556379609628315838658281152432695208031328888894745285904662512326841484428609319039115891127707339615413212612300164688699845601245668569815350999103347447609361895302316754612614964556836062339377580075556943048359908882729298932429491322704642529763344485950834556331368375250242792887232431648286268844966140092626239860374394584463665723179882299697165444189199664392266676896923953886992352651912085039598575052120517156555419458593764631727585677688945190737389556903737198781219775726172714196862287067475742634278253319406279003385143054396816737204500902250973932198240262759517196758392039655448095496211213322992375641207217247815509551137178732851523584660879007746232259947290364615090112873659099822186945547654659965935387095790336422403065151382427817656433306675321141956536979390803134004894319114787755924728974994583881976327953124008107144237049216833764282330818051284750243118416453391776789699949361684627316208852652163120788110773675210990137240842979624823483331691604423080889924951961267900200654890240925706343770630554655907956908205146865768424949329614289497424050560387107108652498014141580969728844328788741914706923025812914862739868831821905045311387683317810925274742661622429170100889917107479571777714388423760817118033049192932267018157222027305563479740427758548795257665241050807762106522883084277475854924597941856181450590104593108918119921670493220450291719628584414159688107808068947880953373444545371264679725366723285057197344281954644002767607103380572637073936683849688862069370518955612188444954120109452177258858422813946480654809429310431254134023247245309223454608955662712345758998519884980325675878041540111689147765233617754859064337695250036585252912204613958276451229984980059560514828112875063073545823447877766303402160921491701967825878136001727770792562515775162454953789301686949156735155263574733312934051289895880856126542431317747615344984743586252071672064804254110040609968520082531031399140022881631961885759713724060827907430687847520173056813848009495836828336097559116253753583301776182376740780806495518023767652085561986921701205376776092492924028046020830014612421844490411632750388594835055513371402215616857883985539754320759176538612290690449053505862896022244465690967926978435046399533454377581304102223180863545408686162413666685088325728764574391714718726653761236234496682666118551696082981503252962710127438748719217421748004532330913411500798806864496521813910558101497114603028942523457818715919571329311706878450346930251993015597369873636740525484634961521718291164560799209768192086986972245101346428812395018289014856082550372458277450339040389181205094444916276025870236764734901082778774773047753578415273505646209665369089396588289569547461240121955075203514999549377547163241654754052513788091741279369478145592453934863191435583129723910822094443265957583369313399704378765564322759272786938994521523408914897286995729884422878385057123502737567736824374268781013098732550937363338216798234059151310056811430140481179127318500571384782904162077228479497710661911929384407606027354370083905164845792438456706012290434695033781132336310352616787528590199933446385376896091006234508793796152296701215565736229713645374610665934335762630983010766129048225339996432216285638256321616131315752066118375736366016435568794415911477083235811949851867286469687138348806433107267878257637682799897084989783440615231875081026859258337327720459514322372896317052685172001992585259801222944919799753205466798059442220331463071594896383769564685211149314660152762490948424354635344399969400665643625932294298670287245638692970847248182756377546876563573469224598400305896396924766058891319021919185552158078188534376994326118431071125307308585228639887118055982747883222916280104405656013197145744359039874228813666568898153606784886900771740682576443997745669758808378114929262317373067376855625227456955339948410961052343122732746638194380797477878141807480519814436149634296709227700570887324162907260631372110301347777835144674429873565268746547059293520841249628568394987181646597342630021249505274959045353508935823439209920619975007181947244422478218816644392078101214830935497764263744914044617098125900573323947440442811552841604057840288961416607983632337778834212544928177717627045208120422433144085527846394822499616500116691343647293125807215268485805051702526485660775281798843373182461313006608492974083093573772424005353371539034982794242608139333683071051977259320114974556189907768844565443855838386126611081279908785199326557084110022755666355679957892123050945489984691703193908118306835741147265749120891260715627904765778384032802913666499965085883030861519974483516351393401520985005121866450093244263893796758669074579820091719777668293814189269190889349061078530105054046640988112116999122311713139175738632983921940814442715563718580129668716287827591254586817060936767926943204037833493655600485477683043270372182476845721010013062052163266942679433713157954735315711777557985469277022143897001995924704445653015010852763533509789935621216845206649755593839027734144776312517690559739931967268986140889604397695041862229778515528387542625964977021802331359066710491661886976868222807869472376514016962709254008877067796314803152766128851321914812716194599971144409876098958501963916063584858187194275682335441884229681356840381708521832210152154392088106409552799274382559388909798801082174021705057775595968476134930147568400680084715906912364062195979752783884194300035032231634286692296831043846620573883568707394649525990716888422764323893523032967496108350828086481057528684486472308922616299285673384641940088319256816058197291080989840301783436164298959313142574695494459178832687308489138365405381330828852575995095723108209234935292490274685113276902666980619507235406212846988043282231781559805541900821235928467709871985103100402541660168725075058218657089230569873020389657639108259900353449798550548387489816810714033085773623450599067562513853104910628442206610588323025933303066865813443226362961568074591512944848009088729918198965072499746779891037186810339852581533661687328875529889231457879403312081421226488010075817243608388509174628383874269321259801403090304424868503433936262712456477617835800614932664630597457855652805640712599496237627423448947207713764013546706915268012219839653735614716555288101239034512912233723556447113282142542717696359333077621001459947299504328223857080942952103371674898176127530742886214906027471590001927864886259045248498377210105181389483910002785676905179620160030605802647528029863912849528107430080448940194773413192275753368587998783012199592737384260371199588216465013323025285218797708637348213934466008298034175697339868347350611429541018346553192527900044458453846719762710190504904096163144233457335218690456061891566836323003530725056936227086224755323111906128718226522520620398247455429142552414057503750169102031048246284995145860378424805487676900588748459031308175286096964663776887624553809011199976707624804503022439735677149313524409146747602575359795936452303046638866787535055632628705176879248013343237103800488843043876828190769937943110403394326616081815874576138439550055182219344218539452730340094946962847924913856217157959572765966110570236859574118648801169122647027549296548156127466450083130060271044733252129774338162599263566647192962785250590748132079419569358676615294414782506025630805800254340955876323778007243356584674385498470486914617806982615938473407664299680888798955241110433068341212291885395687283183830828996796256640194454695871793540394647629690204863385826005705619282020183882320392025131980442114195234606855394813831057650677383704661018055827869663558573259668333949321306030777439122256547215592626992827381993282616338066540266758951004595586185374319094638330205769211904195290627491425496809124905100524836726191567476907420061755511768557870755261203200249174726675186495255641891418484811014045452732017398507412251304990936574167416116768010891913400422040271610967003137159148944844052286591770856079116320254580680947450275411821726074418607690962222724335640929619780799188026179844281829660215072043403854517205982621370985593228586028304378154933708333981001347243889519187340264871098942780198044274116610865756065951409572408695812943623417094735349644353588499329876405057559098385196158270904521215828475726716894936807682409445440809934699179055711182157077112355908352002149342495111222352812430289095551696177547718370732760474916466188588730853714928934638940123001197589630625457340891382770295507528435719650947010228021976759355617351733273427503562832661277311978559990285963388358763250609428193685728281029874872958787593962210211302697658889430449356468405363897527162254410474112178460490634942286322000723379359623306538583423723542599721830346339168549937939230910470826925867735659078134367918091407648148152024817453935532179080345538546567287619727235196163809593807113116986822242973429763392774099498934094679272345037203934265571440051443150547438174416409125526949254366769686768214630329243645966072368612620380448854088210348470880475245590151429455131269773844040704135661678147599085404293280825653764907835158339785204139920180321487045454855724622564611104406472293280643536741739417574334090301492453592602832341868690061685703610160523923493411581879302077716311193959581835760364418455726361303149990617690520032658019580985616490647369095835603725380184478037491295218069757880790712552547194712980980830484357450561672865370384905661122498566182514767466822351845423306680328037920691672905033162629610814602505724173776076391619959619237793874810102558918914251401675279435314945464055032903205065280459229974714963356236352189541361902812989770606543804224954757513763348534272870439290324613828298179567052035436307474122320514791384464244139340450976433162403599937714920161735762363951060945670374802777802214390051626597239687748827916213027053042959988331003146331722212183697410767547773188082205922808748713451605199733614384926050112867247680079016935822755562942214474196026796335734284298319805347862423921878696151377455505236903956962204778155715068982413329381288057581578866325273399915956497025014479029801156760446474080840493853454098858914149541840839940272059479423007002323606532555719816285872877549758768474800560406823951747274136327749525822666360050838174265308088919547393722036104420650933175765736608974772070397150160633428466763378808120123584081989102526575560207541387061858813118154738137213848385801547650119744885010544011631013002835016569556569130570070116430637370482647353248239699325130198589342193930250388770310965020907707032524812587393477863444160830459058849634903541465926621434631929709650944856827373807565269472361100612976390025824562737431240987889826242151468122038646788100128725521383917438478273928704358060200060361398699372002309231438789439850088498743414635298350792656571461404265316394700827933738571295093260694507952551779201288820160449369872724780089091438419112446361002960553004097724705352413736880879103771726217216197622631418081347748218309717924690263400575766266146585202454198956566660650919015163507198814254815196050853304921235550311211029962194232982648790642097944126315192227144804115716687288669328286663714451178104652854757490194024277172210720235558164676842126353566634067553965756882253596016553278977497467967687158031512755867343482138717279441258942115868974726865104872137687056038818226294401707179854182705952997798451379310489539556119416649904021031260715013651926099441171084642488534879059316310432957765219614560984948137313933350195777219186912460020590623432138250539685560526405697808801552875303393276743192694318317426163709798192763644253639444474455927307228362292588648454077619590652136940441261744007937636165561013371914685594993499871915409317287254102301621290726791578015377642216093815683348727636132326499822199625037027500982584596621517730940389999547343901546303209200132432058956281137772659692585059756028822582832468483595575450199218923058958762618397400324600470488276320261291628838518222766576636547606171106949514714393011019996714366341843117963163871895558917159746437265339405796485782136488071496300939728207908255071306092396434071505625089264961861045744825278922201083292035964336807456904381047250240713896943442175631315997720397144040973572018162871242519828782722465562136465115928019748963059073207818176159917903978623337667775083276313071133916324803794763633308674640648678956003236361744082346403442244481173347688904531675929473261589222342294647580799053047735849559812072482819177748559754102627863668064642624101186075425053035744890586433962353090747803474247029091258238218357439932139767994573099981089886223054291021359766989044763522977133511372378790495244639401456146436348545115312597938431832580503184033964577765177431352275292956674240157612243776688392309224561235659695177653574658171336369446135303869766048030160482763171147912304347934540969680629460795553516288376688771093458795746419707942916750092514260518321964703701503353739579089475972988898704772584063017454554581432466622509692733037956912041385184435685950208460831447425149920433132866961432872841142859889645258360927480960943834556358200621271502314758747669666006262134385201159436203798472938783858684696687167892593501096351199963197825224392927713165932524504708965295008516786022140212479420697460813542851482984486946209695183985576106254629394074262504091432939058639474741951258416600497718887904404252553778651804245605643210190498897250684908237015286061870428206939900035326480887131716538389550030467513027270952278525573893048449957719790719141507324204216919657763952846814348594914942679491562804468126260751503196787912379377063154406900582167370133372092012010824467785684267291546338719604288597070822607264056263149495465243556685691180358358111750299979505933495060366939302293017276780152369659628769621843452515973923689853692027789761847265175820980185132517475448641308380443665975010557055669332081946767540124517546515196290135480717462931986757809638803270318996993864283577041831095300584835958531536052641201994392966908648650692998267717691785052622076419869757802851557545250406469344318578001701078895960795748063050342525854165480675903493801042712797164602886297091121291426579442959077493270759906020403106844345903399221169793578857021702363654665480969405941494992509950834143826220388835776532393189761071909989486191322113229121352054307472953289655121638153263416898856467599100568383430733328427275846956858049258888618295577759761542951405363940542153704929378335317164090794483207490959493390005256338901934780455458402579926819082651564006611024977248368940652715953321062334291296815503038739261672043972750482507568933047633623153644880946229954225190833548779366238644023931340752118493753907213732467152623300425257045190505603716170656311811226853706885089994534182025787865580096471833013872326083211465574205275751994196940123502237733187204960628115040556723209439236543430147990240504379031971404029006867267905940081660599384092544181705718008720336010909322704707620786073754288973937774748552349867741045812912300042062445580592860609497976572639003712227128378963733072847708862333275984917295886272879335165912863365087081177435589305028646559622358096106642613754032614110837431194323994314051771125559781561003983882455427716435131573334429779225835567116546506789525462368835767513766982866120783846218453512325915644671729363576886684058535484004311320717560034941088762701394214653730912088861616880684568403468572708787260362052781612623473613152337320930802120787250376264257988202163280804109582513201980470330712641563018322777179676155156543814180901873213238703012304803578082766891211504824028325804757344386362682970769285552189151731001715016897299024412080189737711608414184892046217823167320491924302200562941583852525060717312440055639607819470953073837017876590924390167557230945913279157689332135208703370049901522771667076992903165665577113441278884131446400558304744088560755810344450383743684168449428455671116481535692112968263154765395659278493276281793191419179327297748431818161516947987337587375328960116099227475666590641991444643206784244425228336177151925565513493853853738232211015109836104514303773481228195350883793435105352459925015630628796362011952191223263116717428765787824973326943329551950912092666805083546760439997335518349955112551510033466077825299824909925202546477408334056786949006557741977802114712094566345665304612437840728755304518842205000316106214519901807575064170734295905525610739664028393088801462568439324124906928168260074837042661770145790832450114178583038165417726705478737725626013435100401634842056902144864256694566382853122380991669026672823144002625805312388740294705461315632196674799687899402644754781795577623191447735266256317940643764584065717722770016462162443021679303366528724933945241472610580826327487352032541451915367950357097429651482810953075286358048775355782445059090722423608888649850178499423594024684833186582841945621210362471040317855552147227559503787728111708763096862111254074657856204345844012286292566322053011479219965579005604909780971253622186633639525532483884492440193455336915094154611156415712953551886020908545403759318710841960155932724522069646016244344095994939600735110086363003181335897112558046678880400468935868783740489908032621100796662262098188697756318588778511698145303323075197567451774714556359765362703683495180794924651663523235846335740099960849167746476780909495550485582447608390313073729010162313367457679694881191525118918685938817804370541189812767736152963374258519553269437592583413945546960439288565190694481155991188020015387736929355842677746562698539920189111534290548283331893596450831373688173922625041133995439530413463471985670429229439931357737105499689706648955757241403499152296873300178877012287849049313417161830233472723967747498885556441278665072049309007520983983522910010382515310847711024517988728916339852742102196776561751548868683612363121050063844789807843630887043548145543623267482600610061493560944901969477701664238104377105172865329583234820099360554418053421707642358020094159841464387070549430563812309111034177402179697769059339828411617782097890287374744636931652235196869322787273938934278660149155068865788309202870838293833125359859298417401408681693897898085901149554033767535943250705842617864779326141505419755627883268645707175208302745554231611689854220974302284256406504752954973131085333941585314928891228270528663108536714636033655414534475648724440301210991191200161374624084309486843489055601479773960558463526466134181230766567042967632058487247998263026710821608121671991637571317733139078272700513049031493196891345802999680797374543092530512756946219650613392249556526222926853351957452538538775331258273922484369166882668115154219644404333733212881582273974231749015639190229496049995871700917206944594216822824498529389552873195221225613121802398607861531498827715157590573646944779156521830955067113215780702997589024343477894595129391003845706879248762090545019885101373444354409038188430777038326606684537320004565153622480514630969032116111966807894879250320839619288734993866434448976069688846517797592001636854415773964967424829510974561002750986914701625312491207509275078983897569901618634317783279232897388603797168287546082582601802934188246627309999666082569127841738476668283123122397977837554716460230016981772192212466786636915088037767109375205714662925516341157113599409978404607026972504797835920390349696189756478050355850824349211167383148307510033959232331606908405369283859915621736114360253113730482245491707121604026172797857765001211385469678946408430108141211407794217603692399370798688645093455103846437029356924472769994397004384695246994543067880241382211199682548025215138674176377947356030505900938236228597990237333731377601684192293190829442986395450679971080670033073911851621280517755179236966486363696018839982023172510695917718279939528146810232220472825500816922535306362437922398174819685866028694877595118808041035241583690570457576386716172152523473234826837315119273122628548486790894002441575205836847504934118052644573671390175476038321991650250949555050726808605465315206347593283594867026435626961012830869972196622458458024905926777913054808280919767798651602879189804464024120845338257723010807674608388465419869058389733127801738903007480573198474880059543307061963014551059566046021376707271266060672430958330618685276912904884603363037988411037772385909571743061382026259762715381943209082679516756551543012723636344910512601488859491845421553544967294764910929968959733050918892561444573225470433338536587826846757724577608511387867065105901533032889532357429363607408522067603295460641732833989708399344580411645100928463218544427659121961870042221471375280261841003057704618759857049357964010597072528197562614504601341882703748968612766803224958664974338345478563465334605575455096106035224292529531329052259471030905058027299357806924016929440037012596522258613979113474795983192475930785240032711480627097813460504775164744986109179125105152666261058669041814580023477399801550746995217822999574903387789158962906998795034610369746674869796406152430037753392217758610525106651204053424763750148568167398829437505903432272729405834251158809844383424024745518486203469354849143827760329659282169278059453716912198941838747680025305240624327783343927797677660764264465812880275184298205245007983029623911069569709418862011978393883691072952221633917664550443204904397418358499746499194566722734510520435457029559477064767063396936587627526176316594355216933021932366739715860781129446500700356974544498417436800381790806061770934807168933460121560890911932092904309262533920884155528789771408199724149502749758755025389727378689048705231300336589939771683106745155034702653310441260574329734219638100820484802564117814623821146618403566992285740616619991521148882832451157924536816753844587776457832038859547375061649205747756209705178796893007078512206838222300933986462296465754678139539142251435121300946523982716867737123340125266158570509580381253445262674134945472907502354860164565960862960009700482627094705021492196380857454149008804670251470057834112033618473683643930014760739436301558670224914287012940440273150278650186757042878531071696063040969904839107107230495712936478806559809186781751707407057993189325542798205978259687495457912767700785036826726679009483641763871183415851558510040774660497538576664607164186927847168383599716350133241094376873459263447027630844666897686829689782047465281687109867921833959503982409070369215815339162942109234843576032874364719054859336729582695015811684771142949349601629675626931508461196159369141312659719727298073077135762997506898561991435766823565814294945187455771023249174560706161491056604295278460178217064927890065899916115237163395634304433500725227645467849300354498467183647292259712016835510625393416694828197657165136755644351062647072257102757557334701475989860668705832764617583092518993852937489513788690415375193646733997289053958758355080726857696660998793809287888590343827151430969741388892824507073024959319592373501502289015615700553354000791738787743779178349777525231613532403499411958053901020618680688750373870306936155080622949450674903071287592254360586659682858574927569971051564674337543593248317965143301916561265637517007365668362397684544741217695239836257598557588872407348423210683009597123088116788986226506205693896126579043396100876367154816307250131427181282592336510889801693907401066570411314735701925633520823074921991930052067983665399765285874072660610098598104834964145051977131678305550150623597064382099928790482463252449130551681610675791618490785675557417540605574958733501323399495314545576965886825280947245605824587351483053185889853706237762471212801640246004691956385004024424215654270212377905884113227498418461761062440659764998327425048922003175156277725016059870976621244446843723917429785107557880854147644622870971481321213154236243568394247897601780338283046488303369339019808987334526174376976698926254488770998074447207955173461914441398981675741793754458824028184439746374566641586705295138064067124695022204357806530629901893522686736210130505398525743216671644757566462547084237970980969356730351917617634193649075907069082773817669480527324635526770078124803805690740141471301662251686687550538552703016738494081336155249446950050858563895338441428000527562905482035878821551447288440888228464586174863331698383043740655116276930969477365381462424370464212961585238709339792396963300755442777264381206286744540502008194822869861733211751623178723383444357531079717974060946046050379210375160401311281459806955928932023844918286223881495067827537594439257335737372899144623610574249400700913538944789123762746198308904243103680937643005087732801461452941690538573450170554661920879633143717843937078562067132269635466122242338022837499435538002031524554340461271326093553786297180658963781046228968467595895935576130435175586850403725091451369450354595899317524772805139931468180767196330839799723531722443632998262413253061349528946530426755272001693983379776914443357146282563735626195043819031941047905639267105437015699419749578482443067554245335164196570954323104663616620292524732187444874075051446304997854699378041618831566628554265503753104821725476589548649148554194490939335086290503929828080617636792936345080572744972199222516348813312771436467317392291533173465786793512051231061651033498500547920980878585691209075590641288071306366126121816514626017775963024261688419325346704621333323683736344708958250863929474328070769669378261040676100269156256634642307661008263116922738599166160106156106289217990626256842637962727042796977734302241052063772115034275167557135810079890810282186959233794491361961611372208863409329693840305044505941442432750060189376572916027921584212523870669394241956612402524626479014238586857632722437525734314063845560578702386015075396561722236590100354505456961205552087401760740493877759518013202469018762448046926621376006821623725241894744454453823792826068308922530022727460193337142871291360587878425763045841374280805330113795124080259121938457298258784509189238922719953281012166378137738789536946326269894735317578854246166066801846633574269451530485464504475754588376497756575276375758744588661367778202733764603096955495349066971950101906643952851357439778011605497105128633038695017361281721673327680263674054917308149582765421069384968656720753280233997515349910300135589903368474843923756223880479972812192870545253591249700606286820755481470771749176761867443416238073471848939691975712543444788548164872674451657452047401193815606844778307717032099366894483164328179216641505328764152894954106193720621657094106013236850822069980335723077086991454062623620343191596300232947078578172947792840119738597483199751166574040988823256137346982344230155062837648901761365819793384217234290816056755036228645422160052758021397022930410503993711630292949012919649114914360169819989541556227340959752417042646056553923658181968527736303788329251103557299567521337284109236677490485573535716236083185592975162102490519507700274378032878678118667871620637035789186399600619502088356527448190239588912575168127267986182861699967940505696347627327569973737312233812871643062305383683228328857837327394910519749733747888955889364640791153285121761867349532370938878496218769416530333471874080716239267574755567611416368714936885927377113500520823851980151037490144917116523889965973477095383966567251818430299868320798384520657991732338113659039694697200629772905979160697788448389933964942173474387650791023959213255272042968486621421583029948624752106092196000829770342046255898784154719502723412562276192148105323216178134401198630022621345733621657717665229660004729008054986800099522748921411281372086128230722773577284635135485933321777653646038629177626543902251697051487989558345545865213825319842960668243631904002145177378313294113094614240251826687753029816010531921756023641084452466569398772345362646804335478623810077333227637233629833304905482008761335347051149151163590881437007022412888482653026958780588964731587862508072813248198727317122462426129924930187439435160517295267963666215264649411579077501309315949404716980021763489894063998440641112750599176143336224566222000505126058807373958461274651637261680368276795645780701630489031226801108086101845207808432867660410324197939009573955773231938566721435791894239676934817897084475378566614705190081185872018085322357456404183630921819200729391727199082281976855798998817333059497680042001288391164640864120768886018288885372059710827366709683659482458219443742327386685685425253554891427658511614853426227890212768679756981429175097819316788501915087378955555143117514425085462037550751365158558194238269013941026701980706686002391680974471965891429098593819547343879513992432230544562920300867412192033047419900948529030250720720841570711864664951777222667913125781938306787831214289129357727100635835379258283815926307176040482063347541482210230417478764866858391441864680509343559694981112508625838832680609062776284151113660273530882537030275319138039313665259975292850972556499861312809982874069092170893460346405696516485017509811416792366207610881067426196625992024336572214742541998532922601437372616944340036471059409032100515788873780469818222161057072565656830554212303861615419794140633611987921100857204933185847670354138672586446016229318046242384329192017409681353550710192865226303080748846859488187795319774276356726846979934113400258933632728259171745658357497612358271517513575839862049698849883619863501301989200896921694547214480695121659895618742759385794869011665201875661916286816112318776362775596444073068872965288429044066556823412201113393587508819286471042188558989371227921846603978297771146214717167986981418519567926851415396269463279902767688192566311797726505610461004387620717795119034677822344304225863961721321515641766300801521464322583904477797777356710813803652438417111658874517513722173280995473467728640180463866732427638669340834556940950831343877604871762795163167090939277044690906220844104801370951686343665559178973993022097176504617384207859194060227114842345547403339256428050488745038690481465082032542071134265637177942616229856111541144093667490843245586173147029234595144436408748136898657719365412860117901921390586927064648293957041380530046788008973490396796208251550091728044227523371199985443453378621287303045534378502020190098364576995617914661276627561162706140342205374552087561791830686278000123720463377506967835636003582319001848832281192892404576180815930765752710345180470800296747011437136302626077995165656030715983037691320204381467366763020909167502032049734890194723288067315846430682829796511503697390658617382594672351256442735248615599672682304867799757076901485721374709670765382198303918790833941000088407186506286712516379625787217044631645936285804528271951566099497158368953632591879982189840103712673414225999549317123602058069399994784267786154628311511636055244219314099191679217468954509201286509895326943597466831649825921336091181335702985851491718227839306631926851471999744682127954821980444906139457880521602393076010400052067708184572936220182053960579199291098397660217066522686298396073625476599922270680179239569627457528009332303889095351528365402589169620072638081714795055248943615959887485605301850350616525965880211965579209773640719497410139071616416797680047297619979352675270376100978983996648554457888745168777490015359423013693099763138110201696363483700185211623443628609417782097386195368748527301110104189744601977555558001283653349958552054698053773241575055082780620884020742272379288390503133829636021243266107482449188828740228056641364902862074210202719591384315586524012098076228981112838379136311742017177055789635443593806002830407601400549384503220488538186659941061531068198198993421295368724048975273684933254746729363189243019274314844888754801587853119373522644045350162599878949950352753833717783255727583989254544152554342868681197775858837257863403486497031076174087057508313801398763485869886489936187099952169610241969416901862179790336523636153968722549448592697285343705362038124421360464454365489851580780210050757308814410651083527371086907275549122425440954765064395901877329925750455321760009206984628345205305998658042039545039734994661919791104174890282008274674179787474400281387932031544641805643213261916176641907380570519887126833831011234396283967800554876019078022318131428259572574603016247461706882439142991019928274539327836249117369021657039805686163541287886931894073619025546709645795570406964138593595940761075261782806591181742028021617237416542841388628765269197946969713858951829120906534116610247443102584623616095126111644259448516136476438733272112396716582236492250723939902591438906295533853817368349651052033765104692229389491256284127350114893383150991739060688095901588266319535143371470652445507624572218450346290719001069495809590828410768079671418046909438334989561693918526459279022099569109774574258075296255115967577114913130809343503700961172185196889866971067922217400501489017851566128241784694841712792451532079392747007022751988658844385807468821640580409001360043313736440623308420322185965281181680974184991150772402272059020588804823867815773556804206346590575266179587230890724751311194357751075638081826719225630253371083009062419307651051882493088832053024725557638106896947167584665603523051973082180786774068624610764161913110218697093211271425025518506850191781886916429072013477906801822343620093063119590639695480195358339494782419942714587743052377862247349330976592709816604992208121404252610372657132615388710415870314685574648768684451527464561815385286666849417994107097117848429446970400311597204381178237793197676621137937685916199515443763454727803465210353020786263759812017853490846733088553769740932708118946273435730908590152596221904728396736006812456491735502849707370465897810738285554559987529970561154091691902367510800470945573169907333744531431807391892697311945633081117925321516405270531042277627503340688984456812620835221542635495175456615560093538185046024189332907346239635022610768754475329403616821406219755017314653853980553326287975210423106190981881599187976723834978581918608562951849170453914695578678357372243767476925452951650532123565376122248049276879908756254410638214849887814898323837093299593080032220506073265330153038625709918555394170563042219437132097719623441208599045820329433565867156066379513900567038608445618738132860949110865580868921657084387993145359507521921409962519010245945292090483144078921342422990493911644695185087305516878831277566235028571194016088606459943893662081346559039995429005966870402326666386325818378233846254502477751226985327849989958196641552605464609889284057313118769851454031554633160057430801206782899529275321375033893081947417087701191646211630773609706796522489335901164202435200374297165803689602144963209964573964600265893134152834590331171060200537154328436691072680576638296128260980368592881760499362350668789941405054801644743636790203268666165205621149078985830135020212563697860942867903343087630726054384262357450551860914191406574947235186507305553010696399639868480078398767567779007707809380283953252147056519360478487188663225354186611166886211361700185109213451895919564158294037228666435195757143471965097978823202844445837498191637934913690281901922889927644270217548963788910476576646190550488091659923486671565204257787798002331214902596575615548510329697882403514011102706878555521648934326156839672804738479610676357726531073795151516792886541917657824003339122172097303398314128375496443435904886779726243389061160244745959659878811958113876555953812465791596069069904759882053922159670419560751965380753362719346906529264481494037257119941679120467123107314202860997423712882518664654253658548487047287163608830638590379183224058350086549470284797896170118909321259162130797824230284384528812960477275972615431376939143800249094034858758471479039337763444703446500413229497575662400924812232947926185768195911025495184879387809490213558722507325501280181136093820124092404708187702589629181644477932005675678042634226494147418652669317204400163347326711940855429959208195636969094415617558878492862621277713797476631074531622471370673119754209670884372203739921059268665885985131477303850788821558967445826381511896715538064510132891503093400284031750229409562213358464012953546389106197785597084566157443609855325679399881627345691379958251531516458360513681990153487825274350731448048611598473728267605059611198236684539655177042981656996278156686842800910581674843640977456605282087430817100796400560365275243399158242979522469871352816343314869038955828226299800512531584085927072222642551115935251334070679334738618616612769710340966098072085401415169375268439823867202429062450847515545964676429692804292513843022761125496444360558791906803069753639626459085835969934638872393696164531186423339341799495692626399680393991698090013577761867391984295887316611853245702632142362006674528659880931316280770471133946500513338852719338917462994496478923937794880457348571673504161463045829829467228677098087676725848060176962255489602297316663270362651877216372267895091154980031465838707195005927549405131353044207482463373541041524321458199466315190732126734811495303805349048151009655771167810725522214460872952340478608599811544023582511069399255612826028972541025481244088958841507433549541458655655997580527169192010338272289411928909573873131979865587827193754842344432634248826436876347405318190927045426668234724141983248448081787729259728800774280506303951659852819310882953548420769876270162540535034408489230739182036220921558716023647709248268857112530068470949686458646147085382851476588407927938813301654379570845208237393210481337599793725821124662666894254694820276864994352870669982706322641172099229078393125188515131272032727429946478468588752302775211056305849576424156453514404606679143178894955280117732315659662110056557571007294790116091564666576265943042136109937122732684584445820472595703545874403221521992501004790414433209885919123006983610996431508979874352986595803499696817134387160163355588008621689586602176285671657966933071720834837243759789507758271718652601728390725681652842649354307840477977281264561639167693348461335181217879288384593907905773749628728657431658721470962649117075158850979052272309539250664298476034436195907483488056677264432754259683924500307522502528465170737372293437703785312626641121180749028462463349449651214331902097348967126207811501782593962290926700854072887967567754633611128838765285186955772062514574769238731570467094226676613654616913620655713653156084039040280355436322721884105401910498231413176724372175168911251614402026546373044705078365682294762316952546921428828279100806567840709914071056838512725928655379088563742227718875769726481600199250092177683631332403245160479187521901523940738531398450794227178770823100112241804310151358091371047142097147122754234284235224261288911419359129023039645748006956755652857616673873229847268052011997323605165756931380300882606527963878697794123483400748585517820843425917021022362921392389889560319265495287816141353482749176701269510919769913282668006208647634338035067014198098601687722487879774276560601923618643726449584023669045164162784794970888509731266025089050537820656497195549194975720053318814222623561949758600775761431453492089569968143146157247576438004791838510926777193917312575518388560936531686626855593577557685310953016992275782301706174995208511980898024275773098681052349407923607028297681527474049289877483655636107083790801590388015984291607971508542546092858972981257582003868177443387804517447157482269600291638021067728778816745751898475985068800504910248398164468664029242926758326497567772839772379824036656230642497060332924869934427462053862435136650256089997529841915897848344443311734365835511719801987218954075098328861724000965489311778042402644630563548887219888782435180835576310613031508100931971008824941084716421332768320592547018784541310898642131723249674026134593844271060205854978250320506173133451859162337078354000650939583302542304458708072929096742366539174410706496424185246486014765384459818397583404909060987142838336498897141172335466806907338554229693772814664097640613759103573018054998838945117930878968871509526424328141464590112829379540050007067647570833987694479955218130385502471568895134336290169720807487829404587741891435440982790437537512104837966090745477952841474233139285358660501660047631583928259772167799180648856439861238003757846938835352640037168179917632161743289052232128221438649569814031177261045149643505783719960397804802309041915088252518657261309673416982492891715366319194182575117714777112987082749307968321512212064413087422638221398851460250161745520129319981234201174118186353091977858735587735068546155530580327558526244910390543770746598631994308105887034003373600500963408291367849943726364354263240910234304906557039309265015506570180761299052455610427859485264910144698475653139333581009592972788136479506982748874161563335745665204920859387627789475597122526759928821324427515345949906229721389082116044839656287095922515421376347523082097298909703523674045464733767201630924991784955613686392288322686984549595447007211507453461462993462786165300966544498827435254519140129395971221971887814643021765119867311736752854730380814391325049486789790516844287839959602367327140303779595212974188620335279020297161974304640813925804977258762694191968868207633630319063385093838390563434058571740563430639759955236446164334668260050420370736529620970981278642897239632034084091663933570829070178382826319615966167337786757535687200328097243701097525770870227005956908520451471349493747175274611261105763030200634420798794597394702552502770194598710954280638593213660242296721851241586274377518372144079028681006543359275565824898963258900228464762680581240974258458870888905812418130118361070487735568605545665419442236309133475436177477779376234182944448081087649865704585416036381338737167165992703491464171369911919314928072740414255508346461705394463007105506304657078772727184224267214013568385073087870573178031613228936849525369002661586877703662848215097315477099676017647642986335331402839501026395093681184338534380618861561739431056501462716643792963550005029090723409359003092883353333533194747858426459583025416901610758417158572716716477704028026943204864583623644781384014311004429489957184082580655518113977820887281656027790806995284301929012570296814135442292885256252646975905911787040643333405834500093658656296225916425089653102291371053231722142211145600117528606049440836664032719741589023691174023298711849826303470986509508214318340802823458986783039301665696769776358877845500720301036256105702742769055606572169551980049799379288767511144004442232357059752068161672318525027217838668367439709288634258281581791603078000178977237798017818092032136222387216827965179560722856214120887894348766054424603840598206565832909359086267014443589443389876147961712552207475795711981371325578626259847628761346090773645633159316224107879360155952947714646762688098814607134493560807219603894556146689824532679678224347668431133803793030601765473141485537149764469900079346359106196704557745185025731165699883805635565488018215674714780353908968974728708983137349084706568668737054239867872891593792321326934188996278171140780073820791151076749568548378044584045722746000951690841881395917993212501403541106037399750336238864361015304031149540544558008592345456337740345875571253499467691181335009065617331794919609097185286269690358601373863152693307143107902764283704443421123157837697024607366824617120785811249028771382493808077043639350078712092533218952365755958752315914447206296022484926635294876874899535074549167961959216020044949026806901202617773948893777370394281485354969529248842166779490004794476381090777603753718167583213985346898476600836575883220413103599607517234391008817944464883672322978642760528279760910606442875606035320466521001358072997097127140665994865058476620592496050659733422237593821790104310584342156462680257976566964443119343732683179925025951456593781352421153554623390249402907707500702852682167688210251168245199216167365403364946846298712434102778513929607198366336382759275199564029618160051909043143443210655216591151273548681598123156982569523468679385181701176362481477695214353492430192294255473796051637981205361765947526032260451724496533490310899381604824143854118552988427425350174907240974367348533894436858246719542288933762312341861206339515492084600881205907157196668599920047212182294043305755333990816338539089700825320854293722344779862249893117151709135704197086116353125623450441361160851460232190541889142995376139810605215231801959704562706917976364084324779073759337926752313475038424087918715717510837978013492329511910901388505262710413904780924904576751644952597263036377313963674904858040059258864117591074516709744169517798048961418925894662285970539337855768136834688675845162393390750152288962139751411833456217315094815082829035601881721051115806163207656417167120335400568297583908383479861322308221192430258818356259715918648466198380095943191768644336365515800453103837562908493787873815913113057735114655873201445151429955439670759414660952076215442913060548400533250282593481068264718912768276503818821016229544653364211273603768907301329590063632399339600369999422560729607188808581454870497803359174568171752992933954882716041667821498011574386537374359378373171282821239622416989083471260350598057186587492452526603577234971993202475265293967833413603035285586397945527627396656143346053090583885865358025246266351742500990127801697031215302891941114862347348590086759136724298347956005000068290373535608910452937517319918349891289041530617012515895781591985500681030339843593240167551539896491689198033486219047478273203699275088224833288358009672691380136606983732024920228547801842418834158830458108041226586966723393429108380660438673646718162437615577736931024030121979350322775745678144438693791090163676009082633759483935985360976981072581246068125253861868276755222080254965457615634857509168658079974538432793892104125762239902764775155888617898098302127060287552523111769273691794213464874243814056727258035066854766172161669437811605772001542488501749538650469185128692404117722480453409419527243789256287371400568236809408809867404080556270921575976941038353141405560665510378034184396397489906941689655961631290626849294818859186235438394255513839790293576198903521548826495617929897063618946633353686371006606402791902623988346556671324631068122773821969109440567996083894974053973169274117469895287743331041863795916700820672349622187571782693381811326889748736220177375068514470884026457429361032358212928182855063162149694283535895944483978256233278718801565781565456353516037293320869399782935909779841505289031058486377465269249389324835109110165678059936930482599652293461289690980098089577689090205597227501336603240213470164644613109283251366162382711894415474971616655231158394196174785169651888774844951690422446699571399568141872103185127559345551411225704064652374616762069880855332147325002595872642837024610146007286833713882696449373912779041883976651925403282504791941277467913771724423737872252984577657900653435035069854202721941545452223721427722999702929639656070954298397230389378406306305820468912284264472412747924657472057481091867406361417165853427583605477509922898788813401997570752718199596502934504254573084408244272898776759346042411788818690091851390398548816470532628571213797242401569995576890082843292336744545297292234553114528001120067161588579630210284106514381774370701273839418547428118064591777205359729183538527808149190331889835979943283515025867961465027584182446963869660222397577153785177564552623888258652606429520846614060339571358201036745049958354257431081846900986553955842854400659147707250514103274860102298828954859694306595624541053834807681428963202736649669060381448762476110941706597502479348703226028409985311776415075804696999282214214569050953105718706799342129784148914448475435642115931515612607627837847425742707660105482154367524136195818410476305639325566470006980184135950121337898659419474435810015802982885516150803718529639887242823967847207513753116599108161671424416914928936657338045028344990726390872032123868442345058577597686426094500211258307209213972782866674488496894152352440530665334121670029923125324922345559262177088323934030644734848897599484975003818342884557550951758275538691073529327425247579238794948293458257252388518628741243857510025602082283731928378501405756473627972696547770811892195198493291487843236269649828364555703768643984292796046349068537661466527431423950647733491756647664977778366464922625260546009288807656568647579885298791485277501041812177778603657855043706098475076304931653334867121551130182605499646018629129642105298550680178695975627533707060880697176138502127470625956587403749680482986607926853847314614368917618479913793431525047174624736407636187920009713432154073251207387462791939357473692936557998495045109102884022629970916091459764049865736568595973373252477613454402702305837723057379192685031483385630992624367419665001089205264861689750269127463534421830891362204396277333660149838957712926921345409045809691068458060590822967490830509479453515652651518435910591974438750051040816406060415734848886575882041716633294672242686037289130335242825027895335211412622861515196372889520027397197515665780588495364192445016760752822820664501810163967810111622229276521599089182564577511733482283441729642223971155683196300312871801016343676208114687161623468341576565287806255736966014354161234315392535687855038497697223131202722228249028462496584915856492685546519955826371156197069995830202640624989989923415615201757205648795725295145756076155168610396723062964542704899830296791444257337583868659441347170398010192895787084175554058405247146228493900948641525097563463973778779147361655823204182975233585690122981440913481296904924212687990127204006590303450350863196189242322491074243759893882379880002818451839785661318277492539378918093511249339909423283039022876932277594013428672760138047688442594865248927233988645555315949091549452750426335422332287650338818068388000936701390227950476084716494211074094591041195239223408107948868733781091144413683847582508726095381409109485755827488141446562347417342702793961542187666178638126844751217397809445293526926746944880640717167101489201841596866440871819436697198250407882857724412557617135592739066731680720268813545647253340578375394850955528292701581751728209611608584217473056794512010439056069158400363805522574433910463479188173468478319355686335794014751338220093556201669860678817882974716789150228066614653649641901935194910978020718966688436964833466452513834909750542123821286200666791644260671538591412434420934435624710373117312660849729180994246833476522673442607075440078148871070624944652508024932690818338616691107137592500285424394906699914815892523706699989842336616708010458400446202955923944596144896739091849062754764157498551089975397262511363064930918902237937026617721256033910257356916607463386573363169433580942294556780515459358391834177941292264503643138932274617798908070455303990188877366313969750114295603554711756283699107378343652551537863090187425972814445034224501002615725441361089013081343732542523645372918133354838696808613930995563924334706462716870366076461668926347476150829587552164516581570633391003558809553647824185671826096354658678220343799143146963348809150941630731015545151823719628507520672798476326183219305623425064751576711638469143093682829820771093467047454356673138015296204197565106336313665467688079239444635223583049466274540482020626950303398939802392113541414122124745599536071858723146322908023133609712152832270604425999116082972879125238383036414256611291261964079620828992751391640524220115046299437490089089941975725571905545298348306787829966896030140529310189447731727154178324559366969500593529190295831859236939627128855072691955373561292021656321836651314470471068074957908439127249318167221383319279371947051391433606191161623422335481352500790973728622761288491314858799235514687658923760521685403297670410107912031867803692146253448270888435504643943981120556382300655846886767972266271327914554945076916920892359880941638673119232224274465397205940183919139553424316310437337965729907127614939986999107163295884437633381052964390268199435265538051462408370461111285867684743804509139567596174633638931352041465230637988463646840771394302778945993997665977435132753343129409278010007745509890807595762199250172369821319548512017477644268655252329611834624043101587825987395053387707003683975447082498042767076740765386949296073223904077735608144845605158707887462054735883182241259758263979688756328941541546120723193695501279122301668990605107008293750534904427734593076527900953330879468411740606997592759561249454245726371120843337331470110999797474444457917048701919272593682099059580572746203331308552913295813298039458497940873485402644827992961647775370028268782861687390855347561795242727764797525860084985407743291732383434801439823882295830898024766770217835943688873754408686359728219724113400953936765213576113446895996877196377375984154047459656513028336464050209389567922507366470371205890835902549815764253758728162836716218555278707817651750598371102093099426401028402039689672239365247102240319970614759147951151288714685238915731787285697836151647723206545796425991317303551673240438612929976126500514223985466174707613505284896813083637454708856808236251516795044996806908835782670257674845583515197798365860424857613745868476078409685889201784218426148118041173587381886938209581257508796904721992881609603589978322188316635660389861748577035581517509862968165740471365413591453559975711764631751453879228345696615001838262113102440156631850646953713788318581055368018759452045529386322005128512687665675304903181322428131107025708442651660125974649091494366261735836153106547959520504582911648589515015262290095586951993561787638456075719628518128175398678035504746231770334487537372563443700189141568947599152187496269627745740409376156441146067436032969803597304139182150627723463958397981466668772272381774579887408212326202807735509190886848143433714287646966555887492865134754171722833904663776557347704730902820536535162454013961426146878100190307460406884978136029291554125203555972154898497427754371791200158261569767670860264408652053729009427130025761653150318960762220314798746567154433692649796842475225719092447102684388517872314316062778625560678035100898095996587763942785454900101520669771069993463030260668302327923594050848796579893426745804799569343061947788860257067961133734982357693434302769345390069111199859853932446319352189158130945363573992554210254910407028249355362257639038462500158788071630974666687963971397730751674217931034472936702407763742235463568136134423416805660872852279095029892368482283391923190063240528585772185759196374132217011233392229357235622584274221304537590854331318222370398375647474625405697293943435851664529661514576478685916424489240619823944427984207072456927130078086401734900190306061240224485062220566810905427929621468241548611853868682988091052970644181864302386381361117244354621316184401365958235569475593146363375620628133012216239687453728940712805326207744183564507558779537012090968365529432551192479498623649013659936493337293080185661187877842772238691029373361475321347731138985382956476461160190417507566470307361879877369080770409858167780894460186724627175697490562146783999755656727571982465785389625477391214848003805012823596119979028544230997552388015021385838372641654030662815489586225449726893406919120508790050923792273674773916401524487036608059014243219018872098474058325946097740408686610927103704515289645898155777589644364169725681631993316354704740911897075231363541212401292713314901419586987688619221841397318078340217071943827466456745602913012172235729665545896233153733549332640100335262695051761590436094399874403443251429922349017023486179934215606212722299344596845835574540075594809824846562487963402795444944614231450871043188823946875910292669491849795309828167980163568670288152960976227841837198042200088603213267487392431799618023022638158710098992431057439289374011938190789094292837963862556181289529810637983788615941483719853029576364581391577685790382271901314047354457443495769862652988183755337277261967759229722675517826094596556399510294145622652991461186256963073950749711718508204373041637106758096542081234661559098422849383977023597601015823510145555197650521857002865362912538682400158201502919353246152045405865967832071474897659828340593332910391688029777037588390149261760825954028352281084474406116221179020289580243720482369746172144626200765176008347872260393485963386950829036077796633079014026608291022628913317006389236408840337280106271411844245634614148619949619001848402129193612226912148482160464907141754420069092174169694125471149100432390098079718948968004604882269775733707608135703707673984052159936142782080787618766425236842775783704963343520055427165521501546839069796621192503742416314845702701200422345770232337217211770522195751530468718145118730423399487187478486490713563678085102997154353777887018758452031704638937053570529979561348148493882795505219270752229863795362053464390373027818575538679752001997955980141454066228288906591436082493657581214282552282000560894315712430347900926911532566191933000685124361068269856334938436089108930021483428524242138703509161090352990214774967350722756184039572341353393785028618968222195956951210551919970663120076316647628531458634577154720203855412181785395245431057621077237248082416994242464063692057388388688906948211290179843877444380783024474881038702052240114487520482206993032332945963201789259594339638447077834882946461922269007633860064530080939895816409673890517905920669058334096648580943988906677009359323511312642846365605847059217715091896246461451138807167689823875378716442375224414804439679524760491977090774719615760871125871878331337706526872769574659233702314941767684972572090826640544795510781579070934923789942137964978029844361309608939836798218818725759961973448517094815640483569301072690921346664514255127480938531755361040972294199283372280529072695032815364058516155866602864086712246155915992967715369510960679163873806113655268375063478029091934462731553973789479617649750109626107226176967821811818765412070225063130647681780753190630989922275162379798045060587510625279908571819077539568708860331668428142984096285818962850015223764449759014163132126177882104245690765070947732461735440648994560886353279017500232647091748625455978075472425004357151275248841091828121055038624247030848468072115630175645133764943244439428675180440917468595659057736422101857150819132346919450995087754786942664220536172837249448091247298909586501449375971601796871903737289991323327579473449640881959151114277232544419290197975033003659121612963049465242606294802021641411242394086462897078138346895504430212508992965012263343554558552811049392423545262811512018629967938679793374032783026953664158260036388139359689098592714417762494173990910371275369326564433208150246219802331466117498917296617400423907512091066504985182288730820169495837119818067933700873899518353417872696025047143110579730024145312652606726108933941224078643861483150164929292452081107434584330056427935306749295971556106383479797843417526187284637114217342455916222555903343567616578797902795612844934997999464348345416581023904092034655264726780443920496964314524958007288612247385418459004135359178929455773334972716039642936299586231911382268261919783702351169161939958247497336272618838958842823421206589539492258760862124951380179413561912071662273881772672399842928648810706829105886472150069676983458712211316322919637072035287569918319549639388238607676255029877920936531567698276530977469714000499055248062948856669970529023127754269043959698694903020365692913089787642065557770340050858157037260033816089710349763542549471284548338910651327806281839710000908252484274907356085622209662119691852899062658224560533536336605781303467485566855024175331991027192134047465759724836106920972074944865013488281203695898354402105696133354087922388943994934887570337008305705497353067534317751200056365553514036211947457473580007131345969629379882614558082656667129462003885819434243452212728856552882602808310085014060500328578435660176194531231424773768671238320912696968460487786800484833798462905996676223571647823566727546198620195476879638847533742462832325148105423407982653077449238909647145408152868386918373129981762494525853958705411988256089584564389416221927281472082444391564530138335130527280611507660896749234931881559932380666552827051202238477416633179908740429852052530278265647985988653623262382242274449593866453897731936379421739589010535012735530156188551289720389072205031894279660612046135267997709009413972565293849318324083164697201683928711158985181991555006063290658122851303121847714887472690983540017562842657273090230961974846808294616892066251511927060279883852538652154577034179037410741636085566055175157980661447304742837692099284330406073367482593546955339193086311464240823325219747834733372884846915003531698430555048141472632044201495335490198245391281260664374998676280592358778416706292261211529247042291965815883891566083772498168035896384101355828790589522783137243734598143942294320363666876202326819203837400568256717485065863946324136492998886939091935587925687689680883741112811354918725675350894856367513359320762372988549954827710533449929613184391623739929245537506878906905836591078965870419707007864126575691676253320352913935259651171827757846638706877859852826284051216357484239752514021333553889729436931448922384693445112292842155363890647602908926489943163649349707578626076691503165384567761644562043124068811752706460515268448880519323277645103975636462270774329753160049108343978678763504547612856577632077718035685205217159053264403976569242667330216255312272495248054534253899942496957477536880599465721288401644556075715813334940837208311418188136651533534379837666843820299747901230339136595109034083016827470136760749459574220790450397060376685551867343045675777357108561061806092938925913396378994641209527074225397072333939017322640011157645644180738266027455461501322662035877943357567493908748222798755736358434786354050616841759170593906838448083229683912071705279375489311973081953835590119733001018256623380205254143007921010708698986865018159302856542888256141712248786852953651959739704675805083151090707959843706273401562498775012550897218726362932254783109259035192261414120366441591137568210909161403588499609926588503152854349426781132237535988840795443410909583945368383793091992247492580318617651628371185200315837891244596640539214031288826559172115145717075836141124736870891264727835675168352178819658189708632005476016442237237255163789532236517300887529368892336397405540946804121481086184151101126481153132038871653016442743570999210088095874312726537595033019098169233464789842767341962906716284161856924015320638377945000389195951549737791233340998854559881920899887613513850809577635222764529595165430702885681510496938306686721740218411356988124399114273096274915533745462218939468530254134441047786286888250840236813690310535057842615735299216222405333637486928203000098822284353969701379466866353511489068361501001576781631189622707912999297798557441372740225179963320074899333174563170238135848556558619442447312403706736141559080199234490507605684196906533499197374095960104576668328297669716353806728943608683561907330115710252745924345320296092922001746848540671421014266431428000837565505060959553533503888527793962852391393137092742213239748729377666422507438693862546697280372907610948533652772700562858725646329457272788395605658806734910059754524542804012849727390397163367340480882280212780633349831509889606153147957999834793921242170270366913638763875158891427325125862130808221717143570076010746707014685934802224955091607262604811876349409495182585880370842286994215446041751458055860567317496112888891588468011921492490497692457064225932997112376214239112493099285010095471201152473784235962317521361796259361188628885038009855376852711968511524133318472551264622052608255095761995418806580182738471056586350246015042591667982348920059149821186994798805463478571633564981494805330148413061769448889871274645642779801700611172845854729017866113873597330732834719283966739224889359948296333943069408796135372617889398955357324143602960286814160449570829146055159644640668906512057176159002309509207463008465839334407232737075836992350664323178557003838179738275384703774400519222084059778645102184053235001045480832811964634235631479895207420858207720064732190265857685496268179334608505959787793636557126135479590614419560031908067735937390749809461906907786028733606009323182739480892416929951198746982389500810908864994835039003992393753847839341201967262598892807424034239552538927846205281728972989892624071991834174350874361816360359633379151501523507329796086668115587333514544974657131146012500082760448552862589026610390050287387510548689104346560722110670921214206367647352735510421446624071495135208472313538441294311210871136042129453165129072459751437079480483937027665011062185497153079693631628881480637373248403489508133129203061299353743964454686310998116188991365630267413688621247568482345744860119825518042393595742971510245571726360688102182570154715276234025473869302473289045444385147342071666212623902778740932637479235627434109422588400478115234780384642589712127581950397620310348889912659533054633180935869189933678191674247463003750013214294043882971415172613943531420860443030777846043407500894088601207377062089278386501866739951037766072279585314280512497595342425706953371476459858081948032196738328659824530899213771971931879240440997936147905226133668503071135611755808779608939177572864344855239890182166859276907382305737655700374132553444974311095167393427865969097134713322267920518394705943109277728906968515969456061217003948708843014216380975217917069987105327398151462863608014770475793634322604782580689046317240101859543777691674911864772003133898079127732793732100958372829022622622965308104495618583763793266784922404131698424629959158837566434670863557875771508362453608267814128201629896115578296270554283740865319290022794365840306470094101945318286122897123424177410410285919496772563088638062361178785944727586273061506217136232556768970746986271619718564768942792831417375142984156624572039187251009584125515862951134447699140001214888974715779159323743654925722358512150178331453355574211022383221319386680194052831830636485390784028109208442189482187872608980064472189454502159751014250628610676189759558782344188678251049771117936326939628669759727866745271953928840650494768031457820363380668273213513926100113351986871573952055027997025621969583605461348298421064308414373561099149400104033180534490215069397589325600610832081204363045077157106792518970787596988821342906891612401375050488375025710031473561550060450591174638302624730094255155828944170936730345155444659523717286086506462499500858735966604976174515009460093696282502865003886024031210659492417964995021195288841955763281226115460289112567052883784786135191869046127436161957872114272251108758411418132128136386456778234902527630560881319548705472736112394435880890307152297232460902064468692463268199571075583152277369057573678298814931555229900293199110292247165443583048004190864275110787723999848639066919239223455418972779399233068489662876167191118372354328260091787637969139183797563723372635821887671094032200656629664398066789308114883211083366683222853160929992136239904865565772889770339521937691135972247322915673111859813040389305895225099017500116220758998100706071804966607658245027373903680203044808680345075101407396141827434840637234070369979751457760670456756029954918685065853528210801769330131497895635863319007892428510016387432090811750381201861240155070176662362097113826728639874302438336356321004873593225526781777844666593536510813438265603463894659245394714576121398232468149954153517182860502970875222142165831285213150433993680919133452706977950723695195965386858079143596258553423825785358073741640311623867193875515059403695827678822605930990571088900756736593282565691192599943119663008228764404829213414040210354188144379064676090976014969673083872143244025059640057961574314254925914181314598714246277690253264953192093233839883704641489645076191484805271611127144060487337488465200968442673397706936788459964019223683088656740468112907158247230569118852755587854715602312520793127341940657281352725152438511597923136259567316529594526384838429832172200695006371523014003309177811583372832300886354884906673947953324961924081540047682541439331822576949530836944642714868188753036358869799555880878346169797587532960427238756989098762309868152652504212437500732981327016847857085136921447567899262039966682252106177024087533768930715389346431493793095743227761965963894994843543331653342725722239588116354062667246887538499589296424975766197320231012327858704243904537217905181730829656003722262783955259189419982621976147082136397348916073937932581533300429272168881116959959247368043463929129015573454194187501306173088916564753472150185598657809835288255176599836478689405774643919871184331250783822078328714905662491066852132993338424542473676649455418607198717869736094454944050213795423683946226905257866845760690362180442654596529788774010618008794794256005403530407204391627836910838149306580523141999250571090293813806755447892954108562727280760065550864037016422159528518079926004533520187949281575268090955173935278747394007797161273897097998390430663258842029578663728734189820605062607918249405596709657615149980202268098443713580307350361233851884417393704135604925403128896869167966707437358756172743321277915256208120668074828959705377496515920352368311433824788969036992709949534636049455283799485754849740772104997739810673428348278861754371242687673377297967224544367321161947556910428310454971125203065147424399496302145572404543669891365647069529926264289825622109366636456030561342600164775124667850201171592743751903334140873294873971440423707444444310192027022248862991321943542824282783584674436324435425246679705637452180073615089415660623430703451021273590287522855171225163638806777276480489206192591247100749197562452768026723452993584964085459988982298792809595780535770089796646374685475333735984796440657279707027258256935093153789415301042676889048958910499238592126576797092187423077497471235620286622981533825110089503624505897763047044045171467983548000435768718169442452752605829757563472856729067600155956690805874936315611775681107573775607562241173008646019970903373097835984116068561356892943219977362493972175513447267456019652324534320691313872741851080599319709416776458812662219319184471366386715311298462611274555382790206975455319739711777420167550759932898773883675805347075631163344334642407660563203699031127820023595342112039153417616966989192020637873611624516160984179441499814433698388719103676545014299767026651564229468372618114744658448373205721145204914510258256885071628689811978789951124234949495726295692814948227025059970252350470936333184424906703955231838948406442746007712067526365635669700985904208361242879243546148201056610864834485743113616693950078206021842785309549551042597173669881151442541222355271326044572219326360406474862063296089933505170505428622559785624668743848702141207692133980963006597476283189636423687562524651295667620038901917850474426767116147354147966025400846225367587866327860497365673421885330963900475049578207785566753072511557005150825735489830685112721111306473670996531428196983264503594988191916786936017869517928859192601285445088564784208517816370358214345794124429577740165970789016281709700318203624623002694446654957017702925841233083145945156892998489411398155049538757622868872914037952913617130498667203085653766976139096372850339834094010607588038276806734059207728995189878705431882631997065676008096656689372354802237440492583986804181101955216183591375940122809532700011865177856628684984828332643563954119866372277132480968932227907968419652524529096463976130150312