(:trajectory

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 groundstation2) (pointing satellite2 star6) (pointing satellite3 planet8) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite2 planet12 star6))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 groundstation2) (pointing satellite2 planet12) (pointing satellite3 planet8) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite3 star11 planet8))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 groundstation2) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite1 planet8 groundstation2))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (switch_on instrument11 satellite6))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (switch_on instrument8 satellite4))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 phenomenon9) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite5) (power_on instrument11) (power_on instrument8) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite0 groundstation4 phenomenon9))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation4) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite5) (power_on instrument11) (power_on instrument8) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (switch_on instrument6 satellite3))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation4) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 planet8) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite5) (power_on instrument11) (power_on instrument6) (power_on instrument8) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite6 groundstation5 planet8))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation4) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 groundstation5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite5) (power_on instrument11) (power_on instrument6) (power_on instrument8) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

(:action (turn_to satellite6 groundstation2 groundstation5))

(:state (calibration_target instrument0 groundstation2) (calibration_target instrument0 star1) (calibration_target instrument1 star1) (calibration_target instrument10 groundstation3) (calibration_target instrument11 groundstation2) (calibration_target instrument2 groundstation2) (calibration_target instrument2 groundstation5) (calibration_target instrument3 groundstation4) (calibration_target instrument3 star1) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation2) (calibration_target instrument6 groundstation0) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation0) (calibration_target instrument7 star1) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument2 satellite0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite3) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation4) (pointing satellite1 planet8) (pointing satellite2 planet12) (pointing satellite3 star11) (pointing satellite4 star10) (pointing satellite5 phenomenon13) (pointing satellite6 groundstation2) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite5) (power_on instrument11) (power_on instrument6) (power_on instrument8) (supports instrument0 infrared3) (supports instrument0 spectrograph1) (supports instrument0 thermograph4) (supports instrument1 spectrograph2) (supports instrument1 thermograph4) (supports instrument10 spectrograph2) (supports instrument11 spectrograph1) (supports instrument11 spectrograph2) (supports instrument11 thermograph4) (supports instrument2 spectrograph1) (supports instrument2 spectrograph2) (supports instrument2 thermograph4) (supports instrument3 infrared0) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 infrared0) (supports instrument5 spectrograph2) (supports instrument5 thermograph4) (supports instrument6 image5) (supports instrument6 infrared3) (supports instrument7 image5) (supports instrument7 infrared3) (supports instrument7 spectrograph1) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 spectrograph2) (supports instrument9 infrared0))

)