最重要の結果:"Coq"
9
1
2
14
3
1
1
9
1
10
4
7
2
2
6
4
4
3
1
5
2
4
15
30
3
17
2
4
6
5
4
1
1
5
2
4
7
1
91
2
5
10
2
