Update prac7checkpoints.txt