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

(define-block
  hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure


  (
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__ngear1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc5__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc6__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc7__In1_1_1
  )

  (
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Constant_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Constant_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Constant_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__In1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__Out1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_on_off_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_on_off_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_on_off_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc1_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc2_1_1
    hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc3_1_1
  )

  (
  )

  (
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__ngear1__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Constant_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Constant_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Constant_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__In1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__Out1_1_1 (mk-record 0 0 0))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc5__In1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc6__In1_1_1 (mk-record -2 -1 1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc7__In1_1_1 (mk-record -2 -1 1))

    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Out1_1_1 (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Constant_1_1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Out1_1_1 (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Constant_1_1))
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Out1_1_1 (+ hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Constant_1_1))
    
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc5__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc5__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc6__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc2_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_on_off_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_on_off_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc3_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_on_off_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc3_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc7__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_on_off_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain2__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_on_off_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__pc2_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Pc6__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_on_off_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__Gain1__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c2_table__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__ngear1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c3_table__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__ngear1__Out1_1_1)
    (- hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__c1_table__In1_1_1 hybrid_analysis_prb2__trans_controller_actuator__trans_slow__trans_slow_torques__clutch_pressure__ngear1__Out1_1_1)
  )
)