(increase_y )
(increase_y )
(visit x0y2z0)
(increase_y )
(visit x0y3z0)
(increase_y )
(visit x0y4z0)
(increase_y )
(visit x0y5z0)
(increase_y )
(visit x0y6z0)
(increase_y )
(visit x0y7z0)
(decrease_y )
(decrease_y )
(decrease_y )
(decrease_y )
(decrease_y )
(decrease_y )
(visit x0y1z0)
(decrease_y )
(recharge )
(visit x0y0z0)
; cost = 23 (unit cost)
