build-evidence.json

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

1860 bytes, as of the version from 2026-10-25 12:37 (current). Recorded here, not run.

{
  "table": "T486",
  "stored": false,
  "count": 72,
  "determinant_brackets": 69,
  "exact_zeros": 3,
  "zero_mode_nullities": {
    "clamped-free": 0,
    "clamped-clamped": 0,
    "clamped-pinned": 0,
    "pinned-pinned": 0,
    "free-free": 2,
    "pinned-free": 1
  },
  "isospectral_equalities": 21,
  "independent_precision_dps": [
    150,
    200
  ],
  "largest_cross_precision_difference": "1.506967019e-142",
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "mpmath": "1.4.1",
  "minimum_relative_accuracy_bits_lower_bound": 374,
  "measurement": {
    "entries": 72,
    "longest": 147,
    "longest_at": [
      "pinned-pinned",
      4
    ],
    "block_kb": 13.7646484375
  },
  "serialized_longest": 101,
  "serialized_entries_json_bytes": 12660,
  "checks_sha256": "83ce3fce99189bfe926d133d9faaef592d859f46bbc75d76175f0e357aaf6de7",
  "generator_sha256": "43ff87a7676dc9dd5b70b8a85fac76f91fe90757d68a62bc54b05bcfb81a9273",
  "readback": {
    "table": "T486",
    "stored": true,
    "count": 72,
    "determinant_brackets": 69,
    "exact_zeros": 3,
    "zero_mode_nullities": {
      "clamped-free": 0,
      "clamped-clamped": 0,
      "clamped-pinned": 0,
      "pinned-pinned": 0,
      "free-free": 2,
      "pinned-free": 1
    },
    "isospectral_equalities": 21,
    "independent_precision_dps": [
      150,
      200
    ],
    "largest_cross_precision_difference": "1.506967019e-142",
    "environment": {
      "python": "3.12.3",
      "numberdb": "0.1.10",
      "sage": "10.9"
    },
    "mpmath": "1.4.1"
  },
  "verify": {
    "matched": 72,
    "differing": 0,
    "missing": 0,
    "extra": 0
  },
  "program_check": {
    "entries": 72,
    "passed": true
  },
  "audit": {
    "clean": true,
    "findings": []
  },
  "research_dependencies": {
    "pypdf": "6.19.0"
  }
}