最重要の結果:"Coq"
1
1
1
7
2
5
3
1
1
4
18
30
169
1
6
2
7
15
66
6
1
2
3
5
6
100
3
3
1
1
1
15
25
1
6
11
25
