Delete #set00:2.rkt#1#