{
  "status": "PASS",
  "grading_rank": 8,
  "distinct_degree_one_weights": 56,
  "prime_factor_tests": 21,
  "first_partner_tests": 10,
  "largest_spanning_set": 6,
  "tests": [
    {
      "function": "r/h",
      "degree": 1,
      "spanning_products": [
        "x12"
      ],
      "member": false
    },
    {
      "function": "r/b",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "r/c",
      "degree": 1,
      "spanning_products": [
        "a17"
      ],
      "member": false
    },
    {
      "function": "r/d",
      "degree": 1,
      "spanning_products": [
        "x17"
      ],
      "member": false
    },
    {
      "function": "r/e",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "r/f",
      "degree": 1,
      "spanning_products": [
        "y3"
      ],
      "member": false
    },
    {
      "function": "r/g",
      "degree": 1,
      "spanning_products": [
        "a14"
      ],
      "member": false
    },
    {
      "function": "q/h",
      "degree": 1,
      "spanning_products": [
        "a9"
      ],
      "member": false
    },
    {
      "function": "q/b",
      "degree": 1,
      "spanning_products": [
        "x4"
      ],
      "member": false
    },
    {
      "function": "q/c",
      "degree": 1,
      "spanning_products": [
        "y2"
      ],
      "member": false
    },
    {
      "function": "q/d",
      "degree": 1,
      "spanning_products": [
        "y5"
      ],
      "member": false
    },
    {
      "function": "q/e",
      "degree": 1,
      "spanning_products": [
        "y13"
      ],
      "member": false
    },
    {
      "function": "q/f",
      "degree": 1,
      "spanning_products": [
        "a6"
      ],
      "member": false
    },
    {
      "function": "q/g",
      "degree": 1,
      "spanning_products": [
        "x11"
      ],
      "member": false
    },
    {
      "function": "u/h",
      "degree": 2,
      "spanning_products": [
        "a7*x14",
        "a9*y0",
        "a11*x4",
        "x6*x12",
        "x9*z2",
        "y8*y10"
      ],
      "member": false
    },
    {
      "function": "u/b",
      "degree": 2,
      "spanning_products": [
        "x4*y0"
      ],
      "member": false
    },
    {
      "function": "u/c",
      "degree": 2,
      "spanning_products": [
        "a1*y10",
        "a3*x14",
        "a17*x6",
        "x1*z2",
        "x4*x16",
        "y0*y2"
      ],
      "member": false
    },
    {
      "function": "u/d",
      "degree": 2,
      "spanning_products": [
        "a1*x9",
        "a4*x14",
        "x1*y8",
        "x4*y15",
        "x6*x17",
        "y0*y5"
      ],
      "member": false
    },
    {
      "function": "u/e",
      "degree": 2,
      "spanning_products": [
        "a14*x4",
        "a17*x9",
        "x1*x12",
        "x14*y3",
        "x17*y10",
        "y0*y13"
      ],
      "member": false
    },
    {
      "function": "u/f",
      "degree": 2,
      "spanning_products": [
        "a3*x9",
        "a4*y10",
        "a6*y0",
        "a7*x1",
        "x4*y7",
        "x6*y3"
      ],
      "member": false
    },
    {
      "function": "u/g",
      "degree": 2,
      "spanning_products": [
        "a11*x1",
        "a14*x6",
        "x9*x16",
        "x11*y0",
        "x14*y7",
        "y10*y15"
      ],
      "member": false
    },
    {
      "function": "h'/h",
      "degree": 2,
      "spanning_products": [
        "a5*x12",
        "a7*y16",
        "a9*x2",
        "x4*x10",
        "x7*z2",
        "y6*y8"
      ],
      "member": false
    },
    {
      "function": "b'/b",
      "degree": 0,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "c'/c",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "d'/d",
      "degree": 0,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "e'/e",
      "degree": 0,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "f'/f",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "g'/g",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "r'/r",
      "degree": 1,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "q'/q",
      "degree": 0,
      "spanning_products": [],
      "member": false
    },
    {
      "function": "u'/u",
      "degree": 0,
      "spanning_products": [],
      "member": false
    }
  ],
  "scope": "Homogeneous nonmembership tests, together with the written factoriality and connected-torus arguments. Not ordinary-LPA generation."
}