最重要の結果:"Coq"
4
14
3
5
4
4
3
5
3
3
8
2
1
12
11
1
8
18
2
5
6
19
16
6
12
2
1
1
2
6
23
1
6
21
7
1
1
2
10
15
7
3
12
9
