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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2


  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1
  )

  (
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant3__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant4__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In3_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Threshold_1_1
    hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant2__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant3__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant4__Out1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Threshold_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Threshold_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1 (mk-record -2 -1 1))

    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Out1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In3_1_1)
    
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pcs__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator1__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant3__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In3_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Sum7__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__RelationalOperator__In2_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Switch1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__clutch_actuators__check_pc2__Constant4__Out1_1_1)
  )
)