最重要の結果:"Coq Porn"
3
1
2
3
1
3
6
2
7
2
10
6
8
8
70
17
1
1
14
3
2
1
1
2
19
1
2
6
23
1
3
12
1
1
10
4
1
1
1
1
1
14
1
3
9
10
