Property StigmergyElection-PT-09a-ReachabilityCardinality-00
   "Automatically generated by Citili v2022"
   is:
      E (F ((1 <= tokens-count("p74")) & ((1 <= tokens-count("p102")) | ((! ((((((tokens-count("p90") <= tokens-count("p68")) | (tokens-count("p34") <= 1)) | ((tokens-count("p18") <= tokens-count("p47")) | (tokens-count("p1") <= 1))) & (! ((1 <= tokens-count("p29")) | (1 <= tokens-count("p47"))))) | (! (((tokens-count("p27") <= tokens-count("p118")) & (1 <= tokens-count("p57"))) | (! (tokens-count("p72") <= tokens-count("p52")))))) | (tokens-count("p68") <= tokens-count("p73")))) & (! ((tokens-count("p28") <= tokens-count("p111")) & (((! (! (tokens-count("p120") <= 1))) | (((tokens-count("p22") <= tokens-count("p4")) | (1 <= tokens-count("p58"))) & (! (1 <= tokens-count("p22"))))) & (! (! (! (tokens-count("p24") <= 1)))))))))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-01
   "Automatically generated by Citili v2022"
   is:
      A (G ((tokens-count("p101") <= tokens-count("p107")) | (! ((1 <= tokens-count("p70")) & (1 <= tokens-count("p63"))))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-02
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((((! (! (! (! ((tokens-count("p88") <= tokens-count("p50")) & (1 <= tokens-count("p24"))))))) & (tokens-count("p30") <= tokens-count("p116"))) & (((tokens-count("p41") <= tokens-count("p108")) | (1 <= tokens-count("p78"))) | (tokens-count("p65") <= 1))) & ((1 <= tokens-count("p91")) & (tokens-count("p84") <= tokens-count("p39"))))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-03
   "Automatically generated by Citili v2022"
   is:
      E (F ((1 <= tokens-count("p97")) & (((((1 <= tokens-count("p28")) & ((((tokens-count("p11") <= 1) & (! (tokens-count("p97") <= tokens-count("p1")))) | ((tokens-count("p65") <= tokens-count("p36")) | (! (1 <= tokens-count("p79"))))) & (((tokens-count("p99") <= 1) & (tokens-count("p30") <= tokens-count("p125"))) | (! ((tokens-count("p114") <= 1) | (1 <= tokens-count("p112"))))))) & (! ((! (! (tokens-count("p16") <= tokens-count("p1")))) & (((! (1 <= tokens-count("p10"))) & (tokens-count("p66") <= 1)) & (((tokens-count("p50") <= tokens-count("p54")) & (1 <= tokens-count("p64"))) & ((tokens-count("p3") <= tokens-count("p114")) & (1 <= tokens-count("p8")))))))) | (tokens-count("p94") <= 1)) & (1 <= tokens-count("p58")))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (tokens-count("p12") <= 1)) & ((tokens-count("p73") <= tokens-count("p123")) & ((tokens-count("p111") <= tokens-count("p109")) & (((((! (tokens-count("p127") <= tokens-count("p77"))) & (tokens-count("p0") <= 1)) & (tokens-count("p122") <= 1)) & (tokens-count("p124") <= tokens-count("p121"))) | ((1 <= tokens-count("p2")) | (! (1 <= tokens-count("p122")))))))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-05
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p118") <= tokens-count("p26")))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p89")))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A (G (! (1 <= tokens-count("p63"))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-08
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p94")))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-09
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p113") <= 1))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! ((! (! (((((1 <= tokens-count("p98")) | (1 <= tokens-count("p46"))) | (1 <= tokens-count("p82"))) & (((1 <= tokens-count("p92")) & (tokens-count("p75") <= tokens-count("p119"))) & (1 <= tokens-count("p118")))) & (((! (tokens-count("p53") <= 1)) & ((tokens-count("p127") <= 1) & (tokens-count("p28") <= 1))) & (((tokens-count("p77") <= 1) | (1 <= tokens-count("p17"))) | ((tokens-count("p53") <= 1) | (1 <= tokens-count("p3")))))))) & (! (((tokens-count("p96") <= tokens-count("p48")) & (! (tokens-count("p56") <= 1))) | (! ((! (1 <= tokens-count("p97"))) | ((1 <= tokens-count("p19")) & (! (1 <= tokens-count("p33"))))))))))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E (F (((! ((tokens-count("p121") <= tokens-count("p26")) | ((((1 <= tokens-count("p4")) & (((1 <= tokens-count("p85")) & (1 <= tokens-count("p102"))) & (tokens-count("p77") <= tokens-count("p13")))) & ((((1 <= tokens-count("p54")) & (1 <= tokens-count("p91"))) & (! (tokens-count("p18") <= 1))) | (1 <= tokens-count("p12")))) | (! (! (tokens-count("p108") <= 1)))))) | ((! (tokens-count("p19") <= 1)) & (! (((((! (1 <= tokens-count("p30"))) | ((tokens-count("p61") <= tokens-count("p61")) | (tokens-count("p63") <= 1))) & ((! (1 <= tokens-count("p96"))) | (! (tokens-count("p28") <= tokens-count("p70"))))) | (! (1 <= tokens-count("p0")))) & (((tokens-count("p85") <= tokens-count("p75")) | (((tokens-count("p118") <= 1) | (tokens-count("p58") <= tokens-count("p123"))) | ((tokens-count("p10") <= 1) | (tokens-count("p65") <= tokens-count("p46"))))) | (tokens-count("p73") <= 1)))))) & ((! (! (((1 <= tokens-count("p55")) | (! (((1 <= tokens-count("p34")) | (1 <= tokens-count("p84"))) & ((tokens-count("p67") <= 1) & (1 <= tokens-count("p124")))))) & (1 <= tokens-count("p111"))))) & (tokens-count("p94") <= 1))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((((! ((((! (tokens-count("p98") <= tokens-count("p20"))) & ((tokens-count("p7") <= tokens-count("p64")) & ((1 <= tokens-count("p26")) & (tokens-count("p30") <= tokens-count("p118"))))) | (1 <= tokens-count("p39"))) & (1 <= tokens-count("p68")))) & (tokens-count("p125") <= tokens-count("p23"))) | ((tokens-count("p34") <= tokens-count("p104")) & (! ((((! (! (tokens-count("p73") <= 1))) & ((tokens-count("p42") <= 1) & ((tokens-count("p72") <= tokens-count("p82")) | (tokens-count("p17") <= tokens-count("p53"))))) & (tokens-count("p126") <= tokens-count("p56"))) & (! (((! (1 <= tokens-count("p69"))) & (1 <= tokens-count("p15"))) | ((tokens-count("p78") <= 1) & ((tokens-count("p68") <= tokens-count("p93")) & (1 <= tokens-count("p97")))))))))) & (1 <= tokens-count("p59"))))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-13
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p108") <= tokens-count("p110")))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (F (! (tokens-count("p89") <= 1)))
   end.
Property StigmergyElection-PT-09a-ReachabilityCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A (G ((((tokens-count("p81") <= 1) & (tokens-count("p63") <= tokens-count("p74"))) & (tokens-count("p8") <= 1)) | ((((tokens-count("p125") <= 1) & (((((! (tokens-count("p6") <= 1)) & ((tokens-count("p22") <= tokens-count("p85")) | (1 <= tokens-count("p64")))) & ((1 <= tokens-count("p109")) & ((tokens-count("p77") <= tokens-count("p102")) & (1 <= tokens-count("p12"))))) | (tokens-count("p53") <= 1)) & (((1 <= tokens-count("p24")) | ((tokens-count("p124") <= tokens-count("p122")) | (! (1 <= tokens-count("p54"))))) & ((((tokens-count("p55") <= tokens-count("p123")) & (tokens-count("p96") <= tokens-count("p22"))) | ((tokens-count("p24") <= tokens-count("p2")) | (tokens-count("p119") <= tokens-count("p16")))) & (tokens-count("p87") <= 1))))) & ((((((! (1 <= tokens-count("p14"))) & (! (tokens-count("p6") <= tokens-count("p84")))) | (! ((1 <= tokens-count("p33")) | (tokens-count("p3") <= tokens-count("p122"))))) | (! ((! (tokens-count("p34") <= tokens-count("p94"))) & ((tokens-count("p9") <= tokens-count("p85")) & (tokens-count("p50") <= 1))))) & ((! (1 <= tokens-count("p51"))) | (! (! (tokens-count("p25") <= 1))))) & (tokens-count("p12") <= tokens-count("p88")))) & ((! (! (! (! (! ((tokens-count("p102") <= tokens-count("p26")) | (tokens-count("p3") <= 1))))))) & (((tokens-count("p34") <= tokens-count("p119")) & (tokens-count("p59") <= 1)) & (! (! (! ((1 <= tokens-count("p1")) & (tokens-count("p119") <= 1))))))))))
   end.
