Property ServersAndClients-PT-400160-LTLCardinality-00
  "Automatically generated"
  is:
    A X !(!(((3) <= (#tokens("sv92_c217"))) | X ((#tokens("sv16_c270")) <= (#tokens("sv59_c120")))) U (((#tokens("sv158_c242")) <= (#tokens("sv74_c57"))) | !X F !((#tokens("sv16_c270")) <= (#tokens("sv59_c120")))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-01
  "Automatically generated"
  is:
    A ((((#tokens("sv53_c398")) <= (#tokens("sv74_c354"))) & ((#tokens("sv129_c283")) <= (#tokens("sv96_c240")))) U X (X G !((#tokens("sv53_c398")) <= (#tokens("sv74_c354"))) U G (((#tokens("sv95_c395")) <= (#tokens("sv123_c235"))) & F ((#tokens("sv151_c210")) <= (#tokens("sv135_c290"))))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-02
  "Automatically generated"
  is:
    A (X X F (((3) <= (#tokens("sv140_c329"))) | G X ((#tokens("sv145_c152")) <= (#tokens("sv45_c164")))) | (((3) <= (#tokens("sv140_c329"))) & X ((1) <= (#tokens("sv10_c178")))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-03
  "Automatically generated"
  is:
    A ((((2) <= (#tokens("sv15_c362"))) U ((1) <= (#tokens("sv61_c321")))) | X (!G F X ((#tokens("sv11_c191")) <= (#tokens("sv107_c147"))) U ((2) <= (#tokens("sv15_c362")))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-04
  "Automatically generated"
  is:
    A (F !(((#tokens("sv101_c259")) <= (#tokens("sv148_c102"))) U X ((#tokens("sv48_c343")) <= (#tokens("sv37_c44")))) | !F !((#tokens("sv48_c343")) <= (#tokens("sv37_c44"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-05
  "Automatically generated"
  is:
    A G ((0) <= (#tokens("sv99_c327")))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-06
  "Automatically generated"
  is:
    A G (F G F ((#tokens("sv74_c248")) <= (#tokens("sv66_c143"))) U (((2) <= (#tokens("sv51_c70"))) & ((#tokens("sv74_c248")) <= (#tokens("sv66_c143")))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-07
  "Automatically generated"
  is:
    A !F (G (!((#tokens("sv120_c26")) <= (#tokens("sys_rep91"))) & X ((3) <= (#tokens("sv114_c69")))) | X X G !G ((3) <= (#tokens("sv114_c69"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-08
  "Automatically generated"
  is:
    A (!((((#tokens("sv106_c276")) <= (#tokens("sv30_c36"))) U F (((0) <= (#tokens("sv34_c210"))) & X ((#tokens("sv106_c276")) <= (#tokens("sv30_c36"))))) U F X ((2) <= (#tokens("sv67_c380")))) U !((#tokens("sv38_c118")) <= (#tokens("sv38_c0"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-09
  "Automatically generated"
  is:
    A X (!(((#tokens("sv42_c233")) <= (#tokens("sv21_c16"))) & (!((#tokens("sv11_c57")) <= (#tokens("sv24_c345"))) | X F !((#tokens("sv11_c57")) <= (#tokens("sv24_c345"))))) U !((#tokens("sv16_c327")) <= (#tokens("sv95_c169"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-10
  "Automatically generated"
  is:
    A (X ((0) <= (#tokens("sv48_c291"))) & !(((#tokens("sv6_c57")) <= (#tokens("sv16_c111"))) & (((0) <= (#tokens("sv159_c31"))) U ((0) <= (#tokens("sv48_c291"))))) & G !((0) <= (#tokens("sv159_c31"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-11
  "Automatically generated"
  is:
    A (X G ((0) <= (#tokens("sv28_c53"))) | (F ((#tokens("sv148_c286")) <= (#tokens("sv76_c303"))) & !F (((#tokens("sv148_c286")) <= (#tokens("sv76_c303"))) | ((1) <= (#tokens("sv11_c358"))))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-12
  "Automatically generated"
  is:
    A (((#tokens("sv146_c89")) <= (#tokens("sv127_c340"))) | F G F ((#tokens("sv140_c97")) <= (#tokens("sv116_c391"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-13
  "Automatically generated"
  is:
    A (X F ((#tokens("sv14_c360")) <= (#tokens("sv21_c241"))) | F (((#tokens("sv14_c360")) <= (#tokens("sv21_c241"))) U !((#tokens("sv125_c82")) <= (#tokens("sv32_c28")))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-14
  "Automatically generated"
  is:
    A X F ((!((#tokens("sv73_c227")) <= (#tokens("sv56_c29"))) & (((1) <= (#tokens("sv158_c106"))) | G ((#tokens("sv122_c28")) <= (#tokens("sv22_c338"))))) U F ((1) <= (#tokens("sv158_c106"))))
  end.
Property ServersAndClients-PT-400160-LTLCardinality-15
  "Automatically generated"
  is:
    A X (((2) <= (#tokens("sv39_c284"))) & (F ((2) <= (#tokens("sv39_c284"))) U (((#tokens("sv49_c163")) <= (#tokens("sv134_c108"))) | !((#tokens("sv39_c98")) <= (#tokens("sv142_c107"))))))
  end.
