最重要の結果:"Coq"
4
31
1
5
1
2
3
4
7
2
1
38
2
2
20
1
2
1
1
17
3
2
4
27
10
1
1
5
1
1
1
7
5
