(:trajectory

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (switch_on instrument6 satellite5))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (switch_on instrument5 satellite4))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite2 star10 groundstation2))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (calibrate satellite4 instrument5 groundstation0))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (switch_on instrument2 satellite2))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 phenomenon11) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 planet5 phenomenon11))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 star4 planet5))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star4) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (calibrate satellite5 instrument6 star4))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star4) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 planet5 star4))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (take_image satellite5 planet5 instrument6 thermograph0))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 planet9 planet5))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet9) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (take_image satellite5 planet9 instrument6 thermograph0))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet9) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 star10 planet9))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 star8) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite0 planet5 star8))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 planet5) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 star8 star10))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 planet5) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite5 star10 star8))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 planet5) (pointing satellite1 groundstation0) (pointing satellite2 star10) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite2 star8 star10))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 planet5) (pointing satellite1 groundstation0) (pointing satellite2 star8) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

(:action (turn_to satellite1 phenomenon11 groundstation0))

(:state (calibrated instrument5) (calibrated instrument6) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation3) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation0) (calibration_target instrument6 star4) (calibration_target instrument7 groundstation2) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite2) (on_board instrument3 satellite3) (on_board instrument4 satellite4) (on_board instrument5 satellite4) (on_board instrument6 satellite5) (on_board instrument7 satellite5) (pointing satellite0 planet5) (pointing satellite1 phenomenon11) (pointing satellite2 star8) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_on instrument2) (power_on instrument5) (power_on instrument6) (supports instrument0 thermograph0) (supports instrument0 thermograph4) (supports instrument1 thermograph2) (supports instrument2 thermograph0) (supports instrument2 thermograph2) (supports instrument2 thermograph4) (supports instrument3 thermograph0) (supports instrument3 thermograph2) (supports instrument4 infrared3) (supports instrument4 thermograph2) (supports instrument5 infrared3) (supports instrument5 thermograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph0) (supports instrument7 thermograph1) (supports instrument7 thermograph2) (supports instrument7 thermograph4))

)