(define (domain grounded-SIMPLE-ADL-PSR) (:requirements :strips :conditional-effects :derived-predicates ) (:predicates (foo) (NOT-AFFECTED-EARTH) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (UPSTREAM-CB1-SIDE1-SD1-SIDE1) (UPSTREAM-CB1-SIDE1-SD2-SIDE1) (UPSTREAM-CB1-SIDE1-SD3-SIDE1) (UPSTREAM-CB2-SIDE1-SD4-SIDE2) (UPSTREAM-CB2-SIDE1-SD5-SIDE2) (UPSTREAM-CB2-SIDE1-SD6-SIDE1) (UPSTREAM-CB2-SIDE1-SD7-SIDE1) (UPSTREAM-CB3-SIDE1-SD8-SIDE2) (UPSTREAM-CB3-SIDE1-SD9-SIDE2) (UPSTREAM-CB3-SIDE1-SD10-SIDE2) (UPSTREAM-CB3-SIDE1-SD11-SIDE2) (UPSTREAM-CB3-SIDE1-SD12-SIDE2) (UPSTREAM-CB3-SIDE1-SD13-SIDE1) (UPSTREAM-SD1-SIDE1-SD2-SIDE1) (UPSTREAM-SD1-SIDE1-SD3-SIDE1) (UPSTREAM-SD1-SIDE2-CB1-SIDE2) (UPSTREAM-SD2-SIDE1-SD3-SIDE1) (UPSTREAM-SD2-SIDE2-SD1-SIDE2) (UPSTREAM-SD4-SIDE1-CB2-SIDE2) (UPSTREAM-SD4-SIDE2-SD5-SIDE2) (UPSTREAM-SD4-SIDE2-SD6-SIDE1) (UPSTREAM-SD4-SIDE2-SD7-SIDE1) (UPSTREAM-SD5-SIDE1-SD4-SIDE1) (UPSTREAM-SD5-SIDE2-SD6-SIDE1) (UPSTREAM-SD5-SIDE2-SD7-SIDE1) (UPSTREAM-SD6-SIDE1-SD7-SIDE1) (UPSTREAM-SD6-SIDE2-SD5-SIDE1) (UPSTREAM-SD8-SIDE1-CB3-SIDE2) (UPSTREAM-SD8-SIDE1-SD10-SIDE2) (UPSTREAM-SD8-SIDE1-SD11-SIDE2) (UPSTREAM-SD8-SIDE1-SD12-SIDE2) (UPSTREAM-SD8-SIDE1-SD13-SIDE1) (UPSTREAM-SD8-SIDE2-SD9-SIDE2) (UPSTREAM-SD9-SIDE1-SD8-SIDE1) (UPSTREAM-SD9-SIDE1-SD10-SIDE2) (UPSTREAM-SD9-SIDE1-SD11-SIDE2) (UPSTREAM-SD9-SIDE1-SD12-SIDE2) (UPSTREAM-SD9-SIDE1-SD13-SIDE1) (UPSTREAM-SD9-SIDE2-SD3-SIDE2) (UPSTREAM-SD10-SIDE1-CB3-SIDE2) (UPSTREAM-SD10-SIDE1-SD8-SIDE2) (UPSTREAM-SD10-SIDE1-SD9-SIDE2) (UPSTREAM-SD10-SIDE2-SD11-SIDE2) (UPSTREAM-SD10-SIDE2-SD12-SIDE2) (UPSTREAM-SD10-SIDE2-SD13-SIDE1) (UPSTREAM-SD11-SIDE1-SD10-SIDE1) (UPSTREAM-SD11-SIDE1-SD12-SIDE2) (UPSTREAM-SD11-SIDE1-SD13-SIDE1) (UPSTREAM-SD11-SIDE2-SD7-SIDE2) (UPSTREAM-SD12-SIDE1-SD10-SIDE1) (UPSTREAM-SD12-SIDE1-SD11-SIDE2) (UPSTREAM-SD12-SIDE2-SD13-SIDE1) (UPSTREAM-SD13-SIDE1-EARTH-SIDE2) (UPSTREAM-SD13-SIDE2-SD12-SIDE1) (UNSAFE-SD1-SIDE1) (UNSAFE-SD2-SIDE2) (UNSAFE-SD6-SIDE1) (UNSAFE-SD11-SIDE2) (UNSAFE-SD12-SIDE1) (UNSAFE-SD12-SIDE2) (UNSAFE-SD13-SIDE2) (NOT-UNSAFE-EARTH-SIDE1) (NOT-UNSAFE-EARTH-SIDE2) (NOT-UNSAFE-CB1-SIDE2) (NOT-UNSAFE-CB2-SIDE2) (NOT-UNSAFE-CB3-SIDE2) (NOT-UNSAFE-SD1-SIDE2) (NOT-UNSAFE-SD3-SIDE1) (NOT-UNSAFE-SD3-SIDE2) (NOT-UNSAFE-SD4-SIDE1) (NOT-UNSAFE-SD5-SIDE1) (NOT-UNSAFE-SD6-SIDE2) (NOT-UNSAFE-SD7-SIDE1) (NOT-UNSAFE-SD7-SIDE2) (NOT-UNSAFE-SD9-SIDE2) (NOT-UNSAFE-SD13-SIDE1) (FED-L1) (FED-L2) (FED-L3) (FED-L4) (FED-L5) (FED-L6) (FED-L7) (FED-L8) (FED-L9) (FED-L10) (FED-L11) (FED-L12) (FED-L13) (FED-L14) (UPSTREAM-CB3-SIDE1-EARTH-SIDE2) (UPSTREAM-CB3-SIDE1-SD3-SIDE2) (UPSTREAM-CB3-SIDE1-SD7-SIDE2) (UPSTREAM-SD2-SIDE2-CB1-SIDE2) (UPSTREAM-SD5-SIDE1-CB2-SIDE2) (UPSTREAM-SD6-SIDE2-SD4-SIDE1) (UPSTREAM-SD8-SIDE1-EARTH-SIDE2) (UPSTREAM-SD8-SIDE1-SD7-SIDE2) (UPSTREAM-SD8-SIDE2-SD3-SIDE2) (UPSTREAM-SD9-SIDE1-EARTH-SIDE2) (UPSTREAM-SD9-SIDE1-CB3-SIDE2) (UPSTREAM-SD9-SIDE1-SD7-SIDE2) (UPSTREAM-SD10-SIDE1-SD3-SIDE2) (UPSTREAM-SD10-SIDE2-EARTH-SIDE2) (UPSTREAM-SD10-SIDE2-SD7-SIDE2) (UPSTREAM-SD11-SIDE1-EARTH-SIDE2) (UPSTREAM-SD11-SIDE1-CB3-SIDE2) (UPSTREAM-SD11-SIDE1-SD8-SIDE2) (UPSTREAM-SD11-SIDE1-SD9-SIDE2) (UPSTREAM-SD12-SIDE1-CB3-SIDE2) (UPSTREAM-SD12-SIDE1-SD7-SIDE2) (UPSTREAM-SD12-SIDE1-SD8-SIDE2) (UPSTREAM-SD12-SIDE1-SD9-SIDE2) (UPSTREAM-SD12-SIDE2-EARTH-SIDE2) (UPSTREAM-SD13-SIDE2-SD10-SIDE1) (UPSTREAM-SD13-SIDE2-SD11-SIDE2) (UNSAFE-CB1-SIDE1) (UNSAFE-SD5-SIDE2) (UNSAFE-SD10-SIDE2) (UNSAFE-SD11-SIDE1) (NOT-UNSAFE-SD2-SIDE1) (NOT-UNSAFE-SD8-SIDE2) (NOT-UNSAFE-SD10-SIDE1) (AFFECTED-CB1) (NOT-CLOSED-CB1) (NOT-CLOSED-CB2) (NOT-CLOSED-CB3) (NOT-CLOSED-SD1) (NOT-CLOSED-SD2) (NOT-CLOSED-SD4) (NOT-CLOSED-SD5) (NOT-CLOSED-SD6) (NOT-CLOSED-SD8) (NOT-CLOSED-SD9) (NOT-CLOSED-SD10) (NOT-CLOSED-SD11) (NOT-CLOSED-SD12) (NOT-CLOSED-SD13) (UPSTREAM-SD6-SIDE2-CB2-SIDE2) (UPSTREAM-SD11-SIDE1-SD3-SIDE2) (UPSTREAM-SD12-SIDE1-SD3-SIDE2) (UPSTREAM-SD13-SIDE2-CB3-SIDE2) (UPSTREAM-SD13-SIDE2-SD7-SIDE2) (UPSTREAM-SD13-SIDE2-SD8-SIDE2) (UPSTREAM-SD13-SIDE2-SD9-SIDE2) (UNSAFE-CB3-SIDE1) (UNSAFE-SD4-SIDE2) (UNSAFE-SD8-SIDE1) (UNSAFE-SD9-SIDE1) (NOT-UNSAFE-CB1-SIDE1) (NOT-UNSAFE-CB2-SIDE1) (NOT-UNSAFE-CB3-SIDE1) (NOT-UNSAFE-SD1-SIDE1) (NOT-UNSAFE-SD2-SIDE2) (NOT-UNSAFE-SD4-SIDE2) (NOT-UNSAFE-SD5-SIDE2) (NOT-UNSAFE-SD6-SIDE1) (NOT-UNSAFE-SD8-SIDE1) (NOT-UNSAFE-SD9-SIDE1) (NOT-UNSAFE-SD10-SIDE2) (NOT-UNSAFE-SD11-SIDE1) (NOT-UNSAFE-SD11-SIDE2) (NOT-UNSAFE-SD12-SIDE1) (NOT-UNSAFE-SD12-SIDE2) (NOT-UNSAFE-SD13-SIDE2) (AFFECTED-CB3) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (CLOSED-SD3) (CLOSED-SD7) (UPSTREAM-CB1-SIDE1-SD9-SIDE1) (UPSTREAM-CB2-SIDE1-SD11-SIDE1) (UPSTREAM-CB2-SIDE1-SD12-SIDE2) (UPSTREAM-CB2-SIDE1-SD13-SIDE1) (UPSTREAM-CB3-SIDE1-SD2-SIDE2) (UPSTREAM-CB3-SIDE1-SD6-SIDE2) (UPSTREAM-SD1-SIDE1-SD9-SIDE1) (UPSTREAM-SD2-SIDE1-SD9-SIDE1) (UPSTREAM-SD3-SIDE1-SD9-SIDE1) (UPSTREAM-SD3-SIDE2-SD2-SIDE2) (UPSTREAM-SD4-SIDE2-SD11-SIDE1) (UPSTREAM-SD4-SIDE2-SD12-SIDE2) (UPSTREAM-SD4-SIDE2-SD13-SIDE1) (UPSTREAM-SD5-SIDE2-SD11-SIDE1) (UPSTREAM-SD5-SIDE2-SD12-SIDE2) (UPSTREAM-SD5-SIDE2-SD13-SIDE1) (UPSTREAM-SD6-SIDE1-SD11-SIDE1) (UPSTREAM-SD6-SIDE1-SD12-SIDE2) (UPSTREAM-SD6-SIDE1-SD13-SIDE1) (UPSTREAM-SD7-SIDE1-SD11-SIDE1) (UPSTREAM-SD7-SIDE1-SD12-SIDE2) (UPSTREAM-SD7-SIDE1-SD13-SIDE1) (UPSTREAM-SD7-SIDE2-SD6-SIDE2) (UPSTREAM-SD8-SIDE1-SD6-SIDE2) (UPSTREAM-SD8-SIDE2-SD2-SIDE2) (UPSTREAM-SD9-SIDE1-SD6-SIDE2) (UPSTREAM-SD9-SIDE2-SD2-SIDE2) (UPSTREAM-SD10-SIDE1-SD2-SIDE2) (UPSTREAM-SD10-SIDE2-SD6-SIDE2) (UPSTREAM-SD11-SIDE1-SD2-SIDE2) (UPSTREAM-SD11-SIDE2-SD6-SIDE2) (UPSTREAM-SD12-SIDE1-SD2-SIDE2) (UPSTREAM-SD12-SIDE1-SD6-SIDE2) (UPSTREAM-SD13-SIDE2-SD3-SIDE2) (UPSTREAM-SD13-SIDE2-SD6-SIDE2) (UNSAFE-CB2-SIDE1) (UNSAFE-SD3-SIDE1) (UNSAFE-SD3-SIDE2) (UNSAFE-SD7-SIDE1) (UNSAFE-SD7-SIDE2) (UNSAFE-SD9-SIDE2) (AFFECTED-CB2) (UPSTREAM-CB1-SIDE1-SD8-SIDE1) (UPSTREAM-CB1-SIDE1-SD10-SIDE2) (UPSTREAM-CB1-SIDE1-SD11-SIDE2) (UPSTREAM-CB1-SIDE1-SD12-SIDE2) (UPSTREAM-CB1-SIDE1-SD13-SIDE1) (UPSTREAM-CB2-SIDE1-EARTH-SIDE2) (UPSTREAM-CB2-SIDE1-SD10-SIDE1) (UPSTREAM-CB3-SIDE1-SD1-SIDE2) (UPSTREAM-CB3-SIDE1-SD5-SIDE1) (UPSTREAM-SD1-SIDE1-SD8-SIDE1) (UPSTREAM-SD1-SIDE1-SD10-SIDE2) (UPSTREAM-SD1-SIDE1-SD11-SIDE2) (UPSTREAM-SD1-SIDE1-SD12-SIDE2) (UPSTREAM-SD1-SIDE1-SD13-SIDE1) (UPSTREAM-SD2-SIDE1-SD8-SIDE1) (UPSTREAM-SD2-SIDE1-SD10-SIDE2) (UPSTREAM-SD2-SIDE1-SD11-SIDE2) (UPSTREAM-SD2-SIDE1-SD12-SIDE2) (UPSTREAM-SD2-SIDE1-SD13-SIDE1) (UPSTREAM-SD3-SIDE1-SD8-SIDE1) (UPSTREAM-SD3-SIDE1-SD10-SIDE2) (UPSTREAM-SD3-SIDE1-SD11-SIDE2) (UPSTREAM-SD3-SIDE1-SD12-SIDE2) (UPSTREAM-SD3-SIDE1-SD13-SIDE1) (UPSTREAM-SD3-SIDE2-SD1-SIDE2) (UPSTREAM-SD4-SIDE2-EARTH-SIDE2) (UPSTREAM-SD4-SIDE2-SD10-SIDE1) (UPSTREAM-SD5-SIDE2-EARTH-SIDE2) (UPSTREAM-SD5-SIDE2-SD10-SIDE1) (UPSTREAM-SD6-SIDE1-EARTH-SIDE2) (UPSTREAM-SD6-SIDE1-SD10-SIDE1) (UPSTREAM-SD7-SIDE1-EARTH-SIDE2) (UPSTREAM-SD7-SIDE1-SD10-SIDE1) (UPSTREAM-SD7-SIDE2-SD5-SIDE1) (UPSTREAM-SD8-SIDE1-SD5-SIDE1) (UPSTREAM-SD8-SIDE2-SD1-SIDE2) (UPSTREAM-SD9-SIDE1-SD5-SIDE1) (UPSTREAM-SD9-SIDE2-SD1-SIDE2) (UPSTREAM-SD10-SIDE1-SD1-SIDE2) (UPSTREAM-SD10-SIDE2-SD5-SIDE1) (UPSTREAM-SD11-SIDE1-SD1-SIDE2) (UPSTREAM-SD11-SIDE2-SD5-SIDE1) (UPSTREAM-SD12-SIDE1-SD1-SIDE2) (UPSTREAM-SD12-SIDE1-SD5-SIDE1) (UPSTREAM-SD13-SIDE2-SD2-SIDE2) (UPSTREAM-SD13-SIDE2-SD5-SIDE1) (UNSAFE-SD2-SIDE1) (UNSAFE-SD8-SIDE2) (UNSAFE-SD10-SIDE1) (UPSTREAM-CB1-SIDE1-EARTH-SIDE2) (UPSTREAM-CB1-SIDE1-CB3-SIDE2) (UPSTREAM-CB1-SIDE1-SD7-SIDE2) (UPSTREAM-CB2-SIDE1-CB3-SIDE2) (UPSTREAM-CB2-SIDE1-SD8-SIDE2) (UPSTREAM-CB2-SIDE1-SD9-SIDE2) (UPSTREAM-CB3-SIDE1-CB1-SIDE2) (UPSTREAM-CB3-SIDE1-SD4-SIDE1) (UPSTREAM-SD1-SIDE1-EARTH-SIDE2) (UPSTREAM-SD1-SIDE1-CB3-SIDE2) (UPSTREAM-SD1-SIDE1-SD7-SIDE2) (UPSTREAM-SD2-SIDE1-EARTH-SIDE2) (UPSTREAM-SD2-SIDE1-CB3-SIDE2) (UPSTREAM-SD2-SIDE1-SD7-SIDE2) (UPSTREAM-SD3-SIDE1-EARTH-SIDE2) (UPSTREAM-SD3-SIDE1-CB3-SIDE2) (UPSTREAM-SD3-SIDE1-SD7-SIDE2) (UPSTREAM-SD3-SIDE2-CB1-SIDE2) (UPSTREAM-SD4-SIDE2-CB3-SIDE2) (UPSTREAM-SD4-SIDE2-SD8-SIDE2) (UPSTREAM-SD4-SIDE2-SD9-SIDE2) (UPSTREAM-SD5-SIDE2-CB3-SIDE2) (UPSTREAM-SD5-SIDE2-SD8-SIDE2) (UPSTREAM-SD5-SIDE2-SD9-SIDE2) (UPSTREAM-SD6-SIDE1-CB3-SIDE2) (UPSTREAM-SD6-SIDE1-SD8-SIDE2) (UPSTREAM-SD6-SIDE1-SD9-SIDE2) (UPSTREAM-SD7-SIDE1-CB3-SIDE2) (UPSTREAM-SD7-SIDE1-SD8-SIDE2) (UPSTREAM-SD7-SIDE1-SD9-SIDE2) (UPSTREAM-SD7-SIDE2-SD4-SIDE1) (UPSTREAM-SD8-SIDE1-SD4-SIDE1) (UPSTREAM-SD8-SIDE2-CB1-SIDE2) (UPSTREAM-SD9-SIDE1-SD4-SIDE1) (UPSTREAM-SD9-SIDE2-CB1-SIDE2) (UPSTREAM-SD10-SIDE1-CB1-SIDE2) (UPSTREAM-SD10-SIDE2-SD4-SIDE1) (UPSTREAM-SD11-SIDE1-CB1-SIDE2) (UPSTREAM-SD11-SIDE2-SD4-SIDE1) (UPSTREAM-SD12-SIDE1-CB1-SIDE2) (UPSTREAM-SD12-SIDE1-SD4-SIDE1) (UPSTREAM-SD13-SIDE2-SD1-SIDE2) (UPSTREAM-SD13-SIDE2-SD4-SIDE1) (UPSTREAM-CB1-SIDE1-SD6-SIDE2) (UPSTREAM-CB2-SIDE1-SD3-SIDE2) (UPSTREAM-CB3-SIDE1-CB2-SIDE2) (UPSTREAM-SD1-SIDE1-SD6-SIDE2) (UPSTREAM-SD2-SIDE1-SD6-SIDE2) (UPSTREAM-SD3-SIDE1-SD6-SIDE2) (UPSTREAM-SD4-SIDE2-SD3-SIDE2) (UPSTREAM-SD5-SIDE2-SD3-SIDE2) (UPSTREAM-SD6-SIDE1-SD3-SIDE2) (UPSTREAM-SD7-SIDE1-SD3-SIDE2) (UPSTREAM-SD7-SIDE2-CB2-SIDE2) (UPSTREAM-SD8-SIDE1-CB2-SIDE2) (UPSTREAM-SD9-SIDE1-CB2-SIDE2) (UPSTREAM-SD10-SIDE2-CB2-SIDE2) (UPSTREAM-SD11-SIDE2-CB2-SIDE2) (UPSTREAM-SD12-SIDE1-CB2-SIDE2) (UPSTREAM-SD13-SIDE2-CB1-SIDE2) (UPSTREAM-SD13-SIDE2-CB2-SIDE2) (UPSTREAM-CB1-SIDE1-SD5-SIDE1) (UPSTREAM-CB2-SIDE1-SD2-SIDE2) (UPSTREAM-SD1-SIDE1-SD5-SIDE1) (UPSTREAM-SD2-SIDE1-SD5-SIDE1) (UPSTREAM-SD3-SIDE1-SD5-SIDE1) (UPSTREAM-SD4-SIDE2-SD2-SIDE2) (UPSTREAM-SD5-SIDE2-SD2-SIDE2) (UPSTREAM-SD6-SIDE1-SD2-SIDE2) (UPSTREAM-SD7-SIDE1-SD2-SIDE2) (UPSTREAM-CB1-SIDE1-SD4-SIDE1) (UPSTREAM-CB2-SIDE1-SD1-SIDE2) (UPSTREAM-SD1-SIDE1-SD4-SIDE1) (UPSTREAM-SD2-SIDE1-SD4-SIDE1) (UPSTREAM-SD3-SIDE1-SD4-SIDE1) (UPSTREAM-SD4-SIDE2-SD1-SIDE2) (UPSTREAM-SD5-SIDE2-SD1-SIDE2) (UPSTREAM-SD6-SIDE1-SD1-SIDE2) (UPSTREAM-SD7-SIDE1-SD1-SIDE2) (UPSTREAM-CB1-SIDE1-CB2-SIDE2) (UPSTREAM-CB2-SIDE1-CB1-SIDE2) (UPSTREAM-SD1-SIDE1-CB2-SIDE2) (UPSTREAM-SD2-SIDE1-CB2-SIDE2) (UPSTREAM-SD3-SIDE1-CB2-SIDE2) (UPSTREAM-SD4-SIDE2-CB1-SIDE2) (UPSTREAM-SD5-SIDE2-CB1-SIDE2) (UPSTREAM-SD6-SIDE1-CB1-SIDE2) (UPSTREAM-SD7-SIDE1-CB1-SIDE2) (CLOSED-CB1) (CLOSED-CB2) (CLOSED-CB3) (CLOSED-SD1) (CLOSED-SD2) (CLOSED-SD4) (CLOSED-SD5) (CLOSED-SD6) (CLOSED-SD8) (CLOSED-SD9) (CLOSED-SD10) (CLOSED-SD11) (CLOSED-SD12) (CLOSED-SD13) (NOT-CLOSED-SD7) (NOT-CLOSED-SD3) ) (:action WAIT-2 :parameters () :precondition (and (AFFECTED-CB2) ) :effect (and (when (and (AFFECTED-CB1) ) (and (NOT-CLOSED-CB1) (not (CLOSED-CB1)) ) ) (when (and (AFFECTED-CB2) ) (and (NOT-CLOSED-CB2) (not (CLOSED-CB2)) ) ) (when (and (AFFECTED-CB3) ) (and (NOT-CLOSED-CB3) (not (CLOSED-CB3)) ) ) ) ) (:action OPEN-SD7 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD7) ) :effect (and (NOT-CLOSED-SD7) (not (CLOSED-SD7)) ) ) (:action OPEN-SD3 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD3) ) :effect (and (NOT-CLOSED-SD3) (not (CLOSED-SD3)) ) ) (:action WAIT-3 :parameters () :precondition (and (AFFECTED-CB3) ) :effect (and (when (and (AFFECTED-CB1) ) (and (NOT-CLOSED-CB1) (not (CLOSED-CB1)) ) ) (when (and (AFFECTED-CB2) ) (and (NOT-CLOSED-CB2) (not (CLOSED-CB2)) ) ) (when (and (AFFECTED-CB3) ) (and (NOT-CLOSED-CB3) (not (CLOSED-CB3)) ) ) ) ) (:action CLOSE-SD13 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD13) ) :effect (and (CLOSED-SD13) (not (NOT-CLOSED-SD13)) ) ) (:action CLOSE-SD12 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD12) ) :effect (and (CLOSED-SD12) (not (NOT-CLOSED-SD12)) ) ) (:action CLOSE-SD11 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD11) ) :effect (and (CLOSED-SD11) (not (NOT-CLOSED-SD11)) ) ) (:action CLOSE-SD10 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD10) ) :effect (and (CLOSED-SD10) (not (NOT-CLOSED-SD10)) ) ) (:action CLOSE-SD9 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD9) ) :effect (and (CLOSED-SD9) (not (NOT-CLOSED-SD9)) ) ) (:action CLOSE-SD8 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD8) ) :effect (and (CLOSED-SD8) (not (NOT-CLOSED-SD8)) ) ) (:action CLOSE-SD7 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD7) ) :effect (and (CLOSED-SD7) (not (NOT-CLOSED-SD7)) ) ) (:action CLOSE-SD6 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD6) ) :effect (and (CLOSED-SD6) (not (NOT-CLOSED-SD6)) ) ) (:action CLOSE-SD5 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD5) ) :effect (and (CLOSED-SD5) (not (NOT-CLOSED-SD5)) ) ) (:action CLOSE-SD4 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD4) ) :effect (and (CLOSED-SD4) (not (NOT-CLOSED-SD4)) ) ) (:action CLOSE-SD3 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD3) ) :effect (and (CLOSED-SD3) (not (NOT-CLOSED-SD3)) ) ) (:action CLOSE-SD2 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD2) ) :effect (and (CLOSED-SD2) (not (NOT-CLOSED-SD2)) ) ) (:action CLOSE-SD1 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-SD1) ) :effect (and (CLOSED-SD1) (not (NOT-CLOSED-SD1)) ) ) (:action CLOSE-CB3 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-CB3) ) :effect (and (CLOSED-CB3) (not (NOT-CLOSED-CB3)) ) ) (:action CLOSE-CB2 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-CB2) ) :effect (and (CLOSED-CB2) (not (NOT-CLOSED-CB2)) ) ) (:action CLOSE-CB1 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (NOT-CLOSED-CB1) ) :effect (and (CLOSED-CB1) (not (NOT-CLOSED-CB1)) ) ) (:action OPEN-SD13 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD13) ) :effect (and (NOT-CLOSED-SD13) (not (CLOSED-SD13)) ) ) (:action OPEN-SD12 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD12) ) :effect (and (NOT-CLOSED-SD12) (not (CLOSED-SD12)) ) ) (:action OPEN-SD11 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD11) ) :effect (and (NOT-CLOSED-SD11) (not (CLOSED-SD11)) ) ) (:action OPEN-SD10 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD10) ) :effect (and (NOT-CLOSED-SD10) (not (CLOSED-SD10)) ) ) (:action OPEN-SD9 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD9) ) :effect (and (NOT-CLOSED-SD9) (not (CLOSED-SD9)) ) ) (:action OPEN-SD8 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD8) ) :effect (and (NOT-CLOSED-SD8) (not (CLOSED-SD8)) ) ) (:action OPEN-SD6 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD6) ) :effect (and (NOT-CLOSED-SD6) (not (CLOSED-SD6)) ) ) (:action OPEN-SD5 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD5) ) :effect (and (NOT-CLOSED-SD5) (not (CLOSED-SD5)) ) ) (:action OPEN-SD4 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD4) ) :effect (and (NOT-CLOSED-SD4) (not (CLOSED-SD4)) ) ) (:action OPEN-SD2 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD2) ) :effect (and (NOT-CLOSED-SD2) (not (CLOSED-SD2)) ) ) (:action OPEN-SD1 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-SD1) ) :effect (and (NOT-CLOSED-SD1) (not (CLOSED-SD1)) ) ) (:action OPEN-CB3 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-CB3) ) :effect (and (NOT-CLOSED-CB3) (not (CLOSED-CB3)) ) ) (:action OPEN-CB2 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-CB2) ) :effect (and (NOT-CLOSED-CB2) (not (CLOSED-CB2)) ) ) (:action OPEN-CB1 :parameters () :precondition (and (NOT-AFFECTED-EARTH) (NOT-AFFECTED-CB1) (NOT-AFFECTED-CB2) (NOT-AFFECTED-CB3) (NOT-AFFECTED-SD1) (NOT-AFFECTED-SD2) (NOT-AFFECTED-SD3) (NOT-AFFECTED-SD4) (NOT-AFFECTED-SD5) (NOT-AFFECTED-SD6) (NOT-AFFECTED-SD7) (NOT-AFFECTED-SD8) (NOT-AFFECTED-SD9) (NOT-AFFECTED-SD10) (NOT-AFFECTED-SD11) (NOT-AFFECTED-SD12) (NOT-AFFECTED-SD13) (CLOSED-CB1) ) :effect (and (NOT-CLOSED-CB1) (not (CLOSED-CB1)) ) ) (:action WAIT-1 :parameters () :precondition (and (AFFECTED-CB1) ) :effect (and (when (and (AFFECTED-CB1) ) (and (NOT-CLOSED-CB1) (not (CLOSED-CB1)) ) ) (when (and (AFFECTED-CB2) ) (and (NOT-CLOSED-CB2) (not (CLOSED-CB2)) ) ) (when (and (AFFECTED-CB3) ) (and (NOT-CLOSED-CB3) (not (CLOSED-CB3)) ) ) ) ) (:derived (UPSTREAM-SD7-SIDE1-CB1-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD6-SIDE1-CB1-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD5-SIDE2-CB1-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD4-SIDE2-CB1-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD3-SIDE1-CB2-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD2-SIDE1-CB2-SIDE2) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD1-SIDE1-CB2-SIDE2) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-CB2-SIDE1-CB1-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-CB1-SIDE1-CB2-SIDE2) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (FED-L4) (and (CLOSED-SD4) (UPSTREAM-CB1-SIDE1-SD4-SIDE1) ) ) (:derived (FED-L1) (and (CLOSED-SD1) (UPSTREAM-CB2-SIDE1-SD1-SIDE2) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD1-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD1-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD1-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD1-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD4-SIDE1) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD4-SIDE1) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD4-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD1-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD4-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (FED-L5) (and (CLOSED-SD5) (UPSTREAM-CB1-SIDE1-SD5-SIDE1) ) ) (:derived (FED-L2) (and (CLOSED-SD2) (UPSTREAM-CB2-SIDE1-SD2-SIDE2) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD2-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD2-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD2-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD2-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD5-SIDE1) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD5-SIDE1) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD5-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD2-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD5-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (FED-L6) (and (CLOSED-SD6) (UPSTREAM-CB1-SIDE1-SD6-SIDE2) ) ) (:derived (FED-L3) (and (CLOSED-SD3) (UPSTREAM-CB2-SIDE1-SD3-SIDE2) ) ) (:derived (UPSTREAM-SD13-SIDE2-CB2-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD13-SIDE2-CB1-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD12-SIDE1-CB2-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD11-SIDE2-CB2-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE2-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD10-SIDE2-CB2-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD9-SIDE1-CB2-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD8-SIDE1-CB2-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD7-SIDE2-CB2-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE2-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD3-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD3-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD3-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD3-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD6-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD6-SIDE2) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD6-SIDE2) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-CB3-SIDE1-CB2-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD3-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD6-SIDE2) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (FED-L10) (and (CLOSED-SD9) (UPSTREAM-CB2-SIDE1-SD9-SIDE2) ) ) (:derived (FED-L9) (and (CLOSED-SD8) (UPSTREAM-CB2-SIDE1-SD8-SIDE2) ) ) (:derived (FED-L7) (and (CLOSED-SD7) (UPSTREAM-CB1-SIDE1-SD7-SIDE2) ) ) (:derived (FED-L4) (and (CLOSED-SD4) (UPSTREAM-CB3-SIDE1-SD4-SIDE1) ) ) (:derived (UNSAFE-CB3-SIDE1) (and (UNSAFE-SD8-SIDE2) (CLOSED-CB3) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD4-SIDE1) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD1-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD4-SIDE1) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD12-SIDE1-CB1-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD11-SIDE2-SD4-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE2-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD11-SIDE1-CB1-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD4-SIDE1) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD10-SIDE1-CB1-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD9-SIDE2-CB1-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD4-SIDE1) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD8-SIDE2-CB1-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD4-SIDE1) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD7-SIDE2-SD4-SIDE1) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE2-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD9-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD7-SIDE1-SD10-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD7-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD7-SIDE1-SD10-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD9-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD6-SIDE1-SD10-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD6-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD6-SIDE1-SD10-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD9-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD5-SIDE2-SD10-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD5-SIDE2-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD5-SIDE2-SD10-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD9-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD4-SIDE2-SD10-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD4-SIDE2-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD4-SIDE2-SD10-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD3-SIDE2-CB1-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD7-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD3-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD3-SIDE1-SD8-SIDE1) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-EARTH-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD7-SIDE2) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD2-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD2-SIDE1-SD8-SIDE1) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD2-SIDE1-EARTH-SIDE2) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD7-SIDE2) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD1-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD1-SIDE1-SD8-SIDE1) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD1-SIDE1-EARTH-SIDE2) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD4-SIDE1) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-CB3-SIDE1-CB1-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD9-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB2-SIDE1-SD10-SIDE1) (CLOSED-CB2) ) ) (:derived (UPSTREAM-CB2-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB2-SIDE1-SD10-SIDE1) (CLOSED-CB2) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD7-SIDE2) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-CB1-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-CB1-SIDE1-SD8-SIDE1) (CLOSED-CB1) ) ) (:derived (UPSTREAM-CB1-SIDE1-EARTH-SIDE2) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (FED-L14) (and (CLOSED-SD13) (UPSTREAM-CB1-SIDE1-SD13-SIDE1) ) ) (:derived (FED-L13) (and (CLOSED-SD12) (UPSTREAM-CB1-SIDE1-SD12-SIDE2) ) ) (:derived (FED-L12) (and (CLOSED-SD11) (UPSTREAM-CB1-SIDE1-SD11-SIDE2) ) ) (:derived (FED-L11) (and (CLOSED-SD10) (UPSTREAM-CB1-SIDE1-SD10-SIDE2) ) ) (:derived (FED-L8) (and (CLOSED-SD10) (UPSTREAM-CB2-SIDE1-SD10-SIDE1) ) ) (:derived (FED-L8) (and (CLOSED-SD8) (UPSTREAM-CB1-SIDE1-SD8-SIDE1) ) ) (:derived (FED-L5) (and (CLOSED-SD5) (UPSTREAM-CB3-SIDE1-SD5-SIDE1) ) ) (:derived (FED-L1) (and (CLOSED-SD1) (UPSTREAM-CB3-SIDE1-SD1-SIDE2) ) ) (:derived (UNSAFE-SD12-SIDE1) (and (UNSAFE-SD10-SIDE1) (CLOSED-SD12) ) ) (:derived (UNSAFE-SD11-SIDE1) (and (UNSAFE-SD10-SIDE1) (CLOSED-SD11) ) ) (:derived (UNSAFE-SD10-SIDE1) (and (UNSAFE-SD8-SIDE2) (CLOSED-SD10) ) ) (:derived (UNSAFE-SD8-SIDE2) (and (CLOSED-SD8) (UNSAFE-SD9-SIDE2) ) ) (:derived (UNSAFE-SD2-SIDE1) (and (CLOSED-SD2) (UNSAFE-SD3-SIDE1) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD5-SIDE1) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD2-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD5-SIDE1) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD1-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD11-SIDE2-SD5-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE2-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD1-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD5-SIDE1) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD10-SIDE1-SD1-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD9-SIDE2-SD1-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD5-SIDE1) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD8-SIDE2-SD1-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD5-SIDE1) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD7-SIDE2-SD5-SIDE1) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE2-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD10-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD7-SIDE1-SD11-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD7-SIDE1-EARTH-SIDE2) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD10-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD6-SIDE1-SD11-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD6-SIDE1-EARTH-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD10-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD5-SIDE2-SD11-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD5-SIDE2-EARTH-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD10-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD4-SIDE2-SD11-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD4-SIDE2-EARTH-SIDE2) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD3-SIDE2-SD1-SIDE2) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE2-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD13-SIDE1) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD3-SIDE1-SD10-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD3-SIDE1-SD10-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD3-SIDE1-SD8-SIDE1) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD8-SIDE1) (and (CLOSED-SD3) (UPSTREAM-SD3-SIDE1-SD9-SIDE1) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD13-SIDE1) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD2-SIDE1-SD10-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD2-SIDE1-SD10-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD2-SIDE1-SD8-SIDE1) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD8-SIDE1) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD9-SIDE1) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD13-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD1-SIDE1-SD10-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD1-SIDE1-SD10-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD1-SIDE1-SD8-SIDE1) (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD8-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD9-SIDE1) (CLOSED-SD9) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD5-SIDE1) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD6-SIDE2) (CLOSED-SD6) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD1-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD2-SIDE2) (CLOSED-SD2) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD10-SIDE1) (and (CLOSED-SD11) (UPSTREAM-CB2-SIDE1-SD11-SIDE1) (CLOSED-CB2) ) ) (:derived (UPSTREAM-CB2-SIDE1-EARTH-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD13-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB1-SIDE1-SD10-SIDE2) (CLOSED-CB1) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB1-SIDE1-SD10-SIDE2) (CLOSED-CB1) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) (UPSTREAM-CB1-SIDE1-SD8-SIDE1) (CLOSED-CB1) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD8-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD9-SIDE1) (CLOSED-SD9) ) ) (:derived (FED-L14) (and (CLOSED-SD13) (UPSTREAM-CB2-SIDE1-SD13-SIDE1) ) ) (:derived (FED-L13) (and (CLOSED-SD12) (UPSTREAM-CB2-SIDE1-SD12-SIDE2) ) ) (:derived (FED-L12) (and (CLOSED-SD7) (UPSTREAM-CB2-SIDE1-SD7-SIDE1) ) ) (:derived (FED-L11) (and (CLOSED-SD11) (UPSTREAM-CB2-SIDE1-SD11-SIDE1) ) ) (:derived (FED-L10) (and (CLOSED-SD3) (UPSTREAM-CB1-SIDE1-SD3-SIDE1) ) ) (:derived (FED-L9) (and (CLOSED-SD9) (UPSTREAM-CB1-SIDE1-SD9-SIDE1) ) ) (:derived (FED-L7) (and (CLOSED-SD7) (UPSTREAM-CB3-SIDE1-SD7-SIDE2) ) ) (:derived (FED-L6) (and (CLOSED-SD6) (UPSTREAM-CB3-SIDE1-SD6-SIDE2) ) ) (:derived (FED-L3) (and (CLOSED-SD3) (UPSTREAM-CB3-SIDE1-SD3-SIDE2) ) ) (:derived (FED-L2) (and (CLOSED-SD2) (UPSTREAM-CB3-SIDE1-SD2-SIDE2) ) ) (:derived (AFFECTED-CB2) (and (UNSAFE-CB2-SIDE1) ) ) (:derived (NOT-UNSAFE-SD11-SIDE1) (and (NOT-UNSAFE-SD12-SIDE2) (NOT-UNSAFE-SD10-SIDE1) ) ) (:derived (NOT-UNSAFE-SD10-SIDE2) (and (NOT-UNSAFE-SD12-SIDE2) (NOT-UNSAFE-SD11-SIDE2) ) ) (:derived (NOT-UNSAFE-SD8-SIDE1) (and (NOT-UNSAFE-SD10-SIDE2) (NOT-UNSAFE-CB3-SIDE2) ) ) (:derived (NOT-UNSAFE-SD5-SIDE2) (and (NOT-UNSAFE-SD6-SIDE1) ) ) (:derived (NOT-UNSAFE-SD4-SIDE2) (and (NOT-UNSAFE-SD5-SIDE2) ) ) (:derived (NOT-UNSAFE-SD3-SIDE1) (and (NOT-UNSAFE-SD9-SIDE1) ) ) (:derived (NOT-UNSAFE-CB3-SIDE1) (and (NOT-UNSAFE-SD10-SIDE2) (NOT-UNSAFE-SD8-SIDE2) ) ) (:derived (NOT-UNSAFE-CB2-SIDE1) (and (NOT-UNSAFE-SD4-SIDE2) ) ) (:derived (NOT-UNSAFE-CB1-SIDE1) (and (NOT-UNSAFE-SD1-SIDE1) ) ) (:derived (NOT-UNSAFE-EARTH-SIDE1) (and (NOT-UNSAFE-SD13-SIDE2) ) ) (:derived (UNSAFE-SD9-SIDE2) (and (CLOSED-SD9) (UNSAFE-SD3-SIDE2) ) ) (:derived (UNSAFE-SD7-SIDE2) (and (CLOSED-SD7) ) ) (:derived (UNSAFE-SD7-SIDE1) (and (CLOSED-SD7) ) ) (:derived (UNSAFE-SD3-SIDE2) (and (CLOSED-SD3) (UNSAFE-SD2-SIDE2) ) ) (:derived (UNSAFE-SD3-SIDE1) (and (CLOSED-SD3) (UNSAFE-SD9-SIDE1) ) ) (:derived (UNSAFE-CB2-SIDE1) (and (CLOSED-CB2) (UNSAFE-SD4-SIDE2) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD6-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD3-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD6-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD2-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD11-SIDE2-SD6-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE2-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD2-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD6-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD10-SIDE1-SD2-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD9-SIDE2-SD2-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE2-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD6-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD8-SIDE2-SD2-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE2-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD6-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD7-SIDE2-SD6-SIDE2) (and (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD13-SIDE1) (and (CLOSED-SD7) (UPSTREAM-SD7-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD12-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD7-SIDE1-SD11-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD7-SIDE1-SD11-SIDE1) (and (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD13-SIDE1) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD12-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD6-SIDE1-SD11-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD11-SIDE1) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE1-SD7-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD13-SIDE1) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD12-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD5-SIDE2-SD11-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD11-SIDE1) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD7-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD13-SIDE1) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD12-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD4-SIDE2-SD11-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD11-SIDE1) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD7-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-SD3-SIDE2-SD2-SIDE2) (and (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD3-SIDE1-SD9-SIDE1) (and (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD9-SIDE1) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE1-SD3-SIDE1) (CLOSED-SD3) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD9-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD3-SIDE1) (CLOSED-SD3) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD6-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD7-SIDE2) (CLOSED-SD7) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD2-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD3-SIDE2) (CLOSED-SD3) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD13-SIDE1) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD12-SIDE2) (and (CLOSED-SD11) (UPSTREAM-CB2-SIDE1-SD11-SIDE1) (CLOSED-CB2) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD11-SIDE1) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD7-SIDE1) (CLOSED-SD7) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD9-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD3-SIDE1) (CLOSED-SD3) ) ) (:derived (NOT-AFFECTED-SD13) (and (NOT-UNSAFE-SD13-SIDE1) (NOT-UNSAFE-SD13-SIDE2) ) ) (:derived (NOT-AFFECTED-SD12) (and (NOT-UNSAFE-SD12-SIDE1) (NOT-UNSAFE-SD12-SIDE2) ) ) (:derived (NOT-AFFECTED-SD11) (and (NOT-UNSAFE-SD11-SIDE1) (NOT-UNSAFE-SD11-SIDE2) ) ) (:derived (NOT-AFFECTED-SD10) (and (NOT-UNSAFE-SD10-SIDE1) (NOT-UNSAFE-SD10-SIDE2) ) ) (:derived (NOT-AFFECTED-SD9) (and (NOT-UNSAFE-SD9-SIDE1) (NOT-UNSAFE-SD9-SIDE2) ) ) (:derived (NOT-AFFECTED-SD8) (and (NOT-UNSAFE-SD8-SIDE1) (NOT-UNSAFE-SD8-SIDE2) ) ) (:derived (NOT-AFFECTED-SD6) (and (NOT-UNSAFE-SD6-SIDE1) (NOT-UNSAFE-SD6-SIDE2) ) ) (:derived (NOT-AFFECTED-SD5) (and (NOT-UNSAFE-SD5-SIDE1) (NOT-UNSAFE-SD5-SIDE2) ) ) (:derived (NOT-AFFECTED-SD4) (and (NOT-UNSAFE-SD4-SIDE1) (NOT-UNSAFE-SD4-SIDE2) ) ) (:derived (NOT-AFFECTED-SD2) (and (NOT-UNSAFE-SD2-SIDE1) (NOT-UNSAFE-SD2-SIDE2) ) ) (:derived (NOT-AFFECTED-SD1) (and (NOT-UNSAFE-SD1-SIDE1) (NOT-UNSAFE-SD1-SIDE2) ) ) (:derived (NOT-AFFECTED-CB3) (and (NOT-UNSAFE-CB3-SIDE1) (NOT-UNSAFE-CB3-SIDE2) ) ) (:derived (NOT-AFFECTED-CB2) (and (NOT-UNSAFE-CB2-SIDE1) (NOT-UNSAFE-CB2-SIDE2) ) ) (:derived (NOT-AFFECTED-CB1) (and (NOT-UNSAFE-CB1-SIDE1) (NOT-UNSAFE-CB1-SIDE2) ) ) (:derived (AFFECTED-CB3) (and (UNSAFE-CB3-SIDE1) ) ) (:derived (NOT-UNSAFE-SD13-SIDE2) (and (NOT-CLOSED-SD13) ) ) (:derived (NOT-UNSAFE-SD13-SIDE1) (and (NOT-CLOSED-SD13) ) ) (:derived (NOT-UNSAFE-SD12-SIDE2) (and (NOT-CLOSED-SD12) ) ) (:derived (NOT-UNSAFE-SD12-SIDE1) (and (NOT-CLOSED-SD12) ) ) (:derived (NOT-UNSAFE-SD12-SIDE1) (and (NOT-UNSAFE-SD11-SIDE2) (NOT-UNSAFE-SD10-SIDE1) ) ) (:derived (NOT-UNSAFE-SD11-SIDE2) (and (NOT-CLOSED-SD11) ) ) (:derived (NOT-UNSAFE-SD11-SIDE1) (and (NOT-CLOSED-SD11) ) ) (:derived (NOT-UNSAFE-SD10-SIDE2) (and (NOT-CLOSED-SD10) ) ) (:derived (NOT-UNSAFE-SD10-SIDE1) (and (NOT-CLOSED-SD10) ) ) (:derived (NOT-UNSAFE-SD9-SIDE2) (and (NOT-CLOSED-SD9) ) ) (:derived (NOT-UNSAFE-SD9-SIDE1) (and (NOT-CLOSED-SD9) ) ) (:derived (NOT-UNSAFE-SD9-SIDE1) (and (NOT-UNSAFE-SD8-SIDE1) ) ) (:derived (NOT-UNSAFE-SD8-SIDE2) (and (NOT-CLOSED-SD8) ) ) (:derived (NOT-UNSAFE-SD8-SIDE1) (and (NOT-CLOSED-SD8) ) ) (:derived (NOT-UNSAFE-SD6-SIDE2) (and (NOT-CLOSED-SD6) ) ) (:derived (NOT-UNSAFE-SD6-SIDE1) (and (NOT-CLOSED-SD6) ) ) (:derived (NOT-UNSAFE-SD5-SIDE2) (and (NOT-CLOSED-SD5) ) ) (:derived (NOT-UNSAFE-SD5-SIDE1) (and (NOT-CLOSED-SD5) ) ) (:derived (NOT-UNSAFE-SD4-SIDE2) (and (NOT-CLOSED-SD4) ) ) (:derived (NOT-UNSAFE-SD4-SIDE1) (and (NOT-CLOSED-SD4) ) ) (:derived (NOT-UNSAFE-SD3-SIDE2) (and (NOT-UNSAFE-SD2-SIDE2) ) ) (:derived (NOT-UNSAFE-SD2-SIDE2) (and (NOT-CLOSED-SD2) ) ) (:derived (NOT-UNSAFE-SD2-SIDE1) (and (NOT-CLOSED-SD2) ) ) (:derived (NOT-UNSAFE-SD1-SIDE2) (and (NOT-CLOSED-SD1) ) ) (:derived (NOT-UNSAFE-SD1-SIDE1) (and (NOT-CLOSED-SD1) ) ) (:derived (NOT-UNSAFE-CB3-SIDE1) (and (NOT-CLOSED-CB3) ) ) (:derived (NOT-UNSAFE-CB2-SIDE1) (and (NOT-CLOSED-CB2) ) ) (:derived (NOT-UNSAFE-CB1-SIDE1) (and (NOT-CLOSED-CB1) ) ) (:derived (UNSAFE-SD9-SIDE1) (and (CLOSED-SD9) (UNSAFE-SD8-SIDE1) ) ) (:derived (UNSAFE-SD8-SIDE1) (and (UNSAFE-SD10-SIDE2) (CLOSED-SD8) ) ) (:derived (UNSAFE-SD4-SIDE2) (and (CLOSED-SD4) (UNSAFE-SD5-SIDE2) ) ) (:derived (UNSAFE-CB3-SIDE1) (and (UNSAFE-SD10-SIDE2) (CLOSED-CB3) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD9-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD13-SIDE2-SD10-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD7-SIDE2) (and (CLOSED-SD13) (UPSTREAM-SD13-SIDE2-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD13-SIDE2-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD13-SIDE2-SD10-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD3-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD3-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD6-SIDE2-CB2-SIDE2) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE2-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (AFFECTED-CB1) (and (UNSAFE-CB1-SIDE1) ) ) (:derived (NOT-UNSAFE-SD10-SIDE1) (and (NOT-UNSAFE-SD8-SIDE2) (NOT-UNSAFE-CB3-SIDE2) ) ) (:derived (NOT-UNSAFE-SD8-SIDE2) (and (NOT-UNSAFE-SD9-SIDE2) ) ) (:derived (NOT-UNSAFE-SD2-SIDE1) (and (NOT-UNSAFE-SD3-SIDE1) ) ) (:derived (UNSAFE-SD11-SIDE1) (and (UNSAFE-SD12-SIDE2) (CLOSED-SD11) ) ) (:derived (UNSAFE-SD10-SIDE2) (and (UNSAFE-SD11-SIDE2) (CLOSED-SD10) ) ) (:derived (UNSAFE-SD10-SIDE2) (and (UNSAFE-SD12-SIDE2) (CLOSED-SD10) ) ) (:derived (UNSAFE-SD5-SIDE2) (and (CLOSED-SD5) (UNSAFE-SD6-SIDE1) ) ) (:derived (UNSAFE-CB1-SIDE1) (and (CLOSED-CB1) (UNSAFE-SD1-SIDE1) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD11-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD13-SIDE2-SD12-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD10-SIDE1) (and (CLOSED-SD12) (UPSTREAM-SD13-SIDE2-SD12-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD12-SIDE2-EARTH-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE2-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD9-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD12-SIDE1-SD10-SIDE1) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD7-SIDE2) (and (CLOSED-SD12) (UPSTREAM-SD12-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD12-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD12-SIDE1-SD10-SIDE1) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD9-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD11-SIDE1-SD10-SIDE1) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD11-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD11-SIDE1-SD10-SIDE1) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD11-SIDE1-EARTH-SIDE2) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD7-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD10-SIDE2-EARTH-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD10-SIDE1-SD3-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD7-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD9-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD9-SIDE1-SD8-SIDE1) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-EARTH-SIDE2) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD8-SIDE2-SD3-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE2-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD7-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD8-SIDE1-EARTH-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD6-SIDE2-SD4-SIDE1) (and (CLOSED-SD6) (UPSTREAM-SD6-SIDE2-SD5-SIDE1) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD5-SIDE1-CB2-SIDE2) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE1-SD4-SIDE1) (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD2-SIDE2-CB1-SIDE2) (and (CLOSED-SD2) (UPSTREAM-SD2-SIDE2-SD1-SIDE2) (CLOSED-SD1) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD7-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD11-SIDE2) (CLOSED-SD11) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD3-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD9-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-CB3-SIDE1-EARTH-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD13-SIDE1) (CLOSED-SD13) ) ) (:derived (NOT-AFFECTED-SD7) (and (NOT-UNSAFE-SD7-SIDE1) (NOT-UNSAFE-SD7-SIDE2) ) ) (:derived (NOT-AFFECTED-SD3) (and (NOT-UNSAFE-SD3-SIDE1) (NOT-UNSAFE-SD3-SIDE2) ) ) (:derived (NOT-AFFECTED-EARTH) (and (NOT-UNSAFE-EARTH-SIDE1) (NOT-UNSAFE-EARTH-SIDE2) ) ) (:derived (FED-L14) (and (CLOSED-SD13) (UPSTREAM-CB3-SIDE1-SD13-SIDE1) ) ) (:derived (FED-L13) (and (CLOSED-SD12) (UPSTREAM-CB3-SIDE1-SD12-SIDE2) ) ) (:derived (FED-L12) (and (CLOSED-SD11) (UPSTREAM-CB3-SIDE1-SD11-SIDE2) ) ) (:derived (FED-L11) (and (CLOSED-SD10) (UPSTREAM-CB3-SIDE1-SD10-SIDE2) ) ) (:derived (FED-L10) (and (CLOSED-SD9) (UPSTREAM-CB3-SIDE1-SD9-SIDE2) ) ) (:derived (FED-L9) (and (CLOSED-SD8) (UPSTREAM-CB3-SIDE1-SD8-SIDE2) ) ) (:derived (FED-L8) (and (CLOSED-CB3) ) ) (:derived (FED-L7) (and (CLOSED-SD6) (UPSTREAM-CB2-SIDE1-SD6-SIDE1) ) ) (:derived (FED-L6) (and (CLOSED-SD5) (UPSTREAM-CB2-SIDE1-SD5-SIDE2) ) ) (:derived (FED-L5) (and (CLOSED-SD4) (UPSTREAM-CB2-SIDE1-SD4-SIDE2) ) ) (:derived (FED-L4) (and (CLOSED-CB2) ) ) (:derived (FED-L3) (and (CLOSED-SD2) (UPSTREAM-CB1-SIDE1-SD2-SIDE1) ) ) (:derived (FED-L2) (and (CLOSED-SD1) (UPSTREAM-CB1-SIDE1-SD1-SIDE1) ) ) (:derived (FED-L1) (and (CLOSED-CB1) ) ) (:derived (NOT-UNSAFE-SD13-SIDE1) (and (NOT-UNSAFE-EARTH-SIDE2) ) ) (:derived (NOT-UNSAFE-SD9-SIDE2) (and (NOT-UNSAFE-SD3-SIDE2) ) ) (:derived (NOT-UNSAFE-SD7-SIDE2) (and (NOT-CLOSED-SD7) ) ) (:derived (NOT-UNSAFE-SD7-SIDE1) (and (NOT-CLOSED-SD7) ) ) (:derived (NOT-UNSAFE-SD6-SIDE2) (and (NOT-UNSAFE-SD5-SIDE1) ) ) (:derived (NOT-UNSAFE-SD5-SIDE1) (and (NOT-UNSAFE-SD4-SIDE1) ) ) (:derived (NOT-UNSAFE-SD4-SIDE1) (and (NOT-UNSAFE-CB2-SIDE2) ) ) (:derived (NOT-UNSAFE-SD3-SIDE2) (and (NOT-CLOSED-SD3) ) ) (:derived (NOT-UNSAFE-SD3-SIDE1) (and (NOT-CLOSED-SD3) ) ) (:derived (NOT-UNSAFE-SD1-SIDE2) (and (NOT-UNSAFE-CB1-SIDE2) ) ) (:derived (NOT-UNSAFE-CB3-SIDE2) (foo) ) (:derived (NOT-UNSAFE-CB2-SIDE2) (foo) ) (:derived (NOT-UNSAFE-CB1-SIDE2) (foo) ) (:derived (NOT-UNSAFE-EARTH-SIDE2) (foo) ) (:derived (NOT-UNSAFE-EARTH-SIDE1) (foo) ) (:derived (UNSAFE-SD13-SIDE2) (and (CLOSED-SD13) ) ) (:derived (UNSAFE-SD12-SIDE2) (and (CLOSED-SD12) ) ) (:derived (UNSAFE-SD12-SIDE1) (and (UNSAFE-SD11-SIDE2) (CLOSED-SD12) ) ) (:derived (UNSAFE-SD11-SIDE2) (and (CLOSED-SD11) ) ) (:derived (UNSAFE-SD6-SIDE1) (and (CLOSED-SD6) ) ) (:derived (UNSAFE-SD2-SIDE2) (and (CLOSED-SD2) ) ) (:derived (UNSAFE-SD1-SIDE1) (and (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD13-SIDE2-SD12-SIDE1) (and (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD13-SIDE1-EARTH-SIDE2) (and (CLOSED-SD13) ) ) (:derived (UPSTREAM-SD12-SIDE2-SD13-SIDE1) (and (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD11-SIDE2) (and (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD12-SIDE1-SD10-SIDE1) (and (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD11-SIDE2-SD7-SIDE2) (and (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD13-SIDE1) (and (CLOSED-SD11) (UPSTREAM-SD11-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD12-SIDE2) (and (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD11-SIDE1-SD10-SIDE1) (and (CLOSED-SD11) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD13-SIDE1) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE2-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD12-SIDE2) (and (CLOSED-SD10) ) ) (:derived (UPSTREAM-SD10-SIDE2-SD11-SIDE2) (and (CLOSED-SD10) ) ) (:derived (UPSTREAM-SD10-SIDE1-SD9-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD10-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD10-SIDE1-SD8-SIDE2) (and (CLOSED-SD10) ) ) (:derived (UPSTREAM-SD10-SIDE1-CB3-SIDE2) (and (CLOSED-SD10) ) ) (:derived (UPSTREAM-SD9-SIDE2-SD3-SIDE2) (and (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD13-SIDE1) (and (CLOSED-SD9) (UPSTREAM-SD9-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD9-SIDE1-SD10-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD9-SIDE1-SD10-SIDE2) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) (UPSTREAM-SD9-SIDE1-SD8-SIDE1) (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD9-SIDE1-SD8-SIDE1) (and (CLOSED-SD9) ) ) (:derived (UPSTREAM-SD8-SIDE2-SD9-SIDE2) (and (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD13-SIDE1) (and (CLOSED-SD8) (UPSTREAM-SD8-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD8-SIDE1-SD10-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-SD8-SIDE1-SD10-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD8-SIDE1-SD10-SIDE2) (and (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD8-SIDE1-CB3-SIDE2) (and (CLOSED-SD8) ) ) (:derived (UPSTREAM-SD6-SIDE2-SD5-SIDE1) (and (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD6-SIDE1-SD7-SIDE1) (and (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD7-SIDE1) (and (CLOSED-SD5) (UPSTREAM-SD5-SIDE2-SD6-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD5-SIDE2-SD6-SIDE1) (and (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD5-SIDE1-SD4-SIDE1) (and (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD7-SIDE1) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD6-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD6-SIDE1) (and (CLOSED-SD4) (UPSTREAM-SD4-SIDE2-SD5-SIDE2) (CLOSED-SD5) ) ) (:derived (UPSTREAM-SD4-SIDE2-SD5-SIDE2) (and (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD4-SIDE1-CB2-SIDE2) (and (CLOSED-SD4) ) ) (:derived (UPSTREAM-SD2-SIDE2-SD1-SIDE2) (and (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD2-SIDE1-SD3-SIDE1) (and (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD1-SIDE2-CB1-SIDE2) (and (CLOSED-SD1) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD3-SIDE1) (and (CLOSED-SD1) (UPSTREAM-SD1-SIDE1-SD2-SIDE1) (CLOSED-SD2) ) ) (:derived (UPSTREAM-SD1-SIDE1-SD2-SIDE1) (and (CLOSED-SD1) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD13-SIDE1) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD12-SIDE2) (CLOSED-SD12) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD12-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB3-SIDE1-SD10-SIDE2) (CLOSED-CB3) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD11-SIDE2) (and (CLOSED-SD10) (UPSTREAM-CB3-SIDE1-SD10-SIDE2) (CLOSED-CB3) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD10-SIDE2) (and (CLOSED-CB3) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD9-SIDE2) (and (CLOSED-CB3) (UPSTREAM-CB3-SIDE1-SD8-SIDE2) (CLOSED-SD8) ) ) (:derived (UPSTREAM-CB3-SIDE1-SD8-SIDE2) (and (CLOSED-CB3) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD7-SIDE1) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD6-SIDE1) (CLOSED-SD6) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD6-SIDE1) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD5-SIDE2) (CLOSED-SD5) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD5-SIDE2) (and (CLOSED-CB2) (UPSTREAM-CB2-SIDE1-SD4-SIDE2) (CLOSED-SD4) ) ) (:derived (UPSTREAM-CB2-SIDE1-SD4-SIDE2) (and (CLOSED-CB2) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD3-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD2-SIDE1) (CLOSED-SD2) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD2-SIDE1) (and (CLOSED-CB1) (UPSTREAM-CB1-SIDE1-SD1-SIDE1) (CLOSED-SD1) ) ) (:derived (UPSTREAM-CB1-SIDE1-SD1-SIDE1) (and (CLOSED-CB1) ) ) (:derived (NOT-AFFECTED-SD13) (foo) ) (:derived (NOT-AFFECTED-SD12) (foo) ) (:derived (NOT-AFFECTED-SD11) (foo) ) (:derived (NOT-AFFECTED-SD10) (foo) ) (:derived (NOT-AFFECTED-SD9) (foo) ) (:derived (NOT-AFFECTED-SD8) (foo) ) (:derived (NOT-AFFECTED-SD7) (foo) ) (:derived (NOT-AFFECTED-SD6) (foo) ) (:derived (NOT-AFFECTED-SD5) (foo) ) (:derived (NOT-AFFECTED-SD4) (foo) ) (:derived (NOT-AFFECTED-SD3) (foo) ) (:derived (NOT-AFFECTED-SD2) (foo) ) (:derived (NOT-AFFECTED-SD1) (foo) ) (:derived (NOT-AFFECTED-EARTH) (foo) ) )