#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43326485 :END 43394285 )  :TIME-MAP #S(TIME-MAP :NAME DS1 :MODEL "rax" )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME MO-304 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL MO-305) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME MO-305 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((RA 0.0) (DEC 0.0) (NAIF_ID 399) (FORMAT NAMED_VEC)) ) ) :SV-TIMELINES (#S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-306 :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) )  #S(B-TOKEN :NAME TOK-651 :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-311 :TYPE-SPEC (NAV_PROCESSING_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (NAV_PROCESSING_IDLE) )  #S(B-TOKEN :NAME TOK-652 :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-312 :TYPE-SPEC (PLANNER_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (PLANNER_IDLE) )  #S(B-TOKEN :NAME TOK-653 :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-310 :TYPE-SPEC (OBS_WINDOW_INACTIVE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) )  #S(B-TOKEN :NAME TOK-654 :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-657 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-657 :END-B-TOKEN VAL-657 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (27688089 432993689) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-656 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (36200 10800 0 FALSE 1 10))) :START-B-TOKEN VAL-656 :END-B-TOKEN VAL-656 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (36200 10800 0 FALSE 1 10))) :DURATION (39296 39296) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-655 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-655 :END-B-TOKEN VAL-655 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (50100 50100) ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-661 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-661 :END-B-TOKEN VAL-661 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-660 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-660 :END-B-TOKEN VAL-660 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (67796 67796) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-658 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-658 :END-B-TOKEN VAL-658 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-662 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-661 :END-B-TOKEN VAL-661 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-659 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-658 :END-B-TOKEN VAL-658 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-303 :TYPE-SPEC ((SEP_STANDBY (0 * 0))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) )  #S(B-TOKEN :NAME TOK-663 :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-301 :TYPE-SPEC (IDLE_SEGMENT) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (IDLE_SEGMENT) )  #S(B-TOKEN :NAME TOK-664 :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-300 :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) )  #S(B-TOKEN :NAME TOK-665 :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-302 :TYPE-SPEC (THRUST_TIMER_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (THRUST_TIMER_IDLE) )  #S(B-TOKEN :NAME TOK-666 :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-668 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-668 :END-B-TOKEN VAL-668 :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-671 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-671 :END-B-TOKEN VAL-671 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (27724085 433029685) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-670 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE *))) :START-B-TOKEN VAL-670 :END-B-TOKEN VAL-670 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (31800 31800) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-669 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-669 :END-B-TOKEN VAL-669 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (10 10) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-299 :TYPE-SPEC ((NO_ACTIVITY (-1))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((NO_ACTIVITY (-1))) )  #S(B-TOKEN :NAME TOK-672 :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-309 :TYPE-SPEC ((MICAS_AVAILABILITY (TRUE))) :TOKEN-TYPE ((MICAS_AVAILABILITY (TRUE))) )  #S(B-TOKEN :NAME TOK-673 :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-308 :TYPE-SPEC (MICAS_READY) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (MICAS_READY) )  #S(B-TOKEN :NAME TOK-676 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (*ANY-VALUE*) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-675 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_OFF) :START-B-TOKEN VAL-675 :END-B-TOKEN VAL-675 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_OFF) :DURATION (34 34) )  #S(B-TOKEN :NAME TOK-674 :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-307 :TYPE-SPEC (MICAS_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (MICAS_IDLE) )  #S(B-TOKEN :NAME TOK-677 :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-680 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-680 :END-B-TOKEN VAL-680 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (27691685 432997285) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-679 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC ((SCHEDULED_LGA_COMM (10800))) :START-B-TOKEN VAL-679 :END-B-TOKEN VAL-679 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (SCHEDULED_LGA_COMM) :DURATION (10800 10800) )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-678 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-678 :END-B-TOKEN VAL-678 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (57000 57000) ) ) ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME COMPAT-687 :FROM-TOKEN VAL-661 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 67800 67800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-686 :FROM-TOKEN VAL-670 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 31800 31800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-685 :FROM-TOKEN VAL-679 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 64200 64200) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-684 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 53400 53400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-683 :FROM-TOKEN VAL-675 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 66600 66600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-682 :FROM-TOKEN VAL-656 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 67796 67796) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-681 :FROM-TOKEN VAL-655 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 28500 28500) :JUSTIFICATION (EXTERNAL) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :TOKEN VAL-661 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43326485 43326485) )  #S(ABSOLUTE-TIME-CONSTRAINT :TOKEN VAL-658 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43394285 43394285) ) ) )