Rename 1-012.scm to 012.scm