coqbench-results17083/Orsay/Maths