最重要の結果:"Coq"
12
5
43
1
6
1
4
8
5
1
2
1
4
41
2
6
1
1
12
2
14
12
4
2
5
32
1
9
3
1
1
3
5
4
1
9
9
1
2
2
5
1
