Property StigmergyCommit-PT-10b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p2429")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p1780")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p1865")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p711")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p11")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p2277")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p36")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p382")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p1548")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p2199")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p2668")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-11
  "Automatically generated"
  is:
    bound("p3091")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-12
  "Automatically generated"
  is:
    bound("p2642")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-13
  "Automatically generated"
  is:
    bound("p1219")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-14
  "Automatically generated"
  is:
    bound("p2049")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1176")
  end.
