Property ResIsolation-PT-N09P2-UpperBounds-00
  "Automatically generated"
  is:
    bound("p97")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-01
  "Automatically generated"
  is:
    bound("p151")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-02
  "Automatically generated"
  is:
    bound("p209")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-03
  "Automatically generated"
  is:
    bound("p305")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-04
  "Automatically generated"
  is:
    bound("p215")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-05
  "Automatically generated"
  is:
    bound("p172")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-06
  "Automatically generated"
  is:
    bound("p302")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-07
  "Automatically generated"
  is:
    bound("p12")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-08
  "Automatically generated"
  is:
    bound("p11")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-09
  "Automatically generated"
  is:
    bound("p194")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-10
  "Automatically generated"
  is:
    bound("p230")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-11
  "Automatically generated"
  is:
    bound("p311")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-12
  "Automatically generated"
  is:
    bound("p268")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-13
  "Automatically generated"
  is:
    bound("p69")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-14
  "Automatically generated"
  is:
    bound("p210")
  end.
Property ResIsolation-PT-N09P2-UpperBounds-15
  "Automatically generated"
  is:
    bound("p89")
  end.
