Property StigmergyCommit-PT-08a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p128")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p105")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p14")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p68")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p51")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p247")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p194")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p27")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p241")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p117")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p76")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p269")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p267")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p115")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p282")
  end.
Property StigmergyCommit-PT-08a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p209")
  end.
