{
  "boundary_map_search": [
    {"left_quotients": 0, "m": 1, "maps_tested": 1, "n": 1, "ordinary_quotients": 1},
    {"left_quotients": 0, "m": 1, "maps_tested": 32, "n": 2, "ordinary_quotients": 4},
    {"left_quotients": 0, "m": 2, "maps_tested": 32, "n": 1, "ordinary_quotients": 4},
    {"left_quotients": 0, "m": 1, "maps_tested": 2187, "n": 3, "ordinary_quotients": 2},
    {"left_quotients": 0, "m": 3, "maps_tested": 2187, "n": 1, "ordinary_quotients": 2},
    {"left_quotients": 0, "m": 2, "maps_tested": 65536, "n": 2, "ordinary_quotients": 16}
  ],
  "common_letter_unary_controls": 45,
  "constructive_unary_parameter_cases": 1024,
  "direct_labelled_maps_tested": 69975,
  "general_word_pairs": 4923,
  "left_obstruction_parameter_cases": 4096,
  "left_quotient_maps_found": 0,
  "mixed_label_negative_witnesses": 4878,
  "ordinary_quotient_maps_found": 29,
  "status": "pass"
}