Property ResIsolation-PT-N10P4-UpperBounds-00
  "Automatically generated"
  is:
    bound("p406")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-01
  "Automatically generated"
  is:
    bound("p329")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-02
  "Automatically generated"
  is:
    bound("p64")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-03
  "Automatically generated"
  is:
    bound("p107")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-04
  "Automatically generated"
  is:
    bound("p37")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-05
  "Automatically generated"
  is:
    bound("p105")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-06
  "Automatically generated"
  is:
    bound("p349")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-07
  "Automatically generated"
  is:
    bound("p68")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-08
  "Automatically generated"
  is:
    bound("p384")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-09
  "Automatically generated"
  is:
    bound("p181")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-10
  "Automatically generated"
  is:
    bound("p29")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-11
  "Automatically generated"
  is:
    bound("p186")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-12
  "Automatically generated"
  is:
    bound("p363")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-13
  "Automatically generated"
  is:
    bound("p161")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-14
  "Automatically generated"
  is:
    bound("p422")
  end.
Property ResIsolation-PT-N10P4-UpperBounds-15
  "Automatically generated"
  is:
    bound("p134")
  end.
