{
  "status": "PASS",
  "exact_cases": 395,
  "checks": {
    "Euler_coefficient_transfer": 105,
    "integer_signal_transfer": 105,
    "refinement_composition_rows": 180,
    "prime_residual_polynomials": 5
  },
  "Euler_initial_values": [
    1,
    -1,
    5,
    -61,
    1385
  ],
  "Euler_binomial_coefficients": [
    1,
    -2,
    8,
    -80,
    1664
  ],
  "first_difference_outputs_at_spacing_1_2_4": [
    -2,
    4,
    1384
  ],
  "scope": "Finite exact controls of the derived operator identities; no universal congruence inferred from this run."
}