Coq 20 sec

loading