最重要の結果:"Coq"
4
2
1
1
1
5
5
16
1
8
3
2
2
1
1
1
20
40
2
4
2
11
4
10
4
11
1
22
25
6
6
3
3
2
3
1
23
50
1
6
