Property RERS17pb113-PT-3-UpperBounds-00
  "Automatically generated"
  is:
    bound("p396")
  end.
Property RERS17pb113-PT-3-UpperBounds-01
  "Automatically generated"
  is:
    bound("p405")
  end.
Property RERS17pb113-PT-3-UpperBounds-02
  "Automatically generated"
  is:
    bound("p519")
  end.
Property RERS17pb113-PT-3-UpperBounds-03
  "Automatically generated"
  is:
    bound("p582")
  end.
Property RERS17pb113-PT-3-UpperBounds-04
  "Automatically generated"
  is:
    bound("p301")
  end.
Property RERS17pb113-PT-3-UpperBounds-05
  "Automatically generated"
  is:
    bound("p29")
  end.
Property RERS17pb113-PT-3-UpperBounds-06
  "Automatically generated"
  is:
    bound("p430")
  end.
Property RERS17pb113-PT-3-UpperBounds-07
  "Automatically generated"
  is:
    bound("p514")
  end.
Property RERS17pb113-PT-3-UpperBounds-08
  "Automatically generated"
  is:
    bound("p597")
  end.
Property RERS17pb113-PT-3-UpperBounds-09
  "Automatically generated"
  is:
    bound("p119")
  end.
Property RERS17pb113-PT-3-UpperBounds-10
  "Automatically generated"
  is:
    bound("p17")
  end.
Property RERS17pb113-PT-3-UpperBounds-11
  "Automatically generated"
  is:
    bound("p414")
  end.
Property RERS17pb113-PT-3-UpperBounds-12
"Automatically generated"
is:
bound("p33")
end.
Property RERS17pb113-PT-3-UpperBounds-13
"Automatically generated"
is:
bound("p60")
end.
Property RERS17pb113-PT-3-UpperBounds-14
"Automatically generated"
is:
bound("p37")
end.
Property RERS17pb113-PT-3-UpperBounds-15
"Automatically generated"
is:
bound("p104")
end.
