Property StigmergyCommit-PT-10b-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      ! (A (F ((E (G ((1 <= tokens-count("p3319")) | (A (G (tokens-count("p2577") <= 1)))))) & ((A (F ((1 <= tokens-count("p565")) | (! (tokens-count("p1911") <= 1))))) & (! ((A (X (tokens-count("p2880") <= tokens-count("p144")))) | (E (F (1 <= tokens-count("p3288"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (E (X (E (X (A (G (tokens-count("p1803") <= tokens-count("p1694"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p475")))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      A ((! ((A (G (((1 <= tokens-count("p3328")) | ((tokens-count("p2699") <= tokens-count("p2962")) & (1 <= tokens-count("p2756")))) & (tokens-count("p1388") <= tokens-count("p1016"))))) & (A (((((1 <= tokens-count("p1695")) & (1 <= tokens-count("p2731"))) & (A (X (tokens-count("p2710") <= tokens-count("p3083"))))) | ((A (X (tokens-count("p841") <= 1))) | (E (G (tokens-count("p3041") <= tokens-count("p3341")))))) U ((tokens-count("p909") <= tokens-count("p1600")) & (1 <= tokens-count("p1443"))))))) U (1 <= tokens-count("p1746")))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      ! ((E (G (E (X (A (G (E ((1 <= tokens-count("p421")) U (tokens-count("p2783") <= 1))))))))) & (E (G (A (F (((E (G (tokens-count("p1505") <= tokens-count("p645")))) | (A ((1 <= tokens-count("p426")) U (tokens-count("p938") <= 1)))) | (((tokens-count("p1528") <= tokens-count("p142")) | (tokens-count("p2766") <= tokens-count("p3309"))) | ((tokens-count("p2438") <= 1) & (tokens-count("p1286") <= tokens-count("p3060"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      (E (X ((E (F (E (G (! (tokens-count("p472") <= 1)))))) | (E (F ((E ((tokens-count("p2982") <= 1) U (1 <= tokens-count("p198")))) & (A (G (1 <= tokens-count("p1503")))))))))) | (A (G (A ((1 <= tokens-count("p2729")) U ((1 <= tokens-count("p745")) & ((tokens-count("p3284") <= 1) | (A (X (tokens-count("p914") <= tokens-count("p1943"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E ((1 <= tokens-count("p234")) U (E (F (((A (G (! (tokens-count("p1388") <= 1)))) & (((tokens-count("p902") <= 1) | (tokens-count("p3257") <= 1)) & (1 <= tokens-count("p718")))) & (tokens-count("p1092") <= 1)))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A ((A ((! ((E (G ((tokens-count("p1338") <= tokens-count("p84")) | (tokens-count("p2002") <= tokens-count("p2418"))))) & (E (F (E (G (1 <= tokens-count("p3066")))))))) U (E (G (E (X (! (1 <= tokens-count("p3091"))))))))) U (((((A (X ((tokens-count("p1189") <= tokens-count("p1325")) | (tokens-count("p168") <= tokens-count("p2137"))))) & ((((1 <= tokens-count("p129")) | (1 <= tokens-count("p668"))) | (! (1 <= tokens-count("p530")))) & (! (! (tokens-count("p2382") <= 1))))) | (((((tokens-count("p1440") <= tokens-count("p321")) & (tokens-count("p3155") <= 1)) | (A ((tokens-count("p549") <= 1) U (tokens-count("p481") <= 1)))) & (E ((1 <= tokens-count("p2098")) U (tokens-count("p3253") <= 1)))) & (A (F ((tokens-count("p2348") <= tokens-count("p130")) & (tokens-count("p441") <= 1)))))) | (A ((tokens-count("p116") <= tokens-count("p1213")) U (E (F (A (G (tokens-count("p172") <= tokens-count("p384"))))))))) & (((((! (tokens-count("p578") <= tokens-count("p173"))) | (A ((1 <= tokens-count("p2535")) U (1 <= tokens-count("p528"))))) & (A (G (E (G (1 <= tokens-count("p2843"))))))) | (A (G (A ((tokens-count("p988") <= 1) U (tokens-count("p2017") <= 1)))))) & (E (F (A (X ((1 <= tokens-count("p3304")) | (tokens-count("p302") <= 1)))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      A (G (((! ((! (((1 <= tokens-count("p3274")) & (tokens-count("p1022") <= 1)) | (A ((1 <= tokens-count("p2951")) U (tokens-count("p1591") <= tokens-count("p2456")))))) & (E (G ((tokens-count("p1724") <= tokens-count("p3058")) | (tokens-count("p842") <= 1)))))) | (tokens-count("p695") <= tokens-count("p2618"))) & (E (F (((A (X (tokens-count("p1725") <= 1))) & ((! (tokens-count("p3078") <= 1)) & (A (F (tokens-count("p2319") <= 1))))) | (E (F (E (X (tokens-count("p2480") <= tokens-count("p2704")))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      A ((A (X ((! (E (X (! (tokens-count("p2131") <= 1))))) & ((E (G (A (F (1 <= tokens-count("p2794")))))) | ((tokens-count("p1041") <= 1) | (A ((1 <= tokens-count("p3186")) U (tokens-count("p1052") <= 1)))))))) U ((((1 <= tokens-count("p881")) & (! ((! (! (tokens-count("p2344") <= 1))) | (! (E (G (1 <= tokens-count("p1792")))))))) | (E (F (! ((A ((1 <= tokens-count("p2704")) U (tokens-count("p667") <= 1))) | ((tokens-count("p760") <= tokens-count("p1955")) | (1 <= tokens-count("p661")))))))) & (! (A (G (! (A (X (tokens-count("p646") <= tokens-count("p679"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (F (! (tokens-count("p3044") <= tokens-count("p2936"))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E (G (tokens-count("p2645") <= 1))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      A (F (E (F (E (F (E (X (1 <= tokens-count("p918")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      A (G (((tokens-count("p924") <= tokens-count("p2233")) | (tokens-count("p3169") <= 1)) | (! ((tokens-count("p2002") <= tokens-count("p1094")) | ((! ((A (X (tokens-count("p2191") <= tokens-count("p3290")))) | ((1 <= tokens-count("p1011")) & (tokens-count("p3060") <= 1)))) & (((! (1 <= tokens-count("p1702"))) & (E (G (tokens-count("p2937") <= 1)))) & (! (A ((tokens-count("p2651") <= 1) U (1 <= tokens-count("p2876")))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (G (A (X (E (X (! (! (! (1 <= tokens-count("p1559"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (A (F (A (X (E ((tokens-count("p3045") <= tokens-count("p3038")) U (tokens-count("p2946") <= tokens-count("p815"))))))))))
   end.
