# 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.
1001054786465207979316564638926412296502690936281630183843604057191924662250152615601358504136537729273253573967817749072298603526816275998122762508021782908363457692890090233249098410577707942761398769902593892007913335881893980142707752622158910272632703582791801200854946668536018534867522333086496044248352004949986432785502022468509811563092347472009405248006743794707046867871363980408385082840095742309312866778118679364242168394938750788527697704057101299959269286314757360340094159642674689757898667013356972665693890341872088593170883795321839449205617356569937928251632352335547186529466248164816553188451	785925278584224512727354038515167549074541151915072998814667904210060988726604832502900759293414943939236466436264251996126050883945253579198745000688811870486097053693521226000513347651126551853102869409883768284268085540311298736246227509423209548248399378851337043199719702253873133223636391644392137854713329346857235160496636830728339481410084167751058138463267968594798615671860082934385008651260885863524893356611921946736812177953702764575583411892024735949125029191640601099883548786959608690334820706277372641971097946344654372736244196142614268963724581973820956153598776487034582244381651138350912341313
-9517797658630646467553532120607896764338300646461655361243366305238001337257007101922465680426631504500006050189276655308381369129226242573597477002018911400067261177861931169274771995312867232422796777558757977230607468354950641316997375528080944285397797258352117322714006698013589781734712525563975136193145876167066362924849800207393267859693213361144722635847955276588101650718248001033672021221587718786674074920597462031767567514552031299833389834322048290405856018849256198277805774691122286718589714206951226018882825215799237306135024244300304810378354506456591773944841759203629124611779094008528239049	-9517510273334336267214384069998436489798697374849125683136279360246762813507196948815215164200035735087456658294623442628993103648379909794118715056494804197878564402217304440506989119984680082509619199258907491242490601152873672194148890739333883140233108870897201696326486057299360252254954090690645473685398399985696007889932914181478282495746710772021166861220274429099779509602415041311361625864386661292715277073909756935883849194966219619108252666786367509243333185238412274580825797619096104399307042365521008199991172380910127474741004081763398201455784297217842084563069817256986796900262247799083039609
-993043362571876013725034172237841990138723169417483462231337079017651872262114806335898035364307926336303282061926537549032663857466985926616970381885731518937099398818966523159724074012571027444417415352138855788574061287182203578392591852241541206383434181736434805084435170628507701511008244400521302873495902573399334842926360518676734860868769633646524803074927150901046134701237768482713849511291346808290761108877802316723717624029444168935739283008318793318870914261616412328331080138427730100336866646217617917755963121428470660493700135255763351230266537292129202361680425826387669729349091776722354949882	-781907717927293831638157179408258092972069024556333676366688303662548759601924546878465939387338939175426066021316125180583050242236961957436044562710717168590572329120033189671024551827903763191921904849507485182134014991445054394223226378447317315152632833547305407380081291751125233386824415916362213668690319822246929976445773603045714153181502143887420661970643666430603236604765134434992339628738424752328287638876332922496118414710123309430993518966573782243967435393472062022313511360677415935935972655588073740803560165736880327808985471255486241716380972050023270699682483307188500124094737273201229863334
-6532066416695663832805037942012667481256930324686241828451882579829608123912292281355571427431767349411958166245735935492074963307228675970107484724261657338367474157557739313237562638039014779611744105151125351326164600899976305546311736527591034105066474740315410006078314546138143269734084083305093357125105021218786768707815332290534744580588439834514312235385423651310968583193723371393404488690863970043284733712568824360186447545379981994470113828305842026346051695033292259557896110755002616878620216653419186752053011280794617674080550697738321531864508488946935934617816567005269812643022197315394929542441614564642676285763492437781562654184802349301583055110261416777503929281461247638408927126376383312093354017167855233633703277002757850899346632124734739489519728846670186436187923923989448721476949603627350296489342690389879419147992190375775016774494041226210640837880260636636504736625146460953315436973505626234727613413356245427093818671519773378499970088002917369218011374989667872309869749442583299976943844920999431119686013030619417700642522334105681675645025018707158624477574829737909678848006206455780944170720193531792551142681357167470927289584118000933045993471350343699597731296369123613039381003	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572479
3329782395031616549673095243515058318318515237936741442867930548031247234601176557344127323366250130629048314013185812110444213145950105413181661209263381528716822270833766242759734318976311327953206043121087019382445128686180222119559208445302313542119813925986350689673179105880792187974896354848842321787914514720068949067636252418332782259652407489647179403785041172227740831042716251397345313034534895983481757603708258967043864735346744524921878071255687487797081846592852688797890572739057463616844376572974638339574658033268680570709755458665641403078075784622767035060267934904068907760708093615849467240449023375932223881773367372575254448890253015804780451121835391477971242345435304987511948338019656360451357139245103031795571387472366957655262154999606786458501617188313003121874053654086382879463351765209085460655036191245319273041397559960113876924154189474095761109182566952738134627609543148726067514080098742051249935446191602111808240707038751073700621453410478126550405490806674644400590112160926280240145562406620372015699454077387152904325521062533768746515085969766829380369884670640313135028751604104291306585296469681345602096931741226689645962534485565606870866861089567994861024263264612261607423938	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572331
8951581385913080072347048904504511942678248510033591260795319143830503659279492616336698312469735313933892531528036644599423164111107574973915784823450695752213150538154596553021533803656450163628052830266083219688368926046588009764636960340910029352169812763773278453426971031168921252371820050088243060077764283895599180592897061865853855165811815183587631596249581533019420532295630162120301706291313919339118067999669125882655527659700490180384879933089781020068587959454223613742731935670493409884698707012772494742650983867656375390485865842426679868908349828235374117303011614683775144696962666776134225158407875785234531666174773300512430407891501529470881508661501026137908256282027734496627871938337779501141786420389288691652406011496744780736959461804179126773864913313088778948754821629069007208879519815623163226359373612391037089397083535058946931262875229496015557094517677997657564686579084440323249658500675785293168491127681681546474606846247346574778747001475716112247213324628647661750217907424357711920300438578371214577273264081805575584440257164529669923316734159107777925023795696285450563094228231385996133679234023486368250053673885092000995116786836696732188636037908610098753557559478219287184014873829	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632
2235534197744423849159406772799082279497997230979230365769511168296700348836737900051471044479482595833672108853976568387692916477077093616521843583105907960851522864554107108041913306929030287536805163646046266649560820996191622573703581221959978843696045684207456875309507722901115815205408287584856624026790097161060043680699669731849797184874727421029198564691461068261378561966297535571261042550918506471106775613539463174676384684135438162039045486376197763820695060162642044399951674449671996658346529711947379240395657912961175540819538834541120250100287209388327767923822677651979682838813067632307802567618963415941213677330721923538901195335225590670015153488475424603172392066539050344913154516433621863061338031676360620583337309070961684020694364666798954665548678482369101834542091957745120533056389194231555982738428870178015883650434287980819244440211090965767016395019015362922481140732799065455923862460013751730860829029481252682188435620433426045720133944227253043016993222887092461973139097605238457217576081729739457815706691950526238527796775217618586409811913040292136055294021805524992025973274745923457022790276484810530156215727568305479866689935686812696835279509369715052588926117661917389111427184621	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572631
-9460279782619728380860307430243341111955061604989498840623473240167211721789087404532711613155607255757335273875243300698143087809836744724726952853682241818794696054847714743126862230768504271331560007720837908555795092276515451610734511966785204149459490332951624237191906110770120485439715697309365020457397502513225773286095251204314199837347508277515193777640812440215656435451260249187088389673653971979101352586769731165951871360247362597873903704937969668482536008749238998321358886043700138345246725569650903020376644173312610549774088475712297845034732810624140413418892428101620995985428418031212273631964554409445847838252574953937364539647204414419457352219100441298129172106651249251902751237439854188269609319179694641568702256684672825768282961703736892556117949141654857077917382324428980856715198021254815264673512702586055769947035797245696883939761767833186653805589123444639058541286036783427505429251057882189983071079321955025944631353978040740997906985311025918102295298650086524546599276073343579300974162412162363794907190478832614537891869243629524049844419273740862248338051674553955971338474208886664415725031678878619556951612021304442284924907688689799037882470360333150596868000030178811776451897	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572526
42659176595109581368218041884785614477899874482274558876693277681761677152274205174675637157227390248057665107129489720484721252324136877003504856039727801132072113168166202413827887132952632146179104402544116701392901122387752904743031918931322521403391544530568323006640639837816874253263450625478394782971835526237840270098836518810127079208719309134710120465857775040980996362212045435467366871706934427703383893273735453683195592697040084047440806996678095882573877507555841276822064990458580380678668839875215404700757204932552774576991429036523498530404586139214043707769561034753984591074802436175995652450548476930115727810811671580945958354117726435323696889609772764475069593543591917826488277979501927532175243416360995740993872505157409637927428273881767441968158995403266422918044332854441395727135475825291350299887181883540265591598434971373710869774816248831592981149353986080118043488524403867626256022150395834734011569270179083686897847902907107270316917297218323151293055177932650264439132373767233150673239263333416432185980759293532088229328136413754337168214611504688935035190000804559467440766568060744068428383168181932038089709103626409765408626224168421546167934465484852890832607254193579343138	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284040131017
565010052317322044214452765586336383013367240430209668579498127846311943589427397823270504899479855663783568581087901882189423909970546111665523383928976051394193200800630429965816713684558363512840675880840472520990784199234763638166091268368121538447632241722676511755117890010688050137108830609998070602251254678796359349857950553685361093821515083781455590409302830310310033897561723479274690452382160248497346139511221040886839705498865504874241387389146129780960176370405139888702015882267246441225730215086036622574283683458120821048935032502915715870552650906323594161075614390460812181953946704598343313208	514294161102339756877820855186512153801830282372617906973974578856692518432220232635021822203310103157203866111975413206723659808077932775494400448863585810264153291623539668856127714535511806851186583338097755151448113593388950985486446739754975166906655483478062125981536262478699091551778879711197236340974349981438179993212755985734064792569618357417367826752787689247407670507441119845372556313859983733251433445214691136241626504749433584498103362431663622128900163145456404662888614942644191432676844878185795429513961368923988292448582996845168798423776432501113573529520631348280197069489635748473597102067
8479608346907234534907097390616120249224777043360928468323704466176460105923043528908346777088098727043005636404983452344842993805422852441395257295601823088380349900347796072448897510143215523937226548154228780200399059167721126719992578812067151097355927244571654532505897769254701606752665065954766755485930211260532711966762934785431906217699784377132932824629013155897038721162999127323694264618003313304726659791730729789748462493083208274249194984568027318734946855759650776584997756273519080084330074934582613760719958450761058225428822768512377047036558528921745301711055715855664492663280208162186248562093	1453408537598621046615614929687671363441760754678714265020899254182995423447422846593395422150370543165849846440258215472047073257779151594591473386376155741364184917300476497274482544648979359568851881662643695287203437426119459353160958846411346325728512470827092454906136501285793365965757956974576093225239361127855685400764730246490328072675696078374137775539196480798479025032286348400519374090147626377456021414728676162991928818897374050302557931068856302821645574608085344447400057548369856022830928936592786252173578568071529962864178097405086389239186809474570498482720522886132668348194986189209773801282
6356201057927196102571692694639412304333718822979122157502409107820543625651496064300427714479007282759537421132479914840930099037937996833727377845424695877154436527658685188168749106368898193185900376429464101867818041916250864757354274002081091265839921161660849844038019122251405663006296961054008485126298696341715167637045503348413284445246879573044522431853485159354965047580334646847823753631318023274355037095605438082994085857229543664387554564957568382666201239206214109929271818335185233051089663009472500678080078878969592957830445039703515695433358649230069996832119308289989354036151329609518670599099	1414748739019074095010617525308642383886153917186297931261818185263136949735493481621088080676832398992752826681255715306177406582075523567162152446022080936972268525673933936705816642561859654527241057922890254005496338178403091791860243273499286160006326541763948903117940728011914496925844025492119570398638606760521540332918989179220636785100556611623445190928532425437976442238080212226283538523970710614780858845585999892805300100739191134047133024812061792895935169828787274219508334399772219507492510814991752513547630373520177283328984989995093241915454700248668691691018399012657963173135629404263208222446
0	0
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786316
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786316
5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632
-5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570796326794896619231321691639751442098584699687552910487472296153908203143104499314017412671058533991074043256641153323546922304775291115862679704064240558725142051350969260552779822311474477465190982214405487832966723064237824116893391582635600954572824283461730174305227163324106696803630124570636862293503303157794087440760460481414627045857682183946295180005665265274410233260692073475970755804716528635182879795976546093058690966305896552559274037231189981374783675942876362445613969091505974564916836681220328321543010697473197612368595351089930471851385269608588146588376192337409233834702566000284063572632
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1471127674303734591852875571761730851855306377183238262471963519343880455695553844893404788236772162411515656847813754353978995238212134203072377631978956655893898827937824051553659510535022596710919843933276664239361549950957670584150625425647342719081338958874458026698599022794212059628660148823535426331229566700270287662680933992067377749575827274062724650320016680358169517759769372035999010273578679730428988599329988997819183697100921197532271827990470487435460098751035644576021753106623140931606587566775200809672270531042814681285586432072213939728631356441446006171330597420112664354179972782463502427862
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1471127674303734591852875571761730851855306377183238262471963519343880455695553844893404788236772162411515656847813754353978995238212134203072377631978956655893898827937824051553659510535022596710919843933276664239361549950957670584150625425647342719081338958874458026698599022794212059628660148823535426331229566700270287662680933992067377749575827274062724650320016680358169517759769372035999010273578679730428988599329988997819183697100921197532271827990470487435460098751035644576021753106623140931606587566775200809672270531042814681285586432072213939728631356441446006171330597420112664354179972782463502427862
500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	463647609000806116214256231461214402028537054286120263810933088720197864165741705300600283984887892556529852251190837513505818181625011155471530569944105620719336266164880101532502755987925805516853889167478237286538793918012517199484013955838185115095021633306493872154609732078555557208601463227565242673052180457464008697450583897363896489002648687785378012823633121716457814683690099334052888248624456238811909015894976799719701149677600164500625301681212560933530413493966301293192427484029316111949206162084415937236127316687698168702759318951033397332592903851289254594592246321560978363800953749932094860734
-500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-463647609000806116214256231461214402028537054286120263810933088720197864165741705300600283984887892556529852251190837513505818181625011155471530569944105620719336266164880101532502755987925805516853889167478237286538793918012517199484013955838185115095021633306493872154609732078555557208601463227565242673052180457464008697450583897363896489002648687785378012823633121716457814683690099334052888248624456238811909015894976799719701149677600164500625301681212560933530413493966301293192427484029316111949206162084415937236127316687698168702759318951033397332592903851289254594592246321560978363800953749932094860734

