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}]/.GroupInverseOverBar
{{{3},{},{1,1},{1,2},{1,},{2,1},{2,2},{2,},{,2},{,},{,},{,1},{,},{,}},{{1,2},{2,1},{3,3},{,},{,},{,},{1,1,3},{1,1,},{1,3,1},{1,3,},{1,,3},{1,,},{1,,1},{1,,},{2,2,3},{2,2,},{2,3,2},{2,3,},{2,,3},{2,,},{2,,2},{2,,},{3,1,1},{3,1,},{3,2,2},{3,2,},{3,,2},{3,,},{3,,1},{3,,},{,2,3},{,2,},{,3,2},{,3,},{,,3},{,,},{,,2},{,,},{,1,3},{,1,},{,3,1},{,3,},{,,3},{,,},{,,1},{,,},{,1,1},{,1,},{,2,2},{,2,},{,,2},{,,},{,,1},{,,}},{{1,1,},{1,,1},{2,2,},{2,,2},{3,,},{3,,},{,3,},{,,3},{,3,},{,,3},{,1,1},{,2,2}},{},{}}
3
2
1
1
1
1
1
2
2
2
1
2
2
1
2
2
1
3
3
3
2
2
2
3
3
3
2
3
1
1
1
3
3
3
1
2
1
1
1
1
2
2
2
1
1
3
1
1
1
1
1
1
1
3
1
3
1
3
1
2
2
3
2
2
2
2
2
2
2
3
2
3
2
3
2
3
3
2
3
3
1
3
1
3
1
1
3
2
3
2
2
3
3
3
3
1
1
2
2
1
1
1
1
2
2
2
2
3
3
Table[WordFilter[ToFARule[23010,{3,2}],3,i],{i,5}]/.GroupInverseOverBar
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