最重要の結果:"Coq"
18
1
5
3
2
6
6
6
6
4
2
12
3
8
12
7
8
10
12
3
7
5
10
1
2
1
1
5
1
4
6
1
1
1
1
3
2
1
1
8
