WOLFRAM NOTEBOOK

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[]=
10
20
30
40
50
60
500
1000
1500
2000
1
,
10
20
30
40
50
60
500
1000
1500
2000
2
,
20
40
60
80
100
500
1000
1500
2000
3
,
20
40
60
80
100
500
1000
1500
2000
4
,
10
20
30
40
50
60
70
500
1000
1500
2000
5
,
20
40
60
80
500
1000
1500
2000
6
,
20
40
60
80
500
1000
1500
2000
7
,
20
40
60
80
100
120
140
500
1000
1500
2000
8
,
20
40
60
80
100
500
1000
1500
2000
9
,
10
20
30
40
50
60
70
500
1000
1500
2000
10
,
20
40
60
80
100
500
1000
1500
2000
11
,
20
40
60
80
100
500
1000
1500
2000
12
,
10
20
30
40
50
60
70
500
1000
1500
2000
13
,
20
40
60
80
500
1000
1500
2000
14
,
10
20
30
40
50
60
70
500
1000
1500
2000
15
,
20
40
60
80
100
120
140
500
1000
1500
2000
16
,
20
40
60
500
1000
1500
2000
17
,
20
40
60
80
500
1000
1500
2000
18
,
50
100
150
500
1000
1500
2000
19
,
20
40
60
80
100
500
1000
1500
2000
20
,
10
20
30
40
50
500
1000
1500
2000
21
,
20
40
60
80
100
500
1000
1500
2000
22
,
20
40
60
80
500
1000
1500
2000
23
,
10
20
30
40
50
60
70
500
1000
1500
2000
24
,
20
40
60
80
500
1000
1500
2000
25
,
10
20
30
500
1000
1500
2000
26
,
20
40
60
500
1000
1500
2000
27
,
20
40
60
80
500
1000
1500
2000
28
,
20
40
60
80
500
1000
1500
2000
29
,
10
20
30
40
50
500
1000
1500
2000
30
,
10
20
30
40
50
60
500
1000
1500
2000
31
,
10
20
30
40
50
60
70
500
1000
1500
2000
32
,
20
40
60
80
500
1000
1500
2000
33
,
20
40
60
80
100
500
1000
1500
2000
34
,
10
20
30
40
50
60
70
500
1000
1500
2000
35
,
10
20
30
40
50
60
70
500
1000
1500
2000
36
,
20
40
60
80
100
500
1000
1500
2000
37
,
10
20
30
40
50
60
70
500
1000
1500
2000
38
,
20
40
60
80
500
1000
1500
2000
39
,
20
40
60
80
100
500
1000
1500
2000
40
,
10
20
30
40
50
60
500
1000
1500
2000
41
,
50
100
150
200
250
500
1000
1500
2000
42
,
50
100
150
500
1000
1500
43
,
50
100
150
500
1000
1500
44
,
20
40
60
80
100
120
500
1000
1500
2000
45
,
50
100
150
200
250
300
350
200
400
600
800
1000
1200
46
,
50
100
150
200
250
500
1000
1500
2000
47
,
20
40
60
80
500
1000
1500
2000
48
,
20
40
60
80
100
120
500
1000
1500
2000
49
,
500
1000
1500
2000
2500
500
1000
1500
2000
50
,
500
1000
1500
500
1000
1500
2000
51
,
20
40
60
80
100
120
140
500
1000
1500
2000
52
,
20
40
60
80
100
120
140
500
1000
1500
2000
53
,
10
20
30
40
50
500
1000
1500
54
,
20
40
60
80
500
1000
1500
2000
55
,
20
40
60
80
500
1000
1500
2000
56
,
20
40
60
80
50
100
150
200
250
57
,
10
20
30
40
50
500
1000
1500
58
,
10
20
30
40
50
60
70
500
1000
1500
2000
59
,
20
40
60
80
500
1000
1500
2000
60
,
20
40
60
80
500
1000
1500
2000
61
,
10
20
30
40
50
60
70
500
1000
1500
2000
62
,
10
20
30
40
50
100
150
200
250
300
63
,
10
20
30
40
50
100
150
200
250
300
64
,
20
40
60
80
100
500
1000
1500
2000
65
,
20
40
60
80
100
500
1000
1500
2000
66
,
10
20
30
40
50
500
1000
1500
67
,
20
40
60
80
100
500
1000
1500
2000
68
,
20
40
60
80
500
1000
1500
2000
69
,
10
20
30
40
50
500
1000
1500
2000
70
,
500
1000
1500
2000
2500
3000
500
1000
1500
2000
71
,
10
20
30
40
50
60
70
500
1000
1500
2000
72
,
10
20
30
40
50
500
1000
1500
2000
73
,
10
20
30
40
50
500
1000
1500
2000
74
,
20
40
60
80
100
500
1000
1500
2000
75
,
20
40
60
80
100
500
1000
1500
2000
76
Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.