{
  "core_exact_summary": [
    {
      "collision_A": "1",
      "collision_B": "1",
      "common_classes": 1,
      "cross_match_mass": "1",
      "effective_classes_A": "1",
      "version": 0
    },
    {
      "collision_A": "5/8",
      "collision_B": "5/8",
      "common_classes": 2,
      "cross_match_mass": "5/8",
      "effective_classes_A": "8/5",
      "version": 1
    },
    {
      "collision_A": "5/8",
      "collision_B": "5/8",
      "common_classes": 0,
      "cross_match_mass": "0",
      "effective_classes_A": "8/5",
      "version": 2
    }
  ],
  "finite_randomized": {
    "class_split_with_no_weighted_collision_change_cases": 15,
    "cross_source_state_pairs": 1471,
    "finite_model_pairs": 150,
    "inconsistencies": 0,
    "seed": 106,
    "strict_collision_drop_cases": 15,
    "strict_cross_match_drop_cases": 7,
    "total_source_states": 947
  }
}
