(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 instrument0 instrument1 satellite1 instrument2 satellite2 instrument3 instrument4 satellite3 instrument5 satellite4 instrument6 instrument7 instrument8 image4 thermograph1 thermograph0 thermograph2 image3 GroundStation2 Star1 Star4 Star0 GroundStation3 Phenomenon5 Planet6 Planet7 Planet8 Planet9 Planet10 Planet11 Phenomenon12 Planet13 Star14 Planet15 Planet16 Planet17 Phenomenon18 Star19 Planet20 Star21 Star22 Planet23 Planet24 Planet25 Star26 Phenomenon27 Planet28 Planet29 ) (:init (satellite satellite0) (instrument instrument0) (supports instrument0 image4) (calibration_target instrument0 GroundStation3) (instrument instrument1) (supports instrument1 thermograph1) (supports instrument1 image4) (calibration_target instrument1 GroundStation3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (power_avail satellite0) (pointing satellite0 Star19) (satellite satellite1) (instrument instrument2) (supports instrument2 thermograph0) (supports instrument2 image4) (supports instrument2 thermograph2) (calibration_target instrument2 GroundStation3) (on_board instrument2 satellite1) (power_avail satellite1) (pointing satellite1 Planet17) (satellite satellite2) (instrument instrument3) (supports instrument3 image4) (supports instrument3 image3) (calibration_target instrument3 Star1) (instrument instrument4) (supports instrument4 image3) (calibration_target instrument4 GroundStation3) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (power_avail satellite2) (pointing satellite2 Planet7) (satellite satellite3) (instrument instrument5) (supports instrument5 thermograph1) (supports instrument5 image4) (calibration_target instrument5 GroundStation3) (on_board instrument5 satellite3) (power_avail satellite3) (pointing satellite3 Star4) (satellite satellite4) (instrument instrument6) (supports instrument6 image3) (supports instrument6 thermograph1) (supports instrument6 thermograph0) (calibration_target instrument6 Star4) (instrument instrument7) (supports instrument7 thermograph2) (supports instrument7 thermograph0) (calibration_target instrument7 Star0) (instrument instrument8) (supports instrument8 image3) (supports instrument8 thermograph2) (calibration_target instrument8 GroundStation3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (power_avail satellite4) (pointing satellite4 Phenomenon5) (mode image4) (mode thermograph1) (mode thermograph0) (mode thermograph2) (mode image3) (direction GroundStation2) (direction Star1) (direction Star4) (direction Star0) (direction GroundStation3) (direction Phenomenon5) (direction Planet6) (direction Planet7) (direction Planet8) (direction Planet9) (direction Planet10) (direction Planet11) (direction Phenomenon12) (direction Planet13) (direction Star14) (direction Planet15) (direction Planet16) (direction Planet17) (direction Phenomenon18) (direction Star19) (direction Planet20) (direction Star21) (direction Star22) (direction Planet23) (direction Planet24) (direction Planet25) (direction Star26) (direction Phenomenon27) (direction Planet28) (direction Planet29) ) (:goal (and (pointing satellite1 Phenomenon5) (pointing satellite2 Planet11) (pointing satellite4 Planet11) (have_image Phenomenon5 thermograph1) (have_image Planet6 image4) (have_image Planet7 image3) (have_image Planet8 image3) (have_image Planet9 thermograph0) (have_image Planet10 thermograph1) (have_image Planet11 thermograph2) (have_image Phenomenon12 image3) (have_image Planet13 thermograph1) (have_image Star14 image3) (have_image Planet15 thermograph0) (have_image Planet16 image3) (have_image Planet17 image4) (have_image Phenomenon18 image3) (have_image Star19 thermograph0) (have_image Star21 thermograph1) (have_image Star22 image4) (have_image Planet23 thermograph1) (have_image Planet24 thermograph2) (have_image Planet25 thermograph1) (have_image Star26 thermograph0) (have_image Phenomenon27 thermograph1) (have_image Planet28 thermograph2) (have_image Planet29 thermograph0) )) )