最重要の結果:"Coq"
2
1
2
1
1
1
1
10
6
7
1
3
1
1
1
3
2
12
1
3
1
5
15
1
10
1
3
2
6
19
11
5
15
3
1
1
1
32
16
2
20
1
22
