最重要の結果:"Coq"
2
1
6
1
1
1
33
1
1
7
4
4
1
2
18
15
1
5
50
6
5
8
1
1
7
1
8
1
6
5
