; search time: 0.47
; plan length: 24
(stop f0)
(up f0 f6)
(stop f6)
(up f6 f8)
(stop f8)
(up f8 f11)
(stop f11)
(up f11 f12)
(stop f12)
(down f12 f10)
(stop f10)
(down f10 f3)
(stop f3)
(up f3 f4)
(stop f4)
(up f4 f5)
(stop f5)
(up f5 f13)
(stop f13)
(down f13 f7)
(stop f7)
(down f7 f1)
(stop f1)
(solve-goal)
