Property RERS17pb115-PT-8-UpperBounds-00
  "Automatically generated"
  is:
    bound("p1342")
  end.
Property RERS17pb115-PT-8-UpperBounds-01
  "Automatically generated"
  is:
    bound("p636")
  end.
Property RERS17pb115-PT-8-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1168")
  end.
Property RERS17pb115-PT-8-UpperBounds-03
  "Automatically generated"
  is:
    bound("p562")
  end.
Property RERS17pb115-PT-8-UpperBounds-04
  "Automatically generated"
  is:
    bound("p175")
  end.
Property RERS17pb115-PT-8-UpperBounds-05
  "Automatically generated"
  is:
    bound("p1021")
  end.
Property RERS17pb115-PT-8-UpperBounds-06
  "Automatically generated"
  is:
    bound("p246")
  end.
Property RERS17pb115-PT-8-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1289")
  end.
Property RERS17pb115-PT-8-UpperBounds-08
  "Automatically generated"
  is:
    bound("p870")
  end.
Property RERS17pb115-PT-8-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1201")
  end.
Property RERS17pb115-PT-8-UpperBounds-10
  "Automatically generated"
  is:
    bound("p304")
  end.
Property RERS17pb115-PT-8-UpperBounds-11
  "Automatically generated"
  is:
    bound("p407")
  end.
Property RERS17pb115-PT-8-UpperBounds-12
"Automatically generated"
is:
bound("p372")
end.
Property RERS17pb115-PT-8-UpperBounds-13
"Automatically generated"
is:
bound("p97")
end.
Property RERS17pb115-PT-8-UpperBounds-14
"Automatically generated"
is:
bound("p63")
end.
Property RERS17pb115-PT-8-UpperBounds-15
"Automatically generated"
is:
bound("p1002")
end.
