{
  "hidden_clipping": {
    "L": 721,
    "c": 720,
    "exact_excess": 1,
    "rounded_input": 720,
    "rounded_capacity": 720
  },
  "different_operation_witness": {
    "L": 14,
    "c": 11,
    "Q_min": 10,
    "min_Q_exact_c": 11,
    "min_Q_Qc": 10
  },
  "C1209_clarification": "Its12/11 example displayed equal results and was not a distinguishing counterexample;14/11 provides the required contrast."
}