最重要の結果:"Coq"
5
100
20
17
6
1
5
5
4
1
2
25
11
1
1
4
16
2
3
30
1
6
1
2
3
4
4
4
1
7
10
1
3
3
3
1
8
11
12
2
10
1
3
19
