{
  "all_mutations_detected": true,
  "alphabet": [
    "a",
    "b"
  ],
  "certificate_type": "fprd-left-quotient-finite-audit.v2",
  "expression_pairs": 405,
  "maximum_quotienting_dfa_states": 5,
  "maximum_suffix_length": 4,
  "maximum_target_dfa_states": 4,
  "membership_comparisons": 12555,
  "mismatch_count": 0,
  "mismatches": [],
  "mutation_controls": 4,
  "mutation_results": {
    "forget_distinguished_start": {
      "first_witness": {
        "a_index": 1,
        "b_index": 2,
        "mutated_construction": true,
        "oracle": false,
        "suffix": ""
      },
      "mismatch_count": 132
    },
    "reverse_concatenation": {
      "first_witness": {
        "a_index": 5,
        "b_index": 5,
        "mutated_construction": false,
        "oracle": true,
        "suffix": ""
      },
      "mismatch_count": 130
    },
    "reverse_literal_edges": {
      "first_witness": {
        "a_index": 2,
        "b_index": 2,
        "mutated_construction": false,
        "oracle": true,
        "suffix": ""
      },
      "mismatch_count": 366
    },
    "truncate_star_closure": {
      "first_witness": {
        "a_index": 9,
        "b_index": 5,
        "mutated_construction": false,
        "oracle": true,
        "suffix": ""
      },
      "mismatch_count": 2
    }
  },
  "mutation_transcript_sha256": "6f73b6795766c7eddd8b6cffc3008f3e16483251449d8cd2a8d3e42ac77bb499",
  "quotienting_expressions": 27,
  "suffixes": 31,
  "target_expressions": 15,
  "transcript_sha256": "a300699c810c093da47b5a4dd51a25b565f2040eb5abc8d69bb8a7e4ee059fa6"
}