Property StigmergyElection-PT-11b-UpperBounds-00
  "Automatically generated"
  is:
    bound("p309")
  end.
Property StigmergyElection-PT-11b-UpperBounds-01
  "Automatically generated"
  is:
    bound("p727")
  end.
Property StigmergyElection-PT-11b-UpperBounds-02
  "Automatically generated"
  is:
    bound("p700")
  end.
Property StigmergyElection-PT-11b-UpperBounds-03
  "Automatically generated"
  is:
    bound("p1412")
  end.
Property StigmergyElection-PT-11b-UpperBounds-04
  "Automatically generated"
  is:
    bound("p206")
  end.
Property StigmergyElection-PT-11b-UpperBounds-05
  "Automatically generated"
  is:
    bound("p648")
  end.
Property StigmergyElection-PT-11b-UpperBounds-06
  "Automatically generated"
  is:
    bound("p1267")
  end.
Property StigmergyElection-PT-11b-UpperBounds-07
  "Automatically generated"
  is:
    bound("p101")
  end.
Property StigmergyElection-PT-11b-UpperBounds-08
  "Automatically generated"
  is:
    bound("p555")
  end.
Property StigmergyElection-PT-11b-UpperBounds-09
  "Automatically generated"
  is:
    bound("p814")
  end.
Property StigmergyElection-PT-11b-UpperBounds-10
  "Automatically generated"
  is:
    bound("p1245")
  end.
Property StigmergyElection-PT-11b-UpperBounds-11
  "Automatically generated"
  is:
    bound("p651")
  end.
Property StigmergyElection-PT-11b-UpperBounds-12
"Automatically generated"
is:
bound("p465")
end.
Property StigmergyElection-PT-11b-UpperBounds-13
"Automatically generated"
is:
bound("p526")
end.
Property StigmergyElection-PT-11b-UpperBounds-14
"Automatically generated"
is:
bound("p424")
end.
Property StigmergyElection-PT-11b-UpperBounds-15
"Automatically generated"
is:
bound("p249")
end.
