Property StigmergyElection-PT-09a-LTLCardinality-00
  "Automatically generated"
  is:
    A (X ((#tokens("p67")) <= (#tokens("p120"))) U X X !(((#tokens("p67")) <= (#tokens("p120"))) | F ((#tokens("p67")) <= (#tokens("p120"))) | X ((3) <= (#tokens("p41")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-01
  "Automatically generated"
  is:
    A !((((1) <= (#tokens("p26"))) & ((0) <= (#tokens("p26")))) | (((0) <= (#tokens("p26"))) U X ((1) <= (#tokens("p26")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-02
  "Automatically generated"
  is:
    A G (X !(((1) <= (#tokens("p115"))) | F ((#tokens("p26")) <= (#tokens("p107"))) | X ((#tokens("p26")) <= (#tokens("p107")))) U G ((1) <= (#tokens("p115"))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-03
  "Automatically generated"
  is:
    A (((0) <= (#tokens("p46"))) | ((F X X X F ((3) <= (#tokens("p53"))) U X ((#tokens("p73")) <= (#tokens("p42")))) U ((2) <= (#tokens("p72")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-04
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p101"))) | F ((1) <= (#tokens("p122")))) & (!((#tokens("p7")) <= (#tokens("p115"))) | (((#tokens("p32")) <= (#tokens("p5"))) U ((1) <= (#tokens("p122"))))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-05
  "Automatically generated"
  is:
    A X G F ((0) <= (#tokens("p113")))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-06
  "Automatically generated"
  is:
    A G ((!((2) <= (#tokens("p76"))) | ((3) <= (#tokens("p39")))) & !(G F G ((2) <= (#tokens("p76"))) U ((#tokens("p112")) <= (#tokens("p20")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-07
  "Automatically generated"
  is:
    A X X F ((0) <= (#tokens("p72")))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-08
  "Automatically generated"
  is:
    A F G F !G ((X ((#tokens("p14")) <= (#tokens("p8"))) & X ((1) <= (#tokens("p124")))) U ((#tokens("p14")) <= (#tokens("p8"))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-09
  "Automatically generated"
  is:
    A F (((2) <= (#tokens("p85"))) & !F G (((1) <= (#tokens("p81"))) U ((3) <= (#tokens("p46")))) & (((0) <= (#tokens("p103"))) U ((1) <= (#tokens("p81")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-10
  "Automatically generated"
  is:
    A F (X ((#tokens("p31")) <= (#tokens("p2"))) | X ((#tokens("p22")) <= (#tokens("p36"))) | G ((1) <= (#tokens("p123"))) | F G !((1) <= (#tokens("p123"))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-11
  "Automatically generated"
  is:
    A (G !((#tokens("p46")) <= (#tokens("p40"))) & (F ((#tokens("p85")) <= (#tokens("p84"))) | (((3) <= (#tokens("p121"))) U (((#tokens("p85")) <= (#tokens("p84"))) U !((#tokens("p90")) <= (#tokens("p84")))))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-12
  "Automatically generated"
  is:
    A !X X (G ((1) <= (#tokens("p7"))) U (((#tokens("p68")) <= (#tokens("p28"))) | X X ((#tokens("p68")) <= (#tokens("p28")))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-13
  "Automatically generated"
  is:
    A ((((2) <= (#tokens("p116"))) | ((0) <= (#tokens("p81")))) U (((#tokens("p103")) <= (#tokens("p11"))) | ((2) <= (#tokens("p116"))) | G (F X ((#tokens("p38")) <= (#tokens("p120"))) U G ((2) <= (#tokens("p116"))))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-14
  "Automatically generated"
  is:
    A !F G !X (X !F !((#tokens("p120")) <= (#tokens("p71"))) U G ((#tokens("p120")) <= (#tokens("p71"))))
  end.
Property StigmergyElection-PT-09a-LTLCardinality-15
  "Automatically generated"
  is:
    A (X !((3) <= (#tokens("p37"))) U (!((1) <= (#tokens("p123"))) | F G F (F ((#tokens("p88")) <= (#tokens("p28"))) & G ((2) <= (#tokens("p100"))))))
  end.
