最重要の結果:"Coq"
15
4
5
6
1
99
1
1
2
5
47
18
7
1
7
1
5
1
5
1
12
3
6
1
6
1
20
5
1
3
3
1
8
2
7
35
1
36
4
1
3
3
4
14
