Coq
#1 41
#2 37
#3 22
#4 19
#5 16
#6 14
#7 12
#8 11
#9 10
#10 8
#11 7
#12 5
#13 4
#14 4
#15 4
#16 4
#17 3
#18 2
#19 2
#20 2
#21 2
#22 1
#23 1
#24 1
#25 1