{
  "license": "CC0-1.0",
  "kind": "finite diagnostic; rank panel is a bound diagram",
  "exact_a": "1",
  "exact_b": "sqrt(2)",
  "corridor_radius": "1/5",
  "valid_prefix_errors": [
    "0",
    "1/10",
    "-2/25",
    "3/50",
    "-1/25"
  ],
  "bad_prefix_errors": [
    "0",
    "1/10",
    "1/5",
    "3/10",
    "2/5"
  ],
  "exact_increments": [
    "1/10",
    "-9/50",
    "7/50",
    "-1/10"
  ],
  "tile_coefficients": [
    {
      "a": 3,
      "b": 2
    },
    {
      "a": 4,
      "b": 1
    },
    {
      "a": 2,
      "b": 3
    },
    {
      "a": 5,
      "b": 1
    }
  ],
  "original_gap_formula": "d_i = y_i - (s_i - s_(i-1))",
  "rank_promotions": [
    0,
    1,
    4,
    9
  ],
  "global_move_stages": [
    1,
    4,
    9
  ],
  "charged_indices": [
    1,
    2,
    5
  ],
  "proof_locators": [
    "TG9",
    "TG18",
    "TG26",
    "TG34",
    "Diagnostics 2 and 4"
  ],
  "raster_size": [
    1600,
    1430
  ],
  "rendering": "Pillow; installed Arial read without copying",
  "numeric_rendering_approximations": {
    "b": 1.4142135623730951,
    "word_lengths": [
      5.82842712474619,
      5.414213562373095,
      6.242640687119286,
      6.414213562373095
    ],
    "word_endpoints": [
      0.0,
      5.82842712474619,
      11.242640687119284,
      17.485281374238568,
      23.899494936611664
    ]
  }
}