Coq
#76 29
#77 29
#78 28
#79 28
#80 27
#81 27
#82 27
#83 25
#84 25
#85 25
#86 24
#87 23
#88 23
#89 22
#90 22
#91 22
#92 22
#93 21
#94 21
#95 21
#96 20
#97 20
#98 20
#99 20
#100 20
...