(increase_z )
(increase_z )
(increase_z )
(visit x0y0z3)
(decrease_z )
(visit x0y0z2)
(decrease_z )
(visit x0y0z1)
(decrease_z )
(visit x0y0z0)
; cost = 10 (unit cost)
