Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-00
  "Automatically generated"
  is:
    bound("l18937")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-01
  "Automatically generated"
  is:
    bound("l34375")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-02
  "Automatically generated"
  is:
    bound("l44127")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-03
  "Automatically generated"
  is:
    bound("l47828")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-04
  "Automatically generated"
  is:
    bound("l34502")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-05
  "Automatically generated"
  is:
    bound("p11536")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-06
  "Automatically generated"
  is:
    bound("l14663")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-07
  "Automatically generated"
  is:
    bound("p2849")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-08
"Automatically generated 2023"
is:
bound("p6476")
end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-09
  "Automatically generated"
  is:
    bound("l48772")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-10
"Automatically generated"
is:
bound("l22640")
end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-11
  "Automatically generated"
  is:
    bound("l39188")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-12
"Automatically generated"
is:
bound("p4330")
end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-13
"Automatically generated"
is:
bound("l28958")
end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-14
  "Automatically generated"
  is:
    bound("p14317")
  end.
Property RingSingleMessageInMbox-PT-d2m005-UpperBounds-15
  "Automatically generated"
  is:
    bound("l35700")
  end.
