(define (problem ham-2)
(:domain hamiltonian-cycle)
(:objects a b c d e f g h i j k l m n o p q r s t u v w x y z - node)

(:init
(arc a l)
(arc d c)
(arc x d)
(arc u o)
(arc y h)
(arc c l)
(arc k e)
(arc u j)
(arc p q)
(arc v g)
(arc e x)
(arc c m)
(arc p u)
(arc z b)
(arc e i)
(arc z d)
(arc x a)
(arc h v)
(arc w p)
(arc a s)
(arc n k)
(arc t y)
(arc s o)
(arc k t)
(arc g r)
(arc i b)
(arc j z)
(arc o m)
(arc m i)
(arc l e)
(arc b n)
(arc r w)
(arc q f)
(arc f u)


)

(:goal )