for saving 7W_linux_formal.py