Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-00
  "Automatically generated"
  is:
    bound("l50323")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-01
  "Automatically generated"
  is:
    bound("l47933")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-02
  "Automatically generated"
  is:
    bound("l9544")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-03
  "Automatically generated"
  is:
    bound("l38350")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-04
  "Automatically generated"
  is:
    bound("l36243")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-05
  "Automatically generated"
  is:
    bound("p11892")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-06
  "Automatically generated"
  is:
    bound("p12981")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-07
  "Automatically generated"
  is:
    bound("l51466")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-08
  "Automatically generated"
  is:
    bound("l50973")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-09
  "Automatically generated"
  is:
    bound("l6006")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-10
  "Automatically generated"
  is:
    bound("l9480")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-11
  "Automatically generated"
  is:
    bound("l19297")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-12
  "Automatically generated"
  is:
    bound("p1009")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-13
  "Automatically generated"
  is:
    bound("l30473")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-14
  "Automatically generated"
  is:
    bound("l49168")
  end.
Property RingSingleMessageInMbox-PT-d2m010-UpperBounds-15
  "Automatically generated"
  is:
    bound("p3222")
  end.
