最重要の結果:"Coq"
31
2
1
4
14
13
2
2
1
5
7
50
1
9
7
2
128
26
1
4
4
1
16
1
1
2
2
24
2
4
1
7
28
1
1
2
1
7
32
16
4
3
3
1
1
