Rename 2.rkt to set00/2.rkt