Property DLCflexbar-PT-8b-LTLCardinality-00
  "Automatically generated"
  is:
    A ((((3) <= (#tokens("p17619"))) | !(((2) <= (#tokens("p45576"))) U X X X G ((#tokens("p38005")) <= (#tokens("p44395"))))) U X ((3) <= (#tokens("p16362"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-01
  "Automatically generated"
  is:
    A F (((1) <= (#tokens("p4564"))) U ((2) <= (#tokens("p15511"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-02
  "Automatically generated"
  is:
    A !((((2) <= (#tokens("p29579"))) U ((#tokens("p17402")) <= (#tokens("p2907")))) | G ((3) <= (#tokens("p10225"))) | G X X X ((2) <= (#tokens("p29579"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-03
  "Automatically generated"
  is:
    A !(X (F (((#tokens("p40920")) <= (#tokens("p42190"))) U ((#tokens("p34644")) <= (#tokens("p37678")))) U X X ((#tokens("p11148")) <= (#tokens("p12222")))) U (((#tokens("p44044")) <= (#tokens("p41204"))) & X ((#tokens("p40920")) <= (#tokens("p42190")))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-04
  "Automatically generated"
  is:
    A G X (G F G ((2) <= (#tokens("p11918"))) & F (((#tokens("p40631")) <= (#tokens("p24747"))) U !((#tokens("p41015")) <= (#tokens("p29191")))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-05
  "Automatically generated"
  is:
    A X (((2) <= (#tokens("p10211"))) | ((((2) <= (#tokens("p34718"))) & (((2) <= (#tokens("p34718"))) | !G ((3) <= (#tokens("p10610"))))) U X X !((2) <= (#tokens("p10211")))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-06
  "Automatically generated"
  is:
    A (G X ((2) <= (#tokens("p39777"))) & X X (((2) <= (#tokens("p44649"))) | ((3) <= (#tokens("p6989")))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-07
  "Automatically generated"
  is:
    A G X X G F G ((3) <= (#tokens("p41508")))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-08
  "Automatically generated"
  is:
    A (!(((2) <= (#tokens("p8746"))) & X !G !G ((2) <= (#tokens("p8746")))) U X G ((2) <= (#tokens("p8746"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-09
  "Automatically generated"
  is:
    A ((X (((#tokens("p29016")) <= (#tokens("p40908"))) | ((#tokens("p27633")) <= (#tokens("p11025")))) & F G (G X ((#tokens("p29016")) <= (#tokens("p40908"))) U ((#tokens("p29016")) <= (#tokens("p40908"))))) U !((#tokens("p29016")) <= (#tokens("p40908"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-10
  "Automatically generated"
  is:
    A (X (G ((#tokens("p12147")) <= (#tokens("p26345"))) U (((#tokens("p45351")) <= (#tokens("p17285"))) U (((#tokens("p26266")) <= (#tokens("p29346"))) | F ((2) <= (#tokens("p10037")))))) & F X X ((#tokens("p12147")) <= (#tokens("p26345"))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-11
  "Automatically generated"
  is:
    A X ((((#tokens("p7350")) <= (#tokens("p20853"))) U ((2) <= (#tokens("p29163")))) & X X G (((2) <= (#tokens("p29163"))) | ((2) <= (#tokens("p9536"))) | ((#tokens("p7350")) <= (#tokens("p20853")))))
  end.
Property DLCflexbar-PT-8b-LTLCardinality-12
"Automatically generated 2023"
is:
A F G ((#tokens("p27500")) <= (#tokens("p11624")))
end.
Property DLCflexbar-PT-8b-LTLCardinality-13
"Automatically generated"
is:
A (((#tokens("p29903")) <= (#tokens("p41016"))) & (G ((((#tokens("p18131")) <= (#tokens("p33908"))) | ((1) <= (#tokens("p11504"))) | ((#tokens("p3835")) <= (#tokens("p44855")))) & F ((1) <= (#tokens("p11504")))) U (((#tokens("p18131")) <= (#tokens("p33908"))) | ((#tokens("p29032")) <= (#tokens("p20912"))))))
end.
Property DLCflexbar-PT-8b-LTLCardinality-14
"Automatically generated"
is:
A (X ((#tokens("p36001")) <= (#tokens("p21387"))) | !F G (((#tokens("p21277")) <= (#tokens("p32232"))) & X ((3) <= (#tokens("p31669")))))
end.
Property DLCflexbar-PT-8b-LTLCardinality-15
"Automatically generated"
is:
A !(!X ((((#tokens("p24766")) <= (#tokens("p13473"))) U G ((#tokens("p44979")) <= (#tokens("p31108")))) U !((#tokens("p24766")) <= (#tokens("p13473")))) U ((#tokens("p44979")) <= (#tokens("p31108"))))
end.
