Use complete unique vertices=[v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11] and loop-free duplicate-free undirected edges=[[v0, v1], [v1, v2], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9], [v9, v10], [v10, v11]]. An edge needs at least one selected endpoint. Preserve source canonical subset order. Give (vertices, edges, all_covers, minimum_size, minimum_covers, certificate).
View answer and explanation
([v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v11], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v0, v10, v11, v2, v4, v6, v8], [v1, v10, v11, v2, v4, v6, v8], [v0, v1, v10, v11, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v1, v10, v11, v3, v4, v6, v8], [v0, v1, v10, v11, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v0, v10, v11, v2, v3, v4, v6, v8], [v1, v10, v11, v2, v3, v4, v6, v8], [v0, v1, v10, v11, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v1, v10, v11, v3, v5, v6, v8], [v0, v1, v10, v11, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v11, v2, v3, v5, v6, v8], [v1, v10, v11, v2, v3, v5, v6, v8], [v0, v1, v10, v11, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v0, v10, v11, v2, v4, v5, v6, v8], [v1, v10, v11, v2, v4, v5, v6, v8], [v0, v1, v10, v11, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v1, v10, v11, v3, v4, v5, v6, v8], [v0, v1, v10, v11, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v0, v10, v11, v2, v3, v4, v5, v6, v8], [v1, v10, v11, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v1, v10, v11, v3, v5, v7, v8], [v0, v1, v10, v11, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v11, v2, v3, v5, v7, v8], [v1, v10, v11, v2, v3, v5, v7, v8], [v0, v1, v10, v11, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v0, v10, v11, v2, v4, v5, v7, v8], [v1, v10, v11, v2, v4, v5, v7, v8], [v0, v1, v10, v11, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v1, v10, v11, v3, v4, v5, v7, v8], [v0, v1, v10, v11, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v11, v2, v3, v4, v5, v7, v8], [v1, v10, v11, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v0, v10, v11, v2, v4, v6, v7, v8], [v1, v10, v11, v2, v4, v6, v7, v8], [v0, v1, v10, v11, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v1, v10, v11, v3, v4, v6, v7, v8], [v0, v1, v10, v11, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v0, v10, v11, v2, v3, v4, v6, v7, v8], [v1, v10, v11, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v1, v10, v11, v3, v5, v6, v7, v8], [v0, v1, v10, v11, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v11, v2, v3, v5, v6, v7, v8], [v1, v10, v11, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v0, v10, v11, v2, v4, v5, v6, v7, v8], [v1, v10, v11, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v1, v10, v11, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v1, v11, v3, v5, v7, v9], [v0, v1, v11, v3, v5, v7, v9], [v1, v10, v11, v3, v5, v7, v9], [v0, v1, v10, v11, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v11, v2, v3, v5, v7, v9], [v1, v11, v2, v3, v5, v7, v9], [v0, v1, v11, v2, v3, v5, v7, v9], [v0, v10, v11, v2, v3, v5, v7, v9], [v1, v10, v11, v2, v3, v5, v7, v9], [v0, v1, v10, v11, v2, v3, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v0, v11, v2, v4, v5, v7, v9], [v1, v11, v2, v4, v5, v7, v9], [v0, v1, v11, v2, v4, v5, v7, v9], [v0, v10, v11, v2, v4, v5, v7, v9], [v1, v10, v11, v2, v4, v5, v7, v9], [v0, v1, v10, v11, v2, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v1, v11, v3, v4, v5, v7, v9], [v0, v1, v11, v3, v4, v5, v7, v9], [v1, v10, v11, v3, v4, v5, v7, v9], [v0, v1, v10, v11, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v11, v2, v3, v4, v5, v7, v9], [v1, v11, v2, v3, v4, v5, v7, v9], [v0, v1, v11, v2, v3, v4, v5, v7, v9], [v0, v10, v11, v2, v3, v4, v5, v7, v9], [v1, v10, v11, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v0, v11, v2, v4, v6, v7, v9], [v1, v11, v2, v4, v6, v7, v9], [v0, v1, v11, v2, v4, v6, v7, v9], [v0, v10, v11, v2, v4, v6, v7, v9], [v1, v10, v11, v2, v4, v6, v7, v9], [v0, v1, v10, v11, v2, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v1, v11, v3, v4, v6, v7, v9], [v0, v1, v11, v3, v4, v6, v7, v9], [v1, v10, v11, v3, v4, v6, v7, v9], [v0, v1, v10, v11, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v0, v11, v2, v3, v4, v6, v7, v9], [v1, v11, v2, v3, v4, v6, v7, v9], [v0, v1, v11, v2, v3, v4, v6, v7, v9], [v0, v10, v11, v2, v3, v4, v6, v7, v9], [v1, v10, v11, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v1, v11, v3, v5, v6, v7, v9], [v0, v1, v11, v3, v5, v6, v7, v9], [v1, v10, v11, v3, v5, v6, v7, v9], [v0, v1, v10, v11, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v11, v2, v3, v5, v6, v7, v9], [v1, v11, v2, v3, v5, v6, v7, v9], [v0, v1, v11, v2, v3, v5, v6, v7, v9], [v0, v10, v11, v2, v3, v5, v6, v7, v9], [v1, v10, v11, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v0, v11, v2, v4, v5, v6, v7, v9], [v1, v11, v2, v4, v5, v6, v7, v9], [v0, v1, v11, v2, v4, v5, v6, v7, v9], [v0, v10, v11, v2, v4, v5, v6, v7, v9], [v1, v10, v11, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v1, v11, v3, v4, v5, v6, v7, v9], [v0, v1, v11, v3, v4, v5, v6, v7, v9], [v1, v10, v11, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v11, v2, v3, v4, v5, v6, v7, v9], [v1, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v0, v11, v2, v4, v6, v8, v9], [v1, v11, v2, v4, v6, v8, v9], [v0, v1, v11, v2, v4, v6, v8, v9], [v0, v10, v11, v2, v4, v6, v8, v9], [v1, v10, v11, v2, v4, v6, v8, v9], [v0, v1, v10, v11, v2, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v1, v11, v3, v4, v6, v8, v9], [v0, v1, v11, v3, v4, v6, v8, v9], [v1, v10, v11, v3, v4, v6, v8, v9], [v0, v1, v10, v11, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v0, v11, v2, v3, v4, v6, v8, v9], [v1, v11, v2, v3, v4, v6, v8, v9], [v0, v1, v11, v2, v3, v4, v6, v8, v9], [v0, v10, v11, v2, v3, v4, v6, v8, v9], [v1, v10, v11, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v1, v11, v3, v5, v6, v8, v9], [v0, v1, v11, v3, v5, v6, v8, v9], [v1, v10, v11, v3, v5, v6, v8, v9], [v0, v1, v10, v11, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v11, v2, v3, v5, v6, v8, v9], [v1, v11, v2, v3, v5, v6, v8, v9], [v0, v1, v11, v2, v3, v5, v6, v8, v9], [v0, v10, v11, v2, v3, v5, v6, v8, v9], [v1, v10, v11, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v0, v11, v2, v4, v5, v6, v8, v9], [v1, v11, v2, v4, v5, v6, v8, v9], [v0, v1, v11, v2, v4, v5, v6, v8, v9], [v0, v10, v11, v2, v4, v5, v6, v8, v9], [v1, v10, v11, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v1, v11, v3, v4, v5, v6, v8, v9], [v0, v1, v11, v3, v4, v5, v6, v8, v9], [v1, v10, v11, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v1, v11, v3, v5, v7, v8, v9], [v0, v1, v11, v3, v5, v7, v8, v9], [v1, v10, v11, v3, v5, v7, v8, v9], [v0, v1, v10, v11, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v11, v2, v3, v5, v7, v8, v9], [v1, v11, v2, v3, v5, v7, v8, v9], [v0, v1, v11, v2, v3, v5, v7, v8, v9], [v0, v10, v11, v2, v3, v5, v7, v8, v9], [v1, v10, v11, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v0, v11, v2, v4, v5, v7, v8, v9], [v1, v11, v2, v4, v5, v7, v8, v9], [v0, v1, v11, v2, v4, v5, v7, v8, v9], [v0, v10, v11, v2, v4, v5, v7, v8, v9], [v1, v10, v11, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v1, v11, v3, v4, v5, v7, v8, v9], [v0, v1, v11, v3, v4, v5, v7, v8, v9], [v1, v10, v11, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v11, v2, v3, v4, v5, v7, v8, v9], [v1, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v0, v11, v2, v4, v6, v7, v8, v9], [v1, v11, v2, v4, v6, v7, v8, v9], [v0, v1, v11, v2, v4, v6, v7, v8, v9], [v0, v10, v11, v2, v4, v6, v7, v8, v9], [v1, v10, v11, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v1, v11, v3, v4, v6, v7, v8, v9], [v0, v1, v11, v3, v4, v6, v7, v8, v9], [v1, v10, v11, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v1, v11, v3, v5, v6, v7, v8, v9], [v0, v1, v11, v3, v5, v6, v7, v8, v9], [v1, v10, v11, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v11, v2, v3, v5, v6, v7, v8, v9], [v1, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v1, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9]], 6, [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v1, v10, v3, v5, v7, v9], [v1, v11, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers)
Retain all covers in source subset order, then minimum cardinality and all covers attaining it. This complete bounded search is not a polynomial-time algorithm claim, approximation guarantee or use of Konig theorem. The exact result, retaining the requested order, is ([v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [[v0, v1], [v1, v2], [v10, v11], [v10, v9], [v2, v3], [v3, v4], [v4, v5], [v5, v6], [v6, v7], [v7, v8], [v8, v9]], [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v0, v1, v10, v2, v4, v6, v8], [v0, v10, v11, v2, v4, v6, v8], [v1, v10, v11, v2, v4, v6, v8], [v0, v1, v10, v11, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v0, v1, v10, v3, v4, v6, v8], [v1, v10, v11, v3, v4, v6, v8], [v0, v1, v10, v11, v3, v4, v6, v8], [v0, v10, v2, v3, v4, v6, v8], [v1, v10, v2, v3, v4, v6, v8], [v0, v1, v10, v2, v3, v4, v6, v8], [v0, v10, v11, v2, v3, v4, v6, v8], [v1, v10, v11, v2, v3, v4, v6, v8], [v0, v1, v10, v11, v2, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v0, v1, v10, v3, v5, v6, v8], [v1, v10, v11, v3, v5, v6, v8], [v0, v1, v10, v11, v3, v5, v6, v8], [v0, v10, v2, v3, v5, v6, v8], [v1, v10, v2, v3, v5, v6, v8], [v0, v1, v10, v2, v3, v5, v6, v8], [v0, v10, v11, v2, v3, v5, v6, v8], [v1, v10, v11, v2, v3, v5, v6, v8], [v0, v1, v10, v11, v2, v3, v5, v6, v8], [v0, v10, v2, v4, v5, v6, v8], [v1, v10, v2, v4, v5, v6, v8], [v0, v1, v10, v2, v4, v5, v6, v8], [v0, v10, v11, v2, v4, v5, v6, v8], [v1, v10, v11, v2, v4, v5, v6, v8], [v0, v1, v10, v11, v2, v4, v5, v6, v8], [v1, v10, v3, v4, v5, v6, v8], [v0, v1, v10, v3, v4, v5, v6, v8], [v1, v10, v11, v3, v4, v5, v6, v8], [v0, v1, v10, v11, v3, v4, v5, v6, v8], [v0, v10, v2, v3, v4, v5, v6, v8], [v1, v10, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v8], [v0, v10, v11, v2, v3, v4, v5, v6, v8], [v1, v10, v11, v2, v3, v4, v5, v6, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v0, v1, v10, v3, v5, v7, v8], [v1, v10, v11, v3, v5, v7, v8], [v0, v1, v10, v11, v3, v5, v7, v8], [v0, v10, v2, v3, v5, v7, v8], [v1, v10, v2, v3, v5, v7, v8], [v0, v1, v10, v2, v3, v5, v7, v8], [v0, v10, v11, v2, v3, v5, v7, v8], [v1, v10, v11, v2, v3, v5, v7, v8], [v0, v1, v10, v11, v2, v3, v5, v7, v8], [v0, v10, v2, v4, v5, v7, v8], [v1, v10, v2, v4, v5, v7, v8], [v0, v1, v10, v2, v4, v5, v7, v8], [v0, v10, v11, v2, v4, v5, v7, v8], [v1, v10, v11, v2, v4, v5, v7, v8], [v0, v1, v10, v11, v2, v4, v5, v7, v8], [v1, v10, v3, v4, v5, v7, v8], [v0, v1, v10, v3, v4, v5, v7, v8], [v1, v10, v11, v3, v4, v5, v7, v8], [v0, v1, v10, v11, v3, v4, v5, v7, v8], [v0, v10, v2, v3, v4, v5, v7, v8], [v1, v10, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v7, v8], [v0, v10, v11, v2, v3, v4, v5, v7, v8], [v1, v10, v11, v2, v3, v4, v5, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v8], [v0, v10, v2, v4, v6, v7, v8], [v1, v10, v2, v4, v6, v7, v8], [v0, v1, v10, v2, v4, v6, v7, v8], [v0, v10, v11, v2, v4, v6, v7, v8], [v1, v10, v11, v2, v4, v6, v7, v8], [v0, v1, v10, v11, v2, v4, v6, v7, v8], [v1, v10, v3, v4, v6, v7, v8], [v0, v1, v10, v3, v4, v6, v7, v8], [v1, v10, v11, v3, v4, v6, v7, v8], [v0, v1, v10, v11, v3, v4, v6, v7, v8], [v0, v10, v2, v3, v4, v6, v7, v8], [v1, v10, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v6, v7, v8], [v0, v10, v11, v2, v3, v4, v6, v7, v8], [v1, v10, v11, v2, v3, v4, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v8], [v1, v10, v3, v5, v6, v7, v8], [v0, v1, v10, v3, v5, v6, v7, v8], [v1, v10, v11, v3, v5, v6, v7, v8], [v0, v1, v10, v11, v3, v5, v6, v7, v8], [v0, v10, v2, v3, v5, v6, v7, v8], [v1, v10, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v5, v6, v7, v8], [v0, v10, v11, v2, v3, v5, v6, v7, v8], [v1, v10, v11, v2, v3, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v8], [v0, v10, v2, v4, v5, v6, v7, v8], [v1, v10, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v4, v5, v6, v7, v8], [v0, v10, v11, v2, v4, v5, v6, v7, v8], [v1, v10, v11, v2, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v8], [v1, v10, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v3, v4, v5, v6, v7, v8], [v1, v10, v11, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v8], [v0, v10, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8], [v1, v10, v3, v5, v7, v9], [v0, v1, v10, v3, v5, v7, v9], [v1, v11, v3, v5, v7, v9], [v0, v1, v11, v3, v5, v7, v9], [v1, v10, v11, v3, v5, v7, v9], [v0, v1, v10, v11, v3, v5, v7, v9], [v0, v10, v2, v3, v5, v7, v9], [v1, v10, v2, v3, v5, v7, v9], [v0, v1, v10, v2, v3, v5, v7, v9], [v0, v11, v2, v3, v5, v7, v9], [v1, v11, v2, v3, v5, v7, v9], [v0, v1, v11, v2, v3, v5, v7, v9], [v0, v10, v11, v2, v3, v5, v7, v9], [v1, v10, v11, v2, v3, v5, v7, v9], [v0, v1, v10, v11, v2, v3, v5, v7, v9], [v0, v10, v2, v4, v5, v7, v9], [v1, v10, v2, v4, v5, v7, v9], [v0, v1, v10, v2, v4, v5, v7, v9], [v0, v11, v2, v4, v5, v7, v9], [v1, v11, v2, v4, v5, v7, v9], [v0, v1, v11, v2, v4, v5, v7, v9], [v0, v10, v11, v2, v4, v5, v7, v9], [v1, v10, v11, v2, v4, v5, v7, v9], [v0, v1, v10, v11, v2, v4, v5, v7, v9], [v1, v10, v3, v4, v5, v7, v9], [v0, v1, v10, v3, v4, v5, v7, v9], [v1, v11, v3, v4, v5, v7, v9], [v0, v1, v11, v3, v4, v5, v7, v9], [v1, v10, v11, v3, v4, v5, v7, v9], [v0, v1, v10, v11, v3, v4, v5, v7, v9], [v0, v10, v2, v3, v4, v5, v7, v9], [v1, v10, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v9], [v0, v11, v2, v3, v4, v5, v7, v9], [v1, v11, v2, v3, v4, v5, v7, v9], [v0, v1, v11, v2, v3, v4, v5, v7, v9], [v0, v10, v11, v2, v3, v4, v5, v7, v9], [v1, v10, v11, v2, v3, v4, v5, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v9], [v0, v10, v2, v4, v6, v7, v9], [v1, v10, v2, v4, v6, v7, v9], [v0, v1, v10, v2, v4, v6, v7, v9], [v0, v11, v2, v4, v6, v7, v9], [v1, v11, v2, v4, v6, v7, v9], [v0, v1, v11, v2, v4, v6, v7, v9], [v0, v10, v11, v2, v4, v6, v7, v9], [v1, v10, v11, v2, v4, v6, v7, v9], [v0, v1, v10, v11, v2, v4, v6, v7, v9], [v1, v10, v3, v4, v6, v7, v9], [v0, v1, v10, v3, v4, v6, v7, v9], [v1, v11, v3, v4, v6, v7, v9], [v0, v1, v11, v3, v4, v6, v7, v9], [v1, v10, v11, v3, v4, v6, v7, v9], [v0, v1, v10, v11, v3, v4, v6, v7, v9], [v0, v10, v2, v3, v4, v6, v7, v9], [v1, v10, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v9], [v0, v11, v2, v3, v4, v6, v7, v9], [v1, v11, v2, v3, v4, v6, v7, v9], [v0, v1, v11, v2, v3, v4, v6, v7, v9], [v0, v10, v11, v2, v3, v4, v6, v7, v9], [v1, v10, v11, v2, v3, v4, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v9], [v1, v10, v3, v5, v6, v7, v9], [v0, v1, v10, v3, v5, v6, v7, v9], [v1, v11, v3, v5, v6, v7, v9], [v0, v1, v11, v3, v5, v6, v7, v9], [v1, v10, v11, v3, v5, v6, v7, v9], [v0, v1, v10, v11, v3, v5, v6, v7, v9], [v0, v10, v2, v3, v5, v6, v7, v9], [v1, v10, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v9], [v0, v11, v2, v3, v5, v6, v7, v9], [v1, v11, v2, v3, v5, v6, v7, v9], [v0, v1, v11, v2, v3, v5, v6, v7, v9], [v0, v10, v11, v2, v3, v5, v6, v7, v9], [v1, v10, v11, v2, v3, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v9], [v0, v10, v2, v4, v5, v6, v7, v9], [v1, v10, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v9], [v0, v11, v2, v4, v5, v6, v7, v9], [v1, v11, v2, v4, v5, v6, v7, v9], [v0, v1, v11, v2, v4, v5, v6, v7, v9], [v0, v10, v11, v2, v4, v5, v6, v7, v9], [v1, v10, v11, v2, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v9], [v1, v10, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v9], [v1, v11, v3, v4, v5, v6, v7, v9], [v0, v1, v11, v3, v4, v5, v6, v7, v9], [v1, v10, v11, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v9], [v0, v11, v2, v3, v4, v5, v6, v7, v9], [v1, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v9], [v0, v10, v2, v4, v6, v8, v9], [v1, v10, v2, v4, v6, v8, v9], [v0, v1, v10, v2, v4, v6, v8, v9], [v0, v11, v2, v4, v6, v8, v9], [v1, v11, v2, v4, v6, v8, v9], [v0, v1, v11, v2, v4, v6, v8, v9], [v0, v10, v11, v2, v4, v6, v8, v9], [v1, v10, v11, v2, v4, v6, v8, v9], [v0, v1, v10, v11, v2, v4, v6, v8, v9], [v1, v10, v3, v4, v6, v8, v9], [v0, v1, v10, v3, v4, v6, v8, v9], [v1, v11, v3, v4, v6, v8, v9], [v0, v1, v11, v3, v4, v6, v8, v9], [v1, v10, v11, v3, v4, v6, v8, v9], [v0, v1, v10, v11, v3, v4, v6, v8, v9], [v0, v10, v2, v3, v4, v6, v8, v9], [v1, v10, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v8, v9], [v0, v11, v2, v3, v4, v6, v8, v9], [v1, v11, v2, v3, v4, v6, v8, v9], [v0, v1, v11, v2, v3, v4, v6, v8, v9], [v0, v10, v11, v2, v3, v4, v6, v8, v9], [v1, v10, v11, v2, v3, v4, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v8, v9], [v1, v10, v3, v5, v6, v8, v9], [v0, v1, v10, v3, v5, v6, v8, v9], [v1, v11, v3, v5, v6, v8, v9], [v0, v1, v11, v3, v5, v6, v8, v9], [v1, v10, v11, v3, v5, v6, v8, v9], [v0, v1, v10, v11, v3, v5, v6, v8, v9], [v0, v10, v2, v3, v5, v6, v8, v9], [v1, v10, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v8, v9], [v0, v11, v2, v3, v5, v6, v8, v9], [v1, v11, v2, v3, v5, v6, v8, v9], [v0, v1, v11, v2, v3, v5, v6, v8, v9], [v0, v10, v11, v2, v3, v5, v6, v8, v9], [v1, v10, v11, v2, v3, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v8, v9], [v0, v10, v2, v4, v5, v6, v8, v9], [v1, v10, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v8, v9], [v0, v11, v2, v4, v5, v6, v8, v9], [v1, v11, v2, v4, v5, v6, v8, v9], [v0, v1, v11, v2, v4, v5, v6, v8, v9], [v0, v10, v11, v2, v4, v5, v6, v8, v9], [v1, v10, v11, v2, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v8, v9], [v1, v10, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v8, v9], [v1, v11, v3, v4, v5, v6, v8, v9], [v0, v1, v11, v3, v4, v5, v6, v8, v9], [v1, v10, v11, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v8, v9], [v0, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v8, v9], [v1, v10, v3, v5, v7, v8, v9], [v0, v1, v10, v3, v5, v7, v8, v9], [v1, v11, v3, v5, v7, v8, v9], [v0, v1, v11, v3, v5, v7, v8, v9], [v1, v10, v11, v3, v5, v7, v8, v9], [v0, v1, v10, v11, v3, v5, v7, v8, v9], [v0, v10, v2, v3, v5, v7, v8, v9], [v1, v10, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v7, v8, v9], [v0, v11, v2, v3, v5, v7, v8, v9], [v1, v11, v2, v3, v5, v7, v8, v9], [v0, v1, v11, v2, v3, v5, v7, v8, v9], [v0, v10, v11, v2, v3, v5, v7, v8, v9], [v1, v10, v11, v2, v3, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v7, v8, v9], [v0, v10, v2, v4, v5, v7, v8, v9], [v1, v10, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v7, v8, v9], [v0, v11, v2, v4, v5, v7, v8, v9], [v1, v11, v2, v4, v5, v7, v8, v9], [v0, v1, v11, v2, v4, v5, v7, v8, v9], [v0, v10, v11, v2, v4, v5, v7, v8, v9], [v1, v10, v11, v2, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v7, v8, v9], [v1, v10, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v7, v8, v9], [v1, v11, v3, v4, v5, v7, v8, v9], [v0, v1, v11, v3, v4, v5, v7, v8, v9], [v1, v10, v11, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v7, v8, v9], [v0, v11, v2, v3, v4, v5, v7, v8, v9], [v1, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v7, v8, v9], [v0, v10, v2, v4, v6, v7, v8, v9], [v1, v10, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v6, v7, v8, v9], [v0, v11, v2, v4, v6, v7, v8, v9], [v1, v11, v2, v4, v6, v7, v8, v9], [v0, v1, v11, v2, v4, v6, v7, v8, v9], [v0, v10, v11, v2, v4, v6, v7, v8, v9], [v1, v10, v11, v2, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v6, v7, v8, v9], [v1, v10, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v6, v7, v8, v9], [v1, v11, v3, v4, v6, v7, v8, v9], [v0, v1, v11, v3, v4, v6, v7, v8, v9], [v1, v10, v11, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v6, v7, v8, v9], [v0, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v6, v7, v8, v9], [v1, v10, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v5, v6, v7, v8, v9], [v1, v11, v3, v5, v6, v7, v8, v9], [v0, v1, v11, v3, v5, v6, v7, v8, v9], [v1, v10, v11, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v5, v6, v7, v8, v9], [v0, v11, v2, v3, v5, v6, v7, v8, v9], [v1, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v5, v6, v7, v8, v9], [v0, v10, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v4, v5, v6, v7, v8, v9], [v0, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v4, v5, v6, v7, v8, v9], [v1, v10, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v3, v4, v5, v6, v7, v8, v9], [v1, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9], [v0, v1, v10, v11, v2, v3, v4, v5, v6, v7, v8, v9]], 6, [[v0, v10, v2, v4, v6, v8], [v1, v10, v2, v4, v6, v8], [v1, v10, v3, v4, v6, v8], [v1, v10, v3, v5, v6, v8], [v1, v10, v3, v5, v7, v8], [v1, v10, v3, v5, v7, v9], [v1, v11, v3, v5, v7, v9]], all_vertex_subsets_are_audited_before_selecting_all_minimizers).