最重要の結果:"Coq"
3
5
13
1
4
39
2
1
2
2
11
2
3
2
3
2
2
1
4
2
67
83
2
4
15
7
1
2
34
21
3
4
1
18
5
13
4
