Property StigmergyCommit-PT-10b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p1794")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p891")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p2689")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p4")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p2422")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p2535")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1703")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p3010")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p180")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p2350")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p481")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-11
"Automatically generated"
is:
bound("p552")
end.
Property StigmergyCommit-PT-10b-UpperBounds-12
"Automatically generated"
is:
bound("p630")
end.
Property StigmergyCommit-PT-10b-UpperBounds-13
  "Automatically generated"
  is:
    bound("p882")
  end.
Property StigmergyCommit-PT-10b-UpperBounds-14
"Automatically generated"
is:
bound("p459")
end.
Property StigmergyCommit-PT-10b-UpperBounds-15
"Automatically generated"
is:
bound("p895")
end.
