最重要の結果:"Coq"
6
1
6
2
6
47
3
4
3
2
4
1
1
7
3
2
4
2
50
1
1
1
1
2
59
2
10
7
1
13
3
7
2
1
1
2
1
6
6
10
8
3
8
1
6
