Delete set00:3.rkt