Property ServersAndClients-PT-100320-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep135_c36")))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("rep316_c16")) | (is-fireable("rep7_c0"))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep101_c4")))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep292_c94")))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (G (((((! (is-fireable("rep24_c39"))) | ((! (! (((is-fireable("rep315_c97")) | (is-fireable("req62_c36"))) & (! (is-fireable("req78_c49")))))) & (((is-fireable("req169_c17")) | (((is-fireable("req263_c62")) & (is-fireable("rep214_c71"))) & ((is-fireable("rep251_c81")) | (is-fireable("req264_c7"))))) & (! (is-fireable("rep228_c17")))))) | (! (is-fireable("req298_c33")))) | (((! (! (((! (is-fireable("req295_c79"))) & (is-fireable("rep94_c7"))) | (((is-fireable("req153_c45")) & (is-fireable("rep238_c55"))) | ((is-fireable("rep79_c14")) & (is-fireable("rep34_c26"))))))) | (((is-fireable("rep98_c53")) | (! (((is-fireable("rep138_c17")) | (is-fireable("rep95_c20"))) & (! (is-fireable("req316_c88")))))) | ((! (((is-fireable("req108_c27")) | (is-fireable("req292_c15"))) | (is-fireable("rep216_c87")))) & (is-fireable("req161_c36"))))) & (((! ((! (is-fireable("rep125_c2"))) & (((is-fireable("rep139_c63")) & (is-fireable("rep169_c27"))) & ((is-fireable("req198_c13")) & (is-fireable("rep309_c54")))))) & (((! ((is-fireable("req76_c15")) | (is-fireable("req44_c63")))) | (! (is-fireable("rep307_c44")))) | (((is-fireable("req138_c79")) & (! (is-fireable("req106_c83")))) & (((is-fireable("rep290_c27")) | (is-fireable("rep5_c20"))) & (is-fireable("rep79_c66")))))) & (((is-fireable("rep7_c38")) | (is-fireable("req133_c4"))) & (is-fireable("rep61_c22")))))) | ((! (! (((! (((is-fireable("req99_c92")) | (is-fireable("rep105_c41"))) & (! (is-fireable("rep131_c68"))))) | ((! ((is-fireable("req95_c64")) & (is-fireable("req188_c45")))) | (((is-fireable("req303_c51")) & (is-fireable("req279_c2"))) | (is-fireable("rep261_c37"))))) & (is-fireable("rep16_c20"))))) | ((((((is-fireable("req312_c98")) & (((is-fireable("req164_c55")) | (is-fireable("req195_c9"))) | ((is-fireable("rep80_c12")) | (is-fireable("rep202_c48"))))) | ((is-fireable("req193_c87")) | (((is-fireable("rep276_c11")) & (is-fireable("req69_c7"))) | ((is-fireable("req177_c30")) | (is-fireable("rep3_c59")))))) | (! ((is-fireable("req124_c42")) & (is-fireable("req23_c79"))))) & (is-fireable("rep140_c89"))) | (is-fireable("req138_c40"))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (! (is-fireable("rep86_c39")))) | (((((is-fireable("rep124_c65")) & (! ((is-fireable("req9_c85")) & (is-fireable("req224_c84"))))) & (! (is-fireable("rep67_c17")))) | (is-fireable("rep245_c45"))) | (is-fireable("rep180_c84")))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F ((((is-fireable("req176_c8")) & (! (! (! (! (((is-fireable("req49_c17")) | (is-fireable("rep232_c90"))) & (! (is-fireable("rep47_c53"))))))))) & (is-fireable("rep205_c0"))) | ((! ((! ((((! (is-fireable("req182_c82"))) | ((is-fireable("rep30_c13")) | (is-fireable("rep145_c71")))) | (is-fireable("req177_c28"))) & ((is-fireable("rep314_c31")) & ((is-fireable("req219_c56")) | ((is-fireable("req288_c80")) | (is-fireable("req22_c23"))))))) | (! (! (is-fireable("rep43_c50")))))) & (! (((((! (! (is-fireable("rep258_c12")))) | ((! (is-fireable("rep12_c24"))) | ((is-fireable("rep274_c16")) & (is-fireable("rep88_c95"))))) & ((! (! (is-fireable("rep184_c46")))) & (is-fireable("rep78_c41")))) & ((! (((is-fireable("req69_c31")) & (is-fireable("rep78_c81"))) & ((is-fireable("rep102_c16")) & (is-fireable("rep161_c28"))))) | (is-fireable("rep224_c32")))) & ((((((is-fireable("rep48_c36")) | (is-fireable("rep222_c27"))) & ((is-fireable("rep275_c99")) & (is-fireable("rep9_c58")))) & (is-fireable("req255_c66"))) | (is-fireable("rep3_c52"))) | ((is-fireable("rep70_c30")) | ((is-fireable("req266_c31")) | (is-fireable("rep44_c9"))))))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep303_c36")))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (((! (is-fireable("req190_c27"))) | (((! ((is-fireable("req219_c0")) | (is-fireable("rep17_c4")))) | ((! (is-fireable("rep240_c19"))) & ((is-fireable("rep304_c39")) & (is-fireable("req198_c14"))))) & (! (is-fireable("req156_c29"))))) | ((! (! ((! (is-fireable("req22_c49"))) & ((is-fireable("rep85_c52")) & (is-fireable("req187_c58")))))) & (((((is-fireable("req244_c89")) & (is-fireable("rep246_c90"))) & (! (is-fireable("rep165_c41")))) | (is-fireable("req128_c6"))) | (((! (is-fireable("req307_c94"))) & (! (is-fireable("req282_c17")))) & (! (! (is-fireable("rep299_c55"))))))))) | ((is-fireable("rep23_c8")) & (((! ((is-fireable("rep70_c85")) | (! ((is-fireable("rep187_c58")) & (is-fireable("rep180_c77")))))) | (is-fireable("req112_c86"))) & (((! ((is-fireable("req260_c75")) & (! (is-fireable("req88_c31"))))) & ((! ((is-fireable("rep76_c89")) | (is-fireable("req220_c91")))) | (is-fireable("req310_c29")))) & (! (is-fireable("req236_c52")))))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("req92_c76")) & ((is-fireable("rep94_c58")) | (! (! (((is-fireable("rep54_c99")) | ((is-fireable("req233_c46")) | (! (! (is-fireable("req262_c72")))))) & (is-fireable("rep290_c91"))))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((((! ((! ((is-fireable("rep77_c11")) | (is-fireable("req5_c32")))) | (is-fireable("req14_c41")))) & ((! (((is-fireable("req296_c83")) | (is-fireable("rep292_c32"))) & ((is-fireable("req247_c39")) & (is-fireable("rep109_c97"))))) & (! (! (is-fireable("req152_c30")))))) & (is-fireable("req275_c4"))) & ((is-fireable("req288_c59")) | (is-fireable("rep37_c58")))) & (is-fireable("rep31_c42")))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (((! ((! (! ((((is-fireable("rep199_c97")) & (is-fireable("rep175_c22"))) | (is-fireable("rep261_c24"))) | (((is-fireable("req89_c6")) | (is-fireable("req240_c86"))) | (! (is-fireable("rep101_c92"))))))) & ((! (((! (is-fireable("rep107_c48"))) & (is-fireable("rep302_c37"))) & (is-fireable("rep122_c10")))) & (((((is-fireable("req286_c29")) | (is-fireable("rep10_c18"))) | ((is-fireable("req216_c47")) | (is-fireable("rep281_c18")))) & (! ((is-fireable("rep271_c63")) & (is-fireable("rep198_c46"))))) & (! (is-fireable("req44_c28"))))))) | (! (is-fireable("rep142_c18")))) & (((! (! (is-fireable("req128_c75")))) | (! (((is-fireable("rep269_c30")) & (((is-fireable("req162_c92")) | (! (is-fireable("req253_c17")))) | ((is-fireable("rep257_c17")) & (! (is-fireable("rep46_c26")))))) & (is-fireable("req277_c10"))))) & ((is-fireable("rep37_c91")) | (is-fireable("rep96_c9"))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (is-fireable("req177_c77"))) | (is-fireable("req192_c49"))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (G (is-fireable("rep11_c81")))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G ((is-fireable("rep23_c16")) | (((is-fireable("req129_c56")) | (((! (((! (is-fireable("rep314_c66"))) & ((is-fireable("req145_c5")) & (is-fireable("rep35_c45")))) | (((is-fireable("req22_c44")) & (is-fireable("rep94_c14"))) | ((is-fireable("rep136_c80")) & (is-fireable("req305_c4")))))) & (! ((is-fireable("req299_c48")) & (! (is-fireable("rep269_c92")))))) | (! (! ((is-fireable("rep51_c5")) | (is-fireable("req50_c2"))))))) | ((((! (is-fireable("req207_c71"))) & ((((is-fireable("rep148_c71")) & (is-fireable("req254_c78"))) | (! (! (is-fireable("rep103_c56"))))) | ((((is-fireable("req93_c27")) & (is-fireable("rep14_c45"))) & ((is-fireable("req176_c11")) | (is-fireable("rep130_c77")))) | ((! (is-fireable("req315_c23"))) & ((is-fireable("rep187_c8")) | (is-fireable("rep199_c69"))))))) | (is-fireable("rep58_c4"))) | (is-fireable("req68_c76"))))))
   end.
Property ServersAndClients-PT-100320-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("req173_c20")) | (is-fireable("rep162_c73"))))
   end.
