format-and-program-evidence.json

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

1713 bytes, as of the version from 2026-10-28 22:59 (current). Recorded here, not run.

{
  "format": [
    {
      "n": 0,
      "terms": 1,
      "bytes": 1,
      "sha256": "6b86b273ff34fce19d6b804eff5a3f5747ada4eaa22f1d49c01e52ddb7875b4b",
      "search_hash": "fa4b6748483f847c491b26e8e1d718be"
    },
    {
      "n": 1,
      "terms": 2,
      "bytes": 5,
      "sha256": "9b455f65a8dc0feb6e898f9819961b87e2f47a34122de9926de5101687a6cb82",
      "search_hash": "6cc05c7b32d78f94a9564293b1289ca1"
    },
    {
      "n": 2,
      "terms": 5,
      "bytes": 33,
      "sha256": "8511966d807dfa59639a5c9af6c746924d6f50fb17e8ab33f96cb679536df589",
      "search_hash": "91c6a5189fe5d559b1d4a870173e01a4"
    },
    {
      "n": 3,
      "terms": 13,
      "bytes": 126,
      "sha256": "6131b8f3f55f23ab3f7c3e4df832d7232aefd1a87beb46538c2e813917eebb68",
      "search_hash": "e340a310ec22822ead79293879f7028f"
    },
    {
      "n": 4,
      "terms": 30,
      "bytes": 361,
      "sha256": "a67a18d4994803c6e4c11c1bf861e857b624015244efc7de007616a0bdcfd140",
      "search_hash": "e77b2b73212a5b88705663d570f8557a"
    },
    {
      "n": 5,
      "terms": 62,
      "bytes": 898,
      "sha256": "c1809c59be0419607c037536b8ac3fd7059ed7c453b4265f041e1d3e88c86b74",
      "search_hash": "5b55d15e1a4386da9d917575578cf14a"
    }
  ],
  "program_agreement": [
    0,
    1,
    2,
    3,
    4,
    5,
    6
  ],
  "corpus_bessel_agreement": [
    0,
    1,
    2,
    3,
    4,
    5
  ],
  "exactness": true,
  "monic_division_rejects_remainder": true,
  "renaming_invariant_search_format": true,
  "measure": {
    "entries": 6,
    "longest": 898,
    "longest_at": 5,
    "block_kb": 1.650390625
  },
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  }
}