CircuitCheck:= function(n)
 local s,i;
 s:=[n];
   for i in [1..8] do
     if i = 4 then
       Add(s,(1,2)(3,4)*s[i]);
     elif i = 8 then
       Add(s,(1,2)(3,4)*s[i]);
     else
       Add(s,(1,2,3,4)*s[i]);
     fi;
   od;
 return s;
end;