Property gen-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F ! ! (((("rep33_c182"?) & ("rep8_c66"?))) & ((("rep145_c97"?) & ("req70_c182"?))))
  end.
Property gen-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F (("rep157_c78"?) & ((("req32_c56"?) & (! (("req141_c55"?) | ("rep11_c27"?))))))
  end.
Property gen-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F ((! ! ! "rep80_c22"?) & ((("rep32_c10"?) & (((! "req18_c196"?) | (! "req41_c133"?))))))
  end.
Property gen-ReachabilityFireability-03
  "Automatically generated"
  is:
    A G ! "rep142_c78"?
  end.
Property gen-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G ! ! ((! "rep98_c67"?) | ((("req25_c160"?) | ("rep43_c150"?))))
  end.
Property gen-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G ! (("req146_c72"?) & ((("req32_c97"?) & ((("rep133_c34"?) | ("rep110_c82"?))))))
  end.
Property gen-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F "rep84_c148"?
  end.
Property gen-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F "rep24_c39"?
  end.
Property gen-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F ((((! ! "req84_c62"?) & ("rep72_c153"?))) | ("rep109_c118"?))
  end.
Property gen-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G (((((((("req48_c110"?) | ("req114_c80"?))) & ((("req157_c83"?) & ("rep155_c40"?))))) & (! (("req88_c136"?) & ("req37_c155"?))))) | ((("rep118_c100"?) | (! "rep122_c64"?))))
  end.
Property gen-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G (((((("req63_c79"?) | (! "rep114_c68"?))) | (! "rep67_c127"?))) | ((((((("rep6_c182"?) & ("req54_c53"?))) & (! "rep8_c68"?))) & (! (("rep42_c62"?) | ("req64_c141"?))))))
  end.
Property gen-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F (((((((("rep64_c36"?) | ("rep114_c123"?))) & ((("req109_c30"?) | ("rep26_c59"?))))) | ((((("req111_c78"?) | ("rep45_c89"?))) & ((("req30_c92"?) & ("req8_c46"?))))))) & ("rep81_c191"?))
  end.
Property gen-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F (((("req110_c143"?) & ((((("rep109_c140"?) | ("req56_c105"?))) | ("req159_c196"?))))) & ("req32_c55"?))
  end.
Property gen-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F ! ! (((("rep50_c70"?) & ("rep69_c85"?))) | ((("rep62_c92"?) & ("rep83_c55"?))))
  end.
Property gen-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F (((("req40_c153"?) & (((! "req10_c198"?) & ("req79_c135"?))))) & ((("rep132_c66"?) & ((("req159_c47"?) & ("req154_c177"?))))))
  end.
Property gen-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F (((("rep94_c144"?) & (! ! "req52_c2"?))) & ((((((("rep149_c128"?) & ("rep135_c6"?))) & ((("req149_c198"?) | ("req19_c187"?))))) | ((("rep149_c54"?) | ("req159_c188"?))))))
  end.
