Delete /coq/417518
File only
Pass