#############################################################################
##
#W    pcpgrp4.gi                                                Karel Dekimpe
#W                                                               Bettina Eick
##
##    This file contains the 4-dimensional almost crystallographic groups
##    as pcp groups. There are 95 types of groups.
##

ACPcpGroupDim4Nr001 := function (k1, k2, k3)
local FTL;
  FTL := FromTheLeftCollector( 4 );
  SetConjugate( FTL, 2, 1, [2,1, 4,k1 ] );
  SetConjugate( FTL, 3, 1, [3,1, 4,k2 ] );
  SetConjugate( FTL, 3, 2, [3,1, 4,k3 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr002 := function (k1, k2, k3 , k4, k5, k6, k7)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k7 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k5 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k6 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k2 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k3 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr003 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr004 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,1,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr004b:= function (k1, k2, k3 )
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,0,  4,0,  5,k1 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,1,  4,0,  5,2*k3 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,-k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,-1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,2*k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,2*k2 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr005 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr006 := function (k1, k2, k3 )
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,0 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr007 := function (k1, k2, k3 )
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,-k1 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,2*k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr007b:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,-k3 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,2*k4 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,-1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,2*k2 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr008 := function (k1, k2, k3)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr009 := function (k1, k2, k3)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,-k1 + k2 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr009b:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k3 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,2*k4 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,-1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k2 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k2 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr010 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k5 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr011 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,-1,  5,0,  6,-k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-2*k6 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr012 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,2*k2 - k5 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr013 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,1,  6,k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 + k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr014 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,-1,  5,1,  6,-k3 - k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 + k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k3 - 2*k6 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr014b:= function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,-1,  5,1,  6,-k2 - 2*k3 + 2*k5 - k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k2 - 2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k2 + 2*k3 - 2*k5 + 2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,1,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,-k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k2 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr015 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,1,  6,k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k1 + 2*k2 - k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr018 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,-k1 + 2*k2 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 - 2*k3 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr019 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,-1,  6,-3*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,3*k1 + 2*k2 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-k1 - 2*k2 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr019b:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,-1,  6,k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,-k1 + 2*k2 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 - 2*k3 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr019c:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,-1,  6,-2*k2 + 2*k3 + k4 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-k1 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr026 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr027 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr029 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,1,  5,0,  6,-2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,2*(k2 - k3 + k4) ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr029b:= function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,1,  5,0,  6,-2*k3 + 2*k4 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k1 - k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,2*(k3 - k4 + k5) ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr029c:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k1 + k2 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,1,  5,0,  6,-4*k1 + k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*(k1 + k2) ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,4*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr030 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,1,  5,0,  6,-2*k3 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k1 - k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,2*(k3 + k5) ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr031 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,1,  5,0,  6,2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-2*(k3 - k4) ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr032 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,3*k1 - 2*k2 + 2*k4 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,2*k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,-k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,-k1 - 2*k4 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,-3*k1 + 2*k2 - 2*k4 + 2*k5 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr033 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,k1 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr033b:= function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,3*k1 - 2*k2 - k3 + 2*k4 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,2*k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,-k3 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,-k1 - 2*k4 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,-3*k1 + 2*k2 + k3 - 2*k4 + 2*k5 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr033c:= function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,-k1 + 2*k3 + k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,k1 + 2*k2 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr034 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,1,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,0,  6,2*k1 - k2 - 2*k3 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k1 - k2 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,k1 + k2 + 2*k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,-2*k1 + k2 + 2*k3 + 2*k5 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr036 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,0,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr037 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,1,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,-k2 + 2*k4 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr041 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,1,  5,1,  6,k1 - k2 - k3 + k5 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,-1,  5,0,  6,2*k1 - k4 ] );
  SetConjugate( FTL, 4, 1, [3,-1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,2*(k1 - k5) ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr043 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,1,  6,-k2 - 2*k3 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,1,  5,-1,  6,k1 + k2 + 2*k4 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,2*k4 ] );
  SetConjugate( FTL, 5, 1, [3,-1,  4,1,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,1,  5,-1,  6,k2 + 2*k3 + 2*k5 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,-1,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,2*(k2 + k3 + k5) ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr045 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,1,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,0,  5,-1,  6,-k4 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,1,  5,1,  6,k4 + 2*k5 ] );
  SetConjugate( FTL, 5, 1, [3,-1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,1,  5,0,  6,k2 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,-1,  4,-1,  5,-1,  6,k2 - 2*k4 - 2*k5 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr055 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,2*k1 + k2 + k4 + k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,1,  5,-1,  6,0,  7,k1 + 2*k2 - 2*k3 + 2*k4 + k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,0,  5,0,  6,0,  7,0 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,-k1 - 2*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-k1 - 2*k3 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,k5 ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,-1,  5,1,  6,0,  7,-k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,k1 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,0 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,0,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,-k1 - 2*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,-k1 - 2*k3 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,0 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr056 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,1,  7,-2*k3 - k5 + 2*k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,1,  6,0,  7,k4 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,2*(k1 + k3 - k4) ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-2*k3 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,2*(k3 + k5 - k6) ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,0,  7,-k2 + k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,k1 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,0 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,0,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,k1 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,k1 - 2*k3 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,0 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr058 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,1,  5,-1,  6,1,  7,-3*k1 - 2*k3 - k5 + 2*k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,0,  5,0,  6,0,  7,0 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,-k1 - 2*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-k1 - 2*k3 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,2*(2*k1 + k2 + k4 + k5 - k6) ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,-1,  5,1,  6,0,  7,-k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,k1 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,0 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,0,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,-k1 - 2*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,-k1 - 2*k3 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,0 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr060 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,1,  7,-2*k3 - k5 + 2*k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,0,  6,0,  7,k1 - k2 + k3 - k4 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,-2*(k1 - k2 + k3 - k4) ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-2*k3 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,2*(k3 + k5 - k6) ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,0,  7,2*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,0 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,0,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,-2*(k1 - k2 + k3 - k4) ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,2*(k1 - k3) ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,0 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,4*k1 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr061 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,-k1 + k3 - k4 + k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,1,  7,2*k1 + 2*k2 - k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,0,  6,-1,  7,-8*k1 - 2*k2 + 2*k3 - 2*k4 + k5 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,2*(4*k1 + k2 - k3 + k4) ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,2*(k1 + k2 - k6) ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,-2*(k1 + k2) ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,-1,  7,-6*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,2*(3*k1 + k2 - k3 + k4) ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,-2*(k1 + k2) ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,1,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,2*k2 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,-1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,4*k1 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr061b := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,-k1 + k2 + k4 + k5 + k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,1,  7,-2*k1 + 2*k2 - 2*k3 + 2*k4 + 2*k5 + k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,0,  6,-1,  7,2*k1 - 2*k2 + 2*k3 - 2*k4 - k5 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,-2*(k1 - k2 + k3 - k4) ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-2*k3 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,2*(k1 - k2 + k3 - k4 - k5) ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,-1,  7,2*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,0 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,1,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,-2*(k1 - k2 + k3 - k4) ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,2*(k1 - k3) ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,0 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,4*k1 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr061c:= function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,k1 + k2 + k3 + k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,1,  7,2*k2 + k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,0,  6,-1,  7,2*k1 + 2*k3 - k5 + 2*k6 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,-2*(k1 + k3 - k5 + k6) ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,2*(k1 - k3) ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,-2*k2 ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,-1,  7,-2*k2 + 2*k3 + k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,0 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,2*k3 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,-2*k1 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,-1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,1,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,0 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,2*k1 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,2*k2 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,-1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,0 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,4*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr062 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 7 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [4,0,  5,0,  6,0,  7,k3 - k4 + k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  4,0,  5,-1,  6,0,  7,-k6 ] );
  SetConjugate( FTL, 3, 1, [3, 1 ,  4,1,  5,0,  6,-1,  7,-3*k1 - 2*k2 + 2*k3 - 2*k4 + k5 ] );
  SetConjugate( FTL, 4, 1, [4,-1,  5,0,  6,0,  7,3*k1 + 2*k2 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 5, 1, [4,0,  5,-1,  6,0,  7,-2*k6 ] );
  SetConjugate( FTL, 6, 1, [4,0,  5,0,  6,-1,  7,-k1 - 2*k2 ] );
  SetConjugate( FTL, 7, 1, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [4,0,  5,1,  6,0,  7,k3 ] );
  SetConjugate( FTL, 3, 2, [ 3, 1,  4,1,  5,1,  6,-1,  7,-3*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 4, 2, [4,-1,  5,0,  6,0,  7,3*k1 + 2*k2 - 2*k3 + 2*k4 ] );
  SetConjugate( FTL, 5, 2, [4,0,  5,1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 2, [4,0,  5,0,  6,-1,  7,-k1 - 2*k2 ] );
  SetConjugate( FTL, 7, 2, [4,0,  5,0,  6,0,  7,1 ] );
  SetRelativeOrder( FTL, 3, 2 );
  SetPower( FTL, 3, [4,0,  5,0,  6,1,  7,k2 ] );
  SetConjugate( FTL, 4, 3, [4,-1,  5,0,  6,0,  7,k1 ] );
  SetConjugate( FTL, 5, 3, [4,0,  5,-1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 3, [4,0,  5,0,  6,1,  7,2*k2 ] );
  SetConjugate( FTL, 7, 3, [4,0,  5,0,  6,0,  7,-1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0,  7,0 ] );
  SetConjugate( FTL, 6, 4, [6,1,  7,2*k1 ] );
  SetConjugate( FTL, 6, 5, [6,1,  7,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr075 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr076 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr077 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,2,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr079 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,1,  5,-k3 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 4, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr080 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,1,  3,1,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,1,  5,-k3 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 4, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr081 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k5 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,-k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k4 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr082 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 4 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k5 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,-1,  4,-1,  5,k2 + k3 + k4 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,0,  4,1,  5,-k4 ] );
  SetConjugate( FTL, 4, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,0 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr083 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k2 + k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k2 + k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr084 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,-1,  6,-k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k2 + k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k2 + k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,2,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr085 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,-1,  4,0,  5,0,  6,k2 - k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,2*(k2 - k6) ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-2*k6 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,-k1 + k2 - 2*k6 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr086 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,-1,  4,0,  5,-1,  6,k2 - k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 + k2 + k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k1 - k2 + k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-k1 + k2 - k3 - 2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,2,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr087 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-2*k2 + 2*k3 + k5 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,2*k2 - k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,1,  6,-k3 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 5, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr088 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,0,  5,0,  6,-k2 - k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,2*(k2 + k6) ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 + 2*k3 + 2*k6 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,-2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,-1,  4,-1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,1,  6,-k3 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,0,  5,-1,  6,k3 ] );
  SetConjugate( FTL, 5, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr103 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 3 ,  3,0,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-k2 - k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr104 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,1,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 3 ,  3,1,  4,0,  5,0,  6,-k2 - 2*k3 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,-2*(k2 + k3 + k5) ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*(k2 + k3 + k4 + k5) ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,-k1 + k2 + 2*k3 + 2*k5 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr106 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 3 ,  3,1,  4,0,  5,-1,  6,-k3 - k4 + k5 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,2*k5 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,-2*k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,2,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,-1,  5,0,  6,-k1 - k2 - 2*k5 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr110 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,1,  5,0,  6,k1 - k2 - k4 ] );
  SetConjugate( FTL, 2, 1, [2, 3 ,  3,1,  4,1,  5,1,  6,-2*k1 + 2*k2 - 2*k3 + 2*k4 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,0,  5,-1,  6,-k4 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,1,  5,1,  6,2*k1 - 2*k2 - k4 ] );
  SetConjugate( FTL, 5, 1, [3,-1,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,-1,  4,-1,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,1,  6,-k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,0,  5,-1,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,-1,  4,0,  5,0,  6,4*k1 - 4*k2 + 2*k3 - 3*k4 + 2*k5 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,0 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,-2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr114 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,1,  5,0,  6,k4 ] );
  SetConjugate( FTL, 2, 1, [2, 3 ,  3,0,  4,1,  5,1,  6,-k1 + k2 - 2*k3 + 2*k4 - k5 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,1,  5,0,  6,2*k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,0 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 4 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,1,  5,0,  6,-k1 + k2 + 2*k4 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,-1,  6,2*(k1 - k2 + k3 - k4 + k5) ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr143 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 3 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,-1,  4,0,  5,k2 + k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr144 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 3 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,-1,  4,0,  5,k2 + k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr146 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 3 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,0,  4,1,  5,k2 + k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,1,  4,0,  5,-k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,-k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr147 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k5 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,0,  5,k1 - k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k4 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr148 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k5 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,0,  4,-1,  5,k4 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,-k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr158 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 2 ,  3,0,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,-1,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 4, 1, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 3 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,-1,  5,0,  6,k2 + k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr159 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 2 ,  3,0,  4,0,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,1,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 3 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,-1,  5,0,  6,k1 - k2 + 3*k4 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k1 + 2*k2 - 3*k4 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr161 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 2 ,  3,-1,  4,0,  5,0,  6,-k3 - k4 + 2*k5 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,1,  5,0,  6,-k1 - k2 - 2*k3 + 2*k5 ] );
  SetConjugate( FTL, 4, 1, [3,1,  4,0,  5,0,  6,-k2 - 2*k3 + 2*k5 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 3 );
  SetPower( FTL, 2, [3,1,  4,1,  5,1,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,0,  4,0,  5,1,  6,k2 + k3 ] );
  SetConjugate( FTL, 4, 2, [3,1,  4,0,  5,0,  6,-k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,1,  5,0,  6,-k3 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,-k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr168 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,0,  5,k1 - k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr169 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,5,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,0,  5,k1 - k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr172 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,2,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,0,  5,k1 - k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr173 := function (k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,3,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,1,  4,0,  5,k1 - k2 - k3 ] );
  SetConjugate( FTL, 3, 1, [2,-1,  3,0,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,0 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr174 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 6 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k5 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,-1,  4,0,  5,k2 + k3 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k4 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,0,  5,k1 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr175 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k6 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 - 2*k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 + 2*k2 + 2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 6 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,0,  6,k1 - k2 - k3 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr176 := function (k1, k2, k3 , k4, k5, k6)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,0,  5,-1,  6,k6 ] );
  SetConjugate( FTL, 3, 1, [3,-1,  4,0,  5,0,  6,k1 - 2*k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,-k1 + 2*k2 + 2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,2*k6 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 6 );
  SetPower( FTL, 2, [3,0,  4,0,  5,3,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,0,  6,k1 - k2 - k3 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4Nr184 := function (k1, k2, k3 , k4, k5)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,1,  6,k5 ] );
  SetConjugate( FTL, 2, 1, [2, 5 ,  3,0,  4,0,  5,0,  6,-k4 ] );
  SetConjugate( FTL, 3, 1, [3,0,  4,-1,  5,0,  6,-k1 + k2 + 2*k3 ] );
  SetConjugate( FTL, 4, 1, [3,-1,  4,0,  5,0,  6,k1 - k2 - 2*k3 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,1,  6,2*k5 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 6 );
  SetPower( FTL, 2, [3,0,  4,0,  5,0,  6,k4 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1,  5,0,  6,k1 - k2 - k3 ] );
  SetConjugate( FTL, 4, 2, [3,-1,  4,0,  5,0,  6,k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,0 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;
ACPcpGroupDim4NrB1 := function (k , k1, k2 , k3)
local FTL;
  FTL := FromTheLeftCollector( 4 );
  SetConjugate( FTL, 2, 1, [2,1, 3, k, 4, k1 ] );
  SetConjugate( FTL, 3, 1, [3,1, 4, k2 ] );
  SetConjugate( FTL, 3, 2, [3,1, 4, k3 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB2 := function (k, k1, k2, k3)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,1,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,-1,  3,0,  4,0,  5,k1 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,1,  5,2*k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,-1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*k,  5,2*(k*k1 + k*k2 + k*k3) ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,2*k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,2*k2 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB3c := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,0 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*l,  5,(k1 - k3)*l ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB3b := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,-1,  5,-k2 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,-2*k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*l,  5,-k1 + 2*k1*l + 2*k2*l ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB3 := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,-1,  5,-k2 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,0,  5,k3 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,-2*k2 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1 + 2*l,  5,k2 + k1*l + 2*k2*l ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB4 := function (k, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,1,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,0 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,-k,  5,k*k1 + k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*k,  5,k*(k1 - k3) ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,0 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB4b := function (k, k1, k2, k3)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,1,  3,0,  4,0,  5,k3 ] );
  SetConjugate( FTL, 2, 1, [2,1,  3,0,  4,0,  5,2*k3 ] );
  SetConjugate( FTL, 3, 1, [2,0,  3,-1,  4,-k,  5,k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k1 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,-1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*k,  5,-(k*k1) - 2*k2 ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,-2*k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,0 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB5  := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,2*l,  5,-(k3*l) ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB5b := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 5 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [2,0,  3,0,  4,0,  5,k4 ] );
  SetConjugate( FTL, 2, 1, [2,0,  3,1,  4,0,  5,k2 ] );
  SetConjugate( FTL, 3, 1, [2,1,  3,0,  4,0,  5,-k2 ] );
  SetConjugate( FTL, 4, 1, [2,0,  3,0,  4,-1,  5,2*k3 ] );
  SetConjugate( FTL, 5, 1, [2,0,  3,0,  4,0,  5,1 ] );
  SetConjugate( FTL, 3, 2, [3,1,  4,1 + 2*l,  5,-(k3*(1 + 2*l)) ] );
  SetConjugate( FTL, 4, 2, [4,1,  5,k1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,-k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB7 := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,-1,  5,-1,  6,2*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,2*l,  6,-((k1 - 2*k2)*l) ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,k1 - 2*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k1 - 2*k2 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,4*l,  6,4*(k1*l + k2*l) ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB7b := function (l, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,0,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,0,  4,-1,  5,-1,  6,4*k1 - 2*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,1 + 2*l,  6,-k1 + k2 - 2*k1*l + 2*k2*l ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,0,  6,2*(k1 - k2 + k3 - k4) ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,2*(k1 - k2) ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,0,  6,2*k1 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,2*(1 + 2*l),  6,2*(2*k1 + k2 + 4*k1*l + 2*k2*l) ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,4*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB8  := function (k, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,-1,  5,-1 - 4*k,  6,2*k1 + 8*k*k1 - 2*k2 - 6*k*k2 + 2*k3 - k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,0 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,-2*k,  6,k1 + 6*k*k1 - 2*k2 - 6*k*k2 + 2*k3 - 2*k4 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k1 - 2*k2 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,2*k,  6,2*k*k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,-2*k,  6,k1 + 2*k*k1 - 2*k*k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,4*k,  6,2*(k*k1 + 2*k*k2) ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,0 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,2*k1 ] );
return PcpGroupByCollector(FTL);
end;

ACPcpGroupDim4NrB8b := function (k, k1, k2, k3 , k4)
local FTL;
  FTL := FromTheLeftCollector( 6 );
  SetRelativeOrder( FTL, 1, 2 );
  SetPower( FTL, 1, [3,1,  4,0,  5,0,  6,k3 ] );
  SetConjugate( FTL, 2, 1, [2, 1 ,  3,1,  4,-1,  5,-1 - 4*k,  6,k1 + 2*k*k1 - 2*k*k2 + 2*k3 + k4 ] );
  SetConjugate( FTL, 3, 1, [3,1,  4,0,  5,0,  6,2*k3 ] );
  SetConjugate( FTL, 4, 1, [3,0,  4,-1,  5,-2*k,  6,-2*k*k2 ] );
  SetConjugate( FTL, 5, 1, [3,0,  4,0,  5,-1,  6,k1 ] );
  SetConjugate( FTL, 6, 1, [3,0,  4,0,  5,0,  6,-1 ] );
  SetRelativeOrder( FTL, 2, 2 );
  SetPower( FTL, 2, [3,0,  4,0,  5,1,  6,k2 ] );
  SetConjugate( FTL, 3, 2, [3,-1,  4,0,  5,2*k,  6,-k1 + 2*k*k1 + 2*k*k2 ] );
  SetConjugate( FTL, 4, 2, [3,0,  4,-1,  5,-2*k,  6,-2*k*k2 ] );
  SetConjugate( FTL, 5, 2, [3,0,  4,0,  5,1,  6,2*k2 ] );
  SetConjugate( FTL, 6, 2, [3,0,  4,0,  5,0,  6,-1 ] );
  SetConjugate( FTL, 4, 3, [4,1,  5,4*k,  6,-2*(k*k1 - 2*k*k2) ] );
  SetConjugate( FTL, 5, 3, [5,1,  6,-2*k1 ] );
  SetConjugate( FTL, 5, 4, [5,1,  6,0 ] );
return PcpGroupByCollector(FTL);
end;

#############################################################################
##
## some small helpers
##
ACPcpDim4Funcs := [ ACPcpGroupDim4Nr001, ACPcpGroupDim4Nr002,
ACPcpGroupDim4Nr003,
ACPcpGroupDim4Nr004, ACPcpGroupDim4Nr004b, ACPcpGroupDim4Nr005,
ACPcpGroupDim4Nr006, ACPcpGroupDim4Nr007, ACPcpGroupDim4Nr007b,
ACPcpGroupDim4Nr008, ACPcpGroupDim4Nr009, ACPcpGroupDim4Nr009b,
ACPcpGroupDim4Nr010, ACPcpGroupDim4Nr011, ACPcpGroupDim4Nr012,
ACPcpGroupDim4Nr013, ACPcpGroupDim4Nr014, ACPcpGroupDim4Nr014b,
ACPcpGroupDim4Nr015, ACPcpGroupDim4Nr018, ACPcpGroupDim4Nr019,
ACPcpGroupDim4Nr019b, ACPcpGroupDim4Nr019c, ACPcpGroupDim4Nr026,
ACPcpGroupDim4Nr027, ACPcpGroupDim4Nr029, ACPcpGroupDim4Nr029b,
ACPcpGroupDim4Nr029c, ACPcpGroupDim4Nr030, ACPcpGroupDim4Nr031,
ACPcpGroupDim4Nr032, ACPcpGroupDim4Nr033, ACPcpGroupDim4Nr033b,
ACPcpGroupDim4Nr033c, ACPcpGroupDim4Nr034, ACPcpGroupDim4Nr036,
ACPcpGroupDim4Nr037, ACPcpGroupDim4Nr041, ACPcpGroupDim4Nr043,
ACPcpGroupDim4Nr045, ACPcpGroupDim4Nr055, ACPcpGroupDim4Nr056,
ACPcpGroupDim4Nr058, ACPcpGroupDim4Nr060, ACPcpGroupDim4Nr061,
ACPcpGroupDim4Nr061b, ACPcpGroupDim4Nr061c, ACPcpGroupDim4Nr062,
ACPcpGroupDim4Nr075, ACPcpGroupDim4Nr076, ACPcpGroupDim4Nr077,
ACPcpGroupDim4Nr079, ACPcpGroupDim4Nr080, ACPcpGroupDim4Nr081,
ACPcpGroupDim4Nr082, ACPcpGroupDim4Nr083, ACPcpGroupDim4Nr084,
ACPcpGroupDim4Nr085, ACPcpGroupDim4Nr086, ACPcpGroupDim4Nr087,
ACPcpGroupDim4Nr088, ACPcpGroupDim4Nr103, ACPcpGroupDim4Nr104,
ACPcpGroupDim4Nr106, ACPcpGroupDim4Nr110, ACPcpGroupDim4Nr114,
ACPcpGroupDim4Nr143, ACPcpGroupDim4Nr144, ACPcpGroupDim4Nr146,
ACPcpGroupDim4Nr147, ACPcpGroupDim4Nr148, ACPcpGroupDim4Nr158,
ACPcpGroupDim4Nr159, ACPcpGroupDim4Nr161, ACPcpGroupDim4Nr168,
ACPcpGroupDim4Nr169, ACPcpGroupDim4Nr172, ACPcpGroupDim4Nr173,
ACPcpGroupDim4Nr174, ACPcpGroupDim4Nr175, ACPcpGroupDim4Nr176,
ACPcpGroupDim4Nr184, ACPcpGroupDim4NrB1, ACPcpGroupDim4NrB2,
ACPcpGroupDim4NrB3c, ACPcpGroupDim4NrB3b, ACPcpGroupDim4NrB3,
ACPcpGroupDim4NrB4, ACPcpGroupDim4NrB4b, ACPcpGroupDim4NrB5,
ACPcpGroupDim4NrB5b, ACPcpGroupDim4NrB7, ACPcpGroupDim4NrB7b,
ACPcpGroupDim4NrB8, ACPcpGroupDim4NrB8b ];
MakeReadOnlyGlobal( "ACPcpDim4Funcs" );


local reps,tori,labels,I,II,ords;

mizuno:=[[1,2,3,4,5,6,7,
          9,10,11,12,
          13,14,16,17,
          19,18,20,21,
          23,24,25,27,
          26,28,30,31,
          32,33,35,34,
          37,38,39,40,
          41,44,45,46,
          48,49,51,52,
          53,55,57,58,
          59,61,63,64,
          66,69,70,71,
          75,76,80,82,
          85,89,93,97],
         [8,
          15,22,29,36,
          43,42,47,50,
          54,56,60,62,
          65,67,68,72,
          73,74,77,78,
          79,81,83,84,
          86,87,88,90,
          91,92,94,95,
          96,98,99,100,
          101,102,103,104,
          105,106,107,108,
          109,110,111,112,
          114,113,115,116,
          117,118,119,120]];

reps:=[[[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1]],
       [[1,1],[2,1],[10,1],[11,1],[5,1],[6,1],[7,1],[8,1]],
       [[1,1],[3,1],[2,1],[10,1],[12,1],[13,1],[14,1],[8,1]],
    [[8,1],[18,1],[7,1],[6,1],[19,1],[1,1],[17,1],[4,1]],
    [[18,1],[6,1],[19,1],[1,1],[17,1],[21,1],[4,1],[8,1]],
    [[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1]],
    [[8,1],[7,1],[14,1],[26,1],[19,1],[1,1],[17,1],[4,1]],
    [[18,1],[22,1],[19,1],[1,1],[17,1],[20,1],[21,1],[4,1],[6,1]],
    [[1,1],[2,1],[11,1],[10,1],[5,1],[6,1],[7,1]],
    [[18,1],[8,1],[31,1],[7,1],[33,1],[4,1],[19,1],[23,1]],
    [[8,1],[7,1],[6,1],[5,1],[4,1],[2,1],[3,1]],
    [[18,1],[31,1],[7,1],[33,1],[4,1],[29,1],[23,1],[19,1]],
    [[1,1],[2,1],[3,1],[10,1],[12,1],[13,1],[14,1]],
    [[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[8,1]],

    [[8,1],[7,1],[6,1],[5,1],[10,1],[11,-1],[2,1],[3,1]],
    [[31,1],[33,1],[18,1],[4,1],[39,-1],[41,1],[8,1],[19,1],[23,1]],
    [[17,1],[1,1],[19,1],[6,1],[7,1],[18,1],[4,1]],
    [[3,1],[5,1],[1,1],[6,1],[11,1],[12,1],[2,1],[8,1]],
       [[1,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1]],
       [[8,1],[7,1],[13,1],[10,1],[11,-1],[12,1],[2,1],[3,1]],
       [[1,1],[2,1],[3,1],[4,1],[5,1],[6,1]],
       [[7,1],[6,1],[5,1],[4,1],[2,1],[3,1]],
       [[1,1],[3,1],[4,1],[2,1],[5,1],[7,1],[8,1]],
       [[3,1],[5,1],[1,1],[6,1],[11,1],[12,1],[2,1]],
       [[17,1],[1,1],[19,1],[14,1],[26,1],[7,1],[18,1],[4,1]],
       [[2,1],[4,1],[5,1],[6,1],[7,1],[8,1],[1,1]],
       [[7,1],[6,1],[5,1],[10,1],[11,-1],[2,1],[3,1]],
       [[2,1],[4,1],[5,1],[6,1],[7,1],[8,1]],
       [[47,1],[49,1],[5,1],[45,1],[44,1],[42,1],[27,1],[46,1]],

       [[1,1],[3,1],[4,1],[2,1],[5,1],[7,1]],
       [[24,1],[26,1],[7,1],[27,1],[23,1],[4,1],[25,1]],
       [[17,1],[1,1],[19,1],[6,1],[18,1],[4,1],[8,1]],
       [[7,1],[13,1],[10,1],[11,-1],[12,1],[2,1],[3,1]],
       [[1,1],[3,1],[10,1],[12,1],[2,1],[5,1],[7,1],[8,1]],
       [[2,1],[4,1],[5,1],[6,1],[7,1],[1,1]],
       [[1,1],[3,1],[4,1],[2,1],[6,1],[7,1],[8,1]],
       [[1,1],[3,1],[4,1],[2,1],[5,1]],
       [[17,1],[1,1],[19,1],[6,1],[18,1],[4,1]],
       [[3,1],[4,1],[2,1],[5,1],[7,1],[8,1]],
       [[5,1],[6,1],[7,1],[8,1],[1,1],[3,1],[2,1]],
       [[1,1],[3,1],[10,1],[12,1],[2,1],[5,1],[7,1]],
       [[1,1],[3,1],[4,1],[5,1],[6,1]],
       [[1,1],[3,1],[4,1],[2,1],[6,1],[7,1]],
       [[1,1],[3,1],[4,1],[2,1],[6,1],[8,1]],
       [[1,1],[3,1],[10,1],[12,1],[2,1],[5,1]],

       [[1,1],[3,1],[4,1],[6,1],[7,1],[8,1]],
       [[1,1],[3,1],[4,1],[2,1],[6,1]],
       [[3,1],[10,1],[12,1],[2,1],[5,1],[7,1],[8,1]],
       [[3,1],[4,1],[2,1],[5,1],[7,1]],
       [[5,1],[6,1],[7,1],[1,1],[3,1],[2,1]],
       [[1,1],[3,1],[4,1],[2,1]],
       [[3,1],[4,1],[2,1],[6,1],[7,1]],
       [[3,1],[10,1],[12,1],[2,1],[5,1],[7,1]],
       [[5,1],[6,1],[7,1],[2,1],[3,1]],
       [[1,1],[3,1],[5,1],[6,1],[2,1],[8,1]],
       [[3,1],[4,1],[2,1],[5,1]],
       [[3,1],[10,1],[12,1],[2,1],[5,1]],
       [[1,1],[3,1],[4,1],[6,1]],
       [[1,1],[3,1],[5,1],[6,1],[2,1]],
       [[1,1],[3,1],[5,1],[6,1]],
       [[1,1],[3,1],[2,1],[5,1],[7,1]],
       [[1,1],[3,1],[4,1]],
       [[2,1],[4,1],[1,1],[6,1]],
       [[1,1],[3,1],[2,1]],
       [[2,1],[3,1],[5,1],[7,1]],
       [[1,1],[3,1]],
       [[1,1],[4,1],[6,1]],
       [[1,1],[6,1]],
       [[1,1]]
       ];

I:=[[],
    [4], #??? E_8(a_1)
    [4,6], #??? E_8(a_2)
    [2,3,5], # E_8(a_3)
    [2,3,5,7], # E_8(a_4)
    [],
    [2,3,5,6], # E_8(b_4)
    [2,3,5,6,8], # E_8(a_5)
    [4], # E_7(a_1)
    [1,2,3,5,6], # E_8(b_5)
    [],
    [1,2,3,5,6,8], # E_8(a_6)
    [4,6], #??? E_7(a_2)
    [],
    [4], # D_7(a_1)
    [1,2,3,5,6,7], # E_8(b_6)
    [2,3,5], # E_7(a_3)
    [4], # E_6(a_1)A_1
    [],
    [4,5], #??? D_7(a_2)

    [],[],[],
    [4], # E_6(a_1)
    [2,3,5,6], # E_7(a_4)
    [],
    [4],# D_6(a_1)
    [],
    [1,2,3,4,6,7,8], # E_8(a_7)
    [],
    [1,2,3,5,6],# E_7(a_5)
    [2,3,5],# E_6(a_3)A_1
    [4,5],#??? D_6(a_2)
    [4],# D_5(a_1)A_2
    [],[],[],
    [2,3,5],# E_6(a_3)
    [],[],
    [4],# D_5(a_1)A_1
    [],[],[],

    [4],# D_5(a_1) check this also
    [],[],
    [4],# D_4(a_1)A_2
    [],[],[],[],
    [4],# D_4(a_1)A_1
    [],[],[],
    [4],# D_4(a_1)
    [],[],[],[],[],[],[],[],[],[],[],[]
    ];

#
# The parabolic where the representative is distinguished
#
II:=[[1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7],
     [1,2,3,4,5,6,7,8],
     [2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7],
     [1,2,3,4,5,6,8],

     [2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],
     [1,2,3,4,5,6,7],
     [1,2,3,4,5,6,8],
     [1,3,4,5,6,7,8],
     [2,3,4,5,6,7,8],
     [1,2,3,4,5,6],
     [2,3,4,5,6,7],
     [1,2,3,4,5,7,8],
     [1,2,3,4,5,6],
     [1,2,3,4,5,6,7],
     [1,2,4,5,6,7,8],
     [2,3,4,5,6,7],
     [2,4,5,6,7,8],
     [1,2,3,4,5,6,7,8],

     [1,2,3,4,5,7],
     [1,2,3,4,5,6,7],
     [1,2,3,4,5,6,8],
     [2,3,4,5,6,7],
     [1,2,3,4,5,7,8],
     [1,2,4,5,6,7],
     [1,2,3,4,6,7,8],
     [1,2,3,4,5],
     [1,2,3,4,5,6],
     [2,3,4,5,7,8],
     [1,2,3,5,6,7,8],
     [1,2,3,4,5,7],
     [1,3,4,5,6],
     [1,2,3,4,6,7],
     [1,2,3,4,6,8],
     [1,2,3,4,5],

     [1,3,4,6,7,8],
     [1,2,3,4,6],
     [2,3,4,5,7,8],
     [2,3,4,5,7],
     [1,2,3,5,6,7],
     [1,2,3,4],
     [2,3,4,6,7],
     [2,3,4,5,7],
     [2,3,5,6,7],
     [1,2,3,5,6,8],
     [2,3,4,5],
     [2,3,4,5],
     [1,3,4,6],
     [1,2,3,5,6],
     [1,3,5,6],
     [1,2,3,5,7],
     [1,3,4],
     [1,2,4,6],
     [1,2,3],
     [2,3,5,7],
     [1,3],
     [1,4,6],
     [1,6],
     [1]
     ];

labels:=["E_8","E_8(a_1)","E_8(a_2)","E_8(a_3)","E_8(a_4)","E_7","E_8(b_4)","E_8(a_5)","E_7(a_1)","E_8(b_5)","D_7","E_8(a_6)","E_7(a_2)","E_6A_1",
         "D_7(a_1)","E_8(b_6)","E_7(a_3)","E_6(a_1)A_1","A_7","D_7(a_2)","E_6","D_6","D_5A_2","E_6(a_1)","E_7(a_4)","A_6A_1","D_6(a_1)","A_6","E_8(a_7)",
         "D_5A_1","E_7(a_5)","E_6(a_3)A_1","D_6(a_2)","D_5(a_1)A_2","A_5A_2","A_4A_3","D_5","E_6(a_3)","D_4A_2","A_4A_2A_1","D_5(a_1)A_1","A_5","A_4A_2","A_4A_1^2","D_5(a_1)",
         "A_3^2","A_4A_1","D_4(a_1)A_2","D_4A_1","A_3A_2A_1","A_4","A_3A_2","D_4(a_1)A_1","A_3A_1^2","A_2^2A_1^2","D_4","D_4(a_1)","A_3A_1","A_2^2A_1","A_2^2","A_2A_1^3","A_3","A_2A_1^2","A_2A_1","A_1^4","A_2","A_1^3","A_1^2","A_1"];

tori:=[
    [2,2,2,2,2,2,2,2],
    [2,2,2,0,2,2,2,2],
    [2,2,2,0,2,0,2,2],
    [2,0,0,2,0,2,2,2],
    [2,0,0,2,0,2,0,2],
    [2,2,2,2,2,2,2,-27],
    [2,0,0,2,0,0,2,2],
    [2,0,0,2,0,0,2,0],
    [2,2,2,0,2,2,2,-21],
    [0,0,0,2,0,0,2,2],
    [-21,2,2,2,2,2,2,2],
    [0,0,0,2,0,0,2,0],
    [2,2,2,0,2,0,2,-17],
    [2,2,2,2,2,2,-17,2],

    [-16,2,0,2,2,2,2,2],
    [0,0,0,2,0,0,0,2],
    [2,0,0,2,0,2,2,-15],
    [2,2,2,0,2,2,-13,2],
    [2,-15,2,2,2,2,2,2],
    [-13,2,2,0,2,0,2,2],
    [2,2,2,2,2,2,-16,0],
    [-15,2,2,2,2,2,2,-10],
    [2,2,2,2,2,-12,2,2],
    [2,2,2,0,2,2,-12,0],
    [2,0,0,2,0,0,2,-11],
    [2,2,-11,2,2,2,2,2],
    [-11,2,2,0,2,2,2,-8],
    [0,2,-10,2,2,2,2,2],
    [0,0,0,0,2,0,0,0],

    [2,2,2,2,2,-11,2,-1],
    [0,0,0,2,0,0,2,-9],
    [2,0,0,2,0,2,-9,2],
    [-9,2,2,0,2,0,2,-6],
    [2,2,2,0,2,-9,2,2],
    [2,2,-9,2,2,2,2,-5],
    [2,2,2,2,-9,2,2,2],
    [2,2,2,2,2,-10,0,0],
    [2,0,0,2,0,2,-8,0],
    [-6,2,2,2,2,-8,2,2],
    [2,2,2,-7,2,2,2,2],
    [2,2,2,0,2,-8,2,-1],
    [2,-9,2,2,2,2,-5,0],
    [2,2,2,2,-8,2,2,-2],
    [2,2,2,2,-7,2,-2,2],
    [2,2,2,0,2,7,0,0],

    [2,-3,2,2,-6,2,2,2],
    [2,2,2,2,-7,2,-1,0],
    [-4,2,2,0,2,-6,2,2],
    [-6,2,2,2,2,-7,2,-1],
    [2,2,2,-6,2,2,2,-3],
    [2,2,2,2,-6,0,0,0],
    [-3,2,2,2,-6,2,2,-2],
    [-4,2,2,0,2,-5,2,-1],
    [-1,2,2,-5,2,2,2,-3],
    [2,2,2,-5,2,2,-3,2],
    [-6,2,2,2,2,-6,0,0],
    [-4,2,2,0,2,-4,0,0],
    [2,-3,2,2,-4,2,-1,0],
    [2,2,2,-5,2,2,-2,0],
    [2,0,2,-4,2,2,-2,0],
    [2,2,2,-4,2,-2,2,-1],
    [2,-3,2,2,-3,0,0,0],
    [2,2,-3,2,-3,2,-1,0],
    [2,2,2,-3,0,0,0,0],
    [-1,2,2,-3,2,-2,2,-1],
    [2,2,0,-2,0,0,0,0],
    [2,-1,-2,2,-2,2,-1,0],
    [2,0,-1,0,-1,2,-1,0],
    [2,0,-1,0,0,0,0,0]
    ];

#ords:=[];
ords:=[ 125, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 5, 25, 25, 25, 25, 25, 25, 5, 25, 25, 25, 5, 25, 25, 5, 5, 25, 5, 5, 5, 25, 5, 5, 5, 5, 5, 5, 25, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5 ];

return [reps,tori,labels,I,II,ords];


LoadPackage( "AutoDoc" );

AutoDocWorksheet( "HandsOn.gi" );

QUIT;


# Copyright (c) 2018-2021, Carnegie Mellon University
# See LICENSE for details

NewRulesFor(WHT, rec(
	WHT_tSPL_CT_Mem := rec(
		switch := true,
		applicable := (self, nt) >> nt.params[1] > 2
			and not IsPrime(nt.params[1])
			and nt.hasTag(AMem) 						# make sure we're tagged
			and not IsList(nt.getTag(AMem)) 			# make sure we have only ONE memory tag (single level of cache)
			and nt.params[1] > nt.getTag(AMem).size,	# problem size must be larger than the cache

		# atm, just handle a single AMem
		children := nt -> let(
			memtag := nt.getTag(AMem),
			Map2(
				Filtered(DivisorPairs(nt.params[1]), (m,n) -> n mod memtag.block = 0, m <= memblock.assoc),
				(m,n) -> [
					TCompose([
						TTensorI(WHT(m), n, AVec, AVec),
						TTensor(WHT(n), m, APar, APar)
					])
				]
			)
		),

		apply := (nt, c, cnt) -> c[1]
	)
));


# Copyright (c) 2018-2021, Carnegie Mellon University
# See LICENSE for details

Class(VWrap, VWrapBase, rec(
    __call__ := (self,isa) >> Checked(IsSIMD_ISA(isa),
    WithBases(self, rec(operations:=PrintOps, isa:=isa))),

    wrap := (self,r,t,opts) >> let(
        isa := self.isa,
        v := isa.v,
        tt := When(t.isReal(),
            #paradigms.vector.breakdown.AxI_vec(TTensorI(t, v, AVec, AVec).withTags([AVecReg(isa)]), r),
            @_Base(paradigms.vector.sigmaspl.VTensor(r.node, v), r),
            paradigms.vector.breakdown.AxI_vec(
                TTensorI(TRC(t).withTags([AVecReg(isa)]), v, AVec, AVec).withTags([AVecReg(isa)]),
                paradigms.vector.breakdown.TRC_VRCLR(TRC(t).withTags([AVecReg(isa)]), r)
            )
        ),

#        Chain(Print("---> VWrap.wrap: ", r, "\n* ", t, "\n* ", tt, "\n"), DbgBreak("a"), tt)
        tt
    ),

    twrap := (self, t,opts) >> let(
        isa := self.isa,
        v := isa.v,
        tt := When(t.isReal(),
            paradigms.vector.sigmaspl.VTensor(t, v),
        #TTensorI(t, v, AVec, AVec).withTags([AVecReg(isa)]),
            TTensorI(TRC(t).withTags([AVecReg(isa)]), v, AVec, AVec).withTags([AVecReg(isa)])
        ),

#        Chain(Print("---> VWrap.twrap: ", t, "\n* ", tt, "\n"), DbgBreak("a"), tt)
        tt
    ),

    print := self >> Print(self.name, "(", self.isa, ")"),

));

Class( VWrapCpx_Mixin, rec(
    # as VWrap may change data type it must update data types
    complexToRealT := (self, t, wt) >> Cond(t.hasA("t_in") and t.hasA("t_out"),
	wt.setA(t_in => List(t.getA("t_in"), t -> t.realType()),
		t_out => List(t.getA("t_out"), t -> t.realType())),
	wt),

    opts := (self, t, opts) >> CopyFields(opts, rec(
        XType := StripList(List(Flat([opts.XType]), t -> t.realType())),
        YType := StripList(List(Flat([opts.YType]), t -> t.realType())),
    )),

));

Class(VWrapTRC, VWrapCpx_Mixin, VWrapBase, rec(
    __call__ := (self, isa) >> Checked(IsSIMD_ISA(isa),
    WithBases(self, rec(isa:=isa, operations:=PrintOps))),
    print := self >> Print(self.name, "(", self.isa, ")"),
    wrap := (self, r, t, opts) >> let(
        tt := paradigms.vector.breakdown.TRC_vect(self.complexToRealT(t, TRC(t).withTags([AVecReg(self.isa)])), r),
#        Chain(Print("---> VWrapTRC.wrap: ", r, "\n* ", t, "\n* ", tt, "\n"), tt)
        tt
    ),
    twrap := (self, t, opts) >> let(
        tt := self.complexToRealT(t, TRC(t).withTags([AVecReg(self.isa)])),
#        Chain(Print("---> VWrapTRC.twrap: ", t, "\n* ", tt, "\n"), tt)
        tt
    ),
));

Class(VWrapTRCcplx, VWrapCpx_Mixin, VWrapBase, rec(
    __call__ := (self, isa) >> Checked(IsSIMD_ISA(isa),
    WithBases(self, rec(isa:=isa, operations:=PrintOps))),
    print := self >> Print(self.name, "(", self.isa, ")"),
    wrap := (self, r, t, opts) >> paradigms.vector.breakdown.TRC_cplx(self.complexToRealT(t, TRC(t).withTags([AVecRegCx(self.isa)])), r),
    twrap := (self, t, opts) >> self.complexToRealT(t, TGrp(TRC(t).withTags([AVecRegCx(self.isa)]))),

#    wrap := (self, r, t) >> @_Base(self.twrap(t), r),
#    twrap := (self, t) >> paradigms.vector.sigmaspl.vRC(t.withTags([AVecRegCx(self.isa)]) )
));