(: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 (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 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 (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 groundstation2) (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 satellite3 planet9 planet9))

(: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 groundstation2) (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 groundstation2) (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 groundstation2) (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 groundstation2) (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 groundstation2) (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 groundstation2) (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 (switch_on instrument0 satellite0))

(: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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet5) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet9) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 planet9) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star10 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) (have_image star10 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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 groundstation0) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite4 phenomenon7 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) (have_image star10 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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 phenomenon7) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite4 phenomenon7 instrument5 thermograph1))

(: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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 phenomenon7) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite4 star8 phenomenon7))

(: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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 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 groundstation2) (pointing satellite3 planet9) (pointing satellite4 star8) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite4 star8 instrument5 infrared3))

(: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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 star8) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite3 star1 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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 star1) (pointing satellite4 star8) (pointing satellite5 star10) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star6 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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 groundstation0 groundstation2))

(: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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 groundstation0) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 groundstation3 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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 groundstation3) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite2 instrument2 groundstation3))

(:state (calibrated instrument2) (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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 groundstation3) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star6 groundstation3))

(:state (calibrated instrument2) (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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star8 infrared3) (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 star6) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite2 star6 instrument2 thermograph2))

(:state (calibrated instrument2) (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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star6) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 phenomenon11 star6))

(:state (calibrated instrument2) (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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 phenomenon11) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star4 star8))

(:state (calibrated instrument2) (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 phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star4) (pointing satellite1 groundstation0) (pointing satellite2 phenomenon11) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 satellite2 phenomenon11 instrument2 thermograph2))

(:state (calibrated instrument2) (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 phenomenon11 thermograph2) (have_image phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star4) (pointing satellite1 groundstation0) (pointing satellite2 phenomenon11) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 planet9 phenomenon11))

(:state (calibrated instrument2) (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 phenomenon11 thermograph2) (have_image phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star4) (pointing satellite1 groundstation0) (pointing satellite2 planet9) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star4 groundstation0))

(:state (calibrated instrument2) (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 phenomenon11 thermograph2) (have_image phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star4) (pointing satellite1 star4) (pointing satellite2 planet9) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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 star10 star4))

(:state (calibrated instrument2) (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 phenomenon11 thermograph2) (have_image phenomenon7 thermograph1) (have_image planet5 thermograph0) (have_image planet9 thermograph0) (have_image star10 thermograph0) (have_image star6 thermograph2) (have_image star8 infrared3) (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 star4) (pointing satellite1 star10) (pointing satellite2 planet9) (pointing satellite3 star1) (pointing satellite4 star8) (pointing satellite5 star6) (power_avail satellite1) (power_avail satellite3) (power_on instrument0) (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))

)