Property RERS17pb114-PT-5-UpperBounds-00
  "Automatically generated"
  is:
    bound("p294")
  end.
Property RERS17pb114-PT-5-UpperBounds-01
  "Automatically generated"
  is:
    bound("p575")
  end.
Property RERS17pb114-PT-5-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1178")
  end.
Property RERS17pb114-PT-5-UpperBounds-03
  "Automatically generated"
  is:
    bound("p990")
  end.
Property RERS17pb114-PT-5-UpperBounds-04
  "Automatically generated"
  is:
    bound("p425")
  end.
Property RERS17pb114-PT-5-UpperBounds-05
  "Automatically generated"
  is:
    bound("p759")
  end.
Property RERS17pb114-PT-5-UpperBounds-06
  "Automatically generated"
  is:
    bound("p60")
  end.
Property RERS17pb114-PT-5-UpperBounds-07
  "Automatically generated"
  is:
    bound("p76")
  end.
Property RERS17pb114-PT-5-UpperBounds-08
  "Automatically generated"
  is:
    bound("p291")
  end.
Property RERS17pb114-PT-5-UpperBounds-09
  "Automatically generated"
  is:
    bound("p342")
  end.
Property RERS17pb114-PT-5-UpperBounds-10
  "Automatically generated"
  is:
    bound("p1043")
  end.
Property RERS17pb114-PT-5-UpperBounds-11
  "Automatically generated"
  is:
    bound("p88")
  end.
Property RERS17pb114-PT-5-UpperBounds-12
  "Automatically generated"
  is:
    bound("p1252")
  end.
Property RERS17pb114-PT-5-UpperBounds-13
  "Automatically generated"
  is:
    bound("p774")
  end.
Property RERS17pb114-PT-5-UpperBounds-14
  "Automatically generated"
  is:
    bound("p489")
  end.
Property RERS17pb114-PT-5-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1203")
  end.
