Agda
#1 147
#2 131
#3 105
#4 87
#5 86
#6 47
#7 27
#8 25
#9 25
#10 24
#11 22
#12 14
#13 10
#14 10
#15 9
#16 8
#17 8
#18 7
#19 6
#20 6
#21 6
#22 4
#23 4
#24 4
#25 4