最重要の結果:"Coq"
5
1
4
3
2
6
10
1
4
6
1
1
41
4
2
6
1
3
2
6
1
5
2
1
3
2
4
2
1
6
6
10
5
12
3
2
1
2
1
1
2
2
1
9
1
1
3
12
