最重要の結果:"Coq"
1
4
5
3
2
6
6
3
1
10
4
2
5
3
1
5
5
6
4
1
1
1
7
2
11
1
1
1
4
3
14
8
30
59
11
3
2
3
3
1
1
11
3
7
1
1
7
5
