Property StigmergyElection-PT-09a-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (A ((1 <= tokens-count("p78")) U (! (A ((A (X (tokens-count("p97") <= tokens-count("p107")))) U (A (G (tokens-count("p94") <= tokens-count("p83"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      (E (G (tokens-count("p38") <= 1))) & (A (X (tokens-count("p74") <= tokens-count("p100"))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      A (G (E ((E (((tokens-count("p121") <= tokens-count("p110")) | ((! (1 <= tokens-count("p65"))) & ((tokens-count("p36") <= 1) & (1 <= tokens-count("p10"))))) U (A ((! (1 <= tokens-count("p81"))) U (E (X (tokens-count("p47") <= tokens-count("p20")))))))) U (A (G (! (A (X (tokens-count("p82") <= tokens-count("p88"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p92")))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      ! ((! (! ((A (X (tokens-count("p36") <= 1))) | (A (F ((E ((tokens-count("p79") <= 1) U (tokens-count("p76") <= tokens-count("p89")))) & (A (F (1 <= tokens-count("p104")))))))))) & (E (G (E (X (tokens-count("p96") <= 1))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      E (F ((1 <= tokens-count("p72")) & (E (G (A (X (A (G (1 <= tokens-count("p109"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E (((E (F (E (G (! (E (F (tokens-count("p91") <= 1)))))))) | (E (G (! (A (F (1 <= tokens-count("p38")))))))) U (E (X (E (G (! (A ((tokens-count("p89") <= 1) U (1 <= tokens-count("p67"))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A (G ((E (F (E (G ((! (tokens-count("p53") <= tokens-count("p124"))) | (tokens-count("p64") <= 1)))))) & (! (((! (A (G (tokens-count("p24") <= 1)))) | (! ((A (G (tokens-count("p32") <= 1))) | (! (1 <= tokens-count("p99")))))) | (! ((E (F (tokens-count("p62") <= 1))) | (1 <= tokens-count("p10"))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      E (G (tokens-count("p15") <= tokens-count("p73")))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      ! ((A (G ((((! (A ((1 <= tokens-count("p29")) U (tokens-count("p20") <= tokens-count("p44"))))) | (A (G (1 <= tokens-count("p119"))))) | (1 <= tokens-count("p66"))) | (E (F (E (X (tokens-count("p1") <= tokens-count("p57"))))))))) | (! (A (F (E (((E ((1 <= tokens-count("p5")) U (tokens-count("p46") <= 1))) | (tokens-count("p99") <= 1)) U (A (G (tokens-count("p121") <= 1)))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (X (A (G ((((! (E (F (tokens-count("p61") <= 1)))) & (tokens-count("p65") <= 1)) | ((! ((1 <= tokens-count("p119")) | (tokens-count("p19") <= 1))) | (! (! (tokens-count("p87") <= 1))))) | (! (1 <= tokens-count("p77")))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E (X (! (! (A (G (A ((tokens-count("p82") <= 1) U (E ((1 <= tokens-count("p0")) U (1 <= tokens-count("p23")))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      ! (E (X (((A ((1 <= tokens-count("p31")) U (E (F (1 <= tokens-count("p96")))))) & ((1 <= tokens-count("p15")) | ((A (F (1 <= tokens-count("p103")))) & (E ((tokens-count("p51") <= 1) U (1 <= tokens-count("p12"))))))) & (A (F ((A (F (tokens-count("p45") <= 1))) | (E (F (tokens-count("p26") <= 1)))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (A ((E (G ((A ((tokens-count("p86") <= tokens-count("p60")) U (1 <= tokens-count("p73")))) | (E (X (1 <= tokens-count("p84"))))))) U (! (A (X (A ((tokens-count("p29") <= 1) U (tokens-count("p13") <= tokens-count("p120")))))))))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      ((! (! (E (G (! (! (tokens-count("p90") <= tokens-count("p25")))))))) & (A ((A (F (E (F (tokens-count("p49") <= 1))))) U (((! ((! (tokens-count("p38") <= 1)) & (! (tokens-count("p24") <= 1)))) | ((A (F (tokens-count("p111") <= 1))) & (E (F (tokens-count("p103") <= 1))))) | ((! (tokens-count("p106") <= tokens-count("p125"))) & (E (X (E (G (tokens-count("p96") <= tokens-count("p15"))))))))))) | ((E (G ((E (G (((tokens-count("p93") <= tokens-count("p30")) & (tokens-count("p111") <= 1)) & (1 <= tokens-count("p27"))))) | ((! (A (G (tokens-count("p125") <= 1)))) | ((((1 <= tokens-count("p121")) | (tokens-count("p98") <= tokens-count("p4"))) | (! (tokens-count("p88") <= 1))) & (! (! (1 <= tokens-count("p118"))))))))) & (E (F (((! (E (F (tokens-count("p57") <= 1)))) & (E (F (A ((tokens-count("p16") <= tokens-count("p19")) U (tokens-count("p27") <= 1)))))) & (tokens-count("p0") <= 1)))))
   end.
Property StigmergyElection-PT-09a-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      ! (A (F ((A ((! (A (F (tokens-count("p59") <= 1)))) U (((! (1 <= tokens-count("p43"))) | (A (F (tokens-count("p124") <= tokens-count("p34"))))) | (! ((tokens-count("p48") <= 1) & (1 <= tokens-count("p67"))))))) & (A (F (! (tokens-count("p65") <= 1)))))))
   end.
