Property ServersAndClients-PT-400080-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! (((! (((! (is-fireable("req55_c325"))) | (! ((is-fireable("rep45_c2")) & (is-fireable("rep7_c199"))))) & (is-fireable("req31_c211")))) & ((is-fireable("rec_rep246")) & (((! ((is-fireable("rep26_c354")) & (is-fireable("rep27_c252")))) & ((is-fireable("req10_c254")) & ((is-fireable("rep66_c231")) & (is-fireable("req58_c140"))))) & ((((is-fireable("req13_c107")) & (is-fireable("req9_c111"))) & ((is-fireable("req57_c122")) | (is-fireable("rep29_c118")))) | (is-fireable("rep15_c93")))))) | ((! ((! (is-fireable("rep24_c299"))) | ((is-fireable("rep54_c245")) | (is-fireable("req44_c219"))))) & ((! ((is-fireable("rep57_c46")) | (! (is-fireable("rep0_c111"))))) & (is-fireable("rep66_c296")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep12_c205")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (((! (((is-fireable("req78_c89")) & (is-fireable("req68_c314"))) | ((is-fireable("req5_c2")) | (is-fireable("req34_c91"))))) | ((! (is-fireable("req58_c284"))) | (! ((is-fireable("req19_c87")) & (is-fireable("req62_c102")))))) | ((! (((is-fireable("rep48_c358")) | (is-fireable("rep73_c383"))) & (! (is-fireable("rep35_c15"))))) | (is-fireable("rep36_c4"))))) & (is-fireable("req58_c184"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((((! (((is-fireable("rep4_c331")) & ((is-fireable("req23_c293")) & (is-fireable("rep15_c13")))) | (is-fireable("rep56_c313")))) & (((! ((is-fireable("rep72_c312")) & (is-fireable("rep66_c163")))) & ((! (is-fireable("rep50_c202"))) | (! (is-fireable("req60_c149"))))) | ((is-fireable("rep50_c65")) & (((is-fireable("rep16_c107")) | (is-fireable("rep2_c229"))) & (! (is-fireable("rep66_c58"))))))) | (! (((is-fireable("req68_c230")) & (((is-fireable("rep24_c167")) & (is-fireable("rep42_c354"))) & ((is-fireable("rep32_c97")) | (is-fireable("rep59_c71"))))) & (is-fireable("rep56_c187"))))) | (! (is-fireable("rep75_c114")))) | (! (((! (((is-fireable("req45_c328")) & (is-fireable("rep68_c292"))) & (is-fireable("rep60_c182")))) | ((! ((is-fireable("req48_c90")) & (is-fireable("rep67_c148")))) | (is-fireable("req8_c75")))) & (is-fireable("rep36_c190")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (((((! ((! (is-fireable("req22_c275"))) & ((is-fireable("rep23_c219")) | (is-fireable("req34_c163"))))) | (((is-fireable("rep60_c333")) & (! (is-fireable("rep32_c131")))) & (! ((is-fireable("req11_c172")) & (is-fireable("req15_c39")))))) | ((! ((is-fireable("req7_c369")) | ((is-fireable("req25_c47")) | (is-fireable("req66_c240"))))) | ((! ((is-fireable("req68_c103")) & (is-fireable("rep68_c67")))) | (((is-fireable("rep8_c124")) | (is-fireable("rep69_c254"))) | (! (is-fireable("rep26_c95"))))))) & (! (is-fireable("rep4_c334")))) & ((! ((((! (is-fireable("rep76_c279"))) | ((is-fireable("rep35_c392")) | (is-fireable("req29_c148")))) | (((is-fireable("req67_c297")) | (is-fireable("rep79_c397"))) | (is-fireable("rep32_c314")))) | (is-fireable("req76_c150")))) & (is-fireable("req9_c29"))))) & ((! ((! (is-fireable("rec_rep131"))) | (! (((! ((is-fireable("req69_c251")) | (is-fireable("rep8_c92")))) | (((is-fireable("rep57_c180")) & (is-fireable("rep10_c390"))) & (is-fireable("req23_c9")))) & (! ((is-fireable("rep18_c59")) & (is-fireable("req33_c170")))))))) & ((! (is-fireable("req72_c38"))) | (is-fireable("req62_c207"))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((((((((is-fireable("rep75_c210")) | (is-fireable("rep45_c363"))) & (is-fireable("req31_c353"))) & (is-fireable("req43_c183"))) & ((! (is-fireable("req1_c17"))) & (is-fireable("req60_c67")))) | (! ((! (is-fireable("rep10_c144"))) | ((is-fireable("rep10_c264")) | (is-fireable("rep71_c13")))))) & (! ((((is-fireable("req75_c344")) & ((is-fireable("req8_c294")) & (is-fireable("rep25_c59")))) & ((! (is-fireable("rep35_c275"))) | ((is-fireable("req50_c260")) & (is-fireable("req60_c155"))))) & ((! (is-fireable("rep31_c320"))) | (is-fireable("rep65_c162")))))) & (((((is-fireable("rep48_c275")) | (is-fireable("req65_c178"))) | ((! ((is-fireable("rep13_c159")) & (is-fireable("rep51_c145")))) | ((! (is-fireable("rep34_c84"))) | ((is-fireable("req69_c331")) | (is-fireable("rep13_c201")))))) | (! ((! (is-fireable("req54_c100"))) | (((is-fireable("req64_c254")) | (is-fireable("rep33_c190"))) | (is-fireable("rep18_c129")))))) | ((! ((is-fireable("rep8_c101")) & (((is-fireable("rep3_c224")) | (is-fireable("rep60_c267"))) & (is-fireable("rep45_c179"))))) | (is-fireable("req66_c332")))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((((is-fireable("req57_c78")) | (is-fireable("req34_c311"))) | (! (is-fireable("rep66_c59")))) & (((! ((is-fireable("rep54_c44")) & (is-fireable("req77_c87")))) & (! (((is-fireable("req20_c295")) | (! (is-fireable("rep63_c319")))) & (is-fireable("rep13_c194"))))) | ((((! ((((is-fireable("req76_c64")) & (is-fireable("req16_c100"))) & ((is-fireable("req76_c33")) | (is-fireable("req59_c342")))) & (! ((is-fireable("rep72_c362")) | (is-fireable("req9_c365")))))) | (is-fireable("rep70_c322"))) | (! (((! (is-fireable("rec_rep13"))) | ((! (is-fireable("req14_c107"))) | (is-fireable("rep45_c34")))) & ((is-fireable("req16_c380")) | (! ((is-fireable("rep53_c200")) & (is-fireable("rep4_c386")))))))) & (is-fireable("req50_c136"))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("rep64_c338"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F ((((is-fireable("rep73_c152")) & (! ((is-fireable("rep29_c274")) & (! (((is-fireable("req76_c221")) | ((is-fireable("rep59_c193")) & (is-fireable("req14_c374")))) & (! ((is-fireable("req33_c120")) & (is-fireable("rep78_c76"))))))))) & (! (is-fireable("rep58_c263")))) & ((! ((is-fireable("req62_c96")) & (! ((! (is-fireable("req59_c30"))) | (! (is-fireable("rep8_c260"))))))) & (((is-fireable("req38_c334")) & ((! (((! (is-fireable("rep53_c301"))) | (! (is-fireable("req33_c273")))) & (! (is-fireable("req7_c204"))))) | (((((is-fireable("rep24_c287")) & (is-fireable("rep59_c189"))) & ((is-fireable("req48_c212")) | (is-fireable("req28_c173")))) & (((is-fireable("rep59_c181")) & (is-fireable("req75_c50"))) & (! (is-fireable("rep52_c239"))))) & (is-fireable("rep73_c300"))))) | (((((((is-fireable("rep44_c91")) & (is-fireable("req20_c52"))) | (! (is-fireable("rep23_c219")))) & (((is-fireable("req54_c148")) & (is-fireable("rep9_c341"))) | ((is-fireable("req77_c90")) | (is-fireable("req49_c281"))))) | ((! (is-fireable("rep36_c232"))) | ((! (is-fireable("rep76_c6"))) | ((is-fireable("rep78_c23")) & (is-fireable("req75_c190")))))) & ((! (((is-fireable("req0_c166")) | (is-fireable("rep48_c157"))) & (! (is-fireable("req31_c186"))))) | ((((is-fireable("rep53_c341")) | (is-fireable("rep1_c10"))) & ((is-fireable("rep72_c286")) & (is-fireable("req36_c61")))) | (((is-fireable("rep7_c355")) | (is-fireable("req78_c254"))) | ((is-fireable("rep25_c365")) | (is-fireable("req4_c271"))))))) | ((is-fireable("req46_c32")) & (is-fireable("req46_c140"))))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("rep22_c181"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep31_c345")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("rep73_c32"))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("req19_c198")) | ((is-fireable("req18_c48")) & (! (((is-fireable("rep20_c63")) | (! ((is-fireable("rep69_c165")) | (is-fireable("req40_c190"))))) & ((! (is-fireable("req12_c106"))) | (((is-fireable("req43_c178")) & (is-fireable("req34_c63"))) & ((is-fireable("rep70_c275")) & (is-fireable("req63_c143")))))))))) & ((((! ((is-fireable("req1_c167")) | ((! ((is-fireable("req71_c20")) & (is-fireable("req73_c78")))) | (is-fireable("rep15_c393"))))) & (! ((is-fireable("rep75_c99")) & (((is-fireable("rep25_c25")) & (is-fireable("rep65_c260"))) | (! (is-fireable("req55_c233"))))))) & ((! ((is-fireable("rep20_c243")) | (((is-fireable("rep11_c38")) | ((is-fireable("req27_c292")) | (is-fireable("req50_c139")))) | (is-fireable("req53_c198"))))) & (! ((is-fireable("req26_c392")) | ((! ((is-fireable("rep25_c56")) | (is-fireable("rep67_c294")))) & (! ((is-fireable("req39_c292")) | (is-fireable("rep53_c38"))))))))) & (((is-fireable("rep8_c323")) & ((is-fireable("rep7_c69")) & ((! (is-fireable("rep16_c348"))) & (! ((! (is-fireable("rep13_c382"))) | (! (is-fireable("rep5_c200")))))))) & (! (((! (((is-fireable("req11_c337")) | (is-fireable("req6_c385"))) | ((is-fireable("req62_c312")) & (is-fireable("rep66_c346"))))) & ((! (is-fireable("req52_c160"))) | (! (is-fireable("rep2_c262"))))) & (is-fireable("rep14_c225"))))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep21_c385")))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((! ((((! ((is-fireable("req47_c153")) & (is-fireable("rep61_c142")))) & (((is-fireable("req64_c153")) | (is-fireable("rep39_c202"))) & (is-fireable("rep6_c108")))) | (! ((! (is-fireable("req42_c73"))) | (is-fireable("rep47_c2"))))) & (is-fireable("rep64_c189")))) & ((is-fireable("req7_c337")) & (is-fireable("req3_c162")))) | (((((is-fireable("rep26_c304")) & (((is-fireable("rep59_c215")) & (! (is-fireable("rep32_c9")))) | (is-fireable("req63_c234")))) & (! (is-fireable("rep77_c165")))) & (! (is-fireable("rep58_c310")))) | (! ((is-fireable("rep1_c125")) | (is-fireable("rep5_c98"))))))))
   end.
Property ServersAndClients-PT-400080-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("rep54_c6")))
   end.
