{"jsonrpc":"2.0","id":122,"result":[{"range":{"start":{"line":0,"character":0},"end":{"line":0,"character":3}}}]}