Property ServersAndClients-PT-200160-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("rep54_c2"))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (((! (((! ((is-fireable("rep11_c30")) | (is-fireable("rep108_c198")))) | (! ((is-fireable("req45_c22")) | (is-fireable("rep65_c192"))))) | (! ((! (is-fireable("rep13_c73"))) & ((is-fireable("rep79_c115")) & (is-fireable("req60_c94"))))))) & ((is-fireable("req38_c198")) & (! (is-fireable("rep98_c189"))))) | (is-fireable("req13_c103")))) & ((((((is-fireable("req57_c11")) | (! (! ((is-fireable("rep49_c120")) | (is-fireable("req27_c156")))))) | ((! (((is-fireable("rep6_c111")) | (is-fireable("req110_c175"))) & ((is-fireable("rep115_c83")) | (is-fireable("rep8_c4"))))) & (((! (is-fireable("req107_c196"))) | (is-fireable("req56_c161"))) | ((is-fireable("req4_c61")) & ((is-fireable("req72_c92")) & (is-fireable("req36_c163"))))))) & (is-fireable("rep16_c42"))) & ((is-fireable("req81_c183")) | ((((! (! (is-fireable("rep120_c92")))) & (((is-fireable("req159_c16")) & (is-fireable("req9_c35"))) & ((is-fireable("req58_c161")) | (is-fireable("rep20_c14"))))) & ((! ((is-fireable("rep118_c177")) & (is-fireable("rep15_c98")))) & (! (! (is-fireable("rep148_c199")))))) & (! (is-fireable("req28_c84")))))) & (((! (! ((((is-fireable("req8_c123")) & (is-fireable("req113_c102"))) & ((is-fireable("rep81_c93")) | (is-fireable("rep8_c184")))) & (((is-fireable("rep144_c97")) & (is-fireable("req133_c44"))) & (! (is-fireable("req63_c90"))))))) | (is-fireable("req35_c104"))) & ((((is-fireable("req64_c57")) & (! (is-fireable("req16_c10")))) & ((((is-fireable("req152_c87")) | (! (is-fireable("rep148_c83")))) | ((is-fireable("req22_c180")) & (! (is-fireable("rep14_c148"))))) | (! (((is-fireable("req13_c91")) | (is-fireable("req62_c154"))) & (! (is-fireable("rep101_c159"))))))) | ((((is-fireable("rep103_c80")) | ((! (is-fireable("req12_c73"))) | ((is-fireable("rep75_c61")) | (is-fireable("rep89_c137"))))) & ((((is-fireable("rep77_c68")) | (is-fireable("req14_c190"))) | (! (is-fireable("req28_c133")))) & (is-fireable("rep153_c82")))) & ((is-fireable("req5_c73")) & ((is-fireable("rep148_c193")) & (((is-fireable("req90_c59")) & (is-fireable("req65_c116"))) | (! (is-fireable("rec_rep37"))))))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep145_c100")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F ((((is-fireable("rep127_c183")) | (is-fireable("rep110_c165"))) & ((((! (! (((is-fireable("rep4_c91")) & (is-fireable("rep136_c116"))) | ((is-fireable("req142_c127")) & (is-fireable("req111_c129")))))) & (((! ((is-fireable("rep91_c33")) | (is-fireable("rep21_c173")))) & (((is-fireable("req117_c83")) & (is-fireable("rep134_c149"))) | ((is-fireable("req136_c186")) | (is-fireable("rep100_c21"))))) | (((is-fireable("rep15_c131")) & ((is-fireable("req0_c20")) & (is-fireable("rep105_c19")))) & (! ((is-fireable("req104_c18")) | (is-fireable("rep9_c31"))))))) | ((((((is-fireable("rep134_c7")) & (is-fireable("req79_c106"))) & ((is-fireable("req92_c148")) & (is-fireable("rep81_c82")))) & (is-fireable("rep151_c119"))) | ((((is-fireable("rep105_c192")) & (is-fireable("rep88_c55"))) & (! (is-fireable("req50_c38")))) & (! ((is-fireable("req31_c65")) | (is-fireable("rep15_c26")))))) & (! (is-fireable("rep10_c49"))))) & ((is-fireable("rep53_c179")) & (! ((is-fireable("req53_c103")) & (! ((is-fireable("req114_c103")) & (is-fireable("req19_c67"))))))))) & (((is-fireable("rep127_c34")) | (((! (((! (is-fireable("req53_c166"))) & ((is-fireable("req9_c183")) & (is-fireable("req102_c108")))) & (is-fireable("rep3_c77")))) | (! ((is-fireable("req4_c173")) & (((is-fireable("req119_c77")) & (is-fireable("rep89_c167"))) | ((is-fireable("req66_c111")) | (is-fireable("rep92_c18"))))))) & (is-fireable("rep68_c61")))) | (! (is-fireable("rep11_c119"))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (is-fireable("rep140_c33")))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep10_c160")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep139_c160")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("req10_c178")) & (is-fireable("req108_c73"))) & (((((is-fireable("req94_c184")) & (is-fireable("rep119_c98"))) & (is-fireable("rep75_c50"))) & (! (is-fireable("req68_c44")))) & (! ((((! ((! (is-fireable("req13_c16"))) | (! (is-fireable("req133_c167"))))) | ((is-fireable("req138_c70")) & (((is-fireable("req47_c142")) & (is-fireable("rep107_c24"))) & (is-fireable("rep30_c84"))))) | (is-fireable("req83_c70"))) & (((is-fireable("rep14_c31")) & (! (! ((is-fireable("rep112_c8")) | (is-fireable("rep120_c62")))))) | (is-fireable("rep148_c131"))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G ((((((! (((is-fireable("req36_c12")) | ((is-fireable("req34_c165")) & (is-fireable("req10_c14")))) | (! (! (is-fireable("rep42_c32")))))) | ((is-fireable("req27_c181")) | (! (is-fireable("req148_c29"))))) & (! (! (((! (is-fireable("req92_c199"))) & (! (is-fireable("rep38_c4")))) & (is-fireable("rep94_c7")))))) & (is-fireable("req102_c98"))) & (! (! (! ((is-fireable("rep15_c24")) | (! (is-fireable("req111_c103")))))))) | (((((! (! (! (! (is-fireable("rep10_c42")))))) | ((((is-fireable("rep159_c165")) & ((is-fireable("rep127_c106")) | (is-fireable("req139_c162")))) & (((is-fireable("rep69_c88")) & (is-fireable("req92_c131"))) & (! (is-fireable("rep128_c74"))))) & (((is-fireable("rep147_c17")) & (is-fireable("req90_c167"))) | (is-fireable("req141_c113"))))) | (! ((! (((is-fireable("req123_c84")) & (is-fireable("rep146_c31"))) & (is-fireable("rep7_c166")))) | (is-fireable("rep37_c121"))))) | ((! ((is-fireable("rep37_c180")) & ((is-fireable("req7_c109")) | (! (! (is-fireable("rep36_c22"))))))) | ((((is-fireable("rep150_c110")) & (is-fireable("rep140_c21"))) & ((! (! (is-fireable("req75_c40")))) & (! (is-fireable("req78_c143"))))) & ((((! (is-fireable("req61_c76"))) & ((is-fireable("rep32_c118")) | (is-fireable("rep143_c63")))) & (((is-fireable("rep41_c173")) & (is-fireable("rep53_c109"))) | ((is-fireable("rep120_c193")) | (is-fireable("req136_c77"))))) & (is-fireable("req113_c195")))))) | (is-fireable("req5_c28")))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (G ((((! (! (is-fireable("req95_c12")))) & (! (is-fireable("rep45_c148")))) | (((is-fireable("rep26_c189")) | (is-fireable("req36_c194"))) | (((! (is-fireable("rep120_c19"))) & ((((! (is-fireable("req13_c66"))) | ((is-fireable("rep137_c12")) & (is-fireable("rep14_c112")))) | ((! (is-fireable("rep105_c43"))) & ((is-fireable("req78_c76")) & (is-fireable("req14_c56"))))) | (((! (is-fireable("req42_c138"))) & ((is-fireable("req95_c35")) & (is-fireable("rep135_c148")))) & ((is-fireable("rep88_c155")) & ((is-fireable("req76_c95")) | (is-fireable("rep149_c61"))))))) & (is-fireable("req108_c181"))))) | (((is-fireable("req11_c46")) | (! (is-fireable("req131_c146")))) | ((! (((is-fireable("rep103_c117")) | ((is-fireable("req57_c76")) | (((is-fireable("rep121_c22")) | (is-fireable("rep20_c30"))) | ((is-fireable("rep20_c144")) | (is-fireable("req85_c11")))))) & ((is-fireable("req119_c74")) & ((is-fireable("req137_c112")) | (((is-fireable("req153_c89")) & (is-fireable("rep154_c161"))) | (is-fireable("req63_c144"))))))) & ((is-fireable("rep19_c140")) | ((! (is-fireable("rep106_c73"))) | (! (is-fireable("req26_c159")))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((((! (is-fireable("req133_c181"))) | ((((is-fireable("rep118_c113")) | ((is-fireable("req49_c88")) & (is-fireable("rep99_c153")))) & ((is-fireable("rep99_c18")) | ((is-fireable("req15_c68")) & (! (is-fireable("rep38_c184")))))) & ((! (((is-fireable("req41_c67")) & (is-fireable("rep25_c144"))) | ((is-fireable("req74_c1")) | (is-fireable("req67_c175"))))) & ((! ((is-fireable("rep52_c16")) | (is-fireable("rep59_c192")))) & (((is-fireable("rep82_c167")) & (is-fireable("req105_c55"))) & (is-fireable("rep128_c194"))))))) | ((! (is-fireable("rep57_c25"))) & (! ((is-fireable("req28_c99")) | (is-fireable("req43_c13")))))) | (is-fireable("req36_c184")))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((! ((is-fireable("req117_c151")) | (is-fireable("req60_c148")))) & ((is-fireable("req87_c7")) | (is-fireable("req107_c33")))) & (! ((! (! (! (((is-fireable("rep63_c49")) & (is-fireable("req135_c178"))) & ((is-fireable("req52_c85")) & (is-fireable("rep5_c98"))))))) | ((((is-fireable("req45_c48")) & ((! (is-fireable("req138_c81"))) & ((is-fireable("rep118_c160")) & (is-fireable("rep36_c136"))))) | (! (((is-fireable("rep133_c163")) | (is-fireable("req71_c108"))) | (is-fireable("rep28_c46"))))) | ((! ((is-fireable("req63_c2")) | ((is-fireable("rep146_c194")) | (is-fireable("rep132_c57"))))) | (is-fireable("rep149_c61")))))))))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep80_c141")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep5_c175")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("rep63_c153")))
   end.
Property ServersAndClients-PT-200160-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F ((! ((((is-fireable("rep115_c78")) & (is-fireable("req94_c96"))) & (is-fireable("rep55_c135"))) | ((! (! ((! (! (is-fireable("req103_c81")))) | (((is-fireable("rep115_c194")) | (is-fireable("rep87_c8"))) | (! (is-fireable("req8_c67"))))))) | (is-fireable("req117_c159"))))) & ((((((is-fireable("req71_c26")) & (! (((is-fireable("rep73_c197")) & (is-fireable("rep124_c106"))) & (is-fireable("req75_c195"))))) | (is-fireable("req129_c80"))) & ((! (((! (is-fireable("rep40_c127"))) & ((is-fireable("req80_c60")) | (is-fireable("rep89_c81")))) | (! (! (is-fireable("req22_c114")))))) | ((! (((is-fireable("req136_c4")) & (is-fireable("rep106_c12"))) | (! (is-fireable("rep128_c154"))))) & (is-fireable("req65_c53"))))) | ((! (((! ((is-fireable("req45_c64")) & (is-fireable("rep156_c179")))) | (! ((is-fireable("rep46_c76")) & (is-fireable("rep138_c57"))))) | ((! ((is-fireable("rep106_c160")) & (is-fireable("rep137_c45")))) & ((is-fireable("req140_c97")) | ((is-fireable("rep72_c87")) & (is-fireable("req132_c59"))))))) & ((is-fireable("req107_c21")) | (! ((! (is-fireable("rep130_c6"))) & ((is-fireable("req24_c17")) | (is-fireable("req141_c193")))))))) | ((((is-fireable("req38_c85")) & ((is-fireable("req82_c68")) & (is-fireable("req77_c76")))) | (((is-fireable("req153_c199")) & (is-fireable("req16_c34"))) & ((! (! ((is-fireable("req15_c24")) & (is-fireable("rep84_c2"))))) | ((! (! (is-fireable("rec_rep87")))) | (is-fireable("req60_c116")))))) | (((is-fireable("rep91_c29")) & ((! (! (! (is-fireable("req57_c36"))))) | (! (! ((is-fireable("req118_c75")) | (is-fireable("req89_c192"))))))) & ((is-fireable("rep94_c17")) & (((((is-fireable("req130_c131")) | (is-fireable("rep137_c166"))) | (is-fireable("req96_c133"))) | (is-fireable("rep55_c154"))) | (! (((is-fireable("rep127_c14")) | (is-fireable("req67_c193"))) | ((is-fireable("rep109_c36")) & (is-fireable("rep98_c131"))))))))))))
   end.
