# 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.
-3866134584356017580660503694781021105495057672972370749003356183067816735604705654236728361790484942874682278221917179748651267113766471204636162911280225885532636522780570222834733703986164319572059752658543699656319817899553000461647801451792332750084075342007759042145026218553430846564535789154892066541511337283963307239728037614987184841438585352632982756266660847495375668001654808350824885993201235105412434518268876161369543609952269916060788839965217558227148729116283151084138935313097586292492210635137619906741543989393183781074936341971262072022005725488705246771699489706296718064421904335433992592	996141329292074398589146967749760262713246970751856171147569681278701526839542390441641178265159087301218923120718206544397241694002480983866332902803787575671087656467662195195013924470023673536267346983745268312699448567608283266056556170001042941271747398787137066854764042946363133092515997092595280846088974171656936180589048971157707665641233450891775955953229553140060719186994752047821194511520247807901751989526486287151050200052912428706785317757945076677222376842218004614447646131060490303747794705478653464790390646020203115606998414276239248783037052837013412704259195902239800592928782969910971427844
1006379150944997176595527543342883640834763528752488554971640471066740875281460595936623280307006782910993950353633065257929598208429484346810483958900581568047695316363145024601019881409733883106832307168769867350751348657240976170507174620629518560418172421077935979364333928917567787375667512163001768704146563614975288827978518829616083557730537215171139589364295362950180293877847440338973089714498286205255550840839115819953858379660880773877591925584404547283926878318925042776360922234304384082702262182925101097776824309727771460674363101159105535382689522649077666836921737521609034193843444570450606610770	2735677584639827721207222547042895269144347061037186420085678988935451688485382666320161426993792027318373727929986622616819615048168249726126982918983201352683482178134105385256628246138613561469774410494842950795145557500114854518907143507918746219970243700693795362038167965394083215227672838004684838404659884206005244572054299657770393155833241205455451793754023475899694730922020145149533095568388510737441353243900745838002795665383720515979058267778487217745370579218820198596570252044208861694493396756833570968238789418286230336000740798006248542902244130075542941103069374252542532973692661059738597007687
-1000147107737163589949062913278440539611092922007986906867580577383352933977756223500446348635267694882808395447618596801230185642666546446365761404924146762809348278814432830853770309838705442464650626132170702172317404223410482576762661581893401364509379075577361784506013466936685195777185788087237773689321323617161096942175929535550379236633024904592467560424064065490260582088648278833435345722511534880873027957137092517619939243101348266581233767692566446566601428179508894172187516152924717357586141258974731570780438791430274828844066803502064222884917213896891870363603943292237619752104241887265940535838	367825327239689197872919185735474844813262948111917731064846284661935281826832067668453391386859613683848326689258463128449386443132773742644491441325563137734744369079364470969355702162742516895532531253841435442914584674318779994874092220345571117169650784351437216429090444804465547071308315286498972795567382797635459385077042207904534973296939504985791471628193017223934295041817354590162492527747139640462616971770021181221581091530978019007548646223083495753773366387708137577355832274736744259646969006619403899651843789658550257127108263678737537668105202853730470868185521098205325952636660300069540598716
720134203650910950759309553794494237386502942810690141485952134163394316645728060309793708688199475948948876220539930336372872473360674840459529715031096498458610530078366437882557741310719609515501130380868963969751122677134218613034305331571036861381380082748303754122029320146911278720433001621847879104249961594952126987351603423557499373646272486239014456051996739517694639015776031970020824582167082215642291493883703705240692044076956655187824421881377915452218065393212848380602570029892680857187103883351962066440603488230884241602748368274310072692509378640010678458734856306102181560958673622217415493600872	5627440027882940145116383815263109192852346639281985174440500990817749663969858932563611735769497803031125276202146309949255934966252083670161609573900633766629021497570292150707686161617395782663678778087127059162017529138667968954259525564303699984078872483128429953015028162326388008943371681928732493111570912818238559742023347136941011163146748621902954808001261191411263600019886742428783379891288878897788427854737002005770524260464848911725383051390120700980242646135513192284990062324861418442557677586798456494014649413904134836263404017011896710581318283924393686212376833152984755952714720908735153195698693637440237917369661797772108000870842359768878103168279140401046896317979339896239196194113252272093366147104846576548343242116219584917666855468526187358450510788958994546239797533387110811873923890734721692118210997939024925004008212926161029299923590499410327904870186884583767032383793048779574219708509960
-782051922919379338369394557095482227045349124250771494197784659883765681232733033476053238173051166550177718153611873737842524054801829486707194603656780436248885224259529562477332359459540727384208948558623036294994683953323744017979059536586866593152780962998770085405371278094222276231587159260371429585231995595329407852354518895571020132760209794214365982589839139239272393803216397161987611982030392985251221658054693100834245928808525748865598724368434718965501951091637656898875814636387502260817994458123631866275287029734230609491843983272512016654778413969251095689727822413363390623207650555709565747836864	228646898264940988356261824913811737868852299461458940873035899269496140978893381483536773005739942758344070812933484763364588083098231002448104587289960075356237327069988895540743791587976196776141904724951373659873285872410176646092250238975941581881155097732987248488704774
-1101357166523962710572457085605227752847739852470386316207093434721754874122872670197637896247410825776547043084233803729401785163036676903966379046001508945771647208682336186569224423706046274528645648197579867847272884225799016826191741192086871235817508875070480864673361841666229407386990775884247363249267384501111053419960705380401122406248618079571395761867821993468168271774705600266990421431747896865173804206253001225933282269562992610714030865560871701360234584957443081079419204577977276716444554574338948471584840684356011598499013486840429681429587305089782657404159147159488644088375527465593110018592419	48602652770853078695940110151304112659952512279131827215478515577330915239088191103744913567720035565340981645336338301544752985009633502
317570152926956755099409321221360142256859491492298164557201396930474591216166491884014144819229736865045116268516285916922510592569430996207909847518662642139743297438176398968505205264875843352938375684414834842547195012774758298459832367002534799070833222421545439923955088564050890660011849656354822052337530157250036628092004601374270065858441045692789261104585339517037450815972862024439091156273227126569446280646205142756662331007201917940407532406126610163044552899423560421883614449558010016158244519037809646982824131177298477033190439012220659104937946827243317316596687636838617721985924620958024302463231	829783955857446783660691374346567751172226418582603661320004211715374679858470456285741184324079810172999228225484337813169252412183062547262359083607491532804091304666772198171367225050949933068250504238921223447848231358241411093005996820153011134708284349383923852938521620329763716630493314979001055774967307274083746478830760251718368862134099036366082586388749825467089313895968356326625931144445845858048391817991600037461046646036894969658499454438737922440566995942315938912384560000823941075097354402868954176430312873201215301992207931239698424628115672100058267112607461255801390340582909878596132347705628000555575847485300262113558308960698932537101448362373410673609090007969813588947817764325730821913112303926068796708055859970683333258
-245335367508369692313204886145040856831420924271589665878801067230743096185690025358413189523353780878826933190230128466744105843945048812937600834286636823336457239646106608256873607630627214670119298745966937118929739277385941325130742679883648695692486712385812710107500146678577690855853914365328500506875693940946945250393844072595161193128258136443269065922501565743645159008772383549640509425232325186817980645058162234907493884679590746393520330247308146681254580470385263175810687603276998079920393517459080585078384476816296626402160810101959479291928155034714018900657811412483190336031358962556010900488567	28327201733239716790013573522459742622161118295466305723040196349773692580342964018263618409804484705529488849539970787137775274031218564164289387786833098749002841195384503302310772086271355391743264122560054613634404948763507229315742917425752689001541115911891922368599400506941898879461956385574578177611176731672841051246213187247993751569860731102772723571207570206456517075937299105018023790057114551857750228501831621281045120695275622362356242808845310371703220979032891047324048911347593785868998187
908363321038337259161647865318665817409770438493988083670511392813310578750366318581058592529561898719821435435935847772390058307844195366403264053166117863027632392589993526043485880832610612084150593091555378335644259865854098173082627401281089060419359757012601649651168610037001163866681620266700241026981628067649816254529808737836434821139016044100414302260356099870153298843574772371353321065498737860382547629302296432049371600678638100108510070710861011422242020633966254434898733617825330607033852754078273616328154064651630477851769975530103849844442483860883535733947025316802760730725608747565552363890635	31417953331723552773951040932754672624635591613191125316807044197569856099449326188536729772175353135616216573111519471162417835397039913153462691312773674779318558195392752399691413870616905390934044873346099044602067982615440967264682798715059350688778105188505247671141841722514029210241114427681666458616651490623658260422836560361014643516829401905480246663186525839142213046965518773306803672437718527837066680551932809218008720053673901115289530023654847682134675609309013631892699353112502325454681918830580943518470960841831679224063761342625257961450480541437006138393812486416331532203282027257889239170433132828444342630567030120292431437777358865023725119503946666530617799575152673339839671880931367933463617143430189499111212332235544582550383252600274932337592148464883041873787734159624641460969349353332379699819711163083170559433388317625136072272389533096950173031031107378553181317642337155232395221754309588522429596521725689882738057987321194665883816911292991662579405542237281315772889
18849779051964444782486170001141171174204388969384148303402512697924232384215057192306996804395910200513979278013252276714929816083658815867347729276343061298407200897978904940346912839822529665153444374260912475893571915650320731916348952355351304340918000391649929648159185340574397443124529910040235417302656201462552163701423339018327168790996366521929575773339915006675074144240434514668704336660009905071227714143192815373711573100469820840378173016191557047543347906376799176949311238937801899931589747179339787604006114714502811805180931158034123367217393315589867464900629430415301755121595365765863609163595	153587201550055379518008651667802203678826087382059386392218664734569182085230257911629635166492406516906449188215419025700688341462758629543026994468938461787032844522865384878232721633741581389258167042757519627520449368302373063496154799562997352756395379932539288543953275372236659749142197727973530940611616583364897653921015744778162859807239800044956577007654863863955582931467730961260875366847073641798731855983709093036438944167661216400774816418294188955707831473338752267242791473559122190002675105605742536971171747849984184156042249836183927023908331344487749132261020078787412888504590430373683306597839499213
-17515271351651226212112852487731665168716534292874445376400511854535788103619368773946658834389065712403521886355329193927892331231872025644856338770397619257321376853600943367130747492217078216164116274144018903477868753404254228832648036349609288992546839526168026123495469835173999801680418474186658504721949911706691704648541883632409737230887611882346521702886642206871432517911952338604874779132400984387110315851670244741367464593870076395518149720762453677656287020860290373884516336331338611344592748492785626365413110355240866830378289781601997066137327697726144906481567189534784336922422189208894392189286	24729441201344197974838359320093697874221529730177899692846824329402065725152799927099045559626656732922918832538230005534586943948055585074872621555837786944107669751220946581379072637356025057601403239105884046480250411508403802918874226861193305713809171890404018671962501116778838541297364016740178073107205034638866951863403668360648213279147824169198428285505193868084314748646555765308178078259755799212970905781390676184417380895584358456478788066086861035010673238694641528475353493136434541515471547942237654660308003156854314149513256501435052874640855679664114253184615665602883879815441512482418
4840700655446945271301984613166708596969381614206209349772448080506956430480329816987443511175768052120238508371749794598430770480511315211972050098890294018868659138938379524888290950240189859041529966502144019852193251725852772270155789702881608894739722675202848003530323912897563268723617009545085536946993796112003048585549739352623603246785340709449078423257970524944671162098327312580561947930797674994687657230272731972591916168348528710913424303330307862833212660742845686720003598518812349582747969081279664327989756403011624403400283699471606092524574905151799397775405656691999128512610277553240278083661	126557994220571661607885241088521952582142668537162331660083528750389895702889772220850262381955197318485789598982162689510879019831291863930516211979699499428616404031981864738643650410688436050746559319123027318953274021795393772900944151938519175177630149655030476039289393150341042456961991861298735829129631075502954031719470409902930981366237713455666704161815877785564758763382839620205407215361551410753399262755007091583510350414617986990698738353936173317131364052816546688925784696889994003022470527743522025354431624521521545475543629910610079668967991188213951893266640351073422563633223710557647525688753
0	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-1	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117301238197068416
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	367879441171442321595523770161460867445811131031767834507836801697461495744899803357147274345919643746627325276843995208246975792790129008626653589494098783092194367377338115048638991125145616344987719978684475957939747302549892495453239366207964810514647520612294223089164926566600365074577283705532853738388106804787611956829893454497350739318599216617433003569937208207102277518021584994233781690715667671762336608230376122915623757209470007040509733425677576252528030376886165157093653799542740637071787844541946749093130698056016370211138977422821401738023283246528729138900466098665951244409769985145916428780
709000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	82184074615549721892413723865978163932445059671003031522906198270357446270816700585329043865814215134962948822412262847067531718038941299988621395535042030615829933769823576872737431831156322123609419751924634061043093473885984881420992424633094180432141158846311687883408031676000884406465450902929447425878934288591781142749109679570255180678354228075513686392422533986744330550121868996074267224179332784853454321800192962647357155557499309019298546444949668746073423725733412877440582845274080353261134581837154200476626928191665671188153620974597724881410118453005371769939090546167770615083382034583714837250892558034154480409329433061682949811002972542950802801433799191685009641464444428835426410376645232770106741005939095302861834342095827339944307405342360968936657700444224612453373096519901327276480988462591728559783867474878563574012734565859036877952005342838305217468875699348071517757959516825276348958243
-709000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	12167807506234230655164346703487199784876794014040690733954888673474431721305487749932149458557840317568968227309811864003416495329570327062296047066831295623221604976797942511330447048728940191975628876047706731147690163874812685179977256685988708647664516955622183702605413074614533430859235320197196051498
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1648721270700128146848650787814163571653776100710148011575079311640661021194215608632776520056366643002866637756307797004671166975219609159840971452490059796929422659098403914719948464659489244896868905336418465720841066656859800088924981211712287375214972195511971609034091115619799869839960642655091754574626304483075194758258782625439931955712690076545322881476100957739788486181443265208203424170104718338591510630125661475533808252026061400972891959084050148915029440695633113776763800958480893295122472263556542654171757524108358697276592606615399767667602791615334471108288209526962579040493568545937895700766
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	606530659712633423603799534991180453441918135487186955682892158735056519413748423998647611507989456026423789794039525176537808085562946533341179822947677424707581246516847941272515898847900555244388571850753138486844199318715684531575320890107597652689117162734490652559857974405214509822499515385331713272842538131188978401256241398762939598767062928164862292607550845852548149458084461487792732135705056286218001689981985357432179174117201301524532185850244044258775304216026994940465092402171136200180138097864701663947738910999539423127837280439992808558851464694009638497082249154598657478799483146426165392806

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
425830711276615445186145204715565969595256982950204278912179357124170499131726530781936883334833394393026501351110603459350371287097488783753238966893050846198644648948090055310060931447300026309736245988321091958137768587970267907087431490147857909088609524162998580870502157494293893028265366472312770329261858317919826483508437848829386158864006706446365466354039150318361634288768856956127147747961295880005551570365391072711498568951319570556362237165165994330591736954855012756788695972608087255634391208345132778541429424945275538087374143329580855035781890040833158400763155980110895718967296520790071618569152	86283575274320821516146680298506717017636659680604793451247412848880958482384996959693151997758829948911799050821490989772161262948984827532210718931001049450519987986434685869558195257022174729679925544514013764313392493941760995374487338630696252698161832253368094907019978094565526272949453501570959813738970706932200948787858587761336613097789726312540884288258334953567378616380731331567391894748598043810489120108939749439423095426286632360221995346088611250126199514994039343055571316268602155878040877635712835900799159382575674428636581645932796001661205611322420058779492284809368807394588188582800910721625760449496194920947132887186666941867980094844020771390866495666433153060347095422888847535590244094996985609611090279636996545135603110118548741279640876559000328737499958906513141851
519757278243329393928936261868111961655547636855746012107665728254233840482398277950837464608610628826284722352408563347726264793994396327488633266341531815664028662112828758364461735767845059393018226487160156922672778843893074301018139134267739926603257348649171201321680663157905027310922440695988575922275247606330858046887310277782614603086911838366766293884876578403112998799745959850717980662138992809758837263951213345931511282072620872942682562539692188892083803458108272124782270232610145176235283711778532084335848576568911440984063310723657206878713207835299015957484715596523659137299713707743203139453878	5342172041780636090484098263932100135448052617661049116986897567395560679931448062648769079523946395716991284039581039454012173119618470123839691297928275983018441933228606292754914287005332641384137451140699227683088979483541615920283190638923384783861842210294787583719073993482167261953214109840969427488668124997620768821887945990460770351240606021884472062047691784549435820814371661708768398880924266823902362226773293928712598058198612249415093552462106796474097630571934612978844552258103267262551357144200276415626580065887769467551881745429322196690429756208499162085665122318866194774695139832076233148405161742646921330217621378515119640118696185656455725833279248204157531323180567817343232213710575130968318934668514418143263132638786795998533899267069378422179977941320613640500930020896898899066504666979714096698092532096227
684531570085688000324779807763457748356954335154938982833025731015941205625987918817345612867306773104613267165526759060436740788632578307886366769139853592379391536066178092651890107794654840790946229502479931774330534509387288971282345420862414006819275741539160751098068882273353296606849470274793986110134350411985382068502429305002531945830919778033165016216916034183468773068070088932643501868921358176517494231247412579534895024072538648013399858359136686454887644757564478946583869162745735979611883683924776460465206165886507883049095424306669995974986113904919382699215521723145628116965587637403506318432664	1942153611647533121757308164501515623639043818918230061579022517156073791618073017307620894426209766372905231317859452103124273673116012682254065692617471834125003174104278516552163491845919987960853767755030819007356504817961109805330815125039551565261112336313061929712529024699969924757940617181593324008608604264308947184922074088224809924932782854612393468156439725210247813288459262557739374153667529481704553359165177567077265263391782414894168868591203473385268980912081307154291429368716113945688861087363615318800811084939155894042273909493561786737017857349940055540275179690001451735875080069333238219070672114230830636985844230573938743274147299190401446789777200323794783327949791312147597706116794327219997937242927616464928437372636894781055958280571199377570551198582902747509403280529013162901488275168893270649565561081799748786271494355168519232983087150481825721691154813367679891321777650144
-157686532745963501597503116474661869593647725158145833299859333201464049412852931386659747891806072790472207266676189834850702642877099764097935678809723247990575118041325227612321479928173408133150618135282918626713881508467078861891347274263738309486490454640466099164658558966044036778294398883337905828146389050247860132530039832361691560730658843481815225809644115529668865455267358978300240686217587715689840449350552850022937280836712003608312448374551489049312811714915249470846051326122041304146066257788949164570315826453977530046253903121267841680139910579934578146534876834066370966727608471895707163696370	3293130626783861458908686965838752329506983143654183857326605039247676789374690456284297206361092427692387698274152006418660969103143697334501783595124991953832478513834718856679861506725428449078448172034466840568688489983825918924496106482609033897831627479388436678772674810944647630649632194551473981449271498646759173839362086302851310018446732891456760208537338599294174789908397664037539938410973298317656027026791379184426101161980394243127123360218851579539264719955026321748245254236305937425073911460873753887849716584510450086673655015
163358499558691121507069525932958184920262015246983253652066280117622211735327080619183119221222282551130001564314143686410945057435203071185960382657054018709432369790242741137100137205312671076281197740837952118524483772236564630237044026631333854082362372984436496291379204733251723411454955678132623196897977854405259511059929889697738093559247951559952897793895889361941631551225725147202946441322717173446914442473068732085763589198956059079431395345461434779826021457765649766892866849335585027664754184943317732031709141449283984053632137880259262302209092578127681863611923732178369380113362404869394509282206	88245979976529888721352733965968242086519491066496828993869263601887993015576588290075200303482758028216167174014870584734206859527164653669880524250901979399693206637239762856153636803752615977451394281761079899751414454736356151933718133008310790801028244356097301801706654876652431328714909054361411053763953797276994942118632351674503103600048838959582792102490232303663794257575050408818433593929266402330115634347983894777359796461360230314049019231403458737246296436738120054125288256775336957017450090215783840062065365207032415240519074587118607517005336698661964803502662706292642136420529120617867937307757395134107719302413625245590385799006083670656623923416794141615216481
-627153227933026474607370159950216135828701457495233174594090544256403119748543316567321695192260103201400495191737091252786651876143850094625109443375392299811131170621668999990290165346786914870756635855036072215464052530516378271824560945236886499987137508060623735425714767212513456380937307511287540482516090546764775463927086883194344157357153293895992255932268688421566635230122890077436677788494889301711988232231295540934819408488678836789033212840025751530786982686378153661553942494996719788597722783205061998351678114232764800765934662154841767739348394366484102249898037698395828405687106133688702374765730	4273796124168487390153704511913703036302852543902193821171000211731586871631968065164096325887888582363470750947362676092600156579861330430515264985026083566366420566953665410220090840096856859657488065517427529241715422117321508065617727462398724840917610587008704510382330628607124112563155210883076402115174439386748057167534602388033296515
-424297151876863372905475551705581690584746636419327942955210964143669504175624973379082667174051312989687515653902660333997363970995135410419464076369960436165671017578434308266242839320047047460771264657144817867205199999627525050696443422190262318988677453937207849636615506619492761060014777351800007599131900498747255942533156659864198906626151362782961548378156958528467086260185819279546866627858562144584495737578968473061338435481842116584737666960323653345802316065546628110777650516966284582046715357938881201959547411254159345551218257267553211147722562791103912016144929846140038619163956776726065896167190	53714093723364290171423376484912591064064760181811631371618036319461093457726263031737317352677202888466862958041647292958981136976628565683895381558575419105805873749311335768165148898602275185490006062114611897558828862428575175806820115619871613434730870756036154262056942014099512636027436156534394455330660110960849117452099369590546084268157361142207665834727312770270984529725460580761156986956094831518989870778741496469751
-98148075256919682016169057151912183853648136085762035367645129229260434181995591828443215683177654558868727371789943281339420942214751893538513497492106720406463513821026495302338210471390073016948931585963747444485627481527451330237972941735793725082281765004366128350424126048387992369555901249744538000089531975074820464764915590441767621920290436171295547011118042467351207723617888591784010113364629772569698238708895027998279590392242999648703095210254236121743425010401868185695969151149899922833823157302602063058857554723110788543057844479748419501328626080463877270025503647275049702030634446666936366376267	237045931892857198281012667783555737350787733203874143155133633372894454899977418186709381612414919604044979304245434449764958440065957399936259236651979582691751842525503705541159927940150489142774842104074181753032145955508239979791437889423519511493664492337174763631339669117049758843919205748408000559420403711759884297950450230765949486302877911732271701985231070405336944778638138269859480075530873511053655103288207197056138312812727980993996063208201054218728051837206780356972540644542835391518123815722168592643904704376448799242613396523650650613043208795086824
## category: catastrophic cancellation
100000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000	1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000
## category: range-reduction breakpoint
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701519238614551416567428703806140772477833469422467002307289959104782409503453631498641303110494682790517659009060141906527332853082084783156299040874808607710016038883412833430372894256799363435690939140525432621290923005144148049632755467792771013905213366822745477474458579129870940515253041977193864039301171095294066135873088650952654899025008121388762942093798930124403354408490490592253758930923863303493627853450082076050925193137382883857432165876063454287359	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701519238614551416567428703806140772477833469422467002307289959104782409503453631498641303110494682790517659009060141906527332853082084783156299040874808607710016038883412833430372894256799363435690939140525432621290923005144148049632755467792771013905213366822745477474458579129870940515253041977193864039301171095294066135873088650952654899025008121388762942093798930124403354408490490592253758930923863303493627853450082076050925193137382883857432165876063454287357	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701519238614551416567428703806140772477833469422467002307289959104782409503453631498641303110494682790517659009060141906527332853082084783156299040874808607710016038883412833430372894256799363435690939140525432621290923005144148049632755467792771013905213366822745477474458579129870940515253041977193864039301171095294066135873088650952654899025008121388762942093798930124403354408490490592253758930923863303493627853450082076050925193137382883857432165876063454287356	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701519238614551416567428703806140772477833469422467002307289959104782409503453631498641303110494682790517659009060141906527332853082084783156299040874808607710016038883412833430372894256799363435690939140525432621290923005144148049632755467792771013905213366822745477474458579129870940515253041977193864039301171095294066135873088650952654899025008121388762942093798930124403354408490490592253758930923863303493627853450082076050925193137382883857432165876063454287355	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13862943611198906188344642429163531361510002687205105082413600189867872439393894312117266539928373750840029620411413714673710404715162611140653415032701519238614551416567428703806140772477833469422467002307289959104782409503453631498641303110494682790517659009060141906527332853082084783156299040874808607710016038883412833430372894256799363435690939140525432621290923005144148049632755467792771013905213366822745477474458579129870940515253041977193864039301171095294066135873088650952654899025008121388762942093798930124403354408490490592253758930923863303493627853450082076050925193137382883857432165876063454287353	953674316406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281066443276683823845739057268615833733853941795951343652191925461149543289028280949923709237954969948650991776058607134811200966210427980543998484088831068177324515236939242191758854249543959395263906392183499160990226376854886940647151117694403132463209952698481608203600735650173377393489490389878334170837336112540529362829079434218405022154073757715319324794989108983618183186688065966062641070984377670138318946460777577972248378933480513739664560557582260281572991	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281066443276683823845739057268615833733853941795951343652191925461149543289028280949923709237954969948650991776058607134811200966210427980543998484088831068177324515236939242191758854249543959395263906392183499160990226376854886940647151117694403132463209952698481608203600735650173377393489490389878334170837336112540529362829079434218405022154073757715319324794989108983618183186688065966062641070984377670138318946460777577972248378933480513739664560557582260281572989	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-13169796430638960878927410307705354793434502552844849828292920180374478817424199596511403212931955063298028139390843028940024884479404480583620744281066443276683823845739057268615833733853941795951343652191925461149543289028280949923709237954969948650991776058607134811200966210427980543998484088831068177324515236939242191758854249543959395263906392183499160990226376854886940647151117694403132463209952698481608203600735650173377393489490389878334170837336112540529362829079434218405022154073757715319324794989108983618183186688065966062641070984377670138318946460777577972248378933480513739664560557582260281572988	1907348632812500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: inverse-identity
-1415989832191338095671064744630883987674677415506695380260496659095057154951571775345138281130102953480310187186006042909546858161025926155349766731995750739031987933120216128718936935318133417094962005765013707305566740390470226706934405230349124355496758609613734570355094603687725759965933706136594637554217502226817166777795462162416207798043846037060486818513035964467220993202282533012432714261096371844852017066415122379912861091701543915371240739890397310095954173932038806840853784874530674825791743148450536460052660109212104151500740012526182639582807119401320348560892721592833792863184284341659623560295091	1
-1416079832191338095671064744630883987674677415506695380260496659095057154951571775345138281130102953480310187186006042909546858161025926155349766731995750739031987933120216128718936935318133417094962005765013707305566740390470226706934405230349124355496758609613734570355094603687725759965933706136594637554217502226817166777795462162416207798043846037060486818513035964467220993202282533012432714261096371844852017066415122379912861091701543915371240739890397310095954173932038806840853784874530674825791743148450536460052660109212104151500740012526182639582807119401320348560892721592833792863184284341659623560295091	1
-1416088832191338095671064744630883987674677415506695380260496659095057154951571775345138281130102953480310187186006042909546858161025926155349766731995750739031987933120216128718936935318133417094962005765013707305566740390470226706934405230349124355496758609613734570355094603687725759965933706136594637554217502226817166777795462162416207798043846037060486818513035964467220993202282533012432714261096371844852017066415122379912861091701543915371240739890397310095954173932038806840853784874530674825791743148450536460052660109212104151500740012526182639582807119401320348560892721592833792863184284341659623560295091	1
1418292417284332141355082736085568351882278516995324153236529986996024727561249127825374278335192551778652154970048329158180267686491008962106433019364849520721470840328541683399780735212959650293490399270322672683299369236633592929222103450235870899164233013857008935510143538002665151445553110536816742655931677027185975179060170230972982119666681559071967284884601876604566067987977301358794393471277016351916817094165390871587516150387237482713307798004040232551394749824611227664985254443432350719817420779586228389255997767926270174511310321489639847126844204148314365387821002440952221794669136836524110753076058	9048374180359595731642490594464366211947053609804009520562573170557799653442483610125034460360904572384787453146483184977489081612387900951892794312557248399318523139860115705012439666105039449066273807537937177461582470033208910360687511714588679788774740419813310766773788169878446156545776278626483275866531621102085462527548956338260029958848753279549866025870896186845821999160425711307569519053570169321923723027570725889879317179406004937756554908513065815815825858145192935176105191493275884310490907292380572437011165224226060334781632078290566985922909008436954060651323589124038220020590363891709684544741320961116286597853541872309085112197422417055172333699018852962490892395166604093085383564811415495799204676125169169548200440207260296975847353745262517098470579590880703484595337968186391964695284938866508792380695593475586319035448730678927825512636851057448768240449445749853826591020981582814558820514394481007749357472168083474781698343634603571568184097016711510107225499358888199275655919477980010915479057652560983605969761705491779195462824204195924087788656306043294074259771195757377871931089388533256429352740332665855070279665749714178812021195292455420182052283550155847832710638286631960616206651176
1418382417284332141355082736085568351882278516995324153236529986996024727561249127825374278335192551778652154970048329158180267686491008962106433019364849520721470840328541683399780735212959650293490399270322672683299369236633592929222103450235870899164233013857008935510143538002665151445553110536816742655931677027185975179060170230972982119666681559071967284884601876604566067987977301358794393471277016351916817094165390871587516150387237482713307798004040232551394749824611227664985254443432350719817420779586228389255997767926270174511310321489639847126844204148314365387821002440952221794669136836524110753076058	9900498337491680535739059771800365577720790812538374668838787452931477271687452950182155307793838109929633337294097244838883483458364892608940548417118727078258579447283702134431402601990111765484388801249394070232945610710314408224882353623410466435410373092831087755824289249069983708149205321314807542830892858929106424214294302905183939482844801840727171725286346469743142661226755166045212066975188291643922819020919112579308062981907891345538319909360471023670755204102713591385925661168670078605427602361358748721732229332940796937594111731986590277522669469214747787460490335482288550358273539087827991383036312193241054902597372432627347620316315096152433405415555534617220771655088114944406685914383774093787444651552226979367405347609956030687425251677428445504323486599343189774436429858903192048662181653009045217931406316063308379772126998755080284808920333754161356895683511824514246690201280117208044011582300036498801983179702123989886574849786557661272886010443615390074024886448235534310661165112778271553068654693679334681357071015160195427016719492173990738485289395610167582644968514076290320474375755090967904288747306343244855426921968823692620111454169827741323257237132966749679228128722228397532401820539
## category: constant edges
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714367	1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714369	499999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714368	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714368	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714369	2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
-693147180559945309417232121458176568075500134360255254120680009493393621969694715605863326996418687542001481020570685733685520235758130557032670751635075961930727570828371435190307038623891673471123350115364497955239120475172681574932065155524734139525882950453007095326366642654104239157814952043740430385500801944170641671518644712839968171784546957026271631064546150257207402481637773389638550695260668341137273873722928956493547025762652098859693201965058554764703306793654432547632744951250406069438147104689946506220167720424524529612687946546193165174681392672504103802546259656869144192871608293803172714367	500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714174800368808401264708068556774321622835522011480466371565912137345074785694768346361679210180644507064800027750268491674655058685693567342067058113642922455440575892572420824131469568901675894025677631135691929203337658714166023010570308963457207544037084746994016826928280848118428931484852494864487192780967	9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999994
-2302585092994045684017991454684364207601101488628772976033327900967572609677352480235997205089598298341967784042286248633409525465082806756666287369098781689482907208325554680843799894826233198528393505308965377732628846163366222287698219886746543667474404243274365155048934314939391479619404400222105101714174800368808401264708068556774321622835522011480466371565912137345074785694768346361679210180644507064800027750268491674655058685693567342067058113642922455440575892572420824131469568901675894025677631135691929203337658714166023010570308963457207544037084746994016826928280848118428931484852494864487192780969	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: exp stage-2 reduction edge
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995601953488895	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117289283067156562
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004398046511105	2718281828459045235360287471352662497757247093699959574966967627724076630353547594571382178525166427427466391932003059921817413596629043572900334295260595630738132328627943490763233829880753195251019011573834187930702154089149934884167509244761460668082264800168477411853742345442437107539077744992069551702761838606261331384583000752044933826560297606737113200709328709127443747047230696977209310141692836819025515108657463772111252389784425056953696770785449969967946864454905987931636889230098793127736178215424999229576351482208269895193668033182528869398496465105820939239829488793320362509443117313193326980271
1999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995601953488895	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398077774900122895607410753702391330947550682086581820269647868208404220982255234875742462541414679928129331888070763301019337899740729986960095303307515320818823684694793029913558771445683123923272764602588339996461212849285209678905138824663987122813726861064735626379295182227842948434586135287693866985752001549960148075071971293369418851997228882636255971941095866191479871504328397693264610235116312389990010513783406764498663892685615821864215577215994598797271
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398077774900122895607410753702391330947550682086581820269647868208404220982255234875742462541414679928129331888070763301019337899740729986960095303307515320818823684694793029913558771445683123923272764602588339996461212849285209678905138824663987122813726861064735626379295182227842948434586135287693866985752001549960148075071971293369418851997228882636255971941095866191479871504328397693264610235116312389990010513783406764498663892685615821864215577248492011193532
2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004398046511105	7389056098930650227230427460575007813180315570551847324087127822522573796079057763384312485079121794773753161265478866123884603692781273374478392213398077774900122895607410753702391330947550682086581820269647868208404220982255234875742462541414679928129331888070763301019337899740729986960095303307515320818823684694793029913558771445683123923272764602588339996461212849285209678905138824663987122813726861064735626379295182227842948434586135287693866985752001549960148075071971293369418851997228882636255971941095866191479871504328397693264610235116312389990010513783406764498663892685615821864215577280989423589793
2999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999995601953488895	20085536923187667740928529654581717896987907838554150144378934229698845878091973731204497160253017702153607615851949002881811012479353506690232621784477250503945677100066077851812229047884383940258152534709352622981465538424555697733515108150118404754933838497843177676070913772862491787349396037822793717687131254060597553426640826030948663920216258667391181810214344259764861014474396820785921168141968374822368909432288207477947123807177512347959483556312918707177239803255707224069613267643088697561835950722319286904780842673263690884201420994260540556998519686209177678037630570713543035727122750506097888506672
3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	20085536923187667740928529654581717896987907838554150144378934229698845878091973731204497160253017702153607615851949002881811012479353506690232621784477250503945677100066077851812229047884383940258152534709352622981465538424555697733515108150118404754933838497843177676070913772862491787349396037822793717687131254060597553426640826030948663920216258667391181810214344259764861014474396820785921168141968374822368909432288207477947123807177512347959483556312918707177239803255707224069613267643088697561835950722319286904780842673263690884201420994260540556998519686209177678037630570713543035727122750594435014095368
## category: tang-lookup band edge
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960988596123810335236588386607349697094956996614795972604691105140561101222514849146299216627036110147941860183842201656471728948957582940757473681717251366888449546900060755332552234957647276249005368267092407070988470767067195537731327551180418426204709226895885660539808553841529890423344555082878089365412561408079836396978337301701017113523279726575189669942097021560828319380241263266391550396498329568536411708793521015753243829570614277160756027237759181349147323	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807849630398558049024817394752543643152028261810029288597110568926683464338219290696461924189199918653298806252965944835817935967813374179436245622246894665462330840926779928938103267955658586700938277489092527775550542572036579611304759269796539777995999570734570289407098465867331262317216587906964215344323096946921998182871381177830632079010116114855635401443577253735181108550187316698115961074899608259119344059269352815819281172759709983010279525303921207203034131
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960988596123810335236588386607349697094956996614795972604691105140561101222514849146299216627036110147941860183842201656471728948957582940757473681717251366888449546900060755332552234957647276249005368267092407070988470767067195537731327551180418426204709226895885660539808553841529890423344555082878089365412561408079836396978337301701017113523279726575189669942097021560828319380241263266391550396498329568536411708793521015753243829570614277160756027237759181349147324	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807849630398558049024817394752543643152028261810029288597110568926683464338219290696461924189199918653298806252965944835817935967813374179436245622246894665462330840926779928938103267955658586700938277489092527775550542572036579611304759269796539777995999570734570289407098465867331262317216587906964215344323096946921998182871381177830632079010116114855635401443577253735181108550187316698115961074899608259119344059269352815819281172759709983010279525303921207203034132
21660849392498290919288503795568017752359379198757976691271250296668550686552959862683228968638083985687546281892833929177672507367441579907270960988596123810335236588386607349697094956996614795972604691105140561101222514849146299216627036110147941860183842201656471728948957582940757473681717251366888449546900060755332552234957647276249005368267092407070988470767067195537731327551180418426204709226895885660539808553841529890423344555082878089365412561408079836396978337301701017113523279726575189669942097021560828319380241263266391550396498329568536411708793521015753243829570614277160756027237759181349147325	1021897148654116678234480134783299439782140402448608068060399458732047878362607746337802840334772563863801447757180053314965710419314054034451733807849630398558049024817394752543643152028261810029288597110568926683464338219290696461924189199918653298806252965944835817935967813374179436245622246894665462330840926779928938103267955658586700938277489092527775550542572036579611304759269796539777995999570734570289407098465867331262317216587906964215344323096946921998182871381177830632079010116114855635401443577253735181108550187316698115961074899608259119344059269352815819281172759709983010279525303921207203034133
43321698784996581838577007591136035504718758397515953382542500593337101373105919725366457937276167971375092563785667858355345014734883159814541921977192247620670473176773214699394189913993229591945209382210281122202445029698292598433254072220295883720367684403312943457897915165881514947363434502733776899093800121510665104469915294552498010736534184814141976941534134391075462655102360836852409418453791771321079617107683059780846689110165756178730825122816159672793956674603402034227046559453150379339884194043121656638760482526532783100792996659137072823417587042031506487659141228554321512054475518362698294647	1044273782427413840321966478739929008784603129662713322017997784754321735144778663895286586246758439341635274339660371233967996435718435232049290061713376905831067332774873719783674914499389497964164767405091088355713485531889821653159913912586763226885989755697250364750345199651835370513161832859744394837255378498166869687771402603709151502217620371080107423949425593099676453429405820937020604668494530814457292073509221218720629688085198732487914917286256239481018390845243130715307955859936043150738412930659031741258858801495058999165406473023721915068888697436405572423311029547803850352799842334483464297736
43321698784996581838577007591136035504718758397515953382542500593337101373105919725366457937276167971375092563785667858355345014734883159814541921977192247620670473176773214699394189913993229591945209382210281122202445029698292598433254072220295883720367684403312943457897915165881514947363434502733776899093800121510665104469915294552498010736534184814141976941534134391075462655102360836852409418453791771321079617107683059780846689110165756178730825122816159672793956674603402034227046559453150379339884194043121656638760482526532783100792996659137072823417587042031506487659141228554321512054475518362698294648	1044273782427413840321966478739929008784603129662713322017997784754321735144778663895286586246758439341635274339660371233967996435718435232049290061713376905831067332774873719783674914499389497964164767405091088355713485531889821653159913912586763226885989755697250364750345199651835370513161832859744394837255378498166869687771402603709151502217620371080107423949425593099676453429405820937020604668494530814457292073509221218720629688085198732487914917286256239481018390845243130715307955859936043150738412930659031741258858801495058999165406473023721915068888697436405572423311029547803850352799842334483464297737
