{
  "by_dimension": {
    "1": {
      "degree_counts": {
        "0": 24
      },
      "representations": 81,
      "with_relative_degree": 24
    },
    "2": {
      "degree_counts": {
        "0": 290304,
        "1": 5568
      },
      "representations": 531441,
      "with_relative_degree": 295872
    }
  },
  "degree_counts": {
    "d1_r0": 24,
    "d2_r0": 290304,
    "d2_r1": 5568
  },
  "domain": {
    "alphabet": [
      "a",
      "b"
    ],
    "dimensions": [
      1,
      2
    ],
    "entry_set": [
      -1,
      0,
      1
    ],
    "enumeration": "all lambda, gamma, M_a, M_b over the entry set"
  },
  "mismatches": 0,
  "nonunique_candidate_sets": 0,
  "oracle": "direct definition test for every r<d using every suffix word of length <d",
  "protocol": "fprd-relative-degree-exhaustive.v1",
  "python": "3.12.13",
  "result": "pass",
  "total_representations": 531522,
  "transcript_sha256": "b4ec84d46b8ec2809df4180a474328d4e95fb449179c4b4906b32c4dd5d3261e"
}