最重要の結果:"Coq Porn"
1
2
1
1
1
2
5
22
1
12
2
3
4
20
14
1
1
4
2
1
2
1
1
1
4
1
3
25
36
7
1
1
2
1
1
1
2
13
1
20
8
11
5
4
15
2
1
1
1
