(trajectory

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

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

(:action (drop rover0 rover0store))

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

(:action (calibrate rover0 camera0 objective1 waypoint2))

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

(:action (navigate rover0 waypoint2 waypoint1))

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

(:action (navigate rover0 waypoint1 waypoint3))

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

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

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

(:action (takeimage rover0 waypoint3 objective0 camera0 colour))

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

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

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

(:action (drop rover0 rover0store))

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

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

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

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

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