最重要の結果:"Coq"
1
4
1
3
4
15
6
1
7
4
1
27
1
4
1
8
1
12
4
2
2
27
3
3
1
6
2
7
5
25
1
2
99
25
1
5
10
8
2
1
4
1
