;;Instance with 10x10x3 points
(define (problem name) (:domain domain_name)
(:objects 
x0y0z0 - location
x0y0z1 - location
x0y0z2 - location
x0y1z0 - location
x0y1z1 - location
x0y1z2 - location
x0y2z0 - location
x0y2z1 - location
x0y2z2 - location
x0y3z0 - location
x0y3z1 - location
x0y3z2 - location
x0y4z0 - location
x0y4z1 - location
x0y4z2 - location
x0y5z0 - location
x0y5z1 - location
x0y5z2 - location
x0y6z0 - location
x0y6z1 - location
x0y6z2 - location
x0y7z0 - location
x0y7z1 - location
x0y7z2 - location
x0y8z0 - location
x0y8z1 - location
x0y8z2 - location
x0y9z0 - location
x0y9z1 - location
x0y9z2 - location
x1y0z0 - location
x1y0z1 - location
x1y0z2 - location
x1y1z0 - location
x1y1z1 - location
x1y1z2 - location
x1y2z0 - location
x1y2z1 - location
x1y2z2 - location
x1y3z0 - location
x1y3z1 - location
x1y3z2 - location
x1y4z0 - location
x1y4z1 - location
x1y4z2 - location
x1y5z0 - location
x1y5z1 - location
x1y5z2 - location
x1y6z0 - location
x1y6z1 - location
x1y6z2 - location
x1y7z0 - location
x1y7z1 - location
x1y7z2 - location
x1y8z0 - location
x1y8z1 - location
x1y8z2 - location
x1y9z0 - location
x1y9z1 - location
x1y9z2 - location
x2y0z0 - location
x2y0z1 - location
x2y0z2 - location
x2y1z0 - location
x2y1z1 - location
x2y1z2 - location
x2y2z0 - location
x2y2z1 - location
x2y2z2 - location
x2y3z0 - location
x2y3z1 - location
x2y3z2 - location
x2y4z0 - location
x2y4z1 - location
x2y4z2 - location
x2y5z0 - location
x2y5z1 - location
x2y5z2 - location
x2y6z0 - location
x2y6z1 - location
x2y6z2 - location
x2y7z0 - location
x2y7z1 - location
x2y7z2 - location
x2y8z0 - location
x2y8z1 - location
x2y8z2 - location
x2y9z0 - location
x2y9z1 - location
x2y9z2 - location
x3y0z0 - location
x3y0z1 - location
x3y0z2 - location
x3y1z0 - location
x3y1z1 - location
x3y1z2 - location
x3y2z0 - location
x3y2z1 - location
x3y2z2 - location
x3y3z0 - location
x3y3z1 - location
x3y3z2 - location
x3y4z0 - location
x3y4z1 - location
x3y4z2 - location
x3y5z0 - location
x3y5z1 - location
x3y5z2 - location
x3y6z0 - location
x3y6z1 - location
x3y6z2 - location
x3y7z0 - location
x3y7z1 - location
x3y7z2 - location
x3y8z0 - location
x3y8z1 - location
x3y8z2 - location
x3y9z0 - location
x3y9z1 - location
x3y9z2 - location
x4y0z0 - location
x4y0z1 - location
x4y0z2 - location
x4y1z0 - location
x4y1z1 - location
x4y1z2 - location
x4y2z0 - location
x4y2z1 - location
x4y2z2 - location
x4y3z0 - location
x4y3z1 - location
x4y3z2 - location
x4y4z0 - location
x4y4z1 - location
x4y4z2 - location
x4y5z0 - location
x4y5z1 - location
x4y5z2 - location
x4y6z0 - location
x4y6z1 - location
x4y6z2 - location
x4y7z0 - location
x4y7z1 - location
x4y7z2 - location
x4y8z0 - location
x4y8z1 - location
x4y8z2 - location
x4y9z0 - location
x4y9z1 - location
x4y9z2 - location
x5y0z0 - location
x5y0z1 - location
x5y0z2 - location
x5y1z0 - location
x5y1z1 - location
x5y1z2 - location
x5y2z0 - location
x5y2z1 - location
x5y2z2 - location
x5y3z0 - location
x5y3z1 - location
x5y3z2 - location
x5y4z0 - location
x5y4z1 - location
x5y4z2 - location
x5y5z0 - location
x5y5z1 - location
x5y5z2 - location
x5y6z0 - location
x5y6z1 - location
x5y6z2 - location
x5y7z0 - location
x5y7z1 - location
x5y7z2 - location
x5y8z0 - location
x5y8z1 - location
x5y8z2 - location
x5y9z0 - location
x5y9z1 - location
x5y9z2 - location
x6y0z0 - location
x6y0z1 - location
x6y0z2 - location
x6y1z0 - location
x6y1z1 - location
x6y1z2 - location
x6y2z0 - location
x6y2z1 - location
x6y2z2 - location
x6y3z0 - location
x6y3z1 - location
x6y3z2 - location
x6y4z0 - location
x6y4z1 - location
x6y4z2 - location
x6y5z0 - location
x6y5z1 - location
x6y5z2 - location
x6y6z0 - location
x6y6z1 - location
x6y6z2 - location
x6y7z0 - location
x6y7z1 - location
x6y7z2 - location
x6y8z0 - location
x6y8z1 - location
x6y8z2 - location
x6y9z0 - location
x6y9z1 - location
x6y9z2 - location
x7y0z0 - location
x7y0z1 - location
x7y0z2 - location
x7y1z0 - location
x7y1z1 - location
x7y1z2 - location
x7y2z0 - location
x7y2z1 - location
x7y2z2 - location
x7y3z0 - location
x7y3z1 - location
x7y3z2 - location
x7y4z0 - location
x7y4z1 - location
x7y4z2 - location
x7y5z0 - location
x7y5z1 - location
x7y5z2 - location
x7y6z0 - location
x7y6z1 - location
x7y6z2 - location
x7y7z0 - location
x7y7z1 - location
x7y7z2 - location
x7y8z0 - location
x7y8z1 - location
x7y8z2 - location
x7y9z0 - location
x7y9z1 - location
x7y9z2 - location
x8y0z0 - location
x8y0z1 - location
x8y0z2 - location
x8y1z0 - location
x8y1z1 - location
x8y1z2 - location
x8y2z0 - location
x8y2z1 - location
x8y2z2 - location
x8y3z0 - location
x8y3z1 - location
x8y3z2 - location
x8y4z0 - location
x8y4z1 - location
x8y4z2 - location
x8y5z0 - location
x8y5z1 - location
x8y5z2 - location
x8y6z0 - location
x8y6z1 - location
x8y6z2 - location
x8y7z0 - location
x8y7z1 - location
x8y7z2 - location
x8y8z0 - location
x8y8z1 - location
x8y8z2 - location
x8y9z0 - location
x8y9z1 - location
x8y9z2 - location
x9y0z0 - location
x9y0z1 - location
x9y0z2 - location
x9y1z0 - location
x9y1z1 - location
x9y1z2 - location
x9y2z0 - location
x9y2z1 - location
x9y2z2 - location
x9y3z0 - location
x9y3z1 - location
x9y3z2 - location
x9y4z0 - location
x9y4z1 - location
x9y4z2 - location
x9y5z0 - location
x9y5z1 - location
x9y5z2 - location
x9y6z0 - location
x9y6z1 - location
x9y6z2 - location
x9y7z0 - location
x9y7z1 - location
x9y7z2 - location
x9y8z0 - location
x9y8z1 - location
x9y8z2 - location
x9y9z0 - location
x9y9z1 - location
x9y9z2 - location
) 
(:init (= (x) 0) (= (y) 0) (= (z) 0)
 (= (min_x) 0)  (= (max_x) 10) 
 (= (min_y) 0)  (= (max_y) 10) 
 (= (min_z) 0)  (= (max_z) 3) 
(= (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 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 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 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 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 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 x0y6z0) 0)
(= (yl x0y6z0) 6)
(= (zl x0y6z0) 0)
(= (xl x0y6z1) 0)
(= (yl x0y6z1) 6)
(= (zl x0y6z1) 1)
(= (xl x0y6z2) 0)
(= (yl x0y6z2) 6)
(= (zl x0y6z2) 2)
(= (xl x0y7z0) 0)
(= (yl x0y7z0) 7)
(= (zl x0y7z0) 0)
(= (xl x0y7z1) 0)
(= (yl x0y7z1) 7)
(= (zl x0y7z1) 1)
(= (xl x0y7z2) 0)
(= (yl x0y7z2) 7)
(= (zl x0y7z2) 2)
(= (xl x0y8z0) 0)
(= (yl x0y8z0) 8)
(= (zl x0y8z0) 0)
(= (xl x0y8z1) 0)
(= (yl x0y8z1) 8)
(= (zl x0y8z1) 1)
(= (xl x0y8z2) 0)
(= (yl x0y8z2) 8)
(= (zl x0y8z2) 2)
(= (xl x0y9z0) 0)
(= (yl x0y9z0) 9)
(= (zl x0y9z0) 0)
(= (xl x0y9z1) 0)
(= (yl x0y9z1) 9)
(= (zl x0y9z1) 1)
(= (xl x0y9z2) 0)
(= (yl x0y9z2) 9)
(= (zl x0y9z2) 2)
(= (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 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 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 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 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 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 x1y6z0) 1)
(= (yl x1y6z0) 6)
(= (zl x1y6z0) 0)
(= (xl x1y6z1) 1)
(= (yl x1y6z1) 6)
(= (zl x1y6z1) 1)
(= (xl x1y6z2) 1)
(= (yl x1y6z2) 6)
(= (zl x1y6z2) 2)
(= (xl x1y7z0) 1)
(= (yl x1y7z0) 7)
(= (zl x1y7z0) 0)
(= (xl x1y7z1) 1)
(= (yl x1y7z1) 7)
(= (zl x1y7z1) 1)
(= (xl x1y7z2) 1)
(= (yl x1y7z2) 7)
(= (zl x1y7z2) 2)
(= (xl x1y8z0) 1)
(= (yl x1y8z0) 8)
(= (zl x1y8z0) 0)
(= (xl x1y8z1) 1)
(= (yl x1y8z1) 8)
(= (zl x1y8z1) 1)
(= (xl x1y8z2) 1)
(= (yl x1y8z2) 8)
(= (zl x1y8z2) 2)
(= (xl x1y9z0) 1)
(= (yl x1y9z0) 9)
(= (zl x1y9z0) 0)
(= (xl x1y9z1) 1)
(= (yl x1y9z1) 9)
(= (zl x1y9z1) 1)
(= (xl x1y9z2) 1)
(= (yl x1y9z2) 9)
(= (zl x1y9z2) 2)
(= (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 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 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 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 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 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 x2y6z0) 2)
(= (yl x2y6z0) 6)
(= (zl x2y6z0) 0)
(= (xl x2y6z1) 2)
(= (yl x2y6z1) 6)
(= (zl x2y6z1) 1)
(= (xl x2y6z2) 2)
(= (yl x2y6z2) 6)
(= (zl x2y6z2) 2)
(= (xl x2y7z0) 2)
(= (yl x2y7z0) 7)
(= (zl x2y7z0) 0)
(= (xl x2y7z1) 2)
(= (yl x2y7z1) 7)
(= (zl x2y7z1) 1)
(= (xl x2y7z2) 2)
(= (yl x2y7z2) 7)
(= (zl x2y7z2) 2)
(= (xl x2y8z0) 2)
(= (yl x2y8z0) 8)
(= (zl x2y8z0) 0)
(= (xl x2y8z1) 2)
(= (yl x2y8z1) 8)
(= (zl x2y8z1) 1)
(= (xl x2y8z2) 2)
(= (yl x2y8z2) 8)
(= (zl x2y8z2) 2)
(= (xl x2y9z0) 2)
(= (yl x2y9z0) 9)
(= (zl x2y9z0) 0)
(= (xl x2y9z1) 2)
(= (yl x2y9z1) 9)
(= (zl x2y9z1) 1)
(= (xl x2y9z2) 2)
(= (yl x2y9z2) 9)
(= (zl x2y9z2) 2)
(= (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 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 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 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 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 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 x3y6z0) 3)
(= (yl x3y6z0) 6)
(= (zl x3y6z0) 0)
(= (xl x3y6z1) 3)
(= (yl x3y6z1) 6)
(= (zl x3y6z1) 1)
(= (xl x3y6z2) 3)
(= (yl x3y6z2) 6)
(= (zl x3y6z2) 2)
(= (xl x3y7z0) 3)
(= (yl x3y7z0) 7)
(= (zl x3y7z0) 0)
(= (xl x3y7z1) 3)
(= (yl x3y7z1) 7)
(= (zl x3y7z1) 1)
(= (xl x3y7z2) 3)
(= (yl x3y7z2) 7)
(= (zl x3y7z2) 2)
(= (xl x3y8z0) 3)
(= (yl x3y8z0) 8)
(= (zl x3y8z0) 0)
(= (xl x3y8z1) 3)
(= (yl x3y8z1) 8)
(= (zl x3y8z1) 1)
(= (xl x3y8z2) 3)
(= (yl x3y8z2) 8)
(= (zl x3y8z2) 2)
(= (xl x3y9z0) 3)
(= (yl x3y9z0) 9)
(= (zl x3y9z0) 0)
(= (xl x3y9z1) 3)
(= (yl x3y9z1) 9)
(= (zl x3y9z1) 1)
(= (xl x3y9z2) 3)
(= (yl x3y9z2) 9)
(= (zl x3y9z2) 2)
(= (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 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 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 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 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 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 x4y6z0) 4)
(= (yl x4y6z0) 6)
(= (zl x4y6z0) 0)
(= (xl x4y6z1) 4)
(= (yl x4y6z1) 6)
(= (zl x4y6z1) 1)
(= (xl x4y6z2) 4)
(= (yl x4y6z2) 6)
(= (zl x4y6z2) 2)
(= (xl x4y7z0) 4)
(= (yl x4y7z0) 7)
(= (zl x4y7z0) 0)
(= (xl x4y7z1) 4)
(= (yl x4y7z1) 7)
(= (zl x4y7z1) 1)
(= (xl x4y7z2) 4)
(= (yl x4y7z2) 7)
(= (zl x4y7z2) 2)
(= (xl x4y8z0) 4)
(= (yl x4y8z0) 8)
(= (zl x4y8z0) 0)
(= (xl x4y8z1) 4)
(= (yl x4y8z1) 8)
(= (zl x4y8z1) 1)
(= (xl x4y8z2) 4)
(= (yl x4y8z2) 8)
(= (zl x4y8z2) 2)
(= (xl x4y9z0) 4)
(= (yl x4y9z0) 9)
(= (zl x4y9z0) 0)
(= (xl x4y9z1) 4)
(= (yl x4y9z1) 9)
(= (zl x4y9z1) 1)
(= (xl x4y9z2) 4)
(= (yl x4y9z2) 9)
(= (zl x4y9z2) 2)
(= (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 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 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 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 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 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 x5y6z0) 5)
(= (yl x5y6z0) 6)
(= (zl x5y6z0) 0)
(= (xl x5y6z1) 5)
(= (yl x5y6z1) 6)
(= (zl x5y6z1) 1)
(= (xl x5y6z2) 5)
(= (yl x5y6z2) 6)
(= (zl x5y6z2) 2)
(= (xl x5y7z0) 5)
(= (yl x5y7z0) 7)
(= (zl x5y7z0) 0)
(= (xl x5y7z1) 5)
(= (yl x5y7z1) 7)
(= (zl x5y7z1) 1)
(= (xl x5y7z2) 5)
(= (yl x5y7z2) 7)
(= (zl x5y7z2) 2)
(= (xl x5y8z0) 5)
(= (yl x5y8z0) 8)
(= (zl x5y8z0) 0)
(= (xl x5y8z1) 5)
(= (yl x5y8z1) 8)
(= (zl x5y8z1) 1)
(= (xl x5y8z2) 5)
(= (yl x5y8z2) 8)
(= (zl x5y8z2) 2)
(= (xl x5y9z0) 5)
(= (yl x5y9z0) 9)
(= (zl x5y9z0) 0)
(= (xl x5y9z1) 5)
(= (yl x5y9z1) 9)
(= (zl x5y9z1) 1)
(= (xl x5y9z2) 5)
(= (yl x5y9z2) 9)
(= (zl x5y9z2) 2)
(= (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 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 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 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 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 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 x6y6z0) 6)
(= (yl x6y6z0) 6)
(= (zl x6y6z0) 0)
(= (xl x6y6z1) 6)
(= (yl x6y6z1) 6)
(= (zl x6y6z1) 1)
(= (xl x6y6z2) 6)
(= (yl x6y6z2) 6)
(= (zl x6y6z2) 2)
(= (xl x6y7z0) 6)
(= (yl x6y7z0) 7)
(= (zl x6y7z0) 0)
(= (xl x6y7z1) 6)
(= (yl x6y7z1) 7)
(= (zl x6y7z1) 1)
(= (xl x6y7z2) 6)
(= (yl x6y7z2) 7)
(= (zl x6y7z2) 2)
(= (xl x6y8z0) 6)
(= (yl x6y8z0) 8)
(= (zl x6y8z0) 0)
(= (xl x6y8z1) 6)
(= (yl x6y8z1) 8)
(= (zl x6y8z1) 1)
(= (xl x6y8z2) 6)
(= (yl x6y8z2) 8)
(= (zl x6y8z2) 2)
(= (xl x6y9z0) 6)
(= (yl x6y9z0) 9)
(= (zl x6y9z0) 0)
(= (xl x6y9z1) 6)
(= (yl x6y9z1) 9)
(= (zl x6y9z1) 1)
(= (xl x6y9z2) 6)
(= (yl x6y9z2) 9)
(= (zl x6y9z2) 2)
(= (xl x7y0z0) 7)
(= (yl x7y0z0) 0)
(= (zl x7y0z0) 0)
(= (xl x7y0z1) 7)
(= (yl x7y0z1) 0)
(= (zl x7y0z1) 1)
(= (xl x7y0z2) 7)
(= (yl x7y0z2) 0)
(= (zl x7y0z2) 2)
(= (xl x7y1z0) 7)
(= (yl x7y1z0) 1)
(= (zl x7y1z0) 0)
(= (xl x7y1z1) 7)
(= (yl x7y1z1) 1)
(= (zl x7y1z1) 1)
(= (xl x7y1z2) 7)
(= (yl x7y1z2) 1)
(= (zl x7y1z2) 2)
(= (xl x7y2z0) 7)
(= (yl x7y2z0) 2)
(= (zl x7y2z0) 0)
(= (xl x7y2z1) 7)
(= (yl x7y2z1) 2)
(= (zl x7y2z1) 1)
(= (xl x7y2z2) 7)
(= (yl x7y2z2) 2)
(= (zl x7y2z2) 2)
(= (xl x7y3z0) 7)
(= (yl x7y3z0) 3)
(= (zl x7y3z0) 0)
(= (xl x7y3z1) 7)
(= (yl x7y3z1) 3)
(= (zl x7y3z1) 1)
(= (xl x7y3z2) 7)
(= (yl x7y3z2) 3)
(= (zl x7y3z2) 2)
(= (xl x7y4z0) 7)
(= (yl x7y4z0) 4)
(= (zl x7y4z0) 0)
(= (xl x7y4z1) 7)
(= (yl x7y4z1) 4)
(= (zl x7y4z1) 1)
(= (xl x7y4z2) 7)
(= (yl x7y4z2) 4)
(= (zl x7y4z2) 2)
(= (xl x7y5z0) 7)
(= (yl x7y5z0) 5)
(= (zl x7y5z0) 0)
(= (xl x7y5z1) 7)
(= (yl x7y5z1) 5)
(= (zl x7y5z1) 1)
(= (xl x7y5z2) 7)
(= (yl x7y5z2) 5)
(= (zl x7y5z2) 2)
(= (xl x7y6z0) 7)
(= (yl x7y6z0) 6)
(= (zl x7y6z0) 0)
(= (xl x7y6z1) 7)
(= (yl x7y6z1) 6)
(= (zl x7y6z1) 1)
(= (xl x7y6z2) 7)
(= (yl x7y6z2) 6)
(= (zl x7y6z2) 2)
(= (xl x7y7z0) 7)
(= (yl x7y7z0) 7)
(= (zl x7y7z0) 0)
(= (xl x7y7z1) 7)
(= (yl x7y7z1) 7)
(= (zl x7y7z1) 1)
(= (xl x7y7z2) 7)
(= (yl x7y7z2) 7)
(= (zl x7y7z2) 2)
(= (xl x7y8z0) 7)
(= (yl x7y8z0) 8)
(= (zl x7y8z0) 0)
(= (xl x7y8z1) 7)
(= (yl x7y8z1) 8)
(= (zl x7y8z1) 1)
(= (xl x7y8z2) 7)
(= (yl x7y8z2) 8)
(= (zl x7y8z2) 2)
(= (xl x7y9z0) 7)
(= (yl x7y9z0) 9)
(= (zl x7y9z0) 0)
(= (xl x7y9z1) 7)
(= (yl x7y9z1) 9)
(= (zl x7y9z1) 1)
(= (xl x7y9z2) 7)
(= (yl x7y9z2) 9)
(= (zl x7y9z2) 2)
(= (xl x8y0z0) 8)
(= (yl x8y0z0) 0)
(= (zl x8y0z0) 0)
(= (xl x8y0z1) 8)
(= (yl x8y0z1) 0)
(= (zl x8y0z1) 1)
(= (xl x8y0z2) 8)
(= (yl x8y0z2) 0)
(= (zl x8y0z2) 2)
(= (xl x8y1z0) 8)
(= (yl x8y1z0) 1)
(= (zl x8y1z0) 0)
(= (xl x8y1z1) 8)
(= (yl x8y1z1) 1)
(= (zl x8y1z1) 1)
(= (xl x8y1z2) 8)
(= (yl x8y1z2) 1)
(= (zl x8y1z2) 2)
(= (xl x8y2z0) 8)
(= (yl x8y2z0) 2)
(= (zl x8y2z0) 0)
(= (xl x8y2z1) 8)
(= (yl x8y2z1) 2)
(= (zl x8y2z1) 1)
(= (xl x8y2z2) 8)
(= (yl x8y2z2) 2)
(= (zl x8y2z2) 2)
(= (xl x8y3z0) 8)
(= (yl x8y3z0) 3)
(= (zl x8y3z0) 0)
(= (xl x8y3z1) 8)
(= (yl x8y3z1) 3)
(= (zl x8y3z1) 1)
(= (xl x8y3z2) 8)
(= (yl x8y3z2) 3)
(= (zl x8y3z2) 2)
(= (xl x8y4z0) 8)
(= (yl x8y4z0) 4)
(= (zl x8y4z0) 0)
(= (xl x8y4z1) 8)
(= (yl x8y4z1) 4)
(= (zl x8y4z1) 1)
(= (xl x8y4z2) 8)
(= (yl x8y4z2) 4)
(= (zl x8y4z2) 2)
(= (xl x8y5z0) 8)
(= (yl x8y5z0) 5)
(= (zl x8y5z0) 0)
(= (xl x8y5z1) 8)
(= (yl x8y5z1) 5)
(= (zl x8y5z1) 1)
(= (xl x8y5z2) 8)
(= (yl x8y5z2) 5)
(= (zl x8y5z2) 2)
(= (xl x8y6z0) 8)
(= (yl x8y6z0) 6)
(= (zl x8y6z0) 0)
(= (xl x8y6z1) 8)
(= (yl x8y6z1) 6)
(= (zl x8y6z1) 1)
(= (xl x8y6z2) 8)
(= (yl x8y6z2) 6)
(= (zl x8y6z2) 2)
(= (xl x8y7z0) 8)
(= (yl x8y7z0) 7)
(= (zl x8y7z0) 0)
(= (xl x8y7z1) 8)
(= (yl x8y7z1) 7)
(= (zl x8y7z1) 1)
(= (xl x8y7z2) 8)
(= (yl x8y7z2) 7)
(= (zl x8y7z2) 2)
(= (xl x8y8z0) 8)
(= (yl x8y8z0) 8)
(= (zl x8y8z0) 0)
(= (xl x8y8z1) 8)
(= (yl x8y8z1) 8)
(= (zl x8y8z1) 1)
(= (xl x8y8z2) 8)
(= (yl x8y8z2) 8)
(= (zl x8y8z2) 2)
(= (xl x8y9z0) 8)
(= (yl x8y9z0) 9)
(= (zl x8y9z0) 0)
(= (xl x8y9z1) 8)
(= (yl x8y9z1) 9)
(= (zl x8y9z1) 1)
(= (xl x8y9z2) 8)
(= (yl x8y9z2) 9)
(= (zl x8y9z2) 2)
(= (xl x9y0z0) 9)
(= (yl x9y0z0) 0)
(= (zl x9y0z0) 0)
(= (xl x9y0z1) 9)
(= (yl x9y0z1) 0)
(= (zl x9y0z1) 1)
(= (xl x9y0z2) 9)
(= (yl x9y0z2) 0)
(= (zl x9y0z2) 2)
(= (xl x9y1z0) 9)
(= (yl x9y1z0) 1)
(= (zl x9y1z0) 0)
(= (xl x9y1z1) 9)
(= (yl x9y1z1) 1)
(= (zl x9y1z1) 1)
(= (xl x9y1z2) 9)
(= (yl x9y1z2) 1)
(= (zl x9y1z2) 2)
(= (xl x9y2z0) 9)
(= (yl x9y2z0) 2)
(= (zl x9y2z0) 0)
(= (xl x9y2z1) 9)
(= (yl x9y2z1) 2)
(= (zl x9y2z1) 1)
(= (xl x9y2z2) 9)
(= (yl x9y2z2) 2)
(= (zl x9y2z2) 2)
(= (xl x9y3z0) 9)
(= (yl x9y3z0) 3)
(= (zl x9y3z0) 0)
(= (xl x9y3z1) 9)
(= (yl x9y3z1) 3)
(= (zl x9y3z1) 1)
(= (xl x9y3z2) 9)
(= (yl x9y3z2) 3)
(= (zl x9y3z2) 2)
(= (xl x9y4z0) 9)
(= (yl x9y4z0) 4)
(= (zl x9y4z0) 0)
(= (xl x9y4z1) 9)
(= (yl x9y4z1) 4)
(= (zl x9y4z1) 1)
(= (xl x9y4z2) 9)
(= (yl x9y4z2) 4)
(= (zl x9y4z2) 2)
(= (xl x9y5z0) 9)
(= (yl x9y5z0) 5)
(= (zl x9y5z0) 0)
(= (xl x9y5z1) 9)
(= (yl x9y5z1) 5)
(= (zl x9y5z1) 1)
(= (xl x9y5z2) 9)
(= (yl x9y5z2) 5)
(= (zl x9y5z2) 2)
(= (xl x9y6z0) 9)
(= (yl x9y6z0) 6)
(= (zl x9y6z0) 0)
(= (xl x9y6z1) 9)
(= (yl x9y6z1) 6)
(= (zl x9y6z1) 1)
(= (xl x9y6z2) 9)
(= (yl x9y6z2) 6)
(= (zl x9y6z2) 2)
(= (xl x9y7z0) 9)
(= (yl x9y7z0) 7)
(= (zl x9y7z0) 0)
(= (xl x9y7z1) 9)
(= (yl x9y7z1) 7)
(= (zl x9y7z1) 1)
(= (xl x9y7z2) 9)
(= (yl x9y7z2) 7)
(= (zl x9y7z2) 2)
(= (xl x9y8z0) 9)
(= (yl x9y8z0) 8)
(= (zl x9y8z0) 0)
(= (xl x9y8z1) 9)
(= (yl x9y8z1) 8)
(= (zl x9y8z1) 1)
(= (xl x9y8z2) 9)
(= (yl x9y8z2) 8)
(= (zl x9y8z2) 2)
(= (xl x9y9z0) 9)
(= (yl x9y9z0) 9)
(= (zl x9y9z0) 0)
(= (xl x9y9z1) 9)
(= (yl x9y9z1) 9)
(= (zl x9y9z1) 1)
(= (xl x9y9z2) 9)
(= (yl x9y9z2) 9)
(= (zl x9y9z2) 2)
(= (battery-level) 47)
(= (battery-level-full) 47)
)
(:goal (and 
(visited x0y0z0)
(visited x0y0z1)
(visited x0y0z2)
(visited x0y1z0)
(visited x0y1z1)
(visited x0y1z2)
(visited x0y2z0)
(visited x0y2z1)
(visited x0y2z2)
(visited x0y3z0)
(visited x0y3z1)
(visited x0y3z2)
(visited x0y4z0)
(visited x0y4z1)
(visited x0y4z2)
(visited x0y5z0)
(visited x0y5z1)
(visited x0y5z2)
(visited x0y6z0)
(visited x0y6z1)
(visited x0y6z2)
(visited x0y7z0)
(visited x0y7z1)
(visited x0y7z2)
(visited x0y8z0)
(visited x0y8z1)
(visited x0y8z2)
(visited x0y9z0)
(visited x0y9z1)
(visited x0y9z2)
(visited x1y0z0)
(visited x1y0z1)
(visited x1y0z2)
(visited x1y1z0)
(visited x1y1z1)
(visited x1y1z2)
(visited x1y2z0)
(visited x1y2z1)
(visited x1y2z2)
(visited x1y3z0)
(visited x1y3z1)
(visited x1y3z2)
(visited x1y4z0)
(visited x1y4z1)
(visited x1y4z2)
(visited x1y5z0)
(visited x1y5z1)
(visited x1y5z2)
(visited x1y6z0)
(visited x1y6z1)
(visited x1y6z2)
(visited x1y7z0)
(visited x1y7z1)
(visited x1y7z2)
(visited x1y8z0)
(visited x1y8z1)
(visited x1y8z2)
(visited x1y9z0)
(visited x1y9z1)
(visited x1y9z2)
(visited x2y0z0)
(visited x2y0z1)
(visited x2y0z2)
(visited x2y1z0)
(visited x2y1z1)
(visited x2y1z2)
(visited x2y2z0)
(visited x2y2z1)
(visited x2y2z2)
(visited x2y3z0)
(visited x2y3z1)
(visited x2y3z2)
(visited x2y4z0)
(visited x2y4z1)
(visited x2y4z2)
(visited x2y5z0)
(visited x2y5z1)
(visited x2y5z2)
(visited x2y6z0)
(visited x2y6z1)
(visited x2y6z2)
(visited x2y7z0)
(visited x2y7z1)
(visited x2y7z2)
(visited x2y8z0)
(visited x2y8z1)
(visited x2y8z2)
(visited x2y9z0)
(visited x2y9z1)
(visited x2y9z2)
(visited x3y0z0)
(visited x3y0z1)
(visited x3y0z2)
(visited x3y1z0)
(visited x3y1z1)
(visited x3y1z2)
(visited x3y2z0)
(visited x3y2z1)
(visited x3y2z2)
(visited x3y3z0)
(visited x3y3z1)
(visited x3y3z2)
(visited x3y4z0)
(visited x3y4z1)
(visited x3y4z2)
(visited x3y5z0)
(visited x3y5z1)
(visited x3y5z2)
(visited x3y6z0)
(visited x3y6z1)
(visited x3y6z2)
(visited x3y7z0)
(visited x3y7z1)
(visited x3y7z2)
(visited x3y8z0)
(visited x3y8z1)
(visited x3y8z2)
(visited x3y9z0)
(visited x3y9z1)
(visited x3y9z2)
(visited x4y0z0)
(visited x4y0z1)
(visited x4y0z2)
(visited x4y1z0)
(visited x4y1z1)
(visited x4y1z2)
(visited x4y2z0)
(visited x4y2z1)
(visited x4y2z2)
(visited x4y3z0)
(visited x4y3z1)
(visited x4y3z2)
(visited x4y4z0)
(visited x4y4z1)
(visited x4y4z2)
(visited x4y5z0)
(visited x4y5z1)
(visited x4y5z2)
(visited x4y6z0)
(visited x4y6z1)
(visited x4y6z2)
(visited x4y7z0)
(visited x4y7z1)
(visited x4y7z2)
(visited x4y8z0)
(visited x4y8z1)
(visited x4y8z2)
(visited x4y9z0)
(visited x4y9z1)
(visited x4y9z2)
(visited x5y0z0)
(visited x5y0z1)
(visited x5y0z2)
(visited x5y1z0)
(visited x5y1z1)
(visited x5y1z2)
(visited x5y2z0)
(visited x5y2z1)
(visited x5y2z2)
(visited x5y3z0)
(visited x5y3z1)
(visited x5y3z2)
(visited x5y4z0)
(visited x5y4z1)
(visited x5y4z2)
(visited x5y5z0)
(visited x5y5z1)
(visited x5y5z2)
(visited x5y6z0)
(visited x5y6z1)
(visited x5y6z2)
(visited x5y7z0)
(visited x5y7z1)
(visited x5y7z2)
(visited x5y8z0)
(visited x5y8z1)
(visited x5y8z2)
(visited x5y9z0)
(visited x5y9z1)
(visited x5y9z2)
(visited x6y0z0)
(visited x6y0z1)
(visited x6y0z2)
(visited x6y1z0)
(visited x6y1z1)
(visited x6y1z2)
(visited x6y2z0)
(visited x6y2z1)
(visited x6y2z2)
(visited x6y3z0)
(visited x6y3z1)
(visited x6y3z2)
(visited x6y4z0)
(visited x6y4z1)
(visited x6y4z2)
(visited x6y5z0)
(visited x6y5z1)
(visited x6y5z2)
(visited x6y6z0)
(visited x6y6z1)
(visited x6y6z2)
(visited x6y7z0)
(visited x6y7z1)
(visited x6y7z2)
(visited x6y8z0)
(visited x6y8z1)
(visited x6y8z2)
(visited x6y9z0)
(visited x6y9z1)
(visited x6y9z2)
(visited x7y0z0)
(visited x7y0z1)
(visited x7y0z2)
(visited x7y1z0)
(visited x7y1z1)
(visited x7y1z2)
(visited x7y2z0)
(visited x7y2z1)
(visited x7y2z2)
(visited x7y3z0)
(visited x7y3z1)
(visited x7y3z2)
(visited x7y4z0)
(visited x7y4z1)
(visited x7y4z2)
(visited x7y5z0)
(visited x7y5z1)
(visited x7y5z2)
(visited x7y6z0)
(visited x7y6z1)
(visited x7y6z2)
(visited x7y7z0)
(visited x7y7z1)
(visited x7y7z2)
(visited x7y8z0)
(visited x7y8z1)
(visited x7y8z2)
(visited x7y9z0)
(visited x7y9z1)
(visited x7y9z2)
(visited x8y0z0)
(visited x8y0z1)
(visited x8y0z2)
(visited x8y1z0)
(visited x8y1z1)
(visited x8y1z2)
(visited x8y2z0)
(visited x8y2z1)
(visited x8y2z2)
(visited x8y3z0)
(visited x8y3z1)
(visited x8y3z2)
(visited x8y4z0)
(visited x8y4z1)
(visited x8y4z2)
(visited x8y5z0)
(visited x8y5z1)
(visited x8y5z2)
(visited x8y6z0)
(visited x8y6z1)
(visited x8y6z2)
(visited x8y7z0)
(visited x8y7z1)
(visited x8y7z2)
(visited x8y8z0)
(visited x8y8z1)
(visited x8y8z2)
(visited x8y9z0)
(visited x8y9z1)
(visited x8y9z2)
(visited x9y0z0)
(visited x9y0z1)
(visited x9y0z2)
(visited x9y1z0)
(visited x9y1z1)
(visited x9y1z2)
(visited x9y2z0)
(visited x9y2z1)
(visited x9y2z2)
(visited x9y3z0)
(visited x9y3z1)
(visited x9y3z2)
(visited x9y4z0)
(visited x9y4z1)
(visited x9y4z2)
(visited x9y5z0)
(visited x9y5z1)
(visited x9y5z2)
(visited x9y6z0)
(visited x9y6z1)
(visited x9y6z2)
(visited x9y7z0)
(visited x9y7z1)
(visited x9y7z2)
(visited x9y8z0)
(visited x9y8z1)
(visited x9y8z2)
(visited x9y9z0)
(visited x9y9z1)
(visited x9y9z2)
(= (x) 0) (= (y) 0) (= (z) 0) ))
);; end of the problem instance
