(:trajectory

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n3) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n3) (passenger_at p2 n4) (passenger_at p3 n0) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p1 slow0_0 n3 n0 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p1 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n3) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p2 n4) (passenger_at p3 n0) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n3 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p1 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p2 n4) (passenger_at p3 n0) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p3 slow0_0 n0 n1 n2))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p1 slow0_0) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n2) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p1 slow0_0 n0 n2 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n7))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n0) (lift_at slow0_0 n7) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_fast fast0 n0 n3))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n7) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n7 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n4))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p3 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p3 slow0_0 n4 n1 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p4 slow0_0 n4 n0 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p4 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n4 n2))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p4 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n2) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p4 slow0_0 n2 n1 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n2) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n2) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p0 slow0_0 n2 n0 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p0 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n2) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n2 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p0 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n4))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p0 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p0 slow0_0 n4 n1 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n4) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p2 slow0_0 n4 n0 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p2 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n4 n6))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p2 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n6) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p2 slow0_0 n6 n1 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n6) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n6 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n2))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n2) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n2 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n4))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n4) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p5 slow0_0 n4 n0 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p0 slow0_0 n4 n1 n2))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p0 slow0_0) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n2) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p0 slow0_0 n4 n2 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n4) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n4 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n5))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n5) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n5) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (board p6 slow0_0 n5 n1 n2))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (boarded p6 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n5) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passengers fast0 n0) (passengers slow0_0 n2) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_down_slow slow0_0 n5 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (boarded p6 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passengers fast0 n0) (passengers slow0_0 n2) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p6 slow0_0 n0 n2 n1))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n0) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n0) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (move_up_slow slow0_0 n0 n6))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (boarded p5 slow0_0) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n6) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p6 n0) (passengers fast0 n0) (passengers slow0_0 n1) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

(:action (leave p5 slow0_0 n6 n1 n0))

(:state (above n0 n1) (above n0 n2) (above n0 n3) (above n0 n4) (above n0 n5) (above n0 n6) (above n0 n7) (above n1 n2) (above n1 n3) (above n1 n4) (above n1 n5) (above n1 n6) (above n1 n7) (above n2 n3) (above n2 n4) (above n2 n5) (above n2 n6) (above n2 n7) (above n3 n4) (above n3 n5) (above n3 n6) (above n3 n7) (above n4 n5) (above n4 n6) (above n4 n7) (above n5 n6) (above n5 n7) (above n6 n7) (can_hold fast0 n1) (can_hold fast0 n2) (can_hold slow0_0 n1) (can_hold slow0_0 n2) (lift_at fast0 n3) (lift_at slow0_0 n6) (next n0 n1) (next n1 n2) (next n2 n3) (next n3 n4) (next n4 n5) (next n5 n6) (next n6 n7) (passenger_at p0 n4) (passenger_at p1 n0) (passenger_at p2 n6) (passenger_at p3 n4) (passenger_at p4 n2) (passenger_at p5 n6) (passenger_at p6 n0) (passengers fast0 n0) (passengers slow0_0 n0) (reachable_floor fast0 n0) (reachable_floor fast0 n3) (reachable_floor fast0 n6) (reachable_floor slow0_0 n0) (reachable_floor slow0_0 n1) (reachable_floor slow0_0 n2) (reachable_floor slow0_0 n3) (reachable_floor slow0_0 n4) (reachable_floor slow0_0 n5) (reachable_floor slow0_0 n6) (reachable_floor slow0_0 n7))

)