; total time: 0.06
; plan length: 25
(up f0 f2)
(board f2 p3)
(up f2 f6)
(up f6 f7)
(board f7 p0)
(depart f7 p3)
(up f7 f11)
(board f11 p5)
(down f11 f0)
(depart f0 p0)
(up f0 f2)
(up f2 f3)
(board f3 p4)
(up f3 f4)
(board f4 p1)
(up f4 f6)
(depart f6 p1)
(up f6 f7)
(depart f7 p5)
(up f7 f9)
(board f9 p2)
(down f9 f2)
(depart f2 p4)
(up f2 f6)
(depart f6 p2)
