#S(PLAN :SCHEDULING-HORIZON #S(SCHEDULING-HORIZON :START 43324657 :END 43367857 )  :TIME-MAP #S(TIME-MAP :NAME DS1 :MODEL "rax" )  :MODEL-OBJECTS (#S(MODEL-OBJECT :NAME MO-304 :INSTANCE-OF POINTING_CLASS :STATIC-PROPERTIES ((INERTIAL MO-305) (BODY HGA_BORESIGHT)) )  #S(MODEL-OBJECT :NAME MO-305 :INSTANCE-OF INERTIAL_VECTOR :STATIC-PROPERTIES ((RA 0.0) (DEC 0.0) (NAIF_ID 399) (FORMAT NAMED_VEC)) ) ) :SV-TIMELINES (#S(SV-TIMELINE :NAME (EXEC ACTIVITY_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-299 :TYPE-SPEC ((NO_ACTIVITY (-1))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((NO_ACTIVITY (-1))) )  #S(B-TOKEN :NAME TOK-313 ) ) )  #S(SV-TIMELINE :NAME (SEP_TIME_ACCUM SEP_TIME_ACCUM_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-300 :TYPE-SPEC ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((ACCUMULATED_THRUST_TIME (0 0 0 THRUST_BOUNDARY 0))) )  #S(B-TOKEN :NAME TOK-314 ) ) )  #S(SV-TIMELINE :NAME (SEP_SCHEDULE SEP_SCHEDULE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-301 :TYPE-SPEC (IDLE_SEGMENT) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (IDLE_SEGMENT) )  #S(B-TOKEN :NAME TOK-315 ) ) )  #S(SV-TIMELINE :NAME (SEP_THRUST_TIMER SEP_THRUST_TIMER_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-302 :TYPE-SPEC (THRUST_TIMER_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (THRUST_TIMER_IDLE) )  #S(B-TOKEN :NAME TOK-316 ) ) )  #S(SV-TIMELINE :NAME (SEP SEP_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-303 :TYPE-SPEC ((SEP_STANDBY (0 * 0))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((SEP_STANDBY (0 * 0))) )  #S(B-TOKEN :NAME TOK-317 ) ) )  #S(SV-TIMELINE :NAME (SPACECRAFT_ATTITUDE SPACECRAFT_ATTITUDE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-306 :TYPE-SPEC ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE ((CONSTANT_POINTING_ON_SUN (MO-304 BBC_DEADBAND_CRUISE))) )  #S(B-TOKEN :NAME TOK-318 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_ACTIONS_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-307 :TYPE-SPEC (MICAS_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (MICAS_IDLE) )  #S(B-TOKEN :NAME TOK-319 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_MODE_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-308 :TYPE-SPEC (MICAS_READY) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (MICAS_READY) )  #S(B-TOKEN :NAME TOK-320 ) ) )  #S(SV-TIMELINE :NAME (MICAS MICAS_HEALTH_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-309 :TYPE-SPEC ((MICAS_AVAILABILITY (TRUE))) :TOKEN-TYPE ((MICAS_AVAILABILITY (TRUE))) )  #S(B-TOKEN :NAME TOK-321 ) ) )  #S(SV-TIMELINE :NAME (OBS_WINDOW OBS_WINDOW_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-310 :TYPE-SPEC (OBS_WINDOW_INACTIVE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (OBS_WINDOW_INACTIVE) )  #S(B-TOKEN :NAME TOK-322 ) ) )  #S(SV-TIMELINE :NAME (NAV_PROCESSING NAV_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-311 :TYPE-SPEC (NAV_PROCESSING_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (NAV_PROCESSING_IDLE) )  #S(B-TOKEN :NAME TOK-323 ) ) )  #S(SV-TIMELINE :NAME (PLANNER_PROCESSING PLANNER_PROCESSING_SV) :NEW-B-TOKENS (#S(C-TOKEN :CARDINALITY :SINGLE :NAME VAL-312 :TYPE-SPEC (PLANNER_IDLE) :REQUESTED-START-TIME (43309657 43309657) :TOKEN-TYPE (PLANNER_IDLE) )  #S(B-TOKEN :NAME TOK-324 ) ) ) ) )