Property RERS17pb113-PT-8-UpperBounds-00
  "Automatically generated"
  is:
    bound("p78")
  end.
Property RERS17pb113-PT-8-UpperBounds-01
  "Automatically generated"
  is:
    bound("p396")
  end.
Property RERS17pb113-PT-8-UpperBounds-02
  "Automatically generated"
  is:
    bound("p61")
  end.
Property RERS17pb113-PT-8-UpperBounds-03
  "Automatically generated"
  is:
    bound("p479")
  end.
Property RERS17pb113-PT-8-UpperBounds-04
  "Automatically generated"
  is:
    bound("p144")
  end.
Property RERS17pb113-PT-8-UpperBounds-05
  "Automatically generated"
  is:
    bound("p445")
  end.
Property RERS17pb113-PT-8-UpperBounds-06
  "Automatically generated"
  is:
    bound("p363")
  end.
Property RERS17pb113-PT-8-UpperBounds-07
  "Automatically generated"
  is:
    bound("p544")
  end.
Property RERS17pb113-PT-8-UpperBounds-08
  "Automatically generated"
  is:
    bound("p402")
  end.
Property RERS17pb113-PT-8-UpperBounds-09
  "Automatically generated"
  is:
    bound("p297")
  end.
Property RERS17pb113-PT-8-UpperBounds-10
  "Automatically generated"
  is:
    bound("p280")
  end.
Property RERS17pb113-PT-8-UpperBounds-11
  "Automatically generated"
  is:
    bound("p87")
  end.
Property RERS17pb113-PT-8-UpperBounds-12
  "Automatically generated"
  is:
    bound("p87")
  end.
Property RERS17pb113-PT-8-UpperBounds-13
  "Automatically generated"
  is:
    bound("p220")
  end.
Property RERS17pb113-PT-8-UpperBounds-14
  "Automatically generated"
  is:
    bound("p626")
  end.
Property RERS17pb113-PT-8-UpperBounds-15
  "Automatically generated"
  is:
    bound("p473")
  end.
