(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain10__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain10__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain11__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain11__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain12__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain12__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain16__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain16__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain3__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain3__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain9__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain9__Constant)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__In1)
(assert+ (= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__In2))
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__In1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__In1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__In2))
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__Out1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In2))
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In3))

(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__BusSelector3__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__T_c__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain3__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wsr hybrid_analysis_prb2__transmission__compute_states__states_torque121__Constant26__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In5 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Constant26__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain12__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain9__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain10__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain11__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Constant16__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__tc2)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr_dot__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr_dot)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain16__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr_dot hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr_dot__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain3__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__T_s__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wcr hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain9__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain9__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In3 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wci)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain12__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain12__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum3__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Constant17__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain16__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In5 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wsr)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__init_first2__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Outstate)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__init_first3__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__Outstate)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__T_t__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Sum7__In3 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__tc2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__BusSelector3__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Product4__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__BusSelector3__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wci hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain10__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In3 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain10__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_dot hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain17__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain16__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain8__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In4 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wsi)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__states__In1 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Integrator1__In2 hybrid_analysis_prb2__transmission__compute_states__states_torque121__wt_init__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__wsi hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain11__Out1)
(= hybrid_analysis_prb2__transmission__compute_states__states_torque121__Mux__In4 hybrid_analysis_prb2__transmission__compute_states__states_torque121__Gain11__Out1)


