Coq 54 sec

loading