Coq 95 sec

loading