最重要の結果:"Coq"
73
4
24
3
10
3
14
12
523
1
7
1
3
5
2
6
2
1
9
3
4
2
16
29
9
4
3
3
2
4
3
3
1
5
8
3
5
8
6
