Rename 3.rkt to set00/3.rkt