Agda
#1 673
#2 331
#3 307
#4 239
#5 147
#6 60
#7 54
#8 32
#9 21
#10 20
#11 20
#12 16
#13 7
#14 6
#15 5
#16 4
#17 3
#18 2
#19 2
#20 1
#21 1
#22 1
#23 1
#24 1
#25 1