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