Property ViralEpidemic-PT-S04D1C1A06-00
  "Automatically generated"
  is:
    A (G "dead443233"? | (!"dead433343"? & X !"cured62444121"?) | !("dead33433"? | G "dead433343"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-01
  "Automatically generated"
  is:
    A F G (F "dead62231322"? | X "dead61234424"?)
  end.
Property ViralEpidemic-PT-S04D1C1A06-02
  "Automatically generated"
  is:
    A X (("dead5112431"? | G "spread6232231"?) U "cured61213434"?)
  end.
Property ViralEpidemic-PT-S04D1C1A06-03
  "Automatically generated"
  is:
    A F G ("dead62232141"? U F (G (!"cured63121423"? | "cured61142143"?) U (G "spread6423343"? U "cured63121423"?)))
  end.
Property ViralEpidemic-PT-S04D1C1A06-04
  "Automatically generated"
  is:
    A !("dead62234212"? & G "dead61123214"? & (F G "dead5232132"? U F X "cured62244131"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-05
  "Automatically generated"
  is:
    A ("dead61421411"? & F G F !G (G "spread41443"? U "cured5411144"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-06
  "Automatically generated"
  is:
    A !F "cured412331"?
  end.
Property ViralEpidemic-PT-S04D1C1A06-07
  "Automatically generated"
  is:
    A !(G (!G "dead5214113"? | !F "dead5214113"?) U "cured63232343"?)
  end.
Property ViralEpidemic-PT-S04D1C1A06-08
  "Automatically generated"
  is:
    A (G "cured2234"? & ("dead61341414"? U !X G !G ("cured2234"? | G "cured61323413"?)))
  end.
Property ViralEpidemic-PT-S04D1C1A06-09
  "Automatically generated"
  is:
    A !("cured63322142"? & G ("dead424242"? & "cured63322142"? & "cured62334221"?) & X X "spread6233232"?)
  end.
Property ViralEpidemic-PT-S04D1C1A06-10
  "Automatically generated"
  is:
    A X F G ("cured62114342"? & (F G "dead62131213"? U F X G !"dead62313114"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-11
  "Automatically generated"
  is:
    A F X (X F (G "dead63414114"? & X (F "dead61414241"? & F "dead63321414"?)) U "dead63321414"?)
  end.
Property ViralEpidemic-PT-S04D1C1A06-12
  "Automatically generated"
  is:
    A ("dead64111314"? | (F "cured5133341"? U F !("dead64112434"? & "cured5133341"?)))
  end.
Property ViralEpidemic-PT-S04D1C1A06-13
  "Automatically generated"
  is:
    A ("cured63122232"? | !X "spread6221333"? | G (X X "cured64311431"? U "cured64311431"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-14
  "Automatically generated"
  is:
    A X F !X (!"dead62131123"? & (!"dead64114314"? | F !F G "dead62113343"?))
  end.
Property ViralEpidemic-PT-S04D1C1A06-15
  "Automatically generated"
  is:
    A F X G F (F "dead5422412"? U "cured5244334"?)
  end.
