最重要の結果:"Coq Porn"
1
9
2
14
1
9
1
2
6
3
1
2
3
6
1
2
10
56
10
9
1
2
9
1
4
4
1
3
3
13
7
3
5
2
1
7
4
2
40
4
4
6
77
1
2
18
7
2
2
1
19
7
1
2
2
