最重要の結果:"Coq"
10
2
2
1
7
20
3
9
7
9
15
6
1
1
14
6
5
2
49
1
34
2
11
2
1
2
6
5
2
1
18
3
6
2
1
1
1
2
