python3 -c "import sys;print(sys.version)"; python3 -c "import numpy;print(numpy.__version__)"; python3 -c "import scipy;print(scipy.__version__)"; python3 -c "import z3;print('z3')"