1 [covered]


0
50
100
150
0
20000
40000
60000
80000
100000
,
50
100
150
1.00
1.05
1.10
1.15
,
0
50
100
150
0
500
1000
1500
2000
,
0
50
100
150
0
2
4
6
8
10

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s][s][s[s]][s][s]],"MaxSize"20000,"MaxSteps"1000]]

2


0
200
400
600
800
1000
0
20000
40000
60000
80000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
,
0
200
400
600
800
1000
50
100
150
200
250
300
,
0
200
400
600
800
1000
0
2
4
6
8
10

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s[s][s]]][s][s[s]],"MaxSize"20000,"MaxSteps"1000]]

3


0
200
400
600
800
0
20000
40000
60000
80000
100000
,
200
400
600
800
1.000
1.005
1.010
1.015
1.020
,
0
200
400
600
800
50
100
150
200
250
300
350
,
0
200
400
600
800
0
2
4
6
8
10

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s][s]][s][s[s[s]]],"MaxSize"20000,"MaxSteps"1000]]

4


0
200
400
600
800
1000
0
20000
40000
60000
80000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
,
0
200
400
600
800
1000
0
50
100
150
200
250
,
0
200
400
600
800
1000
0
2
4
6
8

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s][s]][s][s[s][s]],"MaxSize"20000,"MaxSteps"1000]]

5


0
200
400
600
800
1000
0
20000
40000
60000
80000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
,
0
200
400
600
800
1000
0
50
100
150
200
250
300
350
,
0
200
400
600
800
1000
0
2
4
6
8
10

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s[s]][s]][s][s[s]],"MaxSize"20000,"MaxSteps"1000]]

6


0
200
400
600
800
1000
0
10000
20000
30000
40000
50000
60000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
,
0
200
400
600
800
1000
50
100
150
,
0
200
400
600
800
1000
0
2
4
6
8

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s][s][s[s[s]]][s[s]],"MaxSize"20000,"MaxSteps"1000]]

7


0
100
200
300
400
500
0
20000
40000
60000
80000
100000
,
100
200
300
400
500
1.000
1.005
1.010
1.015
1.020
1.025
1.030
1.035
,
0
100
200
300
400
500
100
200
300
400
500
600
,
0
100
200
300
400
500
0
1
2
3
4
5
6

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s][s][s[s[s[s]]]][s],"MaxSize"20000,"MaxSteps"1000]]

8


0
20
40
60
80
100
120
0
20000
40000
60000
80000
100000
,
20
40
60
80
100
120
1.00
1.05
1.10
1.15
1.20
1.25
1.30
,
0
20
40
60
80
100
120
0
500
1000
1500
2000
2500
3000
3500
,
0
20
40
60
80
100
120
0
1
2
3
4
5

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s][s][s[s[s][s]]][s],"MaxSize"20000,"MaxSteps"1000]]

9


0
200
400
600
800
1000
0
20000
40000
60000
80000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
,
0
200
400
600
800
1000
0
50
100
150
200
,
0
200
400
600
800
1000
0
2
4
6
8

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s][s][s[s][s]][s[s]],"MaxSize"20000,"MaxSteps"1000]]

10


0
50
100
150
0
20000
40000
60000
80000
100000
,
50
100
150
1.00
1.05
1.10
1.15
,
0
50
100
150
0
500
1000
1500
2000
,
0
50
100
150
0
2
4
6
8

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s][s][s[s[s]][s]][s],"MaxSize"20000,"MaxSteps"1000]]

11


0
200
400
600
800
1000
0
5000
10000
15000
20000
25000
,
200
400
600
800
1000
1.000
1.005
1.010
1.015
1.020
,
0
200
400
600
800
1000
0
10
20
30
40
50
60
70
,
0
200
400
600
800
1000
0
2
4
6
8

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s]][s][s[s]][s[s]],"MaxSize"20000,"MaxSteps"1000]]

12


0
50
100
150
200
0
20000
40000
60000
80000
100000
,
50
100
150
200
1.00
1.02
1.04
1.06
1.08
1.10
,
0
50
100
150
200
0
500
1000
1500
2000
2500
,
0
50
100
150
200
0
1
2
3
4
5
6

ListLinePlot[LeafCount/@CombinatorFixedPointList[s[s[s]][s][s[s[s]]][s],"MaxSize"20000,"MaxSteps"1000]]

13


0
20
40
60
80
100
120
140
0
20000
40000
60000
80000
100000
,
20
40
60
80
100
120
1.00
1.05
1.10
1.15
1.20
1.25
1.30
,
0
20
40
60
80
100
120
0
1000
2000
3000
,
0
20
40
60
80
100
120
140
0
1
2
3
4
5


14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32 [halted]

33

34

35 covered

36 [halted]

37 [halted]

38

39

40

41

42

43

44

45 [halted]

46