Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (tokens-count("p56") <= tokens-count("p275")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((! ((! (((! (tokens-count("p145") <= tokens-count("p235"))) & ((tokens-count("p133") <= 0) & (tokens-count("p129") <= tokens-count("p321")))) & (tokens-count("p186") <= tokens-count("p197")))) & ((((! (tokens-count("p102") <= 1)) & (1 <= tokens-count("p177"))) | ((1 <= tokens-count("p321")) & (1 <= tokens-count("p299")))) & (! (((tokens-count("p69") <= 0) & (1 <= tokens-count("p57"))) & ((! (1 <= tokens-count("p126"))) | (! (tokens-count("p16") <= tokens-count("p23"))))))))) & ((! (tokens-count("p246") <= tokens-count("p298"))) & (((! ((tokens-count("p114") <= 0) | ((tokens-count("p133") <= 1) | (1 <= tokens-count("p15"))))) | (((((1 <= tokens-count("p198")) & (1 <= tokens-count("p221"))) | ((1 <= tokens-count("p9")) & (tokens-count("p139") <= 0))) & (tokens-count("p319") <= tokens-count("p280"))) | ((! ((1 <= tokens-count("p172")) & (tokens-count("p197") <= 1))) | ((tokens-count("p11") <= 0) | ((1 <= tokens-count("p10")) & (tokens-count("p119") <= tokens-count("p67"))))))) & ((! (((! (tokens-count("p69") <= tokens-count("p120"))) | (! (tokens-count("p198") <= tokens-count("p192")))) | ((! (1 <= tokens-count("p61"))) | (tokens-count("p12") <= tokens-count("p240"))))) & ((((1 <= tokens-count("p117")) & (1 <= tokens-count("p36"))) | (1 <= tokens-count("p95"))) | (tokens-count("p11") <= tokens-count("p321")))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G ((tokens-count("p4") <= tokens-count("p79")) & (! (((((tokens-count("p308") <= 1) | ((((tokens-count("p41") <= 0) & (tokens-count("p171") <= tokens-count("p281"))) | (1 <= tokens-count("p244"))) | ((1 <= tokens-count("p45")) & (tokens-count("p6") <= 0)))) & (tokens-count("p10") <= 1)) & (! (tokens-count("p218") <= 0))) & ((! (tokens-count("p230") <= tokens-count("p195"))) & (tokens-count("p119") <= 0))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G (tokens-count("p44") <= tokens-count("p63")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((tokens-count("p45") <= tokens-count("p233")) & ((! (tokens-count("p84") <= tokens-count("p284"))) | (! (tokens-count("p68") <= tokens-count("p101")))))) & (! ((tokens-count("p31") <= 0) | ((((! ((tokens-count("p156") <= 0) & (tokens-count("p88") <= 0))) | (((tokens-count("p200") <= 0) & (1 <= tokens-count("p290"))) | ((tokens-count("p189") <= tokens-count("p181")) | (1 <= tokens-count("p235"))))) & (! (1 <= tokens-count("p238")))) | ((! (((tokens-count("p250") <= tokens-count("p242")) & (tokens-count("p87") <= tokens-count("p238"))) | ((tokens-count("p269") <= 1) | (tokens-count("p192") <= tokens-count("p312"))))) | (((! (1 <= tokens-count("p201"))) | ((1 <= tokens-count("p265")) | (tokens-count("p308") <= tokens-count("p231")))) & (((1 <= tokens-count("p148")) | (tokens-count("p280") <= tokens-count("p60"))) | ((1 <= tokens-count("p114")) & (tokens-count("p292") <= 0))))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (! (tokens-count("p237") <= tokens-count("p296"))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (tokens-count("p92") <= tokens-count("p115"))) & (((! ((! ((tokens-count("p100") <= 0) & (tokens-count("p179") <= 1))) & ((tokens-count("p183") <= 1) | (((tokens-count("p221") <= 0) & (1 <= tokens-count("p165"))) | (! (1 <= tokens-count("p325"))))))) & (! (tokens-count("p157") <= tokens-count("p195")))) | (! ((1 <= tokens-count("p212")) | (! ((! ((tokens-count("p34") <= tokens-count("p26")) & (tokens-count("p221") <= tokens-count("p103")))) | (! (tokens-count("p136") <= tokens-count("p180"))))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((1 <= tokens-count("p144")) | ((! (tokens-count("p3") <= 0)) & ((tokens-count("p322") <= tokens-count("p267")) | (! ((! (tokens-count("p172") <= 0)) | ((1 <= tokens-count("p246")) | (tokens-count("p292") <= 1)))))))) | (tokens-count("p102") <= tokens-count("p155"))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (! (1 <= tokens-count("p111"))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (! (tokens-count("p307") <= 0)))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F (1 <= tokens-count("p312")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((tokens-count("p301") <= tokens-count("p3")) & ((! ((! (tokens-count("p145") <= tokens-count("p306"))) | ((! ((! (1 <= tokens-count("p298"))) | (tokens-count("p190") <= 0))) | ((((tokens-count("p313") <= tokens-count("p222")) | (tokens-count("p125") <= 0)) | (! (tokens-count("p78") <= tokens-count("p254")))) | (tokens-count("p307") <= tokens-count("p243")))))) | ((! ((1 <= tokens-count("p156")) & ((((tokens-count("p20") <= tokens-count("p231")) | (tokens-count("p38") <= tokens-count("p149"))) | (! (tokens-count("p104") <= tokens-count("p86")))) | ((1 <= tokens-count("p85")) & (tokens-count("p139") <= 1))))) | (1 <= tokens-count("p227")))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((((! (1 <= tokens-count("p256"))) | (tokens-count("p52") <= tokens-count("p278"))) & (1 <= tokens-count("p238"))) & (tokens-count("p276") <= 1))) & (1 <= tokens-count("p51"))) | (1 <= tokens-count("p56"))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (1 <= tokens-count("p57")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((! (1 <= tokens-count("p42"))) & (! ((tokens-count("p134") <= tokens-count("p293")) | (tokens-count("p70") <= 0))))) & ((tokens-count("p155") <= tokens-count("p9")) | ((tokens-count("p134") <= tokens-count("p200")) | (((! (1 <= tokens-count("p78"))) & (((! ((1 <= tokens-count("p187")) | (tokens-count("p167") <= 0))) | (tokens-count("p134") <= tokens-count("p148"))) | ((1 <= tokens-count("p232")) | (1 <= tokens-count("p156"))))) & (! (tokens-count("p232") <= 1)))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (((! (tokens-count("p90") <= tokens-count("p135"))) & (((! ((! (tokens-count("p327") <= 0)) | (! ((tokens-count("p10") <= 1) & (tokens-count("p95") <= 0))))) | (! ((((1 <= tokens-count("p282")) | (! (1 <= tokens-count("p318")))) & (((tokens-count("p151") <= tokens-count("p138")) | (tokens-count("p17") <= tokens-count("p65"))) | (tokens-count("p54") <= tokens-count("p12")))) & (1 <= tokens-count("p120"))))) | (1 <= tokens-count("p209")))) | (! ((((! (tokens-count("p157") <= 1)) & (1 <= tokens-count("p20"))) | ((! ((! (1 <= tokens-count("p154"))) & (! (1 <= tokens-count("p81"))))) | ((tokens-count("p39") <= 0) | ((1 <= tokens-count("p86")) | (((tokens-count("p110") <= 1) | (tokens-count("p197") <= 0)) | (1 <= tokens-count("p29"))))))) | ((tokens-count("p24") <= 1) | (! ((((1 <= tokens-count("p284")) | (tokens-count("p103") <= tokens-count("p10"))) & (! (tokens-count("p312") <= 1))) | ((1 <= tokens-count("p318")) & ((! (tokens-count("p263") <= 0)) | (! (1 <= tokens-count("p235"))))))))))))
   end.
