Property RERS17pb115-PT-1-UpperBounds-00
  "Automatically generated"
  is:
    bound("p255")
  end.
Property RERS17pb115-PT-1-UpperBounds-01
  "Automatically generated"
  is:
    bound("p47")
  end.
Property RERS17pb115-PT-1-UpperBounds-02
  "Automatically generated"
  is:
    bound("p810")
  end.
Property RERS17pb115-PT-1-UpperBounds-03
  "Automatically generated"
  is:
    bound("p254")
  end.
Property RERS17pb115-PT-1-UpperBounds-04
  "Automatically generated"
  is:
    bound("p1356")
  end.
Property RERS17pb115-PT-1-UpperBounds-05
  "Automatically generated"
  is:
    bound("p1212")
  end.
Property RERS17pb115-PT-1-UpperBounds-06
  "Automatically generated"
  is:
    bound("p575")
  end.
Property RERS17pb115-PT-1-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1211")
  end.
Property RERS17pb115-PT-1-UpperBounds-08
  "Automatically generated"
  is:
    bound("p746")
  end.
Property RERS17pb115-PT-1-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1329")
  end.
Property RERS17pb115-PT-1-UpperBounds-10
  "Automatically generated"
  is:
    bound("p700")
  end.
Property RERS17pb115-PT-1-UpperBounds-11
  "Automatically generated"
  is:
    bound("p1243")
  end.
Property RERS17pb115-PT-1-UpperBounds-12
  "Automatically generated"
  is:
    bound("p1218")
  end.
Property RERS17pb115-PT-1-UpperBounds-13
  "Automatically generated"
  is:
    bound("p292")
  end.
Property RERS17pb115-PT-1-UpperBounds-14
  "Automatically generated"
  is:
    bound("p900")
  end.
Property RERS17pb115-PT-1-UpperBounds-15
  "Automatically generated"
  is:
    bound("p543")
  end.
