Deleting /coq/417670
Pass