{
  "status": "pass",
  "finite_tree_languages": 32768,
  "restriction_checks": 360448,
  "one_letter_derivative_checks": 720896,
  "word_transport_checks": 1114112,
  "binary_dfas": 5898,
  "dfa_quotient_levels": 20484,
  "dfa_restriction_surjections": 20484,
  "dfa_derivative_well_defined_checks": 106920,
  "dfa_stabilization_checks": 5898,
  "unary_ideal_residual_witnesses": 12
}