Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F "cured8312322222"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F "cured732133133"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F (((("cured62123311"?) & (! ! "cured732313332"?))) | (((((! "cured8133311323"?) & ((("dead63131122"?) | ("cured8311312123"?))))) & (! "cured8221112132"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F ((((((! "dead8233133321"?) | (! "spread823112323"?))) & ((((("cured62211221"?) | ("cured8121213123"?))) | ((("cured8131133123"?) & ("cured8333221211"?))))))) & ((((((("cured8323132222"?) | ("cured5223313"?))) & ((("dead8122333322"?) | ("spread822211233"?))))) & ((((("dead712133123"?) & ("dead732333232"?))) & ((("dead723231232"?) | ("spread822313212"?))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F (((((("cured8313133323"?) | (! "cured8112133333"?))) & (((! "cured8223222332"?) & ("dead8123323112"?))))) & (! (((("dead8121231331"?) | ("cured8121332323"?))) | (! "dead8323222111"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F "dead61222222"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F (((("cured8121122221"?) & ("cured8221321311"?))) & (((((! "dead713323311"?) | (! "dead8321232323"?))) & ((("dead63132332"?) & ((("cured8123112213"?) & ("cured8122213211"?))))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-07
  "Automatically generated"
  is:
    A G ((! (((("cured8113233313"?) & ("cured8321122113"?))) | (! "dead711222223"?))) | (((((! "dead732222133"?) | ((("cured63211232"?) & ("dead62133312"?))))) | ("spread812112331"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F ! ((! (("cured731113211"?) | ("dead422311"?))) | ("spread823331211"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F "dead8232123212"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F (((((((("cured8323213113"?) | ("dead62211333"?))) | (! "dead8113221222"?))) & ((("spread832211322"?) & ((("dead8313123132"?) | ("dead8232233112"?))))))) | ("cured8112232113"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "cured63232322"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F ! (("dead8311131233"?) | (! (("cured8313321131"?) & ("cured8321132122"?))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F ! ! (((("cured721112221"?) | ("cured8332213213"?))) & ("cured8332232133"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ! "dead732331211"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "cured731121113"?
  end.
