Property RERS17pb114-PT-6-UpperBounds-00
  "Automatically generated"
  is:
    bound("p235")
  end.
Property RERS17pb114-PT-6-UpperBounds-01
  "Automatically generated"
  is:
    bound("p980")
  end.
Property RERS17pb114-PT-6-UpperBounds-02
  "Automatically generated"
  is:
    bound("p602")
  end.
Property RERS17pb114-PT-6-UpperBounds-03
  "Automatically generated"
  is:
    bound("p896")
  end.
Property RERS17pb114-PT-6-UpperBounds-04
  "Automatically generated"
  is:
    bound("p29")
  end.
Property RERS17pb114-PT-6-UpperBounds-05
  "Automatically generated"
  is:
    bound("p65")
  end.
Property RERS17pb114-PT-6-UpperBounds-06
  "Automatically generated"
  is:
    bound("p336")
  end.
Property RERS17pb114-PT-6-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1300")
  end.
Property RERS17pb114-PT-6-UpperBounds-08
  "Automatically generated"
  is:
    bound("p393")
  end.
Property RERS17pb114-PT-6-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1211")
  end.
Property RERS17pb114-PT-6-UpperBounds-10
  "Automatically generated"
  is:
    bound("p831")
  end.
Property RERS17pb114-PT-6-UpperBounds-11
  "Automatically generated"
  is:
    bound("p984")
  end.
Property RERS17pb114-PT-6-UpperBounds-12
  "Automatically generated"
  is:
    bound("p711")
  end.
Property RERS17pb114-PT-6-UpperBounds-13
  "Automatically generated"
  is:
    bound("p753")
  end.
Property RERS17pb114-PT-6-UpperBounds-14
  "Automatically generated"
  is:
    bound("p1053")
  end.
Property RERS17pb114-PT-6-UpperBounds-15
  "Automatically generated"
  is:
    bound("p190")
  end.
