Property ServersAndClients-PT-200160-LTLCardinality-00
  "Automatically generated"
  is:
    A ((G ((2) <= (#tokens("sv139_c24"))) & F ((#tokens("sv117_c198")) <= (#tokens("sv102_c13")))) U (((#tokens("sv14_c159")) <= (#tokens("sv128_c154"))) & F (((1) <= (#tokens("sv56_c137"))) & F X ((#tokens("sv111_c148")) <= (#tokens("sv127_c129"))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-01
  "Automatically generated"
  is:
    A X F (F G ((#tokens("sv31_c105")) <= (#tokens("sv57_c16"))) | F (((3) <= (#tokens("sv98_c44"))) & X !((#tokens("sv12_c133")) <= (#tokens("sv99_c117")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-02
  "Automatically generated"
  is:
    A (X (F ((1) <= (#tokens("sv108_c74"))) U X X ((#tokens("sv31_c38")) <= (#tokens("sv38_c157")))) & (G ((#tokens("sv31_c38")) <= (#tokens("sv38_c157"))) U X G X ((3) <= (#tokens("sv142_c18")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-03
  "Automatically generated"
  is:
    A X X G F (!G ((#tokens("sv19_c62")) <= (#tokens("sv150_c35"))) & G X X !((1) <= (#tokens("sv29_c69"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-04
  "Automatically generated"
  is:
    A (G ((#tokens("sv146_c103")) <= (#tokens("sv25_c101"))) & ((F ((#tokens("sv57_c189")) <= (#tokens("sv29_c109"))) & (((3) <= (#tokens("sv108_c50"))) U ((#tokens("sv59_c0")) <= (#tokens("sv112_c91"))))) U (((#tokens("sv57_c189")) <= (#tokens("sv29_c109"))) U F ((3) <= (#tokens("sv108_c50"))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-05
  "Automatically generated"
  is:
    A G X F ((#tokens("sv8_c197")) <= (#tokens("sv118_c172")))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-06
  "Automatically generated"
  is:
    A (((1) <= (#tokens("sv104_c86"))) | (F ((2) <= (#tokens("sv21_c109"))) U (F ((2) <= (#tokens("sv102_c17"))) | X X ((#tokens("sv125_c94")) <= (#tokens("sv31_c24"))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-07
  "Automatically generated"
  is:
    A (G ((#tokens("sv12_c152")) <= (#tokens("sv16_c152"))) U ((((1) <= (#tokens("sv124_c109"))) U ((#tokens("sv12_c152")) <= (#tokens("sv16_c152")))) | (F ((#tokens("sv63_c49")) <= (#tokens("sv25_c173"))) & (!((#tokens("sv12_c152")) <= (#tokens("sv16_c152"))) U X ((#tokens("sv12_c152")) <= (#tokens("sv16_c152")))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-08
  "Automatically generated"
  is:
    A G (((3) <= (#tokens("sv132_c178"))) | (((#tokens("sv94_c116")) <= (#tokens("sv148_c53"))) U G ((#tokens("sv94_c116")) <= (#tokens("sv148_c53")))) | (((#tokens("sv94_c116")) <= (#tokens("sv148_c53"))) & X X ((#tokens("sv94_c116")) <= (#tokens("sv148_c53")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-09
  "Automatically generated"
  is:
    A F X (F ((2) <= (#tokens("sv89_c69"))) & G ((2) <= (#tokens("sv89_c69"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-10
  "Automatically generated"
  is:
    A X !((((3) <= (#tokens("sv69_c47"))) & ((#tokens("sv145_c186")) <= (#tokens("sv144_c19")))) | (G ((#tokens("sv117_c191")) <= (#tokens("sv141_c41"))) U !((#tokens("sv41_c22")) <= (#tokens("sv92_c48")))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-11
  "Automatically generated"
  is:
    A (((#tokens("sv10_c196")) <= (#tokens("sv133_c19"))) & G X (G ((3) <= (#tokens("sv1_c129"))) U (F ((#tokens("sv55_c181")) <= (#tokens("sv121_c7"))) & X X (((#tokens("sv81_c45")) <= (#tokens("sv94_c33"))) & ((#tokens("sv10_c196")) <= (#tokens("sv133_c19")))))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-12
  "Automatically generated"
  is:
    A X !(X (!G ((3) <= (#tokens("sv30_c80"))) U (((2) <= (#tokens("sv26_c143"))) U ((2) <= (#tokens("sv84_c194"))))) | X !X ((3) <= (#tokens("sv30_c80"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-13
  "Automatically generated"
  is:
    A G !F X ((((2) <= (#tokens("sv141_c44"))) | X G ((1) <= (#tokens("sys_rep20")))) U !((1) <= (#tokens("sys_rep20"))))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-14
  "Automatically generated"
  is:
    A X !X F G X F X X X !((1) <= (#tokens("sv131_c115")))
  end.
Property ServersAndClients-PT-200160-LTLCardinality-15
  "Automatically generated"
  is:
    A G (((#tokens("sv66_c66")) <= (#tokens("sv31_c101"))) | !G X ((#tokens("sv66_c66")) <= (#tokens("sv31_c101"))) | (!((2) <= (#tokens("sv75_c156"))) U X G ((2) <= (#tokens("sv20_c99")))))
  end.
