最重要の結果:"Coq"
64
3
4
23
1
25
47
1
1
6
8
9
46
24
2
24
1
22
4
10
6
1
2
3
2
9
1
15
25
11
23
47
31
1
12
7
4
1
11
5
2
16
3
12
16
