最重要の結果:"Coq"
4
23
2
50
1
5
3
11
2
4
5
1
2
15
1
36
68
1
1
5
7
1
1
5
126
20
4
6
5
14
100
5
20
1
3
3
1
5
7
3
5
11
3
