Skip to content

Instantly share code, notes, and snippets.

@hgoldstein95
Created September 20, 2023 14:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hgoldstein95/0e76695ca68324f477b9bd4ac7115bfe to your computer and use it in GitHub Desktop.
Save hgoldstein95/0e76695ca68324f477b9bd4ac7115bfe to your computer and use it in GitHub Desktop.
{"name":"Harry-Base","settings":"{\"settings\":\"{\\n \\\"[latex]\\\": {\\n \\\"editor.formatOnSave\\\": false,\\n \\\"editor.quickSuggestions\\\": {\\n \\\"other\\\": \\\"off\\\",\\n \\\"comments\\\": \\\"off\\\",\\n \\\"strings\\\": \\\"off\\\"\\n },\\n \\\"vim.textwidth\\\": 80,\\n \\\"editor.wordWrapColumn\\\": 80,\\n \\\"rewrap.autoWrap.enabled\\\": true,\\n \\\"files.trimTrailingWhitespace\\\": false, // TODO: Remove this\\n },\\n \\\"[text]\\\": {\\n \\\"rewrap.autoWrap.enabled\\\": true,\\n },\\n \\\"[markdown]\\\": {\\n \\\"rewrap.autoWrap.enabled\\\": true,\\n },\\n \\\"[python]\\\": {\\n \\\"editor.tabSize\\\": 4,\\n \\\"editor.formatOnType\\\": true\\n },\\n \\\"[rust]\\\": {\\n \\\"editor.tabSize\\\": 4\\n },\\n \\\"cSpell.enableFiletypes\\\": [\\n \\\"!go\\\",\\n \\\"!haskell\\\",\\n \\\"!hs\\\",\\n \\\"!java\\\",\\n \\\"!jsonc\\\",\\n \\\"!py\\\",\\n \\\"!python\\\",\\n \\\"!rust\\\",\\n \\\"!scss\\\",\\n \\\"!ts\\\",\\n \\\"!typescript\\\",\\n \\\"!yaml\\\",\\n \\\"tex\\\"\\n ],\\n \\\"cSpell.language\\\": \\\"en-US\\\",\\n \\\"editor.cursorStyle\\\": \\\"line\\\",\\n \\\"editor.fontFamily\\\": \\\"'Fira Code', monospace\\\",\\n \\\"editor.fontLigatures\\\": true,\\n \\\"editor.fontSize\\\": 16,\\n \\\"editor.formatOnSave\\\": true,\\n \\\"editor.formatOnType\\\": false,\\n \\\"editor.formatOnPaste\\\": false,\\n \\\"editor.inlayHints.enabled\\\": \\\"offUnlessPressed\\\",\\n \\\"editor.inlineSuggest.enabled\\\": true,\\n \\\"editor.minimap.enabled\\\": false,\\n \\\"editor.tabSize\\\": 2,\\n \\\"editor.wordSeparators\\\": \\\"/\\\\\\\\()\\\\\\\"':,.;<>~!@#$%^&*|+=[]{}`?-_\\\",\\n \\\"editor.wordWrap\\\": \\\"off\\\",\\n \\\"explorer.confirmDelete\\\": false,\\n \\\"files.exclude\\\": {\\n \\\"**/.git\\\": true,\\n \\\"**/.svn\\\": true,\\n \\\"**/.hg\\\": true,\\n \\\"**/CVS\\\": true,\\n \\\"**/.DS_Store\\\": true,\\n \\\"**/Thumbs.db\\\": true,\\n \\\"**/*.olean\\\": true,\\n \\\"out\\\": false\\n },\\n \\\"files.trimTrailingWhitespace\\\": true,\\n \\\"github.copilot.enable\\\": {\\n \\\"*\\\": true,\\n \\\"plaintext\\\": false,\\n \\\"markdown\\\": false,\\n \\\"scminput\\\": false,\\n \\\"latex\\\": false,\\n \\\"lean\\\": false,\\n \\\"yaml\\\": false\\n },\\n \\\"haskell.manageHLS\\\": \\\"GHCup\\\",\\n \\\"latex-workshop.latex.tools\\\": [\\n {\\n \\\"args\\\": [\\n \\\"-synctex=1\\\",\\n \\\"-interaction=nonstopmode\\\",\\n \\\"--shell-escape\\\",\\n \\\"-file-line-error\\\",\\n \\\"-pdf\\\",\\n \\\"-outdir=%OUTDIR%\\\",\\n \\\"%DOC%\\\"\\n ],\\n \\\"command\\\": \\\"latexmk\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"latexmk\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-synctex=1\\\",\\n \\\"--shell-escape\\\",\\n \\\"-interaction=nonstopmode\\\",\\n \\\"-file-line-error\\\",\\n \\\"-lualatex\\\",\\n \\\"-outdir=%OUTDIR%\\\",\\n \\\"%DOC%\\\"\\n ],\\n \\\"command\\\": \\\"latexmk\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"lualatexmk\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-synctex=1\\\",\\n \\\"-interaction=nonstopmode\\\",\\n \\\"--shell-escape\\\",\\n \\\"-file-line-error\\\",\\n \\\"-xelatex\\\",\\n \\\"-outdir=%OUTDIR%\\\",\\n \\\"%DOC%\\\"\\n ],\\n \\\"command\\\": \\\"latexmk\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"xelatexmk\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"--shell-escape\\\",\\n \\\"%DOC%\\\"\\n ],\\n \\\"command\\\": \\\"latexmk\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"latexmk_rconly\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-synctex=1\\\",\\n \\\"--shell-escape\\\",\\n \\\"-interaction=nonstopmode\\\",\\n \\\"-file-line-error\\\",\\n \\\"%DOC%\\\"\\n ],\\n \\\"command\\\": \\\"pdflatex\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"pdflatex\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"--shell-escape\\\",\\n \\\"%DOCFILE%\\\"\\n ],\\n \\\"command\\\": \\\"bibtex\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"bibtex\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-e\\\",\\n \\\"--shell-escape\\\",\\n \\\"knitr::opts_knit$set(concordance = TRUE); knitr::knit('%DOCFILE_EXT%')\\\"\\n ],\\n \\\"command\\\": \\\"Rscript\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"rnw2tex\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-e\\\",\\n \\\"--shell-escape\\\",\\n \\\"using Weave; weave(\\\\\\\"%DOC_EXT%\\\\\\\", doctype=\\\\\\\"tex\\\\\\\")\\\"\\n ],\\n \\\"command\\\": \\\"julia\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"jnw2tex\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"-e\\\",\\n \\\"--shell-escape\\\",\\n \\\"using Weave; weave(\\\\\\\"%DOC_EXT%\\\\\\\", doctype=\\\\\\\"texminted\\\\\\\")\\\"\\n ],\\n \\\"command\\\": \\\"julia\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"jnw2texmintex\\\"\\n },\\n {\\n \\\"args\\\": [\\n \\\"--synctex\\\",\\n \\\"--shell-escape\\\",\\n \\\"--keep-logs\\\",\\n \\\"%DOC%.tex\\\"\\n ],\\n \\\"command\\\": \\\"tectonic\\\",\\n \\\"env\\\": {},\\n \\\"name\\\": \\\"tectonic\\\"\\n }\\n ],\\n \\\"latex-workshop.message.badbox.show\\\": false,\\n \\\"latex-workshop.message.latexlog.exclude\\\": [\\n \\\"Class acmart Warning: \\\\\\\\\\\\\\\\vspace*\\\",\\n \\\"ACM keywords*\\\",\\n \\\"ACM reference format*\\\",\\n \\\"CCS concepts*\\\",\\n \\\"You have called \\\\\\\\\\\\\\\\balance*\\\"\\n ],\\n \\\"latex-workshop.view.pdf.viewer\\\": \\\"tab\\\",\\n \\\"lean.input.languages\\\": [\\n \\\"lean\\\",\\n \\\"hs\\\"\\n ],\\n \\\"notebook.cellToolbarLocation\\\": {\\n \\\"default\\\": \\\"right\\\",\\n \\\"jupyter-notebook\\\": \\\"left\\\"\\n },\\n \\\"python.analysis.typeCheckingMode\\\": \\\"basic\\\",\\n \\\"python.languageServer\\\": \\\"Pylance\\\",\\n \\\"rust-analyzer.inlayHints.bindingModeHints.enable\\\": true,\\n \\\"rust-analyzer.inlayHints.lifetimeElisionHints.useParameterNames\\\": true,\\n \\\"rust-analyzer.inlayHints.typeHints.hideNamedConstructor\\\": true,\\n \\\"rust-analyzer.lens.implementations.enable\\\": false,\\n \\\"scm.diffDecorations\\\": \\\"none\\\",\\n \\\"search.useGlobalIgnoreFiles\\\": true,\\n \\\"terminal.integrated.fontFamily\\\": \\\"'Fira Code', monospace\\\",\\n \\\"terminal.integrated.fontSize\\\": 16,\\n \\\"terminal.integrated.inheritEnv\\\": false,\\n \\\"vim.easymotion\\\": true,\\n \\\"vim.gdefault\\\": true,\\n \\\"vim.highlightedyank.enable\\\": true,\\n \\\"vim.normalModeKeyBindingsNonRecursive\\\": [\\n {\\n \\\"after\\\": [\\n \\\"y\\\",\\n \\\"$\\\"\\n ],\\n \\\"before\\\": [\\n \\\"Y\\\"\\n ]\\n },\\n {\\n \\\"before\\\": [\\n \\\"<space>\\\"\\n ],\\n \\\"commands\\\": [\\n \\\"vspacecode.space\\\"\\n ]\\n },\\n ],\\n \\\"vim.useSystemClipboard\\\": true,\\n \\\"vim.visualModeKeyBindingsNonRecursive\\\": [\\n {\\n \\\"before\\\": [\\n \\\"<space>\\\"\\n ],\\n \\\"commands\\\": [\\n \\\"vspacecode.space\\\"\\n ]\\n },\\n {\\n \\\"after\\\": [\\n \\\"S\\\"\\n ],\\n \\\"before\\\": [\\n \\\"s\\\"\\n ]\\n }\\n ],\\n \\\"vspacecode.bindingOverrides\\\": [\\n {\\n \\\"keys\\\": [\\n \\\"f\\\",\\n \\\"f\\\"\\n ],\\n \\\"name\\\": \\\"Find file\\\",\\n \\\"type\\\": \\\"command\\\",\\n \\\"command\\\": \\\"workbench.action.quickOpen\\\"\\n }\\n ],\\n \\\"vim.textwidth\\\": 100,\\n \\\"editor.wordWrapColumn\\\": 100,\\n \\\"window.restoreWindows\\\": \\\"none\\\",\\n \\\"workbench.colorTheme\\\": \\\"Nord\\\",\\n \\\"workbench.editorAssociations\\\": {\\n \\\"*.ipynb\\\": \\\"jupyter-notebook\\\"\\n },\\n \\\"workbench.startupEditor\\\": \\\"none\\\",\\n \\\"python.formatting.provider\\\": \\\"yapf\\\",\\n \\\"python.formatting.yapfArgs\\\": [\\n \\\"--style\\\",\\n \\\"{column_limit: 100}\\\"\\n ],\\n \\\"terminal.integrated.defaultProfile.osx\\\": \\\"fish\\\",\\n \\\"[yaml]\\\": {\\n \\\"editor.minimap.maxColumn\\\": 120\\n },\\n \\\"latex-workshop.latex.autoBuild.run\\\": \\\"onSave\\\",\\n \\\"cSpell.userWords\\\": [\\n \\\"acmart\\\",\\n \\\"affordances\\\",\\n \\\"bigenerators\\\",\\n \\\"brainer\\\",\\n \\\"Brzozowski\\\",\\n \\\"Chasins\\\",\\n \\\"coalgebra\\\",\\n \\\"coalgebraic\\\",\\n \\\"combinatorially\\\",\\n \\\"combinators\\\",\\n \\\"concerningly\\\",\\n \\\"concolic\\\",\\n \\\"Daka\\\",\\n \\\"definitionally\\\",\\n \\\"effectful\\\",\\n \\\"extensibly\\\",\\n \\\"functors\\\",\\n \\\"fuzzer\\\",\\n \\\"fuzzers\\\",\\n \\\"Goldstein\\\",\\n \\\"HATRA\\\",\\n \\\"ICFP\\\",\\n \\\"incrementalize\\\",\\n \\\"interestingness\\\",\\n \\\"Lampropoulos\\\",\\n \\\"mentees\\\",\\n \\\"operationalize\\\",\\n \\\"profunctors\\\",\\n \\\"Quickstrom\\\",\\n \\\"Quviq\\\",\\n \\\"semistructured\\\",\\n \\\"societally\\\",\\n \\\"sublist\\\",\\n \\\"toolbelt\\\",\\n \\\"toolset\\\",\\n \\\"toolsets\\\",\\n \\\"UIST\\\",\\n \\\"underrepresent\\\",\\n \\\"Warshall\\\",\\n \\\"Weirich\\\",\\n \\\"whitebox\\\",\\n \\\"Wrenn\\\",\\n \\\"Zdancewic\\\"\\n ],\\n \\\"typescript.preferences.quoteStyle\\\": \\\"double\\\",\\n \\\"javascript.preferences.quoteStyle\\\": \\\"double\\\",\\n \\\"highlight.regexFlags\\\": \\\"g\\\",\\n \\\"highlight.regexes\\\": {\\n \\\"(.*)(TODO)(.*)\\\": [\\n {},\\n {\\n \\\"color\\\": \\\"#88C0D0\\\"\\n }\\n ],\\n \\\"(.*)(NOTE)(.*)\\\": [\\n {},\\n {\\n \\\"color\\\": \\\"#A3BE8C\\\",\\n }\\n ],\\n \\\"(.*)(FIXME)(.*)\\\": [\\n {},\\n {\\n \\\"color\\\": \\\"#BF616A\\\"\\n }\\n ]\\n },\\n \\\"haskell.plugin.ghcide-type-lenses.config.mode\\\": \\\"exported\\\",\\n \\\"[haskell]\\\": {\\n \\\"editor.defaultFormatter\\\": \\\"haskell.haskell\\\"\\n },\\n \\\"triggerTaskOnSave.tasks\\\": {\\n \\\"Build Coq\\\": [\\n \\\"*.v\\\"\\n ],\\n },\\n \\\"task.allowAutomaticTasks\\\": \\\"on\\\",\\n \\\"editor.cursorBlinking\\\": \\\"solid\\\",\\n \\\"editor.lineNumbers\\\": \\\"off\\\",\\n \\\"editor.renderLineHighlight\\\": \\\"none\\\",\\n \\\"editor.suggest.showStatusBar\\\": true,\\n \\\"githubPullRequests.quickDiff\\\": true,\\n \\\"emmet.includeLanguages\\\": {\\n \\\"nunjucks\\\": \\\"html\\\"\\n }\\n}\"}","keybindings":"{\"keybindings\":\"// Place your key bindings in this file to override the defaults\\n[\\n\\t{\\n\\t\\t\\\"key\\\": \\\"space\\\",\\n\\t\\t\\\"command\\\": \\\"vspacecode.space\\\",\\n\\t\\t\\\"when\\\": \\\"activeEditorGroupEmpty && focusedView == '' && !whichkeyActive && !inputFocus\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"space\\\",\\n\\t\\t\\\"command\\\": \\\"vspacecode.space\\\",\\n\\t\\t\\\"when\\\": \\\"sideBarFocus && !inputFocus && !whichkeyActive\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"tab\\\",\\n\\t\\t\\\"command\\\": \\\"extension.vim_tab\\\",\\n\\t\\t\\\"when\\\": \\\"editorFocus && vim.active && !inDebugRepl && vim.mode != 'Insert' && editorLangId != 'magit'\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"tab\\\",\\n\\t\\t\\\"command\\\": \\\"-extension.vim_tab\\\",\\n\\t\\t\\\"when\\\": \\\"editorFocus && vim.active && !inDebugRepl && vim.mode != 'Insert'\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"x\\\",\\n\\t\\t\\\"command\\\": \\\"magit.discard-at-point\\\",\\n\\t\\t\\\"when\\\": \\\"editorTextFocus && editorLangId == 'magit' && vim.mode =~ /^(?!SearchInProgressMode|CommandlineInProgress).*$/\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"k\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.discard-at-point\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"-\\\",\\n\\t\\t\\\"command\\\": \\\"magit.reverse-at-point\\\",\\n\\t\\t\\\"when\\\": \\\"editorTextFocus && editorLangId == 'magit' && vim.mode =~ /^(?!SearchInProgressMode|CommandlineInProgress).*$/\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"v\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.reverse-at-point\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"shift+-\\\",\\n\\t\\t\\\"command\\\": \\\"magit.reverting\\\",\\n\\t\\t\\\"when\\\": \\\"editorTextFocus && editorLangId == 'magit' && vim.mode =~ /^(?!SearchInProgressMode|CommandlineInProgress).*$/\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"shift+v\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.reverting\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"shift+o\\\",\\n\\t\\t\\\"command\\\": \\\"magit.resetting\\\",\\n\\t\\t\\\"when\\\": \\\"editorTextFocus && editorLangId == 'magit' && vim.mode =~ /^(?!SearchInProgressMode|CommandlineInProgress).*$/\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"shift+x\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.resetting\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"x\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.reset-mixed\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+u x\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.reset-hard\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"y\\\",\\n\\t\\t\\\"command\\\": \\\"-magit.show-refs\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"y\\\",\\n\\t\\t\\\"command\\\": \\\"vspacecode.showMagitRefMenu\\\",\\n\\t\\t\\\"when\\\": \\\"editorTextFocus && editorLangId == 'magit' && vim.mode == 'Normal'\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+j\\\",\\n\\t\\t\\\"command\\\": \\\"workbench.action.quickOpenSelectNext\\\",\\n\\t\\t\\\"when\\\": \\\"inQuickOpen\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+k\\\",\\n\\t\\t\\\"command\\\": \\\"workbench.action.quickOpenSelectPrevious\\\",\\n\\t\\t\\\"when\\\": \\\"inQuickOpen\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+j\\\",\\n\\t\\t\\\"command\\\": \\\"selectNextSuggestion\\\",\\n\\t\\t\\\"when\\\": \\\"suggestWidgetMultipleSuggestions && suggestWidgetVisible && textInputFocus\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+k\\\",\\n\\t\\t\\\"command\\\": \\\"selectPrevSuggestion\\\",\\n\\t\\t\\\"when\\\": \\\"suggestWidgetMultipleSuggestions && suggestWidgetVisible && textInputFocus\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+l\\\",\\n\\t\\t\\\"command\\\": \\\"acceptSelectedSuggestion\\\",\\n\\t\\t\\\"when\\\": \\\"suggestWidgetMultipleSuggestions && suggestWidgetVisible && textInputFocus\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+j\\\",\\n\\t\\t\\\"command\\\": \\\"showNextParameterHint\\\",\\n\\t\\t\\\"when\\\": \\\"editorFocus && parameterHintsMultipleSignatures && parameterHintsVisible\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+k\\\",\\n\\t\\t\\\"command\\\": \\\"showPrevParameterHint\\\",\\n\\t\\t\\\"when\\\": \\\"editorFocus && parameterHintsMultipleSignatures && parameterHintsVisible\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+h\\\",\\n\\t\\t\\\"command\\\": \\\"file-browser.stepOut\\\",\\n\\t\\t\\\"when\\\": \\\"inFileBrowser\\\"\\n\\t},\\n\\t{\\n\\t\\t\\\"key\\\": \\\"ctrl+l\\\",\\n\\t\\t\\\"command\\\": \\\"file-browser.stepIn\\\",\\n\\t\\t\\\"when\\\": \\\"inFileBrowser\\\"\\n\\t}\\n]\",\"platform\":1}","extensions":"[{\"identifier\":{\"id\":\"andrsdc.base16-themes\",\"uuid\":\"5b70d193-8451-4993-b4d4-eabcc15b7fe1\"},\"displayName\":\"Base16 Themes\"},{\"identifier\":{\"id\":\"arcticicestudio.nord-visual-studio-code\",\"uuid\":\"6f35c257-7fd5-4bc2-9cd1-01976589c17a\"},\"displayName\":\"Nord\"},{\"identifier\":{\"id\":\"bodil.file-browser\",\"uuid\":\"97a82b1e-e6f7-4519-b1fc-f6be103e3824\"},\"displayName\":\"File Browser\"},{\"identifier\":{\"id\":\"esbenp.prettier-vscode\",\"uuid\":\"96fa4707-6983-4489-b7c5-d5ffdfdcce90\"},\"displayName\":\"Prettier - Code formatter\",\"disabled\":true},{\"identifier\":{\"id\":\"fabiospampinato.vscode-highlight\",\"uuid\":\"5471fe3e-315b-4c05-b41e-8bb493227c2e\"},\"displayName\":\"Highlight\"},{\"identifier\":{\"id\":\"haskell.haskell\",\"uuid\":\"aead9e6c-3483-4ce4-a09f-843e25ce696f\"},\"displayName\":\"Haskell\"},{\"identifier\":{\"id\":\"huytd.nord-light\",\"uuid\":\"7aa98389-07cd-4c33-b912-50de62391fd3\"},\"displayName\":\"Nord Light\"},{\"identifier\":{\"id\":\"james-yu.latex-workshop\",\"uuid\":\"61d03280-3919-4dd1-bce1-178ca21fdeaf\"},\"displayName\":\"LaTeX Workshop\"},{\"identifier\":{\"id\":\"justusadam.language-haskell\",\"uuid\":\"270c1d3b-a657-446f-83b8-ab32fd7af006\"},\"displayName\":\"Haskell Syntax Highlighting\"},{\"identifier\":{\"id\":\"kahole.magit\",\"uuid\":\"4d965b97-6bfd-43d8-882c-d4dfce310168\"},\"displayName\":\"edamagit\"},{\"identifier\":{\"id\":\"ms-python.python\",\"uuid\":\"f1f59ae4-9318-4f3c-a9b5-81b2eaa5f8a5\"},\"displayName\":\"Python\"},{\"identifier\":{\"id\":\"ms-python.vscode-pylance\",\"uuid\":\"364d2426-116a-433a-a5d8-a5098dc3afbd\"},\"displayName\":\"Pylance\"},{\"identifier\":{\"id\":\"ms-toolsai.jupyter\",\"uuid\":\"6c2f1801-1e7f-45b2-9b5c-7782f1e076e8\"},\"displayName\":\"Jupyter\"},{\"identifier\":{\"id\":\"ms-toolsai.jupyter-keymap\",\"uuid\":\"9f6dc8db-620c-4844-b8c5-e74914f1be27\"},\"displayName\":\"Jupyter Keymap\"},{\"identifier\":{\"id\":\"ms-toolsai.jupyter-renderers\",\"uuid\":\"b15c72f8-d5fe-421a-a4f7-27ed9f6addbf\"},\"displayName\":\"Jupyter Notebook Renderers\"},{\"identifier\":{\"id\":\"ms-toolsai.vscode-jupyter-cell-tags\",\"uuid\":\"ab4fb32a-befb-4102-adf9-1652d0cd6a5e\"},\"displayName\":\"Jupyter Cell Tags\"},{\"identifier\":{\"id\":\"ms-toolsai.vscode-jupyter-slideshow\",\"uuid\":\"e153ca70-b543-4865-b4c5-b31d34185948\"},\"displayName\":\"Jupyter Slide Show\"},{\"identifier\":{\"id\":\"ms-vscode.makefile-tools\",\"uuid\":\"e09cf600-90a1-414e-92a0-031f1a5391c6\"},\"displayName\":\"Makefile Tools\"},{\"identifier\":{\"id\":\"ms-vsliveshare.vsliveshare\",\"uuid\":\"5a6dc0d5-dc02-4121-8e24-cad33a2ff0af\"},\"displayName\":\"Live Share\"},{\"identifier\":{\"id\":\"redhat.java\",\"uuid\":\"198a707e-28af-4e84-8610-6e2f628dd12d\"},\"displayName\":\"Language Support for Java(TM) by Red Hat\",\"disabled\":true},{\"identifier\":{\"id\":\"stkb.rewrap\",\"uuid\":\"b24a13f5-4e50-4d9a-ab0a-87f47d9fdfcb\"},\"displayName\":\"Rewrap\"},{\"identifier\":{\"id\":\"streetsidesoftware.code-spell-checker\",\"uuid\":\"f6dbd813-b0a0-42c1-90ea-10dde9d925a7\"},\"displayName\":\"Code Spell Checker\"},{\"identifier\":{\"id\":\"tyriar.lorem-ipsum\",\"uuid\":\"489abeb0-400c-4a08-bde4-cf5d9b863a32\"},\"displayName\":\"Lorem ipsum\"},{\"identifier\":{\"id\":\"vscodevim.vim\",\"uuid\":\"d96e79c6-8b25-4be3-8545-0e0ecefcae03\"},\"displayName\":\"Vim\"},{\"identifier\":{\"id\":\"vsls-contrib.codetour\",\"uuid\":\"1d9b1776-4188-4b43-b23f-bab3d47537e9\"},\"displayName\":\"CodeTour\"},{\"identifier\":{\"id\":\"vspacecode.vspacecode\",\"uuid\":\"1c81ab96-0424-43c4-b356-fe408a1bd1cf\"},\"displayName\":\"VSpaceCode\"},{\"identifier\":{\"id\":\"vspacecode.whichkey\",\"uuid\":\"47ddeb9c-b4bb-4594-906b-412886e20e47\"},\"displayName\":\"Which Key\"}]","globalState":"{\"storage\":{\"workbench.panel.markers.hidden\":\"[{\\\"id\\\":\\\"workbench.panel.markers.view\\\",\\\"isHidden\\\":false}]\",\"workbench.panel.output.hidden\":\"[{\\\"id\\\":\\\"workbench.panel.output\\\",\\\"isHidden\\\":false}]\",\"terminal.hidden\":\"[{\\\"id\\\":\\\"terminal\\\",\\\"isHidden\\\":false}]\",\"workbench.scm.views.state.hidden\":\"[{\\\"id\\\":\\\"workbench.scm.repositories\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.scm\\\",\\\"isHidden\\\":false}]\",\"workbench.explorer.views.state.hidden\":\"[{\\\"id\\\":\\\"outline\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"timeline\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.explorer.openEditorsView\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.explorer.emptyView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"npm\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.explorer.fileView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"liveshare.session.explorer\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"javaProjectExplorer\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"mavenProjects\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"codetour.tours\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"rustDependencies\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"cell-tag\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-sandbox\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-switches\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-commands\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-help\\\",\\\"isHidden\\\":false}]\",\"workbench.view.search.state.hidden\":\"[{\\\"id\\\":\\\"workbench.view.search\\\",\\\"isHidden\\\":false}]\",\"workbench.activity.pinnedViewlets2\":\"[{\\\"id\\\":\\\"workbench.view.explorer\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":0},{\\\"id\\\":\\\"workbench.view.search\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":1},{\\\"id\\\":\\\"workbench.view.scm\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":2},{\\\"id\\\":\\\"workbench.view.debug\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":3},{\\\"id\\\":\\\"workbench.view.remote\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":4},{\\\"id\\\":\\\"workbench.view.extensions\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":4},{\\\"id\\\":\\\"workbench.view.extension.test\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":6},{\\\"id\\\":\\\"workbench.view.extension.references-view\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":7},{\\\"id\\\":\\\"workbench.view.extension.latex-workshop-activitybar\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":10},{\\\"id\\\":\\\"workbench.view.extension.latex\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":8},{\\\"id\\\":\\\"workbench.view.extension.jupyter\\\",\\\"pinned\\\":false,\\\"visible\\\":false,\\\"order\\\":12},{\\\"id\\\":\\\"workbench.view.extension.cspell-explorer\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":15},{\\\"id\\\":\\\"workbench.view.extension.liveshare\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":14},{\\\"id\\\":\\\"workbench.view.extension.copilot-sidebar-webview\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":8},{\\\"id\\\":\\\"workbench.view.extension.todo-tree-container\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":8},{\\\"id\\\":\\\"workbench.view.extension.makefile__viewContainer\\\",\\\"pinned\\\":false,\\\"visible\\\":true,\\\"order\\\":13},{\\\"id\\\":\\\"workbench.view.extension.dockerView\\\",\\\"pinned\\\":false,\\\"visible\\\":true,\\\"order\\\":11},{\\\"id\\\":\\\"workbench.view.extension.ocaml-explorer\\\",\\\"pinned\\\":false,\\\"visible\\\":false,\\\"order\\\":15},{\\\"id\\\":\\\"workbench.view.extension.github-pull-requests\\\",\\\"pinned\\\":true,\\\"visible\\\":true,\\\"order\\\":8},{\\\"id\\\":\\\"workbench.view.extension.github-pull-request\\\",\\\"pinned\\\":true,\\\"visible\\\":false,\\\"order\\\":9},{\\\"id\\\":\\\"workbench.view.sync\\\",\\\"pinned\\\":true,\\\"visible\\\":false},{\\\"id\\\":\\\"workbench.view.editSessions\\\",\\\"pinned\\\":true,\\\"visible\\\":false},{\\\"id\\\":\\\"userDataProfiles\\\",\\\"pinned\\\":true,\\\"visible\\\":true}]\",\"nps/lastSessionDate\":\"Mon Apr 19 2021\",\"nps/sessionCount\":\"9\",\"cpp.1.lastSessionDate\":\"Wed Sep 20 2023\",\"cpp.1.sessionCount\":\"487\",\"java.2.lastSessionDate\":\"Wed Sep 20 2023\",\"java.2.sessionCount\":\"487\",\"javascript.1.lastSessionDate\":\"Wed Sep 20 2023\",\"javascript.1.sessionCount\":\"487\",\"typescript.1.lastSessionDate\":\"Wed Dec 07 2022\",\"typescript.1.sessionCount\":\"279\",\"workbench.view.debug.state.hidden\":\"[{\\\"id\\\":\\\"workbench.debug.welcome\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.debug.variablesView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.debug.watchExpressionsView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.debug.callStackView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.debug.loadedScriptsView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.debug.breakPointsView\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"jsBrowserBreakpoints\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"jsExcludedCallers\\\",\\\"isHidden\\\":false}]\",\"ces/skipSurvey\":\"1.55.0\",\"workbench.telemetryOptOutShown\":\"true\",\"workbench.panel.pinnedPanels\":\"[{\\\"id\\\":\\\"workbench.panel.markers\\\",\\\"name\\\":\\\"Problems\\\",\\\"pinned\\\":true,\\\"order\\\":0,\\\"visible\\\":true},{\\\"id\\\":\\\"workbench.panel.output\\\",\\\"name\\\":\\\"Output\\\",\\\"pinned\\\":true,\\\"order\\\":1,\\\"visible\\\":true},{\\\"id\\\":\\\"workbench.panel.testResults\\\",\\\"name\\\":\\\"Test Results\\\",\\\"pinned\\\":true,\\\"order\\\":3,\\\"visible\\\":false},{\\\"id\\\":\\\"terminal\\\",\\\"name\\\":\\\"Terminal\\\",\\\"pinned\\\":true,\\\"order\\\":3,\\\"visible\\\":true},{\\\"id\\\":\\\"workbench.view.extension.coq-performance-report\\\",\\\"name\\\":\\\"Coq\\\",\\\"pinned\\\":true,\\\"order\\\":6,\\\"visible\\\":true},{\\\"id\\\":\\\"workbench.view.extension.copilot-message-panel\\\",\\\"name\\\":\\\"Copilot\\\",\\\"pinned\\\":true,\\\"order\\\":7,\\\"visible\\\":false},{\\\"id\\\":\\\"workbench.view.extension.jupyter-variables\\\",\\\"name\\\":\\\"Jupyter\\\",\\\"pinned\\\":true,\\\"order\\\":7,\\\"visible\\\":false},{\\\"id\\\":\\\"~remote.forwardedPortsContainer\\\",\\\"name\\\":\\\"Ports\\\",\\\"pinned\\\":true,\\\"order\\\":5,\\\"visible\\\":true},{\\\"id\\\":\\\"workbench.panel.comments\\\",\\\"name\\\":\\\"Comments\\\",\\\"pinned\\\":true,\\\"order\\\":10,\\\"visible\\\":false},{\\\"id\\\":\\\"refactorPreview\\\",\\\"name\\\":\\\"Refactor Preview\\\",\\\"pinned\\\":true,\\\"visible\\\":false},{\\\"id\\\":\\\"workbench.panel.repl\\\",\\\"name\\\":\\\"Debug Console\\\",\\\"pinned\\\":true,\\\"order\\\":2,\\\"visible\\\":true}]\",\"colorThemeData\":\"{\\\"id\\\":\\\"vs-dark arcticicestudio-nord-visual-studio-code-themes-nord-color-theme-json\\\",\\\"label\\\":\\\"Nord\\\",\\\"settingsId\\\":\\\"Nord\\\",\\\"themeTokenColors\\\":[{\\\"settings\\\":{\\\"foreground\\\":\\\"#d8dee9ff\\\",\\\"background\\\":\\\"#2e3440ff\\\"}},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"italic\\\"},\\\"scope\\\":\\\"emphasis\\\"},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"bold\\\"},\\\"scope\\\":\\\"strong\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#616E88\\\"},\\\"scope\\\":\\\"comment\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"constant.character\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"constant.character.escape\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"constant.language\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#B48EAD\\\"},\\\"scope\\\":\\\"constant.numeric\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"constant.regexp\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"entity.name.class\\\",\\\"entity.name.type.class\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"entity.name.function\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"entity.name.tag\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"entity.other.attribute-name\\\"},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"bold\\\",\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"entity.other.inherited-class\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\",\\\"background\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"invalid.deprecated\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\",\\\"background\\\":\\\"#BF616A\\\"},\\\"scope\\\":\\\"invalid.illegal\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"keyword\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"keyword.operator\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"keyword.other.new\\\"},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"bold\\\"},\\\"scope\\\":\\\"markup.bold\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"markup.changed\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#BF616A\\\"},\\\"scope\\\":\\\"markup.deleted\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#A3BE8C\\\"},\\\"scope\\\":\\\"markup.inserted\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\"},\\\"scope\\\":\\\"meta.preprocessor\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":\\\"punctuation\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":[\\\"punctuation.definition.method-parameters\\\",\\\"punctuation.definition.function-parameters\\\",\\\"punctuation.definition.parameters\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"punctuation.definition.tag\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#616E88\\\"},\\\"scope\\\":[\\\"punctuation.definition.comment\\\",\\\"punctuation.end.definition.comment\\\",\\\"punctuation.start.definition.comment\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":\\\"punctuation.section\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":[\\\"punctuation.section.embedded.begin\\\",\\\"punctuation.section.embedded.end\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"punctuation.terminator\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"punctuation.definition.variable\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"storage\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#A3BE8C\\\"},\\\"scope\\\":\\\"string\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"string.regexp\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"support.class\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"support.constant\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"support.function\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"support.function.construct\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"support.type\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"support.type.exception\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#b48ead\\\"},\\\"scope\\\":\\\"token.debug-token\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#bf616a\\\"},\\\"scope\\\":\\\"token.error-token\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88c0d0\\\"},\\\"scope\\\":\\\"token.info-token\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ebcb8b\\\"},\\\"scope\\\":\\\"token.warn-token\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"variable.other\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"variable.language\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"variable.parameter\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"punctuation.separator.pointer-access.c\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"source.c meta.preprocessor.include\\\",\\\"source.c string.quoted.other.lt-gt.include\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\",\\\"fontStyle\\\":\\\"bold\\\"},\\\"scope\\\":[\\\"source.cpp keyword.control.directive.conditional\\\",\\\"source.cpp punctuation.definition.directive\\\",\\\"source.c keyword.control.directive.conditional\\\",\\\"source.c punctuation.definition.directive\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#B48EAD\\\"},\\\"scope\\\":\\\"source.css constant.other.color.rgb-value\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.css meta.property-value\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\"},\\\"scope\\\":[\\\"source.css keyword.control.at-rule.media\\\",\\\"source.css keyword.control.at-rule.media punctuation.definition.keyword\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.css punctuation.definition.keyword\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"source.css support.type.property-name\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.diff meta.diff.range.context\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.diff meta.diff.header.from-file\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.diff punctuation.definition.from-file\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.diff punctuation.definition.range\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.diff punctuation.definition.separator\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"entity.name.type.module.elixir\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\",\\\"fontStyle\\\":\\\"bold\\\"},\\\"scope\\\":\\\"variable.other.readwrite.module.elixir\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\",\\\"fontStyle\\\":\\\"bold\\\"},\\\"scope\\\":\\\"constant.other.symbol.elixir\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"variable.other.constant.elixir\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"source.go constant.other.placeholder.go\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.java comment.block.documentation.javadoc punctuation.definition.entity.html\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"source.java constant.other\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java keyword.other.documentation\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java keyword.other.documentation.author.javadoc\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"source.java keyword.other.documentation.directive\\\",\\\"source.java keyword.other.documentation.custom\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java keyword.other.documentation.see.javadoc\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.java meta.method-call meta.method\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"source.java meta.tag.template.link.javadoc\\\",\\\"source.java string.other.link.title.javadoc\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.java meta.tag.template.value.javadoc\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java punctuation.definition.keyword.javadoc\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#616E88\\\"},\\\"scope\\\":[\\\"source.java punctuation.definition.tag.begin.javadoc\\\",\\\"source.java punctuation.definition.tag.end.javadoc\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java storage.modifier.import\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java storage.modifier.package\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java storage.type\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\"},\\\"scope\\\":\\\"source.java storage.type.annotation\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.java storage.type.generic\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.java storage.type.primitive\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\"},\\\"scope\\\":[\\\"source.js punctuation.decorator\\\",\\\"source.js meta.decorator variable.other.readwrite\\\",\\\"source.js meta.decorator entity.name.function\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.js meta.object-literal.key\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.js storage.type.class.jsdoc\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":[\\\"source.js string.quoted.template punctuation.quasi.element.begin\\\",\\\"source.js string.quoted.template punctuation.quasi.element.end\\\",\\\"source.js string.template punctuation.definition.template-expression\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":\\\"source.js string.quoted.template meta.method-call.with-arguments\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":[\\\"source.js string.template meta.template.expression support.variable.property\\\",\\\"source.js string.template meta.template.expression variable.other.object\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.js support.type.primitive\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"source.js variable.other.object\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.js variable.other.readwrite.alias\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":[\\\"source.js meta.embedded.line meta.brace.square\\\",\\\"source.js meta.embedded.line meta.brace.round\\\",\\\"source.js string.quoted.template meta.brace.square\\\",\\\"source.js string.quoted.template meta.brace.round\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#EBCB8B\\\"},\\\"scope\\\":\\\"text.html.basic constant.character.entity.html\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\",\\\"fontStyle\\\":\\\"italic\\\"},\\\"scope\\\":\\\"text.html.basic constant.other.inline-data\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\"},\\\"scope\\\":\\\"text.html.basic meta.tag.sgml.doctype\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"text.html.basic punctuation.definition.entity\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.properties entity.name.section.group-title.ini\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"source.properties punctuation.separator.key-value.ini\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"text.html.markdown markup.fenced_code.block\\\",\\\"text.html.markdown markup.fenced_code.block punctuation.definition\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"markup.heading\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"text.html.markdown markup.inline.raw\\\",\\\"text.html.markdown markup.inline.raw punctuation.definition.raw\\\"]},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"italic\\\"},\\\"scope\\\":\\\"text.html.markdown markup.italic\\\"},{\\\"settings\\\":{\\\"fontStyle\\\":\\\"underline\\\"},\\\"scope\\\":\\\"text.html.markdown markup.underline.link\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"text.html.markdown beginning.punctuation.definition.list\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"text.html.markdown beginning.punctuation.definition.quote\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#616E88\\\"},\\\"scope\\\":\\\"text.html.markdown markup.quote\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"text.html.markdown constant.character.math.tex\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\"},\\\"scope\\\":[\\\"text.html.markdown punctuation.definition.math.begin\\\",\\\"text.html.markdown punctuation.definition.math.end\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"text.html.markdown punctuation.definition.function.math.tex\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"text.html.markdown punctuation.math.operator.latex\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":\\\"text.html.markdown punctuation.definition.heading\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":[\\\"text.html.markdown punctuation.definition.constant\\\",\\\"text.html.markdown punctuation.definition.string\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":[\\\"text.html.markdown constant.other.reference.link\\\",\\\"text.html.markdown string.other.link.description\\\",\\\"text.html.markdown string.other.link.title\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":\\\"source.perl punctuation.definition.variable\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":[\\\"source.php meta.function-call\\\",\\\"source.php meta.function-call.object\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\"},\\\"scope\\\":[\\\"source.python entity.name.function.decorator\\\",\\\"source.python meta.function.decorator support.type\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.python meta.function-call.generic\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":\\\"source.python support.type\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":[\\\"source.python variable.parameter.function.language\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":[\\\"source.python meta.function.parameters variable.parameter.function.language.special.self\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#81A1C1\\\"},\\\"scope\\\":[\\\"source.css.scss punctuation.definition.interpolation.begin.bracket.curly\\\",\\\"source.css.scss punctuation.definition.interpolation.end.bracket.curly\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\",\\\"fontStyle\\\":\\\"italic\\\"},\\\"scope\\\":\\\"source.css.scss variable.interpolation\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\"},\\\"scope\\\":[\\\"source.ts punctuation.decorator\\\",\\\"source.ts meta.decorator variable.other.readwrite\\\",\\\"source.ts meta.decorator entity.name.function\\\",\\\"source.tsx punctuation.decorator\\\",\\\"source.tsx meta.decorator variable.other.readwrite\\\",\\\"source.tsx meta.decorator entity.name.function\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":[\\\"source.ts meta.object-literal.key\\\",\\\"source.tsx meta.object-literal.key\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#88C0D0\\\"},\\\"scope\\\":[\\\"source.ts meta.object-literal.key entity.name.function\\\",\\\"source.tsx meta.object-literal.key entity.name.function\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"source.ts support.class\\\",\\\"source.ts support.type\\\",\\\"source.ts entity.name.type\\\",\\\"source.ts entity.name.class\\\",\\\"source.tsx support.class\\\",\\\"source.tsx support.type\\\",\\\"source.tsx entity.name.type\\\",\\\"source.tsx entity.name.class\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":[\\\"source.ts support.constant.math\\\",\\\"source.ts support.constant.dom\\\",\\\"source.ts support.constant.json\\\",\\\"source.tsx support.constant.math\\\",\\\"source.tsx support.constant.dom\\\",\\\"source.tsx support.constant.json\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D8DEE9\\\"},\\\"scope\\\":[\\\"source.ts support.variable\\\",\\\"source.tsx support.variable\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#ECEFF4\\\"},\\\"scope\\\":[\\\"source.ts meta.embedded.line meta.brace.square\\\",\\\"source.ts meta.embedded.line meta.brace.round\\\",\\\"source.tsx meta.embedded.line meta.brace.square\\\",\\\"source.tsx meta.embedded.line meta.brace.round\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"text.xml entity.name.tag.namespace\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\"},\\\"scope\\\":\\\"text.xml keyword.other.doctype\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#5E81AC\\\"},\\\"scope\\\":\\\"text.xml meta.tag.preprocessor entity.name.tag\\\"},{\\\"settings\\\":{\\\"foreground\\\":\\\"#D08770\\\",\\\"fontStyle\\\":\\\"italic\\\"},\\\"scope\\\":[\\\"text.xml string.unquoted.cdata\\\",\\\"text.xml string.unquoted.cdata punctuation.definition.string\\\"]},{\\\"settings\\\":{\\\"foreground\\\":\\\"#8FBCBB\\\"},\\\"scope\\\":\\\"source.yaml entity.name.tag\\\"}],\\\"semanticTokenRules\\\":[],\\\"extensionData\\\":{\\\"_extensionId\\\":\\\"arcticicestudio.nord-visual-studio-code\\\",\\\"_extensionIsBuiltin\\\":false,\\\"_extensionName\\\":\\\"nord-visual-studio-code\\\",\\\"_extensionPublisher\\\":\\\"arcticicestudio\\\"},\\\"themeSemanticHighlighting\\\":true,\\\"colorMap\\\":{\\\"focusBorder\\\":\\\"#3b4252\\\",\\\"foreground\\\":\\\"#d8dee9\\\",\\\"activityBar.background\\\":\\\"#2e3440\\\",\\\"activityBar.dropBackground\\\":\\\"#3b4252\\\",\\\"activityBar.foreground\\\":\\\"#d8dee9\\\",\\\"activityBar.activeBorder\\\":\\\"#88c0d0\\\",\\\"activityBar.activeBackground\\\":\\\"#3b4252\\\",\\\"activityBarBadge.background\\\":\\\"#88c0d0\\\",\\\"activityBarBadge.foreground\\\":\\\"#2e3440\\\",\\\"badge.foreground\\\":\\\"#2e3440\\\",\\\"badge.background\\\":\\\"#88c0d0\\\",\\\"button.background\\\":\\\"#88c0d0ee\\\",\\\"button.foreground\\\":\\\"#2e3440\\\",\\\"button.hoverBackground\\\":\\\"#88c0d0\\\",\\\"button.secondaryBackground\\\":\\\"#434c5e\\\",\\\"button.secondaryForeground\\\":\\\"#d8dee9\\\",\\\"button.secondaryHoverBackground\\\":\\\"#4c566a\\\",\\\"charts.red\\\":\\\"#bf616a\\\",\\\"charts.blue\\\":\\\"#81a1c1\\\",\\\"charts.yellow\\\":\\\"#ebcb8b\\\",\\\"charts.orange\\\":\\\"#d08770\\\",\\\"charts.green\\\":\\\"#a3be8c\\\",\\\"charts.purple\\\":\\\"#b48ead\\\",\\\"charts.foreground\\\":\\\"#d8dee9\\\",\\\"charts.lines\\\":\\\"#88c0d0\\\",\\\"debugConsole.infoForeground\\\":\\\"#88c0d0\\\",\\\"debugConsole.warningForeground\\\":\\\"#ebcb8b\\\",\\\"debugConsole.errorForeground\\\":\\\"#bf616a\\\",\\\"debugConsole.sourceForeground\\\":\\\"#616e88\\\",\\\"debugConsoleInputIcon.foreground\\\":\\\"#81a1c1\\\",\\\"debugExceptionWidget.background\\\":\\\"#4c566a\\\",\\\"debugExceptionWidget.border\\\":\\\"#2e3440\\\",\\\"debugToolBar.background\\\":\\\"#3b4252\\\",\\\"descriptionForeground\\\":\\\"#d8dee9e6\\\",\\\"diffEditor.insertedTextBackground\\\":\\\"#81a1c133\\\",\\\"diffEditor.removedTextBackground\\\":\\\"#bf616a4d\\\",\\\"dropdown.background\\\":\\\"#3b4252\\\",\\\"dropdown.border\\\":\\\"#3b4252\\\",\\\"dropdown.foreground\\\":\\\"#d8dee9\\\",\\\"editorActiveLineNumber.foreground\\\":\\\"#d8dee9cc\\\",\\\"editorCursor.foreground\\\":\\\"#d8dee9\\\",\\\"editorHint.border\\\":\\\"#ebcb8b00\\\",\\\"editorHint.foreground\\\":\\\"#ebcb8b\\\",\\\"editorIndentGuide.background\\\":\\\"#434c5eb3\\\",\\\"editorIndentGuide.activeBackground\\\":\\\"#4c566a\\\",\\\"editorInlayHint.background\\\":\\\"#434c5e\\\",\\\"editorInlayHint.foreground\\\":\\\"#d8dee9\\\",\\\"editorLineNumber.foreground\\\":\\\"#4c566a\\\",\\\"editorLineNumber.activeForeground\\\":\\\"#d8dee9\\\",\\\"editorWhitespace.foreground\\\":\\\"#4c566ab3\\\",\\\"editorWidget.background\\\":\\\"#2e3440\\\",\\\"editorWidget.border\\\":\\\"#3b4252\\\",\\\"editor.background\\\":\\\"#2e3440\\\",\\\"editor.foreground\\\":\\\"#d8dee9\\\",\\\"editor.hoverHighlightBackground\\\":\\\"#3b4252\\\",\\\"editor.findMatchBackground\\\":\\\"#88c0d066\\\",\\\"editor.findMatchHighlightBackground\\\":\\\"#88c0d033\\\",\\\"editor.findRangeHighlightBackground\\\":\\\"#88c0d033\\\",\\\"editor.lineHighlightBackground\\\":\\\"#3b4252\\\",\\\"editor.lineHighlightBorder\\\":\\\"#3b4252\\\",\\\"editor.inactiveSelectionBackground\\\":\\\"#434c5ecc\\\",\\\"editor.inlineValuesBackground\\\":\\\"#4c566a\\\",\\\"editor.inlineValuesForeground\\\":\\\"#eceff4\\\",\\\"editor.selectionBackground\\\":\\\"#434c5ecc\\\",\\\"editor.selectionHighlightBackground\\\":\\\"#434c5ecc\\\",\\\"editor.rangeHighlightBackground\\\":\\\"#434c5e52\\\",\\\"editor.wordHighlightBackground\\\":\\\"#81a1c166\\\",\\\"editor.wordHighlightStrongBackground\\\":\\\"#81a1c199\\\",\\\"editor.stackFrameHighlightBackground\\\":\\\"#5e81ac\\\",\\\"editor.focusedStackFrameHighlightBackground\\\":\\\"#5e81ac\\\",\\\"editorError.foreground\\\":\\\"#bf616a\\\",\\\"editorError.border\\\":\\\"#bf616a00\\\",\\\"editorWarning.foreground\\\":\\\"#ebcb8b\\\",\\\"editorWarning.border\\\":\\\"#ebcb8b00\\\",\\\"editorBracketMatch.background\\\":\\\"#2e344000\\\",\\\"editorBracketMatch.border\\\":\\\"#88c0d0\\\",\\\"editorBracketHighlight.foreground1\\\":\\\"#8fbcbb\\\",\\\"editorBracketHighlight.foreground2\\\":\\\"#88c0d0\\\",\\\"editorBracketHighlight.foreground3\\\":\\\"#81a1c1\\\",\\\"editorBracketHighlight.foreground4\\\":\\\"#5e81ac\\\",\\\"editorBracketHighlight.foreground5\\\":\\\"#8fbcbb\\\",\\\"editorBracketHighlight.foreground6\\\":\\\"#88c0d0\\\",\\\"editorBracketHighlight.unexpectedBracket.foreground\\\":\\\"#bf616a\\\",\\\"editorCodeLens.foreground\\\":\\\"#4c566a\\\",\\\"editorGroup.background\\\":\\\"#2e3440\\\",\\\"editorGroup.border\\\":\\\"#3b425201\\\",\\\"editorGroup.dropBackground\\\":\\\"#3b425299\\\",\\\"editorGroupHeader.border\\\":\\\"#3b425200\\\",\\\"editorGroupHeader.noTabsBackground\\\":\\\"#2e3440\\\",\\\"editorGroupHeader.tabsBackground\\\":\\\"#2e3440\\\",\\\"editorGroupHeader.tabsBorder\\\":\\\"#3b425200\\\",\\\"editorGutter.background\\\":\\\"#2e3440\\\",\\\"editorGutter.modifiedBackground\\\":\\\"#ebcb8b\\\",\\\"editorGutter.addedBackground\\\":\\\"#a3be8c\\\",\\\"editorGutter.deletedBackground\\\":\\\"#bf616a\\\",\\\"editorHoverWidget.background\\\":\\\"#3b4252\\\",\\\"editorHoverWidget.border\\\":\\\"#3b4252\\\",\\\"editorLink.activeForeground\\\":\\\"#88c0d0\\\",\\\"editorMarkerNavigation.background\\\":\\\"#5e81acc0\\\",\\\"editorMarkerNavigationError.background\\\":\\\"#bf616ac0\\\",\\\"editorMarkerNavigationWarning.background\\\":\\\"#ebcb8bc0\\\",\\\"editorOverviewRuler.border\\\":\\\"#3b4252\\\",\\\"editorOverviewRuler.currentContentForeground\\\":\\\"#3b4252\\\",\\\"editorOverviewRuler.incomingContentForeground\\\":\\\"#3b4252\\\",\\\"editorOverviewRuler.findMatchForeground\\\":\\\"#88c0d066\\\",\\\"editorOverviewRuler.rangeHighlightForeground\\\":\\\"#88c0d066\\\",\\\"editorOverviewRuler.selectionHighlightForeground\\\":\\\"#88c0d066\\\",\\\"editorOverviewRuler.wordHighlightForeground\\\":\\\"#88c0d066\\\",\\\"editorOverviewRuler.wordHighlightStrongForeground\\\":\\\"#88c0d066\\\",\\\"editorOverviewRuler.modifiedForeground\\\":\\\"#ebcb8b\\\",\\\"editorOverviewRuler.addedForeground\\\":\\\"#a3be8c\\\",\\\"editorOverviewRuler.deletedForeground\\\":\\\"#bf616a\\\",\\\"editorOverviewRuler.errorForeground\\\":\\\"#bf616a\\\",\\\"editorOverviewRuler.warningForeground\\\":\\\"#ebcb8b\\\",\\\"editorOverviewRuler.infoForeground\\\":\\\"#81a1c1\\\",\\\"editorRuler.foreground\\\":\\\"#434c5e\\\",\\\"editorSuggestWidget.background\\\":\\\"#2e3440\\\",\\\"editorSuggestWidget.border\\\":\\\"#3b4252\\\",\\\"editorSuggestWidget.foreground\\\":\\\"#d8dee9\\\",\\\"editorSuggestWidget.focusHighlightForeground\\\":\\\"#88c0d0\\\",\\\"editorSuggestWidget.highlightForeground\\\":\\\"#88c0d0\\\",\\\"editorSuggestWidget.selectedBackground\\\":\\\"#434c5e\\\",\\\"editorSuggestWidget.selectedForeground\\\":\\\"#d8dee9\\\",\\\"extensionButton.prominentForeground\\\":\\\"#d8dee9\\\",\\\"extensionButton.prominentBackground\\\":\\\"#434c5e\\\",\\\"extensionButton.prominentHoverBackground\\\":\\\"#4c566a\\\",\\\"errorForeground\\\":\\\"#bf616a\\\",\\\"gitDecoration.modifiedResourceForeground\\\":\\\"#ebcb8b\\\",\\\"gitDecoration.deletedResourceForeground\\\":\\\"#bf616a\\\",\\\"gitDecoration.untrackedResourceForeground\\\":\\\"#a3be8c\\\",\\\"gitDecoration.ignoredResourceForeground\\\":\\\"#d8dee966\\\",\\\"gitDecoration.conflictingResourceForeground\\\":\\\"#5e81ac\\\",\\\"gitDecoration.submoduleResourceForeground\\\":\\\"#8fbcbb\\\",\\\"gitDecoration.stageDeletedResourceForeground\\\":\\\"#bf616a\\\",\\\"gitDecoration.stageModifiedResourceForeground\\\":\\\"#ebcb8b\\\",\\\"input.background\\\":\\\"#3b4252\\\",\\\"input.foreground\\\":\\\"#d8dee9\\\",\\\"input.placeholderForeground\\\":\\\"#d8dee999\\\",\\\"input.border\\\":\\\"#3b4252\\\",\\\"inputOption.activeBackground\\\":\\\"#5e81ac\\\",\\\"inputOption.activeBorder\\\":\\\"#5e81ac\\\",\\\"inputOption.activeForeground\\\":\\\"#eceff4\\\",\\\"inputValidation.errorBackground\\\":\\\"#bf616a\\\",\\\"inputValidation.errorBorder\\\":\\\"#bf616a\\\",\\\"inputValidation.infoBackground\\\":\\\"#81a1c1\\\",\\\"inputValidation.infoBorder\\\":\\\"#81a1c1\\\",\\\"inputValidation.warningBackground\\\":\\\"#d08770\\\",\\\"inputValidation.warningBorder\\\":\\\"#d08770\\\",\\\"keybindingLabel.background\\\":\\\"#4c566a\\\",\\\"keybindingLabel.border\\\":\\\"#4c566a\\\",\\\"keybindingLabel.bottomBorder\\\":\\\"#4c566a\\\",\\\"keybindingLabel.foreground\\\":\\\"#d8dee9\\\",\\\"list.activeSelectionBackground\\\":\\\"#88c0d0\\\",\\\"list.activeSelectionForeground\\\":\\\"#2e3440\\\",\\\"list.inactiveSelectionBackground\\\":\\\"#434c5e\\\",\\\"list.inactiveSelectionForeground\\\":\\\"#d8dee9\\\",\\\"list.inactiveFocusBackground\\\":\\\"#434c5ecc\\\",\\\"list.hoverForeground\\\":\\\"#eceff4\\\",\\\"list.focusForeground\\\":\\\"#d8dee9\\\",\\\"list.focusBackground\\\":\\\"#88c0d099\\\",\\\"list.focusHighlightForeground\\\":\\\"#eceff4\\\",\\\"list.hoverBackground\\\":\\\"#3b4252\\\",\\\"list.dropBackground\\\":\\\"#88c0d099\\\",\\\"list.highlightForeground\\\":\\\"#88c0d0\\\",\\\"list.errorForeground\\\":\\\"#bf616a\\\",\\\"list.warningForeground\\\":\\\"#ebcb8b\\\",\\\"merge.currentHeaderBackground\\\":\\\"#81a1c166\\\",\\\"merge.currentContentBackground\\\":\\\"#81a1c14d\\\",\\\"merge.incomingHeaderBackground\\\":\\\"#8fbcbb66\\\",\\\"merge.incomingContentBackground\\\":\\\"#8fbcbb4d\\\",\\\"merge.border\\\":\\\"#3b425200\\\",\\\"minimap.background\\\":\\\"#2e3440\\\",\\\"minimap.errorHighlight\\\":\\\"#bf616acc\\\",\\\"minimap.findMatchHighlight\\\":\\\"#88c0d0\\\",\\\"minimap.selectionHighlight\\\":\\\"#88c0d0cc\\\",\\\"minimap.warningHighlight\\\":\\\"#ebcb8bcc\\\",\\\"minimapGutter.addedBackground\\\":\\\"#a3be8c\\\",\\\"minimapGutter.deletedBackground\\\":\\\"#bf616a\\\",\\\"minimapGutter.modifiedBackground\\\":\\\"#ebcb8b\\\",\\\"minimapSlider.activeBackground\\\":\\\"#434c5eaa\\\",\\\"minimapSlider.background\\\":\\\"#434c5e99\\\",\\\"minimapSlider.hoverBackground\\\":\\\"#434c5eaa\\\",\\\"notification.background\\\":\\\"#3b4252\\\",\\\"notification.buttonBackground\\\":\\\"#434c5e\\\",\\\"notification.buttonForeground\\\":\\\"#d8dee9\\\",\\\"notification.buttonHoverBackground\\\":\\\"#4c566a\\\",\\\"notification.errorBackground\\\":\\\"#bf616a\\\",\\\"notification.errorForeground\\\":\\\"#2e3440\\\",\\\"notification.foreground\\\":\\\"#d8dee9\\\",\\\"notification.infoBackground\\\":\\\"#88c0d0\\\",\\\"notification.infoForeground\\\":\\\"#2e3440\\\",\\\"notification.warningBackground\\\":\\\"#ebcb8b\\\",\\\"notification.warningForeground\\\":\\\"#2e3440\\\",\\\"notificationCenter.border\\\":\\\"#3b425200\\\",\\\"notificationCenterHeader.background\\\":\\\"#2e3440\\\",\\\"notificationCenterHeader.foreground\\\":\\\"#88c0d0\\\",\\\"notificationLink.foreground\\\":\\\"#88c0d0\\\",\\\"notifications.background\\\":\\\"#3b4252\\\",\\\"notifications.border\\\":\\\"#2e3440\\\",\\\"notifications.foreground\\\":\\\"#d8dee9\\\",\\\"notificationToast.border\\\":\\\"#3b425200\\\",\\\"panel.background\\\":\\\"#2e3440\\\",\\\"panel.border\\\":\\\"#3b4252\\\",\\\"panelTitle.activeBorder\\\":\\\"#88c0d000\\\",\\\"panelTitle.activeForeground\\\":\\\"#88c0d0\\\",\\\"panelTitle.inactiveForeground\\\":\\\"#d8dee9\\\",\\\"peekView.border\\\":\\\"#4c566a\\\",\\\"peekViewEditor.background\\\":\\\"#2e3440\\\",\\\"peekViewEditorGutter.background\\\":\\\"#2e3440\\\",\\\"peekViewEditor.matchHighlightBackground\\\":\\\"#88c0d04d\\\",\\\"peekViewResult.background\\\":\\\"#2e3440\\\",\\\"peekViewResult.fileForeground\\\":\\\"#88c0d0\\\",\\\"peekViewResult.lineForeground\\\":\\\"#d8dee966\\\",\\\"peekViewResult.matchHighlightBackground\\\":\\\"#88c0d0cc\\\",\\\"peekViewResult.selectionBackground\\\":\\\"#434c5e\\\",\\\"peekViewResult.selectionForeground\\\":\\\"#d8dee9\\\",\\\"peekViewTitle.background\\\":\\\"#3b4252\\\",\\\"peekViewTitleDescription.foreground\\\":\\\"#d8dee9\\\",\\\"peekViewTitleLabel.foreground\\\":\\\"#88c0d0\\\",\\\"pickerGroup.border\\\":\\\"#3b4252\\\",\\\"pickerGroup.foreground\\\":\\\"#88c0d0\\\",\\\"progressBar.background\\\":\\\"#88c0d0\\\",\\\"quickInputList.focusBackground\\\":\\\"#88c0d0\\\",\\\"quickInputList.focusForeground\\\":\\\"#2e3440\\\",\\\"sash.hoverBorder\\\":\\\"#88c0d0\\\",\\\"scrollbar.shadow\\\":\\\"#00000066\\\",\\\"scrollbarSlider.activeBackground\\\":\\\"#434c5eaa\\\",\\\"scrollbarSlider.background\\\":\\\"#434c5e99\\\",\\\"scrollbarSlider.hoverBackground\\\":\\\"#434c5eaa\\\",\\\"selection.background\\\":\\\"#88c0d099\\\",\\\"sideBar.background\\\":\\\"#2e3440\\\",\\\"sideBar.foreground\\\":\\\"#d8dee9\\\",\\\"sideBar.border\\\":\\\"#3b4252\\\",\\\"sideBarSectionHeader.background\\\":\\\"#3b4252\\\",\\\"sideBarSectionHeader.foreground\\\":\\\"#d8dee9\\\",\\\"sideBarTitle.foreground\\\":\\\"#d8dee9\\\",\\\"statusBar.background\\\":\\\"#3b4252\\\",\\\"statusBar.debuggingBackground\\\":\\\"#5e81ac\\\",\\\"statusBar.debuggingForeground\\\":\\\"#d8dee9\\\",\\\"statusBar.noFolderForeground\\\":\\\"#d8dee9\\\",\\\"statusBar.noFolderBackground\\\":\\\"#3b4252\\\",\\\"statusBar.foreground\\\":\\\"#d8dee9\\\",\\\"statusBarItem.activeBackground\\\":\\\"#4c566a\\\",\\\"statusBarItem.hoverBackground\\\":\\\"#434c5e\\\",\\\"statusBarItem.prominentBackground\\\":\\\"#3b4252\\\",\\\"statusBarItem.prominentHoverBackground\\\":\\\"#434c5e\\\",\\\"statusBarItem.errorBackground\\\":\\\"#3b4252\\\",\\\"statusBarItem.errorForeground\\\":\\\"#bf616a\\\",\\\"statusBarItem.warningBackground\\\":\\\"#ebcb8b\\\",\\\"statusBarItem.warningForeground\\\":\\\"#2e3440\\\",\\\"statusBar.border\\\":\\\"#3b425200\\\",\\\"tab.activeBackground\\\":\\\"#3b4252\\\",\\\"tab.activeForeground\\\":\\\"#d8dee9\\\",\\\"tab.border\\\":\\\"#3b425200\\\",\\\"tab.activeBorder\\\":\\\"#88c0d000\\\",\\\"tab.unfocusedActiveBorder\\\":\\\"#88c0d000\\\",\\\"tab.inactiveBackground\\\":\\\"#2e3440\\\",\\\"tab.inactiveForeground\\\":\\\"#d8dee966\\\",\\\"tab.unfocusedActiveForeground\\\":\\\"#d8dee999\\\",\\\"tab.unfocusedInactiveForeground\\\":\\\"#d8dee966\\\",\\\"tab.hoverBackground\\\":\\\"#3b4252cc\\\",\\\"tab.unfocusedHoverBackground\\\":\\\"#3b4252b3\\\",\\\"tab.hoverBorder\\\":\\\"#88c0d000\\\",\\\"tab.unfocusedHoverBorder\\\":\\\"#88c0d000\\\",\\\"tab.activeBorderTop\\\":\\\"#88c0d000\\\",\\\"tab.unfocusedActiveBorderTop\\\":\\\"#88c0d000\\\",\\\"tab.lastPinnedBorder\\\":\\\"#4c566a\\\",\\\"terminal.background\\\":\\\"#2e3440\\\",\\\"terminal.foreground\\\":\\\"#d8dee9\\\",\\\"terminal.ansiBlack\\\":\\\"#3b4252\\\",\\\"terminal.ansiRed\\\":\\\"#bf616a\\\",\\\"terminal.ansiGreen\\\":\\\"#a3be8c\\\",\\\"terminal.ansiYellow\\\":\\\"#ebcb8b\\\",\\\"terminal.ansiBlue\\\":\\\"#81a1c1\\\",\\\"terminal.ansiMagenta\\\":\\\"#b48ead\\\",\\\"terminal.ansiCyan\\\":\\\"#88c0d0\\\",\\\"terminal.ansiWhite\\\":\\\"#e5e9f0\\\",\\\"terminal.ansiBrightBlack\\\":\\\"#4c566a\\\",\\\"terminal.ansiBrightRed\\\":\\\"#bf616a\\\",\\\"terminal.ansiBrightGreen\\\":\\\"#a3be8c\\\",\\\"terminal.ansiBrightYellow\\\":\\\"#ebcb8b\\\",\\\"terminal.ansiBrightBlue\\\":\\\"#81a1c1\\\",\\\"terminal.ansiBrightMagenta\\\":\\\"#b48ead\\\",\\\"terminal.ansiBrightCyan\\\":\\\"#8fbcbb\\\",\\\"terminal.ansiBrightWhite\\\":\\\"#eceff4\\\",\\\"terminal.tab.activeBorder\\\":\\\"#88c0d0\\\",\\\"textBlockQuote.background\\\":\\\"#3b4252\\\",\\\"textBlockQuote.border\\\":\\\"#81a1c1\\\",\\\"textCodeBlock.background\\\":\\\"#4c566a\\\",\\\"textLink.activeForeground\\\":\\\"#88c0d0\\\",\\\"textLink.foreground\\\":\\\"#88c0d0\\\",\\\"textPreformat.foreground\\\":\\\"#8fbcbb\\\",\\\"textSeparator.foreground\\\":\\\"#eceff4\\\",\\\"titleBar.activeBackground\\\":\\\"#2e3440\\\",\\\"titleBar.activeForeground\\\":\\\"#d8dee9\\\",\\\"titleBar.border\\\":\\\"#2e344000\\\",\\\"titleBar.inactiveBackground\\\":\\\"#2e3440\\\",\\\"titleBar.inactiveForeground\\\":\\\"#d8dee966\\\",\\\"tree.indentGuidesStroke\\\":\\\"#616e88\\\",\\\"walkThrough.embeddedEditorBackground\\\":\\\"#2e3440\\\",\\\"welcomePage.buttonBackground\\\":\\\"#434c5e\\\",\\\"welcomePage.buttonHoverBackground\\\":\\\"#4c566a\\\",\\\"widget.shadow\\\":\\\"#00000066\\\"},\\\"watch\\\":false}\",\"workbench.view.extensions.state.hidden\":\"[{\\\"id\\\":\\\"workbench.views.extensions.installed.empty\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.installed\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.workspaceRecommendations\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.popular\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.otherRecommendations\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"extensions.recommendedList\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.enabled\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.views.extensions.disabled\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.views.extensions.marketplace\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchInstalled\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchEnabled\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchDisabled\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchOutdated\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchBuiltin\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.builtinFeatureExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.builtinThemeExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.builtinProgrammingLanguageExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchWorkspaceUnsupported\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.untrustedUnsupportedExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.untrustedPartiallySupportedExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.virtualUnsupportedExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.virtualPartiallySupportedExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.local.installed\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.remote.installed\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.deprecatedExtensions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.searchRecentlyUpdated\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.extensions.web.installed\\\",\\\"isHidden\\\":false}]\",\"memento/gettingStartedService\":\"{\\\"commandPaletteTask\\\":{\\\"done\\\":true},\\\"pickColorTheme\\\":{\\\"done\\\":true},\\\"pickAFolderTask-Mac\\\":{\\\"done\\\":true},\\\"settings\\\":{\\\"done\\\":true},\\\"ms-python.python#pythonDataScienceWelcome#python.openFolderMac\\\":{\\\"done\\\":true},\\\"VSpaceCode.vspacecode#vspacecode.welcome#vspacecode.welcome.configuration\\\":{\\\"done\\\":true},\\\"settingsSync\\\":{\\\"done\\\":true},\\\"settingsSyncWeb\\\":{\\\"done\\\":true},\\\"installGit\\\":{\\\"done\\\":true},\\\"VSpaceCode.vspacecode#vspacecode.welcome#vspacecode.welcome.tryout\\\":{\\\"done\\\":true},\\\"commandPaletteTaskWeb\\\":{\\\"done\\\":true}}\",\"commandPalette.mru.cache\":\"{\\\"usesLRU\\\":true,\\\"entries\\\":[{\\\"key\\\":\\\"git.revertSelectedRanges\\\",\\\"value\\\":2792},{\\\"key\\\":\\\"magit.blame-file\\\",\\\"value\\\":2858},{\\\"key\\\":\\\"magic-racket.executeSelectionInRepl\\\",\\\"value\\\":2880},{\\\"key\\\":\\\"magic-racket.showOutputTerminal\\\",\\\"value\\\":2882},{\\\"key\\\":\\\"latex-workshop.compilerlog\\\",\\\"value\\\":2909},{\\\"key\\\":\\\"workbench.action.replaceInFiles\\\",\\\"value\\\":2927},{\\\"key\\\":\\\"latex-workshop.viewInBrowser\\\",\\\"value\\\":2949},{\\\"key\\\":\\\"latex-workshop.clean\\\",\\\"value\\\":3001},{\\\"key\\\":\\\"magic-racket.loadFileInRepl\\\",\\\"value\\\":3047},{\\\"key\\\":\\\"ocaml.server.restart\\\",\\\"value\\\":3072},{\\\"key\\\":\\\"ocaml.switch-impl-intf\\\",\\\"value\\\":3073},{\\\"key\\\":\\\"editor.action.formatDocument\\\",\\\"value\\\":3076},{\\\"key\\\":\\\"gen-vis.pick-new-data\\\",\\\"value\\\":3119},{\\\"key\\\":\\\"gen-vis.refresh-data\\\",\\\"value\\\":3120},{\\\"key\\\":\\\"gen-vis.view-visualization\\\",\\\"value\\\":3160},{\\\"key\\\":\\\"extension.react-refactor.extractToFunction\\\",\\\"value\\\":3171},{\\\"key\\\":\\\"codetour.recordTour\\\",\\\"value\\\":3178},{\\\"key\\\":\\\"codetour.addContentStep\\\",\\\"value\\\":3179},{\\\"key\\\":\\\"git.ignore\\\",\\\"value\\\":3181},{\\\"key\\\":\\\"extension.coq.reset\\\",\\\"value\\\":3215},{\\\"key\\\":\\\"workbench.action.tasks.configureTaskRunner\\\",\\\"value\\\":3219},{\\\"key\\\":\\\"extension.coq.interpretToPoint\\\",\\\"value\\\":3220},{\\\"key\\\":\\\"workbench.action.tasks.openUserTasks\\\",\\\"value\\\":3221},{\\\"key\\\":\\\"workbench.action.tasks.runTask\\\",\\\"value\\\":3223},{\\\"key\\\":\\\"workbench.action.tasks.manageAutomaticRunning\\\",\\\"value\\\":3231},{\\\"key\\\":\\\"codetour.openTourFile\\\",\\\"value\\\":3269},{\\\"key\\\":\\\"codetour.startTour\\\",\\\"value\\\":3278},{\\\"key\\\":\\\"typescript.restartTsServer\\\",\\\"value\\\":3293},{\\\"key\\\":\\\"editor.action.rename\\\",\\\"value\\\":3310},{\\\"key\\\":\\\"workbench.action.tasks.configureDefaultBuildTask\\\",\\\"value\\\":3415},{\\\"key\\\":\\\"workbench.action.reloadWindowWithExtensionsDisabled\\\",\\\"value\\\":3430},{\\\"key\\\":\\\"update.showCurrentReleaseNotes\\\",\\\"value\\\":3436},{\\\"key\\\":\\\"magic-racket.runFile\\\",\\\"value\\\":3580},{\\\"key\\\":\\\"workbench.action.toggleZenMode\\\",\\\"value\\\":3585},{\\\"key\\\":\\\"workbench.userDataSync.actions.configure\\\",\\\"value\\\":3587},{\\\"key\\\":\\\"workbench.action.terminal.new\\\",\\\"value\\\":3591},{\\\"key\\\":\\\"workbench.action.openGlobalSettings\\\",\\\"value\\\":3593},{\\\"key\\\":\\\"gen-vis.toggle-coverage\\\",\\\"value\\\":3596},{\\\"key\\\":\\\"toggleVim\\\",\\\"value\\\":3599},{\\\"key\\\":\\\"workbench.action.files.saveWithoutFormatting\\\",\\\"value\\\":3625},{\\\"key\\\":\\\"cSpell.toggleEnableSpellChecker\\\",\\\"value\\\":3639},{\\\"key\\\":\\\"cSpell.displayCSpellInfo\\\",\\\"value\\\":3640},{\\\"key\\\":\\\"lorem-ipsum.paragraph\\\",\\\"value\\\":3654},{\\\"key\\\":\\\"editor.action.formatDocument.none\\\",\\\"value\\\":3763},{\\\"key\\\":\\\"latex-workshop.view\\\",\\\"value\\\":3766},{\\\"key\\\":\\\"latex-workshop.build\\\",\\\"value\\\":3767},{\\\"key\\\":\\\"haskell.commands.restartServer\\\",\\\"value\\\":3772},{\\\"key\\\":\\\"workbench.action.openRecent\\\",\\\"value\\\":3773},{\\\"key\\\":\\\"workbench.action.selectTheme\\\",\\\"value\\\":3777},{\\\"key\\\":\\\"workbench.profiles.actions.exportProfile\\\",\\\"value\\\":3779}]}\",\"commandPalette.mru.counter\":\"3780\",\"fileBasedRecommendations/promptedFileExtensions\":\"[\\\"tex\\\",\\\"agda\\\",\\\"thy\\\",\\\"ml\\\",\\\"v\\\",\\\"njk\\\"]\",\"workbench.view.extension.latex.state.hidden\":\"[{\\\"id\\\":\\\"latex-commands\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"latex-structure\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"latex-snippet-view\\\",\\\"isHidden\\\":false}]\",\"hasNotifiedOfSettingsAutosave\":\"true\",\"terminal.integrated.showTerminalConfigPrompt\":\"false\",\"fileBasedRecommendations/promptedRecommendations\":\"{\\\"python\\\":[\\\"ms-python.python\\\"],\\\"makefile\\\":[\\\"ms-vscode.makefile-tools\\\"],\\\"dockerfile\\\":[\\\"ms-azuretools.vscode-docker\\\"],\\\"java\\\":[\\\"vscjava.vscode-java-pack\\\"]}\",\"nps/isCandidate\":\"false\",\"nps/skipVersion\":\"1.55.2\",\"workbench.statusbar.hidden\":\"[\\\"status.workspaceTrust.1623347921379\\\",\\\"status.workspaceTrust.e3cbc3e41b2608a15324fd06f6cad9ed\\\",\\\"status.workspaceTrust.1623421266712\\\",\\\"status.workspaceTrust.1623438106029\\\",\\\"status.workspaceTrust.5cc59c0ecb15f92605cf7cf8b7e94f86\\\",\\\"status.workspaceTrust.1623464002939\\\",\\\"status.workspaceTrust.a352c262efd6f15b7ee063436aec714a\\\",\\\"status.workspaceTrust.1623502412887\\\",\\\"status.workspaceTrust.1623516281315\\\",\\\"status.workspaceTrust.1623526450944\\\",\\\"status.workspaceTrust.1623609876343\\\",\\\"status.workspaceTrust.1623629613929\\\",\\\"status.workspaceTrust.1623632380327\\\",\\\"status.workspaceTrust.1623691110879\\\",\\\"status.workspaceTrust.1623707415701\\\",\\\"status.workspaceTrust.1623711415309\\\",\\\"status.workspaceTrust.1623717612100\\\",\\\"status.workspaceTrust.1623767605159\\\",\\\"status.workspaceTrust.1623769750451\\\",\\\"status.workspaceTrust.1623770821913\\\",\\\"status.workspaceTrust.1623779635511\\\",\\\"status.workspaceTrust.1623781832000\\\",\\\"status.workspaceTrust.1623786408647\\\",\\\"status.workspaceTrust.1623786499727\\\",\\\"status.workspaceTrust.1623786802593\\\",\\\"status.workspaceTrust.1623792559738\\\",\\\"status.workspaceTrust.1623857210210\\\",\\\"status.workspaceTrust.1623863443067\\\",\\\"status.workspaceTrust.1623869388136\\\",\\\"status.workspaceTrust.9ada0d491264289b5a1d470cdd68b9d3\\\",\\\"status.workspaceTrust.1623938193107\\\",\\\"status.workspaceTrust.1623949338716\\\",\\\"status.workspaceTrust.1623950798548\\\",\\\"status.workspaceTrust.1623952266408\\\",\\\"status.workspaceTrust.1623956326641\\\",\\\"status.workspaceTrust.1624030117752\\\",\\\"status.workspaceTrust.1624035798887\\\",\\\"status.workspaceTrust.1624035937551\\\",\\\"status.workspaceTrust.1624052207145\\\",\\\"status.workspaceTrust.1624107754671\\\",\\\"status.workspaceTrust.1624129702354\\\",\\\"status.workspaceTrust.1624130488927\\\",\\\"status.workspaceTrust.1624293768132\\\",\\\"status.workspaceTrust.1624297477711\\\",\\\"status.workspaceTrust.1624301251108\\\",\\\"status.workspaceTrust.1624366076475\\\",\\\"status.workspaceTrust.1624367583894\\\",\\\"status.workspaceTrust.1624380819992\\\",\\\"status.workspaceTrust.1624384416536\\\",\\\"status.workspaceTrust.1624392186673\\\",\\\"status.workspaceTrust.1624395934862\\\",\\\"status.workspaceTrust.1624415101548\\\",\\\"status.workspaceTrust.1624454649759\\\",\\\"status.workspaceTrust.1624462264204\\\",\\\"status.workspaceTrust.1624468794813\\\",\\\"status.workspaceTrust.1624476685419\\\",\\\"status.workspaceTrust.1624559405489\\\",\\\"status.workspaceTrust.1624567916249\\\",\\\"status.workspaceTrust.1624624928869\\\",\\\"status.workspaceTrust.1624627353654\\\",\\\"status.workspaceTrust.1624640905144\\\",\\\"status.workspaceTrust.1624646136465\\\",\\\"status.workspaceTrust.1624974588496\\\",\\\"status.workspaceTrust.1625062593601\\\",\\\"status.workspaceTrust.1625160539125\\\",\\\"status.workspaceTrust.1625243443115\\\",\\\"status.workspaceTrust.1625591016910\\\",\\\"status.workspaceTrust.1625764493652\\\",\\\"status.workspaceTrust.5574d979f8c8dd52d99e221a24bcaf5d\\\",\\\"status.workspaceTrust.1625878247764\\\",\\\"status.workspaceTrust.1625933832486\\\",\\\"status.workspaceTrust.1625952445923\\\",\\\"status.workspaceTrust.8b96091b56f2f59d2cfc66c6efe44951\\\",\\\"status.workspaceTrust.1625952481422\\\",\\\"status.workspaceTrust.1626036624127\\\",\\\"status.workspaceTrust.1626104724531\\\",\\\"status.workspaceTrust.1626274812846\\\",\\\"status.workspaceTrust.1626284316286\\\",\\\"status.workspaceTrust.1626459983089\\\",\\\"status.workspaceTrust.7fdbf143854cbb32f72324cf34b0af34\\\",\\\"status.workspaceTrust.1626467405490\\\",\\\"status.workspaceTrust.1626707227883\\\",\\\"status.workspaceTrust.1626973581906\\\",\\\"status.workspaceTrust.1626981146622\\\",\\\"status.workspaceTrust.1627157188405\\\",\\\"status.workspaceTrust.1627408637531\\\",\\\"status.workspaceTrust.1627496993492\\\",\\\"status.workspaceTrust.f7cbaf0e2590ddc910e4d876cbd98d81\\\",\\\"status.workspaceTrust.1627590156506\\\",\\\"status.workspaceTrust.1627671807663\\\",\\\"status.workspaceTrust.1628002945293\\\",\\\"status.workspaceTrust.1628529441201\\\",\\\"status.workspaceTrust.1628534888149\\\",\\\"status.workspaceTrust.1628604118339\\\",\\\"status.workspaceTrust.1628609760220\\\",\\\"status.workspaceTrust.1628616560548\\\",\\\"status.workspaceTrust.1628704582796\\\",\\\"status.workspaceTrust.1628704934102\\\",\\\"status.workspaceTrust.1628786657703\\\",\\\"status.workspaceTrust.1628792775967\\\",\\\"status.workspaceTrust.1628799054994\\\",\\\"status.workspaceTrust.1628863778678\\\",\\\"status.workspaceTrust.1628880290349\\\",\\\"status.workspaceTrust.1629139386305\\\",\\\"status.workspaceTrust.1629141155371\\\",\\\"status.workspaceTrust.1629146825880\\\",\\\"status.workspaceTrust.1629221317141\\\",\\\"status.workspaceTrust.1629226047687\\\",\\\"status.workspaceTrust.1629403012919\\\",\\\"status.workspaceTrust.1629471778581\\\",\\\"status.workspaceTrust.86bbfcda3a6e8aa07d830196445bf99a\\\",\\\"status.workspaceTrust.1629576843207\\\",\\\"status.workspaceTrust.1629592052473\\\",\\\"status.workspaceTrust.1629831955923\\\",\\\"status.workspaceTrust.1629832764703\\\",\\\"status.workspaceTrust.ac32edd5a5c23665192974dee1381474\\\",\\\"status.workspaceTrust.13f25d9013f0399eb51c49c690abd9b3\\\",\\\"status.workspaceTrust.1629933751783\\\",\\\"status.workspaceTrust.1629946825107\\\",\\\"status.workspaceTrust.1629992095303\\\",\\\"status.workspaceTrust.1630007803068\\\",\\\"status.workspaceTrust.1630020242719\\\",\\\"status.workspaceTrust.1630070677801\\\",\\\"status.workspaceTrust.1630088535351\\\",\\\"status.workspaceTrust.1630094078762\\\",\\\"status.workspaceTrust.1630094538955\\\",\\\"status.workspaceTrust.1630155712111\\\",\\\"status.workspaceTrust.1630158214567\\\",\\\"status.workspaceTrust.1630186999014\\\",\\\"status.workspaceTrust.1630188853874\\\",\\\"status.workspaceTrust.1630269974784\\\",\\\"status.workspaceTrust.d45cc1e08937b288f160d5cbab2cf47b\\\",\\\"status.workspaceTrust.1630272844409\\\",\\\"status.workspaceTrust.1630274112634\\\",\\\"status.workspaceTrust.1630348754810\\\",\\\"status.workspaceTrust.1630369329150\\\",\\\"status.workspaceTrust.1630369605144\\\",\\\"status.workspaceTrust.1630389782779\\\",\\\"status.workspaceTrust.1630432280107\\\",\\\"status.workspaceTrust.1630539492823\\\",\\\"status.workspaceTrust.1631058745074\\\",\\\"status.workspaceTrust.1631108667243\\\",\\\"status.workspaceTrust.104b39244c4f2d5b2fb455b113d7f4a9\\\",\\\"status.workspaceTrust.1631116521432\\\",\\\"status.workspaceTrust.1631721942023\\\",\\\"status.workspaceTrust.1632420977151\\\",\\\"status.workspaceTrust.875042b8d7f612f2effaafbe6f911b3a\\\",\\\"status.workspaceTrust.1635013874606\\\",\\\"status.workspaceTrust.04df283d2b459662a57bd07f3843127d\\\",\\\"status.workspaceTrust.1635014240773\\\",\\\"status.workspaceTrust.1635019687770\\\",\\\"status.workspaceTrust.1635037637573\\\",\\\"status.workspaceTrust.1635038142184\\\",\\\"status.workspaceTrust.1635281529053\\\",\\\"status.workspaceTrust.1635645863765\\\",\\\"status.workspaceTrust.1635646437291\\\",\\\"status.workspaceTrust.1635893073462\\\",\\\"status.workspaceTrust.be924de35eeddf0a7ab12a53d9ffba89\\\",\\\"status.workspaceTrust.1636228843791\\\",\\\"status.workspaceTrust.1636228908630\\\",\\\"status.workspaceTrust.1636228943262\\\",\\\"status.workspaceTrust.1636228957963\\\",\\\"status.workspaceTrust.1636228980221\\\",\\\"status.workspaceTrust.1636236919152\\\",\\\"status.workspaceTrust.1636253443323\\\",\\\"status.workspaceTrust.1636586310631\\\",\\\"status.workspaceTrust.1636922238168\\\",\\\"status.workspaceTrust.1639689129180\\\",\\\"status.workspaceTrust.1643379335075\\\",\\\"status.workspaceTrust.b8d74c4223d108d83ad9915b61e029be\\\",\\\"status.workspaceTrust.1643570416070\\\",\\\"status.workspaceTrust.1646686568833\\\",\\\"status.workspaceTrust.46f6880dca0077314729760c84077a0d\\\",\\\"status.workspaceTrust.1646689303625\\\",\\\"status.workspaceTrust.1646689695664\\\",\\\"status.workspaceTrust.1648131563072\\\",\\\"status.workspaceTrust.b210d48c93b103a3c55774d2f30b2ee5\\\",\\\"status.workspaceTrust.1648132628607\\\",\\\"status.workspaceTrust.1648168448763\\\",\\\"status.workspaceTrust.506f0fb5cdebd20ceedd77196fbbed21\\\",\\\"status.workspaceTrust.1648171422269\\\",\\\"status.workspaceTrust.1648171557077\\\",\\\"status.workspaceTrust.1648171815861\\\",\\\"status.workspaceTrust.1648487758061\\\",\\\"status.workspaceTrust.1648745000335\\\",\\\"status.workspaceTrust.1648746081811\\\",\\\"status.workspaceTrust.3450210f2bb7f5c59432947e2398b0a5\\\",\\\"status.workspaceTrust.1648747129449\\\",\\\"status.workspaceTrust.1648930028719\\\",\\\"status.workspaceTrust.1648955675226\\\",\\\"status.workspaceTrust.1649197960957\\\",\\\"status.workspaceTrust.1649201126900\\\",\\\"status.workspaceTrust.1649202194266\\\",\\\"status.workspaceTrust.1649204519530\\\",\\\"status.workspaceTrust.1649212039397\\\",\\\"status.workspaceTrust.1649274602065\\\",\\\"status.workspaceTrust.1649888974056\\\",\\\"status.workspaceTrust.43641f134f576fc544e65539d6360ab1\\\",\\\"status.workspaceTrust.1649889034042\\\",\\\"status.workspaceTrust.1649889247426\\\",\\\"status.workspaceTrust.1649889309108\\\",\\\"status.workspaceTrust.1649889331481\\\",\\\"status.workspaceTrust.1649889344633\\\",\\\"status.workspaceTrust.1650023236806\\\",\\\"status.workspaceTrust.49adfd3962169fe48fdf053567a80321\\\",\\\"status.workspaceTrust.b359f291e03f9e9aec51e9f00c3b602e\\\",\\\"status.workspaceTrust.1650131786133\\\",\\\"status.workspaceTrust.1650131823518\\\",\\\"status.workspaceTrust.1650158737246\\\",\\\"status.workspaceTrust.1650201912156\\\",\\\"status.workspaceTrust.1650205763313\\\",\\\"status.workspaceTrust.1650231278036\\\",\\\"status.workspaceTrust.1650231343585\\\",\\\"status.workspaceTrust.1650376628494\\\",\\\"status.workspaceTrust.58effb42f58163b695ba786381af5711\\\",\\\"status.workspaceTrust.17d751c6bca2a327e97074138819abee\\\",\\\"status.workspaceTrust.1650393223955\\\",\\\"status.workspaceTrust.1650479112658\\\",\\\"status.workspaceTrust.1650504611603\\\",\\\"status.workspaceTrust.1650549231451\\\",\\\"status.workspaceTrust.1650571236673\\\",\\\"status.workspaceTrust.1650571263583\\\",\\\"status.workspaceTrust.22a89322525a80fc30633aba4f3f3b29\\\",\\\"status.workspaceTrust.1650583122878\\\",\\\"status.workspaceTrust.1650919496201\\\",\\\"status.workspaceTrust.3aac96ae1a18b57b3e2cbaff628d4f6f\\\",\\\"status.workspaceTrust.1651279554859\\\",\\\"status.workspaceTrust.1651494365947\\\",\\\"status.workspaceTrust.9080d0f76815104917cbec16c131ee80\\\",\\\"status.workspaceTrust.1651502264823\\\",\\\"status.workspaceTrust.1651605584821\\\",\\\"status.workspaceTrust.1652033046353\\\",\\\"status.workspaceTrust.1652132874548\\\",\\\"status.workspaceTrust.1652133208060\\\",\\\"status.workspaceTrust.1652147321244\\\",\\\"status.workspaceTrust.1652186697514\\\",\\\"status.workspaceTrust.c66509967e211914942a221a20e6d947\\\",\\\"status.workspaceTrust.1652191296225\\\",\\\"status.workspaceTrust.1652201676758\\\",\\\"status.workspaceTrust.1652221648766\\\",\\\"status.workspaceTrust.499ffe1f7e5cb61edb3c48370d7446a0\\\",\\\"status.workspaceTrust.1652223950040\\\",\\\"status.workspaceTrust.1652277784394\\\",\\\"status.workspaceTrust.1652296294035\\\",\\\"status.workspaceTrust.1652297036395\\\",\\\"status.workspaceTrust.1652492676891\\\",\\\"status.workspaceTrust.e033f86374dee6d7e3381d46bf283da6\\\",\\\"status.workspaceTrust.1652534464168\\\",\\\"status.workspaceTrust.1652535291107\\\",\\\"status.workspaceTrust.1652792259797\\\",\\\"status.workspaceTrust.1652793893025\\\",\\\"status.workspaceTrust.1652797719400\\\",\\\"status.workspaceTrust.1652901885206\\\",\\\"status.workspaceTrust.1652919370384\\\",\\\"status.workspaceTrust.1652965511838\\\",\\\"status.workspaceTrust.1652969008776\\\",\\\"status.workspaceTrust.1652984991114\\\",\\\"status.workspaceTrust.1652985723109\\\",\\\"status.workspaceTrust.1653046566250\\\",\\\"status.workspaceTrust.1653048277176\\\",\\\"status.workspaceTrust.1653052041348\\\",\\\"status.workspaceTrust.1653054831464\\\",\\\"status.workspaceTrust.1653063589264\\\",\\\"status.workspaceTrust.1653065713628\\\",\\\"status.workspaceTrust.1653067336922\\\",\\\"status.workspaceTrust.1653391398069\\\",\\\"status.workspaceTrust.1653395735214\\\",\\\"status.workspaceTrust.1653423460518\\\",\\\"status.workspaceTrust.1e6220ab9c150605340fb9a2c43c04b7\\\",\\\"status.workspaceTrust.1653440459400\\\",\\\"status.workspaceTrust.1653506125498\\\",\\\"status.workspaceTrust.1653563805009\\\",\\\"status.workspaceTrust.1653566733127\\\",\\\"status.workspaceTrust.42b6d6206d9f2072f59a9e2ceb8e7fcd\\\",\\\"status.workspaceTrust.1653586648652\\\",\\\"status.workspaceTrust.a344afdfe2e391f8c275bc45a7b92287\\\",\\\"status.workspaceTrust.1653587099945\\\",\\\"status.workspaceTrust.1653603051140\\\",\\\"status.workspaceTrust.f0854d555939e8eeb3de1bb723faafad\\\",\\\"status.workspaceTrust.1653687552908\\\",\\\"status.workspaceTrust.1653688535647\\\",\\\"status.workspaceTrust.1653688679496\\\",\\\"status.workspaceTrust.1653688719837\\\",\\\"status.workspaceTrust.1653688747189\\\",\\\"status.workspaceTrust.1653688892595\\\",\\\"status.workspaceTrust.1653703046582\\\",\\\"status.workspaceTrust.1653746660305\\\",\\\"status.workspaceTrust.1653746973060\\\",\\\"status.workspaceTrust.7f6cc82c7d5ca7e467cac0d678892fd3\\\",\\\"status.workspaceTrust.98052c5f77e3fe6f33dd83ec8c2230a7\\\",\\\"status.workspaceTrust.1653747130452\\\",\\\"status.workspaceTrust.1653747296392\\\",\\\"status.workspaceTrust.1653775009597\\\",\\\"status.workspaceTrust.1653777265094\\\",\\\"status.workspaceTrust.1653780050261\\\",\\\"status.workspaceTrust.1653782638681\\\",\\\"status.workspaceTrust.1653826707854\\\",\\\"status.workspaceTrust.1653844323597\\\",\\\"status.workspaceTrust.816f636019963092e20ee712d612a553\\\",\\\"status.workspaceTrust.1653853769826\\\",\\\"status.workspaceTrust.1653853843522\\\",\\\"status.workspaceTrust.1653867933995\\\",\\\"status.workspaceTrust.1653872420815\\\",\\\"status.workspaceTrust.1653913514586\\\",\\\"status.workspaceTrust.7b5e7249c76c7fe1b323f0daa2c609d4\\\",\\\"status.workspaceTrust.1653913676118\\\",\\\"status.workspaceTrust.1653929702676\\\",\\\"status.workspaceTrust.1653929719678\\\",\\\"status.workspaceTrust.1653930415836\\\",\\\"status.workspaceTrust.1653930493296\\\",\\\"status.workspaceTrust.1653934466705\\\",\\\"status.workspaceTrust.5f5096efffe4bfd7f5f8e143040abb18\\\",\\\"status.workspaceTrust.78a1d600b298afdf42cb0feb0a7de2c4\\\",\\\"status.workspaceTrust.8d7ac83a30a1bd431cbe583db3c39e94\\\",\\\"status.workspaceTrust.1653940696456\\\",\\\"status.workspaceTrust.1653946149373\\\",\\\"status.workspaceTrust.1653946486373\\\",\\\"status.workspaceTrust.1653946683070\\\",\\\"status.workspaceTrust.1653946892597\\\",\\\"status.workspaceTrust.1653949702949\\\",\\\"status.workspaceTrust.1653951008947\\\",\\\"status.workspaceTrust.1653955504095\\\",\\\"status.workspaceTrust.1653955538173\\\",\\\"status.workspaceTrust.1653967519143\\\",\\\"status.workspaceTrust.1653998245386\\\",\\\"status.workspaceTrust.1654001244593\\\",\\\"status.workspaceTrust.1654001311632\\\",\\\"status.workspaceTrust.1654005331172\\\",\\\"status.workspaceTrust.1654009679063\\\",\\\"status.workspaceTrust.1654019043345\\\",\\\"status.workspaceTrust.1654019720780\\\",\\\"status.workspaceTrust.1654052287102\\\",\\\"status.workspaceTrust.1654085422573\\\",\\\"status.workspaceTrust.1654093173878\\\",\\\"status.workspaceTrust.1654110447957\\\",\\\"status.workspaceTrust.1654110526598\\\",\\\"status.workspaceTrust.1654110948285\\\",\\\"status.workspaceTrust.1654122238497\\\",\\\"status.workspaceTrust.1654124022063\\\",\\\"status.workspaceTrust.1654134703256\\\",\\\"status.workspaceTrust.1654170997272\\\",\\\"status.workspaceTrust.1654171361627\\\",\\\"status.workspaceTrust.1654171414105\\\",\\\"status.workspaceTrust.1654171439873\\\",\\\"status.workspaceTrust.1654171804021\\\",\\\"status.workspaceTrust.1654174162138\\\",\\\"status.workspaceTrust.1654194881131\\\",\\\"status.workspaceTrust.1654197862185\\\",\\\"status.workspaceTrust.1654199426018\\\",\\\"status.workspaceTrust.1654208283742\\\",\\\"status.workspaceTrust.1654214143768\\\",\\\"status.workspaceTrust.1654257820892\\\",\\\"status.workspaceTrust.1654260353676\\\",\\\"status.workspaceTrust.1654260493288\\\",\\\"status.workspaceTrust.1654260503448\\\",\\\"status.workspaceTrust.1654264746500\\\",\\\"status.workspaceTrust.1654279825278\\\",\\\"status.workspaceTrust.1654288617839\\\",\\\"status.workspaceTrust.1654300496006\\\",\\\"status.workspaceTrust.1654304071923\\\",\\\"status.workspaceTrust.1654309667781\\\",\\\"status.workspaceTrust.1654396013240\\\",\\\"status.workspaceTrust.1654446894359\\\",\\\"status.workspaceTrust.1654454248231\\\",\\\"status.workspaceTrust.1654459559219\\\",\\\"status.workspaceTrust.1654564805002\\\",\\\"status.workspaceTrust.1654610722227\\\",\\\"status.workspaceTrust.1654615091522\\\",\\\"status.workspaceTrust.1654618002854\\\",\\\"status.workspaceTrust.1654618305706\\\",\\\"status.workspaceTrust.1654623597929\\\",\\\"status.workspaceTrust.1654625624903\\\",\\\"status.workspaceTrust.1654626891995\\\",\\\"status.workspaceTrust.1654778070688\\\",\\\"status.workspaceTrust.1654778620573\\\",\\\"status.workspaceTrust.1654779420193\\\",\\\"status.workspaceTrust.1654781064972\\\",\\\"status.workspaceTrust.1654804694504\\\",\\\"status.workspaceTrust.1654865012348\\\",\\\"status.workspaceTrust.397d4b1643fa0f457c5abf69da270cd7\\\",\\\"status.workspaceTrust.1654874297971\\\",\\\"status.workspaceTrust.1654953264409\\\",\\\"status.workspaceTrust.1654953274215\\\",\\\"status.workspaceTrust.1655037666700\\\",\\\"status.workspaceTrust.1655038858501\\\",\\\"status.workspaceTrust.20f17e85f581b91665a4e4eed42f82b4\\\",\\\"status.workspaceTrust.1655045562671\\\",\\\"status.workspaceTrust.914c5c53c9776ac9c4f89d3d5d2429a9\\\",\\\"status.workspaceTrust.1655056464795\\\",\\\"status.workspaceTrust.1655077449032\\\",\\\"status.workspaceTrust.1655077678160\\\",\\\"status.workspaceTrust.1655122779655\\\",\\\"status.workspaceTrust.1655126104447\\\",\\\"status.workspaceTrust.4002b15bc5341356642b67fcea259e69\\\",\\\"status.workspaceTrust.1655152388473\\\",\\\"status.workspaceTrust.1655154724751\\\",\\\"status.workspaceTrust.1655164944140\\\",\\\"status.workspaceTrust.1655174517349\\\",\\\"status.workspaceTrust.1655212561357\\\",\\\"status.workspaceTrust.1655212570005\\\",\\\"status.workspaceTrust.1655221970673\\\",\\\"status.workspaceTrust.1655222095753\\\",\\\"status.workspaceTrust.1655226046453\\\",\\\"status.workspaceTrust.1655226822009\\\",\\\"status.workspaceTrust.1655227727354\\\",\\\"status.workspaceTrust.1655229154849\\\",\\\"status.workspaceTrust.1655232194890\\\",\\\"status.workspaceTrust.1655232202377\\\",\\\"status.workspaceTrust.1655241313261\\\",\\\"status.workspaceTrust.1655243180593\\\",\\\"status.workspaceTrust.1655250948008\\\",\\\"status.workspaceTrust.1655258426687\\\",\\\"status.workspaceTrust.1655296698497\\\",\\\"status.workspaceTrust.1655300584608\\\",\\\"status.workspaceTrust.1655301182707\\\",\\\"status.workspaceTrust.1655302279943\\\",\\\"status.workspaceTrust.1655316791299\\\",\\\"status.workspaceTrust.3600fe4ef937e0c76ba2957673b6642f\\\",\\\"status.workspaceTrust.1655317626746\\\",\\\"status.workspaceTrust.fc2f65efd8f136662a00ccd8f2ce6eee\\\",\\\"status.workspaceTrust.1655323536885\\\",\\\"status.workspaceTrust.1655326657036\\\",\\\"status.workspaceTrust.1655328005969\\\",\\\"status.workspaceTrust.1655335904270\\\",\\\"status.workspaceTrust.1655335925540\\\",\\\"status.workspaceTrust.1655337389266\\\",\\\"status.workspaceTrust.1655337923313\\\",\\\"status.workspaceTrust.1655338124570\\\",\\\"status.workspaceTrust.1655396975562\\\",\\\"status.workspaceTrust.1655428451105\\\",\\\"status.workspaceTrust.1655477576355\\\",\\\"status.workspaceTrust.1655482356971\\\",\\\"status.workspaceTrust.1655486634691\\\",\\\"status.workspaceTrust.1655489550024\\\",\\\"status.workspaceTrust.1655489558161\\\",\\\"status.workspaceTrust.1655489561679\\\",\\\"status.workspaceTrust.1655492417877\\\",\\\"status.workspaceTrust.1655493243783\\\",\\\"status.workspaceTrust.1655504477674\\\",\\\"status.workspaceTrust.7abd163653d38acdc2456b0f32b28a65\\\",\\\"status.workspaceTrust.1655596779604\\\",\\\"status.workspaceTrust.1655598008155\\\",\\\"status.workspaceTrust.1655598327593\\\",\\\"status.workspaceTrust.1655763303436\\\",\\\"status.workspaceTrust.1655763336597\\\",\\\"status.workspaceTrust.c056b4cc03f5e4ee29dd83a4848ab65a\\\",\\\"status.workspaceTrust.6479d6576ccebb13647ff9b5b74e6849\\\",\\\"status.workspaceTrust.1655768165418\\\",\\\"status.workspaceTrust.90f69ff480e5ec0773b06888b0552e01\\\",\\\"status.workspaceTrust.1655823238999\\\",\\\"status.workspaceTrust.d981bb7442d30126ffbe9a7fae69cdfa\\\",\\\"status.workspaceTrust.1655855089141\\\",\\\"status.workspaceTrust.1655855589226\\\",\\\"status.workspaceTrust.1655861669091\\\",\\\"status.workspaceTrust.1655862253350\\\",\\\"status.workspaceTrust.1655862267781\\\",\\\"status.workspaceTrust.1655910202562\\\",\\\"status.workspaceTrust.1655912331798\\\",\\\"status.workspaceTrust.1655913014208\\\",\\\"status.workspaceTrust.1655913037127\\\",\\\"status.workspaceTrust.1655913211990\\\",\\\"status.workspaceTrust.1655913268969\\\",\\\"status.workspaceTrust.1655923174245\\\",\\\"status.workspaceTrust.1655930829571\\\",\\\"status.workspaceTrust.1655940919938\\\",\\\"status.workspaceTrust.1655940946632\\\",\\\"status.workspaceTrust.cbcd6dfc5839c9e8f5a174d79ee030f7\\\",\\\"status.workspaceTrust.1655991404757\\\",\\\"status.workspaceTrust.1656003385812\\\",\\\"status.workspaceTrust.1656005128579\\\",\\\"status.workspaceTrust.1656007225351\\\",\\\"status.workspaceTrust.1656015522848\\\",\\\"status.workspaceTrust.1656026613444\\\",\\\"status.workspaceTrust.1656034805902\\\",\\\"status.workspaceTrust.aafa067c3df4bceb6961cce2d39cdd53\\\",\\\"status.workspaceTrust.1656035391884\\\",\\\"status.workspaceTrust.7a60b5449fc3c9e05786b157d415e007\\\",\\\"status.workspaceTrust.1656035603196\\\",\\\"status.workspaceTrust.6658fc8b1e607ba2599bafe08b4b320f\\\",\\\"status.workspaceTrust.1656076612733\\\",\\\"status.workspaceTrust.1656076763732\\\",\\\"status.workspaceTrust.1656076787395\\\",\\\"status.workspaceTrust.1656093748148\\\",\\\"status.workspaceTrust.1656099511475\\\",\\\"status.workspaceTrust.1656124288628\\\",\\\"status.workspaceTrust.1656169730338\\\",\\\"status.workspaceTrust.1656169745864\\\",\\\"status.workspaceTrust.1656170663627\\\",\\\"status.workspaceTrust.1656187275997\\\",\\\"status.workspaceTrust.1656191597825\\\",\\\"status.workspaceTrust.1656207963761\\\",\\\"status.workspaceTrust.1656208345308\\\",\\\"status.workspaceTrust.1656209732772\\\",\\\"status.workspaceTrust.1656260355992\\\",\\\"status.workspaceTrust.1656260363447\\\",\\\"status.workspaceTrust.1656265283734\\\",\\\"status.workspaceTrust.1656268326036\\\",\\\"status.workspaceTrust.1656275775787\\\",\\\"status.workspaceTrust.1656275878013\\\",\\\"status.workspaceTrust.8404182c6b6344035c04945e60483825\\\",\\\"status.workspaceTrust.9a1b7838615479c0d025d1e20cf6cf37\\\",\\\"status.workspaceTrust.1656287857182\\\",\\\"status.workspaceTrust.1656336984563\\\",\\\"status.workspaceTrust.1656344223463\\\",\\\"status.workspaceTrust.1656351638778\\\",\\\"status.workspaceTrust.1656418873586\\\",\\\"status.workspaceTrust.1656425366894\\\",\\\"status.workspaceTrust.1656455145624\\\",\\\"status.workspaceTrust.1656464651894\\\",\\\"status.workspaceTrust.1656468335430\\\",\\\"status.workspaceTrust.1656469406880\\\",\\\"status.workspaceTrust.1656504929320\\\",\\\"status.workspaceTrust.1656511968403\\\",\\\"status.workspaceTrust.1656511980185\\\",\\\"status.workspaceTrust.1656513056678\\\",\\\"status.workspaceTrust.1656622100247\\\",\\\"status.workspaceTrust.1656622115063\\\",\\\"status.workspaceTrust.1656686052648\\\",\\\"status.workspaceTrust.1656699625080\\\",\\\"status.workspaceTrust.75d9ecff374458e52e4f8139e5356bff\\\",\\\"status.workspaceTrust.1656859200648\\\",\\\"status.workspaceTrust.1656859250340\\\",\\\"status.workspaceTrust.f83c41febdf9947198e23144f806e8d6\\\",\\\"status.workspaceTrust.1656874053400\\\",\\\"status.workspaceTrust.1656940299791\\\",\\\"status.workspaceTrust.1656953350722\\\",\\\"status.workspaceTrust.1656953355105\\\",\\\"status.workspaceTrust.1656961807788\\\",\\\"status.workspaceTrust.1656961953653\\\",\\\"status.workspaceTrust.1657043050653\\\",\\\"status.workspaceTrust.1657043066208\\\",\\\"status.workspaceTrust.1657071926596\\\",\\\"status.workspaceTrust.1657075225912\\\",\\\"status.workspaceTrust.1657075470215\\\",\\\"status.workspaceTrust.1657116777288\\\",\\\"status.workspaceTrust.1657116823112\\\",\\\"status.workspaceTrust.6a869ec6571358fa0490bec5211b7e18\\\",\\\"status.workspaceTrust.1657118455572\\\",\\\"status.workspaceTrust.1657120204035\\\",\\\"status.workspaceTrust.1657130122360\\\",\\\"status.workspaceTrust.b1753313994f748e3ac5e6cb87e23e55\\\",\\\"status.workspaceTrust.b3fbece8e175006aec9b77671e005e3e\\\",\\\"status.workspaceTrust.1657208024655\\\",\\\"status.workspaceTrust.1657242129373\\\",\\\"status.workspaceTrust.1657288000781\\\",\\\"status.workspaceTrust.1657547509570\\\",\\\"status.workspaceTrust.1657562782348\\\",\\\"status.workspaceTrust.1657569424267\\\",\\\"status.workspaceTrust.1657654038680\\\",\\\"status.workspaceTrust.1657668052525\\\",\\\"status.workspaceTrust.1657671353175\\\",\\\"status.workspaceTrust.1657719100970\\\",\\\"status.workspaceTrust.1657719120020\\\",\\\"status.workspaceTrust.1657726767469\\\",\\\"status.workspaceTrust.1657886756698\\\",\\\"status.workspaceTrust.6e8f83d998931ef51ca11e12920e1281\\\",\\\"status.workspaceTrust.1657887985814\\\",\\\"status.workspaceTrust.1657903643811\\\",\\\"status.workspaceTrust.1ee66553950beefd79518080b7a25f71\\\",\\\"status.workspaceTrust.1658276321782\\\",\\\"status.workspaceTrust.1658277084432\\\",\\\"status.workspaceTrust.1658333671676\\\",\\\"status.workspaceTrust.1658340750095\\\",\\\"status.workspaceTrust.1658340848490\\\",\\\"status.workspaceTrust.1658529381518\\\",\\\"status.workspaceTrust.1659387790298\\\",\\\"status.workspaceTrust.8de14e378c1efdf53f86141ab30412aa\\\",\\\"status.workspaceTrust.1659462196969\\\",\\\"status.workspaceTrust.1659462372798\\\",\\\"status.workspaceTrust.1659471421975\\\",\\\"status.workspaceTrust.1659488608839\\\",\\\"status.workspaceTrust.6a637f917f14640ceaf3e0a9b6d232e7\\\",\\\"status.workspaceTrust.1659539567251\\\",\\\"status.workspaceTrust.a75b6d114dedc00ddb24fb573ee46a2d\\\",\\\"status.workspaceTrust.1659551692074\\\",\\\"status.workspaceTrust.1659621924876\\\",\\\"status.workspaceTrust.aff0dd0c5178d764ab4a75f8d05e145a\\\",\\\"status.workspaceTrust.1659633866810\\\",\\\"status.workspaceTrust.1659641410766\\\",\\\"status.workspaceTrust.1659647291335\\\",\\\"status.workspaceTrust.1659655841414\\\",\\\"status.workspaceTrust.1659657489010\\\",\\\"status.workspaceTrust.1659745785673\\\",\\\"status.workspaceTrust.1659746774034\\\",\\\"status.workspaceTrust.1659757975350\\\",\\\"status.workspaceTrust.1659806328775\\\",\\\"status.workspaceTrust.1659813651920\\\",\\\"status.workspaceTrust.1659813678750\\\",\\\"status.workspaceTrust.1659813810864\\\",\\\"status.workspaceTrust.1659826214854\\\",\\\"status.workspaceTrust.1659829752849\\\",\\\"status.workspaceTrust.1659831559367\\\",\\\"status.workspaceTrust.1659884730381\\\",\\\"status.workspaceTrust.1659884742050\\\",\\\"status.workspaceTrust.1659896709832\\\",\\\"status.workspaceTrust.1659899608254\\\",\\\"status.workspaceTrust.1659903588896\\\",\\\"status.workspaceTrust.388360f7eabbaa85aaf0913909d4a4fb\\\",\\\"status.workspaceTrust.1659903866318\\\",\\\"status.workspaceTrust.1659917337553\\\",\\\"status.workspaceTrust.1659919783503\\\",\\\"status.workspaceTrust.1660054905142\\\",\\\"status.workspaceTrust.1660055757176\\\",\\\"status.workspaceTrust.1660055790521\\\",\\\"status.workspaceTrust.1660056988703\\\",\\\"status.workspaceTrust.1660057046826\\\",\\\"status.workspaceTrust.1660067531951\\\",\\\"status.workspaceTrust.d96a68a2867a657b2f0c58df711a3fd2\\\",\\\"status.workspaceTrust.4fce2809890bb75fd26baed2bde95380\\\",\\\"status.workspaceTrust.1660143658830\\\",\\\"status.workspaceTrust.1660154000578\\\",\\\"status.workspaceTrust.1660160063470\\\",\\\"status.workspaceTrust.1660241463691\\\",\\\"status.workspaceTrust.1660246579576\\\",\\\"status.workspaceTrust.1660327203858\\\",\\\"status.workspaceTrust.1660336478371\\\",\\\"status.workspaceTrust.1660336535988\\\",\\\"status.workspaceTrust.1660421084599\\\",\\\"status.workspaceTrust.1660506026994\\\",\\\"status.workspaceTrust.1660506044565\\\",\\\"status.workspaceTrust.1660506124495\\\",\\\"status.workspaceTrust.1660581069474\\\",\\\"status.workspaceTrust.1660581082159\\\",\\\"status.workspaceTrust.1660581489731\\\",\\\"status.workspaceTrust.1660697844396\\\",\\\"status.workspaceTrust.5fd4568b1f08a0b23b60efabb61b434b\\\",\\\"status.workspaceTrust.e6ee2351287869618afd1428a27e708b\\\",\\\"status.workspaceTrust.1660747367437\\\",\\\"status.workspaceTrust.1660758454649\\\",\\\"status.workspaceTrust.1660758826918\\\",\\\"status.workspaceTrust.1660766276978\\\",\\\"status.workspaceTrust.1660783945775\\\",\\\"status.workspaceTrust.1660783964551\\\",\\\"status.workspaceTrust.1660784409166\\\",\\\"status.workspaceTrust.1660785072016\\\",\\\"status.workspaceTrust.1660849908761\\\",\\\"status.workspaceTrust.1660860609267\\\",\\\"status.workspaceTrust.1660863502900\\\",\\\"status.workspaceTrust.1660916752614\\\",\\\"status.workspaceTrust.1661041574568\\\",\\\"status.workspaceTrust.1661176060281\\\",\\\"status.workspaceTrust.1661188132774\\\",\\\"status.workspaceTrust.1661192735239\\\",\\\"status.workspaceTrust.1661200888791\\\",\\\"status.workspaceTrust.1661217821798\\\",\\\"status.workspaceTrust.1661262869131\\\",\\\"status.workspaceTrust.1661267361339\\\",\\\"status.workspaceTrust.1661271616969\\\",\\\"status.workspaceTrust.1661285235598\\\",\\\"status.workspaceTrust.1661305993539\\\",\\\"status.workspaceTrust.1661306004237\\\",\\\"status.workspaceTrust.1661350904871\\\",\\\"status.workspaceTrust.1661353637340\\\",\\\"status.workspaceTrust.1661353710982\\\",\\\"status.workspaceTrust.1661360214113\\\",\\\"status.workspaceTrust.1661368157601\\\",\\\"status.workspaceTrust.1661370762907\\\",\\\"status.workspaceTrust.1661436145617\\\",\\\"status.workspaceTrust.1661437176886\\\",\\\"status.workspaceTrust.1661438823129\\\",\\\"status.workspaceTrust.1661443362186\\\",\\\"status.workspaceTrust.1661447383767\\\",\\\"status.workspaceTrust.1661462834794\\\",\\\"status.workspaceTrust.1661474285761\\\",\\\"status.workspaceTrust.1661481637794\\\",\\\"status.workspaceTrust.1661540212265\\\",\\\"status.workspaceTrust.1661547229858\\\",\\\"status.workspaceTrust.1661550725795\\\",\\\"status.workspaceTrust.1661551781132\\\",\\\"status.workspaceTrust.1661616522014\\\",\\\"status.workspaceTrust.1661634313770\\\",\\\"status.workspaceTrust.1661643605137\\\",\\\"status.workspaceTrust.1661658139980\\\",\\\"status.workspaceTrust.1661697174434\\\",\\\"status.workspaceTrust.1661702862374\\\",\\\"status.workspaceTrust.1661716151799\\\",\\\"status.workspaceTrust.1661717174033\\\",\\\"status.workspaceTrust.1661727915675\\\",\\\"status.workspaceTrust.1661777882243\\\",\\\"status.workspaceTrust.1661783795376\\\",\\\"status.workspaceTrust.1661793366256\\\",\\\"status.workspaceTrust.1661807505193\\\",\\\"status.workspaceTrust.1661809600726\\\",\\\"status.workspaceTrust.1661820732759\\\",\\\"status.workspaceTrust.1661824184437\\\",\\\"status.workspaceTrust.1661824194830\\\",\\\"status.workspaceTrust.1661864176792\\\",\\\"status.workspaceTrust.1661864254519\\\",\\\"status.workspaceTrust.1661882182698\\\",\\\"status.workspaceTrust.1661886808498\\\",\\\"status.workspaceTrust.1661893304591\\\",\\\"status.workspaceTrust.1661898088462\\\",\\\"status.workspaceTrust.1661900848004\\\",\\\"status.workspaceTrust.1661911619385\\\",\\\"status.workspaceTrust.1661950756832\\\",\\\"status.workspaceTrust.1661952696538\\\",\\\"status.workspaceTrust.1661965350431\\\",\\\"status.workspaceTrust.1661976070615\\\",\\\"status.workspaceTrust.1661985987957\\\",\\\"status.workspaceTrust.1661987856242\\\",\\\"status.workspaceTrust.1661988786198\\\",\\\"status.workspaceTrust.1661989723404\\\",\\\"status.workspaceTrust.1661993898656\\\",\\\"status.workspaceTrust.1661997000343\\\",\\\"status.workspaceTrust.1662038834064\\\",\\\"status.workspaceTrust.1662041572078\\\",\\\"status.workspaceTrust.1662042797756\\\",\\\"status.workspaceTrust.1662046039325\\\",\\\"status.workspaceTrust.1662055750291\\\",\\\"status.workspaceTrust.1662058897544\\\",\\\"status.workspaceTrust.1662066929356\\\",\\\"status.workspaceTrust.1662073785471\\\",\\\"status.workspaceTrust.1662089639465\\\",\\\"status.workspaceTrust.1662089664083\\\",\\\"status.workspaceTrust.1662117157920\\\",\\\"status.workspaceTrust.1662124235697\\\",\\\"status.workspaceTrust.1662201279734\\\",\\\"status.workspaceTrust.b0bee0e12adc1842b7f1adddeceae6a7\\\",\\\"status.workspaceTrust.1662217757002\\\",\\\"status.workspaceTrust.1662219534718\\\",\\\"status.workspaceTrust.1662307201567\\\",\\\"status.workspaceTrust.1662793576452\\\",\\\"status.workspaceTrust.1662798910895\\\",\\\"status.workspaceTrust.1662972316070\\\",\\\"status.workspaceTrust.1662986688717\\\",\\\"status.workspaceTrust.1663062588372\\\",\\\"status.workspaceTrust.1663062617468\\\",\\\"status.workspaceTrust.881e825a9c558e829f217984a3e5ff5f\\\",\\\"status.workspaceTrust.1663063448624\\\",\\\"status.workspaceTrust.1663070122322\\\",\\\"status.workspaceTrust.1663072728897\\\",\\\"status.workspaceTrust.1663079850671\\\",\\\"status.workspaceTrust.1663082147384\\\",\\\"status.workspaceTrust.190f10ef68fc253ce323ddb186e8c1be\\\",\\\"status.workspaceTrust.1663145720316\\\",\\\"status.workspaceTrust.a93d9f966ed38e5fafa8175a501c82db\\\",\\\"status.workspaceTrust.1663146256536\\\",\\\"status.workspaceTrust.1663158349761\\\",\\\"status.workspaceTrust.1663241166339\\\",\\\"status.workspaceTrust.1663274542959\\\",\\\"status.workspaceTrust.1663274556261\\\",\\\"status.workspaceTrust.ce0ddfe08ccc9e36fae0ff692d4fa9ac\\\",\\\"status.workspaceTrust.1663274965836\\\",\\\"status.workspaceTrust.1663275395180\\\",\\\"status.workspaceTrust.1663275486216\\\",\\\"status.workspaceTrust.1663276575994\\\",\\\"status.workspaceTrust.1663305971447\\\",\\\"status.workspaceTrust.1663314125687\\\",\\\"status.workspaceTrust.1663336569690\\\",\\\"status.workspaceTrust.1663338011134\\\",\\\"status.workspaceTrust.a52e39c6b79a6d74a405d49aaa7e07a1\\\",\\\"status.workspaceTrust.1663338789899\\\",\\\"status.workspaceTrust.1663339679009\\\",\\\"status.workspaceTrust.1663418913839\\\",\\\"status.workspaceTrust.1663547180271\\\",\\\"status.workspaceTrust.7254df6d5d3a204087d10e190fc46963\\\",\\\"status.workspaceTrust.e9788b9faf902787318891c0d466f3f6\\\",\\\"status.workspaceTrust.1663549541848\\\",\\\"status.workspaceTrust.1663585754247\\\",\\\"status.workspaceTrust.1663612361419\\\",\\\"status.workspaceTrust.1663616068495\\\",\\\"status.workspaceTrust.be202c7783f152bf4c3a66315b7468b4\\\",\\\"status.workspaceTrust.1663620003532\\\",\\\"status.workspaceTrust.1663723730624\\\",\\\"status.workspaceTrust.1663810758132\\\",\\\"status.workspaceTrust.92b2bef3e379802adc6ae1dba126caf0\\\",\\\"status.workspaceTrust.1663811230118\\\",\\\"status.workspaceTrust.c8e6a4f1491583881016f6c232a2045e\\\",\\\"status.workspaceTrust.1663955638907\\\",\\\"status.workspaceTrust.1664211638328\\\",\\\"status.workspaceTrust.1664212279876\\\",\\\"status.workspaceTrust.1664214358930\\\",\\\"status.workspaceTrust.1664225277363\\\",\\\"status.workspaceTrust.1664798245558\\\",\\\"status.workspaceTrust.1665445205526\\\",\\\"status.workspaceTrust.1665445219856\\\",\\\"status.workspaceTrust.1665532093532\\\",\\\"status.workspaceTrust.1665539878172\\\",\\\"status.workspaceTrust.1665690532172\\\",\\\"status.workspaceTrust.1665930547085\\\",\\\"status.workspaceTrust.0d90057c6d33554bf03f7bcd1d5d633a\\\",\\\"status.workspaceTrust.1666191452973\\\",\\\"status.workspaceTrust.1666195648886\\\",\\\"status.workspaceTrust.1666548794370\\\",\\\"status.workspaceTrust.1666557522970\\\",\\\"status.workspaceTrust.1666567284943\\\",\\\"status.workspaceTrust.99ff84ad25ccb3d115806fa6146691c6\\\",\\\"status.workspaceTrust.1666643232606\\\",\\\"status.workspaceTrust.1666725897904\\\",\\\"status.workspaceTrust.1666726395307\\\",\\\"status.workspaceTrust.1666746347901\\\",\\\"status.workspaceTrust.1666793623096\\\",\\\"status.workspaceTrust.6d6ca34801e00f686f273dcb9ed0b47b\\\",\\\"status.workspaceTrust.ext-dev\\\",\\\"status.workspaceTrust.1666794128365\\\",\\\"status.workspaceTrust.1666821704936\\\",\\\"status.workspaceTrust.1666830433651\\\",\\\"status.workspaceTrust.1666901440701\\\",\\\"status.workspaceTrust.1667074255959\\\",\\\"status.workspaceTrust.db3d5d031849b8ba2d1ad5d732e9d4fe\\\",\\\"status.workspaceTrust.1667074449318\\\",\\\"status.workspaceTrust.1667074688383\\\",\\\"status.workspaceTrust.1667074865932\\\",\\\"status.workspaceTrust.1667076126543\\\",\\\"status.workspaceTrust.1667079294903\\\",\\\"status.workspaceTrust.1667315209142\\\",\\\"status.workspaceTrust.9c942ae89fbbdc9714bc61e89f3ce98f\\\",\\\"status.workspaceTrust.1667335847170\\\",\\\"status.workspaceTrust.1667335880609\\\",\\\"status.workspaceTrust.1667355110005\\\",\\\"status.workspaceTrust.1667436617733\\\",\\\"status.workspaceTrust.1667480883756\\\",\\\"status.workspaceTrust.1667572034805\\\",\\\"status.workspaceTrust.1667676874597\\\",\\\"status.workspaceTrust.1668022360086\\\",\\\"status.workspaceTrust.1668534872465\\\",\\\"status.workspaceTrust.1668649791999\\\",\\\"status.workspaceTrust.1668656812227\\\",\\\"status.workspaceTrust.1668695377484\\\",\\\"status.workspaceTrust.1668709128415\\\",\\\"status.workspaceTrust.1668952917278\\\",\\\"status.workspaceTrust.1669082366420\\\",\\\"status.workspaceTrust.1669083694634\\\",\\\"status.workspaceTrust.1669140838275\\\",\\\"status.workspaceTrust.1669143083989\\\",\\\"status.workspaceTrust.1669144538822\\\",\\\"status.workspaceTrust.1669145515697\\\",\\\"status.workspaceTrust.1669145523122\\\",\\\"status.workspaceTrust.1669151180235\\\",\\\"status.workspaceTrust.1669388037075\\\",\\\"status.workspaceTrust.1669388053721\\\",\\\"status.workspaceTrust.1669389088931\\\",\\\"status.workspaceTrust.1669389769699\\\",\\\"status.workspaceTrust.1669389903434\\\",\\\"status.workspaceTrust.1669392386123\\\",\\\"status.workspaceTrust.1669392424314\\\",\\\"status.workspaceTrust.1669393803021\\\",\\\"status.workspaceTrust.1669395984649\\\",\\\"status.workspaceTrust.1669396404865\\\",\\\"status.workspaceTrust.1669396413050\\\",\\\"status.workspaceTrust.1669406357434\\\",\\\"status.workspaceTrust.1669419491388\\\",\\\"status.workspaceTrust.1669467589383\\\",\\\"status.workspaceTrust.1669470956187\\\",\\\"status.workspaceTrust.1669470973263\\\",\\\"status.workspaceTrust.1669574060588\\\",\\\"status.workspaceTrust.1669574094588\\\",\\\"status.workspaceTrust.1669576431555\\\",\\\"status.workspaceTrust.1669577268522\\\",\\\"status.workspaceTrust.ba300985605cb4de636194ddf6f8d95a\\\",\\\"status.workspaceTrust.1669592987647\\\",\\\"status.workspaceTrust.1669594594922\\\",\\\"status.workspaceTrust.1669594892645\\\",\\\"status.workspaceTrust.1669595514786\\\",\\\"status.workspaceTrust.1669595608028\\\",\\\"status.workspaceTrust.1669597506258\\\",\\\"status.workspaceTrust.1669597536297\\\",\\\"status.workspaceTrust.1669597931935\\\",\\\"status.workspaceTrust.1669598328836\\\",\\\"status.workspaceTrust.1669598704923\\\",\\\"status.workspaceTrust.1669648119266\\\",\\\"status.workspaceTrust.1669648123103\\\",\\\"status.workspaceTrust.1669669686492\\\",\\\"status.workspaceTrust.1669687746807\\\",\\\"status.workspaceTrust.1669690550962\\\",\\\"status.workspaceTrust.1669690689180\\\",\\\"status.workspaceTrust.1669733939875\\\",\\\"status.workspaceTrust.1669734055399\\\",\\\"status.workspaceTrust.1669734447269\\\",\\\"status.workspaceTrust.1669737275795\\\",\\\"status.workspaceTrust.1669756653489\\\",\\\"status.workspaceTrust.1669768812997\\\",\\\"status.workspaceTrust.1669774946464\\\",\\\"status.workspaceTrust.1669817296012\\\",\\\"status.workspaceTrust.1669822282909\\\",\\\"status.workspaceTrust.1669822509750\\\",\\\"status.workspaceTrust.1669832786631\\\",\\\"status.workspaceTrust.1669832794045\\\",\\\"status.workspaceTrust.1669833719241\\\",\\\"status.workspaceTrust.1669852705232\\\",\\\"status.workspaceTrust.1669856624876\\\",\\\"status.workspaceTrust.1669863457770\\\",\\\"status.workspaceTrust.1669863465886\\\",\\\"status.workspaceTrust.1669903970138\\\",\\\"status.workspaceTrust.af3e9d66519b977d69d970890a02fada\\\",\\\"status.workspaceTrust.c4ab0ba8eccb9fa2585908b029b19ee2\\\",\\\"status.workspaceTrust.3522a427adeef4fe9580ef4ed439fa97\\\",\\\"status.workspaceTrust.1670005509155\\\",\\\"status.workspaceTrust.1670010934158\\\",\\\"status.workspaceTrust.1670015242374\\\",\\\"status.workspaceTrust.1670015250871\\\",\\\"status.workspaceTrust.1670038002321\\\",\\\"status.workspaceTrust.1670082477881\\\",\\\"status.workspaceTrust.1670088423907\\\",\\\"status.workspaceTrust.1670090059433\\\",\\\"status.workspaceTrust.1670090379925\\\",\\\"status.workspaceTrust.1670093340545\\\",\\\"status.workspaceTrust.1670100409551\\\",\\\"status.workspaceTrust.1670100460174\\\",\\\"status.workspaceTrust.1670100775299\\\",\\\"status.workspaceTrust.1670115037516\\\",\\\"status.workspaceTrust.1670163436454\\\",\\\"status.workspaceTrust.1670176621502\\\",\\\"status.workspaceTrust.1670182781911\\\",\\\"status.workspaceTrust.1670242841540\\\",\\\"status.workspaceTrust.1670248832212\\\",\\\"status.workspaceTrust.1670262767216\\\",\\\"status.workspaceTrust.1670264828229\\\",\\\"status.workspaceTrust.1670334601103\\\",\\\"status.workspaceTrust.1670336056306\\\",\\\"status.workspaceTrust.1670347266120\\\",\\\"status.workspaceTrust.1670351713831\\\",\\\"status.workspaceTrust.1670369255765\\\",\\\"status.workspaceTrust.1670372534085\\\",\\\"status.workspaceTrust.1670372720747\\\",\\\"status.workspaceTrust.1670372875777\\\",\\\"status.workspaceTrust.1670373472451\\\",\\\"status.workspaceTrust.1670374556747\\\",\\\"status.workspaceTrust.1670374931697\\\",\\\"status.workspaceTrust.1670376403201\\\",\\\"status.workspaceTrust.1670386607801\\\",\\\"status.workspaceTrust.1670416353056\\\",\\\"status.workspaceTrust.1670417796277\\\",\\\"status.workspaceTrust.1670422698494\\\",\\\"status.workspaceTrust.1670425076707\\\",\\\"status.workspaceTrust.1670428270417\\\",\\\"status.workspaceTrust.1670436647301\\\",\\\"status.workspaceTrust.1670442034479\\\",\\\"status.workspaceTrust.1670442413086\\\",\\\"status.workspaceTrust.1670442470216\\\",\\\"status.workspaceTrust.1670442655190\\\",\\\"status.workspaceTrust.1670442862931\\\",\\\"status.workspaceTrust.1670444249982\\\",\\\"status.workspaceTrust.1670460432516\\\",\\\"status.workspaceTrust.1670462001414\\\",\\\"status.workspaceTrust.1670462927974\\\",\\\"status.workspaceTrust.1670508451804\\\",\\\"status.workspaceTrust.1670508739449\\\",\\\"status.workspaceTrust.1670511895496\\\",\\\"status.workspaceTrust.1670514409408\\\",\\\"status.workspaceTrust.1670515778825\\\",\\\"status.workspaceTrust.1670527621605\\\",\\\"status.workspaceTrust.1670534475112\\\",\\\"status.workspaceTrust.1670535112348\\\",\\\"status.workspaceTrust.1670538802071\\\",\\\"status.workspaceTrust.1670543824786\\\",\\\"status.workspaceTrust.1670610787064\\\",\\\"status.workspaceTrust.1670616875363\\\",\\\"status.workspaceTrust.1670644501331\\\",\\\"status.workspaceTrust.1670681525591\\\",\\\"status.workspaceTrust.1670691448327\\\",\\\"status.workspaceTrust.1670696158670\\\",\\\"status.workspaceTrust.1670702958081\\\",\\\"status.workspaceTrust.1670704996210\\\",\\\"status.workspaceTrust.1670727702630\\\",\\\"status.workspaceTrust.1670730296372\\\",\\\"status.workspaceTrust.1670789965553\\\",\\\"status.workspaceTrust.1670806726170\\\",\\\"status.workspaceTrust.1670849045771\\\",\\\"status.workspaceTrust.1670855183321\\\",\\\"status.workspaceTrust.1670855500420\\\",\\\"status.workspaceTrust.1670866867005\\\",\\\"status.workspaceTrust.1670876754296\\\",\\\"status.workspaceTrust.1670878724571\\\",\\\"status.workspaceTrust.1670879029363\\\",\\\"status.workspaceTrust.1670879113787\\\",\\\"status.workspaceTrust.1670887537998\\\",\\\"status.workspaceTrust.1670897484894\\\",\\\"status.workspaceTrust.1670897876076\\\",\\\"status.workspaceTrust.1670936004576\\\",\\\"status.workspaceTrust.1670936023106\\\",\\\"status.workspaceTrust.d16ff3a867d71880b7c3f86c8a569c86\\\",\\\"status.workspaceTrust.1670941656428\\\",\\\"status.workspaceTrust.1670942004053\\\",\\\"status.workspaceTrust.1670942014846\\\",\\\"status.workspaceTrust.1670947511885\\\",\\\"status.workspaceTrust.1670947859932\\\",\\\"status.workspaceTrust.1670955079455\\\",\\\"status.workspaceTrust.1670969854426\\\",\\\"status.workspaceTrust.1670989060569\\\",\\\"status.workspaceTrust.1671023253112\\\",\\\"status.workspaceTrust.1671029601569\\\",\\\"status.workspaceTrust.1671033037772\\\",\\\"status.workspaceTrust.1671038807402\\\",\\\"status.workspaceTrust.1671049830460\\\",\\\"status.workspaceTrust.1671113993325\\\",\\\"status.workspaceTrust.1671136088098\\\",\\\"status.workspaceTrust.1671138490233\\\",\\\"status.workspaceTrust.1671145413056\\\",\\\"status.workspaceTrust.1671193865455\\\",\\\"status.workspaceTrust.1671193938621\\\",\\\"status.workspaceTrust.1671194482009\\\",\\\"status.workspaceTrust.1671202007522\\\",\\\"status.workspaceTrust.1671204333980\\\",\\\"status.workspaceTrust.1671214894203\\\",\\\"status.workspaceTrust.1671222721103\\\",\\\"status.workspaceTrust.1671288570086\\\",\\\"status.workspaceTrust.1671289956313\\\",\\\"status.workspaceTrust.1671293900478\\\",\\\"status.workspaceTrust.1671297417576\\\",\\\"status.workspaceTrust.1671374119221\\\",\\\"status.workspaceTrust.1671375555626\\\",\\\"status.workspaceTrust.1671382885547\\\",\\\"status.workspaceTrust.1671385598165\\\",\\\"status.workspaceTrust.1671392509801\\\",\\\"status.workspaceTrust.1671397772574\\\",\\\"status.workspaceTrust.1671409686143\\\",\\\"status.workspaceTrust.1671454434937\\\",\\\"status.workspaceTrust.1671462489496\\\",\\\"status.workspaceTrust.1671474058652\\\",\\\"status.workspaceTrust.1671476081956\\\",\\\"status.workspaceTrust.1671549532929\\\",\\\"status.workspaceTrust.1671553251881\\\",\\\"status.workspaceTrust.1671631501701\\\",\\\"status.workspaceTrust.1671636677030\\\",\\\"status.workspaceTrust.1671647479826\\\",\\\"status.workspaceTrust.1671649726241\\\",\\\"status.workspaceTrust.1671649736159\\\",\\\"status.workspaceTrust.1671650333311\\\",\\\"status.workspaceTrust.1671673218595\\\",\\\"status.workspaceTrust.1671679490399\\\",\\\"status.workspaceTrust.1671716164127\\\",\\\"status.workspaceTrust.1671742030884\\\",\\\"status.workspaceTrust.1671755116263\\\",\\\"status.workspaceTrust.1671756977793\\\",\\\"status.workspaceTrust.1671759417700\\\",\\\"status.workspaceTrust.1671760491344\\\",\\\"status.workspaceTrust.1671762652878\\\",\\\"status.workspaceTrust.1671766383926\\\",\\\"status.workspaceTrust.1671806394003\\\",\\\"status.workspaceTrust.1671808915981\\\",\\\"status.workspaceTrust.1671809440587\\\",\\\"status.workspaceTrust.1671840139410\\\",\\\"status.workspaceTrust.1671842373362\\\",\\\"status.workspaceTrust.1671845883318\\\",\\\"status.workspaceTrust.1671850243708\\\",\\\"status.workspaceTrust.1671851688712\\\",\\\"status.workspaceTrust.1671889529236\\\",\\\"status.workspaceTrust.1671893065982\\\",\\\"status.workspaceTrust.1671897071627\\\",\\\"status.workspaceTrust.1671908965873\\\",\\\"status.workspaceTrust.1671911267617\\\",\\\"status.workspaceTrust.1671920828559\\\",\\\"status.workspaceTrust.1671931556966\\\",\\\"status.workspaceTrust.1671937633905\\\",\\\"status.workspaceTrust.1672001624441\\\",\\\"status.workspaceTrust.1672002257875\\\",\\\"status.workspaceTrust.1672019910270\\\",\\\"status.workspaceTrust.1672069588465\\\",\\\"status.workspaceTrust.1672079002125\\\",\\\"status.workspaceTrust.1672087226910\\\",\\\"status.workspaceTrust.1672149910969\\\",\\\"status.workspaceTrust.1672162365169\\\",\\\"status.workspaceTrust.1672169939111\\\",\\\"status.workspaceTrust.6bb34431a41a9c8a0b60e06d7414f828\\\",\\\"status.workspaceTrust.39161700ee7526a7898e460bd733dda3\\\",\\\"status.workspaceTrust.1672247791062\\\",\\\"status.workspaceTrust.1672247803486\\\",\\\"status.workspaceTrust.1672257921293\\\",\\\"status.workspaceTrust.1672262228670\\\",\\\"status.workspaceTrust.1672267608394\\\",\\\"status.workspaceTrust.1672322554557\\\",\\\"status.workspaceTrust.1672358148673\\\",\\\"status.workspaceTrust.8af7bb715888a7dcaa18d5598f84ac3e\\\",\\\"status.workspaceTrust.1672358250187\\\",\\\"status.workspaceTrust.1672410886312\\\",\\\"status.workspaceTrust.0ae814f70be16d9e3e905040b0a594f4\\\",\\\"status.workspaceTrust.f7650221e3a4129dc33a77fc3be0ee04\\\",\\\"status.workspaceTrust.1672432470428\\\",\\\"status.workspaceTrust.36046f3c0d50c4f4f600b28d96530e2b\\\",\\\"status.workspaceTrust.1672437708409\\\",\\\"status.workspaceTrust.1672502640243\\\",\\\"status.workspaceTrust.1672510141287\\\",\\\"status.workspaceTrust.1672511236925\\\",\\\"status.workspaceTrust.1672512175153\\\",\\\"status.workspaceTrust.1672513013271\\\",\\\"status.workspaceTrust.1672513544009\\\",\\\"status.workspaceTrust.1672518194636\\\",\\\"status.workspaceTrust.1672519199214\\\",\\\"status.workspaceTrust.1672585755775\\\",\\\"status.workspaceTrust.1672585765768\\\",\\\"status.workspaceTrust.1672632731475\\\",\\\"status.workspaceTrust.1672632812278\\\",\\\"status.workspaceTrust.1672674215854\\\",\\\"status.workspaceTrust.6205573a117a3b096edb4f63a836bf66\\\",\\\"status.workspaceTrust.1672678893638\\\",\\\"status.workspaceTrust.1672696787906\\\",\\\"status.workspaceTrust.1672696819732\\\",\\\"status.workspaceTrust.1672696967125\\\",\\\"status.workspaceTrust.1672697552089\\\",\\\"status.workspaceTrust.1672708210372\\\",\\\"status.workspaceTrust.6429fb4113d581d67fcfa52086b1a79d\\\",\\\"status.workspaceTrust.1672710527578\\\",\\\"status.workspaceTrust.1672714881905\\\",\\\"status.workspaceTrust.1672715054780\\\",\\\"status.workspaceTrust.1672725276529\\\",\\\"status.workspaceTrust.1672749546864\\\",\\\"status.workspaceTrust.1672752052982\\\",\\\"status.workspaceTrust.1672756309785\\\",\\\"status.workspaceTrust.1672762281472\\\",\\\"status.workspaceTrust.1672777978008\\\",\\\"status.workspaceTrust.796875debc9dec553728ede8070238a8\\\",\\\"status.workspaceTrust.1672797769887\\\",\\\"status.workspaceTrust.1672845914372\\\",\\\"status.workspaceTrust.1672864219280\\\",\\\"status.workspaceTrust.1672876507130\\\",\\\"status.workspaceTrust.1672931021299\\\",\\\"status.workspaceTrust.1672940682704\\\",\\\"status.workspaceTrust.1672947277811\\\",\\\"status.workspaceTrust.1672951027250\\\",\\\"status.workspaceTrust.1672961965718\\\",\\\"status.workspaceTrust.1673019484532\\\",\\\"status.workspaceTrust.1673021368427\\\",\\\"status.workspaceTrust.1673021895652\\\",\\\"status.workspaceTrust.1673022212331\\\",\\\"status.workspaceTrust.1673031197232\\\",\\\"status.workspaceTrust.1673271935470\\\",\\\"status.workspaceTrust.1673322581065\\\",\\\"status.workspaceTrust.1673364695460\\\",\\\"status.workspaceTrust.c72330b9e16f5dd856c1627771de59ea\\\",\\\"status.workspaceTrust.fcd270a6180dc9ae98fda8b259a1a268\\\",\\\"status.workspaceTrust.1673468957183\\\",\\\"status.workspaceTrust.1673489110471\\\",\\\"status.workspaceTrust.1673491736840\\\",\\\"status.workspaceTrust.1673495310293\\\",\\\"status.workspaceTrust.1673496140282\\\",\\\"status.workspaceTrust.a4999d654095e3cba5401d0376a9444e\\\",\\\"status.workspaceTrust.1673540877730\\\",\\\"status.workspaceTrust.1673548721476\\\",\\\"status.workspaceTrust.1673554623292\\\",\\\"status.workspaceTrust.1673563625318\\\",\\\"status.workspaceTrust.1673568939503\\\",\\\"status.workspaceTrust.1673573959656\\\",\\\"status.workspaceTrust.1673574950923\\\",\\\"status.workspaceTrust.1673577715070\\\",\\\"status.workspaceTrust.1673613339079\\\",\\\"status.workspaceTrust.0e8f4d1e8c01c2e59eb45e5528e0c672\\\",\\\"status.workspaceTrust.1673618415823\\\",\\\"status.workspaceTrust.1673618437395\\\",\\\"status.workspaceTrust.1673621433565\\\",\\\"status.workspaceTrust.1673623237023\\\",\\\"status.workspaceTrust.1673636522693\\\",\\\"status.workspaceTrust.1673642432565\\\",\\\"status.workspaceTrust.1673644866549\\\",\\\"status.workspaceTrust.1673647597666\\\",\\\"status.workspaceTrust.1673656486960\\\",\\\"status.workspaceTrust.1673658975210\\\",\\\"status.workspaceTrust.1673661430702\\\",\\\"status.workspaceTrust.1673675163480\\\",\\\"status.workspaceTrust.1673702261233\\\",\\\"status.workspaceTrust.1673711724704\\\",\\\"status.workspaceTrust.1673734657981\\\",\\\"status.workspaceTrust.1673754590205\\\",\\\"status.workspaceTrust.1673877432349\\\",\\\"status.workspaceTrust.1673883658435\\\",\\\"status.workspaceTrust.1673900804686\\\",\\\"status.workspaceTrust.1673902379893\\\",\\\"status.workspaceTrust.1673924632782\\\",\\\"status.workspaceTrust.1673961894881\\\",\\\"status.workspaceTrust.1673966823461\\\",\\\"status.workspaceTrust.1673978854406\\\",\\\"status.workspaceTrust.1673983554723\\\",\\\"status.workspaceTrust.1674051485974\\\",\\\"status.workspaceTrust.1674056966714\\\",\\\"status.workspaceTrust.1674057143854\\\",\\\"status.workspaceTrust.1674077457694\\\",\\\"status.workspaceTrust.1674164860465\\\",\\\"status.workspaceTrust.1674318823494\\\",\\\"status.workspaceTrust.1674319773679\\\",\\\"status.workspaceTrust.1674330012546\\\",\\\"status.workspaceTrust.1674337537884\\\",\\\"status.workspaceTrust.1674338503403\\\",\\\"status.workspaceTrust.1674417213886\\\",\\\"status.workspaceTrust.1674444568299\\\",\\\"status.workspaceTrust.1674479468563\\\",\\\"status.workspaceTrust.1674500744809\\\",\\\"status.workspaceTrust.1674502032840\\\",\\\"status.workspaceTrust.1674502817300\\\",\\\"status.workspaceTrust.1674565230288\\\",\\\"status.workspaceTrust.1674567634368\\\",\\\"status.workspaceTrust.1674581284003\\\",\\\"status.workspaceTrust.1674593308096\\\",\\\"status.workspaceTrust.1674594832185\\\",\\\"status.workspaceTrust.1674602835367\\\",\\\"status.workspaceTrust.1674605854951\\\",\\\"status.workspaceTrust.1674612346624\\\",\\\"status.workspaceTrust.1674612430400\\\",\\\"status.workspaceTrust.1674651509764\\\",\\\"status.workspaceTrust.1674655459589\\\",\\\"status.workspaceTrust.1674665853376\\\",\\\"status.workspaceTrust.1674668010883\\\",\\\"status.workspaceTrust.1674670491912\\\",\\\"status.workspaceTrust.1674674805570\\\",\\\"status.workspaceTrust.1674678507380\\\",\\\"status.workspaceTrust.1674741657120\\\",\\\"status.workspaceTrust.1674751034255\\\",\\\"status.workspaceTrust.1674756417708\\\",\\\"status.workspaceTrust.1674765212812\\\",\\\"status.workspaceTrust.1674779606590\\\",\\\"status.workspaceTrust.1674790404322\\\",\\\"status.workspaceTrust.1674791343088\\\",\\\"status.workspaceTrust.1674821719421\\\",\\\"status.workspaceTrust.1674824527472\\\",\\\"status.workspaceTrust.1674826850706\\\",\\\"status.workspaceTrust.1674831016046\\\",\\\"status.workspaceTrust.1674831884172\\\",\\\"status.workspaceTrust.1674842620539\\\",\\\"status.workspaceTrust.1674876304496\\\",\\\"status.workspaceTrust.1674915270103\\\",\\\"status.workspaceTrust.1674916999905\\\",\\\"status.workspaceTrust.1674925754073\\\",\\\"status.workspaceTrust.1674925820278\\\",\\\"status.workspaceTrust.1674931694411\\\",\\\"status.workspaceTrust.1674937547471\\\",\\\"status.workspaceTrust.1674941515664\\\",\\\"status.workspaceTrust.1675001030893\\\",\\\"status.workspaceTrust.1675015096008\\\",\\\"status.workspaceTrust.1675022778526\\\",\\\"status.workspaceTrust.1675035114968\\\",\\\"status.workspaceTrust.1675035577900\\\",\\\"status.workspaceTrust.1675045313721\\\",\\\"status.workspaceTrust.1675045319779\\\",\\\"status.workspaceTrust.1675084667267\\\",\\\"status.workspaceTrust.1675089334388\\\",\\\"status.workspaceTrust.1675094345127\\\",\\\"status.workspaceTrust.1675104124543\\\",\\\"status.workspaceTrust.1675109852881\\\",\\\"status.workspaceTrust.1675110554173\\\",\\\"status.workspaceTrust.1675110572845\\\",\\\"status.workspaceTrust.1675111113623\\\",\\\"status.workspaceTrust.1675114692915\\\",\\\"status.workspaceTrust.1675130038665\\\",\\\"status.workspaceTrust.1675132803774\\\",\\\"status.workspaceTrust.1675172660219\\\",\\\"status.workspaceTrust.1675178310283\\\",\\\"status.workspaceTrust.1675186322539\\\",\\\"status.workspaceTrust.1675188222707\\\",\\\"status.workspaceTrust.1675196601132\\\",\\\"status.workspaceTrust.1675198037886\\\",\\\"status.workspaceTrust.1675200646514\\\",\\\"status.workspaceTrust.1675202730934\\\",\\\"status.workspaceTrust.1675210084895\\\",\\\"status.workspaceTrust.1675211754675\\\",\\\"status.workspaceTrust.1675211767319\\\",\\\"status.workspaceTrust.1675214106611\\\",\\\"status.workspaceTrust.1675222422495\\\",\\\"status.workspaceTrust.1675256871288\\\",\\\"status.workspaceTrust.1675275641792\\\",\\\"status.workspaceTrust.1675277452585\\\",\\\"status.workspaceTrust.1675279555182\\\",\\\"status.workspaceTrust.1675281558904\\\",\\\"status.workspaceTrust.1675283545932\\\",\\\"status.workspaceTrust.1675286135817\\\",\\\"status.workspaceTrust.1675289876625\\\",\\\"status.workspaceTrust.1675302988378\\\",\\\"status.workspaceTrust.1675303289552\\\",\\\"status.workspaceTrust.1675306786992\\\",\\\"status.workspaceTrust.1675310488629\\\",\\\"status.workspaceTrust.1675343249994\\\",\\\"status.workspaceTrust.1675345481998\\\",\\\"status.workspaceTrust.1675356561360\\\",\\\"status.workspaceTrust.1675360874979\\\",\\\"status.workspaceTrust.1675361026439\\\",\\\"status.workspaceTrust.1675363136727\\\",\\\"status.workspaceTrust.1675363376138\\\",\\\"status.workspaceTrust.1675364585881\\\",\\\"status.workspaceTrust.1675365349171\\\",\\\"status.workspaceTrust.1675378593798\\\",\\\"status.workspaceTrust.1675380701224\\\",\\\"status.workspaceTrust.1675388197185\\\",\\\"status.workspaceTrust.1675392974407\\\",\\\"status.workspaceTrust.1675393774863\\\",\\\"status.workspaceTrust.1675393989894\\\",\\\"status.workspaceTrust.1675446991461\\\",\\\"status.workspaceTrust.1675452737271\\\",\\\"status.workspaceTrust.1675456557950\\\",\\\"status.workspaceTrust.1675457757371\\\",\\\"status.workspaceTrust.1675457963029\\\",\\\"status.workspaceTrust.1675460774331\\\",\\\"status.workspaceTrust.1675516510198\\\",\\\"status.workspaceTrust.1675516520046\\\",\\\"status.workspaceTrust.1675525364273\\\",\\\"status.workspaceTrust.1675532994621\\\",\\\"status.workspaceTrust.1675545863090\\\",\\\"status.workspaceTrust.1675554190029\\\",\\\"status.workspaceTrust.1675562491697\\\",\\\"status.workspaceTrust.1675562877119\\\",\\\"status.workspaceTrust.1675605919405\\\",\\\"status.workspaceTrust.1675616378633\\\",\\\"status.workspaceTrust.1675637047324\\\",\\\"status.workspaceTrust.1675687784980\\\",\\\"status.workspaceTrust.1675692458577\\\",\\\"status.workspaceTrust.1675695438967\\\",\\\"status.workspaceTrust.1675701837296\\\",\\\"status.workspaceTrust.1675708722753\\\",\\\"status.workspaceTrust.1675709750463\\\",\\\"status.workspaceTrust.1675715482825\\\",\\\"status.workspaceTrust.1675737882464\\\",\\\"status.workspaceTrust.1675774241619\\\",\\\"status.workspaceTrust.1675778552750\\\",\\\"status.workspaceTrust.1675786734560\\\",\\\"status.workspaceTrust.1675793776277\\\",\\\"status.workspaceTrust.1675795576192\\\",\\\"status.workspaceTrust.1675802773247\\\",\\\"status.workspaceTrust.1675817085857\\\",\\\"status.workspaceTrust.1675872430077\\\",\\\"status.workspaceTrust.1675883355048\\\",\\\"status.workspaceTrust.1675902389336\\\",\\\"status.workspaceTrust.1675909782616\\\",\\\"status.workspaceTrust.1675975651127\\\",\\\"status.workspaceTrust.1675997662959\\\",\\\"status.workspaceTrust.1676154560375\\\",\\\"status.workspaceTrust.1676154574640\\\",\\\"status.workspaceTrust.1676171737552\\\",\\\"status.workspaceTrust.1676172635144\\\",\\\"status.workspaceTrust.1676204552173\\\",\\\"status.workspaceTrust.1676206774511\\\",\\\"status.workspaceTrust.1676209181368\\\",\\\"status.workspaceTrust.1676225376082\\\",\\\"status.workspaceTrust.1676226289622\\\",\\\"status.workspaceTrust.1676228087484\\\",\\\"status.workspaceTrust.1676240980454\\\",\\\"status.workspaceTrust.1676291606125\\\",\\\"status.workspaceTrust.1676299787326\\\",\\\"status.workspaceTrust.1676300371404\\\",\\\"status.workspaceTrust.1676379769839\\\",\\\"status.workspaceTrust.1676381538081\\\",\\\"status.workspaceTrust.1676400592539\\\",\\\"status.workspaceTrust.1676427249612\\\",\\\"status.workspaceTrust.1676431503794\\\",\\\"status.workspaceTrust.1676473317513\\\",\\\"status.workspaceTrust.1676487525471\\\",\\\"status.workspaceTrust.1676493033642\\\",\\\"status.workspaceTrust.1676497630202\\\",\\\"status.workspaceTrust.1676499550694\\\",\\\"status.workspaceTrust.1676500722517\\\",\\\"status.workspaceTrust.1676501263101\\\",\\\"status.workspaceTrust.1676508283122\\\",\\\"status.workspaceTrust.1676563746415\\\",\\\"status.workspaceTrust.1676572227241\\\",\\\"status.workspaceTrust.1676578463311\\\",\\\"status.workspaceTrust.1676649317946\\\",\\\"status.workspaceTrust.1676686869309\\\",\\\"status.workspaceTrust.1676690035582\\\",\\\"status.workspaceTrust.1676690090665\\\",\\\"status.workspaceTrust.1676734319226\\\",\\\"status.workspaceTrust.1676751446779\\\",\\\"status.workspaceTrust.1676758508946\\\",\\\"status.workspaceTrust.1676759480192\\\",\\\"status.workspaceTrust.1676812928619\\\",\\\"status.workspaceTrust.1676813061083\\\",\\\"status.workspaceTrust.1676824974396\\\",\\\"status.workspaceTrust.1676896765243\\\",\\\"status.workspaceTrust.1676905607726\\\",\\\"status.workspaceTrust.1676916847310\\\",\\\"status.workspaceTrust.1676938297864\\\",\\\"status.workspaceTrust.1676987041474\\\",\\\"status.workspaceTrust.1676989661618\\\",\\\"status.workspaceTrust.1676995257840\\\",\\\"status.workspaceTrust.1677002557459\\\",\\\"status.workspaceTrust.1677016631786\\\",\\\"status.workspaceTrust.1677028168786\\\",\\\"status.workspaceTrust.1677029583377\\\",\\\"status.workspaceTrust.1677032022367\\\",\\\"status.workspaceTrust.1677072767078\\\",\\\"status.workspaceTrust.1677072867935\\\",\\\"status.workspaceTrust.1677077649024\\\",\\\"status.workspaceTrust.1677089999578\\\",\\\"status.workspaceTrust.1677103449435\\\",\\\"status.workspaceTrust.1677103457221\\\",\\\"status.workspaceTrust.1677108585258\\\",\\\"status.workspaceTrust.1677118770266\\\",\\\"status.workspaceTrust.1677120230914\\\",\\\"status.workspaceTrust.1677154467755\\\",\\\"status.workspaceTrust.1677163894905\\\",\\\"status.workspaceTrust.1d332ac1f952aa7c09a1151b30ac0635\\\",\\\"status.workspaceTrust.1677164156311\\\",\\\"status.workspaceTrust.1677168469209\\\",\\\"status.workspaceTrust.1677179455377\\\",\\\"status.workspaceTrust.1677184262617\\\",\\\"status.workspaceTrust.1677188691157\\\",\\\"status.workspaceTrust.1677205026811\\\",\\\"status.workspaceTrust.1677205039205\\\",\\\"status.workspaceTrust.1677253988963\\\",\\\"status.workspaceTrust.1677256973543\\\",\\\"status.workspaceTrust.b067f70fdb094c6d08d9f0d311f6b422\\\",\\\"status.workspaceTrust.1677265173546\\\",\\\"status.workspaceTrust.1677266631934\\\",\\\"status.workspaceTrust.1677266842060\\\",\\\"status.workspaceTrust.1677267520931\\\",\\\"status.workspaceTrust.1677268932759\\\",\\\"status.workspaceTrust.1677271177461\\\",\\\"status.workspaceTrust.1677272062369\\\",\\\"status.workspaceTrust.1677295300593\\\",\\\"status.workspaceTrust.1677338619747\\\",\\\"status.workspaceTrust.1677350332019\\\",\\\"status.workspaceTrust.1677351410065\\\",\\\"status.workspaceTrust.1677362235652\\\",\\\"status.workspaceTrust.1677381098431\\\",\\\"status.workspaceTrust.1677383436761\\\",\\\"status.workspaceTrust.1677422385911\\\",\\\"status.workspaceTrust.1677422883776\\\",\\\"status.workspaceTrust.1677422894199\\\",\\\"status.workspaceTrust.1677429272505\\\",\\\"status.workspaceTrust.1677433873885\\\",\\\"status.workspaceTrust.1677441046960\\\",\\\"status.workspaceTrust.1677441059188\\\",\\\"status.workspaceTrust.1677442507505\\\",\\\"status.workspaceTrust.1677455794449\\\",\\\"status.workspaceTrust.1677460036831\\\",\\\"status.workspaceTrust.1677501822202\\\",\\\"status.workspaceTrust.1677505403330\\\",\\\"status.workspaceTrust.1677513258880\\\",\\\"status.workspaceTrust.1677516195504\\\",\\\"status.workspaceTrust.1677516214790\\\",\\\"status.workspaceTrust.1677525860410\\\",\\\"status.workspaceTrust.1677548009532\\\",\\\"status.workspaceTrust.1677552643569\\\",\\\"status.workspaceTrust.1677552720999\\\",\\\"status.workspaceTrust.1677553634039\\\",\\\"status.workspaceTrust.1677553820754\\\",\\\"status.workspaceTrust.1677595065321\\\",\\\"status.workspaceTrust.1677601571489\\\",\\\"status.workspaceTrust.1677601805432\\\",\\\"status.workspaceTrust.1677607347945\\\",\\\"status.workspaceTrust.1677610699606\\\",\\\"status.workspaceTrust.1677616226375\\\",\\\"status.workspaceTrust.1677619669865\\\",\\\"status.workspaceTrust.1677625122481\\\",\\\"status.workspaceTrust.1677629940835\\\",\\\"status.workspaceTrust.1677631946206\\\",\\\"status.workspaceTrust.7ddd72674b093b5860937fea1efd58b3\\\",\\\"status.workspaceTrust.1677632181921\\\",\\\"status.workspaceTrust.1677632510086\\\",\\\"status.workspaceTrust.1677633604886\\\",\\\"status.workspaceTrust.1677634440635\\\",\\\"status.workspaceTrust.1677677342584\\\",\\\"status.workspaceTrust.1677679875418\\\",\\\"status.workspaceTrust.1677694667063\\\",\\\"status.workspaceTrust.1677702937292\\\",\\\"status.workspaceTrust.1677703010423\\\",\\\"status.workspaceTrust.1677703270836\\\",\\\"status.workspaceTrust.1677704637337\\\",\\\"status.workspaceTrust.1677705706889\\\",\\\"status.workspaceTrust.1677705731811\\\",\\\"status.workspaceTrust.1677722378933\\\",\\\"status.workspaceTrust.1677723267446\\\",\\\"status.workspaceTrust.1677723275224\\\",\\\"status.workspaceTrust.1677723559627\\\",\\\"status.workspaceTrust.1677726423820\\\",\\\"status.workspaceTrust.1677727060513\\\",\\\"status.workspaceTrust.1677728260978\\\",\\\"status.workspaceTrust.1677729150820\\\",\\\"status.workspaceTrust.1677777432293\\\",\\\"status.workspaceTrust.1677780345926\\\",\\\"status.workspaceTrust.1677788860000\\\",\\\"status.workspaceTrust.1677803760261\\\",\\\"status.workspaceTrust.1677805543376\\\",\\\"status.workspaceTrust.1677805682530\\\",\\\"status.workspaceTrust.1677816913584\\\",\\\"status.workspaceTrust.1677854331388\\\",\\\"status.workspaceTrust.1677961764472\\\",\\\"status.workspaceTrust.1677961806025\\\",\\\"status.workspaceTrust.1677961975598\\\",\\\"status.workspaceTrust.1677962960188\\\",\\\"status.workspaceTrust.1678054256295\\\",\\\"status.workspaceTrust.1678115870051\\\",\\\"status.workspaceTrust.1678132262068\\\",\\\"status.workspaceTrust.1678230628514\\\",\\\"status.workspaceTrust.1678239191449\\\",\\\"status.workspaceTrust.1678299897605\\\",\\\"status.workspaceTrust.1678306417442\\\",\\\"status.workspaceTrust.1678393122201\\\",\\\"status.workspaceTrust.1678395466583\\\",\\\"status.workspaceTrust.1679355552515\\\",\\\"status.workspaceTrust.98666f900c8ad9a9190f4fc8a52661db\\\",\\\"status.workspaceTrust.1679420474584\\\",\\\"status.workspaceTrust.1679425131090\\\",\\\"status.workspaceTrust.1679446086080\\\",\\\"status.workspaceTrust.1679487996312\\\",\\\"status.workspaceTrust.1679511301630\\\",\\\"status.workspaceTrust.1679515442205\\\",\\\"status.workspaceTrust.8b86e9c07b627d93fea39919c3602f4f\\\",\\\"status.workspaceTrust.e6a25bb533e7a79ca72b8053a19cdb1a\\\",\\\"status.workspaceTrust.1679671898969\\\",\\\"status.workspaceTrust.1679916968492\\\",\\\"status.workspaceTrust.1679925634034\\\",\\\"status.workspaceTrust.1679945658696\\\",\\\"status.workspaceTrust.1679945704904\\\",\\\"status.workspaceTrust.1679947894059\\\",\\\"status.workspaceTrust.c912ed17e0627a7d847823a7e8273bab\\\",\\\"status.workspaceTrust.b389f40e212d1a0ec544bf20096b9724\\\",\\\"status.workspaceTrust.1680033606116\\\",\\\"status.workspaceTrust.1680118542542\\\",\\\"status.workspaceTrust.1680118872938\\\",\\\"status.workspaceTrust.1680121852319\\\",\\\"status.workspaceTrust.1680121862376\\\",\\\"status.workspaceTrust.1680184856655\\\",\\\"status.workspaceTrust.1680198625147\\\",\\\"status.workspaceTrust.1680221123983\\\",\\\"status.workspaceTrust.1680265983745\\\",\\\"status.workspaceTrust.1680266522375\\\",\\\"status.workspaceTrust.1680284139049\\\",\\\"status.workspaceTrust.1680294401781\\\",\\\"status.workspaceTrust.1680294645305\\\",\\\"status.workspaceTrust.1680296806515\\\",\\\"status.workspaceTrust.6f8fa8f349f3ad2782f99b8263e349d0\\\",\\\"status.workspaceTrust.1680522132463\\\",\\\"status.workspaceTrust.1680522157635\\\",\\\"status.workspaceTrust.1680522159968\\\",\\\"status.workspaceTrust.7148219697e3605ce4b1643be51efaa5\\\",\\\"status.workspaceTrust.1680522320769\\\",\\\"status.workspaceTrust.1680523233480\\\",\\\"status.workspaceTrust.1680523287116\\\",\\\"status.workspaceTrust.1680523738054\\\",\\\"status.workspaceTrust.1680523918288\\\",\\\"status.workspaceTrust.1680530440412\\\",\\\"status.workspaceTrust.1680543409558\\\",\\\"status.workspaceTrust.1680543907902\\\",\\\"status.workspaceTrust.1680547484976\\\",\\\"status.workspaceTrust.1680547513857\\\",\\\"status.workspaceTrust.1680547521981\\\",\\\"status.workspaceTrust.1680550203944\\\",\\\"status.workspaceTrust.1680550472408\\\",\\\"status.workspaceTrust.1680551927620\\\",\\\"status.workspaceTrust.1680625021901\\\",\\\"status.workspaceTrust.1680637547390\\\",\\\"status.workspaceTrust.1680726652816\\\",\\\"status.workspaceTrust.1680800411569\\\",\\\"status.workspaceTrust.1680806786619\\\",\\\"status.workspaceTrust.1681150659708\\\",\\\"status.workspaceTrust.5ca99985a721889d665642a2ab002459\\\",\\\"status.workspaceTrust.1681150692914\\\",\\\"status.workspaceTrust.1681339802832\\\",\\\"status.workspaceTrust.1681341045048\\\",\\\"status.workspaceTrust.1681342582301\\\",\\\"status.workspaceTrust.1681343003087\\\",\\\"status.workspaceTrust.1681343106051\\\",\\\"status.workspaceTrust.1681391875671\\\",\\\"status.workspaceTrust.1681392167831\\\",\\\"status.workspaceTrust.1681404770366\\\",\\\"status.workspaceTrust.1681420054583\\\",\\\"status.workspaceTrust.1681482738361\\\",\\\"status.workspaceTrust.1681499006028\\\",\\\"status.workspaceTrust.1681500191427\\\",\\\"status.workspaceTrust.1681585692628\\\",\\\"status.workspaceTrust.1681588420797\\\",\\\"status.workspaceTrust.1681660596857\\\",\\\"status.workspaceTrust.1681672040167\\\",\\\"status.workspaceTrust.1681676060944\\\",\\\"status.workspaceTrust.1681757412979\\\",\\\"status.workspaceTrust.78afc65b2df0f794a5edabb06b40374b\\\",\\\"status.workspaceTrust.1681757431065\\\",\\\"status.workspaceTrust.a313fe7124da9de71378c94714520e29\\\",\\\"status.workspaceTrust.1681761263270\\\",\\\"status.workspaceTrust.1681775924906\\\",\\\"status.workspaceTrust.1681829880589\\\",\\\"status.workspaceTrust.1681847048097\\\",\\\"status.workspaceTrust.1681936061519\\\",\\\"status.workspaceTrust.1682018907715\\\",\\\"status.workspaceTrust.1682358451028\\\",\\\"status.workspaceTrust.1682366332515\\\",\\\"status.workspaceTrust.1682429021224\\\",\\\"status.workspaceTrust.684375d326fa48affdfd83177185c9eb\\\",\\\"status.workspaceTrust.1682429416987\\\",\\\"status.workspaceTrust.1682435400714\\\",\\\"status.workspaceTrust.1682464647232\\\",\\\"status.workspaceTrust.1682514008086\\\",\\\"status.workspaceTrust.1682620877777\\\",\\\"status.workspaceTrust.1682793895915\\\",\\\"status.workspaceTrust.b03300bca7469a051075d194bba1b28e\\\",\\\"status.workspaceTrust.1682799220347\\\",\\\"status.workspaceTrust.1683035626483\\\",\\\"status.workspaceTrust.1683067359178\\\",\\\"status.workspaceTrust.1683121473505\\\",\\\"status.workspaceTrust.1683122528031\\\",\\\"status.workspaceTrust.1683133710621\\\",\\\"status.workspaceTrust.24c03cc0d612c49fb2b37ae4c7c99a49\\\",\\\"status.workspaceTrust.1683136100422\\\",\\\"status.workspaceTrust.1683144822310\\\",\\\"status.workspaceTrust.1683144865827\\\",\\\"status.workspaceTrust.1683147606993\\\",\\\"status.workspaceTrust.1683214916309\\\",\\\"status.workspaceTrust.1683226187151\\\",\\\"status.workspaceTrust.1683228218124\\\",\\\"status.workspaceTrust.1683230007654\\\",\\\"status.workspaceTrust.1683307796484\\\",\\\"status.workspaceTrust.1683376991891\\\",\\\"status.workspaceTrust.1683384140408\\\",\\\"status.workspaceTrust.e02fb178754633b74f6e2b521c43511d\\\",\\\"status.workspaceTrust.a0acf8df4d9dc3b265b1ba4f7efbe2e6\\\",\\\"status.workspaceTrust.1683550838108\\\",\\\"status.workspaceTrust.1683560228403\\\",\\\"status.workspaceTrust.1683566527685\\\",\\\"rust-lang.rust-analyzer\\\",\\\"status.workspaceTrust.1683567265938\\\",\\\"status.workspaceTrust.1683575920581\\\",\\\"status.workspaceTrust.1683575928112\\\",\\\"status.workspaceTrust.1683636322167\\\",\\\"status.workspaceTrust.1683641526516\\\",\\\"status.workspaceTrust.1683644584288\\\",\\\"status.workspaceTrust.1683654374201\\\",\\\"status.workspaceTrust.1683662247094\\\",\\\"status.workspaceTrust.1683676917857\\\",\\\"status.workspaceTrust.1683677188615\\\",\\\"status.workspaceTrust.1683681884551\\\",\\\"status.workspaceTrust.1683682262482\\\",\\\"status.workspaceTrust.1683723817648\\\",\\\"status.workspaceTrust.1683731309327\\\",\\\"status.workspaceTrust.1683732404247\\\",\\\"status.workspaceTrust.1683738988067\\\",\\\"status.workspaceTrust.1683739782569\\\",\\\"status.workspaceTrust.1683748211207\\\",\\\"status.workspaceTrust.1683748493280\\\",\\\"status.workspaceTrust.1683763380446\\\",\\\"status.workspaceTrust.1683764300988\\\",\\\"status.workspaceTrust.1683814819882\\\",\\\"status.workspaceTrust.1683835226117\\\",\\\"status.workspaceTrust.1683847279454\\\",\\\"status.workspaceTrust.1683919533101\\\",\\\"status.workspaceTrust.1683981704366\\\",\\\"status.workspaceTrust.1684165777332\\\",\\\"status.workspaceTrust.1684180350511\\\",\\\"status.workspaceTrust.1684180360652\\\",\\\"status.workspaceTrust.1684256674666\\\",\\\"status.workspaceTrust.1684270820803\\\",\\\"status.workspaceTrust.1684286014331\\\",\\\"status.workspaceTrust.1684336730881\\\",\\\"status.workspaceTrust.1684346918588\\\",\\\"status.workspaceTrust.475bf5b42c34c0c1f5c7c4fa71e47094\\\",\\\"status.workspaceTrust.1684353033051\\\",\\\"status.workspaceTrust.1684415301258\\\",\\\"status.workspaceTrust.1684422619585\\\",\\\"status.workspaceTrust.1684427956832\\\",\\\"status.workspaceTrust.1684441359999\\\",\\\"status.workspaceTrust.1684589216725\\\",\\\"status.workspaceTrust.1684760570871\\\",\\\"status.workspaceTrust.1684760610927\\\",\\\"status.workspaceTrust.94f7568e0af971da1093f55b84ff835e\\\",\\\"status.workspaceTrust.1684763205002\\\",\\\"status.workspaceTrust.1684765219635\\\",\\\"status.workspaceTrust.1684768459436\\\",\\\"status.workspaceTrust.1684774930422\\\",\\\"status.workspaceTrust.1684786045744\\\",\\\"status.workspaceTrust.1684846324513\\\",\\\"status.workspaceTrust.1684850929463\\\",\\\"status.workspaceTrust.1684851138348\\\",\\\"status.workspaceTrust.1684861735869\\\",\\\"status.workspaceTrust.1684875620129\\\",\\\"status.workspaceTrust.1685113947313\\\",\\\"status.workspaceTrust.1685114544884\\\",\\\"status.workspaceTrust.1685132243432\\\",\\\"status.workspaceTrust.1685198706477\\\",\\\"status.workspaceTrust.1685199542458\\\",\\\"status.workspaceTrust.1685285286611\\\",\\\"status.workspaceTrust.1685285455337\\\",\\\"status.workspaceTrust.1685387067041\\\",\\\"status.workspaceTrust.1685408334833\\\",\\\"status.workspaceTrust.1685409942778\\\",\\\"status.workspaceTrust.1685411668020\\\",\\\"status.workspaceTrust.1685455807647\\\",\\\"status.workspaceTrust.1685460619453\\\",\\\"status.workspaceTrust.1685475465191\\\",\\\"status.workspaceTrust.1685476165464\\\",\\\"status.workspaceTrust.1685483146545\\\",\\\"status.workspaceTrust.1685483156854\\\",\\\"status.workspaceTrust.1685537263149\\\",\\\"status.workspaceTrust.1685552542174\\\",\\\"status.workspaceTrust.1685562642192\\\",\\\"status.workspaceTrust.1685577445904\\\",\\\"status.workspaceTrust.1685627174409\\\",\\\"status.workspaceTrust.1685642818882\\\",\\\"status.workspaceTrust.1685709528018\\\",\\\"status.workspaceTrust.1685725697835\\\",\\\"status.workspaceTrust.1685891624650\\\",\\\"status.workspaceTrust.1685903145148\\\",\\\"status.workspaceTrust.1685913775505\\\",\\\"status.workspaceTrust.1685974836133\\\",\\\"status.workspaceTrust.1685984847831\\\",\\\"status.workspaceTrust.1685986592774\\\",\\\"status.workspaceTrust.1685991791369\\\",\\\"status.workspaceTrust.1686009515928\\\",\\\"status.workspaceTrust.1686014624310\\\",\\\"status.workspaceTrust.1686054882513\\\",\\\"status.workspaceTrust.1686061270211\\\",\\\"status.workspaceTrust.1686073197830\\\",\\\"status.workspaceTrust.1686081826821\\\",\\\"status.workspaceTrust.1686143760378\\\",\\\"status.workspaceTrust.1686154513259\\\",\\\"status.workspaceTrust.1686161654742\\\",\\\"status.workspaceTrust.1686612678557\\\",\\\"status.workspaceTrust.1686675475482\\\",\\\"status.workspaceTrust.1686675529668\\\",\\\"status.workspaceTrust.1686689975804\\\",\\\"status.workspaceTrust.1686754578623\\\",\\\"status.workspaceTrust.1686839873966\\\",\\\"status.workspaceTrust.1686856667639\\\",\\\"status.workspaceTrust.1686859040037\\\",\\\"status.workspaceTrust.1686859565697\\\",\\\"status.workspaceTrust.1686859969023\\\",\\\"status.workspaceTrust.1686860110854\\\",\\\"status.workspaceTrust.1686860367600\\\",\\\"status.workspaceTrust.1686925260157\\\",\\\"status.workspaceTrust.1686934852792\\\",\\\"status.workspaceTrust.1687001006672\\\",\\\"status.workspaceTrust.1687094706293\\\",\\\"status.workspaceTrust.1687104381673\\\",\\\"status.workspaceTrust.1687108104881\\\",\\\"status.workspaceTrust.1687178618909\\\",\\\"status.workspaceTrust.1687179862294\\\",\\\"status.workspaceTrust.1687179972762\\\",\\\"status.workspaceTrust.1687189739035\\\",\\\"status.workspaceTrust.1687199144323\\\",\\\"status.workspaceTrust.1687202440939\\\",\\\"status.workspaceTrust.1687273393633\\\",\\\"status.workspaceTrust.1687282940121\\\",\\\"status.workspaceTrust.1687291941643\\\",\\\"status.workspaceTrust.1687355833416\\\",\\\"status.workspaceTrust.1687366909544\\\",\\\"status.workspaceTrust.1687384681399\\\",\\\"status.workspaceTrust.1687434914401\\\",\\\"status.workspaceTrust.1687436692476\\\",\\\"status.workspaceTrust.1687443396395\\\",\\\"status.workspaceTrust.1687446068218\\\",\\\"status.workspaceTrust.1687448906639\\\",\\\"status.workspaceTrust.1687457603380\\\",\\\"status.workspaceTrust.1687473011242\\\",\\\"status.workspaceTrust.1687484758317\\\",\\\"status.workspaceTrust.1687549795921\\\",\\\"status.workspaceTrust.1687612390338\\\",\\\"status.workspaceTrust.1687616667443\\\",\\\"status.workspaceTrust.1687618437627\\\",\\\"status.workspaceTrust.1687623667808\\\",\\\"status.workspaceTrust.1687634282681\\\",\\\"status.workspaceTrust.1687697937072\\\",\\\"status.workspaceTrust.1687732603087\\\",\\\"status.workspaceTrust.1687740693007\\\",\\\"status.workspaceTrust.1687783051537\\\",\\\"status.workspaceTrust.1687790646269\\\",\\\"status.workspaceTrust.1687799100258\\\",\\\"status.workspaceTrust.1687803448820\\\",\\\"status.workspaceTrust.1687829634242\\\",\\\"status.workspaceTrust.1687865507180\\\",\\\"status.workspaceTrust.1687875957199\\\",\\\"status.workspaceTrust.1687887409376\\\",\\\"status.workspaceTrust.1687889751076\\\",\\\"status.workspaceTrust.1687962501817\\\",\\\"status.workspaceTrust.1687968381370\\\",\\\"status.workspaceTrust.1687984249107\\\",\\\"status.workspaceTrust.1687986258959\\\",\\\"status.workspaceTrust.1688065745522\\\",\\\"status.workspaceTrust.1688068506943\\\",\\\"status.workspaceTrust.1688085526417\\\",\\\"status.workspaceTrust.1688094184774\\\",\\\"status.workspaceTrust.1688094835315\\\",\\\"status.workspaceTrust.1688133547659\\\",\\\"status.workspaceTrust.1688135647123\\\",\\\"status.workspaceTrust.1688140818398\\\",\\\"status.workspaceTrust.1688147343925\\\",\\\"status.workspaceTrust.1688228118459\\\",\\\"status.workspaceTrust.1688237371008\\\",\\\"status.workspaceTrust.1688310068825\\\",\\\"status.workspaceTrust.1688313271002\\\",\\\"status.workspaceTrust.1688337935646\\\",\\\"status.workspaceTrust.1688508784417\\\",\\\"status.workspaceTrust.1688559878702\\\",\\\"status.workspaceTrust.1688562894846\\\",\\\"status.workspaceTrust.1688562903249\\\",\\\"status.workspaceTrust.1688586309865\\\",\\\"status.workspaceTrust.1688651650132\\\",\\\"status.workspaceTrust.1688653484456\\\",\\\"status.workspaceTrust.1688666490253\\\",\\\"status.workspaceTrust.1688667402097\\\",\\\"status.workspaceTrust.1688668000273\\\",\\\"status.workspaceTrust.1688672019372\\\",\\\"status.workspaceTrust.1688676060666\\\",\\\"status.workspaceTrust.1688750499937\\\",\\\"status.workspaceTrust.1688760188088\\\",\\\"status.workspaceTrust.1688824400325\\\",\\\"status.workspaceTrust.1688833458680\\\",\\\"status.workspaceTrust.1688835702573\\\",\\\"status.workspaceTrust.1688842064430\\\",\\\"status.workspaceTrust.1688854671002\\\",\\\"status.workspaceTrust.1688913514141\\\",\\\"status.workspaceTrust.1688941276226\\\",\\\"status.workspaceTrust.1688994043216\\\",\\\"status.workspaceTrust.1689011605673\\\",\\\"status.workspaceTrust.1689019704993\\\",\\\"status.workspaceTrust.1689028599144\\\",\\\"status.workspaceTrust.1689034896416\\\",\\\"status.workspaceTrust.1689095107302\\\",\\\"status.workspaceTrust.1689104131772\\\",\\\"status.workspaceTrust.1689106091403\\\",\\\"status.workspaceTrust.1689108542390\\\",\\\"status.workspaceTrust.1689109306211\\\",\\\"status.workspaceTrust.1689120643572\\\",\\\"status.workspaceTrust.1689132331492\\\",\\\"status.workspaceTrust.1689258677464\\\",\\\"status.workspaceTrust.1689260610191\\\",\\\"status.workspaceTrust.1689272122157\\\",\\\"status.workspaceTrust.1689273054321\\\",\\\"status.workspaceTrust.1689360079542\\\",\\\"status.workspaceTrust.1689360503539\\\",\\\"status.workspaceTrust.1689361314570\\\",\\\"status.workspaceTrust.1689598062262\\\",\\\"status.workspaceTrust.1689614833195\\\",\\\"status.workspaceTrust.1689620608406\\\",\\\"status.workspaceTrust.1689685267897\\\",\\\"status.workspaceTrust.1689685743851\\\",\\\"status.workspaceTrust.1689692831541\\\",\\\"status.workspaceTrust.1689692871110\\\",\\\"status.workspaceTrust.1689696433242\\\",\\\"status.workspaceTrust.1689706464765\\\",\\\"status.workspaceTrust.1689706533799\\\",\\\"status.workspaceTrust.1689706799175\\\",\\\"status.workspaceTrust.1689710388843\\\",\\\"status.workspaceTrust.1689718876238\\\",\\\"status.workspaceTrust.1689877676093\\\",\\\"status.workspaceTrust.1689877686767\\\",\\\"status.workspaceTrust.1690042048153\\\",\\\"status.workspaceTrust.1690054778832\\\",\\\"status.workspaceTrust.1690118019190\\\",\\\"status.workspaceTrust.1690139322786\\\",\\\"status.workspaceTrust.1690208242298\\\",\\\"status.workspaceTrust.1690229658419\\\",\\\"status.workspaceTrust.1690290207951\\\",\\\"status.workspaceTrust.1690293706346\\\",\\\"status.workspaceTrust.1690312416614\\\",\\\"status.workspaceTrust.1690313045681\\\",\\\"status.workspaceTrust.1690318677601\\\",\\\"status.workspaceTrust.1690323708791\\\",\\\"status.workspaceTrust.1690325288829\\\",\\\"status.workspaceTrust.1690328959822\\\",\\\"status.workspaceTrust.1690372268365\\\",\\\"status.workspaceTrust.1690374105519\\\",\\\"status.workspaceTrust.1690377495138\\\",\\\"status.workspaceTrust.1690390886252\\\",\\\"status.workspaceTrust.1690392839417\\\",\\\"status.workspaceTrust.1690398194661\\\",\\\"status.workspaceTrust.1690403088900\\\",\\\"status.workspaceTrust.1690428063720\\\",\\\"status.workspaceTrust.1690458703765\\\",\\\"status.workspaceTrust.1690461261033\\\",\\\"status.workspaceTrust.1690463292971\\\",\\\"status.workspaceTrust.1690469915631\\\",\\\"status.workspaceTrust.1690471857565\\\",\\\"status.workspaceTrust.1690473124569\\\",\\\"status.workspaceTrust.1690481391876\\\",\\\"status.workspaceTrust.1690481593235\\\",\\\"status.workspaceTrust.1690491942953\\\",\\\"status.workspaceTrust.1690573635045\\\",\\\"status.workspaceTrust.1690575662413\\\",\\\"status.workspaceTrust.1690576286501\\\",\\\"status.workspaceTrust.1690676904007\\\",\\\"status.workspaceTrust.1690677842995\\\",\\\"status.workspaceTrust.1690677860324\\\",\\\"status.workspaceTrust.ea038f08b6fe66af36b22c1da3ea0cfc\\\",\\\"status.workspaceTrust.1690828671588\\\",\\\"status.workspaceTrust.50655b663b419f93087e551f6f953ea2\\\",\\\"status.workspaceTrust.f226bb8ec6cfe4668513fff3e24a46e9\\\",\\\"status.workspaceTrust.1692106718569\\\",\\\"status.workspaceTrust.1692196184644\\\",\\\"status.workspaceTrust.a4a534ba60e700ff7af8e09b57f6a07f\\\",\\\"status.workspaceTrust.c4a54c1c0ac317155ba992b8c898a62a\\\",\\\"status.workspaceTrust.1693318359157\\\",\\\"status.workspaceTrust.1694731176616\\\",\\\"status.workspaceTrust.1695219326622\\\",\\\"status.workspaceTrust.1695219466330\\\"]\",\"workbench.welcomePage.walkthroughMetadata\":\"[[\\\"ms-python.python#pythonWelcome\\\",{\\\"firstSeen\\\":1628534888657,\\\"stepIDs\\\":[\\\"python.installPythonWin\\\",\\\"python.installPythonMac\\\",\\\"python.installPythonLinux\\\",\\\"python.selectInterpreter\\\",\\\"python.runAndDebug\\\",\\\"python.runAndDebugMacOS\\\",\\\"python.learnMore\\\"],\\\"manaullyOpened\\\":false}],[\\\"ms-python.python#pythonDataScienceWelcome\\\",{\\\"firstSeen\\\":1628534888657,\\\"stepIDs\\\":[\\\"python.installPython\\\",\\\"python.openFolderMac\\\",\\\"python.openFolder\\\",\\\"python.createNewNotebook\\\",\\\"python.openInteractiveWindow\\\",\\\"python.dataScienceLearnMore\\\"],\\\"manaullyOpened\\\":false}],[\\\"VSpaceCode.vspacecode#vspacecode.welcome\\\",{\\\"firstSeen\\\":1685198813006,\\\"stepIDs\\\":[\\\"vspacecode.welcome.configuration\\\",\\\"vspacecode.welcome.tryout\\\",\\\"vspacecode.welcome.customization\\\"],\\\"manaullyOpened\\\":false}],[\\\"ms-azuretools.vscode-docker#dockerStart\\\",{\\\"firstSeen\\\":1685198848042,\\\"stepIDs\\\":[\\\"openFolder\\\",\\\"openFolderMac\\\",\\\"scaffold\\\",\\\"buildImage\\\",\\\"runContainer\\\",\\\"dockerExplorer\\\",\\\"pushImage\\\",\\\"azDeploy\\\",\\\"learn\\\"],\\\"manaullyOpened\\\":false}],[\\\"vscjava.vscode-java-pack#javaWelcome\\\",{\\\"firstSeen\\\":1685198854430,\\\"stepIDs\\\":[\\\"java.runtime\\\",\\\"java.showProjectExplorer\\\",\\\"java.showProjectExplorer.inactive\\\",\\\"java.debugAndTest\\\",\\\"java.extensions\\\",\\\"java.more\\\",\\\"java.moreForMac\\\"],\\\"manaullyOpened\\\":false}],[\\\"GitHub.copilot#copilotWelcome\\\",{\\\"firstSeen\\\":1690677684663,\\\"stepIDs\\\":[\\\"copilot.signin\\\",\\\"copilot.firstsuggest\\\",\\\"copilot.realfiles.openrecent\\\",\\\"copilot.realfiles.quickopen\\\",\\\"copilot.iterate\\\",\\\"copilot.creativity\\\"],\\\"manaullyOpened\\\":false}],[\\\"ms-python.python#pythonWelcome2\\\",{\\\"firstSeen\\\":1690677684663,\\\"stepIDs\\\":[\\\"python.createPythonFolder\\\",\\\"python.createPythonFile\\\",\\\"python.installPythonWin8\\\",\\\"python.installPythonMac\\\",\\\"python.installPythonLinux\\\",\\\"python.createEnvironment2\\\",\\\"python.runAndDebug\\\",\\\"python.learnMoreWithDS2\\\"],\\\"manaullyOpened\\\":false}],[\\\"ms-toolsai.jupyter#jupyterWelcome\\\",{\\\"firstSeen\\\":1690677684663,\\\"stepIDs\\\":[\\\"ipynb.newUntitledIpynb\\\",\\\"jupyter.selectKernel\\\",\\\"jupyter.exploreAndDebug\\\",\\\"jupyter.dataScienceLearnMore\\\"],\\\"manaullyOpened\\\":false}]]\",\"workbench.view.extension.liveshare.state.hidden\":\"[{\\\"id\\\":\\\"liveshare.session\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"liveshare.contacts\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"liveshare.plannedSessions\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"liveshare.help\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"liveshare.devtools\\\",\\\"isHidden\\\":false}]\",\"github-hgoldstein95\":\"[{\\\"id\\\":\\\"ms-vsliveshare.vsliveshare\\\",\\\"name\\\":\\\"Live Share\\\",\\\"allowed\\\":true},{\\\"id\\\":\\\"github.copilot\\\",\\\"name\\\":\\\"GitHub Copilot\\\",\\\"allowed\\\":true}]\",\"Comments.hidden\":\"[{\\\"id\\\":\\\"workbench.panel.comments\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.latex-workshop-activitybar.state.hidden\":\"[{\\\"id\\\":\\\"latex-workshop-commands\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"latex-workshop-structure\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"latex-workshop-snippet-view\\\",\\\"isHidden\\\":false}]\",\"typescript.1.editedCount\":\"10\",\"typescript.1.editedDate\":\"Tue Dec 06 2022\",\"memento/workbench.editor.keybindings\":\"{\\\"searchHistory\\\":[\\\"@command:agda-mode.load\\\",\\\"@command:extension.coq.interpretToEnd\\\"]}\",\"workbench.view.extension.test.state.hidden\":\"[{\\\"id\\\":\\\"workbench.view.testing\\\",\\\"isHidden\\\":false}]\",\"workbench.panel.alignment\":\"center\",\"javascript.1.editedCount\":\"5\",\"javascript.1.editedDate\":\"Sun Jul 30 2023\",\"expandSuggestionDocs\":\"false\",\"workbench.view.extension.todo-tree-container.state.hidden\":\"[{\\\"id\\\":\\\"todo-tree-view\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.jupyter-variables.state.hidden\":\"[{\\\"id\\\":\\\"jupyterViewVariables\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"cell-tag\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.makefile__viewContainer.state.hidden\":\"[{\\\"id\\\":\\\"makefile.outline\\\",\\\"isHidden\\\":false}]\",\"workbench.view.remote.state.hidden\":\"[{\\\"id\\\":\\\"targetsContainers\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"detailsContainers\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"devVolumes\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"~remote.helpPanel\\\",\\\"isHidden\\\":false}]\",\"~remote.forwardedPortsContainer.hidden\":\"[{\\\"id\\\":\\\"~remote.forwardedPorts\\\",\\\"isHidden\\\":false}]\",\"remote.tunnels.toRestore.attached-container+7b22636f6e7461696e65724e616d65223a222f69736c61227d.398839301\":\"[]\",\"workbench.view.extension.dockerView.state.hidden\":\"[{\\\"id\\\":\\\"dockerContainers\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"dockerImages\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"dockerRegistries\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"dockerNetworks\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"dockerVolumes\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"vscode-docker.views.dockerContexts\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"vscode-docker.views.help\\\",\\\"isHidden\\\":false}]\",\"remote.explorerType\":\"dev-container,attached-container,exec,k8s-container\",\"workbench.view.extension.references-view.state.hidden\":\"[{\\\"id\\\":\\\"references-view.tree\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.ocaml-explorer.state.hidden\":\"[{\\\"id\\\":\\\"ocaml-sandbox\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-switches\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-commands\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"ocaml-help\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.jupyter.state.hidden\":\"[{\\\"id\\\":\\\"cell-tag\\\",\\\"isHidden\\\":false}]\",\"editor.contrib.largeFileOptimizationsWarner\":\"true\",\"tabs-list-width-horizontal\":\"163\",\"snippets.usageTimestamps\":\"[[\\\"snippets/ocaml.json/module\\\",1671377750643],[\\\"snippets/ocaml.json/sig\\\",1672149971403],[\\\"client/snippets/coq.json/Record\\\",1673613819710],[\\\"snippets/ocaml.json/struct\\\",1680033632067],[\\\"client/snippets/coq.json/reflexivity\\\",1683146935344]]\",\"typescript.1.isCandidate\":\"false\",\"typescript.1.skipVersion\":\"1.73.1\",\"workbench.auxiliarybar.pinnedPanels\":\"[]\",\"views.customizations\":\"{\\\"viewContainerLocations\\\":{},\\\"viewLocations\\\":{}}\",\"memento/notebookGettingStarted2\":\"{\\\"hasOpenedNotebook\\\":true}\",\"csharp.1.lastSessionDate\":\"Wed Sep 20 2023\",\"csharp.1.sessionCount\":\"113\",\"themeUpdatedNotificationShown\":\"true\",\"recently.opened\":\"{\\\"entries\\\":[{\\\"folderUri\\\":\\\"vscode-remote://codespaces%2Bhgoldstein95-stunning-rotary-phone-764565w9p6fx6v6/workspaces/icse-2024-jane-street\\\",\\\"label\\\":\\\"/workspaces/icse-2024-jane-street [Codespace hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6]\\\"}]}\",\"workbench.view.extension.github-pull-requests.state.hidden\":\"[{\\\"id\\\":\\\"github:login\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"pr:github\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"issues:github\\\",\\\"isHidden\\\":false}]\",\"workbench.panel.repl.hidden\":\"[{\\\"id\\\":\\\"workbench.panel.repl.view\\\",\\\"isHidden\\\":false}]\",\"workbench.view.extension.github-pull-request.state.hidden\":\"[{\\\"id\\\":\\\"github:createPullRequest\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:compareChanges\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"prStatus:github\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:activePullRequest\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:activePullRequest:welcome\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:createPullRequestWebview\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:compareChangesFiles\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"github:compareChangesCommits\\\",\\\"isHidden\\\":false}]\",\"remote.tunnels.toRestore.codespaces+hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6.-237685813\":\"[{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":38943,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-38943.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-38943.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":45895,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-45895.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-45895.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":35109,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-35109.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-35109.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":33405,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-33405.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-33405.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":37987,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-37987.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-37987.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":45423,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-45423.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-45423.preview.app.github.dev\\\"},\\\"hasRunningProcess\\\":false,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"},{\\\"remoteHost\\\":\\\"127.0.0.1\\\",\\\"remotePort\\\":38279,\\\"closeable\\\":true,\\\"localAddress\\\":\\\"https://hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-38279.preview.app.github.dev/\\\",\\\"protocol\\\":\\\"http\\\",\\\"localUri\\\":{\\\"$mid\\\":1,\\\"path\\\":\\\"/\\\",\\\"scheme\\\":\\\"https\\\",\\\"authority\\\":\\\"hgoldstein95-stunning-rotary-phone-764565w9p6fx6v6-38279.preview.app.github.dev\\\"},\\\"runningProcess\\\":\\\"/vscode/bin/linux-x64/b3e4e68a0bc097f0ae7907b217c1119af9e03435/node\\\\u0000/vscode/bin/linux-x64/b3e4e68a0bc097f0ae7907b217c1119af9e03435/out/bootstrap-fork\\\\u0000--type=extensionHost\\\\u0000--transformURIs\\\\u0000--useHostProxy=false\\\\u0000\\\",\\\"hasRunningProcess\\\":true,\\\"pid\\\":13841,\\\"source\\\":{\\\"source\\\":2,\\\"description\\\":\\\"GitHub Codespaces\\\"},\\\"privacy\\\":\\\"private\\\"}]\",\"workbench.view.sync.state.hidden\":\"[{\\\"id\\\":\\\"workbench.views.sync.conflicts\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.sync.remoteActivity\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.sync.machines\\\",\\\"isHidden\\\":false},{\\\"id\\\":\\\"workbench.views.sync.localActivity\\\",\\\"isHidden\\\":true},{\\\"id\\\":\\\"workbench.views.sync.troubleshoot\\\",\\\"isHidden\\\":true}]\",\"workbench.view.extension.coq-performance-report.state.hidden\":\"[{\\\"id\\\":\\\"coqPerfView\\\",\\\"isHidden\\\":false}]\",\"userDataProfiles.state.hidden\":\"[{\\\"id\\\":\\\"workbench.views.profiles.export.preview\\\",\\\"isHidden\\\":false}]\"}}"}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment