(:trajectory

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 star2) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (switch_on instrument5 satellite3))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 star2) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite4) (power_avail satellite5) (power_avail satellite6) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (switch_on instrument11 satellite6))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 star2) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 planet10) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (turn_to satellite6 groundstation4 planet10))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 star2) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 groundstation4) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (turn_to satellite3 phenomenon12 star2))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 groundstation4) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (switch_on instrument2 satellite2))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 groundstation4) (power_avail satellite0) (power_avail satellite1) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument2) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (turn_to satellite6 phenomenon7 groundstation4))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument2) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (turn_to satellite1 star6 groundstation3))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 star6) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 phenomenon7) (power_avail satellite0) (power_avail satellite1) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument2) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (turn_to satellite6 star2 phenomenon7))

(:state (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 star6) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 star2) (power_avail satellite0) (power_avail satellite1) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument2) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

(:action (calibrate satellite6 instrument11 star2))

(:state (calibrated instrument11) (calibration_target instrument0 groundstation0) (calibration_target instrument0 groundstation4) (calibration_target instrument1 groundstation4) (calibration_target instrument10 groundstation1) (calibration_target instrument10 star5) (calibration_target instrument11 star2) (calibration_target instrument12 groundstation4) (calibration_target instrument13 groundstation1) (calibration_target instrument2 groundstation3) (calibration_target instrument2 groundstation4) (calibration_target instrument3 groundstation1) (calibration_target instrument3 star5) (calibration_target instrument4 groundstation1) (calibration_target instrument4 groundstation4) (calibration_target instrument5 groundstation0) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation3) (calibration_target instrument7 groundstation3) (calibration_target instrument8 star2) (calibration_target instrument9 groundstation3) (calibration_target instrument9 groundstation4) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument10 satellite5) (on_board instrument11 satellite6) (on_board instrument12 satellite6) (on_board instrument13 satellite6) (on_board instrument2 satellite2) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite3) (on_board instrument7 satellite4) (on_board instrument8 satellite4) (on_board instrument9 satellite5) (pointing satellite0 star2) (pointing satellite1 star6) (pointing satellite2 phenomenon7) (pointing satellite3 phenomenon12) (pointing satellite4 phenomenon12) (pointing satellite5 phenomenon11) (pointing satellite6 star2) (power_avail satellite0) (power_avail satellite1) (power_avail satellite4) (power_avail satellite5) (power_on instrument11) (power_on instrument2) (power_on instrument5) (supports instrument0 spectrograph0) (supports instrument0 spectrograph1) (supports instrument0 spectrograph3) (supports instrument1 infrared2) (supports instrument10 spectrograph1) (supports instrument11 spectrograph3) (supports instrument11 thermograph4) (supports instrument12 spectrograph0) (supports instrument12 thermograph4) (supports instrument13 thermograph4) (supports instrument2 infrared2) (supports instrument2 spectrograph1) (supports instrument2 thermograph4) (supports instrument3 infrared2) (supports instrument3 thermograph4) (supports instrument4 spectrograph1) (supports instrument4 thermograph4) (supports instrument5 spectrograph0) (supports instrument5 spectrograph1) (supports instrument5 thermograph4) (supports instrument6 thermograph4) (supports instrument7 spectrograph1) (supports instrument7 spectrograph3) (supports instrument7 thermograph4) (supports instrument8 spectrograph3) (supports instrument9 spectrograph3))

)