Rename a9-3.rkt to a9-03.rkt