[
  {
    "n": 2,
    "strongly_connected_synchronizing_binary_automata": 6,
    "transport_horizons_checked": 12,
    "counterexamples": 0
  },
  {
    "n": 3,
    "strongly_connected_synchronizing_binary_automata": 240,
    "transport_horizons_checked": 744,
    "counterexamples": 0
  },
  {
    "n": 4,
    "strongly_connected_synchronizing_binary_automata": 18648,
    "transport_horizons_checked": 75720,
    "counterexamples": 0
  }
]