{"version": 1,
 "uri": "file:///interactiveTraces.lean",
 "isIncremental": false,
 "diagnostics":
 [{"source": "Lean 4",
   "severity": 3,
   "range":
   {"start": {"line": 19, "character": 0}, "end": {"line": 19, "character": 5}},
   "message": "(trace)",
   "fullRange":
   {"start": {"line": 19, "character": 0},
    "end": {"line": 19, "character": 5}}}]}
{"lineRange": {"start": 0, "end": 21}}
[{"source": "Lean 4",
  "severity": 3,
  "range":
  {"start": {"line": 19, "character": 0}, "end": {"line": 19, "character": 5}},
  "message":
  {"tag":
   [{"trace":
     {"msg":
      {"append":
       [{"tag": [{"expr": {"text": "✅️"}}, {"text": ""}]},
        {"tag": [{"expr": {"text": " "}}, {"text": ""}]},
        {"tag": [{"expr": {"text": "root"}}, {"text": ""}]}]},
      "indent": 0,
      "collapsed": false,
      "cls": "Meta.debug",
      "children":
      {"strict":
       [{"tag":
         [{"trace":
           {"msg":
            {"append":
             [{"tag": [{"expr": {"text": "✅️"}}, {"text": ""}]},
              {"tag": [{"expr": {"text": " "}}, {"text": ""}]},
              {"tag": [{"expr": {"text": "child1"}}, {"text": ""}]}]},
            "indent": 2,
            "collapsed": false,
            "cls": "Meta.debug",
            "children":
            {"strict":
             [{"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child11"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]},
              {"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child12"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]},
              {"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child13"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]}]}}},
          {"text": ""}]},
        {"tag":
         [{"trace":
           {"msg":
            {"append":
             [{"tag": [{"expr": {"text": "✅️"}}, {"text": ""}]},
              {"tag": [{"expr": {"text": " "}}, {"text": ""}]},
              {"tag": [{"expr": {"text": "child2"}}, {"text": ""}]}]},
            "indent": 2,
            "collapsed": false,
            "cls": "Meta.debug",
            "children":
            {"strict":
             [{"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child21"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]},
              {"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child22"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]}]}}},
          {"text": ""}]},
        {"tag":
         [{"trace":
           {"msg":
            {"append":
             [{"tag": [{"expr": {"text": "✅️"}}, {"text": ""}]},
              {"tag": [{"expr": {"text": " "}}, {"text": ""}]},
              {"tag": [{"expr": {"text": "child3"}}, {"text": ""}]}]},
            "indent": 2,
            "collapsed": false,
            "cls": "Meta.debug",
            "children":
            {"strict":
             [{"tag":
               [{"trace":
                 {"msg": {"tag": [{"expr": {"text": "child31"}}, {"text": ""}]},
                  "indent": 4,
                  "collapsed": false,
                  "cls": "Meta.debug",
                  "children": {"strict": []}}},
                {"text": ""}]}]}}},
          {"text": ""}]},
        {"tag":
         [{"trace":
           {"msg": {"tag": [{"expr": {"text": "child4"}}, {"text": ""}]},
            "indent": 2,
            "collapsed": false,
            "cls": "Meta.debug",
            "children": {"strict": []}}},
          {"text": ""}]}]}}},
    {"text": ""}]},
  "fullRange":
  {"start": {"line": 19, "character": 0}, "end": {"line": 19, "character": 5}}}]