最重要の結果:"Coq"
4
233
6
2
9
10
14
2
41
1
1
1
1
1
26
3
10
9
1
2
13
18
4
8
1
12
6
1
2
20
15
14
3
10
12
3
1
5
32
2
10
