Property ServersAndClients-PT-400160-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F ((((((! (is-fireable("req16_c283"))) | (((is-fireable("rep113_c61")) & (is-fireable("rep34_c249"))) | ((! ((is-fireable("rep64_c3")) | (is-fireable("rep39_c178")))) | (is-fireable("rep51_c338"))))) & (((((! (is-fireable("req103_c55"))) | (is-fireable("rep121_c222"))) | ((! (is-fireable("req40_c111"))) | (is-fireable("rep30_c365")))) & (is-fireable("req148_c102"))) & (((! ((is-fireable("rep125_c287")) | (is-fireable("rep106_c95")))) | (! ((is-fireable("rep112_c122")) | (is-fireable("req52_c110"))))) & (is-fireable("req55_c250"))))) | ((is-fireable("req12_c177")) & (is-fireable("req120_c60")))) & ((! ((is-fireable("req95_c294")) | (is-fireable("rep69_c44")))) & (is-fireable("rep36_c280")))) & (((((is-fireable("rep5_c238")) & (((! ((is-fireable("rep51_c68")) | (is-fireable("req107_c153")))) & (((is-fireable("rep64_c29")) & (is-fireable("req78_c305"))) & (! (is-fireable("rep34_c108"))))) & (((is-fireable("rep132_c145")) & (! (is-fireable("rep8_c192")))) & (((is-fireable("req104_c78")) | (is-fireable("rep24_c111"))) | (! (is-fireable("req125_c196"))))))) & (! (! (! ((! (is-fireable("rep141_c227"))) | (! (is-fireable("rep129_c305")))))))) & (is-fireable("req70_c303"))) & ((((((((is-fireable("req143_c377")) | (is-fireable("req79_c384"))) & ((is-fireable("req30_c249")) | (is-fireable("req151_c174")))) | (is-fireable("req151_c286"))) & (! (! ((is-fireable("req111_c324")) | (is-fireable("rep155_c15")))))) | ((((! (is-fireable("rep95_c294"))) | ((is-fireable("rep18_c96")) | (is-fireable("rep105_c20")))) & (! ((is-fireable("req55_c198")) | (is-fireable("req35_c330"))))) | ((! (is-fireable("req62_c349"))) | (is-fireable("req5_c60"))))) | (is-fireable("req36_c234"))) & (((is-fireable("req88_c185")) & (is-fireable("rep120_c290"))) | ((! (is-fireable("rep37_c46"))) | ((! (((is-fireable("rep98_c249")) & (is-fireable("rep4_c326"))) & (! (is-fireable("req66_c209"))))) & ((! ((is-fireable("rep133_c162")) | (is-fireable("rep81_c343")))) & (is-fireable("req50_c370"))))))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("req39_c141")) & ((! ((! ((is-fireable("req159_c359")) | (! ((is-fireable("rep145_c197")) | (is-fireable("rep98_c64")))))) & ((! (is-fireable("req30_c155"))) | (is-fireable("req109_c93"))))) & ((! ((! ((is-fireable("rep13_c43")) & (! (is-fireable("rep64_c123"))))) | ((! (! (is-fireable("req31_c55")))) & (is-fireable("req53_c203"))))) & ((((! ((is-fireable("req159_c121")) | (is-fireable("req62_c170")))) & ((is-fireable("req76_c128")) & (is-fireable("rep11_c214")))) | (! ((is-fireable("rep109_c100")) & ((is-fireable("rep9_c70")) | (is-fireable("rep17_c119")))))) & ((! (! ((is-fireable("rep108_c212")) & (is-fireable("req57_c184"))))) | ((((is-fireable("rep16_c281")) | (is-fireable("req83_c88"))) | ((is-fireable("req58_c98")) & (is-fireable("req125_c37")))) | (! ((is-fireable("rep20_c155")) & (is-fireable("rep70_c232")))))))))) & (! ((! (is-fireable("rep85_c132"))) & (! ((is-fireable("rep8_c91")) | (! ((((is-fireable("rep31_c167")) & (is-fireable("rep53_c200"))) | (! (is-fireable("req108_c3")))) | ((is-fireable("rep1_c49")) & ((is-fireable("rep8_c294")) | (is-fireable("rep110_c378"))))))))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((is-fireable("req155_c79")) | (is-fireable("rep116_c146"))) & ((is-fireable("rep44_c363")) | (((((((is-fireable("rep20_c278")) & (is-fireable("rep116_c69"))) | ((is-fireable("rep142_c206")) | (is-fireable("req47_c123")))) & (is-fireable("req138_c345"))) | (! (is-fireable("rep96_c306")))) & (is-fireable("req83_c223"))) & ((! (is-fireable("req37_c177"))) | ((((! (is-fireable("req112_c63"))) & ((is-fireable("req13_c254")) & (is-fireable("rep92_c221")))) & (is-fireable("req47_c308"))) | (((! (is-fireable("rep66_c84"))) & (! (is-fireable("rep156_c9")))) & (is-fireable("rep34_c206"))))))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep75_c50")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! ((is-fireable("req15_c339")) & (is-fireable("rep68_c343"))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep147_c20")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("rep149_c275")) & (((is-fireable("req131_c318")) | ((! (((! ((is-fireable("rep21_c382")) | (is-fireable("req108_c44")))) & (! ((is-fireable("req156_c266")) & (is-fireable("req8_c231"))))) | ((((is-fireable("req30_c155")) & (is-fireable("req72_c347"))) | (is-fireable("rep110_c74"))) | (is-fireable("rep71_c287"))))) | (is-fireable("req109_c253")))) & (! (((! (is-fireable("rep0_c197"))) & (((((is-fireable("req131_c287")) | (is-fireable("req63_c203"))) | (is-fireable("rep74_c0"))) & (! (is-fireable("req43_c117")))) & (((! (is-fireable("req26_c57"))) | (! (is-fireable("rep142_c313")))) & ((is-fireable("rep37_c227")) & ((is-fireable("rep58_c230")) & (is-fireable("req128_c255"))))))) | ((! ((((is-fireable("rep128_c286")) | (is-fireable("req6_c225"))) & ((is-fireable("rep47_c356")) | (is-fireable("rep70_c142")))) | (! ((is-fireable("rep72_c37")) | (is-fireable("req47_c320")))))) | (! ((((is-fireable("req5_c219")) | (is-fireable("req146_c53"))) | (! (is-fireable("rep78_c228")))) & (((is-fireable("rep8_c277")) & (is-fireable("rep120_c48"))) | ((is-fireable("req154_c164")) & (is-fireable("rep135_c360"))))))))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep92_c129")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep80_c83")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((! ((((is-fireable("rep54_c97")) | (is-fireable("req113_c335"))) & (((! (is-fireable("rep60_c266"))) & (! (is-fireable("rep31_c115")))) & (is-fireable("rep14_c97")))) | (((((is-fireable("rep17_c256")) & (is-fireable("rep108_c133"))) & (is-fireable("rep35_c139"))) | ((is-fireable("req126_c380")) & ((is-fireable("rep107_c268")) & (is-fireable("req133_c26"))))) | (is-fireable("rep119_c4"))))) | (is-fireable("rep61_c360"))) | (is-fireable("rep123_c199")))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep94_c363")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (is-fireable("rep83_c53")))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep14_c329")))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (! (! (! ((! ((is-fireable("rep118_c336")) & (! (is-fireable("req114_c205"))))) | ((! ((is-fireable("req32_c265")) & (is-fireable("rep7_c51")))) | (! (is-fireable("rep78_c238")))))))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (is-fireable("req13_c174"))) & ((is-fireable("rep150_c35")) | (((is-fireable("rep136_c70")) & ((is-fireable("req19_c229")) | (((! (is-fireable("rep72_c129"))) | (! (is-fireable("req78_c284")))) & (is-fireable("req77_c250"))))) & (is-fireable("req113_c81")))))))
   end.
