1


0
20
40
60
80
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
1.0
1.1
1.2
1.3
1.4
,
0
20
40
60
80
0
100
200
300
400
500
,
0
20
40
60
80
0
10
20
30
40
,
0
20
40
60
80
0
20
40
60
80
100

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s[s][s][s[s]][s][s]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

2


0
20
40
60
80
100
120
140
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
100
120
1.0
1.1
1.2
1.3
1.4
1.5
,
0
20
40
60
80
100
120
0
20
40
60
80
100
120
,
0
20
40
60
80
100
120
0
20
40
60
80
,
0
20
40
60
80
100
120
140
0
50
100
150

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s[s[s][s]]][s][s[s]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

3


0
20
40
60
80
100
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
100
1.0
1.1
1.2
1.3
1.4
1.5
,
0
20
40
60
80
100
0
20
40
60
80
100
120
,
0
20
40
60
80
100
0
10
20
30
40
50
,
0
20
40
60
80
100
0
50
100
150

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s[s][s]][s][s[s[s]]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

4


0
20
40
60
80
100
120
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
100
120
1.0
1.1
1.2
1.3
1.4
,
0
20
40
60
80
100
120
0
20
40
60
80
100
,
0
20
40
60
80
100
120
0
20
40
60
,
0
20
40
60
80
100
120
0
50
100
150

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s[s][s]][s][s[s][s]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

5


0
20
40
60
80
100
120
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
100
120
1.0
1.1
1.2
1.3
1.4
,
0
20
40
60
80
100
120
0
20
40
60
80
100
120
,
0
20
40
60
80
100
120
0
10
20
30
40
50
60
,
0
20
40
60
80
100
120
0
50
100
150

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s[s[s]][s]][s][s[s]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

6


0
50
100
150
0
1000
2000
3000
4000
5000
,
,
50
100
150
1.0
1.1
1.2
1.3
1.4
,
0
50
100
150
0
20
40
60
80
,
0
50
100
150
0
50
100
150
,
0
50
100
150
0
50
100
150
200

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s][s][s[s[s]]][s[s]]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

7


0
10
20
30
40
50
60
70
0
1000
2000
3000
4000
5000
,
,
10
20
30
40
50
60
70
1.0
1.1
1.2
1.3
1.4
1.5
,
0
10
20
30
40
50
60
70
0
50
100
150
200
,
0
10
20
30
40
50
60
70
0
10
20
30
40
,
0
10
20
30
40
50
60
70
0
20
40
60
80
100

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s][s][s[s[s[s]]]][s]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

8


0
10
20
30
40
0
1000
2000
3000
4000
,
,
10
20
30
40
1.0
1.1
1.2
1.3
1.4
,
0
10
20
30
40
0
100
200
300
400
500
600
,
0
10
20
30
40
0
5
10
15
20
25
30
,
0
10
20
30
40
0
10
20
30
40
50

ListStepPlot[Differences[LeafCount/@CombinatorFixedPointList[s[s[s][s][s[s[s][s]]][s]],"MaxSize"200000,"MaxSteps"1000]],PlotRangeAll]

9


0
20
40
60
80
100
120
0
1000
2000
3000
4000
5000
,
,
20
40
60
80
100
120
1.0
1.1
1.2
1.3
1.4
,
0
20
40
60
80
100
120
0
20
40
60
80
100
,
0
20
40
60
80
100
120
0
10
20
30
40
50
60
,
0
20
40
60
80
100
120
0
50
100
150


10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

107

108

109

110

111

112

113

114

115

116

117

118

119

120

121

122

123

124

125

126

127

128

129

130

131

132

133

134

135

136

137

138

139

140

141