最重要の結果:"Coq"
4
2
4
3
1
72
3
6
2
40
16
3
20
10
1
30
1
2
1
4
20
2
2
2
26
8
3
2
7
32
39
1
1
1
4
1
10
3
32
1
22
17
2
