Property DLCflexbar-PT-8b-CTLFireability-00
  "Automatically generated"
  is:
    E X A G ! (("t21333"?) & ("t54129"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-01
  "Automatically generated"
  is:
    E ((! ((! "t20107"?) & (! "t55589"?))) U ((((((("t12735"?) & ("t46874"?))) | ((("t13828"?) & ("t23352"?))))) | (A F "t52904"?))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-02
  "Automatically generated"
  is:
    A G ((! E G "t68986"?) | (((! (("t12101"?) | ("t44909"?))) & (A F "t59677"?))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-03
  "Automatically generated"
  is:
    E ((A X ! "t17004"?) U ("t15638"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-04
  "Automatically generated"
  is:
    ! E F (((((("t31215"?) | ("t10166"?))) & ("t35655"?))) & ((("t71047"?) & ("t28061"?))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-05
  "Automatically generated"
  is:
    E ((((! (("t30370"?) | ("t37523"?))) & ("t49714"?))) U (A G ! "t37180"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-06
  "Automatically generated"
  is:
    ((((A G (((("t58150"?) | ("t39096"?))) & (! "t64426"?))) | (A G (((("t54495"?) | ("t60314"?))) | (! "t5335"?))))) | (((A (((("t27062"?) | ("t47856"?))) U ("t28101"?))) & (((((! ! "t26691"?) & (A F "t73463"?))) & (! ((! "t68069"?) | ((("t72670"?) | ("t4640"?))))))))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-07
  "Automatically generated"
  is:
    E F "t61649"?
  end.
Property DLCflexbar-PT-8b-CTLFireability-08
  "Automatically generated"
  is:
    E F "t46129"?
  end.
Property DLCflexbar-PT-8b-CTLFireability-09
  "Automatically generated"
  is:
    ! A X E F (("t2701"?) & ("t40657"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-10
  "Automatically generated"
  is:
    ((! ! E G ! "t54685"?) & (! "t30223"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-11
  "Automatically generated"
  is:
    E F ((! ((! "t43258"?) | (! "t35977"?))) | ((((((("t25026"?) | ("t67997"?))) & ("t19391"?))) & ((((("t42213"?) | ("t6956"?))) | ("t50216"?))))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-12
  "Automatically generated"
  is:
    ! A (("t74341"?) U (A F "t67984"?))
  end.
Property DLCflexbar-PT-8b-CTLFireability-13
  "Automatically generated"
  is:
    ! ((! "t47003"?) & (((((A F "t25247"?) | (E G "t56079"?))) | (A G "t16641"?))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-14
  "Automatically generated"
  is:
    A X E ((! "t43728"?) U ((("t44538"?) | ("t48935"?))))
  end.
Property DLCflexbar-PT-8b-CTLFireability-15
  "Automatically generated"
  is:
    A G E G ! (("t43694"?) & ("t52862"?))
  end.
