Property RERS17pb114-PT-9-UpperBounds-00
  "Automatically generated"
  is:
    bound("p987")
  end.
Property RERS17pb114-PT-9-UpperBounds-01
  "Automatically generated"
  is:
    bound("p630")
  end.
Property RERS17pb114-PT-9-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1355")
  end.
Property RERS17pb114-PT-9-UpperBounds-03
  "Automatically generated"
  is:
    bound("p956")
  end.
Property RERS17pb114-PT-9-UpperBounds-04
  "Automatically generated"
  is:
    bound("p1150")
  end.
Property RERS17pb114-PT-9-UpperBounds-05
  "Automatically generated"
  is:
    bound("p445")
  end.
Property RERS17pb114-PT-9-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1418")
  end.
Property RERS17pb114-PT-9-UpperBounds-07
  "Automatically generated"
  is:
    bound("p610")
  end.
Property RERS17pb114-PT-9-UpperBounds-08
  "Automatically generated"
  is:
    bound("p470")
  end.
Property RERS17pb114-PT-9-UpperBounds-09
  "Automatically generated"
  is:
    bound("p413")
  end.
Property RERS17pb114-PT-9-UpperBounds-10
  "Automatically generated"
  is:
    bound("p658")
  end.
Property RERS17pb114-PT-9-UpperBounds-11
  "Automatically generated"
  is:
    bound("p973")
  end.
Property RERS17pb114-PT-9-UpperBounds-12
  "Automatically generated"
  is:
    bound("p509")
  end.
Property RERS17pb114-PT-9-UpperBounds-13
  "Automatically generated"
  is:
    bound("p753")
  end.
Property RERS17pb114-PT-9-UpperBounds-14
  "Automatically generated"
  is:
    bound("p1032")
  end.
Property RERS17pb114-PT-9-UpperBounds-15
  "Automatically generated"
  is:
    bound("p628")
  end.
