{
  "checks": [
    {
      "name": "GF(2) degree 1 coefficients (0,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 1 coefficients (1,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 2 coefficients (0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 2 coefficients (0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 2 coefficients (1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 2 coefficients (1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 3 coefficients (1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 4 coefficients (1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (0, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 5 coefficients (1, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 0, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (0, 1, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 0, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(2) degree 6 coefficients (1, 1, 1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 1 coefficients (0,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 1 coefficients (1,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 1 coefficients (2,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 2 coefficients (2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (0, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (1, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 3 coefficients (2, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 0, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 1, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (0, 2, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 0, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 1, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (1, 2, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 0, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 1, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(3) degree 4 coefficients (2, 2, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 1 coefficients (0,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 1 coefficients (1,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 1 coefficients (2,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 1 coefficients (3,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 1 coefficients (4,): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 2 coefficients (4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (0, 4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (1, 4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (2, 4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (3, 4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 0, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 0, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 0, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 0, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 0, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 1, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 1, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 1, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 1, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 1, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 2, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 2, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 2, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 2, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 2, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 3, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 3, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 3, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 3, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 3, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 4, 0): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 4, 1): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 4, 2): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 4, 3): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "GF(5) degree 3 coefficients (4, 4, 4): exhaustive divisors and SymPy factorization",
      "passed": true
    },
    {
      "name": "nonmonic repeated input accepted with coefficient and multiplicity",
      "passed": true
    },
    {
      "name": "repeated derivative zero, constant or largest allowed prime 2/[1, 0, 0, 0, 1]",
      "passed": true
    },
    {
      "name": "repeated derivative zero, constant or largest allowed prime 3/[1, 0, 0, 1]",
      "passed": true
    },
    {
      "name": "repeated derivative zero, constant or largest allowed prime 5/[4]",
      "passed": true
    },
    {
      "name": "repeated derivative zero, constant or largest allowed prime 2147483647/[0, 1]",
      "passed": true
    },
    {
      "name": "multiply-back alone accepts reducible fake; full checker rejects it",
      "passed": true
    },
    {
      "name": "input mutation 0",
      "passed": true
    },
    {
      "name": "input mutation 1",
      "passed": true
    },
    {
      "name": "input mutation 2",
      "passed": true
    },
    {
      "name": "input mutation 3",
      "passed": true
    },
    {
      "name": "input mutation 4",
      "passed": true
    },
    {
      "name": "input mutation 5",
      "passed": true
    },
    {
      "name": "input mutation 6",
      "passed": true
    },
    {
      "name": "input mutation 7",
      "passed": true
    },
    {
      "name": "input mutation 8",
      "passed": true
    },
    {
      "name": "input mutation 9",
      "passed": true
    },
    {
      "name": "input mutation 10",
      "passed": true
    },
    {
      "name": "input mutation 11",
      "passed": true
    },
    {
      "name": "input mutation 12",
      "passed": true
    },
    {
      "name": "input mutation 13",
      "passed": true
    },
    {
      "name": "missing multiplicity",
      "passed": true
    },
    {
      "name": "duplicate factors",
      "passed": true
    },
    {
      "name": "zero multiplicity",
      "passed": true
    },
    {
      "name": "boolean multiplicity",
      "passed": true
    },
    {
      "name": "nonmonic factor",
      "passed": true
    },
    {
      "name": "constant factor",
      "passed": true
    },
    {
      "name": "expansion exceeds limit",
      "passed": true
    },
    {
      "name": "resource exhaustion makes no acceptance claim",
      "passed": true
    },
    {
      "name": "malformed JSON a69caa363a",
      "passed": true
    },
    {
      "name": "malformed JSON 7ac7f5bfd7",
      "passed": true
    },
    {
      "name": "malformed JSON a8100ae6aa",
      "passed": true
    },
    {
      "name": "malformed JSON 9d78de4e5b",
      "passed": true
    },
    {
      "name": "malformed JSON 3d485c4d3c",
      "passed": true
    },
    {
      "name": "supplied separator x scan 101/101",
      "passed": true
    },
    {
      "name": "SymPy verified p=101 run=1",
      "passed": true
    },
    {
      "name": "SymPy verified p=101 run=2",
      "passed": true
    },
    {
      "name": "SymPy verified p=101 run=3",
      "passed": true
    },
    {
      "name": "supplied separator x scan 1009/1009",
      "passed": true
    },
    {
      "name": "SymPy verified p=1009 run=1",
      "passed": true
    },
    {
      "name": "SymPy verified p=1009 run=2",
      "passed": true
    },
    {
      "name": "SymPy verified p=1009 run=3",
      "passed": true
    },
    {
      "name": "supplied separator x scan 65537/256",
      "passed": true
    },
    {
      "name": "SymPy verified p=65537 run=1",
      "passed": true
    },
    {
      "name": "SymPy verified p=65537 run=2",
      "passed": true
    },
    {
      "name": "SymPy verified p=65537 run=3",
      "passed": true
    },
    {
      "name": "scan mutation {'separator': [1]}",
      "passed": true
    },
    {
      "name": "scan mutation {'separator': [0, 0, 1]}",
      "passed": true
    },
    {
      "name": "scan mutation {'polynomial': [1, 2, 1]}",
      "passed": true
    },
    {
      "name": "scan mutation {'trial_limit': 0}",
      "passed": true
    },
    {
      "name": "scan mutation {'trial_limit': 100001}",
      "passed": true
    },
    {
      "name": "non-Frobenius-fixed separator refused",
      "passed": true
    },
    {
      "name": "degree-two guard exact adjacent integer boundary",
      "passed": true
    },
    {
      "name": "all ordinary 4096-bit-or-smaller prime cases stay small for every degree >=2",
      "passed": true
    },
    {
      "name": "CLI exact fresh output",
      "passed": true
    },
    {
      "name": "CLI preserves an existing output",
      "passed": true
    }
  ],
  "passed": 456,
  "exhaustive_monic_polynomials": 401,
  "incumbent_version": "1.13.1",
  "source_backend": "not implemented or executed",
  "limitations": "Finite tests are not a formal proof; operation charges are not wall-clock/memory guarantees."
}