Property StigmergyElection-PT-11b-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (E (X (! ((tokens-count("p1318") <= tokens-count("p891")) & (A ((A ((1 <= tokens-count("p847")) U (tokens-count("p1336") <= 0))) U (! (tokens-count("p515") <= tokens-count("p1006"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      (! (E (G (! (((1 <= tokens-count("p827")) & (E (F (tokens-count("p883") <= tokens-count("p665"))))) | (tokens-count("p691") <= 1)))))) & (A (X ((E (F (E (F ((1 <= tokens-count("p1019")) & (1 <= tokens-count("p413"))))))) & ((! (1 <= tokens-count("p1185"))) & ((A (F ((tokens-count("p259") <= tokens-count("p913")) & (1 <= tokens-count("p1326"))))) | (! (A (X (1 <= tokens-count("p91"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (E (G (! (A (F (tokens-count("p964") <= 0))))))) | (tokens-count("p576") <= tokens-count("p303"))) | (A (X (E (G (E (X (tokens-count("p503") <= tokens-count("p739"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      (A ((tokens-count("p1380") <= tokens-count("p1174")) U (! (tokens-count("p332") <= 0)))) | (A (F ((! ((! (E (G (1 <= tokens-count("p939"))))) | (A (X ((tokens-count("p1502") <= tokens-count("p1045")) | (1 <= tokens-count("p1069"))))))) | ((! ((A (F (tokens-count("p59") <= 0))) | (! (A ((1 <= tokens-count("p355")) U (tokens-count("p1053") <= tokens-count("p681"))))))) & (! (tokens-count("p604") <= tokens-count("p1309")))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (! (A (X (A (G ((1 <= tokens-count("p447")) & (tokens-count("p1224") <= tokens-count("p470"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F ((! (tokens-count("p743") <= tokens-count("p578"))) & ((! (A ((! (tokens-count("p1457") <= 0)) U ((A (G (tokens-count("p484") <= tokens-count("p1306")))) | (A (X (1 <= tokens-count("p1011")))))))) | (E (F (A (G (E (G (tokens-count("p750") <= 0))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (X ((! ((! (tokens-count("p402") <= 0)) | (tokens-count("p223") <= tokens-count("p396")))) | (tokens-count("p23") <= 0))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (E (G (tokens-count("p783") <= tokens-count("p314"))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (F (! ((A (G (((tokens-count("p1382") <= 0) | (! (tokens-count("p221") <= tokens-count("p805")))) & (A (F (tokens-count("p721") <= 1)))))) | (A (G (E (G (1 <= tokens-count("p1049")))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! (A (F ((! (1 <= tokens-count("p79"))) & ((1 <= tokens-count("p452")) & (A (F ((A (X (tokens-count("p108") <= 1))) | (tokens-count("p1462") <= 0))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (X (E ((tokens-count("p612") <= 0) U (((! (((1 <= tokens-count("p1035")) & (1 <= tokens-count("p20"))) | (1 <= tokens-count("p1164")))) & (! (E (X (tokens-count("p1127") <= 0))))) & (E ((A (G (tokens-count("p1484") <= 1))) U (E ((tokens-count("p689") <= tokens-count("p519")) U (1 <= tokens-count("p1109"))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F ((((A (X (((tokens-count("p65") <= 1) | (1 <= tokens-count("p123"))) & (E (G (tokens-count("p200") <= 1)))))) | ((E (G ((1 <= tokens-count("p837")) & (1 <= tokens-count("p267"))))) & (! ((tokens-count("p326") <= tokens-count("p1189")) & (1 <= tokens-count("p1259")))))) & (! (tokens-count("p771") <= tokens-count("p169")))) | (E (X (E ((((tokens-count("p809") <= tokens-count("p1222")) | (tokens-count("p1501") <= tokens-count("p287"))) | (E (F (tokens-count("p141") <= tokens-count("p435"))))) U (! (tokens-count("p1117") <= tokens-count("p429")))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      E (G (A (G ((! ((! ((1 <= tokens-count("p644")) | (tokens-count("p231") <= tokens-count("p807")))) & (! ((tokens-count("p468") <= tokens-count("p1322")) & (tokens-count("p1184") <= 0))))) | (A ((tokens-count("p22") <= tokens-count("p1494")) U (A (F (tokens-count("p491") <= 0)))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      A (F (((E (X (! (tokens-count("p1109") <= 0)))) & (A (X (1 <= tokens-count("p57"))))) & (((! (E (G (! (1 <= tokens-count("p552")))))) & (tokens-count("p1074") <= 1)) | ((A (X ((E (X (tokens-count("p146") <= tokens-count("p1353")))) | ((tokens-count("p1370") <= tokens-count("p1042")) & (tokens-count("p496") <= tokens-count("p1012")))))) & ((A (((1 <= tokens-count("p231")) & (tokens-count("p623") <= tokens-count("p548"))) U (E (F (tokens-count("p0") <= tokens-count("p313")))))) | (E (F (A (X (tokens-count("p284") <= 1))))))))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      E (G (A (X ((! ((tokens-count("p503") <= tokens-count("p1298")) | (((tokens-count("p1020") <= tokens-count("p1159")) | (tokens-count("p444") <= 1)) & (1 <= tokens-count("p1415"))))) | (tokens-count("p429") <= 0)))))
   end.
Property StigmergyElection-PT-11b-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      E (((E (F (E (F (tokens-count("p146") <= 0))))) & (! ((A (G ((tokens-count("p593") <= 1) & ((tokens-count("p280") <= tokens-count("p112")) | (1 <= tokens-count("p114")))))) & (1 <= tokens-count("p1505"))))) U (A ((! (tokens-count("p549") <= tokens-count("p1143"))) U (E (G (tokens-count("p1346") <= 1))))))
   end.
