occur(add_car)
exec(move_lift(rotate))
exec(move_lift(basement))
exec(move_belts([b_r1lift, b_r1b], col_inc, full))
exec(move_lift(street))
exec(move_belts([b_r1b], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, half))
exec(move_shuttles([r1b, r2b], lowered, row_inc))
exec(move_belts([b_r2, b_r2b_sh], col_dec, full))
exec(move_shuttles([r2b, r3b], lowered, row_dec))
exec(move_belts([b_r2, b_r2b_sh], col_inc, full))
exec(move_shuttles([r2b], lowered, row_inc))
exec(move_belts([b_r3, b_r3b_sh], col_dec, full))
exec(move_shuttles([r3b], lowered, row_dec))
occur(add_car)
exec(move_lift(basement))
exec(move_belts([b_r1lift, b_r1b], col_inc, full))
exec(move_lift(street))
exec(move_belts([b_r1b], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, half))
exec(move_shuttles([r1b, r2b], lowered, row_inc))
exec(move_belts([b_r2, b_r2b_sh], col_dec, full))
exec(move_shuttles([r2b, r3b], lowered, row_dec))
exec(move_belts([b_r2, b_r2b_sh], col_inc, full))
exec(move_shuttles([r2b], lowered, row_inc))
exec(move_belts([b_r3, b_r3b_sh], col_dec, full))
exec(move_shuttles([r3b], lowered, row_dec))
occur(add_car)
exec(move_lift(basement))
exec(move_belts([b_r1lift, b_r1b], col_inc, full))
exec(move_lift(street))
exec(move_belts([b_r1b], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, full))
exec(move_belts([b_r1b, b_r1b_sh], col_inc, half))
exec(move_shuttles([r1b, r2b], lowered, row_inc))
exec(move_belts([b_r2, b_r2b_sh], col_dec, full))
exec(move_shuttles([r2b, r3b], lowered, row_dec))
exec(move_belts([b_r2, b_r2b_sh], col_inc, full))
exec(move_shuttles([r2b], lowered, row_inc))
exec(move_belts([b_r3, b_r3b_sh], col_dec, full))
exec(move_shuttles([r3b], lowered, row_dec))
exec(tilt_shuttle(r3b, tilted))
exec(tilt_shuttle(r1b, lowered))
exec(move_belts([b_r3, b_r3b_sh], col_inc, full))
exec(move_shuttles([r2b, r3b], lowered, row_dec))
exec(move_belts([b_r2, b_r2b_sh], col_dec, full))
exec(move_shuttles([r2b], lowered, row_inc))
exec(move_belts([b_r3, b_r3b_sh], col_inc, full))
exec(move_shuttles([r3b], lowered, row_dec))
exec(move_belts([b_r2, b_r2b_sh], col_dec, full))
exec(move_shuttles([r1b, r2b], lowered, row_inc))
exec(move_belts([b_r2, b_r2b_sh], col_inc, full))
exec(move_shuttles([r2b, r3b], lowered, row_dec))
exec(move_belts([b_r1b, b_r1b_sh], col_dec, full))
exec(move_belts([b_r1b], col_dec, full))
exec(move_belts([b_r1b], col_dec, half))
exec(move_lift(basement))
exec(move_belts([b_r1lift, b_r1b], col_dec, full))
exec(move_lift(street))
occur(remove_car)
exec(move_belts([b_r2, b_r2b_sh], col_inc, full))
exec(move_shuttles([r2b], lowered, row_inc))
exec(move_belts([b_r3, b_r3b_sh], col_dec, full))
exec(move_shuttles([r3b], lowered, row_dec))
exec(move_shuttles([r1b], tilted, row_inc))
exec(move_shuttles([r2b], tilted, row_inc))
