hasHamiltonianPath(graph, true).
hamiltonianPath(graph, [v1, v2, v3, v6, v4, v5]).
hamiltonianPath(graph, [v1, v2, v6, v3, v4, v5]).
hamiltonianPath(graph, [v1, v3, v2, v6, v4, v5]).
hamiltonianPath(graph, [v1, v3, v6, v2, v4, v5]).
hamiltonianPath(graph, [v1, v5, v4, v2, v3, v6]).
hamiltonianPath(graph, [v1, v5, v4, v2, v6, v3]).
hamiltonianPath(graph, [v1, v5, v4, v3, v2, v6]).
hamiltonianPath(graph, [v1, v5, v4, v3, v6, v2]).
hamiltonianPath(graph, [v1, v5, v4, v6, v2, v3]).
hamiltonianPath(graph, [v1, v5, v4, v6, v3, v2]).
hamiltonianPath(graph, [v1, v6, v2, v3, v4, v5]).
hamiltonianPath(graph, [v1, v6, v3, v2, v4, v5]).
hamiltonianPath(graph, [v2, v1, v3, v6, v4, v5]).
hamiltonianPath(graph, [v2, v1, v5, v4, v3, v6]).
hamiltonianPath(graph, [v2, v1, v5, v4, v6, v3]).
hamiltonianPath(graph, [v2, v1, v6, v3, v4, v5]).
hamiltonianPath(graph, [v2, v3, v1, v5, v4, v6]).
hamiltonianPath(graph, [v2, v3, v1, v6, v4, v5]).
hamiltonianPath(graph, [v2, v3, v4, v5, v1, v6]).
hamiltonianPath(graph, [v2, v3, v4, v6, v1, v5]).
hamiltonianPath(graph, [v2, v3, v6, v1, v5, v4]).
hamiltonianPath(graph, [v2, v3, v6, v4, v5, v1]).
hamiltonianPath(graph, [v2, v4, v3, v6, v1, v5]).
hamiltonianPath(graph, [v2, v4, v5, v1, v3, v6]).
hamiltonianPath(graph, [v2, v4, v5, v1, v6, v3]).
hamiltonianPath(graph, [v2, v4, v6, v3, v1, v5]).
hamiltonianPath(graph, [v2, v6, v1, v3, v4, v5]).
hamiltonianPath(graph, [v2, v6, v1, v5, v4, v3]).
hamiltonianPath(graph, [v2, v6, v3, v1, v5, v4]).
hamiltonianPath(graph, [v2, v6, v3, v4, v5, v1]).
hamiltonianPath(graph, [v2, v6, v4, v3, v1, v5]).
hamiltonianPath(graph, [v2, v6, v4, v5, v1, v3]).
hamiltonianPath(graph, [v3, v1, v2, v6, v4, v5]).
hamiltonianPath(graph, [v3, v1, v5, v4, v2, v6]).
hamiltonianPath(graph, [v3, v1, v5, v4, v6, v2]).
hamiltonianPath(graph, [v3, v1, v6, v2, v4, v5]).
hamiltonianPath(graph, [v3, v2, v1, v5, v4, v6]).
hamiltonianPath(graph, [v3, v2, v1, v6, v4, v5]).
hamiltonianPath(graph, [v3, v2, v4, v5, v1, v6]).
hamiltonianPath(graph, [v3, v2, v4, v6, v1, v5]).
hamiltonianPath(graph, [v3, v2, v6, v1, v5, v4]).
hamiltonianPath(graph, [v3, v2, v6, v4, v5, v1]).
hamiltonianPath(graph, [v3, v4, v2, v6, v1, v5]).
hamiltonianPath(graph, [v3, v4, v5, v1, v2, v6]).
hamiltonianPath(graph, [v3, v4, v5, v1, v6, v2]).
hamiltonianPath(graph, [v3, v4, v6, v2, v1, v5]).
hamiltonianPath(graph, [v3, v6, v1, v2, v4, v5]).
hamiltonianPath(graph, [v3, v6, v1, v5, v4, v2]).
hamiltonianPath(graph, [v3, v6, v2, v1, v5, v4]).
hamiltonianPath(graph, [v3, v6, v2, v4, v5, v1]).
hamiltonianPath(graph, [v3, v6, v4, v2, v1, v5]).
hamiltonianPath(graph, [v3, v6, v4, v5, v1, v2]).
hamiltonianPath(graph, [v4, v2, v3, v6, v1, v5]).
hamiltonianPath(graph, [v4, v2, v6, v3, v1, v5]).
hamiltonianPath(graph, [v4, v3, v2, v6, v1, v5]).
hamiltonianPath(graph, [v4, v3, v6, v2, v1, v5]).
hamiltonianPath(graph, [v4, v5, v1, v2, v3, v6]).
hamiltonianPath(graph, [v4, v5, v1, v2, v6, v3]).
hamiltonianPath(graph, [v4, v5, v1, v3, v2, v6]).
hamiltonianPath(graph, [v4, v5, v1, v3, v6, v2]).
hamiltonianPath(graph, [v4, v5, v1, v6, v2, v3]).
hamiltonianPath(graph, [v4, v5, v1, v6, v3, v2]).
hamiltonianPath(graph, [v4, v6, v2, v3, v1, v5]).
hamiltonianPath(graph, [v4, v6, v3, v2, v1, v5]).
hamiltonianPath(graph, [v5, v1, v2, v3, v4, v6]).
hamiltonianPath(graph, [v5, v1, v2, v3, v6, v4]).
hamiltonianPath(graph, [v5, v1, v2, v4, v3, v6]).
hamiltonianPath(graph, [v5, v1, v2, v4, v6, v3]).
hamiltonianPath(graph, [v5, v1, v2, v6, v3, v4]).
hamiltonianPath(graph, [v5, v1, v2, v6, v4, v3]).
hamiltonianPath(graph, [v5, v1, v3, v2, v4, v6]).
hamiltonianPath(graph, [v5, v1, v3, v2, v6, v4]).
hamiltonianPath(graph, [v5, v1, v3, v4, v2, v6]).
hamiltonianPath(graph, [v5, v1, v3, v4, v6, v2]).
hamiltonianPath(graph, [v5, v1, v3, v6, v2, v4]).
hamiltonianPath(graph, [v5, v1, v3, v6, v4, v2]).
hamiltonianPath(graph, [v5, v1, v6, v2, v3, v4]).
hamiltonianPath(graph, [v5, v1, v6, v2, v4, v3]).
hamiltonianPath(graph, [v5, v1, v6, v3, v2, v4]).
hamiltonianPath(graph, [v5, v1, v6, v3, v4, v2]).
hamiltonianPath(graph, [v5, v1, v6, v4, v2, v3]).
hamiltonianPath(graph, [v5, v1, v6, v4, v3, v2]).
hamiltonianPath(graph, [v5, v4, v2, v1, v3, v6]).
hamiltonianPath(graph, [v5, v4, v2, v1, v6, v3]).
hamiltonianPath(graph, [v5, v4, v2, v3, v1, v6]).
hamiltonianPath(graph, [v5, v4, v2, v3, v6, v1]).
hamiltonianPath(graph, [v5, v4, v2, v6, v1, v3]).
hamiltonianPath(graph, [v5, v4, v2, v6, v3, v1]).
hamiltonianPath(graph, [v5, v4, v3, v1, v2, v6]).
hamiltonianPath(graph, [v5, v4, v3, v1, v6, v2]).
hamiltonianPath(graph, [v5, v4, v3, v2, v1, v6]).
hamiltonianPath(graph, [v5, v4, v3, v2, v6, v1]).
hamiltonianPath(graph, [v5, v4, v3, v6, v1, v2]).
hamiltonianPath(graph, [v5, v4, v3, v6, v2, v1]).
hamiltonianPath(graph, [v5, v4, v6, v1, v2, v3]).
hamiltonianPath(graph, [v5, v4, v6, v1, v3, v2]).
hamiltonianPath(graph, [v5, v4, v6, v2, v1, v3]).
hamiltonianPath(graph, [v5, v4, v6, v2, v3, v1]).
hamiltonianPath(graph, [v5, v4, v6, v3, v1, v2]).
hamiltonianPath(graph, [v5, v4, v6, v3, v2, v1]).
hamiltonianPath(graph, [v6, v1, v2, v3, v4, v5]).
hamiltonianPath(graph, [v6, v1, v3, v2, v4, v5]).
hamiltonianPath(graph, [v6, v1, v5, v4, v2, v3]).
hamiltonianPath(graph, [v6, v1, v5, v4, v3, v2]).
hamiltonianPath(graph, [v6, v2, v1, v3, v4, v5]).
hamiltonianPath(graph, [v6, v2, v1, v5, v4, v3]).
hamiltonianPath(graph, [v6, v2, v3, v1, v5, v4]).
hamiltonianPath(graph, [v6, v2, v3, v4, v5, v1]).
hamiltonianPath(graph, [v6, v2, v4, v3, v1, v5]).
hamiltonianPath(graph, [v6, v2, v4, v5, v1, v3]).
hamiltonianPath(graph, [v6, v3, v1, v2, v4, v5]).
hamiltonianPath(graph, [v6, v3, v1, v5, v4, v2]).
hamiltonianPath(graph, [v6, v3, v2, v1, v5, v4]).
hamiltonianPath(graph, [v6, v3, v2, v4, v5, v1]).
hamiltonianPath(graph, [v6, v3, v4, v2, v1, v5]).
hamiltonianPath(graph, [v6, v3, v4, v5, v1, v2]).
hamiltonianPath(graph, [v6, v4, v2, v3, v1, v5]).
hamiltonianPath(graph, [v6, v4, v3, v2, v1, v5]).
hamiltonianPath(graph, [v6, v4, v5, v1, v2, v3]).
hamiltonianPath(graph, [v6, v4, v5, v1, v3, v2]).