# golden precision oracle table
# generated by scripts/gen_golden_precision.py
# each line: <input_raw>\t<expected_raw>
# input_raw is the storage integer of x at the tier scale.
# expected_raw is the half-to-even rounding of f(x) at the tier scale,
# computed by mpmath at max(700, 2*SCALE + 64)-digit precision.
17724099324540876884476477827852627807701782693452221091185309422647426984360039413991738804351807246939961420803186344390238948740946988544663153022956664775352781279356518353776871762563693773029393038700258237537804864475352529933158680889331771707083941764646104816964432426764743542716246541862122427673130992	42099999197792007659263477522922513893947840908376342240434851449659734195436982122643208928062935806591544228696670317247288603212384791699311770806554846562266470973581610561010942899496411855007616327115825581488560784020466934678782284491428444794442837864743532037234066955500335634047904098023932251017276
13764102947739879327930816679657257577806046767566893322567059939322664662403495006630229203525959439182189366202111175856830451155092033406398462234877497535098629417034280424391396463569684298555517100579063640610395171442547452376691819431243001707122509063394233096061282850953224058233379790795274980094069707	37100003972695042459395974211640746846978924347083400962960217251801879117288249031395909503398887624349868967463971465083231686699389392813556891971331982049826347874327419913256435473013730271312437836349013264936681385817248664174124835574083713411721883232916233230629609219167137537106968266630863890457981
6502507584832121414039094023434287467104962760543713650552324937615448231338637673323580781253864750502470340810004313757865484194156268030165161121526915680936174347464108882440591118428925188171411493879859175802676219464336730160866412544230701987040092155137132841059884648749374862393455593755379382933686636	25500014872215508992348303721758820891843807248128586877521414805868748177217908420801312993093560612142612958641965790710104988559149849495878121092118670720284444137653479897779099737731642828852545686247445006319704765668514929708329476133005209491612283385584845216889384011672980068124244512924564936854283
18922506386931984482694133841926209477290403290122096936021944787654626913403104562740711771648933183636162563072379132381817884280139427166861708302407942458304338504345021362876349655725874325521020269055154039975689597840827377195649428343729455960078720938173833015857664300745458164391740646426929891537153337	43500007341300512110071313524106853718816174376797831771514201330259223665569131056658405315328017716341986059362312636083839876765096162995344754797422774635930285553812548207772328120552099967985479104709059720044791976947451736927092608201472229471324273069807802866599148014192211777243266988477636574902627
30360104808155179827300379131280450330297095121421737806872376479683746296347696435647810245171724561264391367519500691512245939159000266120078151478725475806066834920698248443413436715243762137509871232428941395368935213168059874577952711143964278629749212943308425680423248938896339508592685542255203691634750184	55100004363117050326131062309705516610627946489175522132355201102194133472633835704385843530152207080276264503947199533090376807908470384053829627893895991354180282196830707378907468805981420040984977952175221410811148038579648681637818189111538748854029722359906159809155099850829389963228113074105281025021991
55353602758568322902977214920022804685398952356673142215287633428241564877491102455349456928602559164160083671380288217467295854856893440791722634326099802994648015911249673363559220869949615548143840818464550416413383498786056225005768371987311399214903703954272273607666489236811693641670975527147073490266771718	74400001853876537993545049523321229528438214582272306062010079031912853037485262111606658381869784141794718919582533172852617225517896160549524196659752145607880858454345427249153198848206429682476785244430059513808462403157878829824434148584364660226504587069308071978114293352133557122425942217149955771251164
348091825085613381116580419285618262950457905375144206944781309171760682681525334272988589861467397110314971440029482941971472167646956953465114334827693345272773899266636093948667588102549750592459242915017384025656036616570026359688043047709263114460065983607367869338504162975154621377957116802658908600390810	5899930720657772106112576334199908360463616597514403591698198054352983246746367186418326225673150288934769648432517577939553394568291413874080681871882966661056921229208519043239711428230010519916287818342305601002975400388173148745094283924830752885151509517900353652849380217981427281126158913829234478573430
56851594845974147306505925844181628537564027476351833489580236028454381969256428506551247955041568510383950777402031631953811370772670831681192879212539770817597868207199973254162257240300343693461857625092023268880087693241542184353296883997193812074176880593430609698070112538689118198180509325328842511737548537	75399996582210895552839722192946261224678536085157161786123611111168961531811234560902972373542754201095759481258222405003563813675924299196075645935233417551079801027714513982452846274865182273458120986491143833259358171730491845006401383523200991861799920814037912056075286131714205059894437755378997485150985
4708904921742203223658930410070771112824944445936764666558281595692370957834440493469995646855542406943911968144656805081318067760827954232134792077361766661114454641613451977065553072696123112383838594430350329850111670819896783377705160388500383346851003931238226843614956208810734480972336437591758503426670104	21700011340416859845883363231366108814607240741601526668628751615952292858668870443535213020804845868361637927940216088439129607569495872500266088165189772538370395664158509196300110765593755195689952144340846253759954874977581641289258373467929522186718612293086391886306320287997689002519071827938734581696906
15681597707717830562934281323559079328269328664534514438889885258792688035856602587258780263333930605203426504622314291430890848589777650207494825578069302853966184690185042501854943244971051757838606873055243196342945602701663084634698344572575582464690414946647444918036902627152952916431694957106324298233583822	39599997105704225749310597057553949800154286439428846606195221604464139224313725907072100617483371653845163166368232637890187840183973193106666494538852556131995860469333561981141455126829071540466393717306769294490683258697169330473943749992519502323695512559802893629886431164927963243549222473422070124075968
97022494869365771652511702179282321268904630534551853586525143563862980599209742742114156397805589045727045369092232302214640078027650146343654400297227883534919725935517958790509382753890195430624451508060328070535487257101422084915809286380512341010506331075036161037104707489002269206959621568484542888616435850	98499997395617108540309263400959247797545003262932979964294566703210426421275459508617349943932081649559449072410106866579228627929308242288163429765297771851628300150010411731290171246499081676442279707025656723435430107203776117511225550912710166725264284238924209372864985649078117970542591582344038169187567
33177599461842283005458931017142984808258640697300555161960005075089687645011307086593190822367645880812470181343434296189097383327249557294449293303783426845689430274394072004809356838539518096291676748871091635030254627504513862890633091289360364141256244605458668082394880356551813802896576356001138579413502818	57599999532849202103437718110412496417387171553385544271385288737499430748580717106024968847976264133427622041164857005746496583074645509479587170073696469204516218624278598990201949006122928426767447062862470141483104744778472373401772328677417408373229612870695367885928822068857570023703412577485135505414692
217625655108933989788988059456043361504727812488887082247754853164300080948720019236322330972103513714697214540513111894046526650376338071217335693173076339647437873427741028175079908952642994117789293880620861910104530736468063101940458921408754767240829447798918580056151798333740314814359352359720681876114033423438569363550629934703703544159624106153681499764780052198587936388207250142695991936392856569277862140706011540996669585206068435621120381254052683074022972981530436765389507131030130982294260810750407287747616799903395631503068775570299431707540089226620917598129124121426070152965523909801299180001	147521406958086591382436015281705689174589546181397825592697505624081537875604286347577829987376434384839948247506097792990436408471444835904808273862976242177167569566890974176096768189830609485666015694631007352682990095066798027274204367817997365288214375577382617115219599165976116637448221528183419820676446600973982683009722991756377787704967049350535115197581212940035799015803653476983494568657867138943701344083377817823147485645988845192050452404016298
972687678356055708061485800159311952189643542128780312030648040662158625549372419232586086914515217679180069307818711960724272407763032607968655321073777960592121934697000874342739270128838532507338764438343733751182152696033273783988972401516539542329127270581333300636543845729346279443390348947289607287018784883043837114529635238416634038216434635128086872410313521753995995348491270345837625246323959556553355055840501277669026098471142663929157270206970172436919167234210875410552357820791853240408267847219090082551785904724548064019879927654737528746287604263511716132641648666959523002970220906959222622517	311879412330480016899819502105875157131510025094514848047375630555597050982148394085069535688352403658803117291034528047728491910775613459816072479587911957517160824621762036399577623541122668691104967428071943285700055566170663451013549391065786656530380849099748274161512454802389416816918785146694753988675944886187114390015410031294754643363542551520424785690605600407516874704455382662061201717592039447446843907190735064655398293357439008573751565495464658
633423682084668891445285825728187143765101178346491798576425672449870726716888165696717210215873769616131436112047717840179876775224869189495997086845128974603007458131023711569789565836576421764597798503614685718563703142932950934741313007823834069897035058767785291312174109974911640215778006475528403926509038754628039647241256886284147375984365544607027989806268150058050453909262517983391893652698256346233682172703668735458345059543930325136585243797535535605625531712889989754561608190719746160135275584209616921624856287167161413187542122173693350157144548614538365260368824546076598494828618484992252527555	251679097678903182181273981201860846314437539097073573637891177217064405251292927304097764965875950885793642652685560229998635920641701127014861229784288303838559840912157662658659197684725460507371068571305098154408286444682575623021628141419791580087461712543745578613300975595703703134977125715850364340126340896077683018544512267574099619437725506846136658579764699091480154008630481999881592414108080466975771162710238060157867985499525277022994434799875787
60580148557779958942744842463034725150446871361067751868199133186618785942359876639208495409488937899615723706164044314131342026031513536627098204868258291454537804661366417606311649282366324228026163950232932027525927387637193117348860056577459742689998299732936189829432895300959195523579079060432074645058377677280361685485768230039285679783763407057929259527936779455261097698519592777522050478840787038922302261524312876083490825950563739356628507445936988209013615609151487714698676970080697942663002087663201438215232958302606365703601126226638283166301736283401449361569067825724014978815195761446455883840	77833250322583830112542883640510601923845401737602054845503782061419146912661302992762293598145326856137194933703525294944846211965904944508022737879083915806326001483976835949546510002436461660093806337721673318839557820206247229960320808671987588990934677561619346715260206265869939950066550706878547435051521421764683383892174022695239916464856035027330331230141094922911617830563775557443539442413786483713809096420975878092462632847864640244888911673292780
472961065659169861920516796050489992769101450089113341523551494342948735596809404260399453064007705644984062745289287577263120842671559124839285505345581813529910157905362805532587537556366855765689495163295754798162900408482930028267877189386889867971981220276721242278497463606463352080019694796169345003800846569271399953965010277150522743499427770413990685276604476232163249855834137965080016716788138456046428635255710787840890031721932516983154837834049909945176531080262550077503178336980386223026651062112794138093421623832854658424522056427283253086454287451894706456945790988714728248952832993624033291915	217476680510617014043349256054725196061160641687615399996544965349338090625277731386141798273842153172863476633705694363800075096012505213100313750801245802414986814848582558418040671017656122732720972211455694401059187767371068600069143961500344481014732378860029748507015836122251150012287607790984855297425131692358911306898525432169577019712972340968760104742706054669956017108082222255601772904913728074816762843054284707155370539980145350308629048699667010
64916876222849602654988718957483787449124586176164427826256871771673429655817673872017109552425389096768204945403338763093585473628563891492020206008498270605790882860233352958225492684077066358307397656763740945032470393508884631187268661045250519100619057739403541481720233308328428604791030317548242797952159468485740346882552324129856944827584296259473286463044544923706213736257348280085617793139976578164715725759491439975845554828386727857270313504056003639167041395273393643831059424028474967976106138104178141575715353661159069803838694735853714516291746968807562692313842778229755772409463918004629059659	80571009812990182390205857003033145507263442252409393439618084997463847896532406986466844671433496377694862606925360073533605102039628107668989901667062107380316878473583177631933829643357773697791179046603010890579259737924514837245371883128821487939840816780489366972324057167678264755040277725523905599174641058213489041171235542305701253611745840633958065980083181776883316057837813414965137934961784470939376761528957065624818741340679817767445842911568310
282163641804313071700064406955352788957408720164783291827289734851962574390158544503679134063114089229460826674229593826126324578011871599097136525733814853578304350249918955932065484989105535283527537609392502023443117726994864229962988142392594702780658380953287632141318352184680876001485940069325526470706127538273025784288442302310275686527002606562551675265983757481413963742294068177033987064393746583675295467013086838032556001130486081757904534331354060401060597863210655440388889306389017142134026821984261946114590702414864608329009911946573288312370603712100136558114884507047410057825057292066236789088	167977272809244367640194782238624957747538961834372669062363183199305931264223368025817209404416091459909474669157800467957794823374725386995711298255482229704502881108994592356804449472131035857673943041217852840144412242322894950134353321782462143820146916942596532742025322007949637053510769832346760139525910444613023085475775357827540518573311322301209468224102939214303570785136578979193465673059186078224653717371620102747061477099718312138791154445504803
31050857031626248931784127686585191513213162314280701826547941537579005118614169594111416597441610133765728804971262004812778143545507856991902231533478346496187175287969211826015110822610874939856117505202660804343157530363014724333094853027967763840871490861556863649836301024929477832520903699934994263768802588279751422556534395847528351200068026702667513288470658451281526616363901504142545522098460401293794346477520527021440000476321020601185825389206848527720910478669274694358380776475203305861349739989908485400333902856897095003531206872072433712727021408355701692039362811803359610299267510234607558693	55723295874908771347001775368257426148173128283805299581866232748795905389798207500259823367252615478528044591639339862862479815198200689517725224426023333670262703397589533956979133189118774536226978195512758534128448373255288036734869314329739244069285372463797325046699609407144255369148497667083057458590667814520988618753114866352806969950225003104761689696223812403958822716764714038735014041314998839542708827926080576784013085398912268275069170629542719
87005084981301489978676645647311672516080838293474934716516734945510401324357547701765034003984506539986505802078914154829490187461447819003961408013230115868361919190460808321136227523679827028547792119134556255136411971102549588354349162953073809666873881030237752727354366075749911064238093007340349557528277555708857406901265365511356064758291764741823170413401041406884645324730228442909310366396709072361247648191990924608159598673812353925107557450954585047726059897347560972582285611721019175296825711222536475796085416880674269931524052509326724864844440074688830728244741422477709928823290854617259711719	93276516327155727443962393306708405407601375583420860354860016029884058763522270772167442601736038499772841543741448440343768931284268897133160800279531723719925356307225255312320645566694469100327856472015197588926658587322656922648148019603075628636294762592538058333433500770362897303349596312587945617285066926322702598216873440612283528518841401187321439917500148980349592936240674508482143353790983664420362317483661320635453078269409822488117216612404439
112983787522991414665105616900450760295050863098142935737269637569336258708425678860479946163972482229665806499799781912372898777921468480177544433007777543610609906745490427931786747250392153045607361047902173475458750650116455637548649561157522925482100425991774349240766874214373374805991906598754681634101622904885236260221226009204635874700839628521051073395942656633119175600906692703386715374113642399172681865546665274122541757720114600173270447209130618498292412375031189981366810768629251732283663013593465849482827243567788639869699032953049184466235998287809182851631950490258935703772217458252283548715	106293832146080524433304098356976726378080179509534396653736253270113807164528174399353237403461236170361582721928257958241334922348765932561269229969403988395494391805632251371970169275833886519262077727703738645562944461960620717843291120325015586097029312870084276031071725148158782042426765867444390531106597478534049345125292896250354061260144576131412057887021547809199369361761740485112957002794435941546617896712753558389328940116763290502456543518913426
433558130363709438009790980014497743808127162426953328415214726913975287573006042579408685526026383822824333848560452913342387499976852820714815278012568724243167707491257549890135351999981499414311047519540782048275498976055997108700300185263459377401041447508927084939165124964840526154603238871053123074815959353752896443882761339657657502603557801392054804064202610999656919503418994640367035723530853609768641506798869716783634073599517230331195355385094982734899504786610735197060868649873203697302304719218311466180551741250602279655734243108841327431703759596217334382033369437694873297692126397763708638850	208220587446032684083332122031882030635320229620413662250663305253547555030085965650450014299791944876127336894274696555781328761585905994819173662172583652976063388476549422100946233302887937393151951386724901891896134056763768206923187640116132889219364572088975558659018282255797420945598136125663710040654113332467641332276996721626913738866665648839368702576482795588121097006417967191112505826392273803852515477091608844453875040344876833202300500484034984
926952990922408710926582555931160655332177091124571076056650078718505742675456940528179944110564735298658771136961164778750054244413092575706926020374057195244968002648574764536507611629733655834842480907350619604898667585358493837591765655268762158863517910063202649023014317415260734956216914502061943318185789018262967799211853029196542916650244244432001407318004075509616721608730258878802816716017792220848758356287667848570967569117127491895869736237375574257682482150955501718053312359003257140328090386037411148316174998153289280846946904701194166623187206797476625492965226735920387251517228125195977925045	304459026951478104950890290557814940728851375981560840881547081376834504135957256699886616749655914338764566636006447413687398260452050863114827625892005845659346636141550440712280084094082448887985700249587951587962047244446932005464960088117917259971787659500462794140262155301193604796654398061484932368775301669971653097705401544538129341533442839739021187346173369051312183839075109232436819003713788171828262939845262627838363418948569351976390650124563201
116169203710755075362831660926885508712577734161516644806765319980423431653197471395169086142448928173650639933260825001589848521148140333586655018355369319719050382558650652666066314886457062151935443458334655860949950721154656121094262994205203682848936842209757768675826977503186713383194913829349608010925094586616162073119904500425108541087092820756597927781029878399820484366172578091243624583418789252057885285682048436572378189833448629460465570277030965866372725591850649641018602303135576861535310338241305146695213034819207764376899985031585586457074831987530852041296661003799471953976848797531097762497	107781818369683796758823721579224366576071187821921902943114238264389059143432105625299320601555483958810144089418424630806614327743746757532769933910227599023958442701394781449779264629300582100602831094956039748572107128596419499605856094788976055270732292856354461556927854631617571487056986549825868808195977281391872734191957980554351936901121640583779081914539074665203484903982388070299818683056692591441684955762755655935720119939318142763606171847475943
944309081184327534215303162762976341993220903834212879949352525626280104602415698151676677189282430027958751763604994718022111555780322812321361861330732207119836011504872791029623367703993446370217145951121110902158534988146105253991260080814280037718749717256088837931408083891613272739679472241343934632401923922080721485191449672376595410349305811649909031340143293084597196808187770621372666066552740257139933667081219415043902127120221789002926463456757659845258167811851306536672867482609901269607981290346530569779460419253926284181127452095028953497461438244887259971118327585183546791257801962981334457195	307296124476754105096092652880843813942026102685741317900456672417699450964659193288417555374553403452850889713796231835527148384265623226919436038232934222753743754400075887986905436999177574189795849052435051209252338818189811057144758736519046339813322067442702886899567152623908922625446174862864952504809376253733463686153064197020628514270067245529047829249817446169304076049317538717470742229573774170732621632939497904085939408157370293222917100055417146
17560755334523707834202344449972105970812341048048817728330275445902910431754725067087668906885386768986517641964691169546485284096769908335443973970794179255376364512481907452179110508773604826513389340720249515628057901426187103919800398815451670543892092426982608439645467043960140483081338355464620760472912303610473114477448300284032570986708634050287306668609804834108799231922641035109636629136232275109047164659952879177553031215396403285679602420273240685323509670052848683818007391885339298600590965759447699253385597663775687633494289092250077503832288257062898571593941905273890142458394416296181213862	41905554923570345000546374838153367469329794163080684082899341074718678529193891585280040817766898359299112443516656502996985061072619991112124814770165734182149118686985660781011889467436838251271754295704097248176110228083064791034821319598980761050010631014816885128638341112226660115573032152912346700074820152155988935450852077544297519910100666970944333217550131009658762841452989314054053185914098121066725703048058002081983465948005548763231684156830593
200186503559751078783035643421141155118151859557757680575021868895584463913498800644912717501972848153513337882080659875946239569701918511276496499406622126393231275853696537312658996142037002775810336308816058250826047476295835173857236130316400844955579591598041580148511696581465846336918088885366683431749243698571003513947290033420103199472987553600551725623186899811715867214029947349558519979540857177764508858153822525139547279245734261591703669657828360029574202172005894663768324653265259539305206448054095325402066436359141601891861336414992404759716340427212794700209340685920836820990438056552619954520	141487279838065682837640391656672041170506332775146166502991139461345262070608323880313635764636996545413088692395996758895502481016626084804244408786779868585773516362026154167133736631207144114313357013995554478783384150831717115268059686921939691556629089644004929694119325053296470772820699881740168975100150700272381699616720443478622450021280438291569422423148378558308022745202931642420929459911317948003186626378948671712644472074706510799447189528354000
209674528499881109647348642364933045504150454678519772543540787106205756860306377814033871238914772404068906003122188065459672060632291139412452757287945828556198754877960847484841947391513164195260664212372308816732340751936790394604320658296759238074776533658470151237668180171592167584842376214787118393650732824298676376769966462891554976000252316738708492060903423498009117969115111675235101117146880684263521887468228507210843405592205761588048490577374700176453532273170607123572006663458342724262249951927782796149014477899591120786591758286710346976016768391880003416006704259693091391858280037394039256221	144801425579957986008713652856696691442757549374029826019812739983929807743390127927014501720237333950659155616496346014576543581974996968612714306458310894241119146943470647253243001300098107763995112405212392773638002882900218547502264516238596395724447469562632776636639116870604743758139231005073398070258547030628733495176912181037778369399542789636203181687500686142276467542558206956487654990167382187210234870590248416728861394954221913759910008061158574
599578082206565988057716012238470663016243652206396735935829545405521065130457885414658010618727034507770824401413686008967825436311885585114070981393753503246253433782302933809384859015515321812243759546879807916326806658513728053676223432782423970332585606933890263947172728485836754290691921115349945564543395012840834170179430942189599975043764720006900219508094825667589186680660010705055528492024027965755238123045200392834703674740727902895343603205693397785499565348684205448178246792331460382030410170307683627821693713612286714296168094390572718348848080775184024789359143449068978912871753329693606670491	244862835523597984013410512789618268079236771018434274281049380602837785551829947224332509636421685013332178850064844380729755531872067982161923186207796155210275037189379100293748068231524857010704840985373854930439202512956863146642730060918785127491681657668718551942306442068648620547211727148499925195288716962455692605373042534044184626322203014693443878132476819946600916779747610761401795635778367411057726766146640028181198782401691252771815938576956549
819667968925235918198183368156388795705849294406087877320034769506571337735413358198001265106366949640959075860694392933716460826184496781934537685928903816994923805680553437597258845650761938388522998025790842391525876776278546644482256360943575794731846513174225478842115387227411908579490879018249767692107895644029892917496848165527870856605046314939314698211195697428744493740969076101918144633271458614048799530280207826320763492950681514334000941675144562875891759027117957919612713746331149903095765284736938547830357106285587411583631220716279700689010673575495084272784443766067857839663827213406629844524	286298440255135850119763200245353428697698796656378241373554550036689047030832733177143492825667642281437547275019765096533901953588310130523915076492203299211398892681196400927732293349603071219878241414374153968590990689005080573606313645026856129469770066971239311907100743436709222924060034678991717150798815353196301361878529729307485436610610499366152585824448642205196870246095109807586280547965399356738577392884143750867925198659015651133334554077955285
478709690400057691642934057519310448476642145540513563646821297047632206634885480379117492954638614876105128160708135829451401862771382356791068363677999725016345047184720316443737789035921436841562935299536625038232220052795496788568323117633517315560678590331911828935621873758285365519832714705481078704032414790073786066615414341112769103409252916804071897933710575357787923821823669364652530338256460968031533975624563543288813201444475597791033236613438959682129056538679660230717365064844721415756617665750699740514824314130023189788504577807908314913346017759975929674730133699829399433479356527130925496774	218794353309233666713207961823026719133727886018487372486445428340605592339899451998541721580441808875193700390769654094358468231757647998872306289330851188957141123999108076169371279692664619235158462449982296350998248767807010065452268506710685362254150862485733020562704654076126205156157240980517167402686170705726240109371960614922502558888276921463665680270893769208706040779852748902138317458403526466086363386823236424071586220630468115995428073377650576
556547990237493298160834865364334870290719010092557672708788525406224481794192523228349722374609723254660148713875776998074457561183353062720505628734252277111878792836188249185975765661559420055149195959091702753453464793116963172496418859071133774607213560371724343220582552208049948303854190026853261175401843221574315329430873844900886955923709008058749692445745120156083094964861857496093590108763158316879621382162794348976058971117747381045480207264750087883132049711496688205755766918559072263085326586958040513396536762094608184924431070524632599419484869554394890549562885473859414594721723899718306354575	235912693646928057401234394546754343855242445536390587968736204382394574468404370010890127225673842869042368406813025113530358659874290947450747323402043060510472826537730539297106830880963587058831996691147978187068896233271330569018147741412611419324613625930978904724751660481204914123652183349781441015993853867638770756478442142968004009735268731585510533280871715107705582934701449596365916185613023740754974981125513450646094959400730986570442042210486964
614604074988057320791204884132483117187620646856954860617403827417981222262830729508604327111008190640638713445010529578061864777650603542802703286899387554711954923429359620377437332349217548351940588289182210170847943323187067433481696026141251467380354722914483704450319453032726259846184676049860622935128196133697510858985537309140029000538994873932778565682554993462956591169080407254208827653523056828511649845098413977684098670083302110147148892268755546788540533363048767979329890741409656998825843579194203694463387690483753379771090786008562342825592039165217179987477965688200199967971652045405078583603	247912096314007502039190086707903807276514747854713044955232641293572745310259594578321911987163008879157324943855494860535178163230669594123823620648304240568549505935225772683063419593151607939797335899571892273090367707986464406412129866711986141191778624837053323801071205376733509925179805658018379222552210497086720129853511109284054948125351665782578054165459796088780492246579140913444850677812159513422078938535255640854000234861504755896827041339380697
59720509412864337120649696528920810150095322429997981889579211523923723737091615452074619466826607701761875148850841428036853262569311326119909207538413459225702744414415591921881416078376088516302686644665872847841192659168736871818556305586327263413061129799168019993322905217700424904025653813226800540669213209939290207777514373245915691309023559068029878041858757192422401099024486783814037507409827326404502437152286263258638944410638670348921185075432121450227559272059709610526144214725735422396294894136522188586940586283314611899527228963022204565379394453201846663901032169330864274948381630936749799203	77279045939287020367583883974485831981040359503972549005699938020092431834098846504448962514997285338283515052384322815272004437491472232432154663731367585146895327723982686317318586055490875845318393907768701734206055244409075977302655357231017329187456480016383129365175227206592495895614748178666067736529987198893126779941276332716077953464000568204218868952158125466398179726460848846421861512296771956986198302435826328130656563675047755584201799008103277
902804312030167382094145317661591757347731931856112803473961140271468247940208219826846193584705247165045055200978019826147876906888522334376121632621056083423667157698887240011654389313316541946141663866845863674978170400460268474660133742023213645504378878996952660392583365232222785067283478277751696972723504959595577510192540855043414786113818877054777411913959385737611786252296541723359999445346479275682817272318119564238964475999913169301890204365600745922607529411049311805202357117062951135327472009894445174317970059903434111021278684829177960165548429248132180044492296316515495425807968919762552124933	300467021822723064393381946368953215504682807753559423961919461980110161865214213741421674313024102128225493724412837626895692913845944056011656258556055527611143834514052640980962382001858219317563040847051945106654646588080744476027224767409470368174376975411053775738468508618707821036917063038503515785622994294882569551577814885328326232635156455391641177766417488148528938822717850455152295908451976461518661511476846618602988998804857480461228323010059726
44833524087401104314844523305942121206766572767997797851881713121921905808119007811396815046176428436299096734061954425818331329712619429527184758556870540705162800870818734087921075357922137915856411824607143100394050816335419738122113598894840916134358955734723922250259343827948402310839308073949413017191500508	66957840532234239845633956132204982840044307322620601378107788953779164090771230354385279868120761997048920047821423778769581224946254558448925970446956664180040214273574465689940750001495481787634834878043693234792808445043188345887242083055463900265870814850430701988534425189061834783696165699482980050034456
52468020378074853932563385574047983412940422427737043801033190975040624683267354415240095622024710123561044604297574959173008958045420904750184914615483980207203979662059068599015859901508389205695311150305243316224714949138558292767349719984221259954559775939053168710282655475990903059485544757040513717039299826	72434812333625089562948255954053922541079168700882450701447394657715050357303921187832293981064834857479645468833564518105229582952017310392686708080599319951065100607008956007542082939303186424376146220029391730082972911621297715937931417366722102210290281880683877528554023289437878991832767972351963103272147
5370156515800906002582360954312758298123871477356732358243714056017086959355484621233658026236693957097249842720621171429329882274421236035127705531410075212703273370899271713754226861223438287669191045370827315824754006755264146240933942997249604510726006723056486998523821064471488780102581949927875384755273625	23173598157819398078608114405391455329576715459748286472088963160691658521989330786155973236601846138360611649231070004591226803377572727228818375443086530397244013900368221927821031033142467762658928500976463881535976265133762684341437367229866644089560266940754765934409682775314183811432675652765807109483348
53732849445534225247307307677112893442125926805446494027446738502226641841340612188131891003691556499359696947527495804369198666789113631074901054010856482947118059391313931285322137814791937522004990879676969346499272516180259871560000272485123385724209627971897381307062419866631764528354515739722247395136002604	73302693978826061456093244637435489183534081335780740041972057068095170804856315449493833134443365036681843580170495024154238692384844047009055874152225629648635380605706128913104414978068431625320054730799301893990429735831928225931113113150800518862518704422332318704239126999847708254312245788496029062592919
94976058097236793908344782158943385084720445663174459411782520104571627524657577875082510036035981222731009537175259388529209833786343139773754015903181572659063881006625913084452010380823704601841377911822199008925886481703841233780274689944765978719977166120707460785324810796243331768649842848481172336666576051	97455660737197197409441228696002249017513598735113858989599136578830577765337934405484590510456463986255216660311127235374803285848741254652715106659193953340714943650361258931655299837051479204475145387591326913671846934166293435270484421528748179205431604021302043957019363998224497649387027583009997385383058
69099380203070524206741053209126506734951142338618440455556390403930119278479931329297591282019205732593491604427134357960341345891649713160444299310278245872136480884387515154016982912282013763484681422787289833593610747508927890082715472867796184246822640502642794217415523389864765025868970592990090439630211136	83126036957785088557102791829117253762335628851056769712475315113968920950419642976556307436227136152584651297560665825572217088709499006701669997887724047576188597591124322041175275326756004661831122437589824503429222017137811240939995622600392968698521478807668645866117079383412664436768837535312086167973121
34258528074852082239683990751362930928243451555941252792021504199135686583500855417635681341954307958963900031260486685684256884285675189343429649997366638701122133556549980932412126527773761999647111453710452075990718108266427446794007925879872838972748190827900230106152468982474145298366685553764750486727620567	58530785126164233130061260530162424101318498125150841751422465274065393167897720223924908225815846167373966984641904462434455166093262001206937928205264703227535202505069434162588468606269706468842859439402089036492015019425499930868559317743749836998458846702268301619217315331476240844716894336321226046577757
33362179483031681800591020628170035556164212826863564147166059592741676185032669888490253067844590500831563177567422123617240699568357276634748513942180816713278003224482675096483841171053547934078992464760350997592951632297681277313713439355326089182943575582152887071030018539479751451726603987040137736016225674	57760003015089673556902375981205582282581184633394191781433590674426314868573948176032042472805893139112624570627628313994465933683296903400868893193240522154497079744939586031968491193706831507890931047129860937180930272030697559838073704269402509726588844969127703630302620129727683305542319529569845789566251
27676552576835747545882292125198533349197498775377927050371126916460512282699411837957996343364809960654012005834132448832965486717833410294957552827175677539214268047208468380150585012819326076101478330780842635768296235882199426656594077510428587668883273787857345141351153415950916526588983277621872619794866023	52608509365724997270246297839368450156593703794412690471229100284421499014717878286698349534002045709056343246713763390083814161377092609998602147249909483442402449337979917502609464188862699713728474750057781953887819120844528661047629324306477345186056774377643339523993429497217568644877305826358227610381326
82771669927453950122803628928113590004406031877793437868846029304914029621037595291528448394039875799538111043271006367899353833748777605670369593415666642273333603290357409018948536614667371966273094823237368766169849774644766022933762835302515484205081865361521642654487063435713561676939301398569693693610625632	90978937082961103433192554282968186270301137986420571090192780903974847053193642213900618856897573635832719557793584722076040882567002262348293683002017368668916891004436523226939171451023957749246875728806141584576924757403376436500541662747190611860793622606155226578673264821588818518426133866263500876812999
51684287878331724187875951381302791239051145582100565211497144863694114913770171366672687960711770558748526425460780368259942477677594703534029732934930109232555169830245567031472373792757934792755515487043287320900092550708583524561465990745962376294926500693080431934138102686771244949323009624134039836418582720	71891785259744192965305767264870952152474579266313330651941150444620237304045238727200189339334981486607780331793983154329972610277829887697755508562798346329059081804525826500706318431782897106449149730281208630557796965881363542678814797274578164494952381194279984121624213847164642213929095143463838399313122
11373532507885903205619586786997529285977306036426541915893866941874916463247447883931154037095077622723691233248104713524708370235825480884688622863740849447513308781847232003394784844558114229703440559781307768746936896405157312628769912947801543184089282661304029247383967336247573116090645493129892028633144257	33724668282854767325732298977792705906258469311780812084236077203372035927123770088609452371328602311930045795373447122864447993465231239963586998233770350128713148879681446403389871654247355104527709304126058903911396558426367328550507138081041474892409253735851200598710334466252966846655074708391717197155365
0	0
1	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	223606797749978969640917366873127623544061835961152572427089724541052092563780489941441440837878227496950817615077378350425326772444707386358636012153345270886677817319187916581127664532263985658053576135041753378500342339241406444208643253909725259262722887629951740244068161177590890949849237139072972889848208864154268989409913169357701974867888442508975413295618317692149997742480153043411503595766833251249881517813940800056242085524354223555610630634282023

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
21165363807134946403564219378268352281170165756211342268570432032903920030767157367680044451923821521912985035703184515179481156436458209803938664610836122178931404650153504220885722298323572350794107665181512067870340978617539882518603791346486632128708097437125763171810770577589950234251763644183162626646579606	46005829855720401300659278802100021889762641801208400997113917515175799176250758359960993573018316389388760532171083433823110396985496659458951439344193969319807805235214382392893083614057267200587124781392994024000678425024588155244948117010941144807019018364275541919690223462408495740855079517930536694447689
79772242815674557604998617545681008243901142168156146261676736171784449235894334982279035811493404968339447793747725978380081285061185462445755624540828670233261436162561176252880928673182482743181980860419502543817284577079857329165258721512439327912185748683439312114744527909825387011703761641086428393460073431	89315308215151201819792314381690858261105444356365757287781710005361197568216150405943826423415254997797596017665037885342147775227727766081649889527712637447758651771585002683697276651240850728546991495962483555689408044690023246158525869936944532328580876272747732019063488192066277473395019067952123692743164
89167195212705670941157664261175526077965432647339203160413920219746897020378591078936085036256158331737786868565917372442379507643141196661209653750779088960896088244112149830810041300860109175128556901064022506653917176053431276325932218972628163254419947003536196320680827207515884064428841256779829737371689731	94428383027935870157468192506603817800212648046171819676574034425651394264263663720548598282774231571261042353875234324627744504647176616419465284163844215958131975852263157646530426950278636888374314684329008329302600791255955598020457566748170165004375461940023733885523977660816855178581100784674218812208173
28564013694362133294205839430886002099380044293668021156671589105893250561250159469481507446404197291835642973036620010111727335350223238806482323630137356288083976927446995721627335798676794932138959262300288970660964147703257870238550188194445506305800646221368355625803103808726804415641612433317267970793867732	53445311950031813145030982750325245763632840744928107998178932166946970654997052036263529361745488859532934331575465236230696395156945488585057334418748457225348815784224587321632793392815376221687706631957757766969416957888751638193686797693994589780957670444480358646051390462646009153818198604382689631537821
80846128798175661689965250563606782166070465309978727620802790651477807870034389697699852768730002483543988861185262261375162980764872335301776831132905745604822696128967382134603653580269281068201094337507885505758584931643681058853437923105607331018234371606497037099402125776283970214238710326559671889097789828	89914475363078030746277885989800687287522371384543965000966327025390195791353938995508092795358652528571970753339390287035963586509861787667799550769123511771552806468368977581879441664476245820556908235338781146444186361604329978268289432591850540601465901725148230600519438170257913715811890944587545248904196
71905776469212226809355009832647677418577607531591470716829891422356347468322576732444848664156893472960880373880892635462036830448647413207323870451820006845815824189281179046954768742892143714145179293697544137229320294876381052553801242115139577071010274598454959865524466243319731293733220588762929615439673671	84797273817742647291455137855833918344004988300620245597563359219217926756156767046426992148330367751986589814896115325895049507786731288748576014471002865634260919633208997204789815469305355242494950714196094361888842912885602581970693611970862976118915509795784224562963190213951363854392405315847035413127524
19074359309592554944820420346680571298726740708065359186754405950019168545719921356787032445100886645609521242117173529940911709583747811339016330495070739818485999898767485508152923926940536893251849227537984845606301199395790562192259863401205165597644479851366647895240679396990532478819850618355696498345969316	43674202121610138173709691685257282366995918289574155938705008272800499953969316672173724520557821479557522290333839329351296396588303958851577099659698395949122439547303691683553141423297623055856674702973404225666995565557638533531053206443209417574310641019212075794234580077857641291567066888205476448700985
63959895189062969064011893846506148657928087431821059913615462455014707082064877268424792263556271007345375290380075796910213713221046819172381940132741070846060698022276033414792880400026985116248104361828744724242031945329454393551311899172393793563728618880034125099930937958402044403112448340441932559049658275	79974930565185843782333734913566428284598612004486018794394275102223434877306325815026530529283458869129695896531326049143824365613266942183795992403246723180383426276275716544611199664812614640736321475144198206797562472728074581590440879414322468818999067883242124662329672007409944346232448002843423841868417
16010321614834645426163195875599841368812386495032485335161898191533163566728282946298134626604962910636138270830195390978202908785226829605288950618869235060040777867654321905204735870273083680014822096960138068447420304432054883389794448590096403312193464298757248890591714728987333775226638030149297341541192823	40012899938438160428592522613260630419409163368095330599627851709085872901827272543842491454985584660026611495559834045834331750361106004908480208651448766676895636940932603318994608653353938469419059640304762779046133155316160055529668434032782354649096171167789913504340890353652521523397967560118690386661398
60055601434215995312894693009525133050509193557643093896623715369817602209437142010396385121456328442997055724092233075588185367338436491807934140154127285638669473515678676958581707647441756309492449540101997108604886715793050820488426522590484955002324865639020242796872434200832165083886413538742128048467381318	77495549184592527354152095534926294059496822363369121386272688952566850710245056329427277638043705884092943911160279412315967209098563239397026888313808829617360466193565325245150311216156605157540057048505983762586885725717967282062169104869448268627109230906886523057946382753702824695797761307045356479501863
88909411799523959111227756727912036567375315255705646998594184126114540249680788125655950365667129721701833461319966474773867917511981956790777302660226929889317794340008005150543226405968050855347318386196306673230614555972440585368455879026766741366723100374821887333997013063901225723859173113400084813238640746	94291787447011502238808415726573208286720930452420034813688338101488872292639610305181231504123405859631108986440400803138830834266278287287168709908038303589950009399254965481942333315983451315151541219176111317613405866514712630809998619601547222191140653466174367616425344847868723949338530067069190057479328
22678428674595679641639597304987087728774694241945106813769615564074025801603575819997583531700562913020466706240059129355080489509092208197488880415329615164613669001352498600846053826808407853986566331385888404302536383173507328821829505147817394935133967670245165160661330718846720125234595826512902727944814737	47621873833980619248641128081541268845630232967578430558998930410025978416947845062278560562975990014267315933424888258426901690598212670664471107234304525619296428956242283814713659320075878491381597671684759737025200485973769019506637109898438627486735914826724525959240078103893613777993837046341789872660239
79340238438273124960689037379095977735217865768925584585961342143339672390379255111749118825327961943558784957465620863781761667519375738978230224436830426189685002950856252304180320740890330714499692642035705735733694269220077557773023040700121707211912151702260349779744100651009632071588192412868242208385999940	89073137610770804687320756871470007509443848674960548529816211685141127902813466960877125521244275699852861916260882183493872699756833313054575810877735728222765563021493179847929659051236117212015399461286642305152386763876860699836877759752144201883886927475085104501990932755083585466061999438848178945944098
26493296460708998805171458851063921219465648518152491419701258149461003669400470544924412680928384215617247683808783702099873474645941847893033301279343588629152493090393150508534811256174580294879764405737893832694042167742398832954566659267221206297982739205756002107010511551109882006208939105730808832370128842	51471639240176719676949564500232642712196810442846318704783042382627309100345068942995912949481886186804788156401758362703621321486154657073109137389575348607252801109872135300016027377976867449758631313696356710305710760194887410870189059711401612340210810666541762719659203936874268539955183372054997546012823
394728216542900705452024694228718809524390019471881397875427288223887703819619012351768303251935331935859247336289811714975859344510159885553808412545982642723698443872389052142410683569537675314444485674866271485542843385547658779168753749903858441688824817078280692346811098252095463381310122024194946015830797	6282739979840807524965972503828212025159328985226615286667861296212584900841394033168385189573196115635129252678800810377287918595649349663621697276294179015141314140985949976793840805865398284759116839171645186248789544131705534274928964976177082162914635998142123467285164423283909968352062970002816529455807
## category: catastrophic cancellation
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998750000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998750
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999994999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999875000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999950000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000050000000000000000000000000000
## category: asymptote stress
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	31622776601683793319988935444327185337195551393252168268575048527925944386392382213442481083793002951873472841528400551485488560304538800146905195967001539033449216571792599406591501534741133394841240853169295770904715764610443692578790620378086099418283717115484063285529991185968245642033269616046913143361
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840055148548856030453880014690519596700153903344921657179259940659150153474113339484124085316929577090471576461044369257879062037808609941828371711548406328552999118596824564203326961604691314336
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	316227766016837933199889354443271853371955513932521682685750485279259443863923822134424810837930029518734728415284005514854885603045388001469051959670015390334492165717925994065915015347411333948412408531692957709047157646104436925787906203780860994182837171154840632855299911859682456420332696160469131434
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	31622776601683793319988935444327185337195551393252168268575048527925944386392382213442481083793002951873472841528400551485488560304538800146905195967001539033449216571792599406591501534741133394841240853169295770904715764610443692578790620378086099418283717115484063285529991185968245642033269616046913143
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840055148548856030453880014690519596700153903344921657179259940659150153474113339484124085316929577090471576461044369257879062037808609941828371711548406328552999118596824564203326961604691314
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	316227766016837933199889354443271853371955513932521682685750485279259443863923822134424810837930029518734728415284005514854885603045388001469051959670015390334492165717925994065915015347411333948412408531692957709047157646104436925787906203780860994182837171154840632855299911859682456420332696160469131
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	31622776601683793319988935444327185337195551393252168268575048527925944386392382213442481083793002951873472841528400551485488560304538800146905195967001539033449216571792599406591501534741133394841240853169295770904715764610443692578790620378086099418283717115484063285529991185968245642033269616046913
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	3162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840055148548856030453880014690519596700153903344921657179259940659150153474113339484124085316929577090471576461044369257879062037808609941828371711548406328552999118596824564203326961604691
## category: inverse-identity
25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
4900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: perfect-power ± ULP
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
399999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
899999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1599999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
199999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	141421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725339
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	141421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725340
200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	141421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709993583141322266592750559275579995050115278206057147010955997160597027453459686201472851741864088919860955232923048430871432145083976260362799525140798968725340
299999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835
300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	173205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332288665067225466892183797122704713166036786158801904998653737985938946765034750657605075661835
499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	223606797749978969640917366873127623544061835961152572427089724541052092563780489941441440837878227496950817615077378350425326772444707386358636012153345270886677817319187916581127664532263985658053576135041753378500342339241406444208643253909725259262722887629951740244068161177590890949849237139072972889848
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	223606797749978969640917366873127623544061835961152572427089724541052092563780489941441440837878227496950817615077378350425326772444707386358636012153345270886677817319187916581127664532263985658053576135041753378500342339241406444208643253909725259262722887629951740244068161177590890949849237139072972889848
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	223606797749978969640917366873127623544061835961152572427089724541052092563780489941441440837878227496950817615077378350425326772444707386358636012153345270886677817319187916581127664532263985658053576135041753378500342339241406444208643253909725259262722887629951740244068161177590890949849237139072972889848
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458700	177245385090551602729816748334114518279754945612238712821380778985291128459103218137495065673854466541622682362428257066623615286572442260252509370960278706846203769865310512284992517302895082622893209537926796280017463901535147972051670019018523401858544697449491264031392177552590621640541933250090639840761
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	177245385090551602729816748334114518279754945612238712821380778985291128459103218137495065673854466541622682362428257066623615286572442260252509370960278706846203769865310512284992517302895082622893209537926796280017463901535147972051670019018523401858544697449491264031392177552590621640541933250090639840761
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458702	177245385090551602729816748334114518279754945612238712821380778985291128459103218137495065673854466541622682362428257066623615286572442260252509370960278706846203769865310512284992517302895082622893209537926796280017463901535147972051670019018523401858544697449491264031392177552590621640541933250090639840762
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170275	164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457462
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170276	164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457463
271828182845904523536028747135266249775724709369995957496696762772407663035354759457138217852516642742746639193200305992181741359662904357290033429526059563073813232862794349076323382988075319525101901157383418793070215408914993488416750924476146066808226480016847741185374234544243710753907774499206955170277	164872127070012814684865078781416357165377610071014801157507931164066102119421560863277652005636664300286663775630779700467116697521960915984097145249005979692942265909840391471994846465948924489686890533641846572084106665685980008892498121171228737521497219551197160903409111561979986983996064265509175457463
