; total time: 7.01
; plan length: 63
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd1)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb1)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd11)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd10)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb2)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
