Property ServersAndClients-PT-200160-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("rep3_c185")) | (((! (is-fireable("req7_c80"))) & ((! (((! (is-fireable("req73_c162"))) | ((! (is-fireable("req131_c11"))) & ((is-fireable("req60_c35")) & (is-fireable("rec_rep169"))))) | ((! (is-fireable("req13_c102"))) | ((! (is-fireable("rep40_c23"))) | (! (is-fireable("rep101_c88"))))))) & (! (is-fireable("req137_c178"))))) & ((! ((! (((! (is-fireable("rep68_c123"))) | ((is-fireable("rep137_c33")) | (is-fireable("rep103_c66")))) | (((is-fireable("rep125_c20")) & (is-fireable("rep0_c67"))) | (is-fireable("rep88_c88"))))) & ((! (((is-fireable("rep68_c164")) & (is-fireable("rep15_c116"))) & ((is-fireable("req79_c199")) | (is-fireable("req30_c178"))))) & ((! (is-fireable("req11_c30"))) & ((! (is-fireable("rep156_c114"))) | (is-fireable("req31_c43"))))))) | ((! ((is-fireable("req72_c171")) | ((is-fireable("req57_c130")) & ((is-fireable("rep100_c71")) & (is-fireable("rep112_c21")))))) | (! (((! (is-fireable("req113_c188"))) & (is-fireable("req83_c172"))) | (! (is-fireable("rep50_c129"))))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("rep78_c193")) & (((is-fireable("rep3_c82")) | (((((! (is-fireable("req116_c119"))) | ((is-fireable("req30_c119")) | (is-fireable("req150_c21")))) | (((! (is-fireable("req111_c20"))) | ((is-fireable("rep97_c146")) & (is-fireable("req29_c82")))) & (! ((is-fireable("req48_c145")) & (is-fireable("req103_c180")))))) & ((((! (is-fireable("req105_c36"))) | (is-fireable("rep131_c127"))) | (((is-fireable("rep26_c101")) & (is-fireable("rep46_c188"))) & ((is-fireable("rep7_c138")) | (is-fireable("req71_c155"))))) | (is-fireable("rep98_c23")))) & (is-fireable("req154_c101")))) | (! (((is-fireable("req20_c31")) | ((is-fireable("req78_c99")) & ((((is-fireable("rep117_c7")) & (is-fireable("rep23_c49"))) | ((is-fireable("req153_c15")) | (is-fireable("req92_c25")))) & (((is-fireable("rep38_c80")) & (is-fireable("req63_c8"))) | (! (is-fireable("req86_c118"))))))) & (is-fireable("req27_c49")))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((is-fireable("req53_c52")) | (! (((! (is-fireable("rep74_c99"))) | (((is-fireable("rep140_c139")) | ((is-fireable("rep30_c17")) & (is-fireable("req7_c17")))) | ((is-fireable("rep142_c92")) | ((is-fireable("req140_c170")) & (is-fireable("rep148_c138")))))) & ((is-fireable("rep142_c57")) & (! ((! (is-fireable("req133_c182"))) & (! (is-fireable("rep158_c147")))))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("rep62_c100")) & (is-fireable("req36_c96"))) & (! ((is-fireable("rep127_c80")) & ((is-fireable("rep59_c64")) & ((! (is-fireable("rep111_c161"))) & (! ((! (is-fireable("req120_c102"))) & ((is-fireable("rep52_c196")) & (is-fireable("rep22_c9")))))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G ((((((((((is-fireable("rep61_c12")) | (is-fireable("rep55_c40"))) | (! (is-fireable("rep32_c132")))) & (! (is-fireable("rep26_c144")))) | (is-fireable("rep147_c80"))) | (((is-fireable("req94_c115")) | (is-fireable("rep144_c108"))) | ((! ((is-fireable("rep43_c82")) & (is-fireable("rep83_c120")))) | (is-fireable("req67_c11"))))) | (is-fireable("req36_c24"))) & (! ((is-fireable("rep135_c75")) & ((! (((is-fireable("req156_c83")) & (is-fireable("rep111_c162"))) & ((is-fireable("req90_c167")) & (is-fireable("req124_c136"))))) & (((! (is-fireable("rep91_c103"))) & ((is-fireable("rep140_c29")) & (is-fireable("req32_c115")))) | (is-fireable("rep58_c46"))))))) & ((((! ((((is-fireable("req66_c35")) | (is-fireable("req72_c140"))) | (! (is-fireable("req137_c106")))) & (((is-fireable("req70_c183")) | (is-fireable("req49_c198"))) | (! (is-fireable("rep18_c2")))))) | (! (is-fireable("rep85_c192")))) | (is-fireable("rep2_c6"))) | ((((((! (is-fireable("req61_c8"))) | ((is-fireable("rep23_c176")) & (is-fireable("rep25_c140")))) | ((is-fireable("req77_c45")) | ((is-fireable("req123_c157")) & (is-fireable("req13_c62"))))) & (((! (is-fireable("req2_c163"))) & ((is-fireable("req87_c15")) | (is-fireable("rep61_c166")))) | ((is-fireable("rep98_c129")) & ((is-fireable("rep32_c178")) & (is-fireable("req106_c51")))))) | (((! ((is-fireable("req71_c12")) | (is-fireable("rep47_c89")))) | (! (is-fireable("req19_c23")))) & (((! (is-fireable("rep7_c32"))) | (! (is-fireable("req119_c21")))) | (! ((is-fireable("req14_c34")) | (is-fireable("rep86_c138"))))))) | ((((((is-fireable("req84_c66")) | (is-fireable("rep144_c124"))) & ((is-fireable("req7_c170")) | (is-fireable("rep140_c58")))) | (! ((is-fireable("rep40_c157")) & (is-fireable("req39_c6"))))) & (! (is-fireable("req33_c163")))) | ((! ((is-fireable("rep42_c81")) & (is-fireable("rep101_c198")))) & (is-fireable("req140_c182"))))))) | (! (is-fireable("rep67_c58")))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep68_c137")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep56_c129")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F ((((is-fireable("rep149_c117")) & ((! ((is-fireable("req71_c164")) | (is-fireable("rep106_c74")))) | ((is-fireable("req9_c171")) | ((((! (is-fireable("req26_c69"))) & (! (is-fireable("rep2_c28")))) | (is-fireable("req105_c36"))) & (! ((is-fireable("rep43_c57")) & ((is-fireable("req79_c58")) & (is-fireable("rep82_c164"))))))))) & (is-fireable("rep158_c185"))) & (! (((! (is-fireable("rep102_c65"))) & ((((((is-fireable("rep130_c23")) | (is-fireable("rep143_c154"))) | ((is-fireable("req76_c26")) & (is-fireable("req30_c177")))) | ((is-fireable("rep154_c161")) & (! (is-fireable("req0_c32"))))) & (((! (is-fireable("rep144_c70"))) & ((is-fireable("req118_c59")) & (is-fireable("req154_c73")))) | (! ((is-fireable("rep39_c35")) & (is-fireable("req157_c92")))))) & (((is-fireable("rep66_c87")) | (((is-fireable("req55_c61")) & (is-fireable("req86_c84"))) & ((is-fireable("rep68_c53")) | (is-fireable("send_req9"))))) & (! ((is-fireable("req159_c132")) & (is-fireable("rep44_c134"))))))) & (((is-fireable("rep132_c14")) & (is-fireable("rep7_c117"))) & (((is-fireable("rep125_c105")) | (! ((! (is-fireable("rep53_c72"))) | ((is-fireable("req156_c18")) | (is-fireable("req33_c41")))))) & ((is-fireable("req105_c183")) | (! (is-fireable("rep7_c142"))))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("req96_c32")) & (is-fireable("req14_c38"))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((is-fireable("rep39_c85")) & (is-fireable("rep2_c155")))) | ((((is-fireable("req18_c55")) | (((! ((is-fireable("req74_c190")) | (is-fireable("rep57_c95")))) & ((is-fireable("req65_c35")) & (((is-fireable("rep35_c87")) | (is-fireable("req37_c120"))) | ((is-fireable("rep149_c62")) | (is-fireable("req134_c176")))))) | (! ((! (is-fireable("req94_c162"))) & ((is-fireable("rep108_c50")) | (is-fireable("rep18_c94"))))))) | ((! (is-fireable("rep39_c47"))) | (! (is-fireable("req76_c74"))))) & (! ((is-fireable("req64_c164")) & ((! (((is-fireable("req103_c81")) & (! (is-fireable("req39_c45")))) | (is-fireable("req24_c176")))) & ((! (is-fireable("req142_c39"))) | (is-fireable("req37_c83")))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G ((((! ((((! ((is-fireable("rep113_c96")) | (is-fireable("req24_c185")))) & ((! (is-fireable("req79_c57"))) | (! (is-fireable("rep134_c118"))))) | ((is-fireable("rep80_c14")) | (((is-fireable("rep57_c88")) | (is-fireable("req128_c158"))) | (! (is-fireable("req10_c144")))))) | (((! ((is-fireable("req38_c85")) | (is-fireable("rep3_c92")))) | (! ((is-fireable("rep26_c136")) & (is-fireable("req75_c145"))))) | ((((is-fireable("rep5_c16")) | (is-fireable("rep138_c198"))) | ((is-fireable("req159_c63")) | (is-fireable("rep71_c27")))) | ((is-fireable("req59_c54")) & ((is-fireable("req139_c173")) & (is-fireable("req138_c148")))))))) | (! (is-fireable("rep142_c45")))) | ((((! ((! (is-fireable("req146_c86"))) & (is-fireable("req62_c151")))) & (((! ((is-fireable("rep122_c68")) | (is-fireable("req34_c145")))) & (is-fireable("req57_c169"))) | (((is-fireable("req113_c67")) & (! (is-fireable("rep79_c75")))) | (! ((is-fireable("req90_c152")) & (is-fireable("req120_c143"))))))) & ((is-fireable("rep56_c77")) & (((! (is-fireable("rep124_c150"))) | (! ((is-fireable("rep48_c121")) & (is-fireable("req133_c87"))))) | (((! (is-fireable("rep121_c28"))) & (! (is-fireable("rep44_c130")))) & (! ((is-fireable("rep38_c196")) & (is-fireable("rep53_c179")))))))) & (is-fireable("req127_c140")))) | (is-fireable("req96_c30"))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep147_c61")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F ((((is-fireable("req106_c122")) & (((! ((((is-fireable("req78_c67")) | (is-fireable("rep7_c190"))) & (is-fireable("rep141_c171"))) & (! ((is-fireable("req105_c23")) & (is-fireable("rep63_c26")))))) | ((is-fireable("req156_c38")) & (((! (is-fireable("rep69_c160"))) & ((is-fireable("rep89_c166")) | (is-fireable("rep77_c12")))) & ((! (is-fireable("rep105_c63"))) | (is-fireable("req97_c165")))))) | (is-fireable("rep88_c14")))) | (((is-fireable("rep130_c162")) | ((is-fireable("rep93_c175")) & (is-fireable("rep102_c71")))) & ((! ((! (is-fireable("req46_c130"))) | (((! (is-fireable("rep39_c136"))) | (is-fireable("rep20_c175"))) & (is-fireable("rep100_c15"))))) | (! (((((is-fireable("rep3_c24")) | (is-fireable("req151_c125"))) & (is-fireable("req29_c182"))) | (((is-fireable("rep115_c28")) & (is-fireable("req74_c196"))) & (! (is-fireable("rep104_c176"))))) & (is-fireable("rep138_c10"))))))) & (is-fireable("rep12_c128"))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (is-fireable("rep153_c29"))) | (((((((is-fireable("req79_c79")) & (is-fireable("req70_c151"))) | (is-fireable("req34_c163"))) | ((! (is-fireable("rep56_c91"))) & ((is-fireable("rep50_c28")) | (is-fireable("rep88_c182"))))) & (! (((! (is-fireable("rep88_c77"))) & (is-fireable("rep110_c144"))) | (((is-fireable("req131_c86")) | (is-fireable("rep22_c49"))) & (is-fireable("rep21_c33")))))) & (! ((is-fireable("req130_c193")) | (is-fireable("rep53_c176"))))) | ((! (((is-fireable("req13_c33")) | (! (is-fireable("req137_c24")))) & ((is-fireable("req149_c106")) & (is-fireable("rep94_c94"))))) & (! (is-fireable("req152_c120"))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("rep107_c58"))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("rep116_c140"))))
   end.
