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

(define-block
  hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1


  (
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In1__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_2_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_3_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_4_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_5_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_6_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Out1__In1_1_1
  )

  (
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__In1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant1__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In2_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In2_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In3_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Out1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Threshold_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_1_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_2_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_3_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_4_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_5_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_6_1
    hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RTsp1_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In1__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant1__Out1_1_1 (mk-record -2 2 1))
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Threshold_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Out1__In1_1_1 (mk-record -2 2 1))

    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__In1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In2_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In3_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Out1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In3_1_1)
    
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Out1__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RTsp1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In2_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RTsp1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Out1__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In2_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Terminator2__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In2__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__In1__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__RelationalOperator__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In3_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Abs__Out1_1_1)
    (- hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Switch__In1_1_1 hybrid_analysis_prb2__transmission__reaction_torques__check_RTsp1__Constant1__Out1_1_1)
  )
)