Property StigmergyElection-PT-09a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p102")
  end.
Property StigmergyElection-PT-09a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p120")
  end.
Property StigmergyElection-PT-09a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p20")
  end.
Property StigmergyElection-PT-09a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p7")
  end.
Property StigmergyElection-PT-09a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p68")
  end.
Property StigmergyElection-PT-09a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p31")
  end.
Property StigmergyElection-PT-09a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p110")
  end.
Property StigmergyElection-PT-09a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p84")
  end.
Property StigmergyElection-PT-09a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p87")
  end.
Property StigmergyElection-PT-09a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p94")
  end.
Property StigmergyElection-PT-09a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p66")
  end.
Property StigmergyElection-PT-09a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p57")
  end.
Property StigmergyElection-PT-09a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p32")
  end.
Property StigmergyElection-PT-09a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p15")
  end.
Property StigmergyElection-PT-09a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p115")
  end.
Property StigmergyElection-PT-09a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p63")
  end.
