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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator


  (
    hybrid_analysis_prb2__trans_controller_actuator__tps__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__a_gear__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__vss__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trig_trans_slow__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__p_e_switch__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_3_1
  )

  (
    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__trans_slow__trig_trans_slow__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__tps__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__vss__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__p_e_switch__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__a_gear__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc3__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__IC2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_2_1
    hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_3_1
    hybrid_analysis_prb2__trans_controller_actuator__pc2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__pc3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__pc1_1_1
  )

  (
    (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__trans_slow hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trig_trans_slow__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__tps__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__vss__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__p_e_switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__a_gear__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc3__In1_1_1)
  )

  (
    (- hybrid_analysis_prb2__trans_controller_actuator__tps__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__a_gear__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__vss__Out1_1_1 (mk-record -1 1 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trig_trans_slow__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__p_e_switch__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_2_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_3_1 (mk-record -2 -1 1))

    (- hybrid_analysis_prb2__trans_controller_actuator__IC__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__IC1__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__IC2__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC2__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_2_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_3_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_2_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_3_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__In3_1_1)
    
    (- hybrid_analysis_prb2__trans_controller_actuator__IC2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__pc3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_2_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pcs__In1_3_1 hybrid_analysis_prb2__trans_controller_actuator__Mux6__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_2_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_2_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pcs__Out1_3_1 hybrid_analysis_prb2__trans_controller_actuator__Mux7__Out1_3_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__IC1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc2__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pc2_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc2__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__tps__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__tps__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux6__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__pc3__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__a_gear__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__a_gear__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__p_e_switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__p_e_switch__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__pc1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__vss__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__vss__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trig_trans_slow__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trig_trans_slow__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__IC__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__Pc1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pc3_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__pc1_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__Mux7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__IC__Out1_1_1)
  )
)