back to table · edit · history · where entries came from · files · download
148257 bytes, as of the version from 2026-11-10 22:53 (current). Recorded here, not run.
{
"table": "T710",
"checked_entries": 22,
"total_entries": 22,
"checked_numerator_branches": 178,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"h1": {
"count": 22,
"minimum_accuracy_bits": 505,
"min_at": [
3,
1
],
"maximum_radius": "7.4900963e-152",
"max_at": [
24,
1
],
"below_505_bits": 0,
"over_original_radius": 0
},
"all_reduced_numerators": {
"count": 178,
"minimum_accuracy_bits": 491,
"min_at": [
12,
7
],
"maximum_radius": "1.0936585e-150",
"max_at": [
22,
21
],
"below_505_bits": 153,
"over_original_radius": 114
},
"rows": [
{
"k": 3,
"h": 1,
"radius": "6.4752903e-154",
"radius_exact": "582635453/899782758908639276562107701537196371773939423660383326620151114522367516134297574063808137220778171429984182126704179024641653211098859937801703036173032771026944",
"accuracy_bits": 505,
"ball": "[0.192450089729875254836382926833985818549200583756708958672867442161325890767644448564571798528583175075069571268378522558885549454999883608756850612454930 +/- 8.26e-154]",
"mpfi_width": "3.83566636076470531956721293749696145710391526371706409072705806468357581480218579197975741041498294005781203993630869881713451579684072977910184960965361991601600954823166098941178697616181783e-192",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 3,
"h": 2,
"radius": "1.0940806e-153",
"radius_exact": "61527179/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 505,
"ball": "[-0.19245008972987525483638292683398581854920058375670895867286744216132589076764444856457179852858317507506957126837852255888554945499988360875685061245493 +/- 1.87e-153]",
"mpfi_width": "6.73981374820083934723953130445894656033973682053141261656325917080114036029526932019300230687204145181586972731665671363582207775730585375470753574267707499528527392046420430996642568668433705e-192",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 4,
"h": 1,
"radius": "7.8664374e-154",
"radius_exact": "176952119/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736",
"accuracy_bits": 506,
"ball": "[0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 9.74e-154]",
"mpfi_width": "3.06853308861176425565377034999756916568313221097365127258164645174686065184174863358380592833198635204624963194904695905370761263747258382328147968772289593281280763858532879152942958092945427e-192",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 4,
"h": 3,
"radius": "2.3467480e-153",
"radius_exact": "1055781685/449891379454319638281053850768598185886969711830191663310075557261183758067148787031904068610389085714992091063352089512320826605549429968900851518086516385513472",
"accuracy_bits": 506,
"ball": "[-0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 3.02e-153]",
"mpfi_width": "8.10969459133109124708496449642214708073399227185893550610863705104527457986747853161434423916310678755080259872248124892765583339903468581867248203183908210814813447340408323475634960674212914e-192",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 5,
"h": 1,
"radius": "1.3515198e-153",
"radius_exact": "76004641/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 506,
"ball": "[0.89081309152928538815550003158955950070652029590919021808096640319879169645245278070410934295543512553340132240221919918959440892046184366349738670047786 +/- 4.72e-153]",
"mpfi_width": "1.11782276799428555027387348464197162464171244828325867786902835027921352317092271651981501674950931395970522306715282079813634460365072696419539617195619780409609421119894120262857791876715834e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 5,
"h": 2,
"radius": "2.6637129e-153",
"radius_exact": "599190737/224945689727159819140526925384299092943484855915095831655037778630591879033574393515952034305194542857496045531676044756160413302774714984450425759043258192756736",
"accuracy_bits": 502,
"ball": "[-0.08032456635449091194791906905309685693223778428874667248845232164181529817698762801957795735383500818999786019891174002585687636441047501709043409311376 +/- 3.85e-153]",
"mpfi_width": "1.66577510524638631021204676142725183279941462881426783368717950237686721099980640108835178966593544825367837162948263491486984686034225978978137468762100064924123843237489277254454748679027517e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 5,
"h": 3,
"radius": "5.9139858e-153",
"radius_exact": "665162809/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368",
"accuracy_bits": 501,
"ball": "[0.08032456635449091194791906905309685693223778428874667248845232164181529817698762801957795735383500818999786019891174002585687636441047501709043409311376 +/- 9.22e-153]",
"mpfi_width": "2.24660458273361311574651043481964885344657894017713753885441972360038012009842310673100076895734715060528990910555223787860735925243528458490251191422569166509509130682140143665547522889477902e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 5,
"h": 4,
"radius": "3.2765566e-153",
"radius_exact": "184261823/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 505,
"ball": "[-0.89081309152928538815550003158955950070652029590919021808096640319879169645245278070410934295543512553340132240221919918959440892046184366349738670047786 +/- 6.72e-153]",
"mpfi_width": "3.61648542586386501559194362678284937384083439150466042839979760384451433967063231815234270124841248634022278051137677317044111489416411664886745820338769877795795185976128036144539914895257110e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 6,
"h": 1,
"radius": "2.6084884e-153",
"radius_exact": "146692053/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 506,
"ball": "[1.34715062810912678385468048783790072984440408629696271071007209512928123537351113995200258970008222552548699887864965791219884618499918526129795428718451 +/- 4.77e-153]",
"mpfi_width": "1.62193891826621824941699289928442941614679845437178710122172741020905491597349570632286884783262135751016051974449624978553116667980693716373449640636781642162962689468081664695126992134842583e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 6,
"h": 5,
"radius": "1.0897449e-152",
"radius_exact": "612833533/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 504,
"ball": "[-1.3471506281091267838546804878379007298444040862969627107100720951292812353735111399520025897000822255254869988786496579121988461849991852612979542871845 +/- 2.76e-152]",
"mpfi_width": "6.53159186004504105846302545928054008123980999192962913735236173300403195892029352005695833316379952078415993086297138427146334689976307128098486390672444991413011911641734271339835725083555265e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 1,
"radius": "5.7502624e-153",
"radius_exact": "646748373/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368",
"accuracy_bits": 505,
"ball": "[1.85761008912843495116319577601907443849962066948867116302722768710636612381079626198125560630392365079943564522782496532719903527670268069725613810102135 +/- 6.68e-153]",
"mpfi_width": "2.23564553598857110054774696928394324928342489656651735573805670055842704634184543303963003349901862791941044613430564159627268920730145392839079234391239560819218842239788240525715583753431668e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 2,
"radius": "7.6015416e-153",
"radius_exact": "213741751/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 502,
"ball": "[0.1751593035241762036688669033433271013992197196595921476143636962906889864559422274064066947916274053523654153405885379649008109059027584742095353766172 +/- 2.27e-152]",
"mpfi_width": "3.39730449096302471161667431606873729057775351929225676607253714300545286453907884432492799208184203262263352108644484752374771399148750351863306679712177763989989417129089973347901132174332437e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 3,
"radius": "1.3004614e-152",
"radius_exact": "365666497/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 503,
"ball": "[-0.6129819184119794356695530742768588858114187939341868697267430758040137129635451383727305853789925544632635177700839598036436837060217756129617170782415 +/- 5.39e-152]",
"mpfi_width": "4.33978251103663801871033235213941924860900126980559251407975712461341720760475878178281124149809498360826733661365212780452933787299693997864094984406523853354954223171353643373447897874308532e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 4,
"radius": "1.5589539e-152",
"radius_exact": "109587491/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[0.6129819184119794356695530742768588858114187939341868697267430758040137129635451383727305853789925544632635177700839598036436837060217756129617170782415 +/- 4.78e-152]",
"mpfi_width": "7.01378991682688972720861794285158666441858791079691719447233474684996720420971116247727069333025451896285630159782162069418882888565162016750052500050947641785784603105218009492441047069589547e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 5,
"radius": "1.9351726e-152",
"radius_exact": "272067957/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 500,
"ball": "[-0.1751593035241762036688669033433271013992197196595921476143636962906889864559422274064066947916274053523654153405885379649008109059027584742095353766172 +/- 4.22e-152]",
"mpfi_width": "7.43023369313848630476162963320839962261844156800048415289412962244418400695966276274935864074673838102627589450519227942290629060073718511494586867241472658016815563914590328806054734239346426e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 7,
"h": 6,
"radius": "3.0010995e-152",
"radius_exact": "421927755/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 503,
"ball": "[-1.8576100891284349511631957760190744384996206694886711630272276871063661238107962619812556063039236507994356452278249653271990352767026806972561381010214 +/- 6.75e-152]",
"mpfi_width": "9.46861638771630113173163422284964199696509367957583821253765190824745572568311006934431543599584360059985600715705918793715491899562968722612570875068779316410809214192044312814795413543945888e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 8,
"h": 1,
"radius": "4.8929360e-153",
"radius_exact": "2149697/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 506,
"ball": "[2.41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709994 +/- 9.79e-153]",
"mpfi_width": "1.92879222712739467498236993428418633271511167546915222847989205538374098115767056968124944066581999271478548293940094569090192794355419554606264437514010601491090765853934952610421287944137125e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 8,
"h": 3,
"radius": "9.6452369e-153",
"radius_exact": "271206809/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 502,
"ball": "[0.4142135623730950488016887242096980785696718753769480731766797379907324784621070388503875343276415727350138462309122970249248360558507372126441214970999 +/- 4.19e-152]",
"mpfi_width": "3.40826353770806672681543778160444289474090756290287694918890016604740593829565651801629872754017055530851298405769144380608238403662133417514478636743507369680279705571441876487733071310378670e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 8,
"h": 5,
"radius": "1.5617322e-152",
"radius_exact": "878262333/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 502,
"ball": "[-0.4142135623730950488016887242096980785696718753769480731766797379907324784621070388503875343276415727350138462309122970249248360558507372126441214970999 +/- 5.70e-152]",
"mpfi_width": "6.40008329910453687607786387285207283128196146860218693995600545650059507384136143576050950766385724855360637520801222888344730635815710340284422906296489723129528450333511433661852455451000461e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 8,
"h": 7,
"radius": "2.9689657e-152",
"radius_exact": "417410029/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 504,
"ball": "[-2.4142135623730950488016887242096980785696718753769480731766797379907324784621070388503875343276415727350138462309122970249248360558507372126441214970999 +/- 7.68e-152]",
"mpfi_width": "1.13097362408833596851238964328481834963749730061600289760866397792955721167881592494945989929950354118276057863264873633693794865781132375200945965633215307237957767250716404030656118839971314e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 1,
"radius": "7.8156692e-153",
"radius_exact": "54940659/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 506,
"ball": "[3.0110541874923053346507472525733663402201165054329977007858035572715253813833855351949526905401527479117960390802884864218516797905413037698161962915473 +/- 1.46e-152]",
"mpfi_width": "3.85758445425478934996473986856837266543022335093830445695978411076748196231534113936249888133163998542957096587880189138180385588710839109212528875028021202982181531707869905220842575888274251e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 2,
"radius": "1.0055741e-152",
"radius_exact": "141374725/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 503,
"ball": "[0.5271535360753661117781664521513872449364878125243437585610611095032542550035847017086968891789017766244569468797171562252624961672068040244741797001333 +/- 3.46e-152]",
"mpfi_width": "5.65486812044167984256194821642409174818748650308001448804331988964778605839407962474729949649751770591380289316324368168468974328905661876004729828166076536189788836253582020153280594199856572e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 4,
"radius": "2.7875657e-152",
"radius_exact": "391906811/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 503,
"ball": "[-1.3292001130376876938542832394180641839884251903684001901875377948003157817739341420988250101897519208369216645903001948432758868933351980928009129166844 +/- 7.30e-152]",
"mpfi_width": "1.19672790455858805970497043649905197461642156227972399630684211618127565421828196709768431204947467729803735646012831403094596892861430769107977707821192941379699497904827822869647753656248716e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 5,
"radius": "3.1440296e-152",
"radius_exact": "55252805/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 503,
"ball": "[1.3292001130376876938542832394180641839884251903684001901875377948003157817739341420988250101897519208369216645903001948432758868933351980928009129166844 +/- 5.20e-152]",
"mpfi_width": "1.25371494763280653873854045728472111626482258905494894851192983599943163775248587029281213643278299526461056391061061469908625316331022710494071884384106890969208997805057719196773837163689131e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 7,
"radius": "4.5719982e-152",
"radius_exact": "642782059/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 501,
"ball": "[-0.5271535360753661117781664521513872449364878125243437585610611095032542550035847017086968891789017766244569468797171562252624961672068040244741797001333 +/- 4.65e-152]",
"mpfi_width": "1.72057033897159638620586408910577985361518484686736874926899461758663257978269476954520546695757806168307568648571561632654319708601141307233997253918748093375575285449248792953614444359258686e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 9,
"h": 8,
"radius": "4.7226883e-152",
"radius_exact": "331983867/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[-3.0110541874923053346507472525733663402201165054329977007858035572715253813833855351949526905401527479117960390802884864218516797905413037698161962915473 +/- 5.81e-152]",
"mpfi_width": "2.50742989526561307747708091456944223252964517810989789702385967199886327550497174058562427286556599052922112782122122939817250632662045420988143768768213781938417995610115438393547674327378263e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 10,
"h": 1,
"radius": "1.0206739e-152",
"radius_exact": "573990485/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 505,
"ball": "[3.6435769324716324645699191954113348597583189679255075448123179344369820839867987508360153291755755103236031498077885367842345120462578496710799808950252 +/- 1.97e-152]",
"mpfi_width": "4.55896344593747832268560166285353133187208214201799617640701758545247868273631225561022595066466543732585659603858405345122273877567355310887534125033115967160759992018391706170086680595233205e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 10,
"h": 3,
"radius": "2.2761709e-152",
"radius_exact": "640018555/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 502,
"ball": "[-0.5695148261113217403638237553771720729775691587542035281271571166315305037445022686257975135400950927734098816065722390861669034628199435951356503280228 +/- 6.18e-152]",
"mpfi_width": "8.67956502207327603742066470427883849721800253961118502815951424922683441520951756356562248299618996721653467322730425560905867574599387995728189968813047706709908446342707286746895795748617064e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 10,
"h": 7,
"radius": "5.5725062e-152",
"radius_exact": "783444531/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 501,
"ball": "[0.5695148261113217403638237553771720729775691587542035281271571166315305037445022686257975135400950927734098816065722390861669034628199435951356503280228 +/- 5.86e-152]",
"mpfi_width": "1.75125566985771402876240179260575554527201616897710526199481108210410118630111225588104352624089792520353818280520608591708027321238613891057278733606470989308388093087834121745143873940188140e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 10,
"h": 9,
"radius": "8.2287336e-152",
"radius_exact": "578443175/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 502,
"ball": "[-3.643576932471632464569919195411334859758318967925507544812317934436982083986798750836015329175575510323603149807788536784234512046257849671079980895025 +/- 3.22e-151]",
"mpfi_width": "3.73484313071031877973858905456846989880289806249935840605651825269760753624167119401914664419836053134772098060084001301965555138160948773919402956277129619250930301153528590054724857564556434e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 1,
"radius": "1.3931815e-152",
"radius_exact": "783475453/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 506,
"ball": "[4.3081595282956632016505328730818249845590697471630932939370802060795145472495697274845581510736210710904528759494727629926750404840340501785201249510736 +/- 5.95e-152]",
"mpfi_width": "4.55896344593747832268560166285353133187208214201799617640701758545247868273631225561022595066466543732585659603858405345122273877567355310887534125033115967160759992018391706170086680595233205e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 2,
"radius": "1.9702027e-152",
"radius_exact": "69248219/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[0.9524520668736869598304176074543598747137664349864554768511220749832857876651836688713967704117258234231509735893345779297629131593386804410875738309692 +/- 6.91e-152]",
"mpfi_width": "6.44391948608470493687291773499489524793457764304466767242145754866840736886767213052599244949717133929712422709299861401278598653869242602889110734421808145890689604102919046221180211995185396e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 3,
"radius": "3.3208991e-152",
"radius_exact": "466888715/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 502,
"ball": "[0.8805173531469863493322560906238359328964280284006256522552676617314814444072148520795421039496665959139245954153967281071282549799553648947755503068111 +/- 6.10e-152]",
"mpfi_width": "9.60012494865680531411679580927810924692294220290328040993400818475089261076204215364076426149578587283040956281201834332517095953723565510426634359444734584694292675500267150492778683176500692e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 4,
"radius": "3.4557769e-152",
"radius_exact": "971702635/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 503,
"ball": "[1.2680334960714805171193534040448090976273269325395542962936831721682259085431105349244033193291663183132791095964726902775094842447745807799026182499926 +/- 8.26e-152]",
"mpfi_width": "1.63070615566225186157600367171299389947732168926028324771481782864261737497875784527596543619928417565886409012149352681139890271591400168894387206261845326715194920221963187206992543443679570e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 5,
"radius": "5.8494993e-152",
"radius_exact": "822387291/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 503,
"ball": "[-2.1876335202850432591567920236254234564419697275274641685762268188794514699256675989082634048124375109874930495224801468552744267645677679323313947438635 +/- 7.49e-152]",
"mpfi_width": "2.16550763682030220327566078985542738263923901745854818379333335308992737429974832141485732656571608272978188311832742538933080091844493772671578709390730084401360996208736060430791173282735773e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 6,
"radius": "6.5888844e-152",
"radius_exact": "463169109/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[2.187633520285043259156792023625423456441969727527464168576226818879451469925667598908263404812437510987493049522480146855274426764567767932331394743863 +/- 5.16e-151]",
"mpfi_width": "2.33208514734494083429686546599815256591918048033997496716205130332761409539972896152369250553230962755514972028127568888081778560447916370569392456266940090893773380532484988156236648150638524e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 7,
"radius": "6.9567492e-152",
"radius_exact": "978056721/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 502,
"ball": "[-1.2680334960714805171193534040448090976273269325395542962936831721682259085431105349244033193291663183132791095964726902775094842447745807799026182499927 +/- 9.41e-152]",
"mpfi_width": "2.35400324083502486469439239706956377424548856756121533339477734941152024291288430890643397644896667292690864622376888144548712569474682501871736370329599302274353957417188794435900526422730992e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 8,
"radius": "6.6490554e-152",
"radius_exact": "934797723/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 501,
"ball": "[-0.880517353146986349332256090623835932896428028400625652255267661731481444407214852079542103949666595913924595415396728107128254979955364894775550306811 +/- 2.24e-151]",
"mpfi_width": "2.81866682282480630912196333578348139076322001665151109752856952639033057019177767342055315988209603480819787620462456381647713560842124485481427348457974583542662187372909487564774745791091299e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 9,
"radius": "8.7612741e-152",
"radius_exact": "615878387/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 500,
"ball": "[-0.952452066873686959830417607454359874713766434986455476851122074983285787665183668871396770411725823423150973589334577929762913159338680441087573830969 +/- 3.66e-151]",
"mpfi_width": "3.45209972468823478761049164374726531139352373734535768165435225821521823332196721278178166937348464605203083594267782893542106421715665680119166464868825792441440859340849489047060827854563605e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 11,
"h": 10,
"radius": "1.2498955e-151",
"radius_exact": "878620665/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[-4.308159528295663201650532873081824984559069747163093293937080206079514547249569727484558151073621071090452875949472762992675040484034050178520124951074 +/- 4.32e-151]",
"mpfi_width": "4.71677371906608334154779556656769203182150037001092681328264511725660294483103075676596454126459616400252086282453503991684198742560071456264410306284262289100940145588259111383666604154298970e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 12,
"h": 1,
"radius": "1.3317904e-152",
"radius_exact": "748951289/56236422431789954785131731346074773235871213978773957913759444657647969758393598378988008576298635714374011382919011189040103325693678746112606439760814548189184",
"accuracy_bits": 506,
"ball": "[5.0018511664883783128729780488418156411396075888372164627472767480972365799793778313394333808715812759759044264889207932655121429149984869138390579619141 +/- 2.00e-152]",
"mpfi_width": "6.66310042098554524084818704570900733119765851525707133474871800950746884399922560435340715866374179301471348651793053965947938744136903915912549875048400259696495372949957109017818994716110069e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 12,
"h": 5,
"radius": "4.8731679e-152",
"radius_exact": "171280957/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 492,
"ball": "[-0.0018511664883783128729780488418156411396075888372164627472767480972365799793778313394333808715812759759044264889207932655121429149984869138390579619141 +/- 6.24e-152]",
"mpfi_width": "2.35564709784678116697420691689991961486996167410280836086223180286781320397637095996013958676771595132979056566945587088783732620151689961719412163884298743127897500683541579906875317293137927e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 12,
"h": 7,
"radius": "8.0105870e-152",
"radius_exact": "563108445/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 491,
"ball": "[0.001851166488378312872978048841815641139607588837216462747276748097236579979377831339433380871581275975904426488920793265512142914998486913839057961914 +/- 1.42e-151]",
"mpfi_width": "2.95894262116134410366613569464051312405159177486744944141801622132732991427597189667009857374870112518745500223658099623036091218613427725816428398458993536378377879435013847754623566732483090e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 12,
"h": 11,
"radius": "1.0078417e-151",
"radius_exact": "354233823/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 503,
"ball": "[-5.001851166488378312872978048841815641139607588837216462747276748097236579979377831339433380871581275975904426488920793265512142914998486913839057961914 +/- 2.01e-151]",
"mpfi_width": "5.71623878221391512767502362342404313150114914729948751349495281868272327143091459741897561506415743295472788580222462086576389554180607043651292787541522328055414451530752677736339453361715481e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 1,
"radius": "2.2870160e-152",
"radius_exact": "321533989/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 505,
"ball": "[5.7222008448960398736712755682764634732410694648131229048506056813476636939124577940807450461023857269815241605629129639472405356341888366053059054523447 +/- 5.38e-152]",
"mpfi_width": "7.71516890850957869992947973713674533086044670187660891391956822153496392463068227872499776266327997085914193175760378276360771177421678218425057750056042405964363063415739810441685151776548502e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 2,
"radius": "3.0115288e-152",
"radius_exact": "846788035/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 503,
"ball": "[1.4370188401293312139211857066988158477454785069187415465376806934926840253187760501772527518521970058969865832147152429919280782871730329284482337059857 +/- 5.50e-152]",
"mpfi_width": "1.08275381841015110163783039492771369131961950872927409189666667654496368714987416070742866328285804136489094155916371269466540045922246886335789354695365042200680498104368030215395586641367886e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 3,
"radius": "3.7005194e-152",
"radius_exact": "260129965/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 501,
"ball": "[-0.4240803878994121971305047272383040970705275287042340922874955085042413574460417454576329463369045395785024064682638677536968799834584257783724264060631 +/- 8.19e-152]",
"mpfi_width": "1.47289588253364684271380976799883319952790346126735261083919029683849311288403934412022684559935344898219982333554254034577965406598684023517511025010699004775014766652095781993412619884613805e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 4,
"radius": "5.9727816e-152",
"radius_exact": "104964959/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[-1.6035682966914097798798557284272812853614773553710552168886849189533515674773873048659581670961631813310383052890332157988401643634932195814562504979807 +/- 8.88e-152]",
"mpfi_width": "1.88933965884524342026682145835564615772775711847091956926098517243270991563399094439231479301583731104561941624291319907449711578107240518262045392201224021006045727461468101307026307054370684e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 5,
"radius": "6.7893438e-152",
"radius_exact": "954521015/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 500,
"ball": "[-0.3644694417893710707079086675397653300089213061882877615774289798652975952696990476781798291528096330713893672120161907218451522594409050897326678724040 +/- 7.91e-152]",
"mpfi_width": "2.18413801628687362911355868126612690971660089159660249509115049226124759968593036669018757684487457129577697016944663906929973999517244984278571036343990414074854486560734295768505469814014370e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 6,
"radius": "8.4129675e-152",
"radius_exact": "295696995/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[-3.162212612165591003281206578310227429140133315627269633074819615374204899671106123412230711871884548883707534379746817076492719331365067076770194176309 +/- 5.07e-151]",
"mpfi_width": "3.31401573570070539610607197799737469893778278785154337438817816788660950398908852427051040259854526020994960250497071577800422164847039052914399806274072760743783224967215509485178394740381061e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 7,
"radius": "1.0966619e-151",
"radius_exact": "96363037/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[3.162212612165591003281206578310227429140133315627269633074819615374204899671106123412230711871884548883707534379746817076492719331365067076770194176309 +/- 4.68e-151]",
"mpfi_width": "3.59456733237378098519441669571143816551452630428342006216707155776060819215747697076960123033175544096846385456888358060577177480389645533584401906276110666415214609091424229864876036623164643e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 8,
"radius": "8.7174048e-152",
"radius_exact": "306397287/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 499,
"ball": "[0.364469441789371070707908667539765330008921306188287761577428979865297595269699047678179829152809633071389367212016190721845152259440905089732667872404 +/- 1.39e-151]",
"mpfi_width": "3.21648021966983146083707713472959482188571179971702374465254726281322714755554722841731085701942140830562238206087600886522565824677929768618969388695239270100199657830283571540674136429569581e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 9,
"radius": "1.3289948e-151",
"radius_exact": "934223909/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 501,
"ball": "[1.603568296691409779879855728427281285361477355371055216888684918953351567477387304865958167096163181331038305289033215798840164363493219581456250497981 +/- 5.10e-151]",
"mpfi_width": "4.65540305729384805643472015956774064850783772579145378783101218822166573179419578409428842269795643696159587018555410073576783517285126288617847346908816497235314530311088453800607744992440062e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 10,
"radius": "1.4519974e-151",
"radius_exact": "1020689253/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 499,
"ball": "[0.424080387899412197130504727238304097070527528704234092287495508504241357446041745457632946336904539578502406468263867753696879983458425778372426406063 +/- 2.44e-151]",
"mpfi_width": "4.84389866130857071785345176678187704011408727589412093743245618454325860040733177158586507258120702715872263329099555679192415994915315017818005007847685715108307491519541187805717098132435281e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 11,
"radius": "1.3861383e-151",
"radius_exact": "974393223/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 501,
"ball": "[-1.437018840129331213921185706698815847745478506918741546537680693492684025318776050177252751852197005896986583214715242991928078287173032928448233705986 +/- 4.19e-151]",
"mpfi_width": "4.92718741657089003336405410485323963175405800733483432911681515966210196095732209164028266206450379957140655187246968853766765229217026316766911881285790718354513683681415651668439835566386657e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 13,
"h": 12,
"radius": "2.1653822e-151",
"radius_exact": "47567715/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"accuracy_bits": 502,
"ball": "[-5.722200844896039873671275568276463473241069464813122904850605681347663693912457794080745046102385726981524160562912963947240535634188836605305905452345 +/- 4.26e-151]",
"mpfi_width": "7.01378991682688972720861794285158666441858791079691719447233474684996720420971116247727069333025451896285630159782162069418882888565162016750052500050947641785784603105218009492441047069589547e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 1,
"radius": "2.6301857e-152",
"radius_exact": "23111287/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 505,
"ball": "[6.4671398310534079616454962231127846653886244447013134871534402800400728093677554547394784502534472380297482324600388255753508355889834302276437645726094 +/- 5.67e-152]",
"mpfi_width": "9.29327163979562888855141877427835233035462898180591528267584353957620654557786729028238366866258723762578459961711364741980019827348839672193819562567505625366164599114413862577484387367206150e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 3,
"radius": "4.2016919e-152",
"radius_exact": "36920019/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[1.4384518081331283633170461582740404351527858829001869947618467672873663822233541978779955658835044890981826347159026294047241466352210174168749432656938 +/- 7.43e-152]",
"mpfi_width": "1.71399491092457117708660600978435649111729242070099663939917680376146073552874816533038302568258094807154800870296765855714239505893111467843294079699950329961401112383837651069715280877630946e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 5,
"radius": "8.7224258e-152",
"radius_exact": "306573765/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[2.382936711855689007826834311199483804525579378718676312023259053551637603914117629101089997895399138316501019405638733074883159065135198026341430751036 +/- 5.58e-151]",
"mpfi_width": "2.97209347725539452190465185328335984904737662720019366115765184897767360278386510509974345629869535241051035780207691176916251624029487404597834746896589063206726225565836131522421893695738570e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 9,
"radius": "1.5604515e-151",
"radius_exact": "548463807/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 501,
"ball": "[-2.382936711855689007826834311199483804525579378718676312023259053551637603914117629101089997895399138316501019405638733074883159065135198026341430751036 +/- 5.63e-151]",
"mpfi_width": "5.47075613512497398722272199542423759824649857042159541168842110254297441928357470673227114079759852479102791524630086414146728653080826373065040950039739160592911990422070047404104016714279847e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 11,
"radius": "1.8032337e-151",
"radius_exact": "633796321/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 500,
"ball": "[-1.438451808133128363317046158274040435152785882900186994761846767287366382223354197877995565883504489098182634715902629404724146635221017416874943265694 +/- 3.56e-151]",
"mpfi_width": "6.08884637154534364443298145163803367304838663006057373945129560210912777915455550292558062064732720427462962682460889446514267707635631275791139326606728921525284258570717384490625383987287425e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 14,
"h": 13,
"radius": "2.2933040e-151",
"radius_exact": "403022545/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[-6.467139831053407961645496223112784665388624444701313487153440280040072809367755454739478450253447238029748232460038825575350835588983430227643764572609 +/- 7.13e-151]",
"mpfi_width": "9.01272004312255329946307405656428886377788546537403859489695014970220785740947884378329284092937705686727034755320078259203264511806233191523817462565467719694733214990205142197786745484422568e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 1,
"radius": "2.9692527e-152",
"radius_exact": "834900745/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 505,
"ball": "[7.2348984133602831570433781328339245302170471437572506430334904227133464461879275418703246424854765866267865989422095947916580886561382400241090202042608 +/- 7.85e-152]",
"mpfi_width": "1.05206848752403345908129269142773799966278818661953757917085021202749508063145667437159060399953817784442844523967324310412832433284774302512507875007642146267867690465782701423866157060438432e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 2,
"radius": "3.5353686e-152",
"radius_exact": "994082413/28118211215894977392565865673037386617935606989386978956879722328823984879196799189494004288149317857187005691459505594520051662846839373056303219880407274094592",
"accuracy_bits": 503,
"ball": "[1.9713961966951577418344764536976062651328857214893247563497806293439419378829855744981569677274006675126290187884811375104823046054708464658838003164823 +/- 7.14e-152]",
"mpfi_width": "1.41152522076141155760073436099888181621424081704787958538755736780355589984720437144855072703271372194127483069656160116470550181323738855870948065635253212909389151374925124410353760722754896e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 4,
"radius": "8.3657668e-152",
"radius_exact": "73509499/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[2.050668996893552652006216081402761239842400936879602679524596646804226863827186113684824499460535849806374384926717879705805387862188128077305568187621 +/- 1.63e-151]",
"mpfi_width": "3.17373993736416760156189961914034296564941102963560503049873147294961015990489430102096498873194016983069247647301428336412044507075735812579398756273053807908067532905111149295329573798989270e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 7,
"radius": "1.7353287e-151",
"radius_exact": "76241153/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 502,
"ball": "[-4.234969777880673989832990931195306408139353019040185227442427365592417119849816904023843397761280967719418824786389976044812380632857383895421178276121 +/- 4.86e-151]",
"mpfi_width": "6.36501434952040242744182078313781489795986852904820235398364378276634523782031287994812315419720597595879209370002312077997636221372884530200672643796234984920599527317985343614390250215652514e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 8,
"radius": "1.8522438e-151",
"radius_exact": "325511139/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[4.234969777880673989832990931195306408139353019040185227442427365592417119849816904023843397761280967719418824786389976044812380632857383895421178276121 +/- 6.53e-151]",
"mpfi_width": "6.71570384536174691380225168028039423118079792458804821370726052010884359803079843807198668886371870190693490877991420181468580365801142631038175268798782367009888757473246244089012302569131991e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 11,
"radius": "2.0488047e-151",
"radius_exact": "360054519/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[-2.050668996893552652006216081402761239842400936879602679524596646804226863827186113684824499460535849806374384926717879705805387862188128077305568187621 +/- 3.41e-151]",
"mpfi_width": "7.77653957028181398504255514413669671417410934609608193937120115056990113766751725139667388122991969790006692439658472194468186402696623386071620709431488197829988678692910468024744010938407410e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 13,
"radius": "2.6488124e-151",
"radius_exact": "14546849/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"accuracy_bits": 500,
"ball": "[-1.971396196695157741834476453697606265132885721489324756349780629343941937882985574498156967727400667512629018788481137510482304605470846465883800316482 +/- 7.20e-151]",
"mpfi_width": "9.11792689187495664537120332570706266374416428403599235281403517090495736547262451122045190132933087465171319207716810690244547755134710621775068250066231934321519984036783412340173361190466411e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 15,
"h": 14,
"radius": "3.7620928e-151",
"radius_exact": "661145757/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[-7.234898413360283157043378132833924530217047143757250643033490422713346446187927541870324642485476586626786598942209594791658088656138240024109020204261 +/- 4.62e-151]",
"mpfi_width": "1.05557538248244690394489700039916379299499748057493603776808637940092006423356152995282923934620330510390987339047215391447541874729056883520882901257667620088760582767335310428612377583973227e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 1,
"radius": "2.0118470e-152",
"radius_exact": "141423845/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 506,
"ball": "[8.0239452547913371221161102060065493044290102542084660908137504011036049869286235125601348080566615298618797955908161261733263824313182801354211309924312 +/- 4.23e-152]",
"mpfi_width": "8.41654790019226767265034153142190399730230549295630063336680169621996064505165339497272483199630542275542756191738594483302659466278194420100063000061137170142941523726261611390929256483507456e-191",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 3,
"radius": "3.9279962e-152",
"radius_exact": "138060283/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 499,
"ball": "[-0.2023066047141689893104624877021993099060344991886120193818430665287191789161446912472800727138510431236694621841496295531743686921689172580885937167156 +/- 5.53e-152]",
"mpfi_width": "1.40275798336537794544172358857031733288371758215938343889446694936999344084194223249545413866605090379257126031956432413883776577713032403350010500010189528357156920621043601898488209413917909e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 5,
"radius": "6.8404767e-152",
"radius_exact": "480854919/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[-2.859160854206549184517217384540991624184722000696404312088562018491649092764572846648830210024417334063724847107798817652873712915571866108665079705115 +/- 4.28e-151]",
"mpfi_width": "2.63017121881008364770323172856934499915697046654884394792712553006873770157864168592897650999884544461107111309918310776032081083211935756281269687519105365669669226164456753559665392651096080e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 7,
"radius": "9.0405923e-152",
"radius_exact": "635513207/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 500,
"ball": "[-0.632908994701043073090644690832243009849677247299326201892968550859324926919804642841415329253904761078175589332833061926372961792084668715155354995969 +/- 4.96e-151]",
"mpfi_width": "3.50251133971542805752480358521151109054403233795421052398962216420820237260222451176208705248179585040707636561041217183416054642477227782114557467212941978616776186175668243490287747880376280e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 9,
"radius": "1.0190093e-151",
"radius_exact": "716317941/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 500,
"ball": "[0.632908994701043073090644690832243009849677247299326201892968550859324926919804642841415329253904761078175589332833061926372961792084668715155354995969 +/- 5.79e-151]",
"mpfi_width": "3.85320083555677254388523448235409042376496173349405638371323890155070073281271006988595058714830857635521918069030325286886998786905485882952060092215489360706065416330929143964909800233855757e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 11,
"radius": "1.3999974e-151",
"radius_exact": "492067795/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[2.859160854206549184517217384540991624184722000696404312088562018491649092764572846648830210024417334063724847107798817652873712915571866108665079705115 +/- 4.85e-151]",
"mpfi_width": "5.44445442293687315074568967813854414825492886575610697220914984724228704226778828987298137569761007034491720411530903306386407842248707015502228253164548106936215298160425479868507362787768886e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 13,
"radius": "1.5228014e-151",
"radius_exact": "1070461317/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 498,
"ball": "[0.202306604714168989310462487702199309906034499188612019381843066528719178916144691247280072713851043123669462184149629553174368692168917258088593716716 +/- 5.60e-151]",
"mpfi_width": "5.76445858789209999454958287178114778981902693918621631920695012006731679595985636166100685108080293277259752287570964450803644374039492532516449398479372593092691720677101051551599985560318909e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 16,
"h": 15,
"radius": "2.6409388e-151",
"radius_exact": "928230925/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 503,
"ball": "[-8.023945254791337122116110206006549304429010254208466090813750401103604986928623512560134808056661529861879795590816126173326382431318280135421130992431 +/- 5.14e-151]",
"mpfi_width": "7.04885886641102417584466103256584459774068085035090178044469642058421704023075971828965704679690579155767058310581072879765977303007987826833802762551202379994713526120744099539903252304937495e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 1,
"radius": "2.0764710e-152",
"radius_exact": "291933251/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 506,
"ball": "[8.8329421480621345173911311454365997647287021819540026028279213305595231717866092837338622503853282574951338894954822445595314026946478821099548227386025 +/- 2.31e-152]",
"mpfi_width": "1.36768903378124349680568049885605939956162464260539885292210527563574360482089367668306778519939963119775697881157521603536682163270206593266260237509934790148227997605517511851026004178569962e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 2,
"radius": "3.1483812e-152",
"radius_exact": "442634243/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 504,
"ball": "[2.5487597455661348310927130944599314778780791907814169299884940094575117849935722369165823320774578590440696707594744636770532871410707516290077623433345 +/- 6.39e-152]",
"mpfi_width": "1.87618880275119300202830529971279943273197226613817534952134954478236622712609773596266991046584308382256406067741728353569551172691180839480639043763628494177697381330645817539227980091115204e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 3,
"radius": "7.1140810e-152",
"radius_exact": "250044041/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 503,
"ball": "[2.066894143523475194931668079153691584275727953673145678940328293249021867744794081744039668663378073714235317243804282981403436310849031563840690271657 +/- 1.28e-151]",
"mpfi_width": "2.78798149193868866656542563228350569910638869454177458480275306187286196367336018708471510059877617128773537988513409422594005948204651901658145868770251687609849379734324158773245316210161845e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 4,
"radius": "9.6411025e-152",
"radius_exact": "338863197/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 501,
"ball": "[-1.772989858903526598017472313386371879583009222836140766031989652238321672889283108891567081376323516666074928802774324968731923377791066784154167556575 +/- 2.47e-151]",
"mpfi_width": "3.35785192268087345690112584014019711559039896229402410685363026005442179901539921903599334443185935095346745438995710090734290182900571315519087634399391183504944378736623122044506151284565996e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 5,
"radius": "1.1761045e-151",
"radius_exact": "826748855/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 499,
"ball": "[0.322371260215851671539120004840313711622604559733522736293180812436531487067698809207180738111533966786958735681869559020077530976825357265584904926669 +/- 3.34e-151]",
"mpfi_width": "3.79621379248255406485166446156842128211656070671883143150815118173254474927850616669082276276500025838864597323982095220072970363435893941565965915652575411116555916430699247637783716726415342e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 6,
"radius": "1.6608151e-151",
"radius_exact": "291869687/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[3.702840034695209683659679777519333625366834528549818344902251406912447026516523826177353196407068765278421976392189742885449124873657294430023467203689 +/- 5.77e-151]",
"mpfi_width": "5.86528181794648653437820675470963934812004414040392200387748993205328507452037095962161761729742534148268858221117833030551540815562616736507231403167604965443362374346738560438053825611944259e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 7,
"radius": "1.7543800e-151",
"radius_exact": "154156337/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[1.281081635921007977474601963462698119183694280050872534506030158494313414816365938232938690362518103827495889131959201930872882304493627609049116263489 +/- 5.73e-151]",
"mpfi_width": "5.86528181794648653437820675470963934812004414040392200387748993205328507452037095962161761729742534148268858221117833030551540815562616736507231403167604965443362374346738560438053825611944259e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 8,
"radius": "2.2662783e-151",
"radius_exact": "24892067/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 502,
"ball": "[-5.392762080187484306114233018383600784327666230222538789172229106378978729856718520389444502315207281456654223966827928316261929769575928495030251892225 +/- 3.45e-151]",
"mpfi_width": "8.32887552623193155106023380713625916399707314407133916843589751188433605499903200544175894832967724126839185814741317457434923430171129894890687343810500324620619216187446386272273743395137587e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 9,
"radius": "2.4579435e-151",
"radius_exact": "215978045/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[5.392762080187484306114233018383600784327666230222538789172229106378978729856718520389444502315207281456654223966827928316261929769575928495030251892225 +/- 5.58e-151]",
"mpfi_width": "6.97872096724275527857257485313732873109649497124293260849997307311571736818866260666488433986360324636804202008983251259071788474122336206666302237550692903576855680089691919444978841834241599e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 10,
"radius": "2.3771534e-151",
"radius_exact": "417758141/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[-1.281081635921007977474601963462698119183694280050872534506030158494313414816365938232938690362518103827495889131959201930872882304493627609049116263489 +/- 4.73e-151]",
"mpfi_width": "8.45161684977640212128638462113616193062439843251028521933916336995421048107270195078511118546295669535024184342537505293649753880721020230183813262561391908351870446741787701438391461718855404e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 11,
"radius": "2.6266277e-151",
"radius_exact": "923200915/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 501,
"ball": "[-3.702840034695209683659679777519333625366834528549818344902251406912447026516523826177353196407068765278421976392189742885449124873657294430023467203689 +/- 5.47e-151]",
"mpfi_width": "1.09415122702499479744454439908484751964929971408431908233768422050859488385671494134645422815951970495820558304926017282829345730616165274613008190007947832118582398084414009480820803342855969e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 12,
"radius": "2.8045202e-151",
"radius_exact": "492863071/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 498,
"ball": "[-0.322371260215851671539120004840313711622604559733522736293180812436531487067698809207180738111533966786958735681869559020077530976825357265584904926669 +/- 3.41e-151]",
"mpfi_width": "1.02050643289831245530885391068490585967290454102095145179572470566667022821251297414044288587955203250909559188248304581100447460286231073437132638757412881879831659751809220381150172348625279e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 13,
"radius": "3.3817441e-151",
"radius_exact": "148575931/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 499,
"ball": "[1.772989858903526598017472313386371879583009222836140766031989652238321672889283108891567081376323516666074928802774324968731923377791066784154167556575 +/- 3.61e-151]",
"mpfi_width": "1.12790509099972420425673587293482078047181416840502924633608233147781035102697417631587609337117155483071432900069968937788424104517385116818617817664443017644676486486857871151503175881878369e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 14,
"radius": "3.1106237e-151",
"radius_exact": "546657341/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[-2.066894143523475194931668079153691584275727953673145678940328293249021867744794081744039668663378073714235317243804282981403436310849031563840690271657 +/- 5.00e-151]",
"mpfi_width": "1.16341240245366033350072950127050693796043326970343863963309852613373830999828583907591727625615596833296378902753866133264857199140746249528414958445950940081217021040078037324558658682668166e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 15,
"radius": "3.4618691e-151",
"radius_exact": "608384785/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[-2.548759745566134831092713094459931477878079190781416929988494009457511784993572236916582332077457859044069670759474463677053287141070751629007762343335 +/- 6.74e-151]",
"mpfi_width": "1.10905553059825193811486271221340714131118921339476253137593793184565106416566057756671842838284649581100165269015554377226860856754366243898602051570556095857377190366012597750992240567878847e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 17,
"h": 16,
"radius": "2.3724137e-151",
"radius_exact": "833850359/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 503,
"ball": "[-8.832942148062134517391131145436599764728702181954002602827921330559523171786609283733862250385328257495133889495482244559531402694647882109954822738603 +/- 6.86e-151]",
"mpfi_width": "1.78150263887402999071098895748430301276232132934241696739597302569989166986926663526922675610588464781656550060584669165632396253695551152254513335012940701013589289188725374411080025955675745e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 1,
"radius": "3.7707440e-152",
"radius_exact": "265066441/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 506,
"ball": "[9.6607095647808014211923728665726266870190652063149030958335542152792772337524385952635919736130555175613485979714194383936058399344164089375155128492382 +/- 5.73e-152]",
"mpfi_width": "1.50796483211778129134985285771309113284999640082133719681155197057274294890508789993261319906600472157701410484353164844925059821041509833601261287510953742983943689667621872040874825119961753e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 5,
"radius": "1.2902055e-151",
"radius_exact": "28342399/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"accuracy_bits": 498,
"ball": "[-0.178154386758493782106195095323088699550044436868050882260394825838533380667449800285908451142396035851448472919659037245337315840535011143954561216224 +/- 5.09e-151]",
"mpfi_width": "5.00170893443717573671564567049603774006350550388705157430808371634738286250205027274160366318113775383538690007694654325754340859908031163194881189098832037048487645089408593019297021691501046e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 7,
"radius": "1.9230634e-151",
"radius_exact": "675913781/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 500,
"ball": "[-1.755960182884534500170485034868311007502685125401177713833516470342123202178821555837484886554958200259875077619180528165750078664956308513682348342355 +/- 4.20e-151]",
"mpfi_width": "5.98802314149095710460435756870954211474736942884286805478075579012315950059404090496496985443070479556453856748914020866766371266112507071800357321918496549174613604901079875604171543935662076e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 11,
"radius": "2.7719586e-151",
"radius_exact": "974281469/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 500,
"ball": "[1.755960182884534500170485034868311007502685125401177713833516470342123202178821555837484886554958200259875077619180528165750078664956308513682348342355 +/- 6.64e-151]",
"mpfi_width": "1.06916460044629900279136369766343874215730849465210506483237652797294187569171784533012895131453067323440040747481793330457040960325651884928336127976516331144720540435851670322003982112670557e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 13,
"radius": "3.2080830e-151",
"radius_exact": "563784719/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 496,
"ball": "[0.178154386758493782106195095323088699550044436868050882260394825838533380667449800285908451142396035851448472919659037245337315840535011143954561216223 +/- 7.83e-151]",
"mpfi_width": "1.04856159256562001421768838245631220633057889266413912057361404465407009702935181879035196865287305058494701708887433229378122991840491721504132848757616672446974798164230092419119936536903637e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 18,
"h": 17,
"radius": "5.6236219e-151",
"radius_exact": "988288683/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[-9.660709564780801421192372866572626687019065206314903095833554215279277233752438595263591973613055517561348597971419438393605839934416408937515512849238 +/- 8.81e-151]",
"mpfi_width": "2.00594391621249046198166473165555378602371614248791831761908773759909062040397739246849941829245279242337690225697698351853800506129636336790515015014571025550734396488092350714838139461902610e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 1,
"radius": "4.3356305e-152",
"radius_exact": "609550871/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 505,
"ball": "[10.5061999547638084129472590302411572083129184128438022213807808245775435541872581691186601592167708057986580010061321297013793718931415691081677559283606 +/- 6.89e-152]",
"mpfi_width": "1.68330958003845353453006830628438079946046109859126012667336033924399212901033067899454496639926108455108551238347718896660531893255638884020012600012227434028588304745252322278185851296701491e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 2,
"radius": "5.7398031e-152",
"radius_exact": "403482491/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[3.1639449873224443416894435528745312378090423935567779748310779668108830820418762078198625692800578329980164133271236234594234133657599106845867824419390 +/- 7.94e-152]",
"mpfi_width": "2.16550763682030220327566078985542738263923901745854818379333335308992737429974832141485732656571608272978188311832742538933080091844493772671578709390730084401360996208736060430791173282735773e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 3,
"radius": "8.2864212e-152",
"radius_exact": "582498353/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 497,
"ball": "[0.0806806303496743161272774785882203757859644987024962366953596464044124616693790067384323507533117707932576106294081108002499545033110625997841336408934 +/- 8.53e-152]",
"mpfi_width": "3.26579593002252052923151272964027004061990499596481456867618086650201597946014676002847916658189976039207996543148569213573167344988153564049243195336222495706505955820867135669917862541777633e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 4,
"radius": "1.2855503e-151",
"radius_exact": "903684359/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 502,
"ball": "[2.922683081171001926065931673725356646050844361694423039140956238307641140772298696321254077846538843592444993192267933016471648787448656015616730000342 +/- 3.32e-151]",
"mpfi_width": "3.95402406561115908371385836528258198206597893471176206838377871353666901137322466784656135336493098506531024002577193866634895228428610086942842096903721733056736070000566652851363640285481107e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 5,
"radius": "1.5026583e-151",
"radius_exact": "132037697/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[3.561534568857377647583158320023649550398050790676992399476129427551396312267313283130650082617197390510611629640228327062767565566975149613875619662553 +/- 6.05e-151]",
"mpfi_width": "4.28717908666043634575626771756803234862586186047461563512121461401204245357318594806423171129811807471604591435166846564932292165635455282738469590656141746041560838648064508302254590021286610e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 6,
"radius": "1.9521732e-151",
"radius_exact": "686145239/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[-4.294384703025416559768982956770910903699646658046097778685260368637719541119905760302622788858904945357683827328629319912495583189205215742144278570422 +/- 6.01e-151]",
"mpfi_width": "6.04939380326319238971743297570949349806103207306234108023238871915809671363087587763664597299734452260546356012812114784873786491387452239446920281293942341040239220178250533187230403097520984e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 7,
"radius": "2.0626284e-151",
"radius_exact": "724967749/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 498,
"ball": "[0.326306000703301651829203738556152443768767475384941308668880951095160470482035833240860728779671511331294311557616416257134872242994333725103056507181 +/- 3.75e-151]",
"mpfi_width": "6.59077071246826794053634817317335034372084182742697812618072205743057855720581295799036030463877354328790903090770300419607056514348575682614814958641624862140579469230434548294928196418204927e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 8,
"radius": "2.3139914e-151",
"radius_exact": "203329059/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-1.206740563993190389379424179967999613150662831863189610857889096542324537221488608481535975571985774123889805785021670138149897708566607138360916011455 +/- 6.29e-151]",
"mpfi_width": "6.91296668677250318737999405992309510611757070957921150980179493486399892564919656451665992711363211025276524226235293489670986447042037812759270495362715269435113949435580500605987207017964197e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 9,
"radius": "2.9650212e-151",
"radius_exact": "521069319/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[-6.625554905250471257982290970421037285249586396925531652422594418061493601896075529775884159287945249302282268597831208374150412357024009562452322620218 +/- 6.46e-151]",
"mpfi_width": "1.10467191190023513203535732599912489964592759595051445812939272262886983466302950809017013419951508673664986750165690525933474054949013017638133268758024253581261074989071836495059464913460354e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 10,
"radius": "3.7777794e-151",
"radius_exact": "663902493/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[6.625554905250471257982290970421037285249586396925531652422594418061493601896075529775884159287945249302282268597831208374150412357024009562452322620218 +/- 4.59e-151]",
"mpfi_width": "1.29930458209218132196539647391325642958354341047512891027600001185395642457984899284891439593942964963786912987099645523359848055106696263602947225634438050640816597725241636258474703969641464e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 11,
"radius": "3.0791777e-151",
"radius_exact": "135282765/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 499,
"ball": "[1.206740563993190389379424179967999613150662831863189610857889096542324537221488608481535975571985774123889805785021670138149897708566607138360916011454 +/- 7.65e-151]",
"mpfi_width": "1.13798741400516285823959826122766993630191588852679981480313631267640717888302563611193716999283379570172343493424655795763213748669697537217696018133266254879743551853821622040148559887040904e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 12,
"radius": "3.3414725e-151",
"radius_exact": "587226441/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 497,
"ball": "[-0.326306000703301651829203738556152443768767475384941308668880951095160470482035833240860728779671511331294311557616416257134872242994333725103056507181 +/- 3.55e-151]",
"mpfi_width": "1.14017922335417126127935095433481105713454669724892385142640891728479779363434117085021131708449950023889932752849587721409907149572374150347930409539532176017801609542292002668114947714250151e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 13,
"radius": "4.8680423e-151",
"radius_exact": "855504015/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[4.294384703025416559768982956770910903699646658046097778685260368637719541119905760302622788858904945357683827328629319912495583189205215742144278570422 +/- 5.74e-151]",
"mpfi_width": "1.88320259266801989175551391765565101939639085404897226671582187952921619433030744712514718115917333834152691697901510515638970055579746001497389096263679441819483165933751035548720421138184793e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 14,
"radius": "4.9767481e-151",
"radius_exact": "437303921/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-3.561534568857377647583158320023649550398050790676992399476129427551396312267313283130650082617197390510611629640228327062767565566975149613875619662553 +/- 7.48e-151]",
"mpfi_width": "1.82183193089578460664243851065569963608272820982949924126418895049427898129347247445347106259253361130060192434003416597531554830304800833850826136888233649953857550656580377965661561976325885e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 15,
"radius": "4.8929322e-151",
"radius_exact": "53742383/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 500,
"ball": "[-2.922683081171001926065931673725356646050844361694423039140956238307641140772298696321254077846538843592444993192267933016471648787448656015616730000342 +/- 4.96e-151]",
"mpfi_width": "1.83059916829181821880144928308426411941325144471799538775727936892784144029873461340656765095919642944930549471703144300118328433915507286371763702513297334506089781410461900477527113285162872e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 16,
"radius": "5.0220074e-151",
"radius_exact": "882561661/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 495,
"ball": "[-0.080680630349674316127277478588220375785964498702496236695359646404412461669379006738432350753311770793257610629408110800249954503311062599784133640894 +/- 8.52e-151]",
"mpfi_width": "1.81350305536955267509137827684856337691873113668542790209575305298239464523847344244802930364420393405933353248188675280074119906874629703955935449544423149629236931440392931579389288232930747e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 17,
"radius": "4.7580117e-151",
"radius_exact": "418083677/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-3.163944987322444341689443552874531237809042393556777974831077966810883082041876207819862569280057832998016413327123623459423413365759910684586782441939 +/- 7.11e-151]",
"mpfi_width": "1.72100870084139806681381462772720807778171100861179355659364913850831070273295787649286029637591120259051086500456548017783658388781676629860044132200001277603186896986942869079207721924700535e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 19,
"h": 18,
"radius": "6.2578970e-151",
"radius_exact": "68734715/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 501,
"ball": "[-10.506199954763808412947259030241157208312918412843802221380780824577543554187258169118660159216770805798658001006132129701379371893141569108167755928361 +/- 7.35e-151]",
"mpfi_width": "2.79148838689710211142902994125493149243859798849717304339998922924628694727546504266595373594544129854721680803593300503628715389648934482666520895020277161430742272035876767777991536733696640e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 1,
"radius": "4.6438316e-152",
"radius_exact": "652881187/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 505,
"ball": "[11.3684767284135589338026856966956626896913543591648763200854639564962143227967545197967501321532804450528213295149054413873811506209480034058352953326395 +/- 8.91e-152]",
"mpfi_width": "1.82358537837499132907424066514141253274883285680719847056280703418099147309452490224409038026586617493034263841543362138048909551026942124355013650013246386864303996807356682468034672238093282e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 3,
"radius": "7.4906475e-152",
"radius_exact": "263279509/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 503,
"ball": "[2.752781736422445000142780757655111467993860617425897719799027935916165545609617633557655832323539356202198728889491348810315852158843785519810985493907 +/- 5.39e-151]",
"mpfi_width": "3.03346413902762980701772726028331123236103927141966668660928477801261081582070007777141957486533507945143535044105785095023666849304432572244397706272034855072351840843006789105480752857597479e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 7,
"radius": "1.9477015e-151",
"radius_exact": "684573517/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[5.191490173576713785493913917269993473768612821020205177284561045725918156941601964100001801191589743675833975713603785206697218738944509934534454992226 +/- 4.78e-151]",
"mpfi_width": "7.97818603039058706469980290999367983077614374853149330871228077454183769478854644731789541366316451532024904306752209353963979285742871794053184718807952942531329986032185485797651691041658110e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 9,
"radius": "2.6738880e-151",
"radius_exact": "234952961/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-1.424204818414400148165991021770557747928880920718773423001874974854130620245534922139092498638151345174788624911810307370368079723159707951489854846506 +/- 5.35e-151]",
"mpfi_width": "1.11300078742646706358641755980626115880992466909458579729782862014075417071802854009561189314784476397791825935980431843390908978379184147533023956101834753905881694205259282881331738656855491e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 11,
"radius": "3.5033524e-151",
"radius_exact": "307837507/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 499,
"ball": "[1.424204818414400148165991021770557747928880920718773423001874974854130620245534922139092498638151345174788624911810307370368079723159707951489854846506 +/- 7.80e-151]",
"mpfi_width": "1.31464724753524014324366532566324427541195907152999716663890824411269072783905773601683342558108958139810037803074169002886701861425432555514587965478299498607223001544534300654239418760106191e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 13,
"radius": "3.6088132e-151",
"radius_exact": "634208581/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[-5.191490173576713785493913917269993473768612821020205177284561045725918156941601964100001801191589743675833975713603785206697218738944509934534454992226 +/- 7.95e-151]",
"mpfi_width": "2.00769736369169718441346688614126668268982078946561754691770582128580311220502982025911873596578535605311761633237643892371155226851777627294702528139583762461180842638868655217211249723670008e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 17,
"radius": "3.7537422e-151",
"radius_exact": "659678229/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[-2.752781736422445000142780757655111467993860617425897719799027935916165545609617633557655832323539356202198728889491348810315852158843785519810985493908 +/- 8.17e-151]",
"mpfi_width": "2.14621971454902825652583709051258551931208790070385666150853443253608996448817161571804483215905788280263402828893341593242178163900939577125516065015589978386450088550196710904686960403294401e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 20,
"h": 19,
"radius": "8.8255649e-151",
"radius_exact": "193874295/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"accuracy_bits": 501,
"ball": "[-11.36847672841355893380268569669566268969135435916487632008546395649621432279675451979675013215328044505282132951490544138738115062094800340583529533264 +/- 1.14e-150]",
"mpfi_width": "3.15620546257210037724387807428321399898836455985861273751255063608248524189437002311477181199861453353328533571901972931238497299854322907537523625022926438803603071397348104271598471181315296e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 1,
"radius": "5.1506101e-152",
"radius_exact": "362064857/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 505,
"ball": "[12.2466974841560037029516467078960473809666977323145826601879946594283394714724833443721527088750867765705686194650161237946842397519679847152270466599207 +/- 5.88e-152]",
"mpfi_width": "2.10413697504806691816258538285547599932557637323907515834170042405499016126291334874318120799907635568885689047934648620825664866569548605025015750015284292535735380931565402847732314120876864e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 2,
"radius": "7.3670640e-152",
"radius_exact": "1035743303/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 503,
"ball": "[3.8129036288021046651578332996533187582937848365740943132266206145666612494227967570067775248356988720588717826584661498944559246441104716099700462060865 +/- 9.23e-152]",
"mpfi_width": "2.70030911797835254497531790799786086580115634565681311987184887753723737362073879755374921693214798980069967611516132396726269912097587376448770212519614842087527072195508933654589803121791976e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 4,
"radius": "1.2634291e-151",
"radius_exact": "222033533/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[-1.864455037783661831948927681938513848179614349415863813595707737239602436726922391624632929121448265186928176806017174319499672271268156906836839478078 +/- 3.36e-151]",
"mpfi_width": "5.04992874011536060359020491885314239838138329577378038002008101773197638703099203698363489919778325365325653715043156689981595679766916652060037800036682302085764914235756966834557553890104474e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 5,
"radius": "2.1475513e-151",
"radius_exact": "754816279/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 501,
"ball": "[-3.423864378140236846014508522740726051411814283783658931267987700300584753708790531748160048204829066916891162838623933680189730327435896940017297434922 +/- 6.35e-151]",
"mpfi_width": "8.21490144008349459299309376556492088070027109052088926402572207224802408793062419905150329956306060533524544324644857323806866583231946012118498990684672425441600216386986593618021576380256757e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 8,
"radius": "2.4606756e-151",
"radius_exact": "216218109/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 499,
"ball": "[0.913068109374720514705054074392303008864502386079597074769964386912587396738871870039979379877060196968201220552774085544341833932216184781404468557549 +/- 3.80e-151]",
"mpfi_width": "9.59354952060978010499753772995668588442504977673690830006419037092572076650809554942594182022078875921888188502927038555577015751015535671035931185225936821280118502434856008608879519694872952e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 10,
"radius": "4.6440750e-151",
"radius_exact": "408072127/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 501,
"ball": "[-7.925434547956502008136042613648722905745406941488432637826484968042117797686816166061492132074209458823041174676111512363263242501809766704491886178400 +/- 6.46e-151]",
"mpfi_width": "1.76221471660275604396116525814146114943517021258772544511117410514605426005768992957241426169922644788941764577645268219941494325751996956708450690637800594998678381530186024884975813076234374e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 11,
"radius": "4.8695185e-151",
"radius_exact": "106970429/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"accuracy_bits": 501,
"ball": "[7.925434547956502008136042613648722905745406941488432637826484968042117797686816166061492132074209458823041174676111512363263242501809766704491886178400 +/- 5.81e-151]",
"mpfi_width": "1.76572161156116948882476956711288694276737950654312390370841027251947924365979478515365289704589157514889907392725159300976203767196279537716825716887826068819571273831738633889722033599769168e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 13,
"radius": "4.7695697e-151",
"radius_exact": "26193705/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"accuracy_bits": 498,
"ball": "[-0.913068109374720514705054074392303008864502386079597074769964386912587396738871870039979379877060196968201220552774085544341833932216184781404468557549 +/- 8.78e-151]",
"mpfi_width": "1.64210356427709555738271767587012772780700189461532823815583537260624857168559862591499100107594583925217873161158998694502695956285318557171606041574428116633096820202009166472417760145167653e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 16,
"radius": "5.9902016e-151",
"radius_exact": "526355485/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[3.423864378140236846014508522740726051411814283783658931267987700300584753708790531748160048204829066916891162838623933680189730327435896940017297434922 +/- 8.25e-151]",
"mpfi_width": "2.38907219041915931333043548678382170756758150711519991936713902314577007893393286471882032991561794552172292773175798954895806983917508311955486632829854040483282880432714884483362731658078939e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 17,
"radius": "6.4943081e-151",
"radius_exact": "35665689/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"accuracy_bits": 498,
"ball": "[1.86445503778366183194892768193851384817961434941586381359570773723960243672692239162463292912144826518692817680601717431949967227126815690683683947808 +/- 3.04e-150]",
"mpfi_width": "2.48288163055671896343185075176946167920418012042210868684320650038488839029023775151695382543891009971285113076562885372574284542552067353929518585018035465192167749499247175360324130662634700e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 19,
"radius": "6.7864446e-151",
"radius_exact": "596320885/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 499,
"ball": "[-3.812903628802104665157833299653318758293784836574094313226620614566661249422796757006777524835698872058871782658466149894455924644110471609970046206087 +/- 8.82e-151]",
"mpfi_width": "2.52847126501609374665870676839799699252290094184228864860727667623941317711760087407305608494555675408610969672601469426025507281327740907038393926268366624863775349419431092422024997468587032e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 21,
"h": 20,
"radius": "9.9403855e-151",
"radius_exact": "873455813/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 501,
"ball": "[-12.24669748415600370295164670789604738096669773231458266018799465942833947147248334437215270887508677657056861946501612379468423975196798471522704665992 +/- 2.16e-150]",
"mpfi_width": "3.67171902145887677219371149308280561882313077130218615130626723997595783140378379355685120795838824067705527388645961843340785192163862315768652483776671090474858239725581627969292888140930128e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 1,
"radius": "6.6748310e-152",
"radius_exact": "938421535/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 505,
"ball": "[13.1401004591502356277845042537931567323667763911519980534698498554720351437422439732871756586585951265280165070967417492558999088528910718995739573984926 +/- 7.67e-152]",
"mpfi_width": "1.71837852962258798316611139599863873278255403814524471264572201297824196503137923480693131986591235714589979389146629707007626307698464694103762862512482172237517227760778412325648056532049439e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 3,
"radius": "1.3454016e-151",
"radius_exact": "236439289/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 499,
"ball": "[0.414835868089339396134793719289305916329099591087128568162300181335248746320634745426044925502957679993991392213099308995473650635460504494342029989510 +/- 3.82e-151]",
"mpfi_width": "4.65540305729384805643472015956774064850783772579145378783101218822166573179419578409428842269795643696159587018555410073576783517285126288617847346908816497235314530311088453800607744992440062e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 5,
"radius": "2.0597692e-151",
"radius_exact": "361981409/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 499,
"ball": "[0.746302328598139716006153742285792076246688612616955565824520798372704659203683911415604786847158694144858149224421666671380628889752393522490221233505 +/- 7.01e-151]",
"mpfi_width": "7.95188431820248622822277059270798638078457404386600486923300951924115031777276003045860564856317606087413833193653026246203658474910752436490372021932761888874633293770540918262055037115147149e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 7,
"radius": "3.3532183e-151",
"radius_exact": "589290635/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[-5.880716623706207807311508189972548381588397351973013012834145937152580735321688174985300714804272641657814655627349639394531533779670372468073999782624 +/- 5.20e-151]",
"mpfi_width": "1.02050643289831245530885391068490585967290454102095145179572470566667022821251297414044288587955203250909559188248304581100447460286231073437132638757412881879831659751809220381150172348625279e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 9,
"radius": "2.7447796e-151",
"radius_exact": "964728667/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 501,
"ball": "[3.034418252943876396567569251354003680958657872296379979119958250482823213675056121847777708085050414024407200785079831828642356336228489973975066127182 +/- 4.17e-151]",
"mpfi_width": "1.44484072286633928380497529622742685287022910962416494206130095785109324406720049947031776282603243090634839812915125386300289875044423375450510815010495214207871628239674909955442855696335447e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 13,
"radius": "5.1106697e-151",
"radius_exact": "898143063/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[-3.034418252943876396567569251354003680958657872296379979119958250482823213675056121847777708085050414024407200785079831828642356336228489973975066127182 +/- 6.43e-151]",
"mpfi_width": "1.70698112100774428735939739184150490445287383279019972220470446901461076832453845416790575498925069355258515240136983693644820623004546305826544027199899382319615327780732433060222839830561356e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 15,
"radius": "6.9240717e-151",
"radius_exact": "38025881/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"accuracy_bits": 500,
"ball": "[5.880716623706207807311508189972548381588397351973013012834145937152580735321688174985300714804272641657814655627349639394531533779670372468073999782623 +/- 9.67e-151]",
"mpfi_width": "2.21460416623809043136612111545538848929016913283412660415463969631787714472921629955219822141902786436252187722951217673419012272064449906788829076891086717893861488430472586497238260612222899e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 17,
"radius": "4.9606915e-151",
"radius_exact": "217946519/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 498,
"ball": "[-0.746302328598139716006153742285792076246688612616955565824520798372704659203683911415604786847158694144858149224421666671380628889752393522490221233505 +/- 7.51e-151]",
"mpfi_width": "2.19685051051112236674412430128754541054585958218492190750613159898991316524356046817217762997653565761139714721609269075680795724752769340433930506500332756675591221153862503410710519211828001e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 19,
"radius": "7.4723192e-151",
"radius_exact": "82073535/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 496,
"ball": "[-0.41483586808933939613479371928930591632909959108712856816230018133524874632063474542604492550295767999399139221309930899547365063546050449434202998951 +/- 1.44e-150]",
"mpfi_width": "2.28342697979695428681435567901961968343477652670882135412539948102134244792052409033400644009733098682984490468894080138725185060408495559078188967047836641628884499848442538215382838386593247e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 22,
"h": 21,
"radius": "1.0936585e-150",
"radius_exact": "120123911/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 501,
"ball": "[-13.14010045915023562778450425379315673236677639115199805346984985547203514374224397328717565865859512652801650709674174925589990885289107189957395739849 +/- 4.02e-150]",
"mpfi_width": "4.09605331142690360068983287862532661202045533990539964157184349216038084725847131888672608490486863907430808013312782648540627606922054617782030660029753422802898208213447317543585571488640295e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 1,
"radius": "5.8437825e-152",
"radius_exact": "821583551/14059105607947488696282932836518693308967803494693489478439861164411992439598399594747002144074658928593502845729752797260025831423419686528151609940203637047296",
"accuracy_bits": 505,
"ball": "[14.0479934634421928248094824063187650520024978748372817464696954731932206213224877664805987599062812863282804109491590880221268126795869895362270088193037 +/- 6.68e-152]",
"mpfi_width": "2.31455067255287360997884392114102359925813401056298267417587046646048917738920468361749932879898399125774257952728113482908231353226503465527517325016812721789308919024721943132505545532964550e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 2,
"radius": "8.2022082e-152",
"radius_exact": "576578559/7029552803973744348141466418259346654483901747346744739219930582205996219799199797373501072037329464296751422864876398630012915711709843264075804970101818523648",
"accuracy_bits": 503,
"ball": "[4.492375094052188202526794034901403968416038382494105719254142238688425181058525324347343912398223822386872507282584540572884848092395705568850064581396 +/- 3.38e-151]",
"mpfi_width": "3.36661916007690706906013661256876159892092219718252025334672067848798425802066135798908993279852216910217102476695437793321063786511277768040025200024454868057176609490504644556371702593402982e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 3,
"radius": "1.3577700e-151",
"radius_exact": "238612895/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 502,
"ball": "[3.487193700729839512471016139670688899302106515866285550027585850186929931232404158056529869729391374223948541911837963833002369789483389378775842044407 +/- 4.60e-151]",
"mpfi_width": "4.98855807834312531847712951185319101506772065155430735456844808869703917399415706431195878063114352661233154451145062771874180454491971484413474840661236510220139298958586309251498694728245565e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 4,
"radius": "1.8123318e-151",
"radius_exact": "318497059/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 501,
"ball": "[3.863887503152980545058215205054818122662510108640776932786160306044259982214267115627500082819506892861423233299402133081663514848548905346471737096500 +/- 6.51e-151]",
"mpfi_width": "7.53105692319287284459025351613689118091945876921818983756466943443015228552017736070996940696336078973636695384066096522038525501596842715485368871929705030367486217584227837692508574290971776e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 5,
"radius": "2.1871357e-151",
"radius_exact": "192182323/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 496,
"ball": "[0.101680119780875026027064426759738560365851539611665476442796535937822269227656202724341621000369377290756003146828193494582764253694329888809360276993 +/- 4.51e-151]",
"mpfi_width": "7.18913466474756197038883339142287633102905260856684012433414311552121638431495394153920246066351088193692770913776716121154354960779291067168803812552221332830429218182848459729752073246329285e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 6,
"radius": "2.7645244e-151",
"radius_exact": "242917127/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[5.341160283290900298382984157463892994553328633721426493035684119527692972729542305783358090676159209629686142575719650995451603260518620397218718743237 +/- 7.44e-151]",
"mpfi_width": "9.22313374062735999127933259484983646371044310269794611073112019210770687353577017865761096172928469243615603660113543121285830998463188052026319037566996148948306753083361682482559976896510254e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 7,
"radius": "3.0373517e-151",
"radius_exact": "1067561223/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 499,
"ball": "[-0.577984974117999794255876345545405649619109712384656791502916147560049298072490578197069421035329597740673427282997692886353459364875980763614270057865 +/- 6.37e-151]",
"mpfi_width": "9.57601504581771288067951618509955691776400330695991600707800953405859584849757127151974864348746312292147474427527583150403468543794122765994056053975809452175654040927092963585148417077198978e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 8,
"radius": "3.8700603e-151",
"radius_exact": "42507489/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 501,
"ball": "[6.823530554382504886872099791144449056989789656673149547169157690263352473616604691967316755927020251693512248657222685046400697630957924485261397720269 +/- 6.51e-151]",
"mpfi_width": "1.57284238884843002132653257368446830949586833899620868086042106698110514554402772818552795297930957587742052563331149844067184487760737582256199273136425008670462197246345138628679904805355456e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 9,
"radius": "3.9366025e-151",
"radius_exact": "345906943/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-3.589905017801718426958457849852444096695496925128745570765080381706751821306165420696081868091596878167475542244832245846447662916879664285387526653487 +/- 8.00e-151]",
"mpfi_width": "1.51936224073262498715656686187022496117967660617638218725256951453637414561192868057163876394266638517032874633362810858287865505735428221878480122823536532901845589647667851306300041821449836e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 10,
"radius": "4.1639843e-151",
"radius_exact": "731773695/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 499,
"ball": "[1.066056150678976888286891364158441743935945840733049540336582866749343713817868366266250483348740354763724527890766142316271064434827030846440279390261 +/- 7.94e-151]",
"mpfi_width": "1.55749972340537120004826372193448046366745267794134042449751283472237084228481898501760892333764964411718927747356626364540330681442001290344558533292563560704055793427052474232915190014890729e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 11,
"radius": "3.7812232e-151",
"radius_exact": "332253855/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 502,
"ball": "[-9.285999424907440151272888138135445937422276797992941925666899988964302467272544791656680097881063920914830630535134613424778321230105898943830181406769 +/- 8.72e-151]",
"mpfi_width": "2.12868523975696103220781554565545655265104143092686436852235359566896504647764733781185165542573224650522688753493886188068630956679526672083640933765462609281985627042433665880955857785620427e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 12,
"radius": "6.9979358e-151",
"radius_exact": "307452243/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 501,
"ball": "[9.285999424907440151272888138135445937422276797992941925666899988964302467272544791656680097881063920914830630535134613424778321230105898943830181406769 +/- 9.46e-151]",
"mpfi_width": "2.14972660950744170138944139948401131264429719465925512010577059990951494809027647129928346750572301006211545643973232674276887605345222158133891091265615452207342980851749319909433180926829196e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 13,
"radius": "5.5636759e-151",
"radius_exact": "61109615/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 499,
"ball": "[-1.066056150678976888286891364158441743935945840733049540336582866749343713817868366266250483348740354763724527890766142316271064434827030846440279390261 +/- 5.67e-151]",
"mpfi_width": "2.10282188943866187633873376699119132682599788800580073636773686128995579241212402790021671974407693296655135492279689465437648826027942637146875115171524739852900546318483174470952481424551316e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 14,
"radius": "6.8071406e-151",
"radius_exact": "598139429/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 499,
"ball": "[3.589905017801718426958457849852444096695496925128745570765080381706751821306165420696081868091596878167475542244832245846447662916879664285387526653487 +/- 6.90e-151]",
"mpfi_width": "2.07871198659956944290145414281263899766705899206243633351173821059765903014765314577920110173575418305761653638605438283324021416098499892714296809702599607334261911745308987563322215325249602e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 15,
"radius": "7.5040117e-151",
"radius_exact": "82421635/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 500,
"ball": "[-6.82353055438250488687209979114444905698978965667314954716915769026335247361660469196731675592702025169351224865722268504640069763095792448526139772027 +/- 1.27e-150]",
"mpfi_width": "3.09308135332065836969900051279754971900859726866144048276229962336083553705648262265247637575864224286261962900463933472613727353857236449386773152522467910027531009969401142186166501757688990e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 16,
"radius": "6.2226204e-151",
"radius_exact": "546777981/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 497,
"ball": "[0.577984974117999794255876345545405649619109712384656791502916147560049298072490578197069421035329597740673427282997692886353459364875980763614270057865 +/- 6.36e-151]",
"mpfi_width": "2.47323766942108199005693890209804074754060456204476292570080704010796968538444939866854757823558099974927720335093184899728833578580290256156487262830465412184712295669977500597272024222914014e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 17,
"radius": "7.7186195e-151",
"radius_exact": "169557635/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"accuracy_bits": 500,
"ball": "[-5.34116028329090029838298415746389299455332863372142649303568411952769297272954230578335809067615920962968614257571965099545160326051862039721871874324 +/- 3.01e-150]",
"mpfi_width": "2.45833336584782484938662058896948112587871506273431947666255332877091350507550376244828337801225420889648113371003647805331318452442089286870893401267857148445917503388378912327100586997891136e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 18,
"radius": "7.5530180e-151",
"radius_exact": "663679237/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 494,
"ball": "[-0.10168011978087502602706442675973856036585153961166547644279653593782226922765620272434162100036937729075600314682819349458276425369432988880936027699 +/- 4.35e-150]",
"mpfi_width": "2.56967728077745172380605739881225006417636014581822053712480164287715673444233292715261005026887199938501647749790189628183343218298061233886800484706165942259266833962674248227793088620120870e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 19,
"radius": "7.6141005e-151",
"radius_exact": "83630815/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"accuracy_bits": 499,
"ball": "[-3.863887503152980545058215205054818122662510108640776932786160306044259982214267115627500082819506892861423233299402133081663514848548905346471737096500 +/- 9.58e-151]",
"mpfi_width": "2.43816871983694754142089581238378281421851162249077833972844536637371984936340084285616122476892972715446292184294274089381739164137464446072737000330210673975783372654451410549809818987566066e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 20,
"radius": "7.8564783e-151",
"radius_exact": "345172057/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 499,
"ball": "[-3.48719370072983951247101613967068889930210651586628555002758585018692993123240415805652986972939137422394854191183796383300236978948338937877584204441 +/- 3.30e-150]",
"mpfi_width": "3.20617871572949196655023947712603155397234699872304077252316602115379125822436421514742236568859259698089568686790420835983106840435349686906867749085789440751326786694472782589232113641686122e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 21,
"radius": "7.5474187e-151",
"radius_exact": "331593615/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 500,
"ball": "[-4.492375094052188202526794034901403968416038382494105719254142238688425181058525324347343912398223822386872507282584540572884848092395705568850064581396 +/- 8.10e-151]",
"mpfi_width": "3.05976585121573064349475957756900468235260897608515512608855603331329819283648649463070933996532353389754606157204968202783987660136551929807210403147225908729048533104651356641077406784108440e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 23,
"h": 22,
"radius": "7.9722848e-151",
"radius_exact": "350259983/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"accuracy_bits": 501,
"ball": "[-14.04799346344219282480948240631876505200249787483728174646969547319322062132248776648059875990628128632828041094915908802212681267958698953622700881930 +/- 4.54e-150]",
"mpfi_width": "4.48882554676920942541351548342501546522789626291002700446229423798397901069421514398545324373136289213622803302260583724428085048681703690720033600032606490742902145987339526075162270124537310e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 1,
"radius": "7.4900963e-152",
"radius_exact": "263260137/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 505,
"ball": "[14.969744752807081087087532483467211414936377928067758544826546273557845157961981614656970572580002368798524902783332603893468006620524040462275851036218 +/- 2.24e-151]",
"mpfi_width": "2.59510226922594919906718863885508706583487752699485936195476385633448786555759313011659015653219417201625683159119399965684986668769109946197519425018850627460740303148930663512203187415748132e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 5,
"radius": "1.9644904e-151",
"radius_exact": "690474459/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"accuracy_bits": 502,
"ball": "[4.828214218325631305701603815356354152927411994558921968904223995445996351867278491502467159838558570475853502123124152605967455218826988904227284768731 +/- 3.51e-151]",
"mpfi_width": "8.92504766916221717787296633227864403047265311648907712996604596536658326735685745425232695726274887538023464378322801233335528475699168666314441806314830874172410907451389917079131232396052698e-190",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 7,
"radius": "3.1262093e-151",
"radius_exact": "549396341/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"accuracy_bits": 500,
"ball": "[2.141317628060890989484155035047815257797034177313862398473186797576380201037767536956195503924719223328497210321508009843618334508822566036987608042018 +/- 5.19e-151]",
"mpfi_width": "1.15639861253683344377352088332765535129601468179264172243862619138688834279407612791344000556282571381400093272594083971195438316252181087511664905945899992439431236436972819315066217635598577e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 11,
"radius": "2.9692174e-151",
"radius_exact": "260903385/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 501,
"ball": "[-2.343358656928178596695018736224249689933244254687181884742416528572538691208507430796757771506158284054118805415051253344182872669471536670484472237069 +/- 4.96e-151]",
"mpfi_width": "1.63508977436026866765550905792727614114258330670453132096136303785939860448138891475251373038261558473321587530999216532433277073396753395154855989074377168991311035598903948462925319098098063e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 13,
"radius": "4.9037049e-151",
"radius_exact": "430885657/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[2.343358656928178596695018736224249689933244254687181884742416528572538691208507430796757771506158284054118805415051253344182872669471536670484472237069 +/- 5.82e-151]",
"mpfi_width": "1.86654484161555602865339345004137850106839670776082958837895008450544752222030938311426366326251398385899013326272027880724100208719403741707607721576058441170241927501376142776175873651394518e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 17,
"radius": "7.6839509e-151",
"radius_exact": "675184233/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 499,
"ball": "[-2.14131762806089098948415503504781525779703417731386239847318679757638020103776753695619550392471922332849721032150800984361833450882256603698760804202 +/- 2.25e-150]",
"mpfi_width": "2.38907219041915931333043548678382170756758150711519991936713902314577007893393286471882032991561794552172292773175798954895806983917508311955486632829854040483282880432714884483362731658078939e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 19,
"radius": "9.3365027e-151",
"radius_exact": "820392987/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 500,
"ball": "[-4.82821421832563130570160381535635415292741199455892196890422399544599635186727849150246715983855857047585350212312415260596745521882698890422728476873 +/- 2.18e-150]",
"mpfi_width": "2.65997982595659792904386835482646424248074946516973084600363295274285006219653295836950491044549902631666325238097384964827111335488337694852457410644321893147258810727653930100008267101141836e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
},
{
"k": 24,
"h": 23,
"radius": "9.1526857e-151",
"radius_exact": "804241097/878694100496718043517683302282418331810487718418343092402491322775749527474899974671687634004666183037093927858109549828751614463963730408009475621262727315456",
"accuracy_bits": 501,
"ball": "[-14.96974475280708108708753248346721141493637792806775854482654627355784515796198161465697057258000236879852490278333260389346800662052404046227585103622 +/- 2.59e-150]",
"mpfi_width": "5.12708042920045639058949971622450985168998776279254646915927669994732602627729885977088487682441605336184795646800760472745203391541133434244288377537242726145408544869914364938974405407869959e-189",
"mpfi_contained": true,
"signed_polynomial_root_isolated": true,
"wrong_constant_rejected": true
}
],
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"python": "3.12.3"
},
"skill_manifest": "../20261110T224713Z-repair-skills/manifest.json",
"skill_bundle_sha256": "d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab",
"dependencies": {
"generate.py": "0453d7cf7d0e79f2dfaf45302b1f848005fed2a7b1538a9eed081c65065fc8cb",
"polynomials.json": "a93c027af52998fab50f0ee50b70b6e4b8cc945ff86c11bb5d1a99e52ee28924",
"live-document.json": "09f217ec053ddc2385762ee4cb89e27ae4a9c5b5215bf662b922ff26d6555b65",
"repair_check.py": "1eede5d473ee6b8b995f8f600d314b61711d85833385f7e909aed388967facb0"
},
"limitations": "Focused repair checks, not a fresh independent scientific verdict. Original exact coefficient checkpoints retained; no minpoly recomputation. MPFI and Arb share the finite sum definition and Sage infrastructure."
}