Property RERS2020-PT-pb108-UpperBounds-00
  "Automatically generated"
  is:
    bound("ps9")
  end.
Property RERS2020-PT-pb108-UpperBounds-01
  "Automatically generated"
  is:
    bound("ps564")
  end.
Property RERS2020-PT-pb108-UpperBounds-02
  "Automatically generated"
  is:
    bound("ps560")
  end.
Property RERS2020-PT-pb108-UpperBounds-03
  "Automatically generated"
  is:
    bound("ps1569")
  end.
Property RERS2020-PT-pb108-UpperBounds-04
  "Automatically generated"
  is:
    bound("ps39")
  end.
Property RERS2020-PT-pb108-UpperBounds-05
  "Automatically generated"
  is:
    bound("ps1357")
  end.
Property RERS2020-PT-pb108-UpperBounds-06
  "Automatically generated"
  is:
    bound("ps802")
  end.
Property RERS2020-PT-pb108-UpperBounds-07
  "Automatically generated"
  is:
    bound("ps1626")
  end.
Property RERS2020-PT-pb108-UpperBounds-08
  "Automatically generated"
  is:
    bound("ps722")
  end.
Property RERS2020-PT-pb108-UpperBounds-09
  "Automatically generated"
  is:
    bound("ps2272")
  end.
Property RERS2020-PT-pb108-UpperBounds-10
  "Automatically generated"
  is:
    bound("ps1866")
  end.
Property RERS2020-PT-pb108-UpperBounds-11
  "Automatically generated"
  is:
    bound("ps787")
  end.
Property RERS2020-PT-pb108-UpperBounds-12
  "Automatically generated"
  is:
    bound("ps60")
  end.
Property RERS2020-PT-pb108-UpperBounds-13
  "Automatically generated"
  is:
    bound("ps2002")
  end.
Property RERS2020-PT-pb108-UpperBounds-14
  "Automatically generated"
  is:
    bound("ps538")
  end.
Property RERS2020-PT-pb108-UpperBounds-15
  "Automatically generated"
  is:
    bound("ps62")
  end.
