Rename 1.rkt to set00/1.rkt