;; domain D1S1 ;; problem D1S1-1 ( DEFINE ( DOMAIN D1S1 ) (:requirements :adl) (:predicates (I0)(I1)(I2)(I3)(I4)(I5)(I6)(I7)(I8)(I9) (I10)(I11)(I12)(I13)(I14)(I15)(I16)(I17)(I18)(I19)(I20) (G1)(G2)(G3)(G4)(G5)(G6)(G7)(G8)(G9) (G10)(G11)(G12)(G13)(G14)(G15)(G16)(G17)(G18)(G19)(G20)) ( :action A20 :parameters ( ) :precondition ( I20 ) :effect ( AND ( NOT ( I19 ) ) ( G20 ) ) ) ( :action A19 :parameters ( ) :precondition ( I19 ) :effect ( AND ( NOT ( I18 ) ) ( G19 ) ) ) ( :action A18 :parameters ( ) :precondition ( I18 ) :effect ( AND ( NOT ( I17 ) ) ( G18 ) ) ) ( :action A17 :parameters ( ) :precondition ( I17 ) :effect ( AND ( NOT ( I16 ) ) ( G17 ) ) ) ( :action A16 :parameters ( ) :precondition ( I16 ) :effect ( AND ( NOT ( I15 ) ) ( G16 ) ) ) ( :action A15 :parameters ( ) :precondition ( I15 ) :effect ( AND ( NOT ( I14 ) ) ( G15 ) ) ) ( :action A14 :parameters ( ) :precondition ( I14 ) :effect ( AND ( NOT ( I13 ) ) ( G14 ) ) ) ( :action A13 :parameters ( ) :precondition ( I13 ) :effect ( AND ( NOT ( I12 ) ) ( G13 ) ) ) ( :action A12 :parameters ( ) :precondition ( I12 ) :effect ( AND ( NOT ( I11 ) ) ( G12 ) ) ) ( :action A11 :parameters ( ) :precondition ( I11 ) :effect ( AND ( NOT ( I10 ) ) ( G11 ) ) ) ( :action A10 :parameters ( ) :precondition ( I10 ) :effect ( AND ( NOT ( I9 ) ) ( G10 ) ) ) ( :action A9 :parameters ( ) :precondition ( I9 ) :effect ( AND ( NOT ( I8 ) ) ( G9 ) ) ) ( :action A8 :parameters ( ) :precondition ( I8 ) :effect ( AND ( NOT ( I7 ) ) ( G8 ) ) ) ( :action A7 :parameters ( ) :precondition ( I7 ) :effect ( AND ( NOT ( I6 ) ) ( G7 ) ) ) ( :action A6 :parameters ( ) :precondition ( I6 ) :effect ( AND ( NOT ( I5 ) ) ( G6 ) ) ) ( :action A5 :parameters ( ) :precondition ( I5 ) :effect ( AND ( NOT ( I4 ) ) ( G5 ) ) ) ( :action A4 :parameters ( ) :precondition ( I4 ) :effect ( AND ( NOT ( I3 ) ) ( G4 ) ) ) ( :action A3 :parameters ( ) :precondition ( I3 ) :effect ( AND ( NOT ( I2 ) ) ( G3 ) ) ) ( :action A2 :parameters ( ) :precondition ( I2 ) :effect ( AND ( NOT ( I1 ) ) ( G2 ) ) ) ( :action A1 :parameters ( ) :precondition ( I1 ) :effect ( AND ( NOT ( I0 ) ) ( G1 ) ) ) )