{
  "checks": [
    {
      "label": "exact-matrix-witness:ordered_commutator:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:ordered_commutator:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:ordered_commutator",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:distributive_identity:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:distributive_identity:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:distributive_identity",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:incorrect_square_rewrite:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:incorrect_square_rewrite:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:incorrect_square_rewrite",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:rational_scalar:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:rational_scalar:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:rational_scalar",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:exceptional_variable:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:exceptional_variable:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:exceptional_variable",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_2:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_2:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:product_of_sums_2",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_4:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_4:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:product_of_sums_4",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_8:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_8:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:product_of_sums_8",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_16:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:product_of_sums_16:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:product_of_sums_16",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:nilpotent_probe_miss:0",
      "passed": true
    },
    {
      "label": "exact-matrix-witness:nilpotent_probe_miss:1",
      "passed": true
    },
    {
      "label": "completed-prefix-crosscheck:nilpotent_probe_miss",
      "passed": true
    },
    {
      "label": "preset-specific-zero-is-not-identity",
      "passed": true
    },
    {
      "label": "scalar-commutator-miss",
      "passed": true
    }
  ],
  "passed": 32
}