back to table · edit · history · where entries came from · files · download
78632 bytes, as of the version from 2026-10-27 12:26 (current). Recorded here, not run.
{
"all_142_mpmath_diagonalizations_agree": true,
"all_142_permutation_determinants_match_T238": true,
"all_142_sturm_enclosures_within_written_intervals": true,
"all_142_trace_positive_tail_and_second_moments_pass": true,
"all_85_generator_enclosures_within_written_intervals": true,
"bipartite": 27,
"controls": "graph6 worked example; K2 spectrum and energy; edgeless matrix; Sturm isolator; rational endpoint width; wrong value rejected",
"corpus_key_checks": [
"T237",
"T238",
"T397",
"T400",
"T545",
"T546",
"T547"
],
"counts": {
"2": 1,
"3": 2,
"4": 6,
"5": 21,
"6": 112
},
"decimal_digits": 100,
"exact": 57,
"formula_checks": {
"complete": 5,
"complete_bipartite": 9,
"cycle": 4,
"path": 5
},
"irrational": 85,
"longest_written_value": 101,
"max_generator_width": "5/1322111937580497197903830616065542079656809365928562438569297590548811582472622691650378420879430569695182424050046716608512",
"max_generator_width_decimal": "3.78182804185e-123",
"max_independent_diagonalization_error": "4.13786947858e-133",
"mpmath_version": "1.4.1",
"regular": 11,
"rows": {
"A_": {
"exact": true,
"independent_lower": "2",
"independent_upper": "2",
"mp_error": "0.0",
"number": "2"
},
"BW": {
"exact": true,
"independent_lower": "10/3",
"independent_upper": "10/3",
"mp_error": "9.1648091e-151",
"number": "10/3"
},
"Bw": {
"exact": true,
"independent_lower": "4",
"independent_upper": "4",
"mp_error": "3.0549364e-151",
"number": "4"
},
"CF": {
"exact": true,
"independent_lower": "5",
"independent_upper": "5",
"mp_error": "0.0",
"number": "5"
},
"CL": {
"exact": false,
"independent_lower": "109671494115775811343553362221130212951905563624419894998815385449131775081643154552557914562132269391806330575675696478632836974481251/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "109671494115775811343553362221130212951905563624419894998815385449131775081643154552557914562132269391806330575675696478632836974481261/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "5.7612886e-134",
"number": "4.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145"
},
"CN": {
"exact": true,
"independent_lower": "6",
"independent_upper": "6",
"mp_error": "0.0",
"number": "6"
},
"C]": {
"exact": true,
"independent_lower": "4",
"independent_upper": "4",
"mp_error": "3.0549364e-151",
"number": "4"
},
"C^": {
"exact": true,
"independent_lower": "6",
"independent_upper": "6",
"mp_error": "6.1098727e-151",
"number": "6"
},
"C~": {
"exact": true,
"independent_lower": "6",
"independent_upper": "6",
"mp_error": "0.0",
"number": "6"
},
"D?{": {
"exact": true,
"independent_lower": "34/5",
"independent_upper": "34/5",
"mp_error": "0.0",
"number": "34/5"
},
"D@s": {
"exact": false,
"independent_lower": "372640481586289415509971701499204899099386031661742952164026682380296542161139652200406674336176071446776196265901315459815362043285967/56784275335594288324165922491250354246378231303696723459491421810987444383859212759858675837012778559434572000489545151057390752235520",
"independent_upper": "93160120396572353877492925374801224774846507915435738041006670595074135540284913050101668584044017861694049066475328864953840510821503/14196068833898572081041480622812588561594557825924180864872855452746861095964803189964668959253194639858643000122386287764347688058880",
"mp_error": "2.4783084e-133",
"number": "6.562388608184031245267074482433714361105490433996953456791786281627673844773530106026582365095707850"
},
"D@{": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "0.0",
"number": "8"
},
"DBg": {
"exact": false,
"independent_lower": "344801839943857885551793500233065072171763967898780329040872720789417340293285686686957000894154503200553935202217166636682387037359847/56784275335594288324165922491250354246378231303696723459491421810987444383859212759858675837012778559434572000489545151057390752235520",
"independent_upper": "344801839943857885551793500233065072171763967898780329040872720789417340293285686686957000894154503200553935202217166636682387037359907/56784275335594288324165922491250354246378231303696723459491421810987444383859212759858675837012778559434572000489545151057390752235520",
"mp_error": "7.2879022e-134",
"number": "6.072135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"DBk": {
"exact": false,
"independent_lower": "2783004167107452648050372106926143287989747325443232979761259448211053552707464605400643648825996020538799136011755491433515422088583/354901720847464302026037015570314714039863945648104521621821386318671527399120079749116723981329865996466075003059657194108692201472",
"independent_upper": "22264033336859621184402976855409146303917978603545863838090075585688428421659716843205149190607968164310393088094043931468123376708667/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "7.79768e-134",
"number": "7.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
},
"DB{": {
"exact": true,
"independent_lower": "42/5",
"independent_upper": "42/5",
"mp_error": "0.0",
"number": "42/5"
},
"DFw": {
"exact": true,
"independent_lower": "32/5",
"independent_upper": "32/5",
"mp_error": "6.1098727e-151",
"number": "32/5"
},
"DF{": {
"exact": true,
"independent_lower": "44/5",
"independent_upper": "44/5",
"mp_error": "1.2219745e-150",
"number": "44/5"
},
"DIk": {
"exact": false,
"independent_lower": "36002212778843887894914947694245806724035730991181503485065285613835850788175979705868284442705798055924884095685046031614821305324925/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "72004425557687775789829895388491613448071461982363006970130571227671701576351959411736568885411596111849768191370092063229642610649859/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.3875976e-133",
"number": "6.340172973252067445406511528850741850840279259646619907337454812773690100341494779351308368367151965"
},
"DJk": {
"exact": false,
"independent_lower": "225438484162694870133907476464229317017281239998864896192919565517969209447967268737228362883139213127172078078816866278920019128413041/28392137667797144162082961245625177123189115651848361729745710905493722191929606379929337918506389279717286000244772575528695376117760",
"independent_upper": "450876968325389740267814952928458634034562479997729792385839131035938418895934537474456725766278426254344156157633732557840038256826127/56784275335594288324165922491250354246378231303696723459491421810987444383859212759858675837012778559434572000489545151057390752235520",
"mp_error": "1.3875976e-133",
"number": "7.940172973252067445406511528850741850840279259646619907337454812773690100341494779351308368367151965"
},
"DJ{": {
"exact": true,
"independent_lower": "46/5",
"independent_upper": "46/5",
"mp_error": "0.0",
"number": "46/5"
},
"DK[": {
"exact": false,
"independent_lower": "79070838344105426167927614099141008159587464836644328309564650220938303982936667460870028934196236574110005013219426704047663668836035/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "19767709586026356541981903524785252039896866209161082077391162555234575995734166865217507233549059143527501253304856676011915917209011/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "2.4783084e-133",
"number": "6.962388608184031245267074482433714361105490433996953456791786281627673844773530106026582365095707850"
},
"DK{": {
"exact": true,
"independent_lower": "38/5",
"independent_upper": "38/5",
"mp_error": "0.0",
"number": "38/5"
},
"DLo": {
"exact": false,
"independent_lower": "36751555007809560088145986922956521387031526042025901842466928951381231804682937179090047122895961462432776400241298469710534333825407/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "36751555007809560088145986922956521387031526042025901842466928951381231804682937179090047122895961462432776400241298469710534333825413/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"mp_error": "3.3703666e-133",
"number": "6.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"DL{": {
"exact": false,
"independent_lower": "227944208181670625498107178762413332984087124616439626283705506708994629866228683606471274541885782434853228420377892839982871421678397/28392137667797144162082961245625177123189115651848361729745710905493722191929606379929337918506389279717286000244772575528695376117760",
"independent_upper": "56986052045417656374526794690603333246021781154109906570926376677248657466557170901617818635471445608713307105094473209995717855419603/7098034416949286040520740311406294280797278912962090432436427726373430547982401594982334479626597319929321500061193143882173844029440",
"mp_error": "3.043966e-134",
"number": "8.028427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145"
},
"DNw": {
"exact": true,
"independent_lower": "36/5",
"independent_upper": "36/5",
"mp_error": "2.4439491e-150",
"number": "36/5"
},
"DN{": {
"exact": true,
"independent_lower": "44/5",
"independent_upper": "44/5",
"mp_error": "0.0",
"number": "44/5"
},
"D]{": {
"exact": true,
"independent_lower": "36/5",
"independent_upper": "36/5",
"mp_error": "0.0",
"number": "36/5"
},
"D^{": {
"exact": true,
"independent_lower": "42/5",
"independent_upper": "42/5",
"mp_error": "0.0",
"number": "42/5"
},
"Dbk": {
"exact": false,
"independent_lower": "195114630106166658105563119113032677784433276470868853904232929119103647900186528447421970781882363024050796401304401378764149819574139/28392137667797144162082961245625177123189115651848361729745710905493722191929606379929337918506389279717286000244772575528695376117760",
"independent_upper": "195114630106166658105563119113032677784433276470868853904232929119103647900186528447421970781882363024050796401304401378764149819574169/28392137667797144162082961245625177123189115651848361729745710905493722191929606379929337918506389279717286000244772575528695376117760",
"mp_error": "3.3703666e-133",
"number": "6.872135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"D~{": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "0.0",
"number": "8"
},
"E?Bw": {
"exact": true,
"independent_lower": "26/3",
"independent_upper": "26/3",
"mp_error": "1.2219745e-150",
"number": "26/3"
},
"E?Fg": {
"exact": false,
"independent_lower": "284884683023301451480334813719767178819190378937849698751079204049947352888578999065122586003848428165397306649859271591980015509060583/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"independent_upper": "569769366046602902960669627439534357638380757875699397502158408099894705777157998130245172007696856330794613299718543183960031018121229/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.4116487e-133",
"number": "8.361607192003915478720883067257768289438285934824142517776676121752016647916880514849474150925766340"
},
"E?Fw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"E?NG": {
"exact": false,
"independent_lower": "576231309844463474844343392053973603562852821070617761360278849994105085766828741241877093186551428996213710950287897390912879051776431/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "576231309844463474844343392053973603562852821070617761360278849994105085766828741241877093186551428996213710950287897390912879051776473/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.2215865e-133",
"number": "8.456438958950993883154743189307410358480532558706953767731966906428287679670954926921196984144017630"
},
"E?NW": {
"exact": false,
"independent_lower": "222358453547867254424427287828004402504916849078590202662100514418181523110428921549375551118975630765292900247751498170533521989931699/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "222358453547867254424427287828004402504916849078590202662100514418181523110428921549375551118975630765292900247751498170533521989931727/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.3536495e-134",
"number": "9.789613948303991027650917559516928014519914099707057084116225642783509318073256233471354030214935582"
},
"E?Nw": {
"exact": true,
"independent_lower": "32/3",
"independent_upper": "32/3",
"mp_error": "1.2219745e-150",
"number": "32/3"
},
"E?]o": {
"exact": false,
"independent_lower": "188354094077559465570987335998573407501805553649632998117089954310397394844889076922845073510173452457612838785386067171124884573892129/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "188354094077559465570987335998573407501805553649632998117089954310397394844889076922845073510173452457612838785386067171124884573892157/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.7844074e-134",
"number": "8.292528739883944684658270131431140891024954258374657402464973434885330990741814151863067442169780297"
},
"E?]w": {
"exact": false,
"independent_lower": "722493880247541114399386502400808123691180867622907510232019991449161596453020383467828982988485309594160499032418329834848467405925919/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "722493880247541114399386502400808123691180867622907510232019991449161596453020383467828982988485309594160499032418329834848467405926003/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.715098e-133",
"number": "10.60290423680400064653990668714096387143351389351047937132007511639157455175987653965778785693872837"
},
"E?^o": {
"exact": false,
"independent_lower": "602294481549744431425245230773198099817468294432496351260664425594399509482251086304719884734707021466922470399435212637886072154410025/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "75286810193718053928155653846649762477183536804062043907583053199299938685281385788089985591838377683365308799929401579735759019301261/8517641300339143248624888373687553136956734695554508518923713271648116657578881913978801375551916783915185800073431772658608612835328",
"mp_error": "1.6135664e-133",
"number": "8.838927061969654849165909941143866420626642321820126569430132928887123820824476166551859190650440482"
},
"E?^w": {
"exact": true,
"independent_lower": "34/3",
"independent_upper": "34/3",
"mp_error": "1.2219745e-150",
"number": "34/3"
},
"E?~o": {
"exact": true,
"independent_lower": "28/3",
"independent_upper": "28/3",
"mp_error": "0.0",
"number": "28/3"
},
"E?~w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "0.0",
"number": "12"
},
"E@FG": {
"exact": false,
"independent_lower": "264454801057979511014706004292586490959135539816405545358000574617866841503567620464279971120471444476523274153391672615466687312026529/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"independent_upper": "528909602115959022029412008585172981918271079632811090716001149235733683007135240928559942240942888953046548306783345230933374624053121/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "3.1676419e-133",
"number": "7.761972820088403708164328735030494311149172607772332201996097966351589426199865882925275834017262037"
},
"E@JW": {
"exact": false,
"independent_lower": "24054205037464208876489585710603296118153586151382623267182606656789360340727389865530891145149258587159845400169603749961006242136255/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "96216820149856835505958342842413184472614344605530493068730426627157441362909559462123564580597034348639381600678414999844024968545027/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "8.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"E@NW": {
"exact": false,
"independent_lower": "29732632571023637708906177959728331542791409281752295613131748837888104779113311141516758728850536443103302600218558265066745317359807/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "118930530284094550835624711838913326171165637127009182452526995351552419116453244566067034915402145772413210400874233060266981269439235/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"E@Nw": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "1.2219745e-150",
"number": "12"
},
"E@QW": {
"exact": false,
"independent_lower": "178112266694876969475223814843273170431343828828366910704720604685507427373277734745641193524863745314483144704752351451744987013669315/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "178112266694876969475223814843273170431343828828366910704720604685507427373277734745641193524863745314483144704752351451744987013669343/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "2.9810816e-133",
"number": "7.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
},
"E@Rw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"E@UW": {
"exact": false,
"independent_lower": "104609156679257849298931840997360127657280776744315107019786746782744963763911860387461099279071822389617591904269754512323918346018503/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "104609156679257849298931840997360127657280776744315107019786746782744963763911860387461099279071822389617591904269754512323918346018517/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "3.4723221e-133",
"number": "9.211102550927978586238442534940991892502593147690492425420906112454333896586020890409238164036981435"
},
"E@Vw": {
"exact": false,
"independent_lower": "61488438730300525830387894050032765785803329688323007825398699448875410400726316294054684142740734483612325844212651210292643694961625/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "122976877460601051660775788100065531571606659376646015650797398897750820801452632588109368285481468967224651688425302420585287389923257/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "7.4465933e-134",
"number": "10.82842712474619009760337744841939615713934375075389614635335947598146495692421407770077506865528315"
},
"E@YO": {
"exact": false,
"independent_lower": "42384360124683628886524862440860940336026290027781965163365210939711382694355165696515260071815407190225455852623410733545968200746929/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "84768720249367257773049724881721880672052580055563930326730421879422765388710331393030520143630814380450911705246821467091936401493865/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.958739e-133",
"number": "7.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151"
},
"E@YW": {
"exact": false,
"independent_lower": "98643896037490711210876598091907857991886186759381036594899864699661551761442413320545446316724470575181692707905471100949761434214707/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "197287792074981422421753196183815715983772373518762073189799729399323103522884826641090892633448941150363385415810942201899522868429435/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "2.7415941e-133",
"number": "8.685846165554340416109718021962283266803071289977970214792795219557662739625068406045771876985518948"
},
"E@]o": {
"exact": false,
"independent_lower": "233781514346034896230320073991573690898908138692590376884683091759187350351976447130732014179783675305160496385777703291970797175680545/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "233781514346034896230320073991573690898908138692590376884683091759187350351976447130732014179783675305160496385777703291970797175680573/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.7844074e-134",
"number": "10.29252873988394468465827013143114089102495425837465740246497343488533099074181415186306744216978030"
},
"E@]w": {
"exact": false,
"independent_lower": "271116240261497325239350659462269563495128679236274089255735422115580502489065041294534288109235251763085271411067200692180097536500917/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "271116240261497325239350659462269563495128679236274089255735422115580502489065041294534288109235251763085271411067200692180097536500945/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.715098e-133",
"number": "11.93623757013733397987324002047429720476684722684381270465340844972490788509320987299112119027206170"
},
"E@^W": {
"exact": false,
"independent_lower": "246111370663365998857511383419459992706588649635533643372390728962428780908790936338488786389468980859932101537949748997212250867612679/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "123055685331682999428755691709729996353294324817766821686195364481214390454395468169244393194734490429966050768974874498606125433806357/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.2467157e-133",
"number": "10.83536635841750089015044938888758388249880910061959863002842727990630935421142513108957077379108529"
},
"E@^o": {
"exact": false,
"independent_lower": "231049774028898430914636902253066222203891154839470369598616900163993140165475275573497922024642489054005928533406161626525965785995619/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "28881221753612303864329612781633277775486394354933796199827112520499142520684409446687240253080311131750741066675770203315745723249455/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "1.6135664e-133",
"number": "10.17226039530298818249924327447719975395997565515345990276346626222045715415780949988519252398377382"
},
"E@^w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "2.4439491e-150",
"number": "12"
},
"E@`w": {
"exact": false,
"independent_lower": "102532797719179722270000394238755773505913890486442796044958590924780776880707561389688685446217846529723711816685029884134323936651597/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "205065595438359444540000788477511547011827780972885592089917181849561553761415122779377370892435693059447423633370059768268647873303215/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.4116487e-133",
"number": "9.028273858670582145387549733924434956104952601490809184443342788418683314583547181516140817592433007"
},
"E@ow": {
"exact": false,
"independent_lower": "207219576704312968501225376682324628986651802037858380042623995814298347091305370483254677952053883947920456183559844503919597217854949/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "207219576704312968501225376682324628986651802037858380042623995814298347091305370483254677952053883947920456183559844503919597217854963/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.2215865e-133",
"number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"E@vw": {
"exact": false,
"independent_lower": "248996517225161713654520704184282583113380099759203414154315575339456518980048075337513939207612918843315325227222125649787152541248895/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "62249129306290428413630176046070645778345024939800853538578893834864129745012018834378484801903229710828831306805531412446788135312229/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"mp_error": "5.6863391e-135",
"number": "10.96238860818403124526707448243371436110549043399695345679178628162767384477353010602658236509570785"
},
"E@~o": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"E@~w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "2.4439491e-150",
"number": "12"
},
"EAMw": {
"exact": false,
"independent_lower": "117284093237538794697303931963832881394396451931696842651447015424850729621619576310517475715167411944355242894575910818623370303221615/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "234568186475077589394607863927665762788792903863393685302894030849701459243239152621034951430334823888710485789151821637246740606443265/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.7974618e-133",
"number": "10.32716298168739606589089362920143894068697857899730884351627826147668684132357723767537935431420624"
},
"EA]o": {
"exact": false,
"independent_lower": "104388673377894692343478673718256577561804560235709949065279438148035544862310113934941627311662850070073243522603305357076660337115417/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "104388673377894692343478673718256577561804560235709949065279438148035544862310113934941627311662850070073243522603305357076660337115431/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "2.3992088e-133",
"number": "9.191688434954841334000599958088537435893160330236880994896402687062374139651169785852916278911606541"
},
"EBYW": {
"exact": false,
"independent_lower": "24054205037464208876489585710603296118153586151382623267182606656789360340727389865530891145149258587159845400169603749961006242136255/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "96216820149856835505958342842413184472614344605530493068730426627157441362909559462123564580597034348639381600678414999844024968545027/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "8.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"EBYw": {
"exact": false,
"independent_lower": "111179226773933627212213643914002201252458424539295101331050257209090761555214460774687775559487815382646450123875749085266760994965853/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "111179226773933627212213643914002201252458424539295101331050257209090761555214460774687775559487815382646450123875749085266760994965867/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "2.7464742e-133",
"number": "9.789613948303991027650917559516928014519914099707057084116225642783509318073256233471354030214935582"
},
"EBZw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "2.4439491e-150",
"number": "10"
},
"EB]w": {
"exact": false,
"independent_lower": "133892936908171342541880012910502342951009717060773790714846825933485739308758145878631245894292926806420278924071567145689717295860061/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "133892936908171342541880012910502342951009717060773790714846825933485739308758145878631245894292926806420278924071567145689717295860075/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "2.7464742e-133",
"number": "11.78961394830399102765091755951692801451991409970705708411622564278350931807325623347135403021493558"
},
"EB^w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "2.4439491e-150",
"number": "12"
},
"EBhw": {
"exact": false,
"independent_lower": "233204024646774764822766838492579378188306253210318364050250572262599017560439326118417128763057034591433338188562667595634267227590735/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "116602012323387382411383419246289689094153126605159182025125286131299508780219663059208564381528517295716669094281333797817133613795385/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "3.0732396e-133",
"number": "10.26710402081131519320377596446761267654224348648012664814236735166379618100093014062769427761155734"
},
"EBjW": {
"exact": false,
"independent_lower": "223539686963352400134556552836273453828446413871324289472313742134297382880365104953528134194473968162030802305143987572590899615457717/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "223539686963352400134556552836273453828446413871324289472313742134297382880365104953528134194473968162030802305143987572590899615457745/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.1825966e-133",
"number": "9.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
},
"EBjw": {
"exact": false,
"independent_lower": "237861060568189101671249423677826652342331274254018364905053990703104838232906489132134069830804291544826420801748466120533962538878449/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "237861060568189101671249423677826652342331274254018364905053990703104838232906489132134069830804291544826420801748466120533962538878477/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "5.9199796e-134",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"EBnW": {
"exact": false,
"independent_lower": "1989419793960868197321847031154066708684876082278028068805989304799061586210242898303196400216827090834240948507274571449169916358011/177450860423732151013018507785157357019931972824052260810910693159335763699560039874558361990664932998233037501529828597054346100736",
"independent_upper": "63661433406747782314299104996930134677916034632896898201791657753569970758727772745702284806938466906695710352232786286373437323456359/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"mp_error": "2.6913561e-133",
"number": "11.21110255092797858623844253494099189250259314769049242542090611245433389658602089040923816403698144"
},
"EBn_": {
"exact": false,
"independent_lower": "50131583663181668165554709551782694936527683427583663133500415086677921523954473742082948975338178771725411444114742180081165544514521/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "100263167326363336331109419103565389873055366855167326267000830173355843047908947484165897950676357543450822888229484360162331089029049/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "7.4465933e-134",
"number": "8.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145"
},
"EBnw": {
"exact": false,
"independent_lower": "67241776807956957698472322707318434306387249728570417059976719895771834596863118790353768716021047752394614976383905923359203054311535/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "33620888403978478849236161353659217153193624864285208529988359947885917298431559395176884358010523876197307488191952961679601527155771/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "1.0075746e-134",
"number": "11.84161925296377898952839493620177218169191493345677193698135030163768787393081534461903349039727299"
},
"EB~o": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "3.6659236e-150",
"number": "10"
},
"EB~w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "3.6659236e-150",
"number": "12"
},
"ECXw": {
"exact": false,
"independent_lower": "102532797719179722270000394238755773505913890486442796044958590924780776880707561389688685446217846529723711816685029884134323936651597/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "205065595438359444540000788477511547011827780972885592089917181849561553761415122779377370892435693059447423633370059768268647873303215/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.4116487e-133",
"number": "9.028273858670582145387549733924434956104952601490809184443342788418683314583547181516140817592433007"
},
"EC\\w": {
"exact": false,
"independent_lower": "29732632571023637708906177959728331542791409281752295613131748837888104779113311141516758728850536443103302600218558265066745317359807/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "118930530284094550835624711838913326171165637127009182452526995351552419116453244566067034915402145772413210400874233060266981269439235/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"EENg": {
"exact": false,
"independent_lower": "51804894176078242125306344170581157246662950509464595010655998953574586772826342620813669488013470986980114045889961125979899304463739/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "103609788352156484250612688341162314493325901018929190021311997907149173545652685241627338976026941973960228091779922251959798608927485/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.8602526e-133",
"number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"EFz_": {
"exact": true,
"independent_lower": "6",
"independent_upper": "6",
"mp_error": "3.6659236e-150",
"number": "6"
},
"EFzw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "2.4439491e-150",
"number": "10"
},
"EF~w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "0.0",
"number": "12"
},
"EGNW": {
"exact": false,
"independent_lower": "13252433380975634307005558371900809669227630316068335212005824979324517019280870700419317214015238143129302730742611056154653563566655/1419606883389857208104148062281258856159455782592418086487285545274686109596480318996466895925319463985864300012238628776434768805888",
"independent_upper": "212038934095610148912088933950412954707642085057093363392093199669192272308493931206709075424243810290068843691881776898474457017066515/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "4.1378695e-133",
"number": "9.335283969129787997753184532308777441194571558576941107248608330720024157796491004294276481816537172"
},
"EGcw": {
"exact": false,
"independent_lower": "101075397694053657278992953587797033007411642495317765518827752696669812184162672285734173683803806908320906587758116210031152957947843/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "202150795388107314557985907175594066014823284990635531037655505393339624368325344571468347367607613816641813175516232420062305915895721/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.2944272e-133",
"number": "8.899946076330061743071031800989002859126776590333782481668008957932782931449494692554548818582887039"
},
"EGdo": {
"exact": false,
"independent_lower": "95722837064072408781457457763028877552562277445961411580599047780753939752370435189407813818425518633432367651195830225296547870973579/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "191445674128144817562914915526057755105124554891922823161198095561507879504740870378815627636851037266864735302391660450593095741947179/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.1676419e-133",
"number": "8.428639486755070374830995401697160977815839274438998868662764633018256092866532549591942500683928704"
},
"EGdw": {
"exact": false,
"independent_lower": "222358453547867254424427287828004402504916849078590202662100514418181523110428921549375551118975630765292900247751498170533521989931699/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "222358453547867254424427287828004402504916849078590202662100514418181523110428921549375551118975630765292900247751498170533521989931727/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.3536495e-134",
"number": "9.789613948303991027650917559516928014519914099707057084116225642783509318073256233471354030214935582"
},
"EHQW": {
"exact": false,
"independent_lower": "44528066673719242368805953710818292607835957207091727676180151171376856843319433686410298381215936328620786176188087862936246753417327/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "22264033336859621184402976855409146303917978603545863838090075585688428421659716843205149190607968164310393088094043931468123376708667/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "1.0075746e-134",
"number": "7.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
},
"EHUW": {
"exact": false,
"independent_lower": "195463997216208710617597316983360694451485946830229864554973021680324874778086600803234980618292268084712907105053026754015743549595335/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "195463997216208710617597316983360694451485946830229864554973021680324874778086600803234980618292268084712907105053026754015743549595349/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.7361611e-133",
"number": "8.605551275463989293119221267470495946251296573845246212710453056227166948293010445204619082018490718"
},
"EHuw": {
"exact": false,
"independent_lower": "231248409892828959649969904060008318706474129596175375118872103771457935803227958984913392057706827749549448193209759966944805398324299/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "115624204946414479824984952030004159353237064798087687559436051885728967901613979492456696028853413874774724096604879983472402699162167/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "7.1297242e-134",
"number": "10.18100559204788778296914644214106027683740158437804555499558441562623014713881484477427111456144744"
},
"EI]w": {
"exact": false,
"independent_lower": "231049774028898430914636902253066222203891154839470369598616900163993140165475275573497922024642489054005928533406161626525965785995619/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "28881221753612303864329612781633277775486394354933796199827112520499142520684409446687240253080311131750741066675770203315745723249455/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "1.6135664e-133",
"number": "10.17226039530298818249924327447719975395997565515345990276346626222045715415780949988519252398377382"
},
"EI_w": {
"exact": false,
"independent_lower": "161792156435837537841892638689324345589549216994901001275030858365508391584218000275367737282443661100372798583168208383073684616066533/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "161792156435837537841892638689324345589549216994901001275030858365508391584218000275367737282443661100372798583168208383073684616066547/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.2215865e-133",
"number": "7.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"EIe_": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "1.2219745e-150",
"number": "8"
},
"EImo": {
"exact": false,
"independent_lower": "132700972393997011046252663515243330041437559006915095648171428136328782564935342758497538129235301537166513337474065317516741612497009/17035282600678286497249776747375106273913469391109017037847426543296233315157763827957602751103833567830371600146863545317217225670656",
"independent_upper": "265401944787994022092505327030486660082875118013830191296342856272657565129870685516995076258470603074333026674948130635033483224994039/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"mp_error": "1.8602526e-133",
"number": "7.789772292284327216488076522640743691813865892040287101065300239761621013004288260254530317477350963"
},
"EImw": {
"exact": false,
"independent_lower": "51804894176078242125306344170581157246662950509464595010655998953574586772826342620813669488013470986980114045889961125979899304463739/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "103609788352156484250612688341162314493325901018929190021311997907149173545652685241627338976026941973960228091779922251959798608927485/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.8602526e-133",
"number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"EIno": {
"exact": false,
"independent_lower": "191445674128144817562914915526057755105124554891922823161198095561507879504740870378815627636851037266864735302391660450593095741947169/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "95722837064072408781457457763028877552562277445961411580599047780753939752370435189407813818425518633432367651195830225296547870973595/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.6752482e-133",
"number": "8.428639486755070374830995401697160977815839274438998868662764633018256092866532549591942500683928704"
},
"EInw": {
"exact": false,
"independent_lower": "117431845826163206449162633381491896845174047025320385737723708676461657083439329619623509555021818959397425791761728184075555212438269/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "234863691652326412898325266762983793690348094050640771475447417352923314166878659239247019110043637918794851583523456368151110424876559/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.9143728e-133",
"number": "10.34017297325206744540651152885074185084027925964661990733745481277369010034149477935130836836715197"
},
"EJYW": {
"exact": false,
"independent_lower": "77841042645952055461885349380934923779098581584517542147496962151466825460568090872578541019149053617422993400557765764988757801632317/8517641300339143248624888373687553136956734695554508518923713271648116657578881913978801375551916783915185800073431772658608612835328",
"independent_upper": "311364170583808221847541397523739695116394326338070168589987848605867301842272363490314164076596214469691973602231063059955031206529289/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"mp_error": "5.9199796e-134",
"number": "9.138802621666246059485014004129219137547903385889718115208461157487708517942276465495495483424231217"
},
"EJ]w": {
"exact": false,
"independent_lower": "784004162623646154062576182745199233405878634604325866331036975389559331510600567136267647413147912857113100801001757121269722561563689/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "98000520327955769257822022843149904175734829325540733291379621923694916438825070892033455926643489107139137600125219640158715320195469/8517641300339143248624888373687553136956734695554508518923713271648116657578881913978801375551916783915185800073431772658608612835328",
"mp_error": "1.6135664e-133",
"number": "11.50559372863632151583257660781053308729330898848679323609679959555379048749114283321852585731710715"
},
"EJ^w": {
"exact": true,
"independent_lower": "38/3",
"independent_upper": "38/3",
"mp_error": "2.4439491e-150",
"number": "38/3"
},
"EJeg": {
"exact": true,
"independent_lower": "26/3",
"independent_upper": "26/3",
"mp_error": "1.2219745e-150",
"number": "26/3"
},
"EJmw": {
"exact": false,
"independent_lower": "63161749243197099790139528668831228095938596770203939702554283315772075649598185172785404655416026698867028445987870156191377454910843/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "126323498486394199580279057337662456191877193540407879405108566631544151299196370345570809310832053397734056891975740312382754909821693/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.8602526e-133",
"number": "11.12310562561766054982140985597407702514719922537362043439863357309495434633762159358786365081068430"
},
"EJnW": {
"exact": false,
"independent_lower": "10581981752899640518304022295876291408572859540259442987501645936539914614819289731648106612407769530456781820561599257870922747693169/1064705162542392906078111046710944142119591836944313564865464158956014582197360239247350171943989597989398225009178971582326076604416",
"independent_upper": "338623416092788496585728713468041325074331505288302175600052669969277267674217271412739411597048624974617018257971176251869527926181429/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"mp_error": "1.345678e-133",
"number": "9.938884608797322626452554600803829279584629907178579546043786389560500281626343778537952415351824051"
},
"EJnw": {
"exact": false,
"independent_lower": "375009247612727334677154269140975832234073433597439846596967694753779949003861673962813998999870568301966106175481002612649621938209015/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"independent_upper": "750018495225454669354308538281951664468146867194879693193935389507559898007723347925627997999741136603932212350962005225299243876418093/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.9143728e-133",
"number": "11.00683963991873411207317819551740851750694592631328657400412147944035676700816144601797503503381863"
},
"EJqw": {
"exact": false,
"independent_lower": "51804894176078242125306344170581157246662950509464595010655998953574586772826342620813669488013470986980114045889961125979899304463739/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "103609788352156484250612688341162314493325901018929190021311997907149173545652685241627338976026941973960228091779922251959798608927485/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.8602526e-133",
"number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"EJ~o": {
"exact": true,
"independent_lower": "32/3",
"independent_upper": "32/3",
"mp_error": "2.4439491e-150",
"number": "32/3"
},
"EJ~w": {
"exact": true,
"independent_lower": "12",
"independent_upper": "12",
"mp_error": "2.4439491e-150",
"number": "12"
},
"EKNG": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "0.0",
"number": "8"
},
"EK\\w": {
"exact": false,
"independent_lower": "29732632571023637708906177959728331542791409281752295613131748837888104779113311141516758728850536443103302600218558265066745317359807/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "118930530284094550835624711838913326171165637127009182452526995351552419116453244566067034915402145772413210400874233060266981269439235/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"EK]w": {
"exact": false,
"independent_lower": "218669725602871915075066239260803348698277268923002984962696923389778707786037271813679003923562328299815788531547670621219050883033933/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "109334862801435957537533119630401674349138634461501492481348461694889353893018635906839501961781164149907894265773835310609525441516977/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.8518141e-133",
"number": "9.627213005296661630882455124721360484368562409530072110653088354444577673408278880813888259313606972"
},
"EK^w": {
"exact": false,
"independent_lower": "117431845826163206449162633381491896845174047025320385737723708676461657083439329619623509555021818959397425791761728184075555212438269/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"independent_upper": "234863691652326412898325266762983793690348094050640771475447417352923314166878659239247019110043637918794851583523456368151110424876559/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.9143728e-133",
"number": "10.34017297325206744540651152885074185084027925964661990733745481277369010034149477935130836836715197"
},
"EK`w": {
"exact": false,
"independent_lower": "24054205037464208876489585710603296118153586151382623267182606656789360340727389865530891145149258587159845400169603749961006242136255/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "96216820149856835505958342842413184472614344605530493068730426627157441362909559462123564580597034348639381600678414999844024968545027/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "5.9199796e-134",
"number": "8.472135954999579392818347337462552470881236719223051448541794490821041851275609798828828816757564550"
},
"EK~o": {
"exact": true,
"independent_lower": "28/3",
"independent_upper": "28/3",
"mp_error": "1.2219745e-150",
"number": "28/3"
},
"EK~w": {
"exact": true,
"independent_lower": "32/3",
"independent_upper": "32/3",
"mp_error": "3.6659236e-150",
"number": "32/3"
},
"ELpw": {
"exact": false,
"independent_lower": "55884921740838100033639138209068363457111603467831072368078435533574345720091276238382033548618492040507700576285996893147724903864431/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "27942460870419050016819569104534181728555801733915536184039217766787172860045638119191016774309246020253850288142998446573862451932219/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"mp_error": "1.0075746e-134",
"number": "9.841619252963778989528394936201772181691914933456771936981350301637687873930815344619033490397272993"
},
"ELrw": {
"exact": false,
"independent_lower": "29732632571023637708906177959728331542791409281752295613131748837888104779113311141516758728850536443103302600218558265066745317359807/2839213766779714416208296124562517712318911565184836172974571090549372219192960637992933791850638927971728600024477257552869537611776",
"independent_upper": "59465265142047275417812355919456663085582818563504591226263497675776209558226622283033517457701072886206605200437116530133490634719621/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"mp_error": "2.4898411e-133",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"ELv_": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "0.0",
"number": "8"
},
"EL~o": {
"exact": false,
"independent_lower": "161751606056663862161497313153598155658858696543490334092399529622231253448635263778220582093417092027063148732442135570454974783990667/17035282600678286497249776747375106273913469391109017037847426543296233315157763827957602751103833567830371600146863545317217225670656",
"independent_upper": "323503212113327724322994626307196311317717393086980668184799059244462506897270527556441164186834184054126297464884271140909949567981355/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"mp_error": "7.4465933e-134",
"number": "9.495093791412856764270044115086062823806010417420562813020026142648131623590880744367441735321949812"
},
"EL~w": {
"exact": false,
"independent_lower": "61488438730300525830387894050032765785803329688323007825398699448875410400726316294054684142740734483612325844212651210292643694961625/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "122976877460601051660775788100065531571606659376646015650797398897750820801452632588109368285481468967224651688425302420585287389923257/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "7.4465933e-134",
"number": "10.82842712474619009760337744841939615713934375075389614635335947598146495692421407770077506865528315"
},
"ENzw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"EN~w": {
"exact": true,
"independent_lower": "34/3",
"independent_upper": "34/3",
"mp_error": "1.2219745e-150",
"number": "34/3"
},
"EPTW": {
"exact": false,
"independent_lower": "207219576704312968501225376682324628986651802037858380042623995814298347091305370483254677952053883947920456183559844503919597217854949/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "207219576704312968501225376682324628986651802037858380042623995814298347091305370483254677952053883947920456183559844503919597217854963/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.2215865e-133",
"number": "9.123105625617660549821409855974077025147199225373620434398633573094954346337621593587863650810684297"
},
"ER^W": {
"exact": false,
"independent_lower": "236873094396620248222247653519058038502227139934880201928791233010297835011828240586702568306461260114412392902783296571439008343735585/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "118436547198310124111123826759529019251113569967440100964395616505148917505914120293351284153230630057206196451391648285719504171867803/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "1.6752482e-133",
"number": "10.42863948675507037483099540169716097781583927443899886866276463301825609286653254959194250068392870"
},
"E]~o": {
"exact": true,
"independent_lower": "8",
"independent_upper": "8",
"mp_error": "3.6659236e-150",
"number": "8"
},
"E]~w": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "4.8878982e-150",
"number": "10"
},
"E^~w": {
"exact": true,
"independent_lower": "32/3",
"independent_upper": "32/3",
"mp_error": "3.6659236e-150",
"number": "32/3"
},
"E_Nw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"E_]o": {
"exact": false,
"independent_lower": "554039741764678977297631087283331567429418065376340960727975668725326547839349358566070061531395109130253127831872564923397531010751543/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "554039741764678977297631087283331567429418065376340960727975668725326547839349358566070061531395109130253127831872564923397531010751585/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.1231001e-133",
"number": "8.130768281804421253721559349678411400552277174287427922778280625570532700484266740828959040181163818"
},
"E_]w": {
"exact": false,
"independent_lower": "655917122769629258031627483981720789299621831034813751886456137828772095548841971184309101869740803067933831556941473755066478925253219/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "655917122769629258031627483981720789299621831034813751886456137828772095548841971184309101869740803067933831556941473755066478925253303/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "3.7844074e-134",
"number": "9.625862073217278017991603464764474224358287591707990735798306768218664324075147485196400775503113630"
},
"E`Lw": {
"exact": false,
"independent_lower": "231049774028898430914636902253066222203891154839470369598616900163993140165475275573497922024642489054005928533406161626525965785995629/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "115524887014449215457318451126533111101945577419735184799308450081996570082737637786748961012321244527002964266703080813262982892997825/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "2.7890609e-133",
"number": "10.17226039530298818249924327447719975395997565515345990276346626222045715415780949988519252398377382"
},
"E`NG": {
"exact": false,
"independent_lower": "576231309844463474844343392053973603562852821070617761360278849994105085766828741241877093186551428996213710950287897390912879051776431/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"independent_upper": "576231309844463474844343392053973603562852821070617761360278849994105085766828741241877093186551428996213710950287897390912879051776473/68141130402713145988999106989500425095653877564436068151389706173184933260631055311830411004415334271321486400587454181268868902682624",
"mp_error": "1.2215865e-133",
"number": "8.456438958950993883154743189307410358480532558706953767731966906428287679670954926921196984144017630"
},
"E`NW": {
"exact": false,
"independent_lower": "77841042645952055461885349380934923779098581584517542147496962151466825460568090872578541019149053617422993400557765764988757801632317/8517641300339143248624888373687553136956734695554508518923713271648116657578881913978801375551916783915185800073431772658608612835328",
"independent_upper": "311364170583808221847541397523739695116394326338070168589987848605867301842272363490314164076596214469691973602231063059955031206529289/34070565201356572994499553494750212547826938782218034075694853086592466630315527655915205502207667135660743200293727090634434451341312",
"mp_error": "5.9199796e-134",
"number": "9.138802621666246059485014004129219137547903385889718115208461157487708517942276465495495483424231217"
},
"E`Nw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
},
"E`]o": {
"exact": false,
"independent_lower": "214964860767209946205432187756444044741207745154085239421053981207635486284508032993947980956871851608449481010885279055029785404776125/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "214964860767209946205432187756444044741207745154085239421053981207635486284508032993947980956871851608449481010885279055029785404776139/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.1231001e-133",
"number": "9.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151"
},
"E`]w": {
"exact": false,
"independent_lower": "233781514346034896230320073991573690898908138692590376884683091759187350351976447130732014179783675305160496385777703291970797175680545/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "233781514346034896230320073991573690898908138692590376884683091759187350351976447130732014179783675305160496385777703291970797175680573/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "3.7844074e-134",
"number": "10.29252873988394468465827013143114089102495425837465740246497343488533099074181415186306744216978030"
},
"EaMw": {
"exact": false,
"independent_lower": "208777346755789384686957347436513155123609120471419898130558876296071089724620227869883254623325700140146487045206610714153320674230841/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "208777346755789384686957347436513155123609120471419898130558876296071089724620227869883254623325700140146487045206610714153320674230869/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "6.8263029e-134",
"number": "9.191688434954841334000599958088537435893160330236880994896402687062374139651169785852916278911606541"
},
"Ebnw": {
"exact": false,
"independent_lower": "237861060568189101671249423677826652342331274254018364905053990703104838232906489132134069830804291544826420801748466120533962538878449/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "237861060568189101671249423677826652342331274254018364905053990703104838232906489132134069830804291544826420801748466120533962538878477/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "5.9199796e-134",
"number": "10.47213595499957939281834733746255247088123671922305144854179449082104185127560979882882881675756455"
},
"Ejmw": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "4.8878982e-150",
"number": "10"
},
"Ek]w": {
"exact": false,
"independent_lower": "214964860767209946205432187756444044741207745154085239421053981207635486284508032993947980956871851608449481010885279055029785404776125/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"independent_upper": "214964860767209946205432187756444044741207745154085239421053981207635486284508032993947980956871851608449481010885279055029785404776139/22713710134237715329666368996500141698551292521478689383796568724394977753543685103943470334805111423773828800195818060422956300894208",
"mp_error": "1.1231001e-133",
"number": "9.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151"
},
"EoLW": {
"exact": false,
"independent_lower": "50131583663181668165554709551782694936527683427583663133500415086677921523954473742082948975338178771725411444114742180081165544514521/5678427533559428832416592249125035424637823130369672345949142181098744438385921275985867583701277855943457200048954515105739075223552",
"independent_upper": "100263167326363336331109419103565389873055366855167326267000830173355843047908947484165897950676357543450822888229484360162331089029049/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104",
"mp_error": "7.4465933e-134",
"number": "8.828427124746190097603377448419396157139343750753896146353359475981464956924214077700775068655283145"
},
"Es\\w": {
"exact": true,
"independent_lower": "26/3",
"independent_upper": "26/3",
"mp_error": "1.2219745e-150",
"number": "26/3"
},
"E~~w": {
"exact": true,
"independent_lower": "10",
"independent_upper": "10",
"mp_error": "0.0",
"number": "10"
}
},
"sage_version": "10.9",
"skill_manifest": "agents/runs/20261027T121056Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"stored_readback": false,
"table": "T548",
"tree": 13,
"working_bits": 413
}