Property ErlangenMainframeV0-PT-1106-UpperBounds-00
  "Automatically generated"
  is:
    bound("p235")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-01
  "Automatically generated"
  is:
    bound("p238")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-02
  "Automatically generated"
  is:
    bound("p118")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-03
  "Automatically generated"
  is:
    bound("p38")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-04
  "Automatically generated"
  is:
    bound("p85")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-05
  "Automatically generated"
  is:
    bound("p132")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-06
  "Automatically generated"
  is:
    bound("p144")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-07
  "Automatically generated"
  is:
    bound("p83")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-08
  "Automatically generated"
  is:
    bound("p200")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-09
  "Automatically generated"
  is:
    bound("p117")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-10
  "Automatically generated"
  is:
    bound("p97")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-11
  "Automatically generated"
  is:
    bound("p119")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-12
  "Automatically generated"
  is:
    bound("p31")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-13
  "Automatically generated"
  is:
    bound("p263")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-14
  "Automatically generated"
  is:
    bound("p242")
  end.
Property ErlangenMainframeV0-PT-1106-UpperBounds-15
  "Automatically generated"
  is:
    bound("p278")
  end.
