; total time: 0.36
; plan length: 37
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd8)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb2)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
