Property DLCflexbar-PT-8a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p27")
  end.
Property DLCflexbar-PT-8a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p3523")
  end.
Property DLCflexbar-PT-8a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p2992")
  end.
Property DLCflexbar-PT-8a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p830")
  end.
Property DLCflexbar-PT-8a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p2434")
  end.
Property DLCflexbar-PT-8a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p2797")
  end.
Property DLCflexbar-PT-8a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p79")
  end.
Property DLCflexbar-PT-8a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1012")
  end.
Property DLCflexbar-PT-8a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p391")
  end.
Property DLCflexbar-PT-8a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p951")
  end.
Property DLCflexbar-PT-8a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p3749")
  end.
Property DLCflexbar-PT-8a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p3443")
  end.
Property DLCflexbar-PT-8a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p363")
  end.
Property DLCflexbar-PT-8a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p95")
  end.
Property DLCflexbar-PT-8a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p663")
  end.
Property DLCflexbar-PT-8a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p3458")
  end.
