Property RERS2020-PT-pb107-UpperBounds-00
  "Automatically generated"
  is:
    bound("ps637")
  end.
Property RERS2020-PT-pb107-UpperBounds-01
  "Automatically generated"
  is:
    bound("ps1287")
  end.
Property RERS2020-PT-pb107-UpperBounds-02
  "Automatically generated"
  is:
    bound("ps63")
  end.
Property RERS2020-PT-pb107-UpperBounds-03
  "Automatically generated"
  is:
    bound("ps1005")
  end.
Property RERS2020-PT-pb107-UpperBounds-04
  "Automatically generated"
  is:
    bound("ps565")
  end.
Property RERS2020-PT-pb107-UpperBounds-05
  "Automatically generated"
  is:
    bound("ps69")
  end.
Property RERS2020-PT-pb107-UpperBounds-06
  "Automatically generated"
  is:
    bound("ps311")
  end.
Property RERS2020-PT-pb107-UpperBounds-07
  "Automatically generated"
  is:
    bound("ps1182")
  end.
Property RERS2020-PT-pb107-UpperBounds-08
  "Automatically generated"
  is:
    bound("ps698")
  end.
Property RERS2020-PT-pb107-UpperBounds-09
  "Automatically generated"
  is:
    bound("ps554")
  end.
Property RERS2020-PT-pb107-UpperBounds-10
  "Automatically generated"
  is:
    bound("ps735")
  end.
Property RERS2020-PT-pb107-UpperBounds-11
  "Automatically generated"
  is:
    bound("ps809")
  end.
Property RERS2020-PT-pb107-UpperBounds-12
  "Automatically generated"
  is:
    bound("ps1057")
  end.
Property RERS2020-PT-pb107-UpperBounds-13
  "Automatically generated"
  is:
    bound("ps1126")
  end.
Property RERS2020-PT-pb107-UpperBounds-14
  "Automatically generated"
  is:
    bound("ps230")
  end.
Property RERS2020-PT-pb107-UpperBounds-15
  "Automatically generated"
  is:
    bound("ps1305")
  end.
