最重要の結果:"Coq"
23
25
3
4
3
3
8
1
3
1
11
5
5
2
1
2
54
6
87
3
1
2
3
3
12
1
18
7
1
1
5
3
6
1
2
8
1
3
9
