Rename 7.rkt to set00/7.rkt