# ─── hard-input sections (see scripts/gen_hard_inputs.py) ───
## category: half-ULP-tie
6145586070516763495499298564782534863327119004217831985079327984192882508892803037126824500873738663160723103357501103849681682865084401331549013772867980372930034146983493092359366357010797791430905543856012002026372420961330547860828964968188402755063046469560492375186905451390242223798507389672177179493647404122725624168877420651384955863272613913225131101211594344270552845399385428737324945470596704523490704969458642621648802673364184864712665161820391346304215373604704555138386571610500817998472914187164095566907814443069604194961246683171240875597816194903642356130361880053811252371062419808262531472637	1409491637665323709486010121939447017202745196140030562259824410554432560844829427624871558258803208860872353577424026967897385828146347999204307941214383998111335880265029678259412914692212603821834547328151407442502257826977594921028554252324808789897376172953209426932856036592395505092013320636443291956942088842717646866299858689763098065219003418355491440313052417954185587368023216477362127202340466886417383488102885341391385361698214519809175139578347663631813088693391151485036073457036797614217702709390336246215907994416915304496464545639648021789965815843632368420369758053987929370722773558111565423908
128540878516219544493493174644844592240302722893283079946219289656635698155210310662280411298861877474873655324334669794080513964933479955529816222110744389273616106223314022444905442648753418093089606335874878263031081264683816999888924919809164625478251388040859924704059655977015972638371806582131532790871397165223306244269467554882831806736748813581038704825187525307973644316848356555862562805012225726697994083966910496496510937734604984440622493684090909738171828313901397029669677323135274592123557715690166519405935739553130985090517751946992639515320807143740870322112539833519343582808283349103805418510	127839865187403516144152094996792389822534356835661587194215555769370849743098901132258818851563313818719331663756021196573827752844786572418432153016525182111100848334017433408404214330903695523133882006778586519306852503833896024616019948132076724133573247077342571670675389140513755391057245648697203907337099658854546456913216225866901393322717659516643337378749758073115868039973563187106022171897099871162250486749541580697534066620769145199029310914862485252776445830460234710710912253476091185707669252582358755224841022635329395744007717955752712873555204410255693987987804710107729168064900781492319826673
-1720898141808688818568497325515632821231009754858111448087037899149019751980441164065272308019070895847216344634657271687247601848091996994918429650286744735249299909755084323638509194128658016954295366955680625457498154995903518241049054332795822447308908822114996814861390266650120829195690020958657341520239339840812192822852381150386624215161084627934526560690367712907649176919516305451871812817414382355172123284280452640358544153859798380225858855513581008658888378138256000563204091276028103435224218073800555869091310060387222728344536517655389470825806817789377989952191983109048913132922614651745628911464	-1044395862005622734439916655861258335249231896297276649116143954208597801802407582086981956006712290875410474802675533491529597776099247834138100076369280039653960259398085323874544800798143144977823700870907456198646661338346459685198465846862650823666153184368803547824022425857635821460590376562284937264770804638479727053191761165373430165487065876054542488665755925912454246588819185900286547943284426990457917155742772055308570777466239989508755980256453912112504738127027378224788975802424283591816903733655068470870314231438737270611696545713296642375840702504273367170234289488999703429592330657237110214682
-353649227148671254055992850322177612029348760750963251006445078557595884448585894125581687963597810221967945646388849811453439126430979364826420500429256770581790134680426774397120026225041869268182177354509610652981271554110455490998378394875764581824444606693769146551026588159835483808628915457812479135495270628915658698898718273917302159761128535962475585713524888450560610030998160209199229145436504737749427933451003363758615530527578751470468892642358883985009420300980776009498787994718034183768275561531199568122027797858221622536411446377156951104353613958100333553571146205302743124822925422790493321137	-339922094937497099027304934229714235403141761172912739590958208254065791275510037707482764392788370509965935219968718437068828454826997390717483711527049677017207705174588720103273110150009250244357428357608010297458632840621999503395418800511973795670706992275784945232083962191936704121967575400546540338422136100192221919205346385108684824124534001666460029227924193300634120088648403176417948223221529751380507616863369101509604648980879232592612873078390939912593260133959037076238670074576529713047637387809864898769977150843721624096414130020510197377723702365104039522037124466330299074970914011591011324919
-2121007970270044637262822672390177073693833139222619077588565086725020574838998904138726149510389843880457610792703238461431005809672508501642800341844119068665860722378881774693956001862340221959445429148974262031666326610451611443067194034974500923125664246996411363780007458143972554512763122210793594881952264247096509964963090778305198117726721990191877586417512347988078588086036970898970389150643924246021680371121372694843987841151906860275515661933411006272492841804320503013599848709859487187773232192384451637708465441391007042027695778422672636183485600068943572764723402655427600628362082858580298195999	-1130228861803153172254759950884893547950561450340101152930915924007496156115346725016613037093095091872344574572666008185032468452031832297016871930801972100053890529605282743430951723526383130724651683008555535389919878263110844711422012885522463174400066765758630267025978280699573535219887896958019555979365904210128337722449709632597946090603701562433991903978161154757879276996557543433827477321345616053411393412521827628118919769206958185410089660047628858069546630229545649200833378260180398668304942667997772104465902924033016957708759392740910952367262707698708892090204287377045198174698460703627344813770
-8115145097316304088669476043631978588592628056664841205189679502519405449197671036937592758227698474111236934835256626712154790380907308179916537165611117847548847189799685646016476412129032165838685178564510332926840215748756852677503390425249742375127100110067999552908907019564350832137057467898197664448938234604808351149363885098463539603801095303642092155623236542993599275601805853942470499586155448805307704815085310897402669463528704413332810800193769365522990507470572391299982143494240074784211567476945286385699449194671997006584225549797607568064739443606643794076822939925902346123451670585827224947010	-1448188039661268669033798600979567074320847111803029701174667786348239297016456927295515403284196086288520390637605148163264104071202453503975076373486177272178526569641884168577204622956712161180046853758240964323898784042477384450888428170551772615044336192247882730612157621094042083614321149127143111103041301759626738316007165494307326040173985656613597176420461480087686207269223004654515056056537870290893827375962865230472331840229207928596738558330218492548907417170259259426257323382044486014476749588598353333858900481829335889340798702474917200665304084734567419414381502875287989950929455127590232159095
4726954220908442911269700130153734681301534535098017112544264023264134105392099187285713681715412720842923897787453389378568970181066762228467663673787799242332300801897304639701143166939323394105720016060894978597210071833589825277486613112133052928889947810267645010816992867463327448189023433130783632742866429039501291003557293462116474952349473355924038761247908770884427149586467543260050633549287372547733889586659919958241929009608864922423645923990134663041385360823428922304707771799353694775640930965282103210620633100306223665121756222339474189053406182919055270748841053118437214433810925595179434139428	1362317465315562765638343518874550180490632211960977748042980548370639463365807668245135216480813841291155604539398608057569099111968994577236897184702864076263747255799499332529731803106278697415382744607963735315367136291696379154708979454882310692812725362770057042410636694295650198380781348931385262581565935108813866380564400421724534169304014831939039695718577156479931529743427151691822023092865924630414997274959226665792470467006897956231759620957119186094358863432389136858790109819522230072764571962150206910975619615983719848968160009488365319509168289041432735914751390374033309207231488061658424867500
7921337383437186452642856926767387454916490465623450648104518311679006155071543525913902925657225499306325107645256645130196724254761295003469198568529376639294727810127059903681467878269579208039470419458447891123203994554382658958307721508346916915505320911495513449198056377696411681795154525218319067124459192404961020947120361397790578047543753520081433140136805250948983302403725290448879323784360713728470678150920319155210238934793007177122731420074486329739343178814909096700837294998089474909621831000093500230326969979746384183702554628511345572345756294645903423047608463681313324268718644467087871566152	1445219307653939911521425143363064602260872284218751957220886560524323631475114172668915808179341424114014083739286885553964905948987102181054079694536026241145088789961299262998463556440758853576976179992836381176789175754807137014329812690861006951283604287309955730996113529077284096056796465011585801754595005886955930520743903616607953824384086923657809660842365713830116738485541384875870633720217830012682979756280652821314717038011470251101182620232440176675861519073292154335090251308833581978746090765587712727113097405611683794409809446298562379052641789388662046730640455606572352736480384543466631474331
## category: catastrophic cancellation
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000	100000000000000000000000000000
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
1000000000000000000000000000000000000000000000000000000000	1000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
## category: range-reduction breakpoint
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786266
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999900	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786266
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786311
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999990	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786311
999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786315
-999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786315
## category: asymptote stress
100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1560796660108231381024981575430471893537215347143176270859532877957451649939045719334570767484384443574366061972565500368626068848454065791553713241564500301545985135196418856718345713757628924143494438721608047007178718527060232023744938574481833397912364009735237313038166178173143279537136627742826361548235284750352378044025977820371529362683134445031777479652157848191657870077502388383723331123139111702281893170788430751754907735478382271641864205429133785178558795881284854174307762596466668129922037613487147557721948913501048415773028568729401122913139485533613408803919621823252100667169563997472137800356
-100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1560796660108231381024981575430471893537215347143176270859532877957451649939045719334570767484384443574366061972565500368626068848454065791553713241564500301545985135196418856718345713757628924143494438721608047007178718527060232023744938574481833397912364009735237313038166178173143279537136627742826361548235284750352378044025977820371529362683134445031777479652157848191657870077502388383723331123139111702281893170788430751754907735478382271641864205429133785178558795881284854174307762596466668129922037613487147557721948913501048415773028568729401122913139485533613408803919621823252100667169563997472137800356
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1569796327128229752564797882004830898086963765133284897396041247966262730802434937022743937769650131977862394041930866302635623032841632175386468282287539803354107757428994396718640472903497838657901887936661388038231912522140410699457059601927996221356361740881954206268965469353191755105258527349856973968474355456902181946664013501658275040937503810614139009590871034161956608562532549934505107438414801472099196947370412403376581839034756869039398499775872458059346735437244366107233421693598522142087460533400435520326656623326522371952888957407768858197319392913443037531477175331286515043667922315950558985178
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1569796327128229752564797882004830898086963765133284897396041247966262730802434937022743937769650131977862394041930866302635623032841632175386468282287539803354107757428994396718640472903497838657901887936661388038231912522140410699457059601927996221356361740881954206268965469353191755105258527349856973968474355456902181946664013501658275040937503810614139009590871034161956608562532549934505107438414801472099196947370412403376581839034756869039398499775872458059346735437244366107233421693598522142087460533400435520326656623326522371952888957407768858197319392913443037531477175331286515043667922315950558985178
10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	1570696326795229952562655024987370489606521208533151748394010269358480819481020218029378911509772340633307664894105551649202274175983318962873730886991541287914832053975470005732693098673475101396031358421929644591375777700024066556918259786849494180023619154483220638177597255994976227592745563770792563411300681783791948141133545159652642677971275936956385915104612674769790849685582597773521951448075714908529062522927806360923185066145089001105806602302219701980086943653378949923448544907155187358878049339793886216062913688251574877510129324585337169415662946227879698336804277168167743879652100219165263553290
-10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000	-1570696326795229952562655024987370489606521208533151748394010269358480819481020218029378911509772340633307664894105551649202274175983318962873730886991541287914832053975470005732693098673475101396031358421929644591375777700024066556918259786849494180023619154483220638177597255994976227592745563770792563411300681783791948141133545159652642677971275936956385915104612674769790849685582597773521951448075714908529062522927806360923185066145089001105806602302219701980086943653378949923448544907155187358878049339793886216062913688251574877510129324585337169415662946227879698336804277168167743879652100219165263553290
## category: inverse-identity
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758139	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946576
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758145	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946582
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758142	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946579
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758142	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946579
198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758145	196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946582
-198912367379658006911597622644676228597850501321590981921116995825429604460277063053319906057614713757760782656570580838325539505892861484110740857473460387702374485232685265834349601229135692471024259166035786170089971464922384865189904733455576936487554923713376476371487743535126379773692805119313382136376778763014962952556269240154601300832712539098611567629183750379823135955350127435058362569320673516053128669045671384882027666875566947516280235963279529692711701965758301492791915647579656382265255139717180959008928914666173327314159540570637343228434486490009819538655794209419971126261818544687033758139	-196349540849362077403915211454968930262323087460944113810934037019238525392888062414252176583882316748884255407080144165443365288096911389482834963008030069840642756418871157569097477788934309683148872776800685979120840383029728014611673947829450119321603035432716271788153395415513337100453765571329607786687912894724260930095057560176828380732210272993286897500708158159301279157586509184496344475589566079397859974497068261632336370788237069069909254653898747671847959492859545305701746136438246820614604585152541040192876337184149701546074418886241308981423158701073518323547024042176154229337820750035507946576
414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099935831413222665927505592755799950501152782060571470109559971605970274534596862014728517418640889198609552329230484308714321450839762603627995251407989687253396546331808829640620615258352395054745750287759961729835575220337531857011354374603408498847160386899970699004815030544027790316454247823068492936918621580578463111596668713013015618568987237235288509264861249497715421833420428568606014682472077143585487415565706967765372022648544701585880162075847492265720	392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573375825789448521860190115120353656761464420545986573795001416316318602558315173018368992688951179132158795719948994136523264672741576474138139818509307797495343695918985719090611403492272876493641229209170305082080385752674368299403092148837772482617962846317402147036647094048084352308458675641500071015893156
-414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836055850737212644121497099935831413222665927505592755799950501152782060571470109559971605970274534596862014728517418640889198609552329230484308714321450839762603627995251407989687253396546331808829640620615258352395054745750287759961729835575220337531857011354374603408498847160386899970699004815030544027790316454247823068492936918621580578463111596668713013015618568987237235288509264861249497715421833420428568606014682472077143585487415565706967765372022648544701585880162075847492265726	-392699081698724154807830422909937860524646174921888227621868074038477050785776124828504353167764633497768510814160288330886730576193822778965669926016060139681285512837742315138194955577868619366297745553601371958241680766059456029223347895658900238643206070865432543576306790831026674200907531142659215573375825789448521860190115120353656761464420545986573795001416316318602558315173018368992688951179132158795719948994136523264672741576474138139818509307797495343695918985719090611403492272876493641229209170305082080385752674368299403092148837772482617962846317402147036647094048084352308458675641500071015893161
## category: constant edges
-1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	-785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786316
1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001	785398163397448309615660845819875721049292349843776455243736148076954101571552249657008706335529266995537021628320576661773461152387645557931339852032120279362571025675484630276389911155737238732595491107202743916483361532118912058446695791317800477286412141730865087152613581662053348401815062285318431146751651578897043720380230240707313522928841091973147590002832632637205116630346036737985377902358264317591439897988273046529345483152948276279637018615594990687391837971438181222806984545752987282458418340610164160771505348736598806184297675544965235925692634804294073294188096168704616917351283000142031786316
1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199287	1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042827039150094700900646173701853214874316318310127321476270325221977815376158549411262261055090400636381882855641153449536818108882737797869086749713757908195668868771862724960506973654276418030571788122630863453337110176849606822173794715650647170536477685756788586530651030728705793977537264368372849358154126654249855783961917574963742646061003983043277891120813552214362007131648798408245730234059953647900923513072392097725584128224939489223135044000189375715088
-1732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248575675626141415406703029969945094998952478811655512094373648528093231902305582067974820101084674923265015312343266903322886650672254668921837971227047131660367861588019049986537379859389467650347506576050756618348129606100947602187190325083145829523959832997789824508288714463832917347224163984587855397667958063818353666110843173780894378316102088305524901670023520711144288695990956365797087168498072899493296484283020786408603988738697537582317317831395992983007838702877053913369563312103707264019249106768231199289	-1047197551196597746154214461093167628065723133125035273658314864102605468762069666209344941780705689327382695504427435549031281536516860743908453136042827039150094700900646173701853214874316318310127321476270325221977815376158549411262261055090400636381882855641153449536818108882737797869086749713757908195668868771862724960506973654276418030571788122630863453337110176849606822173794715650647170536477685756788586530651030728705793977537264368372849358154126654249855783961917574963742646061003983043277891120813552214362007131648798408245730234059953647900923513072392097725584128224939489223135044000189375715088
## category: argument-halving cascade
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144911	349999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144915	-350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144913	350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144913	-350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144915	350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
-365028494830424558317610947263770388536459874590032447950560736616286696547989420608215118433518529953582121815821009983648089687736034749076536295944027233538923719025979461318186069265975093528645407273832014322770582164247313825240608080907378587136497152839766882874540348284578984071888629974106787895860451550057396473859482735356768200852400603025580097737632420867307462902648257620704550869370302017715293321254213789184910263460698523202622262763247664347040611003580826675098070415306048723405298744257238592270192679405366475755784715189190213440902607870882239219053383566753514941144588597985185144911	-349999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585027279498128102087979884632625388021877614574017214437336327403102167559181836367887758329524758873762214927574196823387621995109797347267733152666766147954240756884457591988748322604059274189299807087051048734862300106821274324592620150269282654531637770700511956859745948999463732828878286728269637176432116706816216737217496330810851877720129770452228512664356061457420452372140184986520510083323529952066981323532343313312038015886018206274091949211636544754499994	174999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999998
-176808617128581859799999953169960332123140661804612683024042903541239204525430251504955860117535580697919677450176615414595661957406619472930760585027279498128102087979884632625388021877614574017214437336327403102167559181836367887758329524758873762214927574196823387621995109797347267733152666766147954240756884457591988748322604059274189299807087051048734862300106821274324592620150269282654531637770700511956859745948999463732828878286728269637176432116706816216737217496330810851877720129770452228512664356061457420452372140184986520510083323529952066981323532343313312038015886018206274091949211636544754499998	-175000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
