blocked!
cancelled!
rerun!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 11, "character": 0}, "end": {"line": 12, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 11, "character": 0},
    "end": {"line": 12, "character": 15}}},
  {"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 18, "character": 0}, "end": {"line": 19, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 18, "character": 0},
    "end": {"line": 21, "character": 9}}}]}
blocked!
unblocking!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}}},
  {"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}}},
  {"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 10, "character": 0}, "end": {"line": 11, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 10, "character": 0},
    "end": {"line": 11, "character": 18}}}]}
unblocking!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 24}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 24}}},
  {"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 10, "character": 0}, "end": {"line": 11, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 10, "character": 0},
    "end": {"line": 11, "character": 18}}}]}
unblocking!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 24}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2},
    "end": {"line": 7, "character": 24}}}]}
blocked!
unblocking!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}}},
  {"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 7, "character": 2}, "end": {"line": 7, "character": 18}}},
  {"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 9, "character": 0}, "end": {"line": 9, "character": 37}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 9, "character": 0},
    "end": {"line": 9, "character": 37}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 13, "character": 9}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 13, "character": 9}}}]}
unblocking!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 1,
   "range":
   {"start": {"line": 6, "character": 17}, "end": {"line": 6, "character": 39}},
   "message": "blocked",
   "fullRange":
   {"start": {"line": 6, "character": 17},
    "end": {"line": 6, "character": 39}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 11, "character": 9}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 11, "character": 9}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 13, "character": 10}}}]}
blocked!
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 6, "character": 0}, "end": {"line": 7, "character": 0}},
   "message": "Goals accomplished!",
   "leanTags": [2],
   "isSilent": true,
   "fullRange":
   {"start": {"line": 6, "character": 0},
    "end": {"line": 13, "character": 10}}}]}
cancelled!
{"version": 2,
 "uri": "file:///cancellation.lean",
 "isIncremental": false,
 "diagnostics": []}