Property StigmergyCommit-PT-08a-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((1 <= tokens-count("p238")) & (((! (tokens-count("p311") <= tokens-count("p24"))) | ((! ((tokens-count("p315") <= tokens-count("p98")) | (1 <= tokens-count("p192")))) & (((1 <= tokens-count("p12")) | (tokens-count("p222") <= tokens-count("p252"))) | (E (G (tokens-count("p282") <= 1)))))) & (A (G (tokens-count("p194") <= tokens-count("p250"))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      ! (! (A ((A (F (E (X ((tokens-count("p102") <= 1) | (tokens-count("p66") <= 1)))))) U (A (((tokens-count("p10") <= tokens-count("p155")) & ((A ((1 <= tokens-count("p278")) U (tokens-count("p257") <= tokens-count("p283")))) | ((tokens-count("p119") <= 1) | (1 <= tokens-count("p145"))))) U (1 <= tokens-count("p51")))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      A (G (! (E (G (E (X (1 <= tokens-count("p97"))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      A (G (((1 <= tokens-count("p7")) | (! (((1 <= tokens-count("p198")) & (E (X (tokens-count("p251") <= tokens-count("p51"))))) | ((A ((tokens-count("p45") <= 1) U (tokens-count("p86") <= 1))) | (tokens-count("p47") <= tokens-count("p95")))))) | ((E (X ((tokens-count("p32") <= 1) & (! (tokens-count("p300") <= tokens-count("p71")))))) | (((((! (tokens-count("p102") <= tokens-count("p283"))) | ((tokens-count("p218") <= tokens-count("p166")) | (tokens-count("p200") <= 1))) & ((A (G (1 <= tokens-count("p283")))) | ((tokens-count("p248") <= 1) & (1 <= tokens-count("p232"))))) & (E (((tokens-count("p284") <= tokens-count("p197")) | (1 <= tokens-count("p124"))) U (E (X (1 <= tokens-count("p311"))))))) | (A (G (E ((1 <= tokens-count("p103")) U (tokens-count("p54") <= tokens-count("p306"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      E (G (E (G (A (X (tokens-count("p98") <= 1))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      ! (E ((E (X ((A (G (tokens-count("p50") <= tokens-count("p75")))) | (1 <= tokens-count("p8"))))) U (E (G ((tokens-count("p43") <= 1) & (A (G (A (F (tokens-count("p11") <= tokens-count("p188")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      A (X (! ((1 <= tokens-count("p44")) | ((E (((E ((tokens-count("p109") <= 1) U (tokens-count("p104") <= 1))) | (E (G (tokens-count("p83") <= tokens-count("p186"))))) U (tokens-count("p229") <= tokens-count("p248")))) & ((E (F ((tokens-count("p205") <= 1) & (1 <= tokens-count("p6"))))) & (E (((tokens-count("p212") <= tokens-count("p154")) & (tokens-count("p146") <= 1)) U (A (G (tokens-count("p148") <= 1))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      ((E (X ((tokens-count("p296") <= tokens-count("p242")) & (! ((((tokens-count("p53") <= tokens-count("p14")) | (1 <= tokens-count("p31"))) | (! (tokens-count("p265") <= tokens-count("p186")))) & (E (F (tokens-count("p16") <= 1)))))))) | (A ((! (tokens-count("p246") <= 1)) U (E (G (E (G (A (F (tokens-count("p108") <= 1)))))))))) | (E (G (tokens-count("p279") <= 1)))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      E ((E (X (! (tokens-count("p11") <= tokens-count("p264"))))) U (A ((! (A (F (tokens-count("p251") <= tokens-count("p9"))))) U (E ((A (G ((tokens-count("p139") <= 1) | (tokens-count("p151") <= 1)))) U (A (((tokens-count("p249") <= tokens-count("p286")) & (1 <= tokens-count("p218"))) U (! (tokens-count("p32") <= tokens-count("p74"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      E (X (E (G ((! (E (G (A (G (tokens-count("p177") <= 1)))))) & (! (A ((tokens-count("p73") <= 1) U (! (tokens-count("p10") <= 1)))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      A (X (E (G ((E (F (A ((tokens-count("p111") <= tokens-count("p183")) U (1 <= tokens-count("p292")))))) | (A (G (E (F (tokens-count("p269") <= 1)))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      A ((E (F (A (F (((E ((tokens-count("p69") <= tokens-count("p310")) U (1 <= tokens-count("p9")))) & (E (G (tokens-count("p35") <= tokens-count("p106"))))) | (! (! (1 <= tokens-count("p276"))))))))) U (E (X (! (tokens-count("p128") <= 1)))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      A (G (E ((E (F (E ((E (F (tokens-count("p275") <= 1))) U (A ((1 <= tokens-count("p255")) U (tokens-count("p141") <= tokens-count("p278")))))))) U (E (G (E ((tokens-count("p96") <= 1) U (E (G (tokens-count("p201") <= 1))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      ! (! (E (F (! ((A (G (E (G (tokens-count("p250") <= tokens-count("p238")))))) | ((1 <= tokens-count("p141")) | (! ((tokens-count("p283") <= 1) & (1 <= tokens-count("p153"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (G (E (G (tokens-count("p89") <= tokens-count("p320")))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A ((((tokens-count("p108") <= tokens-count("p162")) | (E (F (tokens-count("p101") <= tokens-count("p259"))))) | (A (X (A (F (E ((tokens-count("p271") <= tokens-count("p190")) U (tokens-count("p89") <= 1)))))))) U (! (! (A (F (A (G ((1 <= tokens-count("p240")) | (tokens-count("p236") <= 1)))))))))
   end.
