Property RERS2020-PT-pb105-UpperBounds-00
  "Automatically generated"
  is:
    bound("ps855")
  end.
Property RERS2020-PT-pb105-UpperBounds-01
  "Automatically generated"
  is:
    bound("ps1428")
  end.
Property RERS2020-PT-pb105-UpperBounds-02
  "Automatically generated"
  is:
    bound("ps400")
  end.
Property RERS2020-PT-pb105-UpperBounds-03
  "Automatically generated"
  is:
    bound("ps1625")
  end.
Property RERS2020-PT-pb105-UpperBounds-04
  "Automatically generated"
  is:
    bound("ps1902")
  end.
Property RERS2020-PT-pb105-UpperBounds-05
  "Automatically generated"
  is:
    bound("ps1024")
  end.
Property RERS2020-PT-pb105-UpperBounds-06
  "Automatically generated"
  is:
    bound("ps671")
  end.
Property RERS2020-PT-pb105-UpperBounds-07
  "Automatically generated"
  is:
    bound("ps1917")
  end.
Property RERS2020-PT-pb105-UpperBounds-08
  "Automatically generated"
  is:
    bound("ps70")
  end.
Property RERS2020-PT-pb105-UpperBounds-09
  "Automatically generated"
  is:
    bound("ps1323")
  end.
Property RERS2020-PT-pb105-UpperBounds-10
  "Automatically generated"
  is:
    bound("ps1930")
  end.
Property RERS2020-PT-pb105-UpperBounds-11
  "Automatically generated"
  is:
    bound("ps1677")
  end.
Property RERS2020-PT-pb105-UpperBounds-12
  "Automatically generated"
  is:
    bound("ps700")
  end.
Property RERS2020-PT-pb105-UpperBounds-13
  "Automatically generated"
  is:
    bound("ps1471")
  end.
Property RERS2020-PT-pb105-UpperBounds-14
  "Automatically generated"
  is:
    bound("ps265")
  end.
Property RERS2020-PT-pb105-UpperBounds-15
  "Automatically generated"
  is:
    bound("ps1778")
  end.
