最重要の結果:"Coq"
10
6
5
8
43
1
5
3
4
3
4
1
3
4
1
1
1
1
3
1
7
2
1
15
5
4
3
6
1
5
5
1
26
3
13
9
2
1
3
5
3
5
5
1
162
