Property DLCflexbar-PT-8b-00
  "Automatically generated"
  is:
    A G "t19673"?
  end.
Property DLCflexbar-PT-8b-01
  "Automatically generated"
  is:
    A (F "t56096"? | G ("t48970"? & "t40699"?) | !F (!"t56096"? & X "t40699"?))
  end.
Property DLCflexbar-PT-8b-02
  "Automatically generated"
  is:
    A (("t54993"? | G F "t12540"?) U (G X "t31529"? & !G "t63090"?))
  end.
Property DLCflexbar-PT-8b-03
  "Automatically generated"
  is:
    A (X F ("t8114"? & "t54786"?) U X (F "t47887"? & G F "t236"?))
  end.
Property DLCflexbar-PT-8b-04
  "Automatically generated"
  is:
    A (!G F "t51507"? | !F G (F ("t47771"? | "t51507"?) U G "t67062"?))
  end.
Property DLCflexbar-PT-8b-05
  "Automatically generated"
  is:
    A X X F G !G F (X F "t65979"? & F X "t62481"?)
  end.
Property DLCflexbar-PT-8b-06
  "Automatically generated"
  is:
    A (X X F G ("t74635"? U G "t16058"?) U X ("t20155"? & "t16058"?))
  end.
Property DLCflexbar-PT-8b-07
  "Automatically generated"
  is:
    A (X (X "t6921"? & X G "t36446"?) & ("t36446"? | G "t69293"? | F "t6179"?))
  end.
Property DLCflexbar-PT-8b-08
  "Automatically generated"
  is:
    A ("t58889"? & ("t23686"? | X "t58889"? | G "t33220"?) & F ("t58889"? | !"t23686"?))
  end.
Property DLCflexbar-PT-8b-09
  "Automatically generated"
  is:
    A G X "t34316"?
  end.
Property DLCflexbar-PT-8b-10
  "Automatically generated"
  is:
    A (F "t58057"? U F X ("t6092"? & "t75980"? & (!"t23789"? U "t6092"?)))
  end.
Property DLCflexbar-PT-8b-11
  "Automatically generated"
  is:
    A !X X X G "t42676"?
  end.
Property DLCflexbar-PT-8b-12
  "Automatically generated"
  is:
    A ((("t33529"? & "t40124"?) | F !("t40124"? | F "t52504"?)) U X ("t8056"? & "t40124"?))
  end.
Property DLCflexbar-PT-8b-13
  "Automatically generated"
  is:
    A !((F "t3465"? | G !X !G "t3465"?) U G "t3465"?)
  end.
Property DLCflexbar-PT-8b-14
  "Automatically generated"
  is:
    A (F "t64247"? | G X !"t2580"?)
  end.
Property DLCflexbar-PT-8b-15
  "Automatically generated"
  is:
    A !("t73673"? | X G ("t12249"? | !"t73673"?))
  end.
