# 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.
-78532540698191364887328285683840054057451309136124422701202024248279569874170354015232176153044582861787207553284622683360455742635080935027151757683438597218346587260575035414530724038646036531474934380744511279126544823138853458176438576539811340112901870904880854226927599353422713446426258303364941282601	70715822586976806201305103057233165742647174040469736091503520961546502192460466589365754420196967714728617204211981743044068238088504917824259238254947687638813772954987053234270336822613837060401620845904187922900288986466630099886270317303667958720272329564111819427371454782835306933043825328129969249681
314247703569659066707576645724823677514929456592219437930741722457430792659686853580262667018497393142172846098767274002264937267721620740675645149872961138632562747369963034128631363119422872617968420336438631843509242206996105001115980688991058473674936617057635108946390888622654133104223700996291126985185	-99999960893417007702066572286731574012686355467466266614616621976713792082406211891331802525999900297740184123237211472801083212166625188631963644163254116243100031283577457966181162456374683334225651614281294506376715863616621819003531784532175292573352608447138141982485230808347924361811851859460580410268
-157033956530495424050722808454128660553600950814071758483066883811401557329881836603607722272914262297206466817532566686816018672184478735466167741435875427173950220781558519967608572797600026784604964693025057294005139632667016879276114030328539615812468747787312022890462895817525633528513928991515545875169	45676147405994002018849631857653607823663885325886050174624624305186847938964225089459020313009216871956929924679394048595459952654018265051597363934684309009544165228121251839694120519656569151164613287831792923577973054586206390664448309691201767523079051615917740865455501248581970045147585981695576808
78590655425494050645922437189358048604597972843291128490227447139621166264372917025805257133594125768043249414358403473094546112970542358845751072703277935778670845474252399309654363488328747281471934787607649645696501503077981466288352185016541479822004296412284674575134780757879077753495356518677426930277	70674720319935285969895478552290664252827818111527610482481215274751236155452085571415593161975201388318536697870748382888737664156785396979991265162744590311140967707622689496800691377088092154182944371017003117993619436374632193149438702740964542043794081652316252318260904348757409091509497281579763120751
-46217078031340231005120699690550237787745040700116959080884611538878292706013403244277102641137443022114558750494187513686049802709593299121957922038970227657522994626156126478260599848729150455871588092062807212694743387373751476691199931775128420926541977599886788379523679756643031634761095091450592512	99999989319908681332297358841831715812837381132682036708169101581030052416301686363438427388092805668614722247519083417414644656211229088608581896060619729359331645675766088106476760319030217498823411396187252507959802211524482868280566947945170907484598370321547311564810963925738913379247715580851085993304
314076304710211476948708156589983825108713934488910056916899126394175852977390362514323599340510769357211444953113596478753437956416898676617165129844537249791292643002201694199612548271414533172511933796845553714312167259399253158127825857006212432419121495701273862308863650354369531800052740791075623512584	-99999965587655753772290510474733239491621712833056364763769474505572843776932837688937170358898045380011458838677433615249836911695530742815011014856557705404813609452534130358434355963608669897574530538665110219381604817474450985827632438198250982681775824266745562775660263961045232178691930849136926480639
157088890722752725307075750141550788248724655414620882756035015820061749423566617635931671689628189086263130784297981345550279721438704752046292082943709654819299421655124325363666419784318004593519425592604126206013168048725602967754663759272182217702557043130898055239681712407522459670480662691955761940126	-9258043249838058518104222898396621607309824288452613200820908410601202936811076024177611729877777544951557898033065955607432023678995396087914332482046489709660732920548790173601826598986205343738196016844029736834245770487503800205912297004521596458889275165545370370284483603510157845465009154570800936
-156996287310510015802508468776178078926748540779999280555117655904519671908082801426851976378405614343287687674952564868240476843487300411470214943697203317464088766700883783611201754955212553080676832589943510936825785003094884909982274291642372482943701644834939572155391162094728178826935408438728663954947	83345359330405079910932672023455840718134378742697945531699662501281501417081949188184930439128901189606455595549770741352451302229423241143375251836007859424618633839442170635086813554273112730792453729828887078619340680957938890364334290604283912894088163110314579377643996886611930319591762100504004534
78492661908562562781485574340174603593819910219992151114425260231997862781398115937709603955910180426717642364293204006812763431928890984842330884252793388280592004208733853208563882848857788302468799646331259938518613137182848759716558170131976752938571650968029193932511403508926930052520984389806861616870	70744013474068802675794893450435982671637602513677417094910276123968717636214212618756289268130169989208700921269865459908918164162813477800489275375740319030730798569926792863262322644496775325199641524436580759702701811731964436779070355008217930329019916769436886238097924045347160015345411344299852107907
-78515948488257138184629316200901426764233774281140791443288000755198813501983418056212136790531764558070917431260967870046624640586036682779083445189934474059947483948391960036321076012143417760773590729528931953780820317144482515677145209895725396186012306985743211867537048099275399149145038132536569439612	70727553224030896505307154086045589724087004425997561983044585539453087636632738374436268902582913142685775004395945901035148720680596730296028759308436239493910459493011464662004758381598230817749194354106860400284200070865099764068326309726065556967073122346477838105673561677552428230292658471958030233024
78510396800236802849310342515289422046911718136166996650796434747066635629160492829466336091663943904350612063724851439682566596756709888949541925047418582379382427618015755213877972337497907018346180195543324726927172049554140333466728950614341800275036817071537833272882605996346260808253812228730563652947	70731477814202710508301246658277544745994746936048188767146191305039679423637536369448677617763197891411576805527322364060943114039143800268741456137101051725825168418199809741090849400099004640589192689804330365206742792320147061147976845493954782616791299126267858720545865070058401970965084106739128818314
-50174394809720802120824351905679339712638359355879999781180863535173625745196014857281362615411213645926488790554806349676711985549069527566767319438502137275279469037720795861442100496408731697614219829155732769819880777952796582958888693116082519003847032729031317865000997814638607321223366362386413717	99999987412650791460253525716691389746665301563139455919496684570741380101300273823531023198798832008659205224420661634574529429019088645004928217466052507671860824303930856203647206049201548583632165835646898268524941041458062481527602598075306842206579413836953048724869282484960462470884575268739321208764
-3633382461360909797087455863368690864951156553411760419060015079212488509355913679792382793626090545651786718769101733088510550017602903687307122499694680651474085631871705185482265034794465114729317461478137740183564061938542824833332989971374717636230106982914458648270911196411961151499859893178677639303214	20406557083264609414130037543325783260815390804680052323336534665159283385912455128718571126550444694284540034150657999986114696476278321456609806042781774926789893490257919341749125376894160806006561535731058118056716078966086976000906340696344670505786185098403039413299818831492096305460563141421480923670
3127734967310730156892014152210319366016685796829670863766870888678907823277827132544246205438512537797622810327917163212675499076195421322948638381139270619321170584540103748045783728607099999134054147060002540819530173075686286731372096914687006156379752497075557927016609038656434147146293897579964981753707	99041358239264210552737407784759747030633824878196358472790329993859580614821798206759729054834128699346269278849475895038553652409587257400656381640395675723539444085826813831946543760787251813970743663618420049401176707702660004890929982540682265515619277688357067475251529655161728019931338839356477751079
754034900189122503700028150164139330905159792261270920842592540325335442587174111688687996562194816903630695980588263042837794865873472957631486819935654185846610140364465856625130420646110444799914686633216264708217198292975013321895143083443514421812920471148444490862936137316572434007641062770418865566534	30851609353773795880550244261713176422256097506621769615003094455634675806094615507808556719067360293105612988280583392424803103132996458715583723372695761569593682913385149273034372069516190666824225153666476116023466251474942712531619129686070841922623984333895119352167729998208050070964566972509977983322
3672450120761660117304282461163501878615773108950610276172997347505272714887728137835739438625002941589351580203219880910027812272368222525480032538958104880579844199757617097008015793266023285823687079991416229219863137817106007710140405087764302299738980513257440937063171940065940692728614223994602416348272	56149028876751300313649513245943438792994052650776656475822952652857859367438931457804106126841533650730079641353190330793739493769595460129143771110107278785441217267636527836241817427760969595645578584859027878189191462768300715741669585852900127339498024342943059829926750204558642882909941807423476903077
-1291522760248426070727107694421399967499015251008394769253777349876166060185342677672177960480412080510050923391542693483484440191735861293518397372292064543446117312728869654096537515303654141597103282423037688896896687334613610583005138287455479571876830439531798608231847455414916585969174649140981266732043	93976403539388526544152746714236559283849553597496193967744941611460406159853254480503005742645012430081497717704314385672142393296664740659845440717446545169697900777626717652920080088652591987448756354621423068017169616883862183132553789781938341844834748255763639949653007375217407312200363797823521113158
-257500484222279143385519438683271531726554380385322189343273352129785948886326082829005822222821604208027807279645391599327813501822664022742457550534918525843760733630633089178603834483894868169023346982724784374073143683076901290220698363777696394538936171164705532944283851095666390727569098295377228614917	-84373739679692554221273600965315799017497374667316695968850462563138212962049596345782869913429994991026790732494890622892673530393901835994712356314725768324268273516338028672191408589719086938660427415587787396081967573486125635884406730013220450108331945050168362381479697193408309006320178463396815983594
2565217791162550347256949454373679559193521919201202879113853363497434637620273468019274547090619248541456375911279276546219337768372484720730834704875393228851518202287012599553617440330716211845505483884638341475778081029293887366666075482007029532379127526633218210205066231932223680108019048504545978306518	86809894304673317401175172881561624515914085293885989353800032234289071483857434320967690209603038765877663981968850274482810599148110286839014402958439847255667621698582262969388473732139866392432139907857057179358885049698250263458911817087563348538202279561011831658497413470574377852553594764195603198898
-1161368916553017166877765092885933218925153339668577956036996371701964800712527442176914381820976065255290234106100889430858322929117814834288688292736665302166472402240645991959977700691248171151870743062235995594329641554100606221862855890587683063659350919075615320160059968066628275556893021299321265905321	57949986882659446248727184393790620682855819294673632207928187625343743457462678287551959523375025171383166165818870170149023982853059183281338100747476868163369098516784103127637674420307851743116550167840425541673399305089244391749132808717406227834764861470048161651256270506342531122708153647858863785494
2336452266744702187039932018766188411804307903529347048269758994562142242504929090677469829559718301746649694617193271347130502735590287527901714479123951938091622782502972824784487499860513733277153502760560887898669974202368879076225257636613672194895161874505588778066845395399882686618671133620499939271722	-19614229169173204067230716858138587047867818126742087804654952308697614774479803805889103325147113200481717111415689390841556597229892669446401282216000536939222820482323932819082533826154980365525136185700870162836881136512415955155722971839077272816207714011510300174457486011437877548307829944391539216080
3726790981517141162107833906129025637972942198904503846908343958009858591915537089361869122776403257440427994765551852234139833143587003771157183198408870750323191145060806527755908651233702808010671170882053520270244852359057667411196304544927498875645628509500372785810764961160519096910688935456712588509502	90846400278870602464951882030056339332857767877676428174710968082044265675855422493968466505451551687161442377119366871757584364913883139644137578777819252284005998580679334081804246446959555037209599785576330399164940287799357878354382225883217802118692651346801850167168647777025045583321810289059578993741
-1714996879392173800199515698829313777243408414871856914014637474472953929925461834144454092808043581661657120706163230751771449013350720241803259201112327459076612205920600473656566139519365969056244132562602088070371524156240766668434050043027169917620733028582678423285422232633731661421297661465114608270692	-12843505231210105025299008496114658001360388753695038473011585691085384509945406216794119761385709745299898455509553283386018270916864473068508834648282147453582066213320443979806682199750413049937251947928673685141243485515610980476288419369592259429315536258927189879746179802551802701849208482229487472058
-320707513758552536267860384079069227842617513416280602706470543253929450391045420153607570888303924765510329983050812579645443534438232255396787654288105436666703996723838246403943244381582395708904266526414236726188946697095741149795699294029354384708524543389952907438700759223420438269868506380725155596904	-99785678814222219875809198849750533208890793015415661154960176201016732488743182062115550135936137650598055521261484108568371069044096485498152829948358198118992232141369057809486781807276762446479461945910963705909536263782857577323721774460682753854770977194640566155106914472778949452203348963437080651527
1486491267324208315927812643318709206313442236463472111240399925490391511654618875066110385234075544495191082043452463050746299783263662397424603316970440487026590522893106953411550684941523914657959384960404624346790085643810883489019329532095959982282880022223221831620275542878486863171214001345519755400815	-66518811925945372150208365629537913197194963711010402903530981285776857599598766106514244431956075549671913342303405534458779071696780773180961362332734158474559003273044459338005134379630891694707984579862799042746062270721926051650002417002423392390938410379302466720096893094990457608773986169340849104122
2744397181283452454360263697483528336006423523215776110168896603074642616491786260170707382252897076462202275164058836924890121373016522638537177713404951185100384586806910643033699425663887053861537455044814728412220539621292023310951416626531732362021252578398794867914222356559146952171696747515159343359602	-67460853341781984825953590984201886672506339310475207521754366009057761310550397002799529805828359746336821669637639442226875827048135700230304808776890692201431599687658468473362870046376810555872575575472885094259390947557077915252710115967535879580098975419863338840704528541246286469385739854594565086588
-3516109206868237972466784609600122152755475812554455550986795566223742527778426016223821126067284932545596066743391974606243229791356410322039648384721383152011763860881454247333171470547128396065742563023379218043844386624239629905417897982467126497782403963634939431327029610603457527280646218542162328414473	-82331295196508413856216736496683918368473775925977163749634015101663451198000623407296978109002104103755100038287553170261112699355205715495563921777196812221976388121586083710154198482994791580376967091152661739245516582269935551897317516922159333135269008877382736410063672776087938395216810909861126169853
-550421694746990305885797021672963688677535136604325262616922861571288657271864785114255085213848551961190592085261187183410674012657156778576180807694928035753167478735635279386729571957753537588618077706681356966755068856380625554750688543538005625858579077447860146804365228079766676334014278175553273128525	71163869096168319951125487366247465016192795852622387815996334488370222263913856793944596112190764120030021132147413439116700178370924863179982518928703780053349924464008179907569444350510357695480614681446045839052393051771447754702602640012813003753458746965447217888660383623688248233590827128241347264614
-1037061907105326038017273487733325309106828444445988766858674229748679125708822827233105093483211690767277165901529399472920319797811310289584197551765938632055717399675148192009541272658016470414186133266082389398055550446198780358650713663483693021660303959744935877149635972722458159234550513040438575990114	-58506095459582136290326891611532711235323938915615649477471637316681506990512235836862920998189007925299530155220120155820036667335659005443649326489077416388991984544923035613944860819023642471537471735329626648663759295723223838870298913664480813956690126234820862542746692198533818488572094028619293689994
-3221035837302164815587869174739100600988416177224709071430598415632185704106160184210148597196023816761893376852048399159689044199300282550473163780999806548067838883371285423542635426150447338303854727498632931652326709732750709790219500070719619890282600288471352722564083060378120003928493102350241464043998	70069024378914444360577360359588344258562967720622081967125662887609048750484574233219646336218977573060756104195595425089808321554321190691972371281578726385915368970555058258649757707848315025699911458218915564730667650767035267600286525408500504620794394452182738298554980908458146104183027154563121262446
752234837185965308499395625763286559387748276517806107830489626064399997148027888413393544302158966073695906813221476162857863086596191170163515872031643325282653834887675682640816765984086375163476295232857533792926936417554777860313543687163417881051895304402500297483344552379468691175699185007033847013646	32558773062701940013425470455896877033147362881259767113409137692702075383234545087273347053977870815264871654896840225832706619974253789417007278750896420264678192370500026456180036768764718103336531255466432149315376023063465936799148252171953481660600230510092542029589350852660993243462730933703613597735
-3359790148359547630424887317072076795627498618695837569330090506566988386682411721178176854218342020853981911864265161984406242150285364626762271749996924746293160986545862822448549064945745538083115414194456754155236514496749397594474837560261296773049593888283377239130367201629420843914218405719896069940732	-57383311626488487921581719431714911190965964270302357952246391512422599347217816614019329968368266179737807666691737200931607843807464774481768270466103764753939192470270966936919268719993022117313977792411808222185012545350629308806783492277712530063345796337579341061132725162923321023546285437898020106322
1588879385578596379320095123353459796003278962072182304203625049655919519964096953819278334148610832741063773451278377136922821500768182894746243500893614034479959993825519868814283857965050759125158093524003394269341825561542675007363272685763648887693500173985063179301889447910254509319406842255547463729877	-98369465365393603637570279269134323243581544976847728906401455262992093102279397896393781057547148567340274395574237762297855453324601795754168363190044361595007525987364459832600445157923578572706765540311311066251255743373634134189080988210303830471982311350651906205204380273860877045756974597561852315326
-442677398789151499382834864419377622841976903691874283581451019070255568432689635731067976589156268437583653849818845457373985128697612005773485890925044547203452704173122402833198869782808938116752993196506786913694920428192959355550927217804941565118729929209761275926987815111921180664925923951782617238571	-28174758280137442577593091207307442390925635797139647905978874583948654753732060914823560136129108878370675478185761362559686688398842654517715765878810568815570917555969236494951993453522827333719362245360987102606607002878435616875291063484346947284274886148774381901281955915736823083778061928463489087142
1285952409359470637742820804734368408498015464376898267393146883760625859740819898818910022176098816923031790047972377543690237555390699415672398138882411996695237209346115243126052282760427542529703459228291428395441088480179698467387396009031052236839472973752874890662071495950559347335976336870123408887566	95733736801178901386054972565574944344337011558736675093742120697479195657566132227842575726885221554692809003706089969399521763382800376836810968984979177317993092813688260083335583377606780676677961544599518651671115577530588417110423197573092882781468924248922718270488884972938032800948630111623885148753
-1348711339032100752852120732296471613356311608960854428256413214509081849063530910494454925621891545582967785176251114592523983373156785488510513791086765904657856175803608125687281382180306722431115670765397712726842882314401536171057590133789820368860637043604013561010117664271590382322472718178764286802913	60522903581887466108758675047762173445401168268656619415286530857115787858262720631264536128861983166807096337217819085352838851442221823465538141924360903244877991289916363565104622443672796059289081586631955836508727879958951964429765202219789193743620948646256943896977652684485480380665899638481303519522
268664637668436325085929907233857985639260848017620603152208090810008036208629064679541271555299343136792855051455459961992438832300631812972953362451244618181842438506864139372867450858870365613036939558262392360372158860911414303575205364691948846070558216298269887520313335369416080027044371539305366254201	-89828463615772689557515920367575306326272456340446587723908911805398856476701736806071975354235473837373055528024187517241073869529427641767008287105358174224672784496199372813449200461155737477677411128153065432816883594746393721761649137219825866543779043894881944492369519506090403038398795938349850146917
-7615700156454142665151189437662619598801447272586369298286614020210774190147343433899552128854997606625294056086338174241018049523061678417432440970652751987842128205835282952252484432708908973535671445459576925103817245745576867888220889842462724996011741916595570361386043560748852509331231366187124914788	99710145689836667537765928645242743600169019668710079848455154226982197002490474817713936996990628809157020320674755714231116206669369514189478444401271921840842268131222534739306328471345475962298059094180423189039760290380422806878903546271728914913497243918864818233522915572694273920258456557568011884749
254488115532187004355209991019455181804371564041765700377461761360608425005084886931187281709306807323570001630587254279048676616760021127934924903977040345007312975995047365842224189465412537652365297952848073349335800437245020569091049923656960040845045990445222765234385335591114519037342846356757803784446	-82718797662855460353014001355438932686399718967500975748012891248855819362001930724004065152952074150330596944191891116609096795850275520340949901164888435411648801399992414770624944781779415484153071908012982902553104201823650301780781410604755816414975355275890646428005703036934947838533318478659743377865
35732676116023223449284000907473180232406457719708855155263672741526320948944903120065446715442852175159114534196751399476628166061890895461458678307455814949570702397813680641454644589844337159674254827180715258107429514537063340086736368696126398076810578734413517479741998729132606352887876031460856948848	93683519166525541077234116018786738451954079667130028914502119125470297819531435042351115074607529789078615363977250272647784915247867204834159747505997748073768359298733473050736115561657154257798143667020963595003416613827782241541924867902233013713317624999659114177681220660226068638612669954427547215238
349643071664226117855784976456975045031034492060195116866778087422860322954024343672857531711058002538541407269579916856172565690024835217683529249269156235161212133330563437112240433051868273203558101998183737681643559776932702006006034441927977019766683687150636948252394902420593669450416815310134581445419	-93770276424761962654450220577392325774218586572711007758679591424140753966792458791311616172957442472466097223157313771544883810451996837715090255349100241634385876815637956320317208510251021067455815499226934992191359403312559489407928018283765894279381551695412742044754695198438159199093539155582808224887
-245757652078783373234826026706356852353554062681160242477670088503298192039388951954031253080698632861493661104398472312879757602450753759578192192946736229720968896462299743428603976975085117571288047460818678313513434379305737661495788586405474043534733497583850651774617161613767878113300785745263271370215	-77504113839790908153903739813763317387834339698426041024108906850108699806777860418976410681151054500930065838587450730929158701138601237568324214757606612997668934037851934807335779636279818213540801737129491238514385424790517203364508556646025003923574181974550523182818120400965059939516848109453260986816
292973532832578248762552817727519465508324194135278324924598043370358300527451464210573656008449214908445743938302975188985587254725701333987926851385826401036158466374214975441352961818666407049676756602861917504573643341827575027253966792359557860687757499179457618076543130619074440157608772563321285558779	-97764205017305870695250065011886219545542058937382187350344827112819479650885902805888890567996579786369416436254701536244125325169175350636213771050711197981356420876753306778402843651492781428201992835951870358833094451929385251682405089006007052126053982755753978211172220866880366202843857935939536344645
232923953431898721062138492916269202466626363786598601070456903058268617928596940040297083681260043654337720408067417142537111933825042017945030078025688528445768099164967010996658740104789569403182618950336390669586977727685778483660523481860491376166421690397960896277161493023292921098403095910533159296896	-68779219148276076832199854597718618027125809151925452320028998788276867286913300881363779057283148206520059119568024047258915500457803308217551114239259557516643693982350024763897415163654820156820801588683846754281668134609947469124055844942973093767545164472569084234395406722667012661328606468837086078274
13122307568023260787206234722645467995758771373636330087619610650047203145224464193758675466328656126796929288075672035240499882754422506202225287989546348046985575712487665549260895785491865812753197770158163952878952950985471026100138763348665562266844240655959152206599336662983972013518996202199691576256	99140259974152603546006130649836895622153526713228493682362461635536653800213564594760262302862857733638995327657061973743706699734608481859902233870831308924418438667847236235371619827528986781826287368643662812452796159476573660754441274003083129464823141628268951088599684476309958582179174124653992071309
397120570369156427851859349441382869333182099015591378772852427860638728537379234152957076781362792517496356488003061361941356154085558471676525634784742437853065884593987544996653798715434831667540712128485799049100422737665354080702164056628791825173274961394088604987204885601416335976399706298346886009882	-67516125200844369068871892475287109701647823219635566870033351750064517688322699801825598248585296638089370745301243258000414944967237258741451099056238993303037018010607989735744770317028780493350335632677445614485901950845899756303527402705699247898153452007574930596399172008408079856203200984011104191205
-184919948287041929557017348176085336557425744285050261248861270339301933186753949205225630519632456671878258499384972730586008373112056811725462162761568533611999836587727143183627633427886591360144208199159440575547640387076652879381307855666209365370375410803127251987138716682791385398605680809310987970660	-27482064133755414188200804510898737241951652820309900473760821267970652999094156281147358652254832940670609206865027991791082337256969081514822868420246053219171629886348556563258107757158723168174843017512761924911704216478742143139028488006537297816592837632633887523770127785302454428392671182139671063905
-193893886766783417373842023165754764323628707888266762917054660138928768251567686728088205612651893694153892851096498439414868262551524833202797737042813616440285462629563534881254204832038310773574344228676959845266098987952287750146982415460117593333859704861409831656838485375082114731414180777224494279453	-35988304920890343454242375482899994503369391614167896680342438717764723859368452909736498154008160773645118246391092967423594251287302459440445604627324672793218959219098835737043557489979042047355405644163939317200142767698399340405902869930583167259991895911511540169504077651205155173668063709709666139383
0	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	54030230586813971740093660744297660373231042061792222767009725538110039477447176451795185608718308934357173116003008909786063376002166345640651226541731858471797116447447949423311792455139325433594351775670289259637573615432754964175449177511513122273010063135707823223677140151746899593667873067422762024508
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	54030230586813971740093660744297660373231042061792222767009725538110039477447176451795185608718308934357173116003008909786063376002166345640651226541731858471797116447447949423311792455139325433594351775670289259637573615432754964175449177511513122273010063135707823223677140151746899593667873067422762024508
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458700	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458700	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	0
-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	0
78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675	70710678118654752440084436210484903928483593768847403658833986899536623923105351942519376716382078636750692311545614851246241802792536860632206074854996791570661133296375279637789997525057639103028573505477998580298513726729843100736425870932044459930477616461524215435716072541988130181399762570399484362670
-78539816339744830961566084581987572104929234984377645524373614807695410157155224965700870633552926699553702162832057666177346115238764555793133985203212027936257102567548463027638991115573723873259549110720274391648336153211891205844669579131780047728641214173086508715261358166205334840181506228531843114675	70710678118654752440084436210484903928483593768847403658833986899536623923105351942519376716382078636750692311545614851246241802792536860632206074854996791570661133296375279637789997525057639103028573505477998580298513726729843100736425870932044459930477616461524215435716072541988130181399762570399484362670
628318530717958647692528676655900576839433879875021164194988918461563281257241799725606965068423413596429617302656461329418768921910116446345071881625696223490056820540387704221111928924589790986076392885762195133186689225695129646757356633054240381829129713384692069722090865329642678721452049828254744917400	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-628318530717958647692528676655900576839433879875021164194988918461563281257241799725606965068423413596429617302656461329418768921910116446345071881625696223490056820540387704221111928924589790986076392885762195133186689225695129646757356633054240381829129713384692069722090865329642678721452049828254744917400	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
106682337247105445552461777715372107515031388058076034882282659846892212918718853754705986327679879675541424952047906283158622984838808879959302187743644530852271002968639257995735808731868518149096911389981408685702018296851131912450350291803417147597803433751580344189535801215097699084561201570453213877731	48290834115659517061120028938324658585227129035624638425595654562747412013599712872750756788547072688369463759591886365680056640593553494977255836500268381191507941478772278794837574544026917789914770117015717798112914078515860920913606617645172686908559163711131509397693257788483688297639496503313980907939
176765571754536690640877561959078521318125854433791797144378638125095679274025497984825332948220984302363886324731725419833559064918367578501553502707687268293921801020237121045281978403035034105133129595216373221824529874671055912093556728855334580904759464070704587709112601027463784779391370503898450110351	-19559034991612191364394157585755390680192988376574958863037750315884139681016132836070434086271596341936408534144823986374928357508052123993795496440030358022914818755407935379622227623492735040719511556265262536449165560901300106960513662752585339463784511055427936768238774207781860674960123342336006927338
99399971539689896182501037471350916563310732422572754692710137596030825317500492927492726204369603544325944788860793482067964837583802772482236715654062981261617138308603643147742347628179214363255109931161567668280725824049615654645626444215457969334715517829010835609339663189145270159719320737340231117980	54534161463005100124274508080552836048294235597950133109319146660922599223807579050506183162229773959933389291565818327233055171535828069620935300479954173305562796628043810436105708479956681242526211927461088463009274124533430191618283430019574611942235713467082986811257806524474417964172078124774185323198
636585054867493223697434472602610628622113723597042156875193174054428648764211050764685773963836746190730521749217920195441757440088223901681748958734896219006201553053846106587217246031961675971822663653192143865748014278640183078056925376612186348019874546645974058405785498787653052378751582667837583753559	99658517420187067114891333385720782308712041706760204609102676109105949075296954023749747194861597163571037968305963690101655266191726715252893296952805700455357513383592339329996773780511675888204422365229961574544344550012393881676685158304287461685773734094058415591013725082273827962679967932883521305392
273054429710167380547178069343885609138700969732060663480400868023791107359529825671755665631540417267180237198336725296408397704669321704055450664358803031606422108255874996513987032971844290301404434371894563163141924056546943186102955353978365912160897451004370999113140172830882007284888275235710489211200	-91670243423655168775351628346684806819230973575757240579748474539062598549170120740940370742075158657292131494605787665957676685841880798821516588011592194022832471522394275090056160984912268433930412901246987151319228988541916146524089949152722566713987785674575349812424642123620770008770512967750580615488
-420129077093567368954541570099099114531329815078094105637232287787620780128846737548287230352730042791616200037959550806151962022428323678613630874869116731630408536548407925113135086089188953611793057862883689881725351251274164795104694810997815567524714669764912378940964224171846959820863659049658108018730	-48913540856865063377268185739412638582118342848753830223254187530001403923412536713752909843735212304138363094650287842380704814116304478286552200495155833919579677092972390378886237979892722875710184915104031766107467500017908451245567533258186558165999828576928938916216054137794794708956012379198450186438
-145877182928652253667350484031999197110437592310964133455776962874290409171152098184298813393930661045684007913164604859060258743553267992845854857795888670515315624973670079349068230217553971631315420881787258805295374764885293094582574065191564889065903237880603386838930079258140398911926387356401612934568	11179033613829398318946497278312762101512332367935516685446911732670075867701925737618147569278104003290781449296371535652388975532524055209432207815794946261916534310308709193390609659131771146567202415260955695168747377219388870220661268979902681207553537824864246622083064572697505440509023543257965302405
305171314467206212069275076989290167386065386393016798940197098218905522555569343843645158035837744899037614840178164155153737612751836471292342665952461297422478571595168329574084668156468144573056046512592198133870359273665396574105958002771666914910197281339038719508640173343677897509993660291740765478536	-99596355534596254515172690673916588565376842676773510894396729465353575033129768318278365870394030029688888924122070454424895702081023288742921733182384817611376591890029821766129108308229636011692526365080069692977263815637519851415921252518889765151895176144961694565128306173460784405353046795881959403066
509872553922919770703428560647240941001657866955871384926007570454984492606033195351109217358914717958282540427936610707057906261623333302132679858009985937592217371807844061881289968478748441595933928132115967138487895088543941297431146919028479680642831081493091411897226478994749225683551854491070718483230	37679752157355259989481480233304381304770563733514812061243325468941996744719515398507442603535529348966842893250509545611045841864428091236804519982434021078843935520336820938233597937617835733261736883465107213665830233452161768462812699665640377477319937445008757536747811102128102519110777355673399043158
-782877217751715264909225116735197163455869613566147244670606614546645033863421915451309834959259476392939521404757364899333365821888279415078424138161464252647177020214780968501376510821512315248376441245168056264656804782003338480797704805668383194280840631075254891520256358142254634662127548789138640143795	2520678637043487693582622543110407196923077249023529570884327021719757878298669423992319484413761869520278350352625368082210272128804971144139082871047420842762030116221817838265877615230202446478469453301476386006641093283177862339797152861167966904694650173814046171353228945884004923728537017017711110809
-407112174122395026182986930585638844682913517556732000237143539692366677940524490444425555274585541038280938736444968907276479730052045923930518777676471143556936037650433315380730524607284445709087791730796674852765043184254192753929861046410297169493403348538406264033852960175489457420738345534658500441666	-59821140872884539654386728843136882532474836570550977865711375918675365611172620438553912600133681005329950059416662443863039886223790254468058917603939934752457461213272790296234168891290061555166484738466973352626127050390220753074910658845328384765857395717115508196727795980428002340278173361787119652987
291804447260156251657171507704078086676701325174159504158579895533765453725213569193410324426639533658098240829168293427973687341978315864870412552366334466951899090004822903726603878718394342749867264728241156502062342639141139876253473831807307886629293265405892228813637655843539992806243138115444889096533	-97511698968852226252185669529535297866853994191591189302665296751556650254620554154983206595196143813840998000390965918173284756907728949861090614117734882025382701622175096764220545849060346036721366029618486782175378078089800331679345356401679199233355471259171778619197636958888941594895379557758632993274
477912555147202066109228092251426090864598545592123914857629017049872030791758580985948465253262377335714277347552621438923074354559827548180599896835476327700006208839089197784320680054073785105727501280113413836757729644883595105684701277087859515169857947230302716995399324249849248999517836484039096162628	6668704389560230074268618445243505535715538927471171143903796213762458416483691310365119202485813562303558205864095841275096603775643653885934102318224770842177075012244077803187841298149456555125885781582569438386067356154856407074059873862363523708392390791461820909391155862363533197687976974722088014408
670933143866411445445723772870635168787966945083441118880806957182918263827031675996009197736314364964315179405348889363441284387019904175074497922690728322383397694879335699612211951983584318034711865008649496732161646646856587841293097821390308258460074068799647281224251794689919129331113239441806132487499	91056556084972472551676442839144381222493563682863736902942227658230140002655817690236314152228539134926561579564097267566513407740862651764741152318039090387515011064847494555676834997034230985836319220142938048967824184972842421560190516924218151210394322326639472797474358318951765922209479521674002149425
-162695162739274564512828332765294504261938243884921265198541716691181265222467304701830549439913653053021349760634166735673215303570045434431550485878540748214898061312983246513331071712416826566204246211362893824410037786750814791358368775497583045667964681982588465603537848995019240634382868548950246112739	-5612579173031595134281442930099014129722527457220923404636156627115440684090952843062907231479150845066935764283610325693295885350811119767036534230668567716253914904888358294948991222273900917094046195689179684570466613921686646770193641546283704905953308646173974996135255818994715660969078412462545417853
## category: catastrophic cancellation
100000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
80	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000
1000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-100	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995000000000000000
-10000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229347	3
157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229349	1
157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229351	-1
157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229353	-3
157029632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	49999997916666692708333178323413236641588282925361708608912221365946590859887503735927746824901671720717796603143513701691135388594253096710418107184273993057614285071549649971423140102401324995271884715754438496535533165451624458464794645728774143885914512388242212634103626191221970713020838878591833762
157129632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229350	-49999997916666692708333178323413236641588282925361708608912221365946590859887503735927746824901671720717796603143513701691135388594253096710418107184273993057614285071549649971423140102401324995271884715754438496535533165451624458464794645728774143885914512388242212634103626191221970713020838878591833761
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458698	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458702	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458704	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314109265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	-99999987500000260416664496527787465897790548872956612383896972786515891570616692267931197707894551782477131437547577866793190792543876622921195543585162408478989652576315101278815063582766956299027049942908357679948557243546705338596838591491870569455049128415917165822013485474529066601958650551698521725342
314209265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	-99999987500000260416664496527787465897790548872956612383896972786515891570616692267931197707894551782477131437547577866793190792543876622921195543585162408478989652576315101278815063582766956299027049942908357679948557243546705338596838591491870569455049128415917165822013485474529066601958650551698521725342
471238898038468985769396507491925432629575409906265873146241688846172460942931349794205223801317560197322212976992345997064076691432587334758803911219272167617542615405290778165833946693442343239557294664321646349890016919271347235068017474790680286371847285038519052291568148997232009041089037371191058688048	-3
## category: inverse-identity
-5	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-1	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
5	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458696	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458706	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458706	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458702	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458701	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-314159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196442881097566593344612847564823378678316527120190914564856692346034861045432664821339360726024914127372458696	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: constant edges
-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229351	-1
-157079632679489661923132169163975144209858469968755291048747229615390820314310449931401741267105853399107404325664115332354692230477529111586267970406424055872514205135096926055277982231147447746519098221440548783296672306423782411689339158263560095457282428346173017430522716332410669680363012457063686229349	1
104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819566	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819568	49999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
104719755119659774615421446109316762806572313312503527365831486410260546876206966620934494178070568932738269550442743554903128153651686074390845313604282703915009470090064617370185321487431631831012732147627032522197781537615854941126226105509040063638188285564115344953681810888273779786908674971375790819567	50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
