Update provA.txt