{
  "table": "T597",
  "entries": 77,
  "exact_entries": 22,
  "ball_entries": 55,
  "min_relative_accuracy_bits": 376,
  "max_relative_radius": "2.93317626122e-114",
  "max_independent_difference": "7.13259794763e-124",
  "checks": {
    "wedge": 11,
    "spherical_triangle": 10,
    "normal_gram": 77,
    "vertices": 11,
    "facets": 11,
    "reflection": 30
  },
  "stored_checked": 0,
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "mpmath_version": "1.4.1",
  "seconds": 229.39,
  "records": [
    {
      "d": 2,
      "k": 0,
      "certified": "1/3",
      "independent_155": "0.33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "d": 2,
      "k": 1,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 3,
      "k": 0,
      "certified": "1/4",
      "independent_155": "0.25"
    },
    {
      "d": 3,
      "k": 1,
      "certified": "[0.30408672398469636491457222038878454434168567528029985635603085098899929566127887656489408691211274346023660863475227 +/- 7.37e-117]",
      "independent_155": "0.30408672398469636491457222038878454434168567528029985635603085098899929566127887656489408691211274346023660863475227101088123688249830727236670029201353955"
    },
    {
      "d": 3,
      "k": 2,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 4,
      "k": 0,
      "certified": "1/5",
      "independent_155": "0.2"
    },
    {
      "d": 4,
      "k": 1,
      "certified": "[0.2061300859770445473718583305831768165125285129204497845340462764834989434919183148473411303681691151903549129521284 +/- 3.61e-116]",
      "independent_155": "0.20613008597704454737185833058317681651252851292044978453404627648349894349191831484734113036816911519035491295212840651632185532374746090855005043802030932"
    },
    {
      "d": 4,
      "k": 2,
      "certified": "[0.2902153116275831218854750966642421277920322156237683791001392166912535932797984765762747494259325509051616655797596869 +/- 6.04e-119]",
      "independent_155": "0.29021531162758312188547509666424212779203221562376837910013921669125359327979847657627474942593255090516166557975968692719844211106393399447458051201691348"
    },
    {
      "d": 4,
      "k": 3,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 5,
      "k": 0,
      "certified": "1/6",
      "independent_155": "0.16666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "d": 5,
      "k": 1,
      "certified": "[0.149737652917184421674063525809494603216880611914616336724639428810285820147918230655427219340629540080802574549852273570 +/- 5.09e-121]",
      "independent_155": "0.14973765291718442167406352580949460321688061191461633672463942881028582014791823065542721934062954008080257454985227357016826347762359585408498816499421026"
    },
    {
      "d": 5,
      "k": 2,
      "certified": "[0.1853229674413746828282126449963631916880483234356525686502088250368803899196977148644121241388988263577424983696395 +/- 4.66e-116]",
      "independent_155": "0.18532296744137468282821264499636319168804832343565256865020882503688038991969771486441212413889882635774249836963953039079766316659590099171187076802537022"
    },
    {
      "d": 5,
      "k": 3,
      "certified": "[0.28204710842448746580593714308475746789289788674312186754920382779242148689715771413781261838527322806259149901564817187 +/- 7.12e-120]",
      "independent_155": "0.28204710842448746580593714308475746789289788674312186754920382779242148689715771413781261838527322806259149901564817187482837443798030336001906380610349668"
    },
    {
      "d": 5,
      "k": 4,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 6,
      "k": 0,
      "certified": "1/7",
      "independent_155": "0.14285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714285714286"
    },
    {
      "d": 6,
      "k": 1,
      "certified": "[0.114127322331220141898728263551775147187987341585791200921521444553216311216598385226332831071291991551414914787750006398217 +/- 9.80e-124]",
      "independent_155": "0.11412732233122014189872826355177514718798734158579120092152144455321631121659838522633283107129199155141491478775000639821756648781322145429571968245167677"
    },
    {
      "d": 6,
      "k": 2,
      "certified": "[0.1264792494455821645337838032084399850477089564289652155092431282960191660109733863686126396189557793844875049049575 +/- 3.34e-116]",
      "independent_155": "0.12647924944558216453378380320843998504770895642896521550924312829601916601097338636861263961895577938448750490495752115872428087460382089925250650869172113"
    },
    {
      "d": 6,
      "k": 3,
      "certified": "[0.173070662636731198708905714627136201839346830114682801323805741688632230345736571206718927577909842093887248523472258 +/- 4.66e-118]",
      "independent_155": "0.17307066263673119870890571462713620183934683011468280132380574168863223034573657120671892757790984209388724852347225781224256165697045504002859570915524501"
    },
    {
      "d": 6,
      "k": 4,
      "certified": "[0.27665018951905683734566257733527525240288545531193232862849574067800207952983797504341515477233564000422344401844117878 +/- 6.45e-120]",
      "independent_155": "0.27665018951905683734566257733527525240288545531193232862849574067800207952983797504341515477233564000422344401844117877648274448963168393442429227336786535"
    },
    {
      "d": 6,
      "k": 5,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 7,
      "k": 0,
      "certified": "1/8",
      "independent_155": "0.125"
    },
    {
      "d": 7,
      "k": 1,
      "certified": "[0.09011663730715084719120004249389112828170300555955024218834488047849670835540514659723182245486002057983292504764188 +/- 3.58e-117]",
      "independent_155": "0.090116637307150847191200042493891128281703005559550242188344880478496708355405146597231822454860020579832925047641879081144138797738663468761421800187829109"
    },
    {
      "d": 7,
      "k": 2,
      "certified": "[0.0906598445449976066207717663604946431391918520129920910227597790119139318279372744808447254825580711983145983129946 +/- 2.45e-116]",
      "independent_155": "0.090659844544997606620771766360494643139191852012992091022759779011913931827937274480844725482558071198314598312994585578814596908849717261944814991687019129"
    },
    {
      "d": 7,
      "k": 3,
      "certified": "[0.1130125447054570946116122351590475964922148627946087019802959966871766654271051526588515934067836756474616177079662 +/- 3.93e-116]",
      "independent_155": "0.11301254470545709461161223515904759649221486279460870198029599668717666542710515265885159340678367564746161770796619592117654740569364019892140565725706132"
    },
    {
      "d": 7,
      "k": 4,
      "certified": "[0.164975284278585256018493866002912878604328182967898492942743611017003119294756962565122732158503460006335166027661768 +/- 2.42e-118]",
      "independent_155": "0.16497528427858525601849386600291287860432818296789849294274361101700311929475696256512273215850346000633516602766176816472411673444752590163643841005179803"
    },
    {
      "d": 7,
      "k": 5,
      "certified": "[0.27281447417149496885843041522294490130542264016572506708920209762310731938439084787005516385803388135418155432278534 +/- 3.77e-117]",
      "independent_155": "0.27281447417149496885843041522294490130542264016572506708920209762310731938439084787005516385803388135418155432278533889681886848487944907346825397894853053"
    },
    {
      "d": 7,
      "k": 6,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 8,
      "k": 0,
      "certified": "1/9",
      "independent_155": "0.11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111"
    },
    {
      "d": 8,
      "k": 1,
      "certified": "[0.073114369388976107124152611977778886425954755648681393056936014969230157393061698786711121938685402654877101020438028659285 +/- 4.29e-124]",
      "independent_155": "0.073114369388976107124152611977778886425954755648681393056936014969230157393061698786711121938685402654877101020438028659285167629111084777271682923100227384"
    },
    {
      "d": 8,
      "k": 2,
      "certified": "[0.06748272571048178673164878600647085287495026502357776603537966665282535785242499582258213342445183236490678199965356426 +/- 7.14e-120]",
      "independent_155": "0.067482725710481786731648786006470852874950265023577766035379666652825357852424995822582133424451832364906781999653564264938512087161160152439389987177411092"
    },
    {
      "d": 8,
      "k": 3,
      "certified": "[0.0774135907024240720141877301857253214982924401287170860777304222368879463248685963025974375537761189621752967307951 +/- 5.05e-116]",
      "independent_155": "0.077413590702424072014187730185725321498292440128717086077730422236887946324868596302597437553776118962175296730795060115870432419283342097255854627883911615"
    },
    {
      "d": 8,
      "k": 4,
      "certified": "[0.10422404791899764437716545290637581173671420672128614316907097849379665908175885924221515174835868022795054547495172 +/- 6.23e-117]",
      "independent_155": "0.1042240479189976443771654529063758117367142067212861431690709784937966590817588592422151517483586802279505454749517150219811596361383475305913221427171677"
    },
    {
      "d": 8,
      "k": 5,
      "certified": "[0.15922171125724245328764562283441735195813396024858760063380314643466097907658627180508274578705082203127233148417800835 +/- 9.06e-120]",
      "independent_155": "0.15922171125724245328764562283441735195813396024858760063380314643466097907658627180508274578705082203127233148417800834522830272731917361020238096842279579"
    },
    {
      "d": 8,
      "k": 6,
      "certified": "[0.2699465438373841147862194322948571069900886047292858979441250125544730063330707075278012016723071727456869787877662 +/- 6.28e-116]",
      "independent_155": "0.26994654383738411478621943229485710699008860472928589794412501255447300633307070752780120167230717274568697878776616827010222973117850283945331755193990222"
    },
    {
      "d": 8,
      "k": 7,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 9,
      "k": 0,
      "certified": "1/10",
      "independent_155": "0.1"
    },
    {
      "d": 9,
      "k": 1,
      "certified": "[0.060608182296892913420034817053288403041392153047300570084064231107073180549578246810678979080432750610914931409569019185507 +/- 6.94e-124]",
      "independent_155": "0.060608182296892913420034817053288403041392153047300570084064231107073180549578246810678979080432750610914931409569019185506847164493199166170335896111174011"
    },
    {
      "d": 9,
      "k": 2,
      "certified": "[0.05175687942746509368765098792334045771121082287864452596941323595288377932535435870456173929201012816710555766788587752403 +/- 1.66e-123]",
      "independent_155": "0.051756879427465093687650987923340457711210822878644525969413235952883779325354358704561739292010128167105557667885877524030976818451934607061528380245970463"
    },
    {
      "d": 9,
      "k": 3,
      "certified": "[0.055083220235040293213564555352135417336448129990430339847920099992585242608580282465414578388580005762304291533822409684614 +/- 4.62e-124]",
      "independent_155": "0.055083220235040293213564555352135417336448129990430339847920099992585242608580282465414578388580005762304291533822409684614240620747677542800700108480047813"
    },
    {
      "d": 9,
      "k": 4,
      "certified": "[0.068934645999852017578757188927751398334571878523384536351438094539486448879802210496999992440057600559317753641276 +/- 4.10e-115]",
      "independent_155": "0.068934645999852017578757188927751398334571878523384536351438094539486448879802210496999992440057600559317753641276340613746037866266658990417574673373255871"
    },
    {
      "d": 9,
      "k": 5,
      "certified": "[0.098036715507471222080530159073803171592593662692742503783657650966799335179395753301196357488741005269891111400184246 +/- 2.69e-118]",
      "independent_155": "0.098036715507471222080530159073803171592593662692742503783657650966799335179395753301196357488741005269891111400184246139653760376255130648161236256053071236"
    },
    {
      "d": 9,
      "k": 6,
      "certified": "[0.15491981575607617217932914844228566048513290709392884691618751883170950949960606129170180250846075911853046818164925241 +/- 6.33e-120]",
      "independent_155": "0.15491981575607617217932914844228566048513290709392884691618751883170950949960606129170180250846075911853046818164925240515334459676775425917997632790985333"
    },
    {
      "d": 9,
      "k": 7,
      "certified": "[0.2677204728012300107452337959412318914943660025783258458145956319036707174219725619389220629466750613253825802996842 +/- 5.31e-116]",
      "independent_155": "0.26772047280123001074523379594123189149436600257832584581459563190367071742197256193892206294667506132538258029968415368804857443517883112365100289914061043"
    },
    {
      "d": 9,
      "k": 8,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 10,
      "k": 0,
      "certified": "1/11",
      "independent_155": "0.090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909090909"
    },
    {
      "d": 10,
      "k": 1,
      "certified": "[0.051125185839196968876183050624226480295025963640187681838970464322958988240608506183704303992923095955087401424725628218940 +/- 6.24e-124]",
      "independent_155": "0.051125185839196968876183050624226480295025963640187681838970464322958988240608506183704303992923095955087401424725628218939875066873495875078335784155342551"
    },
    {
      "d": 10,
      "k": 2,
      "certified": "[0.040673686558679114554846017603712118048942342585521435080061095751393071878064746579517334098247756499271089776047187710 +/- 2.68e-121]",
      "independent_155": "0.040673686558679114554846017603712118048942342585521435080061095751393071878064746579517334098247756499271089776047187710143998892636381958070020828874840378"
    },
    {
      "d": 10,
      "k": 3,
      "certified": "[0.04042614310700983935820888848076090424611621631645965640677057078167813906301690131103207509604175290998660508798002 +/- 8.91e-117]",
      "independent_155": "0.040426143107009839358208888480760904246116216316459656406770570781678139063016901311032075096041752909986605087980024271552983971590704939440320842767595878"
    },
    {
      "d": 10,
      "k": 4,
      "certified": "[0.0473296972017169995597569524891005385928719092139072150161640934888557353643773703961853419695109517896190386578693 +/- 1.90e-116]",
      "independent_155": "0.047329697201716999559756952489100538592871909213907215016164093488855735364377370396185341969510951789619038657869292909874700879209661347162853907538419712"
    },
    {
      "d": 10,
      "k": 5,
      "certified": "[0.06305560333994063305524935962714567571792755631754359173613888335923003948751226357785298407676780978927389269349727 +/- 5.86e-117]",
      "independent_155": "0.063055603339940633055249359627145675717927556317543591736138883359230039487512263577852984076767809789273892693497268107087229728439203936732455692761351777"
    },
    {
      "d": 10,
      "k": 6,
      "certified": "[0.09344504706336240553869957007080231915984764817333902259913167262903854992501542559840697025381529503503025277296433 +/- 3.54e-117]",
      "independent_155": "0.093445047063362405538699570070802319159847648173339022599131672629038549925015425598406970253815295035030252772964328825458783325704011311879222197529636412"
    },
    {
      "d": 10,
      "k": 7,
      "certified": "[0.1515807092018450161178506939118478372415490038674887687218934478555060761329588429083830944200125919880738704495262305 +/- 8.56e-119]",
      "independent_155": "0.15158070920184501611785069391184783724154900386748876872189344785550607613295884290838309442001259198807387044952623053207286165276824668547650434871091565"
    },
    {
      "d": 10,
      "k": 8,
      "certified": "[0.265942140214629961979208080288695534793643825837582540743609498981770506837546445066663924039911410801527690014759 +/- 5.40e-115]",
      "independent_155": "0.26594214021462996197920808028869553479364382583758254074360949898177050683754644506666392403991141080152769001475861767584471277091606582231559553939948462"
    },
    {
      "d": 10,
      "k": 9,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 11,
      "k": 0,
      "certified": "1/12",
      "independent_155": "0.083333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "d": 11,
      "k": 1,
      "certified": "[0.043753497034737536765167243502483251173966422261484963971622024350614069316673951585261092972691459854869336050076341910624 +/- 3.51e-124]",
      "independent_155": "0.04375349703473753676516724350248325117396642226148496397162202435061406931667395158526109297269145985486933605007634191062399270842487923670686224895629439"
    },
    {
      "d": 11,
      "k": 2,
      "certified": "[0.03261572515550603552171728039801290276148473594624094703896893694024388133710633047118116643900038156152287416019528 +/- 4.16e-117]",
      "independent_155": "0.032615725155506035521717280398012902761484735946240947038968936940243881337106330471181166439000381561522874160195278200888114790129121685690404877495698822"
    },
    {
      "d": 11,
      "k": 3,
      "certified": "[0.0304414256718784131708831950567124112018445007122736117102151273449126292465550622491946255298843391427634145002101454 +/- 3.03e-119]",
      "independent_155": "0.030441425671878413170883195056712411201844500712273611710215127344912629246555062249194625529884339142763414500210145420197860566086268951363825936605558258"
    },
    {
      "d": 11,
      "k": 4,
      "certified": "[0.033520510864876902288408682801453682609099654212710950426408542509296141873229515973125244204674099313445524590347395895295 +/- 2.55e-124]",
      "independent_155": "0.033520510864876902288408682801453682609099654212710950426408542509296141873229515973125244204674099313445524590347395895295123402155955133850988797971837812"
    },
    {
      "d": 11,
      "k": 5,
      "certified": "[0.042053997449295695976226249026294825646346896731970194914448546049300997532322501808774453042285073878308243315783 +/- 2.32e-115]",
      "independent_155": "0.04205399744929569597622624902629482564634689673197019491444854604930099753232250180877445304228507387830824331578289196610667116543589471944512577463974121"
    },
    {
      "d": 11,
      "k": 6,
      "certified": "[0.058746258064945726881200344439863030424397608610132811637516650186413858979861795176514421453770305723358184962995401 +/- 8.89e-118]",
      "independent_155": "0.058746258064945726881200344439863030424397608610132811637516650186413858979861795176514421453770305723358184962995401388391383986313771181064761613974335473"
    },
    {
      "d": 11,
      "k": 7,
      "certified": "[0.08990264332263614893892147903038614281864934509359653207362380911805758883710390847779907428674861089978778617099688365 +/- 7.98e-120]",
      "independent_155": "0.089902643322636148938921479030386142818649345093596532073623809118057588837103908477799074286748610899787786170996883649168238839283670950412872501481982776"
    },
    {
      "d": 11,
      "k": 8,
      "certified": "[0.14891321032194494296881212043304330219046573875637381111541424847265576025631966759999588605986711620229153502213793 +/- 7.39e-117]",
      "independent_155": "0.14891321032194494296881212043304330219046573875637381111541424847265576025631966759999588605986711620229153502213792651376706915637409873347339330909922693"
    },
    {
      "d": 11,
      "k": 9,
      "certified": "[0.2644886349179281212920929250719772765647437241191401479527374924269062075165893683957354962511754185616373221980360 +/- 8.52e-116]",
      "independent_155": "0.26448863491792812129209292507197727656474372411914014795273749242690620751658936839573549625117541856163732219803604650685360715950816591837783004341561475"
    },
    {
      "d": 11,
      "k": 10,
      "certified": "1/2",
      "independent_155": "0.5"
    },
    {
      "d": 12,
      "k": 0,
      "certified": "1/13",
      "independent_155": "0.076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923076923"
    },
    {
      "d": 12,
      "k": 1,
      "certified": "[0.037903020674144865534963859435095434522292364824046146746840006203316486182775941192850641314265638631849571678376102546330 +/- 4.12e-124]",
      "independent_155": "0.037903020674144865534963859435095434522292364824046146746840006203316486182775941192850641314265638631849571678376102546330255284883988496763870737414737082"
    },
    {
      "d": 12,
      "k": 2,
      "certified": "[0.026603193333801966250904679925292047066873395115530909801076944674460511700018263254493443562282282103139273754391079972127 +/- 2.34e-124]",
      "independent_155": "0.026603193333801966250904679925292047066873395115530909801076944674460511700018263254493443562282282103139273754391079972127037643912232773400909119975355265"
    },
    {
      "d": 12,
      "k": 3,
      "certified": "[0.0234253125581125281614980843964143715457375436177194731342009383797029111043713343126547468782690241358774839454602456237 +/- 6.52e-122]",
      "independent_155": "0.023425312558112528161498084396414371545737543617719473134200938379702911104371334312654746878269024135877483945460245623743161564893107372912689676921375645"
    },
    {
      "d": 12,
      "k": 4,
      "certified": "[0.024370831263543632781516411308805801522522004615872315580206940324107822576534319739993063068487775808153003211943600945956 +/- 4.74e-124]",
      "independent_155": "0.024370831263543632781516411308805801522522004615872315580206940324107822576534319739993063068487775808153003211943600945955709340089917751579587145151377221"
    },
    {
      "d": 12,
      "k": 5,
      "certified": "[0.0289197091828589157256723395371756020339573117405119785301874902556861620795198175808216781308697166814379472428740 +/- 4.18e-116]",
      "independent_155": "0.028919709182858915725672339537175602033957311740511978530187490255686162079519817580821678130869716681437947242874026576001064878027453618063789749734291434"
    },
    {
      "d": 12,
      "k": 6,
      "certified": "[0.0382465083779010912449065981820715174815377237351431562409832846823333194501460901587392668173711484170725408113136 +/- 3.00e-116]",
      "independent_155": "0.038246508377901091244906598182071517481537723735143156240983284682333319450146090158739266817371148417072540811313619746392460409961743640243867347155131483"
    },
    {
      "d": 12,
      "k": 7,
      "certified": "[0.055455426303515345484219207722885628310708356288176715647570443035967178537828366347192528350183873936013014678281825 +/- 2.01e-118]",
      "independent_155": "0.055455426303515345484219207722885628310708356288176715647570443035967178537828366347192528350183873936013014678281824902799161010262099566904674005853430861"
    },
    {
      "d": 12,
      "k": 8,
      "certified": "[0.08708696779608032511083557142922820298513725555475540832854951221194366832212216539831163826982579878470164612982824853 +/- 4.96e-120]",
      "independent_155": "0.087086967796080325110835571429228202985137255554755408328549512211943668322122165398311638269825798784701646129828248532206863976883865415635911752562375166"
    },
    {
      "d": 12,
      "k": 9,
      "certified": "[0.146732952376892181938139387607965914847115586178710221929106238640359311274884052593603244376763127842455983297054 +/- 2.30e-115]",
      "independent_155": "0.14673295237689218193813938760796591484711558617871022192910623864035931127488405259360324437676312784245598329705406976028041073926224887756674506512342212"
    },
    {
      "d": 12,
      "k": 10,
      "certified": "[0.2632783106866643301177528568334100962735266015517980976256235251145186937496163525453812954404922358878018020929804 +/- 1.90e-116]",
      "independent_155": "0.26327831068666433011775285683341009627352660155179809762562352511451869374961635254538129544049223588780180209298040669404419613053526075174518321305244195"
    },
    {
      "d": 12,
      "k": 11,
      "certified": "1/2",
      "independent_155": "0.5"
    }
  ]
}