#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43342792 :END 43394285 )  :TIME-MAP #S(TIME-MAP :NAME DS1 )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME INERTIAL-5295 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000003) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5300 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000012) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5305 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000009) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5155 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC -0.3515558520396923D0) (RA -2.134588964027876D0) (NAIF_ID 0) (FORMAT ABSOLUTE_VEC)) )  #S(MODEL-OBJECT :NAME MO-739 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0) (RA 0.0) (NAIF_ID 399) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5311 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000008) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5316 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000037) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5321 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000060) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-5326 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000039) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2461 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000003 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5296 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5295) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2471 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000012 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5301 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5300) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-5307 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000009 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5306 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5305) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME POINTING-5156 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5155) (BODY TVC_PREAIM_VEC)) )  #S(MODEL-OBJECT :NAME MO-738 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL MO-739) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-3441 :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 :IN :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 2000003 :S_NAIF 10 :P_BODY :MICAS_BORESIGHT :S_BODY :PANEL_YOKE :VPB_OFFSET #(0.0D0 0.0D0 0.0D0) :SC :POS))) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-2687 :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 :IN :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 2000012 :S_NAIF 10 :P_BODY :MICAS_BORESIGHT :S_BODY :PANEL_YOKE :VPB_OFFSET #(0.0D0 0.0D0 0.0D0) :SC :POS))) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-5400 :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 :IN :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 2000009 :S_NAIF 10 :P_BODY :MICAS_BORESIGHT :S_BODY :PANEL_YOKE :VPB_OFFSET #(0.0D0 0.0D0 0.0D0) :SC :POS))) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-5573 :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.5017110329124999D0 -0.7935382636506102D0 -0.3443589167950311D0) :RA 4.14859634315171D0 :DEC -0.3515558520396923D0 :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))) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2489 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000008 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5312 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5311) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2507 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000037 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5317 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5316) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2525 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000060 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5322 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5321) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2543 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000039 :DETECTOR :VISCCD :DURATION :FSC_MICAS_28S :LINES 0 :INTERVAL #K(TIM_SC_TIME_DCL :SECONDS 0 :SUBSECONDS 0) :CLOCK :FSC_MICAS_300KHZ))) )  #S(MODEL-OBJECT :NAME POINTING-5327 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-5326) (BODY MICAS_BORESIGHT)) ) ) :SV-TIMELINES (#S(SV-TIMELINE :NAME (COMM COMM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3999 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-3999 :END-B-TOKEN VAL-3999 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (53400 500000000) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-741 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-741 :END-B-TOKEN VAL-741 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (25408 26856) :END-TIME-POINT TP-2395 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5294 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5296 2000003 0 28 4 CAMERA_SETTINGS_COOKIE-2461 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :START-B-TOKEN VAL-5294 :END-B-TOKEN VAL-5294 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5296 2000003 0 28 4 CAMERA_SETTINGS_COOKIE-2461))) :DURATION (1076 1076) :START-TIME-POINT TP-2395 :END-TIME-POINT TP-3350 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5341 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-5341 :END-B-TOKEN VAL-5341 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (1513 4409) :START-TIME-POINT TP-3350 :END-TIME-POINT TP-3045 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5299 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5301 2000012 1 28 4 CAMERA_SETTINGS_COOKIE-2471 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5299 :END-B-TOKEN VAL-5299 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5301 2000012 1 28 4 CAMERA_SETTINGS_COOKIE-2471))) :DURATION (1076 1076) :START-TIME-POINT TP-3045 :END-TIME-POINT TP-3096 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5352 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-5352 :END-B-TOKEN VAL-5352 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (1208 4104) :START-TIME-POINT TP-3096 :END-TIME-POINT TP-932 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5304 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5306 2000009 2 28 4 CAMERA_SETTINGS_COOKIE-5307 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5304 :END-B-TOKEN VAL-5304 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5306 2000009 2 28 4 CAMERA_SETTINGS_COOKIE-5307))) :DURATION (1076 1076) :START-TIME-POINT TP-932 :END-TIME-POINT TP-834 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5380 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-5380 :END-B-TOKEN VAL-5380 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (30792 499965747) :START-TIME-POINT TP-834 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5679 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-5380 :END-B-TOKEN VAL-5380 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (30792 499965747) :START-TIME-POINT TP-834 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-742 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY) :START-B-TOKEN VAL-742 :END-B-TOKEN VAL-742 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY) :DURATION (66493 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5677 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY MICAS_OFF) :START-B-TOKEN VAL-742 :END-B-TOKEN VAL-742 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY MICAS_OFF) :DURATION (66493 500000000) ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-743 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (FALSE TRUE))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (FALSE))) :DURATION (383597 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5154 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* *))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (383597 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5170 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (FALSE TRUE))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (FALSE))) :DURATION (383597 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5211 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (383597 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5275 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (383597 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5288 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-743 :END-B-TOKEN VAL-743 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (383597 500000000) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-733 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (-1 1 FALSE))) :START-B-TOKEN VAL-733 :END-B-TOKEN VAL-733 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (-1))) :DURATION (34697 66481) :END-TIME-POINT TP-2604 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5657 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :START-B-TOKEN VAL-5657 :END-B-TOKEN VAL-5657 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1))) :DURATION (4 31788) :START-TIME-POINT TP-2604 :END-TIME-POINT TP-3754 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5665 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (1 * *))) :START-B-TOKEN VAL-5665 :END-B-TOKEN VAL-5665 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (1))) :DURATION (8 499965299) :START-TIME-POINT TP-3754 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5671 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * * *)) (NO_ACTIVITY (* * *))) :START-B-TOKEN VAL-5665 :END-B-TOKEN VAL-5665 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * *)) (NO_ACTIVITY (*))) :DURATION (8 499965299) :START-TIME-POINT TP-3754 ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_GOAL_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3994 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-3994 :END-B-TOKEN VAL-3994 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (19693 499968200) :END-TIME-POINT TP-2567 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3993 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE EXEC_ACTIVITY_ACTIVE))) :START-B-TOKEN VAL-3993 :END-B-TOKEN VAL-3993 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (12 31796) :START-TIME-POINT TP-2567 :END-TIME-POINT TP-3742 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3992 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-3992 :END-B-TOKEN VAL-3992 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (4 499980295) :START-TIME-POINT TP-3742 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5655 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE EXEC_ACTIVITY_ACTIVE))) :START-B-TOKEN VAL-3993 :END-B-TOKEN VAL-3993 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (12 31796) :START-TIME-POINT TP-2567 :END-TIME-POINT TP-3742 ) ) )  #S(SV-TIMELINE :NAME (SPE ESTIMATE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3991 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-3991 :END-B-TOKEN VAL-3991 :STATE-VARIABLE (SPE ESTIMATE_SV) :TOKEN-TYPE ((SPE_ESTIMATE (2500.0D0))) :DURATION (51493 500000000) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-5167 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) )  #S(B-TOKEN :NAME TOK-5682 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-5685 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :END-TIME-POINT TP-938 )  #S(B-TOKEN :NAME TOK-4038 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 68.374755859375D0) ((USED) . 2431.6252)) :START-TIME-POINT TP-938 :END-TIME-POINT TP-3012 )  #S(B-TOKEN :NAME TOK-5686 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-3012 )  #S(B-TOKEN :NAME TOK-5683 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-5168 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5684 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :START-B-TOKEN TOK-4038 :END-B-TOKEN TOK-4038 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :DURATION (7781 7781) :START-TIME-POINT TP-938 :END-TIME-POINT TP-3012 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5681 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-5685 :END-B-TOKEN TOK-5686 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (66493 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5166 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :START-B-TOKEN TOK-5682 :END-B-TOKEN TOK-5683 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :DURATION (66493 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-736 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-736 :END-B-TOKEN VAL-736 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (15000 36200) :END-TIME-POINT TP-2773 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5158 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC ((MAX_THRUST_TIME (51493 -51493))) :START-B-TOKEN VAL-5158 :END-B-TOKEN VAL-5158 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE ((MAX_THRUST_TIME (51493 -51493))) :DURATION (11397 51489) :START-TIME-POINT TP-2773 :END-TIME-POINT TP-2376 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5408 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-5408 :END-B-TOKEN VAL-5408 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (4 499952403) :START-TIME-POINT TP-2376 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5678 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-5408 :END-B-TOKEN VAL-5408 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (4 499952403) :START-TIME-POINT TP-2376 ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-734 :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-734 :END-B-TOKEN VAL-734 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (15000 25404) :END-TIME-POINT TP-862 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5473 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 WHILE_NOT_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-5473 :END-B-TOKEN VAL-5473 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 WHILE_NOT_THRUSTING 0))) :DURATION (14404 24808) :START-TIME-POINT TP-862 :END-TIME-POINT TP-938 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5494 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 7781 7781 WHILE_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-5494 :END-B-TOKEN VAL-5494 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 7781 7781 WHILE_THRUSTING 0))) :DURATION (7781 7781) :START-TIME-POINT TP-938 :END-TIME-POINT TP-3012 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5582 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (7781 51493 43712 DEFICIT_ACCUM -51493 FIRST))) :START-B-TOKEN VAL-5582 :END-B-TOKEN VAL-5582 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (7781 51493 43712 DEFICIT_ACCUM -51493))) :DURATION (4 18896) :START-TIME-POINT TP-3012 :END-TIME-POINT TP-2855 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5410 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (51493 0 -51493 FINAL_ACCUM 0 FIRST))) :START-B-TOKEN VAL-5410 :END-B-TOKEN VAL-5410 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (51493 0 -51493 FINAL_ACCUM 0))) :DURATION (4 18896) :START-TIME-POINT TP-2855 :END-TIME-POINT TP-2376 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5414 :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-5414 :END-B-TOKEN VAL-5414 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (8 499952403) :START-TIME-POINT TP-2376 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5424 :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-734 :END-B-TOKEN VAL-734 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (15000 25404) :END-TIME-POINT TP-862 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5675 :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-5414 :END-B-TOKEN VAL-5414 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (8 499952403) :START-TIME-POINT TP-2376 ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-735 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-735 :END-B-TOKEN VAL-735 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (33900 33900) :END-TIME-POINT TP-2590 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5157 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC ((THRUST_SEGMENT (POINTING-5156 28))) :START-B-TOKEN VAL-5157 :END-B-TOKEN VAL-5157 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE ((THRUST_SEGMENT (POINTING-5156 28))) :DURATION (13693 13693) :START-TIME-POINT TP-2590 :END-TIME-POINT TP-2446 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5491 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-5491 :END-B-TOKEN VAL-5491 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (18900 499952407) :START-TIME-POINT TP-2446 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5674 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-5491 :END-B-TOKEN VAL-5491 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (18900 499952407) :START-TIME-POINT TP-2446 ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-737 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-737 :END-B-TOKEN VAL-737 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (15000 25404) :END-TIME-POINT TP-2996 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5246 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (* * 0 SEP_INTERMEDIATE))) :START-B-TOKEN VAL-5246 :END-B-TOKEN VAL-5246 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (* * 0))) :DURATION (10800 21204) :START-TIME-POINT TP-2996 :END-TIME-POINT TP-3042 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5506 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STARTING_UP (POINTING-5156 28 * 0))) :START-B-TOKEN VAL-5506 :END-B-TOKEN VAL-5506 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STARTING_UP (POINTING-5156 28 * 0))) :DURATION (3604 3604) :START-TIME-POINT TP-3042 :END-TIME-POINT TP-938 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5549 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_THRUSTING (POINTING-5156 28 7781 FIRST))) :START-B-TOKEN VAL-5549 :END-B-TOKEN VAL-5549 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_THRUSTING (POINTING-5156 28 7781))) :DURATION (7781 7781) :START-TIME-POINT TP-938 :END-TIME-POINT TP-3012 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5617 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_SHUTTING_DOWN (64 28 POINTING-5156))) :START-B-TOKEN VAL-5617 :END-B-TOKEN VAL-5617 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (SEP_SHUTTING_DOWN) :DURATION (64 64) :START-TIME-POINT TP-3012 :END-TIME-POINT TP-776 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5647 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (64 * 28 SEP_BOUNDARY))) :START-B-TOKEN VAL-5647 :END-B-TOKEN VAL-5647 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) :DURATION (18840 499952347) :START-TIME-POINT TP-776 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5187 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-737 :END-B-TOKEN VAL-737 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (15000 25404) :END-TIME-POINT TP-2996 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5669 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (* * * *))) :START-B-TOKEN VAL-5647 :END-B-TOKEN VAL-5647 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (* * *))) :DURATION (18840 499952347) :START-TIME-POINT TP-776 ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3985 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-3985 :END-B-TOKEN VAL-3985 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (51493 499999996) :END-TIME-POINT TP-2805 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3983 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-3983 :END-B-TOKEN VAL-3983 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-2805 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3984 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT *))) :START-B-TOKEN VAL-3983 :END-B-TOKEN VAL-3983 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-2805 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3974 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT *))) :START-B-TOKEN VAL-3983 :END-B-TOKEN VAL-3983 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-2805 ) ) )  #S(SV-TIMELINE :NAME (NAV_MODE NAV_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3982 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (36200 10800 0 FALSE 1 10))) :START-B-TOKEN VAL-3982 :END-B-TOKEN VAL-3982 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (36200 10800 0 FALSE 1 10))) :DURATION (39296 39296) :END-TIME-POINT TP-2763 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3981 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-3981 :END-B-TOKEN VAL-3981 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (345604 499960704) :START-TIME-POINT TP-2763 ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-744 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (36200 10800 0 NOMINAL TRUE * 1 * TRUE))) :START-B-TOKEN VAL-744 :END-B-TOKEN VAL-744 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (25404 25404) :END-TIME-POINT TP-3039 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5214 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_OP_NAV (10800 FALSE 1 10 (:LIST TRUE) (:BOUNDS -1 500000000) * (:LIST TRUE FALSE) * MICAS_SWITCH_STUCK))) :START-B-TOKEN VAL-5214 :END-B-TOKEN VAL-5214 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE ((OBS_WINDOW_OP_NAV (10800))) :DURATION (10800 10800) :START-TIME-POINT TP-3039 :END-TIME-POINT TP-3042 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5255 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (36200 10800 * BOUNDARY TRUE 1 * (:LIST TRUE) *))) :START-B-TOKEN VAL-5255 :END-B-TOKEN VAL-5255 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (1789 1789) :START-TIME-POINT TP-3042 :END-TIME-POINT TP-2763 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5276 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (345600 0 0 NOMINAL TRUE 1 (:BOUNDS -1 500000000) (:LIST TRUE) (:LIST TRUE FALSE)))) :START-B-TOKEN VAL-5276 :END-B-TOKEN VAL-5276 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) :START-TIME-POINT TP-2763 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5193 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * TRUE * * * *))) :START-B-TOKEN VAL-744 :END-B-TOKEN VAL-744 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (25404 25404) :END-TIME-POINT TP-3039 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5195 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * NOMINAL TRUE * * * *))) :START-B-TOKEN VAL-744 :END-B-TOKEN VAL-744 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (25404 25404) :END-TIME-POINT TP-3039 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5291 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_OP_NAV (10800 FALSE 1 10 TRUE * * * * MICAS_SWITCH_STUCK))) :START-B-TOKEN VAL-5214 :END-B-TOKEN VAL-5214 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE ((OBS_WINDOW_OP_NAV (10800))) :DURATION (10800 10800) :START-TIME-POINT TP-3039 :END-TIME-POINT TP-3042 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5680 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * * * * * *))) :START-B-TOKEN VAL-5276 :END-B-TOKEN VAL-5276 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) :START-TIME-POINT TP-2763 ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-746 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-746 :END-B-TOKEN VAL-746 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (51489 51489) :END-TIME-POINT TP-3716 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5483 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_PLAN_NEXT_HORIZON) :START-B-TOKEN VAL-5483 :END-B-TOKEN VAL-5483 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_PLAN_NEXT_HORIZON) :DURATION (14404 14404) :START-TIME-POINT TP-3716 :END-TIME-POINT TP-3718 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5487 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-5487 :END-B-TOKEN VAL-5487 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (600 499934107) :START-TIME-POINT TP-3718 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5673 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-5487 :END-B-TOKEN VAL-5487 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (600 499934107) :START-TIME-POINT TP-3718 ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-745 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-745 :END-B-TOKEN VAL-745 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (50585 50585) :END-TIME-POINT TP-3717 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5485 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PLAN_PREP) :START-B-TOKEN VAL-5485 :END-B-TOKEN VAL-5485 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PLAN_PREP) :DURATION (904 904) :START-TIME-POINT TP-3717 :END-TIME-POINT TP-3716 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5489 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-5489 :END-B-TOKEN VAL-5489 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (15004 499948511) :START-TIME-POINT TP-3716 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5676 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-5489 :END-B-TOKEN VAL-5489 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (15004 499948511) :START-TIME-POINT TP-3716 ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-740 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (MO-738 BBC_DEADBAND_CRUISE))) :START-B-TOKEN VAL-740 :END-B-TOKEN VAL-740 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (MO-738 BBC_DEADBAND_CRUISE))) :DURATION (20147 26085) :END-TIME-POINT TP-3751 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5629 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST ACM_COOKIE-3441 767 12347 TRUE (:BOUNDS 5147 19547) TRUE))) :START-B-TOKEN VAL-5629 :END-B-TOKEN VAL-5629 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST ACM_COOKIE-3441 767 12347 TRUE (:BOUNDS 5147 19547) TRUE))) :DURATION (767 767) :START-TIME-POINT TP-3751 :END-TIME-POINT TP-3731 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5343 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-5296 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :START-B-TOKEN VAL-5343 :END-B-TOKEN VAL-5343 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-5296 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :DURATION (0 7022) :START-TIME-POINT TP-3731 :END-TIME-POINT TP-2954 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5358 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2687 2953 11488 TRUE (:BOUNDS 4288 18688) TRUE))) :START-B-TOKEN VAL-5358 :END-B-TOKEN VAL-5358 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2687 2953 11488 TRUE (:BOUNDS 4288 18688) TRUE))) :DURATION (2953 2953) :START-TIME-POINT TP-2954 :END-TIME-POINT TP-2232 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5354 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-5301 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5354 :END-B-TOKEN VAL-5354 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-5301 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :DURATION (0 2532) :START-TIME-POINT TP-2232 :END-TIME-POINT TP-888 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5386 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-5400 2648 15525 TRUE (:BOUNDS 8325 22725) TRUE))) :START-B-TOKEN VAL-5386 :END-B-TOKEN VAL-5386 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-5400 2648 15525 TRUE (:BOUNDS 8325 22725) TRUE))) :DURATION (2648 2648) :START-TIME-POINT TP-888 :END-TIME-POINT TP-861 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5382 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-5306 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5382 :END-B-TOKEN VAL-5382 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-5306 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :DURATION (0 2532) :START-TIME-POINT TP-861 :END-TIME-POINT TP-3747 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5524 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-5573 495 19257 TRUE (:BOUNDS 12057 26457) TRUE))) :START-B-TOKEN VAL-5524 :END-B-TOKEN VAL-5524 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-5573 495 19257 TRUE (:BOUNDS 12057 26457) TRUE))) :DURATION (495 495) :START-TIME-POINT TP-3747 :END-TIME-POINT TP-3745 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5516 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-5156 BBC_DEADBAND_IPS_TVC_FIRST))) :START-B-TOKEN VAL-5516 :END-B-TOKEN VAL-5516 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-5156 BBC_DEADBAND_IPS_TVC_FIRST))) :DURATION (30293 499965248) :START-TIME-POINT TP-3745 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5639 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 * * *))) :START-B-TOKEN VAL-5629 :END-B-TOKEN VAL-5629 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 * * *))) :DURATION (767 767) :START-TIME-POINT TP-3751 :END-TIME-POINT TP-3731 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5641 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 TRUE * *))) :START-B-TOKEN VAL-5629 :END-B-TOKEN VAL-5629 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 TRUE * *))) :DURATION (767 767) :START-TIME-POINT TP-3751 :END-TIME-POINT TP-3731 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5644 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 TRUE (:BOUNDS 5147 19547) TRUE))) :START-B-TOKEN VAL-5629 :END-B-TOKEN VAL-5629 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-738 POINTING-5296 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 12347 TRUE (:BOUNDS 5147 19547) TRUE))) :DURATION (767 767) :START-TIME-POINT TP-3751 :END-TIME-POINT TP-3731 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5370 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 * * *))) :START-B-TOKEN VAL-5358 :END-B-TOKEN VAL-5358 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 * * *))) :DURATION (2953 2953) :START-TIME-POINT TP-2954 :END-TIME-POINT TP-2232 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5372 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 TRUE * *))) :START-B-TOKEN VAL-5358 :END-B-TOKEN VAL-5358 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 TRUE * *))) :DURATION (2953 2953) :START-TIME-POINT TP-2954 :END-TIME-POINT TP-2232 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5375 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 TRUE (:BOUNDS 4288 18688) TRUE))) :START-B-TOKEN VAL-5358 :END-B-TOKEN VAL-5358 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5296 POINTING-5301 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 11488 TRUE (:BOUNDS 4288 18688) TRUE))) :DURATION (2953 2953) :START-TIME-POINT TP-2954 :END-TIME-POINT TP-2232 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5397 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 * * *))) :START-B-TOKEN VAL-5386 :END-B-TOKEN VAL-5386 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 * * *))) :DURATION (2648 2648) :START-TIME-POINT TP-888 :END-TIME-POINT TP-861 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5399 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 TRUE * *))) :START-B-TOKEN VAL-5386 :END-B-TOKEN VAL-5386 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 TRUE * *))) :DURATION (2648 2648) :START-TIME-POINT TP-888 :END-TIME-POINT TP-861 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5403 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 TRUE (:BOUNDS 8325 22725) TRUE))) :START-B-TOKEN VAL-5386 :END-B-TOKEN VAL-5386 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5301 POINTING-5306 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 15525 TRUE (:BOUNDS 8325 22725) TRUE))) :DURATION (2648 2648) :START-TIME-POINT TP-888 :END-TIME-POINT TP-861 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5426 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 * * *))) :START-B-TOKEN VAL-5524 :END-B-TOKEN VAL-5524 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 * * *))) :DURATION (495 495) :START-TIME-POINT TP-3747 :END-TIME-POINT TP-3745 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5429 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 TRUE * *))) :START-B-TOKEN VAL-5524 :END-B-TOKEN VAL-5524 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 TRUE * *))) :DURATION (495 495) :START-TIME-POINT TP-3747 :END-TIME-POINT TP-3745 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5576 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 TRUE (:BOUNDS 12057 26457) TRUE))) :START-B-TOKEN VAL-5524 :END-B-TOKEN VAL-5524 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-5306 POINTING-5156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 19257 TRUE (:BOUNDS 12057 26457) TRUE))) :DURATION (495 495) :START-TIME-POINT TP-3747 :END-TIME-POINT TP-3745 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-5672 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (* *))) :START-B-TOKEN VAL-5516 :END-B-TOKEN VAL-5516 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (* *))) :DURATION (30293 499965248) :START-TIME-POINT TP-3745 ) ) ) ) :FREE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3976 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT *))) :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (0 500000000) :START-TIME-POINT TP-2820 :END-TIME-POINT TP-2787 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5310 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5312 2000008 3 28 4 CAMERA_SETTINGS_COOKIE-2489 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5310 :END-B-TOKEN VAL-5310 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5312 2000008 3 28 4 CAMERA_SETTINGS_COOKIE-2489))) :DURATION (1076 1076) :START-TIME-POINT TP-843 :END-TIME-POINT TP-850 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5315 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5317 2000037 4 28 4 CAMERA_SETTINGS_COOKIE-2507 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5315 :END-B-TOKEN VAL-5315 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5317 2000037 4 28 4 CAMERA_SETTINGS_COOKIE-2507))) :DURATION (1076 1076) :START-TIME-POINT TP-2925 :END-TIME-POINT TP-2790 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5320 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5322 2000060 5 28 4 CAMERA_SETTINGS_COOKIE-2525 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5320 :END-B-TOKEN VAL-5320 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5322 2000060 5 28 4 CAMERA_SETTINGS_COOKIE-2525))) :DURATION (1076 1076) :START-TIME-POINT TP-844 :END-TIME-POINT TP-801 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5325 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5327 2000039 6 28 4 CAMERA_SETTINGS_COOKIE-2543 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-5325 :END-B-TOKEN VAL-5325 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-5327 2000039 6 28 4 CAMERA_SETTINGS_COOKIE-2543))) :DURATION (1076 1076) :START-TIME-POINT TP-2354 :END-TIME-POINT TP-3083 ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME C-SPEC-3426 :FROM-TOKEN VAL-741 :TO-TOKEN VAL-5294 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3230 :FROM-TOKEN VAL-5294 :TO-TOKEN VAL-5341 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3251 :FROM-TOKEN VAL-5341 :TO-TOKEN VAL-5299 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3113 :FROM-TOKEN VAL-5294 :TO-TOKEN VAL-5299 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3263 :FROM-TOKEN VAL-5299 :TO-TOKEN VAL-5352 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3328 :FROM-TOKEN VAL-5352 :TO-TOKEN VAL-5304 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3132 :FROM-TOKEN VAL-5299 :TO-TOKEN VAL-5304 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3337 :FROM-TOKEN VAL-5304 :TO-TOKEN VAL-5380 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3360 :FROM-TOKEN VAL-742 :TO-TOKEN VAL-5304 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3268 :FROM-TOKEN VAL-742 :TO-TOKEN VAL-5299 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3236 :FROM-TOKEN VAL-742 :TO-TOKEN VAL-5294 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2978 :FROM-TOKEN VAL-742 :TO-TOKEN VAL-743 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-943 :FROM-TOKEN VAL-733 :TO-TOKEN VAL-5657 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-955 :FROM-TOKEN VAL-5657 :TO-TOKEN VAL-5665 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-942 :FROM-TOKEN VAL-3993 :TO-TOKEN VAL-5657 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3428 :FROM-TOKEN VAL-736 :TO-TOKEN VAL-5158 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3438 :FROM-TOKEN VAL-5158 :TO-TOKEN VAL-5408 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3547 :FROM-TOKEN VAL-734 :TO-TOKEN VAL-5473 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3552 :FROM-TOKEN VAL-5473 :TO-TOKEN VAL-5494 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3611 :FROM-TOKEN VAL-5494 :TO-TOKEN VAL-5582 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3612 :FROM-TOKEN VAL-5582 :TO-TOKEN VAL-5410 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3446 :FROM-TOKEN VAL-5158 :TO-TOKEN VAL-5410 :TEMPORAL-RELATION (ENDS_BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3545 :FROM-TOKEN VAL-5410 :TO-TOKEN VAL-5414 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3532 :FROM-TOKEN VAL-735 :TO-TOKEN VAL-5157 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3576 :FROM-TOKEN VAL-5157 :TO-TOKEN VAL-5494 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3537 :FROM-TOKEN VAL-5157 :TO-TOKEN VAL-5491 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3619 :FROM-TOKEN VAL-737 :TO-TOKEN VAL-5246 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3623 :FROM-TOKEN VAL-5246 :TO-TOKEN VAL-5506 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3618 :FROM-TOKEN VAL-5158 :TO-TOKEN VAL-5506 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3557 :FROM-TOKEN VAL-5506 :TO-TOKEN VAL-5494 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3591 :FROM-TOKEN VAL-5506 :TO-TOKEN VAL-5549 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3588 :FROM-TOKEN VAL-5157 :TO-TOKEN VAL-5549 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3584 :FROM-TOKEN VAL-5158 :TO-TOKEN VAL-5549 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3583 :FROM-TOKEN VAL-5494 :TO-TOKEN VAL-5549 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3590 :FROM-TOKEN VAL-5549 :TO-TOKEN VAL-5494 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3664 :FROM-TOKEN VAL-5549 :TO-TOKEN VAL-5617 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3695 :FROM-TOKEN VAL-5617 :TO-TOKEN VAL-5647 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3470 :FROM-TOKEN VAL-5414 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-4003 :FROM-TOKEN VAL-3993 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (STARTS_BEFORE 31800 31800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-4002 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (STARTS_BEFORE 53400 53400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-4001 :FROM-TOKEN VAL-3982 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (STARTS_BEFORE 67796 67796) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-4000 :FROM-TOKEN VAL-3981 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (STARTS_BEFORE 28500 28500) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2997 :FROM-TOKEN VAL-3982 :TO-TOKEN VAL-744 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3487 :FROM-TOKEN VAL-5473 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3085 :FROM-TOKEN VAL-742 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3026 :FROM-TOKEN VAL-5246 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3019 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 400 500000000 400 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3018 :FROM-TOKEN VAL-743 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3014 :FROM-TOKEN VAL-3982 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3013 :FROM-TOKEN VAL-744 :TO-TOKEN VAL-5214 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3133 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5304 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3117 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5299 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3098 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5294 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3051 :FROM-TOKEN VAL-3982 :TO-TOKEN VAL-5255 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3050 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5255 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3069 :FROM-TOKEN VAL-3981 :TO-TOKEN VAL-5276 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3060 :FROM-TOKEN VAL-5255 :TO-TOKEN VAL-5276 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3512 :FROM-TOKEN VAL-746 :TO-TOKEN VAL-5483 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3498 :FROM-TOKEN VAL-5483 :TO-TOKEN VAL-3983 :TEMPORAL-RELATION (BEFORE 600 600) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3519 :FROM-TOKEN VAL-5483 :TO-TOKEN VAL-5487 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3522 :FROM-TOKEN VAL-745 :TO-TOKEN VAL-5485 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3521 :FROM-TOKEN VAL-746 :TO-TOKEN VAL-5485 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3511 :FROM-TOKEN VAL-5485 :TO-TOKEN VAL-5483 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3527 :FROM-TOKEN VAL-5485 :TO-TOKEN VAL-5489 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3675 :FROM-TOKEN VAL-740 :TO-TOKEN VAL-5629 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3674 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-5629 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3672 :FROM-TOKEN VAL-5629 :TO-TOKEN VAL-5343 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3249 :FROM-TOKEN VAL-5343 :TO-TOKEN VAL-5294 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3296 :FROM-TOKEN VAL-5343 :TO-TOKEN VAL-5358 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3292 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-5358 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3291 :FROM-TOKEN VAL-5358 :TO-TOKEN VAL-5354 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3281 :FROM-TOKEN VAL-5354 :TO-TOKEN VAL-5299 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3396 :FROM-TOKEN VAL-5354 :TO-TOKEN VAL-5386 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3381 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-5386 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3378 :FROM-TOKEN VAL-5386 :TO-TOKEN VAL-5382 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3366 :FROM-TOKEN VAL-5382 :TO-TOKEN VAL-5304 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3570 :FROM-TOKEN VAL-5382 :TO-TOKEN VAL-5524 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3568 :FROM-TOKEN VAL-3999 :TO-TOKEN VAL-5524 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3567 :FROM-TOKEN VAL-5524 :TO-TOKEN VAL-5516 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3708 :FROM-TOKEN VAL-5516 :TO-TOKEN VAL-5617 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3604 :FROM-TOKEN VAL-5516 :TO-TOKEN VAL-5549 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3562 :FROM-TOKEN VAL-5516 :TO-TOKEN VAL-5506 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3146 :FROM-TOKEN VAL-5304 :TO-TOKEN VAL-5310 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3150 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5310 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3163 :FROM-TOKEN VAL-5310 :TO-TOKEN VAL-5315 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3165 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5315 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3180 :FROM-TOKEN VAL-5315 :TO-TOKEN VAL-5320 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3181 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5320 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3197 :FROM-TOKEN VAL-5320 :TO-TOKEN VAL-5325 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3201 :FROM-TOKEN VAL-5214 :TO-TOKEN VAL-5325 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2283 :TOKEN VAL-741 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-3531 :TOKEN VAL-742 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2266 :TOKEN VAL-742 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2251 :TOKEN VAL-733 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-959 :TOKEN VAL-5665 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-1065 :TOKEN VAL-3992 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (-456657208 43394281) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2250 :TOKEN VAL-736 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-3463 :TOKEN VAL-5408 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2246 :TOKEN VAL-734 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-1061 :TOKEN VAL-5494 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43375381 43375381) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-1057 :TOKEN VAL-5494 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43367600 43367600) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-1064 :TOKEN VAL-5414 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (-456657208 43394281) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2245 :TOKEN VAL-735 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2962 :TOKEN VAL-5157 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43361692 43361692) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2963 :TOKEN VAL-5157 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43375385 43375385) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-3540 :TOKEN VAL-5491 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2236 :TOKEN VAL-737 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3707 :TOKEN VAL-5647 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2284 :TOKEN VAL-3983 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43394285 43394285) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2234 :TOKEN VAL-744 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2228 :TOKEN VAL-746 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-3529 :TOKEN VAL-5487 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2227 :TOKEN VAL-745 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME SYS_C-SPEC-2152 :TOKEN VAL-740 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43327792 43327792) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3616 :TOKEN VAL-5516 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43342792 543327792) ) ) :TIME-POINTS (#S(TIME-POINT :NAME TP-2820 :WINDOW (-456657208 43394285) :PRE-CONSTRAINTS ((TP-2787 -500000000 0)) :SUCCESSOR-TOKENS (SEQ-3976) )  #S(TIME-POINT :NAME TP-862 :WINDOW (43342792 43353196) :PREDECESSOR-TOKENS (VAL-734 SEQ-5424) :SUCCESSOR-TOKENS (VAL-5473) )  #S(TIME-POINT :NAME TP-2773 :WINDOW (43342792 43363992) :PREDECESSOR-TOKENS (VAL-736) :SUCCESSOR-TOKENS (VAL-5158) )  #S(TIME-POINT :NAME TP-2787 :WINDOW (43342792 543342792) :PRE-CONSTRAINTS ((TP-2820 0 500000000)) :PREDECESSOR-TOKENS (SEQ-3976) )  #S(TIME-POINT :NAME TP-2996 :WINDOW (43342792 43353196) :PREDECESSOR-TOKENS (VAL-737 SEQ-5187) :SUCCESSOR-TOKENS (VAL-5246) )  #S(TIME-POINT :NAME TP-3751 :WINDOW (43347939 43353877) :PREDECESSOR-TOKENS (VAL-740) :SUCCESSOR-TOKENS (SEQ-5644 SEQ-5639 VAL-5629 SEQ-5641) )  #S(TIME-POINT :NAME TP-3731 :WINDOW (43348706 43354644) :PRE-CONSTRAINTS ((TP-3751 767 767)) :PREDECESSOR-TOKENS (SEQ-5644 SEQ-5639 VAL-5629 SEQ-5641) :SUCCESSOR-TOKENS (VAL-5343) )  #S(TIME-POINT :NAME TP-3039 :WINDOW (43353196 43353196) :PREDECESSOR-TOKENS (SEQ-5193 SEQ-5195 VAL-744) :SUCCESSOR-TOKENS (SEQ-5291 VAL-5214) )  #S(TIME-POINT :NAME TP-2395 :WINDOW (43353200 43354648) :PRE-CONSTRAINTS ((TP-3751 771 500000000)) :PREDECESSOR-TOKENS (VAL-741) :SUCCESSOR-TOKENS (VAL-5294) )  #S(TIME-POINT :NAME TP-3350 :WINDOW (43354276 43355724) :PRE-CONSTRAINTS ((TP-2395 1076 1076)) :PREDECESSOR-TOKENS (VAL-5294) :SUCCESSOR-TOKENS (VAL-5341) )  #S(TIME-POINT :NAME TP-2954 :WINDOW (43354280 43355728) :PRE-CONSTRAINTS ((TP-2395 1080 500000000)) :PREDECESSOR-TOKENS (VAL-5343) :SUCCESSOR-TOKENS (SEQ-5375 SEQ-5370 VAL-5358 SEQ-5372) )  #S(TIME-POINT :NAME TP-2232 :WINDOW (43357233 43358681) :PRE-CONSTRAINTS ((TP-2954 2953 2953)) :PREDECESSOR-TOKENS (SEQ-5375 SEQ-5370 VAL-5358 SEQ-5372) :SUCCESSOR-TOKENS (VAL-5354) )  #S(TIME-POINT :NAME TP-3045 :WINDOW (43357237 43358685) :PRE-CONSTRAINTS ((TP-2954 2957 500000000)) :PREDECESSOR-TOKENS (VAL-5341) :SUCCESSOR-TOKENS (VAL-5299) )  #S(TIME-POINT :NAME TP-3096 :WINDOW (43358313 43359761) :PRE-CONSTRAINTS ((TP-3045 1076 1076)) :PREDECESSOR-TOKENS (VAL-5299) :SUCCESSOR-TOKENS (VAL-5352) )  #S(TIME-POINT :NAME TP-888 :WINDOW (43358317 43359765) :PRE-CONSTRAINTS ((TP-3045 1080 500000000)) :PREDECESSOR-TOKENS (VAL-5354) :SUCCESSOR-TOKENS (SEQ-5403 SEQ-5397 VAL-5386 SEQ-5399) )  #S(TIME-POINT :NAME TP-861 :WINDOW (43360965 43362413) :PRE-CONSTRAINTS ((TP-888 2648 2648)) :PREDECESSOR-TOKENS (SEQ-5403 SEQ-5397 VAL-5386 SEQ-5399) :SUCCESSOR-TOKENS (VAL-5382) )  #S(TIME-POINT :NAME TP-932 :WINDOW (43360969 43362417) :PRE-CONSTRAINTS ((TP-843 -500000000 0) (TP-888 2652 500000000)) :PREDECESSOR-TOKENS (VAL-5352) :SUCCESSOR-TOKENS (VAL-5304) )  #S(TIME-POINT :NAME TP-843 :WINDOW (43360969 43362916) :PRE-CONSTRAINTS ((TP-932 0 500000000) (TP-2925 -500000000 0) (TP-888 2652 500000000)) :SUCCESSOR-TOKENS (VAL-5310) )  #S(TIME-POINT :NAME TP-2925 :WINDOW (43360969 43362916) :PRE-CONSTRAINTS ((TP-843 0 500000000) (TP-844 -500000000 0) (TP-888 2652 500000000)) :SUCCESSOR-TOKENS (VAL-5315) )  #S(TIME-POINT :NAME TP-2354 :WINDOW (43360969 43362916) :PRE-CONSTRAINTS ((TP-844 0 500000000) (TP-888 2652 500000000)) :SUCCESSOR-TOKENS (VAL-5325) )  #S(TIME-POINT :NAME TP-844 :WINDOW (43360969 43362916) :PRE-CONSTRAINTS ((TP-2354 -500000000 0) (TP-2925 0 500000000) (TP-888 2652 500000000)) :SUCCESSOR-TOKENS (VAL-5320) )  #S(TIME-POINT :NAME TP-2590 :WINDOW (43361692 43361692) :PRE-CONSTRAINTS ((TP-3039 8496 8496)) :PREDECESSOR-TOKENS (VAL-735) :SUCCESSOR-TOKENS (VAL-5157) )  #S(TIME-POINT :NAME TP-850 :WINDOW (43362045 43363992) :PRE-CONSTRAINTS ((TP-843 1076 1076)) :PREDECESSOR-TOKENS (VAL-5310) )  #S(TIME-POINT :NAME TP-2790 :WINDOW (43362045 43363992) :PRE-CONSTRAINTS ((TP-2925 1076 1076)) :PREDECESSOR-TOKENS (VAL-5315) )  #S(TIME-POINT :NAME TP-3083 :WINDOW (43362045 43363992) :PRE-CONSTRAINTS ((TP-2354 1076 1076)) :PREDECESSOR-TOKENS (VAL-5325) )  #S(TIME-POINT :NAME TP-834 :WINDOW (43362045 43363493) :PRE-CONSTRAINTS ((TP-932 1076 1076)) :PREDECESSOR-TOKENS (VAL-5304) :SUCCESSOR-TOKENS (SEQ-5679 VAL-5380) )  #S(TIME-POINT :NAME TP-801 :WINDOW (43362045 43363992) :PRE-CONSTRAINTS ((TP-844 1076 1076)) :PREDECESSOR-TOKENS (VAL-5320) )  #S(TIME-POINT :NAME TP-3747 :WINDOW (43362049 43363497) :PRE-CONSTRAINTS ((TP-932 1080 500000000)) :PREDECESSOR-TOKENS (VAL-5382) :SUCCESSOR-TOKENS (SEQ-5576 SEQ-5426 VAL-5524 SEQ-5429) )  #S(TIME-POINT :NAME TP-2567 :WINDOW (43362485 43362485) :PRE-CONSTRAINTS ((TP-2590 793 793)) :PREDECESSOR-TOKENS (VAL-3994) :SUCCESSOR-TOKENS (SEQ-5655 VAL-3993) )  #S(TIME-POINT :NAME TP-2604 :WINDOW (43362489 43394273) :PREDECESSOR-TOKENS (VAL-733) :SUCCESSOR-TOKENS (VAL-5657) )  #S(TIME-POINT :NAME TP-3754 :WINDOW (43362493 43394277) :PRE-CONSTRAINTS ((TP-2604 4 500000000)) :PREDECESSOR-TOKENS (VAL-5657) :SUCCESSOR-TOKENS (SEQ-5671 VAL-5665) )  #S(TIME-POINT :NAME TP-3742 :WINDOW (43362497 43394281) :PRE-CONSTRAINTS ((TP-3754 4 500000000)) :PREDECESSOR-TOKENS (SEQ-5655 VAL-3993) :SUCCESSOR-TOKENS (VAL-3992) )  #S(TIME-POINT :NAME TP-3745 :WINDOW (43362544 43363992) :PRE-CONSTRAINTS ((TP-3747 495 495)) :PREDECESSOR-TOKENS (SEQ-5429 VAL-5524 SEQ-5426 SEQ-5576) :SUCCESSOR-TOKENS (SEQ-5672 VAL-5516) )  #S(TIME-POINT :NAME TP-3042 :WINDOW (43363996 43363996) :PRE-CONSTRAINTS ((TP-2567 1511 1511)) :PREDECESSOR-TOKENS (SEQ-5291 VAL-5214 VAL-5246) :SUCCESSOR-TOKENS (VAL-5255 VAL-5506) )  #S(TIME-POINT :NAME TP-2763 :WINDOW (43365785 43365785) :PRE-CONSTRAINTS ((TP-3042 1789 1789)) :PREDECESSOR-TOKENS (VAL-3982 VAL-5255) :SUCCESSOR-TOKENS (SEQ-5680 VAL-3981 VAL-5276) )  #S(TIME-POINT :NAME TP-938 :WINDOW (43367600 43367600) :PRE-CONSTRAINTS ((TP-2763 1815 1815)) :PREDECESSOR-TOKENS (TOK-5685 VAL-5473 VAL-5506) :SUCCESSOR-TOKENS (SEQ-5684 TOK-4038 VAL-5494 VAL-5549) )  #S(TIME-POINT :NAME TP-3012 :WINDOW (43375381 43375381) :PRE-CONSTRAINTS ((TP-938 7781 7781)) :PREDECESSOR-TOKENS (VAL-5494 VAL-5549 TOK-4038 SEQ-5684) :SUCCESSOR-TOKENS (VAL-5617 VAL-5582 TOK-5686) )  #S(TIME-POINT :NAME TP-2446 :WINDOW (43375385 43375385) :PRE-CONSTRAINTS ((TP-3012 4 4)) :PREDECESSOR-TOKENS (VAL-5157) :SUCCESSOR-TOKENS (SEQ-5674 VAL-5491) )  #S(TIME-POINT :NAME TP-2855 :WINDOW (43375385 43394277) :PREDECESSOR-TOKENS (VAL-5582) :SUCCESSOR-TOKENS (VAL-5410) )  #S(TIME-POINT :NAME TP-2376 :WINDOW (43375389 43394281) :PRE-CONSTRAINTS ((TP-2855 4 500000000)) :PREDECESSOR-TOKENS (VAL-5158 VAL-5410) :SUCCESSOR-TOKENS (SEQ-5678 VAL-5414 VAL-5408 SEQ-5675) )  #S(TIME-POINT :NAME TP-776 :WINDOW (43375445 43375445) :PRE-CONSTRAINTS ((TP-2446 60 60)) :PREDECESSOR-TOKENS (VAL-5617) :SUCCESSOR-TOKENS (SEQ-5669 VAL-5647) )  #S(TIME-POINT :NAME TP-3717 :WINDOW (43378377 43378377) :PRE-CONSTRAINTS ((TP-776 2932 2932)) :PREDECESSOR-TOKENS (VAL-745) :SUCCESSOR-TOKENS (VAL-5485) )  #S(TIME-POINT :NAME TP-3716 :WINDOW (43379281 43379281) :PRE-CONSTRAINTS ((TP-3717 904 904)) :PREDECESSOR-TOKENS (VAL-5485 VAL-746) :SUCCESSOR-TOKENS (SEQ-5676 VAL-5483 VAL-5489) )  #S(TIME-POINT :NAME TP-3718 :WINDOW (43393685 43393685) :PRE-CONSTRAINTS ((TP-3716 14404 14404)) :PREDECESSOR-TOKENS (VAL-5483) :SUCCESSOR-TOKENS (SEQ-5673 VAL-5487) )  #S(TIME-POINT :NAME TP-2805 :WINDOW (43394285 43394285) :PRE-CONSTRAINTS ((TP-3718 600 600)) :PREDECESSOR-TOKENS (VAL-3985) :SUCCESSOR-TOKENS (SEQ-3974 SEQ-3984 VAL-3983) ) ) )