/rba.tool.core/lib32/z3/python/
../
example.py
z3