(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument instrument1 - instrument instrument2 - instrument satellite1 - satellite instrument3 - instrument instrument4 - instrument satellite2 - satellite instrument5 - instrument instrument6 - instrument instrument7 - instrument satellite3 - satellite instrument8 - instrument instrument9 - instrument satellite4 - satellite instrument10 - instrument instrument11 - instrument instrument12 - instrument satellite5 - satellite instrument13 - instrument instrument14 - instrument satellite6 - satellite instrument15 - instrument instrument16 - instrument instrument17 - instrument image1 - mode spectrograph2 - mode infrared0 - mode Star2 - direction Star0 - direction Star1 - direction Star3 - direction Star4 - direction Phenomenon5 - direction Phenomenon6 - direction Phenomenon7 - direction Phenomenon8 - direction Star9 - direction Star10 - direction Phenomenon11 - direction Star12 - direction Star13 - direction Planet14 - direction Planet15 - direction Star16 - direction Planet17 - direction Phenomenon18 - direction Planet19 - direction Planet20 - direction Star21 - direction Star22 - direction Star23 - direction Star24 - direction Star25 - direction Star26 - direction Star27 - direction Phenomenon28 - direction Star29 - direction Phenomenon30 - direction Planet31 - direction Phenomenon32 - direction Planet33 - direction Phenomenon34 - direction Planet35 - direction Phenomenon36 - direction Star37 - direction Phenomenon38 - direction Star39 - direction Phenomenon40 - direction Planet41 - direction Planet42 - direction Planet43 - direction Phenomenon44 - direction Star45 - direction Planet46 - direction Star47 - direction Planet48 - direction Star49 - direction Star50 - direction Planet51 - direction Star52 - direction ) (:init (supports instrument0 image1) (calibration_target instrument0 Star2) (supports instrument1 infrared0) (supports instrument1 image1) (calibration_target instrument1 Star0) (supports instrument2 image1) (supports instrument2 infrared0) (calibration_target instrument2 Star2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (power_avail satellite0) (pointing satellite0 Star50) (supports instrument3 infrared0) (calibration_target instrument3 Star1) (supports instrument4 spectrograph2) (calibration_target instrument4 Star0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (power_avail satellite1) (pointing satellite1 Planet17) (supports instrument5 image1) (supports instrument5 infrared0) (calibration_target instrument5 Star0) (supports instrument6 infrared0) (supports instrument6 spectrograph2) (supports instrument6 image1) (calibration_target instrument6 Star1) (supports instrument7 spectrograph2) (supports instrument7 infrared0) (calibration_target instrument7 Star1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite2) (power_avail satellite2) (pointing satellite2 Planet14) (supports instrument8 spectrograph2) (supports instrument8 image1) (calibration_target instrument8 Star1) (supports instrument9 infrared0) (calibration_target instrument9 Star1) (on_board instrument8 satellite3) (on_board instrument9 satellite3) (power_avail satellite3) (pointing satellite3 Star3) (supports instrument10 infrared0) (supports instrument10 spectrograph2) (supports instrument10 image1) (calibration_target instrument10 Star2) (supports instrument11 image1) (supports instrument11 infrared0) (supports instrument11 spectrograph2) (calibration_target instrument11 Star0) (supports instrument12 infrared0) (supports instrument12 spectrograph2) (calibration_target instrument12 Star2) (on_board instrument10 satellite4) (on_board instrument11 satellite4) (on_board instrument12 satellite4) (power_avail satellite4) (pointing satellite4 Star2) (supports instrument13 infrared0) (supports instrument13 spectrograph2) (supports instrument13 image1) (calibration_target instrument13 Star2) (supports instrument14 spectrograph2) (supports instrument14 infrared0) (calibration_target instrument14 Star1) (on_board instrument13 satellite5) (on_board instrument14 satellite5) (power_avail satellite5) (pointing satellite5 Planet33) (supports instrument15 infrared0) (calibration_target instrument15 Star2) (supports instrument16 infrared0) (supports instrument16 spectrograph2) (supports instrument16 image1) (calibration_target instrument16 Star0) (supports instrument17 infrared0) (calibration_target instrument17 Star1) (on_board instrument15 satellite6) (on_board instrument16 satellite6) (on_board instrument17 satellite6) (power_avail satellite6) (pointing satellite6 Star0) ) (:goal (and (pointing satellite0 Star10) (pointing satellite1 Phenomenon34) (pointing satellite3 Star2) (pointing satellite4 Planet14) (have_image Star3 infrared0) (have_image Star4 spectrograph2) (have_image Phenomenon5 spectrograph2) (have_image Phenomenon7 spectrograph2) (have_image Phenomenon8 image1) (have_image Star9 spectrograph2) (have_image Star10 spectrograph2) (have_image Phenomenon11 spectrograph2) (have_image Star12 infrared0) (have_image Star13 image1) (have_image Planet14 image1) (have_image Planet15 infrared0) (have_image Star16 image1) (have_image Planet17 spectrograph2) (have_image Phenomenon18 image1) (have_image Planet19 infrared0) (have_image Planet20 image1) (have_image Star21 spectrograph2) (have_image Star22 image1) (have_image Star23 image1) (have_image Star24 image1) (have_image Star25 infrared0) (have_image Star26 spectrograph2) (have_image Star27 infrared0) (have_image Phenomenon28 spectrograph2) (have_image Star29 spectrograph2) (have_image Phenomenon30 image1) (have_image Planet31 spectrograph2) (have_image Phenomenon32 image1) (have_image Planet33 infrared0) (have_image Phenomenon34 infrared0) (have_image Planet35 spectrograph2) (have_image Phenomenon36 infrared0) (have_image Star37 spectrograph2) (have_image Star39 image1) (have_image Phenomenon40 image1) (have_image Planet41 image1) (have_image Planet42 image1) (have_image Planet43 image1) (have_image Phenomenon44 image1) (have_image Star45 image1) (have_image Star47 spectrograph2) (have_image Planet48 image1) (have_image Star49 infrared0) (have_image Star50 spectrograph2) (have_image Planet51 image1) (have_image Star52 image1) )) )