Path: blob/master/souper_strong_primes/new_c.txt
650 views
1511790634550212178354053033720179087429933585336656839939940206220005349800151832673907703589041722719588625259669010738460317181009058356921707585673135698885354713232641731802466620125895303545272952334707143419636451759226797860434717136458484814282421436361020514585546271326775509635452029369494626623894654086586926200074292389498500384872102204500301141289483547376096144196858945559146575538783293511147639987578336967417100558239191099337478726328322985330257516495513124848258106605318791393469446535746234882673402719053491114022974294749884597113252207456685991425798237798263208984270915926421028109402109644982564171330683526092613332766455019456448024243966432353271528558046248686582292122824836802232366254527618254497589550756202826370669747952699899190142202189275911423585555343848893312288287631406659485154158953939685322615224333333577461785782366080718190275803260199204170521923311459512682690098775045899171591010620023046814181888131661638275868130857106154942994422952767232087238761517571811532999612364544984512798039881892699612001531856912439762270286910296774154424331459691432040838085436248351806689865892341874347627769659734642876753903406343261462788192654772960210624626881568924132390613183679226713266086534754405158702461350064226937049662423578829962218926644535882066543039412136554816538055031444365410702453906452961544312942328203682457531947056376657611369074874424950810971277164709417672986285565347044498603406380895723493524783515947513632594360996351154054669648449989921357022901477788825343202966438865320301850491293524754317889304045396425297621954326540134355465702295893827017307979288679472924013372004303877840624993062397639619288329684518963516325996940486211377473119118010901604588805471896653678946572277693013321214517044000668483053512909692347377910631296420951513800894481000153415040195228055417269859122176986964042746434719191157655942012027357459809033621362732044493636137369463683465310888236548516751523230875030542285034100833569028297422836394406612298644819429115075545534841524791618669456167052661201625844961187233416834467708289880868958671134295763893746495387416704087109218511778118765150056588746167130695041673199381760662246430442787328051758847130451561590016883371041869905668023910245405747823009224540323047395658646403488888001251578073302593557152144998206243486502965672426304345464276286594429277668674408149921530055955785714668306612220976834026483482361425061360024555206351190823106237084638371874323363601066165100026555907951026431890126664513620090823368677439768807009235207171662111795210247599992782763343451660506873741284656354974007792326170260613342626807067966694335063232973451498880409272416480035980575188973842954056892049343544204158081374801058855075286127041052348744184225377050232209744964963537590361815724196401090954129192383634476410556933638225226797444771866519419805948475155114178121697876610428054890113192589644921838159373456837255791633658137069997636653017332971463521678276843635918856822475177800495009535979535079080045995056153789866393880858016861741759811774035717152469676519716593334608291856958711801835279787550739590406343576453608568581330235333150832809549515057640746400045172349599098445837497600352204600894395567243870628369018847257850079032736059792512732395330406269494799134008046666759837806004030981641555882892644738292017846704978275848131287530133136515820975397281858416836708753245908505051289655790930785168961240653251528883468562676791219737579607894853095947514889821330189967386126697781798389127147000696236957262052877201798618122604411587334508358354233443605140452782035622027271666200072740698134678705171134154091865561903794432687598457879347090121891760599066737593633646130974353667802471740856762413033527849769931662465290135902444651771890755540860669783023831237753977952806823571049246863947593642253055184746127790571737020763919527196074203350983054019766232604924072764845663994050284873676752221989040518493116711623538756709942014655050792413665953169186880838867065481736012399903502284951234470509733559412962778176628258526946314426857038601004973593069901862280068031197748918629084468943979698216200441817654426352429328304668412796044679401312102369366836130270737531584874640589367035565296756117441384300918134805060369665174257143698040843782558786218062822307870402624778939476158239470163169144484254157962752446150120194058072210587366065112419851386194532067276908318825893579793633731474021085054270361447991582126230397601773985941965634558130956721493636716875180394356322581451201434966822286831379373435045772793277275848368278366102691099553896034239141635599304140024995372402140021933582370681926988933646048768308945600396043416546346823015217363322654149095100971416224862895606865338980037484275407598751041335283353671666697173294704189328118601015272568840353394397791546848659124795205026855030231221399752705547409922312799080663220789680422945919929738413695994546323959755093123872580562067772568174451687545572797847663755978211768990753465028357527587903274576421816349159625160692230567398821667546117865509872035106457677698584878260397614165451150081524104582235972722408961639834620435704244863484547563115104614967295808976191969965105591895004700664208289581200270639470822520196118171395366614155183949293530577210869439238707330387024584918843932176653478640130263939171188780105246410870907326238490090286475013592685399577334280566850346366372007571904030576833187413410529413946843422420237784344460659568298436300039775525772684963718236139891085904538269075157789916858736092966916573409077074476218575821844381064298407562906534821425574509872002384459520344967662074121048128098218372961130619272306939094516763979079820965112433509157867965618361601377102173454565857767521876049897168601252222310601120791533694021438895090599159681832804730552383537222675025936340857119736012744744847375165436301314903127913714155018647290860895165332607105133252397158036077349412852556658032271897130147525869178423667382563876993989401798318939383640072487217753765916860651264002277851850246114923782460586989846508853877330354422310840573854881719304185518591372064825102186020485993760884449595109340264311695156516220105762019085980649534908566855971731129875852697053408392084706125491108486134195867275375077224305609862312377322978015025430121158774824015193603488491269217576737667659890946876604060830503030450841647243921359807132247429844281162964156415115279083624083436984398499873470731133295889636101648224815431152942741116242319138412266394545121091380852906420743475644522373402575951301871119609127353272073856610299402688925080739302533496171174515151754693388644213098899840697454021261799436083914307533718618691228932609917656242572812480445559435367679381291669882486462271275170327315687202477639464935845022033586700903173798778661288463576242351957740472332549192461658686533486864068916623964078149042237969133104481200638016441321134960997375973671154941102853006412733791758549671712301063087988476059264745398625362288063784474527506347053957144338566188194908961516130938300524312869309541344267457660162545722200420518178715047366388170419289395230761375792163639089112398475328306836035535337026013888266595589339925057961857453882550753231595118484143289469615106445557430768364991627827961890386862569448019009237757574698832596996125458831536710187374394453059956016031918602679219595981942111844869063878535471659890486152719720678165639381884236514776964787443346975525179772050295133921727075940690112003571276659960860255167227945412686961292744277693412191353812999486140170562132739989228255642291826037323695608660810815633694989425063314123858560159806258810884203773463115068789570807946701838658086271571758477284268309750107025477521969932143168830437159382137748585401923684037543965280447842578687865534454227652759885820659772154930286807580378099382221241591239075758191960135183505427917867272750321202585408497569804205027431884447665674068911502702208251516704105694712859085821668731794961049740029380341231065392658552463116845508779135825393829376770102986558404133915337279911523734064230139739820070606498129250935069410480726752229476543048958846123730366382420677345372842581699303527942889091427226258762696023288059877695743944812468748921689329291349318401565634768469224917832714478982436518273154355647207624933402067313623484242227296456810371210667349063181006029307641259121657098265727620641669042985063642943253301590688514240355100795889123442624367970323842694098090283941609197187933619568706392488211575503808485153702042561014155364954801043186801705574049530479121346389678845569514259089048504829560482217991034623986219902225928539958645832991927158084336987780241192569512670795250898478175182439013303220792673115216843412161171543528482990803004939744801203140372046113692978664963799211002468588957764068977964917387837978455218238569342923648891770660730380607715076807084283826105057006370618761823356630873122219917962669977664263549832401314750969360250781909167387746929425321817801894111231964156683346768513945668391505822755058362858584691727177094036426569671767431874931526616551148645968740105798836077785063222597681490844983767030893011037560443106089006743631173756486717093718542248918059365341606586803215414456041398314619570073893728368147528012341707505120016937902250144907532048072215889218914085716339838504736002127194836006180539709627701920305019465144478047916970327434187191755621694439242478909783966886238534966625272642080172327759159072595805280294052905011846255642127574093157766567690497775863284517126336635891880991926207020227940424611962318458097822264629865839096850911200587880424563280445783848332192540116257663272589875955601311595030431975439388500341839807742309703170162601778976096789059253135247619338678835353156087951486108246963610227839085799447019814664860130046636275698986713902659194979289351097540525720423526285381076568690662985116632995851811568669444286756245530631468249966971704615328655359278896967572667514326766210052272564183163106277194326893858325170500360098743596074795580653848183631378958868894745746875185044372400458459454638448957462832231118363686754649227077401095793779793106712151638303034204853886413757948333751081146381616389124960780908765794218993266313139234510812355563527696539777928438234419875382231218778861954531039924745948476809666529676672566168063098103908443589933114660939352399072817401741612089539503485432230237241475484297346225598397306735545016179556115843080033954369272439723652856528870336631526464560468426731362581856764916157831354511838430237429981602571488106063177214958101196946598081732499512451599357838435804822057280671508383763623851419644185119576678057542623119336781602821174089486177764431723402033269976535840332326512015771460906702988386857219592973015950198028454308718508532546004494360323657051368272704846980664054361403839351009386346473360689834554708207230283413034013952217689519901096761496562262433479772632494793165662112668574664982134848480842794887196548660734412041576681974546238446596301564345602326472083801944480777804861673416266986060423965894298471664776180636195580815127561219766550020947662522073389800568184024964342255014699384627324739552103566278158425502831642258587239461998552457876969034045932535935663914408344530785201078528216418414847141188304817555261164868324700951810944002024454315685189052611169054877022200445982127862443100677557014659682177087912052735147032704836014469588310436036503808305026549465552284815889568581844011330443003024931814952777378483418551321768874180786660921641869971713955148554815605958353276732288948165869938617673886169855924100284008344858414360361419307172063272721741567573746764408743807732804997340787384584264612942433865455600855996448181490137063848649310576042233537439364177231572465089124380701419091348602694527804253743701188897898077550966044558912312932007622236711081369367373950084169741409651673340214980802227535896120453554367048011197945857637698021762382063086168494966915069404305372465399775001272187908656840142436160992200595784267543994863474789753398304294440237120848846281336487660218355943888464847944275900297837237925304586424909772649948012292599582114121770936405054089049377474419616267942634849408214661731215604125564850340237636361100168129481609444759143721476712299866021898097933508305515392713032459020136604140766617278289849373687965816990857494683408114583124447684703741752473701572277795483943713541576490870682976499406334902172681821775144290075249477850426269253966181716185266385472554056813515844591663704135401746791560920536864944780202012712480594206777322306152033194074726511545735588717381797201010128849553068192750174691913523367226307907407560093210708295789036131076834109453754579712446426626214819619292217272777044683413718166713241811962039369356059760894614325010724124837338224910865688746290206748683294511014730525204717115424180220786717283388060394420834674341381682441193901744528550284038738599478430756626916392556631749002214345971952025655019193247663319715818683269024551530172090964397329450252065385166687115770088768141507974152746954126078248050133828268088856068786655465502721169712414740787274286857702528359817613357875572199802495593753922419641709140075251831235988833067442424882259398721182093205807804440142118527466700503778905532708876800751664307026457369410763396747540659535402017100854372459822732178039403732465912932704946462624379251461177374537561761067582007437804030548497525127831084091728245681206938292769966726463167518348412734714201870931596249041861471935207027497950421476818360202334743475548692709452014841972581553663298241419812149336325388683860961472139290956959071780087739766695675354843581301232195760377102629986017046091305379243091847402641740633210793505322231112018634133766077916906667738581869070586964167214001119255900238455961539059314704140427376516105288130836910760069154935451137334876792621433827531785341203229909494308180584930055978552665232949293408419069377764059112398472046230891084227741500369220118173139158986837086865619325647796615749856660324272546246351436033023364991999540315013932137551323854420300452057574806183261983878731641353645118725600510873645494030241414844200980526941421169483718603919858228252290000461215296031250568267203817310425221984232284599972349027095153197189706321957383060301966801420993719608207139586695153483322331686943714464377262153179133162683755538685403432709436154268772741666342647880020679831765415024350935464374301744289357377093256557575180023586225358944358394038920698610937687639742998561847247214976997807894859090680695200479461850347814175065272296415299888893507463424205086341196837694934297616300617542516937359960079413852608057159060245673833014347716652189177715035176345158558732104719580366725637982325497216409360644234462888890326614855027569901080123014458199164934589878165183987519380420574933030720886424403324290545809824059509679721718663803373945646333503404690215321577543379498573091612242676519057673115366406263252289207531732038729985180812750620918946328290719154333151335055186583611032981300645219839383799489135745924542494920548238928972944860414754001897080917258015072185031078097761049509580511643925992708787731746843683337979578399242237078003366210451954329898647763978455207284632548315535231850295433390176155055765644168654598102247546694026614827831518764705974974030278825428919728384805300791873451668717526781113607998696000863799523413054704198115712119113758845071971599982466152971202944484099310058824156274247356468130808684057226285908692117908965644712244457132942227712438246312767919162520007504520784126181275709607984824071721887027139123790877596838649820381379416692521673616076821714575052740305933369032090079891449899828165349487997796440265108903177951265228923419550812374199510487004734446463473640861808806523381589345922169240519594296662714621826215278256151114647817573711342633639457039751901897012422775463645361895293700985981343406593561154920840364909541979488338929127280775459950553450471656640139441207898863879001394611387740682929226238063935834426393603814563256603892630289813150607748202766248184438503547411973453351943805959603221751920120428197836659113019526904900550164775196656633269390872951774505530954729573187760691588824187898189638769740767691571439505929823065301352290839346094480006226156701944269086198131367910594410097371499394797280612360171113003783788471614438298518473756260667499806521237639727290037216094914384788811817453235285929122279741615097423502627504196187863766316361290726620150614317792022688320722488878792449247202041672162210420511327147862713718111273007225201517540919486828420154165873156595801710332048981972428029224475184893855217754336356216152583093780613166998128272700162601000597630895573435767229977375905288930952026469096851778430935545482699504477694769936569644014366464554503077037408792127905005384973508847087038313560951982738536280307068327641672349949053573613563996814494853931977679846703352670817390190676411907622656609476680650750416074789748031385329093635410167184376873753750993066581454928439351637519051545292561926257512637941066392927657551073925504911932425619641439751422712499630632517033658008571926452911573616839343097406924519251725890428673772175695077129619705156757379103403503415895872225702190711160901868156706382054356607963019821940244356882673812755126197496263584741289326508041876951998173035205227774764422596370811720795085064991785447384375521814598266796484974157206325432253749416522591853801390501229398513840667851734866695144612825677543182614486274297443508526242082770249954586039874854818230615274922678250436927960365064695847628278828410566320424713996860920923835525606826052733135159111730136349912164010596456079349249523752104860516046747807864713868402321767674842345409082329801225454098594375810291401267911457406051693342883686388931325430178266974010890725941251631144583912321088520721107448314490316076381213020882215966019949021735877061341433089655602523759751554276106093224551159728625376565433236343008881812146313778992017382371736304497535010595055360126488457539119236910277821350184766663299246447164712155623309681795729543132502298545732698798583078112367826729725897569921895399576962599907764439960633027555802886879960349100595347650577042150453260171548840311960989680357352198486653268587105684300855482981571624548305427592891359060398785296414602974976998910476147251447294206727874030249720010272918003143025934427837736644847372500483955773264354527219235413940959405296064907042581448866555068025622666773152251956770541635969031760504144396540992488405453855000603919554672194598717994677738431936614992451873269408306190804733143689152014072582604832401531474838073126728204965439279888068804934293702566500300682337766164002329825875854487847543770448842972042998575031260540216178246691446449625641496233604908198893154448214894467678513682051910174304341610447022311733848044517077372560669073288729657198784212731061300030952294760138917475601508843308735458224853000528178655252307833118672526399294150264524710150882644741998216332813809262986190808384762559027715284338712949150095221520599985812817410760832409543198205062193063221092776613598522867268651043132035112073694596171998652521290738512242760768027033512364186453921974295847060078102026676517393398018272466120362222576264974180789820965653791111175324657927843246533496293838521635711949680608506804018083832752523215113123420058233239731206407585242275967709075034717853901395171228181464627937167206488413409054668179312656938458654484110602271771696301110186320659958326070737755895183675682676438955838892655865420276040439672583680781368495258562781233324200414078423372907204122117332442021013190811187809472654698122301469012078745182277174875812320015186620042267173675970334158736569067919068314535275369284629492772000852654124838343237531918429065914267400851437333466210171202888593189673177704131038727603246560203389171160512089527213238718125872347455991723081076746676436879762313494429974954334280173048386690282803118148705072887500881031091242300021096198195100959505138989437157561243617026129382415408217934530030192838887680529134390235474151764164786522257626977881705882024530114150364845008849586196911850011963647848771822711786844863713153198225212541017823192210087082159613845114010434569753754199998040250306057014141198685020458210462241114955429179427813082813419330674941426995806773995974284252905616934200850191248457424896863066194601418496918479942643279976920765624479784712404893372917738788942960792738351891700959856894505566175601237764202527612407083099864320207032451840248970081393848591433906890227022878751207852982609119837204517164811444215813586039791047749168528112858804851749939731580985219448454089236361642765052653759704214647033464918894835042162783641387779940053999228510310282791790517316800754855736291450761498636056453374747234346234657736667924069837575197727641237314074372942538183878565963529198486775688533137721419741214103690963421122622469252685778223015266218766242876650577970391913795946447022532005834197743822776040904408532347199358555800061055620888658564218601024284066762374093178991470922012734066288439006005379798585573899859281011939957980772999175102563366137121538203740343162887118303078660955813893559318010141995068499052352544673164802140867006133834829050046804016567009100090449149298591711556258388125242299040444778552150079223775936323134082956403609577134112287713650730559184746014441430469878989321289886093517152414049561244265813685074059972102534839725378111199299651907676615622548329497821196732762560285625417581541665910337277213536519464528973966855884415622519516665457112851869046671895858069849534706812595778954989149212054827263146435895017405592360319672749192366150980590019489415141196104991681441157633020418130409835943968150209927455023070732440103135986323768610203972836064074457528955047145396259451639231889284179101999717000007140757701744134755141134703191429204518868933544314459902265022726255738872663645139056829089158684635104940852015595798674688617667464901498819613367443748683432744933596720276219201562126509203211395539727497833876682637194474988758520260459561759748749824446384521535682535365155050850365017437205318541729378472530832469845673417723220145065781058577673021773889497179563649167132176116969145112179173945108157219744171544574245381687042024493861243099966263308419039792098061319840366228987983185028465941752227982793907531708348918515132370093932872946751870283934034958421593035690336187647884293909528510961441474405913597332425514571070845936688392196134434985588257981298171083161741758538418506282851651701345896023105007126740773902527004171992467626108044672478437947126701706025428148486349732501218537726404363811988840072710521810391518120008218125694283750204978809641596735716898718140243823206675778956349516420492958636499278431263717550253826871297773248159497760433025352327371068655879815541286777917435152039668056876149879755957674593745165927933138115818773602957654389118210160866256488007866490088213348987226437781331641703173283061614338194676442881597309979941725711583270288798638700656293490669467728849637634697699920075886452481823853731923676333016063902861022656586673526093923516473376061727963876003766635238409614674177745910647134729335903757226448900714667054609601030165830373557396493857857601819109476196105187636353403021318279338155861312351885985173450222774307282033933328069202524151842598344568805858460952344209180363241058146612354702945403759336117852864690121359037529595258299484812693693417904543211326150966172016964655376918970710273989010753014315669297587196776432688928769004933513759642698445303738158219508869409132327447555557403012576206573570184575759803045503119919620507465100101553511505892619946081293751777879674646904134310218683578249991295312202609752896323198383524353853145010423372445996821029694797877651552305601412743857069433650108245520655240920984686384533892302781837894956200145497107070519019725302213307852502463463305533020596640511412318754147919035984093190619455726939554810236459195579378529706987851222908029981395912275455094253337686479502421238355551809189985940573189922061555977240465661381013228489724541597833761965532032753709353933860559924997632268108534357721273452084392024109035400330113896909308400384906689098711995667315994589908668775438712236611985754673188505158581746991560075727595865403179228299293766087935147369563935177352263190856881890348660449435287906290280555159759534228644529832261874455502938551919495703231830330223874713658458993167914352915466295398935797378280793431919496457872322008220586675018021502380731077088002504423721890397141508984719190998882439964846983100795780106566862882219845133354667031437118626346405645772798495421357138381738008629652402231155227479417355635010801509484191848768573920357277900257454550052615059949128245673455974314758723371799442238862863613458602050622409828643493492460911336653706148709046297580146033325658818672530321465805464070522688842856608320825642399857931105341834027405460953471269377365651696879968295900413319481146552836379620494003124914707334244823633576490621435165326013967504619751190583822657923642139157799024239723843347509581742087038549529472148759794965225632665676484708208065076871291959641424932202820199863336120295389018266580164603341695657494556800411057307169208122563507798276736973970559525602692167953834309357102324455660972681157071859777384472143372817545835356149433899162131961788142810696944833983430147808021932026573723903905382795088367830566556498318450007466328572072470952875910301164890645004165869947756347473044918200410639487793613259756297909446960246675144400929402163587128402713258784418808256999510053849918466727118850902820411663336542396410456948278339763430093190062782553736876980557396721369737446423098676676918569495101740749035216676279126702173761184743137493714543080932189016236304829657529550333306925207226178416322025018706958312387767785886723167054222889358002925822669180965573442720795160387505050005336703136226066328277776036054335068903224197771424065385925030210183502761292799230398956586906364525369516270893938717161205077954521392168857400182221355572011074249490924841698573573601286962593433968299532339114257586385674411058634187215214502592256968011033320032733933574302034028649260430538511536760385068073106935648961771449421780495051423559293966606141445015263884467173949406894221636531110968489578555788759930372827435700781893812085655098720022094215243895822322978874342186138531600915414480621285603270572959852840815305430821631082450276622962144610390837948140179315769801874468982895490923492747121223941624573543689877019593226004853961001231233775114102778874570243803828585737890932826920030218378475918554417367505221875251389815856065696856793558743518590213979482118578358602503886205093452827775695559254077377185215524449785876644057169849564180138065391220703448582427322126104341162361345605064400246769881012958258350995014152532944296826723748799440124856335489947055274192539764155630316957527822315504247409081775737028842638099291328503736467569597112404983639880214359863924780515337641722583248414089516197917101018345130284056612966836949259667369969677691169434849122532690929157205617373338317093803602994942595306719018918236515114097958095070469788592847394051780029862821439922045697396715836088054128409695137935690366522449620734792303849415287667231411810513194942438378827964366733041466632389302646277152358605261472562398976190531731281495857083028774398206970309030703587953527599358554202794901079587992570838609743528659028669907716094800288586545277560608802909545533780599688052444609919045728850834020133375193019623589853843351291606532354438197191079383245809281933759033312806955962888379169431769721946148673275059796302417106172632217440659065026623899531185994593024903537249666663914178212610392269106841912906887218599523233006587040294650327557294443572183738834311981326002897161534074495126471608121658951450552555240312375704891691963857840609529251492418716538729848244695673812884262325615358546006624214243947924232815474846849400632045028231074103132695835804524669643942556712508321721402662025648652694257151694804468361184643745975283289859321724408239870849081629372949967109067550543106599432268285904442022596206390963845250367614086395753119119533216046538299554982162927537461984842722781532807520420888514344636798620832233209431700815232000601979455433623555477264267660796763910921093534069723564102823896606086399931990174344589843873605468899535790012476996773690086178685572617490103265426770187653091525464249264595098371385731027094555201701566577786870198029447657201257715111145658997921695500933896794193211731563656519477874853594720933395010235468747889175429390782409094889328964435708911961088732540767149123072667739181674494032270635593552848334764546937180108255693190179814136043501440211343951319511041896136457918382948260404757474407203820174161275583901594091655069680475059733255719699202965438634185094203535730306801294584716434209449399252940379049109574208118894215232425093765144325278640211255657020317360336075985207442249920637849091719551046661972333923669364208960144292651964200887450266896089398256100211243953153657618264153387114715187033515692754093711905876913086033713414709246116908928575694564048981413191428900571943873153654083289946574289827286376526545981381626870540123215643659328287749361309259932046856292861100020654212980521085842494726016428647154095850671038404186612421028182770817895599252762857233887071628017962090461509063417574255709527643682684896410382281419499831560821888697317061613646012187607461274972576944324793822576326140033918017847751974335171679191392545991199682613714792508292711199203862438438707229027488692555289515060768517344035251123791687146531142183166047805411800859500097927216108434560838450165840626473395071985200631005342833503496772667496261442792493892652837418219998330686200212949239039140958157695628210600458229696050233714556277544980936168344404490145427787036125039119928235737484854524241008185285242349748320599385289431733077756090840977108786527994330387448870612725906044072631585268885388762248720494281665917855468993272157407242181840450393554345535123934224392732719025130736702704872780654496669644225875380865259243602319187647895690545220098556258392642451132730807760132830067843595440424098658162978684466901388251785995890922955502118058140244778326533360674484418838007031434005288459506011279499747498551066196992566809868606435273033749641750373591298753770058495161843697203974289694179127235583593132193900755134947076564331131764560129620214711661828988465171685572198998781539500984007293261306032730778771569378173904500566638666065892375202528101550388274872559860664708926442360844559815631518175860873265182699949917931840951178371405549291758038694495344604890900103871091933868598235473487190180802407935658984288784886828174263102553646915605332947986849303852009461426697847865137547739546838815350928303575861393781545551674822119673428714745499826518704011675904089359354102401291550099841977841221884410265125977791395259066772392484558585768707440460210514363198189518998797869811083589553932060675127315811302053533946014669055591654425812502323226483402088508536580004623928169636351981756486291361550881101646017524236704350321827596456231719441474672933244734017589505026955227036113013791196460743108049122473697288786094742490989345240318836089284585124388984690542748373969315157552163752381622244280470285193990457203442530834124272226755050234451103696877851641019432658503575693344436779335118126470225352107976209617197764865998299019041662081098114655429980472910450452071326146475194842163358034497023684640044896359641337495470032799826588428351064903506733331879416207527514609230758373284271011705183517318353088352917224414893267261355389880865456836908731548356756803276818954435988464779686811721845577023886503047134620864073721460094329978029063279137698861901473142229530987380629913956450414418865949603878001571220740675250424388340105779594585437640613407699855496635116804160718394294647135939418154822340170946745205653479330673010989676847828326505320842887404176766649509559790860754336813242116599161559980393283565483797814843612719324190759082261344160930201548746596396538604194397154826452813940928417879407405387994950119948765601464484947934113900498178216140664962927928268834909534672627187839314951787362439303202970335583350596129726803891627945134920087350045970804879834608895084038462858143160895373760748527175301588574819769328789416473816307916537796031104966283751279978833674591517541003421003823854273771605225423290458233444471286431647884665778425231664176962492031014414438375203334188542834092085395612768630307308608210341360771167643940923792640858990751091124850657722518508760839017328612422601699109433391782752124524481776332305760985083649823130762869540464388615481784402874332066088437260828243292443214665546533847166374392505196637008048940420937591797091105069181308412521997657352694773532594228218966931149865760262023845518092079555514907483100048381168677748031340500157598452941540582954835313833245071227768140943935181418144303939912606801368689918377640389346931789011576103576701163938654627467658001550935053716069033592077411416157604364522704539140359209238237786372800970809081323475853348223503406670813472087628081758127397206254733422471209866006192511872700387935380213819440097194946077050856307615130936641761825242513140363087558903603840974881850795655216554572869014182192048898859507597226505805174339377548480006690044539458330353617720255412456725865691976144636157995505588521165481918692198508020715302773145683964278673239787536141527529287625940627670533371628503366098383168335255666609492966324088738438014792142032703200909098947258385677267251564837509042365085881458177117096382771099679994203874948094747852088329541735924570973532907241500893801617582349483817361832776725369094434159054823667806527190629107645888694893889087211875599878357768871296594661130261675019729784452080040412358099596610483578727463991227670339488000211795040616628122759674325799123541318420613815661640525130801645335864278390656687349933588864570638098784573333402627721763118444184917740195984031024256659915454659582079485707366405403556257357236506132205644520712315416997891895187341662249214606214175948625994183684557405850354327802023195138298963672837500140617396897563476961701756468597776587370370878003973031078151543697192120835447113403916481954108553074297131003375430931680492916061440841506724929137550362431978314976822708134058006667378771043169732397110749016670369542298745717385337875498081793807964089289637945724724426859031952784680325422470939733769500300764519214475711833131628196164483990113649604170750132858852422598157392347730974117186149344004828416076769106536579676402279787767589311746711185785164169222338941541579667022997984732833221485275078840931526397468073690587814802767960328117106502231155245133696077152854031877939152742077934162638862834175702143598563157594551085998735494441013402649291604985675627344026557934344327509730481459409507209347137793334016595047747955084788437723837870238287828573101728553835126687493305320311839107834321686569082552716506064297337988282246472841468090997773361349475578836157235609756190700979929801319448342242974252238887228590615500432915027499493674516665891601581520692809754161378862353428318960161300098569543161574748981285002082271932365866459294291409425431278702827375642418367492126397456791485857867008244621786894027599291765949125949500008281059839759938999260843934199022951909223310953943232017257563290024479843276931169707464123016755996566566169460351316559081882803606095702820755917757290373339350875902701826425583266696753452335965274679011883808034130462882414618627070540346379556031243131454339428280308088313430689158588078204263908014596051542025692592938830396974360147544015568757097519450320283446240605783409223311781605786810708128180845340518392851002603766852460835040253348048371542473601563445329660723256499795237501677851218767789085292728867068420410780626858993906969107113972248019060581165120090466321326895966173043799358090721022946007717833462121749509885866681199498769298115144431634689417737976691963065957723074684435920705259543049036176367011784169508060827659169175747976652393004965498642257011324785203575216415710302015680522943756782009502999034134107799518601481008105094533919950495037216463738356447077649089981233461901951819684561346211696832748390777619937526114512522349868646064209844473068256239763767577385195698052935841588134408674218697218304554709510701014919539233203687932841243958280562628427043484955424973114018318692543779008822339867183096533018073025933489854998417360651864858216529509257070166735138370839654534535275995219039363932163613767789718367692842523958423764527871596510508697170340660903507048583452398692133178294708636097302788333265374179291680148845881672699113322376277192605348828418228154322612068058001709438069114900809800912163637016798117771273786604813389889801516664251387923223095694749117944956722764570159937067194251392565933120930425702211610773171489358765667954349897771523251655777590372420561097992749811463300105610759252183663597979690061685212805385146303631928541594557768840097520659862813322878836344078694649784687585369309562466733243288225784063771303365500359301344613672521505243267774828272242910624464931786469223767181873620610966839281470579307347427933594236107007409666916966569397155778968130092970233674541949887484220642638034452927642272648083878799691771633700446919798943643824901627047744488970773660018423850637489789794354589268022722977209987096508574373335982259059130554108344762154908716563987858881770216065822387369714115800791339689528740802733320867856010351357581932141047576784568775300337108293155411605006414625613236851536457491398642675566384576021410841200277362284125649723261798315933987397230922191883760049002544850622749748822626940378796739763355850443288556246921635174011259282975626636887464775178503638526229891705736983731582940823926632169415994233145814438842996006937849110821365802817658169691643037317948855690028389293763483735429670096410403509133608651586540868945914794319300713433538105704976085224376152767719339715502703534138684495879561889413140104483145415839762540592250249844356962878549499622438469831310566296460954479112806668590895776064656975506837443464336666594102046450870773904659905156235024459508539877282802704319836475125529510953975362439629586878374611032958309391327237331716800616533403575277004607908772348053072330577245892801933178975657528479251281135031839292601867222776274538589105476635337972078660269896136064287414653763227297920019321139432958491014057306881836154642203841781923015412126684197782822215104674483439994476037245893229716005116169646221002615232022295294264385441214066786327391409316624604480548677871272182438652544750008990300409716962307769373518734959827581929749700340417157333498752641187641024049639816775042712414460453838534680134345757070558866602264571652021899654862611994304023106445668733005413249722607081035111812722221346313070438787168641664896502561650500779301778003457547852679128754292006582418568248970198139444831895729545324871650450436915172837134303094382333684529566625858806473677097454189318114007836817317433672982320224576262208466500092921655111495175185355327216733042790296773822643096792712568354705605340594353998180080299268477459705003607009906083324575034720022702901251300079514975990333418730296811744000585183057507901767193544160478705907485205434668032943929891023457649514641147650625241354340318076585446589618586625904261345403993934684644045416738624489313293993739055335872967804062738023997911415937462190120157529635694284602560725609431863877266495831945793654426487272913421980358941655050403066039895532657535173881252343017709026974670035757869600777110159943941931874153274226649832045457708034174438793476007452898440958863485078588671754855463196621345517555278720264833056840932101426981464536526502783038072172786002743366720124903766995714159738565557393995611081180357867582276779336283939287110838465991820887015275700931751981777582804756644692113289544266854741572598604260937121775524345717388650104829763705869678606089750207058990663539153948883465669937788229142336302349230503356541581999144658020176746665354183316632234756899883593676724621271962557102040353104010710492909392606278554492475350162662711320452275834890477386150908861244772139767448622613048310647868375730316486547570257577191771259437224953188260017866224200979411395575221266149816138520038603998036455650812524401486984001694122626075412137334488180997972706420846444854599376850902676014183787421198414775137729901114365400634351351981713361098584332518344628839559236071574983219455452583733224508755825504931867622486602609050286988093672601645873726726066347185832723148347277998468824734197466525445582388842275189817638847726844921085259963998387601270093245351295348496696866472574519066876100636742587581407016737961878000310846644099164622996829506070999325093112526671855269138009641847293772473455218230065723282049259667640096603179790074249227581403318120379957280794714698953641601230062023145191040286347246094952584657497498297877439019312907275680859794212611404121540855381094704008178231994046183357958718008407628401713133524661461844639511600447043830133831051174627674018442516015254535167501083397299018714149917857537422793962877848809942527020680978268057171215142466534201152823196962524100615291175026041316935816007512494798952503600265362790069730043401941361712205234962636011875489098373182876304358040683800970543449063429543941659958003230037407748875035417539163528600530256618685732995307769592180391117414424302885175494147974430179901730425941055862200250822690962813436591484980681684132278164481051203324668218361954636674448331508527664424576705191101976604912503683985953141859972465039545581237422819652684904291932841128902309054713873324120773509095041343858208420988003028194044893790422677891087279316369763785855189790994923666392748005672563401719698489999032288325300779254864417314975983361008468302233169975427663399831066384611785548686371291825105141746436015489383682585910454464702727886758333236394472086861800130621759459436911554558777301595975145689313770768396139615834346401023457374084921307349984194057396709142251026009729677891386098906502964098511515282835315613435692231538509838352802108640015093609043795113368695320466779119524544351777388594088208798392963766690016704728949623615226885933793109390590502353771801216462013396988766292208470546195262466138605449670302613532987252429089207142867913292982166154595594986373985117295292318863893557461655060530283423373443676682048640330605728435069078257633605445361965130180731782989025008985655371663316588992935667083723957462877733225108498300250249320372532336863228963855090156297780146373107714841883205332946794444830231554826451802945504354713924793298748066767114653963819493044374160620944517449734282465905827132624246590087718737635265284658623437911099833792937441506487432882384989765353206410664889740350111462988400201856343829054400584435654772722403958834924529166891766880684515427137444775051825125616108183214728826066395172346692121348652079278736075091535574225225546548617954413328835179908261535255243474235694392900467127333306697089380088856862476633656101603521310167689010971335840695649205960824369075193419378727999831487830376304709056010547377477912324968772286394838154686271259758394906610904463681441281432161507493114187564620857449012159001373441840136652480811777076867854372738094078589655134927921713587233079548506149887024771772526137841567026314109255389222617145555804788795985639446316767065425637341237802164024047149983533243859358167942201333293990562829232556331426774931163083373160087142677528979561698464746017064882187234650756042929871575728057811047781634365496668051513848326611285522918478245234880887036481143388681174729346300214558957210524892468170702847438509255394481081667028299043183722763478320199925315595003002321675583184985350250704479020500231619655068245948067193068265274754131592983676935152434513160153935447430203755950025974160934324362588990367302166367532989885946356782365726471159305837516205398114355616515373825396780719629053901978046789027128090479415564609920157171479163514502247246420989255744387620201359698507157482632084649819179027742956045438176256402672209788284828504512863842771347889183340895460105643013664380944948333885699550754470492990413901839728576982224987892913517275563185949629357690538072651033879090487142576619649933470134324940795354828926129095909156537022253285198127110934532806360214690223859188316849222876171356163642264613778462422041271370474494587175974686336737903243497173387961527214802822377030262513721801302181402637269825126744961539978237248221015159122722541885925180728669414109626588576774074918110441174069752525696775933170987283756554783545158593124638936460247006353338852080581430093915681550868485300029971121136549367470902576319837003044436419326115916975344286273638557840048534530369810456938043853623463566451496569655725758167695733748958584144256388627626436243916396168974070612637340994374359648137708718961314491957079932883885854178767116848117602542027343628352056810509185919335764903617275448634144874022531489444195524812323942621892349701933208526369578250048103128481674541952848753071851016225968163852212301303789228601750591044681763129734348535024711340873748865779278170188230946081259395414123833448230381911086798073934359243600713114627253542327672113812650902641456242704047671469327899887799121450033086330306556951913034787405252399567426224629133794598666625465444824856053934988991345865166854835490733086741123845062451293445699670932401014184656249913842354739275262870242203027272380696140710204301289432401517701344148702620066447121675831160176175194348538028570334738984759391775245798399552545315145359763619163486433047931918260004801839443379002356956194578602906921205525267783217451355049008784281845426360373633927654611091763233851286726076923154073187382425806911777462780550895021346710179161621759576918885922819720221606206878800325768968771638547020347779620940208087834658273520166676545859992010802611895322203307744570136428509075141410835190784785229190328619520202472328499362448287793889899292686222874031332877592570583575714234459135967589725354094417067836246436802387626377827352392790875187398450091956526438711185650053077372283263372899831551051184466369920287429522084381632273737922242153657199575919367375143416526879305512376367803395638056682187349197342449951963809180395120943713616984722824082986381400112301791776640411423805676546829519511751823305047779065135843214870205959673546762440411383512867029024282158897184468382717061292087765222971542828947901435796776608444322643527183318734974209811165865556672521726980123339312901672426788134771528341245212485277803918730222697961878421751982234136880092596743407278201328354854892928591742997986047653357350356477625876289934289666961973127684519817041712075550202033874268704548532584333102419748225490737105456729440954179934840089268300806103083002294427624596818881387800615342539644253263501778052301233020594445104417433845275190922232925849957048906101900599708398304623151452933117760812190375288009349222633229607231155309774604183983567683771766190628016440097164303579081382609890785271457447010753935816253138275569258239797322695288727906058839990277099426951182143226121200495518675329819721336302154425739946585031731075157023077109188570140050402726123924072381799573835125467958738776653175948921846864696614999188316912525772007430368340961124460989317842455506695838508612979474549745660591420307723177147239009008915653939369455274537916100366602575823938161141046798486400780897920456398229823542877732483661393579984745218766143092883500330265425147644076961809083661477980427922716180905212762311766445590255788186095659543745314237183907799222686005017917291109824204562268523191892558023612188136790099551770806868694546732447195424183822078186726362241913188891338526443280129904341721644629999345471885567305431455634474983731952747892214109943596534523043582350780188785106696843986801534221218734198930923983928497789195892332792149367359411051102392308608288480173189273430419452573899842283633780136984957080174761337362989449350339932891400996835462909155505768832487499973461007554499558800564120702411500879511003745503565560275557756314753369437825764972251456329238463741051985280970378870635465677883272568775449013261222931753261013785575978350329981695102171274549644943039784116476226370432677109909454997555795415209385424777254361310310615049514875125150217819163734282892034235000055369593942392912759716185175175467291572108030274309537562409303173840039153782609017823133152249913510436944281506374700873214628222936020998004259511658374199307019604218593479816655067364358887425443209351661053938876086333665255359228538487905504780921441678994496887957711699368004033905519509111917228368489004061570627131784250400208085106042228709006700945013849778355558893664021658499077590517041158525606690511711142910661544390482353112910090025216874068526445228681922757211782003569650153951441162200652459792552823081474703694503278387666906015200544616311543150346514919625396173654060013422558925328009501501779149942188902638221044278736652824586580937536845777862359066621913582649070052892011578162019923573263338276354359735586741445691424175280448816279267900104738520372189300343378875069321504478007393015197630602404292289231534069697521431082051293001117465389003345204281368265389862749857624202590268332016359725655023948032556115672817212403563394523698117656002037216723852589910966619938847904140654610797303968984971297978297399611149007696046573967473103072824995424424057257042125660439115205701503690271023545135576134034316679697716978392294384753091463541669384856416920167745929815343837553730216904953180575035346315961070984186085623139217740901270728062271637744947034545521242028518327712815185353467480107186414306658985677572665437909232931109303707306727251832415409691687710440464860242384304918324764115449240940429243111676914904239793159897619115658984563486740993728375122800072402178645041109677953727496413523988211721055122447609055298519680623911017102116320320632970125467095160387454158928544270851972086483271800867596982801453331223155164607227485787058192281235995373341591675157680090834942463886660825428767789695991108705924063619918538619511487461392200226063384220310887701268599784759039712591668755202779098737788474450398728590087707920860656210367700342357076956799955674042502014979113355529546836716567720433966212293765269693302996186889427279752943248147326522439051850018974232075187351224532383706413353536734397521298859162668031151804034922444944067891220818000238305491668152542426569012820312323151219414415235075399388794154578471230118959146041173830627143501464548354259209730194391244044770259774581057018749325068984562242788968393087817596750898897727145108854863826049711073925332234135287558027715155478377244314161358256523567360272764588558995888926404094386765328225235791040823782866419038377907899396326109731099746275459508323752742396054519970843718680270516379334474599963146022603881603182938766823502685971202757299213380348881876794934111187322577622135052259836998101170145385601935122643753732701055274509294661894553288103130310107511468745724008039329374920064701189330964874973344742985237366279689696297619778640961444190238215042003803796347661514717152461105778532351768146524907507840481911266657850780732165945184625950237687136101518588698475018250431281602604267603431521867839346487466874175693031219524502263583798839693355982071321370058111858414042540507742980137128896740924120692396840539959759266146185965047517062957276845996775514030040469119047496856962907771926470490383181952429683214568573647331461797793855519710915770657153018633018585333538368034543635815728505736552173597198131193486283518629614120653497642613292488192912818091965866135542613484437747321155173936174289571484340994420209230293275694918540713402024807789713567745660063352386466842300965958332923419345651969014499854377418750007887524771957299063520341422916442546960380218400783999725814146245502870268856859641725363206799235225601821646494301544472262077814361360391559802540596993153597142609198217850409412074739327916434747412036181196688880090313105015699311440927606788432561108980093098038240844460974957276319417896136081092243538151702626175288790596389592659301162075348184050828695824530757132601410087595436392354911530497278565666656124420542012380089949650176237263703350375769844351976476859500010854142789470661583594114844009532212359597821316522508483957859098412093336441536864986382576108345938263562695306531694160530844791195284582955333428828392074659738057557741091061077011704161142074510337292005087304958933658042621499228927345400185091707422430040838191137623389745911480510109947545198358444419742408770272023874311014718323429581561192832890615745446184662433425747787468831955948847572728293086044847777786165484815671998035136901257477225353303663604351124112667384445592698891379938642624959286668148476810393065765847107766553896235404394578901770177309297599597250946964364822361580425637380492620146574095860320281138082792357561792632127124439671340049203781844666441708372372936210590022424132546967871815774643454706758069686485977795359681690222192107741556108653713154748487144378546769864793509146289001921251629190021069330997964074505546893504007189376349513683544445666966030982968297613174058491794627552098434093553841279506993607445332255731345548757085101213952427613200944586377410005264606433180551600685982352027902982274805319159489040237843630430536823942116498236473945129626900834283031054785625589367924192210499215993858626570754033261282838933827282773235662333165267581400023083755684785395703207810715745210909615312507621225997929930903298591876724905112259981840984610687298015149744331365720516235744630611058440722936308305394254304816314685232073959459019352619112243214420189398667727778617872546915321415413890314671893735210447588865019924532371878048098701498229550903720254079289772990371365171316057447039675387619657508539551126684954673019127306731665278306624529152011805572861188529448566518332970659733205928968988036144218628184675351478397736179275206262014036067492250798300454170955734397579329706184596374709097437707344677078450070345360454129470097903286657904108518978070614971672553346969903116974666742778380558868751164441988630589968028803220808921809228522900092607722922995407394261711104050295920389300100294946012560452979039875329761055412612808985148111571771848614442840870478103716911392190681923435685946407162602447603830524212154135316049338323382713385699660254629404582132674441394494430039641391636791530133377955352961954104300269701531893085270449015427134705880691182083336129706526414693398911923679927575239089460822609997565950816678214398783250365576312801727421795437277409526747830238939197907092554431959157438727242303529496178111814449924916451473219135372299274134003051094304338670822422178391114744532606070400512620902355423806736862563842537579367389148965068193686832366915713385595606353772587283798643806631558357714478649486551543679174304084224833456262014767424301818429968721264155098101881658188952368482836005337958737676601377841190726649061689286541352720883947193836949863848094767777385427516049630530367972439635948026322826578796835213302053768790721361913012157553492691027876202863121569011866992853594463001646154560915808061387301498612123677357390485264083509652397711026008901396228082622207090416780691812593210898273379271470717215600466110273224918511530757879242044969102478644562125779629081697387483777085665361621478689374998536318448511097248288424380991584518813023322944159038718614611222531531812778643356188133114253129731077528471103982462015345083409158688510869086872119952411934049365835713701354604228621309778951650635689971975756090429750165796620049782202064621373016636508477896224195833797982803431260599007382848251643099795551033813408709653387949942122111269770925901046045777040819732607947893099174482574290535067082677693390275428414705150543522198008519862327490139041487386358051402350175735108576474668537689338879592368559436514000118650551779810899726248109569419942507295005798747940773563307539775081965763866709144993335564756787749807568424118242495228367673358419856456648026346619839259946757363996893168651506240695217547001841736152733960944551686559251251213789331015525750034474776017720779719336257333688254006614267617604463142882002133620823809376965067930116031329909554128821973816199742459812666655974943815379231747719531746350391226770620077758746928469598779522802510832192078528909176247547896786635334246504144733751188195730593615065282400711866972848517061040179263138333595370982959315331483177923016076637926340125446505897483168156556482672175072955290065753853939459459061919948121015862519202722696198234674767009512590258127370906375766186063595613024402620005081873200810212979139910842083211713738312368932147032311446490465778382854310877630830016534651449740502793215366145356195225402996034986820227807309577263457922353539513559053494915718588249879039420901376577520013324105948225003793187358810295113637907356269198214038563778222126805585252981196081798074921729009466621905944996182858364320620504695160767783315143833349822693455867578909973725125099748933273033223506816720343806528570552484880237558726158154342450393963651735782540722126976143588296121562873274831733250105959074408997777299334460312053349169952354735932910841358118161162596044133044164766227250392362426559980751591063812699401875218921343409979524101474706590013964900652212199944692934666838023101645247879752276091781571039919882000277392572752708131863182220168504717677547293367989287324247700744155616421630132308007709713266356349314151849990175301270398198022371422519865999279216886489863865347482847351536653795738072314689016911848204278174626442716694635318534350173435950236735740110446244923080814919823912263950326450890757979495927191643991492133999409115457711427515927300495122147717314568646090906896508973550221095730105679956357976437400535690917879563814996570485315517435454988289730751928414888739388325859549467770320245491560450758902143642484055118791311441954812325020163251629186027752332797241687232186978661107103596600860066509277909622783212903449874207900387238231145445506961129683327313489838670735215080303936186903775392004081077643732324202855734913372779333460422628552464397403833979469955910253451768092579593198417453111320482028223270383479460272523187794257089785282939063249138485970493213388503962670350441123817559072446968793692462265038069056298872633567797424338921366184223712296320723576121073493326569404721886013186141070586226902648826189832239642972667423233456606695426316451215970464345299851331336036320108080534233937928978199329126993917269128713627655185885382258407088511204642114621801070342112236920394034755646136769476862413959871344163561916099698523806625857671111236252277052909287759962528600052390807972184041940305825283658261060918883094730667059841114714585811984459741958015218099270240327836929094086875396312382162494417819213662360238411867775649566474895454307709190698442240966906960397260444103098682811857560951111237970452961164469866250415390888149218918191777794380834832976053338166162279855405528577226359499486732480906194522361100940654389679537724565754992189962934708850644255734603236995456655530479994661696302859573607648274579792902004470695775331302300153584330582874230899392835639636564620482855535747587404030916395590340521277042134676212260107886063955014701330297367746346259650051967088950479491102644976196511341317778903858398930059158562599487991921981088646722367974578400804665079632408815831717923796866495313054472925796016823168268981669823951150550772175959879597371136870593300602279305339945653881241010900219582301230141376745752811821623834096812875021534128521967477348362281063858114957717196512427199986804611093162622365690786133447935665162053836569432864300853893481884632351204062295733248688577112931470996161500655348599441925732377827777613331154834972088376519856761494414689237694520771733067915405468692825065443757024672172482642465624863304768331710013129603415101983631753979265617961813161220176625550968599531493200529619283015880770005440220857244436207466362834589362799286409740901881525732383609097791363810495343155148618297949172075272687762116362558045397871312647639423717271688523718347740329041592199412533048407672477304128065067292890598513759277891719089029591819824180257387193690012870098244661335200665691888363377667765316168544294967675957073081626154131107890135824625935076804093356732381187387109601943892715191456572460257807502844327694267016389197645649116277392368414375895062585366362237694553008516095681012827789749149517252357818521497477245562030807110231877144879912799869769870377727239145290331453506872932570189606508434869066811610058780392327598565950346932044538958120853051739713042784298334924585627606988751114570821765080344628901290628498359519930950436106090003977654378930613696659370561278159314953804316846728217310322798867826681296773029450096387294470961156136950347376336369001646402878919948834033142981098044144877697829824832103514524682856601643323348409774465082760125382546856519135800722400074180421646667464462567374634330451109576982622596586284239087834796621620150180451481447149928947083124384703802065506358710978949956338700489366266067539776773892761893095680716301383297018030297117037205573041853966217297526314370142101669185245194311134376998867091057749095989763510569793478371320822285901264888550400645678243685011222875903988985986644687225764857954883299284840172892762134571443976283967675605068244936153176577443065962052685067600378091562072033297997788510837624841911464680129065861096082536940934859246202930618072587073597149559840342531156797869588346046076752334574896916943269440202108153884515044056994668510342064937527266624891028483225646320606438718500702364203928296877611456731034649784814434712836150951786925175724184211954508709976062703496733055984628155060554023877006980155530728921938457481756424037477719572733073655882366257603185579242152641379597611203392019802017296795599439968265900037963568728337727233038526011631219848651480231620948152345409548566977234957903658967464899946825812910621709504256243294743318489915777618570412257061082452249563862434470978664280969417832668630910443598863875648349438640304469075406665251556854949166830635935114083552497817123258882500170511446684528254065895536826404793459460960022200191178300578123416792415629224590046422543397695776761983801392312581835292080288131041784419179625335291544749598956668859635907204508312092888186558841971016750918567404651053230786916370735542972906761081606193792076709671722039192065746580689343530588095446648036937782291218506198041816380721929100752911578444165961789606783696637123328189490782382541341186187092882803208145522062316566284420036777200487159223236286414170221915483398269773411574264068466514524023840610950407917386422946092482188952887433694959499410743306241646591208204315506721027420220262416401313679067429256918222454882716569887777505145722022061162877820136948439057247325966440932429303676541029920747779845046243037358382535442835251622765428570027451176003739733418434225102702249175317057184550745131352555668991442577288968471969735230365637186942483501398358296610514273766783096607238497249476923971007188328693139562114783470965862368832664121499065654349174425334580571339821220606754648007860217136743699149527421612622528207399329679936492420114374851534487020381046972901877779005434480098822917728924647982349876501301973305913260311008951830596340603917675349257688349082613541064985184140750321252673775768420173950287204742529258762507714812517837005163664870554169627448721099245432077492216729372312065919805814936196384587530584036949294680495052006015483510510722516349980754465881716347623327842503273189279479769782584052942056060045433523717277841559605650750187961086515459596019610902241293075202889432937499983941345866964411614443830409067861352638352199552160363090312846403557204610589580348957288430974915344422385215800239821051792673501314036487148869713409042978040315688859633900826214026272523949987735755357057833034806383062124448804853216389019260770539516956690455869075103009508030750920719830962362096482986988848321868649790969591507636279062392012543600122494989639269452961924263865333177455963843510001664293209642310999442740381567400279289765435740984514055073822739608800455122739486706141042435597138189981690377555308090178216820471288649343956343360839375738692310086921434743685382320778510001329143121640572270762784069279158667012420389124108489749659018109572622721340104385362597838416597311925992351440130344200244686994460876384122448378471419705429883926268586998515865129950351956397025925636401823479110907943122082988576456087208909440040610290634547499883126641380527574791455505620044499440807375234667204141756441040448515823045633192794914024088371777813652950512281064315309666722209138500822164464569336457514360490971309731107763110159342845951981764149441978418910710176817806176225348937552732638548556339282020636801217777409831466617041045136178567441841647635919963815650505850452383965504009757535714124630290910151848335649679121694447582999826262304421271792933387921395113844387757810376428514963331661659364469485157030125319905066889322989296567343450954857490640138148479561910295556831974278791791090975584155094452702077251707664465664353030371865774040201640827486685773812592501507735281655019849219162267560801179803614714677046956442008356071366222290601478028194716984922245688135441423202491986814930452914738464067234515185730955552888052338346410939825364850272143397348209526614058849724028434089820231965927632598467442580286552279006618986532243927373380509162918253318083073001169529090726820103125840707919108341514256222610619074752563618696730412953212228874566958052608862757732450775325260932354886808984937547515700448667857711169561459204096352229427238725212620704848480158105414621523451547402842017773718323527092387329308725557274674384878314103659611480676583957735342877468201765936788891949932244359948037048097738898876627775677310167960133321880284101236418695214034111758129480396990643571716081095680724864661489553747931998784774229808897853285398913769056718414886762995886619146876203442225489702212719051911978154238236358569751828285928994338519640984078885318957421640478748643771199727340536844992043483057526849480270846068424161858194968661774601782352704384128858492995277790823287926895231086807101116031989951487913639355922474638925504882930595318102981505710460205860545025389599752160470261251619743288016454845837996347694764609559974464657699874213001777630198493634443930925131142557715328104064993059958684977194795883077663061127114875423636204341916042448656169455680776754237094888240149613969306512079775383521157040824917238119202320752068007378828372206030080387740023071932334830731109157706164965749990461606247819150436649796430379319470736421024914961844658144652657932663119426022431635953559833173469413548401998141969248097560466719635402718034438553524872018617666732504004297001953043054980077531232799339955656708500378735422228103376870165335700329356763095770364780881724902784857345388629197215173562376837577045990134054082832062134121306297955776310799072781938271852941585458297141397816847678661286244795331288817709233005760696709938565925099296621443012813483674697525676135383820870991544570326668351047568229834133429234617922515371871626931126166249696886473430941617990719811503325471012792598072026614684274329321685534241082086661325787887830577041035080757400535805848811768004162799469156255554738181852985397678422129113968127876836089576412245607690901383858805144711017599667100029332971542154854616916433483205007017795496561035666559172014844097935727422544066277661671697346075291117114923967752702592264761049722552154447304542497359981060704979984360146982256142863615185328481742748509978956906369524536939261220982643043287162340131998331432769221454838383182251749172607239963376859883592865654106746611148390011429134350132608993671785969660844368561428957197752204991280322912363359284288771503471283458855995218063955912537383712662086841660833173538030576768306091270749662122357861568680324590901506590324868602514281578307266790985161843851591422663752596883485419606858705431350699462815446096494302941309160530539774068626346706168937305027494321319341004363611349763599457984948214541493117559371789387662376539036883879834864770410785308240110118883464159071601879406975232687632115725158862371326910694251165992536622578435469785576450298975837178690554881032749900103838710556521075143335424259566920423632347457764415438827566285337686860926552896990170616261072075858859846662856773825472563296107669616183933227537676197844812451918062113825155586666131527695620012768001726982861313192158320979581288725989178118458936650579133674645284160205269047013804523408809110859666734170043092120120982823302917026927247229115390763237711401588575509132767673433839629308245535034090417791158330755205220151929779731485012334278731849096390200521987629981358875961448860538556965751139359301650585501178429963384035795188993790793988509069507989754112999722670552883832636701687022678277234989696057015145212016940470804893263716932362210355541189881582474528616613226048455280621342210137030925259739222061838688282158775211970870846099626046089776247039835369869349823526038933879570510915310678923569453927431827729356974744422581464911229938207090993467694265036219424433889142370168088682271027849143935466233445188001827894394091910559015544929049286284485508891566565822777914802599361749760834754307439319768670482044570079996606213594185839893459380880069644774678309316219461626172946062699213075601414339124562351048990046971527341785161017234306142622410870792490023349549539916294062998109213306193683361633604038371190802827507224844027182219237553050748375149631716574934602004880710317728132900965016317076799571807611474234650217766726333846523486869150312743914206092175848352378235304885125729819176659206338650699614162926773913554870754019111244248674459920835808962060180485183866734670881590190440667075724432895983608051072495652978180418733717917858350512186033879348477013043048914619485496562012738503621808562713278634858387253450249211564690624674121615513639642350032621281425874444121610568074799846100242844159146858765024790400924257879709420074379098646934930557901976378123474809261218647569445130804318775771555868308753399404606963013906907802804091075302508514032922010104826481296017134655974786001639267275699637915634167708202743861648218379889599813432370589821295522996256120992595339238544689295332267912257085719588955862455335455506578425440723778924716953888218450056467090599865710053334499247796703077896024069045051642392215802412179616423388349877533618085759426878145421572184015138265358065023537104046653441572986900625263003115204969265740927737972236099101165874649167808676986791699965091153473527447265918466876835903458121825295813046782353456449985180151920490201538819227788646241984738917155460723440598637777894713850608453465074826406604172447634245874355037723841668475759734800186889456092335742067143986129266442368664415805087970743458181974870543142747071076351406327493831336490043429948132198076515505446119894592315987041031447723219507436733318529504486030419165885390174711411683553279053692652892036294956806632321702312545469529310573951628628422508610562492117023311887592825269073722534586359735282259276552444226138760226914814031428120298869767640823262517380940920691843483289148348960015191265541276467414514611648184989818958997234600923639340890675896800664849889927130341345451756516680433981104578531871901793982323557922536333624956890839683785969675112996404097186350581282550957954825336321088498711302883167153570630696312129290424988386911236685169862043113169586737795087147460283130156125414997019907789961323243129443229019878672919067802188618272708773287719625255757452495389182921754615742850759776665476199406716158732926429470994766387941563607168215888358961933545248570489202227346140945228889729859027424030419977186299958923823462581095934878048297541676098033428310752151620213686599773946642703908925181315740435676954061121174764701471994399812072447469033775869859196824009898026849231901867886704935559029943910913273575517510749191379070286570434951180770012035628603904619484542846689522967232458569605668406957031179213462700772988808601021851617295096058705603465360609029527227870759235639831167549974201910339747725528630377262010854721179245456731568020187533033755230943411321418053163647271670036311765398226665014051355763366659461713330925708590066619798318154328373228148076285163789465061884602258586441847542164732950270171671901628109249010349795559339238352849258192976260566543937556658136476636606682965323745434992812776662464187370041729832766913501840200867125034835507232344392668384489328820821260545392609884879781565220171037337545371522643268996541583868314135809080813424805564963241986800748223909249416445077613262182978160993701116046225918220524998846809080249404288237450296929160879715235921367886505616637577730158457150980266598155870730626285656148154831748659393371518446176301524852588018441929295452997290489749038701677302125547287159525038255424785357588704044673426954402670166189590375842915549634063140947814860466248137417491842077395434406028596974767685968546524119590842419675422336154341191024620794126819877263386707611566890609196613880828380718474717307852207813277549143771002500077429731357647745714647323600705947864256795096101997444379039538419393938652983496552913396516891001576751109081803687295428098006133721020436647338437051250802707474320558190850166623252007982565923256162890055183283920727412148913310184338371318435853267731091493386854329062885411212848295923789401711300482750396547010943415257201592297571956951159425649396935936796267088072000141384375793279450983895160026218580369356946438217285257079717840978984897181880937438548528435053265787065315780460043626909210500914618952167458722626534944609133114654013322877748541781205120781840245462731819345372411733857355025249335827048334065964298204639070884148310098980565347913986915070739621583343754548770748416840594168237252865286152129297039215502042790568506057262940232983870323489968658214501613024144814315125365584330548046302128388904526101757057407118168568712448468638329687665175049566728091149094076525229528022634282229138541830778668330717921189871573201351422915729504692831200144582840693472895961167009286126352530421748495958823619998179364422192492632595592743655977968440098584643344706025948848801193741326302532217588709672582485892533485324943788162687187547835456801275832009894083079121945287206149133130278408066927924519836155653576632898356657432034414029708850414784104450462061447435472627916912712429944108227394601024768469383674316865951135481227763461708200319309694474840029484485675022346598854550983895014873728501030078421341109929678375801990476431656828948849808492488617042428379980317226802127874966045337592229518371910864257372316032972901838788654388596288772507508980087994898453167681050965860944483955909306935126722665544864229206619433255543388851468775553772526085655856606551915737932833774583032509531435627373997111266673848276149631450415401588130260856188876011847651482537813892702607964999801392351912855572401800261135949985483496774278191116791525579327917213482562470377294573360561342637048503255676942227183093115480656816898240206485839707350876691033406425358234244625245537881253830704067860778911462184422334510587345340729615792555989894929220065126522603597945185278446980715030689359346111704547329482470777873139505781673240363383563823596519378581848914054535189054663854977215963919864114359767608203690544516598322657007235901655920792167483084751912161708454308947503175693301888651959167429309636560656976160898137127531888389837970075549484437476492921678430542068984708526577037130054793255440659673082989747086616547327194367000057735660275910972509164058136271923390759033320075500575932275946685577269498714567830536361925778364139738762296563361637772706105514634977786205325278920962036767552134904626521543078674234416115305965462647930541501113657995095938101047996392227373284783606667484599463055483909029611541748733810981790672867913330189647066900358558186038576311543721020662999208173313111286164649372726845025510600544946680602000391606756956499534938530262163264339185387921889176416004490950635305409771840359398910480832852525778843320701644340497435649376732743806403037091565948524244025124492926981257158488121681358461647950268890604199337971734322431282806674588984276567303009083824198225630956126517765866235161664644498555673328298877288644980140035019008184473499352283136261704504700089602270829033188967794869300339453909566185954424983921090704966977162073336641388250639382126797125785317081245884504007621280033210569728769987461934361558440095739079666058052321364953090788176691598008791289760336152169304808995392366561156615823099851753278494208988330760861175629149344465608847884566382523328491554179697181877705023583320900618980817100847832467988358045464728901684829981645169870587038663675516813684536141543351953683227644021024271929457672551407320810230874229682431486255157517558748508645103728462532799834009022544449139048004222052526695103434965524576967307555493523626240325231528940006526519835197621738979963375021596691327054466487357640661025246397747153324017192350070824425137972954429792886370247444207892612712154564703108879381033520968544889935005114502120575979628166833303320338133660559892907209571643778751324809957591924542924704659969061568933092643403856175792681380028855999933300330962525164564144748440450788845354059595329083732366716253405938375928182105554895356219041111089056926143476947140680357440280438416589533615000342042234533730790135930635696205731410665958048788940396704983778159528192589406646725858564237292816450755966815542230996950399916790106135892188705003092461573823282237759687552119303345814229664766360824523651752241696335016863035663599909581214153325731556777324950302127327231016562876872623335681330195913967872171573304375505324432883113286051412211132711122776799235611622017645945765334449814138050042037442038933842285081099394721912309486431429837103985819883713900024812355898193350590878629711024014432057896475314867445264093382207931304389926314771994306515470422506128848992643376707613391195411616621812562323447743841808123106886062204540362237547588389283874819004461739239838211622676880518538167841536831067323191699547456872920830712065574488804878399046632117584902635213218416245020840759600425818311263388133645305794801253109255702935577599614389851595407427834172188912388132421057833423908773023601238731519407213101472277819620698520975771035899262047767005023150473920641082044477657994010301128207017963204760130931633572208676981472450692736753885387835499171485161496145949292288481288013068491515632120278957686390719104136015418606378760258938541368340889005739444827777510863232012148323744014483852364356946832152831703064126237523201122553736923584102877443405595262067117319879511290251734931627683160528623850431043823603131394523540624650767529234264046724194325494478914790865904758187323457326739379145605792791246543805250384416423745730982278998755681808489356551112276400894167814929396546973019466177778287727748945892711900849606098849328781733566827688765996885256937813295850341323802030697470843572306020806112045316520216314342009483369605951040361319847339946831235460887840743295638715515259194291725868520699721755907924646805356438300840689862325131790187908910807159311368107481606076727549788694648390596531145449312950679688023799057442651746064423913043526192577631162866781452995485215926389443740757728193944695124387151521800795435485474071829006904286249870749111411624980216637154020295441921240003093497955454140492950357995553925403210562231381169249702494437193821780604173316514117829197885829552267502381147265795255744518448499694966437279474728309429854721376730352913965605982478284170755632884041785687819698937883203920654099676142674909071923512880561716594589182733944046351972048118908907811627019880275994097459305153172067268971089808880383555198744291621283448447229599102585399760076683272702162568430029054000175543310407113202829128035506219033583749764968892361065070484485241325344784976743428133457326288601723465212906144868921968335873641214596611795626982366884905374525016151071807288514452491254152003181814330072933374945247474243357377927557941546372380204378113480811144280845342384437033100715638659136503059164447303183580005468734084925600223793209755293142843970856986436309029634000443999788308896325622598491981060069583896104832821311977763581545676049781009101703385861368957074625047221101722469549022051269751259124184675311748071427589152973662450714326903410922399880050936287625908007617602529486010592822797555266812016001778219806835063451963318227331572323610071023552016013444280309301845001682402492790566477098885376053897290493959348411642252330861077514337565897634457211249487447984484234669786497254611914366125713483008476222990962581496791841049428513179182638048902593322697043230106135908966059885391612362147707792523441750998549220506822080952893235885311593154056029543621096528881976788477861245575856960696282269622247734130932219598747451764583766559657877069658189121884850768766227184895785968131444700232759349672165768144689088413952293767535662174875951250561872024724820222703879150914523426579469162101876972522405058152056663985951912074152971366933797124664287949372061896485643965862063329051667068737401152933178849510861323046283058894936139681246301928443990889231521965942055637087511499166845554436066047293819686394598431631281171747762073585846629799263948209962217456723246457169721230994332547474246025984206093424856470211964459305048606241857590796995342764225232319120632476598976892065227869538170762029852149077373789551163227888699852339879303639018362102823886722180823702156355009452406995390073207361589678261059052819669848061233325406649589767299371980148367187744634988949910885118846460888897762345406414142564577190535456175154175244318438167437206969329236681044819239845363507413778725336094462606102539270340523716284685805534404065056517819356540975551020637393908753295485557619128594152952842398313488557161584436031400811392261519148934173568272724352544712000122840903088422433089684233876288809273577602888484000193118651853731150428899328696391059964322870171891675910688685289800944563517794182878880673722638619496212195164521232646529725911838782591412397369102999761000982438491835278949584389102021580885224875266373326900818323595086995219050547029677291446416571399212065150313326348080570682775410554694102777240800143809717240322388239721490828116185748936401138160642164989344149790151493948146198071892347854662764550097034186505046488062029198881219105378241916945568068348131997195578659976452021271793090856977489223712918596268195001721067561205397289177713969251942686027723972555383546168636567306510594062225221200816276224224042256792369442946656353278701103895701367919603893364235941595466904822370808671667620485759760145111380583339387143582587911046299338946344858941169250051114867003432828987372689477084502404456107089577876151759138720293343940101851399919663811699745751220443042924517855457958865922175898207622316609700580861389391760373064329030935760525943057678853934429480139599425333277934897392274835266532247600275755429774943159353958553941881380601040884970522981673596332291689894780723075107474466256172611442020912068466487695750623409303199100947405111927203185405478002866102718978621579676962314754978351959079139253094291015168922733352005223858966280133693164591691414606007157952618629220478892370103948503268959241942728558716151292583689941259670344753454918864757217878056817099055208854845037333388929726722041908539853111476451476792226481296729918144531890938720696168166669721576462037196344350451143317494763734803514086603719162727571402506952435110354831022728454457673485990759584834517220270082792737865502694588251100820318722325550892812454150036199253120322073291663948724435618035756834477096674533163984532934957377087345147892904334262168315347376561393118118782015986936256759310606304109863251463592873731380256339693018113939843243090841539542485336228810834832811668848510289405454585365614622092855814846708778099650520156813089240768164556374680076845606082579580187639461155559439325711857262870385187210769540431226425693742757432134171456773377235182835674421840294086298884458101967980334527471244143781919533168071753701638009854508030488340831240515928895818365265842853593491887619268905465702592395674718805289197141641839141845277684658674677563770242777441646735133751219564282329814845102837091857240807088805164402495965863411673244787854458186947941297290283623734486221060754599671492555073509721863430041447330642393148378113290601686029439375077502880258619881502837077941802570015236581086300891481596286421637207544808685783828075148709869634378981616675401840605212553892704904316980367132834591643475860101907469606939052379334928436845352569658005959099206307283574801104878196108299452856456159017014928124720702449977226142563149761482352833921676908436364084576419909539016263579848722928612942457342776444816670524594033257802332209817407620718251513391560405292376320042317145392102588230210890449366225288873864725844098474385325772905040378591993966318638378827786016010487827208258788268983350525505988707323300856745908233393626614399157906820668515065557077327459321624846200341729123881001682534896080290743532110798838650302744022598836874710500083513137608023767983167215524340967134458314596350344743318062074987156870291061811818393776374154429990687120007148593366433180165626090455020605339437959199286672013576412765335271221095214101982247987452739908711825682759512563710407755049675244394287508576534018674049078142992567529490066607616176592381799808240398599728754894784474767995825150699570301324827579204426270342156118301080991917440293167653074586299916745143458431820940539499184839573313831982845098462103734231130910642416810911427796094484972075845965735042724263212589161272052579753973423005317643607809637875203438977829948035854773793088671774693252566346390234882494365902214994807862062953782033051610472737189575415679144286597795522222160280814822792011731214108126164146079074426483419266550829321610928664570072347378534193202558120901040381703606229692467333605917418778767907652341819729137613269994812325940995910883600705147688864805258007786694164945565803286691277344852624786262227187735555015209276270592101308738194248041279923517523517767948523313530465749132006273092465349284734629440333167209168109717664784403220971272392764417933890801448641295749875167010763654321685453804149731203278323894791808896638179858529007900998764481981540906850645825829221666150118434611984002042200088823341359960243862787465560937813350899803148943856843557513698745245194704318100448612162801102443419392403214773791007583731170214175208666376444691497246484397917763808431282419840470745377430043807967281180397932896347036657690861899704569700157425154609331225709002767825531607557149584296386316381306100818655163876007002932569891611611227833312192913718340354351459823141006867905254485629983758973274238970216316616185738703966481525750821584552492397408451895967725964075073296733641918508720614418941102034619409034319182063623950220652099267285724445409786657728549117006461344429316441523019227691711743454245637897261868340896122532921129820071787622163862845658444640463211419921191949530070435715440583532722699789528797564131321049057821330355227701239695828528272725617519138645263343358059661574670211538239386876317842590994562399621915196121068093903727556086553571806431520735995436082638012515763969160683543197206288528973407335042402298488648501141152649376835562156488719251845297717662211665166433746668161087198367328934460941960360396854536457671730961592566927291575256048847264448623121881897238364581826769091279505558275769176118116973893379972638009503981388482883145980974197753785431189575710770960401296124779392509128625109893798749214985895502637775240032978468632975321012168735836930278288484691720314542179345763194798881654909210467924782557770349124266265722161700822670891271262520902445088709390441021766213949372756576332530206194217448710594125789610579628185220796337365415082331572478578816357336069314256150921984441276485374801121436342819510272806253521987659194096496058824093487549492092597717548218430531883133820266231833584897088097201692204509029214989191076563706582719055558252437490152861079975096458687583153360479076687549634576593625846776574278050107910872332371148941782621275928364267998703714306725312674207146444948870957690318292345848489383656374284636176284349519831113507655336429172113620948435269042119320004325732828462218035776550339432682433284048868075190815253311443577332796530634757286067154461462003256040284361852560840488851231833653318026882269975924058039880665380867556406111972835324086138403275618826855499505600704416780723561295823306403611660144724317767698057233365938663324461992508187896323719869607307781665789219374912958269170120371052091781958696174666296932621083303554508729900547008920708309720771960010698196897825160904764399809929955945071733136261045327296962134703556142778582549549883476055386235327869908048028576648468622373685380128023077003429664596116775518196503750267324768211350118605290937720411876841870358649433192895089698543570172236488017010941754882481334114058040977689316790976476411022775779699330590473390376917496063516621898545090912402421059137943428464507739966072119702812992215927927717480665829597551715919911727328509295345735078148021493411341913187549474130820606426913649811365954655168910799790471776626349543543487005059271264546682278466617620260069595701040463084590562486946317499013944724670961427128500458348486246395724264737722176992700668251489482673845725264889514819086024417132626821819968854472021264557658441485739956250237387394837625547793665575566339943471443333762486449829152999326705960582785020465533427005038222487879172097778835142220193763969941093092758497108378107195054185161476243461775608041047189734286795786332446850741614191143103183025823500645404578596081537089518780450890398233686944675134493939681672975360502275023010250327809126424195661248046038968102108690222247760155197352801383577599170049030680910219308888347730182165405652451342726808513514521720862407592110297461003253376893042856673949993293944439940742478499580168076704397070954739710263715428913646948313345789964253709435240602759832685106496619067894837073976065865962459875971834940132386131778086158382550242455566529386279118340121393091061924242943498271812826442330067751870438247246380033854446134554110347556980763894842306232170159740717884326131969928832160791343110661275643592373949378425520220242291462022407368618002215542191311228421503123764780701950999753859067065455059670283316084363433798196976707709645124913810377659246043746893051199465658457733626525083164766765628551376127056900678847681591610018785993750571190434390496534905313838017295497639173997610934809093924298827530473985422922335314386648840319913329381422986961201640063209707046081446422480898768885005669801066093696930472989888449986316547706992506397256580208074505970098159581225660277715125835632999790766468994501231001150279874552005473133033926263359891229965057010553464469688733729635519591327028957986800359134906747347240450949857011456416923991511980063309384767180494370909926618671747496936180617979195205590995397314318418781604741962691869419908932695966957063149097564894918353415810506534340141976418764279235598337213816795174918368045666602539652028272588837332102158223598979171488803875649168490927338048073626240204466489813821703018115069216639777049016303863737917687520024134052797346795315484398246119098694855001966871987142952892797332855002731037724988904458727282927803929531926564183312355156118032619354695793480781029957490189480552147034432633639879275408469591076330639628735163688858357358221434941875478720401085200482647717899588939653402376572076301921517436811714796317046071573078253598374931811258658691104468933629316643726229691373010875766930443273610622677950204693324739867610903488988773933538431578567113137935605208807399558703224354470860773608317923218790921427900611802819644329889100871704699078389556807104263296173747509286220132286154813286403388219566540818332038083234074605970444683022310735859167314069115592255632283322821254970020098763824031096676895554742751877625947430284545420778172270301531834161564783893419896579014372315981959052747927330576193541853383685150065030565296649913681854731978979389425940494514706743064115466841374129251046864604099079001114326133202704917200555812713196215426184508573121241139060695715506516608746083543869506260655631576247490006788817488665943835417966215370849290753275930621365896416366183699629037430078088611521360992856106472953994422512369934730253595490954048580001901405297605931679115637234316091513644188844392548951860240813188257296172965737002493889440697058725756239494070240641932676169511350001839738956623224316853411292933048440955521533066988836548701137984097026149691691794376569062385479191239807038353664017102249732945696804768127729556312025538077646062064002295615701178342788513925035776351261309324120515536491932606698582982114700372763246083695683999645461260514306642651454473023933761035366307331363039504574064091755764555132007541573624464882679402376747795414737754355711189434582307076968830020958750695791296645254022347751702323313334305541524759424368403272038478556928209181612428936339250320490650719803423263076369747643402247606003412281687897369944974897754027060136835166237373545761799569535320630270780914724159947598643288201927469393036900361140003486423555882453141036824840884176988970772629155846923672441650667876092128849839343313765070224968677773773678865317127663592808260341982330728580917243941434696157448102806363375864557702638290871985021788169661332656702431809626540560508962759729164273733070938465179343501283791871682111780650681326108223994375162215453293937587551098501960932139794987153951436649726775028532416826346737386972451730874676843969694418970584630563815163342469406705251627661993280416893850999929249155526644225217003229002763730628434447207389262101477249142999015643198994974422369953691353479648223251428346043926882992644559077547796163749097981181892776795339016707020514518737756594242557643714073615708442394046758487910723618158696844948543711736641156159917327684258069810996582140152246581561537111074334949111101353261538915643829313417840082417817195207112027659889685860311495740798983988632051284063740414008458104207304785950804153713505851397324964819369995244724103737452593314207344910848502062481579618332788783466635599613801798372327530061419135044311991940878204067163494732959521427410583245636968427512507480290198815419755393810275514820744814696422017095241841137687188132575577316283546007264435145025620772309229049547833261594142763724361173703002165082339563034640183998455103403931288576725133886527664888858282491701024202210208984184346711052838682498969481774007241684653720039396139303464326870538747235810406320801541187235444906303897863041761616675483352686358171290373279934510161670079895749824782128589955979462168259845055962221504343447195657614471755879571867165849389733267070129350176297247979321675179301204197648787619738275527877168237709639863877003496412678329704874550654415629373893643348723433990367690117242606603945891601606065387762132456834251485022686152929553907996029719667624050459979604898880456018696220518162253635718087203350456833480234111461014583100106473491204989114330880765053744750039188206287029604604014636128879560921478572185236972581775826362716271526535557928301770713329233974499886651957164299805045164839182251697904023844927144012214721127607028742616293895074121903910626036188160738299278236888718896172311115209755238549631602871383357517096908993016346529550242355698456996249634433905069423757447227460786962929715118434604888190282355889790433832766945287727725035032305557633785608394702586674913749522151785408277932131687929061728841251918753151312415621850433532022843821940361551723853079054063033002912298289852044681235264240775091640745961629931363616142984451129334763563335059919256370469847495864000643504572186484103361610270563983221803212423382197306719789341072387663305433291834658811231944257928075327033143312347404216346439532487513935874766924178372005908816509294789622301602190079395601831828099764355820939454872630517359130972872107453909993634200915785414940463750928205699887202008311010016105754503469293420070316789016511586001112735056063457758822002674871486696822359122248646782302531085019270573307307274823851253161119676940840258695239021123420093727495335529684974580727729109931453964547043762341674199004780319285949611926287184554917709159814510658135758633358033646585339750965231762996957085402524676699305157772075850560164575258907221898129820377162154572349418010636299614257942547888990931169132895325876550774380305221597689721521510772409553498951655129991187335184676719010236970611000397138100820943839739204008252068816788368718154781637537512276927169773794760045782217583712649052350334199271558334562709455907195044336849026899026167831179996359536871618948998547376587513437019591452365232043866933353256206012203320101621994471925754600627937758977972891248057571767962367661058889666004931132916470528347736735829003298618317716611012463413743791986474688118459105430072396321940846867613490732813664170782742157610091356971026997813542281511751722171432629309896866381425462050956193950936589683803792298708268843926728864527777087796322386763936910952194145338101870775737353721185538963071385305703876880290649241429247387474907450140092848604625789195319727288316543578817622481730416525592672814119936529672053250164011424106207065775688018739912666766422702476430614179050402402716459291509678098344636492860082810985356048140047247333326884648210242986697892453361807163187889358566094809883891278875265870299518336076490968931436062313750320841500869652109514838546810649298043929674775985071931805283477701219219992778831962424518983487285240416718929214559003840809866004501532462452010306565874603390312392904490674476493525144937879890288260552208436465641293506304933022397846614400947809820647370965929435777466361127186203941879015022352882701293474196679557158861352908428369366687953242166932429183170294570485918814620410096730452318926483042780477605556532372270048209048541263361824755993618727756988362910476978743824850364220334251324027270844068844248524919804826425793288859797379294597803944439863030195989039344092891907422055060121036399600156235559595899366665286571402075114666356990049077632683037138977859784518471658375194524388488321605959351502950280237870590556906831638647076511977836021570390561620897334343370945543866083145919926911812422256003506356051359226913189209339534152114603320873974780922228736051518809599455687538399248673578315973417770390851768821109855310210325915149232386919200352043849554510494449783496221351357001613336736189710558283188151086662051947466054521079556417410321570312720634651178119652378155392260990206503948147045830258627347615952125676768560078988640289831562957229421328393531782349903898263635589735362048489363230304876778085901128719378609193145191264391030449222663379450159597838782820641404907661529338309525090006648180002248148731402015237992543112390832188238788358957731938786254656872273622604561762366914907857663144882683675581727583738682305420912211270392029769795579221612817998832123068505924796025755840184261562618306530430045017112947862993576491444305346246967228977137667716203825124814917162368472914179642327491132203401950175235690954299508880053976072490295962180868384577985198711526138441066607078032516894372592249005610564163943559511229176975342057539973274873123024212219998281693002278771326363923068638347177626811626886890732519418438950425440482636513589177008182108794190484407614985305340053037310503497366308242309387581728720416714881802976914957831256299894868282208995933005676093148526619725493143447069459917129234101634947898046190621604556507563793183402656364481283707250763373004728353094018452802715415687607244848007620533868606036669145794083718109095078455007865486061355006163085789986070344261214915320214136894231677795113814890196041949364509299061326593825373666122747715978769935095026181827945072438056496030819523442709388504302661140626216130976043342541450800643320956716727367552241237074488029762649653550565363828398715343144771346653858061292893095452627988374377394684414153593927928568788272685227126539708149799360765598821226532300314686620092732550045945251944767781929650668346061862065799116413984335390237667131689216887392576960061636296434638922592069463718987796409921829827888524176623455907151808161566952053717609204367993837374655137596051465861938042925638510277354134677738965452329534977443114574351921001305429053022073050120036663323142009414227542811661150228890408873977066788792749900264550411671649437432686001209447693715209285515362657504612293772238730174573537221167614394371694263596707688747979433667643542413621143934193347057144640426745705034390270147277146476933535258884609449413912606420233312355172946376958031028721740586494936630296770871958555747836203192082437168009904984571782266995095719224107628150262143726244286570546867817959864801420761612321560469132659713432622687536207690194894047448023014972272522900555137526277705256203146153838745217296726761678990275526432034830413239362390415983756436438575984080270529808876712431474019693149349285634258830351510947166357201203776775534173917074452746809364941173118758583467005625988878716631847042985428815285234476429749419622712409435284259648895430617412681783385945745765780906290178415034943137180786295775363695167093591136643706133289430020160177922897440716387175588102631671902434418418480083768530883845766674163659849441583926152763530632960862166198792763201104013869116016745866096330650290060000250473945136392015684558290511976033921895743065040059140227584420733048050984673057493367628362017145368935102564464605383676222181942355693218954724599236581306571759845130714007115998232418917662873940325835975001760897223180412370275979311379578396578853580017087630954674247472870399504018457279167178940103672906413362692977447457529532363559226473223197045342744723872593959721962035347228696664831089351961182861426344762652557035256471503598412232829308714497459775970479314915880512432040809301752900988670359611496126710518262128693841695237876941804515890886543203298966806290002612197875585242851816756862365167564214795092705988155630386460062980043117041984478984156463766530694242548168135917435968906008118916230027997536490681334891706213816188247233985028115012998778977198445615706454738997614880567707836136920196209274148058735825632342665932270415614611099194035322987135022895686077299640933615779802550946392017770223688532174754984288970009346846035830488090582608437800336500270924893534290628943338090311562699587929595812360724310343603370380701265767906966672820942046891999966532278573774129391138588387744545656119641150262157956845130050607316129281687046185181326450720659638472597806161012830451148500875592763384391934114588600390541426885275867064002847920659029975312790390538168019126237579583530085899900788862949085594349676791125708944881735222838360195253184739218555709025288687836995501634905700404187792160980165696167392001024675769533606444538926264000688703683885159299018369957051376426441241971617633683975825785444349844746175580701165509687149010658964225195550994792540507463719265378363439058028308015547658406251622308748497345129548708260425927377260405405748506715435110998659534789437763385039904315561202944346610600439072506683183199148485926090628245050720764801527924218028594581409102578927124594303077080147652305987073355062551183238942576685198070292958793910133252649179701319222736741237660290888824464414666579065337169197037025260665049745278907143720481648576112365867821566759226705475563567141521390842645515257911403160761724592343195720946673842002789851931766450039678471882806906359764234709693405525864429212462901841474756626910870700057252712312199599032344321239271609201516399123058994134446033897301139434396642729592651008030430349466268604241268839675623262379252093632546430602148493061654413384039996229045906883808583672656717655573721473617073327016612330262556567985024252939290661968530295108139101868572507493657454052472592549304315251915194590549089758096659421654624097576961863839588855022454653668590231531213858736704752162916269198977345221579131384646969756224658938559837037609978190685012392108098705433557383052638195460527342032094369480623728013565451563069909897029394921952479385965103960638170260588317159904674023859276879343674161555128434156855399490598528688380950087208736120534022901103993929493916499066841209041191960971624113084318391275979559178615016712678919993522116692819086224715844173721894914701213874806353750222801781487865050591574887557628716423576797480506084223344942865225383167761955985787587099773173573618081370343966073836315883485285998384579571950534961685097950080457672857873244419153686820484410627874903980974953349434398747844161657268156606864687335396080028848668366536782455228595069671546065042738269507901211424597500648933002129923433681460125291396152213337436569303938819188964726224641031430722355056660967082023155687605799393058139328413688610038643177761261757000573346083226930573455531823655191328319987926407889799055415565952845496153058779944883152549454248887423085292746392468210127913900165261074416264110733859385885662352881150316267905319162594275369439593467037610823244009831996505152637498220612566706789212391448873474286154455925392112756665697974191296162109189211035251095308218686087141112548563432343929179760910963212340043219720477794328463224058370727247122287035710207160630680695269918036330861065142154490394535879510854011686971534521445884142895780552319980382360147454748168819441278180894505419537424381266709791716290571217935991693859120440738801254640994686669687094681068710696723526267320594019565864542264844523927727788176530892072648207648043544790654808009490946533526569994775592776730429609048565548953662495887212579965235447007999674646438307268076802405628052694145626188212440293227592693352525929233865565345750976562753125630541987606537552284624375524608032049482498525927101395978977434209903464477360290675591719492751417313890036478113063727644232917816177367649023652666948175221782569149348002528263416614600913396679658225397161312198354056609877332770804450773813839872462533236151688270259916629758380165640162264157547449785566938958884515611039509458179622289871630828138020371274813314582003820525687639265122927134131638653350627297767392541676182964957680652251749836592859554831219906488735484907480836001849674827679057552505262549759811312916727049308729097056381648012200620514301104568168774401097863091912417672950882959124403351899744489092018679931164867385536284311670089651671170748006535510816170134422333229929943700619327621993484446652918880387712338892574020559353445748196079902819590813680827365033207636056513092570382136725857578490897413470524514217611864615650407603297949714708956680233383560695517564329020566202417597388457898251630535996981633334607580820832378790298459530054166172636976565946874568588896216885820896819242531843233062104170330632831741737927725678097176053444992277105722924339942664429268403744835622106435813898610167524983314681708918584934208243353679223611609699051787294519273406550970685441747530696181006953451407263316138525405637282604004232480602708407288676461219434576203126636471217579259407148418928096106030656212531993894021630592572734339287975491833320361346295999930937017285614977207435296350161839396818524957683640028044932391506294840956137989962509043085794691043061257788099534567685857413808311966033864977485935362768619037848204676152107949178361277510889092238921421553967803536867281804725954381845242407613868351958372390930003931052552884699168936408093197784574374043304925885035200159303467741946833125221873118558868731291575968466725397092850615725207903617490349195641225213590750541974506563391503061426700248750546196279584604579180084651055402852555999244747109200782615267351497065593476466181723109920794866422234794954247265902403515089398163120330324279132553455998466645025568220213023632191671536051050335714265273654464268709497634882460353136698775863242191976602463630316371704149589096411544127060387062622164566309948266915764323781709460646572145632887183584473581325614989974902605114110031306481912511011315725923683843913748774215276434791387653942549912656250364808785902478933450160593076515491308537991926615724961979193981287142648631901632915055572711738201819543525712411577158271524000007909662854626435567989731841276812938470260136348818987297472623810988959553088915914646262536562409607396530506945010822841602647917603239597030747973615376987337705871305209507480431582411317966478013644466249517919620857913035504489016510758430120222327460902351669014322685457721179353540728103009001059588931680750833420998567511208939428483847827021775239403603948603830207787888379574269874394063775618352185434754790544830608801625720640123150683757406636571644146895218614628745685372888795196572216502329368346974498345070055646904672243748898872674689727816562313094866673418287060894382602816305293861710550640953064613454548027626514305987913818302161947761152346315118075046007442227130666760680689252993881537290822606448289360240152785161275933882576334964454826391744997825169399823471879056164206373329286762545588109956041370845741711025990879349995816841758622263015794975035861922819750581831292964179176127743916572565510104570710826343182711035951238061402867661096544441695600605124566647693205476463390391545774684386093968268978513181945025405041127669547341888167194450645202070639273340467241023043937690602539250699557073388589749929578733706794664253890862085044851074481225246214215274703875947737368224846367573578841132200639942850942022370746846806946529547733919079747926946623391083546199387996404129167348703454404003466156382859647124084526136275584602710812943426839703479348670286685271959775315306248599653459148169772275856620617244105402055148613555802036849391945925480995875992515597904329388250368471890235195012813839753407344087068578719565093465008670793369548559217357183745826839725490586101368214211622024949619967155270421645279163178071823983063839392585001828767905648091853760551124014726893956077228624003312051389422397757986408427995704102794966591090566272485675208273098429991998274012973408426603220311309266767865654597879249866139024571940064782145809387170855547229883269467567033737847011970167904049167134939421567051949082254804017971086199590216885480641167200136242755535661725260129318810690755501995342518474371444256459436558884655059283519823798972207445238167772223179650023862014680673177483438950509881597730328103079176116130719371780296674899131834944216493453933877108468939815917210243936424423926813870429946760630967906075675210520361042027924523892437442609985312339502805879186958972644022033539175901765552050449905096418395290746730348913269345443406023171064262571722523971992664587744787278074468035691253680036141931760840192731278426202794798790145857401867327242415953126498154689764733175149618827533285307697846123084079703463901031583699976983657993771295669715116973109431500452844691517705131364389326458106346148769023266287533057240448153685105342169950883535381024513993979177161496442391674905994423906866719861615311253167943744423253953565947347623957708471654041147988502528976854411648017163459102146116210033167164781338653531383201544058267060482332282351595412664940683425225469881921415114353393257722243612078720632908094254417192937897400422105603375606421593965589352378915755917100997577831358513737449743511271468994355943624071844034208441985769082869846580392399477558103063572634939822688016617816547037538260839491743071753255678411303902916677423096880441288766754696269571854941263934727024947302344285452933153044888776160628082174571685630425857598255287347288776110137144559878040968439197355147544038967708344173974874732662002782731054661254695915014789313746910639433883343174382999551094621061381009237756003325453966315244715650319642695603030620090851311105007010608433426337731955854229006828592967322780095490768367068974601071427496548812570809008855469748888731267502951417258615106737271722037335425354910565079672555476256338256481716579136716428212474196959667812813333944223265709031992585478076943359181681323630504506921066675529906580153798951935641950318040186214854312717590472154333604651822569010679341887673543133271282918711865597390368186828130506495277512097731611321324451054451017380198179917695254137024116343356464845143009532882860162191815987446792738346589478075099219443131665813777532283422657604981392209718000266212551312490624612812016268892040230273786930018163611652605332127649340126907325176473061085378722592446732890941894277869490806618897325695930307394469574017321067707511050799760293841248864205017760360191492131332928819002114344803230121887301384826047559418267745596094992918494153466640233651092069591355312728440723698337539994178317357717690344198143972624626649722865565433102690426833498810539061643689587549009164177316032547473424380733581713895439163473124051530132294844258494341479209703242409613663079695164353002772217209119353929176735430269564263658878033494116354106663416623636500022367864563937175676077742885288130248046418876122644445233964665290648750735842527032162761107479066566841583453893705371211181155699070152677441223099387503873649446086450899354676901895399074850223852832436097278489450511912257918672892885253640261258114930399302186807980749591468073455201555042565532208160319243097784584692482548296992374588835860926260666839213594330745800632229139201851619572852998629539197291347120783666554305563280587719652254057655170237761885680128477444109408974724493167977334736436784032506679396154315790541581542450829113089649746383468103778364282520341737469004277180291644321147824175375656080061451531316916770975615666918860592165085735961924380778454175347779632220915359350139993069442146400763341474941803033210207906167699899769512666681826500777954740814549624903149720472301346811260069196608356441689927098608433584286653280599298808745228698280301163159005281654731931512204977311502935250028110384481575292700640457186136201851862672185137751274760103433368696318335199419788047692218789400953310951643284268577603770716822548242540086063054367184507863839375413221628698373685959543179943638458283057560286266652315572414560077848913059539674038081347335614350093083915925006279024749983921166428718331257068327750266530175972264033420752425360124757342751976450736929133453861033810740839172351810296040912466876407040034456564234911514294375111627051986320262752146239534431007202275790331565632337469526429996808628431555097016387775235943063634100573466845015314526904508784816903970987687042993162466592928651916124072249698019819500080064821727998354757168670247424321931049373006829727858223343841135546015761500928462138400418538242882472666956703944361972867353340047306011333171578192228120344191332111416546326247115559863446557537979192339324556500625755261534384030156551924587128581050207973418766957969635966035110688116850337087349108467000711170708765296444594335778518811593411614139536866139938431427460252802198323855521944884616409190362844193488137393005671887053843962690179664712636417461693492905603643976552575482201202419284901937857803983981453348904265247014041221091101648722660408774398533962928281367621328908621439255978058936263962281213022874973242882862407529830620792485745599733896478250795794936965072936266303589463477903300992676658470331569225334164496863440749033074033154326107935854511053997632287670447161347590636413790629450778326147139388029012804456563765626852224615100419462903877017621143412519873279959277948370827785248199937505542714187217549957508753760941512382483703560429999784185503411890605928313806323847493617321366321258648754508238257213639314213094199465134119953486787086777628436734292937105446274696605008261807301532572369111401799883719733827633162053132826023282649154602026958141337410006706954972792638370851962552758236929170389583645778771719960631725016924751946202961951568170882364948833310616201083093639975479868431620625847040019667305255625591054262313222294807081942218696790646858767465290956986535855630677401781484953135879868449758039662137943779325411165877677696345692844701318462277995290008210230968507738074605412729387299577445166852535514326450143397798220588793356786974341577278699795586554298200618972685165812288733124906677356355242157211246863298843708348726769131585992250019767080998212790162191836754143178977707122828011292531760973973435100691201544437345861599578737895591632604164641821808264184108113247221575941327620637119811285695033664483139588186796026794349594821124604384917744047640550352635453830826987560480169587682390879033240026265934030222518530521367062957504055070612500884431668715420380919334936651076048462262318223655946244175419112680389711608987313377861901512218165849446842044854049703159050698857738744184064806660652393814960353895179230368835530526889974266490100450511443166124930972058316485886162125706075520957041013687060060208143058244707354222849436505715360252178425315403904979597121008475005637011597791382101408710394913036128260868564754641194848578318845538805977163733485565623956905792997974130730578158082459496376469751544758773811466605270587998104194116182988027979208887069345124250390139068044523279895941259655798348428325771608544390907637450557576491093692375524927555002578159180279291802070724958503150302222876468702779123008333015831792976185284265001352524684535492885326071770822836041763350865226779631786210689535023845375846850439646097100414916656075371937257390101970664197284848183029707446163133012322268263771861338273883197423569366747551498359002663980836611054177104293113283030530029626739893334489733833120537479893466547635069036870149585228190317726482864575680582720076845552896248891463710211206861429218703445069931568666508586293225660392159265158109989371326251188520818004874070084308980602023039930074000201754161795504459961470564506659491884212895254854829652792868934746263347403506481885347884340860168249001851158182262117034657304898440638449809115459029264911179753336079061027793244291249482681971130539371039024636798746797297291418105281826012960811809076251955111857413585301290142150952270292823248912