[Pure S cases are at the beginning]

1


0
20
40
60
80
0
500
1000
1500
2000
2500
,
0
20
40
60
80
0
2
4
6
8
10

In[]:=
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],10000]]
Out[]=
50
100
150
200
250
300
2000
4000
6000
8000
10000
In[]:=
ddx=SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],20000];
In[]:=
ListLinePlot[(LeafCount/@ddx)/Range[Length[ddx]]]
Out[]=
100
200
300
400
500
600
25
30
35
40
In[]:=
ListLinePlot[Differences[LeafCount/@ddx]]
Out[]=
100
200
300
400
500
600
20
40
60
80
100
120
In[]:=
Histogram[Differences[LeafCount/@ddx],{1}]
Out[]=
0
20
40
60
80
100
120
0
50
100
150

2


0
20
40
60
80
0
500
1000
1500
2000
2500
,
20
40
60
80
8
10
12
14
16

In[]:=
ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],5000]]
Out[]=
50
100
150
1000
2000
3000
4000
5000
In[]:=
ListLinePlot[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]]]
Out[]=
50
100
150
200
250
300
20
40
60
80
100
In[]:=
Histogram[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]],{1}]
Out[]=
0
20
40
60
80
100
0
10
20
30
40

3


0
20
40
60
80
100
120
0
500
1000
1500
2000
2500
,
0
20
40
60
80
100
120
0
1
2
3
4

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s]][s][s][s][s][s],2000]]

4


0
20
40
60
80
100
0
500
1000
1500
2000
2500
,
0
20
40
60
80
100
0
5
10
15

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s]][s][s][s][s]],2000]]

5


0
20
40
60
80
0
500
1000
1500
2000
2500
,
0
20
40
60
80
0
2
4
6
8
10
12
14

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s]][s][s]][s][s],2000]]

6


0
20
40
60
80
100
0
500
1000
1500
2000
2500
,
0
20
40
60
80
100
0
2
4
6
8


7

8

9

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

[ the first K case ... ]

43

44

45

46

47

48

49

50 [expected “halting”]

51

52

53

54 [exponential grower]

55

56

57 [dies]

58

59 [exponential grower]

60

61

62

63 [dies; 48 steps]

64 [dies; 47 steps]

65

66

67

68

69

70

71 [eventual repeat]

72

73

74

75

76