; total time: 4.30
; plan length: 49
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd13)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd10)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb2)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
