Delete set00:9.rkt