Property RERS17pb113-PT-4-UpperBounds-00
  "Automatically generated"
  is:
    bound("p165")
  end.
Property RERS17pb113-PT-4-UpperBounds-01
  "Automatically generated"
  is:
    bound("p532")
  end.
Property RERS17pb113-PT-4-UpperBounds-02
  "Automatically generated"
  is:
    bound("p16")
  end.
Property RERS17pb113-PT-4-UpperBounds-03
  "Automatically generated"
  is:
    bound("p12")
  end.
Property RERS17pb113-PT-4-UpperBounds-04
  "Automatically generated"
  is:
    bound("p340")
  end.
Property RERS17pb113-PT-4-UpperBounds-05
  "Automatically generated"
  is:
    bound("p66")
  end.
Property RERS17pb113-PT-4-UpperBounds-06
  "Automatically generated"
  is:
    bound("p101")
  end.
Property RERS17pb113-PT-4-UpperBounds-07
  "Automatically generated"
  is:
    bound("p488")
  end.
Property RERS17pb113-PT-4-UpperBounds-08
  "Automatically generated"
  is:
    bound("p17")
  end.
Property RERS17pb113-PT-4-UpperBounds-09
  "Automatically generated"
  is:
    bound("p335")
  end.
Property RERS17pb113-PT-4-UpperBounds-10
  "Automatically generated"
  is:
    bound("p394")
  end.
Property RERS17pb113-PT-4-UpperBounds-11
  "Automatically generated"
  is:
    bound("p412")
  end.
Property RERS17pb113-PT-4-UpperBounds-12
  "Automatically generated"
  is:
    bound("p3")
  end.
Property RERS17pb113-PT-4-UpperBounds-13
  "Automatically generated"
  is:
    bound("p333")
  end.
Property RERS17pb113-PT-4-UpperBounds-14
  "Automatically generated"
  is:
    bound("p213")
  end.
Property RERS17pb113-PT-4-UpperBounds-15
  "Automatically generated"
  is:
    bound("p376")
  end.
