Delete #set00:1.rkt#1#