+new-style. This is the domain d1s2 from [Barrett-Weld 1994]
Using A's for A1 and B's for A2

(operator A1 (params) (preconds (I1)) (effects (P1) (del I0)))
(operator A2 (params) (preconds (I2)) (effects (P2) (del I1)))
(operator A3 (params) (preconds (I3)) (effects (P3) (del I2)))
(operator A4 (params) (preconds (I4)) (effects (P4) (del I3)))
(operator A5 (params) (preconds (I5)) (effects (P5) (del I4)))
(operator A6 (params) (preconds (I6)) (effects (P6) (del I5)))
(operator A7 (params) (preconds (I7)) (effects (P7) (del I6)))
(operator A8 (params) (preconds (I8)) (effects (P8) (del I7)))
(operator A9 (params) (preconds (I9)) (effects (P9) (del I8)))
(operator A10 (params) (preconds (I10)) (effects (P10) (del I9)))
(operator A11 (params) (preconds (I11)) (effects (P11) (del I10)))
(operator A12 (params) (preconds (I12)) (effects (P12) (del I11)))
(operator A13 (params) (preconds (I13)) (effects (P13) (del I12)))
(operator A14 (params) (preconds (I14)) (effects (P14) (del I13)))
(operator A15 (params) (preconds (I15)) (effects (P15) (del I14)))
(operator A16 (params) (preconds (I16)) (effects (P16) (del I15)))
(operator A17 (params) (preconds (I17)) (effects (P17) (del I16)))
(operator A18 (params) (preconds (I18)) (effects (P18) (del I17)))
(operator A19 (params) (preconds (I19)) (effects (P19) (del I18)))
(operator A20 (params) (preconds (I20)) (effects (P20) (del I19)))


(operator B1 (params) (preconds (P1)) (effects (G1) (del P0) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B2 (params) (preconds (P2)) (effects (G2) (del P1) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B3 (params) (preconds (P3)) (effects (G3) (del P2) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B4 (params) (preconds (P4)) (effects (G4) (del P3) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B5 (params) (preconds (P5)) (effects (G5) (del P4) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B6 (params) (preconds (P6)) (effects (G6) (del P5) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B7 (params) (preconds (P7)) (effects (G7) (del P6) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B8 (params) (preconds (P8)) (effects (G8) (del P7) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B9 (params) (preconds (P9)) (effects (G9) (del P8) (del I1)
(del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B10 (params) (preconds (P10)) (effects (G10) (del P9) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B11 (params) (preconds (P11)) (effects (G11) (del P10) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B12 (params) (preconds (P12)) (effects (G12) (del P11) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B13 (params) (preconds (P13)) (effects (G13) (del P12) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B14 (params) (preconds (P14)) (effects (G14) (del P13) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B15 (params) (preconds (P15)) (effects (G15) (del P14) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))


(operator B16 (params) (preconds (P16)) (effects (G16) (del P15) (del 
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B17 (params) (preconds (P17)) (effects (G17) (del P16) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B18 (params) (preconds (P18)) (effects (G18) (del P17) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B19 (params) (preconds (P19)) (effects (G19) (del P18) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))

(operator B20 (params) (preconds (P20)) (effects (G20) (del P19) (del
I1) (del I2) (del I3) (del I4) (del I5) (del I6) (del I7) (del I8) 
(del I9) (del I10) (del I11) (del I12) (del I13) (del I14) (del I15)
(del I16) (del I17) (del I18) (del I19) (del I20)))
