{
  "all_pass": true,
  "attenuation_rows": 801,
  "layer_rows": 1681,
  "layer_product_max_error": 1.1102230246251565e-16,
  "ode_midpoint_steps": [
    100,
    200,
    400
  ],
  "ode_errors": [
    2.0143222452414372e-05,
    4.9586900662222655e-06,
    1.2302783595694033e-06
  ],
  "guards": 5,
  "conservation_and_monotonicity": true
}