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

(define-block
  hybrid_analysis_prb2__transmission__compute_states__states_first


  (
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_s__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_6_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__T_t__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wt_init__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot__In1_1_1
  )

  (
    hybrid_analysis_prb2__transmission__compute_states__states_first__Constant27__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__IC__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__IC__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Outstate_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_6_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__init_first2__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__init_first3__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wt_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wsi_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wci_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_1_1
    hybrid_analysis_prb2__transmission__compute_states__states_first__wsr_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__T_s__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__T_t__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_init__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Constant27__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Constant_1_1 (mk-record 0 -2 -1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__init_first2__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__init_first3__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_2_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_3_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_4_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_5_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot__In1_1_1 (mk-record -2 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot__In1_1_1 (mk-record -2 0 0))

    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__IC__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__IC__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1 (increment hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In1_1_1 0 1))
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_2_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_3_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_4_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_5_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In2_1_1)
    
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In2_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__IC__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wsi_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In4_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wsr_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Constant27__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In5_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Constant27__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In3_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wci_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wt_dot_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Terminator__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__T_c__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In2_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In2_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_2_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_3_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_4_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__states__In1_5_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_dot_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__IC__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wt_init__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In5_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wsr_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In4_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__wsi_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wcr_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In2_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__init_first2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Outstate_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__init_first3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Outstate_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain8__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Integrator1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Sum7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__T_t__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__wci_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Mux2__In3_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__Gain6__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states__states_first__Gain3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states__states_first__T_s__Out1_1_1)
  )
)