Property ErlangenMainframeV0-PT-1104-UpperBounds-00
  "Automatically generated"
  is:
    bound("p138")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-01
  "Automatically generated"
  is:
    bound("p128")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-02
  "Automatically generated"
  is:
    bound("p66")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-03
  "Automatically generated"
  is:
    bound("p219")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-04
  "Automatically generated"
  is:
    bound("p150")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-05
  "Automatically generated"
  is:
    bound("p205")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-06
  "Automatically generated"
  is:
    bound("p226")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-07
  "Automatically generated"
  is:
    bound("p171")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-08
  "Automatically generated"
  is:
    bound("p99")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-09
  "Automatically generated"
  is:
    bound("p43")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-10
  "Automatically generated"
  is:
    bound("p108")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-11
  "Automatically generated"
  is:
    bound("p234")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-12
  "Automatically generated"
  is:
    bound("p208")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-13
  "Automatically generated"
  is:
    bound("p199")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-14
  "Automatically generated"
  is:
    bound("p23")
  end.
Property ErlangenMainframeV0-PT-1104-UpperBounds-15
  "Automatically generated"
  is:
    bound("p238")
  end.
