{
  "ServerName": "AlphaGSM <server name>"
}