{
  "K_eqs": 24,
  "unknowns": 20,
  "K_at_alpoge_zero": true,
  "dim_ker": 6,
  "trivial_rank": 5,
  "trivial_in_kernel": true,
  "verdict_rigid_mod_autos": false,
  "kernel_vectors": [
    [
      "7/24",
      "9/8",
      "3/4",
      "0",
      "0",
      "1/4",
      "1/2",
      "1/4",
      "11/4",
      "3",
      "0",
      "1/2",
      "3/2",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-25/8",
      "-57/8",
      "-15/4",
      "0",
      "-1/2",
      "-9/4",
      "-3",
      "-5/4",
      "9/4",
      "0",
      "0",
      "3/2",
      "3/2",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-19/8",
      "-47/8",
      "-13/4",
      "0",
      "0",
      "-3/4",
      "-3/2",
      "-3/4",
      "-5/4",
      "-3",
      "0",
      "3/2",
      "3/2",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0",
      "0"
    ],
    [
      "-1",
      "-3",
      "-3",
      "-1",
      "0",
      "0",
      "0",
      "0",
      "-3",
      "-6",
      "-3",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0",
      "0"
    ],
    [
      "39/8",
      "83/8",
      "21/4",
      "0",
      "0",
      "3/4",
      "3/2",
      "3/4",
      "33/4",
      "9",
      "0",
      "-3/2",
      "-3/2",
      "0",
      "0",
      "0",
      "0",
      "1",
      "0",
      "0"
    ],
    [
      "-2",
      "-7/2",
      "-3/2",
      "0",
      "-1/2",
      "-3/2",
      "-3/2",
      "-1/2",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "0",
      "1"
    ]
  ],
  "trivial_names": [
    "pre-scale x",
    "pre-scale z",
    "post-scale F1",
    "post-scale F3",
    "z-shear y^2 a^0"
  ],
  "elapsed": 1.51
}