Coq 87 sec

loading