Property ServersAndClients-PT-200160-00
  "Automatically generated"
  is:
    A X X (F (X F "req37_c52"? U X "rep74_c186"?) | !F X !"req5_c188"?)
  end.
Property ServersAndClients-PT-200160-01
  "Automatically generated"
  is:
    A X G X F G X (("req46_c180"? U F "req46_c180"?) U X "rep156_c89"?)
  end.
Property ServersAndClients-PT-200160-02
  "Automatically generated"
  is:
    A X ((F "req49_c27"? | G "rep3_c15"?) & !G !"req126_c60"?)
  end.
Property ServersAndClients-PT-200160-03
  "Automatically generated"
  is:
    A G F (X "rep65_c57"? U X F "rep93_c58"?)
  end.
Property ServersAndClients-PT-200160-04
  "Automatically generated"
  is:
    A !(X (G X !"req110_c108"? & !G "req10_c100"?) U "rep148_c26"?)
  end.
Property ServersAndClients-PT-200160-05
  "Automatically generated"
  is:
    A (F (G "rep41_c3"? | F "rep24_c163"?) U G (F "rep132_c161"? | G X "req61_c46"?))
  end.
Property ServersAndClients-PT-200160-06
  "Automatically generated"
  is:
    A (!X X "req120_c5"? & !F ("req113_c4"? & "rep12_c28"?))
  end.
Property ServersAndClients-PT-200160-07
  "Automatically generated"
  is:
    A F X ("rep99_c81"? & !(G "rep85_c61"? U X ("rep99_c81"? | ("req145_c183"? & !"req72_c75"?))))
  end.
Property ServersAndClients-PT-200160-08
  "Automatically generated"
  is:
    A G ("req62_c15"? | X X ("req32_c155"? | G "rep139_c174"? | X "req62_c15"?))
  end.
Property ServersAndClients-PT-200160-09
  "Automatically generated"
  is:
    A (!X G X F "rep16_c112"? U F "rep16_c112"?)
  end.
Property ServersAndClients-PT-200160-10
  "Automatically generated"
  is:
    A X !(G F "rep118_c67"? U G (F "rep37_c92"? & !X "rep118_c67"?))
  end.
Property ServersAndClients-PT-200160-11
  "Automatically generated"
  is:
    A (("rep157_c148"? & F !"req63_c55"?) | !X !X F "rep109_c197"?)
  end.
Property ServersAndClients-PT-200160-12
  "Automatically generated"
  is:
    A F !"rep75_c90"?
  end.
Property ServersAndClients-PT-200160-13
  "Automatically generated"
  is:
    A (X X ("req103_c132"? & "rep91_c2"?) | G !("req62_c122"? | "rep98_c24"?))
  end.
Property ServersAndClients-PT-200160-14
  "Automatically generated"
  is:
    A (G "rep85_c112"? | !G ("req72_c46"? & F (X "rep16_c134"? U "rep16_c134"?)))
  end.
Property ServersAndClients-PT-200160-15
  "Automatically generated"
  is:
    A (G F "req123_c147"? | X G !G "rep151_c150"?)
  end.
