最重要の結果:"Coq"
16
5
1
24
1
2
2
3
2
3
5
9
2
32
11
4
5
1
19
4
8
4
1
1
1
7
1
3
1
4
6
3
6
16
7
3
7
3
1
1
72
23
