(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument instrument1 - instrument instrument2 - instrument instrument3 - instrument instrument4 - instrument instrument5 - instrument instrument6 - instrument instrument7 - instrument instrument8 - instrument instrument9 - instrument satellite1 - satellite instrument10 - instrument instrument11 - instrument instrument12 - instrument instrument13 - instrument instrument14 - instrument instrument15 - instrument satellite2 - satellite instrument16 - instrument instrument17 - instrument instrument18 - instrument instrument19 - instrument satellite3 - satellite instrument20 - instrument instrument21 - instrument satellite4 - satellite instrument22 - instrument instrument23 - instrument instrument24 - instrument instrument25 - instrument instrument26 - instrument instrument27 - instrument instrument28 - instrument spectrograph6 - mode infrared1 - mode thermograph8 - mode infrared5 - mode image3 - mode infrared9 - mode image2 - mode thermograph7 - mode image4 - mode spectrograph0 - mode Star0 - direction Star2 - direction Star4 - direction GroundStation3 - direction GroundStation1 - direction Phenomenon5 - direction Star6 - direction Planet7 - direction Phenomenon8 - direction Planet9 - direction Star10 - direction Star11 - direction Phenomenon12 - direction Planet13 - direction Phenomenon14 - direction Planet15 - direction Star16 - direction Planet17 - direction Planet18 - direction Phenomenon19 - direction Star20 - direction Phenomenon21 - direction Planet22 - direction Star23 - direction Star24 - direction ) (:init (supports instrument0 image3) (calibration_target instrument0 Star2) (supports instrument1 infrared9) (calibration_target instrument1 Star4) (supports instrument2 thermograph8) (supports instrument2 image2) (supports instrument2 image4) (calibration_target instrument2 Star4) (supports instrument3 infrared9) (calibration_target instrument3 Star0) (supports instrument4 image3) (supports instrument4 thermograph8) (calibration_target instrument4 GroundStation3) (supports instrument5 infrared9) (supports instrument5 image4) (calibration_target instrument5 GroundStation3) (supports instrument6 infrared1) (calibration_target instrument6 GroundStation3) (supports instrument7 thermograph8) (supports instrument7 spectrograph6) (calibration_target instrument7 GroundStation1) (supports instrument8 spectrograph0) (supports instrument8 infrared9) (supports instrument8 thermograph7) (calibration_target instrument8 Star2) (supports instrument9 thermograph7) (calibration_target instrument9 Star4) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (on_board instrument3 satellite0) (on_board instrument4 satellite0) (on_board instrument5 satellite0) (on_board instrument6 satellite0) (on_board instrument7 satellite0) (on_board instrument8 satellite0) (on_board instrument9 satellite0) (power_avail satellite0) (pointing satellite0 GroundStation1) (supports instrument10 infrared1) (supports instrument10 thermograph8) (supports instrument10 spectrograph6) (calibration_target instrument10 Star4) (supports instrument11 image4) (supports instrument11 thermograph7) (supports instrument11 infrared1) (calibration_target instrument11 GroundStation3) (supports instrument12 infrared9) (supports instrument12 thermograph8) (supports instrument12 infrared5) (calibration_target instrument12 GroundStation3) (supports instrument13 image2) (supports instrument13 infrared1) (calibration_target instrument13 Star4) (supports instrument14 image3) (calibration_target instrument14 GroundStation3) (supports instrument15 thermograph7) (calibration_target instrument15 Star2) (on_board instrument10 satellite1) (on_board instrument11 satellite1) (on_board instrument12 satellite1) (on_board instrument13 satellite1) (on_board instrument14 satellite1) (on_board instrument15 satellite1) (power_avail satellite1) (pointing satellite1 Phenomenon19) (supports instrument16 infrared9) (supports instrument16 image2) (calibration_target instrument16 Star4) (supports instrument17 infrared5) (calibration_target instrument17 Star0) (supports instrument18 infrared9) (calibration_target instrument18 GroundStation1) (supports instrument19 infrared5) (supports instrument19 image2) (calibration_target instrument19 GroundStation3) (on_board instrument16 satellite2) (on_board instrument17 satellite2) (on_board instrument18 satellite2) (on_board instrument19 satellite2) (power_avail satellite2) (pointing satellite2 Phenomenon14) (supports instrument20 image2) (supports instrument20 image3) (supports instrument20 image4) (calibration_target instrument20 GroundStation1) (supports instrument21 image3) (supports instrument21 thermograph8) (supports instrument21 infrared5) (calibration_target instrument21 Star2) (on_board instrument20 satellite3) (on_board instrument21 satellite3) (power_avail satellite3) (pointing satellite3 Star10) (supports instrument22 thermograph8) (supports instrument22 infrared5) (calibration_target instrument22 Star4) (supports instrument23 thermograph8) (supports instrument23 image3) (calibration_target instrument23 Star2) (supports instrument24 thermograph8) (calibration_target instrument24 Star2) (supports instrument25 infrared5) (calibration_target instrument25 Star2) (supports instrument26 image3) (calibration_target instrument26 Star4) (supports instrument27 image2) (supports instrument27 infrared9) (calibration_target instrument27 GroundStation3) (supports instrument28 spectrograph0) (supports instrument28 image4) (supports instrument28 thermograph7) (calibration_target instrument28 GroundStation1) (on_board instrument22 satellite4) (on_board instrument23 satellite4) (on_board instrument24 satellite4) (on_board instrument25 satellite4) (on_board instrument26 satellite4) (on_board instrument27 satellite4) (on_board instrument28 satellite4) (power_avail satellite4) (pointing satellite4 Star16) ) (:goal (and (pointing satellite1 Phenomenon19) (have_image Phenomenon5 thermograph8) (have_image Phenomenon5 spectrograph0) (have_image Phenomenon5 image3) (have_image Star6 spectrograph0) (have_image Star6 spectrograph6) (have_image Star6 image3) (have_image Planet7 spectrograph6) (have_image Planet7 infrared5) (have_image Planet7 image2) (have_image Phenomenon8 spectrograph6) (have_image Phenomenon8 infrared5) (have_image Phenomenon8 thermograph7) (have_image Planet9 spectrograph6) (have_image Star10 spectrograph6) (have_image Star11 thermograph7) (have_image Star11 image4) (have_image Star11 image3) (have_image Phenomenon12 image4) (have_image Planet13 infrared5) (have_image Planet13 spectrograph6) (have_image Planet13 image2) (have_image Phenomenon14 thermograph7) (have_image Planet15 image3) (have_image Star16 image3) (have_image Star16 image4) (have_image Planet18 infrared9) (have_image Planet18 infrared5) (have_image Planet18 thermograph7) (have_image Phenomenon19 image2) (have_image Phenomenon19 image4) (have_image Star20 spectrograph0) (have_image Phenomenon21 image4) (have_image Phenomenon21 image2) (have_image Phenomenon21 thermograph7) (have_image Planet22 image2) (have_image Planet22 spectrograph6) (have_image Star23 image2) (have_image Star23 infrared9) (have_image Star24 spectrograph6) (have_image Star24 infrared5) )) )