最重要の結果:"Coq Porn"
1
21
13
1
5
8
34
4
14
2
1
10
1
1
7
1
6
1
3
5
1
2
7
4
30
96
2
2
23
1
5
2
12
1
2
2
2
2
4
2
