最重要の結果:"Coq"
2
4
7
2
5
15
2
11
10
5
1
2
1
3
1
25
1
4
4
5
5
9
6
2
1
1
3
1
3
4
1
9
3
6
2
2
28
9
5
