Delete set00:5.rkt