Rename 10.rkt to set00/10.rkt