最重要の結果:"Coq Porn"
2
1
1
1
6
3
1
5
1
2
2
15
1
1
8
3
1
3
2
7
4
1
5
2
25
1
2
6
1
6
1
41
2
1
2
6
1
3
4
2
1
6
5
3
2
1
2
1
9
1
1
3
1
1
2
5
5
1
10
7
6
1
2
