Property StigmergyElection-PT-11a-UpperBounds-00
  "Automatically generated"
  is:
    bound("p34")
  end.
Property StigmergyElection-PT-11a-UpperBounds-01
  "Automatically generated"
  is:
    bound("p59")
  end.
Property StigmergyElection-PT-11a-UpperBounds-02
  "Automatically generated"
  is:
    bound("p148")
  end.
Property StigmergyElection-PT-11a-UpperBounds-03
  "Automatically generated"
  is:
    bound("p56")
  end.
Property StigmergyElection-PT-11a-UpperBounds-04
  "Automatically generated"
  is:
    bound("p25")
  end.
Property StigmergyElection-PT-11a-UpperBounds-05
  "Automatically generated"
  is:
    bound("p31")
  end.
Property StigmergyElection-PT-11a-UpperBounds-06
  "Automatically generated"
  is:
    bound("p110")
  end.
Property StigmergyElection-PT-11a-UpperBounds-07
  "Automatically generated"
  is:
    bound("p106")
  end.
Property StigmergyElection-PT-11a-UpperBounds-08
  "Automatically generated"
  is:
    bound("p80")
  end.
Property StigmergyElection-PT-11a-UpperBounds-09
  "Automatically generated"
  is:
    bound("p54")
  end.
Property StigmergyElection-PT-11a-UpperBounds-10
  "Automatically generated"
  is:
    bound("p77")
  end.
Property StigmergyElection-PT-11a-UpperBounds-11
  "Automatically generated"
  is:
    bound("p149")
  end.
Property StigmergyElection-PT-11a-UpperBounds-12
  "Automatically generated"
  is:
    bound("p62")
  end.
Property StigmergyElection-PT-11a-UpperBounds-13
  "Automatically generated"
  is:
    bound("p114")
  end.
Property StigmergyElection-PT-11a-UpperBounds-14
  "Automatically generated"
  is:
    bound("p24")
  end.
Property StigmergyElection-PT-11a-UpperBounds-15
  "Automatically generated"
  is:
    bound("p64")
  end.
