Coq 10 sec

loading