Delete a1.rkt