
(ALGFORMINPUT)
setinvars c, e1, e2, e3, g1, g2, g3;

c*e1 - e1*c,
c*g1 - g1*c,
c*e2 - e2*c,
c*g2 - g2*c,
c*e3 - e3*c,
c*g3 - g3*c,

e1*g1,
g1*e1,
e2*g2,
g2*e2,
e3*g3,
g3*e3,

e1*e1 - c*e1,
g1*g1 - c*g1,
e2*e2 - c*e2,
g2*g2 - c*g2,
e3*e3 - c*e3,
g3*g3 - c*g3,

e1*e3 - e3*e1,
g1*e3 - e3*g1,
e1*g3 - g3*e1,
g1*g3 - g3*g1,



512*g2*g1*g2 + 576*g2*g1*e2 - 432*c*g2*e2 + 
576*g2*e1*g2 + 648*g2*e1*e2 - 96*c*c*g2 - 
512*g1*g2*g1 - 576*g1*g2*e1 - 576*g1*e2*g1 - 
648*g1*e2*e1 + 432*c*g1*e1 + 96*c*c*g1 - 432*c*e2*g2 + 
576*e2*g1*g2 + 648*e2*g1*e2 + 648*e2*e1*g2 + 
729*e2*e1*e2 - 162*c*c*e2 - 576*e1*g2*g1 - 
648*e1*g2*e1 + 432*c*e1*g1 - 648*e1*e2*g1 - 
729*e1*e2*e1 + 162*c*c*e1,
 

 - 768*g2*g1*g2 - 864*g2*g1*e2 + 648*c*g2*e2 - 
864*g2*e1*g2 - 972*g2*e1*e2 + 72*c*g2*e1 + 
144*c*c*g2 + 768*g1*g2*g1 + 768*g1*g2*e1 + 
864*g1*e2*g1 + 864*g1*e2*e1 - 576*c*g1*e1 - 
144*c*c*g1 + 576*c*e2*g2 - 768*e2*g1*g2 -
864*e2*g1*e2 - 
72*c*e2*g1 - 864*e2*e1*g2 - 972*e2*e1*e2 + 
216*c*c*e2 + 864*e1*g2*g1 + 864*e1*g2*e1 - 
648*c*e1*g1 + 972*e1*e2*g1 + 972*e1*e2*e1 - 
216*c*c*e1,
 

256*g2*g1*g2 + 288*g2*g1*e2 - 216*c*g2*e2 + 
288*g2*e1*g2 + 324*g2*e1*e2 - 72*c*g2*e1 - 
48*c*c*g2 - 256*g1*g2*g1 - 192*g1*g2*e1 - 
288*g1*e2*g1 - 216*g1*e2*e1 + 144*c*g1*e1 + 
48*c*c*g1 - 144*c*e2*g2 + 192*e2*g1*g2 +
216*e2*g1*e2 + 
72*c*e2*g1 + 216*e2*e1*g2 + 243*e2*e1*e2 - 
54*c*c*e2 - 288*e1*g2*g1 - 216*e1*g2*e1 + 
216*c*e1*g1 - 324*e1*e2*g1 - 243*e1*e2*e1 + 
54*c*c*e1,
 

 - 768*g2*g1*g2 - 768*g2*g1*e2 + 576*c*g2*e2 - 
864*g2*e1*g2 - 864*g2*e1*e2 + 144*c*c*g2 + 
768*g1*g2*g1 + 864*g1*g2*e1 + 864*g1*e2*g1 + 
972*g1*e2*e1 - 72*c*g1*e2 - 648*c*g1*e1 - 
144*c*c*g1 + 648*c*e2*g2 - 864*e2*g1*g2 -
864*e2*g1*e2 - 
972*e2*e1*g2 - 972*e2*e1*e2 + 216*c*c*e2 + 
768*e1*g2*g1 + 864*e1*g2*e1 + 72*c*e1*g2 - 
576*c*e1*g1 + 864*e1*e2*g1 + 972*e1*e2*e1 - 
216*c*c*e1,
 

