Update and rename 1-25.rkt to 25.scm