Property ServersAndClients-PT-200160-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (G (A (X (E (X (A (F (! (is-fireable("rep143_c42"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      A ((A (F (is-fireable("rep97_c37")))) U (! (! (((A (F ((is-fireable("req90_c81")) & (is-fireable("rep145_c135"))))) | ((! ((is-fireable("req32_c174")) | (is-fireable("rep131_c145")))) & (is-fireable("req114_c17")))) & ((A ((E ((is-fireable("req123_c61")) U (is-fireable("req104_c180")))) U ((is-fireable("req102_c33")) | (is-fireable("rep88_c10"))))) | (is-fireable("rep65_c105")))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (F (((is-fireable("req78_c116")) & (((E (G (E (F (is-fireable("rep93_c2")))))) & (E (G (is-fireable("req143_c128"))))) & (A ((! (! (is-fireable("rep131_c97")))) U (A (F (is-fireable("req7_c181")))))))) | (! (((E (F (E (X (is-fireable("req20_c52")))))) & ((! (! (is-fireable("req44_c151")))) & (((is-fireable("rep10_c156")) | (is-fireable("req80_c117"))) | ((is-fireable("req125_c115")) | (is-fireable("req84_c179")))))) | (A (((! (is-fireable("rep2_c105"))) | (is-fireable("req148_c67"))) U (! ((is-fireable("rep39_c51")) & (is-fireable("rep20_c193"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (X (! ((E (X (A ((A (F (is-fireable("rep46_c1")))) U (A (F (is-fireable("rep151_c118")))))))) | ((E (G ((E (X (is-fireable("req87_c75")))) | (! (is-fireable("rep13_c23")))))) | (A (X (A (X (is-fireable("rep26_c130"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (F (A (X (A (F (! (A (F (is-fireable("req47_c129"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (F (E (G (((A ((A (G (is-fireable("req1_c54")))) U (E (F (is-fireable("req97_c39")))))) & (E (X ((is-fireable("req81_c54")) | (is-fireable("req82_c52")))))) & (is-fireable("rep9_c103"))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      A ((! (A (F (((A (F (is-fireable("rep6_c17")))) | ((E (X (is-fireable("req122_c179")))) & ((is-fireable("rep86_c108")) & (is-fireable("req53_c144"))))) & ((is-fireable("req9_c102")) & (E (X (is-fireable("rep114_c33"))))))))) U (E ((A (G ((E (X (is-fireable("rep64_c88")))) & ((A (F (is-fireable("req93_c162")))) | (E ((is-fireable("rep9_c124")) U (is-fireable("req125_c53")))))))) U (A (X (is-fireable("rep8_c192")))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (G (E (F ((! (A (F (! (is-fireable("rep49_c187")))))) & (E (X (! (is-fireable("req22_c68")))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (X (E (G ((E (X (is-fireable("req40_c46")))) & (A (((A (X (is-fireable("req151_c81")))) & (A ((is-fireable("req7_c40")) U (is-fireable("req3_c81"))))) U (! (! (is-fireable("rep81_c95"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F ((A (G (! (! (((is-fireable("rep76_c150")) & (is-fireable("rep141_c59"))) & (! (is-fireable("req29_c61")))))))) & (is-fireable("req7_c196"))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ! (A (F (A (G (! (((E (F (is-fireable("rep159_c196")))) | (is-fireable("rep54_c53"))) | (E (G (is-fireable("rep26_c175"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G (A (G (((A (F (is-fireable("rep58_c138")))) | ((((is-fireable("req62_c0")) & (is-fireable("req141_c196"))) | ((is-fireable("req0_c28")) & (is-fireable("rep144_c24")))) & (E (F (is-fireable("rep119_c100")))))) | (E ((E ((is-fireable("rep138_c29")) U (is-fireable("rep52_c129")))) U (! ((is-fireable("rep18_c197")) | (is-fireable("rep59_c102"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      (! (E (F (E ((((E (X (is-fireable("rep54_c170")))) & (E (X (is-fireable("req13_c157"))))) | (is-fireable("req103_c173"))) U ((! (E (X (is-fireable("req108_c14"))))) & (is-fireable("req118_c6")))))))) | (E (F ((E ((E (G (is-fireable("req69_c152")))) U (A (F ((is-fireable("rep18_c8")) | (is-fireable("rep158_c11"))))))) & (A ((! (! ((is-fireable("req115_c137")) & (is-fireable("req126_c159"))))) U (E (G ((is-fireable("rep52_c68")) | (is-fireable("req73_c163"))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (X (! (E (F ((A (((is-fireable("rep64_c113")) | (is-fireable("req62_c100"))) U (E (F (is-fireable("rep144_c20")))))) & (A (F (E (X (is-fireable("req95_c186")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      (E (X (A (G (! (A (G (is-fireable("req41_c181"))))))))) | (E (((E (F (is-fireable("rep93_c36")))) | (! ((is-fireable("req158_c83")) & ((A (F (is-fireable("rep11_c15")))) & ((E (G (is-fireable("rep52_c19")))) | ((is-fireable("req108_c155")) & (is-fireable("req56_c149")))))))) U (! ((A (F (E ((is-fireable("rep142_c21")) U (is-fireable("rep78_c69")))))) & ((E (X ((is-fireable("rep17_c145")) & (is-fireable("rep136_c113"))))) | ((! (is-fireable("rep36_c10"))) & (! (A ((is-fireable("rep129_c19")) U (is-fireable("rep70_c36")))))))))))
   end.
Property ServersAndClients-PT-200160-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (G (! (is-fireable("rep142_c22"))))
   end.