384*g2*g1*g2 + 288*g2*g1*e2 - 504*c*g2*e2 + 
528*g2*e1*g2 + 432*g2*e1*e2 - 132*c*g2*e1 - 
72*c*c*g2 - 384*g1*g2*g1 - 288*g1*g2*e1 - 
528*g1*e2*g1 - 432*g1*e2*e1 + 132*c*g1*e2 + 
504*c*g1*e1 + 72*c*c*g1 - 504*c*e2*g2 +
288*e2*g1*g2 + 
180*e2*g1*e2 + 132*c*e2*g1 + 432*e2*e1*g2 + 
324*e2*e1*e2 - 72*c*c*e2 - 288*e1*g2*g1 - 
180*e1*g2*e1 - 132*c*e1*g2 + 504*c*e1*g1 - 
432*e1*e2*g1 - 324*e1*e2*e1 + 72*c*c*e1,
 


768*g2*g1*g2 + 912*g2*g1*e2 - 252*c*g2*e2 + 
720*g2*e1*g2 + 864*g2*e1*e2 + 60*c*g2*e1 - 
144*c*c*g2 - 768*g1*g2*g1 - 864*g1*g2*e1 - 
720*g1*e2*g1 - 828*g1*e2*e1 - 72*c*g1*e2 + 
264*c*g1*e1 + 144*c*c*g1 - 264*c*e2*g2 +
864*e2*g1*g2 + 
1008*e2*g1*e2 - 60*c*e2*g1 + 828*e2*e1*g2 + 
972*e2*e1*e2 - 216*c*c*e2 - 912*e1*g2*g1 - 
1008*e1*g2*e1 + 72*c*e1*g2 + 252*c*e1*g1 - 
864*e1*e2*g1 - 972*e1*e2*e1 + 216*c*c*e1,
 

256*g2*g1*g2 + 192*g2*g1*e2 - 144*c*g2*e2 + 
288*g2*e1*g2 + 216*g2*e1*e2 - 48*c*c*g2 - 
256*g1*g2*g1 - 288*g1*g2*e1 - 288*g1*e2*g1 - 
324*g1*e2*e1 + 72*c*g1*e2 + 216*c*g1*e1 + 
48*c*c*g1 - 216*c*e2*g2 + 288*e2*g1*g2 +
216*e2*g1*e2 + 
324*e2*e1*g2 + 243*e2*e1*e2 - 54*c*c*e2 - 
192*e1*g2*g1 - 216*e1*g2*e1 - 72*c*e1*g2 + 
144*c*e1*g1 - 216*e1*e2*g1 - 243*e1*e2*e1 + 
54*c*c*e1,
 

768*g2*g1*g2 + 864*g2*g1*e2 - 264*c*g2*e2 + 
720*g2*e1*g2 + 828*g2*e1*e2 + 72*c*g2*e1 - 
144*c*c*g2 - 768*g1*g2*g1 - 912*g1*g2*e1 - 
720*g1*e2*g1 - 864*g1*e2*e1 - 60*c*g1*e2 + 
252*c*g1*e1 + 144*c*c*g1 - 252*c*e2*g2 + 912*e2*g1*g2 + 
1008*e2*g1*e2 - 72*c*e2*g1 + 864*e2*e1*g2 + 
972*e2*e1*e2 - 216*c*c*e2 - 864*e1*g2*g1 - 
1008*e1*g2*e1 + 60*c*e1*g2 + 264*c*e1*g1 - 
828*e1*e2*g1 - 972*e1*e2*e1 + 216*c*c*e1,
 

 - 1344*g2*g1*g2 - 1344*g2*g1*e2 + 576*c*g2*e2 - 
1392*g2*e1*g2 - 1404*g2*e1*e2 + 60*c*g2*e1 + 
252*c*c*g2 + 1344*g1*g2*g1 + 1344*g1*g2*e1 + 
1392*g1*e2*g1 + 1404*g1*e2*e1 - 60*c*g1*e2 - 
576*c*g1*e1 - 252*c*c*g1 + 576*c*e2*g2 -
1344*e2*g1*g2 - 
1332*e2*g1*e2 - 60*c*e2*g1 - 1404*e2*e1*g2 - 
1404*e2*e1*e2 + 312*c*c*e2 + 1344*e1*g2*g1 + 
1332*e1*g2*e1 + 60*c*e1*g2 - 576*c*e1*g1 + 
1404*e1*e2*g1 + 1404*e1*e2*e1 - 312*c*c*e1,



