(:trajectory

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite2 planet13 planet13))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (switch_on instrument10 satellite6))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_on instrument10) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (switch_on instrument8 satellite5))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument10) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (switch_off instrument10 satellite6))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite6) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (switch_on instrument2 satellite1))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite6) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (switch_on instrument11 satellite6))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 planet10 phenomenon7))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 star4 planet10))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star4) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (calibrate satellite6 instrument11 star4))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star4) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 planet10 star4))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (take_image satellite6 planet10 instrument11 image2))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 planet6 planet10))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (take_image satellite6 planet6 instrument11 infrared3))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 planet13) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite2 star2 planet13))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 planet6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 star8 planet6))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (take_image satellite6 star8 instrument11 infrared3))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 star1 star8))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star1) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 star1 star1))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star1) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 star8 star1))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (take_image satellite6 star8 instrument11 spectrograph5))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star5) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite3 star2 star5))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 planet6) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite5 star1 planet6))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 star1) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (calibrate satellite5 instrument8 star1))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 star1) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite5 phenomenon7 star1))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 phenomenon7) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (take_image satellite5 phenomenon7 instrument8 infrared1))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image phenomenon7 infrared1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 groundstation3) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 phenomenon7) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite0 star2 groundstation3))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image phenomenon7 infrared1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 star2) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 phenomenon7) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite5 planet11 phenomenon7))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image phenomenon7 infrared1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 star2) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 planet11) (pointing satellite6 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 planet10 star8))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image phenomenon7 infrared1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 star2) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 planet11) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

(:action (turn_to satellite6 planet13 planet10))

(:state (calibrated instrument11) (calibrated instrument8) (calibration_target instrument0 groundstation0) (calibration_target instrument0 star2) (calibration_target instrument1 star2) (calibration_target instrument10 groundstation0) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation0) (calibration_target instrument11 star4) (calibration_target instrument2 star2) (calibration_target instrument3 groundstation3) (calibration_target instrument3 star4) (calibration_target instrument4 groundstation3) (calibration_target instrument4 star2) (calibration_target instrument5 star4) (calibration_target instrument6 groundstation0) (calibration_target instrument6 star2) (calibration_target instrument7 groundstation0) (calibration_target instrument8 groundstation0) (calibration_target instrument8 star1) (calibration_target instrument9 groundstation0) (calibration_target instrument9 star1) (have_image phenomenon7 infrared1) (have_image planet10 image2) (have_image planet6 infrared3) (have_image star8 infrared3) (have_image star8 spectrograph5) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite5) (on_board instrument8 satellite5) (on_board instrument9 satellite6) (pointing satellite0 star2) (pointing satellite1 star12) (pointing satellite2 star2) (pointing satellite3 star2) (pointing satellite4 star9) (pointing satellite5 planet11) (pointing satellite6 planet13) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_on instrument11) (power_on instrument2) (power_on instrument8) (supports instrument0 image2) (supports instrument0 infrared3) (supports instrument0 thermograph4) (supports instrument1 infrared3) (supports instrument1 thermograph4) (supports instrument10 infrared1) (supports instrument11 image2) (supports instrument11 infrared3) (supports instrument11 spectrograph5) (supports instrument2 infrared3) (supports instrument3 infrared3) (supports instrument4 thermograph4) (supports instrument5 image2) (supports instrument5 infrared3) (supports instrument6 image2) (supports instrument6 infrared1) (supports instrument6 infrared3) (supports instrument7 image2) (supports instrument7 infrared1) (supports instrument8 image0) (supports instrument8 infrared1) (supports instrument8 thermograph4) (supports instrument9 infrared1) (supports instrument9 infrared3))

)