back to table · edit · history · where entries came from · files · download
54797 bytes, as of the version from 2026-11-11 08:15 (current). Recorded here, not run.
[
{
"params": {
"m": 1,
"n": 2,
"x": "logphi"
},
"lower": "-45981018461293633617631536280451024422040719017657260964548312509365783345751614896777261971225765633800632991869948378042269403488042803258380389351229402111745433122235590911384303141/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-45981018461293633617631536280451024422040719017657260964548312509365783345751614896777261971225765633800632991869948378042269403488042803258380389351229402111745433122235590911384302823/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.33816702211771843801993832008825208893419975265765399688503174445434725621554144712215380037676716682220781433833875423720010540233999791685327049980318941530709049031000117773928288 +/- 5.28e-183]",
"accuracy_bits": 605,
"native_type": "RealBall",
"number": "-0.3381670221177184380199383200882520889341997526576539968850317444543472562155414471221538003767671668"
},
{
"params": {
"m": 1,
"n": 2,
"x": "2logphi"
},
"lower": "-23911271910285095865034180975196386600043907663352303356439148346931792533618417760510352797546561064428271853000064477521649142299006723391983012094916143746897254520746036779314525233/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-23911271910285095865034180975196386600043907663352303356439148346931792533618417760510352797546561064428271853000064477521649142299006723391983012094916143746897254520419093226350916657/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-0.70342101045498828678129995654332472970390660191690926874295096899378068695349931645796083887572771902134472470469658338511119328629377297331728471499440794805580674574 +/- 6.32e-168]",
"accuracy_bits": 554,
"native_type": "RealBall",
"number": "-0.7034210104549882867812999565433247297039066019169092687429509689937806869534993164579608388757277190"
},
{
"params": {
"m": 1,
"n": 3,
"x": "logphi"
},
"lower": "-64635032213202243134534060781625419051452365897985372231707475357515763408445473523732175327561155140320229138899460516716188320521061521644999567127709523484696123827940093916638537895/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-64635032213202243134534060781625419051452365897985372231707475357515763408445473523732175327561155140320229138899460516716188320521061521644999567127709523484696123827940093916638537261/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[-0.23767890642114398079967311321967478686551089686311562091687592458666070084915985132975039139169945612576591502741262428947878694088472552980431636427157007859046255018308401461594012 +/- 3.47e-183]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-0.2376789064211439807996731132196747868655108968631156209168759245866607008491598513297503913916994561"
},
{
"params": {
"m": 1,
"n": 4,
"x": "logphi"
},
"lower": "-45435179675613649618819209898206846525145899530383384880686863683924577706462339781112058692833841889170490788119729914504617272395412955043354843234801552682212178275205815193129769833/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-45435179675613649618819209898206846525145899530383384880686863683924577706462339781112058692833841889170490788119729914504617272395412955043354843234801552682212178275205815193129768891/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[-0.16707632762875388894174203410850952115813828666355542804687611417068268622127014413731612002279953157261892549493472820685199749317607568160813590844791766782951770385231782089253267 +/- 3.68e-183]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-0.1670763276287538889417420341085095211581382866635554280468761141706826862212701441373161200227995316"
},
{
"params": {
"m": 1,
"n": 5,
"x": "logphi"
},
"lower": "-31943454538759125583103634062515114274461180023395915996748463193726080988762462881089671455561917325404661061094721120048657083989619640586334345685565892121088359756225700276786899031/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-998232954336222674471988564453597321076911875731122374898389474803940030898826965034052232986309916418895658159210035001520533874675613768322948302673934128784011242382053133649590575/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-0.11746393684839859516992667549236881511782800216401835114662171104423484107974591826071670268131195244645371570121046079755987034002697445446277722589236971910095720477205565320697378 +/- 4.36e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.1174639368483985951699266754923688151178280021640183511466217110442348410797459182607167026813119524"
},
{
"params": {
"m": 1,
"n": 6,
"x": "logphi"
},
"lower": "-44922850783785188326223384695786115656348217746531728472083711773772315666362001628791070348224282234320047378580218376426736925912549651709946787921564476938480065331159520451059567497/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "-44922850783785188326223384695786115656348217746531728472083711773772315666362001628791070348224282234320047378580218376426736925912549651709946787921564476938480065331159520451059565931/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.08259618415900924156907725181732778955486163985082364519197839456630993439847446567766931523815533268324790109749562774171105624357157435622727514000825863425111490330333962102169865 +/- 4.69e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.08259618415900924156907725181732778955486163985082364519197839456630993439847446567766931523815533268"
},
{
"params": {
"m": 1,
"n": 7,
"x": "logphi"
},
"lower": "-31592862648134836326341474698164945190703667802971337712270457249298186087896074426916029405856766210776702224999630084604919359844190705340500112807231944060381500573618020132026935097/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "-31592862648134836326341474698164945190703667802971337712270457249298186087896074426916029405856766210776702224999630084604919359844190705340500112807231944060381500573618020132026934153/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.05808736213013233265825804983837215723882048164003663784157264655820919270636970395084465266691734929540381043111923734704534587879376820079757865648172998121320429423776561657983176 +/- 9.99e-184]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.05808736213013233265825804983837215723882048164003663784157264655820919270636970395084465266691734930"
},
{
"params": {
"m": 1,
"n": 8,
"x": "logphi"
},
"lower": "-44443403871831471946690070906906252191113994995612976022393980287745439546330663288344461854846435201139612342663687012663018156454071293100421134710312517203070722447242579355574125589/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "-44443403871831471946690070906906252191113994995612976022393980287745439546330663288344461854846435201139612342663687012663018156454071293100421134710312517203070722447242579355574123399/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"ball": "[-0.04085733103314098303728784103456826735567581096715825372171165704256686839517498284297714753222362303818648804334263255084930207241082519474615007609084732291854512852312932972679651 +/- 3.99e-183]",
"accuracy_bits": 602,
"native_type": "RealBall",
"number": "-0.04085733103314098303728784103456826735567581096715825372171165704256686839517498284297714753222362304"
},
{
"params": {
"m": 1,
"n": 9,
"x": "logphi"
},
"lower": "-62530619876991578118757899132456892164331584125042914848056462469318476254178286769093593370469740490533107089516548365937821932095307667898043847490088809716933913672297188167467985813/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"upper": "-62530619876991578118757899132456892164331584125042914848056462469318476254178286769093593370469740490533107089516548365937821932095307667898043847490088809716933913672297188167467983299/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[-0.028742558101417401924881072277190260132620567211685676796437878347895791405982676929294498314123842848864871804272324472668045902899357639067587900421248046107582407582748712287376284 +/- 7.15e-184]",
"accuracy_bits": 602,
"native_type": "RealBall",
"number": "-0.02874255810141740192488107227719026013262056721168567679643787834789579140598267692929449831412384285"
},
{
"params": {
"m": 2,
"n": 2,
"x": "logphi"
},
"lower": "9880802878025283684350659691610257430296934572347307896944788235511077318132109499591790264176598418665917615371404626500024458824116157041302176431846077261387865571873982514550546917/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "19761605756050567368701319383220514860593869144694615793889576471022154636264218999183580528353196837331835230742809253000048917648232314082604352863692154522775731143747965029101094073/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[0.58134626804001173852180028093481310184384407243276314912549933036442181216821288530740253950790371882447987717089426472555347512896740840362941438388631425789118554891557622007422860 +/- 5.95e-183]",
"accuracy_bits": 605,
"native_type": "RealBall",
"number": "0.5813462680400117385218002809348131018438440724327631491254993303644218121682128853074025395079037188"
},
{
"params": {
"m": 2,
"n": 2,
"x": "2logphi"
},
"lower": "23688974033547526274898449629694455144470787601511212968765446912385429693057894215893186435695192764927890532008053477242898241364482470326337208292331296325581664807924838217290403717/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "23688974033547526274898449629694455144470787601511212968765446912385429693057894215893186435695192764927890532008053477242898241364482470326337208292331296325581664808591247438881804165/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[0.6968814588299875388807653634800273499800201206961823646643533561461358858239125808140137487744625852050756276384812084196175926153840615261457316730031003072038507491 +/- 4.50e-167]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "0.6968814588299875388807653634800273499800201206961823646643533561461358858239125808140137487744625852"
},
{
"params": {
"m": 2,
"n": 3,
"x": "logphi"
},
"lower": "6907738262479888696609122863540474784255674350991231039578536229283582523342977388965395495158383858843807450246269660595418416476878572528394000308991643491553335049533686281045038027/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "3453869131239944348304561431770237392127837175495615519789268114641791261671488694482697747579191929421903725123134830297709208238439286264197000154495821745776667524766843140522519063/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[0.40642323392777257054849971351556857014018406194939608790806683204396328959118085862952272721022130925675334787254860820460091972563984242582066389380600269777650354455227510327077682 +/- 6.88e-183]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "0.4064232339277725705484997135155685701401840619493960879080668320439632895911808586295227272102213093"
},
{
"params": {
"m": 2,
"n": 4,
"x": "logphi"
},
"lower": "38638306058021700067134696135896775352971442664352228274920545722027635367130900196946426485544868637204578157979665906340769445757889856114913425016486167322605283116135321469586338473/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "38638306058021700067134696135896775352971442664352228274920545722027635367130900196946426485544868637204578157979665906340769445757889856114913425016486167322605283116135321469586339571/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[0.28416510413559449958079949273863064909954175952068001226666148735936423867853325150430671945440721722729231593073453130083061050142398352975681684829369983727350859171076397344027041 +/- 9.01e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "0.2841651041355944995807994927386306490995417595206800122666614873593642386785332515043067194544072172"
},
{
"params": {
"m": 2,
"n": 5,
"x": "logphi"
},
"lower": "27018395653395027655545907298741948780957637031153729367074746453696062664173400293502660962105895318875332732224598681879984975457031599552350735506782462990166938921058088268644035127/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "27018395653395027655545907298741948780957637031153729367074746453696062664173400293502660962105895318875332732224598681879984975457031599552350735506782462990166938921058088268644035835/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[0.19870656862892485241361853762618041993343021627256632623439928705071412671496113740107524459262084983223646254969466731168010694531844109291723134884660996107666785774562248601239923 +/- 7.19e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "0.1987065686289248524136185376261804199334302162725663262343992870507141267149611374010752445926208498"
},
{
"params": {
"m": 2,
"n": 6,
"x": "logphi"
},
"lower": "9447588893824206129687956994975525602231468839355466980731932143240052365675841460192191392148507527116069085580863525778233404507196149936601816956550194187429051532027078298196345599/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "4723794446912103064843978497487762801115734419677733490365966071620026182837920730096095696074253763558034542790431762889116702253598074968300908478275097093714525766013539149098172957/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[0.13896442964204307261906851693961152266699925370865437931245278082706151361538170823902022219641042196011370476908653580957265344535697681094471744241370672755316593200269638930004358 +/- 6.15e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "0.1389644296420430726190685169396115226669992537086543793124527808270615136153817082390202221964104220"
},
{
"params": {
"m": 2,
"n": 7,
"x": "logphi"
},
"lower": "13215787391008412227724858635388468071125736264139744789340545829784148138794133720243524177653940564457996779285827935225693360824030360668711783602765766962565747068561648674398755037/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "13215787391008412227724858635388468071125736264139744789340545829784148138794133720243524177653940564457996779285827935225693360824030360668711783602765766962565747068561648674398755547/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[0.09719539967824520762840658502198350667179811587124821973253632253692992366438408903322083805963783291390211800584778991279068793600722172064793592159750102930151754097012683285987557 +/- 3.01e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "0.09719539967824520762840658502198350667179811587124821973253632253692992366438408903322083805963783291"
},
{
"params": {
"m": 2,
"n": 8,
"x": "logphi"
},
"lower": "9244563944400524422038465182414564113944670129213731840770172391231655662636907610994612199241807954706721047698689729990505732319451586524306427050821301523480051796194243267166435155/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "18489127888801048844076930364829128227889340258427463681540344782463311325273815221989224398483615909413442095397379459981011464638903173048612854101642603046960103592388486534332871173/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[0.06798906950019744301271282089058461472435121924242435091080425423605318447787765926428879424302531366776306748530684267882426648800016070589048235394334091523965679697354821820247808 +/- 3.59e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "0.06798906950019744301271282089058461472435121924242435091080425423605318447787765926428879424302531367"
},
{
"params": {
"m": 3,
"n": 2,
"x": "logphi"
},
"lower": "-5680780049248640966090848733044376907631884612496695369178629045358938005915420731245744959738432112442829039439557140889647934811142242876542644995645923780044680366177033763471916891/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"upper": "-22723120196994563864363394932177507630527538449986781476714516181435752023661682924982979838953728449771316157758228563558591739244568971506170579982583695120178721464708135053887667267/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-1.3369360048793398663946610072651434346683006291010291712962541427775859438546425957782568531217609233627670057510353404581307645223459919311332672627693410000097670929418404411416793 +/- 4.78e-182]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-1.336936004879339866394661007265143434668300629101029171296254142777585943854642595778256853121760923"
},
{
"params": {
"m": 3,
"n": 2,
"x": "2logphi"
},
"lower": "-5901652298844820589488948830831862689304554216782981546173437257084151445332294266877828862159384470432334415783142851774453035773776485862939096555307195566391699417006848167152539799/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"upper": "-5901652298844820589488948830831862689304554216782981546173437257084151445332294266877828862159384470432334415783142851774453035773776485862939096555307195566391699416796187438692259991/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"ball": "[-1.3889169054605699200146236930657890006493207253160782193616990210923259084912552434839908452852734153240726964647388403973895844186836430893416041592320703768676368673 +/- 4.22e-167]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "-1.388916905460569920014623693065789000649320725316078219361699021092325908491255243483990845285273415"
},
{
"params": {
"m": 3,
"n": 3,
"x": "logphi"
},
"lower": "-63275620687813456415044041368086392297096867800298575778669952085281768974184445014381238210821431251422075194345126398566466099986483661661923024949895679231886757374561435624287040669/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-63275620687813456415044041368086392297096867800298575778669952085281768974184445014381238210821431251422075194345126398566466099986483661661923024949895679231886757374561435624287039563/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.9307200639177042751336081450669331785193531235365613239893651671903517307116291794816329376924836503365868837745887514287972697267314210901123524793760931641753455158224910891925958 +/- 4.12e-182]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.9307200639177042751336081450669331785193531235365613239893651671903517307116291794816329376924836503"
},
{
"params": {
"m": 3,
"n": 4,
"x": "logphi"
},
"lower": "-44052518957698105420891211590569842263769800362813079362384796366513118512966477768206718869569073499710274109187923028941454173996869720789133322224222924295286194912746600296103244399/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-44052518957698105420891211590569842263769800362813079362384796366513118512966477768206718869569073499710274109187923028941454173996869720789133322224222924295286194912746600296103243411/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.64796777675767861007013154108839199695341958470242070471558430136402577330139517167887726226524714931182755651036467860682537917818098302791946050340731184078244553557696182645157569 +/- 8.50e-183]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-0.6479677767576786100701315410883919969534195847024207047155843013640257733013951716788772622652471493"
},
{
"params": {
"m": 3,
"n": 5,
"x": "logphi"
},
"lower": "-61342495832774176476402058237881921052648999243006929131131788073314981755947551290593794741299539178754372685323013318262779613788452536861295576459605914387891758444864513563868281673/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-61342495832774176476402058237881921052648999243006929131131788073314981755947551290593794741299539178754372685323013318262779613788452536861295576459605914387891758444864513563868279789/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.45114288111081962436910287658390728811943877691236809146597350693733396662553076311548375160338035093278848380642491590177410827638918831907536745453225162044607159297292816519477220 +/- 9.48e-183]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.4511428811108196243691028765839072881194387769123680914659735069373339666255307631154837516033803509"
},
{
"params": {
"m": 3,
"n": 6,
"x": "logphi"
},
"lower": "-10677977888105799814842232492185177397845972663687561193465288417850738680758914949496040625334778866227913534059804881068104612230404742118963751819953826339250296807021152949773934431/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-333686809003306244213819765380786793682686645740236287295790263057835583773716092171751269541711839569622297939368902533378269132200148191217617244373557073101571775219411029680435439/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-0.3141244022421326724826003470662609488600442918478809339647202926217582797920560109980950593315557826687907490700499982918500196130630843586208464302559407015231210439796958043815257 +/- 3.12e-182]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-0.3141244022421326724826003470662609488600442918478809339647202926217582797920560109980950593315557827"
},
{
"params": {
"m": 3,
"n": 7,
"x": "logphi"
},
"lower": "-59483148263354230382732469716737380456034888843044555452009296194708303211705997270052780315535152654336193690621768228702091216192740322893340101162931028428154546426441184570027349995/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-59483148263354230382732469716737380456034888843044555452009296194708303211705997270052780315535152654336193690621768228702091216192740322893340101162931028428154546426441184570027347331/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[-0.21873416235155865869239953513016860985998568010415866767194360713935766088894004078316689769566159544281247043509872460270424298194800377922949487555863573027829564471679138990446612 +/- 9.89e-183]",
"accuracy_bits": 602,
"native_type": "RealBall",
"number": "-0.2187341623515586586923995351301686098599856801041586676719436071393576608889400407831668976956615954"
},
{
"params": {
"m": 4,
"n": 2,
"x": "logphi"
},
"lower": "8784091287814252081802965558313932237619471794465689803016319943178938761939945957172352995097026415315049542737093005772171162858967631139349933375567668639157216171729203414643333061/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "17568182575628504163605931116627864475238943588931379606032639886357877523879891914344705990194052830630099085474186011544342325717935262278699866751135337278314432343458406829286666367/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"ball": "[4.1345617365978011727256933255292042268408424250651639658548410782047351184201957331543451607003294568111154311371844380272550610449824172741668842759077233636174768072799640852090930 +/- 6.98e-182]",
"accuracy_bits": 605,
"native_type": "RealBall",
"number": "4.134561736597801172725693325529204226840842425065163965854841078204735118420195733154345160700329457"
},
{
"params": {
"m": 4,
"n": 2,
"x": "2logphi"
},
"lower": "4420756756480612089504150351136931484029577870470809197513103350449832571822921278150019265588709175320810852524612833503942700886647492593236960607597410343843861709381785582636761645/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "4420756756480612089504150351136931484029577870470809197513103350449832571822921278150019265588709175320810852524612833503942700886647492593236960607597410343843861709551217600394035757/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[4.1615896586837578986297568181321671154843607829801819914585887856500043560280721549147105087494862802525074198796052303457367885715712811784254414491021696341494017192 +/- 8.24e-167]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "4.161589658683757898629756818132167115484360782980181991458588785650004356028072154914710508749486280"
},
{
"params": {
"m": 4,
"n": 3,
"x": "logphi"
},
"lower": "48798947004811326181383381810936201851624471007455049194692696071126595286853476273552387049016015719924574462100548423706900407324321412026805684197950832958856362539349960072364997791/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "48798947004811326181383381810936201851624471007455049194692696071126595286853476273552387049016015719924574462100548423706900407324321412026805684197950832958856362539349960072364998673/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[2.8711316353270923376654793637835281256779187096555823209068265957019423886448822195353498006197068869779238522784795170413647933366744569652447175760286902229194661633547448906843396 +/- 4.23e-182]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "2.871131635327092337665479363783528125677918709655582320906826595701942388644882219535349800619706887"
},
{
"params": {
"m": 4,
"n": 4,
"x": "logphi"
},
"lower": "67775688772060610309368680046570779513803287777781236346415046475918545463933751143552068812940994222634296154408486732086299854853172395536458683682590298498604200032179578781296601369/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "67775688772060610309368680046570779513803287777781236346415046475918545463933751143552068812940994222634296154408486732086299854853172395536458683682590298498604200032179578781296602971/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[1.9938229827004316859394102981663652272031475627980513831303605401160062326924757739263581405583143860594779274819285141345201575161011997539136067519300416562611217799706373072119953 +/- 6.62e-182]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "1.993822982700431685939410298166365227203147562798051383130360540116006232692475773926358140558314386"
},
{
"params": {
"m": 4,
"n": 5,
"x": "logphi"
},
"lower": "47067107050540461929494201666609709305649413237122394788997370199318156323084792723824710553416706927854080498474874194196169955401052685468628403001302405232589006892552912987362938681/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "47067107050540461929494201666609709305649413237122394788997370199318156323084792723824710553416706927854080498474874194196169955401052685468628403001302405232589006892552912987362940167/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[1.3846186068606137203816967404610863541352822337180266968436611153544147612880673920173324034849624217114759060199804375992294573826708400568593534336600008742728047288997642592519890 +/- 3.42e-182]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "1.384618606860613720381696740461086354135282233718026696843661115354414761288067392017332403484962422"
},
{
"params": {
"m": 4,
"n": 6,
"x": "logphi"
},
"lower": "32686720592575569569594371505864415747615656141739429926414002740768605928337547674039842296538391805988651006028368890935522499161946348285395392345762289203698368327420671388955821431/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "16343360296287784784797185752932207873807828070869714963207001370384302964168773837019921148269195902994325503014184445467761249580973174142697696172881144601849184163710335694477911329/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[0.9615768711073654910822817325280864294241755372532419295462950766648861229292453659134313617529865480270063891515052285650717616647432067783038552756005597966287329821899897416665664 +/- 5.26e-182]",
"accuracy_bits": 602,
"native_type": "RealBall",
"number": "0.9615768711073654910822817325280864294241755372532419295462950766648861229292453659134313617529865480"
},
{
"params": {
"m": 5,
"n": 2,
"x": "logphi"
},
"lower": "-17659292480876140652390942494867427844851547790348647913262241936544724433253620700167416668840811792957289687756446893423803028792217605676557687963546702473215259230128511091092193437/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-8829646240438070326195471247433713922425773895174323956631120968272362216626810350083708334420405896478644843878223446711901514396108802838278843981773351236607629615064255545546096595/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"ball": "[-16.624015528642736206856169804707058673384597676804819909654063089825878707400591885126204450041005157534296272784230889048024156407827411985615620712065437764974400008088650930049546 +/- 3.91e-181]",
"accuracy_bits": 605,
"native_type": "RealBall",
"number": "-16.62401552864273620685616980470705867338459767680481990965406308982587870740059188512620445004100516"
},
{
"params": {
"m": 5,
"n": 2,
"x": "2logphi"
},
"lower": "-17675434130523274501204479150440073778924123939957611334535343987706331986124658434804457052901169027623756257270212297518527704657494410819728013546987676630115578304058403467391375545/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-17675434130523274501204479150440073778924123939957611334535343987706331986124658434804457052901169027623756257270212297518527704657494410819728013546987676630115578303368800902710532281/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-16.639210873228735746681355086864326704526084318704753271842448806330549980430830345995050203800422093843786244655612190166088559379818999721807130497682425129903285621 +/- 7.88e-166]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "-16.63921087322873574668135508686432670452608431870475327184244880633054998043083034599505020380042209"
},
{
"params": {
"m": 5,
"n": 3,
"x": "logphi"
},
"lower": "-48995673850836920657471257729601619492218386858455383385361694603527545674846960565722869200315275403925555425117889492387080646228730629630771400009814873405752899900120931688496932653/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"upper": "-48995673850836920657471257729601619492218386858455383385361694603527545674846960565722869200315275403925555425117889492387080646228730629630771400009814873405752899900120931688496931757/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"ball": "[-11.530824972386115102063060358175287746632338138215980669429921983997936600597473959049993677720685041320676157164468319947742563446864044369077659136187833168485714558871834646019849 +/- 5.16e-181]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-11.53082497238611510206306035817528774663233813821598066942992198399793660059747395904999367772068504"
},
{
"params": {
"m": 5,
"n": 4,
"x": "logphi"
},
"lower": "-67969657663353571763227363320695512609789443277597693539180159896824859483596972937875541896381407718530262535917169064825458957652391753753253282646673002115740557349898935622496851539/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-67969657663353571763227363320695512609789443277597693539180159896824859483596972937875541896381407718530262535917169064825458957652391753753253282646673002115740557349898935622496849919/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-7.998116612654211590465802790102478961382089189955728235983500691561099942049834938728324557514772804994913179984769649982466508882997319362881826223227533971135984263620624123978878 +/- 4.90e-181]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-7.998116612654211590465802790102478961382089189955728235983500691561099942049834938728324557514772805"
},
{
"params": {
"m": 5,
"n": 5,
"x": "logphi"
},
"lower": "-47146059320086517744109526078432483005900882925805240856580527057580519002922235736523401611488093732167805326228227305845573923537752453221286562627017311527192825828989735520868507569/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-47146059320086517744109526078432483005900882925805240856580527057580519002922235736523401611488093732167805326228227305845573923537752453221286562627017311527192825828989735520868506235/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-5.547764888515403972085190451746563617383891446426522325248134573593586849221832688256032199150416338582528181398825040587102459421200595379820686689882816602806615631398330599498428 +/- 3.36e-181]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "-5.547764888515403972085190451746563617383891446426522325248134573593586849221832688256032199150416339"
},
{
"params": {
"m": 6,
"n": 2,
"x": "logphi"
},
"lower": "22088673652764851117250904769064018745546403715855657668746589426540841570445413640697157722794918592953676579819046397856866570211426836963818290585664491746948316817151675678596263973/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"upper": "11044336826382425558625452384532009372773201857927828834373294713270420785222706820348578861397459296476838289909523198928433285105713418481909145292832245873474158408575837839298132141/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"ball": "[83.17489598370734465946634637978794385445701575643287230928178989485187047438394489059277245052739229829265913469491548454113140944746073624044200494655516939872195241213214623107518 +/- 3.01e-180]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "83.17489598370734465946634637978794385445701575643287230928178989485187047438394489059277245052739230"
},
{
"params": {
"m": 6,
"n": 2,
"x": "2logphi"
},
"lower": "22091055343962102246993160170592766406725687416424064039179426211909122575669195216796862999255553179065597484334012477298074176264983739805423269997661573234437569009701770901788846815/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"upper": "22091055343962102246993160170592766406725687416424064039179426211909122575669195216796862999255553179065597484334012477298074176264983739805423269997661573234437569010566856430648322783/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"ball": "[83.18386424140858867377433655978091728125074287972887819321242084301407666755725953790471962463370418352892660189675224442652001606665184298824554997668912398367623190 +/- 2.33e-165]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "83.18386424140858867377433655978091728125074287972887819321242084301407666755725953790471962463370418"
},
{
"params": {
"m": 6,
"n": 3,
"x": "logphi"
},
"lower": "7657195376224744766031087464098896305862617086471167789031439171279519458982350909555522043806052131978661647980410829117844921937080548682621615806397276822370017376510978527019536041/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"upper": "15314390752449489532062174928197792611725234172942335578062878342559038917964701819111044087612104263957323295960821658235689843874161097365243231612794553644740034753021957054039072363/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"ball": "[57.666335150431140333951650896333834909388040136519639938982067754193569959297056298317871164919840458247997265130620824468212604057221412893783899642542107792236474675026019436934548 +/- 6.01e-181]",
"accuracy_bits": 603,
"native_type": "RealBall",
"number": "57.66633515043114033395165089633383490938804013651963993898206775419356995929705629831787116491984046"
},
{
"params": {
"m": 6,
"n": 4,
"x": "logphi"
},
"lower": "21235403982734095962149560426778136114272458496992146873551762506411542897702336253102976238111255941966268698877115220375508805809759699072800511042292452966836731646344480633227382777/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"upper": "5308850995683523990537390106694534028568114624248036718387940626602885724425584063275744059527813985491567174719278805093877201452439924768200127760573113241709182911586120158306845821/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"ball": "[39.980954610527969277837906812276533765037864417987346988514542174251713417293407690742212885035936540422129597195980507424842101261139987257053412114701188367777083637377940926499695 +/- 9.46e-181]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "39.98095461052796927783790681227653376503786441798734698851454217425171341729340769074221288503593654"
},
{
"params": {
"m": 7,
"n": 2,
"x": "logphi"
},
"lower": "-66269156836201217162897140392877854509885556416890497875601895436602947673435963055600728149036664736070932907852143344942704257714175426143059756837363366680270596824001289191482619895/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"upper": "-66269156836201217162897140392877854509885556416890497875601895436602947673435963055600728149036664736070932907852143344942704257714175426143059756837363366680270596824001289191482618963/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"ball": "[-499.07299219743721285175223647939035641530607240784593647405350824672635349713554790590152805056939794660037433143732969441149959783529829139835716367452388457073306948213211504537707 +/- 8.45e-180]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-499.0729921974372128517522364793903564153060724078459364740535082467263534971355479059015280505693979"
},
{
"params": {
"m": 7,
"n": 2,
"x": "2logphi"
},
"lower": "-66269883253875277752094051286106313637416750942174999680686457406358400460319022476369222944916443450034175580392936104465191536486140373455768196349809854697612597096760946688260424885/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"upper": "-66269883253875277752094051286106313637416750942174999680686457406358400460319022476369222944916443450034175580392936104465191536486140373455768196349809854697612597094164089910684140725/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"ball": "[-499.0784628486343392453795707596011617671982810389326309397937219689102753780348687774880661533665599828976269188860226553327399580145009484297371943327939812619638010 +/- 3.23e-164]",
"accuracy_bits": 552,
"native_type": "RealBall",
"number": "-499.0784628486343392453795707596011617671982810389326309397937219689102753780348687774880661533665600"
},
{
"params": {
"m": 7,
"n": 3,
"x": "logphi"
},
"lower": "-11484508475612173639171193107537277510866484588759907691462209430283317364405177543105707960618090604357147356102609540016448832692424966861608835281050358786812062392657298419496962313/33196124551047943668099262909529289208099569857939495199965258637525222491303265171197656391576830354305583092890406313459161208603294202463094998672911709496489454427212076189483008",
"upper": "-22969016951224347278342386215074555021732969177519815382924418860566634728810355086211415921236181208714294712205219080032897665384849933723217670562100717573624124785314596838993924205/66392249102095887336198525819058578416199139715878990399930517275050444982606530342395312783153660708611166185780812626918322417206588404926189997345823418992978908854424152378966016",
"ball": "[-345.95931395400273513834406221109739786977012852599993410933717210986822281330670768870863676068116510841622316023208102430557003038687108803888591229510516249364732750155071520709618 +/- 5.62e-180]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "-345.9593139540027351383440622110973978697701285259999341093371721098682228133067076887086367606811651"
},
{
"params": {
"m": 8,
"n": 2,
"x": "logphi"
},
"lower": "1812035172581548156695227284772875386584217037395494002838253394043983577616208533627478555640886846890717074493246171558626371126514007324351172657225068179580076819913632419417999869/518689446110124119814050982961395143876555779030304612499457166211331601426613518299963381118387974286024735826412598647799393884426471913485859354264245460882647725425188690460672",
"upper": "14496281380652385253561818278183003092673736299163952022706027152351868620929668269019828445127094775125736595945969372469010969012112058594809381257800545436640614559309059355343999155/4149515568880992958512407863691161151012446232242436899995657329690652811412908146399707048947103794288197886611300789182395151075411775307886874834113963687061181803401509523685376",
"ball": "[3493.4876469355247002561770350790395384346418319298862021667897612616413262729560626135214374609785149774575841347810218987945330685278404930362433699597623830722873590607261126767227 +/- 3.87e-179]",
"accuracy_bits": 604,
"native_type": "RealBall",
"number": "3493.487646935524700256177035079039538434641831929886202166789761261641326272956062613521437460978515"
},
{
"params": {
"m": 8,
"n": 2,
"x": "2logphi"
},
"lower": "28992591123818682844054529132717186314453751035605536700954961301654756763975874403203345741192583690470530621154174082897137901087342376128614631268506671428369130331701591417638444691/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"upper": "28992591123818682844054529132717186314453751035605536700954961301654756763975874403203345741192583690470530621154174082897137901087342376128614631268506671428369130332837820098057690771/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"ball": "[3493.4910645048097801407046317022117724179134155327849790542964150062988167002082414818573473570163968379273055434491189356695087505130913828302722477847904176943184346 +/- 9.27e-164]",
"accuracy_bits": 553,
"native_type": "RealBall",
"number": "3493.491064504809780140704631702211772417913415532784979054296415006298816700208241481857347357016397"
}
]