Delete /coq/417642
File only
Pass