Property StigmergyCommit-PT-08a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p25")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p260")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p222")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p56")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p110")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p124")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p171")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p132")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p209")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p52")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p41")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p74")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p65")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p77")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p247")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p134")
  end.
