back to table · edit · history · where entries came from · files · download
3725 bytes, as of the version from 2026-11-01 21:37. Recorded here, not run.
{
"table": "T661",
"run": "20261101T212519Z",
"stored_values_checked": false,
"skill_manifest": "agents/runs/20261101T212519Z-build-skills/manifest.json",
"local_skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live_skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"counts": {
"group_pairs": 77,
"values": 154,
"exact_integer_values": 77,
"certified_real_values": 77
},
"structural_checks": {
"branching_spectra": 38,
"sum_of_squares": 77,
"linear_characters": 77,
"colored_partition_counts": 38,
"two_factor_spectra": 41
},
"independent_enclosures": 154,
"minimum_arb_accuracy_bits": 391,
"working_guard_bits": 64,
"size": {
"entries": 154,
"longest": 101,
"longest_at": "1,3,9/4",
"block_kb": 14.4501953125
},
"gap": {
"version": "4.15.1",
"controls": 2,
"group_comparisons": 14,
"spectra": {
"control-C2": {
"1": 2
},
"control-S3": {
"1": 2,
"2": 1
},
"1,3": {
"1": 2,
"2": 1
},
"1,4": {
"1": 2,
"2": 1,
"3": 2
},
"1,5": {
"1": 2,
"4": 2,
"5": 2,
"6": 1
},
"1,6": {
"1": 2,
"5": 4,
"9": 2,
"10": 2,
"16": 1
},
"1,7": {
"1": 2,
"6": 2,
"14": 4,
"15": 2,
"20": 1,
"21": 2,
"35": 2
},
"1,8": {
"1": 2,
"7": 2,
"14": 2,
"20": 2,
"21": 2,
"28": 2,
"35": 2,
"42": 1,
"56": 2,
"64": 2,
"70": 2,
"90": 1
},
"2,2": {
"1": 4,
"2": 1
},
"2,3": {
"1": 4,
"2": 2,
"3": 4
},
"2,4": {
"1": 4,
"2": 2,
"3": 4,
"4": 4,
"6": 4,
"8": 2
},
"3,2": {
"1": 6,
"2": 3
},
"3,3": {
"1": 6,
"2": 3,
"3": 12,
"6": 1
},
"3,4": {
"1": 6,
"2": 3,
"3": 6,
"4": 12,
"6": 12,
"8": 6,
"12": 6
},
"8,2": {
"1": 16,
"2": 28
},
"noncyclic-8,2": {
"1": 16,
"2": 28
}
}
},
"companions": {
"coxeter_order_rows": [
"A2",
"A3",
"A4",
"A5",
"A6",
"A7",
"A8",
"A9",
"B2",
"B3",
"B4",
"B5",
"B6",
"B7",
"B8",
"B9"
],
"power_sum_specializations": [
[
1,
3
],
[
1,
4
],
[
2,
2
]
]
},
"versions": {
"python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
"sage": "10.9",
"numberdb": "0.1.10"
},
"elapsed_seconds": 11.13,
"source_sha256": {
"generate.py": "c49cd73afdbc14d04e206a3353ab1b191805ded0884e46d80e7d67b6fe631099",
"checks.py": "fc670d204d8585ee01cca89676a28a3688b2a29131ef8bc29778a36c15575bb9",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"program.py": "94f13962361a20cbad0db13786a7289253d2bc7d8464f9b8f5ee031eb008d77f",
"program_check.py": "3c3002a36f1e763b809ad50d58ea558bc0a16446f57c0e504c25486819acfbed",
"argument-selection.md": "24e9cb689ba0872676a95838446f77dc2544c93331eeb019374f069d4520f883"
},
"program_check": "Standalone snippet passed every one of the 154 selected entries, a known S3 cubic control of 10, and computed the next B13 case.",
"actual_entries_yaml_bytes": 17415
}