; total time: 0.09
; plan length: 121
(wait_cb1)
(wait_cb1-condeff1-yes)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-yes)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-yes)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(open-sd6)
(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-sd3)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-no-1)
(wait_cb1-endof-condeffs)
(close_sd3)
(close_sd3-condeff1-no-0)
(close_sd3-condeff0-yes)
(close_sd3-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)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(open-sd3)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-no-1)
(wait_cb1-endof-condeffs)
(close_sd3)
(close_sd3-condeff1-no-0)
(close_sd3-condeff0-yes)
(close_sd3-endof-condeffs)
(open-sd4)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff1-no-0)
(wait_cb1-condeff0-no-0)
(wait_cb1-endof-condeffs)
