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

(define-block
  hybrid_analysis_prb2__transmission__compute_states___states


  (
    hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_5_1
  )

  (
    hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Out1__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out5_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out5_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out5_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out5_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From10__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From15__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From16__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From27__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From29__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From30__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From31__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From33__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From34__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From48__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From50__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From52__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From53__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From56__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From64__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From65__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From67__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From7__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__From9__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto15__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto16__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto17__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto18__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto19__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto20__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto21__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto22__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto23__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto24__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto25__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto26__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto27__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto28__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto29__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto65__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto66__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto67__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto68__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Goto69__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge1__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge2__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge3__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge4__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Merge5__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__In1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__In2_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__In3_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__In4_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__In5_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_2_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_3_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_4_1
    hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_5_1
    hybrid_analysis_prb2__transmission__compute_states___states__w_sr_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__w_t_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__w_si_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__w_cr_1_1
    hybrid_analysis_prb2__transmission__compute_states___states__w_ci_1_1
  )

  (
    (hybrid_analysis_prb2__transmission__compute_states___states__check_wsr hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Out1__In1_1_1)
  )

  (
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_2_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_3_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_4_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_5_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_2_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_3_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_4_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_5_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_2_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_3_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_4_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_5_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_2_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_3_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_4_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_5_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From1__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From10__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From15__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From16__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From27__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From29__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From30__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From31__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From33__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From34__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From48__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From50__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From52__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From53__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From56__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From64__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From65__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From67__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From7__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__From9__Out1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto15__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto16__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto17__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto18__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto19__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto20__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto21__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto22__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto23__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto24__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto25__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto26__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto27__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto28__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto29__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto65__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto66__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto67__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto68__In1_1_1 (mk-record -1 0 0))
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto69__In1_1_1 (mk-record -1 0 0))

    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out5_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out5_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out5_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out5_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_2_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__In2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_3_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__In3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_4_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__In4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_5_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__In5_1_1)
    
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From7__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From10__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto66__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_2_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_3_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_4_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux5__In1_5_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas3__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From53__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto15__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__w_sr_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge5__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From31__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto25__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From67__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From9__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto28__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto65__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__w_t_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From56__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto23__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__w_cr_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From27__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto29__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_2_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_3_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_4_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux2__In1_5_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From52__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__w_ci_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__reaction_torques__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Mux__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From34__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_2_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_3_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_4_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux3__In1_5_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas1__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto27__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto69__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From48__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto26__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux5__Out2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto22__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From30__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge4__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From33__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge5__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From50__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge3__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From29__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In2_1_1 hybrid_analysis_prb2__transmission__compute_states___states__w_cr_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From65__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__w_ci_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge3__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From15__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto24__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto17__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto18__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto16__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__In1__Out1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__w_sr_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto21__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out2_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto19__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux3__Out5_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In5_1_1 hybrid_analysis_prb2__transmission__compute_states___states__check_wsr__Out1__In1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__w_t_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto67__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out3_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto20__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_2_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_2_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_3_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_3_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_4_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_4_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Demux4__In1_5_1 hybrid_analysis_prb2__transmission__compute_states___states__omegas2__Out1_5_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge2__In3_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From64__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__w_si_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__w_si_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Mux__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Merge4__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Goto68__In1_1_1 hybrid_analysis_prb2__transmission__compute_states___states__Demux2__Out4_1_1)
    (- hybrid_analysis_prb2__transmission__compute_states___states__Merge1__In4_1_1 hybrid_analysis_prb2__transmission__compute_states___states__From16__Out1_1_1)
  )
)