512*g3*g2*g3 + 576*g3*g2*e3 - 432*c*g3*e3 + 
576*g3*e2*g3 + 648*g3*e2*e3 - 96*c*c*g3 - 
512*g2*g3*g2 - 576*g2*g3*e2 - 576*g2*e3*g2 - 
648*g2*e3*e2 + 432*c*g2*e2 + 96*c*c*g2 - 432*c*e3*g3 + 
576*e3*g2*g3 + 648*e3*g2*e3 + 648*e3*e2*g3 + 
729*e3*e2*e3 - 162*c*c*e3 - 576*e2*g3*g2 - 
648*e2*g3*e2 + 432*c*e2*g2 - 648*e2*e3*g2 - 
729*e2*e3*e2 + 162*c*c*e2,
 

 - 768*g3*g2*g3 - 864*g3*g2*e3 + 648*c*g3*e3 - 
864*g3*e2*g3 - 972*g3*e2*e3 + 72*c*g3*e2 + 
144*c*c*g3 + 768*g2*g3*g2 + 768*g2*g3*e2 + 
864*g2*e3*g2 + 864*g2*e3*e2 - 576*c*g2*e2 - 
144*c*c*g2 + 576*c*e3*g3 - 768*e3*g2*g3 -
864*e3*g2*e3 - 
72*c*e3*g2 - 864*e3*e2*g3 - 972*e3*e2*e3 + 
216*c*c*e3 + 864*e2*g3*g2 + 864*e2*g3*e2 - 
648*c*e2*g2 + 972*e2*e3*g2 + 972*e2*e3*e2 - 
216*c*c*e2,
 

256*g3*g2*g3 + 288*g3*g2*e3 - 216*c*g3*e3 + 
288*g3*e2*g3 + 324*g3*e2*e3 - 72*c*g3*e2 - 
48*c*c*g3 - 256*g2*g3*g2 - 192*g2*g3*e2 - 
288*g2*e3*g2 - 216*g2*e3*e2 + 144*c*g2*e2 + 
48*c*c*g2 - 144*c*e3*g3 + 192*e3*g2*g3 +
216*e3*g2*e3 + 
72*c*e3*g2 + 216*e3*e2*g3 + 243*e3*e2*e3 - 
54*c*c*e3 - 288*e2*g3*g2 - 216*e2*g3*e2 + 
216*c*e2*g2 - 324*e2*e3*g2 - 243*e2*e3*e2 + 
54*c*c*e2,
 

 - 768*g3*g2*g3 - 768*g3*g2*e3 + 576*c*g3*e3 - 
864*g3*e2*g3 - 864*g3*e2*e3 + 144*c*c*g3 + 
768*g2*g3*g2 + 864*g2*g3*e2 + 864*g2*e3*g2 + 
972*g2*e3*e2 - 72*c*g2*e3 - 648*c*g2*e2 - 
144*c*c*g2 + 648*c*e3*g3 - 864*e3*g2*g3 -
864*e3*g2*e3 - 
972*e3*e2*g3 - 972*e3*e2*e3 + 216*c*c*e3 + 
768*e2*g3*g2 + 864*e2*g3*e2 + 72*c*e2*g3 - 
576*c*e2*g2 + 864*e2*e3*g2 + 972*e2*e3*e2 - 
216*c*c*e2,
 

384*g3*g2*g3 + 288*g3*g2*e3 - 504*c*g3*e3 + 
528*g3*e2*g3 + 432*g3*e2*e3 - 132*c*g3*e2 - 
72*c*c*g3 - 384*g2*g3*g2 - 288*g2*g3*e2 - 
528*g2*e3*g2 - 432*g2*e3*e2 + 132*c*g2*e3 + 
504*c*g2*e2 + 72*c*c*g2 - 504*c*e3*g3 +
288*e3*g2*g3 + 
180*e3*g2*e3 + 132*c*e3*g2 + 432*e3*e2*g3 + 
324*e3*e2*e3 - 72*c*c*e3 - 288*e2*g3*g2 - 
180*e2*g3*e2 - 132*c*e2*g3 + 504*c*e2*g2 - 
432*e2*e3*g2 - 324*e2*e3*e2 + 72*c*c*e2,
 


