Property StigmergyCommit-PT-07b-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (! (tokens-count("p2294") <= tokens-count("p165"))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (tokens-count("p1369") <= tokens-count("p1273"))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F ((A (X (A (G (((1 <= tokens-count("p893")) & (tokens-count("p1453") <= 1)) | (! (tokens-count("p2358") <= 1))))))) | (E (F (E (G (A (X (tokens-count("p827") <= tokens-count("p1375"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      (A (X (tokens-count("p767") <= 0))) & (E (F ((tokens-count("p306") <= tokens-count("p158")) & (A (X ((E (X (tokens-count("p2308") <= tokens-count("p2357")))) & (A (G (tokens-count("p599") <= 1)))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (G (E (F (E ((E (F ((tokens-count("p2034") <= 0) & (1 <= tokens-count("p1731"))))) U ((E (G (1 <= tokens-count("p444")))) | (((tokens-count("p1421") <= 1) & (1 <= tokens-count("p1682"))) & (1 <= tokens-count("p277")))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      ! (A ((E (X (((((tokens-count("p2317") <= tokens-count("p459")) | (tokens-count("p632") <= tokens-count("p1098"))) | (tokens-count("p1003") <= tokens-count("p2137"))) | (! ((1 <= tokens-count("p213")) | (tokens-count("p173") <= 1)))) & ((! ((tokens-count("p2414") <= 1) | (tokens-count("p877") <= tokens-count("p1189")))) | (! (1 <= tokens-count("p268"))))))) U (! (((((1 <= tokens-count("p1467")) | (1 <= tokens-count("p861"))) | (E (G (1 <= tokens-count("p1593"))))) | (A (F (tokens-count("p2047") <= tokens-count("p1407"))))) | ((((1 <= tokens-count("p609")) & (tokens-count("p309") <= tokens-count("p680"))) | (tokens-count("p1459") <= 0)) | (((tokens-count("p1682") <= 1) & (1 <= tokens-count("p2024"))) | (E (X (1 <= tokens-count("p1032"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      (E (X (! (A (X (A (((tokens-count("p1807") <= 1) & (tokens-count("p930") <= tokens-count("p2338"))) U ((1 <= tokens-count("p1083")) | (1 <= tokens-count("p1597")))))))))) & (A (F (tokens-count("p1973") <= 0)))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (E (G (((tokens-count("p814") <= 1) | (E (G (1 <= tokens-count("p1594"))))) & (A (G (E (G (tokens-count("p1718") <= tokens-count("p1999")))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (A ((((1 <= tokens-count("p581")) | (tokens-count("p1621") <= 1)) & ((E (G ((1 <= tokens-count("p1911")) & (1 <= tokens-count("p490"))))) & ((! ((1 <= tokens-count("p583")) & (tokens-count("p909") <= 1))) & ((A ((1 <= tokens-count("p884")) U (tokens-count("p2087") <= tokens-count("p177")))) & (E ((tokens-count("p1222") <= 1) U (1 <= tokens-count("p311")))))))) U (((! (E (F (tokens-count("p417") <= tokens-count("p537"))))) & (! (1 <= tokens-count("p2380")))) & (A ((E (X (tokens-count("p840") <= tokens-count("p1336")))) U (A (F (tokens-count("p2157") <= 0)))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (G (A (X (E (F (! (1 <= tokens-count("p431"))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      ((A (X (! ((E (G (tokens-count("p14") <= tokens-count("p1795")))) | ((E (F (tokens-count("p962") <= 1))) | ((tokens-count("p1375") <= tokens-count("p1247")) | (tokens-count("p984") <= tokens-count("p1043")))))))) | (A (G ((tokens-count("p1694") <= 1) & (((E ((1 <= tokens-count("p1991")) U (tokens-count("p792") <= 1))) & (E ((1 <= tokens-count("p530")) U (1 <= tokens-count("p1936"))))) & (((E ((tokens-count("p54") <= 1) U (tokens-count("p852") <= tokens-count("p2256")))) & (tokens-count("p339") <= 0)) & (! (tokens-count("p1155") <= tokens-count("p2104"))))))))) | (! (E ((E ((! ((E (X (1 <= tokens-count("p1459")))) & (A ((tokens-count("p1656") <= 1) U (tokens-count("p1402") <= tokens-count("p373")))))) U (E (G (! (1 <= tokens-count("p2411"))))))) U (! (A (X ((A ((tokens-count("p699") <= 1) U (tokens-count("p620") <= 1))) | (A (X (tokens-count("p1250") <= 1))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((E (G (A (((A (G (tokens-count("p2006") <= tokens-count("p95")))) & (A (X (1 <= tokens-count("p1431"))))) U (E ((tokens-count("p614") <= tokens-count("p453")) U (1 <= tokens-count("p597")))))))) | ((E (F (! ((1 <= tokens-count("p176")) | (tokens-count("p1327") <= tokens-count("p1257")))))) & (! (((E (F (1 <= tokens-count("p1432")))) | (1 <= tokens-count("p555"))) & ((E (G (tokens-count("p1109") <= tokens-count("p2199")))) & (E (X (1 <= tokens-count("p1382"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      A (G (A (G ((! ((((tokens-count("p2114") <= tokens-count("p1448")) | (tokens-count("p1336") <= 1)) | (tokens-count("p2048") <= 0)) | (E (G (tokens-count("p1624") <= tokens-count("p1078")))))) | (E (G (A (G (tokens-count("p929") <= 0)))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      E (G ((! ((tokens-count("p1059") <= 1) & (A (G ((A (X (tokens-count("p1699") <= 1))) & ((1 <= tokens-count("p1777")) | (1 <= tokens-count("p138")))))))) & ((E (F ((A ((tokens-count("p2419") <= 1) U (tokens-count("p395") <= 0))) & (! ((tokens-count("p2380") <= 1) | (tokens-count("p1516") <= tokens-count("p659"))))))) & (((tokens-count("p2083") <= 0) | (A (F ((1 <= tokens-count("p1314")) & (tokens-count("p1120") <= tokens-count("p2091")))))) | (tokens-count("p826") <= tokens-count("p2354"))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      A (F ((E (G (A (F (A ((tokens-count("p977") <= 0) U (1 <= tokens-count("p1269")))))))) | (A (((A ((E (G (tokens-count("p1130") <= tokens-count("p870")))) U (E (X (1 <= tokens-count("p1685")))))) | (A ((! (1 <= tokens-count("p1136"))) U (E (X (tokens-count("p1811") <= 0)))))) U (A (X (! ((1 <= tokens-count("p1845")) | (tokens-count("p682") <= tokens-count("p1611"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      E ((tokens-count("p584") <= 0) U (A (G ((A (G (A (F (tokens-count("p349") <= tokens-count("p2255")))))) & (E (F (! ((tokens-count("p475") <= 0) & (1 <= tokens-count("p1543"))))))))))
   end.
