back to table · edit · history · where entries came from · files · download
64477 bytes, as of the version from 2026-11-11 07:57 (current). Recorded here, not run.
[
{
"params": {
"n": 2,
"k": 0,
"x": "logphi"
},
"lower": "8316472421721863689616628700820596456998847230196935282056992132653494973365017092722424705626947783/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1663294484344372737923325740164119291399769446039387056411398426530698994673003418544484941125389557/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.8316472421721863689616628700820596456998847230196935282056992132653494973365017092722424705626947784",
"stored": true
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logphi"
},
"lower": "9869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552231/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "9869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552233/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.9869604401089358618834490999876151135313699407240790626413349376220044822419205243001773403718552232",
"stored": true
},
{
"params": {
"n": 2,
"k": 0,
"x": "2logsilver"
},
"lower": "6885603792371556576720292986960330623610000339861255019932610311364092573515431512581030571477967463/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1377120758474311315344058597392066124722000067972251003986522062272818514703086302516206114295593493/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.6885603792371556576720292986960330623610000339861255019932610311364092573515431512581030571477967464",
"stored": true
},
{
"params": {
"n": 3,
"k": 0,
"x": "logphi"
},
"lower": "-1920558570844575980359306539335704773936491706139814055426056102065234188949998177590788614444768819/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1920558570844575980359306539335704773936491706139814055426056102065234188949998177590788614444768817/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-1.920558570844575980359306539335704773936491706139814055426056102065234188949998177590788614444768818",
"stored": true
},
{
"params": {
"n": 3,
"k": 0,
"x": "2logphi"
},
"lower": "-1991089882371392968230758181371506714228628916274806756183866731846102530925464516611467853641321673/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1991089882371392968230758181371506714228628916274806756183866731846102530925464516611467853641321671/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-1.991089882371392968230758181371506714228628916274806756183866731846102530925464516611467853641321672",
"stored": true
},
{
"params": {
"n": 3,
"k": 0,
"x": "2logsilver"
},
"lower": "-2133836291964733045126740847998276306279356383350715642254543635531027805478607913990540727369073729/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2133836291964733045126740847998276306279356383350715642254543635531027805478607913990540727369073727/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-2.133836291964733045126740847998276306279356383350715642254543635531027805478607913990540727369073728",
"stored": true
},
{
"params": {
"n": 3,
"k": 1,
"x": "2logphi"
},
"lower": "480822761263837714159895264604579996305994516936199552716908622136735282314525236074582349443734103/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2404113806319188570799476323022899981529972584680997763584543110683676411572626180372911747218670517/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.2404113806319188570799476323022899981529972584680997763584543110683676411572626180372911747218670516",
"stored": true
},
{
"params": {
"n": 3,
"k": 1,
"x": "2logsilver"
},
"lower": "-2027971653867127485613947205175517647164536982627038277333890843450460671356801713472345319693650947/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-405594330773425497122789441035103529432907396525407655466778168690092134271360342694469063938730189/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.2027971653867127485613947205175517647164536982627038277333890843450460671356801713472345319693650946",
"stored": true
},
{
"params": {
"n": 4,
"k": 0,
"x": "logphi"
},
"lower": "1488522963537571721755694822427831146239040041308212748743711361455125294055748200020865078876659839/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2977045927075143443511389644855662292478080082616425497487422722910250588111496400041730157753319679/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5.954091854150286887022779289711324584956160165232850994974845445820501176222992800083460315506639357",
"stored": true
},
{
"params": {
"n": 4,
"k": 0,
"x": "2logphi"
},
"lower": "2995477213666831110542553374354090470213672177114396316763407399448950527211337444499941817749220983/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "374434651708353888817819171794261308776709022139299539595425924931118815901417180562492727218652623/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5.990954427333662221085106748708180940427344354228792633526814798897901054422674888999883635498441967",
"stored": true
},
{
"params": {
"n": 4,
"k": 0,
"x": "2logsilver"
},
"lower": "5915236506143167754844778574177040243597185064234240308295572588017845210866340514389589325642086421/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "5915236506143167754844778574177040243597185064234240308295572588017845210866340514389589325642086423/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5.915236506143167754844778574177040243597185064234240308295572588017845210866340514389589325642086422",
"stored": true
},
{
"params": {
"n": 4,
"k": 1,
"x": "2logphi"
},
"lower": "-153172010284389872414038565785080398378044851800761997121556458603056034394946007837476679936141231/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1225376082275118979312308526280643187024358814406095976972451668824448275159568062699813439489129847/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.2450752164550237958624617052561286374048717628812191953944903337648896550319136125399626878978259695",
"stored": true
},
{
"params": {
"n": 4,
"k": 1,
"x": "2logsilver"
},
"lower": "-291325445551144308862450601365906492741413198087475427931310777886386997246270559609669763377200807/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-466120712881830894179920962185450388386261116939960684690097244618219195594032895375471621403521291/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.4661207128818308941799209621854503883862611169399606846900972446182191955940328953754716214035212911",
"stored": true
},
{
"params": {
"n": 4,
"k": 2,
"x": "2logphi"
},
"lower": "1035880131109227799385749806249477468593384003349826370025881738402959057376265310749152711185280717/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1035880131109227799385749806249477468593384003349826370025881738402959057376265310749152711185280719/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.1035880131109227799385749806249477468593384003349826370025881738402959057376265310749152711185280718",
"stored": true
},
{
"params": {
"n": 4,
"k": 2,
"x": "2logsilver"
},
"lower": "-5656963978854031797569491107674444693840882395568473817233017422476954798083550983375992794764510231/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-5656963978854031797569491107674444693840882395568473817233017422476954798083550983375992794764510229/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.5656963978854031797569491107674444693840882395568473817233017422476954798083550983375992794764510230",
"stored": true
},
{
"params": {
"n": 5,
"k": 0,
"x": "logphi"
},
"lower": "-599175922938978553457370729921124171697959524875842702499916412458126156285607548751230176418937787/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1198351845877957106914741459842248343395919049751685404999832824916252312571215097502460352837875573/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-23.96703691755914213829482919684496686791838099503370809999665649832504625142430195004920705675751147",
"stored": true
},
{
"params": {
"n": 5,
"k": 0,
"x": "2logphi"
},
"lower": "-149923923437252296188005418370844940629884887500921481032418236878187425604736337582063923312184733/6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1199391387498018369504043346966759525039079100007371848259345895025499404837890700656511386497477863/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-23.98782774996036739008086693933519050078158200014743696518691790050998809675781401313022772994955727",
"stored": true
},
{
"params": {
"n": 5,
"k": 0,
"x": "2logsilver"
},
"lower": "-2403037054035826138494263678343550627602321602349952895745467733775141688577711715883358932178540907/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-480607410807165227698852735668710125520464320469990579149093546755028337715542343176671786435708181/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-24.03037054035826138494263678343550627602321602349952895745467733775141688577711715883358932178540906",
"stored": true
},
{
"params": {
"n": 5,
"k": 1,
"x": "2logphi"
},
"lower": "1856192336327335868930697667108384243095602024643872793399236612558390446444148762940180591418785299/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "18561923363273358689306976671083842430956020246438727933992366125583904464441487629401805914187853/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.3712384672654671737861395334216768486191204049287745586798473225116780892888297525880361182837570599",
"stored": true
},
{
"params": {
"n": 5,
"k": 1,
"x": "2logsilver"
},
"lower": "2510174008484959781125374477621693612970577267001533149035925103942885996256772604064229409523434007/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2510174008484959781125374477621693612970577267001533149035925103942885996256772604064229409523434009/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.2510174008484959781125374477621693612970577267001533149035925103942885996256772604064229409523434008",
"stored": true
},
{
"params": {
"n": 5,
"k": 2,
"x": "2logphi"
},
"lower": "-709784697578087043760088449629446658122650400246615475672290380366088771596090340657599149297902237/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-221807717993152201175027640509202080663328250077067336147590743864402741123778231455499734155594449/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.07097846975780870437600884496294466581226504002466154756722903803660887715960903406575991492979022369",
"stored": true
},
{
"params": {
"n": 5,
"k": 2,
"x": "2logsilver"
},
"lower": "-833976634394814115914274328796390308703033544282317829311587489070659277357056892908288500824421859/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-4169883171974070579571371643981951543515167721411589146557937445353296386785284464541442504122109293/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.4169883171974070579571371643981951543515167721411589146557937445353296386785284464541442504122109294",
"stored": true
},
{
"params": {
"n": 5,
"k": 3,
"x": "2logphi"
},
"lower": "5635021092254895548199207679907508608731180763021678659351978144719442201928257319033614936053741189/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "5635021092254895548199207679907508608731180763021678659351978144719442201928257319033614936053741191/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.05635021092254895548199207679907508608731180763021678659351978144719442201928257319033614936053741190",
"stored": true
},
{
"params": {
"n": 5,
"k": 3,
"x": "2logsilver"
},
"lower": "-4846578771402842973602736843746889530352575030595212901658838160306737726961056722904531350003831429/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1211644692850710743400684210936722382588143757648803225414709540076684431740264180726132837500957857/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.9693157542805685947205473687493779060705150061190425803317676320613475453922113445809062700007662857",
"stored": true
},
{
"params": {
"n": 6,
"k": 0,
"x": "logphi"
},
"lower": "299918254888930765546802488950913301960811473571285984490105620714903988931974774549711430139406239/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "599836509777861531093604977901826603921622947142571968980211241429807977863949549099422860278812479/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "119.9673019555723062187209955803653207843245894285143937960422482859615955727899098198845720557624957",
"stored": true
},
{
"params": {
"n": 6,
"k": 0,
"x": "2logphi"
},
"lower": "599897995570383774808926402200949630147588817355339183956643738208986288883981520941459820968270161/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "299948997785191887404463201100474815073794408677669591978321869104493144441990760470729910484135081/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "119.9795991140767549617852804401899260295177634710678367913287476417972577767963041882919641936540323",
"stored": true
},
{
"params": {
"n": 6,
"k": 0,
"x": "2logsilver"
},
"lower": "29988699253672015437056124354192460415714438232674506871518004049825517204973640968006698598947159/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "599773985073440308741122487083849208314288764653490137430360080996510344099472819360133971978943181/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "119.9547970146880617482244974167698416628577529306980274860720161993020688198945638720267943957886361",
"stored": true
},
{
"params": {
"n": 6,
"k": 1,
"x": "2logphi"
},
"lower": "-1865479371381862206162572731811743436888614140260710187961772100365193059956668612668380667727348601/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-3730958742763724412325145463623486873777228280521420375923544200730386119913337225336761335454697201/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.7461917485527448824650290927246973747554456561042840751847088401460772239826674450673522670909394403",
"stored": true
},
{
"params": {
"n": 6,
"k": 1,
"x": "2logsilver"
},
"lower": "-4074415238541639741758309944283883738019040263839228650644278485731447793972565359541446137487918517/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1018603809635409935439577486070970934504760065959807162661069621432861948493141339885361534371979629/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.8148830477083279483516619888567767476038080527678457301288556971462895587945130719082892274975837033",
"stored": true
},
{
"params": {
"n": 6,
"k": 2,
"x": "2logphi"
},
"lower": "7217812101045059169243780659423267293022775068444960651637610957743570625749114535983681149591197397/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "7217812101045059169243780659423267293022775068444960651637610957743570625749114535983681149591197399/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.07217812101045059169243780659423267293022775068444960651637610957743570625749114535983681149591197398",
"stored": true
},
{
"params": {
"n": 6,
"k": 2,
"x": "2logsilver"
},
"lower": "-1201610646943565173591955726309151732585703538383183285341367068264648654905515344658204817602270589/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1201610646943565173591955726309151732585703538383183285341367068264648654905515344658204817602270587/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.1201610646943565173591955726309151732585703538383183285341367068264648654905515344658204817602270588",
"stored": true
},
{
"params": {
"n": 6,
"k": 3,
"x": "2logphi"
},
"lower": "-582782616908902253221689161078209840198178124847623278623582769408877209191702870345054541375158997/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2913913084544511266108445805391049200990890624238116393117913847044386045958514351725272706875794983/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.02913913084544511266108445805391049200990890624238116393117913847044386045958514351725272706875794984",
"stored": true
},
{
"params": {
"n": 6,
"k": 3,
"x": "2logsilver"
},
"lower": "-1439970234903314014244328199723274810909777775591720803580731434058318964609499512823922698013855627/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2879940469806628028488656399446549621819555551183441607161462868116637929218999025647845396027711253/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.5759880939613256056977312798893099243639111102366883214322925736233275858437998051295690792055422507",
"stored": true
},
{
"params": {
"n": 6,
"k": 4,
"x": "2logphi"
},
"lower": "3482823759404336066830207968506789519067689562077743363797893061348368090558626742046699928487620241/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3482823759404336066830207968506789519067689562077743363797893061348368090558626742046699928487620243/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.03482823759404336066830207968506789519067689562077743363797893061348368090558626742046699928487620242",
"stored": true
},
{
"params": {
"n": 6,
"k": 4,
"x": "2logsilver"
},
"lower": "-194688040544783501263537110006708914679895344462846250942820168707606125241545851911396125901045417/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-778752162179134005054148440026835658719581377851385003771280674830424500966183407645584503604181667/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-1.557504324358268010108296880053671317439162755702770007542561349660849001932366815291169007208363335",
"stored": true
},
{
"params": {
"n": 7,
"k": 0,
"x": "logphi"
},
"lower": "-7199515467796277676055028434632198949376790915111168512655026830972305592317266606799615606481940447/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1439903093559255535211005686926439789875358183022233702531005366194461118463453321359923121296388089/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-719.9515467796277676055028434632198949376790915111168512655026830972305592317266606799615606481940446",
"stored": true
},
{
"params": {
"n": 7,
"k": 0,
"x": "2logphi"
},
"lower": "-7199590596202139214466857093815071116187750488057438630452200425028482207018652522897532957864256777/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-287983623848085568578674283752602844647510019522297545218088017001139288280746100915901318314570271/400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-719.9590596202139214466857093815071116187750488057438630452200425028482207018652522897532957864256776",
"stored": true
},
{
"params": {
"n": 7,
"k": 0,
"x": "2logsilver"
},
"lower": "-7199738965971572269405645457924176495896131583132926120837652277033395806276534146396028407706548941/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-7199738965971572269405645457924176495896131583132926120837652277033395806276534146396028407706548939/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-719.9738965971572269405645457924176495896131583132926120837652277033395806276534146396028407706548940",
"stored": true
},
{
"params": {
"n": 7,
"k": 1,
"x": "2logphi"
},
"lower": "233774978602766521025632667291646803092090246020813535902088256316714989012570311122340965147504343/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "935099914411066084102530669166587212368360984083254143608353025266859956050281244489363860590017373/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "1.870199828822132168205061338333174424736721968166508287216706050533719912100562488978727721180034745",
"stored": true
},
{
"params": {
"n": 7,
"k": 1,
"x": "2logsilver"
},
"lower": "114354136239310508435351469450531300740179865408017145319713303166907342637120484531033038908647003/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "36593323596579362699312470224170016236857556930565486502308257013410349643878555049930572450767041/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "1.829666179828968134965623511208500811842877846528274325115412850670517482193927752496528622538352049",
"stored": true
},
{
"params": {
"n": 7,
"k": 2,
"x": "2logphi"
},
"lower": "-1944517628613188641124918715558373422546907187827235954598270115358832501729599247821426584761645661/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-9722588143065943205624593577791867112734535939136179772991350576794162508647996239107132923808228303/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.09722588143065943205624593577791867112734535939136179772991350576794162508647996239107132923808228304",
"stored": true
},
{
"params": {
"n": 7,
"k": 2,
"x": "2logsilver"
},
"lower": "-208767147131061717093397396729003384481661469026992326237324308906178756878217650180957721951346601/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-260958933913827146366746745911254230602076836283740407796655386132723446097772062726197152439183251/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.2087671471310617170933973967290033844816614690269923262373243089061787568782176501809577219513466009",
"stored": true
},
{
"params": {
"n": 7,
"k": 3,
"x": "2logphi"
},
"lower": "2235822126444696699747966318839605598315300776045682433901318839840920165202925036951698424154233947/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2235822126444696699747966318839605598315300776045682433901318839840920165202925036951698424154233949/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.02235822126444696699747966318839605598315300776045682433901318839840920165202925036951698424154233948",
"stored": true
},
{
"params": {
"n": 7,
"k": 3,
"x": "2logsilver"
},
"lower": "-2874664562894984464751896241415333896110887990336814132478143044427942749678600135783771157641024519/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2874664562894984464751896241415333896110887990336814132478143044427942749678600135783771157641024517/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.2874664562894984464751896241415333896110887990336814132478143044427942749678600135783771157641024518",
"stored": true
},
{
"params": {
"n": 7,
"k": 4,
"x": "2logphi"
},
"lower": "-180966853582211347398301498268311471915737040054114739612631126721835324725402720353821954719876207/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-723867414328845389593205993073245887662948160216458958450524506887341298901610881415287818879504827/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.01447734828657690779186411986146491775325896320432917916901049013774682597803221762830575637759009655",
"stored": true
},
{
"params": {
"n": 7,
"k": 4,
"x": "2logsilver"
},
"lower": "-1772280621562380559418719174872932449672208868213382578672122027920251706012002225974592748893037773/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-8861403107811902797093595874364662248361044341066912893360610139601258530060011129872963744465188863/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.8861403107811902797093595874364662248361044341066912893360610139601258530060011129872963744465188864",
"stored": true
},
{
"params": {
"n": 7,
"k": 5,
"x": "2logphi"
},
"lower": "583428868885544412264324793023291581992971123072085450620428865928061344358977969260781439621718703/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1166857737771088824528649586046583163985942246144170901240857731856122688717955938521562879243437407/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.02333715475542177649057299172093166327971884492288341802481715463712245377435911877043125758486874813",
"stored": true
},
{
"params": {
"n": 7,
"k": 5,
"x": "2logsilver"
},
"lower": "-495398079100154041728361882110053683436423530746543776467108311276203833790378839512371814118800133/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2476990395500770208641809410550268417182117653732718882335541556381019168951894197561859070594000663/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-2.476990395500770208641809410550268417182117653732718882335541556381019168951894197561859070594000664",
"stored": true
},
{
"params": {
"n": 8,
"k": 0,
"x": "logphi"
},
"lower": "314993723597351641223241715596268154834406838856222540021161648451425754419588137553971409320222919/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2519949788778813129785933724770145238675254710849780320169293187611406035356705100431771274561783353/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5039.899577557626259571867449540290477350509421699560640338586375222812070713410200863542549123566705",
"stored": true
},
{
"params": {
"n": 8,
"k": 0,
"x": "2logphi"
},
"lower": "100798085526058943220714788089433904425606539804582321981603510864888704110946400842458079772591071/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "314994017268934197564733712779480951330020436889319756192510971452777200346707502632681499289347097/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5039.904276302947161035739404471695221280326990229116099080175543244435205547320042122903988629553551",
"stored": true
},
{
"params": {
"n": 8,
"k": 0,
"x": "2logsilver"
},
"lower": "5039895229950367944726145990084090333441467829243564127097490587522455040590742726859551341318021101/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "5039895229950367944726145990084090333441467829243564127097490587522455040590742726859551341318021103/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "5039.895229950367944726145990084090333441467829243564127097490587522455040590742726859551341318021102",
"stored": true
},
{
"params": {
"n": 8,
"k": 1,
"x": "2logphi"
},
"lower": "-5617759170384834128028423876895963012426441562604387710525902195718360985803499128488555302056107511/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-5617759170384834128028423876895963012426441562604387710525902195718360985803499128488555302056107509/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-5.617759170384834128028423876895963012426441562604387710525902195718360985803499128488555302056107510",
"stored": true
},
{
"params": {
"n": 8,
"k": 1,
"x": "2logsilver"
},
"lower": "-5642229564593522565019253800131257419461929563656597754623822965399364588723083318918732757453200853/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-5642229564593522565019253800131257419461929563656597754623822965399364588723083318918732757453200851/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-5.642229564593522565019253800131257419461929563656597754623822965399364588723083318918732757453200852",
"stored": true
},
{
"params": {
"n": 8,
"k": 2,
"x": "2logphi"
},
"lower": "163052799213861947275382505478839317995827048981248855495787343368856986228854761303550704733413521/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "407631998034654868188456263697098294989567622453122138739468358422142465572136903258876761833533803/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.1630527992138619472753825054788393179958270489812488554957873433688569862288547613035507047334135211",
"stored": true
},
{
"params": {
"n": 8,
"k": 2,
"x": "2logsilver"
},
"lower": "4825935945549446059909165531463635506538029847076838784476498810996505253093243711715992210912679927/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "603241993193680757488645691432954438317253730884604848059562351374563156636655463964499026364084991/6250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.09651871891098892119818331062927271013076059694153677568952997621993010506186487423431984421825359855",
"stored": true
},
{
"params": {
"n": 8,
"k": 3,
"x": "2logphi"
},
"lower": "-2270564158077967813732695492040561694511622579926233801045472229069185735292069566682679009421907421/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2270564158077967813732695492040561694511622579926233801045472229069185735292069566682679009421907419/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.02270564158077967813732695492040561694511622579926233801045472229069185735292069566682679009421907420",
"stored": true
},
{
"params": {
"n": 8,
"k": 3,
"x": "2logsilver"
},
"lower": "-1023774724150871055469189648918050586658172054932548084551464886776513251026219324746038467628194979/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-511887362075435527734594824459025293329086027466274042275732443388256625513109662373019233814097489/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.2047549448301742110938379297836101173316344109865096169102929773553026502052438649492076935256389957",
"stored": true
},
{
"params": {
"n": 8,
"k": 4,
"x": "2logphi"
},
"lower": "4465886539946910649076416584963646574519115333060775091841710227812220198054316007471744311300864359/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "111647163498672766226910414624091164362977883326519377296042755695305504951357900186793607782521609/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.008931773079893821298152833169927293149038230666121550183683420455624440396108632014943488622601728719",
"stored": true
},
{
"params": {
"n": 8,
"k": 4,
"x": "2logsilver"
},
"lower": "-4931989956398286782469617008719150789498108565640894917278719022577779915026935844260119803994975079/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-4931989956398286782469617008719150789498108565640894917278719022577779915026935844260119803994975077/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.4931989956398286782469617008719150789498108565640894917278719022577779915026935844260119803994975078",
"stored": true
},
{
"params": {
"n": 8,
"k": 5,
"x": "2logphi"
},
"lower": "-1622941504335148380217433684313398136274533690570851922897401207792293624248047645352888809994992779/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-8114707521675741901087168421566990681372668452854259614487006038961468121240238226764444049974963893/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.008114707521675741901087168421566990681372668452854259614487006038961468121240238226764444049974963894",
"stored": true
},
{
"params": {
"n": 8,
"k": 5,
"x": "2logsilver"
},
"lower": "-704031705688925298205290575987881599876203260925508306158453652626874125025967546074315354039259699/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-352015852844462649102645287993940799938101630462754153079226826313437062512983773037157677019629849/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-1.408063411377850596410581151975763199752406521851016612316907305253748250051935092148630708078519397",
"stored": true
},
{
"params": {
"n": 8,
"k": 6,
"x": "2logphi"
},
"lower": "826709964886781817001875182074822146922402185283189368989247973292218342634063199124120880547730313/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "413354982443390908500937591037411073461201092641594684494623986646109171317031599562060440273865157/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.01653419929773563634003750364149644293844804370566378737978495946584436685268126398248241761095460627",
"stored": true
},
{
"params": {
"n": 8,
"k": 6,
"x": "2logsilver"
},
"lower": "-3948724520344530848586005955021309512381071935830364684142568315110837646223940691903749103426526023/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-3948724520344530848586005955021309512381071935830364684142568315110837646223940691903749103426526021/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-3.948724520344530848586005955021309512381071935830364684142568315110837646223940691903749103426526022",
"stored": true
},
{
"params": {
"n": 9,
"k": 0,
"x": "logphi"
},
"lower": "-2015987071463504897231199731335397861296341671024022967143584510621280608096518826915454322321771359/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1007993535731752448615599865667698930648170835512011483571792255310640304048259413457727161160885679/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-40319.74142927009794462399462670795722592683342048045934287169021242561216193037653830908644643542717",
"stored": true
},
{
"params": {
"n": 9,
"k": 0,
"x": "2logphi"
},
"lower": "-806394888410816797509434209063534640621947117495277607900763996014134991221313954089388264377874783/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-4031974442054083987547171045317673203109735587476388039503819980070674956106569770446941321889373913/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-40319.74442054083987547171045317673203109735587476388039503819980070674956106569770446941321889373914",
"stored": true
},
{
"params": {
"n": 9,
"k": 0,
"x": "2logsilver"
},
"lower": "-80639500035403631249251848621951736395892430616883497293043914240443330345153466545332391868569171/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1007993750442545390615648107774396704948655382711043716163048928005541629314418331816654898357114637/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-40319.75001770181562462592431097586819794621530844174864652195712022166517257673327266619593428458549",
"stored": true
},
{
"params": {
"n": 9,
"k": 1,
"x": "2logphi"
},
"lower": "1967478057031755983704419907129563266816978992022348746227648001194041221042871132749320820043613799/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1967478057031755983704419907129563266816978992022348746227648001194041221042871132749320820043613801/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "19.67478057031755983704419907129563266816978992022348746227648001194041221042871132749320820043613800",
"stored": true
},
{
"params": {
"n": 9,
"k": 1,
"x": "2logsilver"
},
"lower": "491493835830954063958090868559839846407193963119951020152592857226583693273968757143661713267922703/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "982987671661908127916181737119679692814387926239902040305185714453167386547937514287323426535845407/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "19.65975343323816255832363474239359385628775852479804080610371428906334773095875028574646853071690813",
"stored": true
},
{
"params": {
"n": 9,
"k": 2,
"x": "2logphi"
},
"lower": "-3273359904593985059231485866275328514596091613236705995023983050458386175487355954528954555465180803/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-3273359904593985059231485866275328514596091613236705995023983050458386175487355954528954555465180801/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.3273359904593985059231485866275328514596091613236705995023983050458386175487355954528954555465180802",
"stored": true
},
{
"params": {
"n": 9,
"k": 2,
"x": "2logsilver"
},
"lower": "-735671346173211616270695988304299826153938421182298625864506839270179059470445465745267559729768001/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-3678356730866058081353479941521499130769692105911493129322534196350895297352227328726337798648840003/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.3678356730866058081353479941521499130769692105911493129322534196350895297352227328726337798648840004",
"stored": true
},
{
"params": {
"n": 9,
"k": 3,
"x": "2logphi"
},
"lower": "2867906335248597199839190841239929403361046722113184888639852191958242491188976141971676846974462907/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "2867906335248597199839190841239929403361046722113184888639852191958242491188976141971676846974462909/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.02867906335248597199839190841239929403361046722113184888639852191958242491188976141971676846974462908",
"stored": true
},
{
"params": {
"n": 9,
"k": 3,
"x": "2logsilver"
},
"lower": "-1012116734543047169058857936030824895368350497664488680788309586615598911089231254877663031415184271/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-4048466938172188676235431744123299581473401990657954723153238346462395644356925019510652125660737083/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.08096933876344377352470863488246599162946803981315909446306476692924791288713850039021304251321474167",
"stored": true
},
{
"params": {
"n": 9,
"k": 4,
"x": "2logphi"
},
"lower": "-7290942679557105533988066539918383129982211726793464765618298413158534566060635971101913254398378021/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-7290942679557105533988066539918383129982211726793464765618298413158534566060635971101913254398378019/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.007290942679557105533988066539918383129982211726793464765618298413158534566060635971101913254398378020",
"stored": true
},
{
"params": {
"n": 9,
"k": 4,
"x": "2logsilver"
},
"lower": "-3057939816052976834896657329690446862976356614928519768295565313283563841678813856239281663327271257/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-611587963210595366979331465938089372595271322985703953659113062656712768335762771247856332665454251/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.3057939816052976834896657329690446862976356614928519768295565313283563841678813856239281663327271256",
"stored": true
},
{
"params": {
"n": 9,
"k": 5,
"x": "2logphi"
},
"lower": "4189645173301493292546709192541526557502571889512208060002248534754677223023519856086656398881619897/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4189645173301493292546709192541526557502571889512208060002248534754677223023519856086656398881619899/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.004189645173301493292546709192541526557502571889512208060002248534754677223023519856086656398881619898",
"stored": true
},
{
"params": {
"n": 9,
"k": 5,
"x": "2logsilver"
},
"lower": "-8140788201735491001220774143547704159038155891655978802661962878884235330202842130978298988392160271/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-8140788201735491001220774143547704159038155891655978802661962878884235330202842130978298988392160269/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.8140788201735491001220774143547704159038155891655978802661962878884235330202842130978298988392160270",
"stored": true
},
{
"params": {
"n": 9,
"k": 6,
"x": "2logphi"
},
"lower": "-2471511748666922454806899060488446575027418918959636698814873450899882557898794619179915566222059863/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1235755874333461227403449530244223287513709459479818349407436725449941278949397309589957783111029931/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.004943023497333844909613798120976893150054837837919273397629746901799765115797589238359831132444119725",
"stored": true
},
{
"params": {
"n": 9,
"k": 6,
"x": "2logsilver"
},
"lower": "-18147800669260981485517225089673922829047778731374769602095253528972337360196203019396073144710263/8000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2268475083657622685689653136209240353630972341421846200261906691121542170024525377424509143088782873/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-2.268475083657622685689653136209240353630972341421846200261906691121542170024525377424509143088782874",
"stored": true
},
{
"params": {
"n": 9,
"k": 7,
"x": "2logphi"
},
"lower": "1220264016711193572363765627105741889789881726682141166425429454113860152939670636099025963261006307/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1220264016711193572363765627105741889789881726682141166425429454113860152939670636099025963261006309/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.01220264016711193572363765627105741889789881726682141166425429454113860152939670636099025963261006308",
"stored": true
},
{
"params": {
"n": 9,
"k": 7,
"x": "2logsilver"
},
"lower": "-98922122654702314982618613074256907331180322513651547330936906019674779822242958941420120751378173/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-633101584990094815888759123675244206919554064087369902917996198525918590862354937225088772808820307/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-6.331015849900948158887591236752442069195540640873699029179961985259185908623549372250887728088203071",
"stored": true
},
{
"params": {
"n": 10,
"k": 0,
"x": "2logphi"
},
"lower": "907198081722910682948158882948929090317312793155412258844213096080387851429268504090714660284738863/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1814396163445821365896317765897858180634625586310824517688426192160775702858537008181429320569477727/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "362879.2326891642731792635531795716361269251172621649035376852384321551405717074016362858641138955453",
"stored": true
},
{
"params": {
"n": 10,
"k": 0,
"x": "2logsilver"
},
"lower": "725758458371101554666930253955466416081436878742156006773634393471385296651163140016730150997650147/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "3628792291855507773334651269777332080407184393710780033868171967356926483255815700083650754988250737/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "362879.2291855507773334651269777332080407184393710780033868171967356926483255815700083650754988250736",
"stored": true
},
{
"params": {
"n": 10,
"k": 1,
"x": "2logphi"
},
"lower": "-787244965137571896083572855712482012904018880640291197865197387147862660799923018533159717821481791/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1968112412843929740208932139281205032260047201600727994662993467869656651999807546332899294553704477/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-78.72449651375718960835728557124820129040188806402911978651973871478626607999230185331597178214817909",
"stored": true
},
{
"params": {
"n": 10,
"k": 1,
"x": "2logsilver"
},
"lower": "-7873384779153496538986494875614082880061047186287516838195865867264542404008235616912176355334737431/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-7873384779153496538986494875614082880061047186287516838195865867264542404008235616912176355334737429/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-78.73384779153496538986494875614082880061047186287516838195865867264542404008235616912176355334737430",
"stored": true
},
{
"params": {
"n": 10,
"k": 2,
"x": "2logphi"
},
"lower": "7655257732792406630950193117598719638780259391162599158813262260268534471447939152079664367823570321/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "7655257732792406630950193117598719638780259391162599158813262260268534471447939152079664367823570323/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.7655257732792406630950193117598719638780259391162599158813262260268534471447939152079664367823570322",
"stored": true
},
{
"params": {
"n": 10,
"k": 2,
"x": "2logsilver"
},
"lower": "1480985280956649261177966951859855367513256561862497217261138727138476730398919920766317183007283991/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "7404926404783246305889834759299276837566282809312486086305693635692383651994599603831585915036419957/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.7404926404783246305889834759299276837566282809312486086305693635692383651994599603831585915036419956",
"stored": true
},
{
"params": {
"n": 10,
"k": 3,
"x": "2logphi"
},
"lower": "-21660709176153462226801796222532570421991965259992172225545927371000923021934666073594920800288549/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-2166070917615346222680179622253257042199196525999217222554592737100092302193466607359492080028854899/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.04332141835230692445360359244506514084398393051998434445109185474200184604386933214718984160057709799",
"stored": true
},
{
"params": {
"n": 10,
"k": 3,
"x": "2logsilver"
},
"lower": "-110564881258163263399137604972858962512760158141953456293910827318044384094083683258188900364928997/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-69103050786352039624461003108036851570475098838720910183694267073777740058802302036368062728080623/625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.1105648812581632633991376049728589625127601581419534562939108273180443840940836832581889003649289969",
"stored": true
},
{
"params": {
"n": 10,
"k": 4,
"x": "2logphi"
},
"lower": "3698987316564496688303326208660312510449653382469738430122036476773731028964791662085286402319942623/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "115593353642640521509478944020634765951551668202179325941313639899179094655149739440165200072498207/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.007397974633128993376606652417320625020899306764939476860244072953547462057929583324170572804639885247",
"stored": true
},
{
"params": {
"n": 10,
"k": 4,
"x": "2logsilver"
},
"lower": "-1739598692263947659724982818667037211293491661836708132703596091565171303075017913780378553475827187/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-347919738452789531944996563733407442258698332367341626540719218313034260615003582756075710695165437/2000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.1739598692263947659724982818667037211293491661836708132703596091565171303075017913780378553475827186",
"stored": true
},
{
"params": {
"n": 10,
"k": 5,
"x": "2logphi"
},
"lower": "-715488895685961489794197147086435781013665667832989191677909900470366606355260591472212524906716479/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1430977791371922979588394294172871562027331335665978383355819800940733212710521182944425049813432957/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.002861955582743845959176788588345743124054662671331956766711639601881466425421042365888850099626865915",
"stored": true
},
{
"params": {
"n": 10,
"k": 5,
"x": "2logsilver"
},
"lower": "-2471815601884789740532314535474958586214233814802753328195622907320091587764947108124769629959749389/5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-617953900471197435133078633868739646553558453700688332048905726830022896941236777031192407489937347/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.4943631203769579481064629070949917172428467629605506656391245814640183175529894216249539259919498777",
"stored": true
},
{
"params": {
"n": 10,
"k": 6,
"x": "2logphi"
},
"lower": "137206579225676893173451325508955110024444530609847240910786279509769837424440468151979833641722669/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "1097652633805415145387610604071640880195556244878777927286290236078158699395523745215838669133781353/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.002195305267610830290775221208143281760391112489757555854572580472156317398791047490431677338267562705",
"stored": true
},
{
"params": {
"n": 10,
"k": 6,
"x": "2logsilver"
},
"lower": "-267564105992785760328328618174994516323351438049070171938376633934079330498272014363782600808348267/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1337820529963928801641643090874972581616757190245350859691883169670396652491360071818913004041741333/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-1.337820529963928801641643090874972581616757190245350859691883169670396652491360071818913004041741334",
"stored": true
},
{
"params": {
"n": 10,
"k": 7,
"x": "2logphi"
},
"lower": "-1600062707755434838544745596445385092635362365559291518308701445703390339263662194639388894867776187/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-800031353877717419272372798222692546317681182779645759154350722851695169631831097319694447433888093/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-0.003200125415510869677089491192890770185270724731118583036617402891406780678527324389278777789735552373",
"stored": true
},
{
"params": {
"n": 10,
"k": 7,
"x": "2logsilver"
},
"lower": "-73697638994255756179684595910689812156206106743204193813811619149939698119786784870896296006063293/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-460610243714098476123028724441811325976288167145026211336322619687123113248667405443101850037895581/125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-3.684881949712787808984229795534490607810305337160209690690580957496984905989339243544814800303164649",
"stored": true
},
{
"params": {
"n": 10,
"k": 8,
"x": "2logphi"
},
"lower": "2322827493250179804121994622730885631155920060644851128785734826337854389180546235591375705447508681/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "4645654986500359608243989245461771262311840121289702257571469652675708778361092471182751410895017363/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "0.009291309973000719216487978490923542524623680242579404515142939305351417556722184942365502821790034725",
"stored": true
},
{
"params": {
"n": 10,
"k": 8,
"x": "2logsilver"
},
"lower": "-1021506689821101749989869480354147269684484351003051507531439507895989909398408412325011265125263749/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"upper": "-1021506689821101749989869480354147269684484351003051507531439507895989909398408412325011265125263747/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"number": "-10.21506689821101749989869480354147269684484351003051507531439507895989909398408412325011265125263748",
"stored": true
}
]