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