最重要の結果:"Coq Porn"
2
2
11
1
1
11
2
16
3
12
1
2
1
1
1
1
1
2
1
2
2
1
1
6
1
3
3
2
1
1
4
3
1
1
1
1
1
2
1
1
1
2
3
1
18
1
6
2
66
5
6
1
