(: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 (turn_to satellite3 star8 phenomenon5))

(: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 star8) (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 instrument6 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 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite1) (power_avail satellite2) (power_avail satellite3) (power_on instrument6) (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 (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 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 groundstation2 planet4))

(: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 groundstation2) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 satellite1 instrument2 groundstation2))

(:state (calibrated instrument2) (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 groundstation2) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 star7 groundstation2))

(:state (calibrated instrument2) (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 star7) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 groundstation0 star6))

(:state (calibrated instrument2) (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 star7) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 groundstation0) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 instrument6 groundstation0))

(:state (calibrated instrument2) (calibrated instrument6) (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 star7) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 groundstation0) (power_avail satellite0) (power_avail satellite2) (power_avail satellite3) (power_on instrument2) (power_on instrument6) (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 instrument4 satellite2))

(:state (calibrated instrument2) (calibrated instrument6) (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 star7) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 groundstation0) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 groundstation0))

(:state (calibrated instrument2) (calibrated instrument6) (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 star7) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 groundstation3 star7))

(:state (calibrated instrument2) (calibrated instrument6) (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 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 instrument6 thermograph0))

(:state (calibrated instrument2) (calibrated instrument6) (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 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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 phenomenon9) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 phenomenon9))

(:state (calibrated instrument2) (calibrated instrument6) (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 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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 instrument6 thermograph0))

(:state (calibrated instrument2) (calibrated instrument6) (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 phenomenon9 thermograph0) (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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star6) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 instrument2) (calibrated instrument6) (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 phenomenon9 thermograph0) (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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 instrument6 thermograph0))

(:state (calibrated instrument2) (calibrated instrument6) (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 phenomenon9 thermograph0) (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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 star8) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 star8))

(:state (calibrated instrument2) (calibrated instrument6) (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 phenomenon9 thermograph0) (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 groundstation2) (pointing satellite1 groundstation3) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 phenomenon5 groundstation3))

(:state (calibrated instrument2) (calibrated instrument6) (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 phenomenon9 thermograph0) (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 groundstation2) (pointing satellite1 phenomenon5) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 satellite1 phenomenon5 instrument2 thermograph2))

(:state (calibrated instrument2) (calibrated instrument6) (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 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 groundstation2) (pointing satellite1 phenomenon5) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 phenomenon5))

(:state (calibrated instrument2) (calibrated instrument6) (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 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 groundstation2) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 satellite1 planet4 instrument2 thermograph2))

(:state (calibrated instrument2) (calibrated instrument6) (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 groundstation2) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star7) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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 instrument2) (calibrated instrument6) (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 groundstation2) (pointing satellite1 planet4) (pointing satellite2 phenomenon5) (pointing satellite3 phenomenon5) (pointing satellite4 star8) (power_avail satellite0) (power_avail satellite3) (power_on instrument2) (power_on instrument4) (power_on instrument6) (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))

)