Coq
#1 277
#2 185
#3 71
#4 63
#5 54
#6 54
#7 33
#8 31
#9 29
#10 27
#11 22
#12 15
#13 15
#14 13
#15 11
#16 10
#17 10
#18 7
#19 6
#20 6
#21 5
#22 5
#23 5
#24 3
#25 3