back to table · edit · history · where entries came from · files · download
10604 bytes, as of the version from 2026-10-29 00:00 (current). Recorded here, not run.
{
"table": "T594",
"skill_manifest": "agents/runs/20261028T234955Z-build-skills/manifest.json",
"skill_sha256": {
"local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
},
"versions": {
"python": "3.12.3",
"sage": "10.9",
"numberdb": "0.1.10"
},
"entries": 15,
"minimum_relative_accuracy_bits": 418,
"working_bits": 429,
"longest_serialized_number": 102,
"number_characters": 1530,
"direct_enumeration_rectangles": 9,
"seconds": 0.8883936889469624,
"all_checks_passed": true,
"rows": [
{
"m": 2,
"n": 2,
"number": "0.4785533905932737622004221810524245196424179688442370182941699344976831196155267597125968835819103932",
"relative_accuracy_bits": 427,
"exact_coefficients": [
"1/8",
"1/4"
],
"moment2_coefficients": [
"16/3",
"8/3"
],
"moment4_coefficients": [
"208/3",
"128/3"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 2,
"n": 3,
"number": "0.4473912100943572679981516837578052044019905825563313938289322483437751624763010973545651937535411495",
"relative_accuracy_bits": 426,
"exact_coefficients": [
"211/1225",
"143/735"
],
"moment2_coefficients": [
"660/71",
"410/71"
],
"moment4_coefficients": [
"18096/71",
"12584/71"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 2,
"n": 4,
"number": "0.4159307498819930395095110065732994791903873701684008543673867965010703209695381830457412137924387896",
"relative_accuracy_bits": 418,
"exact_coefficients": [
"7181/147",
"-10069/294"
],
"moment2_coefficients": [
"2624/193",
"1832/193"
],
"moment4_coefficients": [
"122624/193",
"87872/193"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 2,
"n": 5,
"number": "0.3851100717448640058669998526231721423947526116613637332766541261196857311283798566116665774183037608",
"relative_accuracy_bits": 422,
"exact_coefficients": [
"876373243/243054003",
"-184500823/81018001"
],
"moment2_coefficients": [
"34376/1897",
"25674/1897"
],
"moment4_coefficients": [
"344576/271",
"247128/271"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 2,
"n": 6,
"number": "0.3560097172775295757567069515731824545748690756436373147080235434364662636177329187143578242860537559",
"relative_accuracy_bits": 424,
"exact_coefficients": [
"134465309/97735776",
"-734142/1018081"
],
"moment2_coefficients": [
"109568/4801",
"85104/4801"
],
"moment4_coefficients": [
"10585904/4801",
"7557120/4801"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 3,
"n": 3,
"number": "0.4412972572857605172251506869250500189737723126532583258093906067924368588332623683730965011213278410",
"relative_accuracy_bits": 424,
"exact_coefficients": [
"-138675470/156255267",
"48938976/52085089"
],
"moment2_coefficients": [
"2953/161",
"1944/161"
],
"moment4_coefficients": [
"170497/161",
"118800/161"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 3,
"n": 4,
"number": "0.4273015406636573110574244253828673138964558689159098770075233392796953164393488879922425416148235258",
"relative_accuracy_bits": 422,
"exact_coefficients": [
"3925087120/1024420323",
"-2465929355/1024420323"
],
"moment2_coefficients": [
"287884/9991",
"199904/9991"
],
"moment4_coefficients": [
"27968464/9991",
"19812176/9991"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 3,
"n": 5,
"number": "0.4091998805046454314505728121572594054723616242843000196037200496349997874976546166881585718243993190",
"relative_accuracy_bits": 421,
"exact_coefficients": [
"-188287467339614/29584847949123",
"47233220619776/9861615983041"
],
"moment2_coefficients": [
"5637217/138209",
"3958800/138209"
],
"moment4_coefficients": [
"809704897/138209",
"572224032/138209"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 3,
"n": 6,
"number": "0.3893759966540998944161150518621469582701788529629731773496408772753732428373556048948605294597886249",
"relative_accuracy_bits": 423,
"exact_coefficients": [
"7496895146243/2387810926227",
"-4643668440007/2387810926227"
],
"moment2_coefficients": [
"26047488/491873",
"18842334/491873"
],
"moment4_coefficients": [
"5165274240/491873",
"3659982264/491873"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
},
{
"m": 4,
"n": 4,
"number": "0.4262826702955061976323570994317348192152590179857716999712041393495510591025264571924502327485612543",
"relative_accuracy_bits": 424,
"exact_coefficients": [
"35776777/30989388",
"-1329746/2582449"
],
"moment2_coefficients": [
"467744/9751",
"324624/9751"
],
"moment4_coefficients": [
"10828928/1393",
"7659264/1393"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": true,
"stored_interval_checked": true
},
{
"m": 4,
"n": 5,
"number": "0.4182475382249420205472775938643420834967170849811560868828003777152699265102075425883794408469382073",
"relative_accuracy_bits": 420,
"exact_coefficients": [
"6355939767402200/512812827727641",
"-4342665936769397/512812827727641"
],
"moment2_coefficients": [
"1591914348/22890313",
"1120113840/22890313"
],
"moment4_coefficients": [
"384442225584/22890313",
"271974628848/22890313"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
},
{
"m": 4,
"n": 6,
"number": "0.4063678876149378648094285456511948849244669640045465502212030313838954144090869055644191130654961622",
"relative_accuracy_bits": 418,
"exact_coefficients": [
"5031524200569534916/67772904183396723",
"-2358900429089439651/45181936122264482"
],
"moment2_coefficients": [
"51010546528/547212257",
"36142797000/547212257"
],
"moment4_coefficients": [
"16966815754624/547212257",
"12003409462848/547212257"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
},
{
"m": 5,
"n": 5,
"number": "0.4183262715539310468713472281717088513619311418459038030203503394080338064828644325188261413519104684",
"relative_accuracy_bits": 423,
"exact_coefficients": [
"-4217236653526827473178/4083814444927412172481",
"12570103303311661740128/12251443334782236517443"
],
"moment2_coefficients": [
"20606481633/197869537",
"14352391544/197869537"
],
"moment4_coefficients": [
"7380201570609/197869537",
"5215021466000/197869537"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
},
{
"m": 5,
"n": 6,
"number": "0.4130955467536915753517341518385014982151160238077407459101866111255522123384068204080169181795628358",
"relative_accuracy_bits": 422,
"exact_coefficients": [
"571985290801696843484253/117443507630953407242983",
"-7773131448719932356640955/2466313660250021552102643"
],
"moment2_coefficients": [
"65713416370644/464066760841",
"46339454104090/464066760841"
],
"moment4_coefficients": [
"32677395323742480/464066760841",
"23107634767107880/464066760841"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
},
{
"m": 6,
"n": 6,
"number": "0.4134560756760306758087675006746955537347205526863607055705388303066104370379709006257337442477521374",
"relative_accuracy_bits": 423,
"exact_coefficients": [
"638040458008497519909515369/251284167468119961914635344",
"-62949649951418597571708391/41880694578019993652439224"
],
"moment2_coefficients": [
"1382979082216784/7036671773513",
"975122127947568/7036671773513"
],
"moment4_coefficients": [
"953826668545814192/7036671773513",
"674474526989462016/7036671773513"
],
"independent_edge_check": true,
"all_even_subgraph_coefficients": true,
"direct_spin_enumeration": false,
"stored_interval_checked": true
}
]
}