/rba.tool.editor.endpoint/lib/windows/z3/python/
../
example.py
z3