{"library":"sphinx-rtd-theme","imports":["html_theme = \"sphinx_rtd_theme\""]}