Deleting /coq/418570
Pass
File only