;;Instance with 7x6x4 points
(define (problem name) (:domain domain_name)
(:objects 
x0y0z0 - location
x0y0z1 - location
x0y0z2 - location
x0y0z3 - location
x0y1z0 - location
x0y1z1 - location
x0y1z2 - location
x0y1z3 - location
x0y2z0 - location
x0y2z1 - location
x0y2z2 - location
x0y2z3 - location
x0y3z0 - location
x0y3z1 - location
x0y3z2 - location
x0y3z3 - location
x0y4z0 - location
x0y4z1 - location
x0y4z2 - location
x0y4z3 - location
x0y5z0 - location
x0y5z1 - location
x0y5z2 - location
x0y5z3 - location
x1y0z0 - location
x1y0z1 - location
x1y0z2 - location
x1y0z3 - location
x1y1z0 - location
x1y1z1 - location
x1y1z2 - location
x1y1z3 - location
x1y2z0 - location
x1y2z1 - location
x1y2z2 - location
x1y2z3 - location
x1y3z0 - location
x1y3z1 - location
x1y3z2 - location
x1y3z3 - location
x1y4z0 - location
x1y4z1 - location
x1y4z2 - location
x1y4z3 - location
x1y5z0 - location
x1y5z1 - location
x1y5z2 - location
x1y5z3 - location
x2y0z0 - location
x2y0z1 - location
x2y0z2 - location
x2y0z3 - location
x2y1z0 - location
x2y1z1 - location
x2y1z2 - location
x2y1z3 - location
x2y2z0 - location
x2y2z1 - location
x2y2z2 - location
x2y2z3 - location
x2y3z0 - location
x2y3z1 - location
x2y3z2 - location
x2y3z3 - location
x2y4z0 - location
x2y4z1 - location
x2y4z2 - location
x2y4z3 - location
x2y5z0 - location
x2y5z1 - location
x2y5z2 - location
x2y5z3 - location
x3y0z0 - location
x3y0z1 - location
x3y0z2 - location
x3y0z3 - location
x3y1z0 - location
x3y1z1 - location
x3y1z2 - location
x3y1z3 - location
x3y2z0 - location
x3y2z1 - location
x3y2z2 - location
x3y2z3 - location
x3y3z0 - location
x3y3z1 - location
x3y3z2 - location
x3y3z3 - location
x3y4z0 - location
x3y4z1 - location
x3y4z2 - location
x3y4z3 - location
x3y5z0 - location
x3y5z1 - location
x3y5z2 - location
x3y5z3 - location
x4y0z0 - location
x4y0z1 - location
x4y0z2 - location
x4y0z3 - location
x4y1z0 - location
x4y1z1 - location
x4y1z2 - location
x4y1z3 - location
x4y2z0 - location
x4y2z1 - location
x4y2z2 - location
x4y2z3 - location
x4y3z0 - location
x4y3z1 - location
x4y3z2 - location
x4y3z3 - location
x4y4z0 - location
x4y4z1 - location
x4y4z2 - location
x4y4z3 - location
x4y5z0 - location
x4y5z1 - location
x4y5z2 - location
x4y5z3 - location
x5y0z0 - location
x5y0z1 - location
x5y0z2 - location
x5y0z3 - location
x5y1z0 - location
x5y1z1 - location
x5y1z2 - location
x5y1z3 - location
x5y2z0 - location
x5y2z1 - location
x5y2z2 - location
x5y2z3 - location
x5y3z0 - location
x5y3z1 - location
x5y3z2 - location
x5y3z3 - location
x5y4z0 - location
x5y4z1 - location
x5y4z2 - location
x5y4z3 - location
x5y5z0 - location
x5y5z1 - location
x5y5z2 - location
x5y5z3 - location
x6y0z0 - location
x6y0z1 - location
x6y0z2 - location
x6y0z3 - location
x6y1z0 - location
x6y1z1 - location
x6y1z2 - location
x6y1z3 - location
x6y2z0 - location
x6y2z1 - location
x6y2z2 - location
x6y2z3 - location
x6y3z0 - location
x6y3z1 - location
x6y3z2 - location
x6y3z3 - location
x6y4z0 - location
x6y4z1 - location
x6y4z2 - location
x6y4z3 - location
x6y5z0 - location
x6y5z1 - location
x6y5z2 - location
x6y5z3 - location
) 
(:init (= (x) 0) (= (y) 0) (= (z) 0)
 (= (min_x) 0)  (= (max_x) 7) 
 (= (min_y) 0)  (= (max_y) 6) 
 (= (min_z) 0)  (= (max_z) 4) 
(= (xl x0y0z0) 0)
(= (yl x0y0z0) 0)
(= (zl x0y0z0) 0)
(= (xl x0y0z1) 0)
(= (yl x0y0z1) 0)
(= (zl x0y0z1) 1)
(= (xl x0y0z2) 0)
(= (yl x0y0z2) 0)
(= (zl x0y0z2) 2)
(= (xl x0y0z3) 0)
(= (yl x0y0z3) 0)
(= (zl x0y0z3) 3)
(= (xl x0y1z0) 0)
(= (yl x0y1z0) 1)
(= (zl x0y1z0) 0)
(= (xl x0y1z1) 0)
(= (yl x0y1z1) 1)
(= (zl x0y1z1) 1)
(= (xl x0y1z2) 0)
(= (yl x0y1z2) 1)
(= (zl x0y1z2) 2)
(= (xl x0y1z3) 0)
(= (yl x0y1z3) 1)
(= (zl x0y1z3) 3)
(= (xl x0y2z0) 0)
(= (yl x0y2z0) 2)
(= (zl x0y2z0) 0)
(= (xl x0y2z1) 0)
(= (yl x0y2z1) 2)
(= (zl x0y2z1) 1)
(= (xl x0y2z2) 0)
(= (yl x0y2z2) 2)
(= (zl x0y2z2) 2)
(= (xl x0y2z3) 0)
(= (yl x0y2z3) 2)
(= (zl x0y2z3) 3)
(= (xl x0y3z0) 0)
(= (yl x0y3z0) 3)
(= (zl x0y3z0) 0)
(= (xl x0y3z1) 0)
(= (yl x0y3z1) 3)
(= (zl x0y3z1) 1)
(= (xl x0y3z2) 0)
(= (yl x0y3z2) 3)
(= (zl x0y3z2) 2)
(= (xl x0y3z3) 0)
(= (yl x0y3z3) 3)
(= (zl x0y3z3) 3)
(= (xl x0y4z0) 0)
(= (yl x0y4z0) 4)
(= (zl x0y4z0) 0)
(= (xl x0y4z1) 0)
(= (yl x0y4z1) 4)
(= (zl x0y4z1) 1)
(= (xl x0y4z2) 0)
(= (yl x0y4z2) 4)
(= (zl x0y4z2) 2)
(= (xl x0y4z3) 0)
(= (yl x0y4z3) 4)
(= (zl x0y4z3) 3)
(= (xl x0y5z0) 0)
(= (yl x0y5z0) 5)
(= (zl x0y5z0) 0)
(= (xl x0y5z1) 0)
(= (yl x0y5z1) 5)
(= (zl x0y5z1) 1)
(= (xl x0y5z2) 0)
(= (yl x0y5z2) 5)
(= (zl x0y5z2) 2)
(= (xl x0y5z3) 0)
(= (yl x0y5z3) 5)
(= (zl x0y5z3) 3)
(= (xl x1y0z0) 1)
(= (yl x1y0z0) 0)
(= (zl x1y0z0) 0)
(= (xl x1y0z1) 1)
(= (yl x1y0z1) 0)
(= (zl x1y0z1) 1)
(= (xl x1y0z2) 1)
(= (yl x1y0z2) 0)
(= (zl x1y0z2) 2)
(= (xl x1y0z3) 1)
(= (yl x1y0z3) 0)
(= (zl x1y0z3) 3)
(= (xl x1y1z0) 1)
(= (yl x1y1z0) 1)
(= (zl x1y1z0) 0)
(= (xl x1y1z1) 1)
(= (yl x1y1z1) 1)
(= (zl x1y1z1) 1)
(= (xl x1y1z2) 1)
(= (yl x1y1z2) 1)
(= (zl x1y1z2) 2)
(= (xl x1y1z3) 1)
(= (yl x1y1z3) 1)
(= (zl x1y1z3) 3)
(= (xl x1y2z0) 1)
(= (yl x1y2z0) 2)
(= (zl x1y2z0) 0)
(= (xl x1y2z1) 1)
(= (yl x1y2z1) 2)
(= (zl x1y2z1) 1)
(= (xl x1y2z2) 1)
(= (yl x1y2z2) 2)
(= (zl x1y2z2) 2)
(= (xl x1y2z3) 1)
(= (yl x1y2z3) 2)
(= (zl x1y2z3) 3)
(= (xl x1y3z0) 1)
(= (yl x1y3z0) 3)
(= (zl x1y3z0) 0)
(= (xl x1y3z1) 1)
(= (yl x1y3z1) 3)
(= (zl x1y3z1) 1)
(= (xl x1y3z2) 1)
(= (yl x1y3z2) 3)
(= (zl x1y3z2) 2)
(= (xl x1y3z3) 1)
(= (yl x1y3z3) 3)
(= (zl x1y3z3) 3)
(= (xl x1y4z0) 1)
(= (yl x1y4z0) 4)
(= (zl x1y4z0) 0)
(= (xl x1y4z1) 1)
(= (yl x1y4z1) 4)
(= (zl x1y4z1) 1)
(= (xl x1y4z2) 1)
(= (yl x1y4z2) 4)
(= (zl x1y4z2) 2)
(= (xl x1y4z3) 1)
(= (yl x1y4z3) 4)
(= (zl x1y4z3) 3)
(= (xl x1y5z0) 1)
(= (yl x1y5z0) 5)
(= (zl x1y5z0) 0)
(= (xl x1y5z1) 1)
(= (yl x1y5z1) 5)
(= (zl x1y5z1) 1)
(= (xl x1y5z2) 1)
(= (yl x1y5z2) 5)
(= (zl x1y5z2) 2)
(= (xl x1y5z3) 1)
(= (yl x1y5z3) 5)
(= (zl x1y5z3) 3)
(= (xl x2y0z0) 2)
(= (yl x2y0z0) 0)
(= (zl x2y0z0) 0)
(= (xl x2y0z1) 2)
(= (yl x2y0z1) 0)
(= (zl x2y0z1) 1)
(= (xl x2y0z2) 2)
(= (yl x2y0z2) 0)
(= (zl x2y0z2) 2)
(= (xl x2y0z3) 2)
(= (yl x2y0z3) 0)
(= (zl x2y0z3) 3)
(= (xl x2y1z0) 2)
(= (yl x2y1z0) 1)
(= (zl x2y1z0) 0)
(= (xl x2y1z1) 2)
(= (yl x2y1z1) 1)
(= (zl x2y1z1) 1)
(= (xl x2y1z2) 2)
(= (yl x2y1z2) 1)
(= (zl x2y1z2) 2)
(= (xl x2y1z3) 2)
(= (yl x2y1z3) 1)
(= (zl x2y1z3) 3)
(= (xl x2y2z0) 2)
(= (yl x2y2z0) 2)
(= (zl x2y2z0) 0)
(= (xl x2y2z1) 2)
(= (yl x2y2z1) 2)
(= (zl x2y2z1) 1)
(= (xl x2y2z2) 2)
(= (yl x2y2z2) 2)
(= (zl x2y2z2) 2)
(= (xl x2y2z3) 2)
(= (yl x2y2z3) 2)
(= (zl x2y2z3) 3)
(= (xl x2y3z0) 2)
(= (yl x2y3z0) 3)
(= (zl x2y3z0) 0)
(= (xl x2y3z1) 2)
(= (yl x2y3z1) 3)
(= (zl x2y3z1) 1)
(= (xl x2y3z2) 2)
(= (yl x2y3z2) 3)
(= (zl x2y3z2) 2)
(= (xl x2y3z3) 2)
(= (yl x2y3z3) 3)
(= (zl x2y3z3) 3)
(= (xl x2y4z0) 2)
(= (yl x2y4z0) 4)
(= (zl x2y4z0) 0)
(= (xl x2y4z1) 2)
(= (yl x2y4z1) 4)
(= (zl x2y4z1) 1)
(= (xl x2y4z2) 2)
(= (yl x2y4z2) 4)
(= (zl x2y4z2) 2)
(= (xl x2y4z3) 2)
(= (yl x2y4z3) 4)
(= (zl x2y4z3) 3)
(= (xl x2y5z0) 2)
(= (yl x2y5z0) 5)
(= (zl x2y5z0) 0)
(= (xl x2y5z1) 2)
(= (yl x2y5z1) 5)
(= (zl x2y5z1) 1)
(= (xl x2y5z2) 2)
(= (yl x2y5z2) 5)
(= (zl x2y5z2) 2)
(= (xl x2y5z3) 2)
(= (yl x2y5z3) 5)
(= (zl x2y5z3) 3)
(= (xl x3y0z0) 3)
(= (yl x3y0z0) 0)
(= (zl x3y0z0) 0)
(= (xl x3y0z1) 3)
(= (yl x3y0z1) 0)
(= (zl x3y0z1) 1)
(= (xl x3y0z2) 3)
(= (yl x3y0z2) 0)
(= (zl x3y0z2) 2)
(= (xl x3y0z3) 3)
(= (yl x3y0z3) 0)
(= (zl x3y0z3) 3)
(= (xl x3y1z0) 3)
(= (yl x3y1z0) 1)
(= (zl x3y1z0) 0)
(= (xl x3y1z1) 3)
(= (yl x3y1z1) 1)
(= (zl x3y1z1) 1)
(= (xl x3y1z2) 3)
(= (yl x3y1z2) 1)
(= (zl x3y1z2) 2)
(= (xl x3y1z3) 3)
(= (yl x3y1z3) 1)
(= (zl x3y1z3) 3)
(= (xl x3y2z0) 3)
(= (yl x3y2z0) 2)
(= (zl x3y2z0) 0)
(= (xl x3y2z1) 3)
(= (yl x3y2z1) 2)
(= (zl x3y2z1) 1)
(= (xl x3y2z2) 3)
(= (yl x3y2z2) 2)
(= (zl x3y2z2) 2)
(= (xl x3y2z3) 3)
(= (yl x3y2z3) 2)
(= (zl x3y2z3) 3)
(= (xl x3y3z0) 3)
(= (yl x3y3z0) 3)
(= (zl x3y3z0) 0)
(= (xl x3y3z1) 3)
(= (yl x3y3z1) 3)
(= (zl x3y3z1) 1)
(= (xl x3y3z2) 3)
(= (yl x3y3z2) 3)
(= (zl x3y3z2) 2)
(= (xl x3y3z3) 3)
(= (yl x3y3z3) 3)
(= (zl x3y3z3) 3)
(= (xl x3y4z0) 3)
(= (yl x3y4z0) 4)
(= (zl x3y4z0) 0)
(= (xl x3y4z1) 3)
(= (yl x3y4z1) 4)
(= (zl x3y4z1) 1)
(= (xl x3y4z2) 3)
(= (yl x3y4z2) 4)
(= (zl x3y4z2) 2)
(= (xl x3y4z3) 3)
(= (yl x3y4z3) 4)
(= (zl x3y4z3) 3)
(= (xl x3y5z0) 3)
(= (yl x3y5z0) 5)
(= (zl x3y5z0) 0)
(= (xl x3y5z1) 3)
(= (yl x3y5z1) 5)
(= (zl x3y5z1) 1)
(= (xl x3y5z2) 3)
(= (yl x3y5z2) 5)
(= (zl x3y5z2) 2)
(= (xl x3y5z3) 3)
(= (yl x3y5z3) 5)
(= (zl x3y5z3) 3)
(= (xl x4y0z0) 4)
(= (yl x4y0z0) 0)
(= (zl x4y0z0) 0)
(= (xl x4y0z1) 4)
(= (yl x4y0z1) 0)
(= (zl x4y0z1) 1)
(= (xl x4y0z2) 4)
(= (yl x4y0z2) 0)
(= (zl x4y0z2) 2)
(= (xl x4y0z3) 4)
(= (yl x4y0z3) 0)
(= (zl x4y0z3) 3)
(= (xl x4y1z0) 4)
(= (yl x4y1z0) 1)
(= (zl x4y1z0) 0)
(= (xl x4y1z1) 4)
(= (yl x4y1z1) 1)
(= (zl x4y1z1) 1)
(= (xl x4y1z2) 4)
(= (yl x4y1z2) 1)
(= (zl x4y1z2) 2)
(= (xl x4y1z3) 4)
(= (yl x4y1z3) 1)
(= (zl x4y1z3) 3)
(= (xl x4y2z0) 4)
(= (yl x4y2z0) 2)
(= (zl x4y2z0) 0)
(= (xl x4y2z1) 4)
(= (yl x4y2z1) 2)
(= (zl x4y2z1) 1)
(= (xl x4y2z2) 4)
(= (yl x4y2z2) 2)
(= (zl x4y2z2) 2)
(= (xl x4y2z3) 4)
(= (yl x4y2z3) 2)
(= (zl x4y2z3) 3)
(= (xl x4y3z0) 4)
(= (yl x4y3z0) 3)
(= (zl x4y3z0) 0)
(= (xl x4y3z1) 4)
(= (yl x4y3z1) 3)
(= (zl x4y3z1) 1)
(= (xl x4y3z2) 4)
(= (yl x4y3z2) 3)
(= (zl x4y3z2) 2)
(= (xl x4y3z3) 4)
(= (yl x4y3z3) 3)
(= (zl x4y3z3) 3)
(= (xl x4y4z0) 4)
(= (yl x4y4z0) 4)
(= (zl x4y4z0) 0)
(= (xl x4y4z1) 4)
(= (yl x4y4z1) 4)
(= (zl x4y4z1) 1)
(= (xl x4y4z2) 4)
(= (yl x4y4z2) 4)
(= (zl x4y4z2) 2)
(= (xl x4y4z3) 4)
(= (yl x4y4z3) 4)
(= (zl x4y4z3) 3)
(= (xl x4y5z0) 4)
(= (yl x4y5z0) 5)
(= (zl x4y5z0) 0)
(= (xl x4y5z1) 4)
(= (yl x4y5z1) 5)
(= (zl x4y5z1) 1)
(= (xl x4y5z2) 4)
(= (yl x4y5z2) 5)
(= (zl x4y5z2) 2)
(= (xl x4y5z3) 4)
(= (yl x4y5z3) 5)
(= (zl x4y5z3) 3)
(= (xl x5y0z0) 5)
(= (yl x5y0z0) 0)
(= (zl x5y0z0) 0)
(= (xl x5y0z1) 5)
(= (yl x5y0z1) 0)
(= (zl x5y0z1) 1)
(= (xl x5y0z2) 5)
(= (yl x5y0z2) 0)
(= (zl x5y0z2) 2)
(= (xl x5y0z3) 5)
(= (yl x5y0z3) 0)
(= (zl x5y0z3) 3)
(= (xl x5y1z0) 5)
(= (yl x5y1z0) 1)
(= (zl x5y1z0) 0)
(= (xl x5y1z1) 5)
(= (yl x5y1z1) 1)
(= (zl x5y1z1) 1)
(= (xl x5y1z2) 5)
(= (yl x5y1z2) 1)
(= (zl x5y1z2) 2)
(= (xl x5y1z3) 5)
(= (yl x5y1z3) 1)
(= (zl x5y1z3) 3)
(= (xl x5y2z0) 5)
(= (yl x5y2z0) 2)
(= (zl x5y2z0) 0)
(= (xl x5y2z1) 5)
(= (yl x5y2z1) 2)
(= (zl x5y2z1) 1)
(= (xl x5y2z2) 5)
(= (yl x5y2z2) 2)
(= (zl x5y2z2) 2)
(= (xl x5y2z3) 5)
(= (yl x5y2z3) 2)
(= (zl x5y2z3) 3)
(= (xl x5y3z0) 5)
(= (yl x5y3z0) 3)
(= (zl x5y3z0) 0)
(= (xl x5y3z1) 5)
(= (yl x5y3z1) 3)
(= (zl x5y3z1) 1)
(= (xl x5y3z2) 5)
(= (yl x5y3z2) 3)
(= (zl x5y3z2) 2)
(= (xl x5y3z3) 5)
(= (yl x5y3z3) 3)
(= (zl x5y3z3) 3)
(= (xl x5y4z0) 5)
(= (yl x5y4z0) 4)
(= (zl x5y4z0) 0)
(= (xl x5y4z1) 5)
(= (yl x5y4z1) 4)
(= (zl x5y4z1) 1)
(= (xl x5y4z2) 5)
(= (yl x5y4z2) 4)
(= (zl x5y4z2) 2)
(= (xl x5y4z3) 5)
(= (yl x5y4z3) 4)
(= (zl x5y4z3) 3)
(= (xl x5y5z0) 5)
(= (yl x5y5z0) 5)
(= (zl x5y5z0) 0)
(= (xl x5y5z1) 5)
(= (yl x5y5z1) 5)
(= (zl x5y5z1) 1)
(= (xl x5y5z2) 5)
(= (yl x5y5z2) 5)
(= (zl x5y5z2) 2)
(= (xl x5y5z3) 5)
(= (yl x5y5z3) 5)
(= (zl x5y5z3) 3)
(= (xl x6y0z0) 6)
(= (yl x6y0z0) 0)
(= (zl x6y0z0) 0)
(= (xl x6y0z1) 6)
(= (yl x6y0z1) 0)
(= (zl x6y0z1) 1)
(= (xl x6y0z2) 6)
(= (yl x6y0z2) 0)
(= (zl x6y0z2) 2)
(= (xl x6y0z3) 6)
(= (yl x6y0z3) 0)
(= (zl x6y0z3) 3)
(= (xl x6y1z0) 6)
(= (yl x6y1z0) 1)
(= (zl x6y1z0) 0)
(= (xl x6y1z1) 6)
(= (yl x6y1z1) 1)
(= (zl x6y1z1) 1)
(= (xl x6y1z2) 6)
(= (yl x6y1z2) 1)
(= (zl x6y1z2) 2)
(= (xl x6y1z3) 6)
(= (yl x6y1z3) 1)
(= (zl x6y1z3) 3)
(= (xl x6y2z0) 6)
(= (yl x6y2z0) 2)
(= (zl x6y2z0) 0)
(= (xl x6y2z1) 6)
(= (yl x6y2z1) 2)
(= (zl x6y2z1) 1)
(= (xl x6y2z2) 6)
(= (yl x6y2z2) 2)
(= (zl x6y2z2) 2)
(= (xl x6y2z3) 6)
(= (yl x6y2z3) 2)
(= (zl x6y2z3) 3)
(= (xl x6y3z0) 6)
(= (yl x6y3z0) 3)
(= (zl x6y3z0) 0)
(= (xl x6y3z1) 6)
(= (yl x6y3z1) 3)
(= (zl x6y3z1) 1)
(= (xl x6y3z2) 6)
(= (yl x6y3z2) 3)
(= (zl x6y3z2) 2)
(= (xl x6y3z3) 6)
(= (yl x6y3z3) 3)
(= (zl x6y3z3) 3)
(= (xl x6y4z0) 6)
(= (yl x6y4z0) 4)
(= (zl x6y4z0) 0)
(= (xl x6y4z1) 6)
(= (yl x6y4z1) 4)
(= (zl x6y4z1) 1)
(= (xl x6y4z2) 6)
(= (yl x6y4z2) 4)
(= (zl x6y4z2) 2)
(= (xl x6y4z3) 6)
(= (yl x6y4z3) 4)
(= (zl x6y4z3) 3)
(= (xl x6y5z0) 6)
(= (yl x6y5z0) 5)
(= (zl x6y5z0) 0)
(= (xl x6y5z1) 6)
(= (yl x6y5z1) 5)
(= (zl x6y5z1) 1)
(= (xl x6y5z2) 6)
(= (yl x6y5z2) 5)
(= (zl x6y5z2) 2)
(= (xl x6y5z3) 6)
(= (yl x6y5z3) 5)
(= (zl x6y5z3) 3)
(= (battery-level) 35)
(= (battery-level-full) 35)
)
(:goal (and 
(visited x0y0z0)
(visited x0y0z1)
(visited x0y0z2)
(visited x0y0z3)
(visited x0y1z0)
(visited x0y1z1)
(visited x0y1z2)
(visited x0y1z3)
(visited x0y2z0)
(visited x0y2z1)
(visited x0y2z2)
(visited x0y2z3)
(visited x0y3z0)
(visited x0y3z1)
(visited x0y3z2)
(visited x0y3z3)
(visited x0y4z0)
(visited x0y4z1)
(visited x0y4z2)
(visited x0y4z3)
(visited x0y5z0)
(visited x0y5z1)
(visited x0y5z2)
(visited x0y5z3)
(visited x1y0z0)
(visited x1y0z1)
(visited x1y0z2)
(visited x1y0z3)
(visited x1y1z0)
(visited x1y1z1)
(visited x1y1z2)
(visited x1y1z3)
(visited x1y2z0)
(visited x1y2z1)
(visited x1y2z2)
(visited x1y2z3)
(visited x1y3z0)
(visited x1y3z1)
(visited x1y3z2)
(visited x1y3z3)
(visited x1y4z0)
(visited x1y4z1)
(visited x1y4z2)
(visited x1y4z3)
(visited x1y5z0)
(visited x1y5z1)
(visited x1y5z2)
(visited x1y5z3)
(visited x2y0z0)
(visited x2y0z1)
(visited x2y0z2)
(visited x2y0z3)
(visited x2y1z0)
(visited x2y1z1)
(visited x2y1z2)
(visited x2y1z3)
(visited x2y2z0)
(visited x2y2z1)
(visited x2y2z2)
(visited x2y2z3)
(visited x2y3z0)
(visited x2y3z1)
(visited x2y3z2)
(visited x2y3z3)
(visited x2y4z0)
(visited x2y4z1)
(visited x2y4z2)
(visited x2y4z3)
(visited x2y5z0)
(visited x2y5z1)
(visited x2y5z2)
(visited x2y5z3)
(visited x3y0z0)
(visited x3y0z1)
(visited x3y0z2)
(visited x3y0z3)
(visited x3y1z0)
(visited x3y1z1)
(visited x3y1z2)
(visited x3y1z3)
(visited x3y2z0)
(visited x3y2z1)
(visited x3y2z2)
(visited x3y2z3)
(visited x3y3z0)
(visited x3y3z1)
(visited x3y3z2)
(visited x3y3z3)
(visited x3y4z0)
(visited x3y4z1)
(visited x3y4z2)
(visited x3y4z3)
(visited x3y5z0)
(visited x3y5z1)
(visited x3y5z2)
(visited x3y5z3)
(visited x4y0z0)
(visited x4y0z1)
(visited x4y0z2)
(visited x4y0z3)
(visited x4y1z0)
(visited x4y1z1)
(visited x4y1z2)
(visited x4y1z3)
(visited x4y2z0)
(visited x4y2z1)
(visited x4y2z2)
(visited x4y2z3)
(visited x4y3z0)
(visited x4y3z1)
(visited x4y3z2)
(visited x4y3z3)
(visited x4y4z0)
(visited x4y4z1)
(visited x4y4z2)
(visited x4y4z3)
(visited x4y5z0)
(visited x4y5z1)
(visited x4y5z2)
(visited x4y5z3)
(visited x5y0z0)
(visited x5y0z1)
(visited x5y0z2)
(visited x5y0z3)
(visited x5y1z0)
(visited x5y1z1)
(visited x5y1z2)
(visited x5y1z3)
(visited x5y2z0)
(visited x5y2z1)
(visited x5y2z2)
(visited x5y2z3)
(visited x5y3z0)
(visited x5y3z1)
(visited x5y3z2)
(visited x5y3z3)
(visited x5y4z0)
(visited x5y4z1)
(visited x5y4z2)
(visited x5y4z3)
(visited x5y5z0)
(visited x5y5z1)
(visited x5y5z2)
(visited x5y5z3)
(visited x6y0z0)
(visited x6y0z1)
(visited x6y0z2)
(visited x6y0z3)
(visited x6y1z0)
(visited x6y1z1)
(visited x6y1z2)
(visited x6y1z3)
(visited x6y2z0)
(visited x6y2z1)
(visited x6y2z2)
(visited x6y2z3)
(visited x6y3z0)
(visited x6y3z1)
(visited x6y3z2)
(visited x6y3z3)
(visited x6y4z0)
(visited x6y4z1)
(visited x6y4z2)
(visited x6y4z3)
(visited x6y5z0)
(visited x6y5z1)
(visited x6y5z2)
(visited x6y5z3)
(= (x) 0) (= (y) 0) (= (z) 0) ))
);; end of the problem instance
