(wait_cb1 )
(wait_cb1-condeff0-yes )
(wait_cb1-condeff1-no-0 )
(wait_cb1-endof-condeffs )
(open-sd4 )
(close_sd6 )
(close_sd6-condeff1-no-0 )
(close_sd6-condeff0-no-0 )
(close_sd6-endof-condeffs )
(reach-goal-511 )
; cost = 10 (unit cost)
