最重要の結果:"Coq"
4
6
46
4
1
5
1
6
11
11
3
15
4
25
3
4
7
1
32
3
1
25
5
4
8
9
2
2
42
2
2
5
