back to table · edit · history · where entries came from · files · download
28550 bytes, as of the version from 2026-10-30 08:21 (current). Recorded here, not run.
{
"summary": {
"table": "T621",
"entries": 56,
"stored_checked": false,
"production_bits": 513,
"comparison_bits": 750,
"minimum_accuracy_bits": 499,
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"seconds": 91.99347188696265,
"skill_manifest": "../20261030T080603Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"rows": [
{
"n": 3,
"values": [
{
"convention": "det",
"number": "3.079442672013086778322018392320670368889792186044913220457624190067973131775759772891580258233990917",
"accuracy_bits": 506
},
{
"convention": "logdet",
"number": "1.124748629966838191330519136748164332501965014519228989431594805199304805923255644266267253342366265",
"accuracy_bits": 507
}
],
"independent_logdet_150": "1.1247486299668381913305191367481643325019650145192289894315948051993048059232556442662672533423662653505347810644715546811560416730595829005625859425242169",
"independent_logdet_200": "1.124748629966838191330519136748164332501965014519228989431594805199304805923255644266267253342366265350534781064471554681156041673059582900562585942524216915538464397950290650362374433555112372486433621764",
"agreement_error": "2.0451148e-170",
"integral_tail_bound_200": "6.706148e-221"
},
{
"n": 4,
"values": [
{
"convention": "det",
"number": "3.654316552624467285628970373604888358807855665573876133678786125063632037488036455853155933438320556",
"accuracy_bits": 507
},
{
"convention": "logdet",
"number": "1.295909086010958963534580078527643972284281623376695939515619730796599962724197670885685522456519945",
"accuracy_bits": 508
}
],
"independent_logdet_150": "1.2959090860109589635345800785276439722842816233766959395156197307965999627241976708856855224565199448377832525122650275239319024644492544717224839243845223",
"independent_logdet_200": "1.29590908601095896353458007852764397228428162337669593951561973079659996272419767088568552245651994483778325251226502752393190246444925447172248392438452230527499676532856005839774377147158316875580372915",
"agreement_error": "1.8178464e-170",
"integral_tail_bound_200": "5.059222e-221"
},
{
"n": 5,
"values": [
{
"convention": "det",
"number": "3.934418400393761555283407536299291558273452635642646094000438733872652551568761541048216546460978819",
"accuracy_bits": 505
},
{
"convention": "logdet",
"number": "1.369763069266781263411241299202357719387637452340263363725224190991083680517138650333432354151057094",
"accuracy_bits": 506
}
],
"independent_logdet_150": "1.3697630692667812634112412992023577193876374523402633637252241909910836805171386503334323541510570938387639315140601552534141386410264431217873467226537766",
"independent_logdet_200": "1.369763069266781263411241299202357719387637452340263363725224190991083680517138650333432354151057093838763931514060155253414138641026443121787346722653776624634551553599978954449404719353336552814721854172",
"agreement_error": "1.7386048e-170",
"integral_tail_bound_200": "4.5234071e-221"
},
{
"n": 6,
"values": [
{
"convention": "det",
"number": "4.072626872583775047165893130487611583717758878203719733015394368607699222103978014965673184478714751",
"accuracy_bits": 507
},
{
"convention": "logdet",
"number": "1.404288214497759710572375928708608632224802585286781034549692562962598078198876459299587350466403175",
"accuracy_bits": 507
}
],
"independent_logdet_150": "1.4042882144977597105723759287086086322248025852867810345496925629625980781988764592995873504664031748668507131361604658368292642937144042611411310721494573",
"independent_logdet_200": "1.404288214497759710572375928708608632224802585286781034549692562962598078198876459299587350466403174866850713136160465836829264293714404261141131072149457313808959548111771857523499705819997953164357392865",
"agreement_error": "1.6865501e-170",
"integral_tail_bound_200": "4.26537e-221"
},
{
"n": 7,
"values": [
{
"convention": "det",
"number": "4.143340233580530652355728536670091119240628491756674448203223577922329804558047176126747667153765260",
"accuracy_bits": 505
},
{
"convention": "logdet",
"number": "1.421502282238609378949444160623898948094207147911312589692895244951592447159538628174726741230754625",
"accuracy_bits": 505
}
],
"independent_logdet_150": "1.4215022822386093789494441606238989480942071479113125896928952449515924471595386281747267412307546251106064360599861109595332572864353353966706464156218795",
"independent_logdet_200": "1.421502282238609378949444160623898948094207147911312589692895244951592447159538628174726741230754625110606436059986110959533257286435335396670646415621879546945779500897684377958251707193627414610481092507",
"agreement_error": "1.6467781e-170",
"integral_tail_bound_200": "4.1184439e-221"
},
{
"n": 8,
"values": [
{
"convention": "det",
"number": "4.179747669222731784728453195425434266372990447465046429810421746776928978669627199987180403127091445",
"accuracy_bits": 506
},
{
"convention": "logdet",
"number": "1.430250878499894211892250703922562395161571138606487186563271387129776994850768297770626919530117513",
"accuracy_bits": 506
}
],
"independent_logdet_150": "1.4302508784998942118922507039225623951615711386064871865632713871297769948507682977706269195301175133287028817981085874750300803896640637557269928540652859",
"independent_logdet_200": "1.430250878499894211892250703922562395161571138606487186563271387129776994850768297770626919530117513328702881798108587475030080389664063755726992854065285900783222918616250719390083973719166415259878946074",
"agreement_error": "1.6148067e-170",
"integral_tail_bound_200": "4.0270735e-221"
},
{
"n": 9,
"values": [
{
"convention": "det",
"number": "4.197693767143778453278181212860730790059537714495093412317509943526091339648098581917163419963005304",
"accuracy_bits": 504
},
{
"convention": "logdet",
"number": "1.434535271416021499917139408632637492436944941202307218979602047870547458756289511504594407255111320",
"accuracy_bits": 504
}
],
"independent_logdet_150": "1.4345352714160214999171394086326374924369449412023072189796020478705474587562895115045944072551113203475709089716740273762280466792127899262380065744884256",
"independent_logdet_200": "1.434535271416021499917139408632637492436944941202307218979602047870547458756289511504594407255111320347570908971674027376228046679212789926238006574488425553281264560981044552909933363024595262605901717569",
"agreement_error": "1.588425e-170",
"integral_tail_bound_200": "3.9674491e-221"
},
{
"n": 10,
"values": [
{
"convention": "det",
"number": "4.205273611715434167588381985608970512174584903297743264352295309544935259189785428857604233497908819",
"accuracy_bits": 505
},
{
"convention": "logdet",
"number": "1.436339359492476541268934607694689457297586463012863502022518393393445410350904862323343028896242936",
"accuracy_bits": 505
}
],
"independent_logdet_150": "1.4363393594924765412689346076946894572975864630128635020225183933934454103509048623233430288962429355172685379231485515177276433100930759046207824159191707",
"independent_logdet_200": "1.436339359492476541268934607694689457297586463012863502022518393393445410350904862323343028896242935517268537923148551517727643310093075904620782415919170708995655416004676690446173969023695539926305287786",
"agreement_error": "1.5662618e-170",
"integral_tail_bound_200": "3.9276659e-221"
},
{
"n": 11,
"values": [
{
"convention": "det",
"number": "4.206863500720502733626523986965242124484029076903697672993997526803917695264278791913449310088047338",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "1.436717358329810962049023557118968280683319753743850722348430862583051897918030442860729018170615610",
"accuracy_bits": 503
}
],
"independent_logdet_150": "1.4367173583298109620490235571189682806833197537438507223484308625830518979180304428607290181706156099493865729464928534066629223247056693512807408680017287",
"independent_logdet_200": "1.436717358329810962049023557118968280683319753743850722348430862583051897918030442860729018170615609949386572946492853406662922324705669351280740868001728726206730272375211440043850323671659061789667725955",
"agreement_error": "1.5473777e-170",
"integral_tail_bound_200": "3.9011103e-221"
},
{
"n": 12,
"values": [
{
"convention": "det",
"number": "4.204939411524706318324792154863472060106794316047564035835531165964625395010135661557985543232058854",
"accuracy_bits": 504
},
{
"convention": "logdet",
"number": "1.436259884646838207574429745959819956064511584758978394397644394949481164389897315206376060053198164",
"accuracy_bits": 504
}
],
"independent_logdet_150": "1.4362598846468382075744297459598199560645115847589783943976443949494811643898973152063760600531981638577108514319432891996739636267224460321767115558451951",
"independent_logdet_200": "1.436259884646838207574429745959819956064511584758978394397644394949481164389897315206376060053198163857710851431943289199673963626722446032176711555845195050077994042876494074164917804947089066464934480112",
"agreement_error": "1.5310962e-170",
"integral_tail_bound_200": "3.8838139e-221"
},
{
"n": 13,
"values": [
{
"convention": "det",
"number": "4.200953621866675648321160179930550574333772843235893815665758667921047957631686674681356628678681066",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "1.435311552342129910992873130427476751155886248025332060207452523780450157659594091500865264904731569",
"accuracy_bits": 503
}
],
"independent_logdet_150": "1.4353115523421299109928731304274767511558862480253320602074525237804501576595940915008652649047315688316865778031690805793571555052932879894191410084946792",
"independent_logdet_200": "1.435311552342129910992873130427476751155886248025332060207452523780450157659594091500865264904731568831686577803169080579357155505293287989419141008494679221250092552381004578038625240140365158715875579815",
"agreement_error": "1.5169147e-170",
"integral_tail_bound_200": "3.8732515e-221"
},
{
"n": 14,
"values": [
{
"convention": "det",
"number": "4.195782183375745459242500043020945486621318797479254571903741290354304955975833010345732622563599087",
"accuracy_bits": 504
},
{
"convention": "logdet",
"number": "1.434079778647029900426279380335915752788257147842409143626030185953797268031159246716111248915178793",
"accuracy_bits": 504
}
],
"independent_logdet_150": "1.4340797786470299004262793803359157527882571478424091436260301859537972680311592467161112489151787928569742221708102434255792767589485546318289046399865342",
"independent_logdet_200": "1.434079778647029900426279380335915752788257147842409143626030185953797268031159246716111248915178792856974222170810243425579276758948554631828904639986534178598921418861442641507730516775331167418798735389",
"agreement_error": "1.504452e-170",
"integral_tail_bound_200": "3.8677397e-221"
},
{
"n": 15,
"values": [
{
"convention": "det",
"number": "4.189964732006923311406803531686754698740507799388009106554402251312215036612490723449461890759240238",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "1.432692316716503145374140290234629726574392596250665761167759390966338158303167171858520394248458157",
"accuracy_bits": 502
}
],
"independent_logdet_150": "1.4326923167165031453741402902346297265743925962506657611677593909663381583031671718585203942484581571409197197550858521455081288709145719404253837831204633",
"independent_logdet_200": "1.432692316716503145374140290234629726574392596250665761167759390966338158303167171858520394248458157140919719755085852145508128870914571940425383783120463304608124702314216017994835857504569576053653400081",
"agreement_error": "1.4934131e-170",
"integral_tail_bound_200": "3.8661128e-221"
},
{
"n": 16,
"values": [
{
"convention": "det",
"number": "4.183838441963860012988250102243293012853143238395177281185334427276541485711547078086248028928282826",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "1.431229112719752625985660893159898636935478361096721427947335337292678345689257401604428490042160627",
"accuracy_bits": 503
}
],
"independent_logdet_150": "1.4312291127197526259856608931598986369354783610967214279473353372926783456892574016044284900421606265501968296443876710920599986615964958094626383720514896",
"independent_logdet_200": "1.431229112719752625985660893159898636935478361096721427947335337292678345689257401604428490042160626550196829644387671092059998661596495809462638372051489606780078764982815552844757851797760277411194702485",
"agreement_error": "1.4835668e-170",
"integral_tail_bound_200": "3.8675384e-221"
},
{
"n": 17,
"values": [
{
"convention": "det",
"number": "4.177615541871568481497457589340140948119930578917685879647375587455847930199159784903534702875075220",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "1.429740639242950069388321873986112334742796403996376599212877200509260033358143819253475174758407101",
"accuracy_bits": 502
}
],
"independent_logdet_150": "1.4297406392429500693883218739861123347427964039963765992128772005092600333581438192534751747584071008870848518372856120861398588290116406552089274663684263",
"independent_logdet_200": "1.429740639242950069388321873986112334742796403996376599212877200509260033358143819253475174758407100887084851837285612086139858829011640655208927466368426261233435337198984145944670500793947446313783187975",
"agreement_error": "1.4747291e-170",
"integral_tail_bound_200": "3.8714061e-221"
},
{
"n": 18,
"values": [
{
"convention": "det",
"number": "4.171429550094395127363904363781146577815135200457482772715070379203396494625510529758344189228872074",
"accuracy_bits": 503
},
{
"convention": "logdet",
"number": "1.428258794830565302268686326737056380245792203388435887152120895088617310758367397917264742519521711",
"accuracy_bits": 503
}
],
"independent_logdet_150": "1.4282587948305653022686863267370563802457922033884358871521208950886173107583673979172647425195217106153374820015652948228714816316286102139038863224333649",
"independent_logdet_200": "1.428258794830565302268686326737056380245792203388435887152120895088617310758367397917264742519521710615337482001565294822871481631628610213903886322433364945230162348301695905242317808163396620797552441091",
"agreement_error": "1.4667517e-170",
"integral_tail_bound_200": "3.8772579e-221"
},
{
"n": 19,
"values": [
{
"convention": "det",
"number": "4.165363578059086385880020847239446537008700409334538841098868313795999529830493941524122933050358406",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "1.426803565460578310373852021111493795053283312479696260712782858340137547052016417248752385895984739",
"accuracy_bits": 501
}
],
"independent_logdet_150": "1.426803565460578310373852021111493795053283312479696260712782858340137547052016417248752385895984738501570846572250915653742435779153910465936010921791992",
"independent_logdet_200": "1.426803565460578310373852021111493795053283312479696260712782858340137547052016417248752385895984738501570846572250915653742435779153910465936010921791992047215157658469367581457642596351089041580719344814",
"agreement_error": "1.4595142e-170",
"integral_tail_bound_200": "3.8847436e-221"
},
{
"n": 20,
"values": [
{
"convention": "det",
"number": "4.159468047082304840620350597222163634053951087849876346717278392977261851200226467175247221461800762",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "1.425387192799161886888115784307198812919207024607713228630200574970419399194984767292500024843679875",
"accuracy_bits": 502
}
],
"independent_logdet_150": "1.4253871927991618868881157843071988129192070246077132286302005749704193991949847672925000248436798752744861806067942225961771821943099602038175922544599898",
"independent_logdet_200": "1.425387192799161886888115784307198812919207024607713228630200574970419399194984767292500024843679875274486180606794222596177182194309960203817592254459989777372248646524060526364768962757403462557702109519",
"agreement_error": "1.4529175e-170",
"integral_tail_bound_200": "3.893591e-221"
},
{
"n": 21,
"values": [
{
"convention": "det",
"number": "4.153771992173089190955107811911597625102492418091382753005924594153325356700413198933713679867605789",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "1.424016835207249646286649181290151111628722153525892731330330683837644986902811543815259987424728915",
"accuracy_bits": 501
}
],
"independent_logdet_150": "1.4240168352072496462866491812901511116287221535258927313303306838376449869028115438152599874247289153212677082894714846654011589157722554442535668509733741",
"independent_logdet_200": "1.424016835207249646286649181290151111628722153525892731330330683837644986902811543815259987424728915321267708289471484665401158915772255444253566850973374109451347663333364225185411948892018780070707818261",
"agreement_error": "1.4468793e-170",
"integral_tail_bound_200": "3.9035851e-221"
},
{
"n": 22,
"values": [
{
"convention": "det",
"number": "4.148290392100861632525663108327986586566212705118024722415272487931770251953109668332222571298364133",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "1.422696295655730470291868920130582152839403226087445960165711062350049374717711067626231155609040325",
"accuracy_bits": 502
}
],
"independent_logdet_150": "1.4226962956557304702918689201305821528394032260874459601657110623500493747177110676262311556090403251338741747605017980701790399317002523474085915470158245",
"independent_logdet_200": "1.422696295655730470291868920130582152839403226087445960165711062350049374717711067626231155609040325133874174760501798070179039931700252347408591547015824464622352837849602288854945215962242404487934376469",
"agreement_error": "1.441331e-170",
"integral_tail_bound_200": "3.9145538e-221"
},
{
"n": 23,
"values": [
{
"convention": "det",
"number": "4.143028987711532956466258180606090755523178312548990093736349492626690309881211025373218625970558641",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "1.421427159863336910111686315380493086425642219095068714707971203825499199103206404900633351505712615",
"accuracy_bits": 500
}
],
"independent_logdet_150": "1.421427159863336910111686315380493086425642219095068714707971203825499199103206404900633351505712615368589023998930783565488650574794282713788600519355152",
"independent_logdet_200": "1.421427159863336910111686315380493086425642219095068714707971203825499199103206404900633351505712615368589023998930783565488650574794282713788600519355151993719942166185896959359749613160561901417328162265",
"agreement_error": "1.4362148e-170",
"integral_tail_bound_200": "3.926358e-221"
},
{
"n": 24,
"values": [
{
"convention": "det",
"number": "4.137987484565414140953067100393656370242524937227613331833278458582061768698694423364897647408372157",
"accuracy_bits": 502
},
{
"convention": "logdet",
"number": "1.420209554805827739410889517616281156059519704592070747774009137944912284313305832079828299230551300",
"accuracy_bits": 502
}
],
"independent_logdet_150": "1.4202095548058277394108895176162811560595197045920707477740091379449122843133058320798282992305513000665050109538234319173086631065033279072685382265755918",
"independent_logdet_200": "1.420209554805827739410889517616281156059519704592070747774009137944912284313305832079828299230551300066505010953823431917308663106503327907268538226575591760402675502887183762105612361079779841334500480511",
"agreement_error": "1.4314816e-170",
"integral_tail_bound_200": "3.9388836e-221"
},
{
"n": 25,
"values": [
{
"convention": "det",
"number": "4.133161700211491816143621773456386079185941394432090253769430118585510456479514324608208125691656042",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "1.419042658938349410082756638272475452757350620848929138085957320186159980034114301485158312752029228",
"accuracy_bits": 500
}
],
"independent_logdet_150": "1.4190426589383494100827566382724754527573506208489291380859573201861599800341143014851583127520292275362977145309101121054089381142536669996991517235262957",
"independent_logdet_200": "1.419042658938349410082756638272475452757350620848929138085957320186159980034114301485158312752029227536297714530910112105408938114253666999699151723526295746656556530397371310997969795611880045833130723238",
"agreement_error": "1.4270894e-170",
"integral_tail_bound_200": "3.9520367e-221"
},
{
"n": 26,
"values": [
{
"convention": "det",
"number": "4.128545012791682953298054454234411092580026334306435376642641294148507384858509755159473921116168032",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "1.417925047756852519981789884238925106076918444219149805564605352601177850939774322625575696175981487",
"accuracy_bits": 501
}
],
"independent_logdet_150": "1.4179250477568525199817898842389251060769184442191498055646053526011778509397743226255756961759814868163599552230058472243868344246728192803785364239522193",
"independent_logdet_200": "1.417925047756852519981789884238925106076918444219149805564605352601177850939774322625575696175981486816359955223005847224386834424672819280378536423952219290059320383866704966976646551192458367001530066433",
"agreement_error": "1.4230023e-170",
"integral_tail_bound_200": "3.9657387e-221"
},
{
"n": 27,
"values": [
{
"convention": "det",
"number": "4.124129341715851853671192659019302723815347926783646073235643878308815631044989719990640048738533507",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "1.416854928833571665449850181008274293440323629890598281833265197524790311723494230541949198521985059",
"accuracy_bits": 500
}
],
"independent_logdet_150": "1.416854928833571665449850181008274293440323629890598281833265197524790311723494230541949198521985058974367729441701657350363769063400220910289068685194713",
"independent_logdet_200": "1.416854928833571665449850181008274293440323629890598281833265197524790311723494230541949198521985058974367729441701657350363769063400220910289068685194712955471590517724665211302804123765764431013828996119",
"agreement_error": "1.4191891e-170",
"integral_tail_bound_200": "3.9799238e-221"
},
{
"n": 28,
"values": [
{
"convention": "det",
"number": "4.119905811830572872777330208347139341147642149743328799534546625143402765701948086857885894953633287",
"accuracy_bits": 501
},
{
"convention": "logdet",
"number": "1.415830301893942032179902031960900277850348012404268556644616783361278887532999144626340198691184650",
"accuracy_bits": 501
}
],
"independent_logdet_150": "1.4158303018939420321799020319609002778503480124042685566446167833612788875329991446263401986911846496528399888516523029803655124772708036495719512310122608",
"independent_logdet_200": "1.415830301893942032179902031960900277850348012404268556644616783361278887532999144626340198691184649652839988851652302980365512477270803649571951231012260761907930532838900230863950451239313540185697678038",
"agreement_error": "1.415623e-170",
"integral_tail_bound_200": "3.9945362e-221"
},
{
"n": 29,
"values": [
{
"convention": "det",
"number": "4.115865201736951830776716392512020371073568851273953579869573033446522833180836567604954602315687916",
"accuracy_bits": 499
},
{
"convention": "logdet",
"number": "1.414849067614561712616927855124614345820364780204292736112932858021772367580035189350654995387075423",
"accuracy_bits": 499
}
],
"independent_logdet_150": "1.4148490676145617126169278551246143458203647802042927361129328580217723675800351893506549953870754225325058191673704724288726823555597823119228451250122779",
"independent_logdet_200": "1.414849067614561712616927855124614345820364780204292736112932858021772367580035189350654995387075422532505819167370472428872682355559782311922845125012277936338645890268356192785757046336887794317609157036",
"agreement_error": "1.4122803e-170",
"integral_tail_bound_200": "4.0095286e-221"
},
{
"n": 30,
"values": [
{
"convention": "det",
"number": "4.111998243935943966646091984408428714506464739960144226659556691700958616108061416517273289415552671",
"accuracy_bits": 500
},
{
"convention": "logdet",
"number": "1.413909101094393408967819016885025292560658880300789676819348695116345944559105720187940700669172056",
"accuracy_bits": 500
}
],
"independent_logdet_150": "1.4139091010943934089678190168850252925606588803007896768193486951163459445591057201879407006691720563188969553394819011094661211889477356621744141393085921",
"independent_logdet_200": "1.413909101094393408967819016885025292560658880300789676819348695116345944559105720187940700669172056318896955339481901109466121188947735662174414139308592119195189813179913665554525310399683246774228612471",
"agreement_error": "1.4091403e-170",
"integral_tail_bound_200": "4.02486e-221"
}
],
"maximum_written_length": 101,
"source_manifest": "sources.json",
"skill_evidence": "skill-evidence.json"
}