最重要の結果:"Coq"
16
17
13
3
5
6
1
1
16
15
15
2
2
3
5
1
4
2
6
10
9
3
7
6
6
1
5
21
5
7
1
6
7
5
47
8
8
1
1
8
1
1
3
4
1
1
3
7
