最重要の結果:"Coq"
6
3
19
5
20
3
5
1
14
2
1
2
1
1
2
1
1
1
10
3
8
1
4
5
2
39
10
4
1
8
5
13
5
2
9
1
2
