(trajectory

(:objects waypoint1 - waypoint objective1 - objective camera0 - camera objective0 - objective low-res - mode waypoint2 - waypoint waypoint3 - waypoint waypoint0 - waypoint rover0store - store general - lander high-res - mode rover0 - rover colour - mode )

(:init (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (available rover0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (channel-free general) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (at-rock-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (at rover0 waypoint1) (empty rover0store) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res))

(:action (navigate rover0 waypoint1 waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (available rover0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (channel-free general) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (at-rock-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (empty rover0store) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2))

(:action (sample-rock rover0 rover0store waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (available rover0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (channel-free general) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (full rover0store) (have-rock-analysis rover0 waypoint2))

(:action (communicate-soil-data rover0 general waypoint0 waypoint2 waypoint0))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (full rover0store) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0))

(:action (drop rover0 rover0store))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (empty rover0store))

(:action (calibrate rover0 camera0 objective1 waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (empty rover0store) (calibrated camera0 rover0))

(:action (calibrate rover0 camera0 objective1 waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (empty rover0store) (calibrated camera0 rover0))

(:action (calibrate rover0 camera0 objective1 waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (at-soil-sample waypoint2) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (empty rover0store) (calibrated camera0 rover0))

(:action (sample-soil rover0 rover0store waypoint2))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (calibrated camera0 rover0) (full rover0store) (have-soil-analysis rover0 waypoint2))

(:action (takeimage rover0 waypoint2 objective1 camera0 high-res))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (channel-free general) (communicated-soil-data waypoint0) (available rover0) (full rover0store) (have-soil-analysis rover0 waypoint2) (haveimage rover0 objective1 high-res))

(:action (communicate-rock-data rover0 general waypoint1 waypoint2 waypoint0))

(:state (communicated-rock-data waypoint1) (visible-from objective0 waypoint2) (visible-from objective0 waypoint1) (equipped-for-soil-analysis rover0) (visible waypoint2 waypoint0) (visible waypoint1 waypoint2) (can-traverse rover0 waypoint0 waypoint3) (visible waypoint1 waypoint0) (visible waypoint3 waypoint0) (at-lander general waypoint0) (visible-from objective0 waypoint3) (visible waypoint3 waypoint2) (have-rock-analysis rover0 waypoint1) (visible waypoint0 waypoint1) (supports camera0 colour) (visible waypoint0 waypoint3) (can-traverse rover0 waypoint3 waypoint1) (can-traverse rover0 waypoint3 waypoint0) (visible-from objective0 waypoint0) (calibrationtarget camera0 objective1) (visible-from objective1 waypoint1) (visible-from objective1 waypoint2) (can-traverse rover0 waypoint2 waypoint1) (visible waypoint2 waypoint3) (visible waypoint0 waypoint2) (equipped-for-rock-analysis rover0) (visible-from objective1 waypoint0) (visible waypoint2 waypoint1) (visible-from objective1 waypoint3) (store-of rover0store rover0) (haveimage rover0 objective1 colour) (at-soil-sample waypoint3) (equipped-for-imaging rover0) (can-traverse rover0 waypoint1 waypoint3) (onboard camera0 rover0) (can-traverse rover0 waypoint1 waypoint2) (visible waypoint1 waypoint3) (at-rock-sample waypoint3) (have-soil-analysis rover0 waypoint0) (visible waypoint3 waypoint1) (supports camera0 high-res) (at rover0 waypoint2) (have-rock-analysis rover0 waypoint2) (communicated-soil-data waypoint0) (full rover0store) (have-soil-analysis rover0 waypoint2) (haveimage rover0 objective1 high-res) (channel-free general) (available rover0)))
