+new-style. This is the domain dms2-star from [Barrett-Weld 1994]

(operator A1 (params) (preconds (I1)) (effects (P1)))

(operator A2 (params) (preconds (I2)) (effects (P2) (del P1)))

(operator A3 (params) (preconds (I3)) (effects (P3) (del P1)
(del P2))) 

(operator A4 (params) (preconds (I4)) (effects (P4) (del P1)
(del P2) (del P3))) 

(operator A5 (params) (preconds (I5)) (effects (P5) (del P1)
(del P2) (del P3) (del P4))) 

(operator A6 (params) (preconds (I6)) (effects (P6) (del P1)
(del P2) (del P3) (del P4) (del P5))) 

(operator A7 (params) (preconds (I7)) (effects (P7) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6))) 

(operator A8 (params) (preconds (I8)) (effects (P8) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7))) 

(operator A9 (params) (preconds (I9)) (effects (P9) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8))) 

(operator A10 (params) (preconds (I10)) (effects (P10) (del P1) 
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8)
(del P9))) 

(operator A11 (params) (preconds (I11)) (effects (P11) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10)))  

(operator A12 (params) (preconds (I12)) (effects (P12) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11)))  

(operator A13 (params) (preconds (I13)) (effects (P13) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12)))  

(operator A14 (params) (preconds (I14)) (effects (P14) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13)))  

(operator A15 (params) (preconds (I15)) (effects (P15) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14)))  

(operator A16 (params) (preconds (I16)) (effects (P16) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15)))   

(operator A17 (params) (preconds (I17)) (effects (P17) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)))

(operator A18 (params) (preconds (I18)) (effects (P18) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17)))   

(operator A19 (params) (preconds (I19)) (effects (P19) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17) (del P18)))   

(operator A20 (params) (preconds (I20)) (effects (P20)  (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17) (del P18) (del P19)))   

(operator B1 (params) (preconds (P1)) (effects (G1)))

(operator B2 (params) (preconds (P2)) (effects (G2) (del P1)))

(operator B3 (params) (preconds (P3)) (effects (G3) (del P1)
(del P2))) 

(operator B4 (params) (preconds (P4)) (effects (G4) (del P1)
(del P2) (del P3))) 

(operator B5 (params) (preconds (P5)) (effects (G5) (del P1)
(del P2) (del P3) (del P4))) 

(operator B6 (params) (preconds (P6)) (effects (G6) (del P1)
(del P2) (del P3) (del P4) (del P5))) 

(operator B7 (params) (preconds (P7)) (effects (G7) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6))) 

(operator B8 (params) (preconds (P8)) (effects (G8) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7))) 

(operator B9 (params) (preconds (P9)) (effects (G9) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8))) 

(operator B10 (params) (preconds (P10)) (effects (G10) (del P1) 
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8)
(del P9))) 

(operator B11 (params) (preconds (P11)) (effects (G11) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10)))  

(operator B12 (params) (preconds (P12)) (effects (G12) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11)))  

(operator B13 (params) (preconds (P13)) (effects (G13) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12)))  

(operator B14 (params) (preconds (P14)) (effects (G14) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13)))  

(operator B15 (params) (preconds (P15)) (effects (G15) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14)))  

(operator B16 (params) (preconds (P16)) (effects (G16) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15)))   

(operator B17 (params) (preconds (P17)) (effects (G17) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)))

(operator B18 (params) (preconds (P18)) (effects (G18) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17)))   

(operator B19 (params) (preconds (P19)) (effects (G19) (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17) (del P18)))   

(operator B20 (params) (preconds (P20)) (effects (G20)  (del P1)
(del P2) (del P3) (del P4) (del P5) (del P6) (del P7) (del P8) (del P9)
(del P10) (del P11) (del P12) (del P13) (del P14) (del P15) (del P16)
(del P17) (del P18) (del P19)))   


(operator Astar (params) (preconds (Istar)) (effects (Gstar)
(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)
(del G1) (del G2) (del G3) (del G4) (del G5) (del G6) (del G7) (del G8) 
(del G9) (del G10) (del G11) (del G12) (del G13) (del G14) (del G15)
(del G16) (del G17) (del G18) (del G19) (del G20)
