最重要の結果:"Coq"
1
4
2
1
3
1
18
11
15
2
5
1
1
6
11
34
1
1
1
1
1
4
4
2
2
3
5
4
1
14
5
2
5
12
4
23
48
4
1
1
8
2
