最重要の結果:"Coq"
2
2
2
31
1
3
6
2
2
5
2
1
2
5
55
20
1
1
3
8
1
3
4
1
8
5
7
4
7
1
61
1
7
5
3
5
44
8
7
4
3
4
9
