Property RERS17pb115-PT-8-UpperBounds-00
  "Automatically generated"
  is:
    bound("p462")
  end.
Property RERS17pb115-PT-8-UpperBounds-01
  "Automatically generated"
  is:
    bound("p846")
  end.
Property RERS17pb115-PT-8-UpperBounds-02
  "Automatically generated"
  is:
    bound("p700")
  end.
Property RERS17pb115-PT-8-UpperBounds-03
  "Automatically generated"
  is:
    bound("p134")
  end.
Property RERS17pb115-PT-8-UpperBounds-04
  "Automatically generated"
  is:
    bound("p211")
  end.
Property RERS17pb115-PT-8-UpperBounds-05
  "Automatically generated"
  is:
    bound("p1179")
  end.
Property RERS17pb115-PT-8-UpperBounds-06
  "Automatically generated"
  is:
    bound("p602")
  end.
Property RERS17pb115-PT-8-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1118")
  end.
Property RERS17pb115-PT-8-UpperBounds-08
  "Automatically generated"
  is:
    bound("p554")
  end.
Property RERS17pb115-PT-8-UpperBounds-09
  "Automatically generated"
  is:
    bound("p995")
  end.
Property RERS17pb115-PT-8-UpperBounds-10
  "Automatically generated"
  is:
    bound("p238")
  end.
Property RERS17pb115-PT-8-UpperBounds-11
  "Automatically generated"
  is:
    bound("p509")
  end.
Property RERS17pb115-PT-8-UpperBounds-12
  "Automatically generated"
  is:
    bound("p33")
  end.
Property RERS17pb115-PT-8-UpperBounds-13
  "Automatically generated"
  is:
    bound("p231")
  end.
Property RERS17pb115-PT-8-UpperBounds-14
  "Automatically generated"
  is:
    bound("p1380")
  end.
Property RERS17pb115-PT-8-UpperBounds-15
  "Automatically generated"
  is:
    bound("p441")
  end.
