最重要の結果:"Coq"
1
25
25
1
25
25
4
1
4
1
22
17
8
14
1
3
2
2
3
1
1
87
1
4
51
2
5
11
2
4
6
1
1
1
3
3
