coverage-evidence.json

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

1621 bytes, as of the version from 2026-11-02 08:29 (current). Recorded here, not run.

{
  "table": "T661",
  "entries": 421,
  "group_pairs": 77,
  "exact_integers": 268,
  "exact_nonintegral_rationals": 76,
  "certified_reals": 77,
  "minimum_arb_accuracy_bits": 391,
  "independent_branching_spectra": 38,
  "sum_of_squares_checks": 77,
  "gelfand_dimension_checks": 77,
  "colored_partition_checks": 38,
  "independent_entry_checks": 421,
  "surface_checks": [
    {
      "q": 1,
      "n": 3,
      "order": 6,
      "homomorphism_counts": {
        "1": 18,
        "2": 486,
        "3": 16038
      }
    },
    {
      "q": 1,
      "n": 4,
      "order": 24,
      "homomorphism_counts": {
        "1": 120,
        "2": 34176,
        "3": 16619520
      }
    },
    {
      "q": 2,
      "n": 2,
      "order": 8,
      "homomorphism_counts": {
        "1": 40,
        "2": 2176,
        "3": 133120
      }
    },
    {
      "q": 3,
      "n": 2,
      "order": 18,
      "homomorphism_counts": {
        "1": 162,
        "2": 39366,
        "3": 11691702
      }
    }
  ],
  "verify_report": "<VerifyReport T661: 421/421 matched, 0 differing, 0 missing, 0 extra>",
  "sage_version": "10.9",
  "scope": "Independent algorithms, not an independent human review",
  "preserved_entries": 154,
  "added_entries": 267,
  "sources": {
    "generate.py": "2b0f2a66a782b1d0a7ce1935b3b333122f236be82f69d968d4d4216f241f7991",
    "checks.py": "53d60b8f177c2bb9a8365be689aed9e59f6e874fac53b5ec684cd2b1271a06b9",
    "argument-selection.md": "5a7b64279dae541abc5869f70b4e35cd9f230235efd935eed9e17fe02ce260b5",
    "program.py": "47695f50bc4044a5ba228c923d3d4013da2ee356e263bf26fd9bb4492353b507"
  }
}