最重要の結果:"Coq"
1
1
1
10
4
4
6
3
1
2
1
1
1
11
1
8
1
6
8
34
11
14
9
6
66
4
1
2
3
12
6
6
3
5
9
9
3
4
5
25
5
7
10
