Agda
#1 68
#2 40
#3 11
#4 11
#5 9
#6 9
#7 4
#8 4
#9 4
#10 4
#11 3
#12 3
#13 2
#14 2
#15 1
#16 1
#17 1
#18 1
#19 1
#20 1
#21 1