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

(define-block
  hybrid_analysis_prb2__transmission__compute_states___initialization


  (
    hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init__In1_1_1
  )

  (
    hybrid_analysis_prb2__transmission__compute_states___initialization__From22__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From23__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From26__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From27__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From28__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From31__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From32__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From33__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From38__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From45__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From50__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From54__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From58__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From59__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From60__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From61__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From62__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From80__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From81__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From82__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From83__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From89__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From90__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From91__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__From92__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Constant_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init_1_1
    hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From22__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From23__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From26__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From27__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From28__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From31__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From32__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From33__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From38__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From45__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From50__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From54__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From58__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From59__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From60__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From61__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From62__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From80__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From81__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From82__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From83__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From89__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From90__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From91__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__From92__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Constant_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init__In1_1_1 (mk-record -1 0 0))

    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Out1_1_1 (+ hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Constant_1_1))
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In5_1_1)
    
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From91__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From45__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From22__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From92__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From32__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain15__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain44__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From81__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From82__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From54__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From27__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__wci_init_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From80__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From50__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain13__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain17__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From26__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain39__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain41__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From83__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain43__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From60__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From62__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From33__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__wsi_init_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain16__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From38__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain18__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From23__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain38__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From89__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain42__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From90__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain40__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain81__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From59__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Memory3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain48__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From61__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Memory__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From58__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain9__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From28__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wt_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch6__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wcr_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__Gain27__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__From31__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__wsr_init__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch9__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain82__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch7__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___initialization__MultiportSwitch8__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___initialization__Gain73__Out1_1_1)
  )
)