(increase_x )
(increase_x )
(increase_x )
(increase_x )
(increase_x )
(visit x5y0z0)
(increase_x )
(visit x6y0z0)
(increase_x )
(visit x7y0z0)
(increase_z )
(visit x7y0z1)
(decrease_x )
(visit x6y0z1)
(decrease_x )
(visit x5y0z1)
(decrease_x )
(visit x4y0z1)
(decrease_x )
(decrease_x )
(decrease_x )
(decrease_x )
(decrease_z )
(recharge )
(visit x0y0z0)
(increase_z )
(visit x0y0z1)
(increase_x )
(visit x1y0z1)
(increase_x )
(visit x2y0z1)
(increase_x )
(visit x3y0z1)
(decrease_z )
(visit x3y0z0)
(increase_x )
(visit x4y0z0)
(decrease_x )
(decrease_x )
(visit x2y0z0)
(decrease_x )
(visit x1y0z0)
(decrease_x )
; cost = 43 (unit cost)
