最重要の結果:"Coq"
34
1
1
1
9
1
3
4
1
13
2
40
1
5
1
8
6
8
3
1
3
1
10
3
57
11
6
6
4
3
4
3
1
25
3
2
9