768*g3*g2*g3 + 912*g3*g2*e3 - 252*c*g3*e3 + 
720*g3*e2*g3 + 864*g3*e2*e3 + 60*c*g3*e2 - 
144*c*c*g3 - 768*g2*g3*g2 - 864*g2*g3*e2 - 
720*g2*e3*g2 - 828*g2*e3*e2 - 72*c*g2*e3 + 
264*c*g2*e2 + 144*c*c*g2 - 264*c*e3*g3 +
864*e3*g2*g3 + 
1008*e3*g2*e3 - 60*c*e3*g2 + 828*e3*e2*g3 + 
972*e3*e2*e3 - 216*c*c*e3 - 912*e2*g3*g2 - 
1008*e2*g3*e2 + 72*c*e2*g3 + 252*c*e2*g2 - 
864*e2*e3*g2 - 972*e2*e3*e2 + 216*c*c*e2,
 

256*g3*g2*g3 + 192*g3*g2*e3 - 144*c*g3*e3 + 
288*g3*e2*g3 + 216*g3*e2*e3 - 48*c*c*g3 - 
256*g2*g3*g2 - 288*g2*g3*e2 - 288*g2*e3*g2 - 
324*g2*e3*e2 + 72*c*g2*e3 + 216*c*g2*e2 + 
48*c*c*g2 - 216*c*e3*g3 + 288*e3*g2*g3 +
216*e3*g2*e3 + 
324*e3*e2*g3 + 243*e3*e2*e3 - 54*c*c*e3 - 
192*e2*g3*g2 - 216*e2*g3*e2 - 72*c*e2*g3 + 
144*c*e2*g2 - 216*e2*e3*g2 - 243*e2*e3*e2 + 
54*c*c*e2,
 

768*g3*g2*g3 + 864*g3*g2*e3 - 264*c*g3*e3 + 
720*g3*e2*g3 + 828*g3*e2*e3 + 72*c*g3*e2 - 
144*c*c*g3 - 768*g2*g3*g2 - 912*g2*g3*e2 - 
720*g2*e3*g2 - 864*g2*e3*e2 - 60*c*g2*e3 + 
252*c*g2*e2 + 144*c*c*g2 - 252*c*e3*g3 + 912*e3*g2*g3 + 
1008*e3*g2*e3 - 72*c*e3*g2 + 864*e3*e2*g3 + 
972*e3*e2*e3 - 216*c*c*e3 - 864*e2*g3*g2 - 
1008*e2*g3*e2 + 60*c*e2*g3 + 264*c*e2*g2 - 
828*e2*e3*g2 - 972*e2*e3*e2 + 216*c*c*e2,
 

 - 1344*g3*g2*g3 - 1344*g3*g2*e3 + 576*c*g3*e3 - 
1392*g3*e2*g3 - 1404*g3*e2*e3 + 60*c*g3*e2 + 
252*c*c*g3 + 1344*g2*g3*g2 + 1344*g2*g3*e2 + 
1392*g2*e3*g2 + 1404*g2*e3*e2 - 60*c*g2*e3 - 
576*c*g2*e2 - 252*c*c*g2 + 576*c*e3*g3 -
1344*e3*g2*g3 - 
1332*e3*g2*e3 - 60*c*e3*g2 - 1404*e3*e2*g3 - 
1404*e3*e2*e3 + 312*c*c*e3 + 1344*e2*g3*g2 + 
332*e2*g3*e2 + 60*c*e2*g3 - 576*c*e2*g2 + 
1404*e2*e3*g2 + 1404*e2*e3*e2 - 312*c*c*e2,

% Added forms with c powers factored out:

   e2*g3,
   g3*e2,
   e2*e3*g2,
   -6*e3*e2*g3-9*e3*e2*e3+9*e2*e3*e2+8*c*e3*g2+2*c*c*e3-2*c*c*e2,

   e3*g2,
   g2*e3,
   -16*e1*g2*g1-9*e1*e2*g1,
   e1*g3*e2,
   e2*e1*g3,
   16*e2*g1*g2+9*e2*e1*g2,
   e2*g1*g3,
   -9*e3*e2*e3+9*e2*e3*e2+2*c*c*e3-2*c*c*e2,
   e3*g2*g3,
   g1*e2*g3,
   g1*g3*e2,
   g2*e3*g2,

   e1*e3*g2,
   e1*g2*e3,
   -4*e1*g2*g3-c*e1*g3,
   e3*g1*g2,
   g1*g2*e3,
   g2*e1*e3,
   -4*g3*g2*e1-c*e1*g3,

% And the next generation:

   e1*g2,
   e1*g3,
   g2*e1,

   e2*g1,
   e3*g1,
   g1*e2;

