(:trajectory

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (switch_on instrument6 satellite4))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (switch_on instrument3 satellite2))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (switch_on instrument1 satellite1))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite4 groundstation1 star8))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite4 star0 groundstation1))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 groundstation1) (pointing satellite3 star4) (pointing satellite4 star0) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 star0 groundstation1))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star0) (pointing satellite3 star4) (pointing satellite4 star0) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite4 groundstation1 star0))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star0) (pointing satellite3 star4) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite3 groundstation1 star4))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star0) (pointing satellite3 groundstation1) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_on instrument1) (power_on instrument3) (power_on instrument6) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (switch_off instrument6 satellite4))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star0) (pointing satellite3 groundstation1) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite3 planet7 groundstation1))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star0) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 phenomenon5 star0))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite4 star8 groundstation1))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite4 groundstation1 star8))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 star3 phenomenon5))

(:state (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star3) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (calibrate satellite2 instrument3 star3))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star3) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 phenomenon5 star3))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (take_image satellite2 phenomenon5 instrument3 thermograph2))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 star4 phenomenon5))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star4) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (take_image satellite2 star4 instrument3 thermograph1))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star4) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 star8 star4))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star8) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (take_image satellite2 star8 instrument3 thermograph1))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star8) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 star9 star8))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star9) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (take_image satellite2 star9 instrument3 thermograph2))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 groundstation1) (pointing satellite2 star9) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite1 planet7 groundstation1))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 planet7) (pointing satellite2 star9) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite1 star3 planet7))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 star3) (pointing satellite2 star9) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 phenomenon5 star9))

(:state (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 star3) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (calibrate satellite1 instrument1 star3))

(:state (calibrated instrument1) (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 star3) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite1 planet7 star3))

(:state (calibrated instrument1) (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 planet7) (pointing satellite2 phenomenon5) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

(:action (turn_to satellite2 groundstation1 phenomenon5))

(:state (calibrated instrument1) (calibrated instrument3) (calibration_target instrument0 star2) (calibration_target instrument1 star3) (calibration_target instrument2 star3) (calibration_target instrument3 star3) (calibration_target instrument4 star2) (calibration_target instrument5 star0) (calibration_target instrument6 groundstation1) (have_image phenomenon5 thermograph2) (have_image star4 thermograph1) (have_image star8 thermograph1) (have_image star9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite3) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (pointing satellite0 star0) (pointing satellite1 planet7) (pointing satellite2 groundstation1) (pointing satellite3 planet7) (pointing satellite4 groundstation1) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_on instrument1) (power_on instrument3) (supports instrument0 spectrograph3) (supports instrument1 image0) (supports instrument2 thermograph2) (supports instrument3 spectrograph3) (supports instrument3 thermograph1) (supports instrument3 thermograph2) (supports instrument4 thermograph2) (supports instrument5 image0) (supports instrument6 thermograph2))

)