find-menhir.sh 850 Bytes