Property RERS17pb113-PT-9-UpperBounds-00
  "Automatically generated"
  is:
    bound("p520")
  end.
Property RERS17pb113-PT-9-UpperBounds-01
  "Automatically generated"
  is:
    bound("p352")
  end.
Property RERS17pb113-PT-9-UpperBounds-02
  "Automatically generated"
  is:
    bound("p179")
  end.
Property RERS17pb113-PT-9-UpperBounds-03
  "Automatically generated"
  is:
    bound("p396")
  end.
Property RERS17pb113-PT-9-UpperBounds-04
  "Automatically generated"
  is:
    bound("p86")
  end.
Property RERS17pb113-PT-9-UpperBounds-05
  "Automatically generated"
  is:
    bound("p98")
  end.
Property RERS17pb113-PT-9-UpperBounds-06
  "Automatically generated"
  is:
    bound("p235")
  end.
Property RERS17pb113-PT-9-UpperBounds-07
  "Automatically generated"
  is:
    bound("p305")
  end.
Property RERS17pb113-PT-9-UpperBounds-08
  "Automatically generated"
  is:
    bound("p513")
  end.
Property RERS17pb113-PT-9-UpperBounds-09
  "Automatically generated"
  is:
    bound("p624")
  end.
Property RERS17pb113-PT-9-UpperBounds-10
  "Automatically generated"
  is:
    bound("p376")
  end.
Property RERS17pb113-PT-9-UpperBounds-11
  "Automatically generated"
  is:
    bound("p226")
  end.
Property RERS17pb113-PT-9-UpperBounds-12
"Automatically generated"
is:
bound("p242")
end.
Property RERS17pb113-PT-9-UpperBounds-13
"Automatically generated"
is:
bound("p476")
end.
Property RERS17pb113-PT-9-UpperBounds-14
"Automatically generated"
is:
bound("p126")
end.
Property RERS17pb113-PT-9-UpperBounds-15
"Automatically generated"
is:
bound("p19")
end.
