{
  "common_product_matrix": [
    -9,
    4,
    -7,
    3
  ],
  "factorizations": {
    "A": [
      "x^2 y x^-2",
      "y",
      "y"
    ],
    "B": [
      "x",
      "(y^-1 x) y (y^-1 x)^-1",
      "y"
    ]
  },
  "finite_hurwitz_orbit_sizes": {
    "A": 1,
    "B": 8
  },
  "finite_orbits_disjoint": true,
  "permutation_subgroup_orders": {
    "A": 2,
    "B": 6
  },
  "result": "pass",
  "scope": "Replay of the displayed witness in the standard B3 matrix representation and the finite mod-two quotient; not a general decision procedure."
}