Property StigmergyCommit-PT-07b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p1728")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p221")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p2173")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p927")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p677")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p1892")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p2145")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p1350")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p376")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p1972")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p1227")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-11
  "Automatically generated"
  is:
    bound("p2336")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-12
  "Automatically generated"
  is:
    bound("p11")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-13
  "Automatically generated"
  is:
    bound("p579")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-14
  "Automatically generated"
  is:
    bound("p132")
  end.
Property StigmergyCommit-PT-07b-UpperBounds-15
  "Automatically generated"
  is:
    bound("p1495")
  end.
