large   ICON    ide/coq.ico