{
  "A_6": "-u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "D": 6,
  "M_divided_by_pi_over_sqrt3": "-5*h**2*(h-1)",
  "M_prime_at_h1_divided_by_pi_over_sqrt3": "-5",
  "Q_0": "11*u**5/12 - u**4 + u**3",
  "Q_1": "u**5",
  "all_checks_passed": true,
  "alpha_rho": "55*delta*rho**2*u**5/36 - 5*delta*rho**2*u**4/3 + 5*delta*rho**2*u**3/3 - delta*u**5 - u**6/6 + u**5/5 - u**4/4 + u**3/3 - u**2/2 + 3",
  "alpha_rho_at_x0": "-(875*delta*rho**2 - 180*delta - 279)/180",
  "alpha_rho_coefficients_in_u": [
    {
      "coefficient": "3",
      "power": 0
    },
    {
      "coefficient": "-1/2",
      "power": 2
    },
    {
      "coefficient": "5*delta*rho**2/3 + 1/3",
      "power": 3
    },
    {
      "coefficient": "-5*delta*rho**2/3 - 1/4",
      "power": 4
    },
    {
      "coefficient": "55*delta*rho**2/36 - delta + 1/5",
      "power": 5
    },
    {
      "coefficient": "-1/6",
      "power": 6
    }
  ],
  "asymptotic_scope": "The location and multiplier are analytic-theorem consequences as rho tends to zero; this script does not certify any fixed positive rho or delta.",
  "b_0": "5/3",
  "b_1": "-1",
  "checks": {
    "Q0_matches_requested_rational_example": true,
    "Q1_matches_requested_rational_example": true,
    "b0_equals_5_over_3": true,
    "b1_equals_minus_one": true,
    "base_endpoint_equals_31_over_20": true,
    "corrected_left_endpoint_equals_31_over_20_plus_delta": true,
    "t0_matches_rational_correction": true,
    "t1_matches_rational_correction": true
  },
  "coordinate": "u=x-1",
  "corrected_alpha_rho_at_x0": "delta + 31/20",
  "endpoint_correction_t0": "5*delta*rho**2*(2*z - 1)/(3*z)",
  "endpoint_correction_t1": "-5*delta*rho**2*(11*z + 12)/(36*z)",
  "formal_multiplier": "1-5*pi*delta*rho**4/sqrt(3)+O(rho**5)",
  "formal_section_location": "s=rho*sqrt(2)+O(rho**2)",
  "parameters": {
    "K": 2,
    "N": 1,
    "a": "1",
    "c": "3",
    "h_1": "1",
    "m": "1",
    "theta": "1"
  }
}