(trajectory

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

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

(:action (turnto satellite0 phenomenon6 groundstation0))

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

(:action (takeimage satellite2 groundstation1 instrument7 thermograph0))

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

(:action (switchoff instrument7 satellite2))

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

(:action (switchon instrument6 satellite2))

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

(:action (calibrate satellite2 instrument6 groundstation1))

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

(:action (takeimage satellite1 phenomenon5 instrument5 image2))

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

(:action (turnto satellite1 phenomenon6 phenomenon5))

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

(:action (turnto satellite1 groundstation2 phenomenon6))

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

(:action (turnto satellite2 groundstation0 groundstation1))

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

(:action (turnto satellite0 star4 phenomenon6))

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