AllFAs[2,2]
Select[%,GGpQ]
ToFARule[23010,{3,2}]
{{1,1}{2,0},{1,0}{3,1},{2,1}{3,0},{2,0}{2,1},{3,1}{1,1},{3,0}{1,0}}
relations[ToFARule[23010,{3,2}],3,3]
{{1,1,GroupInverse[3]},{1,GroupInverse[3],1},{2,2,GroupInverse[3]},{2,GroupInverse[3],2},{3,GroupInverse[1],GroupInverse[1]},{3,GroupInverse[2],GroupInverse[2]},{GroupInverse[1],3,GroupInverse[1]},{GroupInverse[1],GroupInverse[1],3},{GroupInverse[2],3,GroupInverse[2]},{GroupInverse[2],GroupInverse[2],3},{GroupInverse[3],1,1},{GroupInverse[3],2,2}}
WordFilter[ToFARule[23010,{3,2}],5,3]
{}
WordFilter[ToFARule[23010,{3,2}],6,3]
{}
Table[WordFilter[ToFARule[23010,{3,2}],i,3],{i,5}]/.GroupInverseOverBar
{{{3},{
3
},{1,1},{1,2},{1,
2
},{2,1},{2,2},{2,
1
},{
1
,2},{
1
,
1
},{
1
,
2
},{
2
,1},{
2
,
1
},{
2
,
2
}},{{1,2},{2,1},{3,3},{
1
,
2
},{
2
,
1
},{
3
,
3
},{1,1,3},{1,1,
3
},{1,3,1},{1,3,
2
},{1,
2
,3},{1,
2
,
3
},{1,
3
,1},{1,
3
,
2
},{2,2,3},{2,2,
3
},{2,3,2},{2,3,
1
},{2,
1
,3},{2,
1
,
3
},{2,
3
,2},{2,
3
,
1
},{3,1,1},{3,1,
2
},{3,2,2},{3,2,
1
},{3,
1
,2},{3,
1
,
1
},{3,
2
,1},{3,
2
,
2
},{
1
,2,3},{
1
,2,
3
},{
1
,3,2},{
1
,3,
1
},{
1
,
1
,3},{
1
,
1
,
3
},{
1
,
3
,2},{
1
,
3
,
1
},{
2
,1,3},{
2
,1,
3
},{
2
,3,1},{
2
,3,
2
},{
2
,
2
,3},{
2
,
2
,
3
},{
2
,
3
,1},{
2
,
3
,
2
},{
3
,1,1},{
3
,1,
2
},{
3
,2,2},{
3
,2,
1
},{
3
,
1
,2},{
3
,
1
,
1
},{
3
,
2
,1},{
3
,
2
,
2
}},{{1,1,
3
},{1,
3
,1},{2,2,
3
},{2,
3
,2},{3,
1
,
1
},{3,
2
,
2
},{
1
,3,
1
},{
1
,
1
,3},{
2
,3,
2
},{
2
,
2
,3},{
3
,1,1},{
3
,2,2}},{},{}}
Table[WordFilter[ToFARule[23010,{3,2}],3,i],{i,5}]/.GroupInverseOverBar
ToFARule[23010,{3,2}]
{{1,1}{2,0},{1,0}{3,1},{2,1}{3,0},{2,0}{2,1},{3,1}{1,1},{3,0}{1,0}}
GFAEvolveList[ToFARule[23010,{3,2}],{3,3,3,3},{1,0,1,1,1,1,0,0,1}]
{{1,0,1,1,1,1,0,0,1},{1,1,1,0,0,1,1,0,0},{1,0,0,0,1,1,0,1,1},{1,1,0,1,1,0,1,0,1},{1,0,1,0,1,1,1,1,1}}
GFAEvolveList[ToFARule[23010,{3,2}],{3,3,3,3},{1}]
{{1},{1},{1},{1},{1}}
GFAEvolveList[ToFARule[23010,{3,2}],{3,3,3,3},{0}]
{{0},{0},{0},{0},{0}}
GFAEvolveList[ToFARule[23010,{3,2}],{1,1,3},{0,1}]
{{0,1},{1,1},{0,0},{0,1}}
Last[GFAEvolveList[ToFARule[23010,{3,2}],{1,1,3},#]]&/@Tuples[{0,1},2]
{{0,0},{0,1},{1,0},{1,1}}
Tuples[{0,1},2]
{{0,0},{0,1},{1,0},{1,1}}
Length/@Table[WordFilter[ToFARule[23010,{3,2}],i,3],{i,5}]
{14,54,12,0,0}
gr22=Select[Range[0,255],GroupFAQ[ToFARule[#,{2,2}]]&]
{17,19,20,22,25,27,28,30,49,51,52,54,57,59,60,62,65,67,68,70,73,75,76,78,97,99,100,102,105,107,108,110,145,147,148,150,153,155,156,158,177,179,180,182,185,187,188,190,193,195,196,198,201,203,204,206,225,227,228,230,233,235,236,238}
{#,Length/@Table[WordFilter[ToFARule[#,{2,2}],i,3],{i,5}]}&/@gr22
{{17,{12,12,12,12,12}},{19,{12,12,12,12,12}},{20,{4,4,4,4,4}},{22,{4,4,4,4,4}},{25,{12,12,12,12,12}},{27,{12,12,12,12,12}},{28,{4,4,4,4,4}},{30,{4,4,4,4,4}},{49,{12,12,12,12,12}},{51,{12,12,12,12,12}},{52,{4,14,6,6,6}},{54,{4,2,0,0,0}},{57,{12,12,12,12,12}},{59,{12,12,12,12,12}},{60,{4,2,0,0,0}},{62,{4,2,2,2,2}},{65,{4,4,4,4,4}},{67,{4,2,2,2,2}},{68,{4,4,4,4,4}},{70,{4,4,4,4,4}},{73,{4,2,2,2,2}},{75,{4,4,4,4,4}},{76,{4,4,4,4,4}},{78,{4,4,4,4,4}},{97,{4,4,4,4,4}},{99,{4,2,0,0,0}},{100,{4,4,4,4,4}},{102,{4,4,4,4,4}},{105,{4,2,0,0,0}},{107,{4,4,4,4,4}},{108,{4,4,4,4,4}},{110,{4,4,4,4,4}},{145,{12,12,12,12,12}},{147,{12,12,12,12,12}},{148,{4,14,6,6,6}},{150,{4,2,0,0,0}},{153,{12,12,12,12,12}},{155,{12,12,12,12,12}},{156,{4,2,0,0,0}},{158,{4,2,2,2,2}},{177,{12,12,12,12,12}},{179,{12,12,12,12,12}},{180,{4,4,4,4,4}},{182,{4,4,4,4,4}},{185,{12,12,12,12,12}},{187,{12,12,12,12,12}},{188,{4,4,4,4,4}},{190,{4,4,4,4,4}},{193,{4,4,4,4,4}},{195,{4,2,0,0,0}},{196,{4,4,4,4,4}},{198,{4,4,4,4,4}},{201,{4,2,0,0,0}},{203,{4,4,4,4,4}},{204,{4,4,4,4,4}},{206,{4,4,4,4,4}},{225,{4,4,4,4,4}},{227,{4,14,6,6,6}},{228,{4,4,4,4,4}},{230,{4,4,4,4,4}},{233,{4,14,6,6,6}},{235,{4,4,4,4,4}},{236,{4,4,4,4,4}},{238,{4,4,4,4,4}}}
{#,Length/@Table[WordFilter[ToFARule[#,{2,2}],i,4],{i,5}]}&/@gr22
{{17,{12,12,12,12,12}},{19,{12,12,12,12,12}},{20,{4,36,36,36,36}},{22,{4,4,4,4,4}},{25,{12,12,12,12,12}},{27,{12,12,12,12,12}},{28,{4,4,4,4,4}},{30,{4,4,4,4,4}},{49,{12,12,12,12,12}},{51,{12,12,12,12,12}},{52,{4,32,16,14,14}},{54,{4,20,8,6,4}},{57,{12,12,12,12,12}},{59,{12,12,12,12,12}},{60,{4,20,8,6,4}},{62,{4,4,2,2,2}},{65,{4,4,4,4,4}},{67,{4,4,2,2,2}},{68,{4,4,4,4,4}},{70,{4,4,4,4,4}},{73,{4,4,2,2,2}},{75,{4,4,4,4,4}},{76,{4,4,4,4,4}},{78,{4,4,4,4,4}},{97,{4,4,4,4,4}},{99,{4,20,8,6,4}},{100,{4,4,4,4,4}},{102,{4,4,4,4,4}},{105,{4,20,8,6,4}},{107,{4,4,4,4,4}},{108,{4,4,4,4,4}},{110,{4,4,4,4,4}},{145,{12,12,12,12,12}},{147,{12,12,12,12,12}},{148,{4,32,16,14,14}},{150,{4,20,8,6,4}},{153,{12,12,12,12,12}},{155,{12,12,12,12,12}},{156,{4,20,8,6,4}},{158,{4,4,2,2,2}},{177,{12,12,12,12,12}},{179,{12,12,12,12,12}},{180,{4,36,36,36,36}},{182,{4,4,4,4,4}},{185,{12,12,12,12,12}},{187,{12,12,12,12,12}},{188,{4,4,4,4,4}},{190,{4,4,4,4,4}},{193,{4,4,4,4,4}},{195,{4,20,8,6,4}},{196,{4,4,4,4,4}},{198,{4,4,4,4,4}},{201,{4,20,8,6,4}},{203,{4,4,4,4,4}},{204,{4,4,4,4,4}},{206,{4,4,4,4,4}},{225,{4,36,36,36,36}},{227,{4,32,16,14,14}},{228,{4,4,4,4,4}},{230,{4,4,4,4,4}},{233,{4,32,16,14,14}},{235,{4,36,36,36,36}},{236,{4,4,4,4,4}},{238,{4,4,4,4,4}}}
Table[Table[Length[WordFilter[ToFARule[75,{2,2}],i,j]],{j,5}],{i,4}]
{{2,4,4,4,4},{2,4,4,4,4},{2,4,4,4,4},{2,4,4,4,4}}
Table[Table[Length[WordFilter[ToFARule[60,{2,2}],i,j]],{j,5}],{i,4}]
{{2,4,4,4,4},{0,2,2,20,20},{0,0,0,8,8},{0,0,0,6,6}}
Table[Table[Length[WordFilter[ToFARule[60,{2,2}],i,j]],{j,5}],{i,8}]
{{2,4,4,4,4},{0,2,2,20,20},{0,0,0,8,8},{0,0,0,6,6},{0,0,0,4,4},{0,0,0,4,4},{0,0,0,4,4},{0,0,0,4,4}}
Table[Table[Length[WordFilter[ToFARule[23010,{3,2}],i,j]],{j,5}],{i,8}]
{{2,14,14,14,14},{0,6,54,150,150},{0,0,12,42,222},{0,0,0,8,8},{0,0,0,0,0},{0,0,0,0,0},{0,0,0,0,0},{0,0,0,0,0}}
lamp={{1,0}{1,1},{1,1}{2,0},{2,1}{1,1},{2,0}{2,0}};
Table[Table[Length[WordFilter[lamp,i,j]],{j,5}],{i,8}]
{{2,4,4,4,4},{0,2,2,20,20},{0,0,0,8,8},{0,0,0,6,6},{0,0,0,4,4},{0,0,0,4,4},{0,0,0,4,4},{0,0,0,4,4}}
Table[Length[WordFilter[lamp,8,j]],{j,8}]
$Aborted
Table[Length[WordFilter[lamp,8,j]],{j,8}]
{0,0,0,4,4,4,4,70}
3^6*8
5832
Select[Range[0,6^6-1],GroupFAQ[ToFARule[#,{3,2}]]&];
Length[%]
5832
%/12
486