/rba.tool.editor.endpoint/lib/linux/z3/bin/python/