{
  "proof_locators": [
    "ML.A--ML.C",
    "ML.25--ML.29"
  ],
  "cycle_discrepancy": "r_n x_(n+1) - x_n = d_n y_n",
  "primitive_error_bound": "B_n(y_n,0) < 2^(-n-1)",
  "envelopes": [
    {
      "n": 0,
      "bound": "1/2"
    },
    {
      "n": 1,
      "bound": "1/4"
    },
    {
      "n": 2,
      "bound": "1/8"
    },
    {
      "n": 3,
      "bound": "1/16"
    },
    {
      "n": 4,
      "bound": "1/32"
    },
    {
      "n": 5,
      "bound": "1/64"
    }
  ],
  "finite_envelope_sum": "63/64",
  "remaining_envelope_sum": "1/64",
  "compact_map": "h(x,y)=-rho^q(x)",
  "surjection": "g(x,y)=rho^q(x)+d_F(y)",
  "perturbed_image": "B^q(F)",
  "not_a_numerical_error_sample": true
}