最重要の結果:"Coq"
43
40
1
15
3
6
4
1
4
14
88
1
1
1
2
2
3
1
7
2
3
1
4
1
7
6
1
2
2
10
40
14
16
2
2
26
1
11
10
6
2
14
1
1
7
