最重要の結果:"Coq"
8
6
4
14
2
1
10
5
1
9
1
1
20
5
7
8
18
7
1
4
9
30
53
1
6
1
13
3
3
2
5
1
3
2
17
7
