Property DLCflexbar-PT-8a-00
  "Automatically generated"
  is:
    A G (G "t7336"? & G X !"t9465"?)
  end.
Property DLCflexbar-PT-8a-01
  "Automatically generated"
  is:
    A X (G "t4037"? & F "t26583"?)
  end.
Property DLCflexbar-PT-8a-02
  "Automatically generated"
  is:
    A X G !G !(("t11355"? | "t32217"?) U ("t32217"? & G "t18838"?))
  end.
Property DLCflexbar-PT-8a-03
  "Automatically generated"
  is:
    A F ("t11095"? & X X ("t28627"? | !(X X "t11095"? U G !"t2654"?)))
  end.
Property DLCflexbar-PT-8a-04
  "Automatically generated"
  is:
    A !(!"t26190"? & !X F G (G !("t7352"? & "t15436"?) U "t3340"?))
  end.
Property DLCflexbar-PT-8a-05
  "Automatically generated"
  is:
    A F (X "t31240"? & ("t31240"? | !(F "t12533"? & G "t21122"?)))
  end.
Property DLCflexbar-PT-8a-06
  "Automatically generated"
  is:
    A (F !X G X "t27651"? & X F G ("t436"? | !X "t13116"?))
  end.
Property DLCflexbar-PT-8a-07
  "Automatically generated"
  is:
    A X (G X !("t13410"? | X X "t25940"?) U X "t17692"?)
  end.
Property DLCflexbar-PT-8a-08
  "Automatically generated"
  is:
    A G "t2274"?
  end.
Property DLCflexbar-PT-8a-09
  "Automatically generated"
  is:
    A (X "t13540"? | G "t24398"?)
  end.
Property DLCflexbar-PT-8a-10
  "Automatically generated"
  is:
    A F (!("t8718"? | F !"t31723"?) U ("t31723"? | "t6638"?))
  end.
Property DLCflexbar-PT-8a-11
  "Automatically generated"
  is:
    A ("t9805"? | F ("t26775"? U "t12541"?))
  end.
Property DLCflexbar-PT-8a-12
  "Automatically generated"
  is:
    A (X F "t314"? U G !"t13880"?)
  end.
Property DLCflexbar-PT-8a-13
  "Automatically generated"
  is:
    A !("t18782"? U G F X G "t18782"?)
  end.
Property DLCflexbar-PT-8a-14
  "Automatically generated"
  is:
    A (F "t31693"? | (X "t9756"? & !(G "t30269"? U "t4746"?)))
  end.
Property DLCflexbar-PT-8a-15
  "Automatically generated"
  is:
    A ("t18766"? U ("t26210"? U "t14461"?))
  end.
