added proof bit
-rw-r--r-- 24 .gitignore
drwxr-xr-x - mbt_exercises