Property StigmergyElection-PT-11a-LTLCardinality-00
  "Automatically generated"
  is:
    A F G (F ((#tokens("p33")) <= (#tokens("p76"))) U (((1) <= (#tokens("p16"))) & F ((#tokens("p33")) <= (#tokens("p76")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-01
  "Automatically generated"
  is:
    A F X G ((1) <= (#tokens("p48")))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-02
  "Automatically generated"
  is:
    A (((#tokens("p73")) <= (#tokens("p11"))) & F ((((3) <= (#tokens("p87"))) & ((2) <= (#tokens("p34")))) U X F (((#tokens("p73")) <= (#tokens("p11"))) & ((2) <= (#tokens("p34"))))) & G ((#tokens("p73")) <= (#tokens("p11"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-03
  "Automatically generated"
  is:
    A !X (((#tokens("p3")) <= (#tokens("p74"))) U (((#tokens("p67")) <= (#tokens("p20"))) U ((#tokens("p140")) <= (#tokens("p148")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-04
  "Automatically generated"
  is:
    A G F !X X (F (((3) <= (#tokens("p146"))) | !((#tokens("p69")) <= (#tokens("p80")))) U X ((3) <= (#tokens("p89"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-05
  "Automatically generated"
  is:
    A X ((((#tokens("p37")) <= (#tokens("p50"))) U ((#tokens("p30")) <= (#tokens("p121")))) | F !((#tokens("p23")) <= (#tokens("p36"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-06
  "Automatically generated"
  is:
    A (F !F !((#tokens("p88")) <= (#tokens("p100"))) | F ((#tokens("p88")) <= (#tokens("p99"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-07
  "Automatically generated"
  is:
    A !(X ((1) <= (#tokens("p58"))) | F (!((1) <= (#tokens("p58"))) U ((1) <= (#tokens("p58")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-08
  "Automatically generated"
  is:
    A (F ((2) <= (#tokens("p151"))) | !(X G (((1) <= (#tokens("p65"))) U !G X ((2) <= (#tokens("p151")))) U ((1) <= (#tokens("p145")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-09
  "Automatically generated"
  is:
    A (G ((((2) <= (#tokens("p137"))) U !((0) <= (#tokens("p126")))) U ((1) <= (#tokens("p127")))) & X F X F ((2) <= (#tokens("p137"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-10
  "Automatically generated"
  is:
    A !F ((2) <= (#tokens("p46")))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-11
  "Automatically generated"
  is:
    A (X (X ((2) <= (#tokens("p74"))) | F G ((0) <= (#tokens("p6")))) | X (((0) <= (#tokens("p43"))) & !G X ((0) <= (#tokens("p43")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-12
  "Automatically generated"
  is:
    A (((#tokens("p21")) <= (#tokens("p143"))) | X ((#tokens("p110")) <= (#tokens("p128"))) | !G X G ((#tokens("p21")) <= (#tokens("p143"))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-13
  "Automatically generated"
  is:
    A (F X ((3) <= (#tokens("p100"))) & F (((#tokens("p58")) <= (#tokens("p23"))) | ((1) <= (#tokens("p97")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-14
  "Automatically generated"
  is:
    A F G !(X G ((3) <= (#tokens("p94"))) | (((#tokens("p99")) <= (#tokens("p109"))) & X !((#tokens("p27")) <= (#tokens("p15")))))
  end.
Property StigmergyElection-PT-11a-LTLCardinality-15
  "Automatically generated"
  is:
    A (F ((0) <= (#tokens("p72"))) | G X (!((0) <= (#tokens("p134"))) | G ((0) <= (#tokens("p72")))))
  end.
