Coq
#1 914
#2 908
#3 767
#4 480
#5 450
#6 336
#7 316
#8 285
#9 277
#10 236
#11 231
#12 193
#13 190
#14 185
#15 174
#16 142
#17 124
#18 117
#19 115
#20 110
#21 109
#22 109
#23 106
#24 104
#25 102
...