(push-to-nongoal player-01 stone-02 pos-06-06 pos-07-06 pos-08-06 dir-right)
(push-to-nongoal player-01 stone-02 pos-07-06 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-08-06 pos-08-07 dir-down)
(move player-01 pos-08-07 pos-09-07 dir-right)
(move player-01 pos-09-07 pos-10-07 dir-right)
(move player-01 pos-10-07 pos-10-06 dir-up)
(push-to-nongoal player-01 stone-02 pos-10-06 pos-09-06 pos-08-06 dir-left)
(push-to-nongoal player-01 stone-02 pos-09-06 pos-08-06 pos-07-06 dir-left)
(push-to-nongoal player-01 stone-02 pos-08-06 pos-07-06 pos-06-06 dir-left)
(move player-01 pos-07-06 pos-08-06 dir-right)
(move player-01 pos-08-06 pos-08-07 dir-down)
(move player-01 pos-08-07 pos-09-07 dir-right)
(move player-01 pos-09-07 pos-09-08 dir-down)
(move player-01 pos-09-08 pos-09-09 dir-down)
(push-to-nongoal player-01 stone-03 pos-09-09 pos-08-09 pos-07-09 dir-left)
(push-to-nongoal player-01 stone-03 pos-08-09 pos-07-09 pos-06-09 dir-left)
(move player-01 pos-07-09 pos-07-10 dir-down)
(move player-01 pos-07-10 pos-06-10 dir-left)
(move player-01 pos-06-10 pos-05-10 dir-left)
(move player-01 pos-05-10 pos-05-09 dir-up)
(push-to-nongoal player-01 stone-03 pos-05-09 pos-06-09 pos-07-09 dir-right)
(move player-01 pos-06-09 pos-06-08 dir-up)
(move player-01 pos-06-08 pos-06-07 dir-up)
(push-to-goal player-01 stone-02 pos-06-07 pos-06-06 pos-06-05 dir-up)
(push-to-nongoal player-01 stone-02 pos-06-06 pos-06-05 pos-06-04 dir-up)
(push-to-nongoal player-01 stone-02 pos-06-05 pos-06-04 pos-06-03 dir-up)
(move player-01 pos-06-04 pos-07-04 dir-right)
(move player-01 pos-07-04 pos-07-03 dir-up)
(push-to-nongoal player-01 stone-02 pos-07-03 pos-06-03 pos-05-03 dir-left)
(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)
(push-to-nongoal player-01 stone-01 pos-06-06 pos-05-06 pos-04-06 dir-left)
(push-to-nongoal player-01 stone-01 pos-05-06 pos-04-06 pos-03-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)
(move player-01 pos-02-05 pos-02-06 dir-down)
(push-to-nongoal player-01 stone-01 pos-02-06 pos-03-06 pos-04-06 dir-right)
(push-to-nongoal player-01 stone-01 pos-03-06 pos-04-06 pos-05-06 dir-right)
(push-to-nongoal player-01 stone-01 pos-04-06 pos-05-06 pos-06-06 dir-right)
(push-to-nongoal player-01 stone-01 pos-05-06 pos-06-06 pos-07-06 dir-right)
(push-to-nongoal player-01 stone-01 pos-06-06 pos-07-06 pos-08-06 dir-right)
(push-to-nongoal player-01 stone-01 pos-07-06 pos-08-06 pos-09-06 dir-right)
(move player-01 pos-08-06 pos-08-07 dir-down)
(move player-01 pos-08-07 pos-09-07 dir-right)
(move player-01 pos-09-07 pos-10-07 dir-right)
(move player-01 pos-10-07 pos-10-06 dir-up)
(push-to-nongoal player-01 stone-01 pos-10-06 pos-09-06 pos-08-06 dir-left)
(push-to-nongoal player-01 stone-01 pos-09-06 pos-08-06 pos-07-06 dir-left)
(push-to-nongoal player-01 stone-01 pos-08-06 pos-07-06 pos-06-06 dir-left)
(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-09-09 dir-down)
(move player-01 pos-09-09 pos-08-09 dir-left)
(push-to-nongoal player-01 stone-03 pos-08-09 pos-07-09 pos-06-09 dir-left)
(move player-01 pos-07-09 pos-07-10 dir-down)
(move player-01 pos-07-10 pos-06-10 dir-left)
(move player-01 pos-06-10 pos-05-10 dir-left)
(move player-01 pos-05-10 pos-05-09 dir-up)
(push-to-nongoal player-01 stone-03 pos-05-09 pos-06-09 pos-07-09 dir-right)
(push-to-nongoal player-01 stone-03 pos-06-09 pos-07-09 pos-08-09 dir-right)
(push-to-goal player-01 stone-03 pos-07-09 pos-08-09 pos-09-09 dir-right)
(move player-01 pos-08-09 pos-07-09 dir-left)
(move player-01 pos-07-09 pos-06-09 dir-left)
(move player-01 pos-06-09 pos-06-08 dir-up)
(move player-01 pos-06-08 pos-06-07 dir-up)
(push-to-goal player-01 stone-01 pos-06-07 pos-06-06 pos-06-05 dir-up)
(push-to-nongoal player-01 stone-01 pos-06-06 pos-06-05 pos-06-04 dir-up)
(push-to-nongoal player-01 stone-01 pos-06-05 pos-06-04 pos-06-03 dir-up)
(move player-01 pos-06-04 pos-07-04 dir-right)
(move player-01 pos-07-04 pos-07-03 dir-up)
(move player-01 pos-07-03 pos-07-02 dir-up)
(move player-01 pos-07-02 pos-06-02 dir-left)
(push-to-nongoal player-01 stone-01 pos-06-02 pos-06-03 pos-06-04 dir-down)
(push-to-goal 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)
(push-to-goal player-01 stone-01 pos-06-05 pos-06-06 pos-06-07 dir-down)
(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-04-03 dir-down)
(push-to-nongoal player-01 stone-02 pos-04-03 pos-05-03 pos-06-03 dir-right)
(move player-01 pos-05-03 pos-05-02 dir-up)
(move player-01 pos-05-02 pos-06-02 dir-right)
(push-to-nongoal player-01 stone-02 pos-06-02 pos-06-03 pos-06-04 dir-down)
(push-to-goal player-01 stone-02 pos-06-03 pos-06-04 pos-06-05 dir-down)
; cost = 37 (general cost)
