最重要の結果:"Coq Porn"
9
1
7
1
1
2
1
68
1
1
3
1
3
8
4
3
21
6
2
4
2
8
7
1
1
1
68
1
1
1
1
2
4
2
4
2
1
100
1
8
1
1
1
2
13
1
2
