最重要の結果:"Coq"
1
3
2
1
2
5
5
1
4
10
7
6
1
2
1
4
62
2
3
1
4
1
3
5
2
3
2
2
2
1
3
2
3
2
10
4
6
49
7
