Agda
#26 55
#27 55
#28 54
#29 52
#30 51
#31 48
#32 47
#33 47
#34 46
#35 46
#36 43
#37 42
#38 40
#39 39
#40 39
#41 36
#42 35
#43 32
#44 32
#45 31
#46 29
#47 29
#48 28
#49 27
#50 26
...