{
  "criterion": "Q(L)>Q(c) iff integer L>=Q(c)+3",
  "proof": "Q(c)+2 is the final integer in its nearest-five cell; the next integer rounds to Q(c)+5.",
  "rows": [
    {
      "c": 847,
      "Q_c": 845,
      "first_L_with_visible_reduction": 848,
      "hidden_strict_inputs": [],
      "first_visible_excess": 1
    },
    {
      "c": 720,
      "Q_c": 720,
      "first_L_with_visible_reduction": 723,
      "hidden_strict_inputs": [
        721,
        722
      ],
      "first_visible_excess": 3
    },
    {
      "c": 653,
      "Q_c": 655,
      "first_L_with_visible_reduction": 658,
      "hidden_strict_inputs": [
        654,
        655,
        656,
        657
      ],
      "first_visible_excess": 5
    }
  ]
}