最重要の結果:"Coq"
3
2
1
1
6
5
1
8
1
60
1
1
160
2
8
6
3
3
4
1
3
60
57
1
2
1
49
3
6
4
1
2
1
3
5
3
