Rename 5.rkt to set00/5.rkt