最重要の結果:"Coq"
1
10
1
1
1
2
1
16
1
1
10
1
1
1
5
5
7
13
4
10
5
1
4
1
1
6
7
4
48
3
1
8
3
4
21
7
38
1
15
