{
  "normalized_map_G": [
    "-x**3*z/2 - 3*x**2*y/2 + x",
    "3*x**3*y**2*z + 9*x**2*y**3 + 6*x**2*y*z + 12*x*y**2 + 3*x*z + y",
    "x**3*y**3*z + 3*x**2*y**4 + 3*x**2*y**2*z + 7*x*y**3 + 3*x*y*z + 4*y**2 + z"
  ],
  "H_profile": [
    {
      "component": "H1",
      "n_monomials": 2,
      "degrees_present": [
        3,
        4
      ],
      "H": "-x**3*z/2 - 3*x**2*y/2"
    },
    {
      "component": "H2",
      "n_monomials": 5,
      "degrees_present": [
        2,
        3,
        4,
        5,
        6
      ],
      "H": "3*x**3*y**2*z + 9*x**2*y**3 + 6*x**2*y*z + 12*x*y**2 + 3*x*z"
    },
    {
      "component": "H3",
      "n_monomials": 6,
      "degrees_present": [
        2,
        3,
        4,
        5,
        6,
        7
      ],
      "H": "x**3*y**3*z + 3*x**2*y**4 + 3*x**2*y**2*z + 7*x*y**3 + 3*x*y*z + 4*y**2"
    }
  ],
  "L": [
    [
      "0",
      "0",
      "1"
    ],
    [
      "0",
      "1",
      "0"
    ],
    [
      "2",
      "0",
      "0"
    ]
  ],
  "checks": {
    "F0_zero": true,
    "linear_part_identity": true,
    "detJG_equals_1": true,
    "collision_survives": true
  },
  "collision_image_under_G": [
    "0",
    "0",
    "-1/4"
  ],
  "elapsed_sec": 0.12
}