From Joerg Endrullis
From Joerg Endrullis
orig=;
In[]:=
maintable=#1[Application]#2#3&@@@ImportString[StringReplace[orig,{"ap(""",")""","->"","}],"CSV"]
In[]:=
Out[]=
all7=Groupings[Table[s,7],Application2]
In[]:=
Out[]=
#//.maintable&/@(all7/.s4)
In[]:=
{2,7,21,18,33,26,36,28,36,28,36,28,37,28,37,28,38,28,37,28,37,28,37,28,37,28,37,28,37,28,36,28,2,7,21,18,33,26,36,28,38,28,37,28,2,7,21,18,37,28,37,28,27,23,30,18,36,28,2,7,34,28,20,18,37,28,27,23,37,28,25,15,36,28,2,7,37,28,37,28,36,28,37,28,33,2,30,10,37,20,37,18,37,27,36,26,37,25,31,16,33,2,30,10,37,27,33,2,35,24,33,9,34,36,36,32,34,37,36,33,37,37,37,33,36,37,36,33,34,36,36,32}
Out[]=
Position[%,38]
In[]:=
{{17},{41}}
Out[]=
First[(FunctionToApplication/@Import["/Users/sw/Dropbox/Physics/Data/Combinators/S-NT1e4-8.wxf"])]
In[]:=
s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s
Out[]=
#/.s4//.maintable&/@%
In[]:=
{38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38,38}
Out[]=
Length[%221]
In[]:=
41
Out[]=
Groupings[Table[s,8],Application2];
In[]:=
Select[Groupings[Table[s,8],Application2],(#/.s4//.maintable)38&]
In[]:=
s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s,s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s[Application]s
Out[]=
Need ordering for nodes.....
[Singleway growth]
[Singleway growth]
39 types of subtree; once one reaches the 39th type, infinite growth is inevitable.......
If initial state has a 38, all subsequent states will too.....
Size 13 and beyond
Size 13 and beyond
DISABLED THREADRIPPER
Size 10
Size 10
Size 11
Size 11
Size 12
Size 12
Size 13
Size 13
TO RUN:
Size 14
Size 14
Size 15
Size 15
Champions
Champions
Size 16 [[[ Needs prep ]]]
Size 16 [[[ Needs prep ]]]
BEFORE:
BEFORE:
NOTE: remove threadripper; leave only MacOS