Rename 8.rkt to set00/8.rkt