Coq 48 sec

loading