Property ServersAndClients-PT-400080-LTLCardinality-00
  "Automatically generated"
  is:
    A F (X F G (((#tokens("sv34_c251")) <= (#tokens("sv47_c94"))) U G !((#tokens("sv22_c206")) <= (#tokens("sv36_c346")))) U ((#tokens("sv34_c251")) <= (#tokens("sv47_c94"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-01
  "Automatically generated"
  is:
    A F ((((2) <= (#tokens("sv45_c274"))) U ((3) <= (#tokens("sv56_c240")))) & X G X (((#tokens("sv65_c96")) <= (#tokens("sv53_c286"))) | (F ((2) <= (#tokens("sv57_c226"))) U ((3) <= (#tokens("sv56_c240"))))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-02
  "Automatically generated"
  is:
    A !(((1) <= (#tokens("sv63_c134"))) U (F ((3) <= (#tokens("sv51_c79"))) | !X !X (((3) <= (#tokens("sv51_c79"))) | ((#tokens("sv2_c215")) <= (#tokens("sv63_c301"))))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-03
  "Automatically generated"
  is:
    A (X ((#tokens("sv78_c151")) <= (#tokens("sv21_c226"))) & (F ((#tokens("sv78_c151")) <= (#tokens("sv21_c226"))) U (X X ((#tokens("sv78_c321")) <= (#tokens("sv21_c146"))) & F !((2) <= (#tokens("sv16_c169"))))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-04
  "Automatically generated"
  is:
    A G ((#tokens("sv5_c37")) <= (#tokens("sv21_c316")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-05
  "Automatically generated"
  is:
    A F (G ((#tokens("sv16_c247")) <= (#tokens("sv70_c81"))) | !G (((#tokens("sv13_c255")) <= (#tokens("sv49_c210"))) U X ((#tokens("sv41_c140")) <= (#tokens("sv29_c344")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-06
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("sv26_c294"))) U !F ((1) <= (#tokens("sv26_c294")))) & F (!((1) <= (#tokens("sv26_c294"))) & ((3) <= (#tokens("sv26_c15")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-07
  "Automatically generated"
  is:
    A X !X F (F ((2) <= (#tokens("sv68_c323"))) | (((#tokens("sv22_c221")) <= (#tokens("sv70_c32"))) U ((#tokens("sv46_c344")) <= (#tokens("sv15_c286")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-08
  "Automatically generated"
  is:
    A (F !((((#tokens("sv8_c367")) <= (#tokens("sv24_c112"))) & X ((#tokens("sv64_c177")) <= (#tokens("sv26_c102")))) U X ((#tokens("sv8_c367")) <= (#tokens("sv24_c112")))) U ((#tokens("sv25_c166")) <= (#tokens("sv12_c207"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-09
  "Automatically generated"
  is:
    A !(((1) <= (#tokens("sv3_c79"))) | (((#tokens("sv13_c309")) <= (#tokens("sv54_c365"))) & (G X ((#tokens("sv13_c309")) <= (#tokens("sv54_c365"))) U ((#tokens("sv20_c170")) <= (#tokens("sv41_c204"))))) | X (((#tokens("sv13_c309")) <= (#tokens("sv54_c365"))) & ((1) <= (#tokens("sv3_c79")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-10
  "Automatically generated"
  is:
    A G X X F X X F ((#tokens("sv53_c222")) <= (#tokens("sv68_c317")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-11
  "Automatically generated"
  is:
    A F !(((#tokens("sv49_c96")) <= (#tokens("sv23_c58"))) U X (((#tokens("sv49_c96")) <= (#tokens("sv23_c58"))) & X ((((#tokens("sv49_c96")) <= (#tokens("sv23_c58"))) & G ((#tokens("sv62_c9")) <= (#tokens("sv20_c134")))) U X ((#tokens("sv44_c352")) <= (#tokens("sv15_c371"))))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-12
  "Automatically generated"
  is:
    A F (((#tokens("sv66_c344")) <= (#tokens("sv21_c179"))) | X X (((1) <= (#tokens("sv4_c314"))) | F ((1) <= (#tokens("sv4_c314")))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-13
  "Automatically generated"
  is:
    A ((X ((#tokens("sv24_c302")) <= (#tokens("sv73_c6"))) U !((1) <= (#tokens("sv38_c377")))) | G !((#tokens("sv8_c167")) <= (#tokens("sv26_c54"))))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-14
  "Automatically generated"
  is:
    A F ((#tokens("sv43_c254")) <= (#tokens("sv6_c21")))
  end.
Property ServersAndClients-PT-400080-LTLCardinality-15
  "Automatically generated"
  is:
    A ((((#tokens("sv67_c99")) <= (#tokens("sv64_c245"))) U G ((1) <= (#tokens("sv32_c125")))) & !(((#tokens("sv67_c99")) <= (#tokens("sv64_c245"))) | !G X F ((#tokens("sv8_c121")) <= (#tokens("sv59_c61")))))
  end.
