Property StigmergyCommit-PT-07b-LTLCardinality-00
  "Automatically generated"
  is:
    A G !((((#tokens("p1478")) <= (#tokens("p1129"))) & ((2) <= (#tokens("p6")))) U ((2) <= (#tokens("p6"))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-01
  "Automatically generated"
  is:
    A F G !X !G X ((2) <= (#tokens("p2270")))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-02
  "Automatically generated"
  is:
    A ((((3) <= (#tokens("p2416"))) | !(((#tokens("p514")) <= (#tokens("p1662"))) | F (X ((2) <= (#tokens("p346"))) & X ((3) <= (#tokens("p2416")))))) U ((#tokens("p400")) <= (#tokens("p1134"))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-03
  "Automatically generated"
  is:
    A X X (X G (((2) <= (#tokens("p2105"))) | X X ((#tokens("p93")) <= (#tokens("p2124")))) & X !((#tokens("p93")) <= (#tokens("p2124"))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-04
  "Automatically generated"
  is:
    A (G (X (((1) <= (#tokens("p334"))) | X ((1) <= (#tokens("p162")))) & (((#tokens("p114")) <= (#tokens("p1304"))) | X ((1) <= (#tokens("p941"))))) U ((1) <= (#tokens("p162"))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-05
  "Automatically generated"
  is:
    A F (G (((#tokens("p1683")) <= (#tokens("p854"))) | G !((#tokens("p1683")) <= (#tokens("p854")))) U (F (((3) <= (#tokens("p505"))) U ((2) <= (#tokens("p2289")))) U ((#tokens("p1683")) <= (#tokens("p854")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-06
  "Automatically generated"
  is:
    A X X X F X !(((3) <= (#tokens("p1390"))) | G ((1) <= (#tokens("p2064"))) | G ((1) <= (#tokens("p1641"))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-07
  "Automatically generated"
  is:
    A (X F ((#tokens("p2167")) <= (#tokens("p2023"))) & F ((((3) <= (#tokens("p1917"))) & ((#tokens("p1412")) <= (#tokens("p306")))) | X F ((#tokens("p609")) <= (#tokens("p1197")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-08
  "Automatically generated"
  is:
    A G X ((X ((#tokens("p1684")) <= (#tokens("p608"))) | (G ((#tokens("p2396")) <= (#tokens("p1897"))) U ((#tokens("p1069")) <= (#tokens("p1247"))))) U (((#tokens("p2015")) <= (#tokens("p6"))) & !G ((#tokens("p1684")) <= (#tokens("p608")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-09
  "Automatically generated"
  is:
    A !(X (((1) <= (#tokens("p1567"))) & ((#tokens("p119")) <= (#tokens("p400")))) | !X (G ((#tokens("p797")) <= (#tokens("p1808"))) | !F ((#tokens("p797")) <= (#tokens("p1808")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-10
  "Automatically generated"
  is:
    A (X X (G (((#tokens("p1554")) <= (#tokens("p513"))) | G ((2) <= (#tokens("p733")))) U G ((#tokens("p608")) <= (#tokens("p2266")))) & (((2) <= (#tokens("p733"))) U F ((#tokens("p1554")) <= (#tokens("p513")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-11
  "Automatically generated"
  is:
    A (((#tokens("p1663")) <= (#tokens("p2048"))) U !F (((#tokens("p505")) <= (#tokens("p407"))) | ((2) <= (#tokens("p1120"))) | ((#tokens("p1663")) <= (#tokens("p2048")))))
  end.
Property StigmergyCommit-PT-07b-LTLCardinality-12
"Automatically generated"
is:
A G F G !((1) <= (#tokens("p1782")))
end.
Property StigmergyCommit-PT-07b-LTLCardinality-13
"Automatically generated"
is:
A (!((#tokens("p2051")) <= (#tokens("p2191"))) U !((1) <= (#tokens("p4"))))
end.
Property StigmergyCommit-PT-07b-LTLCardinality-14
"Automatically generated"
is:
A (F ((2) <= (#tokens("p1149"))) & (!((3) <= (#tokens("p112"))) | F ((3) <= (#tokens("p112")))) & (((#tokens("p801")) <= (#tokens("p2431"))) | G ((2) <= (#tokens("p1149")))))
end.
Property StigmergyCommit-PT-07b-LTLCardinality-15
"Automatically generated"
is:
A F (((((3) <= (#tokens("p2375"))) | ((2) <= (#tokens("p364")))) U ((3) <= (#tokens("p2375")))) | (X F ((#tokens("p857")) <= (#tokens("p1858"))) U X (((#tokens("p857")) <= (#tokens("p1858"))) & ((#tokens("p1761")) <= (#tokens("p396"))))))
end.
