hamiltonian_path([v1,v2,v3,v6,v4,v5]).
hamiltonian_path([v1,v2,v6,v3,v4,v5]).
hamiltonian_path([v1,v3,v6,v2,v4,v5]).
hamiltonian_path([v1,v3,v2,v6,v4,v5]).
hamiltonian_path([v1,v5,v4,v6,v2,v3]).
hamiltonian_path([v1,v5,v4,v6,v3,v2]).
hamiltonian_path([v1,v5,v4,v2,v3,v6]).
hamiltonian_path([v1,v5,v4,v2,v6,v3]).
hamiltonian_path([v1,v5,v4,v3,v6,v2]).
hamiltonian_path([v1,v5,v4,v3,v2,v6]).
hamiltonian_path([v1,v6,v2,v3,v4,v5]).
hamiltonian_path([v1,v6,v3,v2,v4,v5]).
hamiltonian_path([v2,v3,v4,v5,v1,v6]).
hamiltonian_path([v2,v3,v4,v6,v1,v5]).
hamiltonian_path([v2,v3,v6,v1,v5,v4]).
hamiltonian_path([v2,v3,v6,v4,v5,v1]).
hamiltonian_path([v2,v3,v1,v5,v4,v6]).
hamiltonian_path([v2,v3,v1,v6,v4,v5]).
hamiltonian_path([v2,v4,v5,v1,v3,v6]).
hamiltonian_path([v2,v4,v5,v1,v6,v3]).
hamiltonian_path([v2,v4,v6,v3,v1,v5]).
hamiltonian_path([v2,v4,v3,v6,v1,v5]).
hamiltonian_path([v2,v6,v1,v3,v4,v5]).
hamiltonian_path([v2,v6,v1,v5,v4,v3]).
hamiltonian_path([v2,v6,v3,v4,v5,v1]).
hamiltonian_path([v2,v6,v3,v1,v5,v4]).
hamiltonian_path([v2,v6,v4,v5,v1,v3]).
hamiltonian_path([v2,v6,v4,v3,v1,v5]).
hamiltonian_path([v2,v1,v3,v6,v4,v5]).
hamiltonian_path([v2,v1,v5,v4,v6,v3]).
hamiltonian_path([v2,v1,v5,v4,v3,v6]).
hamiltonian_path([v2,v1,v6,v3,v4,v5]).
hamiltonian_path([v3,v4,v5,v1,v2,v6]).
hamiltonian_path([v3,v4,v5,v1,v6,v2]).
hamiltonian_path([v3,v4,v6,v2,v1,v5]).
hamiltonian_path([v3,v4,v2,v6,v1,v5]).
hamiltonian_path([v3,v6,v1,v2,v4,v5]).
hamiltonian_path([v3,v6,v1,v5,v4,v2]).
hamiltonian_path([v3,v6,v2,v4,v5,v1]).
hamiltonian_path([v3,v6,v2,v1,v5,v4]).
hamiltonian_path([v3,v6,v4,v5,v1,v2]).
hamiltonian_path([v3,v6,v4,v2,v1,v5]).
hamiltonian_path([v3,v1,v2,v6,v4,v5]).
hamiltonian_path([v3,v1,v5,v4,v6,v2]).
hamiltonian_path([v3,v1,v5,v4,v2,v6]).
hamiltonian_path([v3,v1,v6,v2,v4,v5]).
hamiltonian_path([v3,v2,v4,v5,v1,v6]).
hamiltonian_path([v3,v2,v4,v6,v1,v5]).
hamiltonian_path([v3,v2,v6,v1,v5,v4]).
hamiltonian_path([v3,v2,v6,v4,v5,v1]).
hamiltonian_path([v3,v2,v1,v5,v4,v6]).
hamiltonian_path([v3,v2,v1,v6,v4,v5]).
hamiltonian_path([v4,v5,v1,v2,v3,v6]).
hamiltonian_path([v4,v5,v1,v2,v6,v3]).
hamiltonian_path([v4,v5,v1,v3,v6,v2]).
hamiltonian_path([v4,v5,v1,v3,v2,v6]).
hamiltonian_path([v4,v5,v1,v6,v2,v3]).
hamiltonian_path([v4,v5,v1,v6,v3,v2]).
hamiltonian_path([v4,v6,v2,v3,v1,v5]).
hamiltonian_path([v4,v6,v3,v2,v1,v5]).
hamiltonian_path([v4,v2,v3,v6,v1,v5]).
hamiltonian_path([v4,v2,v6,v3,v1,v5]).
hamiltonian_path([v4,v3,v6,v2,v1,v5]).
hamiltonian_path([v4,v3,v2,v6,v1,v5]).
hamiltonian_path([v5,v1,v2,v3,v4,v6]).
hamiltonian_path([v5,v1,v2,v3,v6,v4]).
hamiltonian_path([v5,v1,v2,v4,v6,v3]).
hamiltonian_path([v5,v1,v2,v4,v3,v6]).
hamiltonian_path([v5,v1,v2,v6,v3,v4]).
hamiltonian_path([v5,v1,v2,v6,v4,v3]).
hamiltonian_path([v5,v1,v3,v4,v6,v2]).
hamiltonian_path([v5,v1,v3,v4,v2,v6]).
hamiltonian_path([v5,v1,v3,v6,v2,v4]).
hamiltonian_path([v5,v1,v3,v6,v4,v2]).
hamiltonian_path([v5,v1,v3,v2,v4,v6]).
hamiltonian_path([v5,v1,v3,v2,v6,v4]).
hamiltonian_path([v5,v1,v6,v2,v3,v4]).
hamiltonian_path([v5,v1,v6,v2,v4,v3]).
hamiltonian_path([v5,v1,v6,v3,v4,v2]).
hamiltonian_path([v5,v1,v6,v3,v2,v4]).
hamiltonian_path([v5,v1,v6,v4,v2,v3]).
hamiltonian_path([v5,v1,v6,v4,v3,v2]).
hamiltonian_path([v5,v4,v6,v1,v2,v3]).
hamiltonian_path([v5,v4,v6,v1,v3,v2]).
hamiltonian_path([v5,v4,v6,v2,v3,v1]).
hamiltonian_path([v5,v4,v6,v2,v1,v3]).
hamiltonian_path([v5,v4,v6,v3,v1,v2]).
hamiltonian_path([v5,v4,v6,v3,v2,v1]).
hamiltonian_path([v5,v4,v2,v3,v6,v1]).
hamiltonian_path([v5,v4,v2,v3,v1,v6]).
hamiltonian_path([v5,v4,v2,v6,v1,v3]).
hamiltonian_path([v5,v4,v2,v6,v3,v1]).
hamiltonian_path([v5,v4,v2,v1,v3,v6]).
hamiltonian_path([v5,v4,v2,v1,v6,v3]).
hamiltonian_path([v5,v4,v3,v6,v1,v2]).
hamiltonian_path([v5,v4,v3,v6,v2,v1]).
hamiltonian_path([v5,v4,v3,v1,v2,v6]).
hamiltonian_path([v5,v4,v3,v1,v6,v2]).
hamiltonian_path([v5,v4,v3,v2,v6,v1]).
hamiltonian_path([v5,v4,v3,v2,v1,v6]).
hamiltonian_path([v6,v1,v2,v3,v4,v5]).
hamiltonian_path([v6,v1,v3,v2,v4,v5]).
hamiltonian_path([v6,v1,v5,v4,v2,v3]).
hamiltonian_path([v6,v1,v5,v4,v3,v2]).
hamiltonian_path([v6,v2,v3,v4,v5,v1]).
hamiltonian_path([v6,v2,v3,v1,v5,v4]).
hamiltonian_path([v6,v2,v4,v5,v1,v3]).
hamiltonian_path([v6,v2,v4,v3,v1,v5]).
hamiltonian_path([v6,v2,v1,v3,v4,v5]).
hamiltonian_path([v6,v2,v1,v5,v4,v3]).
hamiltonian_path([v6,v3,v4,v5,v1,v2]).
hamiltonian_path([v6,v3,v4,v2,v1,v5]).
hamiltonian_path([v6,v3,v1,v2,v4,v5]).
hamiltonian_path([v6,v3,v1,v5,v4,v2]).
hamiltonian_path([v6,v3,v2,v4,v5,v1]).
hamiltonian_path([v6,v3,v2,v1,v5,v4]).
hamiltonian_path([v6,v4,v5,v1,v2,v3]).
hamiltonian_path([v6,v4,v5,v1,v3,v2]).
hamiltonian_path([v6,v4,v2,v3,v1,v5]).
hamiltonian_path([v6,v4,v3,v2,v1,v5]).
