Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-00
  "Automatically generated"
  is:
    A (F "dead62122122"? U !X (!F "cured8112132123"? | X !("cured8112132123"? | !"cured8131111112"?)))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-01
  "Automatically generated"
  is:
    A (("cured8221233213"? | "dead8111323232"?) U F X (F "dead8111323232"? & ("dead8221312232"? | X "cured8332232332"?)))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-02
  "Automatically generated"
  is:
    A (X (X !F !("dead8222133211"? & (!"dead733221311"? | "dead8122311312"?)) U "dead733221311"?) U "cured731123113"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-03
  "Automatically generated"
  is:
    A (F "dead733212121"? & (X ((G !"cured8312121313"? U "cured62131323"?) U X "cured8122122231"?) U "cured8112323233"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-04
  "Automatically generated"
  is:
    A G !"dead713211312"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-05
  "Automatically generated"
  is:
    A ((("cured8322212212"? & X X X "dead61312132"?) U G X "dead63322212"?) U !F !"dead712221323"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-06
  "Automatically generated"
  is:
    A (G "dead8131321312"? & G F !"spread71122111"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-07
  "Automatically generated"
  is:
    A G ("cured5231231"? U (G ("dead8112313331"? U "cured5331231"?) U !G F "cured5231231"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-08
  "Automatically generated"
  is:
    A (X "cured8232333113"? U ("cured8312231332"? | G ("cured62232212"? U G "cured8312231332"?)))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-09
  "Automatically generated"
  is:
    A !((F X "dead8122312111"? U ("cured8111113312"? & X !"cured8311322223"?)) | X X X "dead8122312111"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-10
  "Automatically generated"
  is:
    A (G "cured8331231111"? | X ("cured713212133"? | G "cured713212133"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-11
  "Automatically generated"
  is:
    A (G X "dead8333212233"? & ("dead8333212233"? U "dead8221213332"?) & (X "cured8313232321"? U "dead8221213332"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-12
"Automatically generated"
is:
A F ((F "dead8113223333"? & X "dead61133222"?) U !("dead8322313211"? | !F X !"dead8322313211"?))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-13
"Automatically generated"
is:
A G (!"cured8331322133"? & "dead8112133321"? & (("cured8331322133"? & G "dead8211112312"?) U F X !"dead8211112312"?))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-14
"Automatically generated"
is:
A ("dead8211213311"? | !X G F "dead8211213311"? | !X ("cured8331133333"? | "cured711212111"?))
end.
Property ViralEpidemic-PT-S03D1C1A08-LTLFireability-15
"Automatically generated"
is:
A !(G !"cured8213132123"? U "dead721311332"?)
end.
