最重要の結果:"Coq"
5
3
5
5
6
6
2
12
3
6
5
2
1
11
2
6
6
7
8
7
22
1
2
21
1
1
16
10
2
6
8
8
70
2
17
1
8
1
1
12
