{
  "servers": [
    "127.0.0.1", "9000",
    "127.0.0.1", "9001",
    "127.0.0.1", "9002"
  ]
}