{
  "activeTextEditor": {
    "selections": [
      {
        "anchor": {
          "line": 14,
          "character": 26
        },
        "active": {
          "line": 0,
          "character": 0
        }
      }
    ],
    "documentFilePath": "case2.py",
    "visibleRanges": [
      {
        "start": {
          "line": 0,
          "character": 0
        },
        "end": {
          "line": 15,
          "character": 0
        }
      }
    ],
    "languageId": "python"
  },
  "activeFileDiagnostics": [],
  "debugConsoleOutput": "",
  "terminalBuffer": ""
}