最重要の結果:"Coq"
1
36
50
2
2
10
5
2
1
1
2
34
1
17
2
1
1
1
23
2
5
4
8
3
4
2
2
12
1
30
7
16
1
