(move player-01 pos-04-08 pos-03-08 dir-left)
(move player-01 pos-03-08 pos-02-08 dir-left)
(move player-01 pos-02-08 pos-02-07 dir-up)
(move player-01 pos-02-07 pos-02-06 dir-up)
(push-to-nongoal player-01 stone-02 pos-02-06 pos-02-05 pos-02-04 dir-up)
(move player-01 pos-02-05 pos-02-06 dir-down)
(move player-01 pos-02-06 pos-02-07 dir-down)
(move player-01 pos-02-07 pos-02-08 dir-down)
(move player-01 pos-02-08 pos-03-08 dir-right)
(move player-01 pos-03-08 pos-04-08 dir-right)
(move player-01 pos-04-08 pos-04-07 dir-up)
(move player-01 pos-04-07 pos-04-06 dir-up)
(move player-01 pos-04-06 pos-05-06 dir-right)
(move player-01 pos-05-06 pos-06-06 dir-right)
(move player-01 pos-06-06 pos-07-06 dir-right)
(move player-01 pos-07-06 pos-08-06 dir-right)
(move player-01 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-09-06 pos-09-07 dir-down)
(move player-01 pos-09-07 pos-10-07 dir-right)
(move player-01 pos-10-07 pos-10-08 dir-down)
(push-to-nongoal player-01 stone-03 pos-10-08 pos-09-08 pos-08-08 dir-left)
(push-to-nongoal player-01 stone-03 pos-09-08 pos-08-08 pos-07-08 dir-left)
(push-to-nongoal player-01 stone-03 pos-08-08 pos-07-08 pos-06-08 dir-left)
(push-to-nongoal player-01 stone-03 pos-07-08 pos-06-08 pos-05-08 dir-left)
(push-to-nongoal player-01 stone-03 pos-06-08 pos-05-08 pos-04-08 dir-left)
(push-to-nongoal player-01 stone-03 pos-05-08 pos-04-08 pos-03-08 dir-left)
(move player-01 pos-04-08 pos-05-08 dir-right)
(move player-01 pos-05-08 pos-06-08 dir-right)
(move player-01 pos-06-08 pos-07-08 dir-right)
(move player-01 pos-07-08 pos-08-08 dir-right)
(move player-01 pos-08-08 pos-09-08 dir-right)
(move player-01 pos-09-08 pos-09-07 dir-up)
(move player-01 pos-09-07 pos-09-06 dir-up)
(move player-01 pos-09-06 pos-08-06 dir-left)
(move player-01 pos-08-06 pos-07-06 dir-left)
(move player-01 pos-07-06 pos-06-06 dir-left)
(move player-01 pos-06-06 pos-06-05 dir-up)
(move player-01 pos-06-05 pos-06-04 dir-up)
(move player-01 pos-06-04 pos-07-04 dir-right)
(move player-01 pos-07-04 pos-08-04 dir-right)
(move player-01 pos-08-04 pos-09-04 dir-right)
(move player-01 pos-09-04 pos-10-04 dir-right)
(move player-01 pos-10-04 pos-10-05 dir-down)
(move player-01 pos-10-05 pos-11-05 dir-right)
(move player-01 pos-11-05 pos-11-06 dir-down)
(move player-01 pos-11-06 pos-12-06 dir-right)
(move player-01 pos-12-06 pos-12-07 dir-down)
(move player-01 pos-12-07 pos-12-08 dir-down)
(move player-01 pos-12-08 pos-13-08 dir-right)
(move player-01 pos-13-08 pos-14-08 dir-right)
(move player-01 pos-14-08 pos-14-07 dir-up)
(move player-01 pos-14-07 pos-14-06 dir-up)
(move player-01 pos-14-06 pos-14-05 dir-up)
(move player-01 pos-14-05 pos-13-05 dir-left)
(move player-01 pos-13-05 pos-13-04 dir-up)
(move player-01 pos-13-04 pos-12-04 dir-left)
(move player-01 pos-12-04 pos-12-03 dir-up)
(move player-01 pos-12-03 pos-11-03 dir-left)
(move player-01 pos-11-03 pos-11-02 dir-up)
(move player-01 pos-11-02 pos-10-02 dir-left)
(move player-01 pos-10-02 pos-09-02 dir-left)
(move player-01 pos-09-02 pos-08-02 dir-left)
(push-to-nongoal player-01 stone-01 pos-08-02 pos-08-03 pos-08-04 dir-down)
(move player-01 pos-08-03 pos-08-02 dir-up)
(move player-01 pos-08-02 pos-09-02 dir-right)
(move player-01 pos-09-02 pos-10-02 dir-right)
(move player-01 pos-10-02 pos-11-02 dir-right)
(move player-01 pos-11-02 pos-11-03 dir-down)
(move player-01 pos-11-03 pos-12-03 dir-right)
(move player-01 pos-12-03 pos-12-04 dir-down)
(move player-01 pos-12-04 pos-13-04 dir-right)
(move player-01 pos-13-04 pos-13-05 dir-down)
(move player-01 pos-13-05 pos-14-05 dir-right)
(move player-01 pos-14-05 pos-14-06 dir-down)
(move player-01 pos-14-06 pos-14-07 dir-down)
(move player-01 pos-14-07 pos-14-08 dir-down)
(move player-01 pos-14-08 pos-13-08 dir-left)
(move player-01 pos-13-08 pos-12-08 dir-left)
(push-to-nongoal player-01 stone-04 pos-12-08 pos-11-08 pos-10-08 dir-left)
(push-to-nongoal player-01 stone-04 pos-11-08 pos-10-08 pos-09-08 dir-left)
(move player-01 pos-10-08 pos-10-07 dir-up)
(move player-01 pos-10-07 pos-09-07 dir-left)
(move player-01 pos-09-07 pos-09-06 dir-up)
(move player-01 pos-09-06 pos-08-06 dir-left)
(move player-01 pos-08-06 pos-07-06 dir-left)
(move player-01 pos-07-06 pos-06-06 dir-left)
(move player-01 pos-06-06 pos-05-06 dir-left)
(move player-01 pos-05-06 pos-04-06 dir-left)
(move player-01 pos-04-06 pos-04-07 dir-down)
(move player-01 pos-04-07 pos-04-08 dir-down)
(move player-01 pos-04-08 pos-05-08 dir-right)
(move player-01 pos-05-08 pos-06-08 dir-right)
(move player-01 pos-06-08 pos-07-08 dir-right)
(move player-01 pos-07-08 pos-08-08 dir-right)
(push-to-nongoal player-01 stone-04 pos-08-08 pos-09-08 pos-10-08 dir-right)
(move player-01 pos-09-08 pos-08-08 dir-left)
(move player-01 pos-08-08 pos-07-08 dir-left)
(move player-01 pos-07-08 pos-06-08 dir-left)
(move player-01 pos-06-08 pos-05-08 dir-left)
(move player-01 pos-05-08 pos-04-08 dir-left)
(move player-01 pos-04-08 pos-04-07 dir-up)
(move player-01 pos-04-07 pos-04-06 dir-up)
(move player-01 pos-04-06 pos-04-05 dir-up)
(move player-01 pos-04-05 pos-03-05 dir-left)
(move player-01 pos-03-05 pos-02-05 dir-left)
(move player-01 pos-02-05 pos-02-06 dir-down)
(move player-01 pos-02-06 pos-02-07 dir-down)
(move player-01 pos-02-07 pos-02-08 dir-down)
(push-to-nongoal player-01 stone-03 pos-02-08 pos-03-08 pos-04-08 dir-right)
(push-to-nongoal player-01 stone-03 pos-03-08 pos-04-08 pos-05-08 dir-right)
(move player-01 pos-04-08 pos-03-08 dir-left)
(move player-01 pos-03-08 pos-02-08 dir-left)
(move player-01 pos-02-08 pos-02-07 dir-up)
(move player-01 pos-02-07 pos-02-06 dir-up)
(move player-01 pos-02-06 pos-02-05 dir-up)
(move player-01 pos-02-05 pos-03-05 dir-right)
(move player-01 pos-03-05 pos-04-05 dir-right)
(move player-01 pos-04-05 pos-04-06 dir-down)
(move player-01 pos-04-06 pos-05-06 dir-right)
(move player-01 pos-05-06 pos-06-06 dir-right)
(move player-01 pos-06-06 pos-06-05 dir-up)
(move player-01 pos-06-05 pos-06-04 dir-up)
(move player-01 pos-06-04 pos-06-03 dir-up)
(move player-01 pos-06-03 pos-06-02 dir-up)
(move player-01 pos-06-02 pos-05-02 dir-left)
(move player-01 pos-05-02 pos-04-02 dir-left)
(move player-01 pos-04-02 pos-03-02 dir-left)
(move player-01 pos-03-02 pos-02-02 dir-left)
(move player-01 pos-02-02 pos-02-03 dir-down)
(push-to-nongoal player-01 stone-02 pos-02-03 pos-02-04 pos-02-05 dir-down)
(move player-01 pos-02-04 pos-02-03 dir-up)
(move player-01 pos-02-03 pos-02-02 dir-up)
(move player-01 pos-02-02 pos-03-02 dir-right)
(move player-01 pos-03-02 pos-04-02 dir-right)
(move player-01 pos-04-02 pos-05-02 dir-right)
(move player-01 pos-05-02 pos-06-02 dir-right)
(move player-01 pos-06-02 pos-06-03 dir-down)
(move player-01 pos-06-03 pos-06-04 dir-down)
(move player-01 pos-06-04 pos-06-05 dir-down)
(move player-01 pos-06-05 pos-06-06 dir-down)
(move player-01 pos-06-06 pos-07-06 dir-right)
(move player-01 pos-07-06 pos-08-06 dir-right)
(move player-01 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-09-06 pos-09-07 dir-down)
(move player-01 pos-09-07 pos-09-08 dir-down)
(push-to-goal player-01 stone-04 pos-09-08 pos-10-08 pos-11-08 dir-right)
(push-to-nongoal player-01 stone-04 pos-10-08 pos-11-08 pos-12-08 dir-right)
(push-to-goal player-01 stone-04 pos-11-08 pos-12-08 pos-13-08 dir-right)
(move player-01 pos-12-08 pos-12-07 dir-up)
(move player-01 pos-12-07 pos-12-06 dir-up)
(move player-01 pos-12-06 pos-11-06 dir-left)
(move player-01 pos-11-06 pos-11-05 dir-up)
(move player-01 pos-11-05 pos-10-05 dir-left)
(move player-01 pos-10-05 pos-10-04 dir-up)
(move player-01 pos-10-04 pos-09-04 dir-left)
(push-to-nongoal player-01 stone-01 pos-09-04 pos-08-04 pos-07-04 dir-left)
(push-to-nongoal player-01 stone-01 pos-08-04 pos-07-04 pos-06-04 dir-left)
(move player-01 pos-07-04 pos-08-04 dir-right)
(move player-01 pos-08-04 pos-09-04 dir-right)
(move player-01 pos-09-04 pos-10-04 dir-right)
(move player-01 pos-10-04 pos-10-05 dir-down)
(move player-01 pos-10-05 pos-11-05 dir-right)
(move player-01 pos-11-05 pos-11-06 dir-down)
(move player-01 pos-11-06 pos-12-06 dir-right)
(move player-01 pos-12-06 pos-12-07 dir-down)
(move player-01 pos-12-07 pos-12-08 dir-down)
(move player-01 pos-12-08 pos-11-08 dir-left)
(move player-01 pos-11-08 pos-10-08 dir-left)
(move player-01 pos-10-08 pos-09-08 dir-left)
(move player-01 pos-09-08 pos-09-07 dir-up)
(move player-01 pos-09-07 pos-09-06 dir-up)
(move player-01 pos-09-06 pos-08-06 dir-left)
(move player-01 pos-08-06 pos-07-06 dir-left)
(move player-01 pos-07-06 pos-06-06 dir-left)
(move player-01 pos-06-06 pos-05-06 dir-left)
(move player-01 pos-05-06 pos-04-06 dir-left)
(move player-01 pos-04-06 pos-04-05 dir-up)
(move player-01 pos-04-05 pos-04-04 dir-up)
(move player-01 pos-04-04 pos-03-04 dir-left)
(move player-01 pos-03-04 pos-02-04 dir-left)
(move player-01 pos-02-04 pos-02-03 dir-up)
(move player-01 pos-02-03 pos-02-02 dir-up)
(move player-01 pos-02-02 pos-03-02 dir-right)
(move player-01 pos-03-02 pos-04-02 dir-right)
(move player-01 pos-04-02 pos-05-02 dir-right)
(move player-01 pos-05-02 pos-06-02 dir-right)
(move player-01 pos-06-02 pos-06-03 dir-down)
(push-to-nongoal player-01 stone-01 pos-06-03 pos-06-04 pos-06-05 dir-down)
(push-to-nongoal player-01 stone-01 pos-06-04 pos-06-05 pos-06-06 dir-down)
(move player-01 pos-06-05 pos-06-04 dir-up)
(move player-01 pos-06-04 pos-06-03 dir-up)
(move player-01 pos-06-03 pos-06-02 dir-up)
(move player-01 pos-06-02 pos-05-02 dir-left)
(move player-01 pos-05-02 pos-04-02 dir-left)
(move player-01 pos-04-02 pos-03-02 dir-left)
(move player-01 pos-03-02 pos-02-02 dir-left)
(move player-01 pos-02-02 pos-02-03 dir-down)
(move player-01 pos-02-03 pos-02-04 dir-down)
(move player-01 pos-02-04 pos-03-04 dir-right)
(move player-01 pos-03-04 pos-04-04 dir-right)
(move player-01 pos-04-04 pos-04-05 dir-down)
(move player-01 pos-04-05 pos-04-06 dir-down)
(move player-01 pos-04-06 pos-04-07 dir-down)
(move player-01 pos-04-07 pos-04-08 dir-down)
(push-to-nongoal player-01 stone-03 pos-04-08 pos-05-08 pos-06-08 dir-right)
(push-to-nongoal player-01 stone-03 pos-05-08 pos-06-08 pos-07-08 dir-right)
(push-to-nongoal player-01 stone-03 pos-06-08 pos-07-08 pos-08-08 dir-right)
(push-to-nongoal player-01 stone-03 pos-07-08 pos-08-08 pos-09-08 dir-right)
(push-to-nongoal player-01 stone-03 pos-08-08 pos-09-08 pos-10-08 dir-right)
(move player-01 pos-09-08 pos-09-07 dir-up)
(move player-01 pos-09-07 pos-09-06 dir-up)
(move player-01 pos-09-06 pos-08-06 dir-left)
(move player-01 pos-08-06 pos-07-06 dir-left)
(push-to-nongoal player-01 stone-01 pos-07-06 pos-06-06 pos-05-06 dir-left)
(push-to-nongoal player-01 stone-01 pos-06-06 pos-05-06 pos-04-06 dir-left)
(move player-01 pos-05-06 pos-06-06 dir-right)
(move player-01 pos-06-06 pos-07-06 dir-right)
(move player-01 pos-07-06 pos-08-06 dir-right)
(move player-01 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-09-06 pos-09-07 dir-down)
(move player-01 pos-09-07 pos-09-08 dir-down)
(push-to-goal player-01 stone-03 pos-09-08 pos-10-08 pos-11-08 dir-right)
(move player-01 pos-10-08 pos-09-08 dir-left)
(move player-01 pos-09-08 pos-08-08 dir-left)
(move player-01 pos-08-08 pos-07-08 dir-left)
(move player-01 pos-07-08 pos-06-08 dir-left)
(move player-01 pos-06-08 pos-05-08 dir-left)
(move player-01 pos-05-08 pos-04-08 dir-left)
(move player-01 pos-04-08 pos-03-08 dir-left)
(move player-01 pos-03-08 pos-02-08 dir-left)
(move player-01 pos-02-08 pos-02-07 dir-up)
(move player-01 pos-02-07 pos-02-06 dir-up)
(push-to-nongoal player-01 stone-02 pos-02-06 pos-02-05 pos-02-04 dir-up)
(move player-01 pos-02-05 pos-03-05 dir-right)
(move player-01 pos-03-05 pos-04-05 dir-right)
(push-to-nongoal player-01 stone-01 pos-04-05 pos-04-06 pos-04-07 dir-down)
(push-to-nongoal player-01 stone-01 pos-04-06 pos-04-07 pos-04-08 dir-down)
(move player-01 pos-04-07 pos-04-06 dir-up)
(move player-01 pos-04-06 pos-05-06 dir-right)
(move player-01 pos-05-06 pos-06-06 dir-right)
(move player-01 pos-06-06 pos-07-06 dir-right)
(move player-01 pos-07-06 pos-08-06 dir-right)
(move player-01 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-09-06 pos-09-07 dir-down)
(move player-01 pos-09-07 pos-09-08 dir-down)
(move player-01 pos-09-08 pos-08-08 dir-left)
(move player-01 pos-08-08 pos-07-08 dir-left)
(move player-01 pos-07-08 pos-06-08 dir-left)
(move player-01 pos-06-08 pos-05-08 dir-left)
(push-to-nongoal player-01 stone-01 pos-05-08 pos-04-08 pos-03-08 dir-left)
(push-to-goal player-01 stone-01 pos-04-08 pos-03-08 pos-02-08 dir-left)
(move player-01 pos-03-08 pos-04-08 dir-right)
(move player-01 pos-04-08 pos-05-08 dir-right)
(move player-01 pos-05-08 pos-06-08 dir-right)
(move player-01 pos-06-08 pos-07-08 dir-right)
(move player-01 pos-07-08 pos-08-08 dir-right)
(move player-01 pos-08-08 pos-09-08 dir-right)
(move player-01 pos-09-08 pos-09-07 dir-up)
(move player-01 pos-09-07 pos-09-06 dir-up)
(move player-01 pos-09-06 pos-08-06 dir-left)
(move player-01 pos-08-06 pos-07-06 dir-left)
(move player-01 pos-07-06 pos-06-06 dir-left)
(move player-01 pos-06-06 pos-05-06 dir-left)
(move player-01 pos-05-06 pos-04-06 dir-left)
(move player-01 pos-04-06 pos-04-05 dir-up)
(move player-01 pos-04-05 pos-03-05 dir-left)
(move player-01 pos-03-05 pos-02-05 dir-left)
(push-to-goal player-01 stone-02 pos-02-05 pos-02-04 pos-02-03 dir-up)
; cost = 35 (general cost)
