Property StigmergyElection-PT-11b-LTLCardinality-00
  "Automatically generated"
  is:
    A F G (!X X G !(((#tokens("p570")) <= (#tokens("p1057"))) | X ((#tokens("p862")) <= (#tokens("p1468")))) U (((#tokens("p570")) <= (#tokens("p1057"))) U ((#tokens("p1204")) <= (#tokens("p1410")))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-01
  "Automatically generated"
  is:
    A G !G (((3) <= (#tokens("p363"))) & ((#tokens("p1305")) <= (#tokens("p436"))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-02
  "Automatically generated"
  is:
    A (X X !(X ((1) <= (#tokens("p132"))) | (((#tokens("p317")) <= (#tokens("p455"))) U ((#tokens("p1008")) <= (#tokens("p918"))))) & F (((1) <= (#tokens("p132"))) & X ((#tokens("p950")) <= (#tokens("p399")))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-03
  "Automatically generated"
  is:
    A X (F ((#tokens("p563")) <= (#tokens("p833"))) & G ((#tokens("p267")) <= (#tokens("p1171"))) & X G X (((2) <= (#tokens("p1196"))) & ((#tokens("p967")) <= (#tokens("p517")))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-04
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("p855"))) & (((1) <= (#tokens("p855"))) U G F (((1) <= (#tokens("p855"))) & (((1) <= (#tokens("p855"))) | !X ((1) <= (#tokens("p855")))))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-05
  "Automatically generated"
  is:
    A !(F ((2) <= (#tokens("p155"))) & !F !((2) <= (#tokens("p155"))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-06
  "Automatically generated"
  is:
    A F (F X ((2) <= (#tokens("p382"))) & (!F ((2) <= (#tokens("p382"))) U F X F ((#tokens("p124")) <= (#tokens("p1440")))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-07
  "Automatically generated"
  is:
    A X G (F ((2) <= (#tokens("p909"))) | !(X X ((3) <= (#tokens("p1081"))) & (((3) <= (#tokens("p1081"))) | !X ((1) <= (#tokens("p169"))))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-08
  "Automatically generated"
  is:
    A F X !(F ((1) <= (#tokens("p370"))) U G (((1) <= (#tokens("p370"))) U F ((2) <= (#tokens("p212")))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-09
  "Automatically generated"
  is:
    A F G (X X ((2) <= (#tokens("p640"))) & F !((2) <= (#tokens("p111"))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-10
  "Automatically generated"
  is:
    A (G (((#tokens("p1355")) <= (#tokens("p549"))) U G ((1) <= (#tokens("p76")))) U X (((#tokens("p251")) <= (#tokens("p169"))) & !F (((#tokens("p1355")) <= (#tokens("p549"))) & F ((3) <= (#tokens("p48"))))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-11
  "Automatically generated"
  is:
    A X (X ((1) <= (#tokens("p958"))) & X ((#tokens("p845")) <= (#tokens("p990"))) & F !F ((#tokens("p1162")) <= (#tokens("p1278"))))
  end.
Property StigmergyElection-PT-11b-LTLCardinality-12
"Automatically generated"
is:
A (F (((3) <= (#tokens("p1258"))) | !((#tokens("p1018")) <= (#tokens("p151")))) | !(((3) <= (#tokens("p924"))) | X (((#tokens("p1378")) <= (#tokens("p1473"))) | G X ((3) <= (#tokens("p924"))))))
end.
Property StigmergyElection-PT-11b-LTLCardinality-13
"Automatically generated"
is:
A X !(!G !G X ((#tokens("p1306")) <= (#tokens("p788"))) U F (((3) <= (#tokens("p1487"))) | ((1) <= (#tokens("p528")))))
end.
Property StigmergyElection-PT-11b-LTLCardinality-14
"Automatically generated"
is:
A (((2) <= (#tokens("p233"))) U ((1) <= (#tokens("p1339"))))
end.
Property StigmergyElection-PT-11b-LTLCardinality-15
"Automatically generated"
is:
A (G ((3) <= (#tokens("p1480"))) U ((3) <= (#tokens("p341"))))
end.
