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

(define-block
  cd2d__omega_vv__IfActionSubsystem1__tau_vv1


  (
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__s__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Out1__In1_1_1
  )

  (
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant1__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__Out1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In1_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In2_1_1
    cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__Out1_1_1
  )

  (
  )

  (
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__s__Out1_1_1 (mk-record 0 1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1 (mk-record -1 1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant__Out1_1_1 (mk-record 1 0))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant1__Out1_1_1 (mk-record 1 0))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Out1__In1_1_1 (mk-record -1 2))

    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__Out1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__Out1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In2_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In2_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__Out1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__Out1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In2_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In2_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__Out1_1_1  (+ cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In2_1_1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__Out1_1_1  (+ cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In2_1_1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__Out1_1_1  (+ cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In2_1_1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__Out1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__In1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__Out1_1_1 (+ cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In2_1_1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In1_1_1  cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In2_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__Out1_1_1 (+ cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In2_1_1))
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In1_1_1  cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In2_1_1)
    
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Out1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__s__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product2__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Constant1__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__MinMax1__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__UnaryMinus__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__Product1__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v1__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In1_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1)
    (- cd2d__omega_vv__IfActionSubsystem1__tau_vv1__sqv_v__In2_1_1 cd2d__omega_vv__IfActionSubsystem1__tau_vv1__v__Out1_1_1)
  )
)