最重要の結果:"Coq"
4
10
50
5
4
4
15
42
1
54
2
30
3
11
98
11
2
42
2
10
2
1
99
1
1
1
1
6
2
2
2
9
8
3
5
39
1
2
1
5
