Property ServersAndClients-PT-400080-CTLCardinality-00
   "Automatically generated by Citili v2022"
   is:
      E (G ((tokens-count("sv69_c166") <= 1) | (((E (F (! (! (tokens-count("sys_rep241") <= 1))))) & (((E (G (tokens-count("sv40_c214") <= 1))) | (! (E (G (tokens-count("sv53_c305") <= tokens-count("sv68_c319")))))) & ((A ((tokens-count("sv36_c252") <= 1) U (tokens-count("sv32_c90") <= tokens-count("sv29_c307")))) | (E (G (1 <= tokens-count("sv55_c314"))))))) | (tokens-count("sv79_c57") <= 1))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-01
   "Automatically generated by Citili v2022"
   is:
      E (F ((A (G (tokens-count("sv17_c212") <= 1))) & (tokens-count("sv10_c296") <= 1)))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-02
   "Automatically generated by Citili v2022"
   is:
      A (F (! ((! (E (G (A (X (tokens-count("sys_rep63") <= tokens-count("sv55_c374"))))))) & ((E ((E (X (tokens-count("sv17_c373") <= 1))) U (! ((1 <= tokens-count("sys_req231")) | (1 <= tokens-count("sv65_c77")))))) | (! (E (F ((1 <= tokens-count("sv46_c284")) | (tokens-count("sv2_c172") <= 1)))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-03
   "Automatically generated by Citili v2022"
   is:
      (! (! (E (F (A (G ((E (F (tokens-count("sv46_c183") <= 1))) & ((tokens-count("sv62_c206") <= 1) | (1 <= tokens-count("sv69_c323")))))))))) | (A (G (A (X ((! (tokens-count("sv58_c338") <= tokens-count("sv29_c45"))) & (((E (G (1 <= tokens-count("sv61_c372")))) & (A (X (tokens-count("sv50_c372") <= tokens-count("sv45_c346"))))) & (A ((1 <= tokens-count("sv50_c206")) U (tokens-count("sv37_c328") <= tokens-count("sv54_c38"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-04
   "Automatically generated by Citili v2022"
   is:
      E (X (A (G (A (X ((tokens-count("sv49_c248") <= tokens-count("sv24_c178")) & (((tokens-count("sv23_c186") <= 1) & (tokens-count("sv9_c42") <= tokens-count("sv76_c241"))) & ((1 <= tokens-count("sv34_c186")) | (tokens-count("sv44_c329") <= 1)))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-05
   "Automatically generated by Citili v2022"
   is:
      (E (G (tokens-count("sv28_c105") <= 1))) | (A (X (((A (G (A ((tokens-count("sv29_c314") <= tokens-count("sv28_c82")) U (tokens-count("sv27_c232") <= 1))))) | (tokens-count("sv51_c146") <= tokens-count("sv66_c18"))) & ((((((tokens-count("sv43_c289") <= 1) & (tokens-count("sv3_c212") <= 1)) | ((1 <= tokens-count("sv74_c200")) | (tokens-count("sv67_c144") <= tokens-count("sv22_c278")))) | (E (G (1 <= tokens-count("sv22_c133"))))) & ((! (! (1 <= tokens-count("sv78_c65")))) & (! (E (X (1 <= tokens-count("sv66_c345"))))))) & (E (X (! (A (F (1 <= tokens-count("sv47_c31")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-06
   "Automatically generated by Citili v2022"
   is:
      A (F ((E (X (1 <= tokens-count("sv41_c195")))) | (! (E (F ((A (F (1 <= tokens-count("sv61_c123")))) & ((A (G (1 <= tokens-count("att167")))) & (A (F (tokens-count("sv22_c208") <= tokens-count("sv34_c91")))))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-07
   "Automatically generated by Citili v2022"
   is:
      E ((E (F (E (X (tokens-count("sv60_c204") <= tokens-count("sv63_c209")))))) U (A (F ((! (E (F (! (tokens-count("sv12_c146") <= 1))))) & (tokens-count("sv10_c187") <= 1)))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-08
   "Automatically generated by Citili v2022"
   is:
      A ((! ((((E (G (E (X (tokens-count("sv34_c110") <= 1))))) & ((! (! (tokens-count("sv58_c247") <= tokens-count("sys_rep154")))) | (tokens-count("sv56_c375") <= 1))) & (tokens-count("sv15_c104") <= 1)) & ((! ((A ((tokens-count("sv32_c355") <= tokens-count("sv46_c372")) U (1 <= tokens-count("sv34_c97")))) | (E ((tokens-count("sv76_c144") <= 1) U (1 <= tokens-count("sv49_c311")))))) & (((A (X (tokens-count("sv35_c147") <= tokens-count("sv34_c144")))) | (((tokens-count("sv42_c220") <= tokens-count("sv39_c225")) & (tokens-count("sv27_c73") <= 1)) & (A (F (tokens-count("sv9_c378") <= tokens-count("sv60_c28")))))) & (A (F ((tokens-count("sv5_c44") <= 1) | (tokens-count("sv33_c180") <= tokens-count("sv33_c257"))))))))) U ((1 <= tokens-count("sv23_c131")) & ((tokens-count("sv69_c159") <= tokens-count("sv54_c132")) | ((tokens-count("sv9_c246") <= tokens-count("sv65_c50")) & ((tokens-count("att44") <= tokens-count("sv24_c29")) & ((tokens-count("sv8_c74") <= tokens-count("sv28_c56")) & (! (tokens-count("sv78_c97") <= 1))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-09
   "Automatically generated by Citili v2022"
   is:
      E (G (! (E (X (E (G (tokens-count("sv56_c346") <= tokens-count("sv13_c282"))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (G (tokens-count("sv70_c291") <= 1))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-11
   "Automatically generated by Citili v2022"
   is:
      E ((! (A (G (((E (X (tokens-count("sv72_c226") <= tokens-count("sv26_c324")))) & (! (tokens-count("sv60_c222") <= tokens-count("sv29_c82")))) & (A (X (E (X (tokens-count("sv44_c183") <= tokens-count("init274")))))))))) U (E (X (A (((A (F (tokens-count("sv34_c128") <= 1))) & (A (G (tokens-count("sv64_c7") <= tokens-count("att76"))))) U (E (G ((tokens-count("sv29_c84") <= tokens-count("sv4_c44")) & (tokens-count("sv22_c106") <= 1)))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-12
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! (A (G (((A (F (1 <= tokens-count("sv11_c293")))) | ((tokens-count("sv70_c398") <= tokens-count("sv41_c296")) | (1 <= tokens-count("sv30_c198")))) | (E (G (1 <= tokens-count("sv28_c68"))))))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-13
   "Automatically generated by Citili v2022"
   is:
      (! (E (X (! ((! (! (E (F (1 <= tokens-count("sv32_c284")))))) | (((! (1 <= tokens-count("sv11_c114"))) & (A (G (1 <= tokens-count("sv2_c180"))))) & (tokens-count("sv58_c367") <= 1))))))) | (A (G (E (F ((A ((1 <= tokens-count("sv21_c146")) U (1 <= tokens-count("sv21_c196")))) | ((! (E ((1 <= tokens-count("sv37_c63")) U (1 <= tokens-count("sv47_c178"))))) | (tokens-count("sv18_c381") <= 1)))))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-14
   "Automatically generated by Citili v2022"
   is:
      E (G (E (F (tokens-count("sv31_c280") <= tokens-count("sv27_c50")))))
   end.
Property ServersAndClients-PT-400080-CTLCardinality-15
   "Automatically generated by Citili v2022"
   is:
      E (X (A (G (((! (1 <= tokens-count("sv58_c298"))) & (1 <= tokens-count("sv68_c361"))) | ((E (X ((tokens-count("sv67_c256") <= 1) | (1 <= tokens-count("sv47_c378"))))) & ((E (G (tokens-count("sv0_c71") <= 1))) | (! (! (1 <= tokens-count("sv75_c72"))))))))))
   end.
