Coq 31 sec

loading