Update prac6checkpoints.txt