#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43650897 :END 43663497 )  :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 MO-296 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0) (RA 0.0) (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 MO-295 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL MO-296) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-2361 :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 :ABSOLUTE :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 #(-0.4697214489316287D0 -0.8099134757776427D0 -0.35128609731577665D0) :RA 4.186831395517126D0 :DEC -0.3589443923230712D0 :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 0 :S_NAIF 10 :P_BODY :TVC_PREAIM_VEC :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-596 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-596 :END-B-TOKEN VAL-596 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (12600 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 (17838 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2449 :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 (17838 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 (17838 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2501 :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 (17838 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-2021 :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-2084 :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-2146 :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 * *))) :START-B-TOKEN VAL-290 :END-B-TOKEN VAL-290 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (-1))) :DURATION (17838 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2481 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * * *)) (NO_ACTIVITY (* * *))) :START-B-TOKEN VAL-290 :END-B-TOKEN VAL-290 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * *)) (NO_ACTIVITY (*))) :DURATION (17838 500000000) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_GOAL_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-591 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-591 :END-B-TOKEN VAL-591 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (7200 499994600) :END-TIME-POINT TP-705 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-590 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-590 :END-B-TOKEN VAL-590 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (5400 499992800) :START-TIME-POINT TP-705 ) ) )  #S(SV-TIMELINE :NAME (SPE ESTIMATE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-589 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-589 :END-B-TOKEN VAL-589 :STATE-VARIABLE (SPE ESTIMATE_SV) :TOKEN-TYPE ((SPE_ESTIMATE (2500.0D0))) :DURATION (12600 500000000) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-2078 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) )  #S(B-TOKEN :NAME TOK-2508 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-2515 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :END-TIME-POINT TP-693 )  #S(B-TOKEN :NAME TOK-648 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 68.374755859375D0) ((USED) . 2431.6252)) :START-TIME-POINT TP-693 :END-TIME-POINT TP-687 )  #S(B-TOKEN :NAME TOK-2516 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-687 )  #S(B-TOKEN :NAME TOK-2509 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-2080 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2512 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :START-B-TOKEN TOK-648 :END-B-TOKEN TOK-648 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :DURATION (996 996) :START-TIME-POINT TP-693 :END-TIME-POINT TP-687 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2505 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-2515 :END-B-TOKEN TOK-2516 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (17838 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2070 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :START-B-TOKEN TOK-2508 :END-B-TOKEN TOK-2509 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :DURATION (17838 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-293 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-293 :END-B-TOKEN VAL-293 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (5238 7430) :END-TIME-POINT TP-2037 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2029 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC ((MAX_THRUST_TIME (6300 -6300))) :START-B-TOKEN VAL-2029 :END-B-TOKEN VAL-2029 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE ((MAX_THRUST_TIME (6300 -6300))) :DURATION (4612 12596) :START-TIME-POINT TP-2037 :END-TIME-POINT TP-2177 )  #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 (4 499987958) :START-TIME-POINT TP-2177 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2460 :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 (4 499987958) :START-TIME-POINT TP-2177 ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-291 :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-291 :END-B-TOKEN VAL-291 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (11038 11038) :END-TIME-POINT TP-693 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2243 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 996 996 WHILE_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-2243 :END-B-TOKEN VAL-2243 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 996 996 WHILE_THRUSTING 0))) :DURATION (996 996) :START-TIME-POINT TP-693 :END-TIME-POINT TP-687 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2374 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (996 6300 5304 DEFICIT_ACCUM -6300 FIRST))) :START-B-TOKEN VAL-2374 :END-B-TOKEN VAL-2374 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (996 6300 5304 DEFICIT_ACCUM -6300))) :DURATION (4 5796) :START-TIME-POINT TP-687 :END-TIME-POINT TP-2038 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2162 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (6300 0 -6300 FINAL_ACCUM 0 FIRST))) :START-B-TOKEN VAL-2162 :END-B-TOKEN VAL-2162 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (6300 0 -6300 FINAL_ACCUM 0))) :DURATION (4 5796) :START-TIME-POINT TP-2038 :END-TIME-POINT TP-2177 )  #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 (8 499987958) :START-TIME-POINT TP-2177 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2238 :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-291 :END-B-TOKEN VAL-291 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (11038 11038) :END-TIME-POINT TP-693 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2486 :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 (8 499987958) :START-TIME-POINT TP-2177 ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-292 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-292 :END-B-TOKEN VAL-292 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (11038 11038) :END-TIME-POINT TP-693 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2028 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC ((THRUST_SEGMENT (POINTING-2027 28))) :START-B-TOKEN VAL-2028 :END-B-TOKEN VAL-2028 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE ((THRUST_SEGMENT (POINTING-2027 28))) :DURATION (1000 1000) :START-TIME-POINT TP-693 :END-TIME-POINT TP-684 )  #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 (5800 499987962) :START-TIME-POINT TP-684 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2496 :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 (5800 499987962) :START-TIME-POINT TP-684 ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-294 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-294 :END-B-TOKEN VAL-294 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (7434 7434) :END-TIME-POINT TP-2239 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2258 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STARTING_UP (POINTING-2027 28 * 0))) :START-B-TOKEN VAL-2258 :END-B-TOKEN VAL-2258 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STARTING_UP (POINTING-2027 28 * 0))) :DURATION (3604 3604) :START-TIME-POINT TP-2239 :END-TIME-POINT TP-693 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2323 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_THRUSTING (POINTING-2027 28 996 FIRST))) :START-B-TOKEN VAL-2323 :END-B-TOKEN VAL-2323 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_THRUSTING (POINTING-2027 28 996))) :DURATION (996 996) :START-TIME-POINT TP-693 :END-TIME-POINT TP-687 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2419 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_SHUTTING_DOWN (64 28 POINTING-2027))) :START-B-TOKEN VAL-2419 :END-B-TOKEN VAL-2419 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (SEP_SHUTTING_DOWN) :DURATION (64 64) :START-TIME-POINT TP-687 :END-TIME-POINT TP-2085 )  #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 (5740 499987902) :START-TIME-POINT TP-2085 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2111 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-294 :END-B-TOKEN VAL-294 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (7434 7434) :END-TIME-POINT TP-2239 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2455 :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 (5740 499987902) :START-TIME-POINT TP-2085 ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-582 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-582 :END-B-TOKEN VAL-582 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) :END-TIME-POINT TP-760 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-581 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-581 :END-B-TOKEN VAL-581 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (12596 12596) :START-TIME-POINT TP-760 :END-TIME-POINT TP-766 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-579 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-579 :END-B-TOKEN VAL-579 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-766 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-583 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT *))) :START-B-TOKEN VAL-582 :END-B-TOKEN VAL-582 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) :START-TIME-POINT TP-759 :END-TIME-POINT TP-760 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-580 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT *))) :START-B-TOKEN VAL-579 :END-B-TOKEN VAL-579 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-766 ) ) )  #S(SV-TIMELINE :NAME (NAV_MODE NAV_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-578 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-578 :END-B-TOKEN VAL-578 :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-2120 :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-2125 :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-2491 :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-303 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-303 :END-B-TOKEN VAL-303 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (13034 13034) :END-TIME-POINT TP-2188 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2186 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_PLAN_NEXT_HORIZON) :START-B-TOKEN VAL-2186 :END-B-TOKEN VAL-2186 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_PLAN_NEXT_HORIZON) :DURATION (4204 4204) :START-TIME-POINT TP-2188 :END-TIME-POINT TP-2200 )  #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 (600 499982762) :START-TIME-POINT TP-2200 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2465 :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 (600 499982762) :START-TIME-POINT TP-2200 ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-302 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-302 :END-B-TOKEN VAL-302 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (12130 12130) :END-TIME-POINT TP-2199 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2198 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PLAN_PREP) :START-B-TOKEN VAL-2198 :END-B-TOKEN VAL-2198 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PLAN_PREP) :DURATION (904 904) :START-TIME-POINT TP-2199 :END-TIME-POINT TP-2188 )  #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 (4804 499986966) :START-TIME-POINT TP-2188 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2475 :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 (4804 499986966) :START-TIME-POINT TP-2188 ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-297 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (MO-295 BBC_DEADBAND_CRUISE))) :START-B-TOKEN VAL-297 :END-B-TOKEN VAL-297 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (MO-295 BBC_DEADBAND_CRUISE))) :DURATION (5238 7283) :END-TIME-POINT TP-2295 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2291 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-2361 147 0 TRUE (:BOUNDS -7200 7200) TRUE))) :START-B-TOKEN VAL-2291 :END-B-TOKEN VAL-2291 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-2361 147 0 TRUE (:BOUNDS -7200 7200) TRUE))) :DURATION (147 147) :START-TIME-POINT TP-2295 :END-TIME-POINT TP-2278 )  #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 (10408 499994615) :START-TIME-POINT TP-2278 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2316 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-295 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 * * *))) :START-B-TOKEN VAL-2291 :END-B-TOKEN VAL-2291 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-295 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 * * *))) :DURATION (147 147) :START-TIME-POINT TP-2295 :END-TIME-POINT TP-2278 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2355 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE * *))) :START-B-TOKEN VAL-2291 :END-B-TOKEN VAL-2291 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE * *))) :DURATION (147 147) :START-TIME-POINT TP-2295 :END-TIME-POINT TP-2278 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2364 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE (:BOUNDS -7200 7200) TRUE))) :START-B-TOKEN VAL-2291 :END-B-TOKEN VAL-2291 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-295 POINTING-2027 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE (:BOUNDS -7200 7200) TRUE))) :DURATION (147 147) :START-TIME-POINT TP-2295 :END-TIME-POINT TP-2278 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2470 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (* *))) :START-B-TOKEN VAL-2274 :END-B-TOKEN VAL-2274 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (* *))) :DURATION (10408 499994615) :START-TIME-POINT TP-2278 ) ) ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME C-SPEC-2102 :FROM-TOKEN VAL-299 :TO-TOKEN VAL-300 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2156 :FROM-TOKEN VAL-293 :TO-TOKEN VAL-2029 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2161 :FROM-TOKEN VAL-2029 :TO-TOKEN VAL-2157 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2252 :FROM-TOKEN VAL-291 :TO-TOKEN VAL-2243 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2385 :FROM-TOKEN VAL-2243 :TO-TOKEN VAL-2374 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2406 :FROM-TOKEN VAL-2374 :TO-TOKEN VAL-2162 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2169 :FROM-TOKEN VAL-2029 :TO-TOKEN VAL-2162 :TEMPORAL-RELATION (ENDS_BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2389 :FROM-TOKEN VAL-2162 :TO-TOKEN VAL-2173 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2228 :FROM-TOKEN VAL-292 :TO-TOKEN VAL-2028 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2322 :FROM-TOKEN VAL-2028 :TO-TOKEN VAL-2243 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2236 :FROM-TOKEN VAL-2028 :TO-TOKEN VAL-2225 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2417 :FROM-TOKEN VAL-294 :TO-TOKEN VAL-2258 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2414 :FROM-TOKEN VAL-2029 :TO-TOKEN VAL-2258 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2269 :FROM-TOKEN VAL-2258 :TO-TOKEN VAL-2243 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2350 :FROM-TOKEN VAL-2258 :TO-TOKEN VAL-2323 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2345 :FROM-TOKEN VAL-2028 :TO-TOKEN VAL-2323 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2344 :FROM-TOKEN VAL-2029 :TO-TOKEN VAL-2323 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2335 :FROM-TOKEN VAL-2243 :TO-TOKEN VAL-2323 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2348 :FROM-TOKEN VAL-2323 :TO-TOKEN VAL-2243 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2428 :FROM-TOKEN VAL-2323 :TO-TOKEN VAL-2419 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2441 :FROM-TOKEN VAL-2419 :TO-TOKEN VAL-2434 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2172 :FROM-TOKEN VAL-582 :TO-TOKEN VAL-581 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2183 :FROM-TOKEN VAL-2173 :TO-TOKEN VAL-579 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-598 :FROM-TOKEN VAL-582 :TO-TOKEN VAL-579 :TEMPORAL-RELATION (STARTS_BEFORE 12600 12600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-597 :FROM-TOKEN VAL-590 :TO-TOKEN VAL-579 :TEMPORAL-RELATION (STARTS_BEFORE 5400 5400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2142 :FROM-TOKEN VAL-578 :TO-TOKEN VAL-301 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2209 :FROM-TOKEN VAL-303 :TO-TOKEN VAL-2186 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2196 :FROM-TOKEN VAL-2186 :TO-TOKEN VAL-579 :TEMPORAL-RELATION (BEFORE 600 600) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2215 :FROM-TOKEN VAL-2186 :TO-TOKEN VAL-2210 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2217 :FROM-TOKEN VAL-302 :TO-TOKEN VAL-2198 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2216 :FROM-TOKEN VAL-303 :TO-TOKEN VAL-2198 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2208 :FROM-TOKEN VAL-2198 :TO-TOKEN VAL-2186 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2223 :FROM-TOKEN VAL-2198 :TO-TOKEN VAL-2218 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2312 :FROM-TOKEN VAL-297 :TO-TOKEN VAL-2291 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2310 :FROM-TOKEN VAL-596 :TO-TOKEN VAL-2291 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2303 :FROM-TOKEN VAL-2291 :TO-TOKEN VAL-2274 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2445 :FROM-TOKEN VAL-2274 :TO-TOKEN VAL-2419 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2370 :FROM-TOKEN VAL-2274 :TO-TOKEN VAL-2323 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2285 :FROM-TOKEN VAL-2274 :TO-TOKEN VAL-2258 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-655 :TOKEN VAL-298 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2227 :TOKEN VAL-299 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-654 :TOKEN VAL-299 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2447 :TOKEN VAL-290 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-652 :TOKEN VAL-290 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-647 :TOKEN VAL-293 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2171 :TOKEN VAL-2157 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-645 :TOKEN VAL-291 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2520 :TOKEN VAL-2243 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43657693 43657693) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2519 :TOKEN VAL-2243 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43656697 43656697) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2526 :TOKEN VAL-2173 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (-456349103 43663493) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-643 :TOKEN VAL-292 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2033 :TOKEN VAL-2028 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43656697 43656697) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2034 :TOKEN VAL-2028 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43657697 43657697) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2237 :TOKEN VAL-2225 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-641 :TOKEN VAL-294 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2444 :TOKEN VAL-2434 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-656 :TOKEN VAL-582 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43650897 43650897) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-657 :TOKEN VAL-579 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43663497 43663497) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-635 :TOKEN VAL-301 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-633 :TOKEN VAL-303 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2224 :TOKEN VAL-2210 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-632 :TOKEN VAL-302 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-631 :TOKEN VAL-297 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43645659 43645659) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2412 :TOKEN VAL-2274 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43650897 543645659) ) ) :TIME-POINTS (#S(TIME-POINT :NAME TP-759 :WINDOW (43650897 43650897) :SUCCESSOR-TOKENS (SEQ-583) )  #S(TIME-POINT :NAME TP-2295 :WINDOW (43650897 43652942) :PREDECESSOR-TOKENS (VAL-297) :SUCCESSOR-TOKENS (SEQ-2364 SEQ-2316 VAL-2291 SEQ-2355) )  #S(TIME-POINT :NAME TP-2037 :WINDOW (43650897 43653089) :PREDECESSOR-TOKENS (VAL-293) :SUCCESSOR-TOKENS (VAL-2029) )  #S(TIME-POINT :NAME TP-760 :WINDOW (43650901 43650901) :PRE-CONSTRAINTS ((TP-759 4 4)) :PREDECESSOR-TOKENS (VAL-582 SEQ-583) :SUCCESSOR-TOKENS (VAL-581) )  #S(TIME-POINT :NAME TP-2278 :WINDOW (43651044 43653089) :PRE-CONSTRAINTS ((TP-2295 147 147)) :PREDECESSOR-TOKENS (SEQ-2355 VAL-2291 SEQ-2316 SEQ-2364) :SUCCESSOR-TOKENS (SEQ-2470 VAL-2274) )  #S(TIME-POINT :NAME TP-2239 :WINDOW (43653093 43653093) :PRE-CONSTRAINTS ((TP-760 2192 2192)) :PREDECESSOR-TOKENS (VAL-294 SEQ-2111) :SUCCESSOR-TOKENS (VAL-2258) )  #S(TIME-POINT :NAME TP-693 :WINDOW (43656697 43656697) :PRE-CONSTRAINTS ((TP-2239 3604 3604)) :PREDECESSOR-TOKENS (VAL-292 VAL-2258 SEQ-2238 VAL-291 TOK-2515) :SUCCESSOR-TOKENS (VAL-2028 VAL-2323 VAL-2243 TOK-648 SEQ-2512) )  #S(TIME-POINT :NAME TP-687 :WINDOW (43657693 43657693) :PRE-CONSTRAINTS ((TP-693 996 996)) :PREDECESSOR-TOKENS (VAL-2243 VAL-2323 TOK-648 SEQ-2512) :SUCCESSOR-TOKENS (VAL-2419 VAL-2374 TOK-2516) )  #S(TIME-POINT :NAME TP-684 :WINDOW (43657697 43657697) :PRE-CONSTRAINTS ((TP-687 4 4)) :PREDECESSOR-TOKENS (VAL-2028) :SUCCESSOR-TOKENS (SEQ-2496 VAL-2225) )  #S(TIME-POINT :NAME TP-2038 :WINDOW (43657697 43663489) :PREDECESSOR-TOKENS (VAL-2374) :SUCCESSOR-TOKENS (VAL-2162) )  #S(TIME-POINT :NAME TP-2177 :WINDOW (43657701 43663493) :PRE-CONSTRAINTS ((TP-2038 4 500000000)) :PREDECESSOR-TOKENS (VAL-2029 VAL-2162) :SUCCESSOR-TOKENS (SEQ-2486 VAL-2173 VAL-2157 SEQ-2460) )  #S(TIME-POINT :NAME TP-2085 :WINDOW (43657757 43657757) :PRE-CONSTRAINTS ((TP-684 60 60)) :PREDECESSOR-TOKENS (VAL-2419) :SUCCESSOR-TOKENS (SEQ-2455 VAL-2434) )  #S(TIME-POINT :NAME TP-2199 :WINDOW (43657789 43657789) :PRE-CONSTRAINTS ((TP-2085 32 32)) :PREDECESSOR-TOKENS (VAL-302) :SUCCESSOR-TOKENS (VAL-2198) )  #S(TIME-POINT :NAME TP-705 :WINDOW (43658097 43658097) :PRE-CONSTRAINTS ((TP-2199 308 308)) :PREDECESSOR-TOKENS (VAL-591) :SUCCESSOR-TOKENS (VAL-590) )  #S(TIME-POINT :NAME TP-2188 :WINDOW (43658693 43658693) :PRE-CONSTRAINTS ((TP-705 596 596)) :PREDECESSOR-TOKENS (VAL-2198 VAL-303) :SUCCESSOR-TOKENS (SEQ-2475 VAL-2186 VAL-2218) )  #S(TIME-POINT :NAME TP-2200 :WINDOW (43662897 43662897) :PRE-CONSTRAINTS ((TP-2188 4204 4204)) :PREDECESSOR-TOKENS (VAL-2186) :SUCCESSOR-TOKENS (SEQ-2465 VAL-2210) )  #S(TIME-POINT :NAME TP-766 :WINDOW (43663497 43663497) :PRE-CONSTRAINTS ((TP-2200 600 600)) :PREDECESSOR-TOKENS (VAL-581) :SUCCESSOR-TOKENS (VAL-579 SEQ-580) ) ) )