numerical-evidence.json

back to table · edit · history · where entries came from · files · download

1367 bytes, as of the version from 2026-10-29 02:59 (current). Recorded here, not run.

{
  "approximate_values": 65,
  "checks": {
    "codimension_three": 10,
    "codimension_two": 11,
    "exact_gram_matrices": 77,
    "facets": 11,
    "gauss_bonnet_recurrences": 77,
    "gram_angle_sums": 11
  },
  "digits": 100,
  "elapsed_seconds": 106.44686964713037,
  "entries": 77,
  "environment": {
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "sage": "10.9"
  },
  "exact_rationals": 12,
  "higher_precision_digits": 140,
  "independent_bits": 630,
  "max_relative_radius": 4.794234842627899e-123,
  "measurement": {
    "block_kb": 9.33984375,
    "entries": 77,
    "longest": 107,
    "longest_at": "8,0"
  },
  "mode": "local",
  "skill_manifest": "agents/runs/20261029T024405Z-build-skills/manifest.json",
  "table": "T598",
  "working_bits": 500,
  "worst_relative_radius_at": "(10, 0)",
  "skill_sha256": {
    "local": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
    "live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199"
  },
  "run": "20261029T024405Z",
  "program_checks": {
    "pairs": [
      [
        2,
        0
      ],
      [
        3,
        0
      ],
      [
        3,
        1
      ],
      [
        12,
        0
      ],
      [
        12,
        6
      ],
      [
        12,
        11
      ]
    ],
    "relative_tolerance": "1e-110",
    "mpmath": "1.4.1"
  }
}