最重要の結果:"Coq"
4
2
2
3
6
1
9
14
3
4
2
2
100
42
20
12
2
6
14
7
5
8
5
7
4
3
52
3
2
6
1
3
5
3
5
9
5
1
2
1
5
1
8
1
1
6
