Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (G (E (F ((E (G (A (X (is-fireable("spread833332223")))))) & (is-fireable("dead8113231331"))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      (E ((((A (F (is-fireable("spread73132233")))) | (! ((E ((is-fireable("cured8331211321")) U (is-fireable("cured8211132121")))) | (! ((is-fireable("cured732211222")) | (is-fireable("dead8212113323"))))))) & (E ((! (A (F (is-fireable("cured62133212"))))) U (E ((E (X (is-fireable("dead711132332")))) U ((is-fireable("dead61213231")) & (is-fireable("dead8212321311")))))))) U (! ((E (F (A ((is-fireable("spread812322223")) U (is-fireable("spread72321111")))))) | ((! ((is-fireable("cured8132223223")) | (is-fireable("dead721211232")))) & (! ((! (is-fireable("dead721213312"))) & (is-fireable("dead8133233131"))))))))) & (! (E (G (A ((! ((! (is-fireable("dead8222333112"))) & (A (G (is-fireable("dead8223321112")))))) U (is-fireable("spread71333223")))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G (A (F (E (F (is-fireable("cured723313131")))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (G ((! (A ((((A (F (is-fireable("dead713333332")))) | (A (X (is-fireable("cured8122232122"))))) & (E (X (is-fireable("cured8313132333"))))) U (is-fireable("spread6131133"))))) | (((is-fireable("dead8111222312")) | (A (G (E ((is-fireable("cured8231313312")) U (is-fireable("dead8321311222"))))))) & (A ((is-fireable("dead8333321233")) U (E (G (! (is-fireable("dead8221233333"))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (((A (X (! (is-fireable("dead8211323332"))))) & (E (X (! ((is-fireable("spread823213111")) | (A (F (is-fireable("dead8113221233"))))))))) | (((is-fireable("cured8213232111")) | (is-fireable("cured8113231131"))) & ((! (A (X ((is-fireable("spread813123121")) & (is-fireable("dead8311311313")))))) & (! (A (F (is-fireable("cured8313233322")))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (E (G (! ((is-fireable("dead723312231")) | (is-fireable("cured61322231"))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((A (X (((! (is-fireable("cured5123132"))) | (E (F (is-fireable("dead8311211311"))))) & (! (((is-fireable("cured8113113111")) & (is-fireable("cured8332323222"))) & ((is-fireable("dead8322223111")) & (is-fireable("dead62233333")))))))) & (E (F ((is-fireable("dead8113132312")) | ((! (is-fireable("cured8323212322"))) & ((is-fireable("cured8321113211")) & (A (X (is-fireable("cured8312133311")))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (G (! (is-fireable("cured8121113231"))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ((E (X (E (F (E ((E (G (is-fireable("cured8121223111")))) U (is-fireable("dead8123132123")))))))) & (A ((is-fireable("spread73231222")) U ((! ((is-fireable("cured8133233322")) | (((is-fireable("cured712212313")) | (is-fireable("cured711331312"))) & ((is-fireable("cured8213123311")) & (is-fireable("cured8122322223")))))) | (E (X (E (G (is-fireable("dead8312312123")))))))))) | (A (((E (F ((is-fireable("cured8133313313")) & (E (G (is-fireable("cured723133321"))))))) & ((! ((E ((is-fireable("dead8222323122")) U (is-fireable("dead63131213")))) | (A ((is-fireable("cured8322212223")) U (is-fireable("cured8133212331")))))) | (E (G (((is-fireable("dead731123322")) | (is-fireable("cured5232213"))) | ((is-fireable("dead733313323")) | (is-fireable("dead8232322221")))))))) U (is-fireable("spread6333123"))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (! (A (G (A (((E (X (is-fireable("spread71332131")))) | (A (X (is-fireable("cured731311121"))))) U (A (G (A (F (is-fireable("spread822223232"))))))))))) | (E ((E (F ((((is-fireable("dead8312311323")) | (is-fireable("dead63311332"))) | (((is-fireable("cured713223212")) & (is-fireable("dead5132211"))) & (is-fireable("cured8211312132")))) | (E (G (E (G (is-fireable("cured8213212233"))))))))) U (((A (G (! ((is-fireable("cured8112113132")) | (is-fireable("cured8322313322")))))) | (is-fireable("cured8121332322"))) & (A (F (E (F (A (G (is-fireable("dead8122213211")))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E ((E (G ((E (((is-fireable("cured61213211")) & (E (G (is-fireable("dead8112311321"))))) U (E (F (is-fireable("cured8112332232")))))) & ((A (G ((is-fireable("dead8132112312")) | (is-fireable("dead8221323121"))))) & ((A (F (is-fireable("cured5223311")))) & (E (F (is-fireable("dead723313221"))))))))) U ((! ((E (X (E (F (is-fireable("dead8322113123")))))) | ((A (F (E ((is-fireable("spread812113322")) U (is-fireable("cured62131122")))))) | (is-fireable("dead8113122111"))))) | (A ((! (E (X (! (is-fireable("cured8112111132")))))) U (A (G (A (F (is-fireable("cured8112111321"))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (G (! (is-fireable("dead8212111133"))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (F (A (F (E (G (((! (is-fireable("cured8312112131"))) & (! (is-fireable("cured712123321")))) | (! ((is-fireable("cured711122331")) & (is-fireable("cured8232323112"))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      E (G (E (X (A (G (A (F (E (F (is-fireable("dead8122313131")))))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E ((E (F (! (E (X (E (G (is-fireable("dead8111321321"))))))))) U (A (X (A (G (! (is-fireable("dead8323133213"))))))))
   end.
Property ViralEpidemic-PT-S03D1C1A08-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E ((E (F (! (is-fireable("cured8321231321"))))) U ((A (F (((is-fireable("spread822232322")) & (is-fireable("spread832313323"))) | (((! (is-fireable("cured8113121331"))) & (is-fireable("dead711323111"))) & (A (G (is-fireable("cured8213323221")))))))) | (A ((! (is-fireable("cured8213231322"))) U (E ((E (X (is-fireable("dead8311222313")))) U (((is-fireable("cured731223133")) & (is-fireable("cured711123233"))) | ((is-fireable("dead8313113332")) & (is-fireable("cured711133221"))))))))))
   end.
