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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant


  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3__In1_1_1
  )

  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant3__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant4__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant5__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_2_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_3_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant1__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant2__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant3__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant4__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant5__Out1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Threshold_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Threshold_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Threshold_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1__In1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2__In1_1_1 (mk-record 1 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3__In1_1_1 (mk-record 1 0 0))

    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In3_1_1)
    
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant4__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__tau1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch3__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant5__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Constant2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Switch1__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__Demux__Out1_1_1)
  )
)