最重要の結果:"Coq"
7
1
4
1
2
30
4
96
2
6
1
13
41
2
7
37
8
3
5
23
1
1
1
7
4
6
2
40
10
5
1
5
2
4
1
6
12
1
3
3
