back to table · edit · history · where entries came from · files · download
14549 bytes, as of the version from 2026-10-29 04:58 (current). Recorded here, not run.
{
"table": "T600",
"sage_version": "10.9",
"python_version": "3.12.3",
"skill_manifest": "agents/runs/20261029T045338Z-repair-skills/manifest.json",
"skill_sha256": {
"local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"checked": 40,
"enumeration_matches_in_order": true,
"maximum_radius_less_than": "1e-130",
"circle_control_passed": true,
"scope": "Unchanged generator recomputation and circle control only; not a fresh independent critique. No values edited.",
"results": [
{
"params": {
"d": "1",
"convention": "det"
},
"ball": "[9.86960440108935861883449099987615113531369940724079062641334937622004482241920524300177340371855223182402591377402314407777234812203004672761061767798520 +/- 3.22e-153]",
"radius": "6.3554190e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "1",
"convention": "logdet"
},
"ball": "[2.2894597716988003482868547027061174232945896258306231430272461429442755397696521595672465405509794154040196244573959783180964110558469131745581621576205736 +/- 7.75e-155]",
"radius": "4.9162023e-155",
"inside_stored_interval": true
},
{
"params": {
"d": "2",
"convention": "det"
},
"ball": "[2.240353442041525736384909576289485062286128606841744714702197445650291135167456934833947796246473098703450671022394652422881466599125959575405184751842528 +/- 2.56e-154]",
"radius": "1.9828803e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "2",
"convention": "logdet"
},
"ball": "[0.806633640045629290790936935433002357313970099947931726029516143704091473290720027607930172304553021156758405979833437937113766471106257511853179528105364 +/- 2.02e-154]",
"radius": "7.1731976e-155",
"inside_stored_interval": true
},
{
"params": {
"d": "3",
"convention": "det"
},
"ball": "[2.004050458417333083781669314716021886697441120867330400882094627120002124252284040368585537045496100165480749569026818104227593583156179392557553321012209 +/- 6.73e-154]",
"radius": "2.0388953e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "3",
"convention": "logdet"
},
"ball": "[0.695170361756601030968207473664120356747798546914847807416718180851046691474626553600116622326066987922892924350911919700736670491917347947220392348083603 +/- 2.11e-154]",
"radius": "8.2985176e-155",
"inside_stored_interval": true
},
{
"params": {
"d": "4",
"convention": "det"
},
"ball": "[1.312925012773452498079424837950309503433576021467837141542963324038584252439466081655821254051149637269255080532610650623861036353241532801831791886664094 +/- 4.01e-154]",
"radius": "2.5268865e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "4",
"convention": "logdet"
},
"ball": "[0.272257482321465997075847053761260633622102536155843733208964696904946051105736669115713374171812704891596447940796596087981566128869647237429445398937039 +/- 3.58e-154]",
"radius": "1.7814965e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "5",
"convention": "det"
},
"ball": "[1.226324767387671873211881595676757782358511989155926149103412399481523969547820135132271799907023863873215561443467479764496403258435237782873514568523100 +/- 6.78e-154]",
"radius": "2.5627017e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "5",
"convention": "logdet"
},
"ball": "[0.204021702424156709190962120197640673669668109584937748703952724419853760349459340424629685871295985391150568170165710482259541678651765231130270461622965 +/- 6.88e-154]",
"radius": "1.9365069e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "6",
"convention": "det"
},
"ball": "[0.985390280141197402842119767926685974489573790437895506186375431802380428609764554991665656561532940695535993143086833919268114101267457922737063273695861 +/- 6.57e-154]",
"radius": "2.9273843e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "6",
"convention": "logdet"
},
"ball": "[-0.014717492792246567923355680214143925168114186173200294586011316850005113742226871870418506060279628502813539810064948686342470247959529522833093086059647 +/- 5.94e-154]",
"radius": "2.8754360e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "7",
"convention": "det"
},
"ball": "[0.909313699612845661798011983995812765305460978255390904404049280642559782731887415985184614905255449761941439837985271401354124161551618246251076785165472 +/- 4.90e-154]",
"radius": "2.5220157e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "7",
"convention": "logdet"
},
"ball": "[-0.095065140254837396808905303910094285152214037274196136548247069431334599896388420440909530733742354196341025885861672756425183029256059711311462970408243 +/- 5.69e-154]",
"radius": "2.6702095e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "8",
"convention": "det"
},
"ball": "[0.804376917937302969285891809029241744735353017436387023508922438941258834515191372843472214155194626494102703331513111699484933350769132047555411114885075 +/- 6.38e-154]",
"radius": "3.2174792e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "8",
"convention": "logdet"
},
"ball": "[-0.217687316252549143679705565453727609419566941349745197694293651501761040100565382106499170636626176281772392007399675975760202512484145834017657819104787 +/- 5.19e-154]",
"radius": "3.8831566e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "9",
"convention": "det"
},
"ball": "[0.732550284861715659839193397922419394435211078336067059283726893139417353483708929518337634638843377199978373673809720494407087909446005286506807986349839 +/- 6.19e-154]",
"radius": "2.0659970e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "9",
"convention": "logdet"
},
"ball": "[-0.311223292171719965433367011666305515656240279914509893921988868655175088486336759164962983740737293175593629666319362698569502438047672030603496645323890 +/- 6.82e-154]",
"radius": "2.6920191e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "10",
"convention": "det"
},
"ball": "[0.686518672465543343017613313618001831726080571407611373746630559609235290571250532983198125809156561001704528321684117784533008546391409631064840898046169 +/- 6.66e-154]",
"radius": "3.4185172e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "10",
"convention": "logdet"
},
"ball": "[-0.376121854631202404886160222285456838898159422187219178121869729309268975294122650341173811036967535288558288777342697447784341633737335842251490148417748 +/- 8.51e-154]",
"radius": "4.8426353e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "11",
"convention": "det"
},
"ball": "[0.618221388837243550690060708884511087250315558274630079454306868763279565443793018967201962217801047933746043119044889802710481671026334540068085601675333 +/- 3.59e-154]",
"radius": "2.6765808e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "11",
"convention": "logdet"
},
"ball": "[-0.480908651310584281844299278984419516624562237878443615076680639747664929493135119096566008374240713017761604058055680909742114939712402796984455479594392 +/- 6.05e-154]",
"radius": "4.1775054e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "12",
"convention": "det"
},
"ball": "[0.602557723014203206962264288380130417133525986842348089693639586622013210815589291175133819807704987697913355486003441621117138103508418883282212023217282 +/- 4.91e-154]",
"radius": "4.0129782e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "12",
"convention": "logdet"
},
"ball": "[-0.506571812373710258001026013250357875179007449926684522460628845796227865742938545852841940311734703984771863830815856786617122518518500781604087122890267 +/- 8.34e-154]",
"radius": "6.5039753e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "13",
"convention": "det"
},
"ball": "[0.537517828962096674151483883556326803089957929782464421387745813217714229493693034140397490101880066822641372830365301851104448014317509091187119448264173 +/- 4.90e-154]",
"radius": "2.8646915e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "13",
"convention": "logdet"
},
"ball": "[-0.620793349368396524723771864626558767623245968430668285208539318127515942665940714309908671566926803709169896991740762565278119611268088755676434174873864 +/- 5.70e-154]",
"radius": "5.1546826e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "14",
"convention": "det"
},
"ball": "[0.539189204577032641855486002556818859864429629153115257622952049867046153716362757388043732944724746646630312324200730573950222131507305274589814588672757 +/- 9.35e-154]",
"radius": "4.4701292e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "14",
"convention": "logdet"
},
"ball": "[-0.61768874076949485726607957424232469828453458426188781469399349932569112757715203864204142244431125951192828013963553246626083650356554152988548267516571 +/- 4.70e-153]",
"radius": "8.1162077e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "15",
"convention": "det"
},
"ball": "[0.477157411592535503199331368520274711784143731637027937811380664335130037997014607004829585404756348154570994989213435302680531438673220962321802831338797 +/- 4.98e-154]",
"radius": "2.9620505e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "15",
"convention": "logdet"
},
"ball": "[-0.739908839194272341704063744955843133407417415368208705780379329410010277030124470665025429484576801097252687596200316655161455072698972391858775556353383 +/- 7.76e-154]",
"radius": "6.1092452e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "16",
"convention": "det"
},
"ball": "[0.489386921441160663475773962716390621132636456701805278013691565515806134545382600971272069669514472434194115507490148150858982102773776855928941897326834 +/- 7.31e-154]",
"radius": "4.6129775e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "16",
"convention": "logdet"
},
"ball": "[-0.71460185198990398425200850236768045336642498475581218884444964024368787852080067713733615199524229068457704101527091230822221292138562320728590805165988 +/- 1.42e-153]",
"radius": "9.3300381e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "17",
"convention": "det"
},
"ball": "[0.430114410790816928030753336166101071496087022503413369741364672533813159416801723590989868556323956294521340663276551263699260715259497595773871415030672 +/- 7.87e-154]",
"radius": "2.9385064e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "17",
"convention": "logdet"
},
"ball": "[-0.843704034078750341517313964518357340582606352468559982995564065329432459970192767418988710978174265407355831996437563611811922458123383881119022883310409 +/- 8.41e-154]",
"radius": "6.7226940e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "18",
"convention": "det"
},
"ball": "[0.449052451811597761288590583341711008162580093218769100528491729194100945930965542208216412314490081799418094394481038998167356342261872970999254850592825 +/- 4.93e-154]",
"radius": "4.7843852e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "18",
"convention": "logdet"
},
"ball": "[-0.80061557888320671962009593056626549920578898556790474115752271289534895820819502452245973316563949294089742009596455849066647517977135186122257709009959 +/- 1.95e-153]",
"radius": "1.0549784e-153",
"inside_stored_interval": true
},
{
"params": {
"d": "19",
"convention": "det"
},
"ball": "[0.392302320532387855603053369823009639918723896011732521718961875304505842158531270730451010383165254041203622782010590582644245557103457360178818021374384 +/- 3.39e-154]",
"radius": "3.0613395e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "19",
"convention": "logdet"
},
"ball": "[-0.93572251058558332625916191267482703532841749340004510612284037123685810313159547715586703904077783526548488865659518424216007713722962132030464062862715 +/- 4.07e-153]",
"radius": "7.6837697e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "20",
"convention": "det"
},
"ball": "[0.415617774402825836273748526783191723467695438388631550785036666006397721056925863196626118251447656709790827838778177504835496187883852655379866029939094 +/- 5.88e-154]",
"radius": "5.2681284e-154",
"inside_stored_interval": true
},
{
"params": {
"d": "20",
"convention": "logdet"
},
"ball": "[-0.87798925261859414699990850773210310287032255819031231734371648053337621720693658465750014715922853018649694989905798249750133071658228225963498620824847 +/- 1.96e-153]",
"radius": "1.2562383e-153",
"inside_stored_interval": true
}
]
}