gluing combinatorics verified; (graph, separator, component, connected dominating set) cases checked: 552680
