back to table · edit · history · where entries came from · files · download
110232 bytes, as of the version from 2026-11-11 07:57 (current). Recorded here, not run.
[
{
"params": {
"n": 2,
"k": 0,
"x": "logphi"
},
"lower": "28270044604091833048463535929737039530737905580738685213896854567260038296035856597138762379437770094601770012047248628586470775944466058695887619739966363679297356645155676214008402143/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "14135022302045916524231767964868519765368952790369342606948427283630019148017928298569381189718885047300885006023624314293235387972233029347943809869983181839648678322577838107004201111/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[0.83164724217218636896166287008205964569988472301969352820569921326534949733650170927224247056269477841340911002703991144108872280844150025323380138370244929835661048312032995926785818 +/- 3.13e-183]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logphi"
},
"lower": "33549579977536849288111303719248566850455451652648739945519552879837184919195905745888893773262657372303223528159523068151806850144910715762585044804318026302721996729193556972324652859/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "16774789988768424644055651859624283425227725826324369972759776439918592459597952872944446886631328686151611764079761534075903425072455357881292522402159013151360998364596778486162326437/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[0.986960440108935861883449099987615113531369940724079062641334937622004482241920524300177340371855223182402591377402314407777234812203004672761061767798519766099039985620657563057150604 +/- 2.79e-184]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logsilver"
},
"lower": "46812233953430375811775389899120876959035740390737240966663316070932684253152511539797013999175042974725044643054461719473393101102013767044321594377670019802423304632742889857728124143/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "46812233953430375811775389899120876959035740390737240966663316070932684253152511539797013999175042974725044643054461719473393101102013767044321594377670019802423304632811495711775397103/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[0.68856037923715565767202929869603306236100003398612550199326103113640925735154315125810305714779674638820602248534262294787952578144074910542755980718541435704781163118 +/- 2.98e-168]",
"accuracy_bits": 558,
"native_type": "RealBall"
},
{
"params": {
"n": 3,
"k": 0,
"x": "logphi"
},
"lower": "-65285223961947320452583666354015645403285889125728507157052071254334024122269745544890905477468667517734914007706119480329000354323449752711494057396893899075081110820800623357531968695/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-65285223961947320452583666354015645403285889125728507157052071254334024122269745544890905477468667517734914007706119480329000354323449752711494057396893899075081110820800623357531968385/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-1.92055857084457598035930653933570477393649170613981405542605610206523418894999817759078861444476881753044473594077763147536758133902732202909127193636263030462598104631218810802280832 +/- 6.41e-183]",
"accuracy_bits": 605,
"native_type": "RealBall"
},
{
"params": {
"n": 3,
"k": 0,
"x": "2logphi"
},
"lower": "-67682782952992932213995570370555586127059393147174894196472705463958370551593983473980532673414836471222544377165867077836852118184235629503820595120946560930233328023594410077819195623/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-67682782952992932213995570370555586127059393147174894196472705463958370551593983473980532673414836471222544377165867077836852118184235629503820595120946560930233328023594410077819195583/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-1.991089882371392968230758181371506714228628916274806756183866731846102530925464516611467853641321672014501793252803452627478836043954461503273519065723143734868144997328239364980582468 +/- 9.12e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 3,
"k": 0,
"x": "2logsilver"
},
"lower": "-36267568803639082293479890840818654221494297799543217808039492280345653965732937779630817887765298698169004714581494241059790723258248235093816348337212292006582349283863740386144168507/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-36267568803639082293479890840818654221494297799543217808039492280345653965732937779630817887765298698169004714581494241059790723258248235093816348337212292006582349283775689112090323515/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-2.13383629196473304512674084799827630627935638335071564225454363553102780547860791399054072736907372804912592347741896459529619156989388262871169073764601052864663263168 +/- 3.97e-168]",
"accuracy_bits": 557,
"native_type": "RealBall"
},
{
"params": {
"n": 3,
"k": 1,
"x": "2logphi"
},
"lower": "32689054248741165749009662146464267441059624793417334644622078191225459254979463631099647749442013214397077351624963951851129608147609750003353778003388690651139483052747492353115515067/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "16344527124370582874504831073232133720529812396708667322311039095612729627489731815549823874721006607198538675812481975925564804073804875001676889001694345325569741526373746176557757547/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[0.240411380631918857079947632302289998152997258468099776358454311068367641157262618037291174721867051629239831559052143883698399199734656642755279367441580032290788356589872013343838315 +/- 1.82e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 3,
"k": 1,
"x": "2logsilver"
},
"lower": "-6893649879835428169412994147208659064480410368969864785871440631320041783096775674353718246802347384092720877745303101588781208211897630065163948193453598795835563059360234243617735211/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-6893649879835428169412994147208659064480410368969864785871440631320041783096775674353718246802347384092720877745303101588781208211897630065163948193453598795835563059330000549770707499/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-0.202797165386712748561394720517551764716453698262703827733389084345046067135680171347234531969365094566895839821321230577308437587235088521528955191927191842557131182355 +/- 8.00e-169]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 0,
"x": "logphi"
},
"lower": "50599110343360745159085607202074679080479234468495119180610136000304419238805798901048862675977395205888948607620546591494968805242971533372421738717925948455792462811287708133454592919/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "50599110343360745159085607202074679080479234468495119180610136000304419238805798901048862675977395205888948607620546591494968805242971533372421738717925948455792462811287708133454593179/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[5.9540918541502868870227792897113245849561601652328509949748454458205011762229928000834603155066393574738800843081285964160692010880497375060712299815831930149955070054494673772991464 +/- 4.53e-182]",
"accuracy_bits": 605,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 0,
"x": "2logphi"
},
"lower": "25456188076725805856866098789800165857160628959677312747384701581953521935000792478862734326133320760461107709223866677221939531329079280060652030356450322491535252617425853249405343719/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"upper": "12728094038362902928433049394900082928580314479838656373692350790976760967500396239431367163066660380230553854611933338610969765664539640030326015178225161245767626308712926624702671867/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"ball": "[5.99095442733366222108510674870818094042734435422879263352681479889790105442267488899988363549844196716644037035546734289725533840951042661705056793249052088093239731285690708558781230 +/- 2.64e-183]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 0,
"x": "2logsilver"
},
"lower": "50268909518549573520203129549275505089117303878369343162523497022462675417952292220733781735464851173506450130563286873306196304680958416778257529275422275813955336354593012143549458885/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "50268909518549573520203129549275505089117303878369343162523497022462675417952292220733781735464851173506450130563286873306196304680958416778257529275422275813955336354788251699323218373/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[5.9152365061431677548447785741770402435971850642342403082955725880178452108663405143895893256420864222544240454996803827463259702424542650649904472280343245779068080643 +/- 2.98e-167]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 1,
"x": "2logphi"
},
"lower": "-66646404381212708224664796446638679964986527505857415493530273954104877648035647351330420163559482060617707557480734172954605569180733827211327581395788813557752618311921036263231172959/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-66646404381212708224664796446638679964986527505857415493530273954104877648035647351330420163559482060617707557480734172954605569180733827211327581395788813557752618311921036263231172903/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[-0.245075216455023795862461705256128637404871762881219195394490333764889655031913612539962687897825969532185669714418332138234982642374737469676894818573890076764790777704234886853655379 +/- 4.96e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 1,
"x": "2logsilver"
},
"lower": "-7922381435212040214972905259939427577129630255016909797253254238754857875655634791733333687404605777640883884921060632146779363533731965254039542581839560112178262230137674688307213415/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-7922381435212040214972905259939427577129630255016909797253254238754857875655634791733333687404605777640883884921060632146779363533731965254039542581839560112178262230075185468112450663/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-0.46612071288183089417992096218545038838626111693996068469009724461821919559403289537547162140352129112075558924013098431932385487040087444650368716344880341562259019933 +/- 6.30e-168]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 2,
"x": "2logphi"
},
"lower": "14084999517084794760002565581975296713165879354384149062548168360433921499613331706606590459451358468631118408784687321617713145315910555176530577034664594680662739258223177875434866959/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "28169999034169589520005131163950593426331758708768298125096336720867842999226663413213180918902716937262236817569374643235426290631821110353061154069329189361325478516446355750869733949/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[0.103588013110922779938574980624947746859338400334982637002588173840295905737626531074915271118528071753741821735757955397098735143942483704171415293640759636198810418417654617996799287 +/- 3.98e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 4,
"k": 2,
"x": "2logsilver"
},
"lower": "-38459244712515621970756179827231819483610927014298272470903055762459370804346294375306120276255858526883690448670967087251483735631746439874862891054528741096342702810143306185570586191/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-38459244712515621970756179827231819483610927014298272470903055762459370804346294375306120276255858526883690448670967087251483735631746439874862891054528741096342702810072247041036455503/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.565696397885403179756949110767444469384088239556847381723301742247695479808355098337599279476451023006242185981373943747499285225589424579718123871742039538013866402309 +/- 7.71e-169]",
"accuracy_bits": 558,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 0,
"x": "logphi"
},
"lower": "-25459607764315439007835067311232410924185498959833063283295717633324055669613293412122998096248366470995964121873373919906058263435410976087984020539140341655379338700830041923426228331/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-25459607764315439007835067311232410924185498959833063283295717633324055669613293412122998096248366470995964121873373919906058263435410976087984020539140341655379338700830041923426228195/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-23.967036917559142138294829196844966867918380995033708099996656498325046251424301950049207056757511474353557509000042793614248927307015576150851140797880687002685410188128958249111315 +/- 9.98e-182]",
"accuracy_bits": 605,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 0,
"x": "2logphi"
},
"lower": "-12740846683148296090350554389172571162153643128385058319784417385498472885702705957351213889768834414826403475702080203029363156145608950807538761383126773342320876169155297529698097751/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"upper": "-25481693366296592180701108778345142324307286256770116639568834770996945771405411914702427779537668829652806951404160406058726312291217901615077522766253546684641752338310595059396195487/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-23.98782774996036739008086693933519050078158200014743696518691790050998809675781401313022772994955726533180307815421977134449945964361094786058645680644784580654899778374609640575281997 +/- 9.64e-183]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 0,
"x": "2logsilver"
},
"lower": "-51053771101796231757174961167045047597599725798839248953415818483317236917169880092466106398796228929308848638236546263971193977864583838321642861357320277888089455051303943748409434197/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "-51053771101796231757174961167045047597599725798839248953415818483317236917169880092466106398796228929308848638236546263971193977864583838321642861357320277888089455051075714901559287893/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"ball": "[-24.0303705403582613849426367834355062760232160234995289574546773377514168857771171588335893217854090629709289849945499487964143539875247182375088158352199774936327455529 +/- 7.92e-167]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 1,
"x": "2logphi"
},
"lower": "50477786716096852853010042164698631815555461375969431261703300070606438148279627513874254807908280887945242126689887944190548356864703794420257063649666332481449678994692738245833511113/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "50477786716096852853010042164698631815555461375969431261703300070606438148279627513874254807908280887945242126689887944190548356864703794420257063649666332481449678994692738245833511169/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[0.371238467265467173786139533421676848619120404928774558679847322511678089288829752588036118283757059924206147569925295411064824662132103705454650665995817905069898392526954480422844439 +/- 2.90e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 1,
"x": "2logsilver"
},
"lower": "17065584441440256543538755456182875516892953648780309863057375377204997186312439401252356471230817716616601713304499716614144308471042888488617843881568716880596435915568404385229362591/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "17065584441440256543538755456182875516892953648780309863057375377204997186312439401252356471230817716616601713304499716614144308471042888488617843881568716880596435916388698801817965983/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[0.25101740084849597811253744776216936129705772670015331490359251039428859962567726040642294095234340075511910087218970958975174893195227129580932192545544362160675884497 +/- 6.08e-168]",
"accuracy_bits": 553,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 2,
"x": "2logphi"
},
"lower": "-75398723920736240751814089728632652056483271945847121264688011244191225834265838023317523823413943528334464298528051021711262461503684649426299679356762338941845376189654892628722597/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-9651036661854238816232203485264979463229858809068431521880065439256476906786027266984643049396984771626811430211590530779041595072471635126566358957665579384556208152275826256476492403/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.0709784697578087043760088449629446658122650400246615475672290380366088771596090340657599149297902236858552429585486671139028656959266904312952426611657751317446313743187823558036316045 +/- 5.33e-185]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 2,
"x": "2logsilver"
},
"lower": "-56698454483013680741058902330596310277833251852937340751299114530619445285757662653024810122995941096826227365419538774005286189194476287217734586622904826067408039550051422045615236719/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-56698454483013680741058902330596310277833251852937340751299114530619445285757662653024810122995941096826227365419538774005286189194476287217734586622904826067408039549511313761750558319/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.41698831719740705795713716439819515435151677214115891465579374453532963867852844645414425041221092942088361098355257229238969097253102814930322844381520538203183593543 +/- 3.71e-168]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 3,
"x": "2logphi"
},
"lower": "61296103268770033709382282960613890752368773845575510642009316712451675027161824632390195002292198247600678897001801401603605354079082869732653453620829714600407717323953634645532081995/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "61296103268770033709382282960613890752368773845575510642009316712451675027161824632390195002292198247600678897001801401603605354079082869732653453620829714600407717323953634645532082073/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"ball": "[0.0563502109225489554819920767990750860873118076302167865935197814471944220192825731903361493605374118980847375361069855359537152161644331527472507349744344421717611900779888430144461763 +/- 6.97e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 5,
"k": 3,
"x": "2logsilver"
},
"lower": "-65899574289184233517565840903124273885957308105755332357917112273689070904705758370211550323882744184692116715192422705003540100452414448987190189978575253493970105210522645722696027703/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-65899574289184233517565840903124273885957308105755332357917112273689070904705758370211550323882744184692116715192422705003540100452414448987190189978575253493970105210428701242947833399/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.969315754280568594720547368749377906070515006119042580331767632061347545392211344580906270000766285666592948042346275182581500621772818636378378340544519977377229978929 +/- 7.86e-169]",
"accuracy_bits": 557,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 0,
"x": "logphi"
},
"lower": "63719191964325693091691136480709780924148135391653172157445626844794011169009660580738154916460443004311390889349792100168295952126804601576547332969538864834995974517034148024658138989/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"upper": "63719191964325693091691136480709780924148135391653172157445626844794011169009660580738154916460443004311390889349792100168295952126804601576547332969538864834995974517034148024658139327/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"ball": "[119.967301955572306218720995580365320784324589428514393796042248285961595572789909819884572055762495653213933712078640304549872475000722781208651443441488184608794131984740015894866016 +/- 3.87e-181]",
"accuracy_bits": 605,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 0,
"x": "2logphi"
},
"lower": "63725723452411095634623029263514161044704647488276214616119673402840200852167038344860883705540055119114123391485813421756765742728578511732775407933103040323595338689406719977430235643/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"upper": "63725723452411095634623029263514161044704647488276214616119673402840200852167038344860883705540055119114123391485813421756765742728578511732775407933103040323595338689406719977430235679/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"ball": "[119.9795991140767549617852804401899260295177634710678367913287476417972577767963041882919641936540323173626994349792239049436706260590821835243695844231991415528491252149987293919724426 +/- 5.40e-182]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 0,
"x": "2logsilver"
},
"lower": "7964068764390517894363651754152326054181481335341742969124465095209323002577486608697929267005917171432068634377955709213024204766925004535192266291709104334757548969828934586881466079/66392249102095887336198525819058578416199139715878990399930517275050444982606530342395312783153660708611166185780812626918322417206588404926189997345823418992978908854424152378966016",
"upper": "7964068764390517894363651754152326054181481335341742969124465095209323002577486608697929267005917171432068634377955709213024204766925004535192266291709104334757548969866614486635306719/66392249102095887336198525819058578416199139715878990399930517275050444982606530342395312783153660708611166185780812626918322417206588404926189997345823418992978908854424152378966016",
"ball": "[119.954797014688061748224497416769841662857752930698027486072016199302068819894563872026794395788636081909441440261764853389382812970908290756999645860606065529801414134 +/- 6.78e-166]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 1,
"x": "2logphi"
},
"lower": "-12682585202647638159753207351853710141054304687034340934101689903273125408449460620209215990610466976352931386208701904587552690534695984859803792145078439734246631928826076746495912951/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-12682585202647638159753207351853710141054304687034340934101689903273125408449460620209215990610466976352931386208701904587552690534695984859803792145078439734246631928826076746495912937/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-0.746191748552744882465029092724697374755445656104284075184708840146077223982667445067352267090939440274773572654338258847728530991523405685492118591306262184766248393794185976333081657 +/- 5.50e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 1,
"x": "2logsilver"
},
"lower": "-1731261385360844683252167067403164893580375331430336661850021719386376257071448620490509865286684869984847718341567997503063282623625377685368827355703996710000531652952179826379262143/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "-1731261385360844683252167067403164893580375331430336661850021719386376257071448620490509865286684869984847718341567997503063282623625377685368827355703996710000531652871835535459551423/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"ball": "[-0.8148830477083279483516619888567767476038080527678457301288556971462895587945130719082892274975837032503492136711738882632928803463844401904707027771224691251796958589 +/- 5.05e-167]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 2,
"x": "2logphi"
},
"lower": "4907077416803385954983044690980366685838105753892411446016807861515825424184318172584221263179884661388132217794119232294961602773610868384715503889257039632871975048022391588971783239/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "9814154833606771909966089381960733371676211507784822892033615723031650848368636345168442526359769322776264435588238464589923205547221736769431007778514079265743950096044783177943566493/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[0.0721781210104505916924378065942326729302277506844496065163761095774357062574911453598368114959119739822528041812208977322995960680599682975548228535870390106086385438335727000679373786 +/- 6.14e-185]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 2,
"x": "2logsilver"
},
"lower": "-65353837277681887793293068229988046151044175815299160405323783903836404013565617540784821260285929199343164775205490389037978849842593734747697725242866286217939831502306564023462948355/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "-65353837277681887793293068229988046151044175815299160405323783903836404013565617540784821260285929199343164775205490389037978849842593734747697725242866286217939831495959168299225607683/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.12016106469435651735919557263091517325857035383831832853413670682646486549055153446582048176022705877737995756691488134500009534498550323858575368033370991244853285840 +/- 8.99e-168]",
"accuracy_bits": 551,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 3,
"x": "2logphi"
},
"lower": "-63393380227788238208993967144335240981118343978984627896539939113739153607674744335370197082175615809482912558087073050363914854615435986663117620729499442220858121619120768786383331951/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"upper": "-63393380227788238208993967144335240981118343978984627896539939113739153607674744335370197082175615809482912558087073050363914854615435986663117620729499442220858121619120768786383331853/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[-0.0291391308454451126610844580539104920099089062423811639311791384704438604595851435172527270687579498390026727516275514259218116360738111377132522569343618930757701396968493391129940185 +/- 5.28e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 3,
"x": "2logsilver"
},
"lower": "-9789733123615165832096466779686131443049638534848078568812616915213734363745773833528382643893465748422357985770359643571658478138313302046139902874819266147542788196635598356069289523/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-9789733123615165832096466779686131443049638534848078568812616915213734363745773833528382643893465748422357985770359643571658478138313302046139902874819266147542788196550255738842582579/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-0.57598809396132560569773127988930992436391111023668832143229257362332758584379980512956907920554225074001822485188146478162032045754524656659699714889401826270221602525 +/- 3.68e-168]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 4,
"x": "2logphi"
},
"lower": "18942566614062756166095036756405258682711757419731849140505650360639514139349546975138537195170257311589162966109977391904042208666713426282435642948369498752175796884892242613562285659/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "18942566614062756166095036756405258682711757419731849140505650360639514139349546975138537195170257311589162966109977391904042208666713426282435642948369498752175796884892242613562285691/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[0.0348282375940433606683020796850678951906768956207774336379789306134836809055862674204669992848762024214989071591516593586958524290958136602408982468245436387761486483037786354706810602 +/- 5.05e-185]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 6,
"k": 4,
"x": "2logsilver"
},
"lower": "-26471991060578734326059084674108561878797142253712473433913697716203320341543280962204515512643853973049728675944377353943195041284721807717764305270009192470969227762334811779406202551/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-26471991060578734326059084674108561878797142253712473433913697716203320341543280962204515512643853973049728675944377353943195041284721807717764305270009192470969227762301691706206553783/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-1.55750432435826801010829688005367131743916275570277000754256134966084900193236681529116900720836333539428914963457132905279336931693064281493493531141006799115469044014 +/- 1.13e-168]",
"accuracy_bits": 558,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 0,
"x": "logphi"
},
"lower": "-746862538050504482526772151646775663167722933470695988445494889885555268392732367453011777375369050130014484783463863765925103619957470305007906440157651212778034744121389646484391267/1037378892220248239628101965922790287753111558060609224998914332422663202853227036599926762236775948572049471652825197295598787768852943826971718708528490921765295450850377380921344",
"upper": "-23899601217616143440856708852696821221367133871062271630255836476337768588567435758496376876011809604160463513070843640509603315838639049760253006085044838808897111811884468687500520417/33196124551047943668099262909529289208099569857939495199965258637525222491303265171197656391576830354305583092890406313459161208603294202463094998672911709496489454427212076189483008",
"ball": "[-719.95154677962776760550284346321989493767909151111685126550268309723055923172666067996156064819404462785097234408955799701532490162004924506005390855868892935159148827178146776164835 +/- 2.50e-180]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 0,
"x": "2logphi"
},
"lower": "-47799701229615947143615595776237981324631273505978662621118217216854435318016430012778937990819931705146195258639743925855165940409961618334976014088772998868237031056742738511954963425/66392249102095887336198525819058578416199139715878990399930517275050444982606530342395312783153660708611166185780812626918322417206588404926189997345823418992978908854424152378966016",
"upper": "-47799701229615947143615595776237981324631273505978662621118217216854435318016430012778937990819931705146195258639743925855165940409961618334976014088772998868237031056742738511954963397/66392249102095887336198525819058578416199139715878990399930517275050444982606530342395312783153660708611166185780812626918322417206588404926189997345823418992978908854424152378966016",
"ball": "[-719.959059620213921446685709381507111618775048805743863045220042502848220701865252289753295786425677636484300365322986734620985591337422460393108833407115682567816678358937747359912488 +/- 5.90e-181]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 0,
"x": "2logsilver"
},
"lower": "-5975085786235636141896835118993362952640569864301649472088564861716157072458810114818317632567105655496507076229849935869626441783506725793430279394107885378856470445080155060300680499/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"upper": "-5975085786235636141896835118993362952640569864301649472088564861716157072458810114818317632567105655496507076229849935869626441783506725793430279394107885378856470445051420574381772083/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"ball": "[-719.97389659715722694056454579241764958961315831329261208376522770333958062765341463960284077065489403708043484947067537806532589855626515740469948903506620918293387230 +/- 5.17e-165]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 1,
"x": "2logphi"
},
"lower": "63573387727798316360695034785830314009063842163855550809301617435001174845976792804366918959158503889897686291618537227942293308207294595476023738518942694521538834389159119322780115405/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "63573387727798316360695034785830314009063842163855550809301617435001174845976792804366918959158503889897686291618537227942293308207294595476023738518942694521538834389159119322780115477/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[1.87019982882213216820506133833317442473672196816650828721670605053371991210056248897872772118003474526263305577089540253256846090400707349740445202483085610243351972460939962812746549 +/- 5.50e-183]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 1,
"x": "2logsilver"
},
"lower": "31097767112930565629023837447666622253009098548873622502397697188743777106000195407092523754744788450774375449867748002246935569947969399011382552916035388297426044135771026585113742281/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "31097767112930565629023837447666622253009098548873622502397697188743777106000195407092523754744788450774375449867748002246935569947969399011382552916035388297426044137833494810790611913/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[1.8296661798289681349656235112085008118428778465282743251154128506705174821939277524965286225383520487743579805058106758385810374472298223388555187903528730517121341372 +/- 7.75e-167]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 2,
"x": "2logphi"
},
"lower": "-52879728141231553609597451407773948994624835009980841895889199245283013484816448166295912058469887722475180398330732418457758353144460232123909997977891622842596147882008346540069492959/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "-52879728141231553609597451407773948994624835009980841895889199245283013484816448166295912058469887722475180398330732418457758353144460232123909997977891622842596147882008346540069492885/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.0972258814306594320562459357779186711273453593913617977299135057679416250864799623910713292380822830391139778284744787985378820220997295772763179985074207599231356647272923068717895332 +/- 8.44e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 2,
"x": "2logsilver"
},
"lower": "-1774146615892397092943981386610009728873995780963388674837133810315726801422553962852628482871641254831033054746948955608766447671957885937772508476845581464225015070281658710925814071/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-1774146615892397092943981386610009728873995780963388674837133810315726801422553962852628482871641254831033054746948955608766447671957885937772508476845581464225015070012745452967471415/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-0.2087671471310617170933973967290033844816614690269923262373243089061787568782176501809577219513466008664883319632222586550359703204411676342484558743660484534895246463 +/- 3.88e-167]",
"accuracy_bits": 551,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 3,
"x": "2logphi"
},
"lower": "48641231934879836387548458514872271083309839872069425990527759963078076468180456660167297622551265403936412346407694088007846810726324858237386046048418402647639384473483695855080944369/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"upper": "48641231934879836387548458514872271083309839872069425990527759963078076468180456660167297622551265403936412346407694088007846810726324858237386046048418402647639384473483695855080944447/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[0.0223582212644469669974796631883960559831530077604568243390131883984092016520292503695169842415423394779372000077177048356227772950777595967221748495259184430370271740658282559339130287 +/- 5.92e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 3,
"x": "2logsilver"
},
"lower": "-9771798822128199617414570676831140833468995634556548644111272930587058370164463034624638653215473888049611567128482661675229321505405442293719334682131142275269782430951979422618786329/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-9771798822128199617414570676831140833468995634556548644111272930587058370164463034624638653215473888049611567128482661675229321505405442293719334682131142275269782430478001912536144409/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-0.2874664562894984464751896241415333896110887990336814132478143044427942749678600135783771157641024517690081516701554507537853783339781398608724853276141906941905573638 +/- 2.02e-167]",
"accuracy_bits": 553,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 4,
"x": "2logphi"
},
"lower": "-31496067933150089686572910721500218343262457943628223498321127800650064341066450480799661872306661007012324894439194951110327365938930971697514310262829532648804916202089778331431550457/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"upper": "-7874016983287522421643227680375054585815614485907055874580281950162516085266612620199915468076665251753081223609798737777581841484732742924378577565707383162201229050522444582857887599/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.0144773482865769077918641198614649177532589632043291791690104901377468259780322176283057563775900965491527683034297517476258689888269952638078127905252312965163827564480871537429368836 +/- 3.82e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 4,
"x": "2logsilver"
},
"lower": "-7530604576357561715254246404582771144837560550529393701888725520318836632534412378395185459532209227038017891559808102070995705296709189126865395446478676087855718819459673806167666451/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-7530604576357561715254246404582771144837560550529393701888725520318836632534412378395185459532209227038017891559808102070995705296709189126865395446478676087855718819401154826964889363/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-0.88614031078119027970935958743646622483610443410669128933606101396012585300600111298729637444651888637184692340203831879235012478709145925819792838121508740948512435990 +/- 8.12e-168]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 5,
"x": "2logphi"
},
"lower": "25385471047370739014720545988867916361045488888718063000410135459595387757668066436426049545911693820534179429813922296975370977140486438687964845964943781394376042444439939586728341549/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "12692735523685369507360272994433958180522744444359031500205067729797693878834033218213024772955846910267089714906961148487685488570243219343982422982471890697188021222219969793364170797/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[0.0233371547554217764905729917209316632797188449228834180248171546371224537743591187704312575848687481287083070193357932980300673573814074357656415787042079873616581276767037880071978465 +/- 3.59e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 7,
"k": 5,
"x": "2logsilver"
},
"lower": "-21049979310283026910185142433994631350300945868693967293087339270060881065797171327616783427207759829524942490734300415680307480888885462279327145748398858337443178862439473139667162063/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-21049979310283026910185142433994631350300945868693967293087339270060881065797171327616783427207759829524942490734300415680307480888885462279327145748398858337443178862415147174879286223/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-2.47699039550077020864180941055026841718211765373271888233554155638101916895189419756185907059400066397974303515387267487032369862435575675845848698942324286408994690234 +/- 1.50e-168]",
"accuracy_bits": 558,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 0,
"x": "logphi"
},
"lower": "41826283525344219241314001492665747841988561751291640566571043670576486769802492111079053221399625318777502136475198012027364233233236265764750928063940121327006641938969855394737689359/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"upper": "41826283525344219241314001492665747841988561751291640566571043670576486769802492111079053221399625318777502136475198012027364233233236265764750928063940121327006641938969855394737689585/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"ball": "[5039.8995775576262595718674495402904773505094216995606403385863752228120707134102008635425491235667053059667352460650309145617967884871579687537172509228418985055622009584878095960812 +/- 6.34e-179]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 0,
"x": "2logphi"
},
"lower": "41826322520377945815997345940386534547413867673685832610535632761255578142269727344720859967237590874398661015310088761889972124711032603968036951601402744346323283381900781902833972363/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"upper": "41826322520377945815997345940386534547413867673685832610535632761255578142269727344720859967237590874398661015310088761889972124711032603968036951601402744346323283381900781902833972389/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"ball": "[5039.90427630294716103573940447169522128032699022911609908017554324443520554732004212290398862955355131873255102501135973362060517587121555868528815279882443381478386955714692759381264 +/- 5.76e-180]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 0,
"x": "2logsilver"
},
"lower": "41826247444416207726391706158627031492426326921760175272160482563054861421020171288134772579668639745111842401584560475031446313884072231105255351263568674856544948578238234016959330561/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"upper": "41826247444416207726391706158627031492426326921760175272160482563054861421020171288134772579668639745111842401584560475031446313884072231105255351263568674856544948578440242925180713217/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752",
"ball": "[5039.8952299503679447261459900840903334414678292435641270974905875224550405907427268595513413180211023237835104776608547418539543187677891876929637911654539893630667823 +/- 4.67e-164]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 1,
"x": "2logphi"
},
"lower": "-11935221319544750098984547848039500049032457788238155018553905250913112841448467371429922559591976913190061261895602294434311469340780784847724113913443455644959269400582113203890796335/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "-23870442639089500197969095696079000098064915576476310037107810501826225682896934742859845119183953826380122523791204588868622938681561569695448227826886911289918538801164226407781592643/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"ball": "[-5.61775917038483412802842387689596301242644156260438771052590219571836098580349912848855530205610751045634719954266910410222572497246051358265671758836768047714136893981621844748614087 +/- 3.83e-183]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 1,
"x": "2logsilver"
},
"lower": "-11987209943798501372018743384694963240513467886711220543034093692182085537315358253080906676037891004389541428537959594281295106845546272843222566871113052707458059349939410247589390697/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "-11987209943798501372018743384694963240513467886711220543034093692182085537315358253080906676037891004389541428537959594281295106845546272843222566871113052707458059349058908662691621225/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"ball": "[-5.642229564593522565019253800131257419461929563656597754623822965399364588723083318918732757453200852292594067625998332401614725080317730263831733683885889491531676911 +/- 2.13e-166]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 2,
"x": "2logphi"
},
"lower": "44341010686774259193947405529062254800947923499862239556126313496395570720058473026233316663197343222051868896559723495318190724950756002366439837877446115384559198618601819822097253505/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "44341010686774259193947405529062254800947923499862239556126313496395570720058473026233316663197343222051868896559723495318190724950756002366439837877446115384559198618601819822097253577/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[0.163052799213861947275382505478839317995827048981248855495787343368856986228854761303550704733413521086672561031683113832495225990570755547965592329733803758845267024568264669495808826 +/- 5.29e-184]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 2,
"x": "2logsilver"
},
"lower": "52495112838787477866100356511033054389503340363560979903340038737807956910143443197730204824926905824625312858645901741521722945124868301931444747057505313468402202361345647442287757163/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "52495112838787477866100356511033054389503340363560979903340038737807956910143443197730204824926905824625312858645901741521722945124868301931444747057505313468402202407162029240632313707/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[0.0965187189109889211981833106292727101307605969415367756895299762199301050618648742343198442182535985512782676509226471556001575030256432874924275321736938126137357503 +/- 8.41e-167]",
"accuracy_bits": 548,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 3,
"x": "2logphi"
},
"lower": "-3087316197077054729749819399631451807235717417072391270614418463296803325484978071495266526031990101702894284373884816723212581576195357808584096440519098463358550248227629144403244981/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-24698529576616437837998555197051614457885739336579130164915347706374426603879824571962132208255920813623154274991078533785700652609562862468672771524152787706868401985821033155225959809/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"ball": "[-0.0227056415807796781373269549204056169451162257992623380104547222906918573529206956668267900942190741979824307570025561215314309208702758911935963412173371121627465740802865016392422121 +/- 1.88e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 3,
"x": "2logsilver"
},
"lower": "-6960200346650023278198610561052580865730151263394176763326045671895862697385904657397719402012391173462332813296855586103218622400096193599170984411023443571479309093970494597231785381/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-6960200346650023278198610561052580865730151263394176763326045671895862697385904657397719402012391173462332813296855586103218622400096193599170984411023443571479309092773742195455014309/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-0.2047549448301742110938379297836101173316344109865096169102929773553026502052438649492076935256389956954584499343937762944020536009986630985196035346562525984372923756 +/- 6.67e-167]",
"accuracy_bits": 550,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 4,
"x": "2logphi"
},
"lower": "4857860122572429518977406021946018703770965706389245036439662546139025808695898663747778314055240452623890597538295554132074034617719815952346336410648651659555614857585131111190037535/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "19431440490289718075909624087784074815083862825556980145758650184556103234783594654991113256220961810495562390153182216528296138470879263809385345642594606638222459430340524444760150181/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[0.0089317730798938212981528331699272931490382306661215501836834204556244403961086320149434886226017287185959106628217736209625820078717222058437798559408892530058432960885799889590197426 +/- 2.39e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 4,
"x": "2logsilver"
},
"lower": "-67060921498466322466167565191093379191645652773272735620734281642946810147937760511387333772555365750947041540366375021630828537218417919342481123548815352025010398476624489740629008567/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-67060921498466322466167565191093379191645652773272735620734281642946810147937760511387333772555365750947041540366375021630828537218417919342481123548815352025010398474111199278442569911/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.4931989956398286782469617008719150789498108565640894917278719022577779915026935844260119803994975078025414413132694177174854266342114644086864364141230575933508171804 +/- 1.01e-167]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 5,
"x": "2logphi"
},
"lower": "-35307761380212540601527301476475476522422714838293626873105200905925435159446312377071296197251543854335859407460992246560416794676241917987035413936074480500302736236975731803821911979/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"upper": "-35307761380212540601527301476475476522422714838293626873105200905925435159446312377071296197251543854335859407460992246560416794676241917987035413936074480500302736236975731803821911901/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"ball": "[-0.00811470752167574190108716842156699068137266845285425961448700603896146812124023822676444404997496389448140549283873591827547991231089086734719915434963615665654624192456022565398261789 +/- 9.14e-186]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 5,
"x": "2logsilver"
},
"lower": "-23932031170494764362738227721135875954191269603599083855598853643992300373200252286745952350764052138492988520655640517213064763246796024445748495543085980346895269258814880343411687265/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"upper": "-23932031170494764362738227721135875954191269603599083855598853643992300373200252286745952350764052138492988520655640517213064763246796024445748495543085980346895269258646200196455235425/16996415770136547158066822609678996074546979767265021542382212422412913915547271767653200072487337141404458543559888032491090538804886631661104639320530795262202600666732583009015300096",
"ball": "[-1.40806341137785059641058115197576319975240652185101661231690730525374825005193509214863070807851939696525662173210524398178147915198949220586455413004502730184469876253 +/- 5.88e-168]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 6,
"x": "2logphi"
},
"lower": "17985416044199333933172144934869986004803897812139865049464767629207321138038592491377767601581863207742748899083159509587996387409615210941122130433299216942818889732613524266793425563/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "8992708022099666966586072467434993002401948906069932524732383814603660569019296245688883800790931603871374449541579754793998193704807605470561065216649608471409444866306762133396712801/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[0.0165341992977356363400375036414964429384480437056637873797849594658443668526812639824824176109546062673805601897951955730921287184753305908260514818191725523355642907351074620664328325 +/- 6.34e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 8,
"k": 6,
"x": "2logsilver"
},
"lower": "-16778540927377164264850124190202176673244684953625805475341244449762257078134633157483782662433092777167072547122344215784080641471967571549519215581645855284464786290670768530787104897/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"upper": "-16778540927377164264850124190202176673244684953625805475341244449762257078134633157483782662433092777167072547122344215784080641471967571549519215581645855284464786290652391162611726465/4249103942534136789516705652419749018636744941816255385595553105603228478886817941913300018121834285351114635889972008122772634701221657915276159830132698815550650166683145752253825024",
"ball": "[-3.94872452034453084858600595502130951238107193583036468414256831511083764622394069190374910342652602220214532369565539281559489593481371674173544091807405499094257754015 +/- 5.65e-168]",
"accuracy_bits": 557,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 0,
"x": "logphi"
},
"lower": "-20913424349251531323291253943676165719350630727762596646973194979922578454904981192607364301341304682104350667056949202353310319259537250546047815660704062698821385866485673740902217329/518689446110124119814050982961395143876555779030304612499457166211331601426613518299963381118387974286024735826412598647799393884426471913485859354264245460882647725425188690460672",
"upper": "-40846531932131897115803230358742511170606700640161321576119521445161286044736291391811258401057235707235059896595603910846309217303783692472749639962312622458635519270479831525199643/1013065324433836171511818326096474890383898005918563696288002277756507034036354527929615978746851512277392062160962106733983191180520452956027069051297354415786421338721071661056",
"ball": "[-40319.741429270097944623994626707957225926833420480459342871690212425612161930376538309086446435427168367722965335985207486104676383314909900147595373602170817430203964388047377744676 +/- 1.55e-178]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 0,
"x": "2logphi"
},
"lower": "-41826851801584191241645367113461076120727684269734328288005152539461849831921672191923390231873683611317079015646605310423358466409150002235892371254313504068781855810301568342124077391/1037378892220248239628101965922790287753111558060609224998914332422663202853227036599926762236775948572049471652825197295598787768852943826971718708528490921765295450850377380921344",
"upper": "-41826851801584191241645367113461076120727684269734328288005152539461849831921672191923390231873683611317079015646605310423358466409150002235892371254313504068781855810301568342124077365/1037378892220248239628101965922790287753111558060609224998914332422663202853227036599926762236775948572049471652825197295598787768852943826971718708528490921765295450850377380921344",
"ball": "[-40319.7444205408398754717104531767320310973558747638803950381998007067495610656977044694132188937391366744948154215968689477683224781052028187285292764128637776715004630632040971223192 +/- 5.14e-179]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 0,
"x": "2logsilver"
},
"lower": "-41826857607960843842706687246256523352027033581139042386360952474336497761954843325948898322179453859959206879024021933718480276466183499386025987274151736561987646754397949702516917459/1037378892220248239628101965922790287753111558060609224998914332422663202853227036599926762236775948572049471652825197295598787768852943826971718708528490921765295450850377380921344",
"upper": "-41826857607960843842706687246256523352027033581139042386360952474336497761954843325948898322179453859959206879024021933718480276466183499386025987274151736561987646754195746612381631699/1037378892220248239628101965922790287753111558060609224998914332422663202853227036599926762236775948572049471652825197295598787768852943826971718708528490921765295450850377380921344",
"ball": "[-40319.750017701815624625924310975868197946215308441748646521957120221665172576733272666195934284585491038626169229776503889935285864252904667420681445492716666099301171 +/- 5.55e-163]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 1,
"x": "2logphi"
},
"lower": "5225011730614398488980029022159406249978493306977174607981654138468346778254728675194029480832827328310491476561343947682333452634744496750935023055258214725039893008716593312545426875/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"upper": "5225011730614398488980029022159406249978493306977174607981654138468346778254728675194029480832827328310491476561343947682333452634744496750935023055258214725039893008716593312545426881/265568996408383549344794103276234313664796558863515961599722069100201779930426121369581251132614642834444664743123250507673289668826353619704759989383293675971915635417696609515864064",
"ball": "[19.6747805703175598370441990712956326681697899202234874622764800119404122104287113274932082004361380025808149956059008065512383124113372317607049097304623853959365643494069098587538767 +/- 3.09e-182]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 1,
"x": "2logsilver"
},
"lower": "41768167911210653966464812520484255560316475098579669490745707123126340558445567506137076504167308172307688635337350289161925396997002889220282915136645232505535306146816761570774506203/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"upper": "41768167911210653966464812520484255560316475098579669490745707123126340558445567506137076504167308172307688635337350289161925396997002889220282915136645232505535306150094254086469475035/2124551971267068394758352826209874509318372470908127692797776552801614239443408970956650009060917142675557317944986004061386317350610828957638079915066349407775325083341572876126912512",
"ball": "[19.659753433238162558323634742393593856287758524798040806103714289063347730958750285746468530716908131037329484552087639201873654941304006610517516818569511016029784043 +/- 8.29e-166]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 2,
"x": "2logphi"
},
"lower": "-22254154361509548440067441885228074191892964123327599334570650352112773983513914566895265940824362567478313649392003144459615070058833330922974300671955502929255479993508676582046359257/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-22254154361509548440067441885228074191892964123327599334570650352112773983513914566895265940824362567478313649392003144459615070058833330922974300671955502929255479993508676582046359225/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.327335990459398505923148586627532851459609161323670599502398305045838617548735595452895455546518080170695471040828915203404917156750829047817324415478550763372745305446844916717906556 +/- 3.61e-184]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 2,
"x": "2logsilver"
},
"lower": "-50015104278943827591686366342570565369010514076598516221515870693149217956872740580996914485362734377111783149038588097872147431395345391688044052743669514476763222281514832582938069391/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-50015104278943827591686366342570565369010514076598516221515870693149217956872740580996914485362734377111783149038588097872147431395345391688044052743669514476763222250553397305901713807/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.367835673086605808135347994152149913076969210591149312932253419635089529735222732872633779864884000430224745083328215441469775670757306526864826390519120028524522500 +/- 1.81e-166]",
"accuracy_bits": 549,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 3,
"x": "2logphi"
},
"lower": "31196242216764012017539005974304601026335288468820383601971911244351485519726027033093385582701976724437945661111727517123392388241331813720995190831595532437426211188693235666195507527/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "31196242216764012017539005974304601026335288468820383601971911244351485519726027033093385582701976724437945661111727517123392388241331813720995190831595532437426211188693235666195507591/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"ball": "[0.0286790633524859719983919084123992940336104672211318488863985219195824249118897614197167684697446290819396303116700132179211092189047124364046493746813340453274376903604531076158210324 +/- 4.53e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 3,
"x": "2logsilver"
},
"lower": "-22019016740104386959077830250548283095068929083890383839003521840423194082341445082970807571750388066929188656990444299338287648671612795581218828111243533286954635995388563391365131365/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"upper": "-22019016740104386959077830250548283095068929083890383839003521840423194082341445082970807571750388066929188656990444299338287648671612795581218828111243533286954635972096071256772062309/271942652322184754529069161754863937192751676276240344678115398758606622648756348282451201159797394262471336696958208519857448620878186106577674229128492724195241610667721328144244801536",
"ball": "[-0.0809693387634437735247086348824659916294680398131590944630647669292479128871385003902130425132147416746478838777318101889656131828870079722809519042770025302259773635 +/- 5.52e-167]",
"accuracy_bits": 548,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 4,
"x": "2logphi"
},
"lower": "-63446985286648833339366744272444550477162550071581117210079330825850379383130889545714115713376495399968771519733257307681192292146199845571881760406601802842765185481785192416584259897/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"upper": "-63446985286648833339366744272444550477162550071581117210079330825850379383130889545714115713376495399968771519733257307681192292146199845571881760406601802842765185481785192416584259757/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"ball": "[-0.0072909426795571055339880665399183831299822117267934647656182984131585345660606359711019132543983780195553548143272683029858220520873212344970166589026693871225051774854067582652642757 +/- 2.38e-185]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 4,
"x": "2logsilver"
},
"lower": "-20789606605476507049401459696652697275173087115982445251716829889315940018622696999589095705941072671252481318007262020612303476193388153211215619275822412556385201957334168554764358807/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-20789606605476507049401459696652697275173087115982445251716829889315940018622696999589095705941072671252481318007262020612303476193388153211215619275822412556385201954290341338216518807/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.3057939816052976834896657329690446862976356614928519768295565313283563841678813856239281663327271256439014436460615761799745027225773579313977692626472618647712619720 +/- 5.62e-167]",
"accuracy_bits": 551,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 5,
"x": "2logphi"
},
"lower": "36458983062926319464300959227944499013695964669580502653076089592639836762005291113587957137285491907737912679579360903369367520862327237949713309595321494577743800308107829455954138419/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"upper": "36458983062926319464300959227944499013695964669580502653076089592639836762005291113587957137285491907737912679579360903369367520862327237949713309595321494577743800308107829455954138507/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"ball": "[0.00418964517330149329254670919254152655750257188951220806000224853475467722302351985608665639888161989774295975561679637688259808593249340624992917059797001221356722376214519249246927455 +/- 7.37e-186]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 5,
"x": "2logsilver"
},
"lower": "-55345688389327456846085102232575064410050553197801389921760784309107078843339450658014718595815392403938155558988646269012091329231571850157956630348274973867009039999616433668630997565/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-55345688389327456846085102232575064410050553197801389921760784309107078843339450658014718595815392403938155558988646269012091329231571850157956630348274973867009039997845733512800594493/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.8140788201735491001220774143547704159038155891655978802661962878884235330202842130978298988392160270400183609224478688075429098994829208299148118248951612388447118930 +/- 5.09e-167]",
"accuracy_bits": 553,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 6,
"x": "2logphi"
},
"lower": "-43015005451387120838304074661061125716043307167982758268864950956865294669366718454882870964712186041600995827779449567751072513155941038205253467163318807155373129856917356757736904183/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"upper": "-43015005451387120838304074661061125716043307167982758268864950956865294669366718454882870964712186041600995827779449567751072513155941038205253467163318807155373129856917356757736904065/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"ball": "[-0.0049430234973338449096137981209768931500548378379192733976297469017997651157975892383598311324441197249060294857668648813314882809023307312330540109454181754969481071933126283521250156 +/- 5.08e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 6,
"x": "2logsilver"
},
"lower": "-19277972843020120660792109968972860729767760325866003118404187829291164605519204884693130135467602379632132031957103954911273718071401471235870362669135748651155590747953006904771408483/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-19277972843020120660792109968972860729767760325866003118404187829291164605519204884693130135467602379632132031957103954911273718071401471235870362669135748651155590747827325508024070755/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-2.26847508365762268568965313620924035363097234142184620026190669112154217002452537742450914308878287441036905926375626578569251294401043001098838665552653172774547296384 +/- 8.71e-168]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 7,
"x": "2logphi"
},
"lower": "13273673329510590433548327357639760949120596645098789783217270048212631392820961023920729690699231128046051721549718312888290776091330063475746515590108171014085692469174250274459625399/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "26547346659021180867096654715279521898241193290197579566434540096425262785641922047841459381398462256092103443099436625776581552182660126951493031180216342028171384938348500548919250855/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[0.0122026401671119357236376562710574188978988172668214116642542945411386015293967063609902596326100630789126545002660249254737838889932415437391831618489086500483542213751660300999484411 +/- 4.07e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 9,
"k": 7,
"x": "2logsilver"
},
"lower": "-6725286102015056902978094087953994478328677457836715992765244493240767266887263198428036730351968241787544007771343075224656387609320311233024661173979194613594978476782154221988537719/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-6725286102015056902978094087953994478328677457836715992765244493240767266887263198428036730351968241787544007771343075224656387609320311233024661173979194613594978476775067891475342711/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-6.33101584990094815888759123675244206919554064087369902917996198525918590862354937225088772808820307144984234364982205567596692944923101999257872826696196906010237951476 +/- 3.62e-168]",
"accuracy_bits": 558,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 0,
"x": "2logphi"
},
"lower": "11763851763025591447314830223983517986537959809508861327041818016421186627362004077905240688688223913642172648156404343080160421934909495728818940274001179148164239602315738930657537503/32418090381882757488378186435087196492284736189394038281216072888208225089163344893747711319899248392876545989150787415487462117776654494592866209641515341305165482839074293153792",
"upper": "5881925881512795723657415111991758993268979904754430663520909008210593313681002038952620344344111956821086324078202171540080210967454747864409470137000589574082119801157869465328768755/16209045190941378744189093217543598246142368094697019140608036444104112544581672446873855659949624196438272994575393707743731058888327247296433104820757670652582741419537146576896",
"ball": "[362879.232689164273179263553179571636126925117262164903537685238432155140571707401636285864113895545303922129680509298413746531610449637951163509336645131928992064336442747761464807643 +/- 3.10e-178]",
"accuracy_bits": 609,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 0,
"x": "2logsilver"
},
"lower": "47055406597780529903206111017696026897978967882950014608069555635926971057391957891970458381272360568260104147359851450383476517406201277913637460012220580716166931015081160231230782261/129672361527531029953512745740348785969138944757576153124864291552832900356653379574990845279596993571506183956603149661949848471106617978371464838566061365220661931356297172615168",
"upper": "47055406597780529903206111017696026897978967882950014608069555635926971057391957891970458381272360568260104147359851450383476517406201277913637460012220580716166931015308681493761637173/129672361527531029953512745740348785969138944757576153124864291552832900356653379574990845279596993571506183956603149661949848471106617978371464838566061365220661931356297172615168",
"ball": "[362879.22918555077733346512697773320804071843937107800338681719673569264832558157000836507549882507362182173580137951882819226624598163805227389033808894737063183191283 +/- 3.41e-162]",
"accuracy_bits": 556,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 1,
"x": "2logphi"
},
"lower": "-10453392765956893169371554068151242119494812467723309170442576094163592355802359785326074750255249569005786230120819251709874901792266692750235977786261444953579320877615668932335475351/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"upper": "-10453392765956893169371554068151242119494812467723309170442576094163592355802359785326074750255249569005786230120819251709874901792266692750235977786261444953579320877615668932335475339/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032",
"ball": "[-78.7244965137571896083572855712482012904018880640291197865197387147862660799923018533159717821481790925193828613381377150421740705717621735063097072691397930868041927222652094182964536 +/- 4.49e-182]",
"accuracy_bits": 608,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 1,
"x": "2logsilver"
},
"lower": "-41818537882736732544322021574069609869079368328927341821707886811543019878872232869931666443985441593645212622623561186777849082183773661055987705158458260023163492005807722251945086549/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"upper": "-41818537882736732544322021574069609869079368328927341821707886811543019878872232869931666443985441593645212622623561186777849082183773661055987705158458260023163492002442602572231577173/531137992816767098689588206552468627329593117727031923199444138200403559860852242739162502265229285668889329486246501015346579337652707239409519978766587351943831270835393219031728128",
"ball": "[-78.73384779153496538986494875614082880061047186287516838195865867264542404008235616912176355334737429514735651646201511673697178091767600633746788653078968063111331683 +/- 6.38e-165]",
"accuracy_bits": 552,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 2,
"x": "2logphi"
},
"lower": "52044777301637043954486521286962980050725287014958366124466843057006483765322464784021020306444425202016285618031889298127843592957415924578671508939462870645849633707763330092335751061/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "52044777301637043954486521286962980050725287014958366124466843057006483765322464784021020306444425202016285618031889298127843592957415924578671508939462870645849633707763330092335751149/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[0.765525773279240663095019311759871963878025939116259915881326226026853447144793915207966436782357032215309448992168588637415215199188817861086556011490467216927129564111215240050630011 +/- 8.66e-184]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 2,
"x": "2logsilver"
},
"lower": "25171441584591698520297471556316032229577100538695192652904319993198260489066807091692249851704379736340681676015122418286348377145593533133495446740796122202034551936260400916409611421/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "25171441584591698520297471556316032229577100538695192652904319993198260489066807091692249851704379736340681676015122418286348377145593533133495446740796122202034551958001609275242706077/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[0.740492640478324630588983475929927683756628280931248608630569363569238365199459960383158591503641995560728692353820510627888749573285902586621200250025116016088667975 +/- 6.89e-166]",
"accuracy_bits": 548,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 3,
"x": "2logphi"
},
"lower": "-47123765636341263566262920670023359666604997363037490570271861601681667458273750849769324210947360770970963039801262862001356973826709602500031705343814093368326952857543522129167111565/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"upper": "-47123765636341263566262920670023359666604997363037490570271861601681667458273750849769324210947360770970963039801262862001356973826709602500031705343814093368326952857543522129167111467/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144",
"ball": "[-0.0433214183523069244536035924450651408439839305199843444510918547420018460438693321471898416005770979916687793080860256204941229259341775772596791850895409895371430055497250243538870738 +/- 5.64e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 3,
"x": "2logsilver"
},
"lower": "-60134614126064667250866050732237022214816528287012882698962576048313765393189819332445513317912049264722659854484826724495427362365519912510872980939094026074030024083873781460154827487/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"upper": "-60134614126064667250866050732237022214816528287012882698962576048313765393189819332445513317912049264722659854484826724495427362365519912510872980939094026074030023971408803598703117023/543885304644369509058138323509727874385503352552480689356230797517213245297512696564902402319594788524942673393916417039714897241756372213155348458256985448390483221335442656288489603072",
"ball": "[-0.110564881258163263399137604972858962512760158141953456293910827318044384094083683258188900364928996922542175772128043212332816482681500430449667860993260153124880494 +/- 2.96e-166]",
"accuracy_bits": 547,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 4,
"x": "2logphi"
},
"lower": "32189197496725442529788688613621260090728912324020062683861189197222062178748534209905530402292038971225280356519094007448267392461372113599314661987244997998890601773188850332482482695/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"upper": "32189197496725442529788688613621260090728912324020062683861189197222062178748534209905530402292038971225280356519094007448267392461372113599314661987244997998890601773188850332482482771/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"ball": "[0.0073979746331289933766066524173206250208993067649394768602440729535474620579295833241705728046398852465038121874892488584561866210787114569548271115138952649119810929711012744463821603 +/- 3.26e-185]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 4,
"x": "2logsilver"
},
"lower": "-23653554117523099411047756004303139908231907643227705252966942364357051522644059916591659947185925360483490037117388500699541228252724008797446616048803258978534295682337546682133077157/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"upper": "-23653554117523099411047756004303139908231907643227705252966942364357051522644059916591659947185925360483490037117388500699541228252724008797446616048803258978534295668264670034199010469/135971326161092377264534580877431968596375838138120172339057699379303311324378174141225600579898697131235668348479104259928724310439093053288837114564246362097620805333860664072122400768",
"ball": "[-0.1739598692263947659724982818667037211293491661836708132703596091565171303075017913780378553475827186407572234492330443753098755493825147458890478496877580176959272511 +/- 5.23e-167]",
"accuracy_bits": 549,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 5,
"x": "2logphi"
},
"lower": "-12452604671994325819479115553140561131329117176901901762131318541900478949257778834023524309987155003431084078876847788627202071295768582419439430912514097645996700413038955319185530259/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"upper": "-6226302335997162909739557776570280565664558588450950881065659270950239474628889417011762154993577501715542039438423894313601035647884291209719715456257048822998350206519477659592765113/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[-0.00286195558274384595917678858834574312405466267133195676671163960188146642542104236588885009962686591545120196614667670200778079814297994768903599864838239859613987730471475626639297335 +/- 7.62e-186]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 5,
"x": "2logsilver"
},
"lower": "-33609604541395361171856191693605804456297806917074399341086065471362148038661367941591385487057984176176544079105467825519172667534828471592979836394211859108206626129029727888249331611/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"upper": "-33609604541395361171856191693605804456297806917074399341086065471362148038661367941591385487057984176176544079105467825519172667534828471592979836394211859108206626124854778153346408347/67985663080546188632267290438715984298187919069060086169528849689651655662189087070612800289949348565617834174239552129964362155219546526644418557282123181048810402666930332036061200384",
"ball": "[-0.4943631203769579481064629070949917172428467629605506656391245814640183175529894216249539259919498776899188781016231642522843028973193668682162171681402750983679446325 +/- 7.52e-167]",
"accuracy_bits": 551,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 6,
"x": "2logphi"
},
"lower": "38207816776380978045242408571468184719855664000291119840519162305447812922845704834151884130896808241031022834434287987358939211213167450311757976092874958702146351784191460751239401915/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304",
"upper": "38207816776380978045242408571468184719855664000291119840519162305447812922845704834151884130896808241031022834434287987358939211213167450311757976092874958702146351784191460751239402017/17404329748619824289860426352311291980336107281679382059399385520550823849520406290076876874227033232798165548605325345270876711736203910820971150664223534348495463082734165001231667298304",
"ball": "[0.00219530526761083029077522120814328176039111248975755585457258047215631739879104749043167733826756270533413786059393107817394393332501415239091289551863215947769478326725870920109635922 +/- 4.47e-186]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 6,
"x": "2logsilver"
},
"lower": "-45476307906182705213498498995863532939455566196651980978565683172357798787636302410750925806822269535549949102035276817608841086199145207807031255705546995916981660635987487842314856853/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"upper": "-45476307906182705213498498995863532939455566196651980978565683172357798787636302410750925806822269535549949102035276817608841086199145207807031255705546995916981660634689198679186581909/33992831540273094316133645219357992149093959534530043084764424844825827831094543535306400144974674282808917087119776064982181077609773263322209278641061590524405201333465166018030600192",
"ball": "[-1.3378205299639288016416430908749725816167571902453508596918831696703966524913600718189130040417413335664041328850702046781522353654138059216992620368162979961866056803 +/- 6.89e-167]",
"accuracy_bits": 553,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 7,
"x": "2logphi"
},
"lower": "-27848018984245102600726556117096583154333922514226512396318549870890470183200133534217774859538619019297642487421343338101555389530573956020538000879749966143633150464702627922336433515/8702164874309912144930213176155645990168053640839691029699692760275411924760203145038438437113516616399082774302662672635438355868101955410485575332111767174247731541367082500615833649152",
"upper": "-6962004746061275650181639029274145788583480628556628099079637467722617545800033383554443714884654754824410621855335834525388847382643489005134500219937491535908287616175656980584108359/2175541218577478036232553294038911497542013410209922757424923190068852981190050786259609609278379154099770693575665668158859588967025488852621393833027941793561932885341770625153958412288",
"ball": "[-0.00320012541551086967708949119289077018527072473111858303661740289140678067852732438927877778973555237329213952142304800594606173796577454685891317488292024101490255317151553022028387566 +/- 9.21e-186]",
"accuracy_bits": 606,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 7,
"x": "2logsilver"
},
"lower": "-31314892840594966922664162248969485425993419340220314730865592346608557004082167005086810404533662260647607670215945295280166755560521167273000803222681167575249988548684191675052402037/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"upper": "-31314892840594966922664162248969485425993419340220314730865592346608557004082167005086810404533662260647607670215945295280166755560521167273000803222681167575249988548492364879622514037/8498207885068273579033411304839498037273489883632510771191106211206456957773635883826600036243668570702229271779944016245545269402443315830552319660265397631101300333366291504507650048",
"ball": "[-3.6848819497127878089842297955344906078103053371602096906905809574969849059893392435448148003031646493188045482839535678725059671611593658647962086053821100379512016506 +/- 2.22e-167]",
"accuracy_bits": 555,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 8,
"x": "2logphi"
},
"lower": "40427255641686118472701311016768898777566496299810232145209307354671147125863080077862876979748749970338351909830118008211316416116158698937759918436725661365828905104819208857108913999/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"upper": "40427255641686118472701311016768898777566496299810232145209307354671147125863080077862876979748749970338351909830118008211316416116158698937759918436725661365828905104819208857108914101/4351082437154956072465106588077822995084026820419845514849846380137705962380101572519219218556758308199541387151331336317719177934050977705242787666055883587123865770683541250307916824576",
"ball": "[0.0092913099730007192164879784909235425246236802425794045151429393053514175567221849423655028217900347247591855725372665506232522066653620367668169789407312122153618900663979992672131410 +/- 4.50e-185]",
"accuracy_bits": 607,
"native_type": "RealBall"
},
{
"params": {
"n": 10,
"k": 8,
"x": "2logsilver"
},
"lower": "-10851220257609597561089833557088297400251190334498596201500556893403757785496231294272979997439235134466760009265031323137738249104977008257899756813370569781342720339727507815422873373/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"upper": "-10851220257609597561089833557088297400251190334498596201500556893403757785496231294272979997439235134466760009265031323137738249104977008257899756813370569781342720339716404340677005085/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256",
"ball": "[-10.21506689821101749989869480354147269684484351003051507531439507895989909398408412325011265125263748037765832105248787529207514947152980347065644682212566287736635152950 +/- 6.57e-168]",
"accuracy_bits": 558,
"native_type": "RealBall"
}
]