Coq
#1 277
#2 54
#3 54
#4 33
#5 27
#6 15
#7 11
#8 6
#9 5
#10 5
#11 3
#12 3
#13 3
#14 2
#15 2
#16 1
#17 1
#18 1
#19 1
#20 1
#21 1