Property Dekker-PT-200-CTLCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (A (F ((A (G (1 <= tokens-count("p0_6")))) & (! (E (G (E (G (tokens-count("p0_5") <= 1)))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (X ((E (X (A (G (E (F (tokens-count("flag_1_11") <= 0))))))) & (tokens-count("flag_0_139") <= 0)))
   end.
Property Dekker-PT-200-CTLCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (! (A (X (A ((tokens-count("p0_140") <= tokens-count("flag_0_28")) U (1 <= tokens-count("p1_154")))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (E ((E (G (A (F (A (F (tokens-count("flag_0_39") <= tokens-count("flag_0_106")))))))) U ((((E (G (1 <= tokens-count("flag_0_32")))) | (A ((1 <= tokens-count("flag_1_84")) U (E (F (tokens-count("p0_156") <= 1)))))) | (A ((! (E (F (tokens-count("flag_0_174") <= tokens-count("p3_98"))))) U (E (F (1 <= tokens-count("p3_113"))))))) & (A (G (! (((tokens-count("p3_109") <= tokens-count("p0_121")) & (1 <= tokens-count("p1_175"))) | (! (tokens-count("flag_1_76") <= tokens-count("p0_198"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (A (F (A (G (A (F (1 <= tokens-count("flag_1_187"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (A (F (E (G (! (E (G (tokens-count("flag_0_157") <= 0)))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((A ((! ((A (X (tokens-count("p1_152") <= 0))) | (E (X (tokens-count("flag_0_191") <= tokens-count("p1_181")))))) U ((! (tokens-count("flag_1_37") <= tokens-count("p0_78"))) & (! (A (X (tokens-count("flag_1_160") <= tokens-count("flag_0_15")))))))) & (A (X (E (G ((tokens-count("flag_0_53") <= 1) | (tokens-count("flag_0_74") <= tokens-count("p3_32"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (F ((1 <= tokens-count("flag_1_4")) & (((! (A (F ((tokens-count("p1_92") <= tokens-count("flag_1_54")) | (1 <= tokens-count("flag_1_12")))))) & ((E ((A (F (tokens-count("flag_1_103") <= tokens-count("p0_48")))) U (tokens-count("flag_0_40") <= tokens-count("p3_170")))) & ((A (F (1 <= tokens-count("flag_0_73")))) | ((1 <= tokens-count("p3_74")) | (tokens-count("flag_0_134") <= 0))))) | (A (F (E (F (tokens-count("p0_21") <= tokens-count("p1_52")))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (E ((A (F (E (X (1 <= tokens-count("p1_58")))))) U ((A (G (tokens-count("p0_105") <= tokens-count("p0_88")))) | (((tokens-count("p3_37") <= 0) & (1 <= tokens-count("p1_105"))) & (E (X (tokens-count("p0_78") <= tokens-count("p0_31"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (G (E (X ((! (tokens-count("flag_0_140") <= tokens-count("p1_64"))) | (A (F ((! (tokens-count("flag_0_10") <= 0)) | ((tokens-count("flag_0_82") <= tokens-count("p0_113")) | (1 <= tokens-count("p0_126"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (A (G ((! (tokens-count("p0_157") <= 0)) | (A ((A ((A (F (tokens-count("flag_1_28") <= 0))) U (! (tokens-count("p1_100") <= tokens-count("flag_1_59"))))) U (A (X ((tokens-count("p0_193") <= 0) & (tokens-count("flag_0_18") <= tokens-count("p0_143"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (X (E (X (E (X (E (F (1 <= tokens-count("p3_133")))))))))
   end.
Property Dekker-PT-200-CTLCardinality-12
   "Automatically generated by Citili v2023"
   is:
      (! ((A ((! (A (G (1 <= tokens-count("flag_1_18"))))) U (E ((A (X (tokens-count("p0_175") <= tokens-count("p1_186")))) U (tokens-count("p1_193") <= tokens-count("flag_1_52")))))) | (A (X (! (E (X (E ((tokens-count("flag_1_124") <= 0) U (tokens-count("p3_79") <= tokens-count("flag_1_188"))))))))))) | (E (X (E (G (! (E (F (A (G (tokens-count("p0_80") <= tokens-count("p0_101")))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-13
   "Automatically generated by Citili v2023"
   is:
      (A (F (A (F (! ((tokens-count("p3_75") <= tokens-count("p1_145")) & (A (X (tokens-count("p3_86") <= 1))))))))) | (A (G ((! ((E (X (1 <= tokens-count("p0_46")))) & (((! (tokens-count("flag_1_111") <= tokens-count("p1_79"))) & ((tokens-count("p0_16") <= 0) & (tokens-count("flag_0_199") <= 1))) | (E (G (1 <= tokens-count("p0_23"))))))) | (((((E (F (tokens-count("flag_0_152") <= 0))) | (A ((1 <= tokens-count("flag_0_100")) U (tokens-count("p3_21") <= tokens-count("p1_25"))))) & (((1 <= tokens-count("p0_129")) | (tokens-count("p0_30") <= 0)) | (A (X (1 <= tokens-count("p0_7")))))) | (! ((A (G (tokens-count("p3_79") <= tokens-count("p1_102")))) | (A (G (1 <= tokens-count("p1_123"))))))) & (! (E (G ((1 <= tokens-count("p0_135")) & (tokens-count("flag_1_147") <= tokens-count("p1_184"))))))))))
   end.
Property Dekker-PT-200-CTLCardinality-14
   "Automatically generated by Citili v2023"
   is:
      (E (X ((A (G (A (X ((1 <= tokens-count("flag_1_160")) | (tokens-count("p3_58") <= 1)))))) & (! ((A (((1 <= tokens-count("flag_0_68")) | (tokens-count("p1_158") <= tokens-count("flag_0_74"))) U (A (X (1 <= tokens-count("p0_0")))))) & (! (((tokens-count("flag_0_27") <= tokens-count("flag_0_158")) | (1 <= tokens-count("flag_0_8"))) | (! (tokens-count("flag_0_116") <= tokens-count("p3_30")))))))))) | (E (F ((((((E (F (tokens-count("flag_1_135") <= 0))) & ((tokens-count("flag_1_69") <= 1) | (tokens-count("p3_103") <= 0))) & ((1 <= tokens-count("flag_0_102")) & (1 <= tokens-count("p3_89")))) & (E (G (! (tokens-count("p3_21") <= tokens-count("flag_0_105")))))) & (E (F (E (X (1 <= tokens-count("p3_49"))))))) & (tokens-count("p1_39") <= 0))))
   end.
Property Dekker-PT-200-CTLCardinality-15
   "Automatically generated by Citili v2023"
   is:
      E (G (E ((E (((E (F (tokens-count("p3_97") <= 1))) | ((E (F (tokens-count("p3_35") <= tokens-count("flag_0_93")))) | (! (tokens-count("p0_22") <= tokens-count("p3_80"))))) U (E (F (! (tokens-count("p1_162") <= tokens-count("p1_28"))))))) U ((E (G (! (1 <= tokens-count("p0_182"))))) & ((! (((1 <= tokens-count("p0_88")) & (1 <= tokens-count("flag_0_82"))) | (E ((1 <= tokens-count("p0_67")) U (1 <= tokens-count("p1_177")))))) | ((A (X (tokens-count("flag_1_71") <= tokens-count("flag_0_58")))) | (! (E (X (tokens-count("p3_0") <= 1))))))))))
   end.
