最重要の結果:"Coq"
1
2
7
1
1
6
7
3
1
6
92
3
2
1
3
1
1
1
2
7
14
10
3
1
2
1
1
6
8
11
4
1
1
1
4
7
10
3
2
3
10
6
3
42
11
3
4
3
1
12
