{
  "status": "certified_forward_invariant",
  "P": [
    [
      "95/4",
      "4075/142",
      "3025/142"
    ],
    [
      "4075/142",
      "57115/1207",
      "1735/71"
    ],
    [
      "3025/142",
      "1735/71",
      "1920/71"
    ]
  ],
  "principal_minors": [
    "95/4",
    "51472525/171394",
    "401489125/171394"
  ],
  "lyapunov_identity": true,
  "cubic_matrix": [
    [
      "0",
      "1405/568",
      "-695/568"
    ],
    [
      "1405/568",
      "44955/2414",
      "-40/71"
    ],
    [
      "-695/568",
      "-40/71",
      "815/142"
    ]
  ],
  "frobenius_squared": "9221492725/23309584",
  "coordinate_radius_upper": [
    "1/4",
    "127/1000",
    "161/1000"
  ],
  "level": "1/5",
  "multiplier_b_floor": "1573/1000",
  "V_exponential_time_constant": "473685/2414",
  "euclidean_ball_radius": "9/200",
  "ball_contained": true,
  "scope": "Fixed rate constants and load, with initial state inside this ellipsoid; no entry or time-varying-load guarantee."
}