Property ViralEpidemic-PT-S03D1C1A08-00
  "Automatically generated"
  is:
    A !(G ("dead733111133"? | F "dead8122112231"?) U F !X ("dead8112231222"? | "cured8221132331"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-01
  "Automatically generated"
  is:
    A (!("dead8232223231"? U F "dead731321132"?) | F (!"dead8232223231"? & "spread73131221"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-02
  "Automatically generated"
  is:
    A !(F G F ("spread821123212"? & G "dead8313312313"?) & (G "cured8133113121"? U "cured8133113121"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-03
  "Automatically generated"
  is:
    A G X (G ("dead8122123322"? U "dead731113311"?) | X G "cured8211311212"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-04
  "Automatically generated"
  is:
    A F G (X ("spread823122331"? & "cured8123211122"?) | (F "cured8123211122"? & G F G "cured8112212131"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-05
  "Automatically generated"
  is:
    A !(!"spread813222223"? | G (G ("cured8211313131"? | "dead8122122221"?) U F !"spread813222223"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-06
  "Automatically generated"
  is:
    A (G !"spread822213223"? U G "dead8233131233"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-07
  "Automatically generated"
  is:
    A (G ("spread813113111"? | "cured8232321322"?) | !X G "cured8312113331"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-08
  "Automatically generated"
  is:
    A G (!"dead62113213"? & G ("cured8311322132"? & "spread72221313"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-09
  "Automatically generated"
  is:
    A (G "cured8222212111"? | G !F !("dead8121132231"? & G !"cured8223233132"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-10
  "Automatically generated"
  is:
    A X X X F X (F !"dead8122223333"? U "dead8122223333"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-11
  "Automatically generated"
  is:
    A F (F (G "cured733131131"? U X ("cured8321113112"? | G "dead8131321111"? | F "dead8131321111"?)) U "cured733131131"?)
  end.
Property ViralEpidemic-PT-S03D1C1A08-12
  "Automatically generated"
  is:
    A X F G X X "dead8231313221"?
  end.
Property ViralEpidemic-PT-S03D1C1A08-13
  "Automatically generated"
  is:
    A (G F ("dead8113333331"? & "dead8131312233"?) | G !("spread811222212"? & !G "dead711221213"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-14
  "Automatically generated"
  is:
    A ((!"cured733122323"? & ("dead8111133221"? | "cured732122233"?)) | (X !("cured8311222333"? U "cured732122233"?) U !"dead8223333211"?))
  end.
Property ViralEpidemic-PT-S03D1C1A08-15
  "Automatically generated"
  is:
    A (X F "dead8223331211"? & ("dead8112322122"? U ("dead733131212"? & !"dead8112311122"?)))
  end.
