(trajectory

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

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

(:action (switchoff instrument8 satellite2))

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

(:action (switchon instrument6 satellite2))

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

(:action (calibrate satellite1 instrument4 groundstation2))

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

(:action (turnto satellite1 groundstation0 groundstation2))

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

(:action (switchoff instrument6 satellite2))

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

(:action (takeimage satellite1 groundstation0 instrument4 spectrograph1))

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

(:action (turnto satellite0 groundstation0 phenomenon8))

(:state (supports instrument0 image2) (poweron instrument1) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (haveimage groundstation2 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (supports instrument3 thermograph0) (supports instrument7 image2) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (onboard instrument0 satellite0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (calibrationtarget instrument8 groundstation0) (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) (calibrated instrument4) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (poweron instrument4) (supports instrument1 spectrograph1) (pointing satellite2 phenomenon8) (haveimage groundstation2 image2) (pointing satellite1 groundstation0) (poweravail satellite2) (haveimage groundstation0 spectrograph1) (pointing satellite0 groundstation0))

(:action (switchon instrument8 satellite2))

(:state (supports instrument0 image2) (poweron instrument1) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (haveimage groundstation2 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (supports instrument3 thermograph0) (supports instrument7 image2) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (onboard instrument0 satellite0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (calibrationtarget instrument8 groundstation0) (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) (calibrated instrument4) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (poweron instrument4) (supports instrument1 spectrograph1) (pointing satellite2 phenomenon8) (haveimage groundstation2 image2) (pointing satellite1 groundstation0) (haveimage groundstation0 spectrograph1) (pointing satellite0 groundstation0) (poweron instrument8))

(:action (takeimage satellite1 groundstation0 instrument4 spectrograph1))

(:state (supports instrument0 image2) (poweron instrument1) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (haveimage groundstation2 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (supports instrument3 thermograph0) (supports instrument7 image2) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (onboard instrument0 satellite0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (calibrationtarget instrument8 groundstation0) (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) (calibrated instrument4) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (poweron instrument4) (supports instrument1 spectrograph1) (pointing satellite2 phenomenon8) (haveimage groundstation2 image2) (pointing satellite1 groundstation0) (haveimage groundstation0 spectrograph1) (pointing satellite0 groundstation0) (poweron instrument8))

(:action (switchoff instrument4 satellite1))

(:state (supports instrument0 image2) (poweron instrument1) (calibrationtarget instrument2 groundstation0) (supports instrument3 spectrograph1) (haveimage groundstation2 spectrograph1) (calibrationtarget instrument0 groundstation2) (supports instrument6 image2) (onboard instrument8 satellite2) (supports instrument5 spectrograph1) (supports instrument3 thermograph0) (supports instrument7 image2) (supports instrument5 thermograph0) (calibrationtarget instrument5 groundstation1) (onboard instrument3 satellite1) (supports instrument0 spectrograph1) (onboard instrument5 satellite1) (supports instrument1 thermograph0) (onboard instrument2 satellite0) (onboard instrument0 satellite0) (calibrationtarget instrument6 groundstation1) (supports instrument8 image2) (onboard instrument1 satellite0) (supports instrument2 image2) (calibrationtarget instrument8 groundstation0) (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) (calibrated instrument4) (calibrationtarget instrument1 groundstation1) (supports instrument7 thermograph0) (supports instrument5 image2) (supports instrument1 spectrograph1) (pointing satellite2 phenomenon8) (haveimage groundstation2 image2) (pointing satellite1 groundstation0) (haveimage groundstation0 spectrograph1) (pointing satellite0 groundstation0) (poweron instrument8) (poweravail satellite1)))
