Update prac4checkpoints.txt