Property StigmergyCommit-PT-08a-LTLCardinality-00
  "Automatically generated"
  is:
    A ((((#tokens("p25")) <= (#tokens("p209"))) U ((#tokens("p121")) <= (#tokens("p289")))) & G (((#tokens("p25")) <= (#tokens("p209"))) & !((#tokens("p288")) <= (#tokens("p12")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-01
  "Automatically generated"
  is:
    A F (((3) <= (#tokens("p58"))) | !((0) <= (#tokens("p0"))) | ((((1) <= (#tokens("p64"))) | ((1) <= (#tokens("p76")))) U F (((1) <= (#tokens("p64"))) & G ((3) <= (#tokens("p58"))))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-02
  "Automatically generated"
  is:
    A X ((((2) <= (#tokens("p19"))) & X G X F ((2) <= (#tokens("p19")))) U F G ((#tokens("p45")) <= (#tokens("p201"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-03
  "Automatically generated"
  is:
    A (G (G ((1) <= (#tokens("p147"))) U ((0) <= (#tokens("p146")))) U G (F ((0) <= (#tokens("p146"))) & !F ((#tokens("p216")) <= (#tokens("p240")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-04
  "Automatically generated"
  is:
    A F (((#tokens("p2")) <= (#tokens("p30"))) | G ((2) <= (#tokens("p304"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-05
  "Automatically generated"
  is:
    A !X (G ((3) <= (#tokens("p122"))) & (((3) <= (#tokens("p122"))) U !G !X F ((3) <= (#tokens("p176")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-06
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("p243"))) & G X G ((2) <= (#tokens("p52"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-07
  "Automatically generated"
  is:
    A (((2) <= (#tokens("p224"))) | (G ((0) <= (#tokens("p123"))) & G (F ((#tokens("p182")) <= (#tokens("p229"))) U X ((0) <= (#tokens("p123"))))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-08
  "Automatically generated"
  is:
    A X (X (((0) <= (#tokens("p34"))) | G ((#tokens("p131")) <= (#tokens("p67")))) | G !(X ((#tokens("p251")) <= (#tokens("p117"))) U ((#tokens("p131")) <= (#tokens("p67")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-09
  "Automatically generated"
  is:
    A (X F ((1) <= (#tokens("p143"))) & F !((1) <= (#tokens("p143"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-10
  "Automatically generated"
  is:
    A !G ((#tokens("p240")) <= (#tokens("p256")))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-11
  "Automatically generated"
  is:
    A !X (G ((2) <= (#tokens("p297"))) & (!((#tokens("p220")) <= (#tokens("p73"))) U X F X !((#tokens("p296")) <= (#tokens("p302")))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-12
  "Automatically generated"
  is:
    A X F G F ((2) <= (#tokens("p276")))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-13
  "Automatically generated"
  is:
    A F X G (((2) <= (#tokens("p235"))) U X ((#tokens("p243")) <= (#tokens("p106"))))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-14
  "Automatically generated"
  is:
    A !G X F ((#tokens("p216")) <= (#tokens("p137")))
  end.
Property StigmergyCommit-PT-08a-LTLCardinality-15
  "Automatically generated"
  is:
    A G (X ((#tokens("p152")) <= (#tokens("p54"))) & F (((#tokens("p152")) <= (#tokens("p54"))) U F ((#tokens("p292")) <= (#tokens("p226")))) & G (!((#tokens("p247")) <= (#tokens("p275"))) & ((#tokens("p152")) <= (#tokens("p54")))))
  end.
