Property RERS17pb115-PT-7-UpperBounds-00
  "Automatically generated"
  is:
    bound("p84")
  end.
Property RERS17pb115-PT-7-UpperBounds-01
  "Automatically generated"
  is:
    bound("p370")
  end.
Property RERS17pb115-PT-7-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1102")
  end.
Property RERS17pb115-PT-7-UpperBounds-03
  "Automatically generated"
  is:
    bound("p786")
  end.
Property RERS17pb115-PT-7-UpperBounds-04
  "Automatically generated"
  is:
    bound("p1077")
  end.
Property RERS17pb115-PT-7-UpperBounds-05
  "Automatically generated"
  is:
    bound("p1109")
  end.
Property RERS17pb115-PT-7-UpperBounds-06
  "Automatically generated"
  is:
    bound("p946")
  end.
Property RERS17pb115-PT-7-UpperBounds-07
  "Automatically generated"
  is:
    bound("p949")
  end.
Property RERS17pb115-PT-7-UpperBounds-08
  "Automatically generated"
  is:
    bound("p156")
  end.
Property RERS17pb115-PT-7-UpperBounds-09
  "Automatically generated"
  is:
    bound("p625")
  end.
Property RERS17pb115-PT-7-UpperBounds-10
  "Automatically generated"
  is:
    bound("p347")
  end.
Property RERS17pb115-PT-7-UpperBounds-11
  "Automatically generated"
  is:
    bound("p1054")
  end.
Property RERS17pb115-PT-7-UpperBounds-12
"Automatically generated"
is:
bound("p182")
end.
Property RERS17pb115-PT-7-UpperBounds-13
"Automatically generated"
is:
bound("p686")
end.
Property RERS17pb115-PT-7-UpperBounds-14
"Automatically generated"
is:
bound("p893")
end.
Property RERS17pb115-PT-7-UpperBounds-15
"Automatically generated"
is:
bound("p1166")
end.
