最重要の結果:"Coq"
510
1
5
1
5
8
29
11
24
5
2
9
1
49
2
3
2
5
2
1
10
21
4
21
1
2
10
1
1
50
4
22
2
