Update prac3checkpoints.txt