{"version":1,"pages":[{"id":"Df75CmMVHPRnZk8deXgU","title":"Simbolik","pathname":"/simbolik","siteSpaceId":"sitesp_1qgqL","description":"A Symbolic Debugger for Solidity","breadcrumbs":[{"label":"Overview"}]},{"id":"30kWpGrhbVMfeDV0djnK","title":"Getting started","pathname":"/simbolik/overview/getting-started","siteSpaceId":"sitesp_1qgqL","breadcrumbs":[{"label":"Overview"}]},{"id":"N7aBGaGGwe1Zfkc9bxv7","title":"Starting the Debugger","pathname":"/simbolik/overview/starting-the-debugger","siteSpaceId":"sitesp_1qgqL","breadcrumbs":[{"label":"Overview"}]},{"id":"EYp8YkW5YaDSoZYE3SRz","title":"Compilation","pathname":"/simbolik/overview/compilation","siteSpaceId":"sitesp_1qgqL","description":"","breadcrumbs":[{"label":"Overview"}]},{"id":"QtmArsRrn2BmYXOmY6Tr","title":"Troubleshooting","pathname":"/simbolik/overview/troubleshooting","siteSpaceId":"sitesp_1qgqL","breadcrumbs":[{"label":"Overview"}]}]}