Property ServersAndClients-PT-100320-UpperBounds-00
  "Automatically generated"
  is:
    bound("sv186_c63")
  end.
Property ServersAndClients-PT-100320-UpperBounds-01
  "Automatically generated"
  is:
    bound("sv294_c74")
  end.
Property ServersAndClients-PT-100320-UpperBounds-02
  "Automatically generated"
  is:
    bound("sv114_c35")
  end.
Property ServersAndClients-PT-100320-UpperBounds-03
  "Automatically generated"
  is:
    bound("sv38")
  end.
Property ServersAndClients-PT-100320-UpperBounds-04
  "Automatically generated"
  is:
    bound("sv43_c15")
  end.
Property ServersAndClients-PT-100320-UpperBounds-05
  "Automatically generated"
  is:
    bound("sv97_c35")
  end.
Property ServersAndClients-PT-100320-UpperBounds-06
  "Automatically generated"
  is:
    bound("sv54_c22")
  end.
Property ServersAndClients-PT-100320-UpperBounds-07
  "Automatically generated"
  is:
    bound("att95")
  end.
Property ServersAndClients-PT-100320-UpperBounds-08
  "Automatically generated"
  is:
    bound("sv257_c39")
  end.
Property ServersAndClients-PT-100320-UpperBounds-09
  "Automatically generated"
  is:
    bound("sv193_c6")
  end.
Property ServersAndClients-PT-100320-UpperBounds-10
  "Automatically generated"
  is:
    bound("sv218_c30")
  end.
Property ServersAndClients-PT-100320-UpperBounds-11
  "Automatically generated"
  is:
    bound("sv157_c23")
  end.
Property ServersAndClients-PT-100320-UpperBounds-12
  "Automatically generated"
  is:
    bound("sv172_c18")
  end.
Property ServersAndClients-PT-100320-UpperBounds-13
  "Automatically generated"
  is:
    bound("sv115_c40")
  end.
Property ServersAndClients-PT-100320-UpperBounds-14
  "Automatically generated"
  is:
    bound("sv69_c29")
  end.
Property ServersAndClients-PT-100320-UpperBounds-15
  "Automatically generated"
  is:
    bound("sv9_c79")
  end.
