Property RERS17pb115-PT-8-UpperBounds-00
  "Automatically generated"
  is:
    bound("p5")
  end.
Property RERS17pb115-PT-8-UpperBounds-01
  "Automatically generated"
  is:
    bound("p690")
  end.
Property RERS17pb115-PT-8-UpperBounds-02
  "Automatically generated"
  is:
    bound("p62")
  end.
Property RERS17pb115-PT-8-UpperBounds-03
  "Automatically generated"
  is:
    bound("p989")
  end.
Property RERS17pb115-PT-8-UpperBounds-04
  "Automatically generated"
  is:
    bound("p1368")
  end.
Property RERS17pb115-PT-8-UpperBounds-05
  "Automatically generated"
  is:
    bound("p16")
  end.
Property RERS17pb115-PT-8-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1114")
  end.
Property RERS17pb115-PT-8-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1293")
  end.
Property RERS17pb115-PT-8-UpperBounds-08
  "Automatically generated"
  is:
    bound("p508")
  end.
Property RERS17pb115-PT-8-UpperBounds-09
  "Automatically generated"
  is:
    bound("p966")
  end.
Property RERS17pb115-PT-8-UpperBounds-10
  "Automatically generated"
  is:
    bound("p619")
  end.
Property RERS17pb115-PT-8-UpperBounds-11
  "Automatically generated"
  is:
    bound("p749")
  end.
Property RERS17pb115-PT-8-UpperBounds-12
  "Automatically generated"
  is:
    bound("p141")
  end.
Property RERS17pb115-PT-8-UpperBounds-13
  "Automatically generated"
  is:
    bound("p448")
  end.
Property RERS17pb115-PT-8-UpperBounds-14
  "Automatically generated"
  is:
    bound("p660")
  end.
Property RERS17pb115-PT-8-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1143")
  end.
