; total time: 36.02
; plan length: 102
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd19)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close sd5)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd12)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close sd8)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd9)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb2)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd13)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close sd7)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
