; total time: 0.26
; plan length: 160
(wait_cb3)
(wait_cb1)
(wait_cb1-condeff0-yes)
(wait_cb1-endof-condeffs)
(close_sd12)
(close_sd12-condeff0-yes)
(close_sd12-endof-condeffs)
(open-sd12)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-no-1)
(wait_cb2-endof-condeffs)
(close_sd12)
(close_sd12-condeff0-yes)
(close_sd12-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(open-sd1)
(close_cb1)
(wait_cb1)
(wait_cb1-condeff0-no-0)
(wait_cb1-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(open-sd12)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-no-1)
(wait_cb2-endof-condeffs)
(close_sd12)
(close_sd12-condeff0-yes)
(close_sd12-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff1-yes)
(wait_cb2-condeff0-no-0)
(wait_cb2-endof-condeffs)
(open-sd12)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-no-1)
(wait_cb2-endof-condeffs)
(close_sd12)
(close_sd12-condeff0-yes)
(close_sd12-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff0-no-0)
(wait_cb2-condeff1-yes)
(wait_cb2-endof-condeffs)
(open-sd13)
(close_cb2)
(wait_cb2)
(wait_cb2-condeff1-no-0)
(wait_cb2-condeff0-no-0)
(wait_cb2-endof-condeffs)
