(define (problem grounded-STRIPS-PSR-S107-N6-L2-F70) (:domain grounded-STRIPS-PSR) (:init (do-normal) (NOT-UPDATED-CB1) (NOT-UPDATED-CB2) (NOT-UPDATED-CB3) (NOT-UPDATED-CB4) (NOT-UPDATED-CB5) (NOT-UPDATED-CB6) (NOT-CLOSED-SD6) (NOT-CLOSED-SD7) (NOT-CLOSED-SD8) (NOT-CLOSED-SD14) (NOT-CLOSED-SD20) (NOT-CLOSED-SD35) (CLOSED-SD37) (CLOSED-SD36) (CLOSED-SD34) (CLOSED-SD33) (CLOSED-SD32) (CLOSED-SD31) (CLOSED-SD30) (CLOSED-SD29) (CLOSED-SD28) (CLOSED-SD27) (CLOSED-SD26) (CLOSED-SD25) (CLOSED-SD24) (CLOSED-SD23) (CLOSED-SD22) (CLOSED-SD21) (CLOSED-SD19) (CLOSED-SD18) (CLOSED-SD17) (CLOSED-SD16) (CLOSED-SD15) (CLOSED-SD13) (CLOSED-SD12) (CLOSED-SD11) (CLOSED-SD10) (CLOSED-SD9) (CLOSED-SD5) (CLOSED-SD4) (CLOSED-SD3) (CLOSED-SD2) (CLOSED-SD1) (CLOSED-CB6) (CLOSED-CB5) (CLOSED-CB4) (CLOSED-CB3) (CLOSED-CB2) (CLOSED-CB1) ) (:goal (and (do-normal) (CLOSED-CB6) (CLOSED-SD29) (CLOSED-CB5) (UPDATED-CB1) (UPDATED-CB2) (UPDATED-CB3) (UPDATED-CB4) (UPDATED-CB5) (UPDATED-CB6) ) ) )