Property StigmergyElection-PT-11a-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      E (G (tokens-count("p33") <= 1))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      E (G ((! (((! (E ((tokens-count("p36") <= tokens-count("p111")) U (tokens-count("p65") <= tokens-count("p134"))))) & (((A (G (tokens-count("p32") <= 1))) & (A ((tokens-count("p152") <= tokens-count("p81")) U (tokens-count("p65") <= 1)))) & (1 <= tokens-count("p6")))) & (tokens-count("p35") <= tokens-count("p56")))) & (! (! (tokens-count("p12") <= tokens-count("p122"))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      ! (E (F ((! (A ((tokens-count("p1") <= 1) U (! ((tokens-count("p115") <= 1) & (tokens-count("p22") <= tokens-count("p30"))))))) & (E ((! (E (F (tokens-count("p77") <= tokens-count("p79"))))) U (A (X (! (tokens-count("p40") <= 1)))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      (! (E (F (tokens-count("p151") <= 1)))) | (A (F (1 <= tokens-count("p48"))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      ! (! (A (F (E (G (A (F (! (tokens-count("p23") <= tokens-count("p89"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      E (F (A (G ((! (((A (F (1 <= tokens-count("p3")))) | (A (G (tokens-count("p66") <= 1)))) | ((A ((tokens-count("p112") <= 1) U (tokens-count("p78") <= 1))) & (1 <= tokens-count("p76"))))) & ((tokens-count("p61") <= 1) & (! (! ((tokens-count("p16") <= tokens-count("p9")) | (tokens-count("p107") <= tokens-count("p38"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      A ((1 <= tokens-count("p89")) U (A ((E (G (((! (1 <= tokens-count("p87"))) & (E (X (1 <= tokens-count("p100"))))) & (((tokens-count("p42") <= 1) | (tokens-count("p102") <= tokens-count("p27"))) | ((tokens-count("p83") <= 1) | (1 <= tokens-count("p14"))))))) U (A (F ((A (G (1 <= tokens-count("p129")))) & ((E ((tokens-count("p119") <= tokens-count("p48")) U (tokens-count("p125") <= tokens-count("p75")))) & (1 <= tokens-count("p150")))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      E ((A (F (E (F (! (A (X (1 <= tokens-count("p63"))))))))) U ((! (! ((((! (tokens-count("p30") <= 1)) | (E (X (1 <= tokens-count("p105"))))) | (! ((tokens-count("p3") <= tokens-count("p93")) | (tokens-count("p69") <= tokens-count("p83"))))) & ((! ((1 <= tokens-count("p106")) | (tokens-count("p133") <= 1))) | (((1 <= tokens-count("p95")) | (1 <= tokens-count("p135"))) & (! (tokens-count("p95") <= 1))))))) & (tokens-count("p130") <= 1)))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      E (G ((! (A ((((tokens-count("p10") <= 1) | (A (G (tokens-count("p107") <= 1)))) | (E (G (1 <= tokens-count("p21"))))) U (! (E (G (tokens-count("p48") <= tokens-count("p43")))))))) & ((! (tokens-count("p14") <= tokens-count("p37"))) | (((((E (X (tokens-count("p15") <= tokens-count("p62")))) & ((1 <= tokens-count("p143")) & (tokens-count("p41") <= tokens-count("p150")))) | (((tokens-count("p119") <= tokens-count("p37")) | (1 <= tokens-count("p150"))) | ((tokens-count("p6") <= tokens-count("p19")) | (tokens-count("p8") <= 1)))) | (A (G ((1 <= tokens-count("p88")) | (tokens-count("p52") <= tokens-count("p80")))))) & (A (X (((1 <= tokens-count("p32")) | (tokens-count("p106") <= 1)) | (E (X (tokens-count("p59") <= 1))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      ! (A (G ((A (X (! ((A (X (1 <= tokens-count("p140")))) | (E (X (1 <= tokens-count("p72")))))))) | ((! ((! (E ((1 <= tokens-count("p134")) U (tokens-count("p104") <= tokens-count("p121"))))) & (((tokens-count("p129") <= tokens-count("p94")) | (1 <= tokens-count("p62"))) | (! (tokens-count("p15") <= 1))))) | (A (F (! (E ((1 <= tokens-count("p100")) U (1 <= tokens-count("p7")))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (((E ((E ((tokens-count("p113") <= 1) U ((A (G (tokens-count("p97") <= tokens-count("p87")))) & (A (F (tokens-count("p3") <= tokens-count("p51"))))))) U (E (F (A (X (1 <= tokens-count("p114")))))))) & (A (F ((tokens-count("p76") <= 1) & (E ((E ((tokens-count("p98") <= tokens-count("p35")) U (tokens-count("p146") <= 1))) U (E (X (tokens-count("p111") <= 1))))))))) U (E (G (A (((A (X (1 <= tokens-count("p123")))) & (tokens-count("p58") <= tokens-count("p120"))) U (tokens-count("p109") <= 1))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      ((A ((((A (F (tokens-count("p21") <= tokens-count("p38")))) | (! (A (X (1 <= tokens-count("p104")))))) & (! (A (F (E (X (tokens-count("p20") <= 1))))))) U (E ((E (G ((tokens-count("p137") <= tokens-count("p112")) & (tokens-count("p122") <= tokens-count("p48"))))) U (E (F (! (1 <= tokens-count("p46"))))))))) & (E (G (E (G (((! (1 <= tokens-count("p6"))) | (A (G (tokens-count("p100") <= 1)))) | (A (X (1 <= tokens-count("p101")))))))))) | (! (A (X (! ((((E ((1 <= tokens-count("p70")) U (tokens-count("p71") <= 1))) & ((tokens-count("p9") <= tokens-count("p143")) | (tokens-count("p1") <= tokens-count("p110")))) & ((E (F (1 <= tokens-count("p17")))) | (E (G (tokens-count("p72") <= tokens-count("p45")))))) & ((A (F (tokens-count("p128") <= 1))) & (E (F (tokens-count("p50") <= tokens-count("p103"))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      E ((E (G (1 <= tokens-count("p93")))) U (A ((tokens-count("p134") <= 1) U ((A (F ((tokens-count("p96") <= tokens-count("p153")) | (E (X (1 <= tokens-count("p114"))))))) & (E (G (! (A (X (tokens-count("p40") <= 1))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      A (G (! (E (G (! (E (G (E ((tokens-count("p84") <= tokens-count("p17")) U (1 <= tokens-count("p99")))))))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (X (E (F (E (X (1 <= tokens-count("p91")))))))
   end.
Property StigmergyElection-PT-11a-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A (X (E ((E (F (A (F ((tokens-count("p136") <= tokens-count("p33")) & (tokens-count("p1") <= 1)))))) U (! (A (X ((tokens-count("p130") <= tokens-count("p110")) | ((tokens-count("p49") <= 1) | (tokens-count("p38") <= 1)))))))))
   end.
