最重要の結果:"Coq"
1
1
1
9
6
6
27
20
2
7
1
7
5
1
10
4
80
3
3
1
4
3
7
6
6
3
2
11
47
3
19
3
11
1
20
6
8
6
2
4
16
4
13
1
