最重要の結果:"Coq"
1
1
26
5
4
1
1
1
1
1
3
1
2
4
1
1
1
95
24
1
1
3
1
4
1
24
3
3
18
2
3
1
1
1
38
7
3
10
9
3
10
1
4
11
10
