;; 'Take the long way home.' ;; ;; ############################ ;; # # ;; # ######################## # ;; # # # # ;; # # #################### # # ;; # # # # # # ;; # # # ################ # # # ;; # # # # # # # # ;; # # # # ############ # # # # ;; # # # # # # # # # ;; # # # # # ############ # # # ;; # # # # # # # # ;; # # # # ################ # # ;; # # # # # # ;; ##$# # #################### # ;; #. @ # # ;; ############################# (define (problem p154-microban-sequential) (:domain sokoban-sequential) (:objects dir-down - direction dir-left - direction dir-right - direction dir-up - direction player-01 - player pos-01-01 - location pos-01-02 - location pos-01-03 - location pos-01-04 - location pos-01-05 - location pos-01-06 - location pos-01-07 - location pos-01-08 - location pos-01-09 - location pos-01-10 - location pos-01-11 - location pos-01-12 - location pos-01-13 - location pos-01-14 - location pos-01-15 - location pos-01-16 - location pos-01-17 - location pos-02-01 - location pos-02-02 - location pos-02-03 - location pos-02-04 - location pos-02-05 - location pos-02-06 - location pos-02-07 - location pos-02-08 - location pos-02-09 - location pos-02-10 - location pos-02-11 - location pos-02-12 - location pos-02-13 - location pos-02-14 - location pos-02-15 - location pos-02-16 - location pos-02-17 - location pos-03-01 - location pos-03-02 - location pos-03-03 - location pos-03-04 - location pos-03-05 - location pos-03-06 - location pos-03-07 - location pos-03-08 - location pos-03-09 - location pos-03-10 - location pos-03-11 - location pos-03-12 - location pos-03-13 - location pos-03-14 - location pos-03-15 - location pos-03-16 - location pos-03-17 - location pos-04-01 - location pos-04-02 - location pos-04-03 - location pos-04-04 - location pos-04-05 - location pos-04-06 - location pos-04-07 - location pos-04-08 - location pos-04-09 - location pos-04-10 - location pos-04-11 - location pos-04-12 - location pos-04-13 - location pos-04-14 - location pos-04-15 - location pos-04-16 - location pos-04-17 - location pos-05-01 - location pos-05-02 - location pos-05-03 - location pos-05-04 - location pos-05-05 - location pos-05-06 - location pos-05-07 - location pos-05-08 - location pos-05-09 - location pos-05-10 - location pos-05-11 - location pos-05-12 - location pos-05-13 - location pos-05-14 - location pos-05-15 - location pos-05-16 - location pos-05-17 - location pos-06-01 - location pos-06-02 - location pos-06-03 - location pos-06-04 - location pos-06-05 - location pos-06-06 - location pos-06-07 - location pos-06-08 - location pos-06-09 - location pos-06-10 - location pos-06-11 - location pos-06-12 - location pos-06-13 - location pos-06-14 - location pos-06-15 - location pos-06-16 - location pos-06-17 - location pos-07-01 - location pos-07-02 - location pos-07-03 - location pos-07-04 - location pos-07-05 - location pos-07-06 - location pos-07-07 - location pos-07-08 - location pos-07-09 - location pos-07-10 - location pos-07-11 - location pos-07-12 - location pos-07-13 - location pos-07-14 - location pos-07-15 - location pos-07-16 - location pos-07-17 - location pos-08-01 - location pos-08-02 - location pos-08-03 - location pos-08-04 - location pos-08-05 - location pos-08-06 - location pos-08-07 - location pos-08-08 - location pos-08-09 - location pos-08-10 - location pos-08-11 - location pos-08-12 - location pos-08-13 - location pos-08-14 - location pos-08-15 - location pos-08-16 - location pos-08-17 - location pos-09-01 - location pos-09-02 - location pos-09-03 - location pos-09-04 - location pos-09-05 - location pos-09-06 - location pos-09-07 - location pos-09-08 - location pos-09-09 - location pos-09-10 - location pos-09-11 - location pos-09-12 - location pos-09-13 - location pos-09-14 - location pos-09-15 - location pos-09-16 - location pos-09-17 - location pos-10-01 - location pos-10-02 - location pos-10-03 - location pos-10-04 - location pos-10-05 - location pos-10-06 - location pos-10-07 - location pos-10-08 - location pos-10-09 - location pos-10-10 - location pos-10-11 - location pos-10-12 - location pos-10-13 - location pos-10-14 - location pos-10-15 - location pos-10-16 - location pos-10-17 - location pos-11-01 - location pos-11-02 - location pos-11-03 - location pos-11-04 - location pos-11-05 - location pos-11-06 - location pos-11-07 - location pos-11-08 - location pos-11-09 - location pos-11-10 - location pos-11-11 - location pos-11-12 - location pos-11-13 - location pos-11-14 - location pos-11-15 - location pos-11-16 - location pos-11-17 - location pos-12-01 - location pos-12-02 - location pos-12-03 - location pos-12-04 - location pos-12-05 - location pos-12-06 - location pos-12-07 - location pos-12-08 - location pos-12-09 - location pos-12-10 - location pos-12-11 - location pos-12-12 - location pos-12-13 - location pos-12-14 - location pos-12-15 - location pos-12-16 - location pos-12-17 - location pos-13-01 - location pos-13-02 - location pos-13-03 - location pos-13-04 - location pos-13-05 - location pos-13-06 - location pos-13-07 - location pos-13-08 - location pos-13-09 - location pos-13-10 - location pos-13-11 - location pos-13-12 - location pos-13-13 - location pos-13-14 - location pos-13-15 - location pos-13-16 - location pos-13-17 - location pos-14-01 - location pos-14-02 - location pos-14-03 - location pos-14-04 - location pos-14-05 - location pos-14-06 - location pos-14-07 - location pos-14-08 - location pos-14-09 - location pos-14-10 - location pos-14-11 - location pos-14-12 - location pos-14-13 - location pos-14-14 - location pos-14-15 - location pos-14-16 - location pos-14-17 - location pos-15-01 - location pos-15-02 - location pos-15-03 - location pos-15-04 - location pos-15-05 - location pos-15-06 - location pos-15-07 - location pos-15-08 - location pos-15-09 - location pos-15-10 - location pos-15-11 - location pos-15-12 - location pos-15-13 - location pos-15-14 - location pos-15-15 - location pos-15-16 - location pos-15-17 - location pos-16-01 - location pos-16-02 - location pos-16-03 - location pos-16-04 - location pos-16-05 - location pos-16-06 - location pos-16-07 - location pos-16-08 - location pos-16-09 - location pos-16-10 - location pos-16-11 - location pos-16-12 - location pos-16-13 - location pos-16-14 - location pos-16-15 - location pos-16-16 - location pos-16-17 - location pos-17-01 - location pos-17-02 - location pos-17-03 - location pos-17-04 - location pos-17-05 - location pos-17-06 - location pos-17-07 - location pos-17-08 - location pos-17-09 - location pos-17-10 - location pos-17-11 - location pos-17-12 - location pos-17-13 - location pos-17-14 - location pos-17-15 - location pos-17-16 - location pos-17-17 - location pos-18-01 - location pos-18-02 - location pos-18-03 - location pos-18-04 - location pos-18-05 - location pos-18-06 - location pos-18-07 - location pos-18-08 - location pos-18-09 - location pos-18-10 - location pos-18-11 - location pos-18-12 - location pos-18-13 - location pos-18-14 - location pos-18-15 - location pos-18-16 - location pos-18-17 - location pos-19-01 - location pos-19-02 - location pos-19-03 - location pos-19-04 - location pos-19-05 - location pos-19-06 - location pos-19-07 - location pos-19-08 - location pos-19-09 - location pos-19-10 - location pos-19-11 - location pos-19-12 - location pos-19-13 - location pos-19-14 - location pos-19-15 - location pos-19-16 - location pos-19-17 - location pos-20-01 - location pos-20-02 - location pos-20-03 - location pos-20-04 - location pos-20-05 - location pos-20-06 - location pos-20-07 - location pos-20-08 - location pos-20-09 - location pos-20-10 - location pos-20-11 - location pos-20-12 - location pos-20-13 - location pos-20-14 - location pos-20-15 - location pos-20-16 - location pos-20-17 - location pos-21-01 - location pos-21-02 - location pos-21-03 - location pos-21-04 - location pos-21-05 - location pos-21-06 - location pos-21-07 - location pos-21-08 - location pos-21-09 - location pos-21-10 - location pos-21-11 - location pos-21-12 - location pos-21-13 - location pos-21-14 - location pos-21-15 - location pos-21-16 - location pos-21-17 - location pos-22-01 - location pos-22-02 - location pos-22-03 - location pos-22-04 - location pos-22-05 - location pos-22-06 - location pos-22-07 - location pos-22-08 - location pos-22-09 - location pos-22-10 - location pos-22-11 - location pos-22-12 - location pos-22-13 - location pos-22-14 - location pos-22-15 - location pos-22-16 - location pos-22-17 - location pos-23-01 - location pos-23-02 - location pos-23-03 - location pos-23-04 - location pos-23-05 - location pos-23-06 - location pos-23-07 - location pos-23-08 - location pos-23-09 - location pos-23-10 - location pos-23-11 - location pos-23-12 - location pos-23-13 - location pos-23-14 - location pos-23-15 - location pos-23-16 - location pos-23-17 - location pos-24-01 - location pos-24-02 - location pos-24-03 - location pos-24-04 - location pos-24-05 - location pos-24-06 - location pos-24-07 - location pos-24-08 - location pos-24-09 - location pos-24-10 - location pos-24-11 - location pos-24-12 - location pos-24-13 - location pos-24-14 - location pos-24-15 - location pos-24-16 - location pos-24-17 - location pos-25-01 - location pos-25-02 - location pos-25-03 - location pos-25-04 - location pos-25-05 - location pos-25-06 - location pos-25-07 - location pos-25-08 - location pos-25-09 - location pos-25-10 - location pos-25-11 - location pos-25-12 - location pos-25-13 - location pos-25-14 - location pos-25-15 - location pos-25-16 - location pos-25-17 - location pos-26-01 - location pos-26-02 - location pos-26-03 - location pos-26-04 - location pos-26-05 - location pos-26-06 - location pos-26-07 - location pos-26-08 - location pos-26-09 - location pos-26-10 - location pos-26-11 - location pos-26-12 - location pos-26-13 - location pos-26-14 - location pos-26-15 - location pos-26-16 - location pos-26-17 - location pos-27-01 - location pos-27-02 - location pos-27-03 - location pos-27-04 - location pos-27-05 - location pos-27-06 - location pos-27-07 - location pos-27-08 - location pos-27-09 - location pos-27-10 - location pos-27-11 - location pos-27-12 - location pos-27-13 - location pos-27-14 - location pos-27-15 - location pos-27-16 - location pos-27-17 - location pos-28-01 - location pos-28-02 - location pos-28-03 - location pos-28-04 - location pos-28-05 - location pos-28-06 - location pos-28-07 - location pos-28-08 - location pos-28-09 - location pos-28-10 - location pos-28-11 - location pos-28-12 - location pos-28-13 - location pos-28-14 - location pos-28-15 - location pos-28-16 - location pos-28-17 - location pos-29-01 - location pos-29-02 - location pos-29-03 - location pos-29-04 - location pos-29-05 - location pos-29-06 - location pos-29-07 - location pos-29-08 - location pos-29-09 - location pos-29-10 - location pos-29-11 - location pos-29-12 - location pos-29-13 - location pos-29-14 - location pos-29-15 - location pos-29-16 - location pos-29-17 - location stone-01 - stone ) (:init (IS-GOAL pos-02-16) (IS-NONGOAL pos-01-01) (IS-NONGOAL pos-01-02) (IS-NONGOAL pos-01-03) (IS-NONGOAL pos-01-04) (IS-NONGOAL pos-01-05) (IS-NONGOAL pos-01-06) (IS-NONGOAL pos-01-07) (IS-NONGOAL pos-01-08) (IS-NONGOAL pos-01-09) (IS-NONGOAL pos-01-10) (IS-NONGOAL pos-01-11) (IS-NONGOAL pos-01-12) (IS-NONGOAL pos-01-13) (IS-NONGOAL pos-01-14) (IS-NONGOAL pos-01-15) (IS-NONGOAL pos-01-16) (IS-NONGOAL pos-01-17) (IS-NONGOAL pos-02-01) (IS-NONGOAL pos-02-02) (IS-NONGOAL pos-02-03) (IS-NONGOAL pos-02-04) (IS-NONGOAL pos-02-05) (IS-NONGOAL pos-02-06) (IS-NONGOAL pos-02-07) (IS-NONGOAL pos-02-08) (IS-NONGOAL pos-02-09) (IS-NONGOAL pos-02-10) (IS-NONGOAL pos-02-11) (IS-NONGOAL pos-02-12) (IS-NONGOAL pos-02-13) (IS-NONGOAL pos-02-14) (IS-NONGOAL pos-02-15) (IS-NONGOAL pos-02-17) (IS-NONGOAL pos-03-01) (IS-NONGOAL pos-03-02) (IS-NONGOAL pos-03-03) (IS-NONGOAL pos-03-04) (IS-NONGOAL pos-03-05) (IS-NONGOAL pos-03-06) (IS-NONGOAL pos-03-07) (IS-NONGOAL pos-03-08) (IS-NONGOAL pos-03-09) (IS-NONGOAL pos-03-10) (IS-NONGOAL pos-03-11) (IS-NONGOAL pos-03-12) (IS-NONGOAL pos-03-13) (IS-NONGOAL pos-03-14) (IS-NONGOAL pos-03-15) (IS-NONGOAL pos-03-16) (IS-NONGOAL pos-03-17) (IS-NONGOAL pos-04-01) (IS-NONGOAL pos-04-02) (IS-NONGOAL pos-04-03) (IS-NONGOAL pos-04-04) (IS-NONGOAL pos-04-05) (IS-NONGOAL pos-04-06) (IS-NONGOAL pos-04-07) (IS-NONGOAL pos-04-08) (IS-NONGOAL pos-04-09) (IS-NONGOAL pos-04-10) (IS-NONGOAL pos-04-11) (IS-NONGOAL pos-04-12) (IS-NONGOAL pos-04-13) (IS-NONGOAL pos-04-14) (IS-NONGOAL pos-04-15) (IS-NONGOAL pos-04-16) (IS-NONGOAL pos-04-17) (IS-NONGOAL pos-05-01) (IS-NONGOAL pos-05-02) (IS-NONGOAL pos-05-03) (IS-NONGOAL pos-05-04) (IS-NONGOAL pos-05-05) (IS-NONGOAL pos-05-06) (IS-NONGOAL pos-05-07) (IS-NONGOAL pos-05-08) (IS-NONGOAL pos-05-09) (IS-NONGOAL pos-05-10) (IS-NONGOAL pos-05-11) (IS-NONGOAL pos-05-12) (IS-NONGOAL pos-05-13) (IS-NONGOAL pos-05-14) (IS-NONGOAL pos-05-15) (IS-NONGOAL pos-05-16) (IS-NONGOAL pos-05-17) (IS-NONGOAL pos-06-01) (IS-NONGOAL pos-06-02) (IS-NONGOAL pos-06-03) (IS-NONGOAL pos-06-04) (IS-NONGOAL pos-06-05) (IS-NONGOAL pos-06-06) (IS-NONGOAL pos-06-07) (IS-NONGOAL pos-06-08) (IS-NONGOAL pos-06-09) (IS-NONGOAL pos-06-10) (IS-NONGOAL pos-06-11) (IS-NONGOAL pos-06-12) (IS-NONGOAL pos-06-13) (IS-NONGOAL pos-06-14) (IS-NONGOAL pos-06-15) (IS-NONGOAL pos-06-16) (IS-NONGOAL pos-06-17) (IS-NONGOAL pos-07-01) (IS-NONGOAL pos-07-02) (IS-NONGOAL pos-07-03) (IS-NONGOAL pos-07-04) (IS-NONGOAL pos-07-05) (IS-NONGOAL pos-07-06) (IS-NONGOAL pos-07-07) (IS-NONGOAL pos-07-08) (IS-NONGOAL pos-07-09) (IS-NONGOAL pos-07-10) (IS-NONGOAL pos-07-11) (IS-NONGOAL pos-07-12) (IS-NONGOAL pos-07-13) (IS-NONGOAL pos-07-14) (IS-NONGOAL pos-07-15) (IS-NONGOAL pos-07-16) (IS-NONGOAL pos-07-17) (IS-NONGOAL pos-08-01) (IS-NONGOAL pos-08-02) (IS-NONGOAL pos-08-03) (IS-NONGOAL pos-08-04) (IS-NONGOAL pos-08-05) (IS-NONGOAL pos-08-06) (IS-NONGOAL pos-08-07) (IS-NONGOAL pos-08-08) (IS-NONGOAL pos-08-09) (IS-NONGOAL pos-08-10) (IS-NONGOAL pos-08-11) (IS-NONGOAL pos-08-12) (IS-NONGOAL pos-08-13) (IS-NONGOAL pos-08-14) (IS-NONGOAL pos-08-15) (IS-NONGOAL pos-08-16) (IS-NONGOAL pos-08-17) (IS-NONGOAL pos-09-01) (IS-NONGOAL pos-09-02) (IS-NONGOAL pos-09-03) (IS-NONGOAL pos-09-04) (IS-NONGOAL pos-09-05) (IS-NONGOAL pos-09-06) (IS-NONGOAL pos-09-07) (IS-NONGOAL pos-09-08) (IS-NONGOAL pos-09-09) (IS-NONGOAL pos-09-10) (IS-NONGOAL pos-09-11) (IS-NONGOAL pos-09-12) (IS-NONGOAL pos-09-13) (IS-NONGOAL pos-09-14) (IS-NONGOAL pos-09-15) (IS-NONGOAL pos-09-16) (IS-NONGOAL pos-09-17) (IS-NONGOAL pos-10-01) (IS-NONGOAL pos-10-02) (IS-NONGOAL pos-10-03) (IS-NONGOAL pos-10-04) (IS-NONGOAL pos-10-05) (IS-NONGOAL pos-10-06) (IS-NONGOAL pos-10-07) (IS-NONGOAL pos-10-08) (IS-NONGOAL pos-10-09) (IS-NONGOAL pos-10-10) (IS-NONGOAL pos-10-11) (IS-NONGOAL pos-10-12) (IS-NONGOAL pos-10-13) (IS-NONGOAL pos-10-14) (IS-NONGOAL pos-10-15) (IS-NONGOAL pos-10-16) (IS-NONGOAL pos-10-17) (IS-NONGOAL pos-11-01) (IS-NONGOAL pos-11-02) (IS-NONGOAL pos-11-03) (IS-NONGOAL pos-11-04) (IS-NONGOAL pos-11-05) (IS-NONGOAL pos-11-06) (IS-NONGOAL pos-11-07) (IS-NONGOAL pos-11-08) (IS-NONGOAL pos-11-09) (IS-NONGOAL pos-11-10) (IS-NONGOAL pos-11-11) (IS-NONGOAL pos-11-12) (IS-NONGOAL pos-11-13) (IS-NONGOAL pos-11-14) (IS-NONGOAL pos-11-15) (IS-NONGOAL pos-11-16) (IS-NONGOAL pos-11-17) (IS-NONGOAL pos-12-01) (IS-NONGOAL pos-12-02) (IS-NONGOAL pos-12-03) (IS-NONGOAL pos-12-04) (IS-NONGOAL pos-12-05) (IS-NONGOAL pos-12-06) (IS-NONGOAL pos-12-07) (IS-NONGOAL pos-12-08) (IS-NONGOAL pos-12-09) (IS-NONGOAL pos-12-10) (IS-NONGOAL pos-12-11) (IS-NONGOAL pos-12-12) (IS-NONGOAL pos-12-13) (IS-NONGOAL pos-12-14) (IS-NONGOAL pos-12-15) (IS-NONGOAL pos-12-16) (IS-NONGOAL pos-12-17) (IS-NONGOAL pos-13-01) (IS-NONGOAL pos-13-02) (IS-NONGOAL pos-13-03) (IS-NONGOAL pos-13-04) (IS-NONGOAL pos-13-05) (IS-NONGOAL pos-13-06) (IS-NONGOAL pos-13-07) (IS-NONGOAL pos-13-08) (IS-NONGOAL pos-13-09) (IS-NONGOAL pos-13-10) (IS-NONGOAL pos-13-11) (IS-NONGOAL pos-13-12) (IS-NONGOAL pos-13-13) (IS-NONGOAL pos-13-14) (IS-NONGOAL pos-13-15) (IS-NONGOAL pos-13-16) (IS-NONGOAL pos-13-17) (IS-NONGOAL pos-14-01) (IS-NONGOAL pos-14-02) (IS-NONGOAL pos-14-03) (IS-NONGOAL pos-14-04) (IS-NONGOAL pos-14-05) (IS-NONGOAL pos-14-06) (IS-NONGOAL pos-14-07) (IS-NONGOAL pos-14-08) (IS-NONGOAL pos-14-09) (IS-NONGOAL pos-14-10) (IS-NONGOAL pos-14-11) (IS-NONGOAL pos-14-12) (IS-NONGOAL pos-14-13) (IS-NONGOAL pos-14-14) (IS-NONGOAL pos-14-15) (IS-NONGOAL pos-14-16) (IS-NONGOAL pos-14-17) (IS-NONGOAL pos-15-01) (IS-NONGOAL pos-15-02) (IS-NONGOAL pos-15-03) (IS-NONGOAL pos-15-04) (IS-NONGOAL pos-15-05) (IS-NONGOAL pos-15-06) (IS-NONGOAL pos-15-07) (IS-NONGOAL pos-15-08) (IS-NONGOAL pos-15-09) (IS-NONGOAL pos-15-10) (IS-NONGOAL pos-15-11) (IS-NONGOAL pos-15-12) (IS-NONGOAL pos-15-13) (IS-NONGOAL pos-15-14) (IS-NONGOAL pos-15-15) (IS-NONGOAL pos-15-16) (IS-NONGOAL pos-15-17) (IS-NONGOAL pos-16-01) (IS-NONGOAL pos-16-02) (IS-NONGOAL pos-16-03) (IS-NONGOAL pos-16-04) (IS-NONGOAL pos-16-05) (IS-NONGOAL pos-16-06) (IS-NONGOAL pos-16-07) (IS-NONGOAL pos-16-08) (IS-NONGOAL pos-16-09) (IS-NONGOAL pos-16-10) (IS-NONGOAL pos-16-11) (IS-NONGOAL pos-16-12) (IS-NONGOAL pos-16-13) (IS-NONGOAL pos-16-14) (IS-NONGOAL pos-16-15) (IS-NONGOAL pos-16-16) (IS-NONGOAL pos-16-17) (IS-NONGOAL pos-17-01) (IS-NONGOAL pos-17-02) (IS-NONGOAL pos-17-03) (IS-NONGOAL pos-17-04) (IS-NONGOAL pos-17-05) (IS-NONGOAL pos-17-06) (IS-NONGOAL pos-17-07) (IS-NONGOAL pos-17-08) (IS-NONGOAL pos-17-09) (IS-NONGOAL pos-17-10) (IS-NONGOAL pos-17-11) (IS-NONGOAL pos-17-12) (IS-NONGOAL pos-17-13) (IS-NONGOAL pos-17-14) (IS-NONGOAL pos-17-15) (IS-NONGOAL pos-17-16) (IS-NONGOAL pos-17-17) (IS-NONGOAL pos-18-01) (IS-NONGOAL pos-18-02) (IS-NONGOAL pos-18-03) (IS-NONGOAL pos-18-04) (IS-NONGOAL pos-18-05) (IS-NONGOAL pos-18-06) (IS-NONGOAL pos-18-07) (IS-NONGOAL pos-18-08) (IS-NONGOAL pos-18-09) (IS-NONGOAL pos-18-10) (IS-NONGOAL pos-18-11) (IS-NONGOAL pos-18-12) (IS-NONGOAL pos-18-13) (IS-NONGOAL pos-18-14) (IS-NONGOAL pos-18-15) (IS-NONGOAL pos-18-16) (IS-NONGOAL pos-18-17) (IS-NONGOAL pos-19-01) (IS-NONGOAL pos-19-02) (IS-NONGOAL pos-19-03) (IS-NONGOAL pos-19-04) (IS-NONGOAL pos-19-05) (IS-NONGOAL pos-19-06) (IS-NONGOAL pos-19-07) (IS-NONGOAL pos-19-08) (IS-NONGOAL pos-19-09) (IS-NONGOAL pos-19-10) (IS-NONGOAL pos-19-11) (IS-NONGOAL pos-19-12) (IS-NONGOAL pos-19-13) (IS-NONGOAL pos-19-14) (IS-NONGOAL pos-19-15) (IS-NONGOAL pos-19-16) (IS-NONGOAL pos-19-17) (IS-NONGOAL pos-20-01) (IS-NONGOAL pos-20-02) (IS-NONGOAL pos-20-03) (IS-NONGOAL pos-20-04) (IS-NONGOAL pos-20-05) (IS-NONGOAL pos-20-06) (IS-NONGOAL pos-20-07) (IS-NONGOAL pos-20-08) (IS-NONGOAL pos-20-09) (IS-NONGOAL pos-20-10) (IS-NONGOAL pos-20-11) (IS-NONGOAL pos-20-12) (IS-NONGOAL pos-20-13) (IS-NONGOAL pos-20-14) (IS-NONGOAL pos-20-15) (IS-NONGOAL pos-20-16) (IS-NONGOAL pos-20-17) (IS-NONGOAL pos-21-01) (IS-NONGOAL pos-21-02) (IS-NONGOAL pos-21-03) (IS-NONGOAL pos-21-04) (IS-NONGOAL pos-21-05) (IS-NONGOAL pos-21-06) (IS-NONGOAL pos-21-07) (IS-NONGOAL pos-21-08) (IS-NONGOAL pos-21-09) (IS-NONGOAL pos-21-10) (IS-NONGOAL pos-21-11) (IS-NONGOAL pos-21-12) (IS-NONGOAL pos-21-13) (IS-NONGOAL pos-21-14) (IS-NONGOAL pos-21-15) (IS-NONGOAL pos-21-16) (IS-NONGOAL pos-21-17) (IS-NONGOAL pos-22-01) (IS-NONGOAL pos-22-02) (IS-NONGOAL pos-22-03) (IS-NONGOAL pos-22-04) (IS-NONGOAL pos-22-05) (IS-NONGOAL pos-22-06) (IS-NONGOAL pos-22-07) (IS-NONGOAL pos-22-08) (IS-NONGOAL pos-22-09) (IS-NONGOAL pos-22-10) (IS-NONGOAL pos-22-11) (IS-NONGOAL pos-22-12) (IS-NONGOAL pos-22-13) (IS-NONGOAL pos-22-14) (IS-NONGOAL pos-22-15) (IS-NONGOAL pos-22-16) (IS-NONGOAL pos-22-17) (IS-NONGOAL pos-23-01) (IS-NONGOAL pos-23-02) (IS-NONGOAL pos-23-03) (IS-NONGOAL pos-23-04) (IS-NONGOAL pos-23-05) (IS-NONGOAL pos-23-06) (IS-NONGOAL pos-23-07) (IS-NONGOAL pos-23-08) (IS-NONGOAL pos-23-09) (IS-NONGOAL pos-23-10) (IS-NONGOAL pos-23-11) (IS-NONGOAL pos-23-12) (IS-NONGOAL pos-23-13) (IS-NONGOAL pos-23-14) (IS-NONGOAL pos-23-15) (IS-NONGOAL pos-23-16) (IS-NONGOAL pos-23-17) (IS-NONGOAL pos-24-01) (IS-NONGOAL pos-24-02) (IS-NONGOAL pos-24-03) (IS-NONGOAL pos-24-04) (IS-NONGOAL pos-24-05) (IS-NONGOAL pos-24-06) (IS-NONGOAL pos-24-07) (IS-NONGOAL pos-24-08) (IS-NONGOAL pos-24-09) (IS-NONGOAL pos-24-10) (IS-NONGOAL pos-24-11) (IS-NONGOAL pos-24-12) (IS-NONGOAL pos-24-13) (IS-NONGOAL pos-24-14) (IS-NONGOAL pos-24-15) (IS-NONGOAL pos-24-16) (IS-NONGOAL pos-24-17) (IS-NONGOAL pos-25-01) (IS-NONGOAL pos-25-02) (IS-NONGOAL pos-25-03) (IS-NONGOAL pos-25-04) (IS-NONGOAL pos-25-05) (IS-NONGOAL pos-25-06) (IS-NONGOAL pos-25-07) (IS-NONGOAL pos-25-08) (IS-NONGOAL pos-25-09) (IS-NONGOAL pos-25-10) (IS-NONGOAL pos-25-11) (IS-NONGOAL pos-25-12) (IS-NONGOAL pos-25-13) (IS-NONGOAL pos-25-14) (IS-NONGOAL pos-25-15) (IS-NONGOAL pos-25-16) (IS-NONGOAL pos-25-17) (IS-NONGOAL pos-26-01) (IS-NONGOAL pos-26-02) (IS-NONGOAL pos-26-03) (IS-NONGOAL pos-26-04) (IS-NONGOAL pos-26-05) (IS-NONGOAL pos-26-06) (IS-NONGOAL pos-26-07) (IS-NONGOAL pos-26-08) (IS-NONGOAL pos-26-09) (IS-NONGOAL pos-26-10) (IS-NONGOAL pos-26-11) (IS-NONGOAL pos-26-12) (IS-NONGOAL pos-26-13) (IS-NONGOAL pos-26-14) (IS-NONGOAL pos-26-15) (IS-NONGOAL pos-26-16) (IS-NONGOAL pos-26-17) (IS-NONGOAL pos-27-01) (IS-NONGOAL pos-27-02) (IS-NONGOAL pos-27-03) (IS-NONGOAL pos-27-04) (IS-NONGOAL pos-27-05) (IS-NONGOAL pos-27-06) (IS-NONGOAL pos-27-07) (IS-NONGOAL pos-27-08) (IS-NONGOAL pos-27-09) (IS-NONGOAL pos-27-10) (IS-NONGOAL pos-27-11) (IS-NONGOAL pos-27-12) (IS-NONGOAL pos-27-13) (IS-NONGOAL pos-27-14) (IS-NONGOAL pos-27-15) (IS-NONGOAL pos-27-16) (IS-NONGOAL pos-27-17) (IS-NONGOAL pos-28-01) (IS-NONGOAL pos-28-02) (IS-NONGOAL pos-28-03) (IS-NONGOAL pos-28-04) (IS-NONGOAL pos-28-05) (IS-NONGOAL pos-28-06) (IS-NONGOAL pos-28-07) (IS-NONGOAL pos-28-08) (IS-NONGOAL pos-28-09) (IS-NONGOAL pos-28-10) (IS-NONGOAL pos-28-11) (IS-NONGOAL pos-28-12) (IS-NONGOAL pos-28-13) (IS-NONGOAL pos-28-14) (IS-NONGOAL pos-28-15) (IS-NONGOAL pos-28-16) (IS-NONGOAL pos-28-17) (IS-NONGOAL pos-29-01) (IS-NONGOAL pos-29-02) (IS-NONGOAL pos-29-03) (IS-NONGOAL pos-29-04) (IS-NONGOAL pos-29-05) (IS-NONGOAL pos-29-06) (IS-NONGOAL pos-29-07) (IS-NONGOAL pos-29-08) (IS-NONGOAL pos-29-09) (IS-NONGOAL pos-29-10) (IS-NONGOAL pos-29-11) (IS-NONGOAL pos-29-12) (IS-NONGOAL pos-29-13) (IS-NONGOAL pos-29-14) (IS-NONGOAL pos-29-15) (IS-NONGOAL pos-29-16) (IS-NONGOAL pos-29-17) (MOVE-DIR pos-01-01 pos-01-02 dir-down) (MOVE-DIR pos-01-02 pos-01-01 dir-up) (MOVE-DIR pos-01-02 pos-01-03 dir-down) (MOVE-DIR pos-01-03 pos-01-02 dir-up) (MOVE-DIR pos-01-03 pos-01-04 dir-down) (MOVE-DIR pos-01-04 pos-01-03 dir-up) (MOVE-DIR pos-01-04 pos-01-05 dir-down) (MOVE-DIR pos-01-05 pos-01-04 dir-up) (MOVE-DIR pos-01-05 pos-01-06 dir-down) (MOVE-DIR pos-01-06 pos-01-05 dir-up) (MOVE-DIR pos-01-06 pos-01-07 dir-down) (MOVE-DIR pos-01-07 pos-01-06 dir-up) (MOVE-DIR pos-01-07 pos-01-08 dir-down) (MOVE-DIR pos-01-08 pos-01-07 dir-up) (MOVE-DIR pos-01-08 pos-01-09 dir-down) (MOVE-DIR pos-01-09 pos-01-08 dir-up) (MOVE-DIR pos-01-09 pos-01-10 dir-down) (MOVE-DIR pos-01-10 pos-01-09 dir-up) (MOVE-DIR pos-01-10 pos-01-11 dir-down) (MOVE-DIR pos-01-11 pos-01-10 dir-up) (MOVE-DIR pos-01-11 pos-01-12 dir-down) (MOVE-DIR pos-01-12 pos-01-11 dir-up) (MOVE-DIR pos-01-12 pos-01-13 dir-down) (MOVE-DIR pos-01-13 pos-01-12 dir-up) (MOVE-DIR pos-01-13 pos-01-14 dir-down) (MOVE-DIR pos-01-14 pos-01-13 dir-up) (MOVE-DIR pos-02-16 pos-03-16 dir-right) (MOVE-DIR pos-03-02 pos-03-03 dir-down) (MOVE-DIR pos-03-02 pos-04-02 dir-right) (MOVE-DIR pos-03-03 pos-03-02 dir-up) (MOVE-DIR pos-03-03 pos-03-04 dir-down) (MOVE-DIR pos-03-04 pos-03-03 dir-up) (MOVE-DIR pos-03-04 pos-03-05 dir-down) (MOVE-DIR pos-03-05 pos-03-04 dir-up) (MOVE-DIR pos-03-05 pos-03-06 dir-down) (MOVE-DIR pos-03-06 pos-03-05 dir-up) (MOVE-DIR pos-03-06 pos-03-07 dir-down) (MOVE-DIR pos-03-07 pos-03-06 dir-up) (MOVE-DIR pos-03-07 pos-03-08 dir-down) (MOVE-DIR pos-03-08 pos-03-07 dir-up) (MOVE-DIR pos-03-08 pos-03-09 dir-down) (MOVE-DIR pos-03-09 pos-03-08 dir-up) (MOVE-DIR pos-03-09 pos-03-10 dir-down) (MOVE-DIR pos-03-10 pos-03-09 dir-up) (MOVE-DIR pos-03-10 pos-03-11 dir-down) (MOVE-DIR pos-03-11 pos-03-10 dir-up) (MOVE-DIR pos-03-11 pos-03-12 dir-down) (MOVE-DIR pos-03-12 pos-03-11 dir-up) (MOVE-DIR pos-03-12 pos-03-13 dir-down) (MOVE-DIR pos-03-13 pos-03-12 dir-up) (MOVE-DIR pos-03-13 pos-03-14 dir-down) (MOVE-DIR pos-03-14 pos-03-13 dir-up) (MOVE-DIR pos-03-14 pos-03-15 dir-down) (MOVE-DIR pos-03-15 pos-03-14 dir-up) (MOVE-DIR pos-03-15 pos-03-16 dir-down) (MOVE-DIR pos-03-16 pos-02-16 dir-left) (MOVE-DIR pos-03-16 pos-03-15 dir-up) (MOVE-DIR pos-03-16 pos-04-16 dir-right) (MOVE-DIR pos-04-02 pos-03-02 dir-left) (MOVE-DIR pos-04-02 pos-05-02 dir-right) (MOVE-DIR pos-04-16 pos-03-16 dir-left) (MOVE-DIR pos-04-16 pos-05-16 dir-right) (MOVE-DIR pos-05-02 pos-04-02 dir-left) (MOVE-DIR pos-05-02 pos-06-02 dir-right) (MOVE-DIR pos-05-04 pos-05-05 dir-down) (MOVE-DIR pos-05-04 pos-06-04 dir-right) (MOVE-DIR pos-05-05 pos-05-04 dir-up) (MOVE-DIR pos-05-05 pos-05-06 dir-down) (MOVE-DIR pos-05-06 pos-05-05 dir-up) (MOVE-DIR pos-05-06 pos-05-07 dir-down) (MOVE-DIR pos-05-07 pos-05-06 dir-up) (MOVE-DIR pos-05-07 pos-05-08 dir-down) (MOVE-DIR pos-05-08 pos-05-07 dir-up) (MOVE-DIR pos-05-08 pos-05-09 dir-down) (MOVE-DIR pos-05-09 pos-05-08 dir-up) (MOVE-DIR pos-05-09 pos-05-10 dir-down) (MOVE-DIR pos-05-10 pos-05-09 dir-up) (MOVE-DIR pos-05-10 pos-05-11 dir-down) (MOVE-DIR pos-05-11 pos-05-10 dir-up) (MOVE-DIR pos-05-11 pos-05-12 dir-down) (MOVE-DIR pos-05-12 pos-05-11 dir-up) (MOVE-DIR pos-05-12 pos-05-13 dir-down) (MOVE-DIR pos-05-13 pos-05-12 dir-up) (MOVE-DIR pos-05-13 pos-05-14 dir-down) (MOVE-DIR pos-05-14 pos-05-13 dir-up) (MOVE-DIR pos-05-14 pos-05-15 dir-down) (MOVE-DIR pos-05-15 pos-05-14 dir-up) (MOVE-DIR pos-05-15 pos-05-16 dir-down) (MOVE-DIR pos-05-16 pos-04-16 dir-left) (MOVE-DIR pos-05-16 pos-05-15 dir-up) (MOVE-DIR pos-06-02 pos-05-02 dir-left) (MOVE-DIR pos-06-02 pos-07-02 dir-right) (MOVE-DIR pos-06-04 pos-05-04 dir-left) (MOVE-DIR pos-06-04 pos-07-04 dir-right) (MOVE-DIR pos-07-02 pos-06-02 dir-left) (MOVE-DIR pos-07-02 pos-08-02 dir-right) (MOVE-DIR pos-07-04 pos-06-04 dir-left) (MOVE-DIR pos-07-04 pos-08-04 dir-right) (MOVE-DIR pos-07-06 pos-07-07 dir-down) (MOVE-DIR pos-07-06 pos-08-06 dir-right) (MOVE-DIR pos-07-07 pos-07-06 dir-up) (MOVE-DIR pos-07-07 pos-07-08 dir-down) (MOVE-DIR pos-07-08 pos-07-07 dir-up) (MOVE-DIR pos-07-08 pos-07-09 dir-down) (MOVE-DIR pos-07-09 pos-07-08 dir-up) (MOVE-DIR pos-07-09 pos-07-10 dir-down) (MOVE-DIR pos-07-10 pos-07-09 dir-up) (MOVE-DIR pos-07-10 pos-07-11 dir-down) (MOVE-DIR pos-07-11 pos-07-10 dir-up) (MOVE-DIR pos-07-11 pos-07-12 dir-down) (MOVE-DIR pos-07-12 pos-07-11 dir-up) (MOVE-DIR pos-07-12 pos-07-13 dir-down) (MOVE-DIR pos-07-13 pos-07-12 dir-up) (MOVE-DIR pos-07-13 pos-07-14 dir-down) (MOVE-DIR pos-07-14 pos-07-13 dir-up) (MOVE-DIR pos-07-14 pos-07-15 dir-down) (MOVE-DIR pos-07-15 pos-07-14 dir-up) (MOVE-DIR pos-07-15 pos-07-16 dir-down) (MOVE-DIR pos-07-16 pos-07-15 dir-up) (MOVE-DIR pos-07-16 pos-08-16 dir-right) (MOVE-DIR pos-08-02 pos-07-02 dir-left) (MOVE-DIR pos-08-02 pos-09-02 dir-right) (MOVE-DIR pos-08-04 pos-07-04 dir-left) (MOVE-DIR pos-08-04 pos-09-04 dir-right) (MOVE-DIR pos-08-06 pos-07-06 dir-left) (MOVE-DIR pos-08-06 pos-09-06 dir-right) (MOVE-DIR pos-08-16 pos-07-16 dir-left) (MOVE-DIR pos-08-16 pos-09-16 dir-right) (MOVE-DIR pos-09-02 pos-08-02 dir-left) (MOVE-DIR pos-09-02 pos-10-02 dir-right) (MOVE-DIR pos-09-04 pos-08-04 dir-left) (MOVE-DIR pos-09-04 pos-10-04 dir-right) (MOVE-DIR pos-09-06 pos-08-06 dir-left) (MOVE-DIR pos-09-06 pos-10-06 dir-right) (MOVE-DIR pos-09-08 pos-09-09 dir-down) (MOVE-DIR pos-09-08 pos-10-08 dir-right) (MOVE-DIR pos-09-09 pos-09-08 dir-up) (MOVE-DIR pos-09-09 pos-09-10 dir-down) (MOVE-DIR pos-09-10 pos-09-09 dir-up) (MOVE-DIR pos-09-10 pos-09-11 dir-down) (MOVE-DIR pos-09-11 pos-09-10 dir-up) (MOVE-DIR pos-09-11 pos-09-12 dir-down) (MOVE-DIR pos-09-12 pos-09-11 dir-up) (MOVE-DIR pos-09-12 pos-09-13 dir-down) (MOVE-DIR pos-09-13 pos-09-12 dir-up) (MOVE-DIR pos-09-13 pos-09-14 dir-down) (MOVE-DIR pos-09-14 pos-09-13 dir-up) (MOVE-DIR pos-09-14 pos-10-14 dir-right) (MOVE-DIR pos-09-16 pos-08-16 dir-left) (MOVE-DIR pos-09-16 pos-10-16 dir-right) (MOVE-DIR pos-10-02 pos-09-02 dir-left) (MOVE-DIR pos-10-02 pos-11-02 dir-right) (MOVE-DIR pos-10-04 pos-09-04 dir-left) (MOVE-DIR pos-10-04 pos-11-04 dir-right) (MOVE-DIR pos-10-06 pos-09-06 dir-left) (MOVE-DIR pos-10-06 pos-11-06 dir-right) (MOVE-DIR pos-10-08 pos-09-08 dir-left) (MOVE-DIR pos-10-08 pos-11-08 dir-right) (MOVE-DIR pos-10-14 pos-09-14 dir-left) (MOVE-DIR pos-10-14 pos-11-14 dir-right) (MOVE-DIR pos-10-16 pos-09-16 dir-left) (MOVE-DIR pos-10-16 pos-11-16 dir-right) (MOVE-DIR pos-11-02 pos-10-02 dir-left) (MOVE-DIR pos-11-02 pos-12-02 dir-right) (MOVE-DIR pos-11-04 pos-10-04 dir-left) (MOVE-DIR pos-11-04 pos-12-04 dir-right) (MOVE-DIR pos-11-06 pos-10-06 dir-left) (MOVE-DIR pos-11-06 pos-12-06 dir-right) (MOVE-DIR pos-11-08 pos-10-08 dir-left) (MOVE-DIR pos-11-08 pos-12-08 dir-right) (MOVE-DIR pos-11-10 pos-11-11 dir-down) (MOVE-DIR pos-11-10 pos-12-10 dir-right) (MOVE-DIR pos-11-11 pos-11-10 dir-up) (MOVE-DIR pos-11-11 pos-11-12 dir-down) (MOVE-DIR pos-11-12 pos-11-11 dir-up) (MOVE-DIR pos-11-12 pos-12-12 dir-right) (MOVE-DIR pos-11-14 pos-10-14 dir-left) (MOVE-DIR pos-11-14 pos-12-14 dir-right) (MOVE-DIR pos-11-16 pos-10-16 dir-left) (MOVE-DIR pos-11-16 pos-12-16 dir-right) (MOVE-DIR pos-12-02 pos-11-02 dir-left) (MOVE-DIR pos-12-02 pos-13-02 dir-right) (MOVE-DIR pos-12-04 pos-11-04 dir-left) (MOVE-DIR pos-12-04 pos-13-04 dir-right) (MOVE-DIR pos-12-06 pos-11-06 dir-left) (MOVE-DIR pos-12-06 pos-13-06 dir-right) (MOVE-DIR pos-12-08 pos-11-08 dir-left) (MOVE-DIR pos-12-08 pos-13-08 dir-right) (MOVE-DIR pos-12-10 pos-11-10 dir-left) (MOVE-DIR pos-12-10 pos-13-10 dir-right) (MOVE-DIR pos-12-12 pos-11-12 dir-left) (MOVE-DIR pos-12-12 pos-13-12 dir-right) (MOVE-DIR pos-12-14 pos-11-14 dir-left) (MOVE-DIR pos-12-14 pos-13-14 dir-right) (MOVE-DIR pos-12-16 pos-11-16 dir-left) (MOVE-DIR pos-12-16 pos-13-16 dir-right) (MOVE-DIR pos-13-02 pos-12-02 dir-left) (MOVE-DIR pos-13-02 pos-14-02 dir-right) (MOVE-DIR pos-13-04 pos-12-04 dir-left) (MOVE-DIR pos-13-04 pos-14-04 dir-right) (MOVE-DIR pos-13-06 pos-12-06 dir-left) (MOVE-DIR pos-13-06 pos-14-06 dir-right) (MOVE-DIR pos-13-08 pos-12-08 dir-left) (MOVE-DIR pos-13-08 pos-14-08 dir-right) (MOVE-DIR pos-13-10 pos-12-10 dir-left) (MOVE-DIR pos-13-10 pos-14-10 dir-right) (MOVE-DIR pos-13-12 pos-12-12 dir-left) (MOVE-DIR pos-13-12 pos-14-12 dir-right) (MOVE-DIR pos-13-14 pos-12-14 dir-left) (MOVE-DIR pos-13-14 pos-14-14 dir-right) (MOVE-DIR pos-13-16 pos-12-16 dir-left) (MOVE-DIR pos-13-16 pos-14-16 dir-right) (MOVE-DIR pos-14-02 pos-13-02 dir-left) (MOVE-DIR pos-14-02 pos-15-02 dir-right) (MOVE-DIR pos-14-04 pos-13-04 dir-left) (MOVE-DIR pos-14-04 pos-15-04 dir-right) (MOVE-DIR pos-14-06 pos-13-06 dir-left) (MOVE-DIR pos-14-06 pos-15-06 dir-right) (MOVE-DIR pos-14-08 pos-13-08 dir-left) (MOVE-DIR pos-14-08 pos-15-08 dir-right) (MOVE-DIR pos-14-10 pos-13-10 dir-left) (MOVE-DIR pos-14-10 pos-15-10 dir-right) (MOVE-DIR pos-14-12 pos-13-12 dir-left) (MOVE-DIR pos-14-12 pos-15-12 dir-right) (MOVE-DIR pos-14-14 pos-13-14 dir-left) (MOVE-DIR pos-14-14 pos-15-14 dir-right) (MOVE-DIR pos-14-16 pos-13-16 dir-left) (MOVE-DIR pos-14-16 pos-15-16 dir-right) (MOVE-DIR pos-15-02 pos-14-02 dir-left) (MOVE-DIR pos-15-02 pos-16-02 dir-right) (MOVE-DIR pos-15-04 pos-14-04 dir-left) (MOVE-DIR pos-15-04 pos-16-04 dir-right) (MOVE-DIR pos-15-06 pos-14-06 dir-left) (MOVE-DIR pos-15-06 pos-16-06 dir-right) (MOVE-DIR pos-15-08 pos-14-08 dir-left) (MOVE-DIR pos-15-08 pos-16-08 dir-right) (MOVE-DIR pos-15-10 pos-14-10 dir-left) (MOVE-DIR pos-15-10 pos-16-10 dir-right) (MOVE-DIR pos-15-12 pos-14-12 dir-left) (MOVE-DIR pos-15-12 pos-16-12 dir-right) (MOVE-DIR pos-15-14 pos-14-14 dir-left) (MOVE-DIR pos-15-14 pos-16-14 dir-right) (MOVE-DIR pos-15-16 pos-14-16 dir-left) (MOVE-DIR pos-15-16 pos-16-16 dir-right) (MOVE-DIR pos-16-02 pos-15-02 dir-left) (MOVE-DIR pos-16-02 pos-17-02 dir-right) (MOVE-DIR pos-16-04 pos-15-04 dir-left) (MOVE-DIR pos-16-04 pos-17-04 dir-right) (MOVE-DIR pos-16-06 pos-15-06 dir-left) (MOVE-DIR pos-16-06 pos-17-06 dir-right) (MOVE-DIR pos-16-08 pos-15-08 dir-left) (MOVE-DIR pos-16-08 pos-17-08 dir-right) (MOVE-DIR pos-16-10 pos-15-10 dir-left) (MOVE-DIR pos-16-10 pos-17-10 dir-right) (MOVE-DIR pos-16-12 pos-15-12 dir-left) (MOVE-DIR pos-16-12 pos-17-12 dir-right) (MOVE-DIR pos-16-14 pos-15-14 dir-left) (MOVE-DIR pos-16-14 pos-17-14 dir-right) (MOVE-DIR pos-16-16 pos-15-16 dir-left) (MOVE-DIR pos-16-16 pos-17-16 dir-right) (MOVE-DIR pos-17-02 pos-16-02 dir-left) (MOVE-DIR pos-17-02 pos-18-02 dir-right) (MOVE-DIR pos-17-04 pos-16-04 dir-left) (MOVE-DIR pos-17-04 pos-18-04 dir-right) (MOVE-DIR pos-17-06 pos-16-06 dir-left) (MOVE-DIR pos-17-06 pos-18-06 dir-right) (MOVE-DIR pos-17-08 pos-16-08 dir-left) (MOVE-DIR pos-17-08 pos-18-08 dir-right) (MOVE-DIR pos-17-10 pos-16-10 dir-left) (MOVE-DIR pos-17-10 pos-18-10 dir-right) (MOVE-DIR pos-17-12 pos-16-12 dir-left) (MOVE-DIR pos-17-12 pos-18-12 dir-right) (MOVE-DIR pos-17-14 pos-16-14 dir-left) (MOVE-DIR pos-17-14 pos-18-14 dir-right) (MOVE-DIR pos-17-16 pos-16-16 dir-left) (MOVE-DIR pos-17-16 pos-18-16 dir-right) (MOVE-DIR pos-18-02 pos-17-02 dir-left) (MOVE-DIR pos-18-02 pos-19-02 dir-right) (MOVE-DIR pos-18-04 pos-17-04 dir-left) (MOVE-DIR pos-18-04 pos-19-04 dir-right) (MOVE-DIR pos-18-06 pos-17-06 dir-left) (MOVE-DIR pos-18-06 pos-19-06 dir-right) (MOVE-DIR pos-18-08 pos-17-08 dir-left) (MOVE-DIR pos-18-08 pos-19-08 dir-right) (MOVE-DIR pos-18-10 pos-17-10 dir-left) (MOVE-DIR pos-18-10 pos-19-10 dir-right) (MOVE-DIR pos-18-12 pos-17-12 dir-left) (MOVE-DIR pos-18-12 pos-19-12 dir-right) (MOVE-DIR pos-18-14 pos-17-14 dir-left) (MOVE-DIR pos-18-14 pos-19-14 dir-right) (MOVE-DIR pos-18-16 pos-17-16 dir-left) (MOVE-DIR pos-18-16 pos-19-16 dir-right) (MOVE-DIR pos-19-02 pos-18-02 dir-left) (MOVE-DIR pos-19-02 pos-20-02 dir-right) (MOVE-DIR pos-19-04 pos-18-04 dir-left) (MOVE-DIR pos-19-04 pos-20-04 dir-right) (MOVE-DIR pos-19-06 pos-18-06 dir-left) (MOVE-DIR pos-19-06 pos-20-06 dir-right) (MOVE-DIR pos-19-08 pos-18-08 dir-left) (MOVE-DIR pos-19-08 pos-20-08 dir-right) (MOVE-DIR pos-19-10 pos-18-10 dir-left) (MOVE-DIR pos-19-10 pos-20-10 dir-right) (MOVE-DIR pos-19-12 pos-18-12 dir-left) (MOVE-DIR pos-19-12 pos-20-12 dir-right) (MOVE-DIR pos-19-14 pos-18-14 dir-left) (MOVE-DIR pos-19-14 pos-20-14 dir-right) (MOVE-DIR pos-19-16 pos-18-16 dir-left) (MOVE-DIR pos-19-16 pos-20-16 dir-right) (MOVE-DIR pos-20-02 pos-19-02 dir-left) (MOVE-DIR pos-20-02 pos-21-02 dir-right) (MOVE-DIR pos-20-04 pos-19-04 dir-left) (MOVE-DIR pos-20-04 pos-21-04 dir-right) (MOVE-DIR pos-20-06 pos-19-06 dir-left) (MOVE-DIR pos-20-06 pos-21-06 dir-right) (MOVE-DIR pos-20-08 pos-19-08 dir-left) (MOVE-DIR pos-20-08 pos-21-08 dir-right) (MOVE-DIR pos-20-10 pos-19-10 dir-left) (MOVE-DIR pos-20-10 pos-21-10 dir-right) (MOVE-DIR pos-20-12 pos-19-12 dir-left) (MOVE-DIR pos-20-12 pos-21-12 dir-right) (MOVE-DIR pos-20-14 pos-19-14 dir-left) (MOVE-DIR pos-20-14 pos-21-14 dir-right) (MOVE-DIR pos-20-16 pos-19-16 dir-left) (MOVE-DIR pos-20-16 pos-21-16 dir-right) (MOVE-DIR pos-21-02 pos-20-02 dir-left) (MOVE-DIR pos-21-02 pos-22-02 dir-right) (MOVE-DIR pos-21-04 pos-20-04 dir-left) (MOVE-DIR pos-21-04 pos-22-04 dir-right) (MOVE-DIR pos-21-06 pos-20-06 dir-left) (MOVE-DIR pos-21-06 pos-22-06 dir-right) (MOVE-DIR pos-21-08 pos-20-08 dir-left) (MOVE-DIR pos-21-08 pos-22-08 dir-right) (MOVE-DIR pos-21-10 pos-20-10 dir-left) (MOVE-DIR pos-21-10 pos-22-10 dir-right) (MOVE-DIR pos-21-12 pos-20-12 dir-left) (MOVE-DIR pos-21-12 pos-22-12 dir-right) (MOVE-DIR pos-21-14 pos-20-14 dir-left) (MOVE-DIR pos-21-14 pos-22-14 dir-right) (MOVE-DIR pos-21-16 pos-20-16 dir-left) (MOVE-DIR pos-21-16 pos-22-16 dir-right) (MOVE-DIR pos-22-02 pos-21-02 dir-left) (MOVE-DIR pos-22-02 pos-23-02 dir-right) (MOVE-DIR pos-22-04 pos-21-04 dir-left) (MOVE-DIR pos-22-04 pos-23-04 dir-right) (MOVE-DIR pos-22-06 pos-21-06 dir-left) (MOVE-DIR pos-22-06 pos-23-06 dir-right) (MOVE-DIR pos-22-08 pos-21-08 dir-left) (MOVE-DIR pos-22-08 pos-22-09 dir-down) (MOVE-DIR pos-22-09 pos-22-08 dir-up) (MOVE-DIR pos-22-09 pos-22-10 dir-down) (MOVE-DIR pos-22-10 pos-21-10 dir-left) (MOVE-DIR pos-22-10 pos-22-09 dir-up) (MOVE-DIR pos-22-12 pos-21-12 dir-left) (MOVE-DIR pos-22-12 pos-23-12 dir-right) (MOVE-DIR pos-22-14 pos-21-14 dir-left) (MOVE-DIR pos-22-14 pos-23-14 dir-right) (MOVE-DIR pos-22-16 pos-21-16 dir-left) (MOVE-DIR pos-22-16 pos-23-16 dir-right) (MOVE-DIR pos-23-02 pos-22-02 dir-left) (MOVE-DIR pos-23-02 pos-24-02 dir-right) (MOVE-DIR pos-23-04 pos-22-04 dir-left) (MOVE-DIR pos-23-04 pos-24-04 dir-right) (MOVE-DIR pos-23-06 pos-22-06 dir-left) (MOVE-DIR pos-23-06 pos-24-06 dir-right) (MOVE-DIR pos-23-12 pos-22-12 dir-left) (MOVE-DIR pos-23-12 pos-24-12 dir-right) (MOVE-DIR pos-23-14 pos-22-14 dir-left) (MOVE-DIR pos-23-14 pos-24-14 dir-right) (MOVE-DIR pos-23-16 pos-22-16 dir-left) (MOVE-DIR pos-23-16 pos-24-16 dir-right) (MOVE-DIR pos-24-02 pos-23-02 dir-left) (MOVE-DIR pos-24-02 pos-25-02 dir-right) (MOVE-DIR pos-24-04 pos-23-04 dir-left) (MOVE-DIR pos-24-04 pos-25-04 dir-right) (MOVE-DIR pos-24-06 pos-23-06 dir-left) (MOVE-DIR pos-24-06 pos-24-07 dir-down) (MOVE-DIR pos-24-07 pos-24-06 dir-up) (MOVE-DIR pos-24-07 pos-24-08 dir-down) (MOVE-DIR pos-24-08 pos-24-07 dir-up) (MOVE-DIR pos-24-08 pos-24-09 dir-down) (MOVE-DIR pos-24-09 pos-24-08 dir-up) (MOVE-DIR pos-24-09 pos-24-10 dir-down) (MOVE-DIR pos-24-10 pos-24-09 dir-up) (MOVE-DIR pos-24-10 pos-24-11 dir-down) (MOVE-DIR pos-24-11 pos-24-10 dir-up) (MOVE-DIR pos-24-11 pos-24-12 dir-down) (MOVE-DIR pos-24-12 pos-23-12 dir-left) (MOVE-DIR pos-24-12 pos-24-11 dir-up) (MOVE-DIR pos-24-14 pos-23-14 dir-left) (MOVE-DIR pos-24-14 pos-25-14 dir-right) (MOVE-DIR pos-24-16 pos-23-16 dir-left) (MOVE-DIR pos-24-16 pos-25-16 dir-right) (MOVE-DIR pos-25-02 pos-24-02 dir-left) (MOVE-DIR pos-25-02 pos-26-02 dir-right) (MOVE-DIR pos-25-04 pos-24-04 dir-left) (MOVE-DIR pos-25-04 pos-26-04 dir-right) (MOVE-DIR pos-25-14 pos-24-14 dir-left) (MOVE-DIR pos-25-14 pos-26-14 dir-right) (MOVE-DIR pos-25-16 pos-24-16 dir-left) (MOVE-DIR pos-25-16 pos-26-16 dir-right) (MOVE-DIR pos-26-02 pos-25-02 dir-left) (MOVE-DIR pos-26-02 pos-27-02 dir-right) (MOVE-DIR pos-26-04 pos-25-04 dir-left) (MOVE-DIR pos-26-04 pos-26-05 dir-down) (MOVE-DIR pos-26-05 pos-26-04 dir-up) (MOVE-DIR pos-26-05 pos-26-06 dir-down) (MOVE-DIR pos-26-06 pos-26-05 dir-up) (MOVE-DIR pos-26-06 pos-26-07 dir-down) (MOVE-DIR pos-26-07 pos-26-06 dir-up) (MOVE-DIR pos-26-07 pos-26-08 dir-down) (MOVE-DIR pos-26-08 pos-26-07 dir-up) (MOVE-DIR pos-26-08 pos-26-09 dir-down) (MOVE-DIR pos-26-09 pos-26-08 dir-up) (MOVE-DIR pos-26-09 pos-26-10 dir-down) (MOVE-DIR pos-26-10 pos-26-09 dir-up) (MOVE-DIR pos-26-10 pos-26-11 dir-down) (MOVE-DIR pos-26-11 pos-26-10 dir-up) (MOVE-DIR pos-26-11 pos-26-12 dir-down) (MOVE-DIR pos-26-12 pos-26-11 dir-up) (MOVE-DIR pos-26-12 pos-26-13 dir-down) (MOVE-DIR pos-26-13 pos-26-12 dir-up) (MOVE-DIR pos-26-13 pos-26-14 dir-down) (MOVE-DIR pos-26-14 pos-25-14 dir-left) (MOVE-DIR pos-26-14 pos-26-13 dir-up) (MOVE-DIR pos-26-16 pos-25-16 dir-left) (MOVE-DIR pos-26-16 pos-27-16 dir-right) (MOVE-DIR pos-27-02 pos-26-02 dir-left) (MOVE-DIR pos-27-02 pos-28-02 dir-right) (MOVE-DIR pos-27-16 pos-26-16 dir-left) (MOVE-DIR pos-27-16 pos-28-16 dir-right) (MOVE-DIR pos-28-02 pos-27-02 dir-left) (MOVE-DIR pos-28-02 pos-28-03 dir-down) (MOVE-DIR pos-28-03 pos-28-02 dir-up) (MOVE-DIR pos-28-03 pos-28-04 dir-down) (MOVE-DIR pos-28-04 pos-28-03 dir-up) (MOVE-DIR pos-28-04 pos-28-05 dir-down) (MOVE-DIR pos-28-05 pos-28-04 dir-up) (MOVE-DIR pos-28-05 pos-28-06 dir-down) (MOVE-DIR pos-28-06 pos-28-05 dir-up) (MOVE-DIR pos-28-06 pos-28-07 dir-down) (MOVE-DIR pos-28-07 pos-28-06 dir-up) (MOVE-DIR pos-28-07 pos-28-08 dir-down) (MOVE-DIR pos-28-08 pos-28-07 dir-up) (MOVE-DIR pos-28-08 pos-28-09 dir-down) (MOVE-DIR pos-28-09 pos-28-08 dir-up) (MOVE-DIR pos-28-09 pos-28-10 dir-down) (MOVE-DIR pos-28-10 pos-28-09 dir-up) (MOVE-DIR pos-28-10 pos-28-11 dir-down) (MOVE-DIR pos-28-11 pos-28-10 dir-up) (MOVE-DIR pos-28-11 pos-28-12 dir-down) (MOVE-DIR pos-28-12 pos-28-11 dir-up) (MOVE-DIR pos-28-12 pos-28-13 dir-down) (MOVE-DIR pos-28-13 pos-28-12 dir-up) (MOVE-DIR pos-28-13 pos-28-14 dir-down) (MOVE-DIR pos-28-14 pos-28-13 dir-up) (MOVE-DIR pos-28-14 pos-28-15 dir-down) (MOVE-DIR pos-28-15 pos-28-14 dir-up) (MOVE-DIR pos-28-15 pos-28-16 dir-down) (MOVE-DIR pos-28-16 pos-27-16 dir-left) (MOVE-DIR pos-28-16 pos-28-15 dir-up) (at player-01 pos-04-16) (at stone-01 pos-03-15) (clear pos-01-01) (clear pos-01-02) (clear pos-01-03) (clear pos-01-04) (clear pos-01-05) (clear pos-01-06) (clear pos-01-07) (clear pos-01-08) (clear pos-01-09) (clear pos-01-10) (clear pos-01-11) (clear pos-01-12) (clear pos-01-13) (clear pos-01-14) (clear pos-02-16) (clear pos-03-02) (clear pos-03-03) (clear pos-03-04) (clear pos-03-05) (clear pos-03-06) (clear pos-03-07) (clear pos-03-08) (clear pos-03-09) (clear pos-03-10) (clear pos-03-11) (clear pos-03-12) (clear pos-03-13) (clear pos-03-14) (clear pos-03-16) (clear pos-04-02) (clear pos-05-02) (clear pos-05-04) (clear pos-05-05) (clear pos-05-06) (clear pos-05-07) (clear pos-05-08) (clear pos-05-09) (clear pos-05-10) (clear pos-05-11) (clear pos-05-12) (clear pos-05-13) (clear pos-05-14) (clear pos-05-15) (clear pos-05-16) (clear pos-06-02) (clear pos-06-04) (clear pos-07-02) (clear pos-07-04) (clear pos-07-06) (clear pos-07-07) (clear pos-07-08) (clear pos-07-09) (clear pos-07-10) (clear pos-07-11) (clear pos-07-12) (clear pos-07-13) (clear pos-07-14) (clear pos-07-15) (clear pos-07-16) (clear pos-08-02) (clear pos-08-04) (clear pos-08-06) (clear pos-08-16) (clear pos-09-02) (clear pos-09-04) (clear pos-09-06) (clear pos-09-08) (clear pos-09-09) (clear pos-09-10) (clear pos-09-11) (clear pos-09-12) (clear pos-09-13) (clear pos-09-14) (clear pos-09-16) (clear pos-10-02) (clear pos-10-04) (clear pos-10-06) (clear pos-10-08) (clear pos-10-14) (clear pos-10-16) (clear pos-11-02) (clear pos-11-04) (clear pos-11-06) (clear pos-11-08) (clear pos-11-10) (clear pos-11-11) (clear pos-11-12) (clear pos-11-14) (clear pos-11-16) (clear pos-12-02) (clear pos-12-04) (clear pos-12-06) (clear pos-12-08) (clear pos-12-10) (clear pos-12-12) (clear pos-12-14) (clear pos-12-16) (clear pos-13-02) (clear pos-13-04) (clear pos-13-06) (clear pos-13-08) (clear pos-13-10) (clear pos-13-12) (clear pos-13-14) (clear pos-13-16) (clear pos-14-02) (clear pos-14-04) (clear pos-14-06) (clear pos-14-08) (clear pos-14-10) (clear pos-14-12) (clear pos-14-14) (clear pos-14-16) (clear pos-15-02) (clear pos-15-04) (clear pos-15-06) (clear pos-15-08) (clear pos-15-10) (clear pos-15-12) (clear pos-15-14) (clear pos-15-16) (clear pos-16-02) (clear pos-16-04) (clear pos-16-06) (clear pos-16-08) (clear pos-16-10) (clear pos-16-12) (clear pos-16-14) (clear pos-16-16) (clear pos-17-02) (clear pos-17-04) (clear pos-17-06) (clear pos-17-08) (clear pos-17-10) (clear pos-17-12) (clear pos-17-14) (clear pos-17-16) (clear pos-18-02) (clear pos-18-04) (clear pos-18-06) (clear pos-18-08) (clear pos-18-10) (clear pos-18-12) (clear pos-18-14) (clear pos-18-16) (clear pos-19-02) (clear pos-19-04) (clear pos-19-06) (clear pos-19-08) (clear pos-19-10) (clear pos-19-12) (clear pos-19-14) (clear pos-19-16) (clear pos-20-02) (clear pos-20-04) (clear pos-20-06) (clear pos-20-08) (clear pos-20-10) (clear pos-20-12) (clear pos-20-14) (clear pos-20-16) (clear pos-21-02) (clear pos-21-04) (clear pos-21-06) (clear pos-21-08) (clear pos-21-10) (clear pos-21-12) (clear pos-21-14) (clear pos-21-16) (clear pos-22-02) (clear pos-22-04) (clear pos-22-06) (clear pos-22-08) (clear pos-22-09) (clear pos-22-10) (clear pos-22-12) (clear pos-22-14) (clear pos-22-16) (clear pos-23-02) (clear pos-23-04) (clear pos-23-06) (clear pos-23-12) (clear pos-23-14) (clear pos-23-16) (clear pos-24-02) (clear pos-24-04) (clear pos-24-06) (clear pos-24-07) (clear pos-24-08) (clear pos-24-09) (clear pos-24-10) (clear pos-24-11) (clear pos-24-12) (clear pos-24-14) (clear pos-24-16) (clear pos-25-02) (clear pos-25-04) (clear pos-25-14) (clear pos-25-16) (clear pos-26-02) (clear pos-26-04) (clear pos-26-05) (clear pos-26-06) (clear pos-26-07) (clear pos-26-08) (clear pos-26-09) (clear pos-26-10) (clear pos-26-11) (clear pos-26-12) (clear pos-26-13) (clear pos-26-14) (clear pos-26-16) (clear pos-27-02) (clear pos-27-16) (clear pos-28-02) (clear pos-28-03) (clear pos-28-04) (clear pos-28-05) (clear pos-28-06) (clear pos-28-07) (clear pos-28-08) (clear pos-28-09) (clear pos-28-10) (clear pos-28-11) (clear pos-28-12) (clear pos-28-13) (clear pos-28-14) (clear pos-28-15) (clear pos-28-16) (= (total-cost) 0) ) (:goal (and (at-goal stone-01) )) (:metric minimize (total-cost)) )