Property RERS2020-PT-pb104-UpperBounds-00
  "Automatically generated"
  is:
    bound("ps367")
  end.
Property RERS2020-PT-pb104-UpperBounds-01
  "Automatically generated"
  is:
    bound("ps612")
  end.
Property RERS2020-PT-pb104-UpperBounds-02
  "Automatically generated"
  is:
    bound("ps172")
  end.
Property RERS2020-PT-pb104-UpperBounds-03
  "Automatically generated"
  is:
    bound("ps362")
  end.
Property RERS2020-PT-pb104-UpperBounds-04
  "Automatically generated"
  is:
    bound("ps816")
  end.
Property RERS2020-PT-pb104-UpperBounds-05
  "Automatically generated"
  is:
    bound("ps1028")
  end.
Property RERS2020-PT-pb104-UpperBounds-06
  "Automatically generated"
  is:
    bound("ps1345")
  end.
Property RERS2020-PT-pb104-UpperBounds-07
  "Automatically generated"
  is:
    bound("ps1254")
  end.
Property RERS2020-PT-pb104-UpperBounds-08
  "Automatically generated"
  is:
    bound("ps1350")
  end.
Property RERS2020-PT-pb104-UpperBounds-09
  "Automatically generated"
  is:
    bound("ps319")
  end.
Property RERS2020-PT-pb104-UpperBounds-10
  "Automatically generated"
  is:
    bound("ps780")
  end.
Property RERS2020-PT-pb104-UpperBounds-11
  "Automatically generated"
  is:
    bound("ps1065")
  end.
Property RERS2020-PT-pb104-UpperBounds-12
  "Automatically generated"
  is:
    bound("ps180")
  end.
Property RERS2020-PT-pb104-UpperBounds-13
  "Automatically generated"
  is:
    bound("ps1109")
  end.
Property RERS2020-PT-pb104-UpperBounds-14
  "Automatically generated"
  is:
    bound("ps234")
  end.
Property RERS2020-PT-pb104-UpperBounds-15
  "Automatically generated"
  is:
    bound("ps1275")
  end.
