large   ICON    ide/coqide/coq.ico