(trajectory

(:objects locx3y3 - place locx2y2 - place locx1y1 - place locx0y1 - place locx0y0 - place locx4y1 - place locx3y1 - place locx0y2 - place locx1y3 - place locx1y4 - place locx4y3 - place locx2y1 - place locx0y4 - place locx2y3 - place locx4y4 - place locx2y4 - place locx3y4 - place locx1y2 - place locx4y0 - place locx4y2 - place locx1y0 - place locx2y0 - place locx3y2 - place locx3y0 - place locx0y3 - place )

(:init (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (atrobot locx2y2) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3))

(:action (move locx2y2 locx2y3))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y3))

(:action (move locx2y3 locx2y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y2))

(:action (move locx2y2 locx2y1))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y1))

(:action (move locx2y1 locx2y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y2))

(:action (move locx2y2 locx3y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx3y2))

(:action (move locx3y2 locx2y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y2))

(:action (move locx2y2 locx3y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx3y2))

(:action (move locx3y2 locx2y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y2))

(:action (move locx2y2 locx3y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx3y2))

(:action (move locx3y2 locx2y2))

(:state (connected locx3y1 locx2y1) (connected locx2y3 locx3y3) (connected locx1y2 locx2y2) (connected locx3y3 locx4y3) (connected locx1y0 locx0y0) (connected locx1y1 locx1y0) (visited locx2y3) (connected locx4y1 locx4y2) (connected locx3y1 locx3y0) (connected locx3y2 locx3y3) (connected locx3y4 locx4y4) (connected locx2y2 locx3y2) (visited locx2y1) (connected locx3y0 locx2y0) (connected locx4y3 locx4y2) (connected locx4y2 locx4y3) (connected locx3y2 locx4y2) (connected locx1y1 locx0y1) (connected locx0y3 locx0y2) (visited locx2y2) (connected locx2y1 locx2y2) (connected locx4y2 locx3y2) (connected locx1y4 locx2y4) (connected locx4y4 locx3y4) (connected locx2y1 locx3y1) (connected locx0y3 locx1y3) (connected locx2y2 locx2y1) (connected locx0y2 locx0y3) (connected locx1y3 locx2y3) (connected locx4y0 locx4y1) (connected locx3y1 locx4y1) (connected locx1y3 locx1y2) (connected locx2y0 locx1y0) (connected locx2y3 locx2y4) (connected locx2y0 locx3y0) (connected locx0y2 locx1y2) (connected locx0y1 locx0y2) (connected locx3y1 locx3y2) (connected locx3y4 locx3y3) (connected locx3y0 locx4y0) (connected locx4y4 locx4y3) (connected locx3y3 locx3y2) (connected locx1y4 locx0y4) (connected locx4y2 locx4y1) (connected locx2y4 locx2y3) (connected locx1y1 locx1y2) (connected locx4y1 locx4y0) (connected locx3y4 locx2y4) (connected locx2y2 locx1y2) (connected locx3y2 locx3y1) (connected locx1y2 locx1y1) (connected locx2y1 locx1y1) (connected locx0y3 locx0y4) (connected locx0y4 locx0y3) (connected locx3y3 locx3y4) (connected locx4y1 locx3y1) (visited locx1y2) (connected locx2y4 locx1y4) (connected locx2y1 locx2y0) (connected locx4y3 locx4y4) (connected locx2y0 locx2y1) (connected locx1y2 locx0y2) (connected locx0y1 locx0y0) (connected locx4y3 locx3y3) (connected locx3y3 locx2y3) (connected locx1y3 locx1y4) (connected locx0y2 locx0y1) (connected locx1y0 locx2y0) (connected locx0y1 locx1y1) (connected locx1y1 locx2y1) (connected locx2y3 locx1y3) (connected locx1y4 locx1y3) (connected locx4y0 locx3y0) (connected locx0y0 locx1y0) (connected locx0y4 locx1y4) (connected locx2y4 locx3y4) (connected locx3y0 locx3y1) (connected locx1y0 locx1y1) (connected locx3y2 locx2y2) (connected locx2y3 locx2y2) (visited locx3y2) (connected locx2y2 locx2y3) (connected locx1y2 locx1y3) (connected locx0y0 locx0y1) (connected locx1y3 locx0y3) (atrobot locx2y2)))
