(role robot)
(<= (base (on ?M ?N)) (index ?M) (index ?N))
(<= (base (step ?N)) (index ?N))
(base (step 9))
(<= (input robot (toggle ?M ?N)) (index ?M) (index ?N))
(index 1)
(index 2)
(index 3)
(index 4)
(index 5)
(index 6)
(index 7)
(index 8)
(init (step 1))
(<= (legal robot (toggle ?M ?N)) (index ?M) (index ?N))
(<= (next (on ?M ?N)) (does robot (toggle ?M ?N)) (not (true (on ?M ?N))))
(<= (next (on ?M ?N)) (true (on ?M ?N)) (not (does robot (toggle ?M ?N))))
(<= (next (step ?N)) (true (step ?M)) (successor ?M ?N))
(<= (goal robot 100) (true (on 3 4)) (true (on 3 5)) (true (on 4 3)) (true (on 4 6)) (true (on 5 3)) (true (on 5 6)) (true (on 6 4)) (true (on 6 5)))
(<= (goal robot 0) (not (true (on 3 4))))
(<= (goal robot 0) (not (true (on 3 5))))
(<= (goal robot 0) (not (true (on 4 3))))
(<= (goal robot 0) (not (true (on 4 6))))
(<= (goal robot 0) (not (true (on 5 3))))
(<= (goal robot 0) (not (true (on 5 6))))
(<= (goal robot 0) (not (true (on 6 4))))
(<= (goal robot 0) (not (true (on 6 5))))
(<= terminal (true (on 3 4)) (true (on 3 5)) (true (on 4 3)) (true (on 4 6)) (true (on 5 3)) (true (on 5 6)) (true (on 6 4)) (true (on 6 5)))
(<= terminal (true (step 9)))
(successor 1 2)
(successor 2 3)
(successor 3 4)
(successor 4 5)
(successor 5 6)
(successor 6 7)
(successor 7 8)
(successor 8 9)