; total time: 0.13
; plan length: 72
(wait_cb2)
(close_sd3)
(close_sd3-condeff1-yes)
(close_sd3-condeff0-no-3)
(close_sd3-endof-condeffs)
(open-sd11)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(open-sd7)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-no-0)
(wait_cb1-endof-condeffs)
