Property ViralEpidemic-PT-S03D1C1A08-00
  "Automatically generated"
  is:
    A G ((((#tokens("dFactor812212322")) <= (#tokens("dFactor6332121"))) | ((3) <= (#tokens("dFactor71222233")))) & X ((#tokens("dFactor812212322")) <= (#tokens("dFactor6332121"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-01
  "Automatically generated"
  is:
    A (!F !(((#tokens("dFactor823211323")) <= (#tokens("patient213131313"))) & !((2) <= (#tokens("patient212313122")))) & (((#tokens("patient131311212")) <= (#tokens("patient132133221"))) U ((#tokens("dFactor823331231")) <= (#tokens("patient133223212")))) & (((2) <= (#tokens("patient212313122"))) U ((3) <= (#tokens("dFactor72321211")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-02
  "Automatically generated"
  is:
    A G F (G F G (G ((2) <= (#tokens("patient211113212"))) U ((1) <= (#tokens("cFactor821323311")))) | !F (((#tokens("patient321311223")) <= (#tokens("patient31322122"))) | ((2) <= (#tokens("patient211113212")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-03
  "Automatically generated"
  is:
    A (!X G F X G (((3) <= (#tokens("patient2113223"))) | G ((#tokens("patient13233232")) <= (#tokens("cFactor71121322")))) | G ((#tokens("cFactor813112121")) <= (#tokens("patient331212221"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-04
  "Automatically generated"
  is:
    A F (((1) <= (#tokens("patient132133333"))) | (((2) <= (#tokens("dFactor72312123"))) & G X (F ((#tokens("patient211221132")) <= (#tokens("patient12113223"))) & X ((#tokens("patient113333333")) <= (#tokens("patient311311213"))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-05
  "Automatically generated"
  is:
    A X !F G F X F ((#tokens("patient122322113")) <= (#tokens("patient233221131")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-06
  "Automatically generated"
  is:
    A F X X X G !(((2) <= (#tokens("patient311331133"))) | F ((0) <= (#tokens("patient213312113"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-07
  "Automatically generated"
  is:
    A (!X ((3) <= (#tokens("patient21313211"))) U (G (((3) <= (#tokens("patient3113131"))) & G ((3) <= (#tokens("patient21313211")))) | (((#tokens("patient23232121")) <= (#tokens("cFactor42323"))) U ((#tokens("cFactor811331332")) <= (#tokens("patient22311111"))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-08
  "Automatically generated"
  is:
    A (G !(((3) <= (#tokens("patient122233323"))) U ((#tokens("dFactor832131332")) <= (#tokens("patient21213132")))) & X (X ((#tokens("dFactor832131332")) <= (#tokens("patient21213132"))) U ((0) <= (#tokens("patient3321212")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-09
  "Automatically generated"
  is:
    A G X G (G ((0) <= (#tokens("dFactor72123222"))) | !F (!((3) <= (#tokens("cFactor821132331"))) & !((0) <= (#tokens("dFactor72123222")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-10
  "Automatically generated"
  is:
    A F !X X ((#tokens("patient11122233")) <= (#tokens("patient322321")))
  end.
Property ViralEpidemic-PT-S03D1C1A08-11
  "Automatically generated"
  is:
    A (F ((2) <= (#tokens("dFactor71112113"))) U ((#tokens("cFactor811312133")) <= (#tokens("patient232311311"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-12
  "Automatically generated"
  is:
    A !X (G ((#tokens("patient112322332")) <= (#tokens("patient333131231"))) & F G F ((2) <= (#tokens("patient112133113"))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-13
  "Automatically generated"
  is:
    A ((((#tokens("cFactor72311213")) <= (#tokens("patient213312111"))) U ((#tokens("patient223131133")) <= (#tokens("patient22311321")))) | G F X (((#tokens("cFactor72311213")) <= (#tokens("patient213312111"))) | G F ((#tokens("patient223131133")) <= (#tokens("patient22311321")))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-14
  "Automatically generated"
  is:
    A X ((!((#tokens("dFactor823311323")) <= (#tokens("patient121133111"))) | ((3) <= (#tokens("patient23313312")))) & (X G ((3) <= (#tokens("patient2213331"))) | (((#tokens("patient122322132")) <= (#tokens("dFactor72312232"))) U ((#tokens("dFactor823311323")) <= (#tokens("patient121133111"))))))
  end.
Property ViralEpidemic-PT-S03D1C1A08-15
  "Automatically generated"
  is:
    A (((1) <= (#tokens("patient323232321"))) | X F (((#tokens("patient333211123")) <= (#tokens("patient122132313"))) & ((#tokens("dFactor821111221")) <= (#tokens("patient333313231")))) | F (X ((#tokens("dFactor821111221")) <= (#tokens("patient333313231"))) U ((1) <= (#tokens("patient323232321")))))
  end.
