Property Dekker-PT-200-LTLFireability-00
  "Automatically generated"
  is:
    A (!X (("withdraw_82_102"? | X G "withdraw_1_61"?) U X "withdraw_1_171"?) U ("withdraw_1_171"? & F "withdraw_82_102"?))
  end.
Property Dekker-PT-200-LTLFireability-01
  "Automatically generated"
  is:
    A F ("withdraw_103_130"? | G F "withdraw_103_130"?)
  end.
Property Dekker-PT-200-LTLFireability-02
  "Automatically generated"
  is:
    A (F "withdraw_7_121"? & X (("withdraw_21_154"? U "withdraw_23_73"?) & F X F "withdraw_21_154"?))
  end.
Property Dekker-PT-200-LTLFireability-03
  "Automatically generated"
  is:
    A (!X !("withdraw_141_11"? & X "withdraw_99_162"?) U ("withdraw_141_11"? | F "withdraw_114_1"? | X "withdraw_115_93"?))
  end.
Property Dekker-PT-200-LTLFireability-04
  "Automatically generated"
  is:
    A !("withdraw_46_68"? U (F "withdraw_46_68"? | F (G !"withdraw_118_66"? U "withdraw_5_109"?)))
  end.
Property Dekker-PT-200-LTLFireability-05
  "Automatically generated"
  is:
    A G F G (G X "withdraw_113_63"? & F (X "withdraw_113_63"? & F X G "withdraw_107_160"?))
  end.
Property Dekker-PT-200-LTLFireability-06
  "Automatically generated"
  is:
    A G X G X (G "withdraw_31_28"? | !G !G ("withdraw_39_106"? & "withdraw_121_67"?))
  end.
Property Dekker-PT-200-LTLFireability-07
  "Automatically generated"
  is:
    A (G "withdraw_131_112"? U "withdraw_108_162"?)
  end.
Property Dekker-PT-200-LTLFireability-08
  "Automatically generated"
  is:
    A F !F ("withdraw_6_38"? & X (X "withdraw_14_48"? & G "withdraw_82_146"? & ("withdraw_66_11"? U "withdraw_6_38"?)))
  end.
Property Dekker-PT-200-LTLFireability-09
  "Automatically generated"
  is:
    A (F "withdraw_159_137"? & ((F G "withdraw_168_62"? U "withdraw_111_29"?) U !X "withdraw_129_160"?))
  end.
Property Dekker-PT-200-LTLFireability-10
  "Automatically generated"
  is:
    A F (G F ("withdraw_3_82"? | F "withdraw_34_130"?) & G F ("withdraw_3_82"? U "withdraw_54_173"?))
  end.
Property Dekker-PT-200-LTLFireability-11
  "Automatically generated"
  is:
    A X !("withdraw_76_171"? U X X F !"withdraw_98_86"?)
  end.
Property Dekker-PT-200-LTLFireability-12
  "Automatically generated"
  is:
    A !G X !F (X F "withdraw_27_17"? U "withdraw_105_117"?)
  end.
Property Dekker-PT-200-LTLFireability-13
  "Automatically generated"
  is:
    A F (G ("withdraw_53_150"? & "withdraw_170_162"?) | ("withdraw_11_83"? U !"withdraw_11_83"?))
  end.
Property Dekker-PT-200-LTLFireability-14
  "Automatically generated"
  is:
    A !F G !X F (G "withdraw_96_169"? | F ("withdraw_50_32"? | G F "withdraw_69_106"?))
  end.
Property Dekker-PT-200-LTLFireability-15
  "Automatically generated"
  is:
    A ((("withdraw_41_156"? | "withdraw_147_54"?) U ("withdraw_108_121"? U "withdraw_41_156"?)) U X G !("withdraw_140_155"? U G "withdraw_147_54"?))
  end.
