Removed operators:
((move player-01 pos-4-2 pos-4-3 dir-down)_3)
((move player-01 pos-4-2 pos-4-3 dir-down)_4)
((move player-01 pos-4-3 pos-3-3 dir-left)_1)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_14)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_10)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_2)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_3)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_3)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_13)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_14)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_11)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_9)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_8)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_15)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_16)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_2)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_3)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_4)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_5)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_6)
((move player-01 pos-6-4 pos-6-3 dir-up)_3)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_2)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_3)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_1)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_9)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_10)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_11)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_13)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_14)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_11)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_10)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_12)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_13)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_8)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_11)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_12)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_13)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_14)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_11)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_12)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_16)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_2)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_6)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_10)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_2)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_9)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_1)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_10)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_11)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_12)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_10)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_11)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_15)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_9)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_15)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_9)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_5)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_2)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_5)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_7)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_15)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_6)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_4)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_9)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_1)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_13)
((move player-01 pos-6-4 pos-6-3 dir-up)_4)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_1)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_10)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_11)
((move player-01 pos-5-3 pos-5-4 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_2)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_11)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_15)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_14)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_13)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_10)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_9)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_11)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_5)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_14)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_5)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_1)
((move player-01 pos-3-4 pos-4-4 dir-right)_3)
((move player-01 pos-3-4 pos-4-4 dir-right)_4)
((move player-01 pos-3-5 pos-2-5 dir-left)_1)
((move player-01 pos-3-5 pos-2-5 dir-left)_2)
((move player-01 pos-3-5 pos-2-5 dir-left)_3)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_13)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_14)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_3)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_15)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_4)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_9)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_7)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_3)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_1)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_10)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_11)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_12)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_5)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_9)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_10)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_5)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_14)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_9)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_14)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_5)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_9)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_15)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_2)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_14)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_15)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_16)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_2)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_9)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_5)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_9)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_15)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_14)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_13)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_14)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_15)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_7)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_3)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_6)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_7)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_13)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_14)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_15)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_16)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_15)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_11)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_7)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_8)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_2)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_8)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_2)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_3)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_16)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_15)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_11)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_8)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_15)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_12)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_13)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_15)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_4)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_9)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_1)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_10)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_11)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_7)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_13)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_12)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_4)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_15)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_5)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_2)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_3)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_15)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_14)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_13)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_11)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_14)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_11)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_12)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_11)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_5)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_11)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_15)
((move player-01 pos-3-2 pos-4-2 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_9)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_1)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_4)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_6)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_14)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_2)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_3)
((move player-01 pos-3-2 pos-4-2 dir-right)_2)
((move player-01 pos-3-2 pos-4-2 dir-right)_3)
((move player-01 pos-3-2 pos-4-2 dir-right)_4)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_8)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_13)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_9)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_10)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_5)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_4)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_3)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_3)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_4)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_5)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_6)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_16)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_2)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_3)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_4)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_6)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_8)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_5)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_15)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_16)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_2)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_3)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_4)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_6)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_11)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_7)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_5)
((move player-01 pos-5-4 pos-5-3 dir-up)_3)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_3)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_2)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_8)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_1)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_16)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_14)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_10)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_9)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_11)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_6)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_15)
((move player-01 pos-5-4 pos-5-3 dir-up)_4)
((move player-01 pos-5-4 pos-6-4 dir-right)_1)
((move player-01 pos-5-4 pos-6-4 dir-right)_2)
((move player-01 pos-5-4 pos-6-4 dir-right)_3)
((move player-01 pos-5-4 pos-6-4 dir-right)_4)
((move player-01 pos-3-4 pos-2-4 dir-left)_2)
((move player-01 pos-3-4 pos-2-4 dir-left)_3)
((move player-01 pos-3-4 pos-2-4 dir-left)_4)
((move player-01 pos-3-4 pos-3-3 dir-up)_1)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_4)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_8)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_4)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_3)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_3)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_4)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_3)
((move player-01 pos-6-3 pos-5-3 dir-left)_1)
((move player-01 pos-6-3 pos-5-3 dir-left)_2)
((move player-01 pos-6-3 pos-5-3 dir-left)_3)
((move player-01 pos-6-3 pos-5-3 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_11)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_9)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_15)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_16)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_13)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_14)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_4)
((move player-01 pos-3-3 pos-4-3 dir-right)_3)
((move player-01 pos-3-3 pos-4-3 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_4)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_13)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_5)
((move player-01 pos-3-4 pos-2-4 dir-left)_1)
((move player-01 pos-3-4 pos-3-3 dir-up)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_6)
((move player-01 pos-3-3 pos-3-2 dir-up)_2)
((move player-01 pos-3-3 pos-3-2 dir-up)_3)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_13)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_5)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_14)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_15)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_8)
((move player-01 pos-4-4 pos-4-3 dir-up)_1)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_6)
((move player-01 pos-4-3 pos-5-3 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_14)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_15)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_8)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_6)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_8)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_9)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_3)
((move player-01 pos-4-3 pos-5-3 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_4)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_9)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_15)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_10)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_1)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_12)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_5)
((move player-01 pos-2-3 pos-3-3 dir-right)_2)
((move player-01 pos-2-3 pos-3-3 dir-right)_3)
((move player-01 pos-2-3 pos-3-3 dir-right)_4)
((move player-01 pos-2-4 pos-2-3 dir-up)_1)
((move player-01 pos-2-4 pos-2-3 dir-up)_2)
((move player-01 pos-2-4 pos-2-3 dir-up)_3)
((move player-01 pos-2-4 pos-2-3 dir-up)_4)
((move player-01 pos-2-4 pos-2-5 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_8)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_2)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_3)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_4)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_3)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_9)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_13)
((move player-01 pos-2-4 pos-2-5 dir-down)_2)
((move player-01 pos-2-4 pos-2-5 dir-down)_3)
((move player-01 pos-2-4 pos-2-5 dir-down)_4)
((move player-01 pos-2-4 pos-3-4 dir-right)_1)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_3)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_4)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_13)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_8)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_14)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_16)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_9)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_9)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_10)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_11)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_1)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_16)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_4)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_5)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_6)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_7)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_9)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_1)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_8)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_9)
((move player-01 pos-4-4 pos-4-3 dir-up)_3)
((move player-01 pos-4-4 pos-4-3 dir-up)_4)
((move player-01 pos-4-4 pos-4-5 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_8)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_6)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_14)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_13)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_15)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_12)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_15)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_14)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_14)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_12)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_13)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_11)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_8)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_10)
((move player-01 pos-3-6 pos-3-5 dir-up)_4)
((move player-01 pos-3-6 pos-4-6 dir-right)_1)
((move player-01 pos-3-6 pos-4-6 dir-right)_2)
((move player-01 pos-3-6 pos-4-6 dir-right)_3)
((move player-01 pos-3-6 pos-4-6 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_10)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_3)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_8)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_5)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_5)
((move player-01 pos-3-2 pos-3-3 dir-down)_1)
((move player-01 pos-3-2 pos-3-3 dir-down)_2)
((move player-01 pos-3-2 pos-3-3 dir-down)_3)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_10)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_11)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_12)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_5)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_6)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_7)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_12)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_10)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_3)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_4)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_5)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_2)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_6)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_7)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_12)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_11)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_10)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_9)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_8)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_12)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_10)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_6)
((move player-01 pos-3-3 pos-4-3 dir-right)_2)
((move player-01 pos-3-4 pos-3-3 dir-up)_3)
((move player-01 pos-3-4 pos-3-3 dir-up)_4)
((move player-01 pos-3-4 pos-3-5 dir-down)_1)
((move player-01 pos-3-4 pos-3-5 dir-down)_2)
((move player-01 pos-3-4 pos-3-5 dir-down)_3)
((move player-01 pos-3-4 pos-3-5 dir-down)_4)
((move player-01 pos-3-4 pos-4-4 dir-right)_1)
((move player-01 pos-3-4 pos-4-4 dir-right)_2)
((move player-01 pos-3-5 pos-2-5 dir-left)_4)
((move player-01 pos-3-5 pos-3-4 dir-up)_1)
((move player-01 pos-3-5 pos-3-4 dir-up)_2)
((move player-01 pos-3-5 pos-3-4 dir-up)_3)
((move player-01 pos-3-5 pos-3-4 dir-up)_4)
((move player-01 pos-3-5 pos-3-6 dir-down)_1)
((move player-01 pos-3-5 pos-3-6 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_6)
((move player-01 pos-5-3 pos-5-4 dir-down)_2)
((move player-01 pos-5-3 pos-5-4 dir-down)_3)
((move player-01 pos-5-3 pos-5-4 dir-down)_4)
((move player-01 pos-5-3 pos-6-3 dir-right)_1)
((move player-01 pos-5-3 pos-6-3 dir-right)_2)
((move player-01 pos-5-3 pos-6-3 dir-right)_3)
((move player-01 pos-5-3 pos-6-3 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_16)
((move player-01 pos-5-4 pos-4-4 dir-left)_1)
((move player-01 pos-5-4 pos-4-4 dir-left)_2)
((move player-01 pos-5-4 pos-4-4 dir-left)_3)
((move player-01 pos-5-4 pos-4-4 dir-left)_4)
((move player-01 pos-5-4 pos-5-3 dir-up)_1)
((move player-01 pos-5-4 pos-5-3 dir-up)_2)
((move player-01 pos-6-3 pos-6-4 dir-down)_1)
((move player-01 pos-6-3 pos-6-4 dir-down)_2)
((move player-01 pos-6-3 pos-6-4 dir-down)_3)
((move player-01 pos-6-3 pos-6-4 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_13)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_9)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_16)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_2)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_9)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_12)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_1)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_10)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_14)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_14)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_8)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_7)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_10)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_11)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_8)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_10)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_12)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_5)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_5)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_6)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_9)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_16)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_2)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_5)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_11)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_11)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_3)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_4)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_12)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_11)
((move player-01 pos-6-4 pos-5-4 dir-left)_1)
((move player-01 pos-6-4 pos-5-4 dir-left)_2)
((move player-01 pos-6-4 pos-5-4 dir-left)_3)
((move player-01 pos-6-4 pos-5-4 dir-left)_4)
((move player-01 pos-6-4 pos-6-3 dir-up)_1)
((move player-01 pos-6-4 pos-6-3 dir-up)_2)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_12)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_13)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_14)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_15)
((move player-01 pos-3-6 pos-3-5 dir-up)_3)
((move player-01 pos-4-2 pos-3-2 dir-left)_1)
((move player-01 pos-4-2 pos-3-2 dir-left)_2)
((move player-01 pos-4-2 pos-3-2 dir-left)_3)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_11)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_5)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_12)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_1)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_8)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_3)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_15)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_11)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-5-3 pos-6-3 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_9)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_7)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_5)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_3)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_9)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_14)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_15)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_15)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_14)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_15)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_16)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_16)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_15)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_3)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_11)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_10)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-4-4 pos-4-5 dir-down)_12)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_6)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_10)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_3)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_5)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-3-4 pos-3-5 dir-down)_8)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_1)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_10)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_7)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_13)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_5)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_13)
((move player-01 pos-4-2 pos-3-2 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_11)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_14)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_15)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_12)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_11)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_9)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_1)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_10)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_5)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_14)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_15)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_15)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_16)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_2)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_15)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_16)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_3)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_4)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_15)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_14)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_14)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_1)
((move player-01 pos-4-6 pos-3-6 dir-left)_4)
((move player-01 pos-4-6 pos-4-5 dir-up)_1)
((move player-01 pos-4-6 pos-4-5 dir-up)_2)
((move player-01 pos-4-6 pos-4-5 dir-up)_3)
((move player-01 pos-4-6 pos-4-5 dir-up)_4)
((move player-01 pos-5-3 pos-4-3 dir-left)_1)
((move player-01 pos-5-3 pos-4-3 dir-left)_2)
((move player-01 pos-5-3 pos-4-3 dir-left)_3)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_4)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_6)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_7)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_9)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_5)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_11)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_13)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_6)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_9)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_10)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_11)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_5)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_7)
((move player-01 pos-2-5 pos-2-4 dir-up)_1)
((move player-01 pos-2-5 pos-2-4 dir-up)_2)
((move player-01 pos-2-5 pos-2-4 dir-up)_3)
((move player-01 pos-2-5 pos-2-4 dir-up)_4)
((move player-01 pos-2-5 pos-3-5 dir-right)_1)
((move player-01 pos-2-5 pos-3-5 dir-right)_2)
((move player-01 pos-2-5 pos-3-5 dir-right)_3)
((move player-01 pos-2-5 pos-3-5 dir-right)_4)
((move player-01 pos-3-2 pos-3-3 dir-down)_4)
((move player-01 pos-3-3 pos-2-3 dir-left)_1)
((move player-01 pos-3-3 pos-2-3 dir-left)_2)
((move player-01 pos-3-3 pos-2-3 dir-left)_3)
((move player-01 pos-3-3 pos-2-3 dir-left)_4)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_4)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_6)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_7)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_15)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_3)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_13)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_4)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_5)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_9)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_1)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_10)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_11)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_10)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_5)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_7)
((move player-01 pos-2-3 pos-2-4 dir-down)_3)
((move player-01 pos-2-3 pos-2-4 dir-down)_4)
((move player-01 pos-2-3 pos-3-3 dir-right)_1)
((move player-01 pos-2-4 pos-3-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_11)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_15)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_4)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_5)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_6)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_7)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_14)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_3)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_4)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_5)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_6)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_7)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_8)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_12)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_13)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_14)
((push-to-goal player-01 stone-01 pos-6-4 pos-5-4 pos-4-4 dir-left)_8)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_5)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_6)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_7)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_8)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_9)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_6)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_5)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_6)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_11)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_10)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_11)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_11)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_13)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_15)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_9)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_15)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_12)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_13)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_4)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_15)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_16)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_4)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_15)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_16)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_2)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_3)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_9)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_10)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_11)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_9)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_6)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_5)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_3)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_3)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_5)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_3)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_4)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_13)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_12)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_16)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_14)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_15)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_15)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_16)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_2)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_3)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_5)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_12)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_8)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_4)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_5)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_3)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_2)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_15)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_14)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_3)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_8)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_4)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_1)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_4)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_15)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_4)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_6)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_5)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_5)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_6)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_7)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_8)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_11)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_5)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_14)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_10)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_8)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_1)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_9)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_8)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_3)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_1)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_13)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_8)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_4)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_15)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_14)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_6)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_15)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_10)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_8)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_16)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_2)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_13)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_9)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_5)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_8)
((move player-01 pos-4-6 pos-3-6 dir-left)_2)
((move player-01 pos-4-6 pos-3-6 dir-left)_3)
((move player-01 pos-5-3 pos-4-3 dir-left)_4)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_16)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_15)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_14)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_15)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_2)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_3)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_12)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_14)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_2)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_3)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_5)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_6)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_4)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_11)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_7)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_6)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_5)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_13)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_11)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_16)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_13)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_3)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_4)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_2)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_16)
((move player-01 pos-4-4 pos-4-5 dir-down)_4)
((move player-01 pos-4-4 pos-5-4 dir-right)_1)
((move player-01 pos-4-4 pos-5-4 dir-right)_2)
((move player-01 pos-4-4 pos-5-4 dir-right)_3)
((move player-01 pos-4-4 pos-5-4 dir-right)_4)
((move player-01 pos-4-5 pos-3-5 dir-left)_1)
((move player-01 pos-4-5 pos-3-5 dir-left)_2)
((move player-01 pos-4-5 pos-3-5 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_3)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_1)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_1)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_11)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_15)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_8)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_12)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_4)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_16)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_15)
((move player-01 pos-4-4 pos-3-4 dir-left)_4)
((move player-01 pos-4-4 pos-4-3 dir-up)_2)
((move player-01 pos-4-4 pos-4-5 dir-down)_2)
((move player-01 pos-4-4 pos-4-5 dir-down)_3)
((move player-01 pos-4-5 pos-3-5 dir-left)_4)
((move player-01 pos-4-5 pos-4-4 dir-up)_1)
((move player-01 pos-4-5 pos-4-4 dir-up)_2)
((move player-01 pos-4-5 pos-4-4 dir-up)_3)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_9)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_10)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_13)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_12)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_14)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_15)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_1)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_2)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_16)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_12)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_12)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_11)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_10)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_1)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_10)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_6)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_12)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_12)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_4)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_6)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_13)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_14)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_8)
((push-to-goal player-01 stone-03 pos-2-4 pos-3-4 pos-4-4 dir-right)_9)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_7)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_9)
((push-to-goal player-01 stone-03 pos-4-4 pos-3-4 pos-2-4 dir-left)_1)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_8)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_10)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_11)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_10)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_1)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_16)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_12)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_10)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_7)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-5 pos-3-6 dir-down)_1)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_12)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_13)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_11)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_15)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_16)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_1)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_5)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_15)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_12)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_14)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_15)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_4)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_14)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-5 pos-4-6 dir-down)_6)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_8)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_11)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_9)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_9)
((push-to-nongoal player-01 stone-03 pos-5-3 pos-4-3 pos-3-3 dir-left)_14)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_6)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_12)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down)_10)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_6)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_7)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_15)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_8)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_7)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_9)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_13)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_13)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_12)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_14)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_15)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_13)
((push-to-goal player-01 stone-03 pos-6-4 pos-5-4 pos-4-4 dir-left)_16)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_2)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_13)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_15)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_6)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-2-4 pos-2-5 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_10)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_14)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_2)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_3)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_14)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_16)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_9)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_15)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_11)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_7)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_8)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_9)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_6)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_10)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-3-5 pos-4-5 dir-right)_8)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_4)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_5)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_6)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_12)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down)_9)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_2)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_5)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_11)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_11)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_8)
((push-to-nongoal player-01 stone-01 pos-3-3 pos-4-3 pos-5-3 dir-right)_6)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_3)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-5-3 pos-4-3 pos-3-3 dir-left)_10)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_9)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_14)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_7)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_15)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_6)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_14)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_5)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_10)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_12)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_13)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_5)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_4)
((push-to-goal player-01 stone-03 pos-5-4 pos-4-4 pos-3-4 dir-left)_14)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_12)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_13)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_15)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_16)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_2)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_10)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_5)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_16)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_10)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_3)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up)_15)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_11)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_3)
((move player-01 pos-4-6 pos-3-6 dir-left)_1)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_13)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_15)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_14)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_11)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_10)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_11)
((push-to-goal player-01 stone-03 pos-3-6 pos-3-5 pos-3-4 dir-up)_1)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_12)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_2)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_14)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_2)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_13)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_6)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_8)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_11)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_2)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_12)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_13)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_14)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_15)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_2)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_1)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_4)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_5)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_6)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_7)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_8)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_9)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_1)
((push-to-goal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up)_11)
((push-to-goal player-01 stone-01 pos-3-2 pos-3-3 pos-3-4 dir-down)_3)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_10)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_10)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-3-3 pos-2-3 dir-left)_6)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_13)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_12)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_12)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_6)
((push-to-goal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down)_8)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_4)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_6)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_2)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_5)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_13)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_13)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_14)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_8)
((move player-01 pos-4-4 pos-3-4 dir-left)_3)
((move player-01 pos-4-5 pos-4-4 dir-up)_4)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_7)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_2)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_10)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_11)
((move player-01 pos-4-5 pos-4-6 dir-down)_2)
((move player-01 pos-4-5 pos-4-6 dir-down)_3)
((move player-01 pos-4-5 pos-4-6 dir-down)_4)
((move player-01 pos-4-5 pos-4-6 dir-down)_1)
((push-to-goal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right)_7)
((push-to-goal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left)_7)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_8)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_7)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_12)
((push-to-goal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left)_9)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_11)
((push-to-goal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_3)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_12)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left)_4)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_7)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_8)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_2)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_4)
((move player-01 pos-2-4 pos-3-4 dir-right)_3)
((move player-01 pos-2-4 pos-3-4 dir-right)_4)
((move player-01 pos-3-3 pos-3-2 dir-up)_1)
((move player-01 pos-3-3 pos-3-2 dir-up)_4)
((move player-01 pos-3-3 pos-3-4 dir-down)_1)
((move player-01 pos-3-3 pos-3-4 dir-down)_2)
((move player-01 pos-3-3 pos-3-4 dir-down)_3)
((move player-01 pos-3-3 pos-3-4 dir-down)_4)
((move player-01 pos-3-3 pos-4-3 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_8)
((push-to-nongoal player-01 stone-03 pos-2-3 pos-3-3 pos-4-3 dir-right)_9)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-3-5 pos-2-5 dir-left)_4)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_1)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left)_8)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up)_12)
((move player-01 pos-4-3 pos-4-2 dir-up)_1)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_15)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_13)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_14)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_8)
((move player-01 pos-4-3 pos-4-4 dir-down)_1)
((move player-01 pos-4-3 pos-4-4 dir-down)_2)
((move player-01 pos-4-3 pos-4-4 dir-down)_3)
((move player-01 pos-4-3 pos-4-4 dir-down)_4)
((move player-01 pos-4-3 pos-5-3 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_6)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_8)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_1)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-3-3 pos-4-3 dir-right)_8)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_3)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_11)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_10)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_7)
((push-to-nongoal player-01 stone-03 pos-3-5 pos-3-4 pos-3-3 dir-up)_12)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_5)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_14)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right)_5)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-5-4 pos-6-4 dir-right)_6)
((push-to-nongoal player-01 stone-03 pos-4-5 pos-4-4 pos-4-3 dir-up)_13)
((move player-01 pos-4-3 pos-5-3 dir-right)_4)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_6)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_7)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down)_1)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_11)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-4-4 pos-5-4 dir-right)_1)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_12)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_15)
((push-to-goal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left)_16)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_10)
((move player-01 pos-2-3 pos-2-4 dir-down)_2)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_14)
((push-to-goal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up)_4)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_4)
((move player-01 pos-3-6 pos-3-5 dir-up)_1)
((move player-01 pos-4-2 pos-4-3 dir-down)_2)
((move player-01 pos-4-3 pos-3-3 dir-left)_2)
((move player-01 pos-4-3 pos-3-3 dir-left)_3)
((move player-01 pos-4-3 pos-3-3 dir-left)_4)
((move player-01 pos-4-3 pos-4-2 dir-up)_2)
((move player-01 pos-4-3 pos-4-2 dir-up)_3)
((move player-01 pos-4-3 pos-4-2 dir-up)_4)
((move player-01 pos-4-4 pos-3-4 dir-left)_1)
((move player-01 pos-4-4 pos-3-4 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_8)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_7)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_3)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_4)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_2)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_12)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_8)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_1)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_7)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_8)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_15)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_6)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_13)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right)_6)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_6)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_7)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_14)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-3-3 pos-4-3 dir-right)_1)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-4-3 pos-5-3 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-3-4 pos-3-3 pos-3-2 dir-up)_14)
((push-to-nongoal player-01 stone-03 pos-3-3 pos-3-4 pos-3-5 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_1)
((push-to-nongoal player-01 stone-02 pos-2-3 pos-2-4 pos-2-5 dir-down)_7)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_14)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-4-3 pos-5-3 dir-right)_13)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_8)
((push-to-nongoal player-01 stone-02 pos-3-3 pos-3-4 pos-3-5 dir-down)_12)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_4)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_9)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_10)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-4-4 pos-5-4 dir-right)_4)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down)_6)
((push-to-nongoal player-01 stone-02 pos-3-4 pos-3-3 pos-3-2 dir-up)_7)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_7)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_5)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-3-3 pos-2-3 dir-left)_9)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down)_9)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-5-4 pos-6-4 dir-right)_14)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_8)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_16)
((push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up)_1)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-4-4 pos-4-3 pos-4-2 dir-up)_5)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_3)
((push-to-nongoal player-01 stone-02 pos-3-5 pos-3-4 pos-3-3 dir-up)_4)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_13)
((push-to-goal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down)_13)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_10)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_12)
((push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left)_4)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_16)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_4)
((push-to-goal player-01 stone-03 pos-4-6 pos-4-5 pos-4-4 dir-up)_3)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_15)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_2)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_11)
((push-to-nongoal player-01 stone-01 pos-5-3 pos-4-3 pos-3-3 dir-left)_16)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_10)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_14)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-3-5 pos-3-4 pos-3-3 dir-up)_9)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_13)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_15)
((move player-01 pos-3-5 pos-4-5 dir-right)_1)
((push-to-goal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up)_3)
((push-to-goal player-01 stone-03 pos-4-2 pos-4-3 pos-4-4 dir-down)_7)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_9)
((move player-01 pos-3-5 pos-4-5 dir-right)_3)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_7)
((push-to-nongoal player-01 stone-01 pos-6-3 pos-5-3 pos-4-3 dir-left)_14)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_2)
((push-to-nongoal player-01 stone-03 pos-4-3 pos-3-3 pos-2-3 dir-left)_5)
((move player-01 pos-3-5 pos-4-5 dir-right)_2)
((push-to-goal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up)_5)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_10)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_8)
((push-to-goal player-01 stone-03 pos-3-2 pos-3-3 pos-3-4 dir-down)_9)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_13)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_12)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_3)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_3)
((move player-01 pos-2-3 pos-2-4 dir-down)_1)
((push-to-nongoal player-01 stone-01 pos-3-4 pos-3-3 pos-3-2 dir-up)_14)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down)_15)
((push-to-nongoal player-01 stone-03 pos-2-5 pos-2-4 pos-2-3 dir-up)_10)
((push-to-goal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right)_3)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_10)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-5-4 pos-6-4 dir-right)_10)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_9)
((push-to-nongoal player-01 stone-01 pos-2-5 pos-2-4 pos-2-3 dir-up)_7)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_8)
((push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up)_16)
((push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right)_11)
((push-to-nongoal player-01 stone-01 pos-4-3 pos-5-3 pos-6-3 dir-right)_12)
((push-to-nongoal player-01 stone-03 pos-6-3 pos-5-3 pos-4-3 dir-left)_5)
((push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up)_16)
((push-to-nongoal player-01 stone-01 pos-2-3 pos-2-4 pos-2-5 dir-down)_5)
((push-to-goal player-01 stone-02 pos-3-2 pos-3-3 pos-3-4 dir-down)_1)

