最重要の結果:"Coq"
7
7
8
11
1
10
5
31
1
3
8
19
4
7
4
8
10
1
28
4
2
4
28
6
5
1
69
2
46
4
30
2
2
3
5
4
6
3
1
3
1
4
7
6
1
6
3
1
1
5
42
