mysympy_ver