;; (define-type dim (record time::int length::int mass::int))

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler


  (
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__tps__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__p_e_switch__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__gear__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__ngear__In1_1_1
  )

  (
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In4_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__economy__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Constant_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__power__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_21_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_12_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss_kmh_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__to_gear_1_1
  )

  (
    (hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In4_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1)
  )

  (
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In3_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In4_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__tps__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss__Out1_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__p_e_switch__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__gear__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__Out1_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__Out1_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Threshold_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__economy__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__power__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__ngear__In1_1_1 (mk-record 0 0 0))

    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__Out1_1_1  (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In2_1_1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__Out1_1_1  (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In2_1_1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Out1_1_1 (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Constant_1_1))
    
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss_kmh_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__m_s_to_km_h__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__vss_kmh_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__power__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__gear__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__tps__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__tps__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_12_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__1_2_shift__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_12_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__to_gear_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__ngear__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__economy__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_21_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__ngear__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__to_gear_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_speed_21_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__2_1_shift__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__shift_schedule__In4_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Product1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__Switch__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__shift_scheduler__p_e_switch__Out1_1_1)
  )
)