Rename 6.rkt to set00/6.rkt