Property RERS17pb115-PT-9-UpperBounds-00
  "Automatically generated"
  is:
    bound("p1069")
  end.
Property RERS17pb115-PT-9-UpperBounds-01
  "Automatically generated"
  is:
    bound("p96")
  end.
Property RERS17pb115-PT-9-UpperBounds-02
  "Automatically generated"
  is:
    bound("p837")
  end.
Property RERS17pb115-PT-9-UpperBounds-03
  "Automatically generated"
  is:
    bound("p519")
  end.
Property RERS17pb115-PT-9-UpperBounds-04
  "Automatically generated"
  is:
    bound("p654")
  end.
Property RERS17pb115-PT-9-UpperBounds-05
  "Automatically generated"
  is:
    bound("p714")
  end.
Property RERS17pb115-PT-9-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1318")
  end.
Property RERS17pb115-PT-9-UpperBounds-07
  "Automatically generated"
  is:
    bound("p43")
  end.
Property RERS17pb115-PT-9-UpperBounds-08
  "Automatically generated"
  is:
    bound("p908")
  end.
Property RERS17pb115-PT-9-UpperBounds-09
  "Automatically generated"
  is:
    bound("p621")
  end.
Property RERS17pb115-PT-9-UpperBounds-10
  "Automatically generated"
  is:
    bound("p17")
  end.
Property RERS17pb115-PT-9-UpperBounds-11
  "Automatically generated"
  is:
    bound("p647")
  end.
Property RERS17pb115-PT-9-UpperBounds-12
  "Automatically generated"
  is:
    bound("p647")
  end.
Property RERS17pb115-PT-9-UpperBounds-13
  "Automatically generated"
  is:
    bound("p164")
  end.
Property RERS17pb115-PT-9-UpperBounds-14
  "Automatically generated"
  is:
    bound("p28")
  end.
Property RERS17pb115-PT-9-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1054")
  end.
