new file:   ex5.25.nb
renamed:    5.4.8.nb -> pr5.4.8.nb