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