Coq
#51 43
#52 43
#53 43
#54 41
#55 40
#56 38
#57 38
#58 38
#59 37
#60 37
#61 36
#62 36
#63 36
#64 35
#65 35
#66 35
#67 34
#68 34
#69 33
#70 33
#71 32
#72 32
#73 31
#74 31
#75 30
...