最重要の結果:"Coq"
9
1
7
4
4
1
2
20
5
10
17
50
4
61
5
2
40
4
1
2
52
2
9
4
4
6
3
4
4
48
4
51
2
3
6
30
3
3
2
1
41
6
8
6
4
3
5
4
6
