#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43663497 :END 43667497 )  :TIME-MAP #S(TIME-MAP :NAME DS1 :MODEL "rax" )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME POINTING-2027 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2026) (BODY TVC_PREAIM_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2026 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC -0.3589443923230711D0) (RA -2.0963539116624603D0) (NAIF_ID 0) (FORMAT ABSOLUTE_VEC)) ) ) :SV-TIMELINES (#S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2274 :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2027 BBC_DEADBAND_IPS_TVC_FIRST))) :REQUESTED-START-TIME (43651042 43651042) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2027 BBC_DEADBAND_IPS_TVC_FIRST))) )  #S(B-TOKEN :NAME TOK-2638 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2218 :TYPE-SPEC (NAV_PROCESSING_IDLE) :REQUESTED-START-TIME (43658691 43658691) :TOKEN-TYPE (NAV_PROCESSING_IDLE) )  #S(B-TOKEN :NAME TOK-2639 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2210 :TYPE-SPEC (PLANNER_IDLE) :REQUESTED-START-TIME (43662897 43662897) :TOKEN-TYPE (PLANNER_IDLE) )  #S(B-TOKEN :NAME TOK-2640 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-301 :TYPE-SPEC (OBS_WINDOW_INACTIVE) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) )  #S(B-TOKEN :NAME TOK-2641 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (NAV_MODE NAV_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2642 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-2642 :END-B-TOKEN VAL-2642 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (94694400 500000000) ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2645 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-2645 :END-B-TOKEN VAL-2645 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2644 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-2644 :END-B-TOKEN VAL-2644 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (3996 3996) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2643 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (EXPERIMENT_END EXPERIMENT_END))) :START-B-TOKEN VAL-2643 :END-B-TOKEN VAL-2643 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (EXPERIMENT_END))) :DURATION (4 4) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2646 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-2645 :END-B-TOKEN VAL-2645 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2434 :TYPE-SPEC ((SEP_STANDBY (64 * 28))) :REQUESTED-START-TIME (43657755 43657755) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) )  #S(B-TOKEN :NAME TOK-2647 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2225 :TYPE-SPEC (IDLE_SEGMENT) :TOKEN-TYPE (IDLE_SEGMENT) )  #S(B-TOKEN :NAME TOK-2648 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2173 :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) )  #S(B-TOKEN :NAME TOK-2649 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2157 :TYPE-SPEC (THRUST_TIMER_IDLE) :REQUESTED-START-TIME (43657699 43657699) :TOKEN-TYPE (THRUST_TIMER_IDLE) )  #S(B-TOKEN :NAME TOK-2650 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (SPE ESTIMATE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2652 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-2652 :END-B-TOKEN VAL-2652 :STATE-VARIABLE (SPE ESTIMATE_SV) :TOKEN-TYPE ((SPE_ESTIMATE (2500.0D0))) :DURATION (94694400 500000000) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_GOAL_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2656 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-2656 :END-B-TOKEN VAL-2656 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (5404 5404) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2655 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-2655 :END-B-TOKEN VAL-2655 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (4 66669299) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2654 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("acs_error.seq" ACS_ERROR_ACTIVITY 0 2 FALSE *))) :START-B-TOKEN VAL-2654 :END-B-TOKEN VAL-2654 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("acs_error.seq" ACS_ERROR_ACTIVITY 0 2 FALSE))) :DURATION (0 66669295) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2653 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 3 FALSE *))) :START-B-TOKEN VAL-2653 :END-B-TOKEN VAL-2653 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 3 FALSE))) :DURATION (0 471974895) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-290 :TYPE-SPEC ((NO_ACTIVITY (-1))) :REQUESTED-START-TIME (43650867 43650867) :TOKEN-TYPE ((NO_ACTIVITY (-1))) )  #S(B-TOKEN :NAME TOK-2657 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-300 :TYPE-SPEC ((MICAS_AVAILABILITY (FALSE))) :TOKEN-TYPE ((MICAS_AVAILABILITY (FALSE))) )  #S(B-TOKEN :NAME TOK-2658 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-299 :TYPE-SPEC (MICAS_READY) :REQUESTED-START-TIME (43650867 43650867) :TOKEN-TYPE (MICAS_READY) )  #S(B-TOKEN :NAME TOK-2659 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-298 :TYPE-SPEC (MICAS_IDLE) :REQUESTED-START-TIME (43650867 43650867) :TOKEN-TYPE (MICAS_IDLE) )  #S(B-TOKEN :NAME TOK-2660 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (COMM COMM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2661 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-2661 :END-B-TOKEN VAL-2661 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (94694400 500000000) ) ) ) ) :FREE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2637 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-2636 :END-B-TOKEN VAL-2636 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (0 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2635 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-2636 :END-B-TOKEN VAL-2636 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (0 500000000) ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME COMPAT-2665 :FROM-TOKEN VAL-2656 :TO-TOKEN VAL-2645 :TEMPORAL-RELATION (STARTS_BEFORE 5400 5400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-2664 :FROM-TOKEN VAL-2645 :TO-TOKEN VAL-2654 :TEMPORAL-RELATION (BEFORE 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-2663 :FROM-TOKEN VAL-2645 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (STARTS_BEFORE 4000 4000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-2662 :FROM-TOKEN VAL-2655 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (STARTS_BEFORE 3996 3996) :JUSTIFICATION (EXTERNAL) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :TOKEN VAL-2645 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43663497 43663497) ) ) )