[Pure S cases are at the beginning]

1


,

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],10000]]
In[]:=
Out[]=
ddx=SKFixedPointEvolveList[s[s[s[s][s]]][s][s][s],20000];
In[]:=
ListLinePlot[(LeafCount/@ddx)/Range[Length[ddx]]]
In[]:=
Out[]=
ListLinePlot[Differences[LeafCount/@ddx]]
In[]:=
Out[]=
Histogram[Differences[LeafCount/@ddx],{1}]
In[]:=
Out[]=

2


,

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],5000]]
In[]:=
Out[]=
ListLinePlot[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]]]
In[]:=
Out[]=
Histogram[Differences[LeafCount/@SKFixedPointEvolveList[s[s[s[s[s][s]]]][s][s],10000]],{1}]
In[]:=
Out[]=

3


,

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s]][s][s][s][s][s],2000]]

4


,

ListLinePlot[LeafCount/@SKFixedPointEvolveList[s[s[s[s]][s][s][s][s]],2000]]

5


,


6

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