最重要の結果:"Coq"
13
12
12
10
12
8
5
5
5
16
22
25
22
8
5
76
4
1
12
6
4
8
10
5
3
19
23
12
11
2
8
7
1
2
8
1
15
3
2
1
2
