Property DLCflexbar-PT-8a-00
  "Automatically generated"
  is:
    A X (G "t24028"? & (F "t8687"? | F "t1326"?))
  end.
Property DLCflexbar-PT-8a-01
  "Automatically generated"
  is:
    A (!G ("t11998"? U ("t26999"? U "t4928"?)) & !X G F G "t26041"?)
  end.
Property DLCflexbar-PT-8a-02
  "Automatically generated"
  is:
    A ("t14860"? | G ("t17799"? U X "t17799"?) | X F "t15813"?)
  end.
Property DLCflexbar-PT-8a-03
  "Automatically generated"
  is:
    A G (G X !("t20835"? & G "t8852"?) & X (!"t8852"? | F "t31506"?))
  end.
Property DLCflexbar-PT-8a-04
  "Automatically generated"
  is:
    A ((("t8709"? | "t24505"?) & F !X "t24505"?) | (("t8709"? | G "t30869"?) U "t8709"?))
  end.
Property DLCflexbar-PT-8a-05
  "Automatically generated"
  is:
    A F (!F "t17115"? | F G ("t19984"? | F (F "t20546"? U "t16807"?)))
  end.
Property DLCflexbar-PT-8a-06
  "Automatically generated"
  is:
    A G X X !X !"t16889"?
  end.
Property DLCflexbar-PT-8a-07
  "Automatically generated"
  is:
    A X (F ("t1996"? | G "t21986"?) & F "t25983"?)
  end.
Property DLCflexbar-PT-8a-08
  "Automatically generated"
  is:
    A !(("t4083"? U "t4521"?) & !("t4083"? & X ("t7245"? & "t10284"?)))
  end.
Property DLCflexbar-PT-8a-09
  "Automatically generated"
  is:
    A F (X ("t1272"? & G X F "t15471"?) | F (X F "t30132"? U "t1272"?))
  end.
Property DLCflexbar-PT-8a-10
  "Automatically generated"
  is:
    A !G X G (("t12700"? | "t30067"?) & F !"t12700"?)
  end.
Property DLCflexbar-PT-8a-11
  "Automatically generated"
  is:
    A F X (("t28988"? U G F "t28988"?) U F X ("t7232"? | "t11983"?))
  end.
Property DLCflexbar-PT-8a-12
  "Automatically generated"
  is:
    A !G X ("t21838"? | "t13190"?)
  end.
Property DLCflexbar-PT-8a-13
  "Automatically generated"
  is:
    A ("t11388"? | "t3966"? | G !(X (!"t1025"? | "t26699"?) U ("t11388"? | "t1025"?)))
  end.
Property DLCflexbar-PT-8a-14
  "Automatically generated"
  is:
    A F !((G !"t25973"? U F "t13005"?) U !X "t4998"?)
  end.
Property DLCflexbar-PT-8a-15
  "Automatically generated"
  is:
    A ((!("t17967"? & !G ("t23826"? U "t27799"?)) U !"t27799"?) U ("t4052"? & "t17967"?))
  end.
