最重要の結果:"Coq"
10
3
10
5
1
2
9
69
3
55
8
2
8
1
6
1
54
3
1
53
3
7
3
6
3
1
3
1
1
7
9
1
3
7
5
3
6
