Property Dekker-PT-200-LTLCardinality-00
  "Automatically generated"
  is:
    A X (X !F ((2) <= (#tokens("p0_81"))) & G (((#tokens("p1_26")) <= (#tokens("p0_22"))) | X ((2) <= (#tokens("p0_81")))))
  end.
Property Dekker-PT-200-LTLCardinality-01
  "Automatically generated"
  is:
    A G X F G !G X X X X ((#tokens("flag_1_159")) <= (#tokens("p0_124")))
  end.
Property Dekker-PT-200-LTLCardinality-02
  "Automatically generated"
  is:
    A (F ((1) <= (#tokens("p3_121"))) & G ((#tokens("p1_166")) <= (#tokens("flag_0_86"))))
  end.
Property Dekker-PT-200-LTLCardinality-03
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("flag_0_56"))) | G (G (((#tokens("p1_21")) <= (#tokens("p3_86"))) U X ((1) <= (#tokens("p0_100")))) U X (((1) <= (#tokens("p0_100"))) U X ((3) <= (#tokens("flag_0_56"))))))
  end.
Property Dekker-PT-200-LTLCardinality-04
  "Automatically generated"
  is:
    A !G ((((2) <= (#tokens("p0_48"))) U ((#tokens("p0_8")) <= (#tokens("p1_115")))) U X X !X !(X ((3) <= (#tokens("p1_101"))) U ((2) <= (#tokens("p0_48")))))
  end.
Property Dekker-PT-200-LTLCardinality-05
  "Automatically generated"
  is:
    A F !(((#tokens("p0_42")) <= (#tokens("flag_1_45"))) & G (((2) <= (#tokens("flag_0_116"))) | !F X G (((#tokens("flag_0_149")) <= (#tokens("p1_38"))) | !((#tokens("flag_0_149")) <= (#tokens("p1_38"))))))
  end.
Property Dekker-PT-200-LTLCardinality-06
  "Automatically generated"
  is:
    A !(!(((#tokens("flag_1_90")) <= (#tokens("flag_0_131"))) U !((1) <= (#tokens("p3_162")))) & X (!((1) <= (#tokens("p3_162"))) U X ((#tokens("flag_1_90")) <= (#tokens("flag_0_131")))))
  end.
Property Dekker-PT-200-LTLCardinality-07
  "Automatically generated"
  is:
    A !(F !((#tokens("flag_0_197")) <= (#tokens("flag_1_115"))) U F (!(((3) <= (#tokens("flag_1_190"))) | F ((3) <= (#tokens("p3_82")))) U ((1) <= (#tokens("p0_14")))))
  end.
Property Dekker-PT-200-LTLCardinality-08
  "Automatically generated"
  is:
    A ((F (((3) <= (#tokens("p3_71"))) | F ((#tokens("p3_110")) <= (#tokens("p3_118")))) U X ((2) <= (#tokens("flag_1_58")))) U X X ((3) <= (#tokens("p3_71"))))
  end.
Property Dekker-PT-200-LTLCardinality-09
  "Automatically generated"
  is:
    A (!(((#tokens("p1_196")) <= (#tokens("p0_77"))) U X X X X F ((#tokens("p3_65")) <= (#tokens("p3_199")))) & (X X ((#tokens("p1_196")) <= (#tokens("p0_77"))) U ((2) <= (#tokens("p0_166")))))
  end.
Property Dekker-PT-200-LTLCardinality-10
  "Automatically generated"
  is:
    A G F G F (X ((#tokens("p3_134")) <= (#tokens("p1_48"))) | G ((1) <= (#tokens("p3_40"))))
  end.
Property Dekker-PT-200-LTLCardinality-11
  "Automatically generated"
  is:
    A X (X ((3) <= (#tokens("flag_1_197"))) | (F (((#tokens("flag_1_62")) <= (#tokens("p3_151"))) U ((3) <= (#tokens("flag_1_197")))) U F ((#tokens("flag_1_62")) <= (#tokens("p3_151")))))
  end.
Property Dekker-PT-200-LTLCardinality-12
"Automatically generated"
is:
A X F !(!F ((1) <= (#tokens("p1_5"))) | (((1) <= (#tokens("p1_5"))) & G ((1) <= (#tokens("flag_0_167")))))
end.
Property Dekker-PT-200-LTLCardinality-13
"Automatically generated 2023"
is:
A !(X G ((1) <= (#tokens("flag_1_145"))) | (X !(((2) <= (#tokens("p1_199"))) & ((#tokens("p3_85")) <= (#tokens("flag_0_97")))) U !((#tokens("p3_85")) <= (#tokens("flag_0_97")))))
end.
Property Dekker-PT-200-LTLCardinality-14
"Automatically generated"
is:
A X !(X !(((#tokens("p0_179")) <= (#tokens("p0_120"))) & (G ((#tokens("p3_120")) <= (#tokens("flag_0_30"))) | X ((1) <= (#tokens("p0_112"))))) U X F ((#tokens("p1_117")) <= (#tokens("flag_1_112"))))
end.
Property Dekker-PT-200-LTLCardinality-15
"Automatically generated"
is:
A (((2) <= (#tokens("p1_95"))) & X G ((2) <= (#tokens("flag_1_120"))) & G ((3) <= (#tokens("flag_0_63"))))
end.
