(:trajectory

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 groundstation2) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_avail satellite4) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (switch_on instrument7 satellite4))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 groundstation2) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite0 star6 groundstation2))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 groundstation2 star6))

(:state (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 groundstation2) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (calibrate satellite4 instrument7 groundstation2))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 groundstation2) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 phenomenon5 groundstation2))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 phenomenon5 instrument7 thermograph2))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon5) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (switch_on instrument2 satellite1))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon5) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 phenomenon9 phenomenon5))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite1 planet4 planet4))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite2 groundstation2 phenomenon5))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 phenomenon5) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite3 groundstation1 phenomenon5))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 phenomenon9 instrument7 thermograph0))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 planet4 phenomenon9))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 planet4) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 planet4 instrument7 thermograph2))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 planet4) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 star6 planet4))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 star6 instrument7 thermograph0))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 star7 star6))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 star7 instrument7 thermograph0))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (have_image star7 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite4 star8 star7))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (have_image star7 thermograph0) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (take_image satellite4 star8 instrument7 thermograph2))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (have_image star7 thermograph0) (have_image star8 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 groundstation1) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite3 phenomenon5 groundstation1))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (have_image star7 thermograph0) (have_image star8 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 planet4) (pointing satellite2 groundstation2) (pointing satellite3 phenomenon5) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

(:action (turn_to satellite1 star6 planet4))

(:state (calibrated instrument7) (calibration_target instrument0 groundstation3) (calibration_target instrument1 groundstation3) (calibration_target instrument2 groundstation2) (calibration_target instrument3 groundstation1) (calibration_target instrument4 groundstation2) (calibration_target instrument5 groundstation1) (calibration_target instrument6 groundstation0) (calibration_target instrument7 groundstation2) (have_image phenomenon5 thermograph2) (have_image phenomenon9 thermograph0) (have_image planet4 thermograph2) (have_image star6 thermograph0) (have_image star7 thermograph0) (have_image star8 thermograph2) (on_board instrument0 satellite0) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (on_board instrument3 satellite2) (on_board instrument4 satellite2) (on_board instrument5 satellite3) (on_board instrument6 satellite4) (on_board instrument7 satellite4) (pointing satellite0 star6) (pointing satellite1 star6) (pointing satellite2 groundstation2) (pointing satellite3 phenomenon5) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument7) (supports instrument0 thermograph0) (supports instrument0 thermograph2) (supports instrument1 infrared1) (supports instrument1 thermograph0) (supports instrument2 thermograph2) (supports instrument3 infrared1) (supports instrument3 thermograph0) (supports instrument4 infrared1) (supports instrument5 thermograph0) (supports instrument6 thermograph0) (supports instrument7 infrared1) (supports instrument7 thermograph0) (supports instrument7 thermograph2))

)