最重要の結果:"Coq"
25
2
8
3
24
1
1
2
2
12
2
5
21
1
1
2
12
2
4
9
2
1
3
3
23
24
25
5
1
127
3
10
2
4
11
1
