(:trajectory

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star10) (pointing satellite2 star2) (pointing satellite3 groundstation0) (pointing satellite4 groundstation0) (pointing satellite5 groundstation1) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (switch_on instrument1 satellite1))

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star10) (pointing satellite2 star2) (pointing satellite3 groundstation0) (pointing satellite4 groundstation0) (pointing satellite5 groundstation1) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite5 planet11 groundstation1))

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star10) (pointing satellite2 star2) (pointing satellite3 groundstation0) (pointing satellite4 groundstation0) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite4 groundstation1 groundstation0))

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star10) (pointing satellite2 star2) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite2 star9 star2))

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star10) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 star4 star10))

(:state (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star4) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (calibrate satellite1 instrument1 star4))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 star4) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 planet11 star4))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 planet11) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 planet11 instrument1 image1))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 planet11) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 planet6 planet11))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 planet6) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 planet6 instrument1 image3))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet7) (pointing satellite1 planet6) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite0 planet11 planet7))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet6) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite5 star9 planet11))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet6) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 star9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite5 planet11 star9))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet6) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite2 star5 star9))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet6) (pointing satellite2 star5) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 groundstation1 planet6))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 groundstation1) (pointing satellite2 star5) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite2 star9 star5))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 groundstation1) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 planet7 groundstation1))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet7) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 planet7 instrument1 thermograph0))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet7) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 planet8 planet7))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet8) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 planet8 instrument1 thermograph0))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 planet8) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 star10 planet8))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star10) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 star10 instrument1 thermograph0))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star10) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 star5 star10))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star5) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 star5 instrument1 thermograph0))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (have_image star5 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star5) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite1 star9 star5))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (have_image star5 thermograph0) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star9) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (take_image satellite1 star9 instrument1 image3))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (have_image star5 thermograph0) (have_image star9 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 planet11) (pointing satellite1 star9) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

(:action (turn_to satellite0 star2 planet11))

(:state (calibrated instrument1) (calibration_target instrument0 star4) (calibration_target instrument1 star4) (calibration_target instrument2 groundstation1) (calibration_target instrument3 groundstation0) (calibration_target instrument4 groundstation3) (calibration_target instrument5 star2) (calibration_target instrument6 groundstation0) (calibration_target instrument7 star4) (calibration_target instrument8 groundstation0) (have_image planet11 image1) (have_image planet6 image3) (have_image planet7 thermograph0) (have_image planet8 thermograph0) (have_image star10 thermograph0) (have_image star5 thermograph0) (have_image star9 image3) (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) (on_board instrument7 satellite4) (on_board instrument8 satellite5) (pointing satellite0 star2) (pointing satellite1 star9) (pointing satellite2 star9) (pointing satellite3 groundstation0) (pointing satellite4 groundstation1) (pointing satellite5 planet11) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument1) (supports instrument0 thermograph2) (supports instrument1 image1) (supports instrument1 image3) (supports instrument1 thermograph0) (supports instrument1 thermograph2) (supports instrument2 thermograph2) (supports instrument3 image1) (supports instrument3 image3) (supports instrument4 image3) (supports instrument5 thermograph2) (supports instrument6 thermograph2) (supports instrument7 image1) (supports instrument8 image1) (supports instrument8 thermograph2))

)