Rename 9.rkt to set00/9.rkt