Property ServersAndClients-PT-400080-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("rep59_c308"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F ((((is-fireable("rep39_c229")) | (((((! ((is-fireable("rep18_c75")) | (is-fireable("rep70_c62")))) & (! ((is-fireable("req15_c249")) | (is-fireable("req18_c305"))))) | (is-fireable("req39_c109"))) | (is-fireable("req38_c229"))) & ((! (! (((is-fireable("rep55_c344")) | (is-fireable("rep69_c256"))) & (is-fireable("rep21_c315"))))) | (is-fireable("req31_c251"))))) & (is-fireable("rep2_c211"))) & (((! ((! ((is-fireable("rep14_c247")) & ((! (is-fireable("rep2_c345"))) | (is-fireable("req7_c280"))))) & (is-fireable("req1_c3")))) & ((is-fireable("rep44_c309")) & ((((((is-fireable("req77_c231")) & (is-fireable("req28_c59"))) & (! (is-fireable("rep17_c98")))) & (((is-fireable("req15_c355")) | (is-fireable("rep32_c193"))) & (is-fireable("req68_c283")))) | ((! (is-fireable("rep37_c30"))) & (! (! (is-fireable("req55_c311")))))) | (is-fireable("rep27_c320"))))) & ((! (is-fireable("req7_c337"))) & (! (is-fireable("rep1_c181")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (G (((! ((! (is-fireable("rep3_c369"))) | (is-fireable("rep34_c148")))) | (! ((! (! (is-fireable("rep48_c44")))) | ((is-fireable("rep6_c141")) | ((is-fireable("rep16_c206")) & ((is-fireable("req68_c263")) & (((is-fireable("req60_c329")) & (is-fireable("rep22_c20"))) & (! (is-fireable("rep21_c241")))))))))) | ((! ((! (is-fireable("rep15_c154"))) | (! ((! (((is-fireable("req57_c262")) | (is-fireable("req9_c346"))) | (! (is-fireable("rep52_c45"))))) & (! (is-fireable("req44_c341"))))))) & (is-fireable("rep16_c102")))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (! (((! ((! (is-fireable("req79_c176"))) | (! (is-fireable("req17_c267"))))) & ((is-fireable("req72_c235")) & ((is-fireable("req44_c11")) & ((is-fireable("req21_c45")) & (is-fireable("req9_c17")))))) & ((is-fireable("rep19_c141")) & ((is-fireable("req5_c143")) & (((is-fireable("rep71_c234")) & (is-fireable("rep48_c358"))) | ((is-fireable("rep60_c221")) & (is-fireable("rep0_c1"))))))))) | (is-fireable("rep27_c50")))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("rep73_c158")) & (! (! ((! (! (! ((is-fireable("req39_c330")) | (is-fireable("rep35_c60")))))) | ((! (! (! (is-fireable("req24_c338"))))) & (! ((! (is-fireable("rep20_c34"))) | (! (is-fireable("req9_c56")))))))))) & ((is-fireable("rep6_c356")) & (! (is-fireable("rep18_c145"))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("rep64_c362"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep79_c131")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (((! ((! ((is-fireable("req36_c330")) | ((((is-fireable("rep29_c363")) & (is-fireable("rep79_c50"))) | (! (is-fireable("req56_c65")))) & ((is-fireable("req55_c341")) | ((is-fireable("rep6_c271")) & (is-fireable("req55_c150"))))))) | ((! (! (! ((is-fireable("req59_c366")) | (is-fireable("req39_c275")))))) | (((! ((is-fireable("rep38_c151")) | (is-fireable("req36_c351")))) | (is-fireable("req13_c332"))) & ((is-fireable("req68_c30")) & (((is-fireable("rep22_c63")) | (is-fireable("rep24_c367"))) | ((is-fireable("rep3_c264")) | (is-fireable("rep72_c267"))))))))) & (((is-fireable("req78_c80")) & (is-fireable("rep42_c111"))) | ((((is-fireable("req54_c240")) | (! ((! (is-fireable("req54_c381"))) | (is-fireable("req61_c176"))))) | (! (! ((is-fireable("req5_c327")) | (is-fireable("req30_c50")))))) | ((((! ((is-fireable("rep5_c111")) | (is-fireable("rep28_c24")))) | (((is-fireable("req37_c118")) | (is-fireable("rep40_c225"))) | ((is-fireable("req73_c199")) & (is-fireable("req35_c271"))))) & ((((is-fireable("rep15_c86")) | (is-fireable("req56_c310"))) | ((is-fireable("rep43_c223")) | (is-fireable("rep72_c151")))) | (((is-fireable("req2_c51")) & (is-fireable("rep55_c69"))) | ((is-fireable("req29_c48")) | (is-fireable("req24_c212")))))) | (! ((((is-fireable("rep79_c4")) & (is-fireable("req47_c290"))) & (! (is-fireable("req45_c317")))) & (is-fireable("rep47_c53")))))))) & (! (is-fireable("req36_c279")))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((((is-fireable("rep4_c363")) & (is-fireable("req30_c20"))) & ((! (is-fireable("req35_c142"))) & (is-fireable("send_req20")))) & (! (((is-fireable("req78_c293")) & (((is-fireable("req25_c212")) | ((! (is-fireable("rep37_c147"))) | ((is-fireable("req67_c48")) & (is-fireable("req66_c88"))))) & (! (((is-fireable("rep67_c110")) & (is-fireable("req28_c336"))) & ((is-fireable("req57_c3")) | (is-fireable("rep41_c95"))))))) | (is-fireable("rep10_c381")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((is-fireable("req26_c226")) & ((! (! (((((is-fireable("req53_c257")) | (is-fireable("rep53_c69"))) & (is-fireable("rep76_c287"))) & (((is-fireable("rep52_c222")) & (is-fireable("rep75_c108"))) & (! (is-fireable("req49_c284"))))) | (! (! ((is-fireable("rep30_c349")) & (is-fireable("rep75_c288")))))))) | (((! (((is-fireable("req52_c230")) & ((is-fireable("req45_c352")) | (is-fireable("req12_c139")))) | ((! (is-fireable("req44_c15"))) & (! (is-fireable("req27_c293")))))) | (! (is-fireable("req79_c94")))) & (is-fireable("req26_c367")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (! (is-fireable("req6_c60")))) & (is-fireable("req52_c180")))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep60_c372")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (! (is-fireable("rep69_c340"))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("req13_c299")) & (is-fireable("rep37_c297"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G (is-fireable("req14_c176")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep71_c199")))
   end.
