最重要の結果:"Coq"
14
6
1
8
3
8
7
4
3
7
12
28
4
4
5
17
9
6
26
1
2
3
6
1
1
16
3
6
3
28
6
4
7
7
16
4
1
5
7
2
41
3
1
2
10
23
3
1
43
12
