Update prac9checkpoints.txt