∀ (toDFSState : Mathlib.Tactic.Order.Graph.DFSState) (id lowlink : Std.HashMap ℕ ℕ) (stack : Array ℕ)
  (onStack : Std.HashSet ℕ) (time : ℕ),
  sizeOf { toDFSState := toDFSState, id := id, lowlink := lowlink, stack := stack, onStack := onStack, time := time } =
    1 + sizeOf toDFSState + sizeOf id + sizeOf lowlink + sizeOf stack + sizeOf onStack + sizeOf time