{
  "commutative_polynomial_automata": {
    "cusp_exponents_checked": 40,
    "factorial_transition_equalities": 50,
    "rising_factorial_coefficient_checks": 91,
    "unary_and_binary_derivative_equalities": 507
  },
  "indexed_lrs": {
    "companion_and_block_matrix_equalities": 29632,
    "escaping_prime_certificates": 1812,
    "hostile_denominator_cases": 1,
    "normalization_and_zero_equalities": 30982,
    "normalized_recurrences": 1852
  },
  "protocol": "fprd-result-review.v1",
  "review_units": [
    "commutative-polynomial-automata-series",
    "indexed-zeroness-linear-recurrence-sequences"
  ],
  "status": "pass"
}