最重要の結果:"Coq"
1
12
3
6
2
2
35
2
1
5
1
2
1
59
2
1
1
1
1
1
32
1
3
1
14
1
18
13
21
3
4
1
4
33
1
7
