; total time: 0.01
; plan length: 20
(up f0 f5)
(board f5 p0)
(board f5 p3)
(down f5 f3)
(board f3 p2)
(board f3 p4)
(up f3 f11)
(depart f11 p0)
(down f11 f0)
(depart f0 p2)
(depart f0 p3)
(up f0 f8)
(depart f8 p4)
(down f8 f7)
(board f7 p5)
(down f7 f6)
(board f6 p1)
(depart f6 p5)
(up f6 f7)
(depart f7 p1)
