# 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.
1009228461701462522862047966432992025174668601130319139620340277893314451351125582371490642189504759438855754445916868291468562113949598091360344013792757962941661397058291959256479843946024786456918438261167911577220489400029044730213150982029322752376255508817906889540884899791182745247230671674124020001251201695923784208622926064621452763014412035887569859144623424012783908355528755612807629357978262354389497937078137711641559714309052151387300489758846739005872839561921558690128492280809706338526611551347842493882881707521141124913404593780777550135212385235766502365512260065386964129615983599996508110566	9186139627936643934917977871074078884828282168189003625730301380158065765061402400779097350409134319354379237872430922339070033693159801361136618697557561071715433165323963760975074856165270471524165878634808279089526670204748582360478926869016910384340722583327968178830097073888724193454934867707470012245045359751354590392534333886464611640461459634900538952406785002497049953386589002383326723952695890603918253757505456734968032900421262991385920026978233022613711759642786441757214385265676918959645360020664901678503608707053364421774872179507425416082905289187398456203908869755804191076383529093337586439
2721068882929263309795482499444370034593877226223057690477420647240630627808805634578101761217478580476837232172660045082817188445984408179328027544383697102471766107319997419600006773619702079902760169123076960892279479913675521310060604990269809270816671511980482830028695921747205120571010781813499280358751378796954856182445049914984367106498332551115979890773522201311331906674443238522398548321083005019113204020085846730783166759582330290141794994951315538768427795516580057695887745570566073531186745946167711697013583421852599018268333214238979766737605573151545547272430812486476148363482001903739121897986	1001024774779933953992753710245387584390406041408219131400523675132897149765381047013449545121467958086151517097091033763010179769653710758474945453880639943445091476300361842068473760850862719526413902689790264037197493140291951410934846451660143809032023982046074547106777163098572479957816011987033273060614979918824460331492618215632610887666861253709951514305124076432977656010636110645210584483318506597642254982046302271956732117426702016867965990994377904176225517698460476716528283990630878291937783551318636719985030722029047598665147544385814569570542224859179978512720360723248103339948619148369305202947
2716911730721969972680438340414111399201879257512288331644307914188035074230412075227346271724787304514366915821712040516911096563895509461399454088359789660359552971167547766944438944258541391298922689156142265597181619083640368346633745108190069771768252456453848354370831570484999179236067964419666610184423601608883320105431540477629021825765301221311694995078640921263292797026218946472146295942763245367252861104631361986598842161041367687271747300161932720584950402508349665080296269699189958807003147716472563102565569211521084348947733686400722739449183736789918552624971325913151947230242087227023784604814	999495842143917277351640666953377359492926679162722899118950347981954498623154836335791186492730453286117345167440321849427270589656322073860871236965020240613321956295151159400222558886831664465968564550618634092696805173722268394869720740377091837453079918684938629666880421994973892393760629213725351489998695114590777204095901067903401208106784707223817387511641148641631232726874380096207719732860243177138736910219769401027614835062640788521656140343398281796582570064429056512122727835295300431644365858200193379197649221578810144660257989639916140973386183313253435267211752833991525269216014712896659069527
65264525913373682969961898169800379607444414472831202786766796929976946158821999852932448704581459134683012459972569797753491293731971181191746417159013546769923760850680046068647864849146580704941927277192232676398679844216670617596124219540709536949292921200490383748881313727057348480266998611175864521955809931333687997435018675399972342807376184112152913626681297584997215519121901605099260948298591299423379903399136051543880345537671564441820743037407931858353424492751903422182817182968024237217446773363189223162909805022351159637239528163486250122437865763469122501184969209851593293193621136063464989361269975876	17993959198753112508848913907985321730222787755041965890157006079047817557624110819931199625355046398057356893130860583893109867534751552011396807992449708873366656940258405158920460667201040206031495423205361963030752479374829050501787057746167365518708696148017123792742466720277657362314658018773204492453530324584266048547783076517230842486852589711059162268368224732404267271177616849256439481647352716012587031830463068623136593950613623819176415115788468638510073357078400557367735407223524548685795149634312703104859326743406809984447703572746407364609989187266829835936532980315086635014500209566708694892875
34331481928903105173681241539111743319528565338856336060224829473277077928169820118569111018555434188911091416633866451972201960471767180837939414661682678337833533266234144011276406509464610230545442049633048371130356423171829297850979660774609562470132647786298562549760761471573707934162261129527279489356671089516974056678047713554076561942309937722647583938706426553546969220025809750614620061620119981928169311362361331818450351979237632032269780872643275464588808502041259473308116592210970714498657595349092432546818342756860016772902944654005408727874717461757335596081274983915606176865102554454212551807008179657	17351573331670946976514598455355999279457814047905240492266773485403754393721263835779264644556018108988038486230003168407397784204402472215502546243900932688703712114118025030929768581567293783327894773823183198177090354152436320920794826527742585374573997297043068397236718301594378503980687408740816631756078145363655071833310660993072534726236058144545316683133523321490287376720422514525990874651483521511741550836393441676452152660504053002862214014273928251514551787187874429144253153972100299598207719968230484121307726581872971204038796785099838089253626778094811560136347329588665786938172573783841810801972
61837555006889296308428989113441841682457055775769423261893302239839529341850162960737033804796621795102909233501306167912881103396287543096288440667472635096426915135902717907353684207100608817816016992823328270962684497034714767000907065768600316178866501269318450824019575600661663529756588608134274169828505679630856358807733177723838293747309833187228100216827730889292904636071839834596493072666051586160714228709942140370240559708121628654122396671275616471081023835502456196159497721958000788592354647454046290461728745560960282094822477462547446681803207263676484883661353561732144789231578836623115677623867657556	17940021424057051252194108165453683516449045275696021634206667040259525856189074020055723379269991524653419692854927438048053786600706416510864190620310520424310722181007274539134189709778396780332223893449235991202185192139629913095570905610407720104295490243748815963277647035007659916828938323473573833291397111566119466231110206689131202677237489390781821421336375460679119221760128087148197929286262791309642751015965014366044919284126921701005608822924457864340467482455892336855472210169879041476113777068904032080395507239751374937668167173528570261361445332861510380433758750298420102540421584485420326129055
83784328276357543481754676641058317829603743172714680834381059997217132815858379927333235756522880052207202406358470028460948575901410981229679297407517651892665148454380330490525071338195254700632319076169657899246317360926428532346619133892762452213132298660118722202310923845071219106317329614941937956546840104790129247501902942742157550409300468534548590962243378144866936701847515514333372940667459387911580130606207380902278295131006285763296401859898869388802292939802354228675702487458977464016777403748535031141244056387579111474957103871277033148252797596000648455359435106468369639027980728076672552996152827321	18243756534554502249884302500315103199473799957347839293942629447379636192072605409767788308824755289982423512284947346560549660569405212437384493835955050290638914847857058174525550128517244913238070155125034261460715456555634255023591831413687394706413761514083080693353490900871844643353479979144634045081490290796138204370611825622896521407631655977398427604151465107261804782913048561978989631166644641758440640731856010867338477813897067289139997489176903713163479811432774319869433080724256581805530192718094822727391541094761935037803260717494551284584984802872758219813288132657066724689503774530651804847787
72663987864663932162564111434471413933153545250929957409788928692882919464946779472160849737550809180853099200584632438137697110420221051132293239809099593236542254765321326667921466328598563495963427851407576783849349811047500247872338495735458307674600889688429033496378811676929240361014541184938834924948953882412242255741007712921713164907106592350376036205002671389082294001782375854130410795643475046550491167527538542174434771010386926145767762300280198029816041093280203821766309156361795873717073449879971999366627183505834642842603196059305267585747830913105962940305309055780964897561704063917116665676510639340	18101356467158006289199812641670541093622713029249149448027080362430163970216638181877630332126236035789896322467572520740552963676683990016487048000876149041745289377855127842710266616269584876884313656700444619391001892516857375540491622633833377130835740360196102950879905239413646050044606974804280881043071294050825645299184187128102583283036482699935745704750560134000918511866842574281612083721979933478321078622787456514785246793526067480963969003106066125564941348305958747853715745139414608818928910809995204461286932879438171207402341199581982503032042023196243660555355434794846756382790804634047743923302
7528960122454336497891102470930122978502564038135865883432776572993738943067391583483898152880467322184606220303064998532577533392181822533922645346138166710523135619626749557886966497538577973546471683907882970741258594000650874338149734822548297502019254852304602082478720769734919787057773601824478203881060851385916957631291198740422883219947642704123959276618987918820729520320355483519809600928555647079613452840032939512780576331357656210900071616630681001758534987277053185976947979104030401293468051804651474165274405680033080082019577659886572372938715051153178355612633881364114224623743858431732611017185737340	15834267492292045486944963418229644052886802508054548800170010405832891600393151444343345459209743156193495946615634775318274415065383786133282177691960985105089687957051355533518992122615925299785970964691161208874022451339458482962983966446757742060244356606045665667321758252048465831510165320681319265981551321043051199940471991659859972278124944508486318303993834322030175790340974611732975941570713108194182329176641107446880300025835479936015465829941368401047729499676565054453751173678551694433661057928049249294805936926740654400605176243630456709494439357635321405422069485551038137750128378801212955860339
467334983317244055118732217759947851407239228553276344418610137390945268225498075533497250800102348323171871714528603930279024322195934912091950735280096611276248938704756483208013407490714820873138284744687126577939537953839452101216344721628734007973476851490178831631751963984611139521344126323161957876775789488350108682054821286204497180954983044305372200516590018745005328310452703617828179469214728205031159261282123605867040442138041411943494963385476445711646135883641366413059068200953775983895503405634089185452028205387229197962828904120435306165591573790403501685164083992596254808775659729646423624896707172	13054801588538372993761547114193788406630558848397583820614266680844897278251783716295115649718300054033557839919342347369507177650868633167332650522150036725271191140460209092786729931149107712351753862970710741992383930148809502899946770679959266402638785659757038404032604773646592803376561804093633092776741659878085053983229908736720929534540052226200851918450095705513658710220679015929309487060331441491546079690024419563195929432197741993597105327887949632946111946690108494983618288237789066385458814466447995451387701395631059035957591589014925082598228302847841147973483205234766161506926622608225713818373
848627219450743568146218058017877990783289096773543472312617435039105329731289787586247910473693778338993736776124008540617990788195135549455998408661708698818898322430071079913047428720042372845951268499036246429945693647160624330370977875703644914226663612221619289979648987101052707057539034018628851771090232512106795849948143184774372632722876334079740758252289827719537488858836401385027793760359738091283877109375226900741912636453724860322175508880435606563650895804370599060926405911802339318892134350493209199891838395615177888213638186756617303887045018422199514706914696841666268757830554530323167540063692256	13651375286949762011171189812540722874129828844622502375995229425733387838244584950747994665770567041525087555552672401675383583084634985039056405829258609377878561014767492173833827173624031591744853928963515744524021553511263627942418928134131949033860788445008278290219325514086150647626676424768808296032465117988543313784941791808907002232049178701345249312947338510739671067728614020522539160329639131385915658212712303565349043817110818127224403763240345046110122411206767134733026548276496726679874127562330999325778334870532327815320948977247868583157829241663843367903339046451801745962936479482083507994711
671240595771764712596171388215568596287223996246221705273870370841386692515971193176314820089268924836665081552157288879314868442887062708592454960205433077171728112002609454043595921644270121515569458356068339910954363821005123689766152993050750975486220005874056364169450428658057306621727447919441276396321836822716455411002744964668639760416250464167471658519832964784261583153086667152700844973787417528312603582217433669332574687228906916280031005435370121471671195357732395027783453081283810404684068549598079292667929928215368084586720077718462543352745080348431464576810294629135585080669818092729836326664565451	13416882914683628431387310461062474998326932581086053448965862225103096614895531918141762026067636593116957419914649426693783853397745813153392566653981803899444111747787982346072406342549813710045884450866866929953102799641420990657895665354522870693704991677523130344203948310053657201064353971696083470866759908001114704545003540678595867075094936250961286441587256982752149382493933857266262179366257602375476475937969836679945586239204433299666638460281353487539232534523030633193956883682087728052752932268153314358294336334134929991007391967500495596458347382363668944479040504793011349683825670028876601458048
1	-1416089832191338095671064744630883987674677415506695380260496659095057154951571775345138281130102953480310187186006042909546858161025926155349766731995750739031987933120216128718936935318133417094962005765013707305566740390470226706934405230349124355496758609613734570355094603687725759965933706136594637554217502226817166777795462162416207798043846037060486818513035964467220993202282533012432714261096371844852017066415122379912861091701543915371240739890397310095954173932038806840853784874530674825791743148450536460052660109212104151500740012526182639582807119401320348560892721592833792863184284341659623560295091
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	0
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-1
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	1
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714368
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714174800368808401264708068556774321622835522011480466371565912137345074785694768346361679210180644507064800027750268491674655058685693567342067058113642922455440575892572420824131469568901675894025677631135691929203337658714166023010570308963457207544037084746994016826928280848118428931484852494864487192780968
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714368
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	4605170185988091368035982909368728415202202977257545952066655801935145219354704960471994410179196596683935568084572497266819050930165613513332574738197563378965814416651109361687599789652466397056787010617930755465257692326732444575396439773493087334948808486548730310097868629878782959238808800444210203428349600737616802529416137113548643245671044022960932743131824274690149571389536692723358420361289014129600055500536983349310117371387134684134116227285844910881151785144841648262939137803351788051355262271383858406675317428332046021140617926914415088074169493988033653856561696236857862969704989728974385561935
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	6907755278982137052053974364053092622803304465886318928099983702902717829032057440707991615268794895025903352126858745900228576395248420269998862107296345068448721624976664042531399684478699595585180515926896133197886538490098666863094659660239631002423212729823095465146802944818174438858213200666315305142524401106425203794124205670322964868506566034441399114697736412035224357084305039085037630541933521194400083250805475023965176057080702026201174340928767366321727677717262472394408706705027682077032893407075787610012976142498069031710926890371622632111254240982050480784842544355286794454557484593461578342903

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
641467360380556718557001383429865163639246856394804362861268158555227758043519451013472745007463729788831457200330041179196136756653371794413104503030220508625748937506612451241070449657133164489640757064284787909843372308525460480087557229810105559147121651026839118830280617103852086028812638376313072729718714622056188688437455639466169637476906322478338480161677925030697766807602112048895697012693550927224835097928531584987242178535880065774869671142698499623922112906473089179831369661311485569586900200887793724204769028828331267883105848949941479112708211689319947269873326412461325062903592757221566379935147092	13371513581588372368868208875025402060332056064094111594212475019650776534771646496176411458969177714106250748364800137698764784790541627592566512565524645635066283674585978935258267725431758201954343162091207479087413400601936491026846061024433806641662356511814366032124966810342490104108109450342182981873414997475945389667369266037591900096821085470953741065515126312144096480509840083472568285977201742291605849977742663861030238187159024754717122951417605385310987815574840303924895893306915890896187190245660279002665623821989889999777918064350690102059877289472558761566204126046272475072956237120452855097379
315079122540772757025227858685453854650271202327006762496601662116451504605821959956334345951197112576250810227257061081354315303976828044879020937704641978506277868104051169835613434859675289665969840260224925283769629473977307100287159884513483087775510570392519664000108242467579198956389121102293938254477571569008563787959906014932020439857928672851723443109368006766295491641245464707447344567162985891795426781415264405992140283871024854448267606504606185985783240453109018088477914874433322563630009161433274220591392752475365995463072505177351803626774587554951841702887598577612954591953807208621324649443316967	12660579068935804950441271794757754615051310745102906895617730920905942936308950901875223174070197536560881492946195717710074842326243509354158041596053769625460839740417861594554627779330947369132906431433783879984045049358931646187260360169243429281864112547191505819267375125704049547536943687783706888141268590681499310579285475265783911689209582956393957689425550713129456765959372726215298874087426745009689427294884589079481418392579163634174213271823539182192498662875016257869653284307365041327322977092530195703571539732836434282297455520125206997391180184738150133851837688826995701687511079568309897064824
246542369456876105751268441518264232281256834166955603550346111749191976765160280399213727393220387765985811361773482123173304698635800932090228414620670883570528659552902959723563860941020891112214310911369804060184571493229835089114616494978559612797068885334421637398406266046677645728888209210215534972741971416712399550229186058872797663479798911748286122889283866021196817837483528463384934983447052402910330742714760237865177532585257193044786377640478353314178308368635694214635454512388437715396457404197135380766976702158316355001375687971832241250467202806091318975681951345862917194480709177384644840073058142	12415289141900878092187936913249604061926521067533252614017110477424452526517525676663744599903146910770489106575905421768631829860215038652589691912201810124690355639379635409997734671030858583107717046934606517905784722384471892974490015931044082154509785866405585022186307708165468064685257287237491134141268358049345105045917584247238552869615979962495806797565051506574887011855665050513719621807622705938219958584696722592605118672308246401736531845010980203756998393673018935574413460472991848287146599300660718817180275278516261737445783855931629060677077386707143551460271521444552346039014522829380082322348
993410094731456293267442693649091678918161208420854441466123392625114110317306163963190410665227425980743920410813187805714387870117850685694570835221051056146866263333457771085539004312332463549459950541075255856616856727148820852014235388841757524518766219797825381839981885965123065550196874775195163036300137933136096612710208172722018917211627741813073129622360543995445939146951257492567787705102429770459562183235860847900899576815886177119165489092628455768149950460732300456183288411279545622356104732276427034466601814557502033445910433539266820617217804546262759024752646737485279342675778725746882871895983884	13808898843403088335556967442293119368470067680705831148075899989360385563912031205282622387643284273302637808374619568980456851560785561818158986294875679904680796146559373147882808019586848943465085138286985089227064381248233392115628974601855076463524845344022588236811077750867679480624041731381332011136534900044079615491895965387716404748070484217670839852663861853134700400740969623207106590260993033885109925394685478623098007051565213425931969567531226079183141545592171386110280333136058430281786705905897474584406617398495864314440293709946180011192156280643443110880003570765920621327406730919312472065468
822593513511789738431121591695957410998321119706626538529881899959799580658069991989333301148680228295810730334719525265105328280604940421762324883372604500558252258902164475557653113329533994139136330474007959589830070931113327615159480911908510366120864226610623710620598066977036438885428772449920632331356287386129574620497174080799107529095649798121635368392888848837821371869449615033297320377009681977824103986937822576216992535148456021951837277513148432729822740217447415141650380533779817072147445465018946485435937529995532214747183231570263286690559154875554792072294159702870982623363905159522414563243053344	13620217449398221872789910991083504062794028958910445383620445107120668709331060467209363432886450441731971811646624910223502900988960256789579221929300714036611440578831824465722931854147985333739265790805752086193570386054829794410557568208723929890747812669191189896955786901723092290707198451130329392549939630335628443964330260177135363932234834801131799124851237014845036002935618050617337898801825696579248609045728107480849999658543953994319632724547174096733981287047982095533748310859840094982810894857889668781062610508976873510377743499144040643388730735308368476074783316504914895570717982734549713393322
398557135661073784350297978026973725152321389962230663204990068640067619506644455846769928958210832491991514854467721445721696807576276342050329927468806516573694078618744863936950076183067093860453353982433563424462416860734601117313176709817370596630688050165530218229953623051670204662103005903589687551596612728255691428436455181608154624172366595493400757937477694038824833464181066911950807238210472017640769344349235981927495287852859037094734716257602697293346233210619733127168908028166217092435813040265083181601507540061289958604117113367418187933856721302526897637629529388165034586726514759631744253480831558	12895606143750676990435879792591087991074846220410274661341953974975098970078263755883511583751947424889731205409786681253131227663111481170306296428905975284974169674385900837001834127538137262169553801004057863864098254670059909974079785399490407656034141060941970494057292595041793631017963522376149549105449952003304682088185296849370091118651181463417422023708353477076463098600470419434290895146118817592993400860129932241342328911100160087663708625881124184794790356762006781092554032287752308730396311044314088529493294159901613746692104524676947308476262047110073631805059233910486415448491855782249619465107
444808818612374919127556457347978189097121966507421391043194419220102239351281516673296947384372750046605532566807576207029070341439756403843581837459926096606775401412098404904695574375251010158934028384673691443519219442051643268355958478220651141821827416978668771853704346973639380242563877880822127510755825448833081369340899996378565625224119724936308553807122930564754177312524658147767326560077913436508554616505348851754844175236197017201130874042083189463689566967638459089802964775737582148714690265687342608612801340469756858105215788983796128403524633156556331935576902761967191665978335131405226963325879016	13005399847739006738395347749934386873302976782050153004921941480654531222107218724537718491472923721537172015545780229803168711879737470002695512355630356678156579778708614897015860944955594682076201312120280192504091489908520429079965406985925679938921911384504719894939183777395609014752183815551055104372105989232437727204744543549595162201164632840167559448090760926359900413684595688724910990849317395501697675161931336833632197265117384485888094635464973449001250838904899063936909562179569178875175835644238621910721404003825961596501010326428900898823397160570256245570242226276377473602849155874058876957578
893266447404530872571960214727361105027750981987380603346790641372507569069059517757158792640322671471756551448066130391372224944418237726358304601309974701247156022353203890626540428828937241132296077731610121671883299066660926903152767010859088543339423495176228488888976438480771769756118263989876510502824434163539576886004234475702547350677829289529049972819769975108590208508620677752188828843179910780561971068709676936287493942037274805981970599415215648783178276762640527081354616566097146992265367735965816136326185212636633350794714443351131057530308168584265026153019538598222190057436983491552607154545585431	13702640188707497564179183611542759899482509733485101284471357130409845494118002371504778709007935050247221704071313106622167963324835364575325251931737386417749871701345967981037774854734663113514974864034507707441714578795081368259603170906707499941288171444142183399687037137814131794713693043221443244742288442525723022923192947350808426766131896244629946027288854570908984140705928374270861227230055991498882837061583589764289773347065296695018757886673910551633994249900494542519245350445848399620393676039068931773419939273630854362620014807176037473471543464231556752060480852387753603944511662260588297409703
## category: catastrophic cancellation
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000	-10000000000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000	100000000000000000000000000000
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: asymptote stress
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714174800368808401264708068556774321622835522011480466371565912137345074785694768346361679210180644507064800027750268491674655058685693567342067058113642922455440575892572420824131469568901675894025677631135691929203337658714166023010570308963457207544037084746994016826928280848118428931484852494864487192780968
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-4605170185988091368035982909368728415202202977257545952066655801935145219354704960471994410179196596683935568084572497266819050930165613513332574738197563378965814416651109361687599789652466397056787010617930755465257692326732444575396439773493087334948808486548730310097868629878782959238808800444210203428349600737616802529416137113548643245671044022960932743131824274690149571389536692723358420361289014129600055500536983349310117371387134684134116227285844910881151785144841648262939137803351788051355262271383858406675317428332046021140617926914415088074169493988033653856561696236857862969704989728974385561935
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-6907755278982137052053974364053092622803304465886318928099983702902717829032057440707991615268794895025903352126858745900228576395248420269998862107296345068448721624976664042531399684478699595585180515926896133197886538490098666863094659660239631002423212729823095465146802944818174438858213200666315305142524401106425203794124205670322964868506566034441399114697736412035224357084305039085037630541933521194400083250805475023965176057080702026201174340928767366321727677717262472394408706705027682077032893407075787610012976142498069031710926890371622632111254240982050480784842544355286794454557484593461578342903
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-9210340371976182736071965818737456830404405954515091904133311603870290438709409920943988820358393193367871136169144994533638101860331227026665149476395126757931628833302218723375199579304932794113574021235861510930515384653464889150792879546986174669897616973097460620195737259757565918477617600888420406856699201475233605058832274227097286491342088045921865486263648549380299142779073385446716840722578028259200111001073966698620234742774269368268232454571689821762303570289683296525878275606703576102710524542767716813350634856664092042281235853828830176148338987976067307713123392473715725939409979457948771123871
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-11512925464970228420089957273421821038005507443143864880166639504837863048386762401179986025447991491709838920211431243167047627325414033783331436845493908447414536041627773404218999474131165992641967526544826888663144230816831111438491099433732718337372021216371825775244671574696957398097022001110525508570874001844042006323540342783871608114177610057402331857829560686725373928473841731808396050903222535324000138751342458373275293428467836710335290568214612277202879462862104120657347844508379470128388155678459646016688293570830115052851544817286037720185423734970084134641404240592144657424262474322435963904838
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-13815510557964274104107948728106185245606608931772637856199967405805435658064114881415983230537589790051806704253717491800457152790496840539997724214592690136897443249953328085062799368957399191170361031853792266395773076980197333726189319320479262004846425459646190930293605889636348877716426401332630610285048802212850407588248411340645929737013132068882798229395472824070448714168610078170075261083867042388800166501610950047930352114161404052402348681857534732643455355434524944788817413410055364154065786814151575220025952284996138063421853780743245264222508481964100961569685088710573588909114969186923156685806
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-16118095650958319788125940182790549453207710420401410832233295306773008267741467361651980435627188088393774488296003740433866678255579647296664011583691471826380350458278882765906599263783632389698754537162757644128401923143563556013887539207225805672320829702920556085342540204575740357335830801554735711999223602581658808852956479897420251359848654080363264600961384961415523499863378424531754471264511549453600194251879441722585410799854971394469406795500457188084031248006945768920286982311731258179743417949843504423363610999162161073992162744200452808259593228958117788497965936829002520393967464051410349466773
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-18420680743952365472143931637474913660808811909030183808266623207740580877418819841887977640716786386735742272338289989067276203720662454053330298952790253515863257666604437446750399158609865588227148042471723021861030769306929778301585759093972349339795233946194921240391474519515131836955235201776840813713398402950467210117664548454194572982684176091843730972527297098760598285558146770893433681445156056518400222002147933397240469485548538736536464909143379643524607140579366593051756551213407152205421049085535433626701269713328184084562471707657660352296677975952134615426246784947431451878819958915897542247741
## category: inverse-identity
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490059796929422659098403914719948464659489244896868905336418465720841066656859800088924981211712287375214972195511971609034091115619799869839960642655091754574626304483075194758258782625439931955712690076545322881476100957739788486181443265208203424170104718338591510630125661475533808252026061400972891959084050148915029440695633113776763800958480893295122472263556542654171757524108358697276592606615399767667602791615334471108288209526962579040493568545937895700763	499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490059796929422659098403914719948464659489244896868905336418465720841066656859800088924981211712287375214972195511971609034091115619799869839960642655091754574626304483075194758258782625439931955712690076545322881476100957739788486181443265208203424170104718338591510630125661475533808252026061400972891959084050148915029440695633113776763800958480893295122472263556542654171757524108358697276592606615399767667602791615334471108288209526962579040493568545937895700766	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490059796929422659098403914719948464659489244896868905336418465720841066656859800088924981211712287375214972195511971609034091115619799869839960642655091754574626304483075194758258782625439931955712690076545322881476100957739788486181443265208203424170104718338591510630125661475533808252026061400972891959084050148915029440695633113776763800958480893295122472263556542654171757524108358697276592606615399767667602791615334471108288209526962579040493568545937895700769	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068413	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068416	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068419	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398077774900122895607410753702391330947550682086581820269647868208404220982255234875742462541414679928129331888070763301019337899740729986960095303307515320818823684694793029913558771445683123923272764602588339996461212849285209678905138824663987122813726861064735626379295182227842948434586135287693866985752001549960148075071971293369418851997228882636255971941095866191479871504328397693264610235116312389990010513783406764498663892685615821864215577248492011193529	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398077774900122895607410753702391330947550682086581820269647868208404220982255234875742462541414679928129331888070763301019337899740729986960095303307515320818823684694793029913558771445683123923272764602588339996461212849285209678905138824663987122813726861064735626379295182227842948434586135287693866985752001549960148075071971293369418851997228882636255971941095866191479871504328397693264610235116312389990010513783406764498663892685615821864215577248492011193532	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068415	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068417	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714367
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714368
9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714174800368808401264708068556774321622835522011480466371565912137345074785694768346361679210180644507064800027750268491674655058685693567342067058113642922455440575892572420824131469568901675894025677631135691929203337658714166023010570308963457207544037084746994016826928280848118428931484852494864487192780968
## category: tang-lookup band edge
1007812499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735854373511259176900283924475083954248550063050837331837259747567383336209909020430092346274522537313031423200030308273113927925635875108893971191591246906977728922663437458097395649172512253623300104380506535727142508447289735561399214842052114894308289593342865058879271790556360245352911335495585133657180794301823702540491050028744293083902555240419386190451207365429908467811859515604088875816525555287406977508747107555010476050374003268969941742998949957854199348
1007812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735854373511259176900283924475083954248550063050837331837259747567383336209909020430092346274522537313031423200030308273113927925635875108893971191591246906977728922663437458097395649172512253623300104380506535727142508447289735561399214842052114894308289593342865058879271790556360245352911335495585133657180794301823702540491050028744293083902555240419386190451207365429908467811859515604088875816525555287406977508747107555010476050374003268969941742998949957854199349
1007812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	7782140442054948947462900061136763678125802182518088081619532106598113303732396170164463922798562891465342290059857154328912957534089542405403735854373511259176900283924475083954248550063050837331837259747567383336209909020430092346274522537313031423200030308273113927925635875108893971191591246906977728922663437458097395649172512253623300104380506535727142508447289735561399214842052114894308289593342865058879271790556360245352911335495585133657180794301823702540491050028744293083902555240419386190451207365429908467811859515604088875816525555287406977508747107555010476050374003268969941742998949957854199350
1015624999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	15504186535965254150854046042446835877868492867193313607613345177281923213899650394528579555156974317215608991054170129143038306762479871262860224625547707751511293004516678616216525638381478573269649241341396107344611470558005161703573385381345858373590091290870136759071998389264486934200714130950928378949222966904546380596989532597274887933006950241242952981997689247391188321694533204168856347662614185742634914236832195903588892958159885384214020715108469543955193417671756899124598683051319090050958634729558199224004394160171011571636040588514082441980598432014915400770225992165947054644850889638134267639
1015625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	15504186535965254150854046042446835877868492867193313607613345177281923213899650394528579555156974317215608991054170129143038306762479871262860224625547707751511293004516678616216525638381478573269649241341396107344611470558005161703573385381345858373590091290870136759071998389264486934200714130950928378949222966904546380596989532597274887933006950241242952981997689247391188321694533204168856347662614185742634914236832195903588892958159885384214020715108469543955193417671756899124598683051319090050958634729558199224004394160171011571636040588514082441980598432014915400770225992165947054644850889638134267640
