Property StigmergyCommit-PT-10b-LTLCardinality-00
  "Automatically generated"
  is:
    A !X (((1) <= (#tokens("p320"))) U G (!((0) <= (#tokens("p2535"))) & (G ((1) <= (#tokens("p320"))) U ((#tokens("p486")) <= (#tokens("p903"))))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-01
  "Automatically generated"
  is:
    A X (!X !G !((#tokens("p3260")) <= (#tokens("p2373"))) U (((1) <= (#tokens("p2781"))) & X ((1) <= (#tokens("p2781")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-02
  "Automatically generated"
  is:
    A (((#tokens("p2155")) <= (#tokens("p1641"))) & F ((((1) <= (#tokens("p414"))) & G ((#tokens("p3051")) <= (#tokens("p1979")))) | F X ((#tokens("p3051")) <= (#tokens("p1979")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-03
  "Automatically generated"
  is:
    A X !(((2) <= (#tokens("p323"))) U ((((3) <= (#tokens("p1164"))) | ((#tokens("p2289")) <= (#tokens("p419")))) U !((#tokens("p2289")) <= (#tokens("p419")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-04
  "Automatically generated"
  is:
    A X (F ((2) <= (#tokens("p2954"))) & G (((2) <= (#tokens("p1480"))) & ((2) <= (#tokens("p2813"))) & X ((2) <= (#tokens("p1480")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-05
  "Automatically generated"
  is:
    A !G X X !X !X G (((2) <= (#tokens("p1377"))) & ((#tokens("p2013")) <= (#tokens("p3175"))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-06
  "Automatically generated"
  is:
    A X (X (G ((#tokens("p226")) <= (#tokens("p1817"))) U ((#tokens("p226")) <= (#tokens("p1817")))) | X F X G (G ((2) <= (#tokens("p1694"))) U ((#tokens("p1957")) <= (#tokens("p3057")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-07
  "Automatically generated"
  is:
    A F G F ((2) <= (#tokens("p1635")))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-08
  "Automatically generated"
  is:
    A G X G !F G ((0) <= (#tokens("p1600")))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-09
  "Automatically generated"
  is:
    A (F !F X (((0) <= (#tokens("p2185"))) & F ((#tokens("p2944")) <= (#tokens("p570")))) | F ((1) <= (#tokens("p2384"))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-10
  "Automatically generated"
  is:
    A G ((G ((#tokens("p1874")) <= (#tokens("p754"))) | F G ((#tokens("p2234")) <= (#tokens("p2422")))) U F (G ((#tokens("p1874")) <= (#tokens("p754"))) U G ((0) <= (#tokens("p2731")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-11
  "Automatically generated"
  is:
    A F (!F ((#tokens("p1094")) <= (#tokens("p2916"))) & X G X ((1) <= (#tokens("p2819"))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-12
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("p502"))) U G X ((#tokens("p618")) <= (#tokens("p1826")))) U ((F ((2) <= (#tokens("p3257"))) | X !((#tokens("p618")) <= (#tokens("p1826")))) U ((1) <= (#tokens("p502")))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-13
  "Automatically generated"
  is:
    A G ((#tokens("p1182")) <= (#tokens("p2893")))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-14
  "Automatically generated"
  is:
    A X (F X (((#tokens("p1095")) <= (#tokens("p481"))) | F !((#tokens("p1095")) <= (#tokens("p481")))) & X G !((1) <= (#tokens("p1403"))))
  end.
Property StigmergyCommit-PT-10b-LTLCardinality-15
  "Automatically generated"
  is:
    A (((1) <= (#tokens("p3006"))) & !((3) <= (#tokens("p1022"))) & F (!((#tokens("p329")) <= (#tokens("p1028"))) U ((#tokens("p329")) <= (#tokens("p1028")))))
  end.
