{(676, 35937, 68921)}
{(71438492902419973396530139245742172795652, 663369193861883277755721352393867451177761, 4622914402930452451511364329655987953540201)}
{(452982462479775827914812854420347190097254151053239421147118666843586635007533091957161508249472087395981346241120121, 469877530864915158344606988932781637513741838858536060755543918789905739209104048527068343010071404492872665199398596, 10810242802953465746315347121368314650979720701929244832546773362033879504277818424032525909518362695103244346260991857)}
{(13262836034124320703686690281344585946334195231820873210094560208421385415347471095140064834349787382904423615148091330058546621139323558903010386721202365412828492101667929273823571916497135847687762048829273122704417578828839977, 131520375326198709218225109804656413653331291615055927679123047435306805874002894539145111156644282061590573100073908584606617742333846360832334388746016672330419062389428054574284242006431468929029752013623459537840788340982641636, 880711428653279839771930306667929039136882324752363934240656629979423274719230719752487008415145252437864256074980075488194917427692889747601169445679201347926696698031241168022080740430669407279321630797114317709881509980090656401)}
{(24571974657605261433093826119672177054743279609443656781587963430155946895528217862517175197078016329296434098586059257806901833961502303814468402170483723175084112516008938343543981995544314269086311236720327880324078642846657770688675413890432413606516886451101985259332372767026379366888911861108070924686823267822657911547193636154833136184604503161026682401280346806851111601, 1358575725563192879787266031887668372354026958278670241850500219548160193128306694508338784130045532450206149362299717092672637037763317181272909905445879457078893004886688898192953758433804680916484465994415039743153942893194371401971130599674200679390543242208666617957960566158487033427110284827251568703979191012266198956841954513623664482667084533800112977729880972665209402212, 2501540875021968015307989016024304952638753889302056816902224147267765959685226421802603425721405137368067848120832585051760152859840435497803399863348713389056514882485385829515118344105948066412063675102566888043509233266355701021319466681070076556132475156200470045146422948904209978744314282525962714896602103081389162663263694941321242302693225046884802400645134448991364344521)}
{(4868118009675818017114354701920282172607105855242237477136878435557609603587561849042335504318759337221168570809771629511939178341794369629695903305330425838383321723909632418555464064624288170943832905942199022682328498911606079610991285216651041791794313052747768963420710079452015202861807655711432750502528079282227838325128897850578044871142375040934740158088387975135307135202891784210972977389855682693873004406353196561469490217936656309605145268638120685145531274091014050880750228484434624562534806250837954307856741347940762695020004357771199359764802994001, 248552176323918208576405261275230998506315615087826112290729675633480775872823926727495540011030334956542445656695651068744702114365702637160259730122059132022891501846777324763334780639945165733298195730246875821366706826362748447447221763415276233113578955254928513067613085122586102795669294621247726571079082893911289211124851029984704071177021848479588612155636465858423982225969583018856357155373653759401983351691412687472843178144754437241051228732643275224438017259266009410478936950506624743570143174191985038957307043102803161847766090487844110558087657432537, 496488074948922174308405316981376705176228439111183001007183204417164190279157398119340120007334815302001737476131182454049238950872910850436870951293822495392784379165867621948308490929931036054424981725542663563692329268673869195500375237911507656896227459445503934350609357475245114922877581598090011292350788067522628519735917593055399923145210949397535460091473978904370255897877791414376465133617452432039766092655719074366371114102346879673658879033304405110370606400640155127420110661130353102767180537053805925413430264682393450088872576285494551725884645968196)}
{(100664531841806625805964383592650481712124032245714567952107931934506077309088338223325370954853447609834664441473948864057082231729480979518885093336284595736189959317314143641219667478223838692618781766588736076903137780221189537400358103570000035675103462575424139575189633735843272299124244316448698791955369417943911470213266845176239784239466744291871361763891329099484669012566378622863483021411915198902928845233899454815100613408161636314323076320976136336732360682125643597807057986325459131666129889951341728700002011996929011246731805554283964912322403634836112856673630911517115214383793255511246997816230842487646979617381546489652724507124657257597837333318714672924479672853165732143878213241223088862643111837395474178556649673242285386749262231246207405997608254646895545933577, 874886641012602770838666383364980164133122721381427173356520402312475765551692490649218558426398518848717356021868296676580240940227407044380084537416469304520393098766593998537049781908466258214168590865118129698261881967107299666802438478323920545500243874031507520289636899512003342320138825692658790060808838961498301977338170503129610837571440694943828091957623804885529301392253104423644346716949687485619609796826022421722906081845513322612913150500070628688232339341890769310927971457348832113981012056771830718615323956941088625984192305794833733540753397358510607168245271498074463296764123003107244362119653799490923380739182679511633524983162729121635883445418282285693334760648378305814887693608848045079284923215867263607958468058606058661003365557035509046726674885640671622173761, 6344686477109337721679910636369145341503240805341903772869782292890968061098429926961460144310867260250943127473376629410568485171823941628439194421979216075239377139040756859602080754929033145006265200189402944237085998609538433097215214780846779511188644541024243494998774368971435456313939718468128601638630222501003497621195461473921815581641840040778460801484670615950097002256078395089407056791840763576441592774982447741299664838756100110975003281944252586778104942713353846510707880753634934620028109014076402439833615827330127817006573245678418610571017452825934573166780431289494713983865205146827202508105740743439669533185495072471112410285982552112870784615666719607171860235862612635391238526767762251498155571450135887983920572004745213672171281969522224049372224314314690701343876)}
{(114200854210546969525321532066337573604366289214142499044544893521802531037968865456355647827479123396681020332231397395657343614650498118546801611286611396419129827599293405624335117232085673556013511228768011368990938000545283548288003982640041027488268548626817088134298850749900964073713964392289950098648124624611085980855858306781095573602737991304949700297414025210716072267776480133833656070813922339648402865852015237039099699191113222916853267725971200391396564560589504752490351629002370125030681490643372915431328737527939910072708133346111683755723659516358414855668463948950765669055181865039542222711389073846068964322443231528550550479718431990677709670179001048879246753287533656802570467602348256340001159650045796348979428206109412889398522447655908743835411030541001137033662732821412975575289269354604854192123057753086032684429493408822783904921998450392999891783712758857480202184359369036251263049030842966128750227361517874128485638991619106770139672152542881616471395189319278394072968710509035435409278854938772947550913845994291521, 127460683102447824786174011518854744969397702675995798218999188229491204530569578880130584368883512328359242976826715155492152166014637735110308279637005552524867872389575628884213997575019378983274179916640671803944769887422835663220970086446935122559030933762850455906539108951021742042799535796656308098116246154850006243404627474744381456733178767155894800760902097828773458918936090543012938272034131476147235853580157947012555047735208161875256517135601352948327371739684982476462917071404295596005417269710671158786352637742367927639929113792523784031120241731889752884199045398292954296949008050626478115379519914620619486579198802070041426186353214717264902214293063016776947107741880719107012491285087653512622071578337744450099766487350466896051780975054202657084470323409353223492308373226807274354556078078418235521554374852550405797586372807369476981210687174140461407866576908784708952290171030081156910470770642130742204421446856754654185778276847503802901332582810106716874305884953357571218156641135959455619370738773344419421627477441511321, 2826489048314219084452916924758778736212902944869966097076763688889196571924489898582158785506947563543858948760846800967355980533763345339314741070187474595301952707076261383902077917980532162063628911748380181685432379099883583237208269567133416198614558908648101218703214655064654838472277330580618689055113530631769114033108168503565953324458536218687773510650336830224363267453207165731171584628693884233946766489651666234991943909416535263160690930677837590768792205060601196058393346363906648703188602653842183348702667938990195747787166702717470945208047985084860130039851216529774323119877137324740802080734679701718020333939454135566237393733728702321138267649257034751518179023391557948437856407669527141984987236502809269362509092321856295920235055562929182500181513839885264466464139856405537936983176253957146638635831564608053928585973372421423367330386206187558626128539542717185305919955180491489751981923342579390757345977126606406213604436596087607902920669182459874750984285956174939423674034212546202686596944388678448098718309228365309732)}
{(644163717533277919527884824187573562820936175946544467466392523690543186881099495524490810392007848561504343069073854914813431708147776012243005817538016790884072285432514895860320636138172657603669551059108191057404364903347551305968781618306527423449938775820188649141620897927373729617269843698257844226517895955374067651252055115830478081183597332384475850997077141400668070154419779481293301568598632035554725301217763579860744021985611654170946897183936253181856169410164740989835352320820534806079126200130351658549651674238536542453454990933714024036809416602148693362326142734596817007130035127904072000432326697225081690742381749050669246922449977146866035209214862063750902000483632181971836041256802321580689797158697948411200493213863989071220171784512744887418588108767522843892195830322156111108534038257806500996315749162976669521947606469734267331163264631003534340817870079451831049367881682526084567598513634381918990872041908284536097449653015888309830307024697921065709153145151707429592802202223710035649892849696643533302391920417612357295056150536681952013815308815286814509873312501952142578537972683098019334638026028162030075184249036537490311558591531441910685405562913577173476393495569915027086777757811369489048877220535771895217417853605615247685626109853134344984878096918353340365343758245770355817571133356254212581817257177, 6818111698213515627172555491176301255009292622288775007289438665157572860995893690468836190694802454559711219853727585980740918047447551082349793273300333847272888800513211650661651552863322555498961759008142947314748414389696058191436294239808308419956425166855315269826918181797994084207233645089278144845250048602831356112986562561990735477643193376024824753632164683153126657627941791994556932585725748788886609333583133249071430128891624286630638450218429190758276975833854277655252333671732244511310496783521750061091090875728987020403069389910368499833772492730019805570423990234432071097936270061785832307488632536389933925239634826204039460260711631584453357286578557162833081168835758415159309284660540953962518453988528364057697689046793136490869265574982092070078127768121930475359674161786702629062357280938164879243220351265326992580044922781770270434140745748598688344024015890523762739806962801045267569887459174795911011898792247252968917968313588385007292957001060026167244505050958146707946182762812818975077925291333379034824592463136021971415179039363537815514407416461839133501712907453356796728477473651978505519564554608181071957664093971682043659118156516406398209099901575742211957550578862596085049960125006444296614011544200827147754884434634511016368408190793197237984198560857855771032165937735248005629069013014167159222424549761, 43869584719437007385490073440434151112158224765328069650090901030618114208749381996781811317313640539816227489361914160515069487869939272600819547658717489716816165985654476714316268213310106526197173739349810561576225055203504206401174292914209305796127689089783573610538173760867468384340685178751261320906500123878447561969125596750552936780157196114696406024628786118494222599053522783566833369554729351866676794227179817693601921135729727020249761500404352358971578174683863998548142704614672748265077968930614193756593924737311354965198344801735131834521554409452839774730167677508008614971861745026702072563290238869291694538177317920397683417060219168777279118914984363708014220723067552541591962487156513983460525987208420321493692688559895516288131055993985226294287982498389286635821471703655613214886176282255288178562340216067703148139928376822701924644144379654024008148546496017960202242393246687449399922640049633560202342226368014318080628184072768203451737949732878411229771986646041731041976849831953200887310731847919696886802740379107433798433537631185811359337315691958819797493105705250591485865857287006309484284080591425083929748639069649726539305656248948459201058331767437692770177689338174432233771830425961493983331413222377474196873155241943588224456895495098260816292855954597764624938813928618548017678552286169042591628869117476)}
{(233801619308676367759108223894353175827045360724596461337145019932898780387007013903733048611567871835837214005461546554690486658026471965397044834157970429095020677324438134917123009970770134317701044325099665955721465530496345453463927411351385385568813764866340583023784634733630256286364841125699282645265359646288515986929093944123623658253726868180887828236198814085913356776836289220534537860289271345474293241479714172386278230220850549421947124591092465880205253955895581643474118107771607559625374174607397681111223379487598678932245317969827336087179115121582966032179846338384508488502165772229837778988953706285602630499000155629278311352887455109582372909172295172415725494388368962937245969315523796613360076631987857120424419284049010335346812126089811688188150099037569293926860348141513791911642835575668278000203666658006770248421064631676853814100561773886913052461804158689737684589517166110054870265394546394912868136982590373633198764872497063920665526423629851537337134889911940470429712326640982187989714977073960598368339424187717829576070068021000760299543197644086286466356986146202112612140152987346508410919651701539918889429126035094574547883956629351390420541916826354684051191729905782888742083541478082333559406263510396561510933212628998798819301240121581517794659240424623959532343027317293521840005669712676598169504817029953972745041714808496314225646863053405102090572866822034933981765540665622462065699352930234260516515906583681823447053388049486720224701107406378171859916648149895084867514302392183289888125056344900449690822292736202607348425637763584006953521796168574565008195578869407490288248561888525272064305388743752468568491302160298826523667401, 13428992019153187796938910785145881853440091979781715004344021976219507630796743066630771283670049451314240949316828995089799989618741855010037915164716119519436181025023240190720498790735275953227668082821589361098755529968025953027026699384809462360105298817687039362809038631981799391551097546849578028500267614579487518189901344085470321633671056442198758406456989554067269516074864996877854928611328961523134334555704194435920456807605196203599047205796153791397798195944711818409800056775547092330075929576279550692683284824832023031464726077683588778652267040923451299300654947104677501410720950071181467918360135446749260093306942071473692185782296966945599615050923780666614404583046806391488411365037684591240537888466664647107641735320461428900865538074781737820393726822619272752764395816352698737638863521261885614810794432071226071834405987865760521692676724458701503189411425800768544241173490139378727311892729738135418034732402486028218652806304272705814563944448346469368143431283930434411362446551377206133907766007821585832788341627360385737800835691913111117319749511286681273210485541327429681062282623338943181047913412937840998274302192995834944202285905396357375617972603877451102561980542124832849460227900145898655051385363986611038130486763382959113499175512544963322221054444903650738901276620549854994360987073723300659127020965110411970863413471527267248081121441932684221524450138147129200858587446525272337177936695353752381096521521781655605959540837399619533841409874618656328530700443064104608951168796749824861277063774347266072795444837478554772610621911102022661684619814918516267678778184332541510370246768436261936933447996213885256663574608599473074570740737, 23739796482385193199423019380300949670534731165552894716733920009430147591965800901823202386347990117539747172796084461960464700314207843780733168189265014974369679543107707783574781883597033388074420858784518275561540714868350273904960018795806078827450344009264580112715991056651254200702938361084472304664778727885974984702320447846721702219941427815438939134727361448086117946697782216775379612317740944604390984838465721615950305780952683798615301399577320146287359196762327081069341929277602839236297359982589235389802559644914883214886071851051053007146407824483854678884036320183538557779519741360503441859549884569755166425753369893283460249681179847156843240731493607790234583974596296047082130885727939524591968696037494346921957337607278777375132057419460100678612489197534033973265032972319308514371934906224108412993796208111812675973963831539949566790827129417270691200217208418283286063039314695313837130582236098541433386291529282466090833296695142786140705575170381870859770030900414415224832781646071320064647597860749321866966685033206801574299844694382124893356231656584643522656376927883440921476654204583988757771292257890590882274966387009988448444425782481238121445633029340129068906235470463947646991185855247362957704246408176714424322533406327490785413518112377212650436134105813915662965229710011414395094341331580174327700943713486356990296958287833979787661497148571298169795540714995690375899123812798762303831467560679577048099677871180151292158482770273345951892832955990933287547703887486480709947323135411372986983915760563231207797373957920478831635060773383375001947826031288529729103033627272740555922797402799190102092641146924142605089382464812486024181444996)}
{(9176490970013444225442087676239958600883616459062439516747025620539353474476178066040230231897338893755178450171593279525044982417160599896322612727709568190841061290900566738295253225199290939561455043105696672062175115541282086935457917124809902617304566129905479471248602771461768987537143973469388073762108199025084010866907186085236029480054774690836943150210756182549236134485853284446396155145525326824499642302887913813544082528748750382466888445770665619815584266558032513025096706004776642793944108023327029861145883604480995993502041394547645938718757590445803102801394124930660750690942449926895827273963244106051930455214838835946622201024968967898630903555826611407680089025441949067760679759953244744506052875559549893605133863539291756020066941389653590462409319673431292069386877112060351638100597924358280666315983490239162105909349570997431706989304770580681575318962946174822075932488571341224761465057501697787322127678446107094676907948439405233821028793052190434065293616289352688482206121858275954954194233654503640682619133826397807886198739840702109219396143267614994625626025127209830006342409171955292848870618962183695435986242602941640345241589308381289428489944447121620778831795700150905924006785620971869022492059284624339614886540716909164704554817287909368308839498112994322349202464903749208602864800870618498981123711302070282187596942443400509321450052434961361316465787522040749571908679987928635367897745620031977142190171326193585718493387201630966434501583976711856256586279297012468770282380081636248327596590198382638419713698509428467474920629298828226566726521080876337740364284282152334131220886968168789571330969558180930101318585862741136695993361956773477395283118225925696230062082547282251401205209861990496189078120855389279652089830407114327647503889285189505893640181536911153404917929893423777563608345471065524499208212305771428110564483361231860058396193355871394974417008306356295647873981543363830195793066250021674180384438697688920594944343409126402164010970427863697724221019775191077675870518633190811646157201, 449481021947062779390798078597332965515864880681157863322907990301555897840456649682975505072021775160128604364963746379880810970604750205949273811824062779648543351740153857489290888883574623662837443890775476876106002382446469395783050766296227067290422920908552527169563131391398621725803982490297813650487654011103092685932539557605871058362206895476313323288624917782171104796532133412640078056272172797389576376687325507399000124564360282305863583800377622650954129299441942914617224284553189163660320727627816745168891675882017452732588084539354232570113990710102789741095116666302891305521357684175883202814451564673375906022770768631977236814601832740452014344308545956199109720638144210480704987328423166645078379530894829584868834201950431629796402617612554242378524396731402005729447381118999020234911792740167732283872845215567549264455923457481379810783490709029940003055299136002248209670668416141620465136062316344812052613102823642474463085400783734439029271134607450972164350033064677312804198866055421594095897380152068721000198244868937314167286296642195689214479603832306778209068236338966912770138508311345012184420506459167601339709491070864681997088876005236574529038620513652348447071192369634725497024276687973420364687065262473090985914212199164944153603789303673919600232543537005542901044884334962998414968793985828453744443844315895032852071906572939879788320826155688093705878461307950712423010323377752384093064220537918601000263656975166955534737864929924863706784767157075472616120477758071213832525244276503597317270213017669349682929520768878466964092777123979032332942697964964198225240159962787137871037028332571795694873574569803100550718223980462145159641373675159245389109194341001184539937411816215620603207585826286235866754439383851644058772307346203197044612227474247336623802406933997437151092447678543597684273005273681705697755948134932566314323991136510606314836755234073556029500524071547644515754658169054986082201323760217028415232760629806798381798835971901903086946398775980370784176011376753199759682384821829800406867012, 935145722656989708981432108742496890803097851589777260822698324366995223189366020749562493141884413394954256379891148595385988335831631055887752686883390840062234485755593701765634694189136435884321960602226368415191785164998548422938713913788336415931376175477213995117406404617376362567092145223748910013586654703444356408452018697519968243145071717970480155729598940222429233622650203178849169418505829660807023744142698538566651038294433215403674788010318399911651443010733098889488842027223924765914117154458253157665917870174986758032832425218957757453283694117582453902367010732279603194398387310002578381799001492756083973701079179676377691897394763899795712624706153342423694727951257282176072826902670079365525793814914057173214536014204794158971351135840534422337992137470004068478038134672842420443044215473210484464771981117316247230893107472436956947304675427453096475715319079306160633673513153759344060308489494859354322850888157159469619825768832794653342970027941932626983870632761818490798892760242239432184220184657543380573113181373048052362665181813200723516011204909937041879960574026909530221511178395125668600004315342020817166827782056110058610690221326670238732103677923503947316628441706885073145986324951482473555880088533385525031776628954477271205966849445118889192839474200564778091948376978537385934938704748114655992083170511663719210509015114572759597082504406530249162799181526402911605365777210373135539168825101111633996646731852416504507873289278899377471166571413769318581621974365681435612471040644800881297200437016726867536037339699048552265691239763585467858702409150337198744615003983730389097201163176220910557486935464210948473727921449771310129029623009776000910754844703456338542176014352231560667862896471515436888163032706589031017051807743066915470508569908491825262453592941032659707393681659654557481236981462913096951256883593039035266695221078396716318341975596973451219441988461938704461139323788966289988597145564322233733697559354313341324472813132775343550051567652353578107538162693714828842414908353307399333501721)}
{(37107499860758550560267446847486805642174947582527925198039073695694064164554119091469425222571401291908418989314563986632307921230069176728966199891395521751371667122364041611399473764864602631134893391708505053361329705846235380275846452225800038774986154758171294329108171188489249884693026741231010814029238094182116834133033093385065778545444619578314635228797678600901035762995320927313351050371638595330326222955679195576967827204749139873219545602615144386459103096184443693378538171054611758813726685187596079588404922012597098110811251824374450090439512406798350466750373646735213177984053096448452975168508366059006764606163261334260914960895871622910884081395732178080873867372865202712765028795367768308234922285077785667994982477368398779891345956781792756946666273442814851612706333763032319961554120473798386538010890453006556453686650040070710224485251896033510549817291748592840074100979408223040369047100999519195006807606033178610052840692230021151939448164949537466461489323806487444282538002255991686521806688429861494789610948248158326461988799971233707875908522623775916635790365156903284166185679213013398974656702853098588255170565310034336009929212801310790608769217086732402037815046098501118842167217054089740553580961924362113412931028671797743919456538955381978490051444729399776390614411203118194174194073859013746014008238648908031015986875732720524068822497397814792102558072693246213021559986524394289765914579478596199119441992233487981535559911484304912938490297321946682460940466517826416357651439687999183541848693599691913537277449150085769428364888460614585533805128909317167113631930556073701293653218539798014504627987164120531579813758012763633331010031597923262316882062408222394456854072969864477657351483179907521057507028343205551483400250335905788392757951341040309241538734452024459475666677258565804636962784157692213870633197787729830631745132033749784110094705880511924805448880490115548456946047175313514497211900197780489000453108605625880747669531528846190111004012109528210349104104949777692084119114369733778112478431489785948111629743935116266447340547242787871277996309742611798865236175476132877539081692053992065038790867358082414296450678859711736363620493766902551844243998554322456594675237586057317553063353435826072673090329862727023004764417577293920916572090735978487460630662485824162696784181981065134399643630280871735647970589501603348319324369826030579339834896006178883279646886157011195040467102153531349694219377, 301705638119472423337864631336285038674895348213324257659765971408467222527070897404293837861118528112585653409595690071224252139178129621634870352380515863739514533471041087853849962607299956651957427576087611606306697643902371218625350997206254722667911228508402168648962836972335062530382172477377143724046800717011137933005740626023361278361581139545560846018524972523008054764273787484356388227536872005823163871979255265789340843277591585973553458032631873856969129776012009265533134335545281474537271072057745961312783434682129828190565872333942349345366502808610604428924177507498454971337375649033278546322280610344452654669927237545268902066867336515192734088779646306842222245536576027018158890270367756084105315897231967284132799268803463089776427741533932723706857065361042331594554674134543256187390095184744642632469962534724733750192360020577740108075786559142399508063365548191513667817972756465610185792181341802774630948311803779039385498270609645077902485065621313373354580215994672055389135663536180924777325582751416248409394799595668855994443543373023979945673323114959069779559707289731426823840096092226869318498086592638181578606842225141234988393358673156040228153861968519454053503371082226958733762271955464120753604211637829694595523121705111812681080672050861300991888763996516420096415298780686390708936416773101996216906746425876668159673107891232510703728593091266678363211498352041361894061728190142073025218531049134798399493266687423024534315612446618431322937524562209257546821640526442508904551796492589522540803992100030112163094050398605331056981830330681829304209684139144722638839076565397480348517012163217081961590140631926084185276262435307894694886923043537361793405065437680113039828902054827809400334095713502139321070337058486986377926575868937429647406011968440585388942199933631841190014056572183849833540266060036692259964689753007140688396763177911755538117885669808697168561701656491371445543493331461175750531802376010264957291782203463545207504313253430091642343058438396104436929511816655171602849333493152523884078551663955649317652279863614118761994001494348159170864053738667333503213531605236972568979947997745869113084346610600766779289768859560880981221387912708588758376064198003313603309741068914253941093980494058799192167539032656389668131730755528326951484332806217286658300512821608297487436073047012934313473592160330997729726612035005023216032028550271461265351969981356846354465767169742056955485355205225565896129636, 2276756356307369267275461207711958601562140334020837148258464784666186225061544591460697701248625481546554173126530153560575536042401051169546088838866252853665997126867701720166959205312058913744382333093991541054035247637442982899621270565907769754833193676320271875899872543718570840303662744273931906014704627619953994257287113339434805058820081180534445306929371819227422012184218154621570553327141259057876426587902533849684819989930021911536381424495016875466742318148927777375908741525404240851305653453851338371832481848093015773859657164525441198733671820113277290115203739871068061541025863662243643704129306259952350548021063242793878663463854311108980599578002860998193218781445740392642681090502584368270196472846724277754369809141091263117426214938175306749703008575246490456368134182501088512690922255942522032925237005728696858038282920897965244795015582006016625151455146375094887649167471275030680843846984061367602413566950485229015828045346804346049299211535018296425061088808083703683128461036786459066839257439236331724843634301235017647021192281771093539080555908610522736941842774572158340342809106241856756753913739637757171330762625990604189496436185985570236056600047235702456906164708391360538205760903078180533696949799389611168862954165132017707826728981103823450749945900480701942317543792669935878613975431432385252363355963018441682032855651564948596651809355710617690307272301406816612581319818842652971276331481361383241546056259713043897521588227789290781333540026124863341730951072814158687866561735604894333582827651482224187068688649455742849239206588983931070895173203815774079830756368135789728565978681945275496273744465423650281646731480503534460128459166888772553777159591762773632844267679006628919332543185978772117617424674868105919071209981389875302924899675338647622393522634094343839385623347950132522891436800495260579878191904112091635268670729450190563482729649246215620327064885010143274658381115280579466518324037337978588045915742375703575166604749924801452419130684622582617789303520881171756639373995787086352611698893928018860929699451352860855652869621467485346748332829864912753329166388760997109928485590005184902206880516633955147196511123940961527730220017824964634659017451950616432156652993188548631805450254939679790661893332069251905172144844308259636209814804552731551034761616795304549470279005879368856742025375042522637776318389463266657132170937051635568150806253879724604008977823144158191199095608039808482258001801)}
{(7529248920159274808763508571769630583159496813731811261110304054390526951933672403426214301709588604047641694608360317165010713480997722713020317098676204034727863032196342648794122633731563191581571225346795288324531494443519827291112362064317366872621994017686541060126921697399000472811785280207284158541933020742791081479212652469004967223913858135052535043133656654859387456907679158237836041446147891790936789158298624222225942954847778198945403495514956375008657927007179389022022369138356459919620781456071456917932319429313114181474959124661652302218995724359222601369846009614750773230508904742042613744061081607631034510883923227457429112470959138705535822377145932002537267095949023923382650394037188810313866401724181036210500770949504455017418896234872699242990673751422071210650947995215593317406428543084660780802494056329017245610351678987832570887368297437503035683832424056961462671515013880206262317335940266881860937120946444271239843089954696966242460476659692129042800067256015589874359039181217118482903588549974624925033851279899654239256249156458766516638716901096878504330283138402820041172301040355929079996902352343031946189697304551164719679987959242544256189422325792730152101904516635507303435595646920845111337265778919268227932924231024577966606489199619084238471968961309766060075396622729599123799374657757672897510006574664560471104716458179588292541572870549984025595182416786775416090021718862418744984416671287625004205979124520031666973531671478578618357165140554545660845626557283218393463068157116806034871958489998855236542704077577764983218670156041122243434076377130221830866727148353701673129075168139735137857063299135673021501502165879475301499083884740887749204894206087291416017216342164624406513377340936202122293468568532455984263337846190063097565147422421039566214041375893485335767091457721243004387683090115811658077850222432973771123963085778683037237418044900262767191628367341468243416887671403607066364223718241611945790693470422819269817395381518736149944778958684217381277859450392039500102333721973041175922507605284155283072809303836914924800002756967006303483752826530597649348629954485835144137227618386392155306946520252153845054636042036841186531498818048514360440537188665956722444799271054603863153673558580442264239603747097016300463492284705782999729478669799620936283585117750730912359139608317029569398785400032802096356696951117975733194590827715242685458510324758534896085585886066626588810891179783359722204316596733703940115231666459182115365493464319745072503988372377875570941858837851253458094235004050215935471900993944778393689430810865005219732557855818715230506906130513065210522401598468575047439170868849645972886676847414343925727109350411123123056868008484312708763926372211550691628794210190967505694261999575491613919891374311211021297977682009900387767444745477546709828087841589683225443985634046652465257686916182226047221404265517844500110637796, 9041764739691902053823436008075475600704277695001633835785324120863681411017608633038248350851072070716731143152981347863931234007456562113419436265164643964941966707664095795879821151747388050239037859018154949216947819079056155478970017441075858688461765139927843215076759244442254451259845255852954193533485312781253039498251325304586197861568368813090188750988923394048247551074159673873529218375149605253117901189742769091210361587035622527735257768315701140727949388573863957569267467922339681265436263068310014134055610362049160636388468739435940784986540070299521469561233692051569180803951374733009206436011167598407792897827483184894552401261438145904981541514989564072031484264325394026863615972240009425039801432419897819814422654992447837298811394604546214539143080448850983913427563621912737515006752314276139582464088516062278809162493436606648696403700004436347282775875310176079740281325083213009449242562631664618159811634437898157794600466707472205190672316015042010674885791369688189113623783541106873788195753259788373253606834071597852668466851064701829626514362579564749871624116479934166200187888469104817177170848384052323954646381371626736218758263141730806402342487661128109308836320327149468679414167552461561706762032377727774811790486663802673306254454303995256521870939595834536362243116123336554849262950715250411634964975874060262559399022146265962109601854496503379373175786168560643297593859562039741842527503737159054115781858774748827556700054837107126965875319457441948441492167798071155693270180314343517464718456278697884235446033569251260491494074210442117357994521461428760343341119170186279161488668223275148401723002746684713103066298416405229553173004579355327025233825392658850940670298576996682385443607075965635986678491170338001313205611828092937848812783916507659627412669812644702570833889017447139394287611378218240180096402764100113624173470252769222967456430577236546845266897720906255220547968423124393417178614111023523170006483703303136483749033819761095808963151778566902908924421436195195287714891263288095642194252544830243808580842340606730782453641149833738658645546853806170975535427120680094789665247325189552044131042394584423759718630893230189548657492014658451718213851106977203475336886576987022223908135227674558207326395538793705554719258068143363936761118243163407486133690446380688836969090515471211838128947005448838761381044541939784316451238998602010983711911219099481885444361075532151291919295789378153163392467884325332844293211012167149888188989947837272334357283025193357037866459703979579362435603492599590751884671739202082712703697285854623521908457281525187985739204510517504868866439591819204462227641655731151058396755355312789773482749534098810966168649808750329456322001962433963043304542837467960958841210717262443176419897253355455010235484892617656586991282181021805729261835209761072134188866461030951877381422161480180071247665793868927812074498921, 193228429710906229846305607280154698979221561734715779490739230432555330258900588173830850682778545834372389716458056369580622298213148888893160433878429786140619536152908952796648582528872884608578986880656298790129091300392578556224863107604269339277854846857977563117314155955001541838242211484188670470399214869596758418029369285238268594959598545946274579067382200479054540943135908416622229844516858288467005138492371451713969952313999088414226816783983873078804925335284272776982131066738756647546917863331367457601731539388957754204152808606338727776825484052322618536677500780974490599892736692721898694783842775201304684438084383497713649732842381272953834337740122193120384681002413590136406618280832056345899600092432065885399428081780870754694965226422537464782590758745081326297788432193586351396633615848562352183190813167621834243609182894344214310207148658234208437724331657885651472863593356223144112538455798490302989801728765628258413728239708275545574746172013881130996572445123209059234806642371309204535897750760209713463327067415929776154588295610242466792849930825638849646928604281429698553331944262654702146019655319987568411575892110586573039921258481237756961671293325475967549373320085624060848188394253711582227196467217699227356360874159884397396093180546389846061528152809529811281695843624316860005126066287725598345954117700166974360861320080361149959416270861210860071836979357907643251661897832751994457928997015904249176779320522766698935469031367452432148766560454885811893656486793388327123131922828234611927636831388290873525996143700316233125210152870708027621072370870907542704432743818275736184434045027497841629328030025439937344674876940684909253968405394872773451307175252963125275111765596221605050249516402352860948699500719838377814554187101576499874911872522186783277561089766752707114479516420403815291229713507680252408503695344392618337431400545114874085255991173822932149864630803432643218130460427845213835927338392819883567449907739727310723146175289001328617631542424169834026072695794954804323711177150435909972251174986831346038512740422954168288852281217993892975059444069064208600626151272187137125074854501473538243151961040408908674514117581580597777647644192571641140491246499170178905443639547472660423914768187582334442439293736383522697803614581425331553187806332332865872911173715780517148183201694580833850207242363616138111160124105089604420203558822514521928731822106844373310634424870983283734539760563253875495297490258193542607041064184109860420449244942964712754968689940114193566526897519091912480711197502294119514134301763706986866970812744459719371733358140788711699856117850075179256073230242889129924207759730086650165671387164382715198429811460879883053933549127593431988507810828761399938785180610073622967178301751777970190963596796839748042318671879681608823876181109741367313821408599201800201051496871196564789195912816286840675696056449638804546753179857)}
{(8185014091355826624634759625549418208794969429679030654579973269598796154335296495356029988578513955259994015645354181687496746386088514102412376003991882911256421440887244728665160294778699722701683627885957750945667520928289564332693408803248573014671937025829864553210831266577648490009564665636327007883532910895039172324038016484431238659019062263512003639967715666529833460928437738049100187661941720949744774843975779958316112879598871149011553519912146771619689886827801003340771428680202682578025705553619693942297585556301415911466701268012633120161315923767782177126382375405748065600551637229385796161701794660193109968312769227236187293730510433145178210324191302491990102543393189597744722048424973826338756560961963296205882787015886949488770870976671561641109567037088577981560740147041727916572723916149407782311449893861458905374768644797937593023049651779769629333681490650842049657132289284139963914404943705341860253704089202829170929403976136176037226243225728090368457702131115967698572172971176724305056510705216158833503604727225278547401015212414879073847005080928076479581754546743436588489647108635609921981039120886531536447402287318954795318873622468148939637679998504850604636132925460583573043731088405193881289286877368491447966793284258642803452132568852656461277317285913176077227015840013130952653366051011846363315685162400898342867422082476796986455355436447782353853607449680894098556319111576597954934118758156108250406789314997508410371586353050081658082824343014466150809492173996213583895406721934807942430683302568221787663201445765254336789487970017275039292250296289412842578969784876713028168067678757166839998745081160354252072244327445737780128951503072721098057677368819832050389200929075584641478877676045896502264910532350914869002984520907222135814981101436859710531838761220283668197680782068593923871728433753232055289273757776260345161584149992927130106638723270397382696614493831738075358060607322045229096677941717520769853539928734379900868148207972180602068991801750830093988718313218395047625366592970027034155001551193628690403482904231147712184806761810877957545822357033466534424633509245069121340418845622846984550511048261180885228708901677899788121860135241796439793142008865550122943314883570811910161999869752344900136946601176894606219678830258215916595342603782713270390490217299982656026761178581825080091423451027734552787438381661256212762109059658454905944296734664941364999642051937741530404151058748526085261046647720501752326301545596565032255205379137259484157373505513605934214067627772575010750117839345838774095897353239636013098426177682716184573971810286418390602786191511430191113637129154394655429421189986069077429714470326447442626863229651179383543933578000626320493526797708688523591374292065634860908684889924067615076200402077642194142023461748356534980429583857213870918116504343901054261302525056555391655203190271809184298259426648392525451641231166424621333013182624351592667791459099238997722860228902772343270050728799395950808332444589454249038593578732185358790347801995060519719831067963234006225846154069534129750073997029436483726175311762310394106533510085412580211743622331851034322243666477622005940164042623643094301378423362002962537404459581752903290235757949780144945893220286192841733522145227513937046460325415324158644087658704276220063385468934719758897833262972603081263611131478513274435577304671680954415523597252, 92420360299434471213462026704303557436437344401586993182430974213185625659877962958076589939660217460547492836344716596407189084281941396590040282231075266696906270765667680649485292339738276207328322732208970811303912263077233713694539796294564728020546192577623843682397066593226155146059358857807270349914380590599021044359294805634093822662326455146953750210101197554234373864935281904023067424635034795543632710913434324431694905200988669043518508399616819198800919839228251933475173595914780577499324171046439085655873878078923313714035138095323283018802863796947946745191186937851803883356330635533976486986609875451663338549476446233042192852327025619903049719390323439662184796816024986729114016417752339513699244517222475212935480250728646760339788464089902114697051395288479056657609113740867994605885175309340728838643809685302939645841273795218172508936920105935923577806920702179256217866661868327913032218667687602767860532049764902706714170219490962170888950563261184453382294891620140882387004749449780399711824161140551172170971560910589283095200206335127388173923570861894152313688434253410770259920912839652591571347923471377200089147577681656791436749196877192212870029737952557205533887909328662377688951160954108108392244683233090794084080405649466235478113200067803347873159459937101539477487789903531136691648876544703588340204085795885043479743481775174063716447400075144538206480223774852763346947950697018971911921370364034634432397800658331367518030182708403255878412321096589765802903605148980505364377643686327299082308765836538752138984660255106893137264438246608327970098408020683077201883852508375883838869559839503619441842068794840064512350957835074184525891283502256933651489112496955528775308310632121031546602080954879562073477262108548217174955544897944091847928566383741098327162917935837747575336816709622794640571028039370960197741573238131727812496482843525937260165583167110590294085085686959640592231486268156408923008610624610422694473027942221916137835130755659891936563067354133303746303927985332187482350811929585328078339606161046004989410774200087836160659133790227999150437175357587568857291107814415986495966950236698990760540935968763231688674492214402804279127458564023182405080874164528665487934512379181417167154818025934415908886940843310538633135824796560881976974513885564498348310705668263192436598551963219979286391598244372036929812369347672309200210903876676125807322089778158059170819106005723647855971700630324989524437284257728348092203858271275381184206569824867778373662573535718795447254894172108062099683393828510507583149205258006132241970117890047433042826447453633744570243071047520803581400698396094784646854222930691380804889250882551625395988503026158841198135503380587864807407176402938858276553551710129140379800009933559336801908394325020337712249564879872237408406132408295984446050275708455046207511291622227739977184782661457812582553171412664656753726086909565538886851262295679749312560287925423744167435523833749118906642802092057398510378578999863099660914470028160625699692242510997370777037238780953567428775126333566520416081947376410655498288026869648932833383020057598977891233673041471929599750999981262369593371822671555250261833516920560619735591002522591893015671470248017673889423921285807451393660680259631380549940747311355398978261431130326076498304042095322370016817404520866453035960138642382726193911684291626247914970950792761, 571354357790615520568475761189539882225326808609048101766594804571909215337185017793232975673165837036131895849534399539120359991114691123923907827114535885186345363930882438820518131511730942046531799351837576637461392764504131888734044519813507118845834417151727805660416854545326256937468143165636619708370194428890573433243021752265039922376181464640382180457432556320019519432041048976413846100636639514764111076041028084513667261813891784997578437412910550801760663518432985852944801853584648579910124171565554777170629928439819533470427357173240462224530626758532154146842881170423475421757023494117934031287326817003124847598378760210845208897248131478880435285603547504014361617303525203827843066810369020317600968239111775889268369585118986682407940345513669237438423420732798514109530938011544577174298219577689957417300728709375483504943100755211657144151899948497799027463561212544319344153263160490150864371491627202572702993531142440429002309084895445937067587837724228849864367439894123341296135817379209989544142202117494685777043100028038955762768184578187385947673265414134201832092736345670084851244694173321647869398162918359902650549769011595774261624594904304521654866461772544517225056973056950815672933154035480895980056583535525799138287537447469597808224740732843648885892217635990862225367499553844785018035263074445098544892608447262202852097409382507417920638069551980404345636449405113879215079280233359303506695763834966725811192386400929292429035579162852987227024632504502866868731807824916808020567442465825986612800132484285691740263202042807413151036787293279488152602328257619073507626816247501159393126381055011868096817952049019987911417299418147940564588669688984335926750211224032640145981405640325934315658106881947240309273392217251387607511111660271837100756648992932685953698895663768615948097078085849039181663032378154743093277818978375864265901764946284839820862596127681582634651934687981553073238244852175554000584848605000424672777535981512049780551844033998713233618952660766094233908807275640675763826878816029585433859493836861787822750604065793200905506089374878237003356951618889235340414616399866597564814359580177518794023023659987439041453684146823399675053026880930700836518112625097873581399800786723791408418550901477548539292499572159131772029353931792771761044438304389364650950597108910417376403951557338415366673289409285868935593289650558663473113865492442557096509738076924018682857378076593754343124034193360448612685165253638765603383473222289464887398717089260097858698541099811484794288317256605925018879017194011161129666685263761723009021387008304445423200471053335947956507522697630699516832163662427994087323161265654967421109233853704182961446470974937285564218540410925791434819978807213698580588522136364110730592014149534535127949890975979093636806863055462367433331360643827267942000692672439104365582323530091891281642310879294561517685786641358026907851562430116903285008552561175847299718828599162064976151940580973426798058977531354556242459512850575924796269124887686093858440811393461708784336065100132419992917334743191018678612017099183965759983668657143084603639793228558298004677875900196262726684991501748496007373649416226440377180056310458008921028612915418399054316237380824120285078556308724209483476507277623740381119351519884255877200101365417999648844125559236898943225709077731447588186697778536864203581552345641096104438335082801)}
{(582337933839001613462517646721030263679792281375713629990670151184689470191572871387635437826749510258192052864730211590508104745539800729494623983633987386395788585746286443446975060422339998255994033996614166395270400541019868146568432698106197394246973003671656875734995430371334434482748679117868695176581440048095415834080994479189191982501092609818297509269847896882454324391983610898224819127145723227328294147876202533573788912374318897121488191780842108644040237570362777992689713727519423354515285419095981587007335814188413174294250518200741114266197915211111880606851921237188367175980472749684936016723145729410058731077971714849081242203591678204198318264903116244387063175177844560490828042003177812293582349048655780603447850482037976730217747066723581393570822909910671445859064024340204571094888763787330426077704806121325848009469380863156624416781531141140204182606083771316985878853322139064848260754444928908495515587809580433272230533028033122958680735701802668577122373645980369111387093019096368211324161482401998581463907214352378534756212633881243554630339073555269865283159764839524558645250103872077805471989535561966882552286279992953443961810636360465801674031597764716840605751200677627504517839811995935330011253783783053923573678719007655020592939184220893348734430135625080916553774907736316911305939700552209192002787873245568813139109491085421547236819187190935071679236821097245234931348956851826475976524863188906790628195702068361639318450671439217377833418703805664597529339072150227539914621048174788198290466144439055394184624103551298554605231715624628378116483053907327513498437936977889897189035749489534441939820540322194386912320784042850486872708570771169031749428132053112257193735314969507359781196346426335186335904145793265883945587155466141499553682373899798132134304158407008857066479013017140164486570969336902671540859845797726957608528747086716472266372774927687219922216791500216997679631868218511778411809539390256979356356482544364812444222427091312755688572983269156742556475638790744852569261490634665307816363688238158915845641070283388062956291627775723683212133689455720620022085550780329270222307657983448799778214693217563413171846345736587493543168111849646696931392088763169167710374463064640223239332476130085348319643837502119561755651759431193350546440536254806119574134400717966179631868235931257436198426888010713379279409188941561689617123349924504935934679527791910500361851365518884088913096972405391093885718944770630398196519441143374277967534997854860959139576172951106397488700571620650595773944802339205944351068726156476453762641745074743646383527049448872867975267521935827677811325269485995678980626846340843551326239918170939112843830142646176554430372717603146349577694214249279859813306267392542853673544679043006883652821084524301198556411067464923243157102034488921919594761872898725022983293270946709839299777183438351832415877361811058765464796466693191716059287977529143711714252862473730362716499921739667797096213890803857948370597108849770853575349984916369295657073996499589963692196686364118863494758942503366948974572919869936390631004903707952051522517416018441632595058490375949584349037329994559773366356248296613606928025449842390980538647129453680469869287259585256661227269465524357703403731895585702380081133562894182591065497367605025001986648183181192420801512217579850166969759868984268861422561490376713215925907666923031862745956536427416833566541849939895486999723920884114126011613750528693000597811004228321385208210408723398382617418966883251972587146986027690689277292723220379284502700554786698674768637454653214520016356104938588934738080225789539397823769758248550216500333554625871000011632928558012000632461087486802811850999103767652387001148087863599974289250191514823003156850042339292587091839572208974487156637340056391362774354845384245089776225497496865660502807883177104203933238804203528145728525283215389983773738014162243076, 34707255899020695400043692414860883061190552610800422466127880048196361511640473247553128020137867511225377417389943622802282666109340241011957572228039434052214040923336682033756369075856999819303059537540531562168871115140227593659934696408515664023460438680169643818933322828683284633902450301352821229210512890707597894278703086572562902882171995159872766858479249973814391919181028586147326796793129995093800999534414642297712636741300352641835600092618459844720422285219430983603644987160662231274240406771649036954723368267020501319994949486193278270004228286621240627977545823984428979043202547755634864704045876384202987945722930562263756042178724180330899493938586834150388767477557840172858135720457123369906528479196245327938371795068449499054294620828981361638728909441875923093136609343553992705696858427458987530890209444657289347342584164120549216848707007618635206447264706575895390667269505235815802010424731758108046805659678292074908577573392569168906403353703626269904927967338182983300529760063807809943143241241874428558375606912764803661111481080760286843266819759112073149955070549519735365859571236867820450572882498644123498216608364088495828691318766942225512269948313304415128143670235160235725202962807222452011926048004654354752813364883574132928089260916722223417075646724003162494707512578611830073668342855283667384157512951281074607042267260258136556633823470006303105793301167248089751458131869158191170429362728396513557561515176230839435200245928697494633387776131457466292901043045062216046158642264711321313945069831154905945020382876449564761195268507884216124002002518344437306369662463326499519560711819822804339102481073426092231101927450498705896399510282533561830700091408107710127690930499050365465859518396628091543233594034275915490831176797564826821288580657684095943776761216526916512273198435738877690555745784419689570318179895585466660864520039496078417946988176293813920435859576435375242689848333309794629556556682681803207786141920493889497005546516972053358345674725957076162155144313610800659514356012173827609969813092282643360663365427444221826490131713459663146333193151605633277844954592330631610039378410037686505214133649076553397220916171071213558298997298506731511036674388698600960584036317929671607605086185654739738717315495491894071858524945467370098697705254686849975588591893331896466163093051058338685443973048538956396756805788088766811931899357365167961525428720044863067615289819055885394512651642469095945360034773045514949649201047432209883262053678883749102578740095283198253218344572640721042545029553914061747810887113773115720684189546507334208754294044421548282199099492584553876305858820086134291036999916598739948934785344190493806447841766636191949250064376598761207334922514967183960161627627806842887935703818872012009971498949689323427550786375000737502504201626440132910893708316697253362294708952602629788728298592894974648376758818493131423921010167405511520528126316400084552245219158181813909097112603756050680351935402355104165602041596338108350615081508766074498571312226502853911323285457956472629917948804967343649947329392437662416787285495055403226978475281258801487926769476691579554244230327882405855122343939873860341456184379797900776963988751524453186517209979141531430441024231804134530175878673291043054785394408651641680821223347251961658717078248593744658718420839069117372088958375210284016093191026043964264037526385406884960733996413764589436997402500269633507456840409209997939352142796978721565653191736166480896142715178232864129721741496887180684412252112682981317782806238333113727983882879417053774664304840545929618979934317311608212279486041599933900499958090021500549997611348235244158907990615106009312148396370363629250426192878953152795815580261320996914741444441389813642538761911683374496715671667289721701604178299493891611888235924062251842358801249845923989964666595426943075830926102498342277918434677588639220085150866362167137, 58906037033995649207791839849872247658722380440412896592145326178039450282978676785085354786798109236024317075125402913582901746851413028901842274551910821520344362743488096641717575836143955852825617712386074345413300868536743491261462951407191837350753818673387924540431731030904047397240898453826748454745511089624683088335498686555922829802669775471604420166922265070430487275237484758866200584269240262737214698661555152688274483223524494612102772923299777182500081765333928681904671298987849416697170309564188026952106590122892062200638404628335840629950511820698307018175804891002799016590440827530364006585828654567954221535471415713431962568080888396575107275424981017144580665397227870633720747422712014108114553315203770526415643414233294438907334008735767925193976974012145252829315742746597268773395724909534406841488111389423720739194732245681864550313519487281648265279615328164586336456548830772224812389433765160091192138066011040178296124165822058196312970794814652006338289990292399407767378161064708206574609258997855368231016261966508593729813614294767721676673628290119250477229229370622147441594236335382433699807053728702009253379310425912935468942423552423586667963078987528830942766730562316036006221420816436682825913799105736269462486638077004575596097288171448963250731132287088253543019803976729548344148691228027432580320358696656819653543471894084486249015379465653198208413665815487885533069647077750714618772203174028428011904395701069242246706859893886236363373014696656217441000130119567170505692779698800711273951079915677023410346492553631132027894898550844778241582161515920467610356950027174044330513232602434508999634485566619573067417042098393176408877816078585028052556593823254217375900886632298055582994335080477695583055754246671509363598381983300175909512620404413665278559319939336579095898147121031886086534649326265737255047253231191036644970501235165133037166322230023096975061823478603944514413247932286531511840074296717171394477792652138797881285137610600101999931596065392021420752448916086381870631901810263990729982803466322487053520587815940311041472473464186982286514591177720216412834316783708143906402452709725902169185796890686916022728858866172970814923994681750848795541413705191813882521535923289902851771929255747025198204144658910969499374744763506232635424090372248824320012351791639716429142268990396486503598403187030045041341733626902637669798887716445769193404686070488095662025790914882768499690223130603534412413303119649020586392874892714550074685395936541341243927250048397007900404292427026157775773668752071241577670640780007051126970821537889901000680223382782723909415166991633500394964224965823737472589405928343894555288329199883491650484683319952515982482959038329528891508675958071730307492577730516679253967612176416144188174578725444111795225875511907894059846649289310074766173481970753405937088614982620175537518959594720264585542194893853837837478681695775524082506366822698735431994758898565698679200299953381660118838058220311701001767338388952895911992774920651084723257980151890812461900713727387184123814978799895215041911101895275418917910689645741135570234586087722790768974211361585137136574856026180098032671308360333598903745109796296893439688798236277061159950570168220844840248265252732279463635762731110919282805005511445812287223559963916347539454295722406187484918006870620849092200545098446805601816681567223448180179158113765166064056617971789779114473082697160047639940093313749694774057789889116024407787801430809671556531899290648828020357479939225349314057109646523492517239691373448828031253818859585503544460776564409632164642963141589323258393722564848471615572473613447890326022334569222563199366574217757746586782200465099328306230694940549077695246526190410437592976145952579459668119662358029837437490289666880739826645255208230689726859339418716787745588864249471942539655481135378817436357509829763168972143765316420758657747302745461879721)}
{(4527791622621856438609969599045892292234976016373759195779873075583739486537899085148102819547002727631707877980527977893052229467007543691469037420826388330580251402827607141308672652306831783883889416450789458291368442725855357484907284546276289490485685484934699009220482454917186656942588377351944770251516658389501936815449373469925041522663391112746078793978924664353672102649647978500767136468161568308200976231742332692161063888132384224930605271432970035242186924012054030494800790121154605374611056841623870245995230870319857773192109122899929166203464986015373719112139890296635938348731907619568891759634937898318478901159440699866236064516313341737929843744472928155540247563650637119181311998843159906315291733856913430522034681968286939847745170341631434742428107425599349957298371112067523607580500995966303662396686965167888126131328546935059412066715246108716640657167564258740872011904584057877496562625519572249657882374090517993287003905395029530873815078253852598060546695674092041363693156400295633799479700315171882191137698595322297995126277754098943129475779890741216989881905147542570668719286009367385080243179780335152233968634984590956003851211467123930353187810149564591678172316084295842140141829372391544010948176900826705971392627784493817201748803399231672437066646777830049010043249224253448084042703268043870562730721555622590414653838993677108451915630220640064731624702986693322371035958516975835562556078966653678465424803610997415565033296510261436317026386137834636320151139306168230377614064282044809791626242760649279626297903211479033517701503653631312456407247373636436383942888683411096906144030371988972465693435157865300538937353553187841523042503341145519931118114308452173644229074112196745302284382456706745872494502839593485952606800778743321573627185636001051001608819087967515660759310773919733967863388392292932868597946017291706709676139745981557017270934084788434176983664201799177819298550140535978113798479707589627509014577167150575169177684741706307354221042509303311776102214910011216563148116413283583065083936595029834783800410893550432401798837295398053425138764313505870383231807909496088843678611653016821154831572183394897166965069552257308227270130129673456919866895508756680036009924684147916086227712598052424870767674324716162005624335011058579177601333050174364178116787181844974013824977404197974965281346262393683676125956632900603334670901384755228514534436450208530082790399486089634416713836317251951702684820206988227577939174503336511138969593927077569734644746117494886576560048295383650190365130749542834773076458501963312329111173433879846043096319121217508786534079602659710684668321588458365141570245001769243380143317386028483841793373501781198027034658451457858619110655313600253336381577747459967856044198349193382211564291946555514523697688864550936488197857425357376448224087903633611694689674064368715846286001984359755722014035938039111950208324104054655568646609802756545000394046021093752093016403340209348426894390369598917739422860344736218019809056383828816836742852692227182637304710402811964205625810173706216116258774901158975860365528508494544693261615137150833842143016688688254904638137291333828541771649593785019750013846734011941970952166697892871392307165755475369176264026044567333537095190943215777621425860539050807140684193303897531022805513780360120962199605604888874944455501276028906991951586863739863302221051183301173175919061568005204655764540513528227745886006729325995368299935664714736033118789581840956367510770871603477581291139297601532135373387599333144487061963373912518875118985942157700771087989949129710287299307994388246894763931124510789442228394375709397866369379742765379719606643859220289411874633466774919215681410874508056388748733772285997672735185491726351948000338223201766981154224440254353024945622444850368429159461122832135331177121716820097502458694229090229836886290717386028615021643899734799788092675597670099559883825370607496009248544199181621524751910616609111593304087588311258398032742728802261278090667950734750410124017635640580627055056028248470874562271530098668537940683953891406230898209281712182140348172768710804914313737675611103842751134807108117395042698495966785428423040174152081144811559159171469785624726547800423912988898445546507238686647072222172714472582776512226971798384565142317332338359629368751709937152221338363291624428471429333657525989432120477171246831667332634706748342906216261110981612719959720151873357386064959156717456482395415455290276, 212531572767269136188074246899423767812756143415448785796840460335473522228581580371466184207160875929493623986396464041650154525081501276607101058276273780924148964864594838269267404330844311187469324276805783856477281752287554917085773545035576039909288419312382649041912422075464225927306222106219355743261620927819128380275777110582729230909412473170672292240585681802926974769656884118101664168746267850649320913890302065670951761625891794209114417867572201298332007806281133688241565204837152209313164264943498499234038701241499232621911426822130072046120996410492196000764221040016914375530225778261114876274155772394226128064621375711215512175024652792334064939143047494104442049279791603851461359438936020714353180927411352125198614928301900051681550509746819175117448391907187001967115970748261840910564379938531722601842721875964940246264836012830813140293877981003617221101810506242206313383912811476123268889006758346410367546126978815390360953162747813051180483563872906244972224981216161286634670047562955073995906148065751550592971733799662110338289762053223489524782152797785907900532162068402187551825745293191240073519511275066676518420518398669417958189720344386726006766928869923449806328120095583890445461248612661062656115632893904403658159587919228869939521362810945743943358821810685059143437819212066333082197483708727820467867282339825820504974075142197651045808189167143016979330621143263362362433065580774875242501482671899547060543748450461719979262959349473151706329618299562768858461765562093102984075886054827010502531435497717586418119386862795350774827128112396211631123082015297805372969416935603029668061451251632683613683245509730130681107695662347535050006918050880582997757544969167228159841346737996231039911840387252306546427881875434445129467734747307291266163180985592328462556314845987646455575540915375609327050192508271122406401727814926699320259591268530256482529581613861907226983953761646013077729833417237691521321976365462383615596203727348197286960779791275374193905356832829684548668941369708547026537445660137476423001094752413731926989739760120327067661830114904437827967762647501509328324556282259870803225659359054393338059192874493095209355777685933230185610630495940312035539096514099599270608618134939447932189880818666303366950377722185079333107180271103081120866628417664190026461934591429664710375353088573203161688874216133673067548460383988009992209266863216027639957761202200003041369670406242489998239740149272878994591164708163135707777803921196057264174585412422610241428475443012361237220279025025773234964211361284733031855249679992230658808128970481959396810639860489023331438143399039990498719032105857856180741557061159932971178923266127507533904373266318252310097355441139793378329041623716961092320583799596150337581551748121405731801737251820182544216794741561184967855882596873606720139241315786955392309936279557565589505974085016024605690838388332524381313648364739589642362022565881451630912446202433056540154786002360740348156633932908558226007505032538180160858917805482576645042880700977897410473097784165755241329312215284023404862629871204595834550242422040062669240164863932633848577682748601121834454077427208439355169229196054657680624406907136418152768672974908656242147796315778109003087076716219408116136959474207947374701045594418127584231048438919105278732343598997900887887916454436474578585560408355763896581397450330853292046081604933440234047692668922799204031061386449371493820037326943998322776864545217584362761125162420762428993957224102309451699323342285122864122084985378979273492462429010544145513743688712785083927320132317648391865725612869296710747679758153069773046915242186014385464660628737097961794552269978823239780967618502547699475622723289674953892970711408851354750745243873783582473825025897900922236925149785615690093387077768863032739667416707741880838615025487661068163628617525460394020540346886623034980761418097259409734322882640666271625358244067287684485514957295629579615053641958877464760568854611614560115766073048894105784404897165289925548992325765989590141026355558945155567213846213405186170621648808116299545418381877624339774864591571719863141397210628353913448257027622923505959670257652238830078982956359891868926459780956089013616220256432707055230088499553545361654778807663607110081255798628981953061715087408488565591837053658154337544712731660230740211638770812538526573222366179679600421762847663138148532084085060281830710293304138083529080481396965279783394443695184806312223737, 460535291428285933152497937869276463903368743076256002098663547437168730331666553661028167323249894523974717383053047824274256548891934576056958635790382638326829458994471013983102492248856857200329802007260517858916047506831802987495324006814465042501529025764929628631735995886269232335089595969111634519908821868185593511130453857590576474202930013022558266589831293804110330079054215361745487071472569408518560412150961805080389269027719712828250499908962938246203067335981557966268455234695657780661332851937734432474811063762473473215013027118762593794797492068968552273921964641122576381396588897960624841641138931325356160721213728648340684048963031303809619211114518719468790750499202335420113766399575728738578188303214412619996898323192224827574138315210821518083037424946920915257593720970627148466671160796662286101887452713480032808032981672630269922447378523185821528573033937033068567288679375714614721485533298113828701565488079783778799515427191552653145919488601864994819975802718110316072854242365169001595173266501011413846271598574270631654889724538473351660432461737406057007683751039364783486258581438078092527919906460165433972193120450516815073733405571545292772980013112389319994899124396311999882539389323198071797974513192450965216558703207727507005212610450961628847075456265464797992375276481294881142216957678928370777575851385543793873458793753130208820643629053951579331008547290999428665947870249492087979614758047871512671499721353744532979344665632343533921416863153274594014313221411096106257162752995797897570259152971973356915349847688667437528728519669911288831011628047413006178624419650778992180076120435665870176446514400726207331342200934031014435079467532619654773669939938453185514496222353020812041888525050842563609113697884633630777727172045035566590635688783510702475996860041375108161192342843886710471307594125972119152206212443577383758936907845416443331664442821278263822959931597926132712012006655353969833052506053360236546190646486614650237082400151945793723721645088672157912570501012111466574689852236754806984437995328053551980907527499081123729314240418033553883904139338417831981297004703851472612899354118547097523227648421737415851893348207378627855612615488116048840260340049218556146486868231363481779094129708983567554564155998427126701034327588772724225707858350381557515115936027551724852071756809900515650285350314307686654973842157628558441576161425953721002025120829502499277721184589059550132706288667349914526817125137806439386425569854768291399107844964793478710123807020792558223474590261323402706754440545999742352006698891107455450689798918899196103195073855846539544199439132361941684425857665904852461305060593661127934316074330265048166725128968868556518538897802960552852907691404785518315103548276938997000052933275324891834831622228290558274793481997985916079103043515738934495055847370093913085006805861241903287182367253470410495408537273187382593534043898901046751921112572593939315851535153178828158937341447556577852521696067383312778999676101068993381220334623772828675168385915215594468518873687210506629248039284166236463666138539183347063391796180417397309801697133043450247119210964753442423638639194027740611927837527666856270329319379797279241811995674789038836014736289183431748207752979420902930977019938225419795882386295655433391986874121983735386292372318204963259747975935104447853132767795741028635362834833120554631897102422570506768374280181859471076967133474493178269978277522105304086751441321399391242977594881381732111301467679212141931546487044226090557032580732992359104904401512064119755494384197042787486103061384188887918384442967716365787696133735477171937815765236872699120317631851416371734546225016956909337821816434397252384079893936665686963309444680995903484349084188053053190567164446126769966999971230891227351036017948531804397094510481617353329689639400411577328090890761087506469151752776809630615868587133790634915820040862165203407702785663382913884710288714241023056519617963499382252976085744417967994967674048269875275463563175268653503716087340267302342548723236149275304433786977939492129284315001754195609780655031942461436505775409720629115821851438039142533049984893427124335973121742202296956926437812353753224725095747096092274350121733951217763107988813212489151388590308626840460709120825156611807335098739128158727342605259977489498972931349277983201869683840851788003484544099680219297484276485532262758864042025540158554841564649842504403826688709661867935597095147388234253785121)}
{(3578333304225012576898241984720119731153142021472216362246696774807996957642943593718661842998700897488138304386969241682324863027472514984380776402623439806881518381600710865876584795757476720035184233023404306734518852595882704374334854159238710837799063439368505401663129493399586781344800300308674365349638819548396727731181448998911658279728346080327476651110324235086171164644930948183463583343192212301914655233864104573502991099839696550954087409125392518576581676611158913206676499679746964283740266016394179320751082388051758276831341873190069439038260482151852101015892469403058655883268931592630555604737861562484567521518183974150703548164567037892957014383659133597807665407371230237920372802062803970302858803909644534272980878761226100737617552260935573878989560918100193743698897796122813038338389863790574526192644684778582181882259264482073528001365922049101502955844082557881589375437715735061008307530519456853166737288228938335372921106819698450267189920686979025176900421681032225920662382108020732039080894616888315851211449107051078434547533701314569085979670620851798169782628345627112717911435035220595963654155897684397743678434425154599683766006569235276793757197733144277473767483843161389079544105555424880617862718060461553933762739872062684047026277617081689759340604568478112761773216431526168336083179083444818290694631442531545766518223714945736842561999966897894060995564815925847814032440611371380929233099153038497607354531359932845220527021635914858566739325916424250658519912292273531850018959408061737364712764445037003147117640360938652895100177708887368200598119305374119412234300139929217817201911450631237382540723094569043135510014751125270421179634050335402008986561315306343024299599892285600546398920672131222270277881648201508146048680722938204904297220450103348995169049919236576051558268287070294092316730116898103966063387739199047876621699141545996548148870465425469954877499498535057848894269560426675862683580198358255995150245301035543331073313210935323856956672530043880664999182486753293437234557909421737769881119858090880745447698561866238822023668221301311093440304310030299209943338803222937924488148533049915004937366774151725268447778761652133192822474364462928594280864688767410822759128362424153155099590406677811542772976255180094107271273190474315675532208252600872603148921044002850454256631035656197344823462120492019194753658743508215702766977224091740395164277720956352042082444354328269951862150229878079631922661811484991051381794539232597688926379843572841922723521291274917913340051148406202523681372117711524669171261036065381561105682441664494814446221533920464209712080649439039536326483396598557957907012518864950198064228518688884951353278904672781811626637121471141264073660912972985190553002806766002646907968416292234236305758626972847367212166053563439147543575075539448045164903266331587652728542314081294336970687324596861991542544472645543251142252463471268940686813281247879860903667409678516702287337178106793443574080725537718116068878210664992660764803282942348497327904177157071495844821151375816825125800373553889251726808731651055277934613711933036266261407873859573030871447310447569208087114384300916890661987370495222467876193790383611172950739945620277914700497333290468402623020777226600312640967631769774043779034768939737243647422658979501124494781556978917408572125939933170014245413902794338841460097922805938953947038872235085790341895513660419912843043644124516323140827259689807474632111368164937024996898987065733586979274001488825649930162774904671181068736203702418887916930861260063552387195061896158007162931035311460088854493147246802598972745597581186576174571773533194989763386590164598994543039900963630077755405743824042063383896942363430208526785735967481570163984496506758698518100454314464252911875007399234590208168371490887906304535941273799257543487125968376563862628364416337219021773929257560601312525402319640526346463331252739385256812042709730687895451860435721490814569306609893144627761210854207433225584190993690038282072981450110523721804113102570378347569110124960055363592689843573617853615427958115884884551659895058905685817939380035116790216150844349267572112616779578471815225518636270210776683339909410220451866016258156374124679123333750596290636956691023178994088995452101503618152672377991208881992013819148789172631937462518426784699384946212307804016508046313274046850678458623822291493340674800523784720276512885193981282823980870864475989448766970124876423841360566317604824725048580546780488550006528565416472240158916071189788831152231230160932290723016098583234894527063774531098130221508776465256877963511338089419434120380180704617440284529181491098633542026723744999890141206828505244513828904539960128756415934231467869507555874629544605426385929296029080765365951355042984640376987821382674135942260073375426817391198074397874084173252522239292873587991226494738846687892594879456616489571117894323858917864934723431574569115429301380828841303344791702152270243608947196337995478894260455320950924676049939423212758137019880942453422467719253823220113997979071633478052, 27205154034621584816154002203956536818538130207878210140906091445410040654193578400955031902394117075470360343317530260362477124895259595662336743159660795437383434033187645332623870531921750410886392190807358380806322797300609289553160108475444773183751422576216983671866143958451744179979397334820246134682474657927027838040586019768991297476069698407371399731167610752944931116686878578089772171463029125094584377461418912599311928138528588982983459829476697171888018457774763673130147307286877683121935257877084386271611331944227835092375407028031929274831766778761762044230089616567580681783419606740852556372706695983394517914267354516002621720536912005852292484973625821077980039957182994941306503339374331220473341842839449580319964051799906535752250568683522202219047186691052135626030936198940179120140104198578352610490376950174937320910382903248932205943816125847951291233594331530520579744112844071400477482380954191344194036568037103128300507968678199875872780093872294898647230904318982159964566778756942561037186251303470908619713553050750943931873438010537360807411668046979918491132421583867277787465004105995263047348848996967273681723457503662775421772603891181248360979856729131497682798511254580389967960111498872836264359354511461929056460972263648088189898740633253513245201928213641021019908478777026178844726962143831856848556090273565237311761051598801692495983720671345936282608454585205163196754911495122424174343378700815642623483409890282094650516756091463334251921786257150963501280392333709584453112321953573268699279395298027774807588188049677377178491150632450082840927363816463187926554906638328307069513180708754339611606667749880676740774154081602481780953445347478508712492745800244132290411420765706938949123724646088358268083652282948391496392369483712706986468494267244003984576801375442728927957146134859891755473425642554686963610281297994332659161224254233650161803191912890610706166317608554227246481378447219631521337038004024525610233206155741936743650198976119161271534485668666364533554211532965605119555654498481077591725720260360464478689719794837149329687530194725765336825147295225937795864445014928996976791017489997977274726015138692194395577387082264450792042123935812371942781828523142478850847376555971169672918328835804168166749796095665890870647200119642209842446248891861691012211492134187106943552925335135465819893357413247023971712975167757502451959763717751770052255402473766377199953398107326652384960417866389600906421204525047601016899928638568588341118817989669773019443198404349916426300673750110618681655704974924791588337788778455820822652530304667322613496443102005033302454834198565027262231466031508477012833099677552086800605514949864463785483481945617362318834334673048831864504600374376124249846500956994440947426675950379432386105120597657209151062275166085212936483862057453306901090927511751705733794126757063757239115758803382790638237040023069181893932011548718041949018850727195533271700180964588142301288449014751682009939497895057290139120120803056194163748494911569335501547339811779978130565137682986737275960047851119824807457808166980940091481995933956328588438838610522075247697170457149334289720919039918194278641478224444419261719816191383446514371457123665261624721061753383646918593279382682953305268155158480131841645461462878154939901064051890161617094546678836359646219541522307313893092322644501324391648700110568023314549668116179613055170231933627931272610961627617560059915529833233400826981529823992436037084654545662177809437209606622136821561928762239329574593074864134586278017083524177643013498475412040582319166052113908682245149366524892912226874258549928296487645671722951104546899433924212730089911629306853627817893648544998390646981204603938833666316360827026953634319545244913195561641906861015938491247740789688398446298450767970599249568198429017852767655997462795034279522492624051569676709913089395918738294979532056349791267164604346329865180335916427886344884055629204455382386006537777899818385651703279075350607848958207034713624892498544139166876716876485284972080943700999144593996971910589511429074538895451538310719524317512907097596197622860211313223271101244858895270547474680689642990932465285400523068175799891364946147082511254510620418434411057372792680441894699875343850049426252816952877114655429537143825122310933795800073786256323588971763102965322044363419250309584715721181006828152258518291849991515813031930329623277029493028069704057830505750113325869493443703068518872641501527578127494756886710620564208725446044338605929087579180523959853506502852669571589383237081789267921819179419174692251130027789401047671606710865995948627420880097725500715956174155530148517653000544942847556081103593196331291193555810685233038349844714696935068143562673938847617376418900714162315928706916208744719756288057769571249194925629354696549660337851459742309845434987041840580112262313223343957098265215275909398029715747795780631934411468416413512998159161735127725513547508536646239662845081882570437100527483085680338636014645826757734530950300354823599778328476554822687101468109282469529761, 213616606047367768868244720586645790457565993648303910476860788022220036627718047995991659570907043994431441654944700039407853751726808145975392481841852183780619702690231127060645984590817678259080723311969817986110818158219545912316430886312624130411360702752127493342070150805321529694082906643539512057555350173667006883188744327634349101170341385249941211969956762114266649969750624990204105012992988609116979535988454149432058333880612422910635281034866906367134944385646804761483251446841494407472341749361077515436528351704616584738522049244049820504110703022432676723318825847330842667372879170879667963825936234312826164631605536160785737295427183925774971715621149152228355356803822851350221754005484514785481418357189081896876713161204229196539280963440584650961680069383960362698717531645346287584149930114146856271796122103976524583475295412030231602542712851139008170694402804867994457241384412191747644767638619215320783637646020891213185666422034823810177834952412964335591469317234173780666396869751468561248495119730501071601634024955885405461836913352983076710363770491343273109314320836272432626332940857982072153529486622906612704860164242348936742396598288913298921888707588082427750463566638484935249677212656862869334284407841816631524107126191825661255746721897121947820721474325447667324166978079139900925310872195897228299408412960963520593967234824614168724892483179269522380571968504334873858290428056030374612427269448457453046893655306267645859425961886995459764172235678377346926095452908850154276938636801199050259137942937752091625289732753529712597094491217142574898861558203721825068853866297188709310689800998003036130549349257504506899070969110266185176417893727660657848049868274924079534957007721538326098493113016085434153932847725592926362817473856608326790896176797025152777600274441483393597405183106687810167261370583805959809441492724572156940372003689833548815016556523123052246466776778282795429286782292392770680149962376685373209304028548395729037824648883897380310265079176901380235894963948946542304122874564386891690986985512518011513912844220239172824802660099450189660368605825586637736574968289339825458737920075932794787965250206647267673543891985795279848314289373851795211308251768985219921345870299978380742091102325008714168183432926344156421095490115100538148681478700992952574227506629668034620421443360066415195000899654202999727569312372335546859745780726868604976615961393816132628633113970253291802533008011067217082255641352634805661321424173273426055436679560059908421696610167320382425880497604843871071624445183307452214822359218706926166722341258005996057356248556064952648093926359495779519973910463924112519783143037585288433103520869418675805050906580845132051019643614738731018799561430838530869470921288760480653460092439730653467181445329981006222494683606671736307429245913310665359256433569762787690523504967452679425016225756089744257892701096592115207295959099435255903029233081998196630831691435011814951995232785279607821000224321565425046474333082540412961506179442071639816347988975508810761831918915066241979365697529713884563597629463547214776378207785162031803156707329847458551645139808946364618129579273207487687108121621736614015511175529649973967280249903701944952870858798183666969112719616821005619662930213526201574119544710730385694163607757480408254364597630987211636953964392653722760639399486258729922456753257381872616264111983343252429344274343062380290870436715328814214361799420082334209881627184047765419373384048248950625697545222971404196631832087031602503224060461303801647987106776645612685159814144745841903852213746260767601891314044541674667138857910321566353319337730338743004983116753145795940802324186915353873104483493182144732172337313398640640222292460728288612836010009974108946603871284150248367016801959491536509242950990580433701641214308156101428850777106268674683201148356082882068809352293349951433351514223486819127405100039758630542651593320941688677544511448733049561170919944228200376851519023656972726192010645037932131331964559446892792147123979029168535446285661433339989190706200388768124312191755377714865901743951905089519594304144038518105570361580533141834117563335770200180628821522339662437946997156160882917569323450479479733855730376911948653627795248571497015727439899289441910785434469747631270385266095517629192222397399418924935256216007056872988875506710337172339716945741332757105477964223185056235576539144246992956834010917341182885607772624151352651856916288226153365466942055254787164047239799997743441628971355096045398492123013653492745713632736830646340659578930335044881788474485076436050872803852026708472866179932807259074139837072555507567430971796043915146366265631380396775897444139839797386160910884150456247206236835017614906223544230672616317799727275643509921934601649476817321845949282054285324328465489818749018828232037783796923345457448469135786820470075084823623204471968811836249047480732384504785630623735753086264491572919748777357717084545643200030192299058771631116899851190829316405947560885864422754332519451601858698400560327480598645168661819604601)}
{(129816976793158114533331458946745470111546898551729776571735721489160684644517833686140495287618579940650101638604330608540515923714576410999011070862885720432378154338913527365917997478652924554051869119854332125522434751885355142945782125504333255567890302433404375439898994886645276498862953701757482460182718613352565582987567041499501194457339069717428551637651314653584260923607494583471799105547294154132847632707896774725776086836927097157066573619417698260526711748246678610563412029847741781785326842133154241216033071876415209935816074132163400061225000585839325541144429287848430529848670973478686358961181333110265585330211000733850405237214867416107116657226019795521864326646314060514938604559039213250172721847470323339826534738173028297709167248600655154537502116354493757587605769506878114991039876227473155004367989140734972524062795254870340616136750337371863675244389888579751755039180500109993725519577412221223282784028081010383162826070496048812130321849797710469995612856614096401586468670260369424116274381244104128271569625243375462465630418562475777890087660308208701939724266392264572173187137492608310230024371758223839629812193360067723402175843486775204892521768173559992583023476899671085234674591101146163226586068337660592871322559640534593111094939392754625972632148885726916287792722617897846800445610736016357189672849078939120831255117360601257910636484154450139865291193656665625553307453885836408391495031417148511485638227565376191219768031140890546700076291939047812759551867841230758646707105178187410230175081040771334290910397358142152043465035255582973094647759565785335939655327254201895830949675299197331874043029626674811867883572234036881433343168154675331456343773993013704325330386917534371899327194468461646070384329956413872506122645017241124649357184056269418048658290952983255672209168614842673982396405622346203575527293070067872264995166233210820752599055935418130416208707072535563325076321974207056290157212708331315869314966518897750235770140288204802843818039126235834798486306948707645857044224725054613452120667548636189937410243935668726585823340126504133860336552762926384100579049748514979161130532025901149821225804904902385716737859362842482210600098072886643419910719031125447514190129759883590920487879532759641733270374073546137504963615845010896951752513545747887963622699977556474994357181940298953849389391822421008323752082651292967275577134034090568922494820166643878421463404523205905648922263655448954528891338452858692169383502462387722868137369742658411727761776452813572808480938073584921015050210850456570631287253035134567070028040709030440785480636913150098626168916102294810234571207072839551798277488667947869586876743827731679289689016431422110061244446804489125432374411021785960630725221039116533501885064601847691626985534764474072734172038759454983237200286420405245275922945399438752518116226994355383572663863551333670511854941588316038135630904357751016663138284931537561742144819210843674610688181381860578841795182280444229544745383581814807370340523793523632466825286882166400433365185250292064616312109396796116385773999940262416809415754228266468543140718207292953254838434045152771484457016785022584513747721476926151086397704324233631077327986357750647832389418020326378389140262956945912626080122669655518853835527994627527321185901845321926754502790979441756912576940038954000949072067327185639464080544974881440423494351777697574695682486862314777193507286574238681923508537838316792745655867053183223539147597054844857837469644239106075020860616373548315155148233611487321856365568060290110937320417250652183492309631895120440440503912051035058306527797529650043418664114434810726170539703784370930178156345805861132644056828574177282561254762311462333729641680372478389981857612351404844383545950157156464628511251403564975143386953638436657180658152292612198286372410076160781824270615126739107522593316656232474769426117429474565804060801559868778079526947760965116514112271925237615405140073874132403191062141913284251235318739140536885398515905237360609426538948070974682879783448592762473323014561000653295270462948844083342551986513786726340931416277824259550804767144058742807373761022417674885269592794629496027816447315050173169505273938166483513262400707064141841331053278224502874813713697655740565257981392017571406534235708497102710024342068473907860361055742306349196052307385511817256796453923912075077150192274575252291863425671893918601459094180628648358443979275876754371827641058620348746135819014338254227164794290970381803515849423497630215233918783421880134067095443272790025621584868978998718238898933321073979837343350448600398893796825453715152941652296691653613494992482254340948222827895169186848686457232049351302068693054522827136065900245031850196436535366512778288959014481112200357077695844840151956503407180842751477413918452462022698639397275969354161349214399889054348576544549760673946907743402772524145214040974289740739755089719083643123426243743258268718859918724623210724201376029002363064723404899291006839344008822287401494070609733947328397359812456245164963545888496490666066954853392156778564836899007112556064248596150107542276051637921903691101040682652298346496235698382271725720840839033018431509877207959126477127995560561544866431670431754647665130288216499967113486274452443242799473271607363049485552247268555759075077300597477115808747512220430263108791438015082291475263249176649013594558309346698357045832493709365283797770240219721282905540458302464043544462944290921492906644706275749087081104740185732205064336773498176149360418271421141794997463737382650151319277453187530993534363184238960595922383421319209303880750630265932073831215625594734122131121130079997548424553559087519717764594012868321, 167730786925021090321537029145486607925903715370289695765004914437038921214741597193669661760020207858141997298774950992878908808201913868543404256363369115411592288688956013646863369763258762823975785589791696372073661982807237537249505051286741120498376496039884740321801336713290190814103059905057291174613400373715736997310740102955674617012721529662788869217490583286674347156476692622338995017783739030783649987722357631741874832806753671306867121825354229379247891782608464591896114145455073286979122406606635368925182285143474264122918414534733854495183803328656209437159275689201988767415858550422378900118860875102142787965099588091957119402086066086415735313420139655701928298499741977999729325016824114906254604936885769064251375604181973497895489836888520759906766485555408237076243563919596178865031327626244991864496037618947863087840143394600372903763529118607031835478743374453526888002518875221868244544611804777507268944925540251633473810250611116329072815669204853418964091532211085879765109210423005500991844060539304472720615118722456732077197281548961354625215188550837660488630090502337802050212450515905278606568404229395337241533509115936722315191037701509399029912104646374519667477845655646862521435234853088467198283457365407598521009649648333407951302820738375688638833003640501167739180618940404368734706968424389753633533609270585303532985251187029154230558772282506328473225176815401817777054163441177376073205333291569230131068983332568924257484331986803951317765075202520979820936027522246423554615870252029330026146875891578872145880833191771728361406506664204936598574955725282790239839225850302738367802467093179064142084875630128447818260572453353208067509589018194383114038511428023450647012229215661044915691805960459864499706312016963465969529268484263644560508396323789232955347453056166791547690447374842619508393524041534585398865186028628546652196530158190145755530888570548807848293366428471037680866903929598263857540310058534460994180663251704350062406331074436872290469837415596034778866947124824881743351669117614178869932654228815912127145659155762924036476295542393597211239479403599278645716170105921638106743481186584851493681596997454752739072638285019316926044755301658588923144142741980655438644580392636535951339919142382798358850078871107270715357300185459120178005615263722290356042997071532129397671380483856198724234002364575486547231648556352053113242788942895883468951977527510109872144816907389355928861271026863685455525408700087965994306596759981679774245923837503432112433003295178311968445176840213618713555214961311102702924653746417326974108973765008130240195395966345483376218576383055676261568811488133442070811757708224156726892339630075497764018337829502831565947549089186315966115798759654416028574642464858363180981507139399776364582746375202230395201662245819944952434160758685229755031751667030731134325049733732310440290391412317084511043421885429736305912096542217760651879651009261856153900203412599488223756202269640362379222997523975487097881957692364786197602641129584020493537264707450573489622356956899701087485456575078664589786145770879423445574323397641105760013273391261563517334690023054915151662926552973396064245342175045016769108500878417192105074707404030883545111468484278986146683395168931586084051748986937522300648145776295356328872172982777776879042596721315017905573330753675599537695980748310552204275552479706799265010310637400366415831759018343390589665331369602725609004819254127134891692957169516955557051656785428000375979779150424319801361447299439236490993822287361908944270664058832355131013821198581458549102348299895962320486830203032708683104130844108440417305135881397247776236171818515473356127798490528552815491026176057708438228902757456276311056050793056023307092244161674065598761200803646256342934848219854973201673379013094598737843928262155738765723845006991402518886641825390399261070106406966404846103392630578697609261036312657857736850539596129960518321923675687040707358902810171576070343112827280250876929742127079340473926793601714904237287718686450200559166627627059872544767770039894190404769040214241736672355281084935792077067983777171215855030314887615554765656814128959211372536255013147911372224331529391232838036117461183772322697872504840923644647394861935479906154644445577866378848630496653144895139577288368792307063142831625390707128277534045699974558579391344014935408440347170579552073557149166581220358260379707267891635247818346168921105503343469072742418746728984829965903397657909858771149096367738340274661369424632587245084765398164231055966976158101199825519205038481181240568054590982995957389485778766763190060928573410410203727042211333234331986689550497045739769689255190333884974425923667300035818325577271133335013584160215340587329349966197783985681059370660747619546425664184230768006072499916945202974993439993529481768897417495442564889085925449640509063412418406525391829507343230769935183899671257667201765682698718007976684046358386154511314507966800483697344750655466270822449256541118523193589262728642382678385872978183165767767664968616357163598715291305254747471170404430082543292199017558601548760955090152521940253689883119828708832888648653060704601626863316871675548130099088036628680616491906168020368855464475977345395583685526164924798651904735115676621686982571481448915011024852803642602902426318733699871257217641630255005743145328605289335471860876069578427188547233685026198103705682100241392435433737001094983538032817635631453805927143906620834747909140875285661426369918139743278979364776963335030101899188738622099811779248042642767556984219112359176348451024154197490770236428278009967112426667188461606192878152105362450328673062115049165492591660956298656947179216135742011396, 3453874888500622959876444866298683762861085061882979301377238860274509016378373474510420569967217166864335494786738446408810189561191492672450421211719714310724264901138195008777990497698652236088652833415847950485679136180775712800289674417485525931775981183682218868344381856099429070526669953013925479140566406967626660585049548092298830427339502666974535550061628219706581020207264004142990458657459521911882454082893593610126265108134620160800497561356192556898212571344299737285102817153931527775207726988788154892582036949814705243188703429272369006129232701407019365389692745398509394906643557963615363283888895379103742302142079810961201515253979906689064917640827733618228638892539333255115665642728586979352184666024564992621293126397358416561539039217215908652598947901997906298663003093427108322663984452964494598582654974290510112858661185638353482401574684559312439476618877196021173749174148458375742848538940780360670142060425372242341215399240901860409844690748654173972677233412550392236984068680062832855945014875807974302375713900694501550474723495214619712915829487893426277474040145340436494421659289469597845086996351658958723728587591125440972842442137459730535184551201865947935543434603547297282657502520324915333460112464498975730293270877045816993445932005342040531183853626679910620696171458103246407165013925968428216140508342295582904686885237813603290611286114197573825358015490583938714156309889642758175643055231960873106263293455456876311605861631338921930882753539459950857317282015328597076288150882298346419786409222518405949236027976220146450967579774640581508784015704926818043558004705278344895696749027758380543555216100885734598305743573526545775672355618881297818258747668853356982859358154652494427470396845225490033183153786580190116666604642814424213708378485121516806817577566839740443863834907827663740948929231269905153230812318317009742551593583074371559521713996266522618885098757736119728175758723761193859499797436296506766528008709133579943530070204822418784328884876889360504020226015657048306447757563121309803383846119182330917505556917404123736611789888745678514044700162553634759645227916243146184742840476710771826888380673113812921054801033293220876366248300524685332532148320313833268347164079940953653062216613004178692423695345463050372079486167582686940631712725703880398878680088535027534919730236611585642474814348960518840374179378185091894338768395389992349073352432246957922804388847953674725147885424260263507268755641471164018060909878966886226681511862187843343402913230814121412894664438126448697867213295316926208859851575564533198302754256231750119328512617184362418104327749905694335928498839894808339935915777989598692966723867200846901907244812976470223872296649417573183769905331878779532292026619996565077150566033784886674638071256494669666334779250816576679049492331042375704396330547030900799503469507430858293230050818652491371862595501463817689012230807179270235284646149844855055746195482995142134563498004522077892324266810565877949269996328482582984840816508841976336213098608258101064139969025422095410411894554276029899712430824780689400588988678025808749390006716474396606295557065998924913031980225977028194731928256005987176487570328556866083258174658372660773407307904952918557250289664532402740052804410711140045947851653643761729583972070542257279530728182549431108652194458689342984022016972535748115869864304816286646214449712301651209487675027190673106154458471899837326966355100734770394068823733996477778427380222300505290779042397854710451935859457715237339855639444219593149986761591912719231131086175357635965539221137937727982340177012031520421067533081152083343366833699069566946427271023787519656377049499577906831034560597372018429503925358845417224642507135952582640316837912339864451941287155287364045923855704576605319508039864545779870479319610770673457283549110455996944698624563178041703325786879970707353212497941971801130198101911782866688470562710665677513184955357768857171355762515634564870447395227577442858677427058253979591856561185425209688060294625329454536707552461067161972730295934500501635357725593359066274302182939237410083086433800724838331011280286977770996367162258699382890434520963835662646915779343448410562330155156125430062359740953385669721425320962708987940587019312197529727707916419368724605256942256911750069898119441087227409650726411339874642661962609985702118504306322368723243647965397481203640147357130763914697615194108364156231185045463428103031884428678669266125931489306518866385340652046143153175255123394955606944933688289878903528517124837725334647134432756172603379345147889548222021992628516558891774872231553530533762229890457215446145065038469070333981378981940391053197567960298095252525721418907503296904619915215881319020918786179380108254135580620434472219799070624176927123600409097447523490314446919821162193833192609686647201126706637503492562135376122394826465298770297376755783400417294328518320328270243106130771117786545892583444477598964899277491859307100491365147129981998014592871395281244537012699778864152712266843258129976393264875332159265727492570630408541638912405879557526229122146611701633317874579965399191416307025163662619166110913104730339113320101890807068850210604056656946731124191300014000480395296954517093309342031758704648726571777788304407936910680215994032161265741995370137102645609232272057796912386237194074364475280828257411779821281616609397583013264048806630633792556135820232923977768187071100615811053419883507079717215255595893527288654079060310916049831424690857426514215287388515160214659049149599968293701585163712423729709688807561963146681079368491400063265835834055151798971925348107002414505243871868498268228842798098881615500237691836429624257234242857)}
{(27209065187045982008897927964648582905669371996273174741974574111260742348661172600921528233677964605811675064110423162914020585802994611656930729464879366075992769439276864456624401272385708686804532415474815588638026545223820056285247320463780326728909026486337986660679278295303473998201717857770594001291330940482342414250231210715254751556723827268770511214853456469866149157372555702753040271331159537585817716722685129989219233869984787763742712299268605551074840376116350612695555419673620516052738739985612602082025136289315690439164355639802085007069092185064985594391516888282730998322637294472650813499405812428675977384295465972422199683106160460815534694320892726825191607819245584784220285900827875650994257649410198385082505096597867653033796674191648490170042200914799249303756948824196489993775023199900051916767703323628006250708416635414444731364414419188568045563682024568420681580715318641204519875117652931701508985926300500644956547917091535550348215198866459649582732282993128269002697746522653767402660469763757697978089309690190236232781722213498704687035910478919008744501402836203990096869534376569988761822044054434634696832656609506910594905026384627346415803476052718100554085671708819610093534688233006412025766765076855772223788634793802149895901654063819748961949884324720348133783071238069144807711871990800761005066661721072742240323128130943422264565539963392421333623004305294768049267522584940768930083809214154242357190585295199400798102892028394470766564724221958318734042780789581763685132882563437436403247588737147965084607278388988391542507378687313240054465178974759865777612619310184504075712703458919369176412428080604400512689363781770928929041129372276310380582494732175181507222377976155749053406826054177285844776092926714740689767255220314851443982984292841030015470065198106013783239262046009380285478625984452575969246177710687851790491897250160372319639305670148395554515821732130477727871001199049460233330307054958033479248107572254382944190517514425398022568940075815084269537356630964051282144300060994237237236121989191361228112638179628228600283768587270999005432224509623861679680853858587555000108362773844291230282965145160892819156067221119620450680503613418089191432410109665262494772999767865193981633291161328854733775238898038856285357553641354023044229404927581758676935601038645660942853673969714423358248533733930698355734154330817887822767831976200004099586402439403845205690278223963734557506812240201597785034197102463637951117670751617486763562732573224704267485945653558400515782957630420996448119524753817211299272356421339189353900785211859210723684613448449437981100489557960964905258646817137870618850173530775281896136064832616732711692066089770412157456385036151058748327520788762269685639528405378827416974063982685862585289829424816595727481068651683752311505046734035296285904130345206978286573065153507020336838154796321550673415374368684131240349363487898525008490873695611447480614089051190842472223500292572328919481030427421359247627460116893928074502647589160316609901796866683353399437600706832482755235128883752319743238878641395904581700461650282026410258289282987979233588517434667725150390426252176173438132262202288881076838091951002470945786156235893945717421482089268287205537302320705930380753623447712133260604853236049931923305138197402795350202271471699471335193480345175601585068207672116624662232333931029336173305748664079149808129341960347743064812535784016312682737192328612046366379531080084201735095499643543744470354104917318851003289879192387649579219399620361519175364288576370945383325156460522943696328512205609003556307410417850483596080056612851993198175592851658431364431083868834806773605318836116909645118749939144654419372778698327679707390366801793632632163474308149822779024442295982557508251717906269852662065984744322360397596494469967990826472777630148984827851474382670667624411376028854383850057697468460440122131341162208092776369353080296000458176582653576471450551122959024334762070851041385199670469373671120143784708748563670554408299289310302112952349040707600268370721774320959017278278606580817532488736932774011475064182061059019649556054117242961477644566453937359465755686616490444163060152367703584465781241527663181822492081736542415884137107948003705697682882527552468757062841927115040897643033232349376679465995904289784138959083784224524530109319092381200798231152250172949340818228633846150569289273221493688890836696453690593066300824376815467168766489383794936547529304390791957580635065188360688565290782208689638135802108502124383590195114977060614185664741196269155396504043261395909957704073498050164766115324577263062333694629251707304929176021377240680790627069834981711187602602651748388851325915562654519950873859686993660792052754076173339391155399369871254800542613643701761283284894400575837228907847131591543781287568384814873626234190753296662857933851636864079814728020234255261547984189813387293755068694185143604921744323648222231560670383482878742543977353189914570660570318076232948687952794381255800589826999462526561604399237917631545355459073587255462489397248985864504561413181609729376744644319116489618545395671880637166302376963856470457034309966767573421404984954362853764717887703736023246973566293247628905425590339948453976928641758309857826787425172994767536317238301453600769105069760170480115004563559066470629384606007913078025850272322403662072932028308482983801274699942698785374210308847386347695009801389597967374014627744138601554786751196436438659051804965559767623082838332047225473281049829310343064734987164869776991455164381861725546712222294576741336778611500766380207037351086418004065566959440756594105717994250723109466746897394145333696912834739982829640714602550865279320378200601320800826792971614504390552736729303139576466078505678138666330180130956127762260083881052136895004065099601465207559383776288727942754688711477454704634549762555081715306842026754909542994863879889063610412132350436321607221532377818103500251651119830257727553381378812967695310307821903620651114228487020021440811177008251741686707957436966815486742322106588144135273055459257841179814198886638157380512422791337582947784151020078389067888587291593975499163828857602272538288367603957436752287578706311289383270838959138267582027585707288296031322370025373275140187964170465869102342691777901647039558510196288990357723799026833185904445916552947983122697019577, 327569041811846185450415005111231828380697622084306584316596155938423492453476630065557964528761719093702292412679119474786747608265229139331221259520450158140552390838872621079678135305791670123165288051798342409162235634200269255081988674169692726309090365456154380870233411178595012724436244589207636365465817087666520745948857251088329878955215159156253963114865323537966676845094832821365625824902217331315839694487529057552857638266425659159831769945256303874148611298649901404981028684972672281905812630254515851184809711460299129636370130272369585702526282853989749702581344448691504767037921252326680852001726874311092615236352126007955413215535297808232330400901644992469232914145751563356034560771905964011378662938700166544784232713877446198754674425719363930007158689972342576824663179424262981385465932720988913855338414553863760630717077962735988995976755787123337325282924578816175680119876011551350462750601918343011327037969341741702740096092532454964395720204214257897758490078789390657878861349371548840699553054392756609708275119735778649354271765602537286617174880859515678322720895248747465722921683942064426566453071411754848587562572452534448172209750175900268366191951269058971885262915037412678382389788358048960866141094408694835087554552918535143362407115575118045447237551174077714198111116707458476312243688284747036342632736973427836588533869449970572288809293607472341904177154333911642036091032771511493606685093733507908333743989777524867822266453189983514786346068150245716599253439420702123584666615897343969436978487089517615796394828079358782178108484260648641025347504927778825971497561295888486641342458501626027193808509666937159412553676163662891182492406321366158217280568865389161343797410309054579854128057582368457048013877941611108915856840672723308706035659830083820745542580136453988641195348520473967771205600024306819249263696329976054885588502719508939856654076697623814315130432021897409184473324550976771446319482208873530960582777741311934151747716377382592886279971901555063699695126346286158901514193312143634831872827639897654365862675916603942455362836489445402272678259980217308351376029256655261332522114399871140794055679547074854500383135796334754782417496055524754593923164405672591073733294468046990871219605250785963706538197313180602235703267119512471253140568965592556815759244963365712920673309683855235449782764560730500540374377431541348230407962688207869437849452526336685141544574725419005383494922817399999826804819456627406235999449338259172555734640007611302878388732244596503303796740941876409707591991560904780309077767557798230305545968494262688561054551750480706144239764071884163449926180870613118703104992393035194635643473386527696292894245749698022598060943501501808743562122622043844667610386244573180430470619002744058706422282324198823490816441198113206704837274846572394726636673749216934509150566118066289017478460786531609985478108330564543374340309283953833048346500940681910027412148560903450390556316407864117935553529249873732997418664804067854514256135780389122648964479973493837277232081069527041340822365948935711997884820285003075724730613337747857268975899229176876976029294531658034326670893321619065692922346894789285355176992671143891297170832836313283432253658290243946052437411655528959152902988629995494841988625287302847554388158773441188897935206378700278312701574731408628217546201210804469644215021531787759953690411274417723157157187140418475411624081809579843678593170471421119655692305024075536894859939546267603488961855595796920824519092472163795033605777095372923642192129189837469783069030784817476579767201844951461414901552614427485381116113228398556960453909614381514930818065658831157496873970769346447178357896489095880725901025929385966452131671183304739575314334890886588390803663125316680209526547797143896132020177200193383087432309283366596173944514561292224747186296285731990562073328616662336655526056470663275043739716508879469493284429972126998722665783286079549867858149109589023657618922682205896921276797100236808193035594344561091604402413916693178888955391827642692917458995415044808601768274886032426255406619191801615405728124918254998479257010743853332934479573251434754147699019082612779960571270746609770827300890235288705785585050260294433701865652663936745287876667084825406931835274313150608460380488520482836591822931301966559602635527909626765940477926078676399170571503240031885522337476401559463734018330815299713737796523966187874478702927840148211200785525677651467511131104524617560226910275162801163813347791074540929607478403006728286603497814648115425453642153447633690022795546060496787152430581334884575988684412778782666510169044565835992431769035681745772416428670548643474705222838889916975521025361456812784791177192376358692741199784808042404258027896798210145466283193365542717575660083633422673997374190687306797573631826069445279724970463572379662679855793653546640746071566817045418431695490457547175654706437777423583009621564761156697132090073358350920622176641129902402767416707304368188383073725469573155619976397045148689533426117393856756386486568281316906629456454650882032237897584577640547470068702905540248401735361546959335425329975595349166344194087423274872194310570643485229024821995908462910640293151184582101689855077074638796259523310100053246655614910345203322794601919123538656196947249802066122798693580989719161056971890038069678906615262471612504605445166504289380166631852358557398174462016917765476696716010450681259719314519087070190991198729859078742403878196127098556963485807186687811407799385005265385283897441142252550917650264510072652308160091400091855300180596813185386476620387735359079895546830453707660663258926811944206875946929959887056455278361000342137411461534899770445219030170016727687472053168237129585129240459967168002252371637132825212412568468708726273669510309151038048764581624572156658519227042106986187623906821220250214197891082702747434771051835116080645743759324169567279578972859105328924584557427285482784533090992712704027712522130272655419854557907470936421309236525491476400225455449717918375008641569251739600436735904940842897204912622133256392555712653478026000579809126638344968706030015257412125506828262557420639836573942311394500373664372211140813874974028238462449285377932993893985927578154553483481458544088447711006777384377002288992952195847586028956902427277919417460247143195825260276870792054169281245636, 1945627579355123831455211599687863454368761739577983331275335119235450680928691098936601008212715018753886906812448884185720482344982467546967974115653143093129479564639786598589917548497551308093821101491414118433512232658942434895463638637696807968739169553894884599755370190826135022308433139505501578515322253135104165901597284632810767655737351980204561130205474130167312713785784574084161061834644419366357856212469026043621567045985064290270001517263842463637492159732450584826606317656138064278451505299295051403621714998912390253944853507190977022610431599647756221043615940260776939226594270891671364622136897757802330509144909550518022054080102397994138904741826158129679340372366519081944687436170555029887767146813165586773403552229040174719434445571916027879072832422120640510669503639511469451096273456768884921055170675284178839868257297135684471585826377044249088367660097184844475775323692235043886577803846614967567595333898391984460175801280929870214989601892865506517348265308468302177705366370589737153878454061185140175933805251384403851067139901897950847821187994672475136729754048463439311679714329741111106337017100432835388939054772121982901775307020356871289959826214955558745413424257382703995787141722004523915811626345666813384094584891316770146754804652470738928490574038491670347546769596606935300889052553116066438305541596804533131041152984604043866253325345564763095758049680781150435694010248394257450990225894830233552255362024825539547190757826520680961776045040524600813815323767318755946326322345681735984237747914479594205161133038698671609055878390358989618344435122215545618918138992890044738523010299337674215131342990144802354475153225430399899197336736156644093972475242851536089011797021683077296646014096697362100455048509162862353368172787867646527472160181090150907632411830120810333182494891384501205027342165561978403937871361119783270197414934557903627490823615146117070352130933565377899538501106502004106341311199079066748300368239406310020653267361445774225226625135124191098386009754433684499569074804389485129652361502522810912706918055900386089374734761667742551240574190555227883316208884273549172140026330960307879238410785422057194959556196952453522259720818022240199431137194576815936602303447728102688009518704631121730257704225308136857644843274052077979829291237636090753152710960686162706682379657818703908368803330674138593035915285702639920339985755758290286080181812527373807587960233548930848690747329307831768068182732355207056720012525253417962352959788153347825271992589102519929213939974705506165706270815605264643415513969773811272349861483982922733644936764376326775287014817753260157159288341428962089872345414548228263817467381736094540000183658652343414629100185685846709570602519868225144646946600594250008952437750038796911928467088037824758374235920126039328057291809380368877419106466958773719332169058078442209496678200915365124199985357178206751826378636331481681130298497135589140804518770255437342067814259130217659583145661890026302450109368967445083899095200395195664553136623488902076746080224608557117265360592498850567730361638076152734093729681402954967192732762732295406178641881335845496574125573883719634919119662396320475049984515356625139484345443231244781069498036964906882103970397087765734730441910462086995058757488638050157245663833322607964579144238202950741292351437654678387132252388270886649451432958077612348053616876785227167125367625580775214242679335554612067213587150844980254116174875779215858068904747764976560795977311423890013438567624683147854585867263901833276701906863182040113085657029810890507555799240266929547292093778170375693663636956746103622539211481582313822169863191439857887728829115046469559606352686453727959547938787259343501249883675137888951278888822584210575762113223276701883688627696590402907388701456025776960709422189924535342251911094269709397664549487911335050045523825752654016018732128133402665950085797590314377918603445815918742884954623030034555227026539398539204404532033282488289075319180320840729388239393127232739955390566889277882869287753405871705803068170706111808420867575104129057772111354498134510270576400996859473293838292307824256054015486438595111262705557160652238068536705066291282963091806169117161252891828129797421008520995989790140589563901973469947291614333601677048719850248688835716866290104758253681999576513172221606566496201211101768391501528417867862558827652693753793713687335181484298287476450104657995545983796611439174603084236727171807023606669067432009351742459137460448126644373439048538242422243672895543466873992030884834253737114237127848262773059452437590447039039392617093434543734247930791162396862570014754160904574181908397069631411572240133902757055516996736421997899032833680885101043038605907482851904796076981733807939643045080378753551478398066208686562083368950951453399818549249210284375733809760497411971653833117151560144572893225262667000050949568211520201104161226387733265176985256423381118151613284618882000468645960316832041396452215543836412320930730425823137399958670781286146822449119323950932517720236234442609929747802692063813320567746644949797366594460683886705977274537385276832009047863315664751946853478791755661704134437244962923695819199360534012896453972405821563229129178027001857607561451131810859076861467067131949291156217436530778016198357266428451611041013897478552897665719470584839909635833708000535390771288636742122367048402726739593634607606533952046556623182098598597213856246199560426918990178858726273953920333173137811100582755243880201864802939664093853868789378431448149161362664330083518363914719502896513473153612447265208075220751470178402129146566386457189299722632683151471597798413385377889011798526078654134619146219423946568978146608259132029066650253805251707617781016145447108911266120784455912392867695177273536379997249876550688127833151314032122447523611827359244363328479122498168156196441768178973277588833558187600429688166237256214500952699034926084500964943073719006538407855825260430997319237710292264245563534194529156818718109972831738050193274680879090314604601942915662564232037440824631850089429182549316184311175063850586908773149663560915496590499123718957679421049506277170709082005243652791229317788636409266391433118055184415391065072424983277116084778326738150752420406721742658835119641598048264151280193655281898452430714734221935812040779388110865365651932189110458613963118001)}
{(379689376498855955715998582605816598594701651329618094901007805303266060498993536750155435587039684634051391387504967058328579604335792099851234607905667697009684095052264909959475578870264765348033391758555382814455812700704624462958577515980821739509303448722188213466647863386671135866932527066724775864385739579802751469966633290589092095654026985874622811977213493065246050410202516563887085745954871097520816746428319792795695912620241419137947371799319344730117394946203623794899458682369291670050774601764897185755738456285759310084116690204312044640977220967005396106745679691721242728151000090331350266549860349614305992002387283423977308620734003534415236232749155682592532068967738958707954358622276099100860261658741209761315892991243520009036438983984627093409860410893083640218715079927695036823013744063342993181745066251112761133827771030872746224510057243689669771169762900489754551505595848955800782326298634055717793966640713384264805763054622290864877629491645144364103465694662766255605105981678259328699411130315809523453838422675773213906416748500182779340076377179621518649036676235475621183448489465322872641188326450970616739451941826480540552869677461388563491943289500775879793858725199705334677161108680525371293168954704792938673498466606566941126046249020692885119029398126722988292478864247613247011408382741347052318080876177007876071145905147920698780979000526199855812442230646158573699991931830524447733632273721639406711683854746003059179235691673774483946320592534920900405726997892596984326391103408037886116954200303923518826021323605941676212071580742930658288521304303461865923260014501558226602996764904134959912231562668402499440781126147811412120006416100448932639211854815561694228413144554134667038002685289755891537528688932339114711102846115087393666356328089136301389896677360510582583648347456365268186293864639003782619450001105374350111120441514699135157749136110994707868903639338395286933624974619796194094589815830612052087486002826465527473271660470026343943055138452549163715914217561552396043723637480488567179915163343477400419741060433643479606494079186260851092355420214952932455029309581509642266680019101944770493524597191880150339268009770733037961922884189657182639718558011887529146617332197481508486671321105547915295270620798688011024241624983903861465242055590733995434528316105375171783683269643048469104750335559051135551907252669961698198253849971716959829972309363134716678455517997324771290690081694806764289585114481568891121962578355995423125368372274292523055638813184581186463538212923634749807748995234476041250788276566786534817038719063479110331356597648176739053664139968624437656567543286911709657137802598426908999473311975315513002973400133794836738843017967330665510450852357850601050650349820292256931215646042081082193115646246781455078096557543027511101933724430741134806948844537616276204442683715620134909344048962447870488839827997500818148736640126385271450726102519638435659050794927761243154537403167723066910661072165405382485377793759628577653549885122404992619586714715834475003820357974863676865656398113554961704076903934543386458173896621166047379887047417891860035625166861194383451853880484465420520175670541506449940804364828958994767855060112719887790994330260593825839381893260170061834701598851566306241474928309862741761917589118566949086641308868114255206829827129139419638764785829325512022335856694010764330091235040877316531321104184041522525588250487000084793854829327543164378532089773561991999330413283193105127514498668927641725473870903710234519850871144057747683560561204749747302974714091769585165735169539253890546347436639575036038401235306248635446563595440393752452167013280072822256066460864704347736550833600256725119467220746276964383345061772800060969292256329719772807745567727298578205966872145218962703975100380746624824736815785428918898285838517350478518732600987571169050809127883505295866205891147558601352417857604976305213297073775888279374710095089808903739734826111063406439790168890192465993259801696944509042900227962760107705004580326771783551546297356489168738655645866724246767109042013294510189074423462411123220917078963486736361154691136267096005860402975395589458134204375243714463282166230099896471251254767185548425416645474418298731427295126255173120634312667655300849671843784137702568513713425563722341872617457808164356669187977436991897220380736267390971425952577525323089459701053625210032613923927264173528062890052430323940775342480936125626138425194399736067754297352741977622741156217509564893136261777149709332418324821943461795508918627165282648325863177749277806051777264139056400877512336410856691165788350315605017880509526898319236745198165636690707820125183757672225239659135530638318638900581008188984390248414513091675506088070199765016833987321287526430425876173694512647254490940997881110683981973997317841123257975561231999192582206235334775903962282972904594432682828146128611785153321617624363573642769652242802204704643099919603106544162016890657430890537125958414002945482092361697413138351667641802060636665225849880437093388376287361864892074461225342629194336461120722367028187937867363418290004072745571151613968386171792960056916824327407065214098317029588958747258828474219934457404957570048920766090100531978904617204917447577165709337220941097759247632445051560839479490993627992597410646037522172735207509396609124983247424793991582105934205340176623975928882216595704485664560183067189755342319644871879542604805649233341144867408197551489973779948882399957919721117982239139127308006851590440625271888575673553860442899295260809500926589690713711995426068832148423873079761588509934961599149779432158478476680749114903393733246193324239406222184812424696927390592100876336727195768918220957022959174210021482197096719138195627461373708837368966616378313706395607666304968162176356275393921470260936585941735963190502928066077623264324240183609856089724364448655910118957091581785274930891675406678622599693529681724368828417362002991174898226832188233576646888926016597507039845886436771901587121876870586910495954671138450698520230271050286484022833663730259422878395801649049005089947317841633136875024927188100113560733889778162055414227868902158272729990922836439784474775959038351124144090058619668826213979461616927481741065289463709885414221317929911032103139306093601947859491032731533403515910273806077033696544862868269941559458197130642554284673720963588747580564677406963673721096536255644782937562908797995154180705616369924662905162921044055948099875117681679368428223876953003731978016072921874549401900796638172289936488256468746694025045717518883209484283705079703605384751096042589882665287756736158854790138160468626792934489100660772151620433557301133841270668653401881834281617303380729958676858005709412436111384395242573560674850526355340385901320665537663539608571977743115199618166755811525060114985296811650570752264242292100440814716905839256267766278816219615018293528588291858738046825023603918105726094289513488652772238297841984857266193178141233924234973206748797078040862166336729648665216934631812509129927119738970546200667144154273001, 23453853560568121104281060354731959468330616707190244314750423983420614774634655427556740903741009645135460691932819477417735549739358181325742035167426616315284074117128660430365674775704977948782641644230479667685773627978873588907995784680564823474339397683160365914229338813382603995624276698475390203403553150132211830593131335705039683052241255144258773389374456490322590665637149486840809404276863500301005717736024609066266181630100677139735442868901000307928684867824515765247250540817653076440005859086409019539354868092790813413373889187975157246276785744881689520865909428967557496613414565053871244056279329856856398637893891980345580572841114510972341096077140520594543299837514347119895801877679972781993434206888387339193270671814529970893705656745595646570062138548815610195952632406680633074003191232363455269936453997275964948789790792863969176251868073447661992794216184529294416474569404632591184970835999008291994374942441392691063463764357367883149981387193069635940040831954499083434902943840082745233158213601441236020744946420950600541594415685927329026821399688374994393354445861012138264562649620715656168710102428122307044553781265253319468638933234532562355218502053859054882361253577259382408519001772860717905000406561513285032753406603994945389659517765702653526642677595731622532647565872265516894188026964133444237246034871272448068216434035305936324089748364801543918105430115008290007209532002738729861134752474143123983003260293524873399196306101326845706038933969141398601426588968640461478296877300774982474327462419480582765916284242010344478927858765199503191936037553706033495475558031691187717859174909505465000544472045146352485469899728799695018271641592389186673913381623315630543136796077732310629607907095914837123033486904005309933126398270329605059478969463782895974488450588755741367145324498582225144096263510502546003719554560269129113875898017813114537356687347682029065466808236178262273261281398452619255939072731528343291610932298365088475995163986197996247583866662949283164847469666775403648385616280081003705877428552828389354129773956974042173620050343222899046230337809144343741875533095202727538770355260008638708061614943997650792871827013815223903944807423513494948228771879556739553291547861577192976819744529334839971127663836786289100482680003571748463421981987348505219183387654196168024999666967703418544205837335292179615047729447342354779847170093002090370487041173817341743374403634349157761028375096347492514739777024688829563959494897153959345498587384969634572925741346165367200106678787441480824513872287304789098830617290715189787972352930390215830567877975942574144405425293728189354470324069738191162690518545808513099600881130355685769142728338422196711736461977564212892427307927121875058249612193957396551278669299433894237165430904670046195554180089737672820476082743828909792762326487507366402123561934477069642892223175941096862577835041931697370106047248307211959755678546307451082090077479613962988723194683077423836955638731663086990240848268036621186931753219199770537065050864998876819795291553621248736407910916534080257411423970895795749398263744489327154169710276672793146248256262645744427434126107085562877661332953782355083777707898087626535098662896953712875688761368639933819917897939557310955559545351474681341516426991619559490662417184724274812825132542851930603133710350792097502141098669836690868534103191421556882763799962559676988533468303524691785783076626851934848242196328171938323797194897553840621910985576626886324337404991057561715179105069149096172385919894039653045829609647617106665086286077098881170232975184466865388099929111252252652476682616672466639079200345589163515269720108507649525857783560967297510324353153270934576804506436538326341532515017746091882702504557643974212702316830256286573753053601327671917986802949430221161424876994843111084340417556985304001100457083896595049752341687216933881949405416575240713976511636036101880214231049773819087193474620686183233028930584611261414451942825398060383397849432757086471362700570025686834087928366824815109691995828319347392527892733232200988552642998093685035974419965513785091598761635616402695575017227959469772570804714371037099464528274817897668114728301696505736831863984522011081955054548836204685646444917700855890654683708670006051049770525646346212902641277659954219471864970385348721373877039249398768606455185914021066445882863616531354132530841917956843686355963303799178062070396826818650912899082761197907796044828893293993596154170629902262612313941776121076870100813499906632274465665102201778845468502600718887646280351148133389471136194627996343035294889692448545508156522755784122804403841616125179214271212989887939362742446444445301363670339506579073535441894093615699975378657501016945823903122940155811213884164207605546273800753111481555023000427431406058844663158554948033423670263149355927935844427698857457084655434251158144650821444808924941061195177344858217465753517585977146217599385363158542698362702973529370879780769557185466503492176512260388918811329953735125345383020689629693565616181087704604699286546638646457512814101567416567122759408163498953964973790781690596461897610594767383216679448223508704422737072667856401562373809490330584672735379036180012703873807089105052484194685594743406886891148025723569191114216185211355002723358349504060758943146261807393578086763225209626703629496568418188168143521320325961793943058922558663272465104843372428566328936890309610133977478035188272160412970712070651373047321500627290830901736517441957719382006651609368004086421254644255709176649916163210421272601234832201966182491763076033701402828223093583672762339381077535655579645064557220122448591213275041488855410698141866958287057331263916035923713173773776757420385929137379286780065761120941478476529497971870879218333618109401785490745413789893098816975182574642961465326536081420007684435386417565612451158169250451950744435642272150852267016276365221370798261735386960966937106965008493949287060415124487941690179862015582673897397300776610733388879243484319898589304922040644970181026644264543539944076714292960396246653121124843932880567307939884834911275045923243066421260733000469757530889051266224823338302158829901635351238337557266584026862704368035715830128133730548594802561337362305962100264616174752179073753696875462436061068500243779368031506377173270124737354101839499176372803934580556050602347941365001008431503152377258140327092064958634192969086229215512349669430610531021487007715990459103999057889858048360068541141603672699965689401929767320117068774947553029115185388980175519845173589806037071913541337289899889202437488932383605790882435875790193725896503257935252440548018694511518930724731595793469225390528526948168726432549224881903284287190962515631538056458000392610598738563771438145425971014325969716150051507145034262057859503161893406140346557225759481171413460469493210236128143978563065888362888657419992921727309469297672512140334593353087988163531463042336823218592082168174114184150825721204731497503562735027440240132869189261913567649303788068562391526150754454084347703565551254838344434781412, 38216958682883519141463096685023872963032461295774347331969016892838757000553494386038449507048251811754780062977575242533181386792046781817024576106224073894946678134648102870416948975381722306840375089467337201330211809338724019687529078571963764479700357213436471285338555310824313808612854604191013263176706408500664882398000691582936616422645321520844260184453285510236148320548093758029429294789120783990736220371181211678475536263259660379086733609656240710048235905260590046410679083226492428772183198573569961406219711960684949296824940623201349668890492237544342014395062704536790409810947509538552244549336696468190222860528644269163104573503568493789865529765209300882989265375887973950426229023212340998644839050089560572336652309197711615534349488295721010365203430910078037185434794735071774028617233907070419776641378147022973940396108937200090981731934910960533241977306776051931222323393857252824834650596276256693978656659908028238187624057688957869412018913940319929204761370288636390208092053233043708041150035600728812654665115270148975225624399058546788730805623397308745988233450858095940412373135052279445967211100599857494784927595489245884923132027790674367310232128797573354508291501980915483253001804653217477785307244163594188152602030853490518258831703790814044769207611206556279786255894192049273374316164084823187829610774933359751563392031105636284644655875734147259708873607340005529885958384953758597422756248685106006023354060964869527429937375921593993029038909145048327536465316033428931199586331547210388169124075083000604970610792541249747505305546164432571369098148726970105035071127725911070739048300527104300812121355956216563225594666053279537781624794954047560477779251880144327215452639360103314484035062325590776066100677238643342803209198633462399717194166572988139280384183103081003459329012829016824749545757585216678707164919098975621016527049679980577608401000826871528558271223068505765423621518392438101579118496351105203245458030809024584036894954872359322837557472276576329343902915776321416321036333338181310581149477156438200413013676670926908926241385398004029902686181453708437869450978239838598180867136418466413798639033728203274375353099427260999178583706491097287037077809612034048262849972061449466498414969872216264823004955175648043901588271532399372970048235103484752327104386748125708056769647533380044777330256316649973001572554943262242358397250575255923637052251999235432381422660151571404734747515425566532050047218605837969613133444340547421080264846590873981472159329447241421291871052616879457394525346299818594890202046703185656294444441321544041056260238884407226483627921263957202984185779550474148929749053295871977831999619754925093050196417246996801503519411242376596869918242478523293663410638737601541624823227125621240500966069272503342688490227502670348767029151391206088202693212674688127565371340426240053414987225169572718607514197547029126375865928433817921427264737767924840549723805595904940616938208707305746027615445212172964839717675881252590003972498506352010859809979066273526390519086784451097675130368848278367667895799182297937304333621171994206711182638880210997148912322332903041977216714207070423933789011271602519775527540815698787952709060295414925020328335684607678941623838478968977811264412531933328853768176539336109751334416806974256416289272291162283300385084041393394662512272092920396881908995618302654539908409478733523391455698045568861461138467840278998983261028285170091505825251181471475486460763353037909097400458746825776343420443009466692753790315317793201904828997070068381121472386550345143853200150485522725851847735892176342283157559391344727353168360973205728369576491805216617077737018435895358150085709016480301644545461021279255304392732685431214947741035823034636598952311731415280973575175247826057417190989629049957653195411780066561547901189617105818214701853938170366237701042417368066280830370968007267897067229844115984467378605881559356688060152824171578081534752820204335249142577925303968549468087748738433788839814835724208302271116487087677600748677228625489978612592923276822249782570032007065662778349215778735910343611027523570115060649245815099479121963740162673174892361153747945352252999476272889293687156378779921223043217582163862493628582008821447914043581916078845509311355738974723027951933578391456839010493715331942214552894582089544141768471499113815026788368680142578515011861167156902900917417851894776390446158006426081321442399344020427247700292672215625318030709430177669697421005877997669109647389394209117089681770522342878787180918825158860348094879945840915509632616426562462479539297208815171145304494386808455586036430210540850240498580020389339228400504958619119360376631108236055630457011929392917163769662957333129366572347154294457484620492724695638063963216129230044636787867843857213296118490473337904974819270759982454708389866566471552686862442203135681493384958376011670142690526250175375252828213673893306160099072082741606912902906997926780570295932318703850404654462607574734658245407644598784928959205593509841907247669053108979201203453913690468222090538706390772666057866407109225608276049334562349844376884567065304993561977548497040293618244261657168504367498072964540306746690076789789899576234386360235870836749324529745518941578815998608824930094387131903682736532518584779047494614139134127782920246426644378958754389447710905289806020711218885898013716447628329984058494587106191175465611173854699770987713618366609189095482185316601889564429457422737980387687059267105613986159317077127019482370716030178577549042492056928614892498899887715910518899703539175303735031998155832338499665773520499529794618413036073983878135428997408101718553699123195447307077933451350738794892297106316999612642711119876317040433003904167176644623612608726109661824078246423124296911079976383327988457062942784081103809033528855292377683237221442916538750760778732737681372700261235804718577684029509067209928212859659043329520469303949670388461287305398253953518794684734710780316905499580040819044459135168826357506622531717287996802495327988133013870900897002240147543539581462215647645992658412448422775496361526630004391412090566134982133704025162081663538540346256011376855660955566055261244925201126542069367018300859220817412223591685372371512910423279864496305307391866435179529691966705402100662113849944813087514761352715901503314211375654151724054714317098393416111821732534139217419247418585233058347653170370042397273695282493335113247099171850495566079983029103010743144848412832518488522483195915909237779302204676758600018245475670979322552666795081695513307541170033698912491627067311588323791596735469313685569979863941063133720436382848487785729695928160224734399983321483265568960362473635503158058447396476323179555942370719808530919967938667281041539147677617405460058455892697117027580997898801737828643169577362636013226338193171397753965282320205915491945200933931938649841237086917651256124761208149504092496069284770415617802819798218728030379239475355022074566243396537679444680697739145900174663025505229211279038259362927360080506629678943941134537938314321)}
{(584767619119557410976112863464240937446427598296385152704104580143983449803893776600757637695285840539285378029437585967364566608237709582470747383363524141881883177747978322532051525377753083775945698905551919419100356544704280262774525428763681299587779760077934537317242453469691311780989316176072357606359454868798260508903817234192876733466574883389512732604132617268894775747652862479043675874281560736895203125668140988838854338583590849126294652358337566600185377879544325361835103026703417194386332655092941505545580211411148199649434797090694235387709795444605418784558596818350372487143350039870206725562458305474605695926141986783703016898811729269284564279843424560137383773385733351828168215559694405666243188399891845494684943936614832950172749206643170451957842654320504361951312317586263847901640343641187412563682160356048891229925464911250809924913304209215838061228652209287191622564760073412114801823434500296760379968560631193360194802245650722351570603467991139240600785421138449320036175817975530359662207667615813106924507044470259975592536147750156841247808030521798251612322276483689441459545886543710346101932146543035907781645255351789971121278361842896676861221668434597323841246182928974920715063125882653266984444724139659524229308082853662631226449278691480125877688526899447135551490289132942015226556171854982501073166000711074153062128151888181093078863374195939538009029567984661691420023388561004486057440705383471543072352776365244265048440196511806307215153448130843632654585302038246973206055200729147576713135844124710165492828154412530891065931441287214645803151684812940852545970131265737647397195852847680554994388453775056340240084620634042686544500728621802824052390982023004621417648364382327115228174717645273181631153509153696314455158282450037438029257318544334313368622948410165082410891351888638099134327322808795043180772847080016367217717105246231166344423798210518181437170852297994502189122339152821147492831687042635073638695150208677344206296945969621940434884748216653863535962877364193986092434823833716761228645652120513496696820755298705954420731955695035776623881921233526899721560991947226566363621957364314216616309594017887021218785859644898769092561011559058567130364383063994831946698169501738351078639314006838295413524305507574243653669301439858416342701362047492735596870489585343535821783093104882524422540935591487155371713187875562963460476257942109177333941041270875226939425792622536015344892574089801182634408577570373432314148838781277708815717221185816344384746825581937842318158153022674693164327076835135935870469208685961826008453866377514538154189518057154575770942515833571274607941482651875308151580130855901675058293611573414452469235785255302275473054952699185102894453240861931981823328332909475246475241048375914666239842795590551555494859392492933164741938935360659962448587107412502869856991431795546706014070332138604048874053201624905191934144711064504152891288787186623836645612024663526051959217044727308851729174248700256388798533341428712165549845733506571812436918898753575109916749414460934048549019772770963723951089617352922447822711483331901124104535652155003158779358027421236963859646962602329082265801258288933928365899095779763489243780211639388259395692682066420745079458174639258485806959219069924031189622441416532105361105581742483326081829344015448281575510971200023940363021631135378714317154684112778264920983798058886890655652247891895810529149488879344502304684914222983355678362017465051743885033840179672876582768128999968039698123810033597407881332295831190446589676023353859223949400436897725579884578460176271036193452569126290734957626651762067929553869822357544323546819503662707722185155995995336483157844739899638367229197949937803615625239101734476728847729526976038864732901833765205308235831811771890802555233226045976486155803752150128441375441449191054999880244546712195977444915884205183229031580011938718196957419487539637520620619301271750161523155473071318342610788622245161991156449557314856843098969033910863145445837812144638103260332419458729743247322716870146730454822834363286483133347561114425814398553071801065293964848648974798590279741109430810149045111011072757594049034870542353033427172052977310938300176419314023102827100716157726487534833228687905558531832263526273450749144137144219505600443586437581201576186731040867825161671522159026199384831821737879603773880175890830599868963510636245915635512867415986541899760225610079815197096903522719899979690385376435734730173682088470392963118385130957174279265073726894103787888434524011506936523984774728167583783039913162046305312789460164962583593909983766161367863923047948030116892804801619292134707165742172317022592544708877463140221269913292518886526796278687466770787280855413974021726313355901783211984264506811099958067212333012412839213467703564441289289667285244552703812183470553223445145483198053439899052313143060847237875452922236666538608874510343284462382533843577890638766683037371565083265342304895862576398334512087239845236091624927443484483500684776747875083400066466639505553112540591856690186260146057222560846696089216405452209257733700470142390567883462508763306313818045888001970158570959414661493779422337516876528881777610636477410395526221110515556284354601270150997720873851481262528300353002086912408217676334842028059168096988410615189779552255104749088087311645166718935434236202669760693729416383832590507673512121705281510110330729515081969562022566083910612029689568178038614424918802400038791449746086329658078375003909673261438404318234084605569047274808588681069155542163397737842955915696720500522289008506851707393119374805124367047735251544850726638852695808513166709397583921449393288739310072310857413112526811418270777369078285153011131587973960474414696835085332644170578474260060326760855446521878392318681798434970272072714001490773986250492895608729077113133172267112691232709738829856600207761042499249471102888548836993925507217151574009984063350593014054590480569986173460187897352386181622250210069635318767902847014765080761651064045379487744848904254923781401412247031163618906973835151231442794344882984130088349836358632968884525651839466525089740788872661808391282648346042500478141105627929467905736183352741263541130069814158914742921799105087608292257184236893106683702419255456962449816797803711875013293200657247522346359716984696701585540322537697380086040347397999021609974017638041965247747467578818967152003274941417105886320923409675935878032771886351963084090825037527671222801867678476670060205976020792530469967371015624918481793607906132275633823930027023557826532368463254704917881745270906084646885469083350168594700077974072342571466491738165724310780578535910515308061635185045475263156856514584673906292595354277676291411941172437194780128713558831405944371839550741143463297847099411507452911138860656164325084713179534314405746179890839153226325873649747651907268550567526912717711965579339070538119612027106255002521153001097014892095513484595649260428380144549747008295792144042619401031644727789706676321441587094048923961074224906573052787989196478846167375566348592150466637723229581680278563664742007363860780026611849509969941056002730269871897990242571457249036792604776554260625484368807010666321332922146411174680839027662910258693346662704875968113001591143877669266397735162602174899049369158391669264677722973737073100248113935375609664779475921008481001887407956481604840000368353014807757257827277909000504194317879405551581762254936307509944895172055604302978726634528310255534740535030708535833035122881014882300630971689619426970167940509075439333438997877295293231405066015084922724375976704715385673787772578621067136079333300994902459941825665687812731924918140860024144853637585068785900835044878547032895895303282952503296245451495813413383095070986764302003939485551588732875004906665753716665272482070927601, 26275690570368035587978829438651292924703551963395666213053982174857092980035134067973160901637605508824844513976222401192605904284525539306517421275949200763761635953412793830960039626271647434997248100903936930949048968875949756781702142079949775159116645453420127625093617436025006964502349733970131614979040053479631663168401815409767512985664664142058184539315290605009788424503093072306844330749027195375378442660770893552200544058653993707225608321281659272523734511478532363664698130955897688040731267686265879023162907342854945145791065372620002538182750787480318393997742065918045913219412203373698245592143120656840777771860543300443885734704518780924165382182777569970661301554934151819000471750698784246075684268528492010575989265496484496328662701833114340409579386029675742537864074147211973798104370319223624804366073651787798154422277920430941241785540568504682167573440506630053647163984720262332253443059653566382816679057548744947032649934755302965889726363379243136140784968716227112711229400133401992892614196446028727285817450717869699584381743531349088983331472231689982835849346349704402395742974981764341799588358698343638990556792260741154664378988362975578807304076360573500239563470705717926219088325491442881490144950153381742405908780116453767074067070976283850092161111829121705019812228833821399226818873695833760669761476522403710091354151929196382412373812783457530038563316988190161689964803796949100882138702619989299789623108183525740043907548186598510142086360758503684870040714427825895957770398046217838350390153703860548013019743430769041529169892376819581705054971271650876811815722661536242147895507069935644340947707493416461081709431713085556485847298493242520960183312523889308074859672139036626326578094547412850393253122978244424899563127786318041080053876666579899270200263967493611427976290500453315251632499433968542907896683506809766676657105705652882306616805875447591380604966889650659528366224752077651719557728464590584715581263892544926169742563361319640093435044048722990070352956585247726736728221823527970489227792778653825102138933355955313328091494267174655173863251373766815072534838132694512769338992376960248730332112197443906550505043846819874986570176700972780546295334802928866328127481498242886189580401083105247211931230234293334156796435515386774135974834123336836327837284852657335823306663846289559114289547361543340832089280337431685635776896874474785334282755170218488311302878988210899288376394218316923657066337078524873344717930217084557661359090622049417158868104715761332247069396697789955073018797466072692065204424893322853001343183504251182102265287129791044515124518749405846398085012884138133479093218323602672103685850907460060547438363630682792220882176318360741406454692011874677456501785151204443334712705950164001754782784179971111688081225721544263350705171090469518175124229132028114980738089638563761401502428518044649509469879266312144978631427058429200526779075262280332671633620562053802700709027586555127885565522855551093162011840605137871319347982046400766154700215822514362596564197307463440211490900255484158140936193364621998152676694241235884418866163798813765525455573578171793759622906287143628057273515350705618651395609674725922856893184745336493885365346014811506487749448745431300947816827255901375261132268064299747868527422917489453482058714059754267156762770823651022499996147484428681712151339858521631097514175005874328452808984879067877101340984595446547900594799843498385338939985831800780827760642875190983954372422344916327518412004635573684961961557286768513028707250507737667820147956281138906911194138563694987752235908202989092171430851903536523157093184262373730426548083820277576351029807420564085238267633748166871467026255784439962719027769453800290474814239058467873027827553323615165283345948014404543489401847621074490102567595150578889667624056466971522617656032735030241675767364571182505804720045759473496617713851417456964439261165357626167571500665896263126723514362802814996475518864851191604385941577441395810575677162246836885095493077014017034972873494232236852221544958676359859400179607968057301939353654488320452012388485759054101478918635028746699811829984921345962676838640035595688239217814342809587302527160693065561262746345215750322652060272084599011924158727195244069225716621394737095011465648595164072694299865278274880366300824652923189841948259704191989923750340161517857797713277921361566833419134408045582432971314470714817526000996094493374003271761902697078154022641758833646984194700816258383158115931630552329624053774905324295123014233109061754522140907238665760850462697443740955416933979714097255951926461101748784177713323066937229546186665007849020029251070175344507159528928411423988479937124050927585320047712929329787171800658206339406844407602678871670558811392606326305446749542497245453197562210937185675791562576511336895636193991153856762642541356264623625698518578891116084744894467735093803006326417357168486030726541670998597001224884785029727147430977299466321675736322877956335520036916282692961785345138985446242941376544647551171977590926712019815730933456867647774657263429339630755017438495908508812048463812783598310786991895155598061390713041291961899842728682960230889924005120799227337233870646852845759590158063648803864409748675490020178585013955742639179086107913845416237929820528313078209230449846689889260047259015733114050963309415880672572803652815213645641450318341379428049169715304599413359616323664813037261183681846430976507657112197250838387589392872574103972130407550715482431222851209870984922552292661858765675589776953709319681015486902250665123985332897775567153622088954548583737471690889832421188526520613885609370277847343541195560527095668699742687395956065202294514537089296204645200529579835047880762414320179119335352256917232463922537126963904936353413254876324483024249791982299919300190725575151021013679801231850775609110680699125228875007902624437673341551641387293789089155140152324941896734057616819660718791833245411461052123549969989434608583658721494058951852805032324009861752767508925114383243797923067607637236432337067941028168926133763830605531729181733728970329394069572290648872157668850318832367119660804802967730200328902072256374627612018597772435791220005813794907621812487305413253376937227724241951816640716860680622421606537752738891285280352008158753027558230973702508153315758920442627123857901580529137709259652705369431011017840634907000192273418616759412451430160450865663200253147182222852813479249975583587502363628687862382239911410844631218881647491167620703290347068570799702303713256715337456403164317972458117238153527463786489399311101662858190983624081474456648470285091329502677595120531419382429731461982043249462202129830149679809281193836616177810654048523194757841980222197421713188939519438695527351028877983195589373499806226623900684345405409703002667845741625069099229115303419553589667730081204834275938393097094845856583305005693245260014867954568654365684857483382576266088946583024160837614590990350019941817914790717634427793650007732785677407668536100362647383722279347454346809985983627422869860198084273543322314355013770512181372553377619982475832888701059349116507795231597931965988529154230779545294472154384899129810814429561808159118378339860355036729100920706457843156050051360817477110747383004767597245902298128515540645571095887145320190855990192721598017093096781738757520311831225280271856882584301093243442522699893417330514304958355460300291369540982630460615877680648941728233865949655788079355524101564661341294086191276505701967176560191074101721462320682418549148012925157403492264355240529013777291131057268951271478440330211066297514118553799535244145445216441628990192787405292743640540709023407533072507846689490026010242138313701252516507152239493222020961492150562024926010106419498253384555741045582629246715012363899043337, 59300674660701212332297595552460326185717399440147918843096699733138774809056442274770414607955022717076879214153050474230502196305426668346701476092225023432316426666455723721614296477627082117717016147929373640395102372198727056436690866748116219674415944375982012789191837684769959030158789836998028225108243724880170399184551248462652611962133999694723086020758933028396048885224693072646936907983452482106413742337313842153780427812471640631619702128195047579421661352107474584903914694924242666279541343906395062914723250708348260862916327519496543720717161282944249963540255575903967249619186847080034647540205061383729558641734554917496911532281143092190220790706713215942005874846607824807079066998802500231222193078121018957776879846623592431042179105034067823736285534296941372624199105658962240592071461238618952712718881660139298548958534491658041562350944272075702092373798388662395842203706676995272530306074590818320674694663503317772580279298802814959915834117908430408578818832031641614953258130916688137416027761726477103082592353097859855451039143150411295038154355994319962171959943324476665468751222292782398488993984215084449237685258500276199422588833634437148695653396047525136458882531740010295501452618774472341862502756644578169036561737157618966291136500362498898472571149971786409794235927472313773108754138170182375168973421096102547218368212510666221352252684146757507983524500093321991388420547630253417259271219973527494732660640060340777228281525832195818420177914476802715673003938060261909060596711762529252218740988960128102060953381673151839906379026260255416557124290818121144571322014535215329113841804149981297370641798534852218603088795352801295292698593185465614800874952681333218159183627689197276171587227587042161233027944430177378728355134141865543808794872008781999658768920235705106657108958635473914370486988480620346114708915931046941637191591256047274227862156677235806108356369411103543894896209742383768171794051591720111554331468730438581720869401336592342276931781783409458854837181761188330253237288395777720605155967004835450427679238644072722402147091987239588915162759883910038860241645687970970396530712117257093985875273344355371683522629774632876671809403605982326906111430963398536760295512835612663169323603829632567304310168486526987371402212823721697654847262245899412418379502472041191516289048320549535493068758403386371935110528644638385115671514372704439450025030375383514064149609965761948324761730190005316128575386643845060983410465762475357572444485121304126938260172481563223758406230990485476964817378384695201507600985032133996984861607100672954875200408863043387814351739996772586009609714744883810662138898746377851396323833245285981923280031468348549241872382122995695361224467549132080395239630103461290033517331457549756783762274020017779008038779185540941465850397500168584324148659409710161707004565703545533330274794235070989285763987223875764453767300799093207277714316762422352732518754413708038488207456180135654293730661209012875739594482165318892625554914885344372300078047912598650881033366634032013429234782639874270513097644101566937182821930475162962147624112907436382807041436070642001415836915809719318226445678259486947321069287231694336736764976518470832296979390554353661906689029470346017991292278533110270955170578784278602899481344997561188221030079804632511299312951521589524221722775151656146823760856480139476483685606363874498233677502593513338257047484431588809513128346273813284589976692961180568992902870064518007093024174373146834369063969032783285194931979276837315149469610735691511104696514122007916709277214076187446150079919088897847434114981684503669346321961112378511696313232004870242183915185008356015092345245954408682376534524250358664117650755990582798969713061800829808560825592995795958375223401021011581828683962993757342997237648219940522756019521261718203701320815608909590579439973630180041380154960154066062892275725134039343529556747810838316843896015073510618888456665662732842070556521842588724980834969570874576230726596217605581354871920695630312614751622765391769624206054978857452672862176152854915925675608346397013651659249628030094124056409621869426330362050474377107480613132183014807540558308809747645877818921137322583406622289667784927210839145213408001953180290439780564001191677638507392275158930509604838725764306605536988819034569964478926910152782894450111906713262606943924115076276684749542179823923200034794607755238103638545684451184618575071805385637369711267292208484169689546861147339115880710898885632309899807421689016303635027110561596344676248232355900541919649148451409133600097553266346176922886049110762548982409383970200042829851403832740883888695790254875891701792678272020539608315630221657779719859266441496369983059730866606205213598384633990347592624683675501344784683981768993792953253845139783974080710172209552796030572096295774056579311740350121272916916077063573897141964209364460537086446866978088856081942764620973801034299947387236148591515646074540027219803004092377381049447440708522414969760898571145885200048059795050041066252116694659282927662192708546561997947636475408413676841650173506739506564403582854877868830790509313904764023892034786467498674110215132201112903126136359282222622371204000242659510654560745318899134399926559171884990031765635517010531201174068279245087275432552431791813533905392755296507547999488846049998090883309001621458388022407607204640187693936354225712383263582307033348611407488079720169038742888443953004460415546923761203140939951166823893613890321056322179842920333056890415275577879516556004826211916812883519873338878445804439664900516881755210070692006150334609552464044443819542143912342409258447763420800217898281808122107606246148226474435562057995336887679800409879720354516157888475987461546428365038390742759449063113668990393776508147590415699966860030738105529999455121826672224177053013806456182101927425509452630341543275010945396596981072006454160354639045489967385165224633251384447636107184849949095619936922754708167372773023612150416578588160415318276081584224192350093971327293659840560799530633839339769910986012557299525384814960195779087101988164560947062149242753911912041804534533176110045103980221121324973973615799788105299062306386935705844708485146427930199148253617884045604233603639911330142993095315261715376901434256876120122406628580776256929206898169569027068453528035744776067710090843161980970879365836526439610888129567537364907439323326309362327001578245803605077578130601688580787309156394866583419356704241959076888856773927618337235995104410898867652317163632540368448959609020115504535461756457795749758812107081273714994063327094280009375810809705054626248588706224230028738752194546445427255093318299747126218991713165109436305455483864281184430533705812259340949263533872798415257451515294122168308974524855106489491015924208170973681292745376950013100115337642013168066612424871448943703832062447650025834194140487230287329760567637128700699398788451400049328140364459603124792325631282851607198275832979736630072522367513388933796768676318906579664634229764758770544770017110024370623366485409181437669107354605803412293430131702651769294892100570271520035739748556837876492009403861540557180432735680427726765115235670805739629240365197258588459218902955344391998186014422348223562510643917556445532340307931112036457270821740697345292148261811406962995078963644853889891938618210622491494876731655271412608174453112136217490494506976973950974401678736399175466924594965538685205770294731059140983999317619243520088606311983240782971900731529766382837448131481605487494678353866400900021084742991087714973738771830029333960961619659637770259614339983620911307714820200719451250668709558868820724635698122888240231128612358780327150901992800613858540988020166518648326281965908214280376908667871758662727072874168227911471714147071302786759543396)}
{(90266535157240052075935620322069676553122296975179073189456613439934965566089271781216315050341032156872024886796541048206446810500785779572453383775645677038078778026540145361615058508838092550509775999114876243549144009946984463605316054647889719414915119336781041037727066030535114237636533375996499876849302401250863480467212877549508306373387587168234982766112144982268571558904319627386412338651766323153380628283765525697954648148329877239586587801554257775744535491728650564431430891046838183500750343229710934622731906463223278790473621127305464910614779244006613375135641711796173468082297238961732176661108456243786241658086738300066093161752134253211636919271415189415410649744419720721022755565900802468017818653648941360883489342682864248187113943728677288105817512638670837702446803730523309381897534179554279775161572296018989638321645246678021025468058257337712355506370350307063265497094487758651230544709382777594057176221423504747816739945202822611907852653215746750165508036283272535434860643554550122006272170338269244936981640951602412356645250037779167294814825401904070148702825864708817748927316250350656149113471314930151752575536098075412732809260279740666934023769892081217939326378118235509643695396406272273333072398817968975139820911800244513143594109583954002014950625248390338456166632084567833553930354467199399338262805855593068163583991076251678141140063434314525905499078829193635699893962943050431421859313015592578208781383767688289847814058656144389318862821915712403342287414395838770356985611389685708681253134124057445395047902780499198257717581335904602901354680152122799909387499391765653943243226168353196752221531972865120729009937816560275397844757544806499152599535042996758086185314632796428546635455837154481015935172380826320056046034682928676820765935208523470326010731561038369599856120013180915563088648878308145605261408944755840183901463727071716997591331562499936086479381605892858982135793295450008034711642240947523192496929572990208857525681795213041685654780731511871341754310106796131110822013931796166767236409131995678492370339089448138892050986880074073757653644419658134093347805051136502821936085803409755998690073424585126338623980367164528922387672724483570331616817347563342422558438861448142397342320767573526576808251466757821350373937373211661397664752193486718337097242864283516005895599344244140649144327620527826527036706372422122652630707146008113019110319673828397426519398153369168082734943690138712476528497652041140947389045024441257444646688622153283855801056368884661408352323247854814984728009892217284641139019058092326180468087584040882405765207366106672147894634185436558780329608594981344272181648235697535427879569776960286533964950614436823282220571813450582308302807180569819360648877215121302363882138447961837467771201379758086858802001763315891193848427831265544862507472666920043069508000097831741863983847490087972557434375693886595235999187787790547707667011383831614803007346444674053808641563307964656884506003391827826455189015380975581958816941845722873048249416980300220480395073019205712737831746026649126677583781552312688519421443456242401871561973514329810380316209546175580979746750179552142186430065719654854026358844913624450709157245463615991633918932526045234214230291848720111374841900755121839931870625863805308545411573015819895038837778244414675078525421333966535020093576627607704980027879435387158278815249248745860992715177877891947596517159171780934473283672816575989944574827113609102901758871314566791795599054947958851668792166449787812430012352686116537753930358825138829276983278586146566253707783631615355245991872699228201809883452479649425566342932263266921630904733700649033363719548040724230461829310170438965437379538784255192698330682615785097588452607671044820296330817473319921434395464073942061895247636070319985842744291689487779323923343290284902371280290741206830995436635414598735402945361063042618699126652258555935172327674423199357603621828049554969407311886647600265629630712777893031807272039259442841314433913475847331946185932946200943367166574473474147639354590070213354450076466453581846076369979080577255849699072324657165929966823064383961315426238585257471530724768341316557579060488760205087939545796202301029718742279814934736431019715748089908454481930829579512130103740007482657979779692460614956686345181769405275750161954865318321090377010376954452957039969464352170438113790982582409196205274458819936147233805888216010674302126069680971981779481724135663403128459264977991024331972290137951524106858699941912613798643997702149218944868378292164005593267707332930591822134627715862987252933619291137983846328204077573740502804000427055754971502935313836424013355319123215143239110812941498959081459573343354240628884122554581776106853267611384304949721501094671946287016303646877876487465746182883078291935032280703918198547539299122022256780703393090465148553149744038825914716486221615190793374752026185280355380814921684467998624841864370545898073064337417322531290005619340821597233605176059545592807493141504755133143435310174285011982358752118630134396446255881182386713950103563734468592221795275928366735711503215397627950933991886255656730286637211407400406612766469113390628070281897265198003076987397285767768845324586688307006755444519348455946134478874645686642044183978308068490626913882057060292052357998766054172893485788723255735129448799053018921296918001465888055362793423050742876343234011586560526083671460399428135957398391338353704390859379426016559666190930153567782800158249239747361604700952323672836871495373454152833501380412577709817751627197940877910304741208767824266047932673497308548915880248390333877755985178159799808671074188246735790788839836009066076808422412647410768902846555632565843324255360338682857393282020676522777471230017057383585026149150843431537464227644518397044336855625411125578681416853763025438104553874838308650053497142370717066585280888235862389751240993972808804584599243315996366196532660859792640141624962243143206191860294084357755005179080765191391770961302121382899008800334647284052692408173849736733507664690395504353581580269442761706615220501518253422359295225596160735398710720579672652244912423476309241230447328654859731428871748211645151036278293826320617801776892324641067193701186116465393578135064110504193241397384120791231416048298310272319359310989005304261771232286651018433693337846614504859931837635561211771779497815055804407830475429973190424876456226280070059297507137391997969557141329495380793000428871314638590042718632282334633919012284118708133562710374622619730346036385934823863641635610846761268021763280603997037600067098213475743032804424383972005847692521344707204367836878720255682505627333641207469406262368740840390258962067595862427233539957466177676822553218309857648010505328510288649583023125498443444236531619524242008564747411851665134699641196108870290818155350423190623395595480407426362732281187075177707065909033360345893843801646842419619413823191626274197519949178639306905660517061960326411440881801626258420460275609312775571623696927643154356075113884976497652943979194130780124476924691696723371419733887189492134005291088523619229522966265705214354951927574296473643777379379497311584273897895991936586353639733568692753566890668056579330696794376004260162076070803455034697098660100778049996216434262618308866786718014055907776532784085426683084397711593150239523725163584742823682888592481225254379603308606697667972408251035165278899892726923506790291373916196840537528407208786965677463469760271660870468812661741958317303968782590186479832578357571956620565790138826934811739616636161715497442440538120121762939993110490916025200561233184808865156877157656807789992858047738810034236352761609358203397340444925320871996013036699189102605359933791079317687599397485594655429511558642172875567256365669667192632846265576832947920058977755390554729388663388057247202869217499572718421892162106762020908334764155545658405532248147601831098095548159436923745818420092912387786834915314594035333570506013714626358108307844009488455893326679682201231850183610245571934932871313036954863708706965705385338447868017283029403552297898909479426838776306933207983850065570019136031409245042463395259482632823686960232255938352283582313171728967373123189389994190014256259529760602007538725652800930442047416582838640802538271903064426808877949895459851572188806068270520037985306524997713699897078380060656662184859832261094838468713721319183794188253535791355884742815005368711733938838384850183384166382341947476964319128885381102539960733628994356646620782370057043894472604733724068895560551527124009535780064558324048659133768977, 641440060747684472624502396539792732098650979935599114400412488616508315356929161908427869905780425517858186885231185334889806385647130279193773813449371896929530605657667148815359890077199330957850195407637548117280206111394833773567388348761455288140167207113837367345849946337905155285857911050959816650683695887758582550557555485017011861284043576579536588203372865837625351432634236229293029387460627114193192011017469427957948928063244066677059600637619667016300303646220990873978165524907518319169749042888146206755515214480181755906573765600856614537858319366702378719136233352288998396538410857582621032556416690517720504617091793983756755456972829562144513897571016319710492315126154781243967336811754159530775638492575328378065089604885383905616207957288088766729384845538165578937172552942227567666067886220417156506098264368696523861377405713449004729523986472095211728778128795256497488537837211439718460850530195815205483065273146984123991513038535042983583672084249796589536927508542482119820399989915073534815622542114958020245202508438832449939894307355688687201110342400300470291388455382128517467241359732700520084437080000725545719897445138831649717555498342865966971323914655211680406754871615921499118008147420329706289108106973520472512725098560651684415694109370817482704276983251170779844744064042519931585657544789572683460615752418091940669709594889820365041007176963160784418373994508133915595752232998188662888650461258646539697790387895983583360436573332233208800553880665430583253366128648631243273722724125785269733167696842688186361523999750577273464927155598787576718225816887728642031373364480780618366429522254321093182500627103960894484984164355455480195390899344355551529774297952457928608947314566274326541339527262684105520594238435963518650646031778735688458800289864317220086894447343348196493423961334200499992119620037330096787561566812621306306236976566804003111115167119935843439577217446013506437987258008126184295927198868008355985358336882258065948872906295539356364795731707028035646268197740083807430404006313173886442846437561403362195937312312898853401084722072736918281864348180662734736633378056604115596494399368066072120794156704979713316089881263856406466094489398817815796773102361849481166589336255563850069939064022836629570185246230166893328140864336097902198394627970444753445978800026547013853078406375473114157430399869543572487703445355117377858412990147784170100658015733465298506798571213307592267097857724579720108818405926543732915959155195923523387754323487173523378074675830117208390939380984655154793985944332896451299841004638263862200608329318557395399173098523309571363307758684098608080897569889729617115205043422495313013484561434579091724765104849169941459377728702382970354648108149316854429520176771034002018242629221672402035001980629031007887842483889409240179338107232650575004183476811728337960650508463529346867923278584873832393307740300264765240943520593021074952427748364758601333375551189594658038553342766893494299500803364831967547345139274846593856569895373227100554673708048975358331881747473422110127488556587461581975247704365334144516393492157560160580647881595175482647348375770225948421666271824108339800546731373740958969744749045560138246197410462295056443939588644071860058804507162535651748183124380739008546775427793323016525812914597138401813533277064004854010031224410460280084832156426860248351718122048773558559689206931041087529667328559935115465822055950157201481724655806987920990539144279403556528573630869962848134360916394486119529410431494416161963286430590703332562891069450265694226846972241241187058940741500205795151953341415725087554699912955935948908735394941025979055583012755654283228924191726014174402038106022031347445222614023239018664514984603126834684275953461507328544273670639212587603235155861396068737756730441643659665507168051072680154767046497714060926265187456498050014579799914191836122284134079091917052936833551474650924236378396976499724594170411861057365702690446406775860533125398789248244558536495029279096567404648492399535639871886502774491224984880300942852197859549121613115192462370096812280263354870435834732591280347772261227671617403396225484348573574200674630646388232122344150238130545045112048094159677795685520552297414660404972109163784293511706574952322909486460918681803573376636122226860255069013078207308192480611385686007996473589433395534910015204368922790803219675947743194952059114955382785291565970831528499661807817135928059923461314642292526852443653470609516712664296571198108818163830263263845521905618754916369750069158964966561137727892045947196655726948761055720266547604415624454095812459978034223881972675804235383141634235073643759687817475792548468917575913004971845660993057955122561651091576359638715389236799219165537065561975735198991533662994878105475228022892657993020712545944422723644280353248492214971768917687947719536131787668898132772054010523947293229812883014731414682088024890187569041279012529407768031657716450428357110453423060265446841941965751145372229821761402499540203252271277135727517197266667204238444683524964411355778889858817068863066792496423719846486885659210884181400125718208427790709278945672247517936195738545818619267638851643089500401526810034104044130959180179156189688996479497551811918568543384856602939464979392814748160238206120349363166810947011729688501901616697650974676342518100640374394165491277639583625098257844593895674270309050749531285004900036867276840173500359338523996097493107754728734779646052167284964315080462910967397165969456086921000979075897989816363679954403180733932760378706454529605734521834162809373277090907553129218837026941849875784767286450496313668186026221463119341236644708905707057990702392531365782734714963691293422493377256293125456733900946746705022609292601698138064881876169519864762333607835282005075182444853441586649245117204608355504733135220524519898016926671976140525320210868542965147550386512341859076646353681423246166131138734907434211376923694703297184572609102751124461405323491058324201160930406329547872160713082887501126437635916148106646895317178937842554535264229244899107055040146159939311434201206657010198311441503674739064634623365195200409782171765372753966302223428435957755682407052034319755120239969083996740868767071183610938476864529911249256411897070170151186375298933973308141108021779823069034174387257181275561181941074629162523904190302858827519586203328284627850661549193978895868091664555612409664914534131956050793281190137946693814617418179562726949084096230252769839025087908350129655133051268036718515915445430534763325005853410959495062401697369878972688103268165935601603739495000431508421879213977557278114312957420954903282226911500716781678119959945848591180220656483219805008477398080805227753955716991270208154593704141415420922123917961373138499566189179285459976993661669183286105932351054568415688086308517978627463270499423612428253591386533446823867216012878883098906160007174809014183459044772465256685245558133561257555089023024142787675359443856277536820807033602963426656599545706954226856553009188957238666984728672737569522780455706800537213662940810186785858991135850420542589481999194447243489597294103510162800418486315265350997345017140739081094588780762032604713164632711076130226256073148071590751688395048423377076933215540054179862499928402481874912447587808486660518185795980373905666865261387552484114467409867338064574003529252863138859799265376117867494407950512301653081791095980347312364361917809168603182863696249010097406353419631754684663227808135088730098343894140839512283277531818027143118761079038060429001149185946841306991694622826599881382982264693529417476925176874128877060517923900337814117339189616434475617120348268624462813762087817678163294789462427854718947242122847885414415001073596638191719026623081330783964195970556346123194063745515217595005642776960661828310535336171426449364407209369155828153406037731744364258634540813972786838947486741688963314320238209653427156825409929236972373221198259023996580916222882321049541562751913734598656547240750860875941977844240207492307278846698994917485301164135172490765711154380439793957762205137094931265630478262354054461141425166395397120806405078351394181081700781290712402315523012199577268251644247662884852112116773226962887655693053259309294525612060723299170970059009821839483707820976966719627764208766715133820238572932736229855782440647074366199744420312242709104923748317874401120161748121089190980044790490154063358485885677959132848845482835926773935278974791530419851876319626020068204828047117149062028406413869299876397087400023310651443757844615946788581323575842387067261302093415629764761, 5240412937094966347169309510108808327071061798701933029619414639476868895200747876881258490888854340636772504231748372048918154721158627072861157108762348551919213401273217935839117591592922130913937768106059364660926477142560399002185860980837520099657757345317027898616289616979484781367203619006481303522749482545346023861021318347273710701378223324142522749077249950869792356749434605477987157169536626368460563763910616493468149894999498075928637693994624754886060317286171257358494149833986458852784298764765065594941753742832632084367088219793169313997837734423955559176201123599465466977405271465402744751792532508759873293651969830705354903884074303108313711735214594292169299975749737993547517898586593382197560594432516080151371184139946778668907000848954978493275531606394826373041645006171187651151043525880831001212018169484273254228374655402467510253470809863124895788757114658637517774498523440472755414600007167504364745500813848598030638688509909180984760657800389430200190002339608864609120437046587047233385677800718726775975855679158280343081840799611044367734331510068866791615897275340241483341783705882956652432652443996894201172721513904542419914432001226648171238143152039246366892141595849189654770314490502836852556088126991290399744995470069229841116801543856887664333588054889961557698085722085591447977846930016256591726749318556980221948535556241796073801176055472790685905386000016634812924175455413094185900468226129479057912325062422681066890481267404649394445443595810439203186937067948205799179309876326009205004718165511656442290191261345380690293163549185486950920615100662567592914369124894928090638511796849636746329353757002564029520103040552327625051712988046187870501222319736159764378779168609647422416286252046798919869740297944017409638187983894561563110994713382825668525251978755859430862182876311404798047456857641837441831849859137195825975930114417090917945101513353372660229710653967768701219520989641972049355024877432239740114851826031972347075320993567494809514031745024645039024820776441405692690535196941599025616291104802508543206187686113965196284050668155008561947441184251896088219866907894556881308906667008244927968864636353844911396208190345435685560657693573639813229220244013991009860889328664190241829311869312436067921385979888481410346695753199954558344531334451594081148989450459050622919135496480374322601318580828199988922174163798333147094480662203843753098598018873868715629577825296862811596466465523550486368133725680788430876522539212250058661590148711403635136492355033960259283962014749592811011241828894971875056093149066002448859695566814476231622526676440175493691228847997802925054184180812012076039513646655189835011835535532293478726897123065939438059750140376707598757148793638253394300584245124585725539644506149673059547893163135874263624365778295070317306192325226116020181997306178627064554398596728120551117042725499589379033740062799588139065776843061983617454115999780198691892388502734483586221428056663171789222601682385532582889241391467669542454045008585818799847581528676245171060379448444891212363931734156454059676479188736227255846162961106122530078256337161336211180549134662326683806087410293452071246640469917367894021870260372399693271097162364041878912154952292616247594663356412456498983539392463459106435905262737438758492622509417969852316307983829409163025924624587050300134553370601170907792869757009270470257965527571645136818203934420613020613876334558663870523361557380382705655380420201159999341829714238566422385814263449668562015788557795351302436634463996318510747305191428331412360539167247217482370409122359465929195602652607016622256214037269173224764647868459769008757328948796748979138388415213601840580695442489645591365890673470382981203325887629516215875250357431580977393401154178626194190047005512537758861065924664259098958375140054050955533123361877726864849423828768409225023505353622022356388485962311512147617084852063100414828814618214878274796241322275526927514391156856829911644430017200934464294772823207459954381657055733473138193362021189189263791305700559004733229027016925845310020270429605743847744002616278848562546655721319716205046682484841189652656387873444958213821271155560483381980556008594480404034567845273193821067019939602345362509714991019770110344256472609509353874842525770672707253071652582113863187325161664007251267088166320527584784650572830376924592675188596326235181976577966364364232711489375405754744123963310039890126114101087995802864402679467320817423221079269253983049317773436574866591181965208946591051965009656689664121764217274386415580270785937395685628657629330661642212177729691836391855867674607747431705332561915730473918630489643292249585345532575476953386008617644798662737973384372983784725741314886382701941984962781795237595412541786189792795743871768705571881377688824434966063511626969256019205763678810693468466959003775035585224421187418708097188614064586440494589997524159439161135145879232690552970921516802979745324348210967851053763589401365987775337507527065493844234264010444781720228798851728386699015235274337199218395276010683619601262687489522782000447866138740926617258645742059455181678338966706366299307701869799461856306661670631004485477868253227025030481814722819937037904817056292693568970467280777458526903088524730847123679429920040756475906055263697056769432226204134491149186587198366362882078780233521526412844810243485192790353085190528317919969178735770843118080368346605582900776612274552064490380630121342721856911519086366132058419962832809236229051130056460279378539410486139561565654642853271937686889697783114478528283761298208630758470333430287613455801384101874255752549919226056833706109955819931685837831022242315936426780543888768920561865727109846768479282484873716127459714265203158498504831297028262027201897135926113329148508845021571814367953971409259665374239440417286771175213900171918517908957634989341179447321788508420674063878343307245349657913477360661989805648445122816953921173853408559257844975787361735566061316073973384274691297054883467851669633223812711961546196689855196617822539773837993478030838369748182120967220764533157074075677465986852566125457216324768709355053666151950700729428360942348772676481841004020835786905218132017356712963156478814625316296441497449891430124474853028139315954143922214125250478884909973505524156875096619506897155054319532073246244361965189459717606778680181805698367188742110682435293694921165491073460025688211235787455972650189799716292526115379239129413401834626353274059756841064244540475207154865951500627883357724912524808456012956133803708121520521475904378508386362794725007721171604215911374828533175346174809649347072716008053960508179525761918273735503581187483836120216294636902244269512974410579282282602494039743622569792441148694015381740962231817756962164344347499095879039047016605240879654340902797222065972669453427735263073087077987665895042888488492210291810362591742709810064085054048817260217016770839018539695207265115884867692715298648123860836625016268931625046990259194758130743171629144539448916029846163842834000260169213242999986047670642946399407877166265405107480722437663222763436775051701518102557955171986879822038402013728684887598429458734702060940366013644100108160593937589831496601897765181801034328965178402285364386854048409179978078742156473292979404379233356350407655828108265255966911341977054904442253111818099339340978531477313167582703855500661969651435541391521937470301363262068608566664732403902713509468424671841706294219736806831973550430209184488842161110763861661537321458363193547387063728203817591852358785086072890384201889329923765032069652394615988498174859907663908439510911908253565748158919650782799087803103995540819613690184283750746565016670533157213605687295488319141334767601316140620688101493376462342961940318960940234472248942087837931558439685262799861523690702751593097750359558224883104547001239768213352939870004371683412570431183027576494337344216600591579079620128978068840292569341578194429905677630754837247289302630646278816229388878880479646817391510689761033761967292074185183696234245198489321637680873757219975204822680220905283709698857651812452974172103361925084086360042129030316858984758631959028875777769350472871681606660691468055562230008370182098887966498891802112406996600627718709046918325129786097091753201874996233437420962111792655070008902337635026724900637566396546544934686208818228140785923203547133282783234597380389430058577783183996885372036642218213408574720772629114349225601428408715927888995692682617834044194070857373686975238610660445937115497780593105474813262956108266328967935711768937680294959617396483075102276)}
{(585345339186542295835215058483775782669355528615679458750601613527528637527153259520641528691612766852839652451557761123372168505121722566585615839220727938373596052579403317043578143900204672308634950402113931956678976057643038662454164542729243850569936081591224209602255811745801179180439259098328577656642027277668286602929146829622924216787938815140715819266614641916700530089976447769390344616720829150199731364860056782876916882322897249609267789139144409446518933708162470880945275136141155704735651273517763217777310317946177752489464604584575451728351231768562975271457134928730543342799766661197112879975169024808382106060377526174208122246602739008108041780899388220472201717858395171162495802177232013361291250986233713228097471193422740488271554010703630492175428656606133953623876435155694235886517640287205143178931840864516117771369543247255040237414725259287961673132117042594512909624061602765575849432740645209707590581325892249837408739450039351747213945372306526758390651852959267714504289015391457509986624412413461255281455816142800444053422344904018486915448063671537893240753639117492099560912253478723335433767938376409646750376262868988611020487747848935168025870464519990026530822388731489213211312876791417275869802621619340575356516532225588135749540056909197355233144106418572575188513105127455117501383676154678931229108775692734291775277399601290690962217642843087347118220088911247596740146014348220335612611110321796675390399513781900460663953236689993793015342814386346021746289631523728230059834215876812627594321533412668919253505461605842751714451893505381290364781475382593471154329808991562264488689788012936227905738204781694150619841023656964605926539857244026831718540322369587640966251851105761227231371508119107263359638326041998847342207516433425316798204776556833544320422418485123790117185547953019960637177483415904192992328552761413417743191460350868515147950955689474860315965535142518161952098145654515964801277351982295639401991720807553877044490760520326226808554065669273297224138212489999551565069151254976793275043395503531106813333290535885827345269423371922491570701433386870840703576179752813081760108742680732665750852818320252417717304571064697878314759412922002664876725660944448189654904779067902947605293314231458152289858729008922851592326439942849134493973953697176628325518251553786572381973693256124102573028347646868575606205731764772415542871692811008286881179886216487008644081388610876960973279192429254977252365111919213112489573569950669313040737764392033452124353355185102952103636907411286583312038804875894550427066751247565330139418216941905089070697275474905225409121437151760972436932216417832321387640854969816565974352415243519432760877968885998714287745042618968675931870851123965309095256204941787381285461028940245250997987465709424448004228761101833390734673624998727689133900889690170074296588740869852603390224693295707256700360604659696092376531221088455214536279728607670702319424728558713613647320995100839405690067758175106995904875564998536279889050792885540685684077099083158588273142933898994158238731789760467466003366035264587118957423715082797559429284065619930361778319514157923476046190828925843413953346904995078609525449968773318955143279216366501723625957783911333235449371457116309014640222635554907381596414650345177186261667323799465681439921565539902328576917089430721596646054303145209609585338800793539978753908905777841762162893911303459184894224722003007555830271330693840342312242272128374253153559509785584211211202376847473551635756462369563741490025168255631444880422053239772655009920308434716710330434923220671140613411805343064729071564365004461145657068822316002651113309097656841843432032804454514650321239516313779273300011736469341947196745358628368485789625469456412122058277674818022683749154173140679015289482599980440506928076411245766394794124600153241394255156667332392219673588360911227791616620614966222882039847696427885405114402146535492981233193950609567439043487764727304661411203446150500491385827430660409100216970676297493986547494924634569996660782870495906993465243280086319442157327027644785599459999839866902371032780472202468712198098012377286325945803929145915835408803274734391403598832187429574902929953534148470960570941192268473501841184773624716727589607262454103391574324105857930110833993238373549143241999834812860285790530200230433397921934530487395476903929847398300591478544253301987219235374896634698876256088131480091002781493922536817271732082885324007729198142505243975838484965280786313830481898867685194480176745125449554528010110475429231417526360535126641606662185034681608403072564317356247663540374151508549951630249320797549243116833491323710689338261055810526822458552585292189816100231471699523990719294338098686440864376642194040957876119541664711428434228786964118944094978050263041296915337329436627570812657294321815396224484042482141891982447361016043722883383026253650867948340967677838491424889518989649892295094004158787933935781551096413261133543632804712655936001971650059792500802978432901991906806547244743300669676619245896718042733478799138578226653294433112157823974874986781170671471419312811941564900758194752816542787956443089517233039314841784872550547765601664412538893333986409391233647920775741733528277194781913380242424579746564809819765698053325523763253089613892385977288154821795582320718275134685701446519487068427030914360837934338666153628645141833345968580885683680240698101312475317288070693557122114278660399652958224966458662611342335340283064406964471207557939656026757557683259646231569731446106966883566677343915346723448292235500984431551690712175286010870590369507600401778381542574780222266532928078224020284044141704432959835600683076881250899789976598776411724622606744365543489538172936519225887273038281196775947417771633400895434980353517492736186173809711217610811875000752715330460317587298763265128141516008632725353641462127264850367472220109311787531165134666749667277824401993506468118048237951028150710069958159709700738118464341226790808549204135883384554210934828750885687625721085409653066997660989191923588485443678919824754191701158992374680182280738623839904038198447780335253943991134891183365026579541175274071156620790990286002079351506788262084703291859654560002024863281000718264438414055992713112705255922919880343104279273148712361179640082077599349396986705326649026093505590328918384837745855818221917171130892523742542388337376606167657021153342282217306256564186783553882629137438406672547834870617191454738126179871195251682384339223503188083375884431391201062649370686394963111165817197049616320699243600795197929046979950985830198783665589123802702656376952981153794354256605561145876670368051204213280259786141456568554863984950737848361356532767262606093195410710403676048530457908717881502118113155128234351643896454362574315060104802405797589727518224839437426691887285967017915580132593625953982955167412886306305788716671535964935542534846488488615138305835009496265142756647305620997698412984000282635831452215599024504355590124730075055841317799411977373899763662554186791359233848770759006165898262870506054052069295499846306627382731323948398752660752864502613706539190627747562695245877685983700256315465236090178988657242569115324667892801533454516755350498094159145129097910247483348870037220060154947141384761093516301866966229043046170792004391935090048272673485946819665157325913546801305352688725705542897392275126225806897789433300013101747420642120901581344977232332136732664179550026561051358947684556169285358111670706398210501020708987155353111206245407008587030813840250962561237538526795376092988989548857336810178346609555134117773743617148350873112247595392644254378272789246768530685429573106342576192055321344610001538111189384719988032145644097029429258456202822766816303816508404757554693345350919876220060371424770759995155286207103616042012528657469399546441648781987641803335712315349796776396619571601308574197749685387881244923435617850612393185937128350352866237640795520611958470493667000158476755800645003720392392357628751309486064310439518817667809994439256719539469590996739209431156665407112569769067357203053835030302529304426915714015406663190972076408205638809949781504035367133215120248056997439739301474842029903319488433677886975305168416737321148322992101117879063117184683834422578553236971853136416164169736305788160019676601738190306177409093318030562251772741284154891481193246912201905180973360998454853160549534492886176380053829156547682150181604296223242738610357484195732338698596351580333069544448310983237389740910136656970086614809619241111182837254769813617221648125092427663531901276796533766521041367962085018706201170123367897728737200182234462356349574891349204502691016755482568162974461834673216457617561338041713641408997264454364162380809591353764593513794939614878859866943712178917750313090692772430236024115062301169966995229667442005996578152879946964205715776005735034140899493956757996648736677196084083744136767340749066241140825683072526533076906131638753874995948833471538474614174970505746150743034398603241111707416274291095045791927147485058029480251811627867488847237002249818297654494020374181449660524268157702519268640572665568436803218036852854618564067853505740579947868218743874016787611090896178716465720045326473553984513275796986109450929068959343978040235397791049107274692067484400836137239179009500651851228716135026753141859697991370605664848720686337606640333503525412852626113538955439598721, 813677500124081585220272188223081129181858492037649383401302309311959417637657021972607305206955122805284948538379713828388518116754481907725668741817130534835728694278478121034295116052777460691090379626628091784484325675692893939735226711618817400938584016441450601280368829020505218895769688247381104911757728880235962862068006494478575428727560019719689803830608273113832031358268777934817405741728804590282771837803303716736012235903732929831599973852078357811552929552508455629926293040072754120636450774667433368453133207008672003395466777654585945580692353051630214266301424890658578869165244005938388231306114402487679108990134351307383300370523686333561851317750723217044770116781991171675483479945284412901124048741985588321977756477692089988617358669940199659896665700381129131736238918981088075043159960917622658892528699156342093112569356800910840646638928022384154198398607527357568474475743351709234969191471838454667231955604327202120247747690675665090284795625439309417231443933542919455010379528929417301038747047874976061995486675205548332906318028568196684739071084327259885255428833245583282281515302355937466967227701653032992104778602184814325555881138482926709024359771050286835986564935785537501317755904821506914078325444350255924345211499336811869213717625234278461872357686644877817581560815439065102083361664832248338803706996984913244215392865932524246353697385431212857028426557529874541598758216186658599422143246834809712437057886848701248521482846179758777810758855015607270258768608772428620084295123846416995996637124918060763496000977454782442782782624906778924292580193062762222414518019952859719241323487683347273750758320202873924622650188223354673701756791362981318567474520112043227625064936290709376719792089787031618147989291139451194666569915890114163344344812645715696801426753783634740999152919260234126743130979162683425042411508556800605581701861361881304212637989313202521862711577894391360124074659086562253256857117383594397682509889737631373349215286487445831913805241391178874569586094200020477278311438342198442556654104385204526255288470634548654731980313268454590605221387278730363225818567833779771038917360764157197696207862711607740304376190028923032143130450646209478275896099852330803233345398081115699177068611776396662413989900399777384295134530308770196038693246118940649349004443635070794170958627469618679559471457877335997894192409392562513260184180171169101246651084926081542464059560447018556345376594501881101652423767722313306797901849572871443607964721105960496610121740224279970885436252893756453342364548594233488712122872673887780318243429004561948811522110920072690811921744963413966870323969481380056280397574654142077350857335197638308796018545660435494769718202814377753871225468264337355871985436998923486152322664643040882202371476278372113106365214755112555213587729417717041082167097454865453181490141410387600605246450632225295415446620118778786204443157307681823901539161328857161329866904735604189461737061354330422530545575382014762940932907895145411070320123130250737401962288393908962680077024331748819550185231499189815089739020637624508565002273013509930735823035572746297144353783976207624028482959882045292767760984230502475576279529875734777043624882974622418585401736079748183066436902068714853416778182812301423732896205263097377321707499153125861579607153187435489200235944475401481010946629886246641308957735209040758829369063681729024313845258707868910285453693555601484706897159750563089851441913425517141202145072127048954062516828663369828256691675640581031540755182884316742004826823519973699124624988454580535570556466048470280805970188680323479064758687456747779384410541315840009713968245771875612152568798919738854296469711405821540896444653654850312087816322690723059486681781769465782815397866608873594708204688473287397370011563756835152709675033079357377372562631543497405094063204450371314027966034361718670072281918808982961929289453324232062437510356017755054212640141187990758892240467986901574168851663615152948038636023035358119052053520671264279441138645236052610060053849485049482006575994428531334915895556325473291079236894927979687968929071701611387554412229411055073390815807133438789024169543599626369084640182686071165304634659428927112535666402180365183236357168150534101559253479903224583617138630671893080272645881036764605403631419691091899974105807584617710555679673396895635801696312547948273761534313716231245459701971270934078424935149314361494834590783490217114737083406250226950303023204785035143097721641573380844091035401832477311132277268536936208757002435189308486081924293365663711176719441798571615404885591129044554123477078000212850983016186870823291348881141722871619130582440105212955353977372251224161249153009878374739185026308849652728758196707641390645563972404238166878476955545572990462450929458185052320047195123956134878276855145101469020448612049465155132213565384817370821969273677820588574151331913228849525986748231929354609199715310603705882859614311635932771773243390307834495966271401233851909506906257982086681423879379498702959012350558913833617732501572636453023882217129570859768227343520781191262942321692202217562056031469802527180133603978708183623135672819822535345194318099790442701711883758670302500310129065913519235270409247013324158599668869267183262890315788373165816862791656832840342050050952886788470112724854012840599774398780319581986860656361485867649287575705704652684239979142023826676734194602408275741813385794457625999082631376119689173915167756661477980957257127937107661640015334660292379249050288165986811294525839166519087598175178737226173542319907035467056319806398137714938316792534050102462179404899794271241404317918926798556568428733836265741233366032635342827200001083522578806023981295216002604057423775564126025007614824291667662690838072711283971854597449632059537114545167101473672249261062021880169136051459169834069169824729306450397256071421220654436784811937730483084629737010132039089654885058869853535863823346579776975216457129770326854838368336850575070830969108931228213353274790929873321038741993604632680323465816048395978221457778124259522578945496863707630055843194125693918109521969864716101076751971012036629545806633484934607170408135067709705007200323180754242923473313470433169055037780074867895709667785207094407250719674416287504592391912190616078857075954856634296750375450896972212995993153385523686738495039217738653726518994207510775290998706684640214084998359628770910739494839531973701112342300142265069372466474938587306764410707533733982025330394341909625759322660452865633090685486295512845127296893298901722495743811112201468800830950586610348477065607631610572086089547649664865781720209914071867030285093399134434458176389301528821800741178920142135721195723649095101610426905300984730928214773532288776590893590808425442463136973475090004644643445600020981295671633724300801509203248698834441912188815077851568526744707523961576344210224854276123987745595771361802233053428872768767855884301135228590153022062924079816991061109030728231138582469515861595081323939774843906577325394890951880320487384988739879821439543734198794752660086587514521059466487116425192632557670411346763180105520923023337521771752379515094190620755582924481904693306644585306368778983181559715995398882137376544904077570326305224166825715299464630569410085875424869520227870907048479387809298339217257669969592015028482525902349109067480453603390932687147259977005800763323243717170900930084991567894930833604740878913644495014421428872689329536150395180541411887134879728349997460061536787543550672513997367415869265693115444290736047274073552901580804694384886263998259801199984430485117753299334674317949510696171684310721733673885945686764004032685065786193427454762661443790439343044124216694621649850388053912217114740940397865728371424620821752382646587724580019549634419244001108797135136007782254373674690300487777738485304988218923211054776159156705097614553071773329801287537918246551406311645795430228546740575394720311468824676187100859785044788417412185080798139967131829729252379869060103932199625519126615019510011476499643678672183328845707608228989894869936040015410339527561069864554912481494681530770833824611618042947697918251265919875713377873554322825346585457891683677067654103215312101916401868483087309978162324037161339713939138414266103890506209418333627593405573729173991011601253530451554923808095065997090909065310863161835415629625155814056864627863608481279017138330552678416235525071191104462705739940632478670356473417450033028215285328672616302128195077614435034746327600752054671184567763209439653133546730886131105114073698873346316246475349337471453628533832904536529582443428205467597553261676413411173769907109886846168453387810983638654485775185705886593484864765356248422189773087928306690831564856357864089722373279539466722855255949824608501075435001260363176273911829207566897958094492986696807960254402937980900970322138731605344518227884775537660019151944464058612503334988631295830590579041833285991587382926404065282746903510651408068546403197710531835665449710612373988054933692245764371571081443904713235700983093947920293099355873606363574026402487073668174837330600106127552970431432826836213393104881669377568547428590807817227874089640769798938977086414211766029187909062076015040737451465516113253143979762446979621970646643020456855299592003240313899246350575697775451320581840220282417565702605576196361004149635127747246921282554670915454945745111319093058121, 16141877240696139691512660294268730249303464681297863153811494648956219031731499987181663104546966228286298660343437296399666908784594050769527206371951900743332340592209825840130677693281180897213694934235491904735422334741304022231189669573916057827104823703282024492228252750228798201609325178954921854235195414625664132033070634655190043749059291246081489499865668662369761814473939167731757990190966611545049688538567428584159090007427222043136391618751229844408727073462024184924550379080559966939051777247409316125376714938028160038909033110810152545259940579407086959826095229653272016252881967142892104338403418511999570973444559190534352935769014601702903007789058080536988493142226173219505012966973452719951011817636786690563959851222314547931642809246429814227807822932565219459303147872571599727978052243467508518892495137874628280340824098524039777995825295732494820711239082094819146934935533560850295021107344486277104619813709307763428386023212956572119505984788224125045977507263101924934026998417596618022640596072887092576846969038201522948341747183745551550550858077351637405906589791132248989209255638932075279102243407864654260375065741118568959047437297688165264596174947589373132115066046035542856445125254152365952172769665641870969533578358264441666741588752639999606546284297152869639321031066925266895854429988631123519521338260122122136242664013990164131276523849107565264345364868059114807203999781906122595910412557527167035493581915545154419730460377327272146876565068373575635488524589779281457558506959684659742590527563676228975617141799223197026015434174843959720555622858672663675643390805142716630093523128389093916765928823845088248744640006360721522358964365625109153537228775848619139280284897723176475662951870028083068688906456221006447743680653070590906926642893229189098174342810294147112293719383839337580302895283070607270097955646281419225190280386041240542346005237846830664160571367858317439393525075217961945096021504222021947200485676715341213674863604972870200287542973844270995570355372076995342977439169787798638376570070277971978423619832047997819769188438474081259501766455072236727051002639961607562929892668149678245007865311574846506391279506990988262051729363465147008605702770091440924685573186398771569599103448255153655256134088821413707306040621604874709076809537947855134688158877690918513424119378325359094021498150399322823088155135289041074290193963862033756385345330217244154943056227984482201045271379821062695553974519106063794971992941612139323220956014245999827538897601780410804167225699775455622111347857546074564400229702536372133494516374888023530021895501154398980540415591881476433045868104010454297618408988797716848640209402547749623105394579606976591357819840230374924680424929005542575815832971556552196726987357223650462105866033622051060385159953622773301128320992275650351045809985978281549252760707662172020165800427358685130668479646067861576691933583745923446261086413326657814765310797333872132502741994783809842908657092738135908601212308997363930386914180313530518149855486308477024365288898108951661036283094504322894890354717063962021089779298087645213389871682127861825989059377485123104150701199365187400403509781465333331599060695141101918312008467280991426810540851480634016233885644905694901151205290954942777611965909172889172311995968637672414564215877716946180078444292348142907549952224116899343679219372899694698546341088417508820264813835342024726435929671371336274554644072568971987193119287301765599796947398601757633279995621991708896157592781512731232579135545779418972531246175678995694096205602938359743093994642625626045635444377946539684166988652511267273463178183157836785356403439299712042249452687058945386520173705136046043877788602464602229752972876280427689043251065222116952691495106277540010731701437528845965579590110537114163638498812485614272538068963112519065675665588460700033018000573623365563119816967687691499191900775518511608387733901618555827504360552781753632876766152173294542592963011656249617429889830071003986926270970343451351212601933267100447924729656549913747986505325018416139859107636880995204516864709935224154299576017276284842112682960267952949638302291243770667449142741742635098851779579116890051070297565780672977286376379983915843556344204086699206763957165314177132830287590380347036237484358220012821411238481879055961313669719175267764796377625661994846181833904332635193118037782554281571270415889405226914267924821428759781577555967784673508199385973226442470234710149564464612427051020867020497369547242130922772386987267210416676185411573948240472503670285965694871459056838057040550178285372016922998848738841005566611908476001783606519580339006192177234739861448167327188012159349311899050676760964093958249860403536504699408241953622633584594274984972585614942587661285337528604589551778668037204891332729380768377942647210497611099462050422572396493230330446443334320329007481475521094434776396779596835118478002343021280145665086934964969594142238227076517660627122715857875696384632735796778333805744701967352088939935976984767193449754182938259396238716239171593668411230590473204602923456798954453214369406909630771513510827868897841425045462156705502335128417950427840468193393440116395049683168921105277281776060773996953913292925404028598769975585050687563245825425454192071588843065213062451623117002452601559156026868788296071914297805778320245752002716675992299936798623908036731353378603281612651320320986149252079465503886936793212285425235303004523012965672609676260528793305941105526354613831689773655671267304597338075400232150397371541556364934175646023212043820377713589680986350045857596483333577740413080409237301832529774849354893952110069403451752562136615163754234620827967831845642979307919978733022402389688764786037032062172151054777071424729056652475152500077312959048941366399314482844613834492800091670507250482949203653374264438087690825894294267965409251323413630558229970324217037930395112368505098698300317153379274396723369022343036075940841207413723272094688823950020022160242108029418535454721701880578767239768960588950780152701071418640616642186919362458029298479728084441656759204134168772810195570828030713446813831354288556273131408538723562322754495974390990469582656439305448183374349860242908761447612891191139560700802286901613110413695273512053341133430097794545828908234547183325534265960645900853028174502304472480925442222690202181305725700008674621675763476732545405600296031744772487192242905856971585787142662926202615616089134948031758756256438097782314422958414046234713659291771565712846469785606481167416645137264598709651026992950201122915194658816559341424215469589156691576335066771590739221556479940873599943703852755262137366682412011765315038993532934370623793829011307333989673392494969557859015853321586589289260115069058202705567807337150625251277974687721012145051669928379509346177132885544342325443092860572898123087771808311413565984402500012240249562397762183237330062352193753623136438348834089147283762085121277012723489255310085823853354347806214795875533372477250625570316084188666520812201089266053081520738180716930801627194291653354386426705793330532921297352575758104114436572290129634180840597249556484377161657930523233079101525184029708146251574458949488064193200951260686298044305749290687131468415253732441954341180225869428399364009364708737388987204450689303618939043286379945099580870767532096460304476290967779101387441666825778983683203463681454515174345170791568210362453965372902415009412842985293311675356078218366206542113132591368961644498540849808917271238147954777227145151430935846065599904631230364998948913996312962788333103386310736029503074942918343247333181994102633675969922504295028390340069695487373315311632163776656636566009173135967167638220296173153935414804913994899420193171902326491552422980527162599804633754736669721742242202304627338961930988330447010586049109439752084570719675983366214020205886324288788216777420345108522214370918616539923419484975701805108200918238767903876649562970545291492337781298373835641782563315888093734730441316703199861029214747968764861497398186566172385308503621030422706306771224475270520738161354848328008522034099781269200545720576282598583217846265940825404124970808095525595352860698465180458761215030708310615491698888571487209403265798103953530344201676549004072243719179350653992696817686362109272128114057311173442967273686501800471356203696008029201727340462362227827805976996380706754053692871409780137577379997069005546091545695876817320596670009680462222797409171258989949328630693960791873920534862535018867012463390281658199335936010726072084343063383405487174205412114445263996721207000914642315905719905173475853680679031757470045529477219522355754276369198628623548480614656357145937429893138718710162475469921865567344733404263921506761112407380423256472480212249783781031493835247116171032645445652411794537941637912910327032574783730360319446531830629120782824530369626928950082084441342752095573862081761477922114130640126681262483781787921732058748851525610394079037587141305151618213973970855174306012701003737447006044760721835234810711832494465577979803400866995168167512215241024823410083440682259663245512876109317933909921435187196833920332657134232911725146191110612241795725193112741185319600664349243144823740472415341115406853521870142837327355988198219991965307135962522430291443238568860695703553871273952230328235372528958784196974697120323163686542455320269603718549296677555898234873732)}
{(23663918615863905257555826826461411982402376658491940479591861051956097836382006781668947889175792918986605880035895510979838351122095676808194258007090294386615236056274783376592490691300496880582044882663827975011392815097058370018912564861048107347034644578226455022005534756417744332165257457038299554218703522631167681183711569627830561111007143945075867006006372011381414626213460332037219689674832795847971993442638746986075667467145070502799707000078926331908929142713946230652349484454584713227093031069692925778916523586758876865930690698767372278355935832725444985964492105790271502778845926565547528890246203245121613024774941103035332191870553986179813470650680793587325539484175282038486046738110566827028720684397635231154252051047581677251628538701695352954857770859998954626080922220675236138578202202529231281495922723973016817282824753595415973601577684433627953071639243074940726565468671892758090556383323194550238903737660880297498501931816347755829383584679334424925032739026023447344018761116664587115235896966137954875038029905268075719956625797194545341770660085576857008178501291060997603505415009107096070194334213046978113361662374717702849515364421838276413336830837040473176139785751786808761305789114011457448070664997133816876220512721269641440928842867460652516937299414351857713910750101347589539657784841631158409164701708764999767580486765390345651562231410037187081492784584583526333671940056275283556841862819562789633520565254035602588666243413048592742609258974386936201947188479645134769148129599436589700138780264728329019628407826156756658484550403718311326987966502464007487387585983981087569656492213714517702599287522267858774217788854238941211663366225511571059399142778911336202392976233415085599196137339249419303036879801200526247869504478918921416059495697447046212826444949679209151689610826923670656716748544709279886623250017179668036814026106382224783555797617957200715972105291313650865051642434658948003325225969536727429657569296158391359485576793400918925915291373947955167392665397791027806106699216254127446042934539057531963712260627129966732785752077066313468821258761266871639555966211625767191126177175617722292331267417838185324185053375906217086756195272103228280705717369871760775481275686698346984700074448913146676845748491388383024455249336823170687646670818339509788021169543407860870370784179596061837661384600952336288589784710173390132930207427487578202067323527518622730758292635937349240866614640947953077086523044694934828726129561503511867020765602026872872060987279905958195201825998729109435251461520538349875503751820804316140749642591543982241969867123253795124162049496091934493090994230098910655346810862609150235939766311294787477172895412895482221745015037385966102918660511313121004947521933510272108487315620912136395737858132172555881935139740958768320261566225901092161708876111117662274553157943553649614117075606630679408012492930053993460942424910340060055864231025279560023420820608757692314090959977153148433276566308107768751659209110696909047108311506853400368801861184390286153885789969802615868589215117946829759564765881628934740330143349604722040350750419687031766668325067066230076668639926659980780246028904322465540097870977788254322729505098560961475989798214202065386958206380473260357433856599585522201924586404265168097174166702941320601678366850930717855995513028069982765658450405652313955166921407740006030700730746803577857304152156406364191871846196860184666009922942984508795567495270594889801348447382114087579808243457647961264379201535315214241304651614655929179363334681336708816321911820705443100776055066762626151984631443266421630894278964832882091027496821652868577251285228747356027233829970511457685943176792049771196913951721265282802873917915368176528492846522988972829754613462168678720660667585975268373138137381550287822301343374826129187956194838668193013192799540690689341777615289653606530417225916776029846494364068782426738912152641200760426631661056233820878593545381176734944486498248515050537802124193825994788948826720543918012941080078790634382194874940742652738289101499797830565765653057374780409370380070213098894080415893702447911867179172160256480239996003133294393526454008021946535782098040614862811558136673105816639848238683824292117615986983620064871490171939249289135431301282557405030607639895197302810051574587156072755785543483380587472435478161377147175427460606920998795207931479343709951280694458114885921553988318961362776130617796768857063137770279988948441438548092482428248823054252170907706963354808548500769562940124027160107232459426683772536765706598901606531389892844116640853913379588972412422043548004672740588099341718570561985443006763845653163180312544601758467678725821522449222970498251152831687682127695993921486664169851589339554392532478429409098709832770226085616382384225385128627107924387799110882156077636787743183218448149021329234826550656951961484274676897815791244748779392047779816966555233769199626680878339283428650040868431509893648835937611169734708665241491177108104842149958562517927540251062262104921171670361290723863377318963716012454327783091388194550226532743824887950175010372328818432417292292017222925226149631577002575191291238496162852378468533784802535586852258406377998907137177604910009041639266824450516551062154789754431439160354372004164232687887937156145219370252024597747466149856983851712434068748131458255570879648591732643248009615802778726235085847639012524659348969142006638308268704717886751129827406212891223773878781144796460270420049487055283637340746201589157336799047126725938487764335640994363844385321551203314170554264984489699818671197233394958574020532888094868365739334955017556151956740470318540588600293381729074161459009652182322815463859086797857812349403268362890231243569165735098377250352372407443895353065795090039462742690603691699067346184198535781774479507953012361004817951109016489655084836870911926803861505396858894198921184946252864177752831123937901436304442280132889171054753278453807643313145549264739266056096675691920052193210121330439097629608839721347981855135457669536623206474856219189009531002145336493829128422899680617869537678130371286280837228372164074120545752507605465357212778421331531288662924267001132435205644028333199118925456127898970098718697898316713683566851007376647597939330946980566968725642148048537032740012335297623218708558658328342489699405836238435764787770014352668566316767953981994205259457244019792425043659665588113909209227505870992474144778225915723127887311622609463544495397373480984493100526176982616193446072177470463538240223953270642878005305761335405348801416806346488377331547865233057902080353734663368942154419097959077509169430556548935107331381063827134212761277019498469771248360215818844990208829675550895525257154487110808781815971294881845822422744279474045206439339093090643893698659440817975059805078124940273913993274397172762392695920388739876204431313401085429623022446664931497839137741099693658981067393717387184981806769312594431295891325970751371355507914724216665462962173457652545038790719648998011089450223850102442618226645410668007445803047221408737948914177655299786515954704299967348136626461145603118594385904446980488964583592779280870096465780498566270757372402388097222394700044964286758294578732701374899336475043297894423257778738905693763419998375198302964274308723966073397640120644886493443009002729919576101764239732289725081210492799318370558459992373295766175893373698042604499883058434365816761489799917852158269265544361340282159423970869620770704519082308657338161653530891346102884858446688756273193951766674626577951360791680636165764927575321612574816127391248722014108964385799394443937079649061902922518938362755862983748411667496490272817727513436195006480994467631690661435623586926368402182678360042366088809833987691252899565495972943194255577198830560016649573564607937737220778075112458034968896290517177280913315211605886761315754926131122599320359916166955332885513189000108661552485776637975742331654888452661654578672160306514526550559716618447034119593262839891389290136988584218235596155829997352518301493157275023056019692785916564455280700889817921010257990025622444624262228539603483827295510183835386393677981713269324861439616277555697782452446577468201483780319533945086144658063859378956425648600941150570831650336051548355031810698847026210846651673040812194290276274988401280881851690852288943442924390865051973518175306871425994249844004344891075776010996278385661115417099075294447690495038925863408637454034640505008706896461995374800613045961893285427647872184275036863100090140026309705629176081097592051699800418111061104074981144413693369394237938436429740775935041259457091861195809860681869147314707060515245522662422983670204350171352398513580353586373974007681565897850774613062217527656574328948176916049907128020987568581067475482541543225119950731845266400007577795647487980476412744389915088500237343218552109292013887090984460826011557224349292912767586207266824836908790506072938790440308742454201752451050421121648717294966747656220600738093260772692391368237126139972435979223338554495260671018871382386583972461583159874606391446728915990402537881535278326652707639496948968134031675498011463145285554850253354212603379695944731063475637781875072360252438075529751791227506557268362549426527712018387581893116427188193576355355498447989133058706093477889387240199740341633268825023871347890103942245987549809653958225586872121543027312144865085178922713199842693471950636003939900499411361598429319480530966146858287079144355640574729806570502061983234871487622440091305973295958167386064915924282864541081095980246095009621094836272594897093804693425899101566148602462711126442027437740490456123443338887483561499431758202297082177147331479623205288451835777133667225649792319969248675906247667768997126186381840181934704378197272809957215393117206048121350278062624886610262053189908109900579696132476282568809658149517747331908186232901042135625733382530257132572777656649471549055861522072825723640683299394122933599403795020082684453473298492107645193348382937541513217940826549883232730846091951653386965821361747251226696597246865781200946041213373548104515449300554657041325634016546908593368586515109740483965600543169785168156450791763507489914724011936375122389229783704047131318060839720732944950743823339777, 303577022772909474385353731952174201716598066628640389245725671225750158594709749093612475427770939498541933841988873511020304513720662403776542643111272063297285294562428397049469201924377172730403486685274468659302728399745985825772639989524707726294931613400001779940455741940115426196264622778593461915900154437870283436559678458717368959188596437959697627321639175715792466617165030656074968241834927104005666966808512304337051573917153170474061939032717956260087994809761241777689332447044065985172887055658527615019563961922757912865397518537445728495786460400265561316374194663124272345402242890565546119212255396234809284124385526901297249245792583404352209016027260501925215100119576980682840636516112095899263326256383837329543671161231352923930729816430066278401773692304264047496604236647144544577346723805762516422093726501744234156016111856860252315092086402389111180825068899350496557562038696828750622681011141207024116646815350966793734010422711558599667753797460934680703987046608314554075303620443368488493688505886931394235484685617068231455351554968436403132292701196755328793592815907066797721723100699653992540661826840323386491386909889476523832623600013295090486500845277175686538317955224506491144977247164944595845787430582766554455649086313414644398025754624074842040205496513468129814608992378090703381502129968629078584783090888946305075158475313815194276331588974874442509259303395263906989166066574785251772521187625993565143601733142423212265872935782599490540334791049791799551273732559315636582710276600760615579359356629230673596683227313215882464186590303493055344154525829846653935347017896075495849090966914305681229349327895359774258874539486467271080178952221665237378928915137641770528640743427117643983923557910996806286629875483904490905468540013151512578468999797433203866586848887526064818065795123782197710034861331488791112812459255832104269460777046300048091232157849281402333167047285079661001181303140612954084849696382883597827519190699408013749367166949586185510231338103358160619270693310298508788211466500680287720467040826438917812851782306180541553715074724992886146958024447368738954107932143567967503219632444057655388260470559331436901710602032981572347940843489913437522782594100252274350349680288179192298853999820873127242421299268187897517161127253035028416216148292754917904874709451552893229719670720752945691947122855250093898699853512714712101189856743624265828674806658398322472705260181906086753371983871250815197688546521751902238766832032003253802459004969640021378782342178816166302257051037810464823643112244216278731012843829662869232219111902671589235001354155504090422515867363783690336180834346703757865549936577119060198070662970677197185481135571260241102021565089045537180863833461118319105248713088075060633601746613992519911304035542825844589081550207841234003633889719757362507648498156888309653758059490910547096422457344206078414812790572492146971314698669629739183459913209641266360970784169487971102824858763561986116201233283966420339038957509656646037170226123213922486195170346657971460593117800501831859427361484399577890245322170780135057454932161664421646123625452008580201210889961355619874753426014850419504017335853151161364195247828251527455979285282919390574637100550233113641426327994789890185699309111060918050747412093156876274756861387519998637995229972529466451936019539163605299082943989942039357022392647325269400427125210319341761911487646937791639243300585883872372431178582359393335283681559601947746267211949015572277938661140769968200560330563136055993740200386188547617318954267036034860112647206078804970883209218921512388203320910839152917513139745697970271491605488498461987001004573365808118895470944250870933009204530708662436618389419307528130051820621053070792553878711945563879897311454236715574560708069579012335643753793564904900436482320176398379817727337447134778445796570950164826957644124828370298830474393078290157716282591252751017093313607827523566908148914126378448448352610423454288366039915406982973049553704595952379771967804881534334548299041527665405332599833783037731912457409865743705671646311662671879866762448907697251497196123719153647937710690924030251170893598568842031657704825709625870673046776143847110303733717167895908494284356673925210357011772566703601808689091460667907011832050136581297729081317131479069322620941176694178225497620902055301813292481986018368846907904420012451272133230057826483067217123393035936564296158927075269638291300077445777151334766196889220189534994988460609253065129277022614027268184742934994417985968709151601594172848990056720895086454617032169201428325747914423091683110579489496114587146164032114703684905673944036364840317407859752557717369489003346274836324044831079582697385824654121405603780557195497024769310828344864756995657977502371350416208667212165118067243987185147457195119652854608256448648417001472481291508923003444005143495989115616050993985255434886484407040859288901949707857852817673559011419443203505433102554004974157701271061047331778747558002928925161575486906161389992006771226903827312028342694340748620924856990891210076746353701203572459442534505256494000932781835324653278876122076604541402653524683490752713881006735197065493767187570446933715719401904773701658189321767495143500172454747833166767980692052333923992899735095924176859699225620031530789294640732143360138421398201249452507572001296189785115197879027890777882946658170308515715634264537467317015088308845025224751744231358965832402897079530695114035032696584564308498274411428400117935186213093406672569931754395799727938456666135084076037038343619044942794951609321733553964110370628754881291188237776236947992211633915228456125966854134932267172474869338718933730770826412665660739968901519984137883355056894039893499840018704920867500545189375766316947935155778130227191600645196019781001439026701686717818648056221109346156761781788155084374888635992687401032015503473115117679216659434962297456175450771689605773787702541619336256262181839702965048293407470814376165520988102627683868423999668521856747794882012458491874577863468936719311952939575467692316089140949060811373763719262128729477540275481325001722840134241239822336258672846185662300766299289657004934981579747381351768699778190380309540472211781666786816730652222028337449438249294189952747322823469118805790023468633185566117213693283303233682973600886127557971806134408712781393947381365131248835452254010647969973956926761728768881959222869296926138787686784840738194258238340735577804549256749611132566912535421461805298470942759553701801875868342829370905588565805285937043136744824638400177682387491197850439729880161174913051556037789172087060124379000821004260597501543832950297003731021640583358706411381125045499457877880174016587510371759631934459587954617699109244259083990473583153848351728239066739890583919791561558607238211613644777692983193788224671260286856960867561360666036501735396200465688584208939804525163372472156349401611208903086100462179099004033728194441389835197406943687303125928560261149536933322626292915256536149645360430698003876724184414500096648585067143363838447097707303265622290864059993827059868220057366922672624922598662010195109082541184251793810290191393380071004092639366656034852766268994853156990232980926583730775581278947797607007734451397849640895932164063972330614549482525618048638102563974814579220691548872333908639090912434524058107341082294818209017357800259356080194409807507399423264460351292453899573232862766696517867568997951396473411963903212308302850809011698595360123517241058657237683184681970335298876751452336572582782870254681423108874694692672085247255912837260076440766715029300322707976384701110313366138797897320591673098260573321163239094064137940971329422569067314171833812157190593725178889981512661867619232935408244164772142292502050293585271361287621106437479437353442073570659048807759148904564158360156369469296289516530493457394428392841723880833804627895072891439081372867421690194989054065712074531301444392808041048720697205097302578724708918988200544378425212740234660458823989192617300091987288855111169274034130118315984986659996288685560975433540251682241888356141445973143771476562759373550413148605579915068063886021047219405216123018108184846357182218930779672378148489312020114887627010378356786049648496637660045328863341335784432568334813600250791757469316605007801139859808142109209679446830158250194342186723964329105487430174105402071621302613945102418821878300725577742754705069737800514393948581147733299529485921551602972796858604254682298408097922302177876031444373089803659928734099330450653469820481984728377482349269824240498446227023537572715759113318691230993241392808480334622773083885744402522767354027360113330726272679793770557830400427382119706725687529118877014599513388993213767196831549612164391030212269267761564504885651947745337590495403407982347688753189527353536558026893904672930326847662906383281779826809851990672774512375897097127240381608698388320775942872675803211594354077890851489125204310616184811080703947215330786016419228940150506871378869437831016745192683938298684922013027222604560606887791839623187316689174267161458177516647261030021438836745706184428177127134901128365096993632792177171547915683732930272816805618443155312431284314350236365782060431601274957882941099091469109301944556886240121955646284675633272625430760546637862169681353185453227622684983152765929970611502981655206153880111688950210953436492560795944791908919934479085013417418201683528012932542437051651807923290734337908812128841118359682048911160239976350084927239687915831847217564478026615110340002985344945254882185260344954811029936123599641767712382822860713299960915156799157051745282524108109659528100167812365948323468594753911079249824821035363572010983250404987738566300489994767444049375808245184456904392503851061685149617171436040731003024881253338081948483128764323907307330368673092116231571294585570660190914435719822954589094507935306515066912268129335506086016525822105364989674111728069289182127621838334402957967917015495625287260126429226659534163270757535346028130338011060406932295892432803062703162611981657611578217131563586197167805833155550341443873349545131007447291724738828335086572251717032875668280454159805945712966441438159394565339972412459877576382777634018164991065776281706240804431532499586511884892761, 1732311754286219990955203531948633493524494352838864287827088474997822773430916346233529249944155035172634455928651607518659297520712861922074569904172568196089205437482367889212042985224671424504341563652700773836130873940396013588969104497039950161711117327188746039461022817633396015648301545914532061408498521397259885406816034395230477506379813641780069059588911426662875766384983837924010916575560429378396545395901809404154508133243911864761374176513947757718661357822654483423208778365595775811869717239628516000686934308182500097170914986745918112414917019929160462351107886349239551903595465820674337819030288442406547338643273469300649403123306454223798629999157377658667845753322856459830330954468373699913126086758697684041114359316716193054870558183944137434022413429519429153105562986482715149910889599158031088569402756573203074055449160239972066208527853785067042347271829126085225861499218812207780956428654326262331319662106552643443818493297931111707917713043543539576771134435246238067348032188707921614277828148668643197594832264466404027840469042176550715563109712989023114469541134678776777921014352814232212736648268763353037396147380122385168257890307246099672580821556258047916123869407470882193355823924922276092564110175557816206261846339889556535749763221865861947623721176466634733990264441938835548218669104275941136594554732661414890453261932091510812208311914658110830817266804584091772527615222719989831840192613470796598575392308316185155652044278597382193650344586514115211947341071808722015074637864662066815652867025987667797490822515803031556603782644410184479969404860355447307831589684076007360304716152092352612826906119205379998427309061547843707960752753673957567766293956039745434677402933561672689386172463363396247094328432937261373172843228872882608739971221629629710689808751702945738932703375487044256209434166434840435226688073223020647702509552997464836767459661211666230127528318984972187193191603924866504729706274477861798290620392688144772788707113870114955729763484386430431042119420779053606986362366060711048609988997303591251685118650528783183548388712100332137285038642523458184793645239430009394955430567510682242327622665563740852067743424121753714726428155525808253441253976285129679252557518811795956695799618486207148169199462002345143712534301743641982947924500432494208164198990485448107213022370728238233019703342223940059817679680043006221371198407491188224120973899393103058944871541190024032763711980523664930928444496718539686902246317098735278483779356921821078947098443860437111986105645714682046262056584624229124806705918007921391015463648352543695155048054873173415988193883507566969770935496790704985637347338392454506191194454696666568151707538612861778214682539131908823291940807553501725364959901404391832304368986466293034318777243671965018156824062020245853246195656567071218801625699885747326922589497490161704495169518247869538141454063215860849293851552775846253922082775239036738860611095626823152140918397251460859491617493779840979072544412451258976487912940241943325824716941393825066138245753797362058864562384494972447202572416093121843639520308841924818153497327675005579002906312830581623694396005632003774127965146377695579715766550381460561379286315645710996858141135844916765271282835062991797512164945114996903267818385072103028448635028885295333738440834252109158825299064817557780680037808721422709192518170878179820759906311113436899037973133113300447954095709252116479053502006808922104992789531779620600714290349439395076167512129718837772709034412607760169189868512122126204752835161097822958387508521910775028025467962671284582660367111250529463104282786431844432294824315119036274036734151525119903299218972745385623909296519602920576165574612310904891290821793933196640429361492970250089686059874955253427268259801888480002676502218325251114022231613555448072843491334871179968891144954641536668688474419734411284039450823057583617988519985178473442863076794649664231133532187236893266666545027518100925718721441116147047708083947574482740573000815336645375381305938741413332550309319883970693076488642459363084401495582173125610288749842859566799885551721583048931533533684695953331919187982423590519260392458613077170750692445492994740043629688489218724255118740244220888921862990236729283342649964956507526760603246156496365626190606227740515987688441658366726990260198115486788692352688278371491717310377915702327896312093322400717074910554738438657881771738198226215493187350598694839843772578603551274990548955712030325029263211553856794105692128875089951969141315704036645073574194880278038904701264423965857044899162622906197106297536445152219754311675257932286225883804704635047397465022184353851676501794351805778829702997322079015002969889746373423386097869671244320028235712043180487200751040208517929651100077833655708901330606169346621681988362886329891172678822096362280286854161748028289759101623311192102279009502293317622797036071314497907911944735704982657362404622251088872983227851003992639177483449641815831370910696684321168709304645988995960698695178555584618896610180554029217627869069353624045482403161621679363883724819843028697384405019768063522616617023463752127557341734431855246406335057326595923825198520712782734407508760885642274088880903608172183917191232022063340525174562165739454957768879116711398076978510995422620445008866734282579673610266945489337501881577127802097690432960433963758962096045648821404103649643164600351321608606314184914697864440511944229842980441893961305590961347826837399249737811332659919862065693376275241770656665042436836520279679218461993553721154439066341684185110044873843266994015410619984926488069623943588102962676974101305382750761645108668494465343041679621500614056876290394822633252973059740802779577050167826760984677651783382901129344689173091206639383114641806878101000743002254876854046612345865776687252450138481452604761287040124792399693864105237050044762316315466292515895216257829153190374638863051965615327742025256396714505536440800394148346627492444029171332555651518956181514430724001778428599472910090180456432261048330744342288532105445996598046436031333375184475809808885850040643247427761711219572468293890349498220210859647075696858978666776866718617826131367683789510124227386461103841119971181295896871813024323775417070263544772146944641859662676534308860084491605003955086511823051490772153647403832751121614404034678136165457644316491772360489419460830485003249211400836005074238787121136361907112657392404121445067041757790201899117874004309633567914025835096932803792792538634421163489968207924066387404334303218102658883028453596751741533147725900891274630267813503832963892931476064801992221753203509575957674540585962313826051108049692955004032946032599533751331981893333462030597017781621237672817728633575096007111131419550586057523475788301052530094945121700521349870891421816015967842779966597603561611108757101023595133001332462725180953867328229142100715598985908343381117556609759157406614604270998925767998286990993871617777929379048196243793258216687043043047978517846540607765093948591845625558926780484446728931087860773312332615578855730289156448475701100924621658823920173052817229856983720300060507637128347039605365493378980901712147153712889892022415317482079102975758189731106350558868880807922605760654120867875088867102722939260143879849585339513762654042164317311889447929170026331276932507668578980395036784532975639184737951346033242418531307410794349491476928884716720527423715477358308289773135901585862384885416278696049526621897157326783030367086732142523779674104426775397777889331508188969774088049425071542061527434500263668241929962158364360327198292700996286117200951280902924034788798442949287306680212200887736059090677040992856735322784633264539262178383099358334740174861139247577124797211508756145872776493698834775753197241774020976676336797802231977717844958400224762005334684971667635735817291427875259693788098006007623668254351085522477644128652442365807309690635187191671237096175551793153812384069365671680770701317942088710343152339993062976295703355052640268394950056300633280910162194997451623862610296650880874871186297974725510629820709782891659415382170701062053690043122789562157811598740395146732444958220115532291344491085464699750661867950206523540601238051457820344451205538184327521327556130210080107234106786443328338886948371542824474982954841614993222977160230691394494155327878206685841246383259076660578268518739907164233379581611583583864301883585466549837597176641261224180888937781947250182523493054546818486377891559058083175634650820654511058161081566078561309868833342674346173479820386878349142940064398482883882761061885370651773408987434407095386897929697791096817869044503594889397479731100779744625692417563042796162822358287333334862270353492823346189691732577005360840996775898207944521361856331850077825093290766234721165342674171426116321807346548710483773150513403683212510380112533934389626703515950002808076117166592019593874708786055567852898630364879740029900482356291599292742904152238289741553359169391226462585379395018452704029262087610734783928903089718927146542441007745016070937632058391430175752526697436730196246623848941720682270199806512282978746026800369300661012368513314841978785916658495178193772671080783950162813268974455103012436810351051533613799332462453627382670713149825396453302788958909993329339849691674975874124696466344273334209741032425544026781972195433313990791241003927694002216344772029529056014865207281550831523139117733008519287550390615620996767977957295660848097506656457478905113635551434982892526256246179266124275416134084228132928559792767532283294542077356850279836082173209713164620453568622508630148338648034131572733914257495674723297279113376149054026954430417223380603848952770264629547208943470098584522653932094318754170372728774053206044706093351643476437675375342183759378300618952982599985377063425019895252825066404682869771947927884469660968550779085572480815090418136338908658373467235018807515443023824846357323808904769295270469689685516074824567306580074670411615411345925006132328917758234188225822024217965318011155617212217174475317835758805684057348961834752341630775533778477793369876030039387282854571623886844128018461969814080510799296694291445170742624138570018060424590941402270061860761360767956752600587322583001406682142828569080023076)}
{(64805661845536743126006366236811747349722800881502898772325798116782783783633005234906574991327786269822044136795520799415325737136160069112116968571518022640889211534230375849691342491940637266754585880111755610783208591786093729183841380635628933542359635895032061733524198342782701136788319248189005735816335044543617466631946547455893950685337891511281486536665390670345752394769358579989623441515098777421959594853776150356255942970204670975450176771835026870653068066925297444964697382428312691624102277229646849676514729496433769850929268894662472825817840012196174584022739440327925659609246267587640094623298155896793215548680320640979393699550183955632092718264946969882672967080660944130119045116983680030703378444136371890028762333852180133618949061136779843873614086673280607830543714553149647435946057734730533921659570324733726894544251939312288782052124523320016374483650410206365175473176618252734152791240877143668212959449386528858221592910831602402983185525871547525013189446823189729350478286373619765735815032879767690235635192871500719374386879443384565224556547923587787711725044969972106469113312511584383076899230417429756678807030527334988135868004620910671447707406140060362673957477564770399248346764406544563939731525485600034315558624912193660261172827325137167530924285996197256339202696594645225333149863939782784814125836174257531150383354499028868797604032755516664924139344001370104224070346730881242376780393557588842687051244392178940512943146012435946497893875523429471000016632517434705639404765640447839846811745317875239022627915248960401951159564054938672548037953615694337264516046008957676034706282411629779676432636897020901668883150254358442934736365576678564377531320098211083354164082671197713546673052647208488850720623221398794551769240584610312754692697943588110861665899821259163564459075855188660813697829198095302513707140220787415608258668077177049608632207407526658149323305890327232924077084860153025755493545558577327386152715054529154790507323091671710833351767130306283661868999049898657003753060584376927790568694687971297887701786810774433610033150498370274127924619589363356813907046783410085385065703803556545065671425046992432190947273457741951978706281767477739440837786421300597266163564006478760890401893948696409454084226698257310746799374281140141922010570679880784715743038296172686328766826900148180642916272825825111790717160378870075799501216401154564699049047182024096865797792528747321086306073114284560474656585461371034525040351264368069900075893459513251108423030177375237991463085963487089507354112232692302351208467305482409695272746771168051499999838300083407778007648753705475094722382508210095005931006318466493096335558226479141512289363273290729469538068077617621471379923567896407073417478299437481632119246393501261328333772472232819502648844416896613594125214408747362083002396115689359041114032203524472588030918126593763392963076091351494191383735324608777502105598743080850219712948768817725448450197593494428390846081422067778767986440702464366506789537262245478623446328825463502759165690761374127708658345852683390822517375197257089605845050283073483506074233492397287692509925055262871077490036636276290065492549677797760093945320195646246023951503576767582177504594145613505131365406591271331681804521613752504993436644216325591005726971308882061774365227772686378655767508235229019227132772409257292654172822193111090265689526418393335379287013622089904036305966279810072814409905588508060834426443659607238503801940812992100915793947020544170251290596046990813310907275599869809786459471149595898381915758301173383441416167022221108745084979421428898581263653671226586168892836392277596272398248223773114120118092254992888891098610096475033738652052442940586907089343393153724120776709001879735461800106765492557483439653607312454034087172353085991048438685784494144497440949540344757550968437207329321367860988363506994026764209723694749029669613027092580422357653869971093761509760899861635018264570054585790497901185351438541207365453239375341918320415653048845601340734682515522234809156438815970327321920781457112428905814808456063805911669869091280902363577390784565071891451226630400677789303083120387208919301224882870960752009557036773336195406553456280274338005638732788704269330758165501531449064975720691191352350889088932891976336876209114647739673437495358227106679347867123238588866274041731589567105072144812338948153149984358555150607594295867302535207593212532333550537162521019008890365122115624396368669558042750280415982679541838751571136104306577138052762156989033769777423536762553974394179132074733510748440465379766257087299642294116311399900881982291453852091030714662067090145544655291621328872851358119860429298404629204939094641159103735915950318011890577117060609087434051391703071102415988098903160625482537485884836700073171846867652856827740893506685650628058122368099091644673621295504961849504991539356824509958426670630012253628828726062040529693270981901926651484514918183435111427903543417182784302472187576367541084746854373190926709036666456461808998496657913975897945799469733786768371346766792976958185211761524222863263119435565301619732123928692435207560848167661011881204321049576516491066910227110593787907930930478872773645077710317397298861757117704201329422555301803518748937658168935947108360437813943668332930617799752534144680641143870373051859134425300972925006557115045931586241417792920603131707572524770804797202252104253519385326306680656557644390172750266517175955839237487407883273320142813079326591881821814027106961967595310283126325845188869876575730401692661872978617046209526146955426281209795085114230254132785390821422211562885944263044361008799855167015592599538240809768333523523941421240332226489789226280158144887716758702959245417108412590471074311853496504137038649936355557050721545876603525421380013875969161576748820189392795334747371467495736440845430764725123036566005016739112133515887838960266225131399131110519763570773599583867338137792357446206005168555563401578169858637904776928707980063183873142515164911780565808481735303769234156047944337260340280695168489411404342445900737624833497613122756397225976191058617061406733673898755587343354960884038086197510568723430673519813668380553110959271718013289863629500684409256134352298413883057203576613093323573435607425043235607515813339677852410273512200920610885466193252166495293727374620378546073214431644410346386412022631011951400220467123273553802475227190387365639605788756278261451498391005157429234115727277975197680183846783560978032731837754197601809050521459705002078057248119697820439424010291884250701571309948100715740618398064044402014160128965043247555665742935659630368314150155712142908548101847647820630954535978846046744393948108064604107141971945843443467780884202786042332659476966734916344422058787488707740599947146008467010801469056104402940444232201235271451433362568807774470339418100566359867773616466018960037680094577701778222873224009834478473256411168266980744735437845631010205856959045657742880165169882631787903736412826907543638582525733908164315687736382869839543902548844183301365940960973511025544193563649714849826975133714190554772904168620506520567518055670113250611443130720142945576184968406547453742815766503945655681479624417292382893768667181539154459294216270409575732868520261966925925233683462701488775955809587716208870711306028582251677909102156790062261358752187545780092799740886599040748120139130254285104564060432416250106616050792026620660045541063692438814933539965298935347662934996918533878064649374738207176068031762816855946269746474273284368387751977849564909589459281423303310043115183858957309795676803244777237898402763571531909426551666389066512457338634498631051316515623341723249680838007776451361907337039923182757428482765348104265928098908887888557442900392725522068657146043282800065972066823081964323481103935131948353473522410037282533854786719726579887988456894650670008936923748102103463810778319127611903938003575867352930080419295995091184900924939956100819280164596575176076134658165942400997246925755681635758740050792448377573906049718832336103911189529640413659978851796082769214897035494119715122029733199611298233175909014934565103103993530137069407341590451080288250213130005093606562189951074043429338564261387568783393349578060974476682714660504050325970934825372284492822728607886200770269101694567642056469255050691097368921169510589048055087969617376427452452400859366812684752413021552747650560239230050983911934350505407494367591510816255948134212881961760549383576018713721301309115309353881984772029991547465456329852483919360038522442832736331294340784520270249888762652261190357873636428777723120681367074535261518357497697412881784468771474808076884348147498079527506585022691519416152993418608310676945365290596505969107368078998077484542960776558875508778970306294615379228749731837798706707581402563779838485319097351388971986369562642075090341603148837713079246693146147003916894985294911534773153982709734441689846319930860124109426097084846594274667603539319025000731521950986748392568080033459048442468461760347854109991064416526415469310736702311631867539109726280997799759618071441648927120183421142748046877501714434141552697513856911522277369729854588655869144793667285838033146244986767641740630776179610155116532938226420095868448332431941264516572540493305225207604130210985104220747437784220312889650385947194518828899074865423350786673642068948688904782435845872809448541162179004272501235682950078963816782019314792234907322796256343899919369084680030901625480396372892043532167796264752811077644031347675844391752151367689803285324179652489521010983167685918558044752985134216215966056637590584973931231128966708837209569692325944873808971606239607127273173800963345249667807721027193766646669221552879495048441521285010561348819757033336225284460370915865953961412542942959372300127475500877461223888755713348204072250300452331143746842548729035008174974409227206682660387960051990415905918608624119922319155723665103693043480807912185317541181048657030072527185726760956711929868677735973616980502263083325897340932785085380410534162180159330727245948253942284930934441673612644964309609377426352833949198891901113471742811194427239190612999558203369663730008910212858169438859354145092191725680908975882153055829765616391958803948700553083201889430485898623221714257266584090444911676253001115719642618099223165932475401825431965792825618075913497410170917255608517374871600170659844966144000060137829613965781458850675015683576604159564336309540293220612221886436783586369989240677452436201750954763781772042564732005880824203493562636902591555112814246510643604270176669571359571202128788876571134949301249068246391045925231560365666964641575381672205959603423219717107546417764828712581581541139789553374011060150725083864182766009830294733172648254779470601432766484091252625136363408638265896978568809888554157367347831535210127299239280445143636194043328439252339400941256999451616349637110201841355515897813606241554961779351982015552123073597980565207585730704074224420507876443225490202650645722960972531786229514710322450256697470940804125619049187689582709136589743902611032215450267673252207326820358904654767389654306888396637534347801, 4144050040321406622336627036016958376233297043559944578917342999239775864689453393104861422662173973984654862052269926870743848097609770618513109298162368727049733914344092780244070482396391225080678692515581399427002953732057816251170195955833346351929012043170767274054012086755555810500599635737776808420293133758130030531087948288432304770930999506280597806244623171845350308546081344197228807771612549569345256042165790723931014937335402904988289866827320839768074807226968637771371586908041486146307289734670195299007344371437435645109250438079185901669932904110329014328866329717116431498492443722223389737645956064984634455093844334565009260173834935977736241017744182088602575244107452597704978191590226410211349979041915554264283694171065288782065269930795221764328036191820522517370985680939237960534316669585408411076900671509042871236086509572222401521183010664966262217422967176575481758862829569812558625796896082708312602842889093396628903260608527657005506197546762063750737169022386496659629707434602879602644919809099209252110662172160321526445967966279905839985945451157529478536272522965336936240723683533782999277357891245682011091500743004497158743025411780533621192430325138638621567182530963819487482406563003858584339827802489238929882441854470819655754191825194899190238958283322130730002923617112489429468136691066253631087743598195842144199841733997312068788860452436868300027961952605085133473265863652827704435516337926849722479601116845306088028726160187897285505534562096308758449983836159989533172884770110708929456900724445922163922337654839075672492797971982357479116037657586027588988561688172553405584259620638960323627208233823700575402557385373511285178000759811716051557037756968274773305027393869044505482920600618477447780930972151907191383034524809466782258929698478301494545689410379528912965614930145374420436046244669905967229876720602904761706459660348746391475254604109254344646942388645836775667570895078881987732635121823726963014192924815388336980514182068864787217467501460673636101019970270512841480264535116959217696572425004591806965205388836010811594735872386278860254312690766400087211782997437847013712510053937712406522000178504489512325969136325250326480197786493887065889841984150115905548011600441341991188383801441624708153129553185315899680805870253737396052003286548272838651573429745349790047200099157429050146576170368643458610120131895109884383797825151886269294725494366650690447237231676998805828324906499822092530781034021132981012888101212731974116553080473305071382985337369745010910995549441366260578357035145222822735181206577920097645639920937863187289514159800960055973173841759550543489333026304219147422761233178783608161530051364922188386784777040935961014439000748163069999693805840411165800044798265929311639209035062782355025487591881861745240871243644343747774171726025870977305194311693628488171704691546928420067263091518067817565608775327085846865674070628268406945215209322911125737933861449660039196012806739987741240845622549765639643039112932986394631208656983288216973478993202290200750185343994941579746745918230987320721944132795856659294074180776760081750940714573879675832476067804175977025124472871777579147644287300133842031399464861841650200717782467252014032007900741475056258356081394476686745327932513073852120471735327843368800128081948750638845147792795738556735008797174396248914618848494863622837776207396408203813221419061120945025509800788353850195744227454157108491075687490130373644506200237270227327754019754738857779359274721123175223633111545955801859373263196134726415569537540441963441782008324311129824837803908334325170916086837567126375093701157225238034497832795582661962047614349838473093798272586292674718799455462928173227054094836634605199229225117509609653635398814998869732621578720663365803183991418343102568987356348262075210975575540680879356798617567483473045702692130050656732696751939227218333583430159854801932549118891983346960016489977253951144753078288992539925182050462399419781363169631266712858819713474456017473363479081450854746329274923636828439061318999730574958013995615733451250325047498605788000716623777715591789688922753536626738928508319507857409499384462727564069370482694050513138106254277320844279490846541675151580740146653874580150477745634203249465243927007082755730160493981926765942844506322218870105946481012835357237886224908061120470163968120727531003333243065408374859770999100084935202214170637191485371783229743322111295349414202977924941626922482320267969909826323494732638460038561055952807189172943690210267539166066851092680330215513783680699837661082122952275355338224674519366613534174289474427444796517389290962381216505156677885434281627137614550495331732036668412004518978508350176303666765476628905893380310235925183648378109932191804710269441078355320038838941393570542921754283875667559424167434032702273476259735933548173389469187343081841137277700099662952432005650920071591375099325247923392026744163276103079785550254485991084821839774980942235406555062514775167052615296674231267814302616985689270491541329806904391420400521975327179977823625683671270093782093630904687314276554425408447529725401082703994900707346173439251747379344291955147486076913697365993760780919019521223209473819202637893635939225517660144627331553365584496668520494633325399008595121287815327296509669493894392853164747335890617818431218193607090233268660334636736912839035174151336047324288975349908642560975614026251159092055571498197129780570838342254651061733929747459346929554570920624361215954826966750617149873901944100753128262050789633823421516610080541313791832501275228889213590203475278145028961834040909291383521484183664920494540861484310825282588406827523603082480982049297280577662551837866576365017796362829227094729475350903107620981731552181403637803666559921325725684342752928744070949316723056236023517646705670192309599132495146026204089615518249966043468635437795043886514570878298597900152919625666442220247672007692099625633012946853299896425009559258158923433821380562266064595174004867188368231841860102907980224667564558008028082749614545225624036733078438748130475521635703139597418084498196597125407045438116588976831641837370992239695097471641260958419852569349739489784289281023212004010866753953630546701934939751831032408690446782054201864537925077905382850669696109972317713821781338317627188622497944124243422867219548849467500138388020369557155425732076170049522186503871676170597706359761492217251604286146134604754863584941940476254922235561425833096656890988481897054281712099090283703362976526051419416950856482354418730969640918241296832987125209862642835390279123941268577495959819121342727775219718900650581601550525728666627196553522298771761228885105062552907159501911953903133387907232595237801377826770360282816658799303590319943097442042186047154496724458825692338783230259980958366999591177801128435560483961460322427016944392605831019370856817279905546040072608676532859575057004954034896799188433700185168091008662921540622793700054126468344860966515088350035081686000619191078552313377976994896982308552250998143391666911064337866608958033507865179402412538005510735089970973344798531055804505869443571776169622168473497776430726408155958297057578330372249959094498795430822764356758310421687424201482840284380715840430228785922266360756294639041413639777401742325429154813806226690365261066293050786107242516134560517331647025362107536242451541097327421881442132463119623745059306213591865242691019023605457152570770124469130420009185611283962365474852763016704393612169104678893711128559265091530326677180564137122376829852310480540454373408639142593331675307379311077619608231111662181808982837080845345846653468229336459127534301046708113572597569542545177373969326558334726935469040938553108692097773047670887344437423435002349210814906480728876440633411216834058692524949881088755267121136101618289387592818783830409679978711992770170944665048949234442754762577430622073767689423240454546909547226354204498365412805591753637356069933292333435811075991314093034614099610224990193952269690414440841709033169615884154256865979422025320121504080786872971589438020664949094142152799286400778629404556256670843912126975211272492416036495212582348782543042303461571366347707025566901502780814280388813485241918640980222921871639355605375398932947298003522276112892155275338146449650883328643052251025688691922414274049417673297843413868901369976379136353478099699377756413491073360458562002009180166410373236421602217104435874360586420889370647842874618600361955661455947109711486936498059905604888395177280175320051099033430550061432608807457213553672807556562472656888407214008938904823565318924781941316482692079161951164397082621777971760382104313958274460182856908947838136171208921288361319653665884017424048618356194933309717792356309370017071178643149613840509219170420860629107903540666561807255458192415434910219250190680490753438902751827418476758908627692429463377144071025504449662970209010289418055532081650019248471423173700175224010447977825292614891411779970699231884142421182045336388271616769318508478789543255847056115346660421192720315838358353947240129506147093815720777839575744467575323052674606678686800450183951286121390057119126548867848154824370776212696181225060322252301939373214895599021212221365166470500544874978818772771221440868943804244941252853704729503198252343461137781160651387710901303073180125441648878594478330149308878323560885205433983235446943072372179308774297301867338097760515508863587505018237795659357733289201095374124307750671668874498275519571915862231973923122070924554444478417429091246037744563979968337312500934756987062920608152631750504133317212710416730619685925156411227784911505369342792540591211028487543685533388591890493743782963011811584636817894586160996137620406807485062677389170584701552283415620851549383666594237875994836601958524191091923780196427490241293055658676626477374787512192025607045458800777940054981900210269535618326931388735230296585707779225595900489191772475630303138806022594186672208424901938511418107115669283450384621369145554521861672649501481101768097321919118404673653859431494683463988745092314903066978228363214089290686775728485445912698191519574873783516357747249259794053866712421503027805280733511304955213496327497706685095097510046949869178601969523799715536798356722447081861227010695894824579768851438578782405612275033358193619586085223452997592150481179664792383163462275565731170117176881471860992213596088091049401036972127546821040835319820880310670543478959827391546365800163627941838203963869305351734959305652387545922270840654566322617031073438375813036205064612085445547254482393839390981803344118792262350205285636804967159071480078128907261378460150273597701414699522743853057233112026317287397705963535901754410028882628031366412715508469399379642225729603638984642443521478197580983193873327773460373118735675769539872821299119476229722150629338615453195154667295735070426649827586852082057723698682206646669257021306394883709932602180168213967523369715998171307387914334915111357737275169628239905911577051539163108415668820857291441008575322324659746162770091173843343031844737077017619994872656183936772601305112766596614439606655901847470333468480450112692991913775167937, 6482850703989465147055520684779048124721337689367054351236501458472547980342433065488399245279025498449943802949867926937900224576123771045401413174285500684275733691254742452771317556697438521934661479938912224570665338819813733183167384239822575420864390145211114707309061545235671588875051461925743891729191030512936190255203449870829414116849875069229281560210729560361133254780199286847599013979630168815505306243812213742239974764602140456969514378019347256947508890838294681931875538918541018552884505094398240762899066247131934211748676798805277774780522040245356184185098011474116504727085500290518194436986244896263130795365344554868223266936688593641001184652854740817513300048045447596765694231391528363797252700465073668083347050879752521614016099841619921016998956534087188211487979852441897679667957043281530863705921835172668466863499875369697801129797900960720152599955221195323837142652610657703113637828307758856620580502845414042331314027610217729069813765863105431635247856174266079311740521368386317373209161928265660924024049406721181143182404325418163761291428318940999157808928503519388242928564847000216706974893798839232263395151636402157685380878806761697289517313118866546798554369045015022053292039390987222269863603231679224843260926110221877567570561927197006248323332681678620795871646778916464160388254805287011784599067365301301219876607955109300014594205102843875020574003017729275279604049701655721775183529743429326491222374699841843827368052989612524507363117026089617697034383131266902385279045624564776088643429880736987833101444404824203805969727794937512245851219534447097789710216974963543009041802268851819159252440430163468277813480587912871202980810381851528438296020679624996906840497028045917538632646914532534762067579981326788028580549531251046180982660055553405102872461071035612349555935689528551709897483417503514228041168155117830076964985152952126114560514130424807015933410085023677040940958653670246521420136520775457031281684393313430305513455535542692620249978054956428524007000865081251576539383186082370479192863557160851699416071785832692750133891974612298451352448375932878778235964398290953732491249859969624925934656280952068954432082651059777165514565844999147019282686998033666916902975184223686349726329131553890422951856515384502988114776984536119640039344871077749377135092382182552590166904197390023426504770067059795266091285281462496147281586835505624722084703875946543587059376863232811745478240493766365430446931036743739925518436161330512817082380269349545817697607165952497802092136392422369100992344420127304174692961426977153930989915767571129978078137844564654704578545236293561835622279396911034674420765515371552323299438609112623097468362744795623784637520020707791718547286237893326343880034296573075892725521903487479597523478282931626181337601994209420245615613556558501260685484456541758033963717488962209120036152385806885355230034319199992314283454994607735088725887146852785863041341216369287951659653611137835975615695473132342592318087556818165308953048431250206734102849663682054347966146842172213055507664522985272452012841390749703099246977253014852798562147338452678892952052912201924574504842582127370890648043485684490993102859193405019297551432713389804082401324982654428373891783113896775432204368118171784325782715313623720022819351608854566805760773387962135977606703154503318621688860294583479466933712743478670617844990130951441761099929939984479609406226082907689989334781799774549155965857711550389679241375696149568675265463261044655702842439288723875591110265848455379457746027893828862459378219414995911637570255413857542043116243217529841707475396856378487741647083664405061063541391119758138527893531182038614333368157145301221939660400964912104324980944424673857951843388144576492425792828707114615461841734215964893180853341486861309938426547866514481033855629765713458362900506369475913994697283336656441258395534260911975279752064381161804842993556870748143685457310999235795061588648132505547270158151424367483555585087515204558603241548289323004233332538148665585757982255046853523151006882147897872966489112719011483598729277292889945978411767835346462924361812158815339477945268966865819368596350916518762053478920763451208343292874430095394606815728920931665822817638341663968148281495192045698200446079399681119142637923515079108928736912818264402578478186759777391151129113772088864359552293446415429572783232745077901085003941067520918585165235953234364152800571536693015185972496118973336639693501524657740713436313376084947996868017214240493536531238896687868406119273150167616480266417804332312638869488107874373760549575700891070877142178520858005542631814901843144123785339698551574062895012402345235858667346320618129821762919849406004164009857910585582737653080125779975875450076365619596355738922970171608568003828146782466465003455124437062756920281959828795124611102624317602730748707260103945072097377639556690995870524297371126352453870530130133177325906594837976805069219032448892380506761056666589748793453794638957896400858899358058195668159967285059675777311278554624395543168107616190504626857067960061986940951497471515352616126802321956791887132519725480728353078629059415316733503195212641994871252760050630338746315859434748851250368538982696630175254092825102476725509265557753384382936220146054217658953831703665004383115635907187357929333482305051927214282476979796756735876775317691171831053038781386688878372487475484490180419161718829179179908718048041243822135409347242476384390483607639371614302876582451832106951808606567362072696882951562319062132732875033943369985525045396020750775756145406004775292464810247371395080779866759093139933653585368482803948706173865326191909754232354487011046412863733357552978086175904057696855666460427343569028264533842709556263174830714396393978076717322646893355383940221785641081634280724829151937372104962660710203408816792291075904687651495852195265433044138192952925986724326586596920011640647177957185309676044929043219913780439090461839121135913232779517171148763196988509758840889413458574379490527496782373467336573575164914972320624659045451590554007489680796951924678053416704307267662631167343782893892211224955088507617039360783111888067938301613465468273666773373385191257105390293336015317528942820513821149670463762406168127457711251228463537624537728848020465140414370077690017576908450297266033376444230416061227356092882835914300012155308008472350429917319562555702602142882843941424429512444734248431348781313723230163554023809991814449673286858438228533252929698908067727032105596068202276700578970734516099481008845959744681626078532713146039118962413717268155924901958469901310726016724677031561609178042734136970932497677343814340549608906927348874849048459714839485728966984949093812999224490457057171650564871454388822321190348360215588283706986060089010283060263810850602399300574711138706952178756921954305762455343543222654941326315992021330353857556955625904847783792636907321397819190633130580126695154462313040624536846761054971505643813823404050784242273493313462136195487885972146559969234002228329816398001376654494146037362779435438911222154195971479643667691726479311769123581442425181955333962878027411174032089677811413385715037922910437980147388371343268592760682098176364177829923251330098366558398803873275913615461476653514852715277755937600852203993531592354662996297670240689231517526171800817719411509939798739575344974729312511624962948635417916495152859238118466082970153282668111672288946876313107274496644224126661689621140749294807289193868989930025406521658810419525658507264206590587579028209722669655183850148525476170403371311959926435530856647777491157889461981898049305476333370006088445393406375395246242839401611175986402268687083536940760234448952958121304696707971102903689298357083310968692647594808046690120662882743143064222963934025187762350482391145928001054596260056934910255300386854191964530525191846876616183745751268885693995383324290437069319230317075051528274823695182631475419829749748511823986761137416801097686701074614966022089127975714667538949562494129581099925325079745373514947639672237121417462167954226381935077482307484880310152148993076992282349591357961289883311014242306655737593526152417163298620556628947302794569085617094898321699257259524386799895831872549125590740721596580074739401692110205801053437266529728571579965643678862564226902397542541664318881734592900372026877648842156359437119694071964697455305309230096963378399139997703259823463650979485023240063297382525082288784298747355727179236207053371947286909802016050234145784845113276130093858578267182064999494373271307319328946307128956098997666955988691204474930609330134183618499911615280242363934461802046586968505699670720289850265484924154845138781282890719433872513067072532946172489819895252679456353902987650816712080184951416575050525682831134183084228398138785825060639387768565865446202138939455265894937721213005910704589768542696690542588907951795579815321100944338691837013786127671531513608209351496085314167743994759744917911496867813167835839862626155114744934798392580268419412931047418020470305136987705013311939610696778349160743058850255039051563070624965616451648112961722178708734696537250306560509907454973890661440838296114419478485995360278546185459137818506795697010090381311738862791045451880333781381088773854789227162781504456915404863705066942302459227559884934557172165005305004414159841729985988473810023649934535575066888221795525693547431571448498614845848055408927907576723387840305518914745450844677924377915921208030252331539638604496721511228571733144346364540087316210637743773756859725636869820133923959728680633004251516669891448335905963925486756309267174851633362853137009661712139025658724632054439068466006467270987242937661635161750196814834656320029980270650594535464497802013890815687720002467773307974387745514334186610470807440837044087622225286728227383920514818788012147362728393654378477690543341803367454158137314887000398021333915274753583005942701454098797157074065383884881218535760782338285192757516539090428250855428055218348462836246540591873505788495175488552951406967083001118603169220056222832329431136489453010620494768422268933551202053734043647602922227896091819178349196038842781165072714438266782544406371231778689941831864023328168498130949188153681717711788684352413561448998482848458314229012800669993471078966599625671689039549133111970733915191522174175632395326470154201529099713256767792242033541697407393435500605911620274382186103013661336870359927973688903802953570841579388295653813901996111555813791872686285758538266854243870220547886879649642878310899666675297651914959294631434375746295846719311110388740534041404655251177515102321647448515014412328462590504894756418318242809265898824158419201542815419926741331864986660029993139645058977322858866186713856130507252204378486407582454713675457328821468437690846591721862597581487289225301428511240338105711875365177713186460273731469327706506817816887330561418067441903649259615722193277092281394869600883838628762352761838664174149480710858163227014447874728534510323079927935128161236841626810666089304319880831929760139430087947196824103697636365486714206871084119420684145023109754021094799231224178372852918505098773796)}