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

(define-block
  hybrid_analysis_prb2__transmission


  (
    hybrid_analysis_prb2__transmission__T_s__Out1_1_1
    hybrid_analysis_prb2__transmission__T_t__Out1_1_1
    hybrid_analysis_prb2__transmission__pc__Out1_1_1
    hybrid_analysis_prb2__transmission__pc__Out1_2_1
    hybrid_analysis_prb2__transmission__pc__Out1_3_1
    hybrid_analysis_prb2__transmission__omegas__In1_1_1
    hybrid_analysis_prb2__transmission__omegas__In1_2_1
    hybrid_analysis_prb2__transmission__omegas__In1_3_1
    hybrid_analysis_prb2__transmission__omegas__In1_4_1
    hybrid_analysis_prb2__transmission__omegas__In1_5_1
    hybrid_analysis_prb2__transmission__current_gear__In1_1_1
  )

  (
    hybrid_analysis_prb2__transmission__compute_states__T_s__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__T_t__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_6_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_6_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_7_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_8_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_9_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_10_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_11_1
    hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_12_1
    hybrid_analysis_prb2__transmission__compute_states__states__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states__states__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states__states__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states__states__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states__gear__In1_1_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_1_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_2_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_3_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_1_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_2_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_3_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_4_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_5_1
    hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_6_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_s__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_t__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_2_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_3_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_4_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_5_1
    hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_6_1
    hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_2_1
    hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_3_1
    hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_4_1
    hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_5_1
    hybrid_analysis_prb2__transmission__reaction_torques__current_gear__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_2_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_3_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_4_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_5_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_6_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_7_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_8_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_9_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_10_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_11_1
    hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_12_1
    hybrid_analysis_prb2__transmission__Memory__In1_1_1
    hybrid_analysis_prb2__transmission__Memory__Out1_1_1
    hybrid_analysis_prb2__transmission__Memory1__In1_1_1
    hybrid_analysis_prb2__transmission__Memory1__In1_2_1
    hybrid_analysis_prb2__transmission__Memory1__In1_3_1
    hybrid_analysis_prb2__transmission__Memory1__In1_4_1
    hybrid_analysis_prb2__transmission__Memory1__In1_5_1
    hybrid_analysis_prb2__transmission__Memory1__Out1_1_1
    hybrid_analysis_prb2__transmission__Memory1__Out1_2_1
    hybrid_analysis_prb2__transmission__Memory1__Out1_3_1
    hybrid_analysis_prb2__transmission__Memory1__Out1_4_1
    hybrid_analysis_prb2__transmission__Memory1__Out1_5_1
  )

  (
    (hybrid_analysis_prb2__transmission__compute_states hybrid_analysis_prb2__transmission__compute_states__T_s__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__T_t__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_2_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_3_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_4_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_5_1 hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_6_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_2_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_3_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_4_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_5_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_6_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_7_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_8_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_9_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_10_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_11_1 hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_12_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_2_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_3_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_4_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_5_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_2_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_3_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_4_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_5_1 hybrid_analysis_prb2__transmission__compute_states__gear__In1_1_1)
    (hybrid_analysis_prb2__transmission__pressure_to_torque hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_1_1 hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_2_1 hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_3_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_1_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_2_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_3_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_4_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_5_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_6_1)
    (hybrid_analysis_prb2__transmission__reaction_torques hybrid_analysis_prb2__transmission__reaction_torques__T_s__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__T_t__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_2_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_3_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_4_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_5_1 hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_6_1 hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_2_1 hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_3_1 hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_4_1 hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_5_1 hybrid_analysis_prb2__transmission__reaction_torques__current_gear__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_2_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_3_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_4_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_5_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_6_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_7_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_8_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_9_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_10_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_11_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_12_1)
  )

  (
    (- hybrid_analysis_prb2__transmission__T_s__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__T_t__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__pc__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__transmission__pc__Out1_2_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__transmission__pc__Out1_3_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__transmission__current_gear__In1_1_1 (mk-record 0 0 0))

    (- hybrid_analysis_prb2__transmission__Memory__Out1_1_1 hybrid_analysis_prb2__transmission__Memory__In1_1_1)
    (- hybrid_analysis_prb2__transmission__Memory1__Out1_1_1 hybrid_analysis_prb2__transmission__Memory1__In1_1_1)
    (- hybrid_analysis_prb2__transmission__Memory1__Out1_2_1 hybrid_analysis_prb2__transmission__Memory1__In1_2_1)
    (- hybrid_analysis_prb2__transmission__Memory1__Out1_3_1 hybrid_analysis_prb2__transmission__Memory1__In1_3_1)
    (- hybrid_analysis_prb2__transmission__Memory1__Out1_4_1 hybrid_analysis_prb2__transmission__Memory1__In1_4_1)
    (- hybrid_analysis_prb2__transmission__Memory1__Out1_5_1 hybrid_analysis_prb2__transmission__Memory1__In1_5_1)
    
    (- hybrid_analysis_prb2__transmission__Memory1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_1_1)
    (- hybrid_analysis_prb2__transmission__Memory1__In1_2_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_2_1)
    (- hybrid_analysis_prb2__transmission__Memory1__In1_3_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_3_1)
    (- hybrid_analysis_prb2__transmission__Memory1__In1_4_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_4_1)
    (- hybrid_analysis_prb2__transmission__Memory1__In1_5_1 hybrid_analysis_prb2__transmission__compute_states__derivatives__In1_5_1)
    (- hybrid_analysis_prb2__transmission__current_gear__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__gear__In1_1_1)
    (- hybrid_analysis_prb2__transmission__Memory__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__gear__In1_1_1)
    (- hybrid_analysis_prb2__transmission__omegas__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states__In1_1_1)
    (- hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_1_1 hybrid_analysis_prb2__transmission__pc__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_2_1 hybrid_analysis_prb2__transmission__pc__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__pressure_to_torque__pcs__Out1_3_1 hybrid_analysis_prb2__transmission__pc__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states__RTs__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__RTs__In1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_1_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_2_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_2_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_3_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_3_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_4_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_4_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_5_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_5_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_c__Out1_6_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_6_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_1_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_2_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_3_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_4_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_5_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_c__Out1_6_1 hybrid_analysis_prb2__transmission__pressure_to_torque__T_c__In1_6_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__current_gear__Out1_1_1 hybrid_analysis_prb2__transmission__Memory__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_1_1 hybrid_analysis_prb2__transmission__Memory1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_2_1 hybrid_analysis_prb2__transmission__Memory1__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_3_1 hybrid_analysis_prb2__transmission__Memory1__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_4_1 hybrid_analysis_prb2__transmission__Memory1__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__omega_dots__Out1_5_1 hybrid_analysis_prb2__transmission__Memory1__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_s__Out1_1_1 hybrid_analysis_prb2__transmission__T_s__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_s__Out1_1_1 hybrid_analysis_prb2__transmission__T_s__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__T_t__Out1_1_1 hybrid_analysis_prb2__transmission__T_t__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__T_t__Out1_1_1 hybrid_analysis_prb2__transmission__T_t__Out1_1_1)
  )
)