; total time: 0.08
; plan length: 26
(up f0 f2)
(board f2 p5)
(board f2 p1)
(down f2 f1)
(depart f1 p5)
(up f1 f8)
(up f8 f9)
(board f9 p4)
(down f9 f6)
(board f6 p2)
(up f6 f8)
(depart f8 p4)
(up f8 f9)
(up f9 f11)
(board f11 p3)
(down f11 f9)
(depart f9 p3)
(up f9 f10)
(depart f10 p2)
(down f10 f0)
(depart f0 p1)
(up f0 f6)
(down f6 f3)
(board f3 p0)
(up f3 f6)
(depart f6 p0)