Property ServersAndClients-PT-400160-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((((((is-fireable("rep126_c312")) | ((((is-fireable("req54_c124")) & (is-fireable("req63_c306"))) | (! (is-fireable("rep107_c206")))) & ((! (is-fireable("rep32_c286"))) | (! (is-fireable("req111_c213")))))) | (is-fireable("req138_c213"))) & (! (is-fireable("req33_c266")))) | ((! (((is-fireable("req91_c117")) & (! (is-fireable("req104_c103")))) | (! (is-fireable("rep147_c21"))))) | (! ((((! (is-fireable("req101_c51"))) & ((is-fireable("req117_c386")) | (is-fireable("rep74_c321")))) & (((is-fireable("rep108_c22")) | (is-fireable("rep61_c328"))) & ((is-fireable("rep130_c157")) | (is-fireable("rep146_c22"))))) & (! ((! (is-fireable("req114_c216"))) & (is-fireable("req45_c381")))))))) | ((((is-fireable("req67_c267")) | (! (((! (is-fireable("rep70_c86"))) & ((is-fireable("req114_c107")) | (is-fireable("rep18_c247")))) & (is-fireable("rep45_c346"))))) | (((is-fireable("rep97_c223")) & (((is-fireable("req156_c243")) & ((is-fireable("rep128_c195")) & (is-fireable("rep47_c116")))) | (is-fireable("rep7_c158")))) | (! ((is-fireable("req51_c357")) & ((! (is-fireable("req6_c310"))) | (is-fireable("rep143_c366"))))))) & ((! (is-fireable("rep101_c385"))) & (is-fireable("req0_c50")))))))
   end.
