Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-00
  "Automatically generated"
  is:
    bound("l26138")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-01
  "Automatically generated"
  is:
    bound("p14093")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-02
  "Automatically generated"
  is:
    bound("l38207")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-03
  "Automatically generated"
  is:
    bound("l420")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-04
  "Automatically generated"
  is:
    bound("p558")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-05
  "Automatically generated"
  is:
    bound("l36431")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-06
  "Automatically generated"
  is:
    bound("l16695")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-07
  "Automatically generated"
  is:
    bound("l6244")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-08
  "Automatically generated"
  is:
    bound("l45601")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-09
  "Automatically generated"
  is:
    bound("l47775")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-10
  "Automatically generated"
  is:
    bound("l3385")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-11
  "Automatically generated"
  is:
    bound("l29973")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-12
  "Automatically generated"
  is:
    bound("p6550")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-13
  "Automatically generated"
  is:
    bound("l49675")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-14
  "Automatically generated"
  is:
    bound("l16194")
  end.
Property RingSingleMessageInMbox-PT-d2m160-UpperBounds-15
  "Automatically generated"
  is:
    bound("l6060")
  end.
