Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-00
  "Automatically generated"
  is:
    ! E G ! A G "spread71121323"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-01
  "Automatically generated"
  is:
    (((("cured8212331132"?) | (E X ! (("dead8223211132"?) | ("dead733311233"?))))) & (! ((((A F "dead422222"?) | (! (("spread823211212"?) & ("cured8133311211"?))))) & (A F (("cured713312111"?) | ("dead8312132213"?))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-02
  "Automatically generated"
  is:
    ((A G E F "spread813223331"?) | (E G "dead711132221"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-03
  "Automatically generated"
  is:
    ((((A ((! "dead8332113233"?) U ((("cured8311131311"?) & ("spread821231232"?))))) | (E F E G "cured8121221332"?))) | (! E (((("dead8333133222"?) & ("cured8113132223"?))) U (! "cured8112332312"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-04
  "Automatically generated"
  is:
    A ((! E G "dead732232113"?) U ("cured733131111"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-05
  "Automatically generated"
  is:
    E F A X "cured713223222"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-06
  "Automatically generated"
  is:
    (("dead8333311323"?) | (E (((((("dead8312131332"?) | ("dead8122112323"?))) & ((("dead8321321323"?) & ("dead8331112223"?))))) U (E F "spread72311131"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-07
  "Automatically generated"
  is:
    (((("cured8111113313"?) & (E G (((("dead723323212"?) & ("dead8211213213"?))) | ("dead61132333"?))))) | (((! E (("dead8311133133"?) U ("dead8221231123"?))) & (A F A X "spread832311323"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-08
  "Automatically generated"
  is:
    E F "cured8222213321"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-09
  "Automatically generated"
  is:
    A F (("dead8331112321"?) | (((E X "cured62313131"?) | (E G "dead5122332"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-10
  "Automatically generated"
  is:
    ((((A G ! (("cured8123131323"?) & ("cured722232331"?))) & (A X ! (("cured62122311"?) | ("spread71122223"?))))) | (((A G E G "dead8223221232"?) & (! E X (("cured732122222"?) | ("cured723333311"?))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-11
  "Automatically generated"
  is:
    A G ! (((((("cured61111321"?) | ("dead8231311223"?))) & (! "spread73211321"?))) | (A G "dead8211222112"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-12
  "Automatically generated"
  is:
    ! A F (((((("cured8122111112"?) | ("cured8122333311"?))) & (! "cured8222322121"?))) & (E F "dead8323223112"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-13
  "Automatically generated"
  is:
    ((A X "cured722211211"?) | (A G ! "cured8312232321"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-14
  "Automatically generated"
  is:
    ((A ((E F "dead8223111212"?) U ("cured8333312131"?))) | ((("cured8221112333"?) | ("cured62312122"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-15
  "Automatically generated"
  is:
    A G A F "cured8232323313"?
  end.
