Update proba1.txt