finite digraph、完整vertex permutation與all-edge order責任。操作=toposort-all-orders;資料={"vertices":["v0","v1","v2","v3","v4","v5"],"edges":[["v0","v1"]]}。請依 [vertices, edges, all_valid_orders, order_count, order_exists, certificate] 欄序回答。
查看答案與解釋
([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, 是, all_vertex_permutations_are_audited)
Wave6第十層核對=([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, 是, all_vertex_permutations_are_audited);依完整明示資料獨立重算;全部orders、Kahn source-removal trace與cycle witness交叉核對;invalid candidate不等於cycle;multiple orders與empty-edge graph允許且不混同topological space。