ci-coq.sh 70 Bytes