{
  "jet_diagram": {
    "order": 3,
    "tangential_dimension": 1,
    "unknown_components": 1,
    "vertices": [
      {
        "alpha": 0,
        "j": 0
      },
      {
        "alpha": 0,
        "j": 1
      },
      {
        "alpha": 0,
        "j": 2
      },
      {
        "alpha": 1,
        "j": 0
      },
      {
        "alpha": 1,
        "j": 1
      },
      {
        "alpha": 2,
        "j": 0
      }
    ],
    "solid_rows": [
      [
        0,
        0,
        0,
        1
      ],
      [
        1,
        0,
        1,
        1
      ],
      [
        0,
        1,
        0,
        2
      ]
    ],
    "dashed_rows": [
      [
        2,
        0,
        1,
        1
      ],
      [
        1,
        1,
        0,
        2
      ]
    ],
    "final_equation_row": [
      0,
      2
    ],
    "proof_locator": "Lemma2.1;learner Example1"
  },
  "contact": {
    "candidate_graph": "t=-|x|^(3/2)",
    "epsilon": "1/8",
    "a": "1/144",
    "kappa": "36",
    "minimizers": [
      [
        "-1/2304",
        "-1/110592"
      ],
      [
        "1/2304",
        "-1/110592"
      ]
    ],
    "minimum": "-1/442368",
    "physical_conormals": [
      "dt-dx/32",
      "dt+dx/32"
    ],
    "display_coordinates": [
      "X=2304x",
      "Y=110592t"
    ],
    "display_graph": "Y=-|X|^(3/2)",
    "display_supporting_level": "Y=-1/4-3X^2/4",
    "full_cylinder_side_X": "16",
    "no_PDE_solution_claimed_for_candidate_set": true,
    "proof_locator": "Theorem3.2;learner Example3,Solution5"
  }
}