最重要の結果:"Coq"
7
5
1
2
2
1
2
27
1
6
1
1
4
7
1
1
1
3
2
3
1
4
4
10
1
2
7
1
72
2
16
3
2
99
5
7
35
6
8
26
6
2
1
2
2
6
4
4
