{
  "method": "finite exact two-coordinate tests and endpoint ledgers; no general theorem certificate",
  "sympy_version": "1.14.0",
  "source_sha256": "6b4eb1977533b9b1503927a55687c72afd9dc68b05b27b94cf404413195dd2c2",
  "rank_checks": [
    {
      "p": 1,
      "q": 0,
      "domain_dimension": 2,
      "rank": 2
    },
    {
      "p": 2,
      "q": 0,
      "domain_dimension": 3,
      "rank": 3
    },
    {
      "p": 2,
      "q": 1,
      "domain_dimension": 6,
      "rank": 6
    },
    {
      "p": 3,
      "q": 0,
      "domain_dimension": 4,
      "rank": 4
    },
    {
      "p": 3,
      "q": 1,
      "domain_dimension": 8,
      "rank": 8
    },
    {
      "p": 3,
      "q": 2,
      "domain_dimension": 12,
      "rank": 12
    },
    {
      "p": 4,
      "q": 0,
      "domain_dimension": 5,
      "rank": 5
    },
    {
      "p": 4,
      "q": 1,
      "domain_dimension": 10,
      "rank": 10
    },
    {
      "p": 4,
      "q": 2,
      "domain_dimension": 15,
      "rank": 15
    },
    {
      "p": 4,
      "q": 3,
      "domain_dimension": 20,
      "rank": 20
    },
    {
      "p": 5,
      "q": 0,
      "domain_dimension": 6,
      "rank": 6
    },
    {
      "p": 5,
      "q": 1,
      "domain_dimension": 12,
      "rank": 12
    },
    {
      "p": 5,
      "q": 2,
      "domain_dimension": 18,
      "rank": 18
    },
    {
      "p": 5,
      "q": 3,
      "domain_dimension": 24,
      "rank": 24
    },
    {
      "p": 5,
      "q": 4,
      "domain_dimension": 30,
      "rank": 30
    },
    {
      "p": 6,
      "q": 0,
      "domain_dimension": 7,
      "rank": 7
    },
    {
      "p": 6,
      "q": 1,
      "domain_dimension": 14,
      "rank": 14
    },
    {
      "p": 6,
      "q": 2,
      "domain_dimension": 21,
      "rank": 21
    },
    {
      "p": 6,
      "q": 3,
      "domain_dimension": 28,
      "rank": 28
    },
    {
      "p": 6,
      "q": 4,
      "domain_dimension": 35,
      "rank": 35
    },
    {
      "p": 6,
      "q": 5,
      "domain_dimension": 42,
      "rank": 42
    }
  ],
  "commutator_monomials_checked": 225,
  "equal_degree_noninjectivity_witness": "U1*Y2-U2*Y1",
  "degree_checks": [
    {
      "a": 2,
      "endpoint_b": 2,
      "m": 1,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 3,
      "endpoint_b": 6,
      "m": 4,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 4,
      "endpoint_b": 12,
      "m": 9,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 5,
      "endpoint_b": 20,
      "m": 16,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 6,
      "endpoint_b": 30,
      "m": 25,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 7,
      "endpoint_b": 42,
      "m": 36,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 8,
      "endpoint_b": 56,
      "m": 49,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 9,
      "endpoint_b": 72,
      "m": 64,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 10,
      "endpoint_b": 90,
      "m": 81,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 11,
      "endpoint_b": 110,
      "m": 100,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 12,
      "endpoint_b": 132,
      "m": 121,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 13,
      "endpoint_b": 156,
      "m": 144,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 14,
      "endpoint_b": 182,
      "m": 169,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 15,
      "endpoint_b": 210,
      "m": 196,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 16,
      "endpoint_b": 240,
      "m": 225,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 17,
      "endpoint_b": 272,
      "m": 256,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 18,
      "endpoint_b": 306,
      "m": 289,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 19,
      "endpoint_b": 342,
      "m": 324,
      "first_min_gap": 1,
      "second_min_gap": 2
    },
    {
      "a": 20,
      "endpoint_b": 380,
      "m": 361,
      "first_min_gap": 1,
      "second_min_gap": 2
    }
  ]
}