In[]:=
Sort[nonterms/.{sa,kb}]/.{as,bk}
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 |