#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43326485 :END 43394285 )  :TIME-MAP #S(TIME-MAP :NAME DS1 )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME INERTIAL-2459 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000003) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2469 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000012) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2505 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000037) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2523 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000060) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2155 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC -0.3511474354826812D0) (RA -2.1367024841340534D0) (NAIF_ID 0) (FORMAT ABSOLUTE_VEC)) )  #S(MODEL-OBJECT :NAME MO-305 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0) (RA 0.0) (NAIF_ID 399) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2541 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000039) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2559 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000349) (FORMAT NAMED_VEC)) )  #S(MODEL-OBJECT :NAME INERTIAL-2487 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((DEC 0.0D0) (RA 0.0D0) (NAIF_ID 2000008) (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-2460 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2459) (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-2470 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2469) (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-2506 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2505) (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-2524 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2523) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME POINTING-2156 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2155) (BODY TVC_PREAIM_VEC)) )  #S(MODEL-OBJECT :NAME MO-304 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL MO-305) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME ACM_COOKIE-3176 :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.5034624376857376D0 -0.7925947658801761D0 -0.34397545107010746D0) :RA 4.146482823045533D0 :DEC -0.3511474354826812D0 :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 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-2826 :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 2000037 :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-2884 :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 2000060 :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 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-2542 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2541) (BODY MICAS_BORESIGHT)) )  #S(MODEL-OBJECT :NAME CAMERA_SETTINGS_COOKIE-2561 :INSTANCE-OF COOKIE :STATIC-PROPERTIES ((DATA #K(FSC_MICAS_EXPOSE_PARAMS :TARGET_ID 2000349 :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-2560 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2559) (BODY MICAS_BORESIGHT)) )  #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-2488 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL INERTIAL-2487) (BODY MICAS_BORESIGHT)) ) ) :SV-TIMELINES (#S(SV-TIMELINE :NAME (COMM COMM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-680 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-680 :END-B-TOKEN VAL-680 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (3600 499935800) :END-TIME-POINT TP-859 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-679 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC ((SCHEDULED_LGA_COMM (10800))) :START-B-TOKEN VAL-679 :END-B-TOKEN VAL-679 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (SCHEDULED_LGA_COMM) :DURATION (10800 10800) :START-TIME-POINT TP-859 :END-TIME-POINT TP-756 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-678 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-678 :END-B-TOKEN VAL-678 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (53400 499985600) :START-TIME-POINT TP-756 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-307 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-307 :END-B-TOKEN VAL-307 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (42552 42552) :END-TIME-POINT TP-911 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2458 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2460 2000003 0 28 4 CAMERA_SETTINGS_COOKIE-2461 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :START-B-TOKEN VAL-2458 :END-B-TOKEN VAL-2458 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2460 2000003 0 28 4 CAMERA_SETTINGS_COOKIE-2461))) :DURATION (1076 1076) :START-TIME-POINT TP-911 :END-TIME-POINT TP-2590 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2589 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-2589 :END-B-TOKEN VAL-2589 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (2960 2960) :START-TIME-POINT TP-2590 :END-TIME-POINT TP-2476 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2468 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2470 2000012 1 28 4 CAMERA_SETTINGS_COOKIE-2471 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2468 :END-B-TOKEN VAL-2468 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2470 2000012 1 28 4 CAMERA_SETTINGS_COOKIE-2471))) :DURATION (1076 1076) :START-TIME-POINT TP-2476 :END-TIME-POINT TP-2591 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2619 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-2619 :END-B-TOKEN VAL-2619 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (2437 2437) :START-TIME-POINT TP-2591 :END-TIME-POINT TP-2512 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2504 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2506 2000037 3 28 4 CAMERA_SETTINGS_COOKIE-2507 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2504 :END-B-TOKEN VAL-2504 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2506 2000037 3 28 4 CAMERA_SETTINGS_COOKIE-2507))) :DURATION (1076 1076) :START-TIME-POINT TP-2512 :END-TIME-POINT TP-773 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2699 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-2699 :END-B-TOKEN VAL-2699 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (779 779) :START-TIME-POINT TP-773 :END-TIME-POINT TP-2530 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2522 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2524 2000060 4 28 4 CAMERA_SETTINGS_COOKIE-2525 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2522 :END-B-TOKEN VAL-2522 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2524 2000060 4 28 4 CAMERA_SETTINGS_COOKIE-2525))) :DURATION (1076 1076) :START-TIME-POINT TP-2530 :END-TIME-POINT TP-2567 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2834 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-2834 :END-B-TOKEN VAL-2834 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (31596 499946968) :START-TIME-POINT TP-2567 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3561 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC (MICAS_IDLE) :START-B-TOKEN VAL-2834 :END-B-TOKEN VAL-2834 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (MICAS_IDLE) :DURATION (31596 499946968) :START-TIME-POINT TP-2567 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-308 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY) :START-B-TOKEN VAL-308 :END-B-TOKEN VAL-308 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY) :DURATION (18028 18028) :END-TIME-POINT TP-750 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-675 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_OFF) :START-B-TOKEN VAL-675 :END-B-TOKEN VAL-675 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_OFF) :DURATION (34 34) :START-TIME-POINT TP-750 :END-TIME-POINT TP-802 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3003 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_OFF) :START-B-TOKEN VAL-3003 :END-B-TOKEN VAL-3003 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_OFF) :DURATION (24110 24422) :START-TIME-POINT TP-802 :END-TIME-POINT TP-2389 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2979 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_ON) :START-B-TOKEN VAL-2979 :END-B-TOKEN VAL-2979 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_ON) :DURATION (64 64) :START-TIME-POINT TP-2389 :END-TIME-POINT TP-775 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2434 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY) :START-B-TOKEN VAL-2434 :END-B-TOKEN VAL-2434 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY) :DURATION (5120 7759) :START-TIME-POINT TP-775 :END-TIME-POINT TP-2793 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2987 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_OFF) :START-B-TOKEN VAL-2987 :END-B-TOKEN VAL-2987 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_OFF) :DURATION (34 34) :START-TIME-POINT TP-2793 :END-TIME-POINT TP-3035 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3011 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_OFF) :START-B-TOKEN VAL-3011 :END-B-TOKEN VAL-3011 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_OFF) :DURATION (4 2331) :START-TIME-POINT TP-3035 :END-TIME-POINT TP-835 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2995 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_ON) :START-B-TOKEN VAL-2995 :END-B-TOKEN VAL-2995 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_ON) :DURATION (64 64) :START-TIME-POINT TP-835 :END-TIME-POINT TP-782 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2705 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY) :START-B-TOKEN VAL-2705 :END-B-TOKEN VAL-2705 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY) :DURATION (34531 499952230) :START-TIME-POINT TP-782 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3556 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_READY MICAS_OFF) :START-B-TOKEN VAL-2705 :END-B-TOKEN VAL-2705 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_READY MICAS_OFF) :DURATION (34531 499952230) :START-TIME-POINT TP-782 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-309 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (TRUE TRUE))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (TRUE))) :DURATION (401732 500000000) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2150 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* *))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (401732 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2282 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (401732 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2307 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (401732 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2401 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (401732 500000000) )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2425 :SV-SPEC (MICAS MICAS_HEALTH_SV) :TYPE-SPEC ((MICAS_AVAILABILITY (* TRUE))) :START-B-TOKEN VAL-309 :END-B-TOKEN VAL-309 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE ((MICAS_AVAILABILITY (*))) :DURATION (401732 500000000) ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-299 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (-1 1 FALSE))) :START-B-TOKEN VAL-299 :END-B-TOKEN VAL-299 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (-1))) :DURATION (52832 84616) :END-TIME-POINT TP-817 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3493 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :START-B-TOKEN VAL-3493 :END-B-TOKEN VAL-3493 :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-817 :END-TIME-POINT TP-3510 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3508 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((NO_ACTIVITY (1 * *))) :START-B-TOKEN VAL-3508 :END-B-TOKEN VAL-3508 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((NO_ACTIVITY (1))) :DURATION (8 499947164) :START-TIME-POINT TP-3510 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3541 :SV-SPEC (EXEC ACTIVITY_SV) :TYPE-SPEC ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * * *)) (NO_ACTIVITY (* * *))) :START-B-TOKEN VAL-3508 :END-B-TOKEN VAL-3508 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE ((EXEC_ACTIVITY (* EXEC_ABORT_TO_MODE * *)) (NO_ACTIVITY (*))) :DURATION (8 499947164) :START-TIME-POINT TP-3510 ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_GOAL_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-671 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-671 :END-B-TOKEN VAL-671 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (36000 499968200) :END-TIME-POINT TP-2232 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-670 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE EXEC_ACTIVITY_ACTIVE))) :START-B-TOKEN VAL-670 :END-B-TOKEN VAL-670 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (12 31796) :START-TIME-POINT TP-2232 :END-TIME-POINT TP-2854 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-669 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-669 :END-B-TOKEN VAL-669 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (4 499963988) :START-TIME-POINT TP-2854 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3485 :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-670 :END-B-TOKEN VAL-670 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (12 31796) :START-TIME-POINT TP-2232 :END-TIME-POINT TP-2854 ) ) )  #S(SV-TIMELINE :NAME (SPE ESTIMATE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-668 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-668 :END-B-TOKEN VAL-668 :STATE-VARIABLE (SPE ESTIMATE_SV) :TOKEN-TYPE ((SPE_ESTIMATE (2500.0D0))) :DURATION (67800 500000000) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-2207 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) )  #S(B-TOKEN :NAME TOK-3585 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-3578 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :END-TIME-POINT TP-750 )  #S(B-TOKEN :NAME TOK-3586 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-750 :END-TIME-POINT TP-802 )  #S(B-TOKEN :NAME TOK-3593 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-802 :END-TIME-POINT TP-859 )  #S(B-TOKEN :NAME TOK-737 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-859 :END-TIME-POINT TP-756 )  #S(B-TOKEN :NAME TOK-3683 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-756 :END-TIME-POINT TP-799 )  #S(B-TOKEN :NAME TOK-3613 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 83.374755859375D0) ((USED) . 2416.6252)) :START-TIME-POINT TP-799 :END-TIME-POINT TP-2354 )  #S(B-TOKEN :NAME TOK-3684 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-2354 :END-TIME-POINT TP-2389 )  #S(B-TOKEN :NAME TOK-3599 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-2389 :END-TIME-POINT TP-775 )  #S(B-TOKEN :NAME TOK-3579 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-775 :END-TIME-POINT TP-2793 )  #S(B-TOKEN :NAME TOK-3606 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-2793 :END-TIME-POINT TP-3035 )  #S(B-TOKEN :NAME TOK-3661 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2500.0D0) ((USED) . 0.0)) :START-TIME-POINT TP-3035 :END-TIME-POINT TP-835 )  #S(B-TOKEN :NAME TOK-3657 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-835 :END-TIME-POINT TP-782 )  #S(B-TOKEN :NAME TOK-3690 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-782 :END-TIME-POINT TP-3047 )  #S(B-TOKEN :NAME TOK-3600 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 68.374755859375D0) ((USED) . 2431.6252)) :START-TIME-POINT TP-3047 :END-TIME-POINT TP-2924 )  #S(B-TOKEN :NAME TOK-3691 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((AVAILABLE) . 2485.0D0) ((USED) . 15.0)) :START-TIME-POINT TP-2924 )  #S(B-TOKEN :NAME TOK-3607 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION ((USED) . 0) ((AVAILABLE) . 2500.0D0)) )  #S(B-TOKEN :NAME TOK-2209 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3582 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-3578 :END-B-TOKEN TOK-3578 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (18028 18028) :END-TIME-POINT TP-750 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3589 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :START-B-TOKEN TOK-3586 :END-B-TOKEN TOK-3586 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :DURATION (34 34) :START-TIME-POINT TP-750 :END-TIME-POINT TP-802 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3575 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :START-B-TOKEN TOK-737 :END-B-TOKEN TOK-737 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :DURATION (10800 10800) :START-TIME-POINT TP-859 :END-TIME-POINT TP-756 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3680 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :START-B-TOKEN TOK-3613 :END-B-TOKEN TOK-3613 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :DURATION (5981 5981) :START-TIME-POINT TP-799 :END-TIME-POINT TP-2354 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3666 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :START-B-TOKEN TOK-3593 :END-B-TOKEN TOK-3684 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :DURATION (24110 24422) :START-TIME-POINT TP-802 :END-TIME-POINT TP-2389 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3610 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-3599 :END-B-TOKEN TOK-3599 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (64 64) :START-TIME-POINT TP-2389 :END-TIME-POINT TP-775 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3596 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-3579 :END-B-TOKEN TOK-3579 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (5120 7759) :START-TIME-POINT TP-775 :END-TIME-POINT TP-2793 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3617 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :START-B-TOKEN TOK-3606 :END-B-TOKEN TOK-3606 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :DURATION (34 34) :START-TIME-POINT TP-2793 :END-TIME-POINT TP-3035 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3673 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :START-B-TOKEN TOK-3661 :END-B-TOKEN TOK-3661 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0.0) ((AVAILABLE) - 0.0)) :DURATION (4 2331) :START-TIME-POINT TP-3035 :END-TIME-POINT TP-835 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3658 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-3657 :END-B-TOKEN TOK-3657 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (64 64) :START-TIME-POINT TP-835 :END-TIME-POINT TP-782 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3687 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :START-B-TOKEN TOK-3600 :END-B-TOKEN TOK-3600 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 2416.6252) ((AVAILABLE) - 2416.6252)) :DURATION (3892 3892) :START-TIME-POINT TP-3047 :END-TIME-POINT TP-2924 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3603 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :START-B-TOKEN TOK-3690 :END-B-TOKEN TOK-3691 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 15.0) ((AVAILABLE) - 15.0)) :DURATION (34531 499952230) :START-TIME-POINT TP-782 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2199 :SV-SPEC (POWER POWER_AVAILABLE_SV) :TYPE-SPEC (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :START-B-TOKEN TOK-3585 :END-B-TOKEN TOK-3607 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (:DISTRIBUTION-SPEC ((USED) + 0) ((AVAILABLE) + 2500.0D0)) :DURATION (84628 500000000) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-302 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-302 :END-B-TOKEN VAL-302 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (16828 32120) :END-TIME-POINT TP-2166 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2158 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC ((MAX_THRUST_TIME (67800 -67800))) :START-B-TOKEN VAL-2158 :END-B-TOKEN VAL-2158 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE ((MAX_THRUST_TIME (67800 -67800))) :DURATION (33616 67796) :START-TIME-POINT TP-2166 :END-TIME-POINT TP-2531 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2895 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-2895 :END-B-TOKEN VAL-2895 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (4 499934264) :START-TIME-POINT TP-2531 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3546 :SV-SPEC (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TYPE-SPEC (THRUST_TIMER_IDLE) :START-B-TOKEN VAL-2895 :END-B-TOKEN VAL-2895 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (THRUST_TIMER_IDLE) :DURATION (4 499934264) :START-TIME-POINT TP-2531 ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-300 :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-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (35728 35728) :END-TIME-POINT TP-799 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3063 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 5981 5981 WHILE_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-3063 :END-B-TOKEN VAL-3063 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 5981 5981 WHILE_THRUSTING 0))) :DURATION (5981 5981) :START-TIME-POINT TP-799 :END-TIME-POINT TP-2354 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2919 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (5981 5981 0 WHILE_NOT_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-2919 :END-B-TOKEN VAL-2919 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (5981 5981 0 WHILE_NOT_THRUSTING 0))) :DURATION (20127 20127) :START-TIME-POINT TP-2354 :END-TIME-POINT TP-3047 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3190 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (5981 9873 3892 WHILE_THRUSTING 0 FIRST))) :START-B-TOKEN VAL-3190 :END-B-TOKEN VAL-3190 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (5981 9873 3892 WHILE_THRUSTING 0))) :DURATION (3892 3892) :START-TIME-POINT TP-3047 :END-TIME-POINT TP-2924 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3322 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (9873 67800 57927 DEFICIT_ACCUM -67800 FIRST))) :START-B-TOKEN VAL-3322 :END-B-TOKEN VAL-3322 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (9873 67800 57927 DEFICIT_ACCUM -67800))) :DURATION (4 18892) :START-TIME-POINT TP-2924 :END-TIME-POINT TP-2167 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2900 :SV-SPEC (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (67800 0 -67800 FINAL_ACCUM 0 FIRST))) :START-B-TOKEN VAL-2900 :END-B-TOKEN VAL-2900 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (67800 0 -67800 FINAL_ACCUM 0))) :DURATION (4 18892) :START-TIME-POINT TP-2167 :END-TIME-POINT TP-2531 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2908 :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-2908 :END-B-TOKEN VAL-2908 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (8 499934264) :START-TIME-POINT TP-2531 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3058 :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-300 :END-B-TOKEN VAL-300 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (35728 35728) :END-TIME-POINT TP-799 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3566 :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-2908 :END-B-TOKEN VAL-2908 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :DURATION (8 499934264) :START-TIME-POINT TP-2531 ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-301 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-301 :END-B-TOKEN VAL-301 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (35728 35728) :END-TIME-POINT TP-799 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2157 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC ((THRUST_SEGMENT (POINTING-2156 28))) :START-B-TOKEN VAL-2157 :END-B-TOKEN VAL-2157 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE ((THRUST_SEGMENT (POINTING-2156 28))) :DURATION (30000 30000) :START-TIME-POINT TP-799 :END-TIME-POINT TP-2924 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3052 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-3052 :END-B-TOKEN VAL-3052 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (18900 499934272) :START-TIME-POINT TP-2924 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3571 :SV-SPEC (SEP_SCHEDULE SEP_SCHEDULE_SV) :TYPE-SPEC (IDLE_SEGMENT) :START-B-TOKEN VAL-3052 :END-B-TOKEN VAL-3052 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (IDLE_SEGMENT) :DURATION (18900 499934272) :START-TIME-POINT TP-2924 ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-303 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-303 :END-B-TOKEN VAL-303 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (32124 32124) :END-TIME-POINT TP-3045 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3078 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STARTING_UP (POINTING-2156 28 * 0))) :START-B-TOKEN VAL-3078 :END-B-TOKEN VAL-3078 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STARTING_UP (POINTING-2156 28 * 0))) :DURATION (3604 3604) :START-TIME-POINT TP-3045 :END-TIME-POINT TP-799 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3138 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_THRUSTING (POINTING-2156 28 5981 FIRST))) :START-B-TOKEN VAL-3138 :END-B-TOKEN VAL-3138 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_THRUSTING (POINTING-2156 28 5981))) :DURATION (5981 5981) :START-TIME-POINT TP-799 :END-TIME-POINT TP-2354 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3371 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_SHUTTING_DOWN (64 28 POINTING-2156))) :START-B-TOKEN VAL-3371 :END-B-TOKEN VAL-3371 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (SEP_SHUTTING_DOWN) :DURATION (64 64) :START-TIME-POINT TP-2354 :END-TIME-POINT TP-793 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2350 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (64 * 28 SEP_INTERMEDIATE))) :START-B-TOKEN VAL-2350 :END-B-TOKEN VAL-2350 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) :DURATION (16459 16459) :START-TIME-POINT TP-793 :END-TIME-POINT TP-2925 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3221 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STARTING_UP (POINTING-2156 28 * 28))) :START-B-TOKEN VAL-3221 :END-B-TOKEN VAL-3221 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STARTING_UP (POINTING-2156 28 * 28))) :DURATION (3604 3604) :START-TIME-POINT TP-2925 :END-TIME-POINT TP-3047 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3274 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_THRUSTING (POINTING-2156 28 3892 FIRST))) :START-B-TOKEN VAL-3274 :END-B-TOKEN VAL-3274 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_THRUSTING (POINTING-2156 28 3892))) :DURATION (3892 3892) :START-TIME-POINT TP-3047 :END-TIME-POINT TP-2924 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3400 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_SHUTTING_DOWN (64 28 POINTING-2156))) :START-B-TOKEN VAL-3400 :END-B-TOKEN VAL-3400 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (SEP_SHUTTING_DOWN) :DURATION (64 64) :START-TIME-POINT TP-2924 :END-TIME-POINT TP-861 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3459 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (64 * 28 SEP_BOUNDARY))) :START-B-TOKEN VAL-3459 :END-B-TOKEN VAL-3459 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (64 * 28))) :DURATION (18836 499934208) :START-TIME-POINT TP-861 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2230 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (0 * 0 SEP_BOUNDARY))) :START-B-TOKEN VAL-303 :END-B-TOKEN VAL-303 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) :DURATION (32124 32124) :END-TIME-POINT TP-3045 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3520 :SV-SPEC (SEP SEP_SV) :TYPE-SPEC ((SEP_STANDBY (* * * *))) :START-B-TOKEN VAL-3459 :END-B-TOKEN VAL-3459 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE ((SEP_STANDBY (* * *))) :DURATION (18836 499934208) :START-TIME-POINT TP-861 ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-661 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :START-B-TOKEN VAL-661 :END-B-TOKEN VAL-661 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-660 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-660 :END-B-TOKEN VAL-660 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (67796 67796) :START-TIME-POINT TP-871 :END-TIME-POINT TP-877 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-658 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :START-B-TOKEN VAL-658 :END-B-TOKEN VAL-658 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-877 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-662 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT *))) :START-B-TOKEN VAL-661 :END-B-TOKEN VAL-661 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (4 4) :START-TIME-POINT TP-870 :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-659 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT *))) :START-B-TOKEN VAL-658 :END-B-TOKEN VAL-658 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (4 4) :START-TIME-POINT TP-877 ) ) )  #S(SV-TIMELINE :NAME (NAV_MODE NAV_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-657 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-657 :END-B-TOKEN VAL-657 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (16832 499615100) :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-656 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (36200 10800 0 FALSE 1 10))) :START-B-TOKEN VAL-656 :END-B-TOKEN VAL-656 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (36200 10800 0 FALSE 1 10))) :DURATION (39296 39296) :START-TIME-POINT TP-871 :END-TIME-POINT TP-888 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-655 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-655 :END-B-TOKEN VAL-655 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (345604 499943872) :START-TIME-POINT TP-888 ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-310 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (345600 0 * BOUNDARY TRUE * 1 * TRUE))) :START-B-TOKEN VAL-310 :END-B-TOKEN VAL-310 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (16832 16832) :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2289 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (36200 10800 0 NOMINAL TRUE (:BOUNDS -1 500000000) 1 (:LIST TRUE FALSE) TRUE))) :START-B-TOKEN VAL-2289 :END-B-TOKEN VAL-2289 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (25404 25404) :START-TIME-POINT TP-871 :END-TIME-POINT TP-2446 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2315 :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_NOMINAL))) :START-B-TOKEN VAL-2315 :END-B-TOKEN VAL-2315 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE ((OBS_WINDOW_OP_NAV (10800))) :DURATION (10800 10800) :START-TIME-POINT TP-2446 :END-TIME-POINT TP-2447 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2369 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (36200 10800 * BOUNDARY TRUE 1 * (:LIST TRUE) *))) :START-B-TOKEN VAL-2369 :END-B-TOKEN VAL-2369 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (3092 3092) :START-TIME-POINT TP-2447 :END-TIME-POINT TP-888 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2407 :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-2407 :END-B-TOKEN VAL-2407 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) :START-TIME-POINT TP-888 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2244 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * TRUE * * * *))) :START-B-TOKEN VAL-310 :END-B-TOKEN VAL-310 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (16832 16832) :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2249 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * BOUNDARY TRUE * * * *))) :START-B-TOKEN VAL-310 :END-B-TOKEN VAL-310 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (16832 16832) :END-TIME-POINT TP-871 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2445 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_OP_NAV (10800 FALSE 1 10 TRUE * * * * MICAS_SWITCH_NOMINAL))) :START-B-TOKEN VAL-2315 :END-B-TOKEN VAL-2315 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE ((OBS_WINDOW_OP_NAV (10800))) :DURATION (10800 10800) :START-TIME-POINT TP-2446 :END-TIME-POINT TP-2447 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3530 :SV-SPEC (OBS_WINDOW OBS_WINDOW_SV) :TYPE-SPEC ((OBS_WINDOW_INACTIVE (* * * * * * * * *))) :START-B-TOKEN VAL-2407 :END-B-TOKEN VAL-2407 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) :DURATION (345604 345604) :START-TIME-POINT TP-888 ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-312 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-312 :END-B-TOKEN VAL-312 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (69624 69624) :END-TIME-POINT TP-2942 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2940 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_PLAN_NEXT_HORIZON) :START-B-TOKEN VAL-2940 :END-B-TOKEN VAL-2940 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_PLAN_NEXT_HORIZON) :DURATION (14404 14404) :START-TIME-POINT TP-2942 :END-TIME-POINT TP-2954 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2964 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-2964 :END-B-TOKEN VAL-2964 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (600 499915972) :START-TIME-POINT TP-2954 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3525 :SV-SPEC (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TYPE-SPEC (PLANNER_IDLE) :START-B-TOKEN VAL-2964 :END-B-TOKEN VAL-2964 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (PLANNER_IDLE) :DURATION (600 499915972) :START-TIME-POINT TP-2954 ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-311 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-311 :END-B-TOKEN VAL-311 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (68720 68720) :END-TIME-POINT TP-2953 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2952 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PLAN_PREP) :START-B-TOKEN VAL-2952 :END-B-TOKEN VAL-2952 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PLAN_PREP) :DURATION (904 904) :START-TIME-POINT TP-2953 :END-TIME-POINT TP-2942 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2972 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-2972 :END-B-TOKEN VAL-2972 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (15004 499930376) :START-TIME-POINT TP-2942 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3551 :SV-SPEC (NAV_PROCESSING NAV_PROCESSING_SV) :TYPE-SPEC (NAV_PROCESSING_IDLE) :START-B-TOKEN VAL-2972 :END-B-TOKEN VAL-2972 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (NAV_PROCESSING_IDLE) :DURATION (15004 499930376) :START-TIME-POINT TP-2942 ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-306 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) :START-B-TOKEN VAL-306 :END-B-TOKEN VAL-306 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) :DURATION (16828 20279) :END-TIME-POINT TP-3109 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3105 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-3176 149 0 TRUE (:BOUNDS -7200 7200) TRUE))) :START-B-TOKEN VAL-3105 :END-B-TOKEN VAL-3105 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-3176 149 0 TRUE (:BOUNDS -7200 7200) TRUE))) :DURATION (149 149) :START-TIME-POINT TP-3109 :END-TIME-POINT TP-932 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3092 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2156 BBC_DEADBAND_IPS_TVC_FIRST))) :START-B-TOKEN VAL-3092 :END-B-TOKEN VAL-3092 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2156 BBC_DEADBAND_IPS_TVC_FIRST))) :DURATION (21349 24800) :START-TIME-POINT TP-932 :END-TIME-POINT TP-3350 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3413 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST ACM_COOKIE-3441 771 25716 TRUE (:BOUNDS 18516 32916) TRUE))) :START-B-TOKEN VAL-3413 :END-B-TOKEN VAL-3413 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST ACM_COOKIE-3441 771 25716 TRUE (:BOUNDS 18516 32916) TRUE))) :DURATION (771 771) :START-TIME-POINT TP-3350 :END-TIME-POINT TP-3096 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2601 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2460 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :START-B-TOKEN VAL-2601 :END-B-TOKEN VAL-2601 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2460 BBC_DEADBAND_OPNAV_IMAGE_FIRST))) :DURATION (1084 1084) :START-TIME-POINT TP-3096 :END-TIME-POINT TP-2656 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2653 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2687 2952 26492 TRUE (:BOUNDS 19292 33692) TRUE))) :START-B-TOKEN VAL-2653 :END-B-TOKEN VAL-2653 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2687 2952 26492 TRUE (:BOUNDS 19292 33692) TRUE))) :DURATION (2952 2952) :START-TIME-POINT TP-2656 :END-TIME-POINT TP-2604 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2628 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2470 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2628 :END-B-TOKEN VAL-2628 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2470 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :DURATION (1084 1084) :START-TIME-POINT TP-2604 :END-TIME-POINT TP-2820 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2770 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2826 2429 30528 TRUE (:BOUNDS 23328 37728) TRUE))) :START-B-TOKEN VAL-2770 :END-B-TOKEN VAL-2770 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2826 2429 30528 TRUE (:BOUNDS 23328 37728) TRUE))) :DURATION (2429 2429) :START-TIME-POINT TP-2820 :END-TIME-POINT TP-2787 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2717 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2506 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2717 :END-B-TOKEN VAL-2717 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2506 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :DURATION (1084 1084) :START-TIME-POINT TP-2787 :END-TIME-POINT TP-2855 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2852 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2884 771 34041 TRUE (:BOUNDS 26841 41241) TRUE))) :START-B-TOKEN VAL-2852 :END-B-TOKEN VAL-2852 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER ACM_COOKIE-2884 771 34041 TRUE (:BOUNDS 26841 41241) TRUE))) :DURATION (771 771) :START-TIME-POINT TP-2855 :END-TIME-POINT TP-2817 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2840 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2524 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2840 :END-B-TOKEN VAL-2840 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2524 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :DURATION (1084 1084) :START-TIME-POINT TP-2817 :END-TIME-POINT TP-2447 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3243 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-3176 5192 35896 TRUE (:BOUNDS 28696 43096) TRUE))) :START-B-TOKEN VAL-3243 :END-B-TOKEN VAL-3243 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST ACM_COOKIE-3176 5192 35896 TRUE (:BOUNDS 28696 43096) TRUE))) :DURATION (5192 5192) :START-TIME-POINT TP-2447 :END-TIME-POINT TP-3235 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3231 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (POINTING-2156 BBC_DEADBAND_IPS_TVC_FIRST))) :START-B-TOKEN VAL-3231 :END-B-TOKEN VAL-3231 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (POINTING-2156 BBC_DEADBAND_IPS_TVC_FIRST))) :DURATION (26400 499941772) :START-TIME-POINT TP-3235 ) ) :NEW-SCHEDULED-MULTIPLE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3131 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-304 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 * * *))) :START-B-TOKEN VAL-3105 :END-B-TOKEN VAL-3105 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-304 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 * * *))) :DURATION (149 149) :START-TIME-POINT TP-3109 :END-TIME-POINT TP-932 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3170 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE * *))) :START-B-TOKEN VAL-3105 :END-B-TOKEN VAL-3105 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE * *))) :DURATION (149 149) :START-TIME-POINT TP-3109 :END-TIME-POINT TP-932 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3179 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE (:BOUNDS -7200 7200) TRUE))) :START-B-TOKEN VAL-3105 :END-B-TOKEN VAL-3105 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (MO-304 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 0 TRUE (:BOUNDS -7200 7200) TRUE))) :DURATION (149 149) :START-TIME-POINT TP-3109 :END-TIME-POINT TP-932 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3430 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 * * *))) :START-B-TOKEN VAL-3413 :END-B-TOKEN VAL-3413 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 * * *))) :DURATION (771 771) :START-TIME-POINT TP-3350 :END-TIME-POINT TP-3096 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3437 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 TRUE * *))) :START-B-TOKEN VAL-3413 :END-B-TOKEN VAL-3413 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 TRUE * *))) :DURATION (771 771) :START-TIME-POINT TP-3350 :END-TIME-POINT TP-3096 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3444 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 TRUE (:BOUNDS 18516 32916) TRUE))) :START-B-TOKEN VAL-3413 :END-B-TOKEN VAL-3413 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2156 POINTING-2460 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_FIRST * (:BOUNDS 4 500000000) 25716 TRUE (:BOUNDS 18516 32916) TRUE))) :DURATION (771 771) :START-TIME-POINT TP-3350 :END-TIME-POINT TP-3096 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2676 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 * * *))) :START-B-TOKEN VAL-2653 :END-B-TOKEN VAL-2653 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 * * *))) :DURATION (2952 2952) :START-TIME-POINT TP-2656 :END-TIME-POINT TP-2604 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2683 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 TRUE * *))) :START-B-TOKEN VAL-2653 :END-B-TOKEN VAL-2653 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 TRUE * *))) :DURATION (2952 2952) :START-TIME-POINT TP-2656 :END-TIME-POINT TP-2604 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2690 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 TRUE (:BOUNDS 19292 33692) TRUE))) :START-B-TOKEN VAL-2653 :END-B-TOKEN VAL-2653 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2460 POINTING-2470 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 26492 TRUE (:BOUNDS 19292 33692) TRUE))) :DURATION (2952 2952) :START-TIME-POINT TP-2656 :END-TIME-POINT TP-2604 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2739 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 * * *))) :START-B-TOKEN VAL-2770 :END-B-TOKEN VAL-2770 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 * * *))) :DURATION (2429 2429) :START-TIME-POINT TP-2820 :END-TIME-POINT TP-2787 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2746 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 TRUE * *))) :START-B-TOKEN VAL-2770 :END-B-TOKEN VAL-2770 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 TRUE * *))) :DURATION (2429 2429) :START-TIME-POINT TP-2820 :END-TIME-POINT TP-2787 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2753 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 TRUE (:BOUNDS 23328 37728) TRUE))) :START-B-TOKEN VAL-2770 :END-B-TOKEN VAL-2770 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2470 POINTING-2506 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 30528 TRUE (:BOUNDS 23328 37728) TRUE))) :DURATION (2429 2429) :START-TIME-POINT TP-2820 :END-TIME-POINT TP-2787 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2873 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 * * *))) :START-B-TOKEN VAL-2852 :END-B-TOKEN VAL-2852 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 * * *))) :DURATION (771 771) :START-TIME-POINT TP-2855 :END-TIME-POINT TP-2817 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2880 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 TRUE * *))) :START-B-TOKEN VAL-2852 :END-B-TOKEN VAL-2852 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 TRUE * *))) :DURATION (771 771) :START-TIME-POINT TP-2855 :END-TIME-POINT TP-2817 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-2887 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 TRUE (:BOUNDS 26841 41241) TRUE))) :START-B-TOKEN VAL-2852 :END-B-TOKEN VAL-2852 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2506 POINTING-2524 OP_NAV_TURN BBC_DEADBAND_OPNAV_IMAGE_OTHER * (:BOUNDS 4 500000000) 34041 TRUE (:BOUNDS 26841 41241) TRUE))) :DURATION (771 771) :START-TIME-POINT TP-2855 :END-TIME-POINT TP-2817 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3267 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 * * *))) :START-B-TOKEN VAL-3243 :END-B-TOKEN VAL-3243 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 * SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 * * *))) :DURATION (5192 5192) :START-TIME-POINT TP-2447 :END-TIME-POINT TP-3235 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3300 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 TRUE * *))) :START-B-TOKEN VAL-3243 :END-B-TOKEN VAL-3243 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 TRUE * *))) :DURATION (5192 5192) :START-TIME-POINT TP-2447 :END-TIME-POINT TP-3235 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3308 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 TRUE (:BOUNDS 28696 43096) TRUE))) :START-B-TOKEN VAL-3243 :END-B-TOKEN VAL-3243 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((TRANSITIONAL_POINTING_ON_SUN (POINTING-2524 POINTING-2156 SEP_PREP_TURN BBC_DEADBAND_IPS_TVC_FIRST * (:BOUNDS 4 500000000) 35896 TRUE (:BOUNDS 28696 43096) TRUE))) :DURATION (5192 5192) :START-TIME-POINT TP-2447 :END-TIME-POINT TP-3235 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3535 :SV-SPEC (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (* *))) :START-B-TOKEN VAL-3231 :END-B-TOKEN VAL-3231 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (* *))) :DURATION (26400 499941772) :START-TIME-POINT TP-3235 ) ) ) ) :FREE-C-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2540 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2542 2000039 5 28 4 CAMERA_SETTINGS_COOKIE-2543 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2540 :END-B-TOKEN VAL-2540 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2542 2000039 5 28 4 CAMERA_SETTINGS_COOKIE-2543))) :DURATION (1076 1076) :START-TIME-POINT TP-2530 :END-TIME-POINT TP-2567 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2558 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2560 2000349 6 28 4 CAMERA_SETTINGS_COOKIE-2561 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2558 :END-B-TOKEN VAL-2558 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2560 2000349 6 28 4 CAMERA_SETTINGS_COOKIE-2561))) :DURATION (1076 1076) :START-TIME-POINT TP-2530 :END-TIME-POINT TP-2567 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2486 :SV-SPEC (MICAS MICAS_ACTIONS_SV) :TYPE-SPEC ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2488 2000008 2 28 4 CAMERA_SETTINGS_COOKIE-2489 BBC_DEADBAND_OPNAV_IMAGE_OTHER))) :START-B-TOKEN VAL-2486 :END-B-TOKEN VAL-2486 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE ((MICAS_TAKE_OP_NAV_IMAGE (POINTING-2488 2000008 2 28 4 CAMERA_SETTINGS_COOKIE-2489))) :DURATION (1076 1076) :START-TIME-POINT TP-2494 :END-TIME-POINT TP-2798 ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME C-SPEC-2227 :FROM-TOKEN VAL-680 :TO-TOKEN VAL-679 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2228 :FROM-TOKEN VAL-679 :TO-TOKEN VAL-678 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2893 :FROM-TOKEN VAL-307 :TO-TOKEN VAL-2458 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2599 :FROM-TOKEN VAL-2458 :TO-TOKEN VAL-2589 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2618 :FROM-TOKEN VAL-2589 :TO-TOKEN VAL-2468 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2474 :FROM-TOKEN VAL-2458 :TO-TOKEN VAL-2468 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2626 :FROM-TOKEN VAL-2468 :TO-TOKEN VAL-2619 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2698 :FROM-TOKEN VAL-2619 :TO-TOKEN VAL-2504 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2703 :FROM-TOKEN VAL-2504 :TO-TOKEN VAL-2699 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2833 :FROM-TOKEN VAL-2699 :TO-TOKEN VAL-2522 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2528 :FROM-TOKEN VAL-2504 :TO-TOKEN VAL-2522 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2838 :FROM-TOKEN VAL-2522 :TO-TOKEN VAL-2834 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2981 :FROM-TOKEN VAL-308 :TO-TOKEN VAL-675 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3020 :FROM-TOKEN VAL-675 :TO-TOKEN VAL-3003 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3023 :FROM-TOKEN VAL-3003 :TO-TOKEN VAL-2979 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2989 :FROM-TOKEN VAL-2979 :TO-TOKEN VAL-2434 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2627 :FROM-TOKEN VAL-2434 :TO-TOKEN VAL-2468 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2600 :FROM-TOKEN VAL-2434 :TO-TOKEN VAL-2458 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2997 :FROM-TOKEN VAL-2434 :TO-TOKEN VAL-2987 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3032 :FROM-TOKEN VAL-2987 :TO-TOKEN VAL-3011 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3050 :FROM-TOKEN VAL-3011 :TO-TOKEN VAL-2995 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3005 :FROM-TOKEN VAL-2995 :TO-TOKEN VAL-2705 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2839 :FROM-TOKEN VAL-2705 :TO-TOKEN VAL-2522 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2710 :FROM-TOKEN VAL-2705 :TO-TOKEN VAL-2504 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3014 :FROM-TOKEN VAL-309 :TO-TOKEN VAL-2995 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3013 :FROM-TOKEN VAL-309 :TO-TOKEN VAL-2987 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3010 :FROM-TOKEN VAL-309 :TO-TOKEN VAL-2979 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3006 :FROM-TOKEN VAL-309 :TO-TOKEN VAL-675 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3506 :FROM-TOKEN VAL-299 :TO-TOKEN VAL-3493 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3516 :FROM-TOKEN VAL-3493 :TO-TOKEN VAL-3508 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3501 :FROM-TOKEN VAL-670 :TO-TOKEN VAL-3493 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2894 :FROM-TOKEN VAL-302 :TO-TOKEN VAL-2158 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2899 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-2895 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3072 :FROM-TOKEN VAL-300 :TO-TOKEN VAL-3063 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3196 :FROM-TOKEN VAL-3063 :TO-TOKEN VAL-2919 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3217 :FROM-TOKEN VAL-2919 :TO-TOKEN VAL-3190 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3333 :FROM-TOKEN VAL-3190 :TO-TOKEN VAL-3322 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3337 :FROM-TOKEN VAL-3322 :TO-TOKEN VAL-2900 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2905 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-2900 :TEMPORAL-RELATION (ENDS_BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-3197 :FROM-TOKEN VAL-2900 :TO-TOKEN VAL-2908 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3051 :FROM-TOKEN VAL-301 :TO-TOKEN VAL-2157 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3273 :FROM-TOKEN VAL-2157 :TO-TOKEN VAL-3190 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3137 :FROM-TOKEN VAL-2157 :TO-TOKEN VAL-3063 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3056 :FROM-TOKEN VAL-2157 :TO-TOKEN VAL-3052 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3366 :FROM-TOKEN VAL-303 :TO-TOKEN VAL-3078 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3362 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-3078 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3087 :FROM-TOKEN VAL-3078 :TO-TOKEN VAL-3063 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3165 :FROM-TOKEN VAL-3078 :TO-TOKEN VAL-3138 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3160 :FROM-TOKEN VAL-2157 :TO-TOKEN VAL-3138 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3159 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-3138 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3150 :FROM-TOKEN VAL-3063 :TO-TOKEN VAL-3138 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3163 :FROM-TOKEN VAL-3138 :TO-TOKEN VAL-3063 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3396 :FROM-TOKEN VAL-3138 :TO-TOKEN VAL-3371 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3381 :FROM-TOKEN VAL-3371 :TO-TOKEN VAL-2350 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3370 :FROM-TOKEN VAL-2350 :TO-TOKEN VAL-3221 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3363 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-3221 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3230 :FROM-TOKEN VAL-3221 :TO-TOKEN VAL-3190 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3297 :FROM-TOKEN VAL-3221 :TO-TOKEN VAL-3274 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3292 :FROM-TOKEN VAL-2157 :TO-TOKEN VAL-3274 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3291 :FROM-TOKEN VAL-2158 :TO-TOKEN VAL-3274 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3286 :FROM-TOKEN VAL-3190 :TO-TOKEN VAL-3274 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3296 :FROM-TOKEN VAL-3274 :TO-TOKEN VAL-3190 :TEMPORAL-RELATION (CONTAINS 0 0 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3409 :FROM-TOKEN VAL-3274 :TO-TOKEN VAL-3400 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3466 :FROM-TOKEN VAL-3400 :TO-TOKEN VAL-3459 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2907 :FROM-TOKEN VAL-661 :TO-TOKEN VAL-660 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2916 :FROM-TOKEN VAL-2908 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-687 :FROM-TOKEN VAL-661 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 67800 67800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-686 :FROM-TOKEN VAL-670 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 31800 31800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-685 :FROM-TOKEN VAL-679 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 64200 64200) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-684 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 53400 53400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-683 :FROM-TOKEN VAL-675 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 66600 66600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-682 :FROM-TOKEN VAL-656 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 67796 67796) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME COMPAT-681 :FROM-TOKEN VAL-655 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (STARTS_BEFORE 28500 28500) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2266 :FROM-TOKEN VAL-657 :TO-TOKEN VAL-310 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2302 :FROM-TOKEN VAL-656 :TO-TOKEN VAL-2289 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2301 :FROM-TOKEN VAL-310 :TO-TOKEN VAL-2289 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2933 :FROM-TOKEN VAL-2919 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2362 :FROM-TOKEN VAL-2350 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2347 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (CONTAINS 400 500000000 400 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2344 :FROM-TOKEN VAL-309 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2335 :FROM-TOKEN VAL-656 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2328 :FROM-TOKEN VAL-2289 :TO-TOKEN VAL-2315 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2529 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2522 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2511 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2504 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2475 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2468 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2464 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2458 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2440 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2434 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2388 :FROM-TOKEN VAL-656 :TO-TOKEN VAL-2369 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2385 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2369 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2420 :FROM-TOKEN VAL-655 :TO-TOKEN VAL-2407 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2419 :FROM-TOKEN VAL-2369 :TO-TOKEN VAL-2407 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2963 :FROM-TOKEN VAL-312 :TO-TOKEN VAL-2940 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2950 :FROM-TOKEN VAL-2940 :TO-TOKEN VAL-658 :TEMPORAL-RELATION (BEFORE 600 600) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2969 :FROM-TOKEN VAL-2940 :TO-TOKEN VAL-2964 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2971 :FROM-TOKEN VAL-311 :TO-TOKEN VAL-2952 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2970 :FROM-TOKEN VAL-312 :TO-TOKEN VAL-2952 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2962 :FROM-TOKEN VAL-2952 :TO-TOKEN VAL-2940 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2977 :FROM-TOKEN VAL-2952 :TO-TOKEN VAL-2972 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3127 :FROM-TOKEN VAL-306 :TO-TOKEN VAL-3105 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3123 :FROM-TOKEN VAL-680 :TO-TOKEN VAL-3105 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3117 :FROM-TOKEN VAL-3105 :TO-TOKEN VAL-3092 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3471 :FROM-TOKEN VAL-3092 :TO-TOKEN VAL-3371 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3185 :FROM-TOKEN VAL-3092 :TO-TOKEN VAL-3138 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3100 :FROM-TOKEN VAL-3092 :TO-TOKEN VAL-3078 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3428 :FROM-TOKEN VAL-3092 :TO-TOKEN VAL-3413 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3426 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-3413 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3420 :FROM-TOKEN VAL-3413 :TO-TOKEN VAL-2601 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2612 :FROM-TOKEN VAL-2601 :TO-TOKEN VAL-2458 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2674 :FROM-TOKEN VAL-2601 :TO-TOKEN VAL-2653 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2671 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-2653 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2664 :FROM-TOKEN VAL-2653 :TO-TOKEN VAL-2628 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2639 :FROM-TOKEN VAL-2628 :TO-TOKEN VAL-2468 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2741 :FROM-TOKEN VAL-2628 :TO-TOKEN VAL-2770 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2740 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-2770 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2737 :FROM-TOKEN VAL-2770 :TO-TOKEN VAL-2717 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME SYS_C-SPEC-2724 :FROM-TOKEN VAL-2717 :TO-TOKEN VAL-2504 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2871 :FROM-TOKEN VAL-2717 :TO-TOKEN VAL-2852 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2869 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-2852 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2863 :FROM-TOKEN VAL-2852 :TO-TOKEN VAL-2840 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2849 :FROM-TOKEN VAL-2840 :TO-TOKEN VAL-2522 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3263 :FROM-TOKEN VAL-2840 :TO-TOKEN VAL-3243 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3261 :FROM-TOKEN VAL-678 :TO-TOKEN VAL-3243 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3255 :FROM-TOKEN VAL-3243 :TO-TOKEN VAL-3231 :TEMPORAL-RELATION (BEFORE 0 0) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3481 :FROM-TOKEN VAL-3231 :TO-TOKEN VAL-3400 :TEMPORAL-RELATION (CONTAINS 0 500000000 4 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3317 :FROM-TOKEN VAL-3231 :TO-TOKEN VAL-3274 :TEMPORAL-RELATION (CONTAINS 0 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-3240 :FROM-TOKEN VAL-3231 :TO-TOKEN VAL-3221 :TEMPORAL-RELATION (CONTAINS 4 500000000 0 500000000) :JUSTIFICATION (DOMAIN-CONSTRAINT) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2546 :FROM-TOKEN VAL-2522 :TO-TOKEN VAL-2540 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2547 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2540 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2564 :FROM-TOKEN VAL-2540 :TO-TOKEN VAL-2558 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2565 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2558 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2492 :FROM-TOKEN VAL-2468 :TO-TOKEN VAL-2486 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2493 :FROM-TOKEN VAL-2315 :TO-TOKEN VAL-2486 :TEMPORAL-RELATION (CONTAINS 4 500000000 4 500000000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME C-SPEC-2510 :FROM-TOKEN VAL-2486 :TO-TOKEN VAL-2504 :TEMPORAL-RELATION (STARTS_BEFORE 0 500000000) :JUSTIFICATION (EXTERNAL) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-743 :TOKEN VAL-307 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-742 :TOKEN VAL-308 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-741 :TOKEN VAL-299 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3518 :TOKEN VAL-3508 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3715 :TOKEN VAL-669 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (-456673515 43394281) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-736 :TOKEN VAL-302 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2906 :TOKEN VAL-2895 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-734 :TOKEN VAL-300 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3695 :TOKEN VAL-3063 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43351366 43351366) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3694 :TOKEN VAL-3063 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43345385 43345385) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3708 :TOKEN VAL-3190 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43375385 43375385) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3707 :TOKEN VAL-3190 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43371493 43371493) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3714 :TOKEN VAL-2908 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (-456673515 43394281) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-732 :TOKEN VAL-301 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2162 :TOKEN VAL-2157 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43345385 43345385) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2163 :TOKEN VAL-2157 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43375385 43375385) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3057 :TOKEN VAL-3052 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-730 :TOKEN VAL-303 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3470 :TOKEN VAL-3459 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-744 :TOKEN VAL-661 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43326485 43326485) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-745 :TOKEN VAL-658 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43394285 43394285) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-724 :TOKEN VAL-310 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-722 :TOKEN VAL-312 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-2978 :TOKEN VAL-2964 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-721 :TOKEN VAL-311 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-720 :TOKEN VAL-306 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43309657 43309657) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-3360 :TOKEN VAL-3231 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43326485 543309657) ) ) :TIME-POINTS (#S(TIME-POINT :NAME TP-870 :WINDOW (43326485 43326485) :SUCCESSOR-TOKENS (SEQ-662) )  #S(TIME-POINT :NAME TP-3109 :WINDOW (43326485 43329936) :PREDECESSOR-TOKENS (VAL-306) :SUCCESSOR-TOKENS (SEQ-3179 SEQ-3131 VAL-3105 SEQ-3170) )  #S(TIME-POINT :NAME TP-2166 :WINDOW (43326485 43341777) :PREDECESSOR-TOKENS (VAL-302) :SUCCESSOR-TOKENS (VAL-2158) )  #S(TIME-POINT :NAME TP-871 :WINDOW (43326489 43326489) :PRE-CONSTRAINTS ((TP-870 4 4)) :PREDECESSOR-TOKENS (VAL-661 SEQ-662 VAL-657 SEQ-2244 VAL-310 SEQ-2249) :SUCCESSOR-TOKENS (VAL-660 VAL-656 VAL-2289) )  #S(TIME-POINT :NAME TP-932 :WINDOW (43326634 43330085) :PRE-CONSTRAINTS ((TP-3109 149 149)) :PREDECESSOR-TOKENS (SEQ-3179 SEQ-3131 VAL-3105 SEQ-3170) :SUCCESSOR-TOKENS (VAL-3092) )  #S(TIME-POINT :NAME TP-750 :WINDOW (43327685 43327685) :PRE-CONSTRAINTS ((TP-871 1196 1196)) :PREDECESSOR-TOKENS (SEQ-3582 TOK-3578 VAL-308) :SUCCESSOR-TOKENS (SEQ-3589 TOK-3586 VAL-675) )  #S(TIME-POINT :NAME TP-802 :WINDOW (43327719 43327719) :PRE-CONSTRAINTS ((TP-750 34 34)) :PREDECESSOR-TOKENS (SEQ-3589 TOK-3586 VAL-675) :SUCCESSOR-TOKENS (SEQ-3666 TOK-3593 VAL-3003) )  #S(TIME-POINT :NAME TP-859 :WINDOW (43330085 43330085) :PRE-CONSTRAINTS ((TP-802 2366 2366)) :PREDECESSOR-TOKENS (VAL-680 TOK-3593) :SUCCESSOR-TOKENS (SEQ-3575 TOK-737 VAL-679) )  #S(TIME-POINT :NAME TP-756 :WINDOW (43340885 43340885) :PRE-CONSTRAINTS ((TP-859 10800 10800)) :PREDECESSOR-TOKENS (VAL-679 TOK-737 SEQ-3575) :SUCCESSOR-TOKENS (VAL-678 TOK-3683) )  #S(TIME-POINT :NAME TP-3045 :WINDOW (43341781 43341781) :PRE-CONSTRAINTS ((TP-756 896 896)) :PREDECESSOR-TOKENS (VAL-303 SEQ-2230) :SUCCESSOR-TOKENS (VAL-3078) )  #S(TIME-POINT :NAME TP-799 :WINDOW (43345385 43345385) :PRE-CONSTRAINTS ((TP-3045 3604 3604)) :PREDECESSOR-TOKENS (VAL-301 VAL-3078 SEQ-3058 VAL-300 TOK-3683) :SUCCESSOR-TOKENS (VAL-2157 VAL-3138 VAL-3063 TOK-3613 SEQ-3680) )  #S(TIME-POINT :NAME TP-2354 :WINDOW (43351366 43351366) :PRE-CONSTRAINTS ((TP-799 5981 5981)) :PREDECESSOR-TOKENS (VAL-3063 VAL-3138 TOK-3613 SEQ-3680) :SUCCESSOR-TOKENS (VAL-3371 VAL-2919 TOK-3684) )  #S(TIME-POINT :NAME TP-793 :WINDOW (43351430 43351430) :PRE-CONSTRAINTS ((TP-2354 64 64)) :PREDECESSOR-TOKENS (VAL-3371) :SUCCESSOR-TOKENS (VAL-2350) )  #S(TIME-POINT :NAME TP-3350 :WINDOW (43351434 43351434) :PRE-CONSTRAINTS ((TP-793 4 4)) :PREDECESSOR-TOKENS (VAL-3092) :SUCCESSOR-TOKENS (SEQ-3444 SEQ-3430 VAL-3413 SEQ-3437) )  #S(TIME-POINT :NAME TP-2389 :WINDOW (43351829 43352141) :PREDECESSOR-TOKENS (VAL-3003 SEQ-3666 TOK-3684) :SUCCESSOR-TOKENS (SEQ-3610 TOK-3599 VAL-2979) )  #S(TIME-POINT :NAME TP-2446 :WINDOW (43351893 43351893) :PRE-CONSTRAINTS ((TP-3350 459 459)) :PREDECESSOR-TOKENS (VAL-2289) :SUCCESSOR-TOKENS (SEQ-2445 VAL-2315) )  #S(TIME-POINT :NAME TP-775 :WINDOW (43351893 43352205) :PRE-CONSTRAINTS ((TP-2389 64 64)) :PREDECESSOR-TOKENS (VAL-2979 TOK-3599 SEQ-3610) :SUCCESSOR-TOKENS (SEQ-3596 VAL-2434 TOK-3579) )  #S(TIME-POINT :NAME TP-3096 :WINDOW (43352205 43352205) :PRE-CONSTRAINTS ((TP-2446 312 312)) :PREDECESSOR-TOKENS (SEQ-3444 SEQ-3430 VAL-3413 SEQ-3437) :SUCCESSOR-TOKENS (VAL-2601) )  #S(TIME-POINT :NAME TP-911 :WINDOW (43352209 43352209) :PRE-CONSTRAINTS ((TP-3096 4 4)) :PREDECESSOR-TOKENS (VAL-307) :SUCCESSOR-TOKENS (VAL-2458) )  #S(TIME-POINT :NAME TP-2590 :WINDOW (43353285 43353285) :PRE-CONSTRAINTS ((TP-911 1076 1076)) :PREDECESSOR-TOKENS (VAL-2458) :SUCCESSOR-TOKENS (VAL-2589) )  #S(TIME-POINT :NAME TP-2656 :WINDOW (43353289 43353289) :PRE-CONSTRAINTS ((TP-2590 4 4)) :PREDECESSOR-TOKENS (VAL-2601) :SUCCESSOR-TOKENS (SEQ-2690 SEQ-2676 VAL-2653 SEQ-2683) )  #S(TIME-POINT :NAME TP-2604 :WINDOW (43356241 43356241) :PRE-CONSTRAINTS ((TP-2656 2952 2952)) :PREDECESSOR-TOKENS (SEQ-2690 SEQ-2676 VAL-2653 SEQ-2683) :SUCCESSOR-TOKENS (VAL-2628) )  #S(TIME-POINT :NAME TP-2476 :WINDOW (43356245 43356245) :PRE-CONSTRAINTS ((TP-2604 4 4)) :PREDECESSOR-TOKENS (VAL-2589) :SUCCESSOR-TOKENS (VAL-2468) )  #S(TIME-POINT :NAME TP-2494 :WINDOW (43356245 43359758) :SUCCESSOR-TOKENS (VAL-2486) )  #S(TIME-POINT :NAME TP-2591 :WINDOW (43357321 43357321) :PRE-CONSTRAINTS ((TP-2476 1076 1076)) :PREDECESSOR-TOKENS (VAL-2468) :SUCCESSOR-TOKENS (VAL-2619) )  #S(TIME-POINT :NAME TP-2798 :WINDOW (43357321 43360834) :PRE-CONSTRAINTS ((TP-2494 1076 1076)) :PREDECESSOR-TOKENS (VAL-2486) )  #S(TIME-POINT :NAME TP-2820 :WINDOW (43357325 43357325) :PRE-CONSTRAINTS ((TP-2591 4 4)) :PREDECESSOR-TOKENS (VAL-2628) :SUCCESSOR-TOKENS (SEQ-2753 SEQ-2739 VAL-2770 SEQ-2746) )  #S(TIME-POINT :NAME TP-2793 :WINDOW (43357325 43359652) :PREDECESSOR-TOKENS (VAL-2434 SEQ-3596 TOK-3579) :SUCCESSOR-TOKENS (SEQ-3617 TOK-3606 VAL-2987) )  #S(TIME-POINT :NAME TP-3035 :WINDOW (43357359 43359686) :PRE-CONSTRAINTS ((TP-2793 34 34)) :PREDECESSOR-TOKENS (SEQ-3617 TOK-3606 VAL-2987) :SUCCESSOR-TOKENS (SEQ-3673 TOK-3661 VAL-3011) )  #S(TIME-POINT :NAME TP-835 :WINDOW (43357363 43359690) :PRE-CONSTRAINTS ((TP-2793 38 500000000)) :PREDECESSOR-TOKENS (VAL-3011 TOK-3661 SEQ-3673) :SUCCESSOR-TOKENS (SEQ-3658 TOK-3657 VAL-2995) )  #S(TIME-POINT :NAME TP-782 :WINDOW (43357427 43359754) :PRE-CONSTRAINTS ((TP-835 64 64)) :PREDECESSOR-TOKENS (VAL-2995 TOK-3657 SEQ-3658) :SUCCESSOR-TOKENS (SEQ-3556 VAL-2705 SEQ-3603 TOK-3690) )  #S(TIME-POINT :NAME TP-2787 :WINDOW (43359754 43359754) :PRE-CONSTRAINTS ((TP-2820 2429 2429)) :PREDECESSOR-TOKENS (SEQ-2753 SEQ-2739 VAL-2770 SEQ-2746) :SUCCESSOR-TOKENS (VAL-2717) )  #S(TIME-POINT :NAME TP-2512 :WINDOW (43359758 43359758) :PRE-CONSTRAINTS ((TP-2787 4 4)) :PREDECESSOR-TOKENS (VAL-2619) :SUCCESSOR-TOKENS (VAL-2504) )  #S(TIME-POINT :NAME TP-773 :WINDOW (43360834 43360834) :PRE-CONSTRAINTS ((TP-2512 1076 1076)) :PREDECESSOR-TOKENS (VAL-2504) :SUCCESSOR-TOKENS (VAL-2699) )  #S(TIME-POINT :NAME TP-2855 :WINDOW (43360838 43360838) :PRE-CONSTRAINTS ((TP-773 4 4)) :PREDECESSOR-TOKENS (VAL-2717) :SUCCESSOR-TOKENS (SEQ-2887 SEQ-2873 VAL-2852 SEQ-2880) )  #S(TIME-POINT :NAME TP-2817 :WINDOW (43361609 43361609) :PRE-CONSTRAINTS ((TP-2855 771 771)) :PREDECESSOR-TOKENS (SEQ-2887 SEQ-2873 VAL-2852 SEQ-2880) :SUCCESSOR-TOKENS (VAL-2840) )  #S(TIME-POINT :NAME TP-2530 :WINDOW (43361613 43361613) :PRE-CONSTRAINTS ((TP-2817 4 4)) :PREDECESSOR-TOKENS (VAL-2699) :SUCCESSOR-TOKENS (VAL-2522 VAL-2558 VAL-2540) )  #S(TIME-POINT :NAME TP-2232 :WINDOW (43362485 43362485) :PRE-CONSTRAINTS ((TP-2530 872 872)) :PREDECESSOR-TOKENS (VAL-671) :SUCCESSOR-TOKENS (SEQ-3485 VAL-670) )  #S(TIME-POINT :NAME TP-817 :WINDOW (43362489 43394273) :PREDECESSOR-TOKENS (VAL-299) :SUCCESSOR-TOKENS (VAL-3493) )  #S(TIME-POINT :NAME TP-3510 :WINDOW (43362493 43394277) :PRE-CONSTRAINTS ((TP-817 4 500000000)) :PREDECESSOR-TOKENS (VAL-3493) :SUCCESSOR-TOKENS (SEQ-3541 VAL-3508) )  #S(TIME-POINT :NAME TP-2854 :WINDOW (43362497 43394281) :PRE-CONSTRAINTS ((TP-3510 4 500000000)) :PREDECESSOR-TOKENS (SEQ-3485 VAL-670) :SUCCESSOR-TOKENS (VAL-669) )  #S(TIME-POINT :NAME TP-2567 :WINDOW (43362689 43362689) :PRE-CONSTRAINTS ((TP-2232 204 204)) :PREDECESSOR-TOKENS (VAL-2558 VAL-2522 VAL-2540) :SUCCESSOR-TOKENS (SEQ-3561 VAL-2834) )  #S(TIME-POINT :NAME TP-2447 :WINDOW (43362693 43362693) :PRE-CONSTRAINTS ((TP-2567 4 4)) :PREDECESSOR-TOKENS (SEQ-2445 VAL-2315 VAL-2840) :SUCCESSOR-TOKENS (VAL-2369 SEQ-3300 VAL-3243 SEQ-3267 SEQ-3308) )  #S(TIME-POINT :NAME TP-888 :WINDOW (43365785 43365785) :PRE-CONSTRAINTS ((TP-2447 3092 3092)) :PREDECESSOR-TOKENS (VAL-656 VAL-2369) :SUCCESSOR-TOKENS (SEQ-3530 VAL-655 VAL-2407) )  #S(TIME-POINT :NAME TP-3235 :WINDOW (43367885 43367885) :PRE-CONSTRAINTS ((TP-888 2100 2100)) :PREDECESSOR-TOKENS (SEQ-3300 VAL-3243 SEQ-3267 SEQ-3308) :SUCCESSOR-TOKENS (SEQ-3535 VAL-3231) )  #S(TIME-POINT :NAME TP-2925 :WINDOW (43367889 43367889) :PRE-CONSTRAINTS ((TP-3235 4 4)) :PREDECESSOR-TOKENS (VAL-2350) :SUCCESSOR-TOKENS (VAL-3221) )  #S(TIME-POINT :NAME TP-3047 :WINDOW (43371493 43371493) :PRE-CONSTRAINTS ((TP-2925 3604 3604)) :PREDECESSOR-TOKENS (TOK-3690 VAL-2919 VAL-3221) :SUCCESSOR-TOKENS (SEQ-3687 TOK-3600 VAL-3190 VAL-3274) )  #S(TIME-POINT :NAME TP-2924 :WINDOW (43375385 43375385) :PRE-CONSTRAINTS ((TP-3047 3892 3892)) :PREDECESSOR-TOKENS (VAL-3190 VAL-3274 TOK-3600 SEQ-3687 VAL-2157) :SUCCESSOR-TOKENS (VAL-3400 VAL-3322 TOK-3691 VAL-3052 SEQ-3571) )  #S(TIME-POINT :NAME TP-2167 :WINDOW (43375389 43394277) :PREDECESSOR-TOKENS (VAL-3322) :SUCCESSOR-TOKENS (VAL-2900) )  #S(TIME-POINT :NAME TP-2531 :WINDOW (43375393 43394281) :PRE-CONSTRAINTS ((TP-2167 4 500000000)) :PREDECESSOR-TOKENS (VAL-2158 VAL-2900) :SUCCESSOR-TOKENS (SEQ-3566 VAL-2908 VAL-2895 SEQ-3546) )  #S(TIME-POINT :NAME TP-861 :WINDOW (43375449 43375449) :PRE-CONSTRAINTS ((TP-2924 64 64)) :PREDECESSOR-TOKENS (VAL-3400) :SUCCESSOR-TOKENS (SEQ-3520 VAL-3459) )  #S(TIME-POINT :NAME TP-2953 :WINDOW (43378377 43378377) :PRE-CONSTRAINTS ((TP-861 2928 2928)) :PREDECESSOR-TOKENS (VAL-311) :SUCCESSOR-TOKENS (VAL-2952) )  #S(TIME-POINT :NAME TP-2942 :WINDOW (43379281 43379281) :PRE-CONSTRAINTS ((TP-2953 904 904)) :PREDECESSOR-TOKENS (VAL-2952 VAL-312) :SUCCESSOR-TOKENS (SEQ-3551 VAL-2940 VAL-2972) )  #S(TIME-POINT :NAME TP-2954 :WINDOW (43393685 43393685) :PRE-CONSTRAINTS ((TP-2942 14404 14404)) :PREDECESSOR-TOKENS (VAL-2940) :SUCCESSOR-TOKENS (SEQ-3525 VAL-2964) )  #S(TIME-POINT :NAME TP-877 :WINDOW (43394285 43394285) :PRE-CONSTRAINTS ((TP-2954 600 600)) :PREDECESSOR-TOKENS (VAL-660) :SUCCESSOR-TOKENS (VAL-658 SEQ-659) ) ) )