Delete /coq/417508
File only
Pass