Delete set00:1.rkt~