Deleting /coq/417978
Pass