Use unique vertices=[v0, v1, v2, v3, v4, v5] and loop-free duplicate-free directed edges=[[v0, v1]]. Every edge u→v needs position(u)<position(v) in a complete vertex permutation; labels use source lexical order. Give (vertices, edges, all_valid_orders, order_count, order_exists, certificate).
View answer and explanation
([v0, v1, v2, v3, v4, v5], [[v0, v1]], [[v0, v1, v2, v3, v4, v5], [v0, v1, v2, v3, v5, v4], [v0, v1, v2, v4, v3, v5], [v0, v1, v2, v4, v5, v3], [v0, v1, v2, v5, v3, v4], [v0, v1, v2, v5, v4, v3], [v0, v1, v3, v2, v4, v5], [v0, v1, v3, v2, v5, v4], [v0, v1, v3, v4, v2, v5], [v0, v1, v3, v4, v5, v2], [v0, v1, v3, v5, v2, v4], [v0, v1, v3, v5, v4, v2], [v0, v1, v4, v2, v3, v5], [v0, v1, v4, v2, v5, v3], [v0, v1, v4, v3, v2, v5], [v0, v1, v4, v3, v5, v2], [v0, v1, v4, v5, v2, v3], [v0, v1, v4, v5, v3, v2], [v0, v1, v5, v2, v3, v4], [v0, v1, v5, v2, v4, v3], [v0, v1, v5, v3, v2, v4], [v0, v1, v5, v3, v4, v2], [v0, v1, v5, v4, v2, v3], [v0, v1, v5, v4, v3, v2], [v0, v2, v1, v3, v4, v5], [v0, v2, v1, v3, v5, v4], [v0, v2, v1, v4, v3, v5], [v0, v2, v1, v4, v5, v3], [v0, v2, v1, v5, v3, v4], [v0, v2, v1, v5, v4, v3], [v0, v2, v3, v1, v4, v5], [v0, v2, v3, v1, v5, v4], [v0, v2, v3, v4, v1, v5], [v0, v2, v3, v4, v5, v1], [v0, v2, v3, v5, v1, v4], [v0, v2, v3, v5, v4, v1], [v0, v2, v4, v1, v3, v5], [v0, v2, v4, v1, v5, v3], [v0, v2, v4, v3, v1, v5], [v0, v2, v4, v3, v5, v1], [v0, v2, v4, v5, v1, v3], [v0, v2, v4, v5, v3, v1], [v0, v2, v5, v1, v3, v4], [v0, v2, v5, v1, v4, v3], [v0, v2, v5, v3, v1, v4], [v0, v2, v5, v3, v4, v1], [v0, v2, v5, v4, v1, v3], [v0, v2, v5, v4, v3, v1], [v0, v3, v1, v2, v4, v5], [v0, v3, v1, v2, v5, v4], [v0, v3, v1, v4, v2, v5], [v0, v3, v1, v4, v5, v2], [v0, v3, v1, v5, v2, v4], [v0, v3, v1, v5, v4, v2], [v0, v3, v2, v1, v4, v5], [v0, v3, v2, v1, v5, v4], [v0, v3, v2, v4, v1, v5], [v0, v3, v2, v4, v5, v1], [v0, v3, v2, v5, v1, v4], [v0, v3, v2, v5, v4, v1], [v0, v3, v4, v1, v2, v5], [v0, v3, v4, v1, v5, v2], [v0, v3, v4, v2, v1, v5], [v0, v3, v4, v2, v5, v1], [v0, v3, v4, v5, v1, v2], [v0, v3, v4, v5, v2, v1], [v0, v3, v5, v1, v2, v4], [v0, v3, v5, v1, v4, v2], [v0, v3, v5, v2, v1, v4], [v0, v3, v5, v2, v4, v1], [v0, v3, v5, v4, v1, v2], [v0, v3, v5, v4, v2, v1], [v0, v4, v1, v2, v3, v5], [v0, v4, v1, v2, v5, v3], [v0, v4, v1, v3, v2, v5], [v0, v4, v1, v3, v5, v2], [v0, v4, v1, v5, v2, v3], [v0, v4, v1, v5, v3, v2], [v0, v4, v2, v1, v3, v5], [v0, v4, v2, v1, v5, v3], [v0, v4, v2, v3, v1, v5], [v0, v4, v2, v3, v5, v1], [v0, v4, v2, v5, v1, v3], [v0, v4, v2, v5, v3, v1], [v0, v4, v3, v1, v2, v5], [v0, v4, v3, v1, v5, v2], [v0, v4, v3, v2, v1, v5], [v0, v4, v3, v2, v5, v1], [v0, v4, v3, v5, v1, v2], [v0, v4, v3, v5, v2, v1], [v0, v4, v5, v1, v2, v3], [v0, v4, v5, v1, v3, v2], [v0, v4, v5, v2, v1, v3], [v0, v4, v5, v2, v3, v1], [v0, v4, v5, v3, v1, v2], [v0, v4, v5, v3, v2, v1], [v0, v5, v1, v2, v3, v4], [v0, v5, v1, v2, v4, v3], [v0, v5, v1, v3, v2, v4], [v0, v5, v1, v3, v4, v2], [v0, v5, v1, v4, v2, v3], [v0, v5, v1, v4, v3, v2], [v0, v5, v2, v1, v3, v4], [v0, v5, v2, v1, v4, v3], [v0, v5, v2, v3, v1, v4], [v0, v5, v2, v3, v4, v1], [v0, v5, v2, v4, v1, v3], [v0, v5, v2, v4, v3, v1], [v0, v5, v3, v1, v2, v4], [v0, v5, v3, v1, v4, v2], [v0, v5, v3, v2, v1, v4], [v0, v5, v3, v2, v4, v1], [v0, v5, v3, v4, v1, v2], [v0, v5, v3, v4, v2, v1], [v0, v5, v4, v1, v2, v3], [v0, v5, v4, v1, v3, v2], [v0, v5, v4, v2, v1, v3], [v0, v5, v4, v2, v3, v1], [v0, v5, v4, v3, v1, v2], [v0, v5, v4, v3, v2, v1], [v2, v0, v1, v3, v4, v5], [v2, v0, v1, v3, v5, v4], [v2, v0, v1, v4, v3, v5], [v2, v0, v1, v4, v5, v3], [v2, v0, v1, v5, v3, v4], [v2, v0, v1, v5, v4, v3], [v2, v0, v3, v1, v4, v5], [v2, v0, v3, v1, v5, v4], [v2, v0, v3, v4, v1, v5], [v2, v0, v3, v4, v5, v1], [v2, v0, v3, v5, v1, v4], [v2, v0, v3, v5, v4, v1], [v2, v0, v4, v1, v3, v5], [v2, v0, v4, v1, v5, v3], [v2, v0, v4, v3, v1, v5], [v2, v0, v4, v3, v5, v1], [v2, v0, v4, v5, v1, v3], [v2, v0, v4, v5, v3, v1], [v2, v0, v5, v1, v3, v4], [v2, v0, v5, v1, v4, v3], [v2, v0, v5, v3, v1, v4], [v2, v0, v5, v3, v4, v1], [v2, v0, v5, v4, v1, v3], [v2, v0, v5, v4, v3, v1], [v2, v3, v0, v1, v4, v5], [v2, v3, v0, v1, v5, v4], [v2, v3, v0, v4, v1, v5], [v2, v3, v0, v4, v5, v1], [v2, v3, v0, v5, v1, v4], [v2, v3, v0, v5, v4, v1], [v2, v3, v4, v0, v1, v5], [v2, v3, v4, v0, v5, v1], [v2, v3, v4, v5, v0, v1], [v2, v3, v5, v0, v1, v4], [v2, v3, v5, v0, v4, v1], [v2, v3, v5, v4, v0, v1], [v2, v4, v0, v1, v3, v5], [v2, v4, v0, v1, v5, v3], [v2, v4, v0, v3, v1, v5], [v2, v4, v0, v3, v5, v1], [v2, v4, v0, v5, v1, v3], [v2, v4, v0, v5, v3, v1], [v2, v4, v3, v0, v1, v5], [v2, v4, v3, v0, v5, v1], [v2, v4, v3, v5, v0, v1], [v2, v4, v5, v0, v1, v3], [v2, v4, v5, v0, v3, v1], [v2, v4, v5, v3, v0, v1], [v2, v5, v0, v1, v3, v4], [v2, v5, v0, v1, v4, v3], [v2, v5, v0, v3, v1, v4], [v2, v5, v0, v3, v4, v1], [v2, v5, v0, v4, v1, v3], [v2, v5, v0, v4, v3, v1], [v2, v5, v3, v0, v1, v4], [v2, v5, v3, v0, v4, v1], [v2, v5, v3, v4, v0, v1], [v2, v5, v4, v0, v1, v3], [v2, v5, v4, v0, v3, v1], [v2, v5, v4, v3, v0, v1], [v3, v0, v1, v2, v4, v5], [v3, v0, v1, v2, v5, v4], [v3, v0, v1, v4, v2, v5], [v3, v0, v1, v4, v5, v2], [v3, v0, v1, v5, v2, v4], [v3, v0, v1, v5, v4, v2], [v3, v0, v2, v1, v4, v5], [v3, v0, v2, v1, v5, v4], [v3, v0, v2, v4, v1, v5], [v3, v0, v2, v4, v5, v1], [v3, v0, v2, v5, v1, v4], [v3, v0, v2, v5, v4, v1], [v3, v0, v4, v1, v2, v5], [v3, v0, v4, v1, v5, v2], [v3, v0, v4, v2, v1, v5], [v3, v0, v4, v2, v5, v1], [v3, v0, v4, v5, v1, v2], [v3, v0, v4, v5, v2, v1], [v3, v0, v5, v1, v2, v4], [v3, v0, v5, v1, v4, v2], [v3, v0, v5, v2, v1, v4], [v3, v0, v5, v2, v4, v1], [v3, v0, v5, v4, v1, v2], [v3, v0, v5, v4, v2, v1], [v3, v2, v0, v1, v4, v5], [v3, v2, v0, v1, v5, v4], [v3, v2, v0, v4, v1, v5], [v3, v2, v0, v4, v5, v1], [v3, v2, v0, v5, v1, v4], [v3, v2, v0, v5, v4, v1], [v3, v2, v4, v0, v1, v5], [v3, v2, v4, v0, v5, v1], [v3, v2, v4, v5, v0, v1], [v3, v2, v5, v0, v1, v4], [v3, v2, v5, v0, v4, v1], [v3, v2, v5, v4, v0, v1], [v3, v4, v0, v1, v2, v5], [v3, v4, v0, v1, v5, v2], [v3, v4, v0, v2, v1, v5], [v3, v4, v0, v2, v5, v1], [v3, v4, v0, v5, v1, v2], [v3, v4, v0, v5, v2, v1], [v3, v4, v2, v0, v1, v5], [v3, v4, v2, v0, v5, v1], [v3, v4, v2, v5, v0, v1], [v3, v4, v5, v0, v1, v2], [v3, v4, v5, v0, v2, v1], [v3, v4, v5, v2, v0, v1], [v3, v5, v0, v1, v2, v4], [v3, v5, v0, v1, v4, v2], [v3, v5, v0, v2, v1, v4], [v3, v5, v0, v2, v4, v1], [v3, v5, v0, v4, v1, v2], [v3, v5, v0, v4, v2, v1], [v3, v5, v2, v0, v1, v4], [v3, v5, v2, v0, v4, v1], [v3, v5, v2, v4, v0, v1], [v3, v5, v4, v0, v1, v2], [v3, v5, v4, v0, v2, v1], [v3, v5, v4, v2, v0, v1], [v4, v0, v1, v2, v3, v5], [v4, v0, v1, v2, v5, v3], [v4, v0, v1, v3, v2, v5], [v4, v0, v1, v3, v5, v2], [v4, v0, v1, v5, v2, v3], [v4, v0, v1, v5, v3, v2], [v4, v0, v2, v1, v3, v5], [v4, v0, v2, v1, v5, v3], [v4, v0, v2, v3, v1, v5], [v4, v0, v2, v3, v5, v1], [v4, v0, v2, v5, v1, v3], [v4, v0, v2, v5, v3, v1], [v4, v0, v3, v1, v2, v5], [v4, v0, v3, v1, v5, v2], [v4, v0, v3, v2, v1, v5], [v4, v0, v3, v2, v5, v1], [v4, v0, v3, v5, v1, v2], [v4, v0, v3, v5, v2, v1], [v4, v0, v5, v1, v2, v3], [v4, v0, v5, v1, v3, v2], [v4, v0, v5, v2, v1, v3], [v4, v0, v5, v2, v3, v1], [v4, v0, v5, v3, v1, v2], [v4, v0, v5, v3, v2, v1], [v4, v2, v0, v1, v3, v5], [v4, v2, v0, v1, v5, v3], [v4, v2, v0, v3, v1, v5], [v4, v2, v0, v3, v5, v1], [v4, v2, v0, v5, v1, v3], [v4, v2, v0, v5, v3, v1], [v4, v2, v3, v0, v1, v5], [v4, v2, v3, v0, v5, v1], [v4, v2, v3, v5, v0, v1], [v4, v2, v5, v0, v1, v3], [v4, v2, v5, v0, v3, v1], [v4, v2, v5, v3, v0, v1], [v4, v3, v0, v1, v2, v5], [v4, v3, v0, v1, v5, v2], [v4, v3, v0, v2, v1, v5], [v4, v3, v0, v2, v5, v1], [v4, v3, v0, v5, v1, v2], [v4, v3, v0, v5, v2, v1], [v4, v3, v2, v0, v1, v5], [v4, v3, v2, v0, v5, v1], [v4, v3, v2, v5, v0, v1], [v4, v3, v5, v0, v1, v2], [v4, v3, v5, v0, v2, v1], [v4, v3, v5, v2, v0, v1], [v4, v5, v0, v1, v2, v3], [v4, v5, v0, v1, v3, v2], [v4, v5, v0, v2, v1, v3], [v4, v5, v0, v2, v3, v1], [v4, v5, v0, v3, v1, v2], [v4, v5, v0, v3, v2, v1], [v4, v5, v2, v0, v1, v3], [v4, v5, v2, v0, v3, v1], [v4, v5, v2, v3, v0, v1], [v4, v5, v3, v0, v1, v2], [v4, v5, v3, v0, v2, v1], [v4, v5, v3, v2, v0, v1], [v5, v0, v1, v2, v3, v4], [v5, v0, v1, v2, v4, v3], [v5, v0, v1, v3, v2, v4], [v5, v0, v1, v3, v4, v2], [v5, v0, v1, v4, v2, v3], [v5, v0, v1, v4, v3, v2], [v5, v0, v2, v1, v3, v4], [v5, v0, v2, v1, v4, v3], [v5, v0, v2, v3, v1, v4], [v5, v0, v2, v3, v4, v1], [v5, v0, v2, v4, v1, v3], [v5, v0, v2, v4, v3, v1], [v5, v0, v3, v1, v2, v4], [v5, v0, v3, v1, v4, v2], [v5, v0, v3, v2, v1, v4], [v5, v0, v3, v2, v4, v1], [v5, v0, v3, v4, v1, v2], [v5, v0, v3, v4, v2, v1], [v5, v0, v4, v1, v2, v3], [v5, v0, v4, v1, v3, v2], [v5, v0, v4, v2, v1, v3], [v5, v0, v4, v2, v3, v1], [v5, v0, v4, v3, v1, v2], [v5, v0, v4, v3, v2, v1], [v5, v2, v0, v1, v3, v4], [v5, v2, v0, v1, v4, v3], [v5, v2, v0, v3, v1, v4], [v5, v2, v0, v3, v4, v1], [v5, v2, v0, v4, v1, v3], [v5, v2, v0, v4, v3, v1], [v5, v2, v3, v0, v1, v4], [v5, v2, v3, v0, v4, v1], [v5, v2, v3, v4, v0, v1], [v5, v2, v4, v0, v1, v3], [v5, v2, v4, v0, v3, v1], [v5, v2, v4, v3, v0, v1], [v5, v3, v0, v1, v2, v4], [v5, v3, v0, v1, v4, v2], [v5, v3, v0, v2, v1, v4], [v5, v3, v0, v2, v4, v1], [v5, v3, v0, v4, v1, v2], [v5, v3, v0, v4, v2, v1], [v5, v3, v2, v0, v1, v4], [v5, v3, v2, v0, v4, v1], [v5, v3, v2, v4, v0, v1], [v5, v3, v4, v0, v1, v2], [v5, v3, v4, v0, v2, v1], [v5, v3, v4, v2, v0, v1], [v5, v4, v0, v1, v2, v3], [v5, v4, v0, v1, v3, v2], [v5, v4, v0, v2, v1, v3], [v5, v4, v0, v2, v3, v1], [v5, v4, v0, v3, v1, v2], [v5, v4, v0, v3, v2, v1], [v5, v4, v2, v0, v1, v3], [v5, v4, v2, v0, v3, v1], [v5, v4, v2, v3, v0, v1], [v5, v4, v3, v0, v1, v2], [v5, v4, v3, v0, v2, v1], [v5, v4, v3, v2, v0, v1]], 360, Yes, all_vertex_permutations_are_audited)
Return every order satisfying all edges, in source canonical permutation order, along with count and existence. Multiple orders are allowed; a zero-vertex graph has one empty permutation. These are graph orders, not topological-space claims. The exact result, retaining the requested order, is ([v0, v1, v2, v3, v4, v5], [[v0, v1]], [[v0, v1, v2, v3, v4, v5], [v0, v1, v2, v3, v5, v4], [v0, v1, v2, v4, v3, v5], [v0, v1, v2, v4, v5, v3], [v0, v1, v2, v5, v3, v4], [v0, v1, v2, v5, v4, v3], [v0, v1, v3, v2, v4, v5], [v0, v1, v3, v2, v5, v4], [v0, v1, v3, v4, v2, v5], [v0, v1, v3, v4, v5, v2], [v0, v1, v3, v5, v2, v4], [v0, v1, v3, v5, v4, v2], [v0, v1, v4, v2, v3, v5], [v0, v1, v4, v2, v5, v3], [v0, v1, v4, v3, v2, v5], [v0, v1, v4, v3, v5, v2], [v0, v1, v4, v5, v2, v3], [v0, v1, v4, v5, v3, v2], [v0, v1, v5, v2, v3, v4], [v0, v1, v5, v2, v4, v3], [v0, v1, v5, v3, v2, v4], [v0, v1, v5, v3, v4, v2], [v0, v1, v5, v4, v2, v3], [v0, v1, v5, v4, v3, v2], [v0, v2, v1, v3, v4, v5], [v0, v2, v1, v3, v5, v4], [v0, v2, v1, v4, v3, v5], [v0, v2, v1, v4, v5, v3], [v0, v2, v1, v5, v3, v4], [v0, v2, v1, v5, v4, v3], [v0, v2, v3, v1, v4, v5], [v0, v2, v3, v1, v5, v4], [v0, v2, v3, v4, v1, v5], [v0, v2, v3, v4, v5, v1], [v0, v2, v3, v5, v1, v4], [v0, v2, v3, v5, v4, v1], [v0, v2, v4, v1, v3, v5], [v0, v2, v4, v1, v5, v3], [v0, v2, v4, v3, v1, v5], [v0, v2, v4, v3, v5, v1], [v0, v2, v4, v5, v1, v3], [v0, v2, v4, v5, v3, v1], [v0, v2, v5, v1, v3, v4], [v0, v2, v5, v1, v4, v3], [v0, v2, v5, v3, v1, v4], [v0, v2, v5, v3, v4, v1], [v0, v2, v5, v4, v1, v3], [v0, v2, v5, v4, v3, v1], [v0, v3, v1, v2, v4, v5], [v0, v3, v1, v2, v5, v4], [v0, v3, v1, v4, v2, v5], [v0, v3, v1, v4, v5, v2], [v0, v3, v1, v5, v2, v4], [v0, v3, v1, v5, v4, v2], [v0, v3, v2, v1, v4, v5], [v0, v3, v2, v1, v5, v4], [v0, v3, v2, v4, v1, v5], [v0, v3, v2, v4, v5, v1], [v0, v3, v2, v5, v1, v4], [v0, v3, v2, v5, v4, v1], [v0, v3, v4, v1, v2, v5], [v0, v3, v4, v1, v5, v2], [v0, v3, v4, v2, v1, v5], [v0, v3, v4, v2, v5, v1], [v0, v3, v4, v5, v1, v2], [v0, v3, v4, v5, v2, v1], [v0, v3, v5, v1, v2, v4], [v0, v3, v5, v1, v4, v2], [v0, v3, v5, v2, v1, v4], [v0, v3, v5, v2, v4, v1], [v0, v3, v5, v4, v1, v2], [v0, v3, v5, v4, v2, v1], [v0, v4, v1, v2, v3, v5], [v0, v4, v1, v2, v5, v3], [v0, v4, v1, v3, v2, v5], [v0, v4, v1, v3, v5, v2], [v0, v4, v1, v5, v2, v3], [v0, v4, v1, v5, v3, v2], [v0, v4, v2, v1, v3, v5], [v0, v4, v2, v1, v5, v3], [v0, v4, v2, v3, v1, v5], [v0, v4, v2, v3, v5, v1], [v0, v4, v2, v5, v1, v3], [v0, v4, v2, v5, v3, v1], [v0, v4, v3, v1, v2, v5], [v0, v4, v3, v1, v5, v2], [v0, v4, v3, v2, v1, v5], [v0, v4, v3, v2, v5, v1], [v0, v4, v3, v5, v1, v2], [v0, v4, v3, v5, v2, v1], [v0, v4, v5, v1, v2, v3], [v0, v4, v5, v1, v3, v2], [v0, v4, v5, v2, v1, v3], [v0, v4, v5, v2, v3, v1], [v0, v4, v5, v3, v1, v2], [v0, v4, v5, v3, v2, v1], [v0, v5, v1, v2, v3, v4], [v0, v5, v1, v2, v4, v3], [v0, v5, v1, v3, v2, v4], [v0, v5, v1, v3, v4, v2], [v0, v5, v1, v4, v2, v3], [v0, v5, v1, v4, v3, v2], [v0, v5, v2, v1, v3, v4], [v0, v5, v2, v1, v4, v3], [v0, v5, v2, v3, v1, v4], [v0, v5, v2, v3, v4, v1], [v0, v5, v2, v4, v1, v3], [v0, v5, v2, v4, v3, v1], [v0, v5, v3, v1, v2, v4], [v0, v5, v3, v1, v4, v2], [v0, v5, v3, v2, v1, v4], [v0, v5, v3, v2, v4, v1], [v0, v5, v3, v4, v1, v2], [v0, v5, v3, v4, v2, v1], [v0, v5, v4, v1, v2, v3], [v0, v5, v4, v1, v3, v2], [v0, v5, v4, v2, v1, v3], [v0, v5, v4, v2, v3, v1], [v0, v5, v4, v3, v1, v2], [v0, v5, v4, v3, v2, v1], [v2, v0, v1, v3, v4, v5], [v2, v0, v1, v3, v5, v4], [v2, v0, v1, v4, v3, v5], [v2, v0, v1, v4, v5, v3], [v2, v0, v1, v5, v3, v4], [v2, v0, v1, v5, v4, v3], [v2, v0, v3, v1, v4, v5], [v2, v0, v3, v1, v5, v4], [v2, v0, v3, v4, v1, v5], [v2, v0, v3, v4, v5, v1], [v2, v0, v3, v5, v1, v4], [v2, v0, v3, v5, v4, v1], [v2, v0, v4, v1, v3, v5], [v2, v0, v4, v1, v5, v3], [v2, v0, v4, v3, v1, v5], [v2, v0, v4, v3, v5, v1], [v2, v0, v4, v5, v1, v3], [v2, v0, v4, v5, v3, v1], [v2, v0, v5, v1, v3, v4], [v2, v0, v5, v1, v4, v3], [v2, v0, v5, v3, v1, v4], [v2, v0, v5, v3, v4, v1], [v2, v0, v5, v4, v1, v3], [v2, v0, v5, v4, v3, v1], [v2, v3, v0, v1, v4, v5], [v2, v3, v0, v1, v5, v4], [v2, v3, v0, v4, v1, v5], [v2, v3, v0, v4, v5, v1], [v2, v3, v0, v5, v1, v4], [v2, v3, v0, v5, v4, v1], [v2, v3, v4, v0, v1, v5], [v2, v3, v4, v0, v5, v1], [v2, v3, v4, v5, v0, v1], [v2, v3, v5, v0, v1, v4], [v2, v3, v5, v0, v4, v1], [v2, v3, v5, v4, v0, v1], [v2, v4, v0, v1, v3, v5], [v2, v4, v0, v1, v5, v3], [v2, v4, v0, v3, v1, v5], [v2, v4, v0, v3, v5, v1], [v2, v4, v0, v5, v1, v3], [v2, v4, v0, v5, v3, v1], [v2, v4, v3, v0, v1, v5], [v2, v4, v3, v0, v5, v1], [v2, v4, v3, v5, v0, v1], [v2, v4, v5, v0, v1, v3], [v2, v4, v5, v0, v3, v1], [v2, v4, v5, v3, v0, v1], [v2, v5, v0, v1, v3, v4], [v2, v5, v0, v1, v4, v3], [v2, v5, v0, v3, v1, v4], [v2, v5, v0, v3, v4, v1], [v2, v5, v0, v4, v1, v3], [v2, v5, v0, v4, v3, v1], [v2, v5, v3, v0, v1, v4], [v2, v5, v3, v0, v4, v1], [v2, v5, v3, v4, v0, v1], [v2, v5, v4, v0, v1, v3], [v2, v5, v4, v0, v3, v1], [v2, v5, v4, v3, v0, v1], [v3, v0, v1, v2, v4, v5], [v3, v0, v1, v2, v5, v4], [v3, v0, v1, v4, v2, v5], [v3, v0, v1, v4, v5, v2], [v3, v0, v1, v5, v2, v4], [v3, v0, v1, v5, v4, v2], [v3, v0, v2, v1, v4, v5], [v3, v0, v2, v1, v5, v4], [v3, v0, v2, v4, v1, v5], [v3, v0, v2, v4, v5, v1], [v3, v0, v2, v5, v1, v4], [v3, v0, v2, v5, v4, v1], [v3, v0, v4, v1, v2, v5], [v3, v0, v4, v1, v5, v2], [v3, v0, v4, v2, v1, v5], [v3, v0, v4, v2, v5, v1], [v3, v0, v4, v5, v1, v2], [v3, v0, v4, v5, v2, v1], [v3, v0, v5, v1, v2, v4], [v3, v0, v5, v1, v4, v2], [v3, v0, v5, v2, v1, v4], [v3, v0, v5, v2, v4, v1], [v3, v0, v5, v4, v1, v2], [v3, v0, v5, v4, v2, v1], [v3, v2, v0, v1, v4, v5], [v3, v2, v0, v1, v5, v4], [v3, v2, v0, v4, v1, v5], [v3, v2, v0, v4, v5, v1], [v3, v2, v0, v5, v1, v4], [v3, v2, v0, v5, v4, v1], [v3, v2, v4, v0, v1, v5], [v3, v2, v4, v0, v5, v1], [v3, v2, v4, v5, v0, v1], [v3, v2, v5, v0, v1, v4], [v3, v2, v5, v0, v4, v1], [v3, v2, v5, v4, v0, v1], [v3, v4, v0, v1, v2, v5], [v3, v4, v0, v1, v5, v2], [v3, v4, v0, v2, v1, v5], [v3, v4, v0, v2, v5, v1], [v3, v4, v0, v5, v1, v2], [v3, v4, v0, v5, v2, v1], [v3, v4, v2, v0, v1, v5], [v3, v4, v2, v0, v5, v1], [v3, v4, v2, v5, v0, v1], [v3, v4, v5, v0, v1, v2], [v3, v4, v5, v0, v2, v1], [v3, v4, v5, v2, v0, v1], [v3, v5, v0, v1, v2, v4], [v3, v5, v0, v1, v4, v2], [v3, v5, v0, v2, v1, v4], [v3, v5, v0, v2, v4, v1], [v3, v5, v0, v4, v1, v2], [v3, v5, v0, v4, v2, v1], [v3, v5, v2, v0, v1, v4], [v3, v5, v2, v0, v4, v1], [v3, v5, v2, v4, v0, v1], [v3, v5, v4, v0, v1, v2], [v3, v5, v4, v0, v2, v1], [v3, v5, v4, v2, v0, v1], [v4, v0, v1, v2, v3, v5], [v4, v0, v1, v2, v5, v3], [v4, v0, v1, v3, v2, v5], [v4, v0, v1, v3, v5, v2], [v4, v0, v1, v5, v2, v3], [v4, v0, v1, v5, v3, v2], [v4, v0, v2, v1, v3, v5], [v4, v0, v2, v1, v5, v3], [v4, v0, v2, v3, v1, v5], [v4, v0, v2, v3, v5, v1], [v4, v0, v2, v5, v1, v3], [v4, v0, v2, v5, v3, v1], [v4, v0, v3, v1, v2, v5], [v4, v0, v3, v1, v5, v2], [v4, v0, v3, v2, v1, v5], [v4, v0, v3, v2, v5, v1], [v4, v0, v3, v5, v1, v2], [v4, v0, v3, v5, v2, v1], [v4, v0, v5, v1, v2, v3], [v4, v0, v5, v1, v3, v2], [v4, v0, v5, v2, v1, v3], [v4, v0, v5, v2, v3, v1], [v4, v0, v5, v3, v1, v2], [v4, v0, v5, v3, v2, v1], [v4, v2, v0, v1, v3, v5], [v4, v2, v0, v1, v5, v3], [v4, v2, v0, v3, v1, v5], [v4, v2, v0, v3, v5, v1], [v4, v2, v0, v5, v1, v3], [v4, v2, v0, v5, v3, v1], [v4, v2, v3, v0, v1, v5], [v4, v2, v3, v0, v5, v1], [v4, v2, v3, v5, v0, v1], [v4, v2, v5, v0, v1, v3], [v4, v2, v5, v0, v3, v1], [v4, v2, v5, v3, v0, v1], [v4, v3, v0, v1, v2, v5], [v4, v3, v0, v1, v5, v2], [v4, v3, v0, v2, v1, v5], [v4, v3, v0, v2, v5, v1], [v4, v3, v0, v5, v1, v2], [v4, v3, v0, v5, v2, v1], [v4, v3, v2, v0, v1, v5], [v4, v3, v2, v0, v5, v1], [v4, v3, v2, v5, v0, v1], [v4, v3, v5, v0, v1, v2], [v4, v3, v5, v0, v2, v1], [v4, v3, v5, v2, v0, v1], [v4, v5, v0, v1, v2, v3], [v4, v5, v0, v1, v3, v2], [v4, v5, v0, v2, v1, v3], [v4, v5, v0, v2, v3, v1], [v4, v5, v0, v3, v1, v2], [v4, v5, v0, v3, v2, v1], [v4, v5, v2, v0, v1, v3], [v4, v5, v2, v0, v3, v1], [v4, v5, v2, v3, v0, v1], [v4, v5, v3, v0, v1, v2], [v4, v5, v3, v0, v2, v1], [v4, v5, v3, v2, v0, v1], [v5, v0, v1, v2, v3, v4], [v5, v0, v1, v2, v4, v3], [v5, v0, v1, v3, v2, v4], [v5, v0, v1, v3, v4, v2], [v5, v0, v1, v4, v2, v3], [v5, v0, v1, v4, v3, v2], [v5, v0, v2, v1, v3, v4], [v5, v0, v2, v1, v4, v3], [v5, v0, v2, v3, v1, v4], [v5, v0, v2, v3, v4, v1], [v5, v0, v2, v4, v1, v3], [v5, v0, v2, v4, v3, v1], [v5, v0, v3, v1, v2, v4], [v5, v0, v3, v1, v4, v2], [v5, v0, v3, v2, v1, v4], [v5, v0, v3, v2, v4, v1], [v5, v0, v3, v4, v1, v2], [v5, v0, v3, v4, v2, v1], [v5, v0, v4, v1, v2, v3], [v5, v0, v4, v1, v3, v2], [v5, v0, v4, v2, v1, v3], [v5, v0, v4, v2, v3, v1], [v5, v0, v4, v3, v1, v2], [v5, v0, v4, v3, v2, v1], [v5, v2, v0, v1, v3, v4], [v5, v2, v0, v1, v4, v3], [v5, v2, v0, v3, v1, v4], [v5, v2, v0, v3, v4, v1], [v5, v2, v0, v4, v1, v3], [v5, v2, v0, v4, v3, v1], [v5, v2, v3, v0, v1, v4], [v5, v2, v3, v0, v4, v1], [v5, v2, v3, v4, v0, v1], [v5, v2, v4, v0, v1, v3], [v5, v2, v4, v0, v3, v1], [v5, v2, v4, v3, v0, v1], [v5, v3, v0, v1, v2, v4], [v5, v3, v0, v1, v4, v2], [v5, v3, v0, v2, v1, v4], [v5, v3, v0, v2, v4, v1], [v5, v3, v0, v4, v1, v2], [v5, v3, v0, v4, v2, v1], [v5, v3, v2, v0, v1, v4], [v5, v3, v2, v0, v4, v1], [v5, v3, v2, v4, v0, v1], [v5, v3, v4, v0, v1, v2], [v5, v3, v4, v0, v2, v1], [v5, v3, v4, v2, v0, v1], [v5, v4, v0, v1, v2, v3], [v5, v4, v0, v1, v3, v2], [v5, v4, v0, v2, v1, v3], [v5, v4, v0, v2, v3, v1], [v5, v4, v0, v3, v1, v2], [v5, v4, v0, v3, v2, v1], [v5, v4, v2, v0, v1, v3], [v5, v4, v2, v0, v3, v1], [v5, v4, v2, v3, v0, v1], [v5, v4, v3, v0, v1, v2], [v5, v4, v3, v0, v2, v1], [v5, v4, v3, v2, v0, v1]], 360, Yes, all_vertex_permutations_are_audited).