In[]:=
Groupings[Table[s,5],Construct2]
Out[]=
{s[s][s][s][s],s[s[s][s][s]],s[s[s][s]][s],s[s[s[s][s]]],s[s[s]][s][s],s[s[s[s]][s]],s[s[s[s]]][s],s[s[s[s[s]]]],s[s][s[s]][s],s[s[s][s[s]]],s[s][s][s[s]],s[s][s[s][s]],s[s[s]][s[s]],s[s][s[s[s]]]}
In[]:=
ResourceFunction["MultiwayCombinator"][skrules,#,15,"StatesGraphStructure"]&/@Groupings[Table[s,5],Construct2]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
In[]:=
ResourceFunction["MultiwayCombinator"][skrules,#,15,"StatesGraphStructure"]&/@Groupings[Table[s,6],Construct2]
Out[]=
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Size 8
Size 8
[ Including k ]
[ Including k ]