Property StigmergyCommit-PT-10b-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A ((E (G (1 <= tokens-count("p1260")))) U (E (G ((E (G (! (A (X (tokens-count("p1605") <= tokens-count("p1277"))))))) | (tokens-count("p2147") <= 0)))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (A ((E (F (tokens-count("p1671") <= tokens-count("p2038")))) U (A (G ((! (tokens-count("p2212") <= tokens-count("p2256"))) | (tokens-count("p428") <= 0))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      A ((E ((tokens-count("p3021") <= 0) U ((tokens-count("p2438") <= 1) & (! (tokens-count("p3061") <= tokens-count("p471")))))) U (! (A ((A (X ((A ((tokens-count("p759") <= 1) U (1 <= tokens-count("p1967")))) | (tokens-count("p2334") <= 1)))) U ((! (tokens-count("p605") <= 0)) | (E (X (E (G (tokens-count("p2721") <= 0))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (E (X ((A (F (((tokens-count("p2452") <= 1) | (1 <= tokens-count("p2174"))) & (tokens-count("p135") <= tokens-count("p2710"))))) & ((A (G (1 <= tokens-count("p726")))) | (! (((tokens-count("p1598") <= tokens-count("p2695")) | (tokens-count("p1495") <= tokens-count("p2112"))) | ((tokens-count("p2858") <= 1) | (tokens-count("p2895") <= 0)))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (X (A (F ((A (F (! (tokens-count("p690") <= 1)))) & (tokens-count("p2195") <= tokens-count("p3220"))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((A ((((1 <= tokens-count("p1789")) | (tokens-count("p1840") <= tokens-count("p1622"))) & (! (1 <= tokens-count("p2661")))) U (! (A (X (tokens-count("p1291") <= 1)))))) & ((! (A ((tokens-count("p1027") <= 1) U (1 <= tokens-count("p525"))))) & (A (G (1 <= tokens-count("p2891"))))))) & (1 <= tokens-count("p1979"))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (G (E (X (E (F (E (X (1 <= tokens-count("p873")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (G (! (E (G (E (F ((A (F (tokens-count("p289") <= tokens-count("p2951")))) | (1 <= tokens-count("p256")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (E (G (! ((E (F ((1 <= tokens-count("p2657")) | ((1 <= tokens-count("p2862")) & (tokens-count("p1014") <= 0))))) | ((E (F (! (1 <= tokens-count("p1736"))))) & (1 <= tokens-count("p1846")))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E ((! (A (G (! (E ((1 <= tokens-count("p1473")) U (1 <= tokens-count("p2363")))))))) U (! (A ((! (1 <= tokens-count("p108"))) U (E (F (tokens-count("p527") <= tokens-count("p291"))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (G (A (F ((((E (X (1 <= tokens-count("p3027")))) & ((A (X (tokens-count("p2396") <= tokens-count("p1962")))) | ((tokens-count("p2715") <= tokens-count("p2759")) | (tokens-count("p2729") <= tokens-count("p1056"))))) | (! (((1 <= tokens-count("p785")) & (tokens-count("p898") <= 1)) | (A (F (1 <= tokens-count("p2024"))))))) | (! (1 <= tokens-count("p1495")))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (E (G (A (X ((tokens-count("p506") <= 0) & ((E (G (tokens-count("p1908") <= 0))) | (E (G (tokens-count("p2022") <= 0))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      A (X (A (G (E (X (((! (1 <= tokens-count("p2126"))) & (E (F (tokens-count("p2815") <= 1)))) & (! (1 <= tokens-count("p3258")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      ! (E ((A ((1 <= tokens-count("p299")) U (E (G (A ((tokens-count("p520") <= 1) U (tokens-count("p2849") <= 1))))))) U (A (G (A (F (E (X (tokens-count("p907") <= 0)))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      A (G (! (((! ((tokens-count("p2353") <= tokens-count("p3155")) & (A (F (tokens-count("p727") <= 1))))) | (A (F (A (G (tokens-count("p1344") <= 1)))))) & (! ((A (G (tokens-count("p1276") <= 0))) | (A (F (1 <= tokens-count("p830")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      (E (F (E (F ((! (E (F (tokens-count("p1652") <= tokens-count("p330"))))) & (((E (X (tokens-count("p3347") <= tokens-count("p1793")))) & ((1 <= tokens-count("p228")) & (tokens-count("p3155") <= tokens-count("p921")))) & (! (A (G (1 <= tokens-count("p2026"))))))))))) | (E (F (! ((1 <= tokens-count("p2287")) | ((A (X (tokens-count("p1668") <= tokens-count("p1786")))) | ((A ((tokens-count("p452") <= tokens-count("p2015")) U (tokens-count("p3257") <= 0))) & ((! (1 <= tokens-count("p2179"))) | ((1 <= tokens-count("p1009")) & (tokens-count("p2763") <= 1)))))))))
   end.
