Property DLCflexbar-PT-8a-CTLCardinality-00
  "Automatically generated"
  is:
    E F A F ((3) <= (#tokens("p1346")))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-01
  "Automatically generated"
  is:
    A ((E F ((3) <= (#tokens("p1970")))) U (((1) <= (#tokens("p196")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-02
  "Automatically generated"
  is:
    ! E X E G ((#tokens("p683")) <= (#tokens("p1267")))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-03
  "Automatically generated"
  is:
    ((((((#tokens("p2553")) <= (#tokens("p2362")))) & (A X ((((#tokens("p318")) <= (#tokens("p1581")))) | (((#tokens("p2805")) <= (#tokens("p1937")))))))) & (A F A G ((2) <= (#tokens("p2462")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-04
  "Automatically generated"
  is:
    A F ((((((((2) <= (#tokens("p952")))) & (((1) <= (#tokens("p391")))))) | (((((3) <= (#tokens("p1762")))) & (((#tokens("p2495")) <= (#tokens("p2229")))))))) & (E G ((#tokens("p2445")) <= (#tokens("p2164")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-05
  "Automatically generated"
  is:
    ((((#tokens("p2948")) <= (#tokens("p1304")))) & (A X A G ((#tokens("p1025")) <= (#tokens("p1452")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-06
  "Automatically generated"
  is:
    A F ((A X ((#tokens("p3575")) <= (#tokens("p1115")))) & (A F ((3) <= (#tokens("p2072")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-07
  "Automatically generated"
  is:
    A G A X ((1) <= (#tokens("p1511")))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-08
  "Automatically generated"
  is:
    E G ! ((((((3) <= (#tokens("p3061")))) & (((#tokens("p1650")) <= (#tokens("p3688")))))) & (((((2) <= (#tokens("p3011")))) | (((1) <= (#tokens("p3693")))))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-09
  "Automatically generated"
  is:
    A G ((((#tokens("p795")) <= (#tokens("p3243")))) | (((3) <= (#tokens("p1312")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-10
  "Automatically generated"
  is:
    A F ((! ((#tokens("p338")) <= (#tokens("p1584")))) & (((! ((2) <= (#tokens("p104")))) | (((((#tokens("p3125")) <= (#tokens("p66")))) | (((#tokens("p535")) <= (#tokens("p454")))))))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-11
  "Automatically generated"
  is:
    E F E G ((((#tokens("p169")) <= (#tokens("p81")))) & (((#tokens("p2607")) <= (#tokens("p583")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-12
  "Automatically generated"
  is:
    A F E G ! ((1) <= (#tokens("p1109")))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-13
  "Automatically generated"
  is:
    A F ((((((((#tokens("p902")) <= (#tokens("p3037")))) | (((#tokens("p2964")) <= (#tokens("p655")))))) | (((1) <= (#tokens("p2648")))))) & (((2) <= (#tokens("p2881")))))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-14
  "Automatically generated"
  is:
    A F ((2) <= (#tokens("p1471")))
  end.
Property DLCflexbar-PT-8a-CTLCardinality-15
  "Automatically generated"
  is:
    E G ((A G ((#tokens("p3206")) <= (#tokens("p2117")))) | (A X ((1) <= (#tokens("p806")))))
  end.
