#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 15638400 :END 110332800 )  :TIME-MAP #S(TIME-MAP :NAME RAX-MISSION-PROFILE )  :SV-TIMELINES (#S(SV-TIMELINE :NAME (COMM COMM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-30 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-30 :END-B-TOKEN VAL-30 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (27691685 432997285) :END-TIME-POINT TP-286 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-31 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC ((SCHEDULED_LGA_COMM (10800))) :START-B-TOKEN VAL-31 :END-B-TOKEN VAL-31 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (SCHEDULED_LGA_COMM) :DURATION (10800 10800) :START-TIME-POINT TP-286 :END-TIME-POINT TP-292 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-32 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-32 :END-B-TOKEN VAL-32 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (57000 57000) :START-TIME-POINT TP-292 :END-TIME-POINT TP-297 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-33 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC ((SCHEDULED_LGA_COMM (10800))) :START-B-TOKEN VAL-33 :END-B-TOKEN VAL-33 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (SCHEDULED_LGA_COMM) :DURATION (10800 10800) :START-TIME-POINT TP-297 :END-TIME-POINT TP-302 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-34 :SV-SPEC (COMM COMM_SV) :TYPE-SPEC (NO_COMM) :START-B-TOKEN VAL-34 :END-B-TOKEN VAL-34 :STATE-VARIABLE (COMM COMM_SV) :TOKEN-TYPE (NO_COMM) :DURATION (66924115 472229715) :START-TIME-POINT TP-302 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-280 :STATE-VARIABLE (MICAS MICAS_ACTIONS_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-312 :END-TIME-POINT TP-313 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-111 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-315 :END-TIME-POINT TP-316 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-342 :SV-SPEC (MICAS MICAS_MODE_SV) :TYPE-SPEC (MICAS_TURNING_OFF) :START-B-TOKEN VAL-342 :END-B-TOKEN VAL-342 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (MICAS_TURNING_OFF) :DURATION (34 34) :START-TIME-POINT TP-316 :END-TIME-POINT TP-318 )  #S(B-TOKEN :NAME TOK-113 :STATE-VARIABLE (MICAS MICAS_MODE_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-318 :END-TIME-POINT TP-324 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-279 :STATE-VARIABLE (MICAS MICAS_HEALTH_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-326 :END-TIME-POINT TP-327 ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-278 :STATE-VARIABLE (EXEC ACTIVITY_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-329 :END-TIME-POINT TP-330 ) ) )  #S(SV-TIMELINE :NAME (EXEC ACTIVITY_GOAL_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-12 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-12 :END-B-TOKEN VAL-12 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (27724085 433029685) :END-TIME-POINT TP-333 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-13 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE *))) :START-B-TOKEN VAL-13 :END-B-TOKEN VAL-13 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("update-profile-2d.seq" NO_ACTIVITY_CONSTRAINTS 0 1 FALSE))) :DURATION (31800 31800) :START-TIME-POINT TP-333 :END-TIME-POINT TP-339 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-16 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-16 :END-B-TOKEN VAL-16 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (10 10) :START-TIME-POINT TP-339 :END-TIME-POINT TP-344 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-17 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("rt-failure.seq" RT_FAILURE_ACTIVITY 0 2 FALSE *))) :START-B-TOKEN VAL-17 :END-B-TOKEN VAL-17 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("rt-failure.seq" RT_FAILURE_ACTIVITY 0 2 FALSE))) :DURATION (0 66938501) :START-TIME-POINT TP-344 :END-TIME-POINT TP-349 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-25 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC (NO_ACTIVITY_GOAL) :START-B-TOKEN VAL-25 :END-B-TOKEN VAL-25 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE (NO_ACTIVITY_GOAL) :DURATION (4 66938505) :START-TIME-POINT TP-349 :END-TIME-POINT TP-354 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-18 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("acs_error.seq" ACS_ERROR_ACTIVITY 0 3 FALSE *))) :START-B-TOKEN VAL-18 :END-B-TOKEN VAL-18 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("acs_error.seq" ACS_ERROR_ACTIVITY 0 3 FALSE))) :DURATION (0 66938501) :START-TIME-POINT TP-354 :END-TIME-POINT TP-359 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-19 :SV-SPEC (EXEC ACTIVITY_GOAL_SV) :TYPE-SPEC ((EXEC_ACTIVITY_GOAL ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 5 FALSE *))) :START-B-TOKEN VAL-19 :END-B-TOKEN VAL-19 :STATE-VARIABLE (EXEC ACTIVITY_GOAL_SV) :TOKEN-TYPE ((EXEC_ACTIVITY_GOAL ("exec-abort-to-mode.seq" EXEC_ABORT_TO_MODE 0 5 FALSE))) :DURATION (0 472244101) :START-TIME-POINT TP-359 ) ) )  #S(SV-TIMELINE :NAME (SPE ESTIMATE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-11 :SV-SPEC (SPE ESTIMATE_SV) :TYPE-SPEC ((SPE_ESTIMATE (2500.0D0))) :START-B-TOKEN VAL-11 :END-B-TOKEN VAL-11 :STATE-VARIABLE (SPE ESTIMATE_SV) :TOKEN-TYPE ((SPE_ESTIMATE (2500.0D0))) :DURATION (94694400 500000000) ) ) )  #S(SV-TIMELINE :NAME (POWER POWER_AVAILABLE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-281 :STATE-VARIABLE (POWER POWER_AVAILABLE_SV) :TOKEN-TYPE (*ANY-VALUE*) ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-277 :STATE-VARIABLE (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-376 :END-TIME-POINT TP-377 ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-276 :STATE-VARIABLE (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-379 :END-TIME-POINT TP-380 ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-275 :STATE-VARIABLE (SEP_SCHEDULE SEP_SCHEDULE_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-382 :END-TIME-POINT TP-383 ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-274 :STATE-VARIABLE (SEP SEP_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-385 :END-TIME-POINT TP-386 ) ) )  #S(SV-TIMELINE :NAME (WAYPOINTS WAYPOINTS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-0 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-0 :END-B-TOKEN VAL-0 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (27669485 432975085) :END-TIME-POINT TP-389 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-1 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (EXPERIMENT_START EXPERIMENT_START))) :START-B-TOKEN VAL-1 :END-B-TOKEN VAL-1 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (EXPERIMENT_START))) :DURATION (4 4) :START-TIME-POINT TP-389 :END-TIME-POINT TP-395 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-2 :END-B-TOKEN VAL-2 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (18596 18596) :START-TIME-POINT TP-395 :END-TIME-POINT TP-410 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-3 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (* *))) :START-B-TOKEN VAL-3 :END-B-TOKEN VAL-3 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (*))) :DURATION (4 4) :START-TIME-POINT TP-410 :END-TIME-POINT TP-415 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-4 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-4 :END-B-TOKEN VAL-4 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (67796 67796) :START-TIME-POINT TP-415 :END-TIME-POINT TP-692 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-5 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (* END_HORIZON_POINT))) :START-B-TOKEN VAL-5 :END-B-TOKEN VAL-5 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (*))) :DURATION (4 4) :START-TIME-POINT TP-692 :END-TIME-POINT TP-690 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-6 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-6 :END-B-TOKEN VAL-6 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (86396 86396) :START-TIME-POINT TP-690 :END-TIME-POINT TP-420 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-7 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (EXPERIMENT_END EXPERIMENT_END))) :START-B-TOKEN VAL-7 :END-B-TOKEN VAL-7 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (EXPERIMENT_END))) :DURATION (4 4) :START-TIME-POINT TP-420 :END-TIME-POINT TP-425 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-8 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC (NO_EVENT) :START-B-TOKEN VAL-8 :END-B-TOKEN VAL-8 :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE (NO_EVENT) :DURATION (66852111 472157711) :START-TIME-POINT TP-425 ) ) )  #S(SV-TIMELINE :NAME (NAV_MODE NAV_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2000 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-2000 :END-B-TOKEN VAL-2000 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (-500000000 500000000) :END-TIME-POINT TP-2988 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2001 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (10800 7200 0 TRUE 4 4))) :START-B-TOKEN VAL-2001 :END-B-TOKEN VAL-2001 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (10800 7200 0 TRUE 4 4))) :DURATION (-500000000 500000000) :START-TIME-POINT TP-2988 :END-TIME-POINT TP-2980 )  #S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-2003 :SV-SPEC (NAV_MODE NAV_MODE_SV) :TYPE-SPEC ((NAVIGATE (345600 0 0 FALSE 0 1000))) :START-B-TOKEN VAL-2003 :END-B-TOKEN VAL-2003 :STATE-VARIABLE (NAV_MODE NAV_MODE_SV) :TOKEN-TYPE ((NAVIGATE (345600 0 0 FALSE 0 1000))) :DURATION (-500000000 500000000) :START-TIME-POINT TP-2980 ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-273 :STATE-VARIABLE (OBS_WINDOW OBS_WINDOW_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-462 :END-TIME-POINT TP-463 ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-272 :STATE-VARIABLE (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-465 :END-TIME-POINT TP-466 ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-271 :STATE-VARIABLE (NAV_PROCESSING NAV_PROCESSING_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-468 :END-TIME-POINT TP-469 ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(B-TOKEN :NAME TOK-270 :STATE-VARIABLE (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :TOKEN-TYPE (*ANY-VALUE*) :START-TIME-POINT TP-471 :END-TIME-POINT TP-472 ) ) ) ) :FREE-C-TOKENS (#S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-639 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (INTERMEDIATE_POINT INTERMEDIATE_POINT))) :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (INTERMEDIATE_POINT))) :DURATION (0 500000000) :START-TIME-POINT TP-640 :END-TIME-POINT TP-641 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-648 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (0 500000000) :START-TIME-POINT TP-405 :END-TIME-POINT TP-400 )  #S(C-TOKEN :CARDINALITY :MULTIPLE :NAME SEQ-3971 :SV-SPEC (WAYPOINTS WAYPOINTS_SV) :TYPE-SPEC ((STANDARD_WAYPOINT (END_HORIZON_POINT END_HORIZON_POINT))) :STATE-VARIABLE (WAYPOINTS WAYPOINTS_SV) :TOKEN-TYPE ((STANDARD_WAYPOINT (END_HORIZON_POINT))) :DURATION (0 500000000) :START-TIME-POINT TP-871 :END-TIME-POINT TP-799 ) ) :COMPAT-CONSTRAINTS (#S(COMPAT-CONSTRAINT :NAME USERCOMPAT-3 :FROM-TOKEN VAL-1 :TO-TOKEN VAL-3 :TEMPORAL-RELATION (STARTS_BEFORE 18600 18600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-401 :FROM-TOKEN VAL-2 :TO-TOKEN VAL-4 :TEMPORAL-RELATION (BEFORE 4 4) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-4 :FROM-TOKEN VAL-3 :TO-TOKEN VAL-5 :TEMPORAL-RELATION (STARTS_BEFORE 67800 67800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-6 :FROM-TOKEN VAL-13 :TO-TOKEN VAL-5 :TEMPORAL-RELATION (STARTS_BEFORE 31800 31800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-13 :FROM-TOKEN VAL-31 :TO-TOKEN VAL-5 :TEMPORAL-RELATION (STARTS_BEFORE 64200 64200) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-14 :FROM-TOKEN VAL-32 :TO-TOKEN VAL-5 :TEMPORAL-RELATION (STARTS_BEFORE 53400 53400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-22 :FROM-TOKEN VAL-342 :TO-TOKEN VAL-5 :TEMPORAL-RELATION (STARTS_BEFORE 66600 66600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-501 :FROM-TOKEN VAL-4 :TO-TOKEN VAL-6 :TEMPORAL-RELATION (BEFORE 4 4) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-5 :FROM-TOKEN VAL-5 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 86400 86400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-7 :FROM-TOKEN VAL-16 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 86400 86400) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-8 :FROM-TOKEN VAL-17 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 86390 86390) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-19 :FROM-TOKEN VAL-33 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 82800 82800) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-20 :FROM-TOKEN VAL-34 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 72000 72000) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-102 :FROM-TOKEN VAL-2001 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 57600 57600) :JUSTIFICATION (EXTERNAL) )  #S(COMPAT-CONSTRAINT :NAME USERCOMPAT-104 :FROM-TOKEN VAL-2003 :TO-TOKEN VAL-7 :TEMPORAL-RELATION (STARTS_BEFORE 32400 32400) :JUSTIFICATION (EXTERNAL) ) ) :ABSOLUTE-CONSTRAINTS (#S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-633 :TOKEN VAL-1 :CONSTRAINED-TIME-POINT :END-TIME :TIME-CONSTRAINT (43307889 43307889) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-632 :TOKEN VAL-1 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43307885 43307885) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-635 :TOKEN VAL-3 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43326485 43326485) )  #S(ABSOLUTE-TIME-CONSTRAINT :NAME C-SPEC-636 :TOKEN VAL-5 :CONSTRAINED-TIME-POINT :START-TIME :TIME-CONSTRAINT (43394285 43394285) ) ) )