最重要の結果:"Coq"
1
5
2
4
4
42
3
4
12
46
1
5
6
15
6
5
4
4
2
1
1
4
6
13
3
3
4
5
5
1
26
2
7
3
11
6
3
1
6
4
3
4
24
3
