GP/PARI CALCULATOR Version 2.3.5 (released) amd64 running linux (x86-64/GMP-5.1.3 kernel) 64-bit version compiled: Jun 19 2015, gcc-4.8.3 (Gentoo 4.8.3 p1.1, pie-0.5.9) (readline v6.3 enabled [was v6.2 in Configure], extended help not available) Copyright (C) 2000-2006 The PARI Group PARI/GP is free software, covered by the GNU General Public License, and comes WITHOUT ANY WARRANTY WHATSOEVER. Type ? for help, \q to quit. Type ?12 for how to get moral (and possibly technical) support. parisize = 8000000, primelimit = 500000 D Broadhurst, KP combined test, 8 Jul 2001 Hard coded by TJW for Phi(15373,64758) - please hand edit! realprecision = 7513 significant digits (7500 digits displayed) 0 207582950328254495396839371258363455226519541710012547513992655902124315836518762447184677493605065893616195991524718266258305651590835979614927269367087147026076471585683753464630161251305076415336986302925868269807708767640491279386288807488789228216194570049694413844406392445847319918688779423151553226766614326859092728263403843004422704382152745772977189015614617226834441053964152938126064019826689416985119957478021419264819085870976401787828315942708794315449047636472904147816043062321485605662452334864032487577871285810802641525671265238184452736399150663184572849576719714435554219553901118358276059117318642312351533123709631074975778107133335013988044964059654440071987017340286486997080342087041994293624965541478956898061373598424913968791679319543240251693513120516731888642843378233402620263607741999025933986418694119386750008694066555622875035589721271390002867481247409432753619188479272433825006966907463960618723345252333455801145898676344809456945040479909933272234972688524297618201077191269189854673332370010395747036416743877757874687654497421252332073216854460976295750780597438719746926904715915695196377916123270208730092841342017338000166246201211288250772282255075764615633481681912607629121631065014028532717540204490072659487042416145391073017581980571881309814761311980314228053475882577634127589802098315022070685934875001810894621294009003592658512671431391126733539956537205709018590479505391148245450798748265802791108425629354435443882714672322987289498437087213196214088986896456104090061544244510130254415572562828326623855599892307375840569483083544297125017821197414798336497011666020604914189403989185737275997412911358028442050179155789882416631001816105498633180471777666393772793590646701600386093226570312011348173150058851800502451080778545290718181311139110201355420531596178701045626420136728033898444448015594803559232705636621838808381564076259965313521724014195912381809266331554887489331738976573384580459939106130141877831353410900354091985217099134183731271075812821872172001951001557164106949774553446028653410629145056301007529755890835021967136130787666907630590746897895226708917590674488963705292639356074814615192985037966487620727497000159819731122844349522917319478530751622601823657116790774514718672679585732129822483036663794782580071869049163252090547879309589914629435816263011518057406974900867908092794945782437597230062928354992916961216250746219891810954169247232138680667381834401581299022403584845118821222925529179689583813040196318374792599950906863521416791387476186862363772813339823537566647306401462715185262773726469276379695013056505082227901424410755550469995115260683578529866002117409271085662760673623626075917037062212008214686769961292868939557382613754070996399029906286358672574334634284233702092543675117109316015012697413581131347955900451386592481403124645715445290115558411425168606307455000425261623095995736253163738650210176805173541295506772613913099254328619851972421187949608835601061386348389255942184595745858520963408349557193355950677158771770471692956771136081938613045811355305730307654600897334462078848611770757861166169882354934759729092317915814770029489669929378382306888480815757658693512391238858631165955358964432533253618850268101441106809450034846692578612613936416040145823496162407916668209208282173930158068153282579910501414020265505331359042070511868648672228678772879548195601275734377123927942169203402563002672486359281471148415911740544281654163006925739330823883699242737935154965216931146798915289100378998384130076955153959061295271441300853836042820359955131948620218578617349175808741605611766351378217869854819578149417681529937085666487572535011209065921523350007960656305527424369734385748756447220516821982648159470226682024763528047581639272914239707326301794517767330369295248359685145404306209335292022473323188375184492147573930214628467480234305020767549087406213550407388032215450320437663330425935801698248488469963834133431365950722632301659528772000308121104962209255930548470398313812490844454882132294710046345733476759375001149467202158093731886415758829444908899877149364760473953036704824488398408632463979648830407613250723334037999784780883380470274508105841618722289884221129185214808611422306359880047379943476564935332241593124426130692323747354625690259997428631959508368390666186653374819226464525940340150181157154453068359577763666830002283178046933078812790171031454444898305174327646247575984228698867089238470538450646496617905674752359009413408606724162578754843604756156285715305364718709948067819317999076731906618882251103941712047799659724859016089270499986069979053948785399442025303644806972941011378131521861263794265409690775097960188725890457982240716930593434880888817320490175189133284754559704452058533456783708475671094698593639186265782046438564731169556812300273588663627342147767208806512260958051990171839190380933313027644613776682397110928838377374583510590623725653710620959515003694017015156361063137255014746506546574885427821378416729596519693723692088497367355863225571303514351916343689437154015489598699391233561629591895590610940784371053952046767987589811267667112953160295139518399644779303461557151894418672906787856406247613430882834301028628858486964970463811613200101725707792198505113272210365478746766870058863217080000699891186126828905072759596436241690239287696090648938636216152300900615873566656755240857006012085401649065476848019132361932362921117840473584873672933782680196868417554593411626096766243730264618123450390257563628345258847527055045487441815510493336284954070746751312231151661197276844733369497057914947066653177012292675199173989780173693693642648154715843975557965450872338899877747141333746645562555554102941256591881421251859089501852577236773811960889920538042455028752820461196034922416213247934299760617970491164448193937260311630162527553343886054603986434845744613011750467900068548716141567271988611171646959319829426674064142828535405697030859519436740582859614125285570367682057083649626510755885988739872767584922161214065890542839766254805749358241744085828661830696431144086574865098726890479991160056191944930155444886045650636497962310841058994929621202152875963171369273517590405937685703305504801489651954815165027748068296048777089967165429283448471144475795256023875372646402523773680375388597883313629771978021650174953235435141339625310211519312257315786746295954623241862727631880777889832525899027185910822426740727759989283593001093124526097247863180830444178931716352848966630704827486884072337780510828218858037369631660008564361556346015953106193198702752793595668531570664492468698381908354110278107859474787417576297381913124354880132494822771989549205208260407848083974786185817737587725020061577057217627136309726762010705176216796781735446836309648180957337574312347818933959988973010291155621199131162771241688711047316766092441445659961484001628249605954339881881924611956672848364532241847093609822290365334024740261285648618711188653370308239644242858505711659218344487234491873928902382685132593071230096809718457562065463450551813062316883105417277406408597161753818845561265820407283502317742678779836403687502967928505470713194656177261338957876410556013539623707004130057773512944195988954148612172474171593626159649487091031564935133485824322714646432094547344981779209047164581031845496606691583537990116777464346306341269690401791756723178260286261658507127778985655640527407612372448172640903665473534033578875151207077787092738099077989 -120009078533200648213915897713825400343734394714182214323673016053548734667142956996150891935792929211505171537956855115178395703079169544822130789390977634834981102421985917338224194446316542888083960824924219261019621912197531064083138279328316500955794808745681433823413261197623172198249094134431034090505859027294777038328176202245610524360593540396194781821346149676693365227278366423749726611178911048942891686962999609372070946914044670873830111926152990217163679535953370130064708198047755901953599165422995159840068557533454568450583990379859359534982258356839363441546886185461094900906918764425027385544882191056772861215601142731544535879213385626462895594990429357780641744852289048807431246220023231587488895722503388921515424520874662547185205251842228137005577535481987169744105156574653735554644477323789338799127871085503974567499552712611725604582250197619737531799602841633925017945451066560148563448682556113192860965264482213917137102823829499439015615973716077577718547975294724076926890518476246510603567409945143618870031455892268953883172012820646019715776362123545191941401348312047304703721592620062598814489856745843504061998522747904755944426375980552731070674986079805565086363436163176198996257829980015790587981189734701470405547025134881939470037687928651164958115351855815081667888348436339227769408480732550942023260172138774339236820122420457393834694788137156766564484443795860873420742559446800478457400188491358218259162398895051194270635560777074582824229275413270886724474690325041812404330331965147535834241727759964452872530465033762973765774186285269337085935709981763546108074684998061325642949839278168103041469025470317673552211232699566409990498580484196544342628471884588595689513815041155192915429587275605818352882612086943263134438197077862016831294101438621817206174128220881597024131069707976872264735417160969488643311410231074447774288529746942621915208227648266069188973438077230865741780225019025721377068330629155575598169085419349414855007400553524299109510691592070877336790893747918336349858017828383304768362452257221831021516630558409065901021939229619064407425081456392866969767390600116242808576331535245065138903719795181041448670134297955567305324760555326081862874592448453152253631463592196291807933254904616366912700581323935559334619091370765027596447214998558935241391531483164353441440678023792085392908370306817986460139743917573523632723507635102795349978498882938349316887766732143913968239374681212876145615501249691916970264129570820535243306070294871993869957712875054486025736862897228253557785332756130819770750453096893261978331483280055234679434560262788534066912328944615221855756430904389134466475374645012733582657864515217939939050046423929123652995671767501949395855248685537301514056169112468134336472588950779667352809236216188209713388323930165090013353490350170357215721223644302179444627403204047149255393610233789382300056806459015703820262183478125332574545887708256972321653856996543105235431061741680401646828725885013797371462760494705837596228579016427225277187978363543772823560290693966638170075033581126260769396329339144528879213353413999615932560754949623287183940101224528390763225215657073676207162530661642859070323612921747640749940770911274723360006754059154808093553451354760262502418428723052696760700363065280760754118117995008084039760128361727599046534463401222351120169441218392577280367103288163518828786253606981203661797508113247684161928769387519564859283151087756481994447169928961906321533293140674984301346888211077968451832892548796391036063481560006274487289247440682017685687003285845547650150062666099947142905073804155422949412494747855067229151305399165766329376861631956890569653545975489841033494390569052838608738747451493765398081279126100818995498645633926623291609003371646918451509272457947972253163055196441777720221685985231319062809458305692705158387538736324647385879838311994979051731613714637152188738264708704037190721874462446334885479937867171454916942973830438135673669721798701269145701611218327782720105113263636386970129628228896722301642559486269498933105131579334956751710417573619110865645166084105958121922220473054783681472889736638347115268651373263114861039627749540718079899153581843983503930643849735980980329708519837173160887899606722967776507053828037250768619863398551000818465216465521792773570364459549611987626349901856401645580737235724818587340645855294250761166804473024265947336601592395539288800254248860762637527713573668332170208744195584355399525029953149069716542615883755774788025888339390672613463890170383235755234977458350149562865599243660721268065601781847578536632275612997840148733982894097156515365476109642981586063095337129574104463174230242030390774831215909894653695146969737974864176124553842901312891431100380046451826810573825763271379768305170580650746847755228260713786156711077371641647247115780421172923245465526668082601380289574314528806397844404660307127229712451369217918560216641629553711371175210583528478223397497026990231894510317402167635576014991419552718520525725783346734219131851287423246151467349550369167987687586680889498817929773542262330833734575125183918707786988571027171086185702172224501258238567653686814280781413048038910419482393354847292257387468178456676773282731545986999016785683657283781027530319471534210459138883729328805685601573932703684014702036158073157041490405701831371667928607619506107819425846797341357825300034711862242595554136061791077606442345920309112327626060062301987002575297909278958201014608167951020283570131684203482283973908790098842282137057714841671980708156508374469781218868007648790793266879282197719889748694534407825502593933508396069840173699022062816948959438392361100840703986925358045844326777056664166052864463298067758561316165772794466322743375752950337646453096423988014007623097081398099631065520640636085601765156815462649697100430559961960806204157311919199122979701774523627842126572107730813660243929653539629031176997181159853608593051450430456897121751374335209982823362198127292904084821730114325298094737711274404464874593973480102490069210802673654943307946522453399990673190501058415473268538283270846570925073587385206133783924279555822098874542157620545140885103316899836341828135222401973181049165676650425275183626923050622530185183077217810348860677362780538397725579510191191988267981274721940460224227090232110668828938894676927045970565320023751234887630963689673925692996847444522238419719424257968663997995349612849739655064212461859425589193171134405190441464617200767103967971456261681876079939299940512253738957018869292144864767910776496238081096895566696915130271628512849014812552447353574047836174605733969208242839769235945804608737186642203838811099606210112445673869645395427954857333373180424994291323876224514240034323578087822356695726685954072456187501823179144761424914293637517824736806087715092292497844554219759383760653907014566909383601256663550689091240614927540008594887078122011967373325907832055892448831376615199442810056007827669923380325185257855157663967641189280090773378670420554217052231624616003590295623827850754211692367829962216730421685105048375200284087347399076285586799987024023295262111172629155927277576017697433618250175532636962437029250750984655743837799924562556089077843334263357898409326013017816725156384754769336414624301478788928732146691694437685638635926770639484398493825583391646517033280535385436635958715567580000135900743424908884942437045915260306568585283552746719285024793175975278100059496508672607953681632854603591582469674910845966775949808803676960724763903099464399429204475882565184225562676451220902009625590153279787557112002013296758279000503123954600492374164218244902040682410883322444409011475331092570599718229970220339545070576002465499070483922593818956856396399630680397657099693313645779050670997513048150013915963244248951294973974777035919727025171709052813670498227892997977589681886351732335062236261058004581923304401789352200037108239147762151987150921857439588886438135499667398512190033834012108805546827422252794245803390870364765519815584463736407375492544179950699112527097980060019386365097176638086862134381274585461521044881987047643169516529950054938104550361581681719343428452514571597086152725448968448094478583870476771989926216597307070908192914738863257302738939817141645668541434477960790006495929912939054610214400769439454516322592094656932112909980069639650778391438317598684445959584229368735727701241656217420126382146297324818188567135211314770621355412194239357615452217866837126535757417381151227589542617672256673180376964360209034018218540363716052096658631834880339360444990371486232366222372599298176269356398975963362373063266548863715140712286658242708421170490013087587694716304432007210755417018725509939134639922421326169723164242823506842475657770937907353366392945625839682499195430491305592365349453124506026798358490078600167560665802164371603138298736185684541975842518947676298274894879411992903724128847917990923866021774448547390674649603374290033084656615121462637136138049648058322513782769975614452609328670415036141829534989530782902568467331711509056236486711323884951062595087171034178628547677175915119084638596090286854347162522001233512057634502273245804048275140639708887246434405904165481051787819199939441909504531377360277966494845657787053040069599711305237834122597329650416571894016000373376750136472717669350716687437493530713422753162326880740419026342096469204292496373706983561681443426153229265305164878517921547459709564488583726824326781269384637191587895173510355328061896383158314078354128029771682390958668593924314803481124112823146599593253005897089307685461072375799429619137558565905594167631699917024959320419272875343336466583776226999968962199466839120579921205304229723426984796941994577850299911495067192019092215822143518108572874273936018450292812399896084841965900192502354117940982257432256297869786752714652449250715444925541820507026740951532509645876451250811162870981773210320093132725405800168055365346342016658878196055163057342122881658202332272221390230733521922341154447214573219635640884421344109958415632347435528764738557345488392410350285307512117716777081563437338049785736622137704081434270952123698946974239362852390526785736674211973047092492953810784432644129498414446043149687482917303346623720089110372631601013818855459330487960294463808796382445508852467789907917724593963457863533493519923550947074939007667808380519423612659204750892654319437709359129718480580708470320798644551462914067495130418206720658230522381441967775961618206556311980568283493145894644160726086928410250939006599829112052077145591181170853873072075527103739083075711656711136207815652960099174057780690180355014772621695647696445390601511289592786420581706304183120895420830885367476633430488390225652887153160393878225332139396222035141631453878113205971352291829633092536614882154174271131849746063486557035404029449239028688246308071135664668013047036097140269234379134433485853574642640729114376260855976966520459768653996984352678954340718314424690833746053662046636460675866427385409777041279050475660327154423123287209383482452980805179288114468666303081234012922852425372068481121191313953356306547766063593777235817054527838935626464214013700810130696270563990758401801431609205372167042412492471832940608082945352973358065565203727706236599335490723572718486600825494502641417180910561484396077549026844695743057243693442753856001737784545171647049145453839250224364421305177537449341112068772918044105142415781519479698674294495089011501105941137493204566825775802594368124509067489143334192005279881368744627391849258548362160858539724925682206126575715686753292239669970428450783915524407177961012040491370284918275509247542053102010868961890084609330134650544046520644232942862875405719170238332850273380985791521029881619079805378861894763666090667484075142547444086044771425977389975566169084598908999370981857260635259627790808193831989508539924829827849957036832652983898687052724983505130508847174523708764203056844027168618610483701477846412498131641048514191022229330975717455593265957997031855073783305049518683674929661668823931021221326422841134606731223502294922279617385835642892577843531167785038958321723007570711779716828190106408260814934272645950871401437163330422067380432464432325694575374594174800733190896291822956712446601800202270915694747014124258554461310661946421531727738356992130621728232918346764903896833798894840984586737321785083435969790656103980737218486622693249912316205629507609281262466140756576172181356823022049449954097570817365170127415370218588461303252207243483046636428496979726640439298157550725800772829390330757367563541395531609466351240611839477954968787779405984429541774512158827897449976474383359970460229395808167388382361286212669583939679453932993859011002448006076069730014653670772537925384862082866315624931222758574017328497544159450644425941046117842761745416032560875038013619670061931608641435516574060969470994433214268435346565714204310073933119796083472576792662385912100183260195151131679538162894579392203137887077062309036509641578283114093894339835367653760208078990659958111809308905784200672586333821607426387359764541797472913402671431058783153189684062257397500272652826892378016060134640173207977445055444045918132379561047155786808911370652525639734029461884712280976145768492875026459793905975967417234005794418684775455590369208853866831074222991669403985724477581453132494861181730008307571423653072573144222093518463961039021564340704007762676493799504463038056596138245591297500850071464458266247575250527751301243434314334100934047702692112037289787499303104299915672622365975525566945004859004571492178277091120703108930743985196987145595886901134137184375951856685339191685786968719150407376648783201850057430525613155419245134434573928598015915368767166609526934096952898767554996373805397419822665904844237751427034716191459521592202637048824396431207941827301570063432864928681955969202477078261248791509300903824073100046078961726585262956975508467795944264306212312028092848682372613168408380979491770135622688575907143547253413350131316277317966305856571966888697499930069196639415806274435761876541254862270800161040471405279907689000083838026031768488808655468127702052354598498399347146308812217399547063962136533455325398945823411064449317862655938787832119606573462348362261979906305596227486526699383782057314203594615030712453994919504788785512084422558182353433621141062498320810420081711752078244397505472182648217635082661489471562968926187548795190538904692521920007390730574814973392594058092528165682836292815515234456960950334031948415306754011439835371012674086677990631663037941107271521320301579054201358027531544244818012385125514024238426419659256399394517676287950736345338046068817230897367936534029766849465134378800960869455683196579776519846841759490023331950832291442725522658104636187098925698288693025687774351812569552548337544411493 -25733042019574377947698142742569461874752462897759846034693496765310383034669907616005445565170514191729051032085911653260879988338792272109470471163107321719149839297348187158349924655324094192411594070605617013567653364275971351969090389592590903760669621161084969545543640888255877322335056786729508268123930073072916961072533413710359350553920942284857199280195548125246965756470454954478149276406014971295735469114980918252942009770002941640620630725345692471715709071498205163010443921380588102678506673263874939714804776467006892412404610574656917391065067667924652283949617419081161645478957066005817309190675249729004378815048612251073401729598056483347407068010067450939096296346895998441265992809336371211040944430912665228656832683784606400688829707954628692142136938295534547642973130257688534480549024234517668944380260688864819338076966420607794810103393083630394121914486344241888703063110230572728671641234925277566721762908475654781597837982183877187504716610122380731183647420470947429820327348817399069842081481147199385190319857168790645946494155981575411607697443944856125358909159390738284477936715080292172524010106782393550550343093785469550240959187880324341883168228589086803578489669742500281100642489975169901987386426691409817860714673271010459626254804944482219708264101363539245731333838721052944093766479144863857384817954366038433018180684274463756958815798286390295883310535732830361757212335348070500327058028965137733377028752532528800897168265856803140830224033980365530852410508823271419265469069110454086206489178405209271781299712276554794170866453140306594038220978025088025255083062427507149336111060036598636553856621398054567268329942441976650171207549303400432940847882640380024731483404372795080984108468156172134337445824709309018518064984264879340287204538149741526549730268206450394306738448324676278118542762048988156538860436999227289485526397291230854624196577117661326545331144437812879293022512252739558013479627769389903935393173315821400614533013942341847001268734854095814232895011401335022744390538108679766955351789686991648710876865649151206757422735170176791156188869090300076022361873894164656004346939633172452936055218612588110834728884058816534783761680888435942535733332310315067022527279174461621167866620534252418034343165734926991462946458551298353884331404788712730574028558864005923373112483942149946261706322293976187397426597546639295922392937041706409412683999974759805387366621482954272130381434983572196682392719158491350735335374012638172482957815912185692271633661829206962816182357974883241486436420172739022330974035096620230639970641564871707930274110439201576080530662667677265465986893008569741250824618496885728349117531899701211061818857082463863860004848921087638707338094575006756089010783563920725179350597450943814519893835293648083658309245113372272046618721602806385250183264002339871220054601818650655866529367511627030944345018859608277764232046066356015644251917175790144023472266711351900495989903213414022654874017502305155227114100185294800518636667584211466496550124848934451734327563939064821251775027232660830466351521295416267235337525502771361000496669009317731081640063420597116529031776082320928216365199007456620195710385764231586256188901752631815988506826604755248630078006962740265256890615459495714547316346221624072962072497841338026987385101304486746484188335201118385468044090960137301623299151013435876272151525338649788324357611090230857333485196476890690990773010015701476900151345772567045303278091775767846057356273761136841384969128902761530273569384847331962904196180204715102092878503145825088157171018331112223218448249751963521128481137478261922994222181316102112000723432966029046021295909353322829222692502660607291347874224775861126742178541076595081819882926831188004403912616923767696740245373936796710857455947649240900483850942748778067249992822393034959713852160881948505789546191265713916415553821793428805959451705409321344948965731699437216742049064562636902789147824402043613985108601104715724140336923268848530933367853830600445628735788154248468311689346714605624515505820756855407589418058267751316414733440968886845523381504900310107633467305178310592801698470921004477889791903144871413536519184393764673587159989392378296106827975927767275214699958837184323042287359603634981795230590072808072380950602727985349428298172529671282181514517706444986903124291384059293996867596357488341704321782957419721102979381588640900847641175411461781918529979780788283888034373248221429431771446240973976839236650441820230753944966824223901341837833612430046334424520766328875497745467448459949834466177550673683553771642751475447082790520883669176126261548940895550819756822564949718464012556306031660815120515710695046535592590838685447910184887023414284162442326980882661172859805282282603729909643753597331641398377292092604213632823548958236560548825698857409069350045973597424040235362553966974974277463984580702826071561592663136402209129490884084044339786825912107112216684599541253006825004697804629340744236479185450637940106972634426102047766150666252270506206917954986731103991757391513329248124363745492234700202604930684004823659292455574044108724799778725970017271832321697083964264742481529143884607826618232587047637270674488561178826510132346927342735601221810979493625464606253619623977659702456628659320065080796226727860065060463108207567658448769001524603320235013447670164373930352928783015442626558269969850689589121281387886885908929988887991373577354238979144969146624650968699013388676547776485379455979220464791550586304374459787344787001269594957377248182647460429042581433941640834937872623186545293105859184161202637191807572454162743055664952849567369218240287243265319354466368166419384190798267778930772290167868799125039287317931396646180866591759618302756239339171999417198308592749222251455812064512508189206511280748546271873008621640512300086410392439559434954757646040019118072012677454366154417548437304180866624120385536393494442647301567105153085790300761039574340474199151845276463669386681208417806394378409007085880429378398254225253724007659783021917271804661189171867198236935575555762675173018498025688239901397313806527348152195369264009132351777473342554707391353189638570324455580410624117179285056485326368805934065357196751297376168414420655953976436274517303419309791602743444995120412717462267420823839351047026563913931731173837664323207098947758070448753116694877015309477371508732455429857144247288619549371011526133140206671805243181250392820352631066298288213914871134044924251676980435396604964741534899680016056093338924338907109871511384557614470082385817275649572286153845315230909129297554283173573374207929509991506258063073532661526849337741825754894094472731176551388100081903549117717291295227692523518848874688810477713246882257588347611244603810731795933773524968377138182022944387119616959141881034289901288393833924318958778899734617200420231502468983820080311405997781471923227147285364244569141189261723408027861762239604878762562511397616071210321797641308938115769790510372996803119614357819686096487248195270281653839543330782137946051122457916063604705960937074685613174108777060184687754786899611542843623110223733751779770753495347438656305685603899114396313892940183867207324083778073295485861704772395678661729582150215880579816967253931703209775033575741340706677766974560583295219994453873575347345644287209000871095432101723243733649651286061682009625504057901098662205707155579907717731829957577540584438264119656505174571919588364362148484980492501104971795840260366264106856961781074201788359461717099095954999885249549482876516752838829408444315512498956694651176625570615325399087952254821537235909664193181484465626942003749011181805550152401239048528578591263334287140036660475138319555144991356714494861571316611618350948910980121442375964370152698209010977637892985135262031247728806088275146035446820290527737054516987958671588398610279777337585057439684993586397551449275843315279848822387481170295381282462759822476842223123860283170681861555453886104561569301989985644899580411929477452613317845898287916608903103302032633916250603650159738992710745425303169939817317302178758082034433868446312631600658753515522232885493394726474820645603280422341469812111656350832005304120585250955817651757101503320808288522461898901408344667690134617981465948448479219458602098571807189305715837283606263155803494746380517838579068445678498029608428344476354581561974521986431301329534173131843698001202413071847719292116515414217337730772321489649918268606886505871941866227873636866714643596969317430729840541130506242349412838430910043248839690947161126141399775956148119883050551703244925773906808340765005736651924467788707666313900999286444889172824318621063868419006059078940258300504241945063073917645668581241625473539223718478638257950869094485131857581261060655384315156214313208196497204235990281908374382722351846669606509906845553351739668746181032186409352215273550187879717152564664892023605450838074530534385479858574787067950171181786554085093806994309834341266449589801518634678277864590857047229395380233227926076689088288112531692150203300392252234459198196488849882841423398309852151823533105613844789367654654019815109312491817961326904685493094216518554297288980088667008803971609732165204400391198894515010001939176594072524024982315326852677605829860989064142874744102874775077866035872315275191616429217874935781702523786846876603478709948828946917440548301952344134240600947811354873191334725080580582660606808967220403196591189910316235007764280061572529200583291023896226511114078283411879980925041290482520025566795398752756359568938774214590070632702809805764748615900811793557336721910278018163686028505390822190830563166375116276168291176636090389097524969698451637560574457523741567639869217546739900616736547209488956077155075482115629744171819145439006483751985477825145543266746734939786979082049433062088179866509891441145582625875614578417508056283773198591645197252044640289383823985955730208466763377434332877486684815436554783001764032501526602893779671986854459625510578274555766447323186916108990065731944823220816083819527495919111183462511080473641559119249482286721626097522381317771789615280585890271996576918682293120547022432046858793292864842064480470261591992731827849010616441651077212621168753591603303949057760637155792667973058692288324829109413145372092790952168904028114178772455574104282978731080951032478198510176209447021572939127689486278662346920096138236996073261618313425050619085893696232482763797206130951112289329778601895952503000121716126946884056920046119850011247047777489810065754846088083851738802786385321726131573747437687086250986024116699847691920450771284289103050653753838624344401323622511558381408757974170368441197995656165761461568208242170020443032064954611447774102311833708994533704288016239585826747695517360046159866567668618320711983666106793409711690864290712513807125736251686247206272745777083250782492564362439228534865477984747605232010819358973679588650090506422522502264120581650553442199533463769333126510023056265699749109790299873939426062847170966387135663692738286768600106128708501568689223246479835587851427510087138686389758668957158652512254315110853455460584306242596688334029459574983416349657871396414037892752879295701071454197671683333751447359587140533448242017819268011991221096868568644831445189989234897365818399761508496778014256864552285308478131900747870588073800757390525461365157102016719269539764387724511118314727001527671505810001260314697364268990939739293963182318445626173472346982069514794897538992950551356695886911996562094568267402791743741171887304511343633856876790962561784490426986071175033704531409636976122674009453651021984839067161411925040363386063665910095135133667422417361259531393726203565848129257821096835849172293956775970853779379622063687725784903658639733221230335516874731128098577886047602824347552123336312622107126263994445182459720727446774127201631644219939455993100025354165015277573787761194289971073826221863959009718771940297164996650490496024589985417902764286030299670423287693647636252755585518598949479010970763396984737905298930884802857186872311958208234763977446162580267797272795529971197823361324736746878187906684663136867491085083956153355321780085645288713242824664034538024515200269405971334060591645164637472492290371893852209843861975503609058853423502739386940810284740207017895219475465170515716723455886984918727227538091227178687918131473428744799114939358554258239875405858179182433583104186825216848608305512534045156636753358885970489744150848313715357109778531168162374746546512027616914559183575791978895762671200021174211196550447796746737783917003763351274642409744250325777547275431256808819665764523734155714382806705714911756982570373770294015492769817185201683825162270853470177705545521070350354300257043733667864922956155365570387133735734834761284416235638611787177747926103949511439387770652965236850459727279954131127480448455083823995292097034892810525919570415548239108141039913770903599391565712855871497657543871225068532432342524484444004311132007736077032128099285500831286399756431671756332057329214060092121191367849891213722971775927961917800688795710234785951883142920321364830800393040680604112228681272692401384113711005005049604928200334918453428696440123066138523069854018285474618894864125052649536242978131385392199103625730899427180218144358287219281185790322932901629647892969410163663429476071149330721803405789843036208874952243180538885155365072233634172842390223964618304940771129378034580891826135239816093016388989086009680208666444500857079228592295841066338092382681426142905387248108681443021906453996259563043507409198045389584061525027775518026646001345564669652397352063042148044333301089864401763017375219855262391830411702667326691709894277748233797781695366264584912492342434033084923266075337085301542964418691660457486833498959988100422717564733081895327399892188312586164888104132521393476462442141926972454070637718246549788920971758614019745982349322819613172553671410934213487598656670866103302729695839747780430258778432221285587909372493349772888436132422432657799502842418893331552174768194971825532207375535271750500288338524379718654774298412147624302955389841724888680199560706638555084673088014793008501301316101302376169891851674812200863120293662192283373763188313748518580325277992631963915786915099316220363345433493096975068583759133950792378377710581414958937475312571881971471005980148454390844193802861190283276022585734249492749591051303247932605501128271280705696086483944606104063220461610077315182195015287372749313045677615256290690723555195085500446782440301680259430328817673404804080699781016307891882569615525219373067836345280124423566785486865284265158342276667937109602885940069974320246574543861753266191054443999500252804302427746324324925432623006494912969036345476500903535757794408889213670464829141365766426651567439350796674147687801572367706312409506281790119007382005302674026841127279638863195593894912616461217504605296271220288901892520537176690352452101714739485874014935162222137373094002672931733243246945970895726429339802391865477615759429787249813157965763628042695013034009589845009438089619416380686720075520609021155922450948832183431512539866312772786812200307765510654469878793345019741229153008883517435424644659410479258417433249485510452043879768133987229083043297465040996689163286047649304551806532471412631302874618027497047313340725751989094914982224259834871438425977489115768242265322170272400629728397096385011172042390948595663848069823009875553222518279206045269601056437720588763195644167637815352204304029869585597323935701351712160086104221857050814452268197371311763600533009442080431032059271398336370929198112695658254778676093274600218420754952829807800452948921234953403108175074008687241092059423907638407001727670184292825994483148651442360366598121344961626608491174189846920874125664516811898997375419225027471810684214286733252209600412980602737429161445890111692128015775109136567532160255330459502200105437176979889865945486720222085796277847009232576339125502479433722026443057283701109223350797051413355318391650118458110974377434864875499624529889121933575732194670518910037369380481058040534299277322075661029586904541633305300488468026291172065340742741720309353277075548700370717609586016707266310559280604681783786926284848524490174174051279849086225680226373987625044599275928923367531054337933532759646420008780275200423600832498175977969348073322545529142521788249409241128375179101884750947807728815997402526603232571636447139564578929979190046278237387373255999686389050644799496398158388787378750163646931231443064722501823768494404206569836102608959437453212993757333217911076918818797459352024964327073665124364994047619636503991890941918872603152763680313138049468833244476601624377134847087137891432226318830622770724847673595526127735077864992413065161208169528892611870552297372312403874335843205527316820166805064370071960948563953868376499607740394821483404000019125127012980229824280248815833722821344028021197550537771377568767587947929050090614579255189399869785687639251379149978993587085693135935838512954267341184168327046581439931993074884860293663516011529280029760387113625989803715283572471201234269380634399064005001715960260267842862515463453939638673651821664237289226365540241093265166857508297550471888980099905435254724591603312774386712902016244337277756983439186414698829405697311041343297053400849068510426542902982979046721547789684616538121580979487964811323416553931400555306212370141471716102115966700363638451526235523490156926663303101926688448515632774842778643473670560911313811824689815723432900339753345103860589127774308607770249509745034371852024260518170117208702486507035280518550402723456211669342100388305070158211848886804021644681687742469876135222597325459899886870039290282056386750093797035209291000610975240149683073653070096462452190614083787935795845842100514059377271625449844335177073230055206691030595979829447115334294425845028914008779471561029169663405941615462880512420145624429305150591670802226932116344924782317314236594031250143707769608895624358624805193644444505522738409578770493162946043812361794662742878597851946706893937620914570079116710008713991956194039977114855703045438977365364224938807785717183798845524738375422902130449424744319636434423906635511526755874849948043590446518303079521605321498621258102745370924576819665676730211640626491587016075976608886254878214847825939852273183376251251542578019940147455716672931795292458831604811070815814513387962839551752126033795981024847253795213371443762440854459915771170878122762385904879903718689878240141133015007900178924475424412099034025889522286462427700272991034187858289247450340890196009140983298749712832458746701054548642330551027829914370000857097447584475459852450416379705726080736941014710750189362894691887581674815395102961537791618462186783775001614223540684721795898971681243310221310954294318148605830652481977684461287031838882892081267620429971909100758823754240042097390887225490437858690227372125988335501494190321614779534844800979528571450893184666020443908128937479440146562822680633970628836877632848519057404639079315791725441842349265748098870818133580686997260133580993543125710605439641099110137123420770175373941413799083284338082468381124993689205543472412810576669575899000357989066805280476612715226987690048517470899311330249324854900043389973214455175237194586221324647680231666787942606645472818229723647603932956854594695327068317693414170711320910439491818705449283277158061014940859807992338301716145002314564998526306043576890750545840421703891013030124350172671644290960223347788052966923098699574295319208976581194230676027540248621433793150296634231066934599345592167342975259993170869752027362262539437615980376943884983266444861252063661531157325937981882273753765891419609714616273625697134810150803339249491862478879527214860192570720567808321191994313316464522158969998161015779117304066810037739291192088720014332932507255022642193293565641341329255407992007969598008734006476912979863526976429256937377320081918048115893028115922336041169078788178981785746090145706245712577836550457945974876726302225100939184976293245648588810014789177891745896159001657546006186297671582535115681868511669256228896248232771215489295670094762825180466669985458730410520609795986032607144349199277370000240139109119594215911533471677141774679989702461553122362445381444949184818099163226756340782745264262119547498389773257313174204061936188083223936832455119177723044866466187828452760793098873029923249468134930347209048717540292628598397334456928697221606430582498426833202998338676279095014942772497364225047215307086431492858180715400963736687925449866980342646060059607809381124662091202608997733237078764205412455158619655494394548726265507584121079724134685424136054401340947896077240400510729454948121579417599736165339938931011095874431027763188951293968505546353682028760005237033258852782594362249899213288835377934878998155847130407710743066610284778662173426755440086323813207390217637191078813326804865022363873428373759826108462201587628807087794888385416719178458033488123771784990114816197269157966315754484433164283824186727916212699770606336224805000682054749973906033278181033728630930638652577018800848263950792522147163033074940078070367919099009598454062201899556007671224452552220325577343328343100177079242970305169952964266799121523213822373661399950006156785869545825722127442345655006288893444594918143711337353284923208041697401000131340590814501099167679464974751069779489961721326544592749575789593843492855735501028326668598315401091326841795723333218853671495935579306951818856264385649761940465435936202793676519223503193701459186807028064865413244859971364364655710228635537150242141010871448179140968454170380016388507647341519411881659786666985476074211963294140461851008293685056412838111139971594634522032563901656015149435516849412767632309670206653222063205353429861316271979693068344418919799527038102833908669808165703535668986222922039583214621939240639839601275133522557251028981497120448012371034617402575940341478531439630523368952902846349324225730458572569525560740911926491909261856711718601382444624496371383802077909418188486431441268628146405997114089162856410546048946327552519568969192529132286196752175608951396844284249663775531548168271990087840778685956017 -912102702312141011016584993818240328241427554487073418519427313934937486601211321723927150509688924757223944588396843904425039076120664456076508136562637955788852675086319563450697469405230290427282905691201693739696975601696956107723846715839093150065182779136701305158291114281101174453439022186205229159262271216420803953079403405604634344602822456162871822287786664227295758812308434815562971993100105574100292847217704166452966806426671623813352398146241276553562564004572499418298811161583211495709862895912750845916266801053936252571194701753243098313606629193919070524330500763058204857701784792292467059800949801714384906688341051176333448164288282386776634759039095935977696861130471198298226207104629334816032758647168859424164461407913165616195484584165094456352214180855386577161309718424810686586834757005357705533374993768846884669347778381262754781394915250907038135379843811342465822076607318791157435680231348210627659643018211214640503323574744343819109833882131081391171763794224594703376983237285838180956813693312292783376906544606265985457352857325982405878452313131747580274645534874107040674743299904939886380617702808700227139477090249044493698767201323317012378201824105108560679000658815911179169626093450685160824100303999695206852281099681102861428558197480256736545963378856175268239661511808561258125966007615903118102596694869551578321710708621787433180862595730498291168166767991881558106491222314076187576951599140550268362314933111351183068210460864722567361399511935104305948996137954257916254643398202035349416414514045014673412470105764510288809544181499914982241342222865717235196050722901047560295176269300224704350964102595997137464321800885136741235400337618547362304166449261105317879092273625692385796034489372464757343309112414927350463003366957586756748646646901051687071433703326554147232511875083707110541641899398173908421330490163948696340189097918076801831612563565017061676033153506969951440805113158656913518025741214702623145978070354685941180203881755131656124910640709612922059743407819684326289454165120806946986389649208904729262197549792032114355859754334217606346357300770825866176616916033358710304344136872718003242533721311478869867294998676437341611377609425337169827144532641855327720074345825288796275231813980351295517651401880893878186954860872947307897353145137257923176301591157829826240954608433736115690997263559415582641289883936792804457310330680380202205946720639889199230926365929176083750420986243777313713314810006426532612189188902226317650931572913302673911331630065672515513988559842854852228129203795103715348880534851774574624459774122405435457354408342807810716769685766360003447289943200769002026469646941844931660219418423110490709230212491881773623812558401230635964452157531588840221338132485854776608267014936315563693222735305332755771141620497909936121908886718588914163741810057433923129939268053763762775743780885548668159611653623701372068281934660868820210137583882429841422173359004142348886633203197702493291818272247512434460934920448976209216519761541416467653107464275906362706365687035495753754171705071016207219699719931976088056903677496316685022686098638757819150481307200092962445719538770478075066967056710509836792856020019031425002476084058710422288371631011588298441795640302511311937533207473607980375740583300283135416777411218183097019099674024396915821991394372227483471317829724087604683363921248862245888651531130757724691093745193091897665195235331130867228998358022512644260312215299829237311236327223514729809171669255852138920268603195049956864436161818759462937317757530252389678015966364234569317390013452280665606565674628142622432587065429270851225548481723972376700578950360791980414966258443894809526257299912963856542558577343560860986612717615818751544195825004374658399242320828130589409519075976200585747816937677382562162427446142247009458664772183692101289444048486681975984642586547426504413433165001803860541684779170432934104388485344858665175192064691586210451876699464120310434115155821957609830966349632352722141922916238846926681251191721865746881294801736737075222344362988846767321974022800504724331728143885035115880855471886772096342472916972596284668838629548237816202647752788819937261393988858588915066091244549209870375547525012964446708292346565237282597877136538354582330462486764874726570122298727264065801907227042581558080094231230455640946498080146599555274488118825558027090016107523588537743227856849989191706852782765046942269756665915395524639246794678037909248781370874847637133742091699528813331674001178799648201640726382170963450655909453421740142129760273126552135226921284514693465468007373081595172795142509159273248247739319132746288733418369020132323432891581981131802633841556561196052204733425679686856676920795642613194883692700147857998762064099280379592089311044912640147961231593869484062480011446647070349759464872862688206923011168139229180480587976956333624725459373075377926120892856613400538095741633824164330581998367233952571755069682156906622252108930440390392980671098440382677882576631784781918408396700879540728093730436557567355279262090664572294167424525703810641220023517433748678932638437365277528164887466723688236619967505489307701840006590016299655366780637255305623743088055178733171239290413497390195872966687509851637157114761970725224520971678990657939112396069118742736859874929571850336763277751660158668214768792934230822644053138566802350851833409298593890685998064665270230388724906352759185040424021535264888936032805795738803185697826398539235181192821551464528730020952171034696098188638834043434642852066301495470088269788466344265712090186734119004903306271848206602896908464245112134249840361957885151093504252058106729388846517591637800359584127459234817025423628795577892716025634693649580787274768558161178245759825729967528651572030929465357268343459849996271620838783283265712293222857982154956507833106813478425410101013404601464313044127078117743314812898497124038349848118857343709864785301103740756219550781342265866031416818455732236894130253546800583487154933478445709064518491684655409425805785784982623714599474970429393039481555551154348309868099421566867202012815683157858426529655914752610724924787985847282920329083533930839165514224311081382927502232386688398736244237345036515347893813846454964696595127888153029771328059891050058446739099885347971818659929889124026375563627071047989170344825205085104929008167279655568406229024690256237125925996560279279705639150413930836393025824610763015681098627195666915113839143576705911262559979195330254974604063771291155388957276141318254383255210188569456644580959250813466790424336320056413155921091524370659117978932322230392350189440491613791303509818237923864517861733726920449046527861093031432047708469258108521934766565339283904985769600935773192558928569906564092214196153985635846345301445607266152969921775046501392851048430857070168460652259647600931130107865316554782796705786412021202974745624029381808833209751658070334420277426884380350444768496116636788781359319975169525487660367252972587247825193296953218036699823451646934204815918910226242649129965396391590057285183621059024428549877441553451553936522941027852265619168595288360343172098641091597582532804402530984141431897836311983521020320643928284732361428526830571662824725898850763092142790997649899481422269463841677106865731242108140760633024080444244174458544123188113628869861864161844898444793245430139322235932217711279046534301190762610948596743822846811567880799732183195775250329175211202926690065905228103389771056740076483385994411889950311353154264532697510353365783490389455111091955463980828095688283777056946594735494585339436116166854745997113597682424084928500706088581032398077471943587106627776266587673192095949724431939339044530554775570662820916248791153223459792736141830016770635430756688688482966020902327841270854270813286257507060182716878339609068995181477228417871869647617241034359144819159004260241389749163109381339310344714476673914483012757252619562979443696210562100368429637677712434234490471621857498993588795170286550718681246267684380337619608513053873557939687293558639247387249646195708404256124522363745833550406950811268378894786565130568308298060086215078383164131422149937446955910821558525900472407388706177398392958847155157450477871058715949984427898153587509462330260998269585486603962050744824954733641771162893995013429786998284705991209064082384506869797686846321780961065275330955473941025926100712180953637498762769273211128896441790776337502248507287904271857299212796270040030579537549594241418505853819856832194367716805702940887411940283191149836965900008590903870577497401669323241237404255970147223807385329290513368408862401988061589155499210216191970715133489274499793604839338770067809852217949129913718777904886328635998462109359801756422785150472342983763860191250805998251029916770969258251300051517129739401582007174045480473836227732475913921014899093894138115359726093445002350046855163905504726491536311195267897460676133121053233688119175098331285924853825607153518285990268003574189085806978914212023978876076653780927659377372635569022948193611448906767124317487624585428181696482721530410210703962098409600064602789645018228227842125353357098150197859276170477561667692923585692827731733177026028326797335912485783316368683919668789102781887317859779953218833209706226684339722061003995726577847162486942933931204754820162007337867757196713897014381684969029814969941948339375645427112227247891395608416333462333715035684345092663501450089397471383520313728754466689636691438395203819283610390141860100455824164685881601585340497373214090557407248051140445011817726032082454369942958144940450696874258587594136327237618181458798495094179673920135091207362731238641376597095960815668022425441790311932731242000116878783184887048607755581568649938827175137601206108419919938615832025636329393886096198227203301915820382127909278680615286588090577309162804977113738750382199572904401748603972520004361737873811823410605880478477239129925179203202774567010124372921154238343735164346307848986340524143653436499333157882751654114898049296766885880289182449878062639471236470236830992876510176608092518654446988014414590590053525195748365624222434630634540324854973168517682789700788081050472668939443020178342337412676218988719747235900433365194712844967877302908987674942874568794383943704219590118517282228698959575279783536877015512095663632013931041643771507852102309833381797998870023837805183380050730080016603010746487506655539800724940495304031566976106039038962359554409190453938342743364772720102582767263999467908135362290590514787367090711703575299869815906365166836156077384883672039345517697920837092525131309778663626468622505838979780069862168603157463457616382066369765204816966349698987944812597566268519124609969017262735501377279115624363302063913593752839809686381833902421967001231023581727451479835222241877386028316490123066134968767724375012224826490861446232736905777314544256117566569545495707261498899361322458825249529097304724331346543626242904708528220009622001825744829657648812669259597668484921297186399045016245073111944383829352310153431026776522881129930904910974506486859973608704610849321434173548096017981515550779482916450871566052406779220959525346172434582330665213682652418755713432182018601947597754385373787694455840995633332210921987138871168143334061968729220769105026135188204463522496097514005871069106368289450103427954955721562183930068724075333410709789673232243320186279658985543525704817143504928027924678840680693389950101083505613646075757443704989666552899491936474067183942457883742553496591427447011004938667266257952031510475546736519788990203082849348457738892113531805376311180183805708606792964801086397298705800522452992058395359985116130849078490451124775062901210918238517739040848861076547515069109887074410505579618370734590357958835784230478051596028479517186958374419374815472437151628732964868923404923171405994693561534827552548567699141746634955041314175893449069543804385326687380564407934730865318765692311731547288387046162356250150279442489344936436958396857550864259916533935424761437522025032753821479480206410009107905334270608141771169377215651026809469415940557464763267581295136810591268136096966554529605003559425125571038204422750707865892689902021222289677216274814000060795669715667835634251042823313547727652911215836971520616035232312821814554147674710232168158194709899430677493009941338881623243041243090634066817303674462696983561257648634879225926688691143373463184180569451708925177794249647670782957003598632538829629384272291834174938678123097173620198428974724112019533821329836853694673955136425820887229224442346038128106411968552372192825222999047160118558383287115680603910368120483245690856618874054370195021887650313659804816050615695912223973883513969581449914781233799736936996650403084246722617085658714919600154156150426822563831925715873257013535959767098765746485379803638330890930204927698920057226873894239577165045572420842545194306932377054483463986944258768963757566068842080164482675495713561624002289655633125882137214380660748524348591344648387830530004560299195878885501374219542151558196736720506821471111290833270376592582137810329718224698094428450488984013132859465017860232827853036478461651677533831742855989784660037408446450297139492701142999911082935557207198201601481515551939089149637305614613196674648104029375353982106994481174375915730141313567719954112994764457772364194671927247325751879725052428303943579207499091914030728053576555747945210704114462666684980164327378843593101428327608157456899442691073499873361078667033808705219805679540751966571290719151966559770677574592667860822812231881367470629245003380479888817682968452089326738238557096255946300486583386091946209348833105987241544857906901821319803219672397885284343847854497482811719505965314693988734 -166483418874026575659526597805049073047875661437013574501497407713116967191856651358895483228885466121906368979920137486994271795319400561473732408444488115266670614939196976377058264652758026477925639720593834008090334688164440540240197334141521348849155826202109822893777123725906455698303163382258302986776023143439489032070212326493076770982366423166916834509585929874748257330756962264487268735149788727952102366658713012269915338313536341467480498509074032630584195749407713930898990462707526158742722987855316855072363166286268717311043909272825807427114471192614780523088003311529953311159836992734494759689364930818949632704426920839769005270346738421839520224693144310408427472612254867083710000101405332201484282699369284843648117229027787375640694354761913674639447726300135864885408370478921400048997066520822727651422073635852811318368450511380310290526387239235534951961281765235005049862075412102374907809078071736120817646035800634891024621385301231139162664005638731765412273414494519968528410518686460449957454290267020006207512720285939754561878618016733671782747700919901111093614013141416309616735239846009170457812296688667993861666682637014483023527982205592105946725215643753695337803689136747591669981173451820437373315194284097614344133688495682852802422462215166451333866297824262413429544103732689126432394641872354772427167215021600779530722126653181658968931491088880173277907936188801979409451459783290893490601668205755066354441389824263167045904086366875784873155257660531482311635295024504533171315967529656656964098890288417332166202411019488079290955775930475278044652256772453484808016958693329063172776812955758246212247015359939394895742023498986741767156030088336949868849696073519055736094267254238146220039928947707636758610319516873137830436813766056375784298051265636020760098273447861717802054284073211648914558423565507773594840890054355624896856651845656854778246089121473008314967210786704229230527855884736956288500019489557144658526376575748344694637120448634477484433655643075505622810716108903279966937962800742681380189010409600772545984121982902337621419335710555394262997237677437190904489218398165056325594429053797061647385323707509127894281600769316617214073552444670600308022110771742173084780010680906472631824180421734490347038947084929724540871433452684721051879838466422224814470787763827281892016985721998566131770922344643446446556779592386214106573936987343269967443131775110264857544800085249778348122203904008064424533791375703810026998741570539571040323295587096341557385272496090170237486102901061521179577026922644105136352334856844244082823764821957705365265896538274484283887482063252072275820053259544553211979689816193507004540590301137568567713284707320904864711385982007798429849013255110078340646531314778047625674851288705073316756120050912902424980518309876964383542364192624386364334771779340890951593343040005826648682103076505379165833502678800414997019021495126902732665673813860485928848421194455412013995505970778792292461524209816187528394621870658928218607026518220621066984044199723142014938965011707131678176457626289612782929180641157928540659170418207435613048216913670701857933110369258693905064938838602712614744609151662483412712746797501207393266254249585011424513354007906954114331238072650939875553609128494274692301887123906458325210112534246832247475033036866504250855226958117890017292750254083359155170621329345986816628559085052351047406018144987787761940669861510733079527979943418203273880825675744491501098570074078206649299528558512128048775459495268280929387356334247601910974508511035810657316120149330348701564291018435424058515530572827263303907261477753208705886051941317983758678622799883500602086853065696111646092188127449121412808428044664876108196474074991008804256586934428963179811428352120080995504986811026817354436163315229624559418822563618398192790406736689627885566229341282850694825389574408508443686082487202736950911217223668421635427741789240703520183209291923850081789422224365060202534408400399232194684585634238162641429095186707062582044419093751183779620616054224030747939609125590920843718234147477839806213064901773850301642186678493005056972470718109903533645254423077643483230138967239726880312350720352091440475794356151912715461818470174672586603679177596660022524358187013607711441499909968217967054568743547435318007800825632849428250011366948761958637564600685514304047849189363045685631470314151265079060635634856311615792339872405439105774351847341275499058443349692476019830114901780495640617460210916900805487168012310178986488491272189750703295962114665300298214821379034345863340168970604933061075902568865465073326586556783320590052547318805455556830787577590371367649851129137396914334900926503570931325956617985276228883173156575547529510058656226455289776781185145993701885538601449484423370518198516209605171701083020002827992252362970234473458426570586364188610745351495296934121528513967669844224026734861208524075367588385093766303702944446367754181505032996758902515600798315813094197077931707196377244040865912205375507137806908773343592198139313140872386851745380598944926115187592056975113481213877151951089135399593620064868124285728227759713350552905211020319103488003641242975959087163675991443478993004229461103049638654796633120500037179296439411609727420324651473085293516405332874981126927394293428040867691065689977747414064667459941191896161221713783253661358808074916900419958636516415672923728065988893978102470570388306438320342775336014583775631504207074230859239133644435149373295767699904186040317214598548892041281832371932064615640390532133381989587835085937462757065151422358117133948263897590669833255685881294199903932159810436278204879361071374075398959031307566959920386471332123978474106922159825692464237575957789194112390323707271276760957427605631794223475185879209521078028663580173239900244315951222886519280304163052033154194536364260131572175617403039200687103124657161260831143358132084521121788474990628143076443309435822338919051665235774176018479975653064790613286346031656890478734716075744627580677915944930387171109255048085863695550241710360757860509051685734670880686303778979787231029911764054907863940790323960764737786427614594000219830363023783845216352026557626920598536384816723808888348497771432937030712440655050270881616171997945594990134304780206419385580787681991787387895222954004383962148692566489324904579704960158147097768522701356085837450711110263748848207083817564382949784830068760750940478526910591514443681340331119729630160045682546124673905393247798996821929563915414465299961084721193659962114160272474010943788482088214830836985861741976839386294358875201790246222887448002702737734455746230197712465367274483539698539269263142268151313151463627667604083312142291465473383350579839312842320277319654508320570605735924208723039713901471656907833157815499079132256765342861343222436199205627684559685716446022707573515377548023768962506136276610985063323135763088879438907955202494933391870983551931667827562722742907740291915744298676986103900137443081049956643859314581993541926341656075887130177984927262016548053444634336803204013284956335855789751530412875932121258524356717812581444907821793597252121699143504703931215266482499818687547331871780742027874418656351361034670196141152504930247397455172946541178840784709296571821145433333628268457224094249875959217836665006007487916898896158032730626195480683034619840212958081646711439934630089187441620286368176129627211366588 -1 744609311888979031660588033380338998522804478053013359552771872202101516958694717733878319857688205335451354614402670921208790477910034965765713475215991115182384357590942622602634075711994227871227755738963083326623256373704665335462758010333818485673657774950317804827432092033028157853193817204815921683538888034513919436495694397477020502046740074540388084728741983001870579229804180341669872289972607299663052498514334951425142755990893487445525298837844219512116201146217580468841445665567323722203999259701948533490625777336478259995899521954182209638628297942661954553724524350214147000995697340043309419218412804605876102818783890785952287661876118565140039237434541429869110567189305607788686704923127407210954422190593087558784154295991084553132937259089652162433217983154737911751535721753516038291034922924041753154738807687370962684918048757981039886264681207328910829966287837783995583769447604241904246560138784796745960627580463430870566716129506947288405249173760328463842668457068417596460249574778759571964353428817695832810289352060353939764909873733805073364472022139917027310303187260939761527536052455417099833404314496272440320032601021684334385928411377135216909153521017304498758779042192843145295883403504174353584168926877988820264271578973586780830791979831613820044986404398000892924044159170907017642174324870958907186563975084699126058965330507550967574984506178843875040707650418193611876778544840789418071598308911516857962147530101008063183244382488238723139632749803247567455806133537556524735233327742117058035056665278136114232355968656907281410740245952061880515219335632657885287698780918677757055217007854633399010221176468475738672017790269817516083049144533955898295003849453292366832097015767731697630734830941736688399674672763238859837998821961949210326105180654610287328354656793064601268187417736301638301179305787618753588407283266660283073242905942906175599977194214788007343657420383896297714465143222813120364041058244049872467601912202738412054334862895725687889091857568176521976750332811262456711443387501711182735973226780803539778986367665362651175115751010941284838071208916320801219461690329705988957515683679031424839197877003838269745246458234217780191335364077666544562493910668932782235886331485267991084448986966935508220120141077590210213820717356982490614837280801195919056880494587580184483715088022524390032062410694738552109166844857107363449523002798044379572517445862673392054200688433016195973816467689740517762746542848663543460422314916859746465965590631938688806972553072668631234569801702397738128252410157259494847112452918511596517618235893220968797627347031210822381594506212863400084978144638246844391717334930867304134351008666103231143354922304601967583239644252795010999024697129933993957323600313369913594071381027932131838152889414270087449500816239193964045031788339297793299564946834123611774089673272865848718917007014894864956376694010787065193460959178828179992196827311971606101434630264741805088684050297212527054322089379790940516488116514625652010026134848933749258027378555081501503118049366135544579970133696811339230465364744941452126491613796077986847254236639659478364948382213530144869560821564075780917898184700021708447648667717990298507416359012483232433092197516781001393047134713891469366099925896735713288150938290672850897123346735589715463808821700835443738164796038984118262004270417957303309222512720349334180312364373408150969047215108654959419129692168219151985458362110472133916418403143018152036949247329257480080877175757690254675532446149390598519338211097164557094071299433433236614537124807769352181627562856416448229694499661183747000241905531263595177525065452335953387176454766894200686875354050788173788184676445151160716549787740232874940282348514245776367826525691975929831615624518601281035922802013375480348963528558462684561220877927804051073499780693717110064451722685571906236767771620346649442924032470604775158428273858541710341022860634841365822003675897944053695439132734125955305484091561276457675927430664822886810810561345081243917756712423050553431917531092225217649775132966978563656897565553979115637484724723291161708277665870677641606722742486524176984266125321224218675446170038125954970535670706946610678306233388947799384173309506383292858763117190311429396235654842926285096344750342802643046496730786169502301607211425393366564108846319548890819724097811044267694292204860014561876263264983161465536554110905041512073235813268748968562535399985497284577893845312338636704010026400917870337797071602234463465245555130818939089851282775659649845057811038162729587672402923193559829680559741898382248540298160228687016537383252240467304862649271950762742977937826657446825002812742925228318504057001983072839292784360663680156236434149757431199607106032444303667777656726058460160844019507598961790253109132419718530535164117445769783653978032494545487957375535198714880153542312876208081275810332996396603305723318488211636519923680740458861310781227415645284467202572411941060958721696012191460641409893497349802597651294424435404730277410419894099974449581260778844283453255372920483158676432075197047152077343773617550493054098824628147257039648554338528064587247123943808773151735869525588213014212864618957845329939920986360240705571162125660893665050184150593424841451566828060895985119289791300733133852262184209366577881490593806514178179720098640614340250139155001364140806575309747520606354018841120221875158968792685791448449858960495435795192799762540576321281458944043634122470420845042811523309598346551239323662645228218271877852509143711216161203614343054810829107739800390139442680014415623846846964746409467613386192375391609015683565161165324808870005018941964766459164416113608001075941173043280733969175065118187702899237798384779149960368764841791512849599710698135859133445725665945149037732527024612462037473787740712807581636665494801870862853371769594241456215517016418102342240617222267841753737977257346236135388630725010269929394933415616275743192778249452089348826156808050595046982940184456532734525168295790961240479946224470648987558891759065462205231436741350372590859161719341340465467328689486505047698121807530665620587585720370869121336712980555010627563963034319147214169191698650769386903567352752107340326576067720191587510633540745301069174108390741017390346119854687007395093474064253990745300894319411902298826900181772711640836991211089818437589268063022617857598459203530566199189737103401706658147773016312360464233911906393663339134847740414233281368273345080383892478392703591771497020602224406069429396801325342680560568243791537396288160433858887479822621213304766354724291494872911353724783196263821831028157369305441325881514424370172881605966489216475715448425146951272205743697317833384742750129041781991116188110557501216129450448994705811466820452141492052686623133612467091125881930850056858473816154356670533161344619523647242508296010958872656176035090726421189874769649217375569536578228753546324619605723110594518300670066101653320156584124532360490264900655218480389940314935479594104630971328874842005567990644292827412563317945425882352267531994054247134000533337220561041121526305830360611193423906867590955528866909010389326593899904372253471499033255491829892852209485437523744064420691801520884208586557515968574437149882992993461235948244262562686215202756142870838099586875038579480223154811621925447624509089907741556706611823463203166813237567419131049229858258411008243871985922115792185 OK Goodbye!