Open Z3X Shell and navigate to the tab.