Property RERS17pb114-PT-2-UpperBounds-00
  "Automatically generated"
  is:
    bound("p659")
  end.
Property RERS17pb114-PT-2-UpperBounds-01
  "Automatically generated"
  is:
    bound("p854")
  end.
Property RERS17pb114-PT-2-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1025")
  end.
Property RERS17pb114-PT-2-UpperBounds-03
  "Automatically generated"
  is:
    bound("p371")
  end.
Property RERS17pb114-PT-2-UpperBounds-04
  "Automatically generated"
  is:
    bound("p715")
  end.
Property RERS17pb114-PT-2-UpperBounds-05
  "Automatically generated"
  is:
    bound("p126")
  end.
Property RERS17pb114-PT-2-UpperBounds-06
  "Automatically generated"
  is:
    bound("p552")
  end.
Property RERS17pb114-PT-2-UpperBounds-07
  "Automatically generated"
  is:
    bound("p124")
  end.
Property RERS17pb114-PT-2-UpperBounds-08
  "Automatically generated"
  is:
    bound("p816")
  end.
Property RERS17pb114-PT-2-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1306")
  end.
Property RERS17pb114-PT-2-UpperBounds-10
  "Automatically generated"
  is:
    bound("p1126")
  end.
Property RERS17pb114-PT-2-UpperBounds-11
  "Automatically generated"
  is:
    bound("p1298")
  end.
Property RERS17pb114-PT-2-UpperBounds-12
  "Automatically generated"
  is:
    bound("p266")
  end.
Property RERS17pb114-PT-2-UpperBounds-13
  "Automatically generated"
  is:
    bound("p848")
  end.
Property RERS17pb114-PT-2-UpperBounds-14
  "Automatically generated"
  is:
    bound("p1119")
  end.
Property RERS17pb114-PT-2-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1405")
  end.
