Property DLCflexbar-PT-8b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p34840")
  end.
Property DLCflexbar-PT-8b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p7625")
  end.
Property DLCflexbar-PT-8b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p10735")
  end.
Property DLCflexbar-PT-8b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p17795")
  end.
Property DLCflexbar-PT-8b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p39899")
  end.
Property DLCflexbar-PT-8b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p32453")
  end.
Property DLCflexbar-PT-8b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p37332")
  end.
Property DLCflexbar-PT-8b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p22508")
  end.
Property DLCflexbar-PT-8b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p6451")
  end.
Property DLCflexbar-PT-8b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p35735")
  end.
Property DLCflexbar-PT-8b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p31395")
  end.
Property DLCflexbar-PT-8b-UpperBounds-11
  "Automatically generated"
  is:
    bound("p37133")
  end.
Property DLCflexbar-PT-8b-UpperBounds-12
  "Automatically generated"
  is:
    bound("p23388")
  end.
Property DLCflexbar-PT-8b-UpperBounds-13
  "Automatically generated"
  is:
    bound("p23011")
  end.
Property DLCflexbar-PT-8b-UpperBounds-14
  "Automatically generated"
  is:
    bound("p11648")
  end.
Property DLCflexbar-PT-8b-UpperBounds-15
  "Automatically generated"
  is:
    bound("p10188")
  end.
