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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators


  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3__In1_1_1
  )

  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pc1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3__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__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__Demux__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2_1_1
  )

  (
    (hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pc1__In1_1_1)
    (hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1)
    (hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3__In1_1_1)
    (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__pcs__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_2_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_3_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1__In1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2__In1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3__In1_1_1 (mk-record -2 -1 1))

    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_1_1 (increment hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_1_1 0 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_1_1  (+ hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_1_1 (inverse hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_1_1)))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_2_1  (+ hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_2_1 (inverse hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_2_1)))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_3_1  (+ hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_3_1 (inverse hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_3_1)))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_3_1)
    
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In2_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__clutch_time_constant__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__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__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__pcs__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In3_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__Product2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Sum3__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Integrator__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In1_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__pc1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pc1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__In2_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__pc2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc1__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc3__pc3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_2_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Product2__In2_3_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Mux3__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__Demux__Out2_1_1)
  )
)