{"textDocument": {"uri": "file:///goTo2.lean"},
 "position": {"line": 34, "character": 15}}
[{"targetUri": "file:///goTo2.lean",
  "targetSelectionRange":
  {"start": {"line": 9, "character": 0}, "end": {"line": 9, "character": 8}},
  "targetRange":
  {"start": {"line": 9, "character": 0}, "end": {"line": 9, "character": 8}},
  "originSelectionRange":
  {"start": {"line": 34, "character": 11},
   "end": {"line": 34, "character": 33}}},
 {"targetUri": "file:///goTo2.lean",
  "targetSelectionRange":
  {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 6}},
  "targetRange":
  {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 6}},
  "originSelectionRange":
  {"start": {"line": 34, "character": 11},
   "end": {"line": 34, "character": 33}}}]
{"textDocument": {"uri": "file:///goTo2.lean"},
 "position": {"line": 34, "character": 30}}
[{"targetUri": "file:///goTo2.lean",
  "targetSelectionRange":
  {"start": {"line": 21, "character": 0}, "end": {"line": 21, "character": 8}},
  "targetRange":
  {"start": {"line": 21, "character": 0}, "end": {"line": 21, "character": 8}},
  "originSelectionRange":
  {"start": {"line": 34, "character": 23},
   "end": {"line": 34, "character": 33}}},
 {"targetUri": "file:///goTo2.lean",
  "targetSelectionRange":
  {"start": {"line": 19, "character": 2}, "end": {"line": 19, "character": 6}},
  "targetRange":
  {"start": {"line": 19, "character": 2}, "end": {"line": 19, "character": 6}},
  "originSelectionRange":
  {"start": {"line": 34, "character": 23},
   "end": {"line": 34, "character": 33}}}]
{"textDocument": {"uri": "file:///goTo2.lean"},
 "position": {"line": 34, "character": 11}}
[{"targetUri": "file:///goTo2.lean",
  "targetSelectionRange":
  {"start": {"line": 38, "character": 4}, "end": {"line": 38, "character": 5}},
  "targetRange":
  {"start": {"line": 38, "character": 4}, "end": {"line": 38, "character": 5}},
  "originSelectionRange":
  {"start": {"line": 34, "character": 11},
   "end": {"line": 34, "character": 12}}}]