最重要の結果:"Coq"
2
5
1
99
6
7
4
24
7
1
5
1
8
1
7
1
1
21
9
3
13
1
1
5
8
34
5
6
4
1
13
6
19
4
