{"versions": {"sage": "10.9", "mpmath": "1.4.1", "numberdb": "0.1.10"}}
{"k": "0", "at140": "0", "at190": "0", "relative_agreement_digits": "exact", "seconds": 0.0}
{"k": "1", "at140": "0.22748122301235110789498231452263348524188552152241400897808608387237902038459834073539550228079876033294256200083014056172174585243384629446", "at190": "0.2274812230123511078949823145226334852418855215224140089780860838723790203845983407353955022807987603329425620008301405617217458524338462944600021890934335913222906260491020711892251521654611", "relative_agreement_digits": "143.65974", "seconds": 0.35}
{"k": "-1", "at140": "0.64613189443890102818727302144761278814448368156117403226173694072203022561453968416757521817874278414697458351192487092377534452313481244607", "at190": "0.6461318944389010281872730214476127881444836815611740322617369407220302256145396841675752181787427841469745835119248709237753445231348124460662851542489430771028933836837301459903348140342879", "relative_agreement_digits": "140.43006", "seconds": 0.164}
{"k": "2", "at140": "0.42859453746495886535842555645201551331112459744946308366959542225552484140977666389805972253486400868445054139347151515387194300154789225907", "at190": "0.4285945374649588653584255564520155133111245974494630836695954222555248414097766638980597225348640086844505413934715151538719430015478922590706093059904577584725804745003947602287583368584784", "relative_agreement_digits": "141.21516", "seconds": 0.192}
{"k": "-2", "at140": "1.1987014194020473730317796998522186402381115953124301597701199661204189256236708859018755556434182339998367876169582729971753463749181987563", "at190": "1.198701419402047373031779699852218640238111595312430159770119966120418925623670885901875555643418233999836787616958272997175346374918198756264859728829236845457197458333874009291840363072052", "relative_agreement_digits": "139.53291", "seconds": 0.379}
{"k": "3", "at140": "0.61687093878955194623200520873978984378585875531663608379073328036719263433033320430347967626255285931238457301980040801076525975824447449914", "at190": "0.6168709387895519462320052087397898437858587553166360837907332803671926343303332043034796762625528593123845730198004080107652597582444744991419578123228463499774747874166921962612142526282414", "relative_agreement_digits": "140.70823", "seconds": 0.171}
{"k": "-3", "at140": "1.4959113402049316816434195719972635006758643785218709120770043560739100000420523864906602408519702980950634331897818812824300148301565577389", "at190": "1.495911340204931681643419571997263500675864378521870912077004356073910000042052386490660240851970298095063433189781881282430014830156557738901704154239605369826700979108701486241593976452679", "relative_agreement_digits": "140.9434", "seconds": 0.286}
{"k": "4", "at140": "0.79913427960136491535451979990147909349207439687495343984674664408027928374911392393458370376227882266655785841130551533145023091661213250418", "at190": "0.799134279601364915354519799901479093492074396874953439846746644080279283749113923934583703762278822666557858411305515331450230916612132504176573152552824563638131638889249339527893575381368", "relative_agreement_digits": "140.46511", "seconds": 0.209}
{"k": "-4", "at140": "1.7143781498598354614337022258080620532444983897978523346783816890220993656391066555922388901394560347378021655738860606154877720061915690363", "at190": "1.714378149859835461433702225808062053244498389797852334678381689022099365639106655592238890139456034737802165573886060615487772006191569036282437223961831033890321898001579040915033347433913", "relative_agreement_digits": "139.98951", "seconds": 0.187}
{"k": "5", "at140": "0.98041862444836417681426196840847126159670931921880568864400298914541512669654334793336362990799089181782202297806267609285749939476667442425", "at190": "0.9804186244483641768142619684084712615967093192188056886440029891454151266965433479333636299079908918178220229780626760928574993947666744242467832309551358740577666583243362869778939259629508", "relative_agreement_digits": "140.49258", "seconds": 0.305}
{"k": "-5", "at140": "1.8894000730101975195950040656562929562058630316125590192200698310666154968269843877823819212880522958898656994416569050876213798952892279233", "at190": "1.889400073010197519595004065656292956205863031612559019220069831066615496826984387782381921288052295889865699441656905087621379895289227923304887888160358982366598364653367224192265682572577", "relative_agreement_digits": "140.5872", "seconds": 0.227}
{"k": "6", "at140": "1.1660731299786123022740158586911410411378673870667627058602544410000643249289202824279654778867030961985434218354593846322907448802922841742", "at190": "1.1660731299786123022740158586911410411378673870667627058602544410000643249289202824279654778867030961985434218354593846322907448802922841741645654425417104359288938491460202661874218888762", "relative_agreement_digits": "139.5173", "seconds": 0.211}
{"k": "-6", "at140": "2.0362133832741836586141588076570915434738091988212106531539151955747392600404118231925828971302486654016870604972823321320782820476923759068", "at190": "2.03621338327418365861415880765709154347380919882121065315391519557473926004041182319258289713024866540168706049728233213207828204769237590679890929012530139304174977172301282113020225103635", "relative_agreement_digits": "141.27111", "seconds": 0.168}
{"k": "7", "at140": "1.3648873380741066473698938871358009114513131291344840538685165032342741223075900444123730136847925619976553720049808433703304751146030777668", "at190": "1.364887338074106647369893887135800911451313129134484053868516503234274122307590044412373013684792561997655372004980843370330475114603077766760013134560601547933743756294612427135350912992766", "relative_agreement_digits": "139.53318", "seconds": 0.211}
{"k": "-7", "at140": "2.1630205184345345046818333404032369595876302930068850902043206076528859640572324490037694396084105252542022170595877426679059240326149509346", "at190": "2.163020518434534504681833340403236959587630293006885090204320607652885964057232449003769439608410525254202217059587742667905924032614950934578986183343177545827136366315574417198853706966521", "relative_agreement_digits": "140.01256", "seconds": 0.182}
{"k": "8", "at140": "1.6153297360972525704681825536190319703612092039029350806543423518050755640363492104189380454468569603674364587798121773094383613078370311152", "at190": "1.61532973609725257046818255361903197036120920390293508065434235180507556403634921041893804544685696036743645877981217730943836130783703111516571288562235769275723345920932536497583703508572", "relative_agreement_digits": "139.67313", "seconds": 0.177}
{"k": "-8", "at140": "2.2748122301235110789498231452263348524188552152241400897808608387237902038459834073539550228079876033294256200083014056172174585243384629446", "at190": "2.274812230123511078949823145226334852418855215224140089780860838723790203845983407353955022807987603329425620008301405617217458524338462944600021890934335913222906260491020711892251521654611", "relative_agreement_digits": "143.01668", "seconds": 0.166}
{"k": "9", "at140": "1.8506128163686558386960156262193695313575762659499082513721998411015779029909996129104390287876585779371537190594012240322957792747334234974", "at190": "1.850612816368655838696015626219369531357576265949908251372199841101577902990999612910439028787658577937153719059401224032295779274733423497425873436968539049932424362250076588783642757884724", "relative_agreement_digits": "139.85446", "seconds": 0.26}
{"k": "-9", "at140": "2.3748769046981772286015900741006192041689157413031791508072076455845699329686811187759053062293550687537552777092834655406484930241748473055", "at190": "2.374876904698177228601590074100619204168915741303179150807207645584569932968681118775905306229355068753755277709283465540648493024174847305506481103440913757107385202576521412132584453996653", "relative_agreement_digits": "140.56399", "seconds": 0.175}
{"k": "10", "at140": "2.0140237475191636898061977674649782512476872699232308150969264668785844486455123392858710541221569973394598241595347839598772636723291228945", "at190": "2.014023747519163689806197767464978251247687269923230815096926466878584448645512339285871054122156997339459824159534783959877263672329122894476777402419636260686251628218802480708367812542556", "relative_agreement_digits": "139.93815", "seconds": 0.184}
{"k": "-10", "at140": "2.465507242647176725589822345437549136371909997838926659205663396463757503208932930938668713509488040024141229663597127577389344287675812999", "at190": "2.465507242647176725589822345437549136371909997838926659205663396463757503208932930938668713509488040024141229663597127577389344287675812999003407685193589982945572404107100158423184771419344", "relative_agreement_digits": "140.85945", "seconds": 0.174}
{"k": "11", "at140": "2.1487643375396120103252943925768782889145562762510513142800915680948155204209479988885645262466987320283538685286408012190546216143488906619", "at190": "2.148764337539612010325294392576878288914556276251051314280091568094815520420947998888564526246698732028353868528640801219054621614348890661938858730905161575872537619241274605175570508006475", "relative_agreement_digits": "139.7427", "seconds": 0.195}
{"k": "-11", "at140": "2.5483709920116402254881549130549853229527672628160079681996420327983849561217752433622271134519385541841291397769906795535236269317869733189", "at190": "2.548370992011640225488154913054985322952767262816007968199642032798384956121775243362227113451938554184129139776990679553523626931786973318938997343910523016281891138193851714229130403995143", "relative_agreement_digits": "139.81523", "seconds": 0.189}
{"k": "12", "at140": "2.2649982134930281892319410793670558332211646243175507648927080433682201394110375137954646874405661155434522545288200277426251705497387450844", "at190": "2.264998213493028189231941079367055833221164624317550764892708043368220139411037513795464687440566115543452254528820027742625170549738745084368528571772990066829323131177966876974496384288007", "relative_agreement_digits": "139.85715", "seconds": 0.197}
{"k": "-12", "at140": "2.6247221319831640004249856400758591394267842978327898728606879908671850660773674440920653975884843381740581559846658089486270684328043903997", "at190": "2.624722131983164000424985640075859139426784297832789872860687990867185066077367444092065397588484338174058155984665808948627068432804390399683275902569178991509389397297011489024684442741442", "relative_agreement_digits": "140.19574", "seconds": 0.272}
{"k": "13", "at140": "2.3677900144291085993175913492471379279361709054978048450167854566385321872173159555103392239414474425627600609100245440526555223394459944817", "at190": "2.367790014429108599317591349247137927936170905497804845016785456638532187217315955510339223941447442562760060910024544052655522339445994481672852831636072486399848374078811018193105822057263", "relative_agreement_digits": "139.94062", "seconds": 0.181}
{"k": "-13", "at140": "2.6955289617275925905371493566074962063820674484656715026029986447265786135242300558478584747696425535992609527239824875104864327328564494303", "at190": "2.695528961727592590537149356607496206382067448465671502602998644726578613524230055847858474769642553599260952723982487510486432732856449430260626681526433729853657356535179369240127694584359", "relative_agreement_digits": "139.83544", "seconds": 0.168}
{"k": "14", "at140": "2.4602034202763358989582374671256485195950467663852920660978498560890102680827455395864803391118960622683864825420248033207399638430698647213", "at190": "2.460203420276335898958237467125648519595046766385292066097849856089010268082745539586480339111896062268386482542024803320739963843069864721322997903739847853636761108369197285825868820587639", "relative_agreement_digits": "140.02928", "seconds": 0.18}
{"k": "-14", "at140": "2.7615557397331590127510599249712281907513581148046046388814583776957154812871133529313904225129148473220986713216769057359933035028127998254", "at190": "2.761555739733159012751059924971228190751358114804604638881458377695715481287113352931390422512914847322098671321676905735993303502812799825415572681963607416468785600899045662329483429054087", "relative_agreement_digits": "140.24879", "seconds": 0.167}
{"k": "15", "at140": "2.5442887993808975423541562611047285999593694014220230220749271353127039972188091374226342009671417372859777954082086234943410414523364254339", "at190": "2.544288799380897542354156261104728599959369401422023022074927135312703997218809137422634200967141737285977795408208623494341041452336425433947841351344143207712149985029713749842918847629621", "relative_agreement_digits": "139.72576", "seconds": 0.187}
{"k": "-15", "at140": "2.8234168562071203753976045287601643152309135126440953490663029543877954992754773511595223800598086058796759806122099561613593221744399706242", "at190": "2.823416856207120375397604528760164315230913512644095349066302954387795499275477351159522380059808605879675980612209956161359322174439970624235978341192360673969591487831328688613222340556903", "relative_agreement_digits": "139.89473", "seconds": 0.177}
{"k": "16", "at140": "2.6215080379633064137881683826154529089530996854155094664560293123733042085532719154661263929777384475604943784189538006454861491018736179511", "at190": "2.621508037963306413788168382615452908953099685415509466456029312373304208553271915466126392977738447560494378418953800645486149101873617951122128242178052089371324624553003011586427508858318", "relative_agreement_digits": "140.0736", "seconds": 0.173}
{"k": "-16", "at140": "2.8816140008096531140099409505316902841058165083196037193250988592827402511663328172713868257096439084020955404345845790804683703969919299364", "at190": "2.881614000809653114009940950531690284105816508319603719325098859282740251166332817271386825709643908402095540434584579080468370396991929936369851102274329687098976205978603987601176993304227", "relative_agreement_digits": "139.98036", "seconds": 0.169}
{"k": "4+2*sqrt(5)", "at140": "1.7441199844235086962279744828124836887843720906584902575464836201206597001865782899663980818042968972680831521297158805665987508457728438183", "at190": "1.744119984423508696227974482812483688784372090658490257546483620120659700186578289966398081804296897268083152129715880566598750845772843818279719886246260461018579741260939632503702015554251", "relative_agreement_digits": "139.93451", "seconds": 0.289}
{"k": "4-2*sqrt(5)", "at140": "0.25371571457990359215832501694121404494581390152889334207038299008003850918620651987006117760140015939831149389854790776202682644575748744216", "at190": "0.2537157145799035921583250169412140449458139015288933420703829900800385091862065198700611776014001593983114938985479077620268264457574874421617129951358009480767493559621837163160319228991687", "relative_agreement_digits": "140.76624", "seconds": 0.312}
{"k": "8+4*sqrt(5)", "at140": "2.6891056892456524771014291657234882840766697844420270752462205961610401166240426559982124598463149718696084458481262458017472707749335551324", "at190": "2.689105689245652477101429165723488284076669784442027075246220596161040116624042655998212459846314971869608445848126245801747270774933555132382866619939696358399027843632629925479510455727135", "relative_agreement_digits": "140.19576", "seconds": 0.178}
{"k": "8-4*sqrt(5)", "at140": "0.5834057008831154620757395320381020072008931876343335114119613278404045307534017683889226971189570077398697412284193996147931560501943152397", "at190": "0.5834057008831154620757395320381020072008931876343335114119613278404045307534017683889226971189570077398697412284193996147931560501943152397062943245624453349692658539297638137916594591660615", "relative_agreement_digits": "140.20105", "seconds": 0.378}
