Path: blob/master/souper_strong_primes/q.txt
650 views
45327443608187301652344521507293662393957279590130589775850574393194332908247169873764755728375214521454502051744765993922377399955603909529999764812320770166057105796819344367264453319724385945793463108329841335103972463882483649720733274407763001418439818253264786361819716681549457266404850829862048026523587974171882923821871757239400386415515183069502248220014560641987558273602019562846382577427193449195595194170525793787599414857521188912358826347065541676964527808431193092043186907075683542827298241333800842494803037530461750510231513196539457947477130461175029705668622793924616214807332026401986844644161276960323121062601677780232615843008314576030725974645575191191351622984995470744635355292693126578945400562961002081654453512619153528247438825197444853097107936556533129891528560957384798488965377559326880663308358451025973383007285865408029778736159073986008340801693922646711666522009625480674641899813028674315060939114837553377523017071884769842285385721546902254629886911909970024267482930818286043558796282862372310643731682696691991503460355576896971974275219796266798127598177308698625882263113852059206577601445742519236910515474471373702736326124294883460106343836745095390666049225740832771387904693587150456190664988901002547062880218605293119784699474029621864515918753881254200782463977702079447058135543017120397623149317626788072072161928056121065412141238796600235180607186656289857560418208305449707095087391304013755972550809267039746492603877322228981284078606341440941270790526380591593458243467410640496276727085364563862768963605439267294262927342060764891870134980674325758215305080990040624187012791661862547728488982324297274314184202786720651629475943639756377369269567311795565901650862699088871641379378573438655714043486986483305274213485976308210057413534390005588064793515348219753422780367572355425170689611658864781859511276914786079152132244245724677443839450720918831621295803433818508675630215264645468267245851390408482636114354414110769091425116137170922514145390296888859044157213819947661118259085637284672490692513307196804129409953930440891664141436960699920438129097378252612905112530796341999756515734833154315607455687531629123762122870942561781807282241017528817147132688730122005673724489491027752550832316364998447742087113545150464466136285255704311801267674603559400576958738830663560656495522702763830555898852203339470848004813976457259919406861144459118612785280963272803899317228670176594664525511733598690311566885795835581336584240400780984345466299982576037348353848950537412110057703139680704060079849425882779976845932116782715785325517039761724733042997955013422724968238315547825958129955924780007735217662836807299990771396133073154571113469605422340863507970391433352100367737639989647978961584183048927569027325744388945002271051402544980710684757444447520169889814897888501089347519857072815614124975981717113732380181835838576976113101014804146172590382847367942801013970740049787241846224385620619263435913918811369229130031102504963291667373735560189239817159170148798141734665203202564021843327489611205950970586384069317022520850182076617474586715915988909162200333617439441026205685633316070713629593209841783010251525060774420155346565282520700799777103683867751143808294533817902408417557785866226490183836729469896928715512928452545885026787749622530137355881352101172748896098807497441100203285071491252153710852993507303219096205061717541012515706275084605834587956635958208617069089287216789322884039711622753078394883694638128109669336675856579081812892604066277333086708617685960377864753635600150999966063342655896270990522689813912446185773560538392695037071651592077679686252645839031137159904068083987685735984675713611504292459754436305879048470762834580068417534745079134144793609061190937081028820018691269590771030463792196389598554509066665859782458400394054078065811347293925790640215063536167189303106361796427117251864124296135162634439464086615589030306457493538614526939903124069015331776141447897357450391684766871884874350888371130942860709154093273849547991685748464929674453636476969246578522750765790064082159776534321748146155647249573083054806795101232880131532510365401461985811518692055558862151749476072924300844882153640401555182659608321577191986744997298550131174455846935386125031206076131235997743630287954528073633007182391148917946314939367751016235893084851914033695276462490838879726174703323973361780852513563871899170914706071384590040275229479108559721334098397283979039924145579013019976583060597449224904349201776897458144874526647332698537276650717693625198825218571100488803295859303551877463157645314623308037290257097105827402112047722652701336254498536907207170497386720465703639385918008190640023570027145924223993829835730254276994647818659356727865924938128644644569612544095283568240739386442168441549327686084956508823933539276068115159479710017097960336042198456576605015507519282865986017356872846076774521925160729871811526334300226719240962427697033096945310691820218404593386261146198321620860751215906504171497702208282745827162101863165260444890739428405935711996705313677218793727818893122126342781784765611376773987167820947714412668553446911042461802325894863912757202591640132422571956803555899377890604487216664118973718761617710759810934801828953848524474655485694094232842930973461281080274722098136931404629064331525006115180852615037968442388051213483201131182076280826416717772899385561375346132996037637324458446120879141067175524800025869037119920307026652360991773838132275172651587149454635810810413918047564801015954799015147623742116370702641930774884482278248889473688783740351392521686719515168151791002613840997034589495303581681357039880065231482372424404991396931504323156840565317016990464254248203625783749487378319101712466010333487460198072738921280739354433405780126245279013624705317044096811390966418957750927109666857511372833973278572578056927223505169398500336872479220437733405734241949185289996143535214837667589147597879443684747198678085111910895082884302916079419925462334197596179967945950998273365736818331798883367952233264517505494417754730021455411428797026559512994871086746390077299366491372014620375275134511353237707445798371049090566447082996532598681831714782661440803180636971855073179258434033265364591641528375756046862299409918220422138714694245407832191395761852153220655862633552942881256453507688751069773706340103534041295095444766742137728277122384325173543390913375653886168543498277709650064725016046805177499757786538440116078460207342185203713359485935051402026415385881797914372143260190502649685389094126422943066755500788688479798317152140117785410894040442858262200983052578600531314798438972639952817714734153109033573856882569104147565389168571823133620885622151331763544476158066918803548787771258871064564327227432320659686415632687583585878104834195218316684940512357578285924124046631867161753667177175584102816075776369925995001481132435461367214999143500416150301877844165079363138813461922191023690964181538357431444710137905383027156775200706204152006812249824558968974707001757087469206664312025315979381379724508509756969371946170849913949674885903770644784253247014350736637950703153676727824502128873145724576634296084185387019081223112369762689633688877462491200163852634031353825723238730751555844962873113269472699181075582559928841818776353459306606640654334707013189557497452936677853790860546958715104086399841064720738781564060048852237762886527614715212029078011080811570120062418680189567417744763506952113647009442627366175684605804315322953214130705030340082943948836618552223975565127546439517748129034776147468363544867876737690538905557437060287087881344859252980089424350839279834719917923045061081071544052061646694148337595784544137648368219674092577103506012358893014747232042257718330606856381597542445037617738166860818365972919594639198640406325345587884245804418314691033405897464461385913730319067350888309268089317651023265108526049110662363367331189572211042324420812958677228803998386440482432030595950300532511658205889534577239626009029518537204476872976168782383938764330413667495978934580603014547636407966694565006417196643894047462589760327692456637871159675904739039994645404991222165053544586339300039217123526704990633550847959550486725320779825489231615531096680842031029090697906915502268148884410493870584374296379720213573210099689532895696046544668784371846235096970589410895968296110253395244698749160727456323899559360771342934338311483647707034088449540865990918570621554990715971047132769241214346552070344767171007617021371917255658341781892510559212157547303885374188409764485054198745804510061226687882057163058884598881868192854156176955204745385079947465486031960344502477730205855666171628207264243425204950359273688701449473077069918504502928113505288609756574637499744210232110696852152772794690187753475625926472183537740121864084246320382146159386255828178592543919791554882574042473736839350206142409268742219159000397905119882404137165247001401058508424374641908559197571424878259090591814301815163833592375788632854571527393890919514297171300290516232953771238253334875254543885005357552092347211808579686063547237781394291698041587289791625730219865043658687333947470403279324279444017960071970762999422977801255051554519797106862393620169014954988440599484050017516418693195231248796774539775936050905145584643017353633133417078662548385410888829768790549056162294869250872456372529719268044681566666354918309972529839969111743822062892266182972255433295993149132773488966828372208980888481542086548210878786286853555209555216571946069328838112483013713853271347292957968634335458543921059540592626421073349891901952263959619848577679412524298394539609097282557088229961843750925074256704997968703138593984365396276204700088412025465258085103124298119331536135705667974053854682300409069548423171844859437169166487877808226588842492348474181634435573476630183357032062118334255872291746458737048026756973570948718615979131298800720439471397186883073898239937973733371378082716144867357797905719518987326356213375451563095878509481661222806811487629354929659704010708584731077365094836399580502910402417469646527407766310964266384384627926477366019235684278664053413921982571639822480161619644398466296055942205285682308422720077345021454198614641267788752528729931749652866475422889320180166280425883986553517847023644903539103025322534893106327870453320567105495237928759839796954365479876086505685734238032502032552164302478925613262830001155958262966069671411933464802816611165457675657149035076273349704878493857426348434637474592720391533671455541437950852171551051637277622219116938658924409648975018012793300568831445511588100493088238213225111022582607191743634821351164765860216250608351280560324840241376843345507763247380470376229281083704622145606728557626607393021838483909096603557419243649984908696230918171733173362500830503661684301579331444904794526328166497436586294467228383323359851969097968326609609287435812346480963042365653615960740821942341117579617020782850465422607374710893412793073707150196034083588757332029537992101266893090126399606832770428475485704838312505101318784784608595413697667164527709298933614059893090670009190431864900944692226117419004093305782177439606108273416263768119959586212838311543289945848021524148179444101554015182423740459600905998193423874183764955661569769083526583122742314129532539733776034031912290547932029931361546846303274799978649414908520631239020903578670698680797553316157155018878055064716932611994959523473459996792236934590728348154991178963695811441120848496031437837030825800948601177264189152905341646974630088761741953961451293703947141412693550318023815195959725919817807301090773948572353427122550290093250146652416450627742537952298081541833197185837298495148061249275864901199883390357907773054041055093583872772071590249892521938432921615686319204571561732512232892614795518243948380701310013222645297676259121582399585816204059746968938739661149296931646705209099260006065359220637597182104283633329081334391826022955561736712066169687163621630524226729078938693998102371951811679666768331933837032333252587911173249191342453664947526451129989465420144649847233045468992348802074922273473354548488882276069737367454611062638445278534724023990131136942442819069947419226801619010996904976075472370477902820123638883348760399468312850752967765930011677355898161408191617707270848915991328175383504013998824158180721370847795434926673431187730355770759308212246449649353435831861152868906811860504751051677003014582886107055040925007373919274535321480142458239494053646811323902381964526991223659059376572782375253986255966194517161137854009378196726341886778358303511022971005854296606478596339716076973549542221092996367107417035977095720002180205123200717495085000131725490320613784925110871328315225464502856642327083631225245118199531945897446818503151804910228130328170549205260833928902440794848352615449737009978347234882588720304665838969935861908198747316870824866771792306801844101468408779304882494182681429566545677512630301605847543739004336864758956063061634743207470358526193584034440893239383672313664447211431311055542930462723245641472327741822276389626766475897672134672828976870945508265173953047754094139190866666448336627712043671829488126412713711380160421614873767262599139295377235029590635641183571928449520635390233470287017179698793217650827880718850683033600744701544585540840276171133743763197202819213098979616136807471945303346924792839078859542863168821332574839908597111857073460851660253154142010291353196209885378971175003035724245114520141910080978456181897235205573631284218553943194837347843188673738267629546779159108953026481644902958294612304119922830421180947031938039491393867777107714695741880877033827240150920557022018225109969948160317703133039791231000271813587682765056366411930946310201740136096628285805801364614234136584504316048433626025401086608934384633577557381555787677784902578734704692486398467029052377507540914146631689779255645647057610809748273944288496028638741637734229205303293079254006959915728179505193306175547863062518539996037410038166840191378718968345404508203703538919135974870679654877617616923315865393458521219273706016514150188307695098183898861833554083009868117138964697436200277565142762399329533271294003517380704903992183952609865576708790807111756498983718736232777728474187644966702784519503376489553327703613682682225766209970336233503952764658312114220124098860825025901228224686345905204572427342206565921149671234961660868163808454411180389544585069723020331134107503220597204610507712978953218310197199307058020731017163550899696882215216561231971110710684244271814815044385200906249798984161553013319574804695994088713972985777857780837134150714800073395824781413571248924296362629488180250453722990200688518992917105938656118831683642826811107429680956885604475450575343293777859872136624037816400180628476094942080218958092789292069318363215725337344797485154249754239410083824776420954564545109196240310515988876213054033572296813091916223584215950437460369262056299048852295782441434048156710622765528881203916488971040489805344839154759874960627837023932967055883789659846646905974818332759779279668232462704108567894616454909395901040387356498721042652388287902666390332092005070018998994226733173542840626999805639768282860283559953851795219172152933762293869183118108997664446656561761545553280356527618048549362300801684490030882338549216373861770801106568538551582828469004140028567671666383533335866999130353803803105114079150757032924440608534566383740459734720302188042913094649531932797488225351727782067496456953980251717519775381611483345273729945965733800594560862708670972091999778299457830973932245010466749575564567957476174462585042389575619347242494723080869019061224440282679384917302448441277939288976019856116619624196678139864558857984212995833447642886632540604416445585895892634036614286551871402910837123161992413246636596876954613430367636794861389504900210899032305844485836817134707847778933716664178652122687976003338447348757685292227263016596337673377250719157801125723185970254886984743042535275548645902087255351816615280584116567992721422528365973297842952868931261381315762288590554458140879837222308510109338526255982775444119676139924717011768010955728413119052503788141180453011528173274803760817319015834700368261611311193264444738719144031459964443242486329044676854190793873599687616149007597777596502185529260477060115051375074603410371721647577472848679467158044970492394612378126096889431773814263282180114556431079045679104064523298089340416922819873450281451848833829029586500687081659832905596523323408342897709372781226860131367016794581313290439713401076925833294593711405657080931780051118185446358394125968018770139555484185474284716576025159997972348774607368441011878026403310148340389787729117284030765413615714877148090169605490459412305739395110661080065186318284718299964384548954685481325145231989592999634423256192557006002525077568644321774427069405474846362597931927916075699834533119566814890422357270286914252947547066784214568858075745934501676161979179455661353828853874138066736362839094244374575624047222561611967910716993627192696671133194987157383691654609132479025472856722291461823399825454610167702449073399387445433002437544956914877885778097973055964241390811752122247699051724186845292692394275065642131798901250861652215634897401616182673021376241368505580703380064106811817494330743426653749047476045355059202559125890915866547740547408919075556448052827035839751897804411465126289299544698434250737731274940456982984790243594268585952569095080993886765144248348598237385771649097371763924524731543477930226291867693250882576613605879962151205977202857323565525319776716050868754908124078679323054598666606553578172877175301042262201753292305637819279124961684290518499779219921441374957180129485975071235175684052540064897919507818807337913988331697540000513128730324617707796947625255506932556403823233350703239780255469699103551282366441449387307224528470184163672616457491212353585692138591770552428253483385301892714330761471082277580716052860615832465945535458116542234298872522547429964609805605100078755142121810518793651375839901715726531187073405449113643958909676372080046582096320094704157101930373528593247161856055451946703423410832614414185374158452192230513251168623112513101681903172626445617711716277993237888139662807653042194892579114576020041385545055796576398786806177380643995712903280884750616547242801479526290036764202294769998388369741115702185124896631102544887123926793371366507121951996655209691298709970809799621566965366356816199536059257140547466580487607698623429365776758033761695849095403339906549411302225965285760778621296548557048599168093319490641675230343704636634531236485795553833110503655298075101532250655271392176726030028824488796992742437464230773094662174105944057586737101640572483318983388477705237799540287236485066814430457903502792866373254162452134075917280039831613699583082405302246598535528246617400676994190134397554186515075997538135889687871026130659483107340554727803135750284171239340988106280347873367374834405240758833710029530996360490760904461765382662045152364875876167747833173679264173289811130629378684078183940176079650914118149858043629822300978095048464003153984097065801887900978846184398249154278778876703855063405942392238530324109451577856905126646256893192959977689346763508483716745133855679942789976671469204743494654358738580227050492056126525821173678236059205190401579495888306869514537423668232030360371598428853842881501100254329732344830822674143975383754216405094459321015723175602772433177486482768098521561373897705973248948866787883474410311099244578421804504656056840092397550858575115450415913369452631212912192365865359315448979128913034324427935473580472167196289541954143060742720723845678541011182174485700075754170280646926526547826625183270025322358035408424186423095180266491252419240689389707793576207953827856714126808180136755110821394251570838141122369588256758839133326466236114232606214149903859363527315933607656353121786901865629505741072300990234582409642807774179239160864400612547575475630701563873458410406806156431280026088221727947841540552437480694765824833153462927886403178320458357689409983038908597514401499859856318788439900531962657731209225684361018460912637517928193294201376679258110373527186889087377852575479949473921361584029611553516796604872768879870289382931004398089260847382731090714836306936450450307387651317488311792415723239598975534086628770106713534556868602635939326585280267916292516666213297746615367802039160389426490383424356881827080337487239453779893633200349072063291833423576219469225199728054194970835526059402991626427204424398093952286671436746244712580976731754674979075369247667826225097014414994176582784742599887395423916762050962374963362262748839813776369091360834566849012288491716863241944733281322585818263876766750790819709528456087106888878988441308194230127840537687297413129527654363568251189855602873839691861102348524366799887686255712557552962649481042174610395960346135965245236271505346269311108043927029215649671679969171065550023189855952107077511449056822847532735801207194116723766881613305301977397355450055979948432198131901395882188939748585531245338245824062282287021653158343368932620397588570364118322425184430754912729027457390345514439521667899101403365135848425352353595151450255228435973609749579370096792536207012154900195717721644715826578276661977980789103611077853736534969204804997701435842916198570888629687431950932989091647672574463820204244213989264815588550582321724869573086634675996578410489234473264917156087944033979287310402975303449600224019279430214611371417131901350018808855522789459906280857354430568492006935260315521846064436288333577275894848935776476119316245169870778243906209802877195662392807025724495017434269885455402864208384600389822833025726289840438082061563494626393960805246202690469850121034258723196524310876217878487715892546090063841180859408272988187080584898374911769783603080616161952272324462302526767477678374272942669373326121954736548433645530316122253741740529130831438668255700020901281945764586989182192062155666050949322039456267025265188404543531726122802387131028829287778450999716066928878178181467678269669462991376033249131381452281579166464284091840136261043856211687442550183501100670933298143861657460564182154150982064245817595498662250869514113409864922249298802749192327516701817671181566174493934544015384119041328826039182093318262868221871677206834081479763436572274090499805165955945242150277312636742471721894159597061181426352554630402251646195080649483598483172758768091968669729977099530637629837961143064104510535768597608454761275099738126712942640193581827191788008643641503456620945646980770194761874248919051885263685657519194297611253571686434441036373988389038360921160207991714572906298044330708299009134944514992438774274234030134413411084681929930024239775326796586295661411682986600410349733407093421443957683604473234601320538119081003466681882409353639241680671254860904756735931266319114316373526316949783070485157778880407694966787065026680710350044814622561470778510620567432174637074801316145043364828929517877008036541925352286078414826767870547501951746330966591574410203157463177859016165297878440709537537464463624704258128363802979635882686391911206213328449827573617711116568899855240320730983376929003759331015246432637680885276878887662535756354810276989729005316674840673543531675862683695456301504787688025600314393558451903085836280880815528760232248326120493923481342608005455249164712325876971535236758209978818433125768370274161071557197157324938933354434486007801841372397707675468933267494069672437075829147641586472730345049596338936771925845284135258284585063719872927678062901136113521574042538439675743308866991294374298077728263404321094913710071819163947560788403350346991156446796569418044753797431022480708517758129032826259994786079475961736163016151327550706109453313138210575313298301025829289211192730018086785516584043495593809120820034735277773628376997054974406123648959065467422542346358027520709788580069982786633788554195932817975823860958985380679552760143622214547823388480544859039810513272006887519527062604388725878081380989788421688229929665261358559168473998618572324481807117120674403793471948245820892988075859221254413509286329867568122598372955028223153660157036709783836662384970901920783338649280972986655715626847562055907810528080831202239766536011763529962180101270153369055863359558466272919256052733833607787502217266638241709180557583970218224976818308176769331989887607537004131542152808163838672486054849439163448150597786602357370496727619597921823356185778659424627773401388451949930517901120208781734326925375908319442654612969876484162935382148730542100185019035265972070500164517079186380096280150253420846253813416124167459968807825390950752039405924769119180432885525345743851395192550992535749958977961447221470428356182509002803660402242343763902409140375940453678139732296856090820135808572873267556874256377573812404595153780275338897848353140014778076556158258919860205053088614142351796040113745938076214121519252933975057756473054233214705587959484667773341315321942226884297677854870860942079961863527818810733014327221418318972302544611737212480050655826724395724515823044846817420605442643863300082631850066388115783801789974775623569798814990172707983810234359828023128878563179956225156694290835799463477106279171099191202043703520756180078002085643594450662849170020118631052067201302597775372799692966804264866023042216894616081994389494436269691603859116891572791664545953842111792905667306952951697719164043455399147135543885608004744528333298749626489467482425751050320779127058258776467639472746374268734536068320171171542871030989050210920421257598033458369918144307257577703533583579168372961956688019443503354319482616274540409952684360092551588456866682756596220502097883007926525156261141260133594656890936588294909184463092721823067850167070004009273154346947965795383758619083547104242786416615408580718624600281590306911104327158765931933673612581068130221968540948214352603580453833452453957789054944548336317432928282309273795802307648900545080866630959480724868703125444916288568359942204844986015717609452332337042695238724027903802346814600535024037729448578432620570823814093863535911329553563545506114818106766234819497152727426635084873349961320060613525898826385858646198869674147132205506615460725508628797069339309993430668569179522513505745838982478411913876268491897834495073558798943005603009041406600213166797915163984313348699252807701078179096145656473338069273544662069942890471527214853872578636588732017422705655501467395690485622446306512496645395557894522034711531548703892007274735550864887302571782219845900905258736585903557536784080003807853176712081112828867700765173058948569208558803090366448304947934479227475484601526364257176680462526096556820044148148738625963547677877785480095802446155393665056580740705460752507450682904927123167362009989817940660135544808588964368390663364496753406650323930399006689640795501833030637019629444171167257855066456682045493261558231181743270763287577157769681231788725747463714242749895462016369590754788680692772140021457171830340903729313875625977717721090305973218868335245919576881174899197767312481248477925602105765774132355494423798264815518479529544265753821277912510781139392290356951751919473029785300021224008644021576153350055655492004581315929025022957267309022061237314654914976620472684318722894870493860669667932845435431132307392426613092397359801923463441062584206925488928040081155368837469693021928736243341782097762165069733218242407506175605866065366515773492128537556520118384210749730017027240317710958831520542671043537039320164667355954502967404593178572117153830218347675417031857299213346685117286327661457713065595953012314886921268388381046915109372721105414317378245136980065850897585924263874303219885305420182836106151336804122750936996705334761103091483987032795526539504969946509657497444454973748288227359737387434886038660888134469513440423823455573728320541256551996191840397147472749228970028171068998151379806176649541981559381125511244883605860020371818748613913927572032048741822010240667133605609767510390118781609050872323258586906560700421678196469301593070535283596434047198118422122945381040732475242921350773824802201259530742778268072609691271918197128730169641957326485233243667815933964111410897355627716050316571068564168952495272545775979732232193970301394989122530088900250485073836878430455380118732456627441419316625149900887235793411881885218174069397472921281730209311718898393803208192716024754155457507546317655194963009052048856875926934314964843525862513117032532530292247686786459085404621748648267279930342010769098809124067610105591939478155156529172440846696661315314687890161817633559742138290822483791774107918841130888344399143572081973761398697460690085829971750007944363600621655859214606759299002740815707400438798389746907203192697942766704830531128319362764337204693818142267136903787181225331750153980211765148395700344998588339062281626206971953284554187178101702062970223447515026253211468634818611304974398860333653551616935430647303206989848567653405786070112362746600800469396217976679051777135207796553482315547699130367454503108999040957666626532856619779572894359969109746929833512120796928232802116083462954218415749502779376735986447598421397298528870862924220772851364300994812996950958528618018916398452652778453795776923490226331018323841920678887631957723828407107073451627628690028400754283578812515219356339911779381251115693493671432313351776732777806125206342460018427814930587325590274692643832672624711338024603838378220827557185499687567714514622935757023615754723886913098995133919457058690140573082840495469081426571937211097740641349698277821673325023093267103640610401543914902383136675170187960337095336911201266963687279663883133150127460011832453447308087334589236341560138562896608382049299141078797738059774090523563592924760127386754306477297777910696191834340462380008330480255430065391983788963723383353188159544762925279590510917169916884669034939971797069813656412067543624380982669692076604326025579172075742310148684296505085157354599049803699993367470311376956455799940366485439589901766943664524891432719274904394849474199389545524708220693247745282233492746376256534112492903134343932979859071323895658833064295372506293635845911181470385752403836510604047343951123684189616606017164936794730396554399343194783104828471173453613759911832003677236254303573047021505400802660019562972647732362786474856588689626783585348460758228506923980321424071973172431832824460329777212799904343160632817684771926833831894767036115991835744689924840540215156950188192209859420697146359145628575256373471939263525666876464205433037486912147797924160809547126501171397071136146499537501108503801571514991718808032767542407178074985441060403316791643671631477259035145204231816030770274583130822598397231561107474129465097521873594798967894149281448542856545222395436608001616882049097301038441803809311870948343261272738987027252559247824171061833473437246135617273630587743711035723065412219437370742560342282524640455964282324902100502586454565837764415252992002049770957762430432220136175964539100879404481354802755592716179839870322943869025197350505974747808842261968100262807839734197457900401325337766784910335449836930115041776745699405051251690930219155122268193305572324972708349110429196434685849269234347510953599685687985520078587276162323795540215209335132519339772243497123109739755822607293461972707925659405665881340458656385996595780661857942531677625578752303469657958297370206894908090356227110538571624359242397389386812612361537189594848582853323079484023796575308832947276986315685614459092718655240526045690692479516687916921449788537946293769629268023355410123145821221334910601310071085003576396898181942419131630686545553298103438817046438192572237596002557976749976525464562963915059259841584609627231504059018441420693688844503342958154923663409738791195765097572201731213575693047561194470059853634255744219525512822446655145358719195253975238453460005584611011052855189491441811264667482874275493672720233033802974176070712572537925875343809622758417093196459726896982252113422143638302957670520223429969926818719731078553765897901392039946921257499323792054833234481951316146976775835319222248246983688797401379310530454469147886305707080450052952215780857895543968536127925695802148620006619892373681715703601171680497013069575219287678202088382256209120979311175552976795504017744436853947119189468465724230344676332450899456959621923714488304634776067775451255359654046401401261625135574283216539669525359372250543739000442770222767085412564951112705680407672274717898064315019277386613051484812596280395026460490053116401009084604441196249242024169233916639435057587757125023924195512445749101089372172866552656445641375555973385412981035396468654227278995768724523488378750544418830142203624420983561216871387801162984420431123452358036031116750089714917447742283341556125854660784174736023074738420144873907191589420397842598839792106686473659994433883587140540197562328539120452042507419141368517725534744943068847056782944056438267187362883316410166593686477256353955458083462886622172293071672726059333905563564519344171492413103870155535779940078011539994881069448569321781761964963299424875788082959382714210980071226603755404886067515925570354381119949537260272845661504416523956079394846144393712693330193393506279786229217821117121706852504749258026270579397704395858260294415605414571427020642029882772457603265829995720573460377031350613708745182550674115543486673097476455582453422434921330025562654010073960315470193007829768593771807061591495312876682719807345282152463899710539968405554532187453446913451255755060693029006860343304258453232531001918013013241746047357394131442977031944128055059712238506549044478559965522170173901049792900652697664803607355662006574419934234939623424131192619156129256581032533580864812814713418341942802181141939112775280343116376239241274458094611214871724443533069830337278099495693249284325158358520965637580544408193050944658580355001602258180089146222675380692225044148620026344344495678796037694447361157421266139294198716314583510964477799716605261118097562148636524655201295149447622317547589959409417348863833797638903339118188889000278141236992388444023764517325357625668370830943672187765069429685024710192543809230223938400580144372386491265134752922697387380643765620710793119753052338117238312379340123086566633895959189578173655762284224324667637802914476961169855745914269155681189182998662316584380980082935491445872366816002447058282364402056686383035931595715050263228296331566334258114571867198606208145128939097232877644184955946113773367609257477331044709538701943336255560949576539296205042132644350840699153464345971461883933269141949319960721879505295255007548213598652672163480761009667479630286364215171898296126218143259775890988733996278460772886371996857540106795472837615844360097815875791200475153476423316497744012587843045847879835001566524865200247024213951451534613283825051552049771846022016005993492752731857549405955360960937812960684798977012072110611722985490416848902337055562758843877900967648684090894984018852785636148782430914514812785612657713120673477050381520700551150617633878135947770293312723852708162590086638959744066278828512058118248588831094003971938123212463294845429353814819106742305306180333123272261272908341504555500952805335097594210554540759475239090616611915591741351909166550846086158416657159046868727113911198521902110266647993307109078755373564315852708578586100531714549219001058223739825688653059991374146481011298945186431178270362466505576693578533355823261311409963452325302747616191960002322804388942962547842773668355687732832075101298642602657788553235992520256638504692516882274920856386885260305721918613517341701494419236831052034608736136222195862219308943029978910109353004439582574207790383723141738754046657472953279890496013622529379168895710086589915863261766256280471969714884215881824965940006894898966259598656605032762639759820663676351657034630492930480848184477514355200482327772432944536286453601887761868500184755600629295295003450917281819137895894985642389099171316298389060339166891596243653408189317425061976982716679268935193071293421570312195190253021279012162908850621711364470993542650576262633922725154027720651807261397110450940885084112758580397894276983903905429824210463910519132514555961630352270935575689418525358252783875825101229684695467639152451867618675703536739041977771189284131332358349207417874244472400968589187467886830550439163726874851590515254113642071828874032182865801985026873532823433602905728142558993110918424593420892001688861874235006444560251355615184447332484117267002601708824961075187476741594279566892996432540821267231279836212358831683281426405442927477984336861105375307746843024156153071975441491268260743233611086784865411480084748860942304161108806725026258614186206778891554331312115664739316127540758064275672863031655682267905358070993989249301476629964382914133881300387546894010463838615021026674899560417870896419190726652503854412890868440964998317000918335899628197296383528513467281630695384697589258913823033138313720673412101568073210917526719496675017955820833560375433598362043488071442172524780237168271531143980784494970497538099155811970316827253531221228762054446211944085723608875101509545164046136888086525562881520583943164427581247013547930083888570592565921940145066593288206340082757501771913717215797918921266120347973078879416411105764223413933967729657289494539809934479567674109765658841076586413177031402941772751234313412170535458214102057048911599107307529942918698646776341067323347208352924760890613955940704468802502409850038013743793108578560119082800058935627325258539306982613990710027038495866557594066601236237176614267142360746135334587312244850969555922679384953895729958481729039643176426994367953639502576513274349586417746449696902740123954367496662612008131640705770753214104695346310774068198527811910455200814961464686911171605731950544727302717004166597522899016605410561488713496825016717465769299705669041938564453303553119112900808473115657907950712667904257966728739652790283143305148018329262646618291383926638843740238345002844604553184698237253939319132166145926066430908023246023346063074826887403788730296981300529751777871266256054328620687152330862492711455746496994853403742055219903977823943118810055366423869870148765032855229794677367768393345546991149725731768279844395226863334347881949646215629753500465483068573093460591084655539676211456447832673247712041005091061990464242164082626582433188871869030243547510141823046978374351494029832748788273601387901944249263908734738324913076266250234237565355986468313286891972298995722424841064787025847211228642457788960855032489333043365629217507291541899336202170563750047672991147937449359537210307269833974975621547130464166046142391610673100346039015446403838629315724842765586258287003790921597204417744764696196461545412513451731895129691709657365902896588773754457439716245288970658782596949579922733194836888377791067705397081274367123139876110028030109783173961212287221876300655154578570891699881065350192464402837527076216068264839569809374399754174604307337480846492881810416720034918718127262440584399834158635261158104366423854051050617957548121298210636009529948114075160568459718829923002293979937111817396126364120996699771465962595353534317813591659021270753284043783117450703324746458789912584737868847472641015163307747447625081573269790426347293728841147737762552275423192286826532949615057525047572463028751079636501521069010796505267630923735741812659389016843270510536980897787289988607005154996418696532772629823294330610754091253456787988776497787628637564267629065894090544648751087140867715692565699190177543646577091724380372987640259865262595389201622473458657287926604504705285141367348037910989244863583229196273864135429109012212721798840191076723224461623004329222528450542764093077201003163943276494076532047277139473425740569890704304941088781965830648538032656542948995918872732396196498976641651190793070387364525454309156363173677084335345233965104824170844300271579450439443553012685221148008064129323595208464893752115035296848262258547091611441067937608568175468886443688240674947592043358661318655880591789188990583943056817341257200170960097985065885733489134434980114230160647018179315641596980271124928025331249439011449085962033421976708848887192145097332779153054108938693075774999768462339592715470740956301474466941841709369092152854322991216606646746728374031396461110699842616355148421172105412380607666886402706114494898268665480961849599269243732967458173469750262620745386332870525896539382355193460629939050878448190405419357614009189284774076444606593010640663438655424782957554303846935244533019350556506567685156729948816408842155589949323493342835531203345991977480172678820562728164467655868071050297651869123360651988182410861971250022752416659994170691432703121448792027938941440568252978454067371801591966090144321532667729563447669282566027487187596748782762898557537379038460904191262190460627806677588920998883934225635099663070162206381524643901142026775760052628119067250686347274434340997716985384380304445871930852585005262337163494172249299052330912769696429590434041555824740614953933494036897143873213492640520386132876532385818914976158587410485531982414371750773038409365703781319698843895564988284041018178094059363474121498129963895227443464679906798591697805435956418390077249211478188186968390468474622951274600114708256199688925601617847172839963930405688121785784366052724543678188164578030828896904111101040982986793275421597197057653859820823507541713269903611135130654180989008364752644230590638107885841806749508950130200336693491954353839348262970129780035351722504885147676598216339539710207075795642919948838743032447684189937872147955886708725420518390825433616026788213925221286899652889803041682678249462193385316703149328898478830602842923662177993830641114172239831080026401113633869290749004549078709771958463271333374914890526916594755589445287947425466810939981338466044710640421153273512922835766029968312963697580907523109178279183190908987425129143731151138316218326260512978175748928933926258277746390458301271441182009163341198974013636111960930858514635415339070865062726955862329816627065342623004084248414690988018326747957492715643106039394899495771680576188668241581732010642171003936432020636753273606606877368018978173464590710616383822112568497067067649917643194639058924725380668503285326681872037968381532624256740297427255754044139364313449861960755544755560834192002195758783088611052799001447539864242706142671101739377953318074233757380730692797514397858806316226897321585911174388341922109624593621783055417517784044659958911180333077635231166153603518066910969082843749060826391029908265748357018846020886781436036349714483132123122422578700997032950746998638547100415901654996324091653514790999339291335224670897443116793331732246946816345498634470447665912382850697662120958405182887252523281754857406052254836367415839727828248220473554745241156529483798628138070225121225623139388677310311878048429959674384456473042514000928467330871390248021957265682544387744008307443997221260157491623530572245942171593091056285415853753913927289628986771218103841017070027329249263924168804170670030780805569313980844781316873838010375230391174536776673154135836043341450151919141589398769006831356750511230288727620393529430172071282015751974642796294671202220085070444759501632601570717491364031956312576302907840467380082877295451710157152643303252490798924947359732822351617206006913396635717233106184959534858130686727794814340240525410087168309274913012546207139430112336639054062912027209203997554459693566464258234699016301535979401398542383119357856034688296237606677877779773782773265556028866598171712072841596917961679090524879695061897121652958047699555471818155815512900653411444900399679681120820054083561630427656402639512380114146239268330016954296436129246762904957616961995227157891754743932866058197386735668530796675382771594993386236174250262141988977736545345082911074123593271932092192285876179095743993177572235158058495244593224387672703220146311270209917393757764696587921971657568556507902103031896516931192430390180181962381426721714643076557030661745138308548782155888711990887483344528578495706970937393626325883682552085449336284357359177890731757456077797841656140527797197751771843613604851369409141429562713044672933688865753103898304256209335381732303133632298959851198960328848880200672498199013294344305973831164959630596762167904970391368701148249959570016627695543527419565706444642991242066682524924871934944821621734022872315870118015646117999041840914704920129881626472394464779611438768259364864583094958224798505823985973070711072898426217312519899040446420675537354896749989315411229866500608795645235340207997079641819455508600641048005284188443295348096149554236294862634619091095497108457007662727129154999210218477900101427849476574258207828553767117985078274970399464523244203824024466527951025620560219443169922911885592465273862040110874278041808997742550365993284052334654461592945987578294337014926213382985391899622253374395797884888584567043845849789726084878781296059036895202142101371346668036272667307199033710794924105428084090074785398063063402506373925472161156184451528693277209957105627328838755298274942262544041019333373926755600175724420840811254012914865696110282678004898254539348517992441941873685494362792361277364000966760062504715635392927666948260229106120061188010699369218873340584275867834099204634171176458851583716811822005073239835547324771158776881224452794894601909774617218556490746652465379304274765769730841213139150296132628013415659447151463769072668289582711756629654805495826728415085360569816548925988841583079849823052885421006310058401667241830687732388212930425157157570706631375059714893314888916160864942002006238034498527694984785665603412067068212453722919453791198890636665408573786255398880602896836510798338627260615355556009071892898642586421793305374211357392698088900993158424231931111044327437633154477905274687223889177567991172121451899053131502075138347982610321868911199446228425295666301999983233263225323535354834196829156483622385244742914762446312662057973697449448912325216150956050975075388929666671935131275892181106856736150346792057558113806791969920999746499573103806465503313487113670332714730019318103721048180817250700955032236724239980324344931687492489165075141146964043791088709655978326071494652274801961352953632967498911886518064773181094193431832218416566935979217052498034731919349030983368719932556467767340946965549795771556502928737034369599062708477811158897185609260195039159394291967422388416880552008338315545287561768144987529834257943314472922002750560596032693441534571035782337085458121368947708756871205514230675281989883609875241871277193292921833444884825170880285205929360607342454100442431426503247185746063837416721279428016858096142488775223907028184934262089735546923679325255308382462929976358316886474228742974953898804531712397266342180701638644527091436123566276551720695481194359109762712542647549630411919414389101162544336172221825701164231179343904929967927573555074800951179828486805367990907891920528439104861210068997768915230216123730434123486350487557093281900182028751799946112722609106961356155538561852363360887873915083761440046054544567500233173533002953372830288079858256760694495847930143845121493340877113752274434111077132914539792068802451976276867680399524333027610457078973180687731959215968515716123786620554751382143899262479279835281052958284090598588877618770133068317676347394497960340558121204075198711314697929990915237482285214953330327934334699769164874310237456383611605414832089767960277276685678390928220376196729390055578559678525191149545252318198945577863855570492689460705672343694331459055509529178360376789973308987875611019096782226113722056993291069321263108158211463097948687427525524240081689871771794356603558510365367385103024749844281228494641295022154365963165908749442705299647683302618870399321286452303672891761538232378049875782981659333520963276440791276805335109766639571926965962578973550926615801146199063670657872628195051699237824453481230187821585055730232552056144252069786278972243257934533249914151440465017527737283467233306825006698897263157209439956183648482909354141790547776147195550184733771866332649823433711898121900458536423869509490616904039648542513146052926144609331686921681334831728723266572827051132289376428663122788276288392807973257009734251908666782640758445747957929508730937172278704480481535596254903365380603824133353805125635828473680472137354213371011356605820573758634009167086860931349941734929100599189043089248473403010177217821174344223836585056839367909763611434042113049552015702112066472238140708789636037899119372761427938965452728944090708449691326471770636487696213306482617395552287221278699134169602815307684641980561487249639082245049423217702108020984884313364302185717838640958564977039379542389201734492633702385302805224884221147863147000030780587962654488078666480450801745781528482592321559501271507831252285309904174364490809925512508828181737625639065321229054737575092278301823566340604327453930649600288871787544860464435996298517754189909741007561353089351661458940957827386970107444976522556414927090647757131712829810796274602323719164232676908111901450952077615322577045900834472572598111390071112481023055614444731557332372584427621815360313568487197761299699161636774210822487913293414902957715776945722468004804222602380455737444400517459620046157713298134670002306143388494411109362290300359351712248510771137016110584816055793620500671847841581437513910450259907614755098820677059436090966221471014331933166174038002919247929841361022079127265529333547418199775940873231329136591641107390098323946682092388535576948051655109063342531532688314660512708711235401010421743945427943779506897222717508992348320483787290253978891865611941011964114043599530229640043390167596437967333839602828639995137034459374952747511267887091257659422543250364139685744664776901658106577470739886700182831746544890830857728887697600351607109106129928444316347516968176302446978268608600522657573454583864156313037446758792082831540484433281700632457591009852440334623178420620243445451554465277692466649984858974318255281358688645765137000659886698374034014650915370667840699007375498968945853246535191694305528895589837817219200011783348044126183237660571610117945825895897364290790634104206946265361244016030331387176733614868061532056509400887574974761779492480711797524931030748353312964437986738369943214398022345189607312860071798339692748299612363391144453459257682895992687579292980063135710863507884034356143015467163173029651903732948190674779996566000119882354809150075464631843212915123772379774456232796066783620552063364650773504546937834012762214835853853617351654211209104888813261198754228388275924171984540136249583512924680343397102134483828292790582202516870028176915320173889703487315514678928446840882536263010277988963359658526373844308913410289954446678079383083234268970628296480777545686815498616683715424940173548701057785515944212048576442149842922306365639781243046238247008207038948335790278316878481995964968562204529693456052533747404343609294098822221801428364320330848111312086992027836459415668064872429151421419693069003257791891574942934725017705957795775579487008514686871450066546408277422196962584916170924923398446483918671506190758991757515045606752992530307394277766346764764829901240616383488097693167407184339855698803130241166073053138036689959115507343730593537218998093200893229079699534554536071489949669246798767417738801648975253071609278966265069101718001113461990252598476180202996233558891530606102899690070790239803737020323540388464616585558605472474374269375213195757885251274477884825971049286402520203262315380486632790809477704772022735784858555535054149644191293563910933120032087356393643716553983126058417390369094415704167591376687346764160654361431889259576605836071947200292815620281436408318992663064225184482065274647287970518019199754630868729204383516744959020461943916087066011173729676978612845848178361552063229072926192980140515139243838798400879828919445983148352067005379952431921496478278807259176282171779416826613732076372643359267151555890895003676504127878552063890999203236837127646621316543695453498869416867383024948658972505381604308676648371052413029618671288334308359534476863000625494110338298174574980174661560708157516818255903244699432414340833966836079420140250191272688751726586863536187725048494284906521994593080748496162022290665384527237958789233310130395844275626835635482270279225969903786417742625848837372446866834133843939049049184336454638564256531116088787411678797646898537058966559005930805223443599775350904110663447899897271011382454542209454987069681372820267782856163537936392589787355523357673730156841151314054739648319375732823777520312086318916612542760454414983969176553824121728325345797302636793423121707153135923109112058521839954838240684232491251102551154322316655547451787304699497480828238250837587801063905164302534758345752707082375193478706864922410831354666478923484524719963269243102015783914894861047527871606271384885234112768667647522520555786267737721434458988489153787563050678983991531281800380381262712806361655903315497825942161658786399793049824550968009211703851245038140059322492893290373442214148864843202773295804340924907751437255830637607407500086031317406803379503877093244392474831003287914256152411923717134450276385863346214052952483964121588319127333619492051411014571181339556548686222032471788766625062962140871200865579190053586409389557636753516653783806859205680088839589150658297121161495141443686715316895312541885701856261215587878228635354662297578413808336653140880031642617633903257975023637512456104109059852719926097402328762318184089512088079815978198006675782788481717218055316575798769825001851941620835484943159065055348405743074193436294721377521056853950564856784663952286789463387054149524731919459875744875480885536814094514953226386904700178583557354973345291264951274675531386395790472920659666947321432382523612175362508999701787786344703408725484838479840458089314521448990257815848037582154940133698968735068101587985452676221946922030411005867845121232913148973733385649367401458370347714625808153994078699740334067465461287590901271034796840531390812130964899909232966574314593706616412044067189446073226473063275427007877604401429481195133943645800512619555136796663283510573152195904784928966330890189582574812902383447047549285141496805429436922836326196411130509308945479200628890375838520513403012113008890744588619319843337510847104740270838787523305512616475302748381035222192630780170953444122667878599048541844121213318942719457931284636675265406367825214957522765421281783062325480975191260338707607005925349501962047639947248705307782319280465972522545116615317627298768875210873088363554269351651519603211032684190626034559021895251088185707199633270079285551874930312319665122919447879456752515637468576867625396372894128856179260322722598882074685882820642485817202337560158413992541938597998258293394632894324460427312526523127276641654229363751866342827002604290201609192356852112932154476748953119301398587191805787799378077621421180374627455659712129507927391057634141414299842503892134710569053376496762008502800634217537073330558931275928895113119436391681563994750155031388992832498963946582918877716117385502740534984187154624510958234333650523360455515159937899160517283636393852136634260834060557255630978121131412656187245455543720888087866023551628488281280970602383512258078220208409026708493656826891900021172042785775298323442487266970874339246728147716530928248607869891179184095232681714282353535077521657456789152321178484356551891710457361422797573990537556357034122442555162811050044155439816609786524727637474575323137950513877187236658242109736283413954781115614678859384233597045055265204555901503592000076583724410289477797175645218396910590238188037772790460379298266662219621774106095332703616153959254956006716093272726743275151485096487723679036663992055452443923976709766170140988258990218620265852898665934254608578854965465407352204318045848530692427050858982977913135034659507751662453584540316441311372135681661650706296898485514849151952773754238839209136254783770383350842164408351848672378570717860044303643944069842568977997723057805997757198351208902561636324389790062262284657704923620722758233918562796327817896236577926089251694331586009460963113130852217893577740787683097639636050051879174998606569114658776588998931018069124119737719055032989235088435772532487246406837736100559144821585165308224062273941181213922430730455037730200995633333859493555418519520092541074316212166761252771521184382257555762597873906337982184762946543757016616193913695550784864144780245952292626957489017250286806602706783443358349175713441151783041295653856695058269104232831144624967122109423140129324086946911954768056174063802247205186156687520745951358411397363542602149844721047700804915609430643427410881521583818010244313800714015420059778057062454609153054317711030564190934558211172661461535281207601418662960139352589772967756793441608169903187355627660063247986948306547993776864613330264977641877516164471643783278138452191188114296814838439076688636002583535340322433775979587521685558442098882476008530075104375860293335966522365494011466098951429849155716922371958425763760665137117131141446214730271546378377404787191959496902222225471461876543370582277987070657042416940627015481199053123972902147028968668463293531935979210814820722829983232495901576102117042833784642274108209376458598375120953346982024343108540738805801341683101786388762771336388447089602372316264464622019156023985580149298058974332291534923107350432062637231277234143326795487807723431626900152470118796467124975279984618072962995583162327230656783994279905794202646459007809051436290644814391542247625579296970830242900240085119311473863239752539245360645605633454266778331281570414612929544361216063087648154294753156669560351034303049738357346775998870423701383866716315519252950788755479394035627022659840011818621981263719281254413806981672905481146693263161984134630781332693500042377610413001400620970595867442447680218491507531038594607909573179740304238556989939895839634945662993784634426561272459673644703315371252823017256057494929355889430058667412311709585022755829074423109207097289759542273146014145996314233844739909790789651116780387058124369709057480933811145730302212994403494116310274573141649948149794551901176554382137876630493158532151635173100194945978514036900685715529997208618969820692609780741329419022405484611917109561674791008456707256800312191067330001392279679665887360037519465724482446961444861281802249699714211925373077756773111572844742251503531521188374953915474650992336011625449530463075421643167655357039779599677267691646347513506933040408816899841243045145258642885155988563811149683824340522809888402827173398631552351899613231131141569017661009273025523737214131563593180750676491533777799406704950099760212886929914063604926581271515212381777042340178688020482741545000155410077668932480699855697515586497722475812772964411208299765188881581540219120263269785824824488731671523215488150077009769702247510400063715252895315271858517752412238796457151725400043211247112080156863497806130487725886895035656067088373864550274548508671321682843224335439216298304799781259139004154845038510944775462814820411531023063949193047062662647529558358234478962711675010247933095667118301722271941463641552134857433848096674845502650194295433867686229640411693027600627213344061535717977426654021616806343475312