Rename 4.rkt to set00/4.rkt