Property RERS17pb113-PT-5-UpperBounds-00
  "Automatically generated"
  is:
    bound("p523")
  end.
Property RERS17pb113-PT-5-UpperBounds-01
  "Automatically generated"
  is:
    bound("p515")
  end.
Property RERS17pb113-PT-5-UpperBounds-02
  "Automatically generated"
  is:
    bound("p531")
  end.
Property RERS17pb113-PT-5-UpperBounds-03
  "Automatically generated"
  is:
    bound("p155")
  end.
Property RERS17pb113-PT-5-UpperBounds-04
  "Automatically generated"
  is:
    bound("p167")
  end.
Property RERS17pb113-PT-5-UpperBounds-05
  "Automatically generated"
  is:
    bound("p519")
  end.
Property RERS17pb113-PT-5-UpperBounds-06
  "Automatically generated"
  is:
    bound("p609")
  end.
Property RERS17pb113-PT-5-UpperBounds-07
  "Automatically generated"
  is:
    bound("p5")
  end.
Property RERS17pb113-PT-5-UpperBounds-08
  "Automatically generated"
  is:
    bound("p629")
  end.
Property RERS17pb113-PT-5-UpperBounds-09
  "Automatically generated"
  is:
    bound("p147")
  end.
Property RERS17pb113-PT-5-UpperBounds-10
  "Automatically generated"
  is:
    bound("p578")
  end.
Property RERS17pb113-PT-5-UpperBounds-11
  "Automatically generated"
  is:
    bound("p462")
  end.
Property RERS17pb113-PT-5-UpperBounds-12
  "Automatically generated"
  is:
    bound("p342")
  end.
Property RERS17pb113-PT-5-UpperBounds-13
  "Automatically generated"
  is:
    bound("p300")
  end.
Property RERS17pb113-PT-5-UpperBounds-14
  "Automatically generated"
  is:
    bound("p566")
  end.
Property RERS17pb113-PT-5-UpperBounds-15
  "Automatically generated"
  is:
    bound("p588")
  end.
