最重要の結果:"Coq"
8
5
2
33
8
1
32
5
1
1
1
3
5
7
17
1
2
4
2
5
2
1
2
2
3
1
12
42
1
5
10
3
1
5
46
3
8
7
7
3
1
8
3
2
5
