Property ResIsolation-PT-N09P5-UpperBounds-00
  "Automatically generated"
  is:
    bound("p374")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-01
  "Automatically generated"
  is:
    bound("p327")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-02
  "Automatically generated"
  is:
    bound("p22")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-03
  "Automatically generated"
  is:
    bound("p369")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-04
  "Automatically generated"
  is:
    bound("p108")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-05
  "Automatically generated"
  is:
    bound("p307")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-06
  "Automatically generated"
  is:
    bound("p41")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-07
  "Automatically generated"
  is:
    bound("p338")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-08
  "Automatically generated"
  is:
    bound("p179")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-09
  "Automatically generated"
  is:
    bound("p249")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-10
  "Automatically generated"
  is:
    bound("p418")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-11
  "Automatically generated"
  is:
    bound("p79")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-12
  "Automatically generated"
  is:
    bound("p38")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-13
  "Automatically generated"
  is:
    bound("p401")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-14
  "Automatically generated"
  is:
    bound("p260")
  end.
Property ResIsolation-PT-N09P5-UpperBounds-15
  "Automatically generated"
  is:
    bound("p226")
  end.
