Property DLCflexbar-PT-8b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p29457")
  end.
Property DLCflexbar-PT-8b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p43963")
  end.
Property DLCflexbar-PT-8b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p19092")
  end.
Property DLCflexbar-PT-8b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p20193")
  end.
Property DLCflexbar-PT-8b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p8635")
  end.
Property DLCflexbar-PT-8b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p20295")
  end.
Property DLCflexbar-PT-8b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p30174")
  end.
Property DLCflexbar-PT-8b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p2977")
  end.
Property DLCflexbar-PT-8b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p29070")
  end.
Property DLCflexbar-PT-8b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p17622")
  end.
Property DLCflexbar-PT-8b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p10448")
  end.
Property DLCflexbar-PT-8b-UpperBounds-11
  "Automatically generated"
  is:
    bound("p37926")
  end.
Property DLCflexbar-PT-8b-UpperBounds-12
  "Automatically generated"
  is:
    bound("p5306")
  end.
Property DLCflexbar-PT-8b-UpperBounds-13
  "Automatically generated"
  is:
    bound("p12512")
  end.
Property DLCflexbar-PT-8b-UpperBounds-14
  "Automatically generated"
  is:
    bound("p38176")
  end.
Property DLCflexbar-PT-8b-UpperBounds-15
  "Automatically generated"
  is:
    bound("p6036")
  end.
