Coq 26 sec

loading