(trajectory

(:objects groundstation1 - direction instrument5 - instrument instrument6 - instrument thermograph0 - mode image2 - mode instrument8 - instrument satellite0 - satellite star3 - direction phenomenon8 - direction instrument4 - instrument star4 - direction instrument7 - instrument planet9 - direction spectrograph1 - mode phenomenon6 - direction phenomenon5 - direction groundstation0 - direction groundstation2 - direction star7 - direction instrument0 - instrument instrument1 - instrument instrument3 - instrument instrument2 - instrument satellite1 - satellite satellite2 - satellite )

(:init (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (pointing satellite0 phenomenon6) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 planet9))

(:action (switchon instrument6 satellite2))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (pointing satellite0 phenomenon6) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (pointing satellite2 planet9) (poweron instrument6))

(:action (switchoff instrument6 satellite2))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (pointing satellite0 phenomenon6) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (pointing satellite2 planet9) (poweravail satellite2))

(:action (calibrate satellite1 instrument5 groundstation1))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (pointing satellite0 phenomenon6) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (pointing satellite2 planet9) (poweravail satellite2))

(:action (turnto satellite2 phenomenon8 planet9))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (pointing satellite0 phenomenon6) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8))

(:action (turnto satellite0 groundstation2 phenomenon6))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (pointing satellite0 groundstation2))

(:action (calibrate satellite0 instrument0 groundstation2))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (pointing satellite0 groundstation2) (calibrated instrument0))

(:action (turnto satellite0 phenomenon6 groundstation2))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (pointing satellite1 groundstation1) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (calibrated instrument0) (pointing satellite0 phenomenon6))

(:action (turnto satellite1 groundstation2 groundstation1))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (calibrated instrument0) (pointing satellite0 phenomenon6) (pointing satellite1 groundstation2))

(:action (takeimage satellite0 phenomenon6 instrument0 spectrograph1))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (calibrated instrument0) (pointing satellite0 phenomenon6) (pointing satellite1 groundstation2) (haveimage phenomenon6 spectrograph1))

(:action (takeimage satellite0 phenomenon6 instrument0 image2))

(:state (supports instrument0 image2) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (calibrated instrument5) (supports instrument7 image2) (poweron instrument0) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (haveimage groundstation1 thermograph0) (onboard instrument0 satellite0) (supports instrument3 thermograph0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (onboard instrument6 satellite2) (supports instrument4 spectrograph1) (supports instrument8 spectrograph1) (supports instrument0 thermograph0) (calibrationtarget instrument4 groundstation2) (onboard instrument7 satellite2) (onboard instrument4 satellite1) (supports instrument1 image2) (calibrationtarget instrument7 groundstation1) (calibrationtarget instrument3 groundstation0) (supports instrument4 image2) (supports instrument8 thermograph0) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (calibrationtarget instrument8 groundstation0) (supports instrument1 spectrograph1) (poweron instrument5) (poweravail satellite2) (pointing satellite2 phenomenon8) (calibrated instrument0) (pointing satellite0 phenomenon6) (pointing satellite1 groundstation2) (haveimage phenomenon6 spectrograph1) (haveimage phenomenon6 image2)))
