Property StigmergyCommit-PT-08a-LTLCardinality-00
  "Automatically generated"
  is:
    A X !(!((3) <= (#tokens("p240"))) U ((#tokens("p229")) <= (#tokens("p152"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-01
  "Automatically generated"
  is:
    A G !(G (G ((#tokens("p67")) <= (#tokens("p228"))) U ((2) <= (#tokens("p167")))) & (((2) <= (#tokens("p212"))) | F G ((#tokens("p144")) <= (#tokens("p267")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-02
  "Automatically generated"
  is:
    A (!(((#tokens("p33")) <= (#tokens("p57"))) & F X ((1) <= (#tokens("p154")))) & (((#tokens("p272")) <= (#tokens("p312"))) | X (((#tokens("p272")) <= (#tokens("p312"))) & G ((#tokens("p33")) <= (#tokens("p57"))))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-03
  "Automatically generated"
  is:
    A (X X F G ((3) <= (#tokens("p248"))) | !F G F !((3) <= (#tokens("p248"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-04
  "Automatically generated"
  is:
    A X G F (X G ((3) <= (#tokens("p113"))) & F (G ((#tokens("p121")) <= (#tokens("p73"))) U !X ((#tokens("p212")) <= (#tokens("p44")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-05
  "Automatically generated"
  is:
    A G F G F ((#tokens("p191")) <= (#tokens("p271")))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-06
  "Automatically generated"
  is:
    A (F ((3) <= (#tokens("p172"))) & (((#tokens("p188")) <= (#tokens("p131"))) U (((#tokens("p37")) <= (#tokens("p57"))) & X (((#tokens("p151")) <= (#tokens("p204"))) & X X ((#tokens("p54")) <= (#tokens("p17")))))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-07
  "Automatically generated"
  is:
    A G ((((#tokens("p17")) <= (#tokens("p107"))) U !X (G ((#tokens("p232")) <= (#tokens("p46"))) U ((#tokens("p232")) <= (#tokens("p46"))))) U X X ((#tokens("p29")) <= (#tokens("p287"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-08
  "Automatically generated"
  is:
    A (F ((#tokens("p264")) <= (#tokens("p292"))) & !F (((#tokens("p264")) <= (#tokens("p292"))) U !((3) <= (#tokens("p54")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-09
  "Automatically generated"
  is:
    A (((G ((1) <= (#tokens("p132"))) | !X X ((3) <= (#tokens("p92")))) U ((3) <= (#tokens("p92")))) U ((2) <= (#tokens("p218"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-10
  "Automatically generated"
  is:
    A (!(((3) <= (#tokens("p145"))) | F !((#tokens("p41")) <= (#tokens("p103")))) & (F ((#tokens("p7")) <= (#tokens("p113"))) U X !((3) <= (#tokens("p169")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-11
  "Automatically generated"
  is:
    A X X X F (((1) <= (#tokens("p37"))) | ((#tokens("p79")) <= (#tokens("p240"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-12
"Automatically generated"
is:
A (F ((#tokens("p172")) <= (#tokens("p317"))) U (!((1) <= (#tokens("p213"))) & F (((1) <= (#tokens("p267"))) & ((#tokens("p191")) <= (#tokens("p23"))))))
end.
Property StigmergyCommit-PT-08a-LTLCardinality-13
"Automatically generated"
is:
A !X G (((#tokens("p283")) <= (#tokens("p323"))) & (((#tokens("p28")) <= (#tokens("p50"))) | !((#tokens("p28")) <= (#tokens("p50")))))
end.
Property StigmergyCommit-PT-08a-LTLCardinality-14
"Automatically generated"
is:
A (X G X ((#tokens("p12")) <= (#tokens("p262"))) | F !(((#tokens("p8")) <= (#tokens("p222"))) | X ((1) <= (#tokens("p128")))))
end.
Property StigmergyCommit-PT-08a-LTLCardinality-15
"Automatically generated"
is:
A G F !(F ((3) <= (#tokens("p173"))) U ((2) <= (#tokens("p145"))))
end.
