Property StigmergyCommit-PT-08a-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A ((((E (G (tokens-count("p223") <= tokens-count("p260")))) & ((! (1 <= tokens-count("p180"))) | (((! ((tokens-count("p303") <= 0) & (1 <= tokens-count("p310")))) & (E (F (tokens-count("p7") <= 0)))) | ((E (G (tokens-count("p155") <= 0))) & (! (A ((tokens-count("p96") <= 1) U (1 <= tokens-count("p101"))))))))) & (A (F (A (G (E ((tokens-count("p310") <= tokens-count("p276")) U (1 <= tokens-count("p258"))))))))) U ((! (E (F (E (G (1 <= tokens-count("p230"))))))) | ((! ((1 <= tokens-count("p1")) & (E ((tokens-count("p221") <= tokens-count("p54")) U ((tokens-count("p154") <= tokens-count("p95")) | (1 <= tokens-count("p294"))))))) & (A (X (! (E ((1 <= tokens-count("p198")) U (tokens-count("p153") <= tokens-count("p156"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (X (((A (F (1 <= tokens-count("p128")))) & (tokens-count("p178") <= tokens-count("p56"))) | (1 <= tokens-count("p65"))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (((((! (E (F (E ((tokens-count("p289") <= tokens-count("p54")) U (tokens-count("p79") <= tokens-count("p309"))))))) & (A (X ((A ((tokens-count("p63") <= tokens-count("p234")) U (1 <= tokens-count("p81")))) | (tokens-count("p184") <= tokens-count("p200")))))) & (A (G (1 <= tokens-count("p172"))))) & (tokens-count("p181") <= tokens-count("p206"))) U (E (F (A (G (A (F ((tokens-count("p127") <= 0) & (1 <= tokens-count("p206"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (G ((A ((((A (F (tokens-count("p190") <= 0))) | (! ((1 <= tokens-count("p19")) & (tokens-count("p48") <= tokens-count("p308"))))) & (A (F (E (G (1 <= tokens-count("p87"))))))) U (A (G ((tokens-count("p226") <= tokens-count("p283")) | ((tokens-count("p283") <= 1) & (tokens-count("p106") <= 1))))))) & (((tokens-count("p110") <= 0) | (E ((E ((1 <= tokens-count("p268")) U (tokens-count("p33") <= 0))) U (tokens-count("p72") <= tokens-count("p112"))))) | (A (X (E (F (A (F (tokens-count("p85") <= tokens-count("p289")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((1 <= tokens-count("p36")) & (1 <= tokens-count("p232"))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A ((A (G (E (F (! (((tokens-count("p11") <= tokens-count("p82")) | (tokens-count("p146") <= 1)) | (E (F (1 <= tokens-count("p104")))))))))) U (A (G (1 <= tokens-count("p2")))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (G (E (F (tokens-count("p100") <= 0))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      E ((A (X ((((((1 <= tokens-count("p309")) | (tokens-count("p292") <= 0)) | (tokens-count("p305") <= 0)) | (A (F (tokens-count("p202") <= 0)))) & (1 <= tokens-count("p290"))) | (E (G (! (1 <= tokens-count("p30")))))))) U (! (A (F (A (X (! ((1 <= tokens-count("p272")) & (tokens-count("p98") <= tokens-count("p44"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      (! ((! (A (X (! ((tokens-count("p140") <= tokens-count("p278")) | (tokens-count("p44") <= tokens-count("p171"))))))) & (E (G ((E ((A ((tokens-count("p2") <= 0) U (tokens-count("p208") <= 1))) U (tokens-count("p145") <= tokens-count("p226")))) | (1 <= tokens-count("p97"))))))) & (E (G (tokens-count("p121") <= 0)))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (X (E (G (tokens-count("p18") <= tokens-count("p244")))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (! (((A (X (tokens-count("p207") <= 1))) | ((1 <= tokens-count("p4")) & (1 <= tokens-count("p74")))) & (E (G (tokens-count("p262") <= tokens-count("p92"))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E ((tokens-count("p68") <= tokens-count("p85")) U ((((A (F (! (E (G (tokens-count("p152") <= tokens-count("p204"))))))) | (A (F ((E (G (tokens-count("p9") <= 0))) | ((tokens-count("p296") <= 0) & (tokens-count("p112") <= 1)))))) & (E (G ((E (F (tokens-count("p240") <= tokens-count("p93")))) & (! ((tokens-count("p60") <= 0) | (tokens-count("p308") <= tokens-count("p17")))))))) & (tokens-count("p87") <= tokens-count("p111"))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      E (G (A (F (A (F (E ((A ((tokens-count("p232") <= 0) U (1 <= tokens-count("p136")))) U ((1 <= tokens-count("p3")) | (1 <= tokens-count("p161"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      ! (A ((A (G (E (X (A (X (tokens-count("p305") <= tokens-count("p77")))))))) U (A (G ((! (E (G (tokens-count("p106") <= tokens-count("p100"))))) & (A ((E (G (tokens-count("p11") <= tokens-count("p286")))) U (E ((tokens-count("p111") <= tokens-count("p80")) U (tokens-count("p50") <= 1))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      E (X (E (G (tokens-count("p203") <= tokens-count("p46")))))
   end.
Property StigmergyCommit-PT-08a-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      E (F (((E (F (! ((! (tokens-count("p200") <= tokens-count("p156"))) & (tokens-count("p173") <= 0))))) | ((((tokens-count("p273") <= tokens-count("p139")) & (((1 <= tokens-count("p231")) | (tokens-count("p65") <= 0)) & ((tokens-count("p197") <= tokens-count("p299")) | (tokens-count("p325") <= 0)))) | (A (F (tokens-count("p179") <= 1)))) | ((A (((1 <= tokens-count("p81")) | (1 <= tokens-count("p296"))) U (! (tokens-count("p82") <= 0)))) | (! ((! (tokens-count("p185") <= tokens-count("p119"))) & ((tokens-count("p39") <= tokens-count("p135")) & (tokens-count("p282") <= tokens-count("p295")))))))) & (((! (A (F (tokens-count("p38") <= tokens-count("p212"))))) | ((! (((tokens-count("p69") <= tokens-count("p301")) & (tokens-count("p158") <= tokens-count("p86"))) | (! (1 <= tokens-count("p293"))))) & (! (E (X (tokens-count("p236") <= 0)))))) | (A (F (A (G (1 <= tokens-count("p135")))))))))
   end.
