最重要の結果:"Coq"
4
2
11
1
51
5
24
4
11
6
36
12
1
6
3
3
4
17
7
6
2
3
5
2
2
1
1
16
1
24
2
4
1
4
2
6
1
22
6
5
1
6
13
1
7
1
