numerical-evidence.json

back to table · edit · history · where entries came from · files · download

50929 bytes, as of the version from 2026-11-01 17:38 (current). Recorded here, not run.

{
  "table": "T656",
  "mode": "local",
  "skill_manifest": "agents/runs/20261101T171341Z-build-skills/manifest.json",
  "skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "entries_checked": 62,
  "exact_rationals": 2,
  "certified_decimals": 60,
  "minimum_generator_relative_accuracy_bits": 424,
  "independent_bisection_steps": 480,
  "independent_ball_bits": 560,
  "control": "n=2 gamma=2, known nonzero Bernoulli entropy, n=3 radical",
  "checks": [
    "exact stationary and reciprocal polynomial identities for n=2..32",
    "exhaustive rational-root theorem candidates",
    "exact endpoint signs for every printed irrational interval",
    "independently computed entire root brackets inside all printed intervals",
    "normalization, mean, entropy, strictly positive variance, reciprocals",
    "all 62 T655 companion constants and normalizations",
    "both T339 Bernoulli(1/3) entropy units",
    "both n=3 quadratic-algebraic entries in T35",
    "Programs snippet on every n=2..32"
  ],
  "versions": {
    "sage": "10.9",
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "mpmath": "1.4.1"
  },
  "records": [
    {
      "n": 2,
      "convention": "rho",
      "number": "1/2",
      "independent_lower": "1/2",
      "independent_upper": "1/2"
    },
    {
      "n": 2,
      "convention": "gamma",
      "number": "2",
      "independent_lower": "2",
      "independent_upper": "2"
    },
    {
      "n": 3,
      "convention": "rho",
      "number": "0.5930703308172535824813264335273661647775330572478490459624846838207375901821755783783906706995985153",
      "independent_lower": "1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088/2631853583043185361139951511522415818028677177331466903742585624093405954329024336908879125554659499783694069197184889976241891532037021942513337",
      "independent_upper": "18730491301895953388289583378758997834491588855989826905154941757752230432918593720721836618380951826958961586728439737372687854075729711837741056/31582242996518224333679418138268989816344126127977602844911027489120871451948292042906549506655913997404328830366218679714902698384444263310160033"
    },
    {
      "n": 3,
      "convention": "gamma",
      "number": "1.686140661634507164962652867054732329555066114495698091924969367641475180364351156756781341399197031",
      "independent_lower": "31582242996518224333679418138268989816344126127977602844911027489120871451948292042906549506655913997404328830366218679714902698384444263310160033/18730491301895953388289583378758997834491588855989826905154941757752230432918593720721836618380951826958961586728439737372687854075729711837741056",
      "independent_upper": "2631853583043185361139951511522415818028677177331466903742585624093405954329024336908879125554659499783694069197184889976241891532037021942513337/1560874275157996115690798614896583152874299071332485575429578479812685869409882810060153051531745985579913465560703311447723987839644142653145088"
    },
    {
      "n": 4,
      "convention": "rho",
      "number": "0.6572981061383759908250555200048017116450476861892634617720335487975394573147121369680843507888479620",
      "independent_lower": "3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176/4749364894197328112120418881062690503160642923344194720309233143116350007611880243736595326989742567844616401501208601077609716177119185160487903",
      "independent_upper": "24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408/37994919153578624896963351048501524025285143386753557762473865144930800060895041949892762615917940542756931212009668808620877729416953481283903209"
    },
    {
      "n": 4,
      "convention": "gamma",
      "number": "1.521379706804567569604080832254438514428389828427903909090498015428156403430588216049163792696733877",
      "independent_lower": "37994919153578624896963351048501524025285143386753557762473865144930800060895041949892762615917940542756931212009668808620877729416953481283903209/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408",
      "independent_upper": "4749364894197328112120418881062690503160642923344194720309233143116350007611880243736595326989742567844616401501208601077609716177119185160487903/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
    },
    {
      "n": 5,
      "convention": "rho",
      "number": "0.7041526820481346868919866932213269634363807579128100353088456638725219402096267467457988195956889451",
      "independent_lower": "31217485503159922313815972297931663057485981426649711508591569596253717388197656201203061030634919711598269311214066228954479756792882853062901760/44333404244600956844251899609391956593427170221590734424716699933740412449848593157270809745952750389941110989045716414578496926944641479791074707",
      "independent_upper": "243886605493436893076687283577591117636609229895700871160871637470732167095294189071898914301835310246861478993859892413706873099944397289553920/346354720660944975345717965698374660886149767356177612693099218232346972264442134041178201140255862421414929601919659488894507241755011560867771"
    },
    {
      "n": 5,
      "convention": "gamma",
      "number": "1.420146547040548928303971333427466699557026098881438679357092449900816007813141221593605223665297332",
      "independent_lower": "346354720660944975345717965698374660886149767356177612693099218232346972264442134041178201140255862421414929601919659488894507241755011560867771/243886605493436893076687283577591117636609229895700871160871637470732167095294189071898914301835310246861478993859892413706873099944397289553920",
      "independent_upper": "44333404244600956844251899609391956593427170221590734424716699933740412449848593157270809745952750389941110989045716414578496926944641479791074707/31217485503159922313815972297931663057485981426649711508591569596253717388197656201203061030634919711598269311214066228954479756792882853062901760"
    },
    {
      "n": 6,
      "convention": "rho",
      "number": "0.7397972891178014045096634298130904749149466600779959671837359746531860691968310434163160325263870735",
      "independent_lower": "37460982603791906776579166757517995668983177711979653810309883515504460865837187441443673236761903653917923173456879474745375708151459423675482112/50636820592386380305987041524626352325389604648215684860456038778889302595497996337455082656491360690541114063042435156335326956383837405270538997",
      "independent_upper": "6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352/8439470098731063384331173587437725387564934108035947476742673129814883765916332722909180442748560115090185677173739192722554492730639567545089829"
    },
    {
      "n": 6,
      "convention": "gamma",
      "number": "1.351721633357817418393314482567553901249872146535485076367539634365362010450536075235037130091742728",
      "independent_lower": "8439470098731063384331173587437725387564934108035947476742673129814883765916332722909180442748560115090185677173739192722554492730639567545089829/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352",
      "independent_upper": "50636820592386380305987041524626352325389604648215684860456038778889302595497996337455082656491360690541114063042435156335326956383837405270538997/37460982603791906776579166757517995668983177711979653810309883515504460865837187441443673236761903653917923173456879474745375708151459423675482112"
    },
    {
      "n": 7,
      "convention": "rho",
      "number": "0.7678067796924252144592440296633669584299197593999305461781073459758621976098871990040577279068812743",
      "independent_lower": "43704479704423891239342361217104328280480373997309596112028197434755204343476718681684285442888887596237577035699692720536271659510035994288062464/56921195358461689664220846780097176592951049586520585762884528604426934559268608354385462700872783845777845755616114092252621894369540906539840675",
      "independent_upper": "5463059963052986404917795152138041035060046749663699514003524679344400542934589835210535680361110949529697129462461590067033957438754499286007808/7115149419807711208027605847512147074118881198315073220360566075553366819908576044298182837609097980722230719452014261531577736796192613317480081"
    },
    {
      "n": 7,
      "convention": "gamma",
      "number": "1.302411005540467857961647248400319986270344105716185137361399641644415994862062700425102516567359598",
      "independent_lower": "7115149419807711208027605847512147074118881198315073220360566075553366819908576044298182837609097980722230719452014261531577736796192613317480081/5463059963052986404917795152138041035060046749663699514003524679344400542934589835210535680361110949529697129462461590067033957438754499286007808",
      "independent_upper": "56921195358461689664220846780097176592951049586520585762884528604426934559268608354385462700872783845777845755616114092252621894369540906539840675/43704479704423891239342361217104328280480373997309596112028197434755204343476718681684285442888887596237577035699692720536271659510035994288062464"
    },
    {
      "n": 8,
      "convention": "rho",
      "number": "0.7903887237079046110561087556617897438123695942954799474243342551321727431355016062867602372278802325",
      "independent_lower": "12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704/15798548014051187238900198494354536071680043033295634080826565859393994937102285531303644333200585261091848090860292415371882694524448814410188359",
      "independent_upper": "49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816/63194192056204748955600793977418144286720172133182536323306263437575979748409142125214577332802341044367392363441169661487530778097795257640753405"
    },
    {
      "n": 8,
      "convention": "gamma",
      "number": "1.265200236294817327267990952475657498217961080593644828196884920757541982425889564908337689385132255",
      "independent_lower": "63194192056204748955600793977418144286720172133182536323306263437575979748409142125214577332802341044367392363441169661487530778097795257640753405/49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816",
      "independent_upper": "15798548014051187238900198494354536071680043033295634080826565859393994937102285531303644333200585261091848090860292415371882694524448814410188359/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
    },
    {
      "n": 9,
      "convention": "rho",
      "number": "0.8089772279052349111126698870326819820915206846547188735936047248004316255430276267103496441171877711",
      "independent_lower": "18730491301895953388289583378758997834491588855989826905154941757752230432918593720721836618380951826958961586728439737372687854075729711837741056/23153298579734654516422348510135508967320070018969984773910726082223292671503241166676757552799767602327255949758396019056919729171835981224940983",
      "independent_upper": "28095736952843930082434375068138496751737383283984740357732412636628345649377890581082754927571427740438442380092659606059031781113594567756611584/34729947869601981774633522765203263450980105028454977160866089123334939007254861750015136329199651403490883924637594028585379593757753971837411457"
    },
    {
      "n": 9,
      "convention": "gamma",
      "number": "1.236128738245697380441018706683008829530161628802622266674415482131775392052149702687382485604670640",
      "independent_lower": "34729947869601981774633522765203263450980105028454977160866089123334939007254861750015136329199651403490883924637594028585379593757753971837411457/28095736952843930082434375068138496751737383283984740357732412636628345649377890581082754927571427740438442380092659606059031781113594567756611584",
      "independent_upper": "23153298579734654516422348510135508967320070018969984773910726082223292671503241166676757552799767602327255949758396019056919729171835981224940983/18730491301895953388289583378758997834491588855989826905154941757752230432918593720721836618380951826958961586728439737372687854075729711837741056"
    },
    {
      "n": 10,
      "convention": "rho",
      "number": "0.8245433284854554200772683589663926817533921263244569072000089462784490824531518877014930753301261991",
      "independent_lower": "6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352/7572066724619817225796259888138677793477118366611627339666862719546779366350712092983193924200899595700114336050545056889576208378964119754069903",
      "independent_upper": "62434971006319844627631944595863326114971962853299423017183139192507434776395312402406122061269839423196538622428132457908959513585765706125803520/75720667246198172257962598881386777934771183666116273396668627195467793663507120929831939242008995957001143360505450568895762083789641197540698991"
    },
    {
      "n": 10,
      "convention": "gamma",
      "number": "1.212792542796784702950150386555760700438333544620091484124877147808719503683093631348405297816930200",
      "independent_lower": "75720667246198172257962598881386777934771183666116273396668627195467793663507120929831939242008995957001143360505450568895762083789641197540698991/62434971006319844627631944595863326114971962853299423017183139192507434776395312402406122061269839423196538622428132457908959513585765706125803520",
      "independent_upper": "7572066724619817225796259888138677793477118366611627339666862719546779366350712092983193924200899595700114336050545056889576208378964119754069903/6243497100631984462763194459586332611497196285329942301718313919250743477639531240240612206126983942319653862242813245790895951358576570612580352"
    },
    {
      "n": 11,
      "convention": "rho",
      "number": "0.8377674796860114619731178419845721665495799759435053253795311126518275392247890281387321625119802220",
      "independent_lower": "68678468106951829090395139055449658726469159138629365318901453111758178254034843642646734267396823365516192484670945703699855464944342276738383872/81977959006826057021664446998814606897538575875937106069235156755777460645243510195842509729669997492286768575551666912661125362641340037391868765",
      "independent_upper": "34339234053475914545197569527724829363234579569314682659450726555879089127017421821323367133698411682758096242335472851849927732472171138369191936/40988979503413028510832223499407303448769287937968553034617578377888730322621755097921254864834998746143384287775833456330562681320670018695934361"
    },
    {
      "n": 11,
      "convention": "gamma",
      "number": "1.193648624764943115967861313477747494676320512067210175633730164982140403245199934490336361077156937",
      "independent_lower": "40988979503413028510832223499407303448769287937968553034617578377888730322621755097921254864834998746143384287775833456330562681320670018695934361/34339234053475914545197569527724829363234579569314682659450726555879089127017421821323367133698411682758096242335472851849927732472171138369191936",
      "independent_upper": "81977959006826057021664446998814606897538575875937106069235156755777460645243510195842509729669997492286768575551666912661125362641340037391868765/68678468106951829090395139055449658726469159138629365318901453111758178254034843642646734267396823365516192484670945703699855464944342276738383872"
    },
    {
      "n": 12,
      "convention": "rho",
      "number": "0.8491404716364564035320876069866256188534655367164366189759353042420294558043833190524196108753500047",
      "independent_lower": "37460982603791906776579166757517995668983177711979653810309883515504460865837187441443673236761903653917923173456879474745375708151459423675482112/44116355132146056965207505507735003821479282399361866782696164731547380368886223186730071142740159124979401962773276936234959344119995078132240071",
      "independent_upper": "74921965207583813553158333515035991337966355423959307620619767031008921731674374882887346473523807307835846346913758949490751416302918847350964224/88232710264292113930415011015470007642958564798723733565392329463094760737772446373460142285480318249958803925546553872469918688239990156264480095"
    },
    {
      "n": 12,
      "convention": "gamma",
      "number": "1.177661451082184761708116919838959144623167477287051110862334825647200126370868040342688078554207986",
      "independent_lower": "88232710264292113930415011015470007642958564798723733565392329463094760737772446373460142285480318249958803925546553872469918688239990156264480095/74921965207583813553158333515035991337966355423959307620619767031008921731674374882887346473523807307835846346913758949490751416302918847350964224",
      "independent_upper": "44116355132146056965207505507735003821479282399361866782696164731547380368886223186730071142740159124979401962773276936234959344119995078132240071/37460982603791906776579166757517995668983177711979653810309883515504460865837187441443673236761903653917923173456879474745375708151459423675482112"
    },
    {
      "n": 13,
      "convention": "rho",
      "number": "0.8590251016676569875917864047512332242346299133879335065774129658511854479527254097887696603686306166",
      "independent_lower": "3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176/3634059754779723069788179937470487030917314750532352428782820817648438907368454652395479112770814236518242471493907075072373970258310155593991131",
      "independent_upper": "81165462308215798015921527974622323949463551709289249922338080950259665209313906123127958679650791250155500209156572195281647367661495417963544576/94485553624272799814492678374232662803850183513841163148353341258859411591579820962282456932041170149474304258841583951881723226716064045443769355"
    },
    {
      "n": 13,
      "convention": "gamma",
      "number": "1.164110336308756593173910293719361556806568959358868999881424371313208760182592692493961871932817145",
      "independent_lower": "94485553624272799814492678374232662803850183513841163148353341258859411591579820962282456932041170149474304258841583951881723226716064045443769355/81165462308215798015921527974622323949463551709289249922338080950259665209313906123127958679650791250155500209156572195281647367661495417963544576",
      "independent_upper": "3634059754779723069788179937470487030917314750532352428782820817648438907368454652395479112770814236518242471493907075072373970258310155593991131/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176"
    },
    {
      "n": 14,
      "convention": "rho",
      "number": "0.8676952886855291641606701235137989224144785284050510527947620977071930495732152811031104148724031166",
      "independent_lower": "10926119926105972809835590304276082070120093499327399028007049358688801085869179670421071360722221899059394258924923180134067914877508998572015616/12592116228564456485389821155729102764280071150036531514252722715502557367989844493902030427196958838591163000325353371025735135864109408959636873",
      "independent_upper": "87408959408847782478684722434208656560960747994619192224056394869510408686953437363368570885777775192475154071399385441072543319020071988576124928/100736929828515651883118569245832822114240569200292252114021781724020458943918755951216243417575670708729304002602826968205881086912875271677094929"
    },
    {
      "n": 14,
      "convention": "gamma",
      "number": "1.152478310116099774593691865420006714289164456326386487864670280913873569106316586874400564615003341",
      "independent_lower": "100736929828515651883118569245832822114240569200292252114021781724020458943918755951216243417575670708729304002602826968205881086912875271677094929/87408959408847782478684722434208656560960747994619192224056394869510408686953437363368570885777775192475154071399385441072543319020071988576124928",
      "independent_upper": "12592116228564456485389821155729102764280071150036531514252722715502557367989844493902030427196958838591163000325353371025735135864109408959636873/10926119926105972809835590304276082070120093499327399028007049358688801085869179670421071360722221899059394258924923180134067914877508998572015616"
    },
    {
      "n": 15,
      "convention": "rho",
      "number": "0.8753616884405092691954867943924196776941357234044416393313220820431294079378956203410653839023986726",
      "independent_lower": "93652456509479766941447916893794989172457944279949134525774708788761152164592968603609183091904759134794807933642198686863439270378648559188705280/106987154848329315442813837580638250781660794304579124070438925861525869755987656294011593204389564421144412496577168249926910769029045334317611929",
      "independent_upper": "3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176/3566238494944310514760461252687941692722026476819304135681297528717528991866255209800386440146318814038147083219238941664230358967634844477253729"
    },
    {
      "n": 15,
      "convention": "gamma",
      "number": "1.142384928659076578110934938125318919300732775854132783386888820415892980886523677742201398441656192",
      "independent_lower": "3566238494944310514760461252687941692722026476819304135681297528717528991866255209800386440146318814038147083219238941664230358967634844477253729/3121748550315992231381597229793166305748598142664971150859156959625371738819765620120306103063491971159826931121406622895447975679288285306290176",
      "independent_upper": "106987154848329315442813837580638250781660794304579124070438925861525869755987656294011593204389564421144412496577168249926910769029045334317611929/93652456509479766941447916893794989172457944279949134525774708788761152164592968603609183091904759134794807933642198686863439270378648559188705280"
    },
    {
      "n": 16,
      "convention": "rho",
      "number": "0.8821889424291327650368617151707255683923484243508026821790571891562174359495747255528311792335108988",
      "independent_lower": "99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632/113236460814216684969531236606452225219937525801406308928925121981747351464470568155776891643480459225655582054216375552878341432134160608401478005",
      "independent_upper": "49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816/56618230407108342484765618303226112609968762900703154464462560990873675732235284077888445821740229612827791027108187776439170716067080304200738971"
    },
    {
      "n": 16,
      "convention": "gamma",
      "number": "1.133544019772534306493283278092648571689698615923708918703637194824409037436119482502431513242415623",
      "independent_lower": "56618230407108342484765618303226112609968762900703154464462560990873675732235284077888445821740229612827791027108187776439170716067080304200738971/49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816",
      "independent_upper": "113236460814216684969531236606452225219937525801406308928925121981747351464470568155776891643480459225655582054216375552878341432134160608401478005/99895953610111751404211111353381321783955140565279076827493022708011895642232499843849795298031743077114461795885011932654335221737225129801285632"
    },
    {
      "n": 17,
      "convention": "rho",
      "number": "0.8883075804350725732623409510538278328272701634391913351504280065243892297303594413020311533347085663",
      "independent_lower": "106139450710743735866974305812967654395452336850609019129211336627262639119872031084090407504158727019434115658127825178445231173095801700413865984/119485021909594737352640552455090591130918057924224639619718968245916713016190092064494009213260678920488944448813395303096957377795232429190149593",
      "independent_upper": "53069725355371867933487152906483827197726168425304509564605668313631319559936015542045203752079363509717057829063912589222615586547900850206932992/59742510954797368676320276227545295565459028962112319809859484122958356508095046032247004606630339460244472224406697651548478688897616214595074763"
    },
    {
      "n": 17,
      "convention": "gamma",
      "number": "1.125736199966033223161518792466933087447472108058760704577749572696449218136877170627779775179942187",
      "independent_lower": "59742510954797368676320276227545295565459028962112319809859484122958356508095046032247004606630339460244472224406697651548478688897616214595074763/53069725355371867933487152906483827197726168425304509564605668313631319559936015542045203752079363509717057829063912589222615586547900850206932992",
      "independent_upper": "119485021909594737352640552455090591130918057924224639619718968245916713016190092064494009213260678920488944448813395303096957377795232429190149593/106139450710743735866974305812967654395452336850609019129211336627262639119872031084090407504158727019434115658127825178445231173095801700413865984"
    },
    {
      "n": 18,
      "convention": "rho",
      "number": "0.8938224132607180960297403242369392938952700432520690492381411248110233603088312890618393817890260458",
      "independent_lower": "12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704/13970330141656059647373072320728646951192219424704035518102127767226705776158236334224356736046120830416709518441276774592417048568308822315635929",
      "independent_upper": "56191473905687860164868750136276993503474766567969480715464825273256691298755781162165509855142855480876884760185319212118063562227189135513223168/62866485637452268413178825443278911280364987411168159831459574952520175992712063504009605312207543736875192832985745485665876718557389700420361645"
    },
    {
      "n": 18,
      "convention": "gamma",
      "number": "1.118790472429461307513640477704291455979964589594970540744436129877821386885704516919440397689271356",
      "independent_lower": "62866485637452268413178825443278911280364987411168159831459574952520175992712063504009605312207543736875192832985745485665876718557389700420361645/56191473905687860164868750136276993503474766567969480715464825273256691298755781162165509855142855480876884760185319212118063562227189135513223168",
      "independent_upper": "13970330141656059647373072320728646951192219424704035518102127767226705776158236334224356736046120830416709518441276774592417048568308822315635929/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
    },
    {
      "n": 19,
      "convention": "rho",
      "number": "0.8988185655745158867245524033817432245308652635489870001674462440821240405166643177568082126685156910",
      "independent_lower": "118626444912007704792500694732140319618446729421268903732647964465764126075151093564571631916412694904073423382613451670027023075812954841639026688/131980412349607911315442887901316665568379213118261946628977400552634238114189072770101406251466814713566406249352675760745918962060754730737988739",
      "independent_upper": "14828305614000963099062586841517539952305841177658612966580995558220515759393886695571453989551586863009177922826681458753377884476619355204878336/16497551543700988914430360987664583196047401639782743328622175069079279764273634096262675781433351839195800781169084470093239870257594341342248583"
    },
    {
      "n": 19,
      "convention": "gamma",
      "number": "1.112571589307136693181972512580130385479267940891209996463747167807213672989436861437104745901908596",
      "independent_lower": "16497551543700988914430360987664583196047401639782743328622175069079279764273634096262675781433351839195800781169084470093239870257594341342248583/14828305614000963099062586841517539952305841177658612966580995558220515759393886695571453989551586863009177922826681458753377884476619355204878336",
      "independent_upper": "131980412349607911315442887901316665568379213118261946628977400552634238114189072770101406251466814713566406249352675760745918962060754730737988739/118626444912007704792500694732140319618446729421268903732647964465764126075151093564571631916412694904073423382613451670027023075812954841639026688"
    },
    {
      "n": 20,
      "convention": "rho",
      "number": "0.9033658878176048386063893060216821582136635005717500152078881767555224391385012710238608576719579260",
      "independent_lower": "31217485503159922313815972297931663057485981426649711508591569596253717388197656201203061030634919711598269311214066228954479756792882853062901760/34556856666988654062225603514472388192245241320335936828873362867993583533921051206067820858658456685794776224069540183828479793149029360583997293",
      "independent_upper": "124869942012639689255263889191726652229943925706598846034366278385014869552790624804812244122539678846393077244856264915817919027171531412251607040/138227426667954616248902414057889552768980965281343747315493451471974334135684204824271283434633826743179104896278160735313919172596117442335989093"
    },
    {
      "n": 20,
      "convention": "gamma",
      "number": "1.106971176890294740094260102952581132852852752089120743900551037008266547166426551512163736294358559",
      "independent_lower": "138227426667954616248902414057889552768980965281343747315493451471974334135684204824271283434633826743179104896278160735313919172596117442335989093/124869942012639689255263889191726652229943925706598846034366278385014869552790624804812244122539678846393077244856264915817919027171531412251607040",
      "independent_upper": "34556856666988654062225603514472388192245241320335936828873362867993583533921051206067820858658456685794776224069540183828479793149029360583997293/31217485503159922313815972297931663057485981426649711508591569596253717388197656201203061030634919711598269311214066228954479756792882853062901760"
    },
    {
      "n": 21,
      "convention": "rho",
      "number": "0.9075222331817433690880646928165524196267516179483492631553556756712865541690740864728945452534601804",
      "independent_lower": "43704479704423891239342361217104328280480373997309596112028197434755204343476718681684285442888887596237577035699692720536271659510035994288062464/48158026444374161425871853232648367784257712849710542904031819351699381164738654316106654360751419187086082285456297860251332049614158725893091239",
      "independent_upper": "9365245650947976694144791689379498917245794427994913452577470878876115216459296860360918309190475913479480793364219868686343927037864855918870528/10319577095223034591258254264138935953769509896366544908006818432507010249586854496308568791589589825804160489740635255768142582060176869834233831"
    },
    {
      "n": 21,
      "convention": "gamma",
      "number": "1.101901378761854235499525173747009044798466440514781339803492958564492381321178780317711670180807934",
      "independent_lower": "10319577095223034591258254264138935953769509896366544908006818432507010249586854496308568791589589825804160489740635255768142582060176869834233831/9365245650947976694144791689379498917245794427994913452577470878876115216459296860360918309190475913479480793364219868686343927037864855918870528",
      "independent_upper": "48158026444374161425871853232648367784257712849710542904031819351699381164738654316106654360751419187086082285456297860251332049614158725893091239/43704479704423891239342361217104328280480373997309596112028197434755204343476718681684285442888887596237577035699692720536271659510035994288062464"
    },
    {
      "n": 22,
      "convention": "rho",
      "number": "0.9113359260736960705719758530043870231947725283126087300436840224843758233977339028255486913333424914",
      "independent_lower": "68678468106951829090395139055449658726469159138629365318901453111758178254034843642646734267396823365516192484670945703699855464944342276738383872/75360211467618667792713012988043838673665228336529819607934588058826909107663896783781119443930624880080072096018898752381984275574862773456953281",
      "independent_upper": "137356936213903658180790278110899317452938318277258730637802906223516356508069687285293468534793646731032384969341891407399710929888684553476767744/150720422935237335585426025976087677347330456673059639215869176117653818215327793567562238887861249760160144192037797504763968551149725546913906475"
    },
    {
      "n": 22,
      "convention": "gamma",
      "number": "1.097290221299949084211939594897600932312770273754821041969602548000383084712702440228103937546396144",
      "independent_lower": "150720422935237335585426025976087677347330456673059639215869176117653818215327793567562238887861249760160144192037797504763968551149725546913906475/137356936213903658180790278110899317452938318277258730637802906223516356508069687285293468534793646731032384969341891407399710929888684553476767744",
      "independent_upper": "75360211467618667792713012988043838673665228336529819607934588058826909107663896783781119443930624880080072096018898752381984275574862773456953281/68678468106951829090395139055449658726469159138629365318901453111758178254034843642646734267396823365516192484670945703699855464944342276738383872"
    },
    {
      "n": 23,
      "convention": "rho",
      "number": "0.9148476454835643517927033228381697845715114342843201934030021274988378932997585634118048447005028870",
      "independent_lower": "143600433314535642643553472570485650064435514562588672939521220142767099985709218525534080740920630673352038831584704653190606881247261124089348096/156966500404154441062642103789433949890224016269855296141071642435292666762863577224106296816091887334040463424024143834385943962835804784182028403",
      "independent_upper": "17950054164316955330444184071310706258054439320323584117440152517845887498213652315691760092615078834169004853948088081648825860155907640511168512/19620812550519305132830262973679243736278002033731912017633955304411583345357947153013287102011485916755057928003017979298242995354475598022753539"
    },
    {
      "n": 23,
      "convention": "gamma",
      "number": "1.093078180762466036692755239911905990119407388920224390133773627109422652934098960475681823787049246",
      "independent_lower": "19620812550519305132830262973679243736278002033731912017633955304411583345357947153013287102011485916755057928003017979298242995354475598022753539/17950054164316955330444184071310706258054439320323584117440152517845887498213652315691760092615078834169004853948088081648825860155907640511168512",
      "independent_upper": "156966500404154441062642103789433949890224016269855296141071642435292666762863577224106296816091887334040463424024143834385943962835804784182028403/143600433314535642643553472570485650064435514562588672939521220142767099985709218525534080740920630673352038831584704653190606881247261124089348096"
    },
    {
      "n": 24,
      "convention": "rho",
      "number": "0.9180918788322840213271288784647203001707923531438549704659134991243776708967783779963210675857683545",
      "independent_lower": "24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408/27202057853177195575448991393718594462781338913476610295549502481046641720772382990428523278765821549174049650467576293526815283904851389452647129",
      "independent_upper": "149843930415167627106316667030071982675932710847918615241239534062017843463348749765774692947047614615671692693827517898981502832605837694701928448/163212347119063173452693948362311566776688033480859661773297014886279850324634297942571139672594929295044297902805457761160891703429108336715882679"
    },
    {
      "n": 24,
      "convention": "gamma",
      "number": "1.089215603640775544808380508495398294541680944092081148481593147059913620336719256682598122135988913",
      "independent_lower": "163212347119063173452693948362311566776688033480859661773297014886279850324634297942571139672594929295044297902805457761160891703429108336715882679/149843930415167627106316667030071982675932710847918615241239534062017843463348749765774692947047614615671692693827517898981502832605837694701928448",
      "independent_upper": "27202057853177195575448991393718594462781338913476610295549502481046641720772382990428523278765821549174049650467576293526815283904851389452647129/24973988402527937851052777838345330445988785141319769206873255677002973910558124960962448824507935769278615448971252983163583805434306282450321408"
    },
    {
      "n": 25,
      "convention": "rho",
      "number": "0.9210980563483186102865772378571343039484558776060130819750295914042605136201427952289201270487501850",
      "independent_lower": "156087427515799611569079861489658315287429907133248557542957847981268586940988281006015305153174598557991346556070331144772398783964414265314508800/169457992490621692423584131555316829261724714398718839562526104730667261227142975121158366630708551841480390503706527787482272340947876685973876653",
      "independent_upper": "78043713757899805784539930744829157643714953566624278771478923990634293470494140503007652576587299278995673278035165572386199391982207132657254400/84728996245310846211792065777658414630862357199359419781263052365333630613571487560579183315354275920740195251853263893741136170473938342986938277"
    },
    {
      "n": 25,
      "convention": "gamma",
      "number": "1.085660742749243364859398113520118634643524356138145290051465118356414020156138628203907747861019371",
      "independent_lower": "84728996245310846211792065777658414630862357199359419781263052365333630613571487560579183315354275920740195251853263893741136170473938342986938277/78043713757899805784539930744829157643714953566624278771478923990634293470494140503007652576587299278995673278035165572386199391982207132657254400",
      "independent_upper": "169457992490621692423584131555316829261724714398718839562526104730667261227142975121158366630708551841480390503706527787482272340947876685973876653/156087427515799611569079861489658315287429907133248557542957847981268586940988281006015305153174598557991346556070331144772398783964414265314508800"
    },
    {
      "n": 26,
      "convention": "rho",
      "number": "0.9238914449499613678152108679361422946817367989556164141605428349087597485520722409924146766973354641",
      "independent_lower": "81165462308215798015921527974622323949463551709289249922338080950259665209313906123127958679650791250155500209156572195281647367661495417963544576/87851730581412384925029816017589921908746397869955338279258595222074316507019617228451271751678341285359535440379224012508652401994777700182167807",
      "independent_upper": "162330924616431596031843055949244647898927103418578499844676161900519330418627812246255917359301582500311000418313144390563294735322990835927089152/175703461162824769850059632035179843817492795739910676558517190444148633014039234456902543503356682570719070880758448025017304803989555400364335511"
    },
    {
      "n": 26,
      "convention": "gamma",
      "number": "1.082378244182313785626033886193978129549789862322153460053234647521357221193288659028777634499598723",
      "independent_lower": "175703461162824769850059632035179843817492795739910676558517190444148633014039234456902543503356682570719070880758448025017304803989555400364335511/162330924616431596031843055949244647898927103418578499844676161900519330418627812246255917359301582500311000418313144390563294735322990835927089152",
      "independent_upper": "87851730581412384925029816017589921908746397869955338279258595222074316507019617228451271751678341285359535440379224012508652401994777700182167807/81165462308215798015921527974622323949463551709289249922338080950259665209313906123127958679650791250155500209156572195281647367661495417963544576"
    },
    {
      "n": 27,
      "convention": "rho",
      "number": "0.9264938590662340304322021972135981661621586308379611570345841475685268074461284501603373864065628783",
      "independent_lower": "56191473905687860164868750136276993503474766567969480715464825273256691298755781162165509855142855480876884760185319212118063562227189135513223168/60649591312262322602390548028331885059791010688430630746034494558346018179989619653774768471468196960916376283627316335086393153337812031406406321",
      "independent_upper": "21071802714632947561825781301103872563803037462988555268299309477471259237033417935812066195678570805328831785069494704544273835835195925817458688/22743596742098370975896455510624456897421629008161486529762935459379756817496107370165538176800573860343641106360243625657397432501679511777402357"
    },
    {
      "n": 27,
      "convention": "gamma",
      "number": "1.079337968853726742428749282897868691218557122082829100972639751719301203541699256583175347550995350",
      "independent_lower": "22743596742098370975896455510624456897421629008161486529762935459379756817496107370165538176800573860343641106360243625657397432501679511777402357/21071802714632947561825781301103872563803037462988555268299309477471259237033417935812066195678570805328831785069494704544273835835195925817458688",
      "independent_upper": "60649591312262322602390548028331885059791010688430630746034494558346018179989619653774768471468196960916376283627316335086393153337812031406406321/56191473905687860164868750136276993503474766567969480715464825273256691298755781162165509855142855480876884760185319212118063562227189135513223168"
    },
    {
      "n": 28,
      "convention": "rho",
      "number": "0.9289242306767918704358217568141574391843087002374174040631052249169579192795402221149412812459102341",
      "independent_lower": "87408959408847782478684722434208656560960747994619192224056394869510408686953437363368570885777775192475154071399385441072543319020071988576124928/94096974244243489350656539463105628630164087767854164031112888047173218366398073468454120021505716159750861184259507538256308113576664480799903561",
      "independent_upper": "174817918817695564957369444868417313121921495989238384448112789739020817373906874726737141771555550384950308142798770882145086638040143977152249856/188193948488486978701313078926211257260328175535708328062225776094346436732796146936908240043011432319501722368519015076512616227153328961599807011"
    },
    {
      "n": 28,
      "convention": "gamma",
      "number": "1.076514065384454480359484790375876313435507625874404673358372148075238589948420115245160227341231034",
      "independent_lower": "188193948488486978701313078926211257260328175535708328062225776094346436732796146936908240043011432319501722368519015076512616227153328961599807011/174817918817695564957369444868417313121921495989238384448112789739020817373906874726737141771555550384950308142798770882145086638040143977152249856",
      "independent_upper": "94096974244243489350656539463105628630164087767854164031112888047173218366398073468454120021505716159750861184259507538256308113576664480799903561/87408959408847782478684722434208656560960747994619192224056394869510408686953437363368570885777775192475154071399385441072543319020071988576124928"
    },
    {
      "n": 29,
      "convention": "rho",
      "number": "0.9311990700509964580294839759662035168931035551555676243712451047417797397554389875571215897644594534",
      "independent_lower": "11316338494895471838758289958000227858338668267160520421864443978641972553221650372936109623605158395454372625315099007995998911837420034235301888/12152437495750227252750946304488221500134941205642508441386866484353934819147439135537171424551977511494059447932311037617761066082524440702521869",
      "independent_upper": "181061415918327549420132639328003645733418692274568326749831103658271560851546405966977753977682534327269962005041584127935982589398720547764830208/194438999932003636044015140871811544002159059290280135062189863749662957106359026168594742792831640183904951166916976601884177057320391051240349789"
    },
    {
      "n": 29,
      "convention": "gamma",
      "number": "1.073884233953579558165432584858558488142565959465698692531304961830037839273094458930959016574092384",
      "independent_lower": "194438999932003636044015140871811544002159059290280135062189863749662957106359026168594742792831640183904951166916976601884177057320391051240349789/181061415918327549420132639328003645733418692274568326749831103658271560851546405966977753977682534327269962005041584127935982589398720547764830208",
      "independent_upper": "12152437495750227252750946304488221500134941205642508441386866484353934819147439135537171424551977511494059447932311037617761066082524440702521869/11316338494895471838758289958000227858338668267160520421864443978641972553221650372936109623605158395454372625315099007995998911837420034235301888"
    },
    {
      "n": 30,
      "convention": "rho",
      "number": "0.9333328408727790912005539024626112472824637788580907389740812851760574145824509128522008719268986008",
      "independent_lower": "12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704/13378929417706034073658611101327045702162842136893484079146311901231665823705096867866779552504115694566234160401696697895864150732757677869160507",
      "independent_upper": "93652456509479766941447916893794989172457944279949134525774708788761152164592968603609183091904759134794807933642198686863439270378648559188705280/100341970632795255552439583259952842766221316026701130593597339259237493677788226509000846643780867709246756203012725234218981130495682584018703743"
    },
    {
      "n": 30,
      "convention": "gamma",
      "number": "1.071429136753485553705041486344382675109321924600516261357311096775474639384251971077609021196990601",
      "independent_lower": "100341970632795255552439583259952842766221316026701130593597339259237493677788226509000846643780867709246756203012725234218981130495682584018703743/93652456509479766941447916893794989172457944279949134525774708788761152164592968603609183091904759134794807933642198686863439270378648559188705280",
      "independent_upper": "13378929417706034073658611101327045702162842136893484079146311901231665823705096867866779552504115694566234160401696697895864150732757677869160507/12486994201263968925526388919172665222994392570659884603436627838501486955279062480481224412253967884639307724485626491581791902717153141225160704"
    },
    {
      "n": 31,
      "convention": "rho",
      "number": "0.9353382677492268250246572509779329916027577107607348017371023147303128157645441773952591342280241656",
      "independent_lower": "193548410119591518345659028247176310956413084845228211353267731496773047806825468447458978389936502211909269729527210619517774492115873688989990912/206928783727988884589198527527132844697580417261939162433685229906686980014136839003153993504978676428881886204453349546113891203474741895234220851",
      "independent_upper": "24193551264948939793207378530897038869551635605653526419158466437096630975853183555932372298742062776488658716190901327439721811514484211123748864/25866097965998610573649815940891605587197552157742395304210653738335872501767104875394249188122334553610235775556668693264236400434342736904277591"
    },
    {
      "n": 31,
      "convention": "gamma",
      "number": "1.069131922086726389098386753720500528442569800186675982862012902988237000209467033998748701455199903",
      "independent_lower": "25866097965998610573649815940891605587197552157742395304210653738335872501767104875394249188122334553610235775556668693264236400434342736904277591/24193551264948939793207378530897038869551635605653526419158466437096630975853183555932372298742062776488658716190901327439721811514484211123748864",
      "independent_upper": "206928783727988884589198527527132844697580417261939162433685229906686980014136839003153993504978676428881886204453349546113891203474741895234220851/193548410119591518345659028247176310956413084845228211353267731496773047806825468447458978389936502211909269729527210619517774492115873688989990912"
    },
    {
      "n": 32,
      "convention": "rho",
      "number": "0.9372265899039274634998542871296030461240703975919837523603234830012608824023999098767701473973576990",
      "independent_lower": "49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816/53293384271327498623069324381422566451752427723786862325931586562751326630692423706889353363338825691053604953407389195012843838709120916825939759",
      "independent_upper": "199791907220223502808422222706762643567910281130558153654986045416023791284464999687699590596063486154228923591770023865308670443474450259602571264/213173537085309994492277297525690265807009710895147449303726346251005306522769694827557413453355302764214419813629556780051375354836483667303758909"
    },
    {
      "n": 32,
      "convention": "gamma",
      "number": "1.066977837347217461279440530091593095174206517112928235207710723287718338928957059575154180317447951",
      "independent_lower": "213173537085309994492277297525690265807009710895147449303726346251005306522769694827557413453355302764214419813629556780051375354836483667303758909/199791907220223502808422222706762643567910281130558153654986045416023791284464999687699590596063486154228923591770023865308670443474450259602571264",
      "independent_upper": "53293384271327498623069324381422566451752427723786862325931586562751326630692423706889353363338825691053604953407389195012843838709120916825939759/49947976805055875702105555676690660891977570282639538413746511354005947821116249921924897649015871538557230897942505966327167610868612564900642816"
    }
  ]
}