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