# # All 7 regular excluded minors for branchwidth 3 # (already closed on duality). @comment "all 7 regular branch-width 3 excluded minors" {