(:trajectory

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 planet12) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite3 star10 planet12))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (switch_on instrument5 satellite2))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (calibrate satellite2 instrument5 groundstation3))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite0) (power_avail satellite1) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (switch_on instrument3 satellite1))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite0) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (switch_on instrument1 satellite0))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 planet12) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite6 star8 planet12))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 star13) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite4 groundstation5 star13))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite2 phenomenon11 groundstation3))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 phenomenon11) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite2 phenomenon11 instrument5 spectrograph1))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 phenomenon11) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite2 planet12 phenomenon11))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 planet12) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite2 planet12 instrument5 thermograph2))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 planet12) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite2 planet9 planet12))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 planet9) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite2 planet9 instrument5 thermograph2))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 planet9) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (switch_off instrument5 satellite2))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 planet9) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite2 star1 planet9))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite1 groundstation2 star7))

(:state (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 groundstation2) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (calibrate satellite1 instrument3 groundstation2))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 groundstation2) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite6 star8 star8))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 groundstation2) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star6) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite5 star8 star6))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 groundstation2) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite1 star10 groundstation2))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star10) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite1 star10 instrument3 thermograph3))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star10) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite1 star13 star10))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star13) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite1 star13 instrument3 spectrograph1))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star13) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite1 star7 star13))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite1 star7 instrument3 thermograph3))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 planet9) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite0 groundstation5 planet9))

(:state (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation5) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (calibrate satellite0 instrument1 groundstation5))

(:state (calibrated instrument1) (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 groundstation5) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite0 star8 groundstation5))

(:state (calibrated instrument1) (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star8) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (take_image satellite0 star8 instrument1 infrared0))

(:state (calibrated instrument1) (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (have_image star8 infrared0) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star8) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (switch_on instrument5 satellite2))

(:state (calibrated instrument1) (calibrated instrument3) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (have_image star8 infrared0) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star8) (pointing satellite1 star7) (pointing satellite2 star1) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite2 groundstation3 star1))

(:state (calibrated instrument1) (calibrated instrument3) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (have_image star8 infrared0) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star8) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (calibrate satellite2 instrument5 groundstation3))

(:state (calibrated instrument1) (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (have_image star8 infrared0) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star8) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

(:action (turn_to satellite0 star7 star8))

(:state (calibrated instrument1) (calibrated instrument3) (calibrated instrument5) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation2) (calibration_target instrument1 groundstation2) (calibration_target instrument1 groundstation5) (calibration_target instrument10 groundstation3) (calibration_target instrument10 star1) (calibration_target instrument11 groundstation2) (calibration_target instrument11 groundstation4) (calibration_target instrument2 groundstation5) (calibration_target instrument2 star1) (calibration_target instrument3 groundstation2) (calibration_target instrument4 groundstation0) (calibration_target instrument4 star1) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation3) (calibration_target instrument6 groundstation5) (calibration_target instrument7 groundstation2) (calibration_target instrument8 groundstation0) (calibration_target instrument8 groundstation3) (calibration_target instrument9 groundstation0) (calibration_target instrument9 groundstation5) (have_image phenomenon11 spectrograph1) (have_image planet12 thermograph2) (have_image planet9 thermograph2) (have_image star10 thermograph3) (have_image star13 spectrograph1) (have_image star7 thermograph3) (have_image star8 infrared0) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument10 satellite6) (on_board instrument11 satellite6) (on_board instrument2 satellite1) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite3) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star7) (pointing satellite1 star7) (pointing satellite2 groundstation3) (pointing satellite3 star10) (pointing satellite4 groundstation5) (pointing satellite5 star8) (pointing satellite6 star8) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument1) (power_on instrument3) (power_on instrument5) (supports instrument0 infrared4) (supports instrument0 spectrograph1) (supports instrument1 infrared0) (supports instrument1 spectrograph1) (supports instrument10 thermograph2) (supports instrument11 thermograph3) (supports instrument2 infrared4) (supports instrument2 thermograph2) (supports instrument3 spectrograph1) (supports instrument3 thermograph3) (supports instrument4 thermograph3) (supports instrument5 infrared4) (supports instrument5 spectrograph1) (supports instrument5 thermograph2) (supports instrument6 infrared4) (supports instrument7 infrared0) (supports instrument8 infrared0) (supports instrument8 spectrograph1) (supports instrument8 thermograph2) (supports instrument9 infrared4) (supports instrument9 spectrograph1))

)