Property ServersAndClients-PT-400080-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (! (A (F (A (F (! (is-fireable("req3_c239")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      A (F ((is-fireable("req45_c67")) & (E (F ((A (((is-fireable("rep13_c331")) | (is-fireable("req18_c122"))) U ((is-fireable("req64_c357")) | (is-fireable("rep24_c241"))))) | (! (! (A (X (is-fireable("req74_c103")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (X (! (A (F (! (! (! (E (F (is-fireable("req58_c361")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (G ((A (G ((A (X (! (is-fireable("rep67_c18"))))) | (E ((A (F (is-fireable("req6_c347")))) U (! (is-fireable("rep50_c15")))))))) | (E (((E (F ((is-fireable("rep18_c190")) | (is-fireable("req47_c326"))))) | (! (E ((is-fireable("rep45_c125")) U (is-fireable("rep37_c182")))))) U (((A ((is-fireable("rep11_c40")) U (is-fireable("rep29_c136")))) | (is-fireable("req5_c137"))) | ((E (F (is-fireable("req77_c169")))) | ((! (is-fireable("rep27_c252"))) | ((is-fireable("rep60_c66")) & (is-fireable("req79_c24"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (F (((A (G (E (G (E (G (is-fireable("rep43_c201")))))))) | (! ((! (A (G (is-fireable("rep61_c336"))))) & (! (((is-fireable("req31_c269")) | (is-fireable("rep43_c8"))) | ((is-fireable("rep1_c109")) | (is-fireable("req7_c365")))))))) & (is-fireable("req75_c186"))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (! (A (F (E (((is-fireable("req58_c229")) & (is-fireable("req44_c105"))) U (is-fireable("rep79_c214")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      ! (! (A (F (A (((((is-fireable("req38_c312")) & (is-fireable("rep7_c351"))) | (E (F (is-fireable("rep71_c22"))))) & (! (! (is-fireable("rep1_c227"))))) U (A ((! (is-fireable("req31_c38"))) U (is-fireable("rep36_c115")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (X ((E (X ((((A (F (is-fireable("req53_c164")))) | ((is-fireable("rep16_c120")) & (is-fireable("req63_c275")))) | (is-fireable("rep17_c3"))) | (E (((is-fireable("req35_c87")) | (is-fireable("rep49_c384"))) U ((is-fireable("rep64_c375")) & (is-fireable("rep18_c251")))))))) | (A (G ((E (((is-fireable("req17_c91")) & (is-fireable("req66_c334"))) U (is-fireable("rep45_c228")))) | (is-fireable("req47_c178")))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (X (A (X (! (is-fireable("rep52_c185"))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      ! (E (F (is-fireable("rep41_c121"))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      A (G (A ((A (X (A (F ((is-fireable("rep13_c391")) | (is-fireable("req5_c38"))))))) U (A (F ((E (F (is-fireable("rep55_c196")))) & (is-fireable("send_req266"))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (F ((A ((((is-fireable("rep32_c366")) & ((E (X (is-fireable("rep11_c275")))) | (is-fireable("rep30_c257")))) & (is-fireable("req27_c79"))) U (is-fireable("rep75_c135")))) & (is-fireable("req36_c220"))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (G ((E ((is-fireable("rep38_c378")) U ((A (G (! (is-fireable("rep56_c128"))))) | ((A (F (is-fireable("req77_c120")))) & (A (X (is-fireable("rep48_c240")))))))) | (E (G (A ((((is-fireable("rep79_c66")) | (is-fireable("rep0_c143"))) & (A ((is-fireable("req56_c27")) U (is-fireable("rep69_c180"))))) U (! (is-fireable("rep50_c350")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (F (A (G (! (is-fireable("rep7_c389"))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G ((A (F (is-fireable("rep55_c251")))) | ((A (X (((is-fireable("rep53_c188")) & (! (is-fireable("req4_c205")))) | (is-fireable("req73_c114"))))) & (! ((E (G (E (F (is-fireable("req47_c310")))))) & (A (X (is-fireable("rep57_c117")))))))))
   end.
Property ServersAndClients-PT-400080-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      E ((A (G ((((E (F (is-fireable("req9_c123")))) | (E ((is-fireable("req5_c142")) U (is-fireable("rep45_c124"))))) & (is-fireable("req67_c395"))) & (is-fireable("rep20_c352"))))) U ((E ((((E (G (is-fireable("rep71_c108")))) & (is-fireable("rep63_c102"))) | (E (G (is-fireable("rep72_c180"))))) U (A (F (is-fireable("rep68_c339")))))) & (! ((! (is-fireable("rep79_c158"))) & (A (G (! (E ((is-fireable("rep54_c391")) U (is-fireable("req70_c269")))))))))))
   end.
