Property DLCflexbar-PT-8a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p3391")
  end.
Property DLCflexbar-PT-8a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p805")
  end.
Property DLCflexbar-PT-8a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p3731")
  end.
Property DLCflexbar-PT-8a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p599")
  end.
Property DLCflexbar-PT-8a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p1165")
  end.
Property DLCflexbar-PT-8a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p2028")
  end.
Property DLCflexbar-PT-8a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1173")
  end.
Property DLCflexbar-PT-8a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p2355")
  end.
Property DLCflexbar-PT-8a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p1273")
  end.
Property DLCflexbar-PT-8a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1127")
  end.
Property DLCflexbar-PT-8a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p454")
  end.
Property DLCflexbar-PT-8a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p1766")
  end.
Property DLCflexbar-PT-8a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p930")
  end.
Property DLCflexbar-PT-8a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p1945")
  end.
Property DLCflexbar-PT-8a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p1598")
  end.
Property DLCflexbar-PT-8a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p3358")
  end.
