Coq
#26 98
#27 91
#28 86
#29 80
#30 77
#31 71
#32 66
#33 63
#34 60
#35 58
#36 58
#37 57
#38 55
#39 55
#40 54
#41 54
#42 53
#43 50
#44 50
#45 49
#46 49
#47 47
#48 45
#49 44
#50 43
...