# 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.
-1006930714290368172558102201333839264593679857975757192140795187965477754680845678833514609949741181595463962702075257814201381058960829878365503790629	-788851539585047796281133843988758036872478835212595294699444581245760148858121933974553894669314688637872275990319718642479529515940249026558135260262
8536320944590805711669749748727476575734191546946511182048366900270479270710900262701364769519515213563454412769311481338706802193201243620619127161	8536113609904819687949059956802243391921384311493951680350114022959351546558322575131729091176434439624292667283805166619046796166538038481190375900
997447091499521346617436790716680338102592013358985958015086402279994638226032823425177449781317562819173601493440887777148216583428109193539590221006	784120078425243969580994414374088451109881281744654872403080309503292125012917446483623000999872224247244022348976412459919422937880137005326749501743
8422284954825788270998965834344740777017459853973658695526783194551067907206590669929439375654868461703803168625149095307532582080053618234904724428	8422085818699435431208390316548627770926907208719367429427189901656573948589199691550729716753510389628559714811130329052046912557032739255332163191
6375809346921442998819452213241600343865391813613685942285066101111976259792406603686254398550072654326437451782622168996972252631281418077250826815	6375722954803920129840181426752051662945850566881892081875587964615384547120780481400608564913175409266550061368461132182422039503647788411624534281
-1000477271766896580171053078207525606753944565572025611127177093975501872940142577818198789823202182531936690198917758396676353907784506320730311132108	-785636742342871475208134526522380173262172679244024137004928867667857625236987444584869854970240701554724911682560445795836739527759922224288408180374
1001262772862842886804031669972841464677666598812850382502102889239145325341392980317369866626870025769106039076477823655590198186321448381731534912316	786029151347844862725686261613303523590637997001251105422205519265221590034780222766340181038605769092124072421191702934457845185029805403578648907828
-1488938612104555804056260496656457271576099290158081434655385914387756469421339221101073273244097546356516643080429677153003031389242225942419798593	-1488937511811061820907623852812754264885592545184900082605829421061080212326399889380669867253647303988071120075393136030436430750972765270152275029
992638494845629747315263434806528590296873517853662210221475410444996792626854315693935921450390853511202090491721057149351678999329039698251211399005	781703829636863621584017303241348810318135508241356716823185900816296463863231522434846609731246470862191586025273199822346870095828133880918602911163
-6964024780341722291098995952390915272549793525816152048930361862631268177715921386132039524744078018738882047659724012109837803588293301135259574895	-6963912204025950415883308031182970106372413413990538855108997240888997016855711547378207501127537326746885635866241134667298774785255667381228918688
-2124768789229675222701892517225363395220519602677948525998185422262444970057727016652649476240333979332981179772658297498390717153003922363001027792	-2124765591714575806984579517069758411688422541490241195476921368685501647052861631973418716814680827378892917773378311438692827300848036209055753844
998235866544783087299333241897004951953550838739920184797702663493448190633058372256104385804843823134337228640258041500888948773641169709938480968363	784515318170605189298855037534873107404019940928498314099366896127851628430852751292666300164110729910086765590355997200431567191803493930418564901000
993391591610218536649139265366924025676424874778872146122362126726483679147836726697835308643123625253142918000808096086541823696209951161696051199972	782083017387828796136112396660570669781500926683778974092883842774935417190168435728306948814786984387970520155490059828457070422083233815989246041509
1006908086023562700491430819736032071704872635384146105451473939810523017135228966703110077375260274784861201143755706857373150253072327110820104624198	788840303467818103956444816927818042801889996210722067641028308540287056119454472147454254510520570454843851985749347428096779801749562972580062833687
-3502770720485715671522838804378525758917971082341745703450529578585352925640350988384432522451104434120921879368734475625514086658051918629615839769	-3502756394956306108458620677284177299758510417792904740108199617821722342141545345475726912552271149055282377053985171651899635429763130124754981962
-3790380186709288803657106519391323428034837905526219093301780225220852553664081974254787077919452662059095893491101697193174109889382499097165726279	-3790362034757840725657139985993923894471610093408792546645668324360508548608857484541675286080109510653141600387750541763938433591097386308487462446
1007501716147724138141872779693067793469540191062174096559245054047471330406143246440182883876214537275985183498465954374682472815904145564981019369894	789134987714818732651287243990752712644352430941924921715696078903608106308692156081765508982910743541046358033941361327717340038136630927333034757089
1975574964094072724297722877288377046046532925119766793767808181301857157161918631104502253385877523847853961819043853595652000768946787955238769595	1975572393945260717440541508699385674218497147784366575849650404744592301794547717750208289365268017783952979631770615528698365916172207185014578770
7584817441185306800038409703489674319789165137955054106487429675243446755446887884543139350653055507607650386912118955489668845747814380530920857472	7584671996066254585981447148637272366691635253723788803033541429575037085882680878775301052284763722265483129109698182976716298123520808382322958374
994252743983345366901358449195266390379717519898215370625041882300098087344480594222928980801354184772203969951729705541109037306810696154079755443448	782516261831570264006176374954864733759614562089800209678079530488803004548993154443773515313935314251878795892756133356310309235975988402974446202264
-1007063029286343828425395587678855270486572494805070000003819118905100947428711248982409203815727898693769311842645854880030334367974308392931849833535	-788917235806923595904878114753477460795726727326323400548561976615536054808254049381209160457964954451163785710006997313866653722280114068066884208883
2320945974139634372514197838504419580745170160677123250502374687414188149488719579260151056882477304137136656325298937526084130847293122842916300673	2320941806670083018457809084897872246707292637766885197161067378301794988412640328492053974301079301842323319811647237734642331354334003785300066373
44977197952077873967516869312826216584369646993524783902047295521414094258993983241051377193826328823840267766925619337748506254232578178458674991736626238749657502219232075215949286810201789238918006681818865606333195244884270186366552160240204618031431421207309090091024591581953746613023037227771599305	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-709360086173858270617802157631719524905753473730188868784678938518593694849172517991492432088280682918891304550699381341812295803552072603971930053463423331269532956734878558789262268468292799218616513203296247502751367818189118757271089972467684230924429826920118682711885926915547686257981735486011175315	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
836412563160835240647120423751965295280124414346942631458579025431015090516384314300962243359943672852769713402238971918096050508702490613649754047642389127464964492351912709037419648770113619224502581306958898166604388928195742211892600766810238998894834590654732634900504439447589128328702222742818	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063
437611036538992783445604331266949873153293635864463035267377243230798906002641350796141049439435137726416427521353416768554439104730605991132142822940731029608503093723908267096555265838834331281720986307992781840815310696247773898557840501105198988941300558594398713690990322966772059557013704138040027259	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-245967581071667270005845699269022053615637206721636289762332942308760678462873012267642389012390570782226786070674193375046770649907146701917393800506185243615498481823227885574550970377428491336688777782148511362213275188572315306515268525007523933438888257863630168735137158559343558209218218821005	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704060
-9386325606212264762382819854707408225896619242082427954878356085037476328969350764848510317734266192697170286846897060323666559333213990977937835194286087853052923134196071542727250462147749355730828470797316733728138232596264234021712050623487746579211791976371662258708488493240084167171856335775772138	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-844273932682795387455604793591841612347465294887303897614885501869511049058206954395810985587471569823621700561913379553992313575541012698790002451562713515355418186666466110594784133937823365096830249477189102666398117648921343735353811348864358660100389093567752135690091932366808518426724131841884	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063
535210999610336361239125948593640321085784683228279138974612169967112641147756156024296230676481203699332221762105454016256429186795217082510475169400221257344220237601013658095791666720132750547049011856083698485851125929976877307759938360552742702259813654881071071287235277027587972260269265359376774	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-990087311804180666770368669936692968797668392573116345067214806379032804449125833080684413815501309724606996501859610194027596453005684229075828172531291263060185915003275213173192664700284340084685066723101252966165752952782561373317474253630993566077794411196437835130101386144728583231574524144319855205	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-88163561437988026355107467755721061207078035921598178808383353906624729319074475548867090708845094158006617551044003953780898056261787803567479182191345266415849437112457304618072293724459989967384574072427582815288577320663939113647835017587936623673299353310796226258647537397928024876460000522910019448	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-310792494926258537673986103198910974725017631767850648504185511013017375206467310120152710234970882359618140406584545127415718565731570985561729111873295897550840696132352918794722875711205115211083519952717064577810173479531779611129372923563106035913182813325707996938913827912891223656326607774071615204	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-304582053734987035757512314114782560817849044336895030573227918534239806094612361905136668047549739214482395496818066476747622577069242578445843509901726592190133687183126671400161660615584050506655240325397566404717596817614569277572636275336584946528726274783827866433824336999100161784092716080139677	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
798965208351995794406453288160184091858850648744384673243798147179414105527340963413194200778477448537154459608077500041739462172669566149630456772393376674270089025013266055948845124991874638738390505887138133463481788761321235478986565194821942623795800069830412240702801459713908610326102238143140805016	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-47983215268240500799715798127795877950841055290930023732948313832219380988660431470239816673144521321651245651655381505331091165233516124853538093715961666479365322211728475535972283741685222603868010468868889658868703226402734924433360707968035382279453988726947112884509493967656660300150820780894366872	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
4160287204929190633248407284269761524584656211904892819896505640711872172952651249753333064412423364599802885527285497386032856526484207038943343297197265149262364665428842865064703274976665161337858899461582937154559248675733215769541638226911565958772913935247846276947244278951142128899786118502013795	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-640876676354569122349626295166509253810503691341248045407964019127761636325826035832796986419199996358871965453913856955850857503873137583238390828529490028447138205170741726664838320858012551663413517307063375249007137287894594036355982891350659122220697247853688302727320490849297437724068010370535754557	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-492238204103778412633313979766850195501895031651169957668653814663110753661992086863039520891760685757570333583240999823778025021361465569096534608275808950635398224259001115052791293792438725134065294139627990201217142925431937649461933164359813046495925149740172928733757934714706118255013985661737567471	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
60395373281005387746922289104236045872869405866225783387313463112795966871529968102577995407796222840269588480215421789643239213043890813953323965558297313010418212350192798134220869586741024326488909798528887652704570540634495696474763632782536294120508913260934618853763920193839460424959362711283008079	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-4125280604046123906837996886916247921320009656369816452478454834176277538601792286479545379836153492002652559849004490155265332428140286386048212693816446444202607865858637166001092186795016105209086243605713506928406306587290845659496064267158547669166162638145685904185469328883526100411268482202200748	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-544668556108327604586892467051452636355019093210619476852047044144675471213203129018081038607101097821053839521898097727644310618589364244410758375563782146285783574574051477864651833086582279867226743339092617579245452627627819343050884881630615263284551522842239577604977614058253959453242315145868879903	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-12615150097139787696435187441228515259368202429232114980707727825238181981227291438987990644642893826468616211399123914957257409766531616955299463440590133660992103575933008898211728386847367178092825942811817200347889093798830307991871105190106731928082802331049048988040520920428226987532318738447	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679703985
-378944117278848984466416712311760803601702447176555885006430285147776403754492367263124986545391947917734354880029712758618274558607692406927168173036013746180536013756539325423546232960577758346344757283673562893905014553092355676194761047968935004048477357561578091523551353805690607427881218698461489058	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
44191567466372169497364547116625191714602628301905036628666694191154830784419595280601361304055857752160897347547787989352320950179671868223204017262264542722898782093607015267824011732286935782827156236563302035659179900027327751426026877865531326555835238324061147081126793244195001256595690940838716537	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-48838666581896315891995063410713040069089351805027407966171745067022234985110281076534021124265534806439682054741383813186050872352276465492966003844087747879698281054757642243667260504753174805224527197712106064924609220656538844686565103401994926715466710715249162375903381784750708122565652554926129516	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
133222222350159437735931944261076083450639482563380178382801035453438926724827679037535690733829228739164884614679343663637421561108267905493615755728311921920096519157529442653589620231890614195942245374368546012188632787855267669962445770543996118758376763826379091120784750917060108057173997669664698272	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
777305874365164748425820994084918063035926403474062311130174674469445245278898158237206323552913780245363639721432541416153349406475187833845605305594388263973737147132166775951072009514167375691936302327429343307579555089386022623076265966691434189917938398594196100106640670259170273828857888304182	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063
549809370328380273278976495104573911439251557465475087312487657687598342442553243262877605740155821279277671722092284751096575834461150885729578906287259103220593542300521538221233956820285535592860660749917052824924183984428228850754044855811714455438935394554190141110009742507435171620805091589282082383	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-991084512251750763221145773099690004525763078201786272266497823385364647609969195225168412413978670203734121026828139559375000370192199801445656069268147595119308057459985777516086569581681536589992094232751353440978446347958575617192768715099845091007311385318281634065479585850111321545514081376001	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704063
-51053867361649587314886220742085572652911723478143450403692922545305552745930400832103933401893209726387197299930637430066918922240738479773685484659129897264977237716983666675185376435041890834904900300323317047685014054638471951086436977850147698683942435293740634116550397562060810972792540760456612324	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
197844730019042913168453019921124542427657005064711628876517334647503361046459332004727786987619362490276165358505087848973475997383586234281856951895919021798968973376060538407903817713806374884007501313930079791267490739235845595179007249994594946187682560515710226446740400287607746605720950069850	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704059
483493049465889626390727350869678525285810849709354267164627618565450407726311161590738002910045492947259076286056788716952439644243103113769293080895035201820218033913333426909221075154418922862651467472586862577556939517573687694940496457140860737155119066149164585837517338695120529408904709281264546	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
574311516944448848740201355047999698553284272904583636435762246574233896179115345041313035295953552955766345503118460017496062838186117105708502838467564780495829465392466986933635545283003217380358281462849804653068377591800017501509648296628424785245307050480825872030052519222995684992235049260128	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704062
300620784214012187339138592835746836465440113815564508955324400823613349529949327408941039486881601920783287739766321223196856719991915782834878626224824353955245395968791923387348597783406826919083673565835895304602080426494173989463676061540998574000168989858552067626632497049039421572870626569506877179	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
516250507468074089999226923210586013867597162017552165124919949636959425683633798209443901098912215176000929167509373001077099438343472772732804076140917180244771086257041031235463527111547811054477569004319943962356313793350320690989810498837209048964276269962532350587207385887340748445023010000695	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704062
826696866091597519040219268759034919577122586659126810955541908704610943069933959414963869020921527664596534016936008184118103348988140164317775420513171413749915466203249647107988954940066900885360233623758613671036821260091553368877288204131031193393010425237796233738527150710908354587618998726922650990	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
953506091933184187708497326746671029485440953488286364973183419941936822196572976627957607154423196704556946221008408541379166644278086499262259658282712137159583130240214925669934430567521125420047805040853897944451556495937378239674366873190632921387696505651147038369492987610481000688252339714354672	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-79393128090152826033891519822920740951813591022103473850119868315527433232297254488009284775201327330153130137817028632513584312518008404087297081468785417262673552089131001683976427037968173693756561276094741531978327860756491058959323423045342588972021929564824627058535698845868129103210218882934	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704052
99060530792707178350380300237183909043555833652724549551791806076543535281356950590368255429242762148831263945154525918721313412013622710267083641959298053352064260988556075494820928299631522391629508244347404448723388888785570695527287792854218370793460472918934562409014921255406172347031148843377986034	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
647982556568482610399367450012966742899561929105207301965917697292791348016370625075259697507882256928902279986074717223825013936613568385144146524536677568736723365991085040105714180842494955845284317330699567257192555766753255883367397306002480692135964835848053603847383759728521670468015895386743981	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-53835059685431731310461712609957106564305056962502428584009712855764165881850740479734077614547616103543950989970577387390795891458637664031012395644044861597599172822387969131819792418204211961827758118733817367859636661266282633328313065074164036521761771337377132669249050108271070546459937457006871789	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-47956044517625139322202302549897116491173017810474612311944098789656022319754915985394746259793082621348781320503749032016475819964730142883005722738161273162531464797580798190780574623886797729850579772240811359402005181690371914443361859989602780248403182415910147994755024506158757265104081488404734173	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
686333478000781667488408465789379606670815082708810148588130558958798638562398094139403058532588651479697243590085991286490833436856200140515179798686468968549590261765082109242070235794493835409497745053591618336778925228241075703884594218732845112352431687675926733192501782447705569262111732074274302	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
68736003816484051544866890744516585394725433404764421434367804996810142278981784650294235448070299938521520175069715793366049033831580440812293858686673324961443878267394908147152063252496519641807538608100144230331649798554136359481306383420903254261275039208712038456158668028276453339497164318461626259	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
73015652386586263697695302358682887705407864034527264276964879704622235331664578335990352341526380490914505134697017578821825384707314029840930246370140697603811659878786392276006284666006093272896595279443029352178448654369703449743682439832926716508428517382165584009090113203288076319936259521283055042	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
5684261728613333314412439748806738398608966349889278628404772817071632149061848885225567220618616683760141210995574461454915073051601969674987088674397	1396653926875471503943093954943314217350891187469044244413727577458334495252649204982905560960399741013892640648023584632410324529117840290634151696947
734917378812529831588693420970546410262860481087153375981074639454035194799629214502714326494106141513119451019043908207058275020026577818250922577609	633778144478775038230140462494288971988972551809845014546284545313050186276508043568297336128599063420293992898882886093373883756439034720584405906665
-3155068678083419719004157858972596606488659092977778633498125919387092636967564674868517803984183476046966774107989695530592576419119994476990234911161	-1263862234695059090953219159545029358547156865092506219441346312724477752765077416258219879017636817558425612057008715192680801473035331435133578072215
-8484481320438387436097772857358419855398597613322017538451869724439318040000017180548531568797692757737157444919155713659261762121390170063096761873760	-1453475340919911907787326462656788155094247164077231098461716926972905431047128937807181673235144050795062104831483975034478920579617449084047846018385
6472472169932695209462354959093330178075374210388848070861825618608796337639165375286064185658404298011287895423569429347173968984241279586320963028621	1417507872719879425450191722517197493183693759146703824861134431500739775503341323221452612070801876521239701701946977050913634252478400344584258167762
1791515564764105725297032842420486286923693458489233389597426598530520690796371883549026895266759532708598748516261534882551729784012753717435090247770	1061689545468234969424086357566636806441177520601730116935552386770873984905960615985388382828485254967672725913832465222890247272266649686558830496424
4119171420024598505474521317840235951756438745217671244776483582294068013290284827100331666548679928799820515148421299072223079306830931992125958238786	1332636437846086321253177345505575683645500119700650899076608314866535813047174492639727432457199584347343319705212024522090778419304068902614938001760
-9825632446149784850619006511532144019560702914415367729217555854122948713666361714307138085371406069248179896843856781162710025315277599017538449920122	-1469370936126871847313559116541313909071260669073008447726464538610784630799221833711000776124227845495111567059030634853928871468317958833464230303413
3373290666058578608373370389110583331584898197807221109218531625661740012551229776764972406946351442172542970146454610646495010719937586430656392449250	1282602861673584180486925966452039509471044098726110404158435648921272393191105075366840712919259286470997246507944673550295433589189372898543267356380
-9488594175074713167502066858807903438418953733814978725561416746765756426477898084314334975008773748880329964733167320085246057944724429839323010663737	-1465794244120773057432641273163094470827205304120206066728769699065022980197821247076601406688914647835063238089709125724526683872430677546450110714495
-3364858152151916346148932192079955459595937597048432317565498014206348509869386324421717595268616627436945683909084370038735247955584110985077357954834	-1281920102767362395501150869001461197534840447841046761739570073270412850619510003840459046934004822993753908383324712217503833299967170349514248946992
-7951053013167089572024391008137453545330681305136101771948498879788607408500049843753735065055970125899302660451052733928059226819457614525293672961305	-1445683737891883031768019544226138654428824269085930687832166445791469332920283146370372569465004433966810356400498704211515742025834990422646193891284
-3671257931388400849188483823480751655934529003866623239223658063954244758969610486010170435362811380891078921284523449953425328291235931710909613306178	-1304861764398878215293300376483909293579534147698383030620683577129417016623719490526566566009642216445796241243765474850353137833473350878102857826098
3864562517335880637457030461861291068989354349240741067643944343598575520737992956396255267638682049601092013403474291483340859507518588227192409612134	1317588694914480838971882199466545097798766541837969450218695464738529525258373240235900808784684775087322667284595585752553628206812387995770120106602
2522756145587724894492390561253395599563546849096602247526502867393049360041619326268796809522704835301475273239203543616602325422489463023341876042644	1193404280250409660712972154492632864110812292424123997607834417056972556099604359093488974842173599782005219508078923447812868631355523604620725275618
-9120458712553731188971642260578356030638240764091477326680316654420910825488810802872023854882913340601518343203709854514999900520173688671376886235727	-1461588944843628415413112879174163579889797629853522684808296831220195860134813717034550440075209928332672956684899887491796506573318405555009496093214
2345589975353457626575944896832257468858418835878299890961759300882625808474312750723311091851572592569339342068151953807240312384404477197313915742116	1167798028139967354004920115275038052558556819471331556114204276904705117645320016367564690896629289241737954514708200618136543290068363505183946653993
-9920818525738783118809981652706117393198704407238199081745470042336316429964887201344696611940154428717357237636430747395306301712214988155213150832478	-1470337504742451965168213762945093105021970438343281445618137828593104554113745501649201087137718279577366927599657692046203479954832102804514738378631
-5926540022398647873345657239875143604840459848399423274973787895610324194302768243634065248358880531836414424304383023893943927647684031080656476118492	-1403638311153658211058860471011721932940282523894461994088856191614177513841336206309169253505052054855096520531312354580203249380830173185571032085190
-2133807029805870248929726521639533328436940226801795734527581085530400542523070598758077354344139558498512128431843515696562985648971048966308797478304	-1132545085036953503206699407962293746377018263177411009407440910473279011582713036990276575007991421082205678541572908566387734263365054035777840027472
1418955879762281915723819526440337673121536418851966957024721676292368007503095298094751068174757807359086383056499339549653126330821518515890861597513	956893863266590240576847175892768176178866506607605918841277426165789908543085669437184053276624248355620914681853282820167735129662564541226724407309
3859875654032054172858759205280833849431238077930996918987442655864714941013384523634513854317836392217393214020650614896170442933474175280953954458756	1317294233493045207251462653329464211434621426463830291218748877401990822360112484295354579928417856043858310912109714043235547747452664851033369153727
0	0
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1471127674303734591852875571761730851855306377183238262471963519343880455695553844893404788236772162411515656847813754353978995238212134203072377631979
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1471127674303734591852875571761730851855306377183238262471963519343880455695553844893404788236772162411515656847813754353978995238212134203072377631979
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	463647609000806116214256231461214402028537054286120263810933088720197864165741705300600283984887892556529852251190837513505818181625011155471530569944
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-463647609000806116214256231461214402028537054286120263810933088720197864165741705300600283984887892556529852251190837513505818181625011155471530569944

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
-5249929936974349307727850845943273996250085672434739624589908956749367417100299473326422144624019938262776248087769601081219182122609209626831944840349	-1382572368486084153079882479940396831051366460328873080263874185411226822512385472606142379063425167950336737330998028449739423524869351361908235269235
-39831581749089156089855055204314718085869330665737541127580411660671791332273430049186125971769421870550762856900249524080870823377400672117755851749	-39810536781729553702512375686157676483998974058261224624475566905989216236864643910422289045582834238737492459311254929525451289592696617636333739498
7685728011257427990398872563056265140509422923924215690732741605882096779081484017597161400411787535158946447474199350346632501859720899419565526503830	1441411882073806989357270408219297519405460429150990498952408825073701282133775125953211448888274142734529935868432102589069688478851454860514750644482
4257914522928615951541879450157020968091954814506311384838408184512555911343602249650439826414044665749470990799459306375177922997640798121324892270315	1340120116333912943283155189405808374467727588690100794352468909616925974735616249929426584769014174738508453249511045182489725373170875926663254935370
-1657595650735246667146986398582021641313135335473006159398025551365463094308596992902895383757557194000196289601470603545710135388568979627372718276565	-1027966032096597352962355817740595092902171313380372771852133559542463541969390588678708084841485568605302050283010502444961963331483305169075865619868
-1273170840841507813882385428726444206634196678230540864978044364811455660758837822030515322325914832862248645806253552692938699224083818146765379248451	-904996364425945321724584657435156462849113170989705688557900135422395263163664280529750089822800682973758625289221633167924695491032738309420064271732
-6130020555118443177867350854805335847701024765184777666476219555283160271774807456855147380681895554897661845023391674123196095729530073881611690052949	-1409089142693145238638827035822793263969632529994437494413333435740976487103623309859484339929486038610885296927516561664895526591251366318711849044262
-5165190494090856451921852437537694996767980495122920940135845082435960352522569071750379457695835116278138594077167266825424665366650667716389478409045	-1379558550395703808505055276054121005424319795436532255723673783101046162912158116213980079009778486681941522934605382027360265945377159479333506911721
-6361462732653321741149749508329545878779167531119691240383279292064040469556644795887961976843323909318796392832857187254783304258215417344382369793728	-1414875726063920607524961727000549371076637142183844101213959764014417684635067351747814466651635698392897264001539607043135989605031037086095073568598
5043162379458679132675553186044544291446850806220788479408652292228090397961013335939389441290768520441595057021846699473289975975614827020835648944549	1375047190890515373635888998604429416497715466523126427982408372698992104687403621529023678035156019853776751970532663136832765890717799654552642697579
-8962594676358347122744713279676809557936090667426631939352246509134321380181046660816744897961009177005443516181106763200771595312196411460465840122651	-1459681062691465340074804521174195808670384356104573540535731170403364732396670332627107174561125804191176488130593847347974970896726685036601417524519
3320739031489818769977371355499734565001987028057446308382678319610087071926297012137648926600267388764783214224153805980442486189077071884966324247031	1278296019059438849739721255413989211041875379175697435872082719108923854830160402995163010376201322475958818384982305558941280066124764417595191007038
-7831500486421003186514732390062509008639177904544224764349690995651426756141875123780325720488108891221446429987986763235233188258776915997583700725165	-1443794139549027921216958931358233162775139202239652187053417272639137655455633631094821681334378429645349639088980374605122664053143369424750410903213
-86933677401700528435087266285967942520179802420577185146550629251126779595908417343003432135019968616235976854807309716930573511814281482021556524689	-86715665733538632072875514590953936347307773689931197898534798582217552398212656081714018764139169832466539216038879731027452282871814083344645783169
7938620458516862378183238060106494415990683784619836943490402297021354334663838946679979375678284166185571870215826223187292494969604575134718154987035	1445489843966971811810440055670676714390487551676723311450805489202738967900556143210012498110595840667499857968068149013934388101050454702803860593944
-7936477101535530197685650309473606104415796051449836161838449807104491459984590721117729098445914358415506200386083964859748423325386046109995116397774	-1445456356462656240628035418726357526928822048097246122052977609638206671370779819552859998652097678812941663293786305004747832583515855317395047705436
7209242218703363676819581728944342680161486850706016091929358982757741027550385568876189218192636451036215433461429752119046906900131919463162222919919	1432964992654306805646396536510486564184100622171441211118814358964277991414829368654648957816558996219125467553295284685857895039782152254324242164221
3906843212247566886532375799821648317704050170875979520255036010285765010215365833040584439541138156460532184007445605883507613416564175486039437593014	1320215106131865875652682560780892284294213315832382885734947004793425851365585533529840785558793264011318236422577138663369156198059962125593804576870
7122553848377682627357194785516849688887991112271630050700294831651249993388992151229498344751873327575230124230839350249381812818024342290587653361263	1431308999425528837540705187599843280544827087704757107641745359222400372550129479360399556413618190359723881705739864432067905327811272219477200799162
9832868088787501465606627309364564866283229350072036724898033110130977909335676772339706569418360572300494613731546716170451487997722077849021672015732	1469445061064625105372726146122850817234884029218246282526303009137356138305558168712185600897795886019558356478962113835970766489809256690851028334239
7305115645480003190827654116498949815202547971736197445728390986463407792410645861204576542824912554117828007843401487641809738310132591895338782669702	1434751529305326890297126821915556758846898657772649547914425647199756585886927385334206345243531849828921106946951605232354599724010456371573137384979
2488658914826906065015920732802199688767881665225884014046397943429223938822772495719527172276836968132661590539314086834755983510935801213696874585422	1188719521856444244123768209074280014760923847118416138754318516278266586064051431473241659427456461057919184289789983292129423772693474819376708227032
8218529872908224450948349108368301635416294627171383533724444127850792372260392277065035269421091827991758249946413487618829326486642773379730641712436	1449715262698687660199960281789775081910112840793364797090998420655639862186087644529217282273249603368549630329617374919565142779302731516142445900618
-219839020523960931830091583758655207203290896433012807506226538545723189301431040031417092099544366703622304988133784329753420332940707376893444415095	-216396752025950006920665380054705786433407847349271276465053428987942346989261347057958302207970340202480426439952497176762395855774561537860082038042
-3398546425497903351855011983765958688506578561730495300848692998090784602645894291644542330911479284612747590980706153746032890127865535022752940854313	-1284629109068152447207736816129384348775137815776317403219409078124449300594517268218179784462045706098384755643820677051974956477957969258130590924217
## category: catastrophic cancellation
100000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-9999999999999999999999999999999999999999666666666666666666666666666666666666666686666666666666666666666666666666666666665238095238
10000000000000000000	10000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-99999999999999999999666666666666666666668666666666666666666652380952380952380952492063492063492063491154401154401154401162093462093462093462
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-9999999999999999999999999999999999999999999999999999999999999999999999999999666666666666666666666666666666666667
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000
100000	100000
-1000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000
-21	-21
100000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	99999999999999999999999999999999999999666666666666666666666666666666666666668666666666666666666666666666666666666652380952380952381
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-999999999999999999666666666666666666866666666666666666523809523809523809634920634920634920544011544011544011620934620934620934554267954267954
10000	10000
10000000000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000	10000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999666666666666866666666666523809523809634920634920544011544011620934620934554267954268013091483679666342257673574642419843614755490243
-100000000000000000000000000000000000	-100000000000000000000000000000000000
-10000000000000000000000	-10000000000000000000000
-1000000000000000000000000000000000000	-1000000000000000000000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339851982
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339851982
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852027
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852027
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852033
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852033
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852037
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852037
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852082
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852082
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497097	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926014
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926015
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497100	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497101	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926017
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497103	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926019
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497103	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926019
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497101	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926017
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497100	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926015
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497097	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926014
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999997	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852031
## category: asymptote stress
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1560796660108231381024981575430471893537215347143176270859532877957451649939045719334570767484384443574366061972565500368626068848454065791553713241565
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1560796660108231381024981575430471893537215347143176270859532877957451649939045719334570767484384443574366061972565500368626068848454065791553713241565
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1569796327128229752564797882004830898086963765133284897396041247966262730802434937022743937769650131977862394041930866302635623032841632175386468282288
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1569796327128229752564797882004830898086963765133284897396041247966262730802434937022743937769650131977862394041930866302635623032841632175386468282288
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570696326795229952562655024987370489606521208533151748394010269358480819481020218029378911509772340633307664894105551649202274175983318962873730886992
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570696326795229952562655024987370489606521208533151748394010269358480819481020218029378911509772340633307664894105551649202274175983318962873730886992
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570786326794896952564655004973084776860489461481203704147356856037698856933824956634468850775438341156732554485006875201177225972015688989609304692361
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570786326794896952564655004973084776860489461481203704147356856037698856933824956634468850775438341156732554485006875201177225972015688989609304692361
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570795326794896619564655024972884775431918175878029100852551661233364191599092878379396478116790579723060951772961486981289248730132871272247924213821
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570795326794896619564655024972884775431918175878029100852551661233364191599092878379396478116790579723060951772961486981289248730132871272247924213821
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796226794896619231655024973084773431918033020900529535091343661844711079613344912863011508965071897612016461214357896163260215230853893401618233667
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796226794896619231655024973084773431918033020900529535091343661844711079613344912863011508965071897612016461214357896163260215230853893401618233667
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796316794896619231322024973084775431898033020886243822234200915812964936755292964811072555618418550957833910431807114267379625232611567300784083345
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796316794896619231322024973084775431898033020886243822234200915812964936755292964811072555618418550957833910431807114267379625232611567300784083345
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796325794896619231321691973084775431918032820886243820805629630098679333580689679096777750423613447062499245097141702612301370154356561594725436110
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796325794896619231321691973084775431918032820886243820805629630098679333580689679096777750423613447062499245097141702612301370154356561594725436110
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326694896619231321691640084775431918033020884243820805629487241550762152118361636460178995041927581979765486752169145767903613197653769217610602
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796326694896619231321691640084775431918033020884243820805629487241550762152118361636460178995041927581979765486752169145767903613197653769217610602
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326784896619231321691639751775431918033020886243800805629487241536476439261218779317432963295784724836907434804117206806864659851000422563494718
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796326784896619231321691639751775431918033020886243800805629487241536476439261218779317432963295784724836907434804117206806864659851000422563494718
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326793896619231321691639751442431918033020886243820805429487241536476437832647493603147249010181550233621720518402912001669854747104318668160053
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796326793896619231321691639751442431918033020886243820805429487241536476437832647493603147249010181550233621720518402912001669854747104318668160053
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326794796619231321691639751442098918033020886243820805629485241536476437832647350746018677581610121662304260200831483430241283227623799188549663
## category: inverse-identity
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857470	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963005
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857476	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963010
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857476	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963010
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857470	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963005
668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146555	589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889022
-668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146561	-589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889026
668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146558	589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889024
-668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146558	-589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889024
668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146561	589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889026
-668178637919298919997757686523080761552472251379082816185914453315245468619918294105264764688480525164063628010596357235301498702022469800733904146555	-589048622548086232211745634364906790786969262382832341432802111057715576178664187242756529751646950246652766221240432496330095864290734168448504889022
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852034
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852034
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999997	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852031
1496605762665489017601135134942476918691816002132978962539273929296710425544132371806039833343763670634091320472420951285151170813723944226022147140755	981747704246810387019576057274844651311615437304720569054670185096192626964440312071260882919411583744421277035400720827216826440484556947414174815039
## category: constant edges
1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512093	1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042
-1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512095	-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043
1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094	1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043
-1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094	-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043
1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512095	1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136043
-1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512093	-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042
577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837364	523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568021
-577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837366	-523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568022
577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837365	523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568022
-577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837365	-523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568022
577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837366	523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568022
-577350269189625764509148780501957455647601751270126876018602326483977672302933345693715395585749525225208713805135567676656648364999650826270551837364	-523598775598298873077107230546583814032861566562517636829157432051302734381034833104672470890352844663691347752213717774515640768258430371954226568021
## category: argument-halving cascade
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295942	349999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295946	-350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944	350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944	-350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295946	350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295942	-349999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585025	174999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585029	-175000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585027	175000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585027	-175000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585029	175000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585025	-174999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151929	87499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151933	-87500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151931	87500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151931	-87500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151933	87500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-87723993296154320798343210962777608569200321081252217659814343834699935800079838957932177990445991874566450330922498521845975152382071942222282151929	-87499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267825	43749999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267829	-43750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267827	43750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267827	-43750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267829	43750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-43777934799233952299186350396426901746622159585154492953824236156500797388278144872126307027663105890208998404766763321764443601995077788170275267825	-43749999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
21878489844411845739245949642633140292364530062106292835262610539942509840927810981998782712223721890402404128888327813944184544417891390623983705838	21874999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
