modify .gitignore
prime-related and 2-sat