; search time: 0.01
; plan length: 15
(wait_cb2)
(wait_cb1)
(wait_cb1-condeff0-no-1)
(wait_cb1-condeff1-yes)
(wait_cb1-endof-condeffs)
(close_sd1)
(close_sd1-condeff0-no-1)
(close_sd1-endof-condeffs)
(open-sd4)
(open-sd2)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff0-no-0)
(wait_cb1-condeff1-no-0)
(wait_cb1-endof-condeffs)
