Rename Ex1.rkt to 1.rkt