back to table · edit · history · where entries came from · files · download
91968 bytes, as of the version from 2026-10-27 17:40 (current). Recorded here, not run.
{
"table": "T554",
"instruction_manifest": "agents/runs/20261027T171124Z-build-skills/manifest.json",
"skill_sha256": {
"local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"python": "3.12.3"
},
"working_bits": 461,
"digits": 100,
"entry_count": 56,
"minimum_relative_accuracy_bits": 455,
"longest_serialized_value": 102,
"serialized_entries_bytes": 9366,
"arb_serialization_checks": 56,
"BHS_equation_1_5_checks": 28,
"strict_geometry_order_checks": 28,
"square_agm_checks": 2,
"agm_control": "AGM(1,1)=1",
"quadrature_controls": [
{
"dps": 130,
"a": "1",
"b": "1",
"answer": "1.0",
"absolute_error": "0.0"
},
{
"dps": 130,
"a": "1/2",
"b": "1/2",
"answer": "3.14159265358979323846264338328",
"absolute_error": "0.0"
},
{
"dps": 130,
"a": "1/3",
"b": "2/3",
"answer": "3.62759872846843570118815651528",
"absolute_error": "4.5082903e-131"
},
{
"dps": 170,
"a": "1",
"b": "1",
"answer": "1.0",
"absolute_error": "0.0"
},
{
"dps": 170,
"a": "1/2",
"b": "1/2",
"answer": "3.14159265358979323846264338328",
"absolute_error": "0.0"
},
{
"dps": 170,
"a": "1/3",
"b": "2/3",
"answer": "3.62759872846843570118815651528",
"absolute_error": "4.1402108e-171"
}
],
"quadrature": [
{
"geometry": "euclidean",
"n": 3,
"dps": 130,
"value": "0.56604668036315970044967055046297913549407234136551690650073709455079075956930230607783938699239043207759668866",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 4,
"dps": 130,
"value": "0.76275976350181318806232598096361579329262923734807291521707159826442269295625619219546614691202290455021143791",
"relative_difference_from_arb_midpoint": "1.4776246e-131"
},
{
"geometry": "euclidean",
"n": 5,
"dps": 130,
"value": "0.85146227020106040571028285483766250140032491131462115317727098527995383445367590657965902828757532491278242273",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 6,
"dps": 130,
"value": "0.8985430958715868687872100370824071082215485676608521340037788409756387069464986927149822523122311201544873437",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 7,
"dps": 130,
"value": "0.92640452284908128066834917518625626981719855218402740957460968111869838595818687836612486583950193563582635751",
"relative_difference_from_arb_midpoint": "1.2166095e-131"
},
{
"geometry": "euclidean",
"n": 8,
"dps": 130,
"value": "0.94421719478451041845323883074980460674947405018787262000757677865284399321204101287232691918326942542670310217",
"relative_difference_from_arb_midpoint": "1.1936582e-131"
},
{
"geometry": "euclidean",
"n": 9,
"dps": 130,
"value": "0.95628065254479420395918173984681313638488249939034745365871132175672472774848269528824008469961501098935376419",
"relative_difference_from_arb_midpoint": "2.3572004e-131"
},
{
"geometry": "euclidean",
"n": 10,
"dps": 130,
"value": "0.9648226302321035729356323479697867885883181563486882768034001700562682269004118048083412198010816626904327851",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 11,
"dps": 130,
"value": "0.97108934428289400145861816139280798367775088286080420487160641864791506276538602533245446711825711672127388967",
"relative_difference_from_arb_midpoint": "1.1606271e-131"
},
{
"geometry": "euclidean",
"n": 12,
"dps": 130,
"value": "0.97582150937029868699091814663100220532832924547381482185903654670194787781187996277499990163559586034687550774",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 13,
"dps": 130,
"value": "0.97948156101228434328544206483520362365042282976631831223886944562763791104277444709785985289769176850101052796",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 14,
"dps": 130,
"value": "0.98237017863856459274981368286374843525606867434803569615045965163427301624289211017333925482523524775119477915",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 15,
"dps": 130,
"value": "0.98468966417646710268775939170117595638616153594928381882343413692869521923740996440299776745615196880885215194",
"relative_difference_from_arb_midpoint": "1.1445967e-131"
},
{
"geometry": "euclidean",
"n": 16,
"dps": 130,
"value": "0.98658015472611627531601446111351500449268893273390605816203992575960003447892957531947934981426819490462861488",
"relative_difference_from_arb_midpoint": "1.1424035e-131"
},
{
"geometry": "euclidean",
"n": 17,
"dps": 130,
"value": "0.98814119695406145790601531964430718031503448039366144638284561661136589242447920899327033031485414747926645493",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 18,
"dps": 130,
"value": "0.98944507103610572036559246542389933212984045511915546574570835072065507724894400339295605706395812165659211542",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 19,
"dps": 130,
"value": "0.99054528054303417042058630849336227979556192377549750213135651295110281820477626543986039390984973937317430344",
"relative_difference_from_arb_midpoint": "1.1378305e-131"
},
{
"geometry": "euclidean",
"n": 20,
"dps": 130,
"value": "0.99148211253739447127412168903377923207768212783109359354113388486416086282364801772456045858447091390649854855",
"relative_difference_from_arb_midpoint": "1.1367553e-131"
},
{
"geometry": "euclidean",
"n": 21,
"dps": 130,
"value": "0.9922863683596216476836048755635047868613742183257728192300964267496170359119127324301417912202893720783713386",
"relative_difference_from_arb_midpoint": "1.135834e-131"
},
{
"geometry": "euclidean",
"n": 22,
"dps": 130,
"value": "0.99298192167027455576770834743142086160539621043207449590115135706818934900671546914105648874812453258397125286",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 23,
"dps": 130,
"value": "0.99358750672784738258950537399853701344968670059801262651668915320368556897684592715423381425772926072842019451",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 24,
"dps": 130,
"value": "0.99411799059074594272973317160006884023490231960020633979833057833483547097449922424124202433521238692406436092",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 25,
"dps": 130,
"value": "0.99458529263718681545970972239292712926264136217185849973382896516479552673496218997360052493630227049407686092",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 26,
"dps": 130,
"value": "0.99499905883818479909970714447252758756555120908059444626849902293897443558466406763557649341499229829800493572",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 27,
"dps": 130,
"value": "0.99536716276537911876399087341518493876241083280775485646040108848423303321829714276899737692177852075981752084",
"relative_difference_from_arb_midpoint": "1.1323184e-131"
},
{
"geometry": "euclidean",
"n": 28,
"dps": 130,
"value": "0.99569608239711198123715498004988540970392867095846672233571394687180485877070532322695016375525372997606142898",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "euclidean",
"n": 29,
"dps": 130,
"value": "0.99599118669585986472763843205992877979297751366416362169843974346336576260790132486265220907068493111014800488",
"relative_difference_from_arb_midpoint": "1.131609e-131"
},
{
"geometry": "euclidean",
"n": 30,
"dps": 130,
"value": "0.99625695582475911930386711661622287861952487474886291960837857426200756549505995441828247627618433368192983797",
"relative_difference_from_arb_midpoint": "1.1313071e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 3,
"dps": 130,
"value": "0.30750993390991678940847814449063728392962601687552745294083958255665084147873740030736492558536596968416064456",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 4,
"dps": 130,
"value": "0.45694658104446362537496662254768333661176773001483150839436224726748435807080538559873312100885656393157817473",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 5,
"dps": 130,
"value": "0.55018704327730777293646152865779716882286821573130403935756632736029431788778869144655026887119338018921964487",
"relative_difference_from_arb_midpoint": "2.0485262e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 6,
"dps": 130,
"value": "0.61501986781983357881695628898127456785925203375105490588167916511330168295747480061472985117073193936832128912",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 7,
"dps": 130,
"value": "0.66306005739370726661469939959624195210391163763894403609422244402706610964578048650522352796867026086349123489",
"relative_difference_from_arb_midpoint": "1.6998047e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 8,
"dps": 130,
"value": "0.70021867810599153388945508219947348287403341203405620077142455203993010308627642832428426690083688705548809496",
"relative_difference_from_arb_midpoint": "1.6096009e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 9,
"dps": 130,
"value": "0.72987668593697364458387197465268859996554026335392713825074450500139183529848671786471075024959801978192155073",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 10,
"dps": 130,
"value": "0.75412640537602420603534400639908181468185797026580218931065297530655251052639910164273277166794875449584555566",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 11,
"dps": 130,
"value": "0.77433925525744936131274327650310181040842795560066662620895493336842705213775018762700701187119879575984461381",
"relative_difference_from_arb_midpoint": "1.4555282e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 12,
"dps": 130,
"value": "0.79145469471390065952405099845757538739014990317034412062655711057636522514503075768595355488107360355728485698",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 13,
"dps": 130,
"value": "0.80613931796182775048078544672681737132283056223056053784553270638880061945450282422898891999256103498327756158",
"relative_difference_from_arb_midpoint": "1.3981114e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 14,
"dps": 130,
"value": "0.81887993355749372998945503668730701993168159296437997878428549056320335300161595417649973858931455641984422976",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 15,
"dps": 130,
"value": "0.83004072788203305075982343886317357107925818402356520104701837932716307434126293063418360353094861921699967517",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 16,
"dps": 130,
"value": "0.83989979793311587832091920477991404388807089700179187836749301273922983875279695796112417333205064337738201688",
"relative_difference_from_arb_midpoint": "1.3419132e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 17,
"dps": 130,
"value": "0.84867329201219292198832752176619907364573195321711966844973397171693994327572615782416390648998547691679399122",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 18,
"dps": 130,
"value": "0.85653182243016964352986410918432173814296215849045121389248185652566518987562517038376045049879228504133364557",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 19,
"dps": 130,
"value": "0.86361190208968012067821378157968343786453390825296008298731648736837782645874108329498514757970945447169907398",
"relative_difference_from_arb_midpoint": "2.6101368e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 20,
"dps": 130,
"value": "0.87002408689886963817365906610577280430280769145933103639759768799866104015464489002837141353489015070646692042",
"relative_difference_from_arb_midpoint": "1.2954499e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 21,
"dps": 130,
"value": "0.87585888396143209743302447489524514061061601983769917644617206052567914835093471117902895696912204439771731601",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 22,
"dps": 130,
"value": "0.88119111163892756349435152575640560168389595011346336204852986453541896667815466736552307332261800960743851533",
"relative_difference_from_arb_midpoint": "0.0"
},
{
"geometry": "ideal-hyperbolic",
"n": 23,
"dps": 130,
"value": "0.88608316623588071746544527811142204491905620398903386626398660436410580313271939816719112631990434571447558818",
"relative_difference_from_arb_midpoint": "1.2719716e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 24,
"dps": 130,
"value": "0.89058750315265815867616504404360754534039996300943457398052277122493653248321411722203219027849224547139161963",
"relative_difference_from_arb_midpoint": "1.2655383e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 25,
"dps": 130,
"value": "0.89474854489159467199088664179193454981529492852136968612937750844955053006850494922438525496623727026486404319",
"relative_difference_from_arb_midpoint": "1.2596529e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 26,
"dps": 130,
"value": "0.89860416497466155083808021307466136521370210494419494518461720577347697195525171048518653194528225484126655675",
"relative_difference_from_arb_midpoint": "1.2542481e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 27,
"dps": 130,
"value": "0.90218685402653837953391177922683792203174497553407377769115906044731962716700974048811156530371762168103342868",
"relative_difference_from_arb_midpoint": "1.2492674e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 28,
"dps": 130,
"value": "0.90552464484791848281855716426918642481535021917559168490157936426986881765924161291052356261421251875578911354",
"relative_difference_from_arb_midpoint": "1.2446625e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 29,
"dps": 130,
"value": "0.90864185275384400398582328293705759751640746503891778512696476600245955357394555394495002453123876211163063609",
"relative_difference_from_arb_midpoint": "1.2403926e-131"
},
{
"geometry": "ideal-hyperbolic",
"n": 30,
"dps": 130,
"value": "0.91155967289588802965920922875294724836484177401005984329065740317994196569640411389302932867635609112649235537",
"relative_difference_from_arb_midpoint": "1.2364222e-131"
},
{
"geometry": "euclidean",
"n": 3,
"dps": 170,
"value": "0.56604668036315970044967055046297913549407234136551690650073709455079075956930230607783938699239043207759668866",
"relative_difference_from_arb_midpoint": "4.5130586e-140"
},
{
"geometry": "euclidean",
"n": 4,
"dps": 170,
"value": "0.76275976350181318806232598096361579329262923734807291521707159826442269295625619219546614691202290455021143791",
"relative_difference_from_arb_midpoint": "9.5177639e-140"
},
{
"geometry": "euclidean",
"n": 5,
"dps": 170,
"value": "0.85146227020106040571028285483766250140032491131462115317727098527995383445367590657965902828757532491278242273",
"relative_difference_from_arb_midpoint": "1.3784304e-139"
},
{
"geometry": "euclidean",
"n": 6,
"dps": 170,
"value": "0.8985430958715868687872100370824071082215485676608521340037788409756387069464986927149822523122311201544873437",
"relative_difference_from_arb_midpoint": "1.3566141e-139"
},
{
"geometry": "euclidean",
"n": 7,
"dps": 170,
"value": "0.92640452284908128066834917518625626981719855218402740957460968111869838595818687836612486583950193563582635751",
"relative_difference_from_arb_midpoint": "1.5504111e-139"
},
{
"geometry": "euclidean",
"n": 8,
"dps": 170,
"value": "0.94421719478451041845323883074980460674947405018787262000757677865284399321204101287232691918326942542670310217",
"relative_difference_from_arb_midpoint": "3.6419391e-140"
},
{
"geometry": "euclidean",
"n": 9,
"dps": 170,
"value": "0.95628065254479420395918173984681313638488249939034745365871132175672472774848269528824008469961501098935376419",
"relative_difference_from_arb_midpoint": "9.764261e-140"
},
{
"geometry": "euclidean",
"n": 10,
"dps": 170,
"value": "0.9648226302321035729356323479697867885883181563486882768034001700562682269004118048083412198010816626904327851",
"relative_difference_from_arb_midpoint": "5.0823922e-140"
},
{
"geometry": "euclidean",
"n": 11,
"dps": 170,
"value": "0.97108934428289400145861816139280798367775088286080420487160641864791506276538602533245446711825711672127388967",
"relative_difference_from_arb_midpoint": "1.4908827e-139"
},
{
"geometry": "euclidean",
"n": 12,
"dps": 170,
"value": "0.97582150937029868699091814663100220532832924547381482185903654670194787781187996277499990163559586034687550774",
"relative_difference_from_arb_midpoint": "3.668148e-140"
},
{
"geometry": "euclidean",
"n": 13,
"dps": 170,
"value": "0.97948156101228434328544206483520362365042282976631831223886944562763791104277444709785985289769176850101052796",
"relative_difference_from_arb_midpoint": "1.241968e-139"
},
{
"geometry": "euclidean",
"n": 14,
"dps": 170,
"value": "0.98237017863856459274981368286374843525606867434803569615045965163427301624289211017333925482523524775119477915",
"relative_difference_from_arb_midpoint": "1.3598921e-139"
},
{
"geometry": "euclidean",
"n": 15,
"dps": 170,
"value": "0.98468966417646710268775939170117595638616153594928381882343413692869521923740996440299776745615196880885215194",
"relative_difference_from_arb_midpoint": "5.2823531e-140"
},
{
"geometry": "euclidean",
"n": 16,
"dps": 170,
"value": "0.98658015472611627531601446111351500449268893273390605816203992575960003447892957531947934981426819490462861488",
"relative_difference_from_arb_midpoint": "8.9847465e-140"
},
{
"geometry": "euclidean",
"n": 17,
"dps": 170,
"value": "0.98814119695406145790601531964430718031503448039366144638284561661136589242447920899327033031485414747926645493",
"relative_difference_from_arb_midpoint": "1.5401733e-139"
},
{
"geometry": "euclidean",
"n": 18,
"dps": 170,
"value": "0.98944507103610572036559246542389933212984045511915546574570835072065507724894400339295605706395812165659211542",
"relative_difference_from_arb_midpoint": "1.8086592e-139"
},
{
"geometry": "euclidean",
"n": 19,
"dps": 170,
"value": "0.99054528054303417042058630849336227979556192377549750213135651295110281820477626543986039390984973937317430344",
"relative_difference_from_arb_midpoint": "8.6698541e-140"
},
{
"geometry": "euclidean",
"n": 20,
"dps": 170,
"value": "0.99148211253739447127412168903377923207768212783109359354113388486416086282364801772456045858447091390649854855",
"relative_difference_from_arb_midpoint": "2.3740535e-139"
},
{
"geometry": "euclidean",
"n": 21,
"dps": 170,
"value": "0.9922863683596216476836048755635047868613742183257728192300964267496170359119127324301417912202893720783713386",
"relative_difference_from_arb_midpoint": "7.4949212e-140"
},
{
"geometry": "euclidean",
"n": 22,
"dps": 170,
"value": "0.99298192167027455576770834743142086160539621043207449590115135706818934900671546914105648874812453258397125286",
"relative_difference_from_arb_midpoint": "1.5748643e-140"
},
{
"geometry": "euclidean",
"n": 23,
"dps": 170,
"value": "0.99358750672784738258950537399853701344968670059801262651668915320368556897684592715423381425772926072842019451",
"relative_difference_from_arb_midpoint": "8.5160689e-140"
},
{
"geometry": "euclidean",
"n": 24,
"dps": 170,
"value": "0.99411799059074594272973317160006884023490231960020633979833057833483547097449922424124202433521238692406436092",
"relative_difference_from_arb_midpoint": "2.456505e-139"
},
{
"geometry": "euclidean",
"n": 25,
"dps": 170,
"value": "0.99458529263718681545970972239292712926264136217185849973382896516479552673496218997360052493630227049407686092",
"relative_difference_from_arb_midpoint": "2.4333193e-139"
},
{
"geometry": "euclidean",
"n": 26,
"dps": 170,
"value": "0.99499905883818479909970714447252758756555120908059444626849902293897443558466406763557649341499229829800493572",
"relative_difference_from_arb_midpoint": "2.1990571e-139"
},
{
"geometry": "euclidean",
"n": 27,
"dps": 170,
"value": "0.99536716276537911876399087341518493876241083280775485646040108848423303321829714276899737692177852075981752084",
"relative_difference_from_arb_midpoint": "5.7536037e-140"
},
{
"geometry": "euclidean",
"n": 28,
"dps": 170,
"value": "0.99569608239711198123715498004988540970392867095846672233571394687180485877070532322695016375525372997606142898",
"relative_difference_from_arb_midpoint": "9.5186929e-140"
},
{
"geometry": "euclidean",
"n": 29,
"dps": 170,
"value": "0.99599118669585986472763843205992877979297751366416362169843974346336576260790132486265220907068493111014800488",
"relative_difference_from_arb_midpoint": "3.1546935e-140"
},
{
"geometry": "euclidean",
"n": 30,
"dps": 170,
"value": "0.99625695582475911930386711661622287861952487474886291960837857426200756549505995441828247627618433368192983797",
"relative_difference_from_arb_midpoint": "4.8112037e-140"
},
{
"geometry": "ideal-hyperbolic",
"n": 3,
"dps": 170,
"value": "0.30750993390991678940847814449063728392962601687552745294083958255665084147873740030736492558536596968416064456",
"relative_difference_from_arb_midpoint": "1.6118557e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 4,
"dps": 170,
"value": "0.45694658104446362537496662254768333661176773001483150839436224726748435807080538559873312100885656393157817473",
"relative_difference_from_arb_midpoint": "1.4848467e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 5,
"dps": 170,
"value": "0.55018704327730777293646152865779716882286821573130403935756632736029431788778869144655026887119338018921964487",
"relative_difference_from_arb_midpoint": "3.0052387e-141"
},
{
"geometry": "ideal-hyperbolic",
"n": 6,
"dps": 170,
"value": "0.61501986781983357881695628898127456785925203375105490588167916511330168295747480061472985117073193936832128912",
"relative_difference_from_arb_midpoint": "1.6118557e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 7,
"dps": 170,
"value": "0.66306005739370726661469939959624195210391163763894403609422244402706610964578048650522352796867026086349123489",
"relative_difference_from_arb_midpoint": "7.2903749e-140"
},
{
"geometry": "ideal-hyperbolic",
"n": 8,
"dps": 170,
"value": "0.70021867810599153388945508219947348287403341203405620077142455203993010308627642832428426690083688705548809496",
"relative_difference_from_arb_midpoint": "2.9281187e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 9,
"dps": 170,
"value": "0.72987668593697364458387197465268859996554026335392713825074450500139183529848671786471075024959801978192155073",
"relative_difference_from_arb_midpoint": "3.1551622e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 10,
"dps": 170,
"value": "0.75412640537602420603534400639908181468185797026580218931065297530655251052639910164273277166794875449584555566",
"relative_difference_from_arb_midpoint": "2.0383397e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 11,
"dps": 170,
"value": "0.77433925525744936131274327650310181040842795560066662620895493336842705213775018762700701187119879575984461381",
"relative_difference_from_arb_midpoint": "2.7012083e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 12,
"dps": 170,
"value": "0.79145469471390065952405099845757538739014990317034412062655711057636522514503075768595355488107360355728485698",
"relative_difference_from_arb_midpoint": "2.8083439e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 13,
"dps": 170,
"value": "0.80613931796182775048078544672681737132283056223056053784553270638880061945450282422898891999256103498327756158",
"relative_difference_from_arb_midpoint": "1.7804777e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 14,
"dps": 170,
"value": "0.81887993355749372998945503668730701993168159296437997878428549056320335300161595417649973858931455641984422976",
"relative_difference_from_arb_midpoint": "1.6422543e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 15,
"dps": 170,
"value": "0.83004072788203305075982343886317357107925818402356520104701837932716307434126293063418360353094861921699967517",
"relative_difference_from_arb_midpoint": "1.5723101e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 16,
"dps": 170,
"value": "0.83989979793311587832091920477991404388807089700179187836749301273922983875279695796112417333205064337738201688",
"relative_difference_from_arb_midpoint": "2.3308796e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 17,
"dps": 170,
"value": "0.84867329201219292198832752176619907364573195321711966844973397171693994327572615782416390648998547691679399122",
"relative_difference_from_arb_midpoint": "2.0091796e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 18,
"dps": 170,
"value": "0.85653182243016964352986410918432173814296215849045121389248185652566518987562517038376045049879228504133364557",
"relative_difference_from_arb_midpoint": "1.3254966e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 19,
"dps": 170,
"value": "0.86361190208968012067821378157968343786453390825296008298731648736837782645874108329498514757970945447169907398",
"relative_difference_from_arb_midpoint": "1.1937352e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 20,
"dps": 170,
"value": "0.87002408689886963817365906610577280430280769145933103639759768799866104015464489002837141353489015070646692042",
"relative_difference_from_arb_midpoint": "1.9124888e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 21,
"dps": 170,
"value": "0.87585888396143209743302447489524514061061601983769917644617206052567914835093471117902895696912204439771731601",
"relative_difference_from_arb_midpoint": "4.0109938e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 22,
"dps": 170,
"value": "0.88119111163892756349435152575640560168389595011346336204852986453541896667815466736552307332261800960743851533",
"relative_difference_from_arb_midpoint": "3.6552976e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 23,
"dps": 170,
"value": "0.88608316623588071746544527811142204491905620398903386626398660436410580313271939816719112631990434571447558818",
"relative_difference_from_arb_midpoint": "2.1941907e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 24,
"dps": 170,
"value": "0.89058750315265815867616504404360754534039996300943457398052277122493653248321411722203219027849224547139161963",
"relative_difference_from_arb_midpoint": "1.1065477e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 25,
"dps": 170,
"value": "0.89474854489159467199088664179193454981529492852136968612937750844955053006850494922438525496623727026486404319",
"relative_difference_from_arb_midpoint": "1.4042471e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 26,
"dps": 170,
"value": "0.89860416497466155083808021307466136521370210494419494518461720577347697195525171048518653194528225484126655675",
"relative_difference_from_arb_midpoint": "4.2734097e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 27,
"dps": 170,
"value": "0.90218685402653837953391177922683792203174497553407377769115906044731962716700974048811156530371762168103342868",
"relative_difference_from_arb_midpoint": "2.4853434e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 28,
"dps": 170,
"value": "0.90552464484791848281855716426918642481535021917559168490157936426986881765924161291052356261421251875578911354",
"relative_difference_from_arb_midpoint": "2.2068356e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 29,
"dps": 170,
"value": "0.90864185275384400398582328293705759751640746503891778512696476600245955357394555394495002453123876211163063609",
"relative_difference_from_arb_midpoint": "1.4425242e-139"
},
{
"geometry": "ideal-hyperbolic",
"n": 30,
"dps": 170,
"value": "0.91155967289588802965920922875294724836484177401005984329065740317994196569640411389302932867635609112649235537",
"relative_difference_from_arb_midpoint": "6.3522326e-139"
}
],
"records": [
{
"params": {
"geometry": "euclidean",
"n": 3
},
"number": "0.5660466803631597004496705504629791354940723413655169065007370945507907595693023060778393869923904321",
"ball": "[0.56604668036315970044967055046297913549407234136551690650073709455079075956930230607783938699239043207759668866196132628666362851716745511 +/- 6.11e-138]",
"lower": "1685195354304193136111539800644006400190008156314672577807456237142853329722436612045872461436085301056924802777735950147918399981485827877/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "842597677152096568055769900322003200095004078157336288903728118571426664861218306022936230718042650528462401388867975073959199990742913943/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 4
},
"number": "0.7627597635018131880623259809636157932926292373480729152170715982644226929562561921954661469120229046",
"ball": "[0.762759763501813188062325980963615793292629237348072915217071598264422692956256192195466146912022904550211437905436212256623650755913396006 +/- 8.93e-139]",
"lower": "4541672107603367618334733534415273193498551511366735392542916820704791167728998753515890013518949681378383406047139601766988964408206461219/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "4541672107603367618334733534415273193498551511366735392542916820704791167728998753515890013518949681378383406047139601766988964408206461231/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 457,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 5
},
"number": "0.8514622702010604057102828548376625014003249113146211531772709852799538344536759065796590282875753249",
"ball": "[0.85146227020106040571028285483766250140032491131462115317727098527995383445367590657965902828757532491278242273281939947976732896669144372 +/- 6.59e-138]",
"lower": "2534915073059963219343720209052673268411053519612242995551017913083412240052642544875611284904180049010584863434256421756540537240083593523/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "39608048016561925302245628266448019818922711243941296805484654891928316250822539763681426326627813265790388491160256589945945894376306149/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 6
},
"number": "0.8985430958715868687872100370824071082215485676608521340037788409756387069464986927149822523122311202",
"ball": "[0.89854309587158686878721003708240710822154856766085213400377884097563870694649869271498225231223112015448734369944444005095079159063045110 +/- 2.39e-138]",
"lower": "5350161756388797629723557228508373987872954974165030795866972809774092587933557306433688582603538246746941963704008991610171202923409465567/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5350161756388797629723557228508373987872954974165030795866972809774092587933557306433688582603538246746941963704008991610171202923409465593/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 7
},
"number": "0.9264045228490812806683491751862562698171985521840274095746096811186983859581868783661248658395019356",
"ball": "[0.92640452284908128066834917518625626981719855218402740957460968111869838595818687836612486583950193563582635751054683941395034235159974720 +/- 3.27e-138]",
"lower": "5516056015415760019484800602526073021126127615030299956680646836415284462886260180482367731590951647854483304002803391576566774225299631961/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5516056015415760019484800602526073021126127615030299956680646836415284462886260180482367731590951647854483304002803391576566774225299631989/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 8
},
"number": "0.9442171947845104184532388307498046067494740501878726200075767786528439932120410128723269191832694254",
"ball": "[0.94421719478451041845323883074980460674947405018787262000757677865284399321204101287232691918326942542670310217152886430828648727834904664 +/- 4.36e-138]",
"lower": "2811058672906854877047654380721592086050867111161576285834121992401312493313815683960484283692543508454922813219211211019887863208866622649/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2811058672906854877047654380721592086050867111161576285834121992401312493313815683960484283692543508454922813219211211019887863208866622659/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 9
},
"number": "0.9562806525447942039591817398468131363848824993903474536587113217567247277484826952882400846996150110",
"ball": "[0.95628065254479420395918173984681313638488249939034745365871132175672472774848269528824008469961501098935376419107044259365084020682868088 +/- 6.57e-138]",
"lower": "177935823248442552893320277417546025549352945848268403457212118898505477277559036636169075148166665760622570887298793578553581714308904533/186070713419675363980626894819329160794532188335953423432061490990243657757029868371504908982723472783555205531204141550984858016925351936",
"upper": "2846973171975080846293124438680736408789647133572294455315393902376087636440944586178705202370666652169961134196780697256857307428942472543/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 10
},
"number": "0.9648226302321035729356323479697867885883181563486882768034001700562682269004118048083412198010816627",
"ball": "[0.96482263023210357293563234796978678858831815634868827680340017005626822690041180480834121980108166269043278509689449777114891394838274766 +/- 7.13e-138]",
"lower": "718100940522940623301537901015545412948741915489223437798213869594665995265271430399724473875471844453750525931908980815446149539306563785/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2872403762091762493206151604062181651794967661956893751192855478378663981061085721598897895501887377815002103727635923261784598157226255155/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 11
},
"number": "0.9710893442828940014586181613928079836777508828608042048716064186479150627653860253324544671182571167",
"ball": "[0.97108934428289400145861816139280798367775088286080420487160641864791506276538602533245446711825711672127388966668707893284077205634803210 +/- 6.05e-138]",
"lower": "5782121186718810706382718858049592974250976916963511887049306007612969411822284434572626803351840403656774029027785123408325387784841885855/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5782121186718810706382718858049592974250976916963511887049306007612969411822284434572626803351840403656774029027785123408325387784841885885/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 12
},
"number": "0.9758215093702986869909181466310022053283292454738148218590365467019478778118799627749999016355958603",
"ball": "[0.97582150937029868699091814663100220532832924547381482185903654670194787781187996277499990163559586034687550774136427181839259923785739097 +/- 4.60e-138]",
"lower": "5810297741401468954767001074602015832783056612629648037031632928705268959295952283502857671877542138307082873401333656810531345652550560857/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5810297741401468954767001074602015832783056612629648037031632928705268959295952283502857671877542138307082873401333656810531345652550560887/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 13
},
"number": "0.9794815610122843432854420648352036236504228297663183122388694456276379110427744470978598528976917685",
"ball": "[0.97948156101228434328544206483520362365042282976631831223886944562763791104277444709785985289769176850101052795870641494032895889588328136 +/- 2.83e-138]",
"lower": "2916045325423568482304032135358060379627961133565028067459901404869746346245690800130054820491524975435927883112000793520934048854095654895/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1458022662711784241152016067679030189813980566782514033729950702434873173122845400065027410245762487717963941556000396760467024427047827455/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 14
},
"number": "0.9823701786385645927498136828637484352560686743480356961504596516342730162428921101733392548252352478",
"ball": "[0.98237017863856459274981368286374843525606867434803569615045965163427301624289211017333925482523524775119477914914199744231304515839886283 +/- 2.87e-138]",
"lower": "5849290239407732651307696694089089855970433599941831386877380842509016695858729217666799724877583932065313230465530561831181931878950101841/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5849290239407732651307696694089089855970433599941831386877380842509016695858729217666799724877583932065313230465530561831181931878950101871/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 15
},
"number": "0.9846896641764671026877593917011759563861615359492838188234341369286952192374099644029977674561519688",
"ball": "[0.98468966417646710268775939170117595638616153594928381882343413692869521923740996440299776745615196880885215193510489004646101912818093331 +/- 4.81e-138]",
"lower": "732887633241183139357502806025539002026844992705862282535384800509580561408229483376483098223410914488721815579047156382381149329409792317/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2931550532964732557430011224102156008107379970823449130141539202038322245632917933505932392893643657954887262316188625529524597317639169283/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 16
},
"number": "0.9865801547261162753160144611135150044926889327339060581620399257596000344789295753194793498142681949",
"ball": "[0.98658015472611627531601446111351500449268893273390605816203992575960003447892957531947934981426819490462861488306738154910253813339983792 +/- 6.97e-138]",
"lower": "5874357543538629139190437060499313071279914348755723100738572704958844099428145041343008652676174757323739317646967460521643935951293511395/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5874357543538629139190437060499313071279914348755723100738572704958844099428145041343008652676174757323739317646967460521643935951293511421/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 17
},
"number": "0.9881411969540614579060153196443071803150344803936614463828456166113658924244792089932703303148541475",
"ball": "[0.98814119695406145790601531964430718031503448039366144638284561661136589242447920899327033031485414747926645492853511665315638974887582383 +/- 5.58e-138]",
"lower": "2941826199625826563429437244772348614174191111731127765101338236507455315663587887871260807368594119805184617437022295693492656848562075361/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "183864137476614160214339827798271788385886944483195485318833639781715957228974242991953800460537132487824038589813893480843291053035129711/186070713419675363980626894819329160794532188335953423432061490990243657757029868371504908982723472783555205531204141550984858016925351936",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 18
},
"number": "0.9894450710361057203655924654238993321298404551191554657457083507206550772489440033929560570639581217",
"ball": "[0.98944507103610572036559246542389933212984045511915546574570835072065507724894400339295605706395812165659211542112776338577118257049274830 +/- 4.82e-138]",
"lower": "2945708004116312967323509001825379531656086304842090248809111507960506540766460962308491429943073648871851614848024664519538625050167213827/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1472854002058156483661754500912689765828043152421045124404555753980253270383230481154245714971536824435925807424012332259769312525083606921/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 19
},
"number": "0.9905452805430341704205863084933622797955619237754975021313565129511028182047762654398603939098497394",
"ball": "[0.99054528054303417042058630849336227979556192377549750213135651295110281820477626543986039390984973937317430344037161122265745080685198729 +/- 3.13e-138]",
"lower": "737245868100539385698848198115672648681449458842975331378985665621589262197112969699235191128554179973312979137920007138245134983292011481/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2948983472402157542795392792462690594725797835371901325515942662486357048788451878796940764514216719893251916551680028552980539933168045939/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 20
},
"number": "0.9914821125373944712741216890337792320776821278310935935411338848641608628236480177245604585844709139",
"ball": "[0.99148211253739447127412168903377923207768212783109359354113388486416086282364801772456045858447091390649854854968756999176631831554699222 +/- 2.85e-138]",
"lower": "737943136090719379566582968879573926300314844800561333692195624978386159487590064080140795866217788799618156240572315558771832269383158973/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2951772544362877518266331875518295705201259379202245334768782499913544637950360256320563183464871155198472624962289262235087329077532635907/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 21
},
"number": "0.9922863683596216476836048755635047868613742183257728192300964267496170359119127324301417912202893721",
"ball": "[0.99228636835962164768360487556350478686137421832577281923009642674961703591191273243014179122028937207837133859757657170328414192080335432 +/- 4.25e-138]",
"lower": "46158858119323395802265446829174351652492805003051339731957163537366351361941011614259239407712862912739956679144677113314779317158036209/46517678354918840995156723704832290198633047083988355858015372747560914439257467092876227245680868195888801382801035387746214504231337984",
"upper": "184635432477293583209061787316697406609971220012205358927828654149465405447764046457036957630851451650959826716578708453259117268632144837/186070713419675363980626894819329160794532188335953423432061490990243657757029868371504908982723472783555205531204141550984858016925351936",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 22
},
"number": "0.9929819216702745557677083474314208616053962104320744959011513570681893490067154691410564887481245326",
"ball": "[0.99298192167027455576770834743142086160539621043207449590115135706818934900671546914105648874812453258397125285768832450243160283583823016 +/- 5.74e-138]",
"lower": "2956237673248450990409769176693513872389882166582589491013552160891001630684449442256193804122366053247447569830901455788648162520773397151/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2956237673248450990409769176693513872389882166582589491013552160891001630684449442256193804122366053247447569830901455788648162520773397167/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 23
},
"number": "0.9935875067278473825895053739985370134496867005980126265166891532036855689768459271542338142577292607",
"ball": "[0.99358750672784738258950537399853701344968670059801262651668915320368556897684592715423381425772926072842019450750688817217456628670022785 +/- 3.35e-138]",
"lower": "5916081159095265854919231206652745312985462691354082714530417856530939939174317985248799615242205709131142820229519840651455784447692119543/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5916081159095265854919231206652745312985462691354082714530417856530939939174317985248799615242205709131142820229519840651455784447692119575/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 24
},
"number": "0.9941179905907459427297331716000688402349023196002063397983305783348354709744992242412420243352123869",
"ball": "[0.99411799059074594272973317160006884023490231960020633979833057833483547097449922424124202433521238692406436091721081718842137475877605707 +/- 2.59e-138]",
"lower": "184976243732554218306439343692288417559614184517246937001649590630873992964282918474362984306844662896831170875138329688612451866012437801/186070713419675363980626894819329160794532188335953423432061490990243657757029868371504908982723472783555205531204141550984858016925351936",
"upper": "92488121866277109153219671846144208779807092258623468500824795315436996482141459237181492153422331448415585437569164844306225933006218901/93035356709837681990313447409664580397266094167976711716030745495121828878514934185752454491361736391777602765602070775492429008462675968",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 25
},
"number": "0.9945852926371868154597097223929271292626413621718584997338289651647955267349621899736005249363022705",
"ball": "[0.99458529263718681545970972239292712926264136217185849973382896516479552673496218997360052493630227049407686092119750000498022537358435855 +/- 7.36e-138]",
"lower": "2961011119323487132225236832757280249853449258555070387626571804589765320566463113924279733276772937004128944843976534644745943640604956145/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2961011119323487132225236832757280249853449258555070387626571804589765320566463113924279733276772937004128944843976534644745943640604956161/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 26
},
"number": "0.9949990588381847990997071444725275875655512090805944462684990229389744355846640676355764934149922983",
"ball": "[0.99499905883818479909970714447252758756555120908059444626849902293897443558466406763557649341499229829800493571744005749597117498066111675 +/- 5.82e-138]",
"lower": "5924485911357650859921301366498977222050964061647300064089582688120024973792093876188260262194384190855680056904781588409433441447326367085/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5924485911357650859921301366498977222050964061647300064089582688120024973792093876188260262194384190855680056904781588409433441447326367117/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 27
},
"number": "0.9953671627653791187639908734151849387624108328077548564604010884842330332182971427689973769217785208",
"ball": "[0.99536716276537911876399087341518493876241083280775485646040108848423303321829714276899737692177852075981752084198024196133068958498742234 +/- 4.11e-138]",
"lower": "1481669424722177765373214688555949646628559999010855538924574935876567442623777470387837575147344832312943115049938201018675200906422132317/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"upper": "1481669424722177765373214688555949646628559999010855538924574935876567442623777470387837575147344832312943115049938201018675200906422132325/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 28
},
"number": "0.9956960823971119812371549800498854097039286709584667223357139468718048587707053232269501637552537300",
"ball": "[0.99569608239711198123715498004988540970392867095846672233571394687180485877070532322695016375525372997606142898305274192619204043713952071 +/- 5.98e-138]",
"lower": "2964318086412903860539716601145375862707315886283560060846803914325972140747174001978871839131072343329724581055500312319945881226866329247/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2964318086412903860539716601145375862707315886283560060846803914325972140747174001978871839131072343329724581055500312319945881226866329263/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 29
},
"number": "0.9959911866958598647276384320599287797929775136641636216984397434633657626079013248626522090706849311",
"ball": "[0.99599118669585986472763843205992877979297751366416362169843974346336576260790132486265220907068493111014800488128045347300659076259184383 +/- 3.65e-138]",
"lower": "370649581336415445952073475726550733708388187867950709581965014486753009212002284209109833666365881058528170612597228133676602740966814051/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"upper": "370649581336415445952073475726550733708388187867950709581965014486753009212002284209109833666365881058528170612597228133676602740966814053/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "euclidean",
"n": 30
},
"number": "0.9962569558247591193038671166162228786195248747488629196083785742620075654950599544182824762761843337",
"ball": "[0.99625695582475911930386711661622287861952487474886291960837857426200756549505995441828247627618433368192983796750141084353986268697767541 +/- 4.71e-138]",
"lower": "2965987880314030926977755693760585549985055773973623416488533407256960537939473356601443379191070168845699451740842530379873144747117630569/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2965987880314030926977755693760585549985055773973623416488533407256960537939473356601443379191070168845699451740842530379873144747117630585/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 3
},
"number": "0.3075099339099167894084781444906372839296260168755274529408395825566508414787374003073649255853659697",
"ball": "[0.30750993390991678940847814449063728392962601687552745294083958255665084147873740030736492558536596968416064456195522693350224395097352814 +/- 5.98e-138]",
"lower": "1830994969160174022950695235240523356618425810465665086518134792641190679898590572330508433794735986057002099455622887497690889887571122461/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "915497484580087011475347617620261678309212905232832543259067396320595339949295286165254216897367993028501049727811443748845444943785561237/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 4
},
"number": "0.4569465810444636253749666225476833366117677300148315083943622472674843580708053855987331210088565639",
"ball": "[0.45694658104446362537496662254768333661176773001483150839436224726748435807080538559873312100885656393157817473150963778124947275388187384 +/- 3.25e-138]",
"lower": "5441560085095990668519886706952047551659378627671485084652648995650058945574178565184538812039748092728233529526212632390114869774869425141/11908525658859223294760121268437066290850060053501019099651935423375594096449911575776314174894302258147533153997065059263030913083222523904",
"upper": "5441560085095990668519886706952047551659378627671485084652648995650058945574178565184538812039748092728233529526212632390114869774869425159/11908525658859223294760121268437066290850060053501019099651935423375594096449911575776314174894302258147533153997065059263030913083222523904",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 5
},
"number": "0.5501870432773077729364615286577971688228682157313040393575663273602943178877886914465502688711933802",
"ball": "[0.55018704327730777293646152865779716882286821573130403935756632736029431788778869144655026887119338018921964487045263223226833801694384754 +/- 3.70e-138]",
"lower": "3275958261019854773617873965539568342157102641957366420835226244164042852346374324862950683445969807619946139334832120057986758151387020131/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "3275958261019854773617873965539568342157102641957366420835226244164042852346374324862950683445969807619946139334832120057986758151387020155/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 6
},
"number": "0.6150198678198335788169562889812745678592520337510549058816791651133016829574748006147298511707319394",
"ball": "[0.61501986781983357881695628898127456785925203375105490588167916511330168295747480061472985117073193936832128912391045386700448790194705627 +/- 2.33e-138]",
"lower": "1830994969160174022950695235240523356618425810465665086518134792641190679898590572330508433794735986057002099455622887497690889887571122461/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "915497484580087011475347617620261678309212905232832543259067396320595339949295286165254216897367993028501049727811443748845444943785561237/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 7
},
"number": "0.6630600573937072666146993995962419521039116376389440360942224440270661096457804865052235279686702609",
"ball": "[0.66306005739370726661469939959624195210391163763894403609422244402706610964578048650522352796867026086349123489205752339677379450981464308 +/- 6.50e-138]",
"lower": "3948033853418816119679925432208759558281109523191811011020751925885057345023804430970273966934074827757607700375980035940536412547805209027/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "3948033853418816119679925432208759558281109523191811011020751925885057345023804430970273966934074827757607700375980035940536412547805209055/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 8
},
"number": "0.7002186781059915338894550821994734828740334120340562007714245520399301030862764283242842669008368871",
"ball": "[0.70021867810599153388945508219947348287403341203405620077142455203993010308627642832428426690083688705548809495529231108579637970374652463 +/- 4.24e-138]",
"lower": "4169286047518843612254079609340395688024779141274848631133689452611246582281446892876802188029158992801221388731707092018286403652634038891/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "4169286047518843612254079609340395688024779141274848631133689452611246582281446892876802188029158992801221388731707092018286403652634038915/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 9
},
"number": "0.7298766859369736445838719746526885999655402633539271382507445050013918352984867178647107502495980198",
"ball": "[0.72987668593697364458387197465268859996554026335392713825074450500139183529848671786471075024959801978192155072815695784012448112862694541 +/- 5.89e-138]",
"lower": "2172938810570896367064044226686565559853295775971601404880279787836547315251740302576618608317519448896998953056077097249257374031614013689/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "2172938810570896367064044226686565559853295775971601404880279787836547315251740302576618608317519448896998953056077097249257374031614013705/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 10
},
"number": "0.7541264053760242060353440063990818146818579702658021893106529753065525105263991016427327716679487545",
"ball": "[0.75412640537602420603534400639908181468185797026580218931065297530655251052639910164273277166794875449584555565577605073257567548243691353 +/- 5.28e-138]",
"lower": "2245133412110914092573441725452428425625387381887839492382413078539558589961440706708574178473274104988372383285388852200168639741770060181/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1122566706055457046286720862726214212812693690943919746191206539269779294980720353354287089236637052494186191642694426100084319870885030099/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 11
},
"number": "0.7743392552574493613127432765031018104084279556006666262089549333684270521377501876270070118711987958",
"ball": "[0.77433925525744936131274327650310181040842795560066662620895493336842705213775018762700701187119879575984461380692199218205923375528148793 +/- 4.06e-138]",
"lower": "576327430618454840062057504111025845573135470458090346896718408704456516618791976567648545250774676182711114670516747219328921372693623701/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2305309722473819360248230016444103382292541881832361387586873634817826066475167906270594181003098704730844458682066988877315685490774494821/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 12
},
"number": "0.7914546947139006595240509984575753873901499031703441206265571105763652251450307576859535548810736036",
"ball": "[0.79145469471390065952405099845757538739014990317034412062655711057636522514503075768595355488107360355728485698382829749314217884975741095 +/- 6.19e-138]",
"lower": "1178132317478134910456340880244247966332690717030006085561806540902977580457393483165821120718436551848434757248030461938145180088921597713/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"upper": "2356264634956269820912681760488495932665381434060012171123613081805955160914786966331642241436873103696869514496060923876290360177843195443/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 13
},
"number": "0.8061393179618277504807854467268173713228305622305605378455327063888006194545028242289889199925610350",
"ball": "[0.80613931796182775048078544672681737132283056223056053784553270638880061945450282422898891999256103498327756158378813370307074055209389200 +/- 4.50e-138]",
"lower": "1199991344070462463998961746909267918153116772889142914493808436203399417490479129245515429183729298524027282338899058375914279642997436885/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"upper": "599995672035231231999480873454633959076558386444571457246904218101699708745239564622757714591864649262013641169449529187957139821498718447/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 14
},
"number": "0.8188799335574937299894550366873070199316815929643799787842854905632033530016159541764997385893145564",
"ball": "[0.81887993355749372998945503668730701993168159296437997878428549056320335300161595417649973858931455641984422975983383261126453859472646096 +/- 4.72e-138]",
"lower": "4875826350147175008138884164343697905910229019034471819939351752059563320166774853914013769297189968925775833145654790687499967703046073813/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "4875826350147175008138884164343697905910229019034471819939351752059563320166774853914013769297189968925775833145654790687499967703046073847/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 15
},
"number": "0.8300407278820330507598234388631735710792581840235652010470183793271630743412629306341836035309486192",
"ball": "[0.83004072788203305075982343886317357107925818402356520104701837932716307434126293063418360353094861921699967516744912849557066212684365232 +/- 7.13e-138]",
"lower": "4942280652940688455586631754737369129827303005798387380561948091700430559710838226138783529061127484921601523111517347081214083562371939451/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "4942280652940688455586631754737369129827303005798387380561948091700430559710838226138783529061127484921601523111517347081214083562371939487/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 16
},
"number": "0.8398997979331158783209192047799140438880708970017918783674930127392298387527969579611241733320506434",
"ball": "[0.83989979793311587832091920477991404388807089700179187836749301273922983875279695796112417333205064337738201687763854658029890693837157378 +/- 3.36e-138]",
"lower": "5000984147278593638260162112343060866451530678001238911837874887579816919904450018447604823166871357159966889747292961926524660346014102903/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5000984147278593638260162112343060866451530678001238911837874887579816919904450018447604823166871357159966889747292961926524660346014102931/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 17
},
"number": "0.8486732920121929219883275217661990736457319532171196684497339717169399432757261578241639064899854769",
"ball": "[0.84867329201219292198832752176619907364573195321711966844973397171693994327572615782416390648998547691679399121814934247252304814848017548 +/- 5.47e-138]",
"lower": "1263305959239465715310203197408449973956814061153606113461482388878564452354474568878187011672891754482754294867876876553914689683330239025/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"upper": "631652979619732857655101598704224986978407030576803056730741194439282226177237284439093505836445877241377147433938438276957344841665119517/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 18
},
"number": "0.8565318224301696435298641091843217381429621584904512138924818565256651898756251703837604504987922850",
"ball": "[0.85653182243016964352986410918432173814296215849045121389248185652566518987562517038376045049879228504133364556781131471954078531727963311 +/- 5.05e-138]",
"lower": "5100015592519563603901720967444838537393987766509507455784551501985909012040964763445406909530277383867489573739127567286183365644193371253/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5100015592519563603901720967444838537393987766509507455784551501985909012040964763445406909530277383867489573739127567286183365644193371285/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 456,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 19
},
"number": "0.8636119020896801206782137815796834378645339082529600829873164873683778264587410832949851475797094545",
"ball": "[0.86361190208968012067821378157968343786453390825296008298731648736837782645874108329498514757970945447169907397919095152112603393544764458 +/- 3.57e-138]",
"lower": "2571086123832793749504148847675018876149290374639018951017149219419043126940242821836188569605284623471767863630779512746105614261202497645/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1285543061916396874752074423837509438074645187319509475508574609709521563470121410918094284802642311735883931815389756373052807130601248831/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 20
},
"number": "0.8700240868988696381736590661057728043028076914593310363975976879986610401546448900283714135348901507",
"ball": "[0.87002408689886963817365906610577280430280769145933103639759768799866104015464489002837141353489015070646692041901315808431414964059309724 +/- 7.46e-138]",
"lower": "5180352081330377849927054038178721123258663134923257356697293641694330384330791051580264828467864268568032973805933285500826111462675939489/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5180352081330377849927054038178721123258663134923257356697293641694330384330791051580264828467864268568032973805933285500826111462675939523/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 21
},
"number": "0.8758588839614320974330244748952451406106160198376991764461720605256791483509347111790289569691220444",
"ball": "[0.87585888396143209743302447489524514061061601983769917644617206052567914835093471117902895696912204439771731601410481244537927346255120460 +/- 3.90e-138]",
"lower": "651886749574657323170512019837148304723827367667500036791662049221581035834593752290016637262376103166043173131569231336309236114949793589/744282853678701455922507579277316643178128753343813693728245963960974631028119473486019635930893891134220822124816566203939432067701407744",
"upper": "2607546998298629292682048079348593218895309470670000147166648196886324143338375009160066549049504412664172692526276925345236944459799174373/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 22
},
"number": "0.8811911116389275634943515257564056016838959501134633620485298645354189666781546673655230733226180096",
"ball": "[0.88119111163892756349435152575640560168389595011346336204852986453541896667815466736552307332261800960743851532736415642054802620609957217 +/- 3.77e-138]",
"lower": "1311710870413856406466455308473633117784936479482834260557732685793115381306695143051077912108130863981502265098875825925344640481710092023/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"upper": "2623421740827712812932910616947266235569872958965668521115465371586230762613390286102155824216261727963004530197751651850689280963420184063/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 23
},
"number": "0.8860831662358807174654452781114220449190562039890338662639866043641058031327193981671911263199043457",
"ball": "[0.88608316623588071746544527811142204491905620398903386626398660436410580313271939816719112631990434571447558817579657714213470730426352109 +/- 5.27e-138]",
"lower": "329748253781350253177793046690515873397782157860990983947562928695797657509607906584479948476835643339317039695475267795281979099682443871/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"upper": "2637986030250802025422344373524126987182257262887927871580503429566381260076863252675839587814685146714536317563802142362255832797459550985/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 24
},
"number": "0.8905875031526581586761650440436075453403999630094345739805227712249365324832141172220321902784922455",
"ball": "[0.89058750315265815867616504404360754534039996300943457398052277122493653248321411722203219027849224547139161963144002975944156956426743853 +/- 5.58e-138]",
"lower": "5302792066376399551114581785270154013411587549257274260073045429449250601685012896367929829002375731698238828074497904554908752612507417301/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5302792066376399551114581785270154013411587549257274260073045429449250601685012896367929829002375731698238828074497904554908752612507417335/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 25
},
"number": "0.8947485448915946719908866417919345498152949285213696861293775084495505300685049492243852549662372703",
"ball": "[0.89474854489159467199088664179193454981529492852136968612937750844955053006850494922438525496623727026486404319499910045347111814285972316 +/- 7.78e-138]",
"lower": "5327568002534254386331573880902392567324098726836595242830726155710477581108755062659528146980544394217568057644189502583996362266693828171/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5327568002534254386331573880902392567324098726836595242830726155710477581108755062659528146980544394217568057644189502583996362266693828205/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 26
},
"number": "0.8986041649746615508380802130746613652137021049441949451846172057734769719552517104851865319452822548",
"ball": "[0.89860416497466155083808021307466136521370210494419494518461720577347697195525171048518653194528225484126655674523471514575210140284945535 +/- 6.80e-138]",
"lower": "2675262688939630907334011470702831548461172835720768893929792328710323653843336931718180701003293321475569345470253392196870017056471463461/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1337631344469815453667005735351415774230586417860384446964896164355161826921668465859090350501646660737784672735126696098435008528235731739/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 27
},
"number": "0.9021868540265383795339117792268379220317449755340737776911590604473196271670097404881115653037176217",
"ball": "[0.90218685402653837953391177922683792203174497553407377769115906044731962716700974048811156530371762168103342867976070444002939411535396616 +/- 5.11e-138]",
"lower": "5371857650130256433403640694880839690510084475672792550220519854832895293190243142813969799066970582720516557038964221957011607888728273467/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"upper": "5371857650130256433403640694880839690510084475672792550220519854832895293190243142813969799066970582720516557038964221957011607888728273501/5954262829429611647380060634218533145425030026750509549825967711687797048224955787888157087447151129073766576998532529631515456541611261952",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 28
},
"number": "0.9055246448479184828185571642691864248153502191755916849015793642698688176592416129105235626142125188",
"ball": "[0.90552464484791848281855716426918642481535021917559168490157936426986881765924161291052356261421251875578911353584235748974531501753688951 +/- 4.11e-138]",
"lower": "2695865866975205657342484334683248552956807754781753112570858114488200271777791933015199784288776582151723085007153083443358911221518447545/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "1347932933487602828671242167341624276478403877390876556285429057244100135888895966507599892144388291075861542503576541721679455610759223781/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 29
},
"number": "0.9086418527538440039858232829370575975164074650389177851269647660024595535739455539449500245312387621",
"ball": "[0.90864185275384400398582328293705759751640746503891778512696476600245955357394555394495002453123876211163063609235942169483551700991169484 +/- 7.81e-138]",
"lower": "2705146204558133881518682411761712532498299517220132496732690848926147032163953733583161948241909011938783642773448973017611515765096702727/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"upper": "338143275569766735189835301470214066562287439652516562091586356115768379020494216697895243530238626492347955346681121627201439470637087843/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
},
{
"params": {
"geometry": "ideal-hyperbolic",
"n": 30
},
"number": "0.9115596728958880296592092287529472483648417740100598432906574031799419656964041138930293286763560911",
"ball": "[0.91155967289588802965920922875294724836484177401005984329065740317994196569640411389302932867635609112649235537290483408538732111596761050 +/- 5.47e-138]",
"lower": "339229117320687595918994419478484960857787599574503549014764688533493712882670010342137301668219949954395843484436564080453934204409323549/372141426839350727961253789638658321589064376671906846864122981980487315514059736743009817965446945567110411062408283101969716033850703872",
"upper": "2713832938565500767351955355827879686862300796596028392118117508267949703061360082737098413345759599635166747875492512643631473635274588409/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976",
"relative_accuracy_bits": 455,
"serialization_contains_ball": true
}
],
"stored_checks": {
"entries": 56,
"ordered_enumeration_equal": true,
"all_serialized_intervals_contain_arb_balls": true,
"all_quadrature_values_inside_intervals": true,
"cross_geometry_identity_count": 28,
"square_agm_checks": 2,
"document_sha256": "74a019711f2846dda2daee88fcd90085c0f231b582ee2a49892a3d86ea0681bb"
}
}