In[]:=
Sort[nonterms/.{sa,kb}]/.{as,bk}
Out[]=
In[]:=
In[]:=
all8=AllCombinators[8];
In[]:=
{#,Position[all8,#]}&/@nonterms
Out[]=
In[]:=
nonterms=First/@SortBy[%,Last]
Out[]=
In[]:=
Length[nonterms]
Out[]=
76
In[]:=
Transpose[{nonterms,Range[Length[nonterms]]}]
Out[]=
In[]:=
ResourceFunction["ParallelMapMonitored"][Labeled[ListLinePlot[LeafCount/@SKFixedPointEvolveList[First[#],2000]],Last[#]]&,Transpose[{nonterms,Range[Length[nonterms]]}]]
Out[]=

1
,
2
,
3
,
4
,
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
,
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
