{
  "arithmetic": "exact integers",
  "local_cases_checked": 100,
  "bounds": {
    "2": {
      "local_constant_bound": 4
    },
    "3": {
      "local_constant_bound": 2
    },
    "5": {
      "local_constant_bound": 2
    },
    "7": {
      "local_constant_bound": 2
    },
    "11": {
      "local_constant_bound": 2
    }
  },
  "normalization_witness": {
    "A": 5,
    "B": 2,
    "C": 1,
    "a": 1,
    "z1": 5,
    "AC_minus_B_squared": 1,
    "ordinary_discriminant": -4,
    "source_negative_four_equals_determinant": false
  },
  "scope": "Supports the elementary root bound with corrected determinant/discriminant convention; does not certify other imported estimates."
}