最重要の結果:"Coq"
3
1
6
1
8
3
1
8
5
15
3
1
8
7
11
12
3
19
1
5
7
5
6
11
2
3
9
13
7
5
30
9
9
1
11
12
10
9
4
1
5
6
2
1
11
