最重要の結果:"Coq"
2
50
8
7
5
5
7
51
27
9
21
8
1
25
1
1
2
8
6
6
6
7
7
7
7
8
15
1
11
6
9
10
65
6
7
1
10
43
28
1
10
5
1
1
