{
  "dim_ker": 6,
  "trivial_rank": 5,
  "trivial_in_ker": true,
  "spans_coincide": false,
  "verdict": "GENUINE-DEFORMATION-EXISTS",
  "trivial_names": [
    "pre-x",
    "pre-z",
    "post-F1",
    "post-F3",
    "z-shear y^2",
    "pre-y (+) post-F2^{-1} [COMBINED]"
  ],
  "elapsed": 1.38
}