1
0
1
0
5
12
1
0
2
1
4
11
2
4
2
2
3
5
12
21
1
0
1
1
1
0
1
0
8
24
5
15
3
3
3
2
5
17
1
0
1
1
6
7

17 May '11
1
0
6
11
3
12
2
1
3
6
2
1

16 May '11
1
0
7
10
1
0

15 May '11
4
4

15 May '11
3
5
5
12
1
0
1
0

[ICL] How to define infinite endpoint for the types without infinity?
by Joachim Faulhaber 15 May '11
by Joachim Faulhaber 15 May '11
15 May '11
1
0
5
8

15 May '11
5
6
7
12
3
2
1
0

14 May '11
3
5
3
4
3
7

13 May '11
5
11
5
6
2
1
13
163
14
82