; total time: 53.05
; plan length: 109
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close sd9)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd10)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb3)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd16)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd8)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb4)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd1)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb1)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd7)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close sd8)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
