#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43663497 :END 43667497 )  :TIME-MAP #S(TIME-MAP :NAME DS1 )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME INERTIAL-2026 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC -0.3589443923230711D0) (RA -2.0963539116624603D0) (NAIF_ID 0) (FORMAT ABSOLUTE_VEC)) )  #S(MODEL-OBJECT :NAME EARTH :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 399) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME POINTING-2027 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2026) (BODY TVC_PREAIM_VEC)) )  #S(MODEL-OBJECT :NAME HGA_AT_EARTH :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL EARTH) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-3898 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(ACM_TURN_SPEC :CMD_TYPE :NEW_BASE :MAX_RATE #(7.999999797903001D-4 0.0015999999595806003D0 7.999999797903001D-4) :MAX_ACC #(8.726600000000001D-5 8.726600000000001D-5 8.726600000000001D-5) :MAX_PANEL_RATE 0.00872665D0 :MAX_PANEL_ACC 8.726600000000001D-4 :PRIMARY_MODE #K(ACM_PIMODE :SRC :NAMED :PVN :POS) :SECONDARY_MODE #K(ACM_SIMODE :SRC :NAMED :S_PLANE :ORTHOGONAL :PVN :POS) :PANEL_MODE :SUN_TRACK :CORRECTION_POLARITY :NONE :P_ABS #K(EMEUNIT_VECTOR :UV #(1.0D0 0.0D0 0.0D0) :RA 0.0D0 :DEC 0.0D0 :F :BOTH_VALID) :S_ABS #K(EMEUNIT_VECTOR :UV #(0.0D0 0.0D0 0.0D0) :RA 0.0D0 :DEC 1.5707963267949D0 :F :ANGLES_VALID_ONLY) :P_NAIF 399 :S_NAIF 10 :P_BODY :HGA_BORESIGHT :S_BODY :PANEL_YOKE :VPB_OFFSET #(0.0D0 0.0D0 0.0D0) :SC :POS))) ) ) :SV-TIMELINES (#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 (4000 500000000) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-298 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-298 :END-B-TOKEN VAL-298 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (16630 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3931 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-298 :END-B-TOKEN VAL-298 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (16630 500000000) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-299 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY) :START-B-TOKEN VAL-299 :END-B-TOKEN VAL-299 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY) :DURATION (16630 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3934 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY MICAS_OFF) :START-B-TOKEN VAL-299 :END-B-TOKEN VAL-299 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY MICAS_OFF) :DURATION (16630 500000000) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-300 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (FALSE TRUE))) :START-B-TOKEN VAL-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (FALSE))) :DURATION (345604 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3822 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* *))) :START-B-TOKEN VAL-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (345604 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3827 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (FALSE TRUE))) :START-B-TOKEN VAL-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (FALSE))) :DURATION (345604 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3868 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (345604 500000000) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-290 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (-1 2 FALSE))) :START-B-TOKEN VAL-290 :END-B-TOKEN VAL-290 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (-1))) :DURATION (12778 13030) :END-TIME-POINT TP-817 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3907 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY ("acs_error.seq" ACS_ERROR_ACTIVITY 0 2 FALSE))) :START-B-TOKEN VAL-3907 :END-B-TOKEN VAL-3907 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY ("acs_error.seq" ACS_ERROR_ACTIVITY 0 2))) :DURATION (304 304) :START-TIME-POINT TP-817 :END-TIME-POINT TP-2200 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3915 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (2 3 FALSE))) :START-B-TOKEN VAL-3915 :END-B-TOKEN VAL-3915 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (2))) :DURATION (3296 3548) :START-TIME-POINT TP-2200 :END-TIME-POINT TP-2038 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3921 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 3 FALSE))) :START-B-TOKEN VAL-3921 :END-B-TOKEN VAL-3921 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 3))) :DURATION (0 499983370) :START-TIME-POINT TP-2038 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3939 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * * *)) (NO_ACTIVITY (* * *))) :START-B-TOKEN VAL-3921 :END-B-TOKEN VAL-3921 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * *)) (NO_ACTIVITY (*))) :DURATION (0 499983370) :START-TIME-POINT TP-2038 ) ) )  #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) :END-TIME-POINT TP-2548 )  #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 392) :START-TIME-POINT TP-2548 :END-TIME-POINT TP-677 )  #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 EXEC_ACTIVITY_ACTIVE))) :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 (60 3988) :START-TIME-POINT TP-677 :END-TIME-POINT TP-2188 )  #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 EXEC_ACTIVITY_ACTIVE))) :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 (8 499994144) :START-TIME-POINT TP-2188 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3905 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("acs_error.seq" ACS_ERROR_ACTIVITY 0 2 FALSE EXEC_ACTIVITY_ACTIVE))) :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 (60 3988) :START-TIME-POINT TP-677 :END-TIME-POINT TP-2188 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3919 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 3 FALSE EXEC_ACTIVITY_ACTIVE))) :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 (8 499994144) :START-TIME-POINT TP-2188 ) ) )  #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 (4000 500000000) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-3824 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) )  #S(B-TOKEN :NAME TOK-3942 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-2704 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) )  #S(B-TOKEN :NAME TOK-3943 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-3825 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3941 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-2704 :END-B-TOKEN TOK-2704 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (16630 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3823 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :START-B-TOKEN TOK-3942 :END-B-TOKEN TOK-3943 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :DURATION (16630 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2157 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-2157 :END-B-TOKEN VAL-2157 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (9798 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3928 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-2157 :END-B-TOKEN VAL-2157 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (9798 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2173 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0 FIRST))) :START-B-TOKEN VAL-2173 :END-B-TOKEN VAL-2173 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (4004 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3878 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0 FIRST))) :START-B-TOKEN VAL-2173 :END-B-TOKEN VAL-2173 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (4004 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3936 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0 FIRST))) :START-B-TOKEN VAL-2173 :END-B-TOKEN VAL-2173 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (4004 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2225 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-2225 :END-B-TOKEN VAL-2225 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (4000 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3933 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-2225 :END-B-TOKEN VAL-2225 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (4000 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2434 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (64 * 28 SEP_BOUNDARY))) :START-B-TOKEN VAL-2434 :END-B-TOKEN VAL-2434 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) :DURATION (9742 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3844 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (64 * 28 SEP_BOUNDARY))) :START-B-TOKEN VAL-2434 :END-B-TOKEN VAL-2434 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) :DURATION (9742 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3929 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (* * * *))) :START-B-TOKEN VAL-2434 :END-B-TOKEN VAL-2434 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (* * *))) :DURATION (9742 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) :END-TIME-POINT TP-2548 )  #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) :START-TIME-POINT TP-2548 :END-TIME-POINT TP-2038 )  #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) :START-TIME-POINT TP-2038 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2646 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (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) :START-TIME-POINT TP-2547 :END-TIME-POINT TP-2548 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2637 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (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) :START-TIME-POINT TP-2547 :END-TIME-POINT TP-2548 ) ) )  #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 (345604 500000000) ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-301 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (345600 0 0 NOMINAL TRUE * * * *))) :START-B-TOKEN VAL-301 :END-B-TOKEN VAL-301 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3850 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * TRUE * * * *))) :START-B-TOKEN VAL-301 :END-B-TOKEN VAL-301 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3852 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * NOMINAL TRUE * * * *))) :START-B-TOKEN VAL-301 :END-B-TOKEN VAL-301 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3935 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * * * * * *))) :START-B-TOKEN VAL-301 :END-B-TOKEN VAL-301 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2210 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-2210 :END-B-TOKEN VAL-2210 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (4604 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3927 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-2210 :END-B-TOKEN VAL-2210 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (4604 500000000) ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2218 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-2218 :END-B-TOKEN VAL-2218 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (8806 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3932 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-2218 :END-B-TOKEN VAL-2218 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (8806 500000000) ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2274 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2027 BBC_DEADBAND_IPS_TVC_FIRST))) :START-B-TOKEN VAL-2274 :END-B-TOKEN VAL-2274 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2027 BBC_DEADBAND_IPS_TVC_FIRST))) :DURATION (12455 12707) :END-TIME-POINT TP-2540 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3876 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE ACM_COOKIE-3898 144 3996 TRUE (:BOUNDS -3204 11196) TRUE))) :START-B-TOKEN VAL-3876 :END-B-TOKEN VAL-3876 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE ACM_COOKIE-3898 144 3996 TRUE (:BOUNDS -3204 11196) TRUE))) :DURATION (144 144) :START-TIME-POINT TP-2540 :END-TIME-POINT TP-2263 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3872 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (HGA_AT_EARTH BBC_DEADBAND_CRUISE))) :START-B-TOKEN VAL-3872 :END-B-TOKEN VAL-3872 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (HGA_AT_EARTH BBC_DEADBAND_CRUISE))) :DURATION (3608 499987401) :START-TIME-POINT TP-2263 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3895 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 * * *))) :START-B-TOKEN VAL-3876 :END-B-TOKEN VAL-3876 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 * * *))) :DURATION (144 144) :START-TIME-POINT TP-2540 :END-TIME-POINT TP-2263 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3897 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 TRUE * *))) :START-B-TOKEN VAL-3876 :END-B-TOKEN VAL-3876 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 TRUE * *))) :DURATION (144 144) :START-TIME-POINT TP-2540 :END-TIME-POINT TP-2263 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3901 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 TRUE (:BOUNDS -3204 11196) TRUE))) :START-B-TOKEN VAL-3876 :END-B-TOKEN VAL-3876 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2027 HGA_AT_EARTH DEFAULT_POINTING_TURN BBC_DEADBAND_CRUISE * (:BOUNDS 4 500000000) 3996 TRUE (:BOUNDS -3204 11196) TRUE))) :DURATION (144 144) :START-TIME-POINT TP-2540 :END-TIME-POINT TP-2263 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3930 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (* *))) :START-B-TOKEN VAL-3872 :END-B-TOKEN VAL-3872 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (* *))) :DURATION (3608 499987401) :START-TIME-POINT TP-2263 ) ) ) ) :FREE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2635 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT *))) :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (0 500000000) :START-TIME-POINT TP-2544 :END-TIME-POINT TP-2545 ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-819 :FROM-TOKEN VAL-299 :TO-TOKEN VAL-300 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-910 :FROM-TOKEN VAL-290 :TO-TOKEN VAL-3907 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-925 :FROM-TOKEN VAL-3907 :TO-TOKEN VAL-3915 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-944 :FROM-TOKEN VAL-3915 :TO-TOKEN VAL-3921 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-907 :FROM-TOKEN VAL-2654 :TO-TOKEN VAL-3907 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-937 :FROM-TOKEN VAL-2653 :TO-TOKEN VAL-3921 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-914 :FROM-TOKEN VAL-2434 :TO-TOKEN VAL-3907 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #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 C-SPEC-845 :FROM-TOKEN VAL-2645 :TO-TOKEN VAL-2644 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-941 :FROM-TOKEN VAL-3921 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (STARTS_BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-913 :FROM-TOKEN VAL-3907 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (STARTS_BEFORE 3600 7200) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-849 :FROM-TOKEN VAL-2173 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #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) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-832 :FROM-TOKEN VAL-2642 :TO-TOKEN VAL-301 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-848 :FROM-TOKEN VAL-2210 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-876 :FROM-TOKEN VAL-2661 :TO-TOKEN VAL-3876 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-875 :FROM-TOKEN VAL-2274 :TO-TOKEN VAL-3876 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-880 :FROM-TOKEN VAL-3876 :TO-TOKEN VAL-3872 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-917 :FROM-TOKEN VAL-3872 :TO-TOKEN VAL-3907 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-856 :FROM-TOKEN VAL-3872 :TO-TOKEN VAL-2643 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2122 :TOKEN VAL-298 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43650867 43650867) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-859 :TOKEN VAL-299 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43663497 543650867) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2121 :TOKEN VAL-299 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43650867 43650867) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2113 :TOKEN VAL-290 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43650867 43650867) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-841 :TOKEN VAL-2157 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43663497 543657699) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2112 :TOKEN VAL-2157 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43657699 43657699) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-861 :TOKEN VAL-2225 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43663497 543663497) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-867 :TOKEN VAL-2434 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43663497 543657755) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2102 :TOKEN VAL-2434 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43657755 43657755) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2126 :TOKEN VAL-2645 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43663497 43663497) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-713 :TOKEN VAL-301 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43650867 43650867) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2090 :TOKEN VAL-2210 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43662897 43662897) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2088 :TOKEN VAL-2218 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43658691 43658691) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2023 :TOKEN VAL-2274 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43651042 43651042) ) ) :TIME-POINTS (#S(TIME-POINT :NAME TP-2544 :WINDOW (-456336503 43667497) :PRE-CONSTRAINTS ((TP-2545 -500000000 0)) :SUCCESSOR-TOKENS (SEQ-2635) )  #S(TIME-POINT :NAME TP-2547 :WINDOW (43663497 43663497) :SUCCESSOR-TOKENS (SEQ-2637 SEQ-2646) )  #S(TIME-POINT :NAME TP-2540 :WINDOW (43663497 43663749) :PREDECESSOR-TOKENS (VAL-2274) :SUCCESSOR-TOKENS (SEQ-3901 SEQ-3895 VAL-3876 SEQ-3897) )  #S(TIME-POINT :NAME TP-2545 :WINDOW (43663497 543663497) :PRE-CONSTRAINTS ((TP-2544 0 500000000)) :PREDECESSOR-TOKENS (SEQ-2635) )  #S(TIME-POINT :NAME TP-2548 :WINDOW (43663501 43663501) :PRE-CONSTRAINTS ((TP-2547 4 4)) :PREDECESSOR-TOKENS (SEQ-2637 SEQ-2646 VAL-2645 VAL-2656) :SUCCESSOR-TOKENS (VAL-2644 VAL-2655) )  #S(TIME-POINT :NAME TP-677 :WINDOW (43663505 43663893) :PREDECESSOR-TOKENS (VAL-2655) :SUCCESSOR-TOKENS (SEQ-3905 VAL-2654) )  #S(TIME-POINT :NAME TP-2263 :WINDOW (43663641 43663893) :PRE-CONSTRAINTS ((TP-2540 144 144)) :PREDECESSOR-TOKENS (SEQ-3897 VAL-3876 SEQ-3895 SEQ-3901) :SUCCESSOR-TOKENS (SEQ-3930 VAL-3872) )  #S(TIME-POINT :NAME TP-817 :WINDOW (43663645 43663897) :PRE-CONSTRAINTS ((TP-677 4 500000000) (TP-2540 148 500000000)) :PREDECESSOR-TOKENS (VAL-290) :SUCCESSOR-TOKENS (VAL-3907) )  #S(TIME-POINT :NAME TP-2200 :WINDOW (43663949 43664201) :PRE-CONSTRAINTS ((TP-817 304 304)) :PREDECESSOR-TOKENS (VAL-3907) :SUCCESSOR-TOKENS (VAL-3915) )  #S(TIME-POINT :NAME TP-2188 :WINDOW (43663953 43667493) :PRE-CONSTRAINTS ((TP-817 308 500000000)) :PREDECESSOR-TOKENS (VAL-2654 SEQ-3905) :SUCCESSOR-TOKENS (SEQ-3919 VAL-2653) )  #S(TIME-POINT :NAME TP-2038 :WINDOW (43667497 43667497) :PRE-CONSTRAINTS ((TP-2548 3996 3996)) :PREDECESSOR-TOKENS (VAL-3915 VAL-2644) :SUCCESSOR-TOKENS (SEQ-3939 VAL-3921 VAL-2643) ) ) )