最重要の結果:"Coq"
4
13
30
130
12
4
1
9
7
2
6
6
3
17
2
3
2
7
7
2
4
3
3
2
2
1
28
7
4
5
3
5
28
10
2
6
50
1
1
21
