Property ServersAndClients-PT-200160-00
  "Automatically generated"
  is:
    A X (G X ((1) <= (#tokens("sv21_c112"))) | (F ((1) <= (#tokens("sv21_c112"))) U F ((#tokens("sv108_c94")) <= (#tokens("init127")))))
  end.
Property ServersAndClients-PT-200160-01
  "Automatically generated"
  is:
    A G (X F X ((#tokens("sv62_c109")) <= (#tokens("sv64_c189"))) & F X G ((2) <= (#tokens("sv20_c189"))) & (((1) <= (#tokens("sv135_c171"))) | F ((1) <= (#tokens("sv135_c171")))))
  end.
Property ServersAndClients-PT-200160-02
  "Automatically generated"
  is:
    A (F (((#tokens("sv157_c113")) <= (#tokens("sv49_c99"))) | ((3) <= (#tokens("sv0_c19"))) | F G ((#tokens("sv157_c113")) <= (#tokens("sv49_c99")))) | G (((3) <= (#tokens("sv0_c19"))) U X X ((1) <= (#tokens("sv14_c150")))))
  end.
Property ServersAndClients-PT-200160-03
  "Automatically generated"
  is:
    A !(!((1) <= (#tokens("sv133_c72"))) U (((0) <= (#tokens("sv24_c193"))) | (F G ((#tokens("sv158_c189")) <= (#tokens("sv48_c101"))) U ((#tokens("sv150_c23")) <= (#tokens("sv76_c8"))))))
  end.
Property ServersAndClients-PT-200160-04
  "Automatically generated"
  is:
    A !X (X (G !((#tokens("sv126_c4")) <= (#tokens("sv122_c45"))) U ((1) <= (#tokens("sv42_c43")))) & X (((#tokens("sv90_c97")) <= (#tokens("sv128_c58"))) | (((#tokens("sv126_c4")) <= (#tokens("sv122_c45"))) & ((#tokens("sv90_c97")) <= (#tokens("sv128_c58"))))))
  end.
Property ServersAndClients-PT-200160-05
  "Automatically generated"
  is:
    A G F X !F X !G X (((3) <= (#tokens("sv69_c199"))) | F ((#tokens("sv158_c60")) <= (#tokens("sv108_c97"))))
  end.
Property ServersAndClients-PT-200160-06
  "Automatically generated"
  is:
    A G !((1) <= (#tokens("sv14_c100")))
  end.
Property ServersAndClients-PT-200160-07
  "Automatically generated"
  is:
    A X ((X (!((#tokens("sv144_c90")) <= (#tokens("sv130_c150"))) & (((#tokens("sv111_c197")) <= (#tokens("sv6_c180"))) U ((#tokens("sv48_c108")) <= (#tokens("sv94_c155"))))) | F ((#tokens("sv48_c108")) <= (#tokens("sv94_c155")))) U !F ((#tokens("sv144_c90")) <= (#tokens("sv130_c150"))))
  end.
Property ServersAndClients-PT-200160-08
  "Automatically generated"
  is:
    A (G ((#tokens("sv7_c170")) <= (#tokens("sv30_c3"))) & G (((2) <= (#tokens("sv70_c186"))) & !((#tokens("sys_rep153")) <= (#tokens("sv30_c27")))))
  end.
Property ServersAndClients-PT-200160-09
  "Automatically generated"
  is:
    A !G ((#tokens("sv21_c169")) <= (#tokens("sv41_c98")))
  end.
Property ServersAndClients-PT-200160-10
  "Automatically generated"
  is:
    A G F X (G X ((#tokens("sv43_c48")) <= (#tokens("sv58_c9"))) U G !((0) <= (#tokens("sv54_c91"))))
  end.
Property ServersAndClients-PT-200160-11
  "Automatically generated"
  is:
    A ((G (((0) <= (#tokens("sv156_c78"))) | ((1) <= (#tokens("sv0_c105")))) U !G ((#tokens("sv125_c151")) <= (#tokens("sv77_c171")))) U (((#tokens("sv55_c85")) <= (#tokens("sv64_c40"))) U (((#tokens("sv55_c85")) <= (#tokens("sv64_c40"))) & ((3) <= (#tokens("sv34_c75"))))))
  end.
Property ServersAndClients-PT-200160-12
  "Automatically generated"
  is:
    A F (((#tokens("sv21_c25")) <= (#tokens("sv13_c18"))) | (F (((#tokens("sv21_c25")) <= (#tokens("sv13_c18"))) | F ((1) <= (#tokens("sv0_c185")))) U ((#tokens("sv65_c61")) <= (#tokens("sv96_c170")))))
  end.
Property ServersAndClients-PT-200160-13
  "Automatically generated"
  is:
    A X (X X X F ((((#tokens("sv141_c4")) <= (#tokens("sv90_c89"))) | G ((1) <= (#tokens("sv63_c115")))) U !((#tokens("sv101_c118")) <= (#tokens("sv103_c158")))) U G ((#tokens("sv101_c118")) <= (#tokens("sv103_c158"))))
  end.
Property ServersAndClients-PT-200160-14
  "Automatically generated"
  is:
    A F !F !G X F G (((#tokens("sv104_c170")) <= (#tokens("sv53_c90"))) U G ((1) <= (#tokens("sv95_c29"))))
  end.
Property ServersAndClients-PT-200160-15
  "Automatically generated"
  is:
    A X F X G F G F G X F (X ((0) <= (#tokens("sv139_c71"))) U ((1) <= (#tokens("sv94_c178"))))
  end.
