最重要の結果:"Coq"
8
1
7
1
30
1
2
1
1
1
28
1
6
3
1
78
1
2
5
1
2
2
15
1
3
1
8
3
1
1
1
1
3
2
29
30
7
8
3
4
5
1
5
17
2
8
25
