最重要の結果:"Coq"
28
3
15
1
7
4
15
1
16
39
40
3
4
1
4
2
2
5
1
7
20
13
31
3
7
11
4
1
30
6
3
5
1
1
10
14
10
2
4
2
1
4
