In[]:=
rules10string=ReadString[FileNameJoin[{$Dropbox,"Physics/SW2004Material/Data/PureRewritesTo10.m"}]];
In[]:=
StringTake[rules10string,-400]
Out[]=
3, 16}, {2, 11, 19}, {3, 8, 21}, {5, 22, 20}, {6, 25, 24}, {9, 15, 12}, {14, 28, 18}, {17, h[1], 29}, {23, 27, h[2]}}}], PureNet[{{1, 1, 1, 1, 1, 1, 1, 1, 1, 1}, {{4, 7, 10}, {1, h[1], 13}, {2, 11, 16}, {3, 8, 19}, {6, 20, 22}, {9, 25, h[2]}, {12, 14, 26}, {15, 28, 29}, {17, 21, 30}, {23, 24, 27}}}] -> PureNet[{{1, 1, 1, 1, 1, 1, 1, 1, 1, 1},
In[]:=
StringPosition[%144,"PureNet"]
Out[]=
{{144,150},{359,365}}
In[]:=
Take[StringPosition[rules10string,"PureNet"],-2]
Out[]=
{{100092039,100092045},{100092254,100092260}}
In[]:=
rules10stringtrunc=StringTake[rules10string,{1,100092037}]<>"}\n";
In[]:=
rules10=Get[rules10stringtrunc];
Out[]=
$Aborted
In[]:=
StringTake[rules10string,50]
Out[]=
PureRewritesTo10 = {PureNet[{{1}, {{h[1], 3, 2}}}]
In[]:=
StringPosition[%,"{"]
Out[]=
{{20,20},{29,29},{30,30},{35,35},{36,36}}
In[]:=
brules10string=StringDrop[rules10string,19];
In[]:=
ReadList[brules10string,Expression,5]
Out[]=
$Aborted
In[]:=
Get[FileNameJoin[{$Dropbox,"Physics/SW2004Material/Data/PureRewritesTo8.m"}]]
Out[]=
In[]:=
$trivalentRulesTo8
Out[]=
In[]:=
$subnetsPureRewritesTo8
Out[]=