; total time: 239.51
; plan length: 74
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(wait)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd22)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd19)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb4)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd8)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd7)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(open sd1)
(axiom)
(axiom)
(axiom)
(axiom)
(fixpoint)
(axiom)
(fixpoint)
(close cb1)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
(axiom)
(axiom)
(fixpoint)
