Property RERS17pb115-PT-9-UpperBounds-00
  "Automatically generated"
  is:
    bound("p350")
  end.
Property RERS17pb115-PT-9-UpperBounds-01
  "Automatically generated"
  is:
    bound("p801")
  end.
Property RERS17pb115-PT-9-UpperBounds-02
  "Automatically generated"
  is:
    bound("p338")
  end.
Property RERS17pb115-PT-9-UpperBounds-03
  "Automatically generated"
  is:
    bound("p833")
  end.
Property RERS17pb115-PT-9-UpperBounds-04
  "Automatically generated"
  is:
    bound("p86")
  end.
Property RERS17pb115-PT-9-UpperBounds-05
  "Automatically generated"
  is:
    bound("p287")
  end.
Property RERS17pb115-PT-9-UpperBounds-06
  "Automatically generated"
  is:
    bound("p107")
  end.
Property RERS17pb115-PT-9-UpperBounds-07
  "Automatically generated"
  is:
    bound("p899")
  end.
Property RERS17pb115-PT-9-UpperBounds-08
  "Automatically generated"
  is:
    bound("p1098")
  end.
Property RERS17pb115-PT-9-UpperBounds-09
  "Automatically generated"
  is:
    bound("p174")
  end.
Property RERS17pb115-PT-9-UpperBounds-10
  "Automatically generated"
  is:
    bound("p635")
  end.
Property RERS17pb115-PT-9-UpperBounds-11
  "Automatically generated"
  is:
    bound("p1208")
  end.
Property RERS17pb115-PT-9-UpperBounds-12
  "Automatically generated"
  is:
    bound("p1324")
  end.
Property RERS17pb115-PT-9-UpperBounds-13
  "Automatically generated"
  is:
    bound("p953")
  end.
Property RERS17pb115-PT-9-UpperBounds-14
  "Automatically generated"
  is:
    bound("p788")
  end.
Property RERS17pb115-PT-9-UpperBounds-15
  "Automatically generated"
  is:
    bound("p566")
  end.
