Agda
#51 26
#52 25
#53 25
#54 24
#55 24
#56 23
#57 22
#58 22
#59 22
#60 21
#61 21
#62 21
#63 21
#64 21
#65 20
#66 20
#67 19
#68 19
#69 18
#70 17
#71 16
#72 16
#73 16
#74 16
#75 15
...