Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/ctbllib/data/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 1.2.2023 mit Größe 340 kB image not shown  

Quelle  clmelab.tbl   Sprache: unbekannt

 
#############################################################################
##
#W  clmelab.tbl                 GAP table library                Ute Schiffer
##
##  This file contains Clifford matrices for the extension of an elementary
##  abelian group.
##  The matrices are in general *NOT* ordered according to their dimensions,
##  it is safest to add new matrices at the end of the file.
##
#H  ctbllib history
#H  ---------------
#H  $Log: clmelab.tbl,v $
#H  Revision 4.9  2011/09/28 12:12:35  gap
#H  removed Revision entries and SET_TABLEFILENAME calls
#H      TB
#H
#H  Revision 4.8  2006/12/06 16:52:00  gap
#H  corrected the corrupted table of P41/G1/L1/V4/ext2;
#H  for that, added a new Clifford matrix
#H      TB
#H
#H  Revision 4.7  2005/09/27 07:29:34  gap
#H  added the table of 2^(1+22).Co2 (contributed by H. Pahlings)
#H      TB
#H
#H  Revision 4.6  2001/05/04 17:03:00  gap
#H  first revision for ctbllib
#H
#H
#H  tbl history (GAP 4)
#H  -------------------
#H  (Rev. 4.6 of ctbllib coincides with Rev. 4.5 of tbl in GAP 4)
#H  
#H  RCS file: /gap/CVS/GAP/4.0/tbl/clmelab.tbl,v
#H  Working file: clmelab.tbl
#H  head: 4.5
#H  branch:
#H  locks: strict
#H  access list:
#H  symbolic names:
#H   GAP4R2: 4.5.0.8
#H   GAP4R2PRE2: 4.5.0.6
#H   GAP4R2PRE1: 4.5.0.4
#H   GAP4R1: 4.5.0.2
#H  keyword substitution: kv
#H  total revisions: 6; selected revisions: 6
#H  description:
#H  ----------------------------
#H  revision 4.5
#H  date: 1999/07/14 11:44:12;  author: gap;  state: Exp;  lines: +25 -24
#H  fixed inconsistency that had occurred when the last Clifford table had
#H  been added
#H  
#H      TB
#H  ----------------------------
#H  revision 4.4
#H  date: 1998/12/07 14:37:06;  author: gap;  state: Exp;  lines: +18 -2
#H  added new table of 2^8:S8(2)
#H  
#H      TB
#H  ----------------------------
#H  revision 4.3
#H  date: 1998/03/13 08:40:09;  author: gap;  state: Exp;  lines: +5 -2
#H  added table of 2^8:O8+(2)
#H  
#H      TB
#H  ----------------------------
#H  revision 4.2
#H  date: 1997/08/01 15:42:33;  author: gap;  state: Exp;  lines: +15 -4
#H  added table of 2^7:S6(2)
#H      (subgroup of Fi22.2; stored using Clifford matrices);
#H  added tables of A14 mod p for p = 2, 11, 13
#H      (moved ordinary table from `ctomisc1.tbl' to `ctoalter.tbl' for that);
#H  added maxes of 2.M12;
#H  updated the ``table of contents''.
#H  ----------------------------
#H  revision 4.1
#H  date: 1997/07/17 15:33:43;  author: fceller;  state: Exp;  lines: +2 -2
#H  for version 4
#H  ----------------------------
#H  revision 1.1
#H  date: 1996/10/21 15:58:08;  author: sam;  state: Exp;
#H  first proposal of the table library
#H  ==========================================================================
##

LIBTABLE.clmelab:= [];

ACM("elab",3,[[1,1,1],[1,E(3),E(3)^2],[1,E(3)^2,E(3)]]);
ACM("elab",3,[[1,1,1],[18,0,-9],[8,-1,8]]);
ACM("elab",3,[[1,1,1],[27,-5,3],[36,4,-4]]);
ACM("elab",3,[[1,1,1],[135,-9,7],[120,8,-8]]);
ACM("elab",3,[[1,1,1],[5,-3,1],[10,2,-2]]);
ACM("elab",3,[[1,1,1],[3,3,-1],[12,-4,0]]);
ACM("elab",3,[[1,1,1],[9,-3,1],[6,2,-2]]);
ACM("elab",3,[[1,1,1],[1,1,-1],[2,-2,0]]);
ACM("elab",3,[[1,1,1],[14,-2,0],[1,1,-1]]);
ACM("elab",3,[[1,1,1],[7,7,-1],[8,-8,0]]);
ACM("elab",4,[[1,1,1,1],[72,9,-9,0],[80,-10,-1,8],[90,0,9,-9]]);
ACM("elab",4,[[1,1,1,1],[12,0,3,-3],[8,-4,-1,2],[6,3,-3,0]]);
ACM("elab",4,[[1,1,1,1],[8,8,8,-1],[9,9*E(3)^2,9*E(3),0],[9,9*E(3),9*E(3)^2,
0]]);
ACM("elab",4,[[1,1,1,1],[702,0,-27,27],[728,26,-1,-28],[756,-27,27,0]]);
ACM("elab",4,[[1,1,1,1],[1,E(3),E(3)^2,1],[1,E(3)^2,E(3),1],[24,0,0,-3]]);
ACM("elab",4,[[1,1,1,1],[12,0,3,-6],[2,-1,2,2],[12,0,-6,3]]);
ACM("elab",4,[[1,1,1,1],[98280,4072,-24,-24],[8292375,-2025,2071,-2025],[
8386560,-2048,-2048,2048]]);
ACM("elab",4,[[1,1,1,1],[378,58,-6,-6],[1701,-27,37,-27],[2016,-32,-32,32]]);
ACM("elab",4,[[1,1,1,1],[60,12,-4,-4],[75,-5,11,-5],[120,-8,-8,8]]);
ACM("elab",4,[[1,1,1,1],[1,1,1,-1],[6,6,-2,0],[8,-8,0,0]]);
ACM("elab",4,[[1,1,1,1],[6,-2,-2,2],[3,3,-1,-1],[6,-2,2,-2]]);
ACM("elab",4,[[1,1,1,1],[1,1,-1,-1],[1,-1,-1,1],[1,-1,1,-1]]);
ACM("elab",4,[[1,1,1,1],[5,-3,1,1],[5,1,1,-3],[5,1,-3,1]]);
ACM("elab",4,[[1,1,1,1],[7,-7,1,-1],[7,7,-1,-1],[1,-1,-1,1]]);
ACM("elab",4,[[1,1,1,1],[3,-1,3,-1],[3,3,-1,-1],[9,-3,-3,1]]);
ACM("elab",4,[[1,1,1,1],[8,-8,0,0],[3,3,3,-1],[4,4,-4,0]]);
ACM("elab",4,[[1,1,1,1],[12,-4,0,0],[1,1,1,-1],[2,2,-2,0]]);
ACM("elab",5,[[1,1,1,1,1],[12,-6,-6,3,0],[2,2,2,2,-1],[6,-3,6,-3,0],[6,6,-3,
-3,0]]);
ACM("elab",5,[[1,1,1,1,1],[90,9,0,9,-18],[2,2,-1,2,2],[60,6,0,-21,6],[90,-18,
0,9,9]]);
ACM("elab",5,[[1,1,1,1,1],[72,-9,0,18,-9],[2,2,-1,2,2],[96,15,0,-12,-12],[72,
-9,0,-9,18]]);
ACM("elab",5,[[1,1,1,1,1],[18,0,0,0,-9],[4,1,-2,-2,4],[2,-1,2,-1,2],[2,-1,-1,
2,2]]);
ACM("elab",5,[[1,1,1,1,1],[6,0,-3,3,-3],[4,1,2*E(3)-E(3)^2,-2,
-E(3)+2*E(3)^2],[4,1,-E(3)+2*E(3)^2,-2,2*E(3)-E(3)^2],[12,-3,3,0,3]]);
ACM("elab",5,[[1,1,1,1,1],[24,24,8,-8,0],[3,3,3,3,-1],[36,36,-12,4,0],[192,
-64,0,0,0]]);
ACM("elab",5,[[1,1,1,1,1],[12,12,4,-4,0],[1,1,1,1,-1],[18,18,-6,2,0],[32,-32,
0,0,0]]);
ACM("elab",5,[[1,1,1,1,1],[21,-3,-3,5,-3],[7,7,-1,-1,-1],[7,-1,7,-1,-1],[28,
-4,-4,-4,4]]);
ACM("elab",5,[[1,1,1,1,1],[4,4,-4,0,0],[2,2,2,-2,0],[1,1,1,1,-1],[8,-8,0,0,
0]]);
ACM("elab",5,[[1,1,1,1,1],[6,-2,-2,-2,2],[3,3,-1,-1,-1],[3,-1,3,-1,-1],[3,-1,
-1,3,-1]]);
ACM("elab",5,[[1,1,1,1,1],[1,1,1,1,-1],[6,-6,-2,2,0],[2,-2,2,-2,0],[6,6,-2,-2,
0]]);
ACM("elab",5,[[1,1,1,1,1],[1,1,-1,1,-1],[3,3,-3,-1,1],[3,3,3,-1,-1],[8,-8,0,0,
0]]);
ACM("elab",5,[[1,1,1,1,1],[12,-4,0,0,0],[1,1,-1,1,-1],[1,1,1,-1,-1],[1,1,-1,
-1,1]]);
ACM("elab",5,[[1,1,1,1,1],[4,-4,4,-4,0],[3,3,3,3,-1],[4,4,-4,-4,0],[4,-4,-4,4,
0]]);
ACM("elab",5,[[1,1,1,1,1],[4,-4,2,-2,0],[1,1,-1,-1,1],[4,-4,-2,2,0],[6,6,0,0,
-2]]);
ACM("elab",6,[[1,1,1,1,1,1],[54,0,0,27,-27,-27],[8,8,-1,8,8,8],[36,9,0,-18,
18*E(3)-9*E(3)^2,-9*E(3)+18*E(3)^2],[36,9,0,-18,-9*E(3)+18*E(3)^2,
18*E(3)-9*E(3)^2],[108,-27,0,0,27,27]]);
ACM("elab",6,[[1,1,1,1,1,1],[120,120,120,-8,-8,8],[2160,-144,112,240,-16,0],[
135,135,135,7,7,-9],[32400,-2160,1680,-240,16,0],[30720,2048,-2048,0,0,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[264,264,40,-24,8,0],[1,1,1,1,1,-1],[990,990,30,
30,-34,0],[792,792,-72,-8,24,0],[2048,-2048,0,0,0,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[48,16,-16,8,-8,0],[6,6,6,2,2,-2],[9,9,9,-3,-3,
1],[48,-32,16,4,-4,0],[144,0,-16,-12,12,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[12,-12,0,4,-4,0],[1,1,-1,1,1,-1],[15,15,15,-1,-1,
-1],[15,15,-15,-1,-1,1],[20,-20,0,-4,4,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[6,6,6,-2,2,-2],[36,-12,4,12,0,-4],[9,9,9,1,-3,
1],[108,-36,12,-12,0,4],[96,32,-32,0,0,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[3,-1,3,-1,-1,-1],[3,3,-1,-1,-1,-1],[3,-1,-1,-1,3,
-1],[3,-1,-1,-1,-1,3],[3,-1,-1,3,-1,-1]]);
ACM("elab",6,[[1,1,1,1,1,1],[4,-4,0,2,-2,0],[1,1,1,-1,-1,1],[4,-4,0,-2,2,0],[
2,2,2,0,0,-2],[4,4,-4,0,0,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[3,3,3,-1,-1,-1],[1,1,-1,1,1,-1],[3,3,-3,-1,-1,
1],[6,-6,0,2,-2,0],[2,-2,0,-2,2,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[2,2,-2,2,-2,0],[1,1,1,1,1,-1],[8,-8,0,0,0,0],[2,
2,2,-2,-2,0],[2,2,-2,-2,2,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[6,-6,2,-2,0,0],[1,1,1,1,-1,-1],[6,6,-2,-2,0,0],[
1,-1,-1,1,1,-1],[1,-1,-1,1,-1,1]]);
ACM("elab",6,[[1,1,1,1,1,1],[3,-3,3,-3,-1,1],[3,3,3,3,-1,-1],[4,4,-4,-4,0,0],[
4,-4,-4,4,0,0],[1,-1,1,-1,1,-1]]);
ACM("elab",6,[[1,1,1,1,1,1],[4,-4,-4,4,0,0],[1,1,1,1,1,-1],[4,-4,4,-4,0,0],[4,
4,-4,-4,0,0],[2,2,2,2,-2,0]]);
ACM("elab",6,[[1,1,1,1,1,1],[8,-8,0,0,0,0],[1,1,1,1,-1,-1],[4,4,-4,0,0,0],[1,
1,1,-1,1,-1],[1,1,1,-1,-1,1]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[6,6,6,-3,-3,-3,0],[2,2,2,2,2,2,-1],[6,6*E(3),
6*E(3)^2,-3,-3*E(3),-3*E(3)^2,0],[6,6*E(3)^2,6*E(3),-3,-3*E(3)^2,-3*E(3),0],[
3,3*E(3),3*E(3)^2,3,3*E(3),3*E(3)^2,0],[3,3*E(3)^2,3*E(3),3,3*E(3)^2,3*E(3),
0]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[2,-E(3),-E(3)^2,-1,2*E(3)^2,2*E(3),2],[2,
-E(3)^2,-E(3),-1,2*E(3),2*E(3)^2,2],[1,E(3)^2,E(3),1,E(3),E(3)^2,1],[1,E(3),
E(3)^2,1,E(3)^2,E(3),1],[2,-1,-1,-1,2,2,2],[18,0,0,0,0,0,-9]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[3,3*E(3),3*E(3)^2,3,3*E(3),3*E(3)^2,0],[3,
3*E(3)^2,3*E(3),3,3*E(3)^2,3*E(3),0],[2,2,2,2,2,2,-1],[6,-6*E(3),-6*E(3)^2,-3,
3*E(3),3*E(3)^2,0],[6,-6*E(3)^2,-6*E(3),-3,3*E(3)^2,3*E(3),0],[6,6,6,-3,-3,-3,
0]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[4,-4,4,-4,0,0,0],[1,1,1,1,-1,1,-1],[1,1,1,1,1,
-1,-1],[1,1,1,1,-1,-1,1],[4,4,-4,-4,0,0,0],[4,-4,-4,4,0,0,0]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[4,-4,0,0,0,2,-2],[1,1,1,1,1,-1,-1],[4,-4,0,0,0,
-2,2],[2,2,-2,2,-2,0,0],[2,2,2,-2,-2,0,0],[2,2,-2,-2,2,0,0]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[2,2,-2,2,-2,0,0],[1,1,1,1,1,-1,-1],[8,-8,0,0,0,
0,0],[1,1,1,-1,-1,1,-1],[2,2,-2,-2,2,0,0],[1,1,1,-1,-1,-1,1]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[4,-4,-4,4,0,0,0],[1,1,1,1,1,1,-1],[2,-2,2,-2,2,
-2,0],[4,4,-4,-4,0,0,0],[2,-2,2,-2,-2,2,0],[2,2,2,2,-2,-2,0]]);
ACM("elab",8,[[1,1,1,1,1,1,1,1],[6,2,-2,6,-2,-6,6,6],[10,-2,2,10,2,-10,10,
10],[120,0,24,24,-8,0,-8,-40],[15,-1,-1,15,-1,15,15,15],[360,0,-24,72,8,0,-24,
-120],[32,0,0,-32,0,0,32,-32],[480,0,0,-96,0,0,-32,160]]);
ACM("elab",8,[[1,1,1,1,1,1,1,1],[1,-1,1,-1,1,-1,1,-1],[3,3,3,3,-1,-1,-1,-1],[
3,-3,3,-3,-1,1,-1,1],[3,3,-3,-3,1,1,-1,-1],[3,-3,-3,3,1,-1,-1,1],[1,1,-1,-1,
-1,-1,1,1],[1,-1,-1,1,-1,1,1,-1]]);
ACM("elab",8,[[1,1,1,1,1,1,1,1],[2,-2,2,-2,2,-2,0,0],[1,1,1,1,1,1,-1,-1],[4,4,
-4,-4,0,0,0,0],[4,-4,-4,4,0,0,0,0],[1,1,1,1,-1,-1,1,-1],[2,-2,2,-2,-2,2,0,0],[
1,1,1,1,-1,-1,-1,1]]);
ACM("elab",8,[[1,1,1,1,1,1,1,1],[2,-2,2,-2,2,-2,0,0],[1,1,1,1,1,1,-1,-1],[4,4,
-4,-4,0,0,0,0],[4,-4,-4,4,0,0,0,0],[2,2,2,2,-2,-2,0,0],[1,-1,1,-1,-1,1,1,-1],[
1,-1,1,-1,-1,1,-1,1]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[1,1,1,1,-1,-1,-1,-1,1],[2,2,-2,-2,2,-2,0,0,
0],[2,-2,2,-2,0,0,2,-2,0],[1,1,1,1,1,1,-1,-1,-1],[1,1,1,1,-1,-1,1,1,-1],[2,2,
-2,-2,-2,2,0,0,0],[2,-2,2,-2,0,0,-2,2,0],[4,-4,-4,4,0,0,0,0,0]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[1,1,-1,-1,-1,1,1,-1,1],[3,-1,-3,1,1,3,3,-3,
3],[12,0,0,4,-4,-4,4,0,-12],[3,-1,3,-1,-1,3,3,3,3],[12,0,0,-4,4,-4,4,0,-12],[
4,0,-4,0,0,4,-4,4,-4],[4,0,4,0,0,4,-4,-4,-4],[24,0,0,0,0,-8,-8,0,24]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[1,1,-1,1,-1,1,-1,1,-1],[1,1,1,-1,-1,1,1,-1,
-1],[1,1,-1,-1,1,1,-1,-1,1],[8,-8,0,0,0,0,0,0,0],[1,1,1,1,1,-1,-1,-1,-1],[1,1,
-1,1,-1,-1,1,-1,1],[1,1,1,-1,-1,-1,-1,1,1],[1,1,-1,-1,1,-1,1,1,-1]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[2,-2,2,-2,2,-2,2,-2,0],[1,1,1,1,1,1,1,1,
-1],[2,2,-2,-2,2,2,-2,-2,0],[2,-2,-2,2,2,-2,-2,2,0],[2,2,2,2,-2,-2,-2,-2,0],[
2,-2,2,-2,-2,2,-2,2,0],[2,2,-2,-2,-2,-2,2,2,0],[2,-2,-2,2,-2,2,2,-2,0]]);
ACM("elab",10,[[1,1,1,1,1,1,1,1,1,1],[2,-2,2,-2,2,-2,0,0,0,0],[1,1,1,1,-1,-1,
1,-1,-1,1],[2,-2,2,-2,-2,2,0,0,0,0],[1,1,1,1,1,1,-1,-1,-1,-1],[1,1,1,1,-1,-1,
-1,1,1,-1],[2,2,-2,-2,0,0,2,0,0,-2],[2,-2,-2,2,0,0,0,2,-2,0],[2,-2,-2,2,0,0,0,
-2,2,0],[2,2,-2,-2,0,0,-2,0,0,2]]);
ACM("elab",10,[[1,1,1,1,1,1,1,1,1,1],[2,-2,2,-2,2,-2,2,-2,0,0],[1,1,1,1,1,1,1,
1,-1,-1],[2,2,-2,-2,2,2,-2,-2,0,0],[2,-2,-2,2,2,-2,-2,2,0,0],[2,2,2,2,-2,-2,
-2,-2,0,0],[2,-2,2,-2,-2,2,-2,2,0,0],[2,2,-2,-2,-2,-2,2,2,0,0],[1,-1,-1,1,-1,
1,1,-1,1,-1],[1,-1,-1,1,-1,1,1,-1,-1,1]]);
ACM("elab",10,[[1,1,1,1,1,1,1,1,1,1],[1,-1,1,-1,1,-1,1,-1,1,-1],[1,1,1,1,-1,
-1,1,1,-1,-1],[1,-1,1,-1,-1,1,1,-1,-1,1],[4,4,-4,-4,0,0,0,0,0,0],[4,-4,-4,4,0,
0,0,0,0,0],[1,1,1,1,1,1,-1,-1,-1,-1],[1,-1,1,-1,1,-1,-1,1,-1,1],[1,1,1,1,-1,
-1,-1,-1,1,1],[1,-1,1,-1,-1,1,-1,1,1,-1]]);
ACM("elab",12,[[1,1,1,1,1,1,1,1,1,1,1,1],[1,-1,1,-1,1,-1,1,-1,1,-1,1,-1],[1,1,
1,1,1,1,1,1,-1,-1,-1,-1],[1,-1,1,-1,1,-1,1,-1,-1,1,-1,1],[2,2,-2,-2,2,2,-2,-2,
0,0,0,0],[2,-2,-2,2,2,-2,-2,2,0,0,0,0],[2,2,2,2,-2,-2,-2,-2,0,0,0,0],[2,-2,2,
-2,-2,2,-2,2,0,0,0,0],[1,1,-1,-1,-1,-1,1,1,1,1,-1,-1],[1,-1,-1,1,-1,1,1,-1,1,
-1,-1,1],[1,1,-1,-1,-1,-1,1,1,-1,-1,1,1],[1,-1,-1,1,-1,1,1,-1,-1,1,1,-1]]);
ACM("elab",7,[[1,1,1,1,1,1,1],[5,2,E(3)-2*E(3)^2,-2*E(3)+E(3)^2,-1,
4*E(3)+E(3)^2,E(3)+4*E(3)^2],[5,2,-2*E(3)+E(3)^2,E(3)-2*E(3)^2,-1,
E(3)+4*E(3)^2,4*E(3)+E(3)^2],[10,1,5*E(3)+2*E(3)^2,2*E(3)+5*E(3)^2,1,
-4*E(3)+2*E(3)^2,2*E(3)-4*E(3)^2],[10,1,2*E(3)+5*E(3)^2,5*E(3)+2*E(3)^2,1,
2*E(3)-4*E(3)^2,-4*E(3)+2*E(3)^2],[20,-1,2,2,-4,8,8],[30,-6,3,3,3,-6,-6]]);
ACM("elab",6,[[1,1,1,1,1,1],[1,E(3),E(3)^2,1,E(3),E(3)^2],[1,E(3)^2,E(3),1,
E(3)^2,E(3)],[2,2*E(3),2*E(3)^2,-1,-E(3),-E(3)^2],[2,2*E(3)^2,2*E(3),-1,
-E(3)^2,-E(3)],[2,2,2,-1,-1,-1]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[1,E(3),E(3)^2,E(3)^2,1,E(3),E(3),E(3)^2,
1],[1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2],[1,E(3)^2,E(3),E(3),1,E(3)^2,
E(3)^2,E(3),1],[1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3)],[1,E(3)^2,E(3),
E(3)^2,E(3),1,E(3),1,E(3)^2],[1,E(3),E(3)^2,E(3),E(3)^2,1,E(3)^2,1,E(3)],[1,1,
1,E(3),E(3),E(3),E(3)^2,E(3)^2,E(3)^2],[1,1,1,E(3)^2,E(3)^2,E(3)^2,E(3),E(3),
E(3)]]);
ACM("elab",14,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1],[5,3,1,1+2*E(4),1-2*E(4),
1+4*E(4),1,-1,-3,1-4*E(4),-1+2*E(4),-3+2*E(4),-1-2*E(4),-3-2*E(4)],[5,1,5,1,1,
-3,-3,1,5,-3,-3,1,-3,1],[5,3,1,1-2*E(4),1+2*E(4),1-4*E(4),1,-1,-3,1+4*E(4),
-1-2*E(4),-3-2*E(4),-1+2*E(4),-3+2*E(4)],[10,4,-2,-2+2*E(4),-2-2*E(4),
-6+4*E(4),2,0,2,-6-4*E(4),-2*E(4),2-6*E(4),2*E(4),2+6*E(4)],[10,-2,10,-2,-2,2,
2,-2,10,2,2,-2,2,-2],[10,4,-2,-2-2*E(4),-2+2*E(4),-6-4*E(4),2,0,2,-6+4*E(4),
2*E(4),2+6*E(4),-2*E(4),2-6*E(4)],[20,0,4,4*E(4),-4*E(4),-4-8*E(4),-4,0,-12,
-4+8*E(4),4-4*E(4),4*E(4),4+4*E(4),-4*E(4)],[20,4,-4,0,0,12,-4,-4,4,12,0,8,0,
8],[20,0,4,-4*E(4),4*E(4),-4+8*E(4),-4,0,-12,-4-8*E(4),4+4*E(4),-4*E(4),
4-4*E(4),4*E(4)],[30,0,-6,-2+2*E(4),-2-2*E(4),6-12*E(4),-2,4,6,6+12*E(4),
6*E(4),-6-6*E(4),-6*E(4),-6+6*E(4)],[30,0,-6,-2-2*E(4),-2+2*E(4),6+12*E(4),-2,
4,6,6-12*E(4),-6*E(4),-6+6*E(4),6*E(4),-6-6*E(4)],[30,-6,6,-2,-2,6,6,2,-18,6,
-6,6,-6,6],[60,-12,-12,8,8,-12,4,-4,12,-12,0,0,0,0]]);
ACM("elab",10,[[1,1,1,1,1,1,1,1,1,1],[1,E(4),-1,-E(4),1,-1,-E(4),1,E(4),-1],[
1,-1,1,-1,1,1,-1,1,-1,1],[1,-E(4),-1,E(4),1,-1,E(4),1,-E(4),-1],[2,-1+E(4),0,
-1-E(4),0,-2*E(4),1+E(4),-2,1-E(4),2*E(4)],[2,0,2,0,-2,-2,0,2,0,-2],[2,
-1-E(4),0,-1+E(4),0,2*E(4),1-E(4),-2,1+E(4),-2*E(4)],[2,1-E(4),0,1+E(4),0,
-2*E(4),-1-E(4),-2,-1+E(4),2*E(4)],[2,1+E(4),0,1-E(4),0,2*E(4),-1+E(4),-2,
-1-E(4),-2*E(4)],[2,0,-2,0,-2,2,0,2,0,2]]);
ACM("elab",16,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,-1,1,-1,-E(4),E(4),-E(4),
E(4),-1,1,-1,1,E(4),-E(4),E(4),-E(4)],[1,E(4),-1,-E(4),1,E(4),-1,-E(4),1,E(4),
-1,-E(4),1,E(4),-1,-E(4)],[1,1,1,1,-1,-1,-1,-1,1,1,1,1,-1,-1,-1,-1],[1,-1,1,
-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1],[1,-1,1,-1,E(4),-E(4),E(4),-E(4),-1,1,-1,1,
-E(4),E(4),-E(4),E(4)],[1,-E(4),-1,E(4),1,-E(4),-1,E(4),1,-E(4),-1,E(4),1,
-E(4),-1,E(4)],[1,-E(4),-1,E(4),-E(4),-1,E(4),1,-1,E(4),1,-E(4),E(4),1,-E(4),
-1],[1,-1,1,-1,-1,1,-1,1,1,-1,1,-1,-1,1,-1,1],[1,E(4),-1,-E(4),E(4),-1,-E(4),
1,-1,-E(4),1,E(4),-E(4),1,E(4),-1],[1,E(4),-1,-E(4),-1,-E(4),1,E(4),1,E(4),-1,
-E(4),-1,-E(4),1,E(4)],[1,1,1,1,-E(4),-E(4),-E(4),-E(4),-1,-1,-1,-1,E(4),E(4),
E(4),E(4)],[1,-E(4),-1,E(4),E(4),1,-E(4),-1,-1,E(4),1,-E(4),-E(4),-1,E(4),1],[
1,E(4),-1,-E(4),-E(4),1,E(4),-1,-1,-E(4),1,E(4),E(4),-1,-E(4),1],[1,1,1,1,
E(4),E(4),E(4),E(4),-1,-1,-1,-1,-E(4),-E(4),-E(4),-E(4)],[1,-E(4),-1,E(4),-1,
E(4),1,-E(4),1,-E(4),-1,E(4),-1,E(4),1,-E(4)]]);
ACM("elab",27,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[5,
-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,
-2*E(5)^2-E(5)^3-2*E(5)^4,-E(5)-2*E(5)^3-2*E(5)^4,-2*E(5)-E(5)^2-2*E(5)^3,
-2*E(5)-2*E(5)^2-E(5)^4,2*E(5)-E(5)^3-E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,0,0,
-E(5)^2+2*E(5)^3-E(5)^4,-E(5)+2*E(5)^2-E(5)^3,-E(5)+E(5)^2+E(5)^3-E(5)^4,
-E(5)-E(5)^2+2*E(5)^4,5*E(5),3*E(5)+E(5)^3+E(5)^4,2*E(5)+2*E(5)^2+E(5)^4,
2*E(5)+E(5)^2+2*E(5)^3,E(5)+3*E(5)^2+E(5)^3,E(5)+E(5)^2+3*E(5)^4,
E(5)+2*E(5)^3+2*E(5)^4,5*E(5)^2,2*E(5)^2+E(5)^3+2*E(5)^4,
E(5)^2+3*E(5)^3+E(5)^4,5*E(5)^3,5*E(5)^4],[5,-3*E(5)-2*E(5)^2-2*E(5)^3
 -3*E(5)^4,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-E(5)-2*E(5)^3-2*E(5)^4,
-2*E(5)-E(5)^2-2*E(5)^3,-2*E(5)-2*E(5)^2-E(5)^4,-2*E(5)^2-E(5)^3-2*E(5)^4,
-E(5)+2*E(5)^2-E(5)^3,-E(5)+E(5)^2+E(5)^3-E(5)^4,0,0,2*E(5)-E(5)^3-E(5)^4,
-E(5)-E(5)^2+2*E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,-E(5)^2+2*E(5)^3-E(5)^4,
5*E(5)^2,E(5)+3*E(5)^2+E(5)^3,2*E(5)^2+E(5)^3+2*E(5)^4,2*E(5)+2*E(5)^2+E(5)^4,
E(5)+E(5)^2+3*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,2*E(5)+E(5)^2+2*E(5)^3,5*E(5)^4,
E(5)+2*E(5)^3+2*E(5)^4,3*E(5)+E(5)^3+E(5)^4,5*E(5),5*E(5)^3],[5,
-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,
-2*E(5)-2*E(5)^2-E(5)^4,-2*E(5)^2-E(5)^3-2*E(5)^4,-E(5)-2*E(5)^3-2*E(5)^4,
-2*E(5)-E(5)^2-2*E(5)^3,-E(5)^2+2*E(5)^3-E(5)^4,-E(5)+E(5)^2+E(5)^3-E(5)^4,0,
0,-E(5)-E(5)^2+2*E(5)^4,2*E(5)-E(5)^3-E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,
-E(5)+2*E(5)^2-E(5)^3,5*E(5)^3,E(5)^2+3*E(5)^3+E(5)^4,2*E(5)+E(5)^2+2*E(5)^3,
E(5)+2*E(5)^3+2*E(5)^4,3*E(5)+E(5)^3+E(5)^4,E(5)+3*E(5)^2+E(5)^3,
2*E(5)^2+E(5)^3+2*E(5)^4,5*E(5),2*E(5)+2*E(5)^2+E(5)^4,E(5)+E(5)^2+3*E(5)^4,
5*E(5)^4,5*E(5)^2],[5,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-3*E(5)-2*E(5)^2
 -2*E(5)^3-3*E(5)^4,-2*E(5)-E(5)^2-2*E(5)^3,-2*E(5)-2*E(5)^2-E(5)^4,
-2*E(5)^2-E(5)^3-2*E(5)^4,-E(5)-2*E(5)^3-2*E(5)^4,-E(5)-E(5)^2+2*E(5)^4,
E(5)-E(5)^2-E(5)^3+E(5)^4,0,0,-E(5)+2*E(5)^2-E(5)^3,-E(5)^2+2*E(5)^3-E(5)^4,
-E(5)+E(5)^2+E(5)^3-E(5)^4,2*E(5)-E(5)^3-E(5)^4,5*E(5)^4,E(5)+E(5)^2+3*E(5)^4,
E(5)+2*E(5)^3+2*E(5)^4,2*E(5)^2+E(5)^3+2*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,
3*E(5)+E(5)^3+E(5)^4,2*E(5)+2*E(5)^2+E(5)^4,5*E(5)^3,2*E(5)+E(5)^2+2*E(5)^3,
E(5)+3*E(5)^2+E(5)^3,5*E(5)^2,5*E(5)],[10,-E(5)-4*E(5)^2-4*E(5)^3-E(5)^4,
-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,3*E(5)+E(5)^3+E(5)^4,E(5)+3*E(5)^2+E(5)^3,
E(5)+E(5)^2+3*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,
-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,0,0,4*E(5)+3*E(5)^3+3*E(5)^4,
3*E(5)+3*E(5)^2+4*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,3*E(5)^2+4*E(5)^3
 +3*E(5)^4,10*E(5)^2,-3*E(5)+E(5)^2-3*E(5)^3,-E(5)^2+2*E(5)^3-E(5)^4,
-E(5)-E(5)^2+2*E(5)^4,-3*E(5)-3*E(5)^2+E(5)^4,-3*E(5)^2+E(5)^3-3*E(5)^4,
-E(5)+2*E(5)^2-E(5)^3,10*E(5)^4,2*E(5)-E(5)^3-E(5)^4,E(5)-3*E(5)^3-3*E(5)^4,
10*E(5),10*E(5)^3],[10,-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,-E(5)-4*E(5)^2-4*E(5)^3
 -E(5)^4,E(5)+3*E(5)^2+E(5)^3,E(5)+E(5)^2+3*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,
3*E(5)+E(5)^3+E(5)^4,3*E(5)+3*E(5)^2+4*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3
 -3*E(5)^4,0,0,3*E(5)+4*E(5)^2+3*E(5)^3,3*E(5)^2+4*E(5)^3+3*E(5)^4,
-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,4*E(5)+3*E(5)^3+3*E(5)^4,10*E(5)^4,
-3*E(5)-3*E(5)^2+E(5)^4,2*E(5)-E(5)^3-E(5)^4,-E(5)^2+2*E(5)^3-E(5)^4,
-3*E(5)^2+E(5)^3-3*E(5)^4,E(5)-3*E(5)^3-3*E(5)^4,-E(5)-E(5)^2+2*E(5)^4,
10*E(5)^3,-E(5)+2*E(5)^2-E(5)^3,-3*E(5)+E(5)^2-3*E(5)^3,10*E(5)^2,10*E(5)],[
10,-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,-E(5)-4*E(5)^2-4*E(5)^3-E(5)^4,
E(5)^2+3*E(5)^3+E(5)^4,3*E(5)+E(5)^3+E(5)^4,E(5)+3*E(5)^2+E(5)^3,
E(5)+E(5)^2+3*E(5)^4,4*E(5)+3*E(5)^3+3*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3
 -3*E(5)^4,0,0,3*E(5)^2+4*E(5)^3+3*E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,
-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,3*E(5)+3*E(5)^2+4*E(5)^4,10*E(5),
E(5)-3*E(5)^3-3*E(5)^4,-E(5)-E(5)^2+2*E(5)^4,-E(5)+2*E(5)^2-E(5)^3,
-3*E(5)+E(5)^2-3*E(5)^3,-3*E(5)-3*E(5)^2+E(5)^4,2*E(5)-E(5)^3-E(5)^4,
10*E(5)^2,-E(5)^2+2*E(5)^3-E(5)^4,-3*E(5)^2+E(5)^3-3*E(5)^4,10*E(5)^3,
10*E(5)^4],[10,-E(5)-4*E(5)^2-4*E(5)^3-E(5)^4,-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,
E(5)+E(5)^2+3*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,3*E(5)+E(5)^3+E(5)^4,
E(5)+3*E(5)^2+E(5)^3,3*E(5)^2+4*E(5)^3+3*E(5)^4,-2*E(5)-3*E(5)^2-3*E(5)^3
 -2*E(5)^4,0,0,3*E(5)+3*E(5)^2+4*E(5)^4,4*E(5)+3*E(5)^3+3*E(5)^4,
-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,10*E(5)^3,
-3*E(5)^2+E(5)^3-3*E(5)^4,-E(5)+2*E(5)^2-E(5)^3,2*E(5)-E(5)^3-E(5)^4,
E(5)-3*E(5)^3-3*E(5)^4,-3*E(5)+E(5)^2-3*E(5)^3,-E(5)^2+2*E(5)^3-E(5)^4,
10*E(5),-E(5)-E(5)^2+2*E(5)^4,-3*E(5)-3*E(5)^2+E(5)^4,10*E(5)^4,10*E(5)^2],[
12,-3,-3,2,2,2,2,-3,2,-2*E(5)+3*E(5)^2+3*E(5)^3-2*E(5)^4,
3*E(5)-2*E(5)^2-2*E(5)^3+3*E(5)^4,-3,-3,2,-3,12,-3,2,2,-3,-3,2,12,2,-3,12,
12],[12,-3,-3,2,2,2,2,-3,2,3*E(5)-2*E(5)^2-2*E(5)^3+3*E(5)^4,-2*E(5)+3*E(5)^2
 +3*E(5)^3-2*E(5)^4,-3,-3,2,-3,12,-3,2,2,-3,-3,2,12,2,-3,12,12],[20,
-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,
2*E(5)+2*E(5)^2-4*E(5)^4,2*E(5)^2-4*E(5)^3+2*E(5)^4,-4*E(5)+2*E(5)^3+2*E(5)^4,
2*E(5)-4*E(5)^2+2*E(5)^3,E(5)^2+3*E(5)^3+E(5)^4,6*E(5)+4*E(5)^2+4*E(5)^3
 +6*E(5)^4,0,0,E(5)+E(5)^2+3*E(5)^4,3*E(5)+E(5)^3+E(5)^4,
4*E(5)+6*E(5)^2+6*E(5)^3+4*E(5)^4,E(5)+3*E(5)^2+E(5)^3,20*E(5)^3,
-E(5)^2+2*E(5)^3-E(5)^4,-2*E(5)-6*E(5)^2-2*E(5)^3,-6*E(5)-2*E(5)^3-2*E(5)^4,
2*E(5)-E(5)^3-E(5)^4,-E(5)+2*E(5)^2-E(5)^3,-2*E(5)^2-6*E(5)^3-2*E(5)^4,
20*E(5),-2*E(5)-2*E(5)^2-6*E(5)^4,-E(5)-E(5)^2+2*E(5)^4,20*E(5)^4,20*E(5)^2],[
20,-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,
2*E(5)-4*E(5)^2+2*E(5)^3,2*E(5)+2*E(5)^2-4*E(5)^4,2*E(5)^2-4*E(5)^3+2*E(5)^4,
-4*E(5)+2*E(5)^3+2*E(5)^4,E(5)+E(5)^2+3*E(5)^4,4*E(5)+6*E(5)^2+6*E(5)^3
 +4*E(5)^4,0,0,E(5)+3*E(5)^2+E(5)^3,E(5)^2+3*E(5)^3+E(5)^4,
6*E(5)+4*E(5)^2+4*E(5)^3+6*E(5)^4,3*E(5)+E(5)^3+E(5)^4,20*E(5)^4,
-E(5)-E(5)^2+2*E(5)^4,-6*E(5)-2*E(5)^3-2*E(5)^4,-2*E(5)^2-6*E(5)^3-2*E(5)^4,
-E(5)^2+2*E(5)^3-E(5)^4,2*E(5)-E(5)^3-E(5)^4,-2*E(5)-2*E(5)^2-6*E(5)^4,
20*E(5)^3,-2*E(5)-6*E(5)^2-2*E(5)^3,-E(5)+2*E(5)^2-E(5)^3,20*E(5)^2,20*E(5)],[
20,-5*E(5)^2-5*E(5)^3,-5*E(5)-5*E(5)^4,0,0,0,0,-5*E(5)^2-5*E(5)^3,0,-5,-5,
-5*E(5)-5*E(5)^4,-5*E(5)-5*E(5)^4,0,-5*E(5)^2-5*E(5)^3,20,-5*E(5)-5*E(5)^4,0,
0,-5*E(5)^2-5*E(5)^3,-5*E(5)-5*E(5)^4,0,20,0,-5*E(5)^2-5*E(5)^3,20,20],[20,
-5*E(5)-5*E(5)^4,-5*E(5)^2-5*E(5)^3,0,0,0,0,-5*E(5)-5*E(5)^4,0,-5,-5,
-5*E(5)^2-5*E(5)^3,-5*E(5)^2-5*E(5)^3,0,-5*E(5)-5*E(5)^4,20,-5*E(5)^2-5*E(5)^3
 ,0,0,-5*E(5)-5*E(5)^4,-5*E(5)^2-5*E(5)^3,0,20,0,-5*E(5)-5*E(5)^4,20,20],[20,
-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,
2*E(5)^2-4*E(5)^3+2*E(5)^4,-4*E(5)+2*E(5)^3+2*E(5)^4,2*E(5)-4*E(5)^2+2*E(5)^3,
2*E(5)+2*E(5)^2-4*E(5)^4,3*E(5)+E(5)^3+E(5)^4,4*E(5)+6*E(5)^2+6*E(5)^3
 +4*E(5)^4,0,0,E(5)^2+3*E(5)^3+E(5)^4,E(5)+3*E(5)^2+E(5)^3,
6*E(5)+4*E(5)^2+4*E(5)^3+6*E(5)^4,E(5)+E(5)^2+3*E(5)^4,20*E(5),
2*E(5)-E(5)^3-E(5)^4,-2*E(5)-2*E(5)^2-6*E(5)^4,-2*E(5)-6*E(5)^2-2*E(5)^3,
-E(5)+2*E(5)^2-E(5)^3,-E(5)-E(5)^2+2*E(5)^4,-6*E(5)-2*E(5)^3-2*E(5)^4,
20*E(5)^2,-2*E(5)^2-6*E(5)^3-2*E(5)^4,-E(5)^2+2*E(5)^3-E(5)^4,20*E(5)^3,
20*E(5)^4],[20,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3
 -3*E(5)^4,-4*E(5)+2*E(5)^3+2*E(5)^4,2*E(5)-4*E(5)^2+2*E(5)^3,
2*E(5)+2*E(5)^2-4*E(5)^4,2*E(5)^2-4*E(5)^3+2*E(5)^4,E(5)+3*E(5)^2+E(5)^3,
6*E(5)+4*E(5)^2+4*E(5)^3+6*E(5)^4,0,0,3*E(5)+E(5)^3+E(5)^4,
E(5)+E(5)^2+3*E(5)^4,4*E(5)+6*E(5)^2+6*E(5)^3+4*E(5)^4,E(5)^2+3*E(5)^3+E(5)^4,
20*E(5)^2,-E(5)+2*E(5)^2-E(5)^3,-2*E(5)^2-6*E(5)^3-2*E(5)^4,-2*E(5)-2*E(5)^2
 -6*E(5)^4,-E(5)-E(5)^2+2*E(5)^4,-E(5)^2+2*E(5)^3-E(5)^4,-2*E(5)-6*E(5)^2
 -2*E(5)^3,20*E(5)^4,-6*E(5)-2*E(5)^3-2*E(5)^4,2*E(5)-E(5)^3-E(5)^4,20*E(5),
20*E(5)^3],[30,3*E(5)-3*E(5)^2-3*E(5)^3+3*E(5)^4,-3*E(5)+3*E(5)^2+3*E(5)^3
 -3*E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,3*E(5)+3*E(5)^2+4*E(5)^4,3*E(5)^2+4*E(5)^3
 +3*E(5)^4,4*E(5)+3*E(5)^3+3*E(5)^4,-6*E(5)-6*E(5)^2-3*E(5)^4,
-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,0,0,-6*E(5)-3*E(5)^2-6*E(5)^3,
-6*E(5)^2-3*E(5)^3-6*E(5)^4,-E(5)-4*E(5)^2-4*E(5)^3-E(5)^4,-3*E(5)-6*E(5)^3
 -6*E(5)^4,30*E(5)^4,6*E(5)+6*E(5)^2+3*E(5)^4,E(5)-3*E(5)^3-3*E(5)^4,
-3*E(5)^2+E(5)^3-3*E(5)^4,6*E(5)^2+3*E(5)^3+6*E(5)^4,3*E(5)+6*E(5)^3+6*E(5)^4,
-3*E(5)-3*E(5)^2+E(5)^4,30*E(5)^3,-3*E(5)+E(5)^2-3*E(5)^3,
6*E(5)+3*E(5)^2+6*E(5)^3,30*E(5)^2,30*E(5)],[30,0,0,5*E(5)+5*E(5)^4,
5*E(5)^2+5*E(5)^3,5*E(5)+5*E(5)^4,5*E(5)^2+5*E(5)^3,0,5*E(5)^2+5*E(5)^3,5,5,0,
0,5*E(5)+5*E(5)^4,0,30,0,5*E(5)+5*E(5)^4,5*E(5)^2+5*E(5)^3,0,0,
5*E(5)+5*E(5)^4,30,5*E(5)^2+5*E(5)^3,0,30,30],[30,3*E(5)-3*E(5)^2-3*E(5)^3
 +3*E(5)^4,-3*E(5)+3*E(5)^2+3*E(5)^3-3*E(5)^4,3*E(5)^2+4*E(5)^3+3*E(5)^4,
4*E(5)+3*E(5)^3+3*E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,3*E(5)+3*E(5)^2+4*E(5)^4,
-3*E(5)-6*E(5)^3-6*E(5)^4,-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,0,0,
-6*E(5)^2-3*E(5)^3-6*E(5)^4,-6*E(5)-3*E(5)^2-6*E(5)^3,-E(5)-4*E(5)^2-4*E(5)^3
 -E(5)^4,-6*E(5)-6*E(5)^2-3*E(5)^4,30*E(5),3*E(5)+6*E(5)^3+6*E(5)^4,
-3*E(5)-3*E(5)^2+E(5)^4,-3*E(5)+E(5)^2-3*E(5)^3,6*E(5)+3*E(5)^2+6*E(5)^3,
6*E(5)+6*E(5)^2+3*E(5)^4,E(5)-3*E(5)^3-3*E(5)^4,30*E(5)^2,-3*E(5)^2+E(5)^3
 -3*E(5)^4,6*E(5)^2+3*E(5)^3+6*E(5)^4,30*E(5)^3,30*E(5)^4],[30,0,0,
5*E(5)^2+5*E(5)^3,5*E(5)+5*E(5)^4,5*E(5)^2+5*E(5)^3,5*E(5)+5*E(5)^4,0,
5*E(5)+5*E(5)^4,5,5,0,0,5*E(5)^2+5*E(5)^3,0,30,0,5*E(5)^2+5*E(5)^3,
5*E(5)+5*E(5)^4,0,0,5*E(5)^2+5*E(5)^3,30,5*E(5)+5*E(5)^4,0,30,30],[30,
-3*E(5)+3*E(5)^2+3*E(5)^3-3*E(5)^4,3*E(5)-3*E(5)^2-3*E(5)^3+3*E(5)^4,
4*E(5)+3*E(5)^3+3*E(5)^4,3*E(5)+4*E(5)^2+3*E(5)^3,3*E(5)+3*E(5)^2+4*E(5)^4,
3*E(5)^2+4*E(5)^3+3*E(5)^4,-6*E(5)-3*E(5)^2-6*E(5)^3,-E(5)-4*E(5)^2-4*E(5)^3
 -E(5)^4,0,0,-3*E(5)-6*E(5)^3-6*E(5)^4,-6*E(5)-6*E(5)^2-3*E(5)^4,
-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,-6*E(5)^2-3*E(5)^3-6*E(5)^4,30*E(5)^2,
6*E(5)+3*E(5)^2+6*E(5)^3,-3*E(5)^2+E(5)^3-3*E(5)^4,-3*E(5)-3*E(5)^2+E(5)^4,
6*E(5)+6*E(5)^2+3*E(5)^4,6*E(5)^2+3*E(5)^3+6*E(5)^4,-3*E(5)+E(5)^2-3*E(5)^3,
30*E(5)^4,E(5)-3*E(5)^3-3*E(5)^4,3*E(5)+6*E(5)^3+6*E(5)^4,30*E(5),30*E(5)^3],[
30,-3*E(5)+3*E(5)^2+3*E(5)^3-3*E(5)^4,3*E(5)-3*E(5)^2-3*E(5)^3+3*E(5)^4,
3*E(5)+3*E(5)^2+4*E(5)^4,3*E(5)^2+4*E(5)^3+3*E(5)^4,4*E(5)+3*E(5)^3+3*E(5)^4,
3*E(5)+4*E(5)^2+3*E(5)^3,-6*E(5)^2-3*E(5)^3-6*E(5)^4,-E(5)-4*E(5)^2-4*E(5)^3
 -E(5)^4,0,0,-6*E(5)-6*E(5)^2-3*E(5)^4,-3*E(5)-6*E(5)^3-6*E(5)^4,
-4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,-6*E(5)-3*E(5)^2-6*E(5)^3,30*E(5)^3,
6*E(5)^2+3*E(5)^3+6*E(5)^4,-3*E(5)+E(5)^2-3*E(5)^3,E(5)-3*E(5)^3-3*E(5)^4,
3*E(5)+6*E(5)^3+6*E(5)^4,6*E(5)+3*E(5)^2+6*E(5)^3,-3*E(5)^2+E(5)^3-3*E(5)^4,
30*E(5),-3*E(5)-3*E(5)^2+E(5)^4,6*E(5)+6*E(5)^2+3*E(5)^4,30*E(5)^4,
30*E(5)^2],[60,6*E(5)+9*E(5)^2+9*E(5)^3+6*E(5)^4,9*E(5)+6*E(5)^2+6*E(5)^3
 +9*E(5)^4,-4*E(5)^2-2*E(5)^3-4*E(5)^4,-2*E(5)-4*E(5)^3-4*E(5)^4,
-4*E(5)-2*E(5)^2-4*E(5)^3,-4*E(5)-4*E(5)^2-2*E(5)^4,-6*E(5)+3*E(5)^3+3*E(5)^4,
2*E(5)-2*E(5)^2-2*E(5)^3+2*E(5)^4,0,0,3*E(5)^2-6*E(5)^3+3*E(5)^4,
3*E(5)-6*E(5)^2+3*E(5)^3,-2*E(5)+2*E(5)^2+2*E(5)^3-2*E(5)^4,
3*E(5)+3*E(5)^2-6*E(5)^4,60*E(5),-9*E(5)-3*E(5)^3-3*E(5)^4,
4*E(5)+4*E(5)^2+2*E(5)^4,4*E(5)+2*E(5)^2+4*E(5)^3,-3*E(5)-9*E(5)^2-3*E(5)^3,
-3*E(5)-3*E(5)^2-9*E(5)^4,2*E(5)+4*E(5)^3+4*E(5)^4,60*E(5)^2,4*E(5)^2+2*E(5)^3
 +4*E(5)^4,-3*E(5)^2-9*E(5)^3-3*E(5)^4,60*E(5)^3,60*E(5)^4],[60,
9*E(5)+6*E(5)^2+6*E(5)^3+9*E(5)^4,6*E(5)+9*E(5)^2+9*E(5)^3+6*E(5)^4,
-2*E(5)-4*E(5)^3-4*E(5)^4,-4*E(5)-2*E(5)^2-4*E(5)^3,-4*E(5)-4*E(5)^2-2*E(5)^4,
-4*E(5)^2-2*E(5)^3-4*E(5)^4,3*E(5)-6*E(5)^2+3*E(5)^3,-2*E(5)+2*E(5)^2+2*E(5)^3
 -2*E(5)^4,0,0,-6*E(5)+3*E(5)^3+3*E(5)^4,3*E(5)+3*E(5)^2-6*E(5)^4,
2*E(5)-2*E(5)^2-2*E(5)^3+2*E(5)^4,3*E(5)^2-6*E(5)^3+3*E(5)^4,60*E(5)^2,
-3*E(5)-9*E(5)^2-3*E(5)^3,4*E(5)^2+2*E(5)^3+4*E(5)^4,4*E(5)+4*E(5)^2+2*E(5)^4,
-3*E(5)-3*E(5)^2-9*E(5)^4,-3*E(5)^2-9*E(5)^3-3*E(5)^4,4*E(5)+2*E(5)^2+4*E(5)^3
 ,60*E(5)^4,2*E(5)+4*E(5)^3+4*E(5)^4,-9*E(5)-3*E(5)^3-3*E(5)^4,60*E(5),
60*E(5)^3],[60,9*E(5)+6*E(5)^2+6*E(5)^3+9*E(5)^4,6*E(5)+9*E(5)^2+9*E(5)^3
 +6*E(5)^4,-4*E(5)-4*E(5)^2-2*E(5)^4,-4*E(5)^2-2*E(5)^3-4*E(5)^4,
-2*E(5)-4*E(5)^3-4*E(5)^4,-4*E(5)-2*E(5)^2-4*E(5)^3,3*E(5)^2-6*E(5)^3+3*E(5)^4
 ,-2*E(5)+2*E(5)^2+2*E(5)^3-2*E(5)^4,0,0,3*E(5)+3*E(5)^2-6*E(5)^4,
-6*E(5)+3*E(5)^3+3*E(5)^4,2*E(5)-2*E(5)^2-2*E(5)^3+2*E(5)^4,
3*E(5)-6*E(5)^2+3*E(5)^3,60*E(5)^3,-3*E(5)^2-9*E(5)^3-3*E(5)^4,
4*E(5)+2*E(5)^2+4*E(5)^3,2*E(5)+4*E(5)^3+4*E(5)^4,-9*E(5)-3*E(5)^3-3*E(5)^4,
-3*E(5)-9*E(5)^2-3*E(5)^3,4*E(5)^2+2*E(5)^3+4*E(5)^4,60*E(5),
4*E(5)+4*E(5)^2+2*E(5)^4,-3*E(5)-3*E(5)^2-9*E(5)^4,60*E(5)^4,60*E(5)^2],[60,
6*E(5)+9*E(5)^2+9*E(5)^3+6*E(5)^4,9*E(5)+6*E(5)^2+6*E(5)^3+9*E(5)^4,
-4*E(5)-2*E(5)^2-4*E(5)^3,-4*E(5)-4*E(5)^2-2*E(5)^4,-4*E(5)^2-2*E(5)^3
 -4*E(5)^4,-2*E(5)-4*E(5)^3-4*E(5)^4,3*E(5)+3*E(5)^2-6*E(5)^4,
2*E(5)-2*E(5)^2-2*E(5)^3+2*E(5)^4,0,0,3*E(5)-6*E(5)^2+3*E(5)^3,
3*E(5)^2-6*E(5)^3+3*E(5)^4,-2*E(5)+2*E(5)^2+2*E(5)^3-2*E(5)^4,-6*E(5)+3*E(5)^3
 +3*E(5)^4,60*E(5)^4,-3*E(5)-3*E(5)^2-9*E(5)^4,2*E(5)+4*E(5)^3+4*E(5)^4,
4*E(5)^2+2*E(5)^3+4*E(5)^4,-3*E(5)^2-9*E(5)^3-3*E(5)^4,-9*E(5)-3*E(5)^3
 -3*E(5)^4,4*E(5)+4*E(5)^2+2*E(5)^4,60*E(5)^3,4*E(5)+2*E(5)^2+4*E(5)^3,
-3*E(5)-9*E(5)^2-3*E(5)^3,60*E(5)^2,60*E(5)]]);
ACM("elab",15,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,E(5),E(5)^2,E(5)^3,E(5)^4,1,
E(5),E(5)^2,E(5)^4,1,E(5)^2,E(5)^3,E(5),E(5)^3,E(5)^4],[1,E(5)^2,E(5)^4,E(5),
E(5)^3,1,E(5)^2,E(5)^4,E(5)^3,1,E(5)^4,E(5),E(5)^2,E(5),E(5)^3],[1,E(5)^3,
E(5),E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5)^2,1,E(5),E(5)^4,E(5)^3,E(5)^4,E(5)^2],[
1,E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5)^3,E(5),1,E(5)^3,E(5)^2,E(5)^4,
E(5)^2,E(5)],[2,E(5)+E(5)^3,E(5)+E(5)^2,E(5)^3+E(5)^4,E(5)^2+E(5)^4,
E(5)+E(5)^4,2*E(5)^2,-E(5)-E(5)^2-E(5)^4,-E(5)^2-E(5)^3-E(5)^4,E(5)^2+E(5)^3,
2*E(5)^4,-E(5)-E(5)^3-E(5)^4,-E(5)-E(5)^2-E(5)^3,2*E(5),2*E(5)^3],[2,
E(5)+E(5)^2,E(5)^2+E(5)^4,E(5)+E(5)^3,E(5)^3+E(5)^4,E(5)^2+E(5)^3,2*E(5)^4,
-E(5)^2-E(5)^3-E(5)^4,-E(5)-E(5)^3-E(5)^4,E(5)+E(5)^4,2*E(5)^3,
-E(5)-E(5)^2-E(5)^3,-E(5)-E(5)^2-E(5)^4,2*E(5)^2,2*E(5)],[2,E(5)^3+E(5)^4,
E(5)+E(5)^3,E(5)^2+E(5)^4,E(5)+E(5)^2,E(5)^2+E(5)^3,2*E(5),-E(5)-E(5)^2-E(5)^3
 ,-E(5)-E(5)^2-E(5)^4,E(5)+E(5)^4,2*E(5)^2,-E(5)^2-E(5)^3-E(5)^4,
-E(5)-E(5)^3-E(5)^4,2*E(5)^3,2*E(5)^4],[2,E(5)^2+E(5)^4,E(5)^3+E(5)^4,
E(5)+E(5)^2,E(5)+E(5)^3,E(5)+E(5)^4,2*E(5)^3,-E(5)-E(5)^3-E(5)^4,
-E(5)-E(5)^2-E(5)^3,E(5)^2+E(5)^3,2*E(5),-E(5)-E(5)^2-E(5)^4,
-E(5)^2-E(5)^3-E(5)^4,2*E(5)^4,2*E(5)^2],[2,-E(5)-E(5)^2-E(5)^4,
-E(5)^2-E(5)^3-E(5)^4,-E(5)-E(5)^2-E(5)^3,-E(5)-E(5)^3-E(5)^4,E(5)+E(5)^4,
2*E(5)^4,E(5)^2+E(5)^4,E(5)^3+E(5)^4,E(5)^2+E(5)^3,2*E(5)^3,E(5)+E(5)^3,
E(5)+E(5)^2,2*E(5)^2,2*E(5)],[2,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)^2+E(5)^3,
E(5)+E(5)^4,E(5)+E(5)^4,2,E(5)+E(5)^4,E(5)^2+E(5)^3,E(5)^2+E(5)^3,2,
E(5)+E(5)^4,E(5)^2+E(5)^3,2,2],[2,-E(5)-E(5)^3-E(5)^4,-E(5)-E(5)^2-E(5)^3,
-E(5)^2-E(5)^3-E(5)^4,-E(5)-E(5)^2-E(5)^4,E(5)+E(5)^4,2*E(5),E(5)+E(5)^3,
E(5)+E(5)^2,E(5)^2+E(5)^3,2*E(5)^2,E(5)^2+E(5)^4,E(5)^3+E(5)^4,2*E(5)^3,
2*E(5)^4],[2,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)+E(5)^4,E(5)^2+E(5)^3,
E(5)^2+E(5)^3,2,E(5)^2+E(5)^3,E(5)+E(5)^4,E(5)+E(5)^4,2,E(5)^2+E(5)^3,
E(5)+E(5)^4,2,2],[2,-E(5)-E(5)^2-E(5)^3,-E(5)-E(5)^2-E(5)^4,
-E(5)-E(5)^3-E(5)^4,-E(5)^2-E(5)^3-E(5)^4,E(5)^2+E(5)^3,2*E(5)^2,E(5)+E(5)^2,
E(5)^2+E(5)^4,E(5)+E(5)^4,2*E(5)^4,E(5)^3+E(5)^4,E(5)+E(5)^3,2*E(5),
2*E(5)^3],[2,-E(5)^2-E(5)^3-E(5)^4,-E(5)-E(5)^3-E(5)^4,-E(5)-E(5)^2-E(5)^4,
-E(5)-E(5)^2-E(5)^3,E(5)^2+E(5)^3,2*E(5)^3,E(5)^3+E(5)^4,E(5)+E(5)^3,
E(5)+E(5)^4,2*E(5),E(5)+E(5)^2,E(5)^2+E(5)^4,2*E(5)^4,2*E(5)^2]]);
ACM("elab",25,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,E(5)^3,
E(5),E(5)^4,E(5)^2,E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5)^3,E(5),E(5)^4,E(5)^2,1,
E(5)^2,1,E(5)^3,E(5),E(5)^4,E(5),E(5)^4,E(5)^2,1,E(5)^3],[1,E(5),E(5)^2,
E(5)^3,E(5)^4,1,E(5),E(5)^2,E(5)^3,E(5)^4,1,E(5),E(5)^2,E(5)^3,E(5)^4,1,E(5),
E(5)^2,E(5)^3,E(5)^4,1,E(5),E(5)^2,E(5)^3,E(5)^4],[1,E(5),E(5)^2,E(5)^3,
E(5)^4,E(5)^3,E(5)^4,1,E(5),E(5)^2,E(5),E(5)^2,E(5)^3,E(5)^4,1,E(5)^4,1,E(5),
E(5)^2,E(5)^3,E(5)^2,E(5)^3,E(5)^4,1,E(5)],[1,E(5)^2,E(5)^4,E(5),E(5)^3,1,
E(5)^2,E(5)^4,E(5),E(5)^3,1,E(5)^2,E(5)^4,E(5),E(5)^3,1,E(5)^2,E(5)^4,E(5),
E(5)^3,1,E(5)^2,E(5)^4,E(5),E(5)^3],[1,E(5)^4,E(5)^3,E(5)^2,E(5),E(5)^2,E(5),
1,E(5)^4,E(5)^3,E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5),1,E(5)^4,E(5)^3,E(5)^2,
E(5)^3,E(5)^2,E(5),1,E(5)^4],[1,E(5)^3,E(5),E(5)^4,E(5)^2,1,E(5)^3,E(5),
E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5)^4,E(5)^2,1,
E(5)^3,E(5),E(5)^4,E(5)^2],[1,E(5)^2,E(5)^4,E(5),E(5)^3,E(5),E(5)^3,1,E(5)^2,
E(5)^4,E(5)^2,E(5)^4,E(5),E(5)^3,1,E(5)^3,1,E(5)^2,E(5)^4,E(5),E(5)^4,E(5),
E(5)^3,1,E(5)^2],[1,E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5)^3,E(5)^2,E(5),1,
E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5)^3,E(5)^2,
E(5)],[1,E(5)^4,E(5)^3,E(5)^2,E(5),E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^3,E(5)^2,
E(5),1,E(5)^4,E(5)^2,E(5),1,E(5)^4,E(5)^3,E(5),1,E(5)^4,E(5)^3,E(5)^2],[1,
E(5)^3,E(5),E(5)^4,E(5)^2,E(5)^3,E(5),E(5)^4,E(5)^2,1,E(5),E(5)^4,E(5)^2,1,
E(5)^3,E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5)^2,1,E(5)^3,E(5),E(5)^4],[1,E(5)^2,
E(5)^4,E(5),E(5)^3,E(5)^2,E(5)^4,E(5),E(5)^3,1,E(5)^4,E(5),E(5)^3,1,E(5)^2,
E(5),E(5)^3,1,E(5)^2,E(5)^4,E(5)^3,1,E(5)^2,E(5)^4,E(5)],[1,E(5),E(5)^2,
E(5)^3,E(5)^4,E(5),E(5)^2,E(5)^3,E(5)^4,1,E(5)^2,E(5)^3,E(5)^4,1,E(5),E(5)^3,
E(5)^4,1,E(5),E(5)^2,E(5)^4,1,E(5),E(5)^2,E(5)^3],[1,E(5)^2,E(5)^4,E(5),
E(5)^3,E(5)^3,1,E(5)^2,E(5)^4,E(5),E(5),E(5)^3,1,E(5)^2,E(5)^4,E(5)^4,E(5),
E(5)^3,1,E(5)^2,E(5)^2,E(5)^4,E(5),E(5)^3,1],[1,1,1,1,1,E(5)^4,E(5)^4,E(5)^4,
E(5)^4,E(5)^4,E(5)^3,E(5)^3,E(5)^3,E(5)^3,E(5)^3,E(5)^2,E(5)^2,E(5)^2,E(5)^2,
E(5)^2,E(5),E(5),E(5),E(5),E(5)],[1,1,1,1,1,E(5)^2,E(5)^2,E(5)^2,E(5)^2,
E(5)^2,E(5)^4,E(5)^4,E(5)^4,E(5)^4,E(5)^4,E(5),E(5),E(5),E(5),E(5),E(5)^3,
E(5)^3,E(5)^3,E(5)^3,E(5)^3],[1,E(5),E(5)^2,E(5)^3,E(5)^4,E(5)^4,1,E(5),
E(5)^2,E(5)^3,E(5)^3,E(5)^4,1,E(5),E(5)^2,E(5)^2,E(5)^3,E(5)^4,1,E(5),E(5),
E(5)^2,E(5)^3,E(5)^4,1],[1,E(5)^3,E(5),E(5)^4,E(5)^2,E(5),E(5)^4,E(5)^2,1,
E(5)^3,E(5)^2,1,E(5)^3,E(5),E(5)^4,E(5)^3,E(5),E(5)^4,E(5)^2,1,E(5)^4,E(5)^2,
1,E(5)^3,E(5)],[1,E(5)^2,E(5)^4,E(5),E(5)^3,E(5)^4,E(5),E(5)^3,1,E(5)^2,
E(5)^3,1,E(5)^2,E(5)^4,E(5),E(5)^2,E(5)^4,E(5),E(5)^3,1,E(5),E(5)^3,1,E(5)^2,
E(5)^4],[1,E(5),E(5)^2,E(5)^3,E(5)^4,E(5)^2,E(5)^3,E(5)^4,1,E(5),E(5)^4,1,
E(5),E(5)^2,E(5)^3,E(5),E(5)^2,E(5)^3,E(5)^4,1,E(5)^3,E(5)^4,1,E(5),E(5)^2],[
1,E(5)^4,E(5)^3,E(5)^2,E(5),E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5),1,E(5)^4,E(5)^3,
E(5)^2,E(5)^4,E(5)^3,E(5)^2,E(5),1,E(5)^2,E(5),1,E(5)^4,E(5)^3],[1,E(5)^4,
E(5)^3,E(5)^2,E(5),E(5),1,E(5)^4,E(5)^3,E(5)^2,E(5)^2,E(5),1,E(5)^4,E(5)^3,
E(5)^3,E(5)^2,E(5),1,E(5)^4,E(5)^4,E(5)^3,E(5)^2,E(5),1],[1,1,1,1,1,E(5)^3,
E(5)^3,E(5)^3,E(5)^3,E(5)^3,E(5),E(5),E(5),E(5),E(5),E(5)^4,E(5)^4,E(5)^4,
E(5)^4,E(5)^4,E(5)^2,E(5)^2,E(5)^2,E(5)^2,E(5)^2],[1,1,1,1,1,E(5),E(5),E(5),
E(5),E(5),E(5)^2,E(5)^2,E(5)^2,E(5)^2,E(5)^2,E(5)^3,E(5)^3,E(5)^3,E(5)^3,
E(5)^3,E(5)^4,E(5)^4,E(5)^4,E(5)^4,E(5)^4],[1,E(5)^3,E(5),E(5)^4,E(5)^2,
E(5)^2,1,E(5)^3,E(5),E(5)^4,E(5)^4,E(5)^2,1,E(5)^3,E(5),E(5),E(5)^4,E(5)^2,1,
E(5)^3,E(5)^3,E(5),E(5)^4,E(5)^2,1]]);
ACM("elab",5,[[1,1,1,1,1],[1,E(5),E(5)^2,E(5)^3,E(5)^4],[1,E(5)^4,E(5)^3,
E(5)^2,E(5)],[1,E(5)^2,E(5)^4,E(5),E(5)^3],[1,E(5)^3,E(5),E(5)^4,E(5)^2]]);
ACM("elab",43,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1,1,1,1,1,1,1,1],[5,4,2,1,-2*E(3)-3*E(3)^2,-2*E(3)^2,E(3)-2*E(3)^2,
-3*E(3)-2*E(3)^2,-2*E(3),-2*E(3)+E(3)^2,-3*E(3)^2,E(3)-3*E(3)^2,3,1,1,0,
E(3)^2,E(3),-1,-2,-3,-3*E(3),-3*E(3)+E(3)^2,E(3)-4*E(3)^2,-E(3)-2*E(3)^2,
E(3)-E(3)^2,E(3),2*E(3)+E(3)^2,2*E(3)-E(3)^2,3*E(3)+E(3)^2,4*E(3)+2*E(3)^2,
-2*E(3)-E(3)^2,-E(3)+E(3)^2,-E(3)+2*E(3)^2,4*E(3)+E(3)^2,5*E(3)+2*E(3)^2,
E(3)^2,E(3)+2*E(3)^2,E(3)+3*E(3)^2,E(3)+4*E(3)^2,2*E(3)+4*E(3)^2,
2*E(3)+5*E(3)^2,-4*E(3)+E(3)^2],[5,2,2,5,E(3)-2*E(3)^2,2,-2*E(3)+E(3)^2,
-2*E(3)+E(3)^2,2,E(3)-2*E(3)^2,E(3)-2*E(3)^2,-1,-1,-1,-1,2,E(3)-2*E(3)^2,
-2*E(3)+E(3)^2,-1,2,5,-2*E(3)+E(3)^2,-1,4*E(3)+E(3)^2,4*E(3)+E(3)^2,-1,
4*E(3)+E(3)^2,E(3)-2*E(3)^2,E(3)+4*E(3)^2,-1,2,E(3)+4*E(3)^2,-1,4*E(3)+E(3)^2,
E(3)+4*E(3)^2,-2*E(3)+E(3)^2,E(3)+4*E(3)^2,-2*E(3)+E(3)^2,-1,4*E(3)+E(3)^2,2,
E(3)-2*E(3)^2,E(3)+4*E(3)^2],[5,1,5,1,1,1,5,1,1,5,-3,1,-3,1,1,-3,1,1,5,1,-3,
-3,1,-3,-3,-3,1,-3,1,1,-3,-3,-3,1,5,1,1,-3,1,5,-3,1,-3],[5,2,2,5,
-2*E(3)+E(3)^2,2,E(3)-2*E(3)^2,E(3)-2*E(3)^2,2,-2*E(3)+E(3)^2,-2*E(3)+E(3)^2,
-1,-1,-1,-1,2,-2*E(3)+E(3)^2,E(3)-2*E(3)^2,-1,2,5,E(3)-2*E(3)^2,-1,
E(3)+4*E(3)^2,E(3)+4*E(3)^2,-1,E(3)+4*E(3)^2,-2*E(3)+E(3)^2,4*E(3)+E(3)^2,-1,
2,4*E(3)+E(3)^2,-1,E(3)+4*E(3)^2,4*E(3)+E(3)^2,E(3)-2*E(3)^2,4*E(3)+E(3)^2,
E(3)-2*E(3)^2,-1,E(3)+4*E(3)^2,2,-2*E(3)+E(3)^2,4*E(3)+E(3)^2],[5,4,2,1,
-3*E(3)-2*E(3)^2,-2*E(3),-2*E(3)+E(3)^2,-2*E(3)-3*E(3)^2,-2*E(3)^2,
E(3)-2*E(3)^2,-3*E(3),-3*E(3)+E(3)^2,3,1,1,0,E(3),E(3)^2,-1,-2,-3,-3*E(3)^2,
E(3)-3*E(3)^2,-4*E(3)+E(3)^2,-2*E(3)-E(3)^2,-E(3)+E(3)^2,E(3)^2,E(3)+2*E(3)^2,
-E(3)+2*E(3)^2,E(3)+3*E(3)^2,2*E(3)+4*E(3)^2,-E(3)-2*E(3)^2,E(3)-E(3)^2,
2*E(3)-E(3)^2,E(3)+4*E(3)^2,2*E(3)+5*E(3)^2,E(3),2*E(3)+E(3)^2,3*E(3)+E(3)^2,
4*E(3)+E(3)^2,4*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,E(3)-4*E(3)^2],[10,7,1,-2,
-2*E(3)-3*E(3)^2,3*E(3)+E(3)^2,5*E(3)+2*E(3)^2,-3*E(3)-2*E(3)^2,E(3)+3*E(3)^2,
2*E(3)+5*E(3)^2,4*E(3)+E(3)^2,7*E(3)+3*E(3)^2,5,1,1,-1,E(3)^2,E(3),1,1,2,
E(3)+4*E(3)^2,3*E(3)+7*E(3)^2,10*E(3)+4*E(3)^2,2,-1,-2*E(3),-2*E(3)+E(3)^2,-2,
-3*E(3)+E(3)^2,-5*E(3)+E(3)^2,2,-1,-2,-4*E(3)+2*E(3)^2,-7*E(3)+2*E(3)^2,
-2*E(3)^2,E(3)-2*E(3)^2,E(3)-3*E(3)^2,2*E(3)-4*E(3)^2,E(3)-5*E(3)^2,
2*E(3)-7*E(3)^2,4*E(3)+10*E(3)^2],[10,1,1,10,5*E(3)+2*E(3)^2,1,
2*E(3)+5*E(3)^2,2*E(3)+5*E(3)^2,1,5*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,1,1,1,1,1,
5*E(3)+2*E(3)^2,2*E(3)+5*E(3)^2,1,1,10,2*E(3)+5*E(3)^2,1,-4*E(3)+2*E(3)^2,
-4*E(3)+2*E(3)^2,1,-4*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,2*E(3)-4*E(3)^2,1,1,
2*E(3)-4*E(3)^2,1,-4*E(3)+2*E(3)^2,2*E(3)-4*E(3)^2,2*E(3)+5*E(3)^2,
2*E(3)-4*E(3)^2,2*E(3)+5*E(3)^2,1,-4*E(3)+2*E(3)^2,1,5*E(3)+2*E(3)^2,
2*E(3)-4*E(3)^2],[10,-2,10,-2,-2,-2,10,-2,-2,10,2,-2,2,-2,-2,2,-2,-2,10,-2,2,
2,-2,2,2,2,-2,2,-2,-2,2,2,2,-2,10,-2,-2,2,-2,10,2,-2,2],[10,1,1,10,
2*E(3)+5*E(3)^2,1,5*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,1,2*E(3)+5*E(3)^2,
2*E(3)+5*E(3)^2,1,1,1,1,1,2*E(3)+5*E(3)^2,5*E(3)+2*E(3)^2,1,1,10,
5*E(3)+2*E(3)^2,1,2*E(3)-4*E(3)^2,2*E(3)-4*E(3)^2,1,2*E(3)-4*E(3)^2,
2*E(3)+5*E(3)^2,-4*E(3)+2*E(3)^2,1,1,-4*E(3)+2*E(3)^2,1,2*E(3)-4*E(3)^2,
-4*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,-4*E(3)+2*E(3)^2,5*E(3)+2*E(3)^2,1,
2*E(3)-4*E(3)^2,1,2*E(3)+5*E(3)^2,-4*E(3)+2*E(3)^2],[10,7,1,-2,
-3*E(3)-2*E(3)^2,E(3)+3*E(3)^2,2*E(3)+5*E(3)^2,-2*E(3)-3*E(3)^2,3*E(3)+E(3)^2,
5*E(3)+2*E(3)^2,E(3)+4*E(3)^2,3*E(3)+7*E(3)^2,5,1,1,-1,E(3),E(3)^2,1,1,2,
4*E(3)+E(3)^2,7*E(3)+3*E(3)^2,4*E(3)+10*E(3)^2,2,-1,-2*E(3)^2,E(3)-2*E(3)^2,
-2,E(3)-3*E(3)^2,E(3)-5*E(3)^2,2,-1,-2,2*E(3)-4*E(3)^2,2*E(3)-7*E(3)^2,
-2*E(3),-2*E(3)+E(3)^2,-3*E(3)+E(3)^2,-4*E(3)+2*E(3)^2,-5*E(3)+E(3)^2,
-7*E(3)+2*E(3)^2,10*E(3)+4*E(3)^2],[20,7,-1,4,6*E(3)-2*E(3)^2,E(3)-3*E(3)^2,2,
-2*E(3)+6*E(3)^2,-3*E(3)+E(3)^2,2,6*E(3),4*E(3)^2,0,-2,-2,3,-2*E(3),-2*E(3)^2,
-4,-5,-12,6*E(3)^2,4*E(3),8*E(3)+16*E(3)^2,4*E(3)+2*E(3)^2,-4*E(3)-2*E(3)^2,
4*E(3)^2,-2*E(3)+2*E(3)^2,-10*E(3)-4*E(3)^2,-2*E(3),5*E(3)+E(3)^2,
2*E(3)+4*E(3)^2,-2*E(3)-4*E(3)^2,-4*E(3)-10*E(3)^2,8,2*E(3)-10*E(3)^2,4*E(3),
2*E(3)-2*E(3)^2,-2*E(3)^2,8,E(3)+5*E(3)^2,-10*E(3)+2*E(3)^2,16*E(3)+8*E(3)^2
 ],[20,2,8,-4,-4*E(3)^2,2*E(3),4*E(3)-8*E(3)^2,-4*E(3),2*E(3)^2,
-8*E(3)+4*E(3)^2,2*E(3)+8*E(3)^2,-4*E(3)^2,-8,2,2,-2,2*E(3),2*E(3)^2,-4,-4,4,
8*E(3)+2*E(3)^2,-4*E(3),-4*E(3)+8*E(3)^2,-2,-4*E(3)+2*E(3)^2,-4*E(3)^2,4,2,
2*E(3),-10*E(3)-4*E(3)^2,-2,2*E(3)-4*E(3)^2,2,16*E(3)+4*E(3)^2,-4,-4*E(3),4,
2*E(3)^2,4*E(3)+16*E(3)^2,-4*E(3)-10*E(3)^2,-4,8*E(3)-4*E(3)^2],[20,4,2,4,
-4*E(3)+2*E(3)^2,2*E(3)-4*E(3)^2,10*E(3)+4*E(3)^2,2*E(3)-4*E(3)^2,
-4*E(3)+2*E(3)^2,4*E(3)+10*E(3)^2,6,-2,-6,-2,-2,0,-2,-2,2,-2,-12,6,-2,
-12*E(3),6*E(3)^2,0,4,-6*E(3)^2,2*E(3)+8*E(3)^2,4,6*E(3),6*E(3),0,
8*E(3)+2*E(3)^2,-8*E(3)+4*E(3)^2,2*E(3)+8*E(3)^2,4,-6*E(3),4,4*E(3)-8*E(3)^2,
6*E(3)^2,8*E(3)+2*E(3)^2,-12*E(3)^2],[20,11,-1,-4,2,-1,2,2,-1,2,4,8,4,-4,-4,
-5,-4,-4,-4,-1,4,4,8,16,-2,-2,-4,-2,2,2,7,-2,-2,2,8,14,-4,-2,2,8,7,14,16],[20,
-2,8,4,4*E(3),-2*E(3)^2,-8*E(3)+4*E(3)^2,4*E(3)^2,-2*E(3),4*E(3)-8*E(3)^2,
6*E(3)^2,4*E(3),0,-2,-2,-6,-2*E(3)^2,-2*E(3),-4,4,-12,6*E(3),4*E(3)^2,
-8*E(3)-4*E(3)^2,-10*E(3)-2*E(3)^2,-2*E(3)-4*E(3)^2,4*E(3),-4*E(3)+4*E(3)^2,
-2,-2*E(3)^2,4*E(3)+2*E(3)^2,-2*E(3)-10*E(3)^2,-4*E(3)-2*E(3)^2,-2,
4*E(3)+16*E(3)^2,4,4*E(3)^2,4*E(3)-4*E(3)^2,-2*E(3),16*E(3)+4*E(3)^2,
2*E(3)+4*E(3)^2,4,-4*E(3)-8*E(3)^2],[20,-1,-1,20,2,-1,2,2,-1,2,2,-4,-4,-4,-4,
-1,2,2,-4,-1,20,2,-4,8,8,-4,8,2,8,-4,-1,8,-4,8,8,2,8,2,-4,8,-1,2,8],[20,4,2,4,
2*E(3)-4*E(3)^2,-4*E(3)+2*E(3)^2,4*E(3)+10*E(3)^2,-4*E(3)+2*E(3)^2,
2*E(3)-4*E(3)^2,10*E(3)+4*E(3)^2,6,-2,-6,-2,-2,0,-2,-2,2,-2,-12,6,-2,
-12*E(3)^2,6*E(3),0,4,-6*E(3),8*E(3)+2*E(3)^2,4,6*E(3)^2,6*E(3)^2,0,
2*E(3)+8*E(3)^2,4*E(3)-8*E(3)^2,8*E(3)+2*E(3)^2,4,-6*E(3)^2,4,-8*E(3)+4*E(3)^2
 ,6*E(3),2*E(3)+8*E(3)^2,-12*E(3)],[20,-2,8,4,4*E(3)^2,-2*E(3),
4*E(3)-8*E(3)^2,4*E(3),-2*E(3)^2,-8*E(3)+4*E(3)^2,6*E(3),4*E(3)^2,0,-2,-2,-6,
-2*E(3),-2*E(3)^2,-4,4,-12,6*E(3)^2,4*E(3),-4*E(3)-8*E(3)^2,-2*E(3)-10*E(3)^2,
-4*E(3)-2*E(3)^2,4*E(3)^2,4*E(3)-4*E(3)^2,-2,-2*E(3),2*E(3)+4*E(3)^2,
-10*E(3)-2*E(3)^2,-2*E(3)-4*E(3)^2,-2,16*E(3)+4*E(3)^2,4,4*E(3),
-4*E(3)+4*E(3)^2,-2*E(3)^2,4*E(3)+16*E(3)^2,4*E(3)+2*E(3)^2,4,-8*E(3)-4*E(3)^2
 ],[20,2,8,-4,-4*E(3),2*E(3)^2,-8*E(3)+4*E(3)^2,-4*E(3)^2,2*E(3),
4*E(3)-8*E(3)^2,8*E(3)+2*E(3)^2,-4*E(3),-8,2,2,-2,2*E(3)^2,2*E(3),-4,-4,4,
2*E(3)+8*E(3)^2,-4*E(3)^2,8*E(3)-4*E(3)^2,-2,2*E(3)-4*E(3)^2,-4*E(3),4,2,
2*E(3)^2,-4*E(3)-10*E(3)^2,-2,-4*E(3)+2*E(3)^2,2,4*E(3)+16*E(3)^2,-4,
-4*E(3)^2,4,2*E(3),16*E(3)+4*E(3)^2,-10*E(3)-4*E(3)^2,-4,-4*E(3)+8*E(3)^2],[
20,7,-1,4,-2*E(3)+6*E(3)^2,-3*E(3)+E(3)^2,2,6*E(3)-2*E(3)^2,E(3)-3*E(3)^2,2,
6*E(3)^2,4*E(3),0,-2,-2,3,-2*E(3)^2,-2*E(3),-4,-5,-12,6*E(3),4*E(3)^2,
16*E(3)+8*E(3)^2,2*E(3)+4*E(3)^2,-2*E(3)-4*E(3)^2,4*E(3),2*E(3)-2*E(3)^2,
-4*E(3)-10*E(3)^2,-2*E(3)^2,E(3)+5*E(3)^2,4*E(3)+2*E(3)^2,-4*E(3)-2*E(3)^2,
-10*E(3)-4*E(3)^2,8,-10*E(3)+2*E(3)^2,4*E(3)^2,-2*E(3)+2*E(3)^2,-2*E(3),8,
5*E(3)+E(3)^2,2*E(3)-10*E(3)^2,8*E(3)+16*E(3)^2],[30,12,-6,-6,5*E(3)+E(3)^2,
4*E(3)+2*E(3)^2,3,E(3)+5*E(3)^2,2*E(3)+4*E(3)^2,3,-3,-7*E(3)+E(3)^2,3,-3,-3,0,
-5*E(3)-E(3)^2,-E(3)-5*E(3)^2,3,6,6,-3,E(3)-7*E(3)^2,-18*E(3)+6*E(3)^2,6*E(3),
3*E(3)-3*E(3)^2,2*E(3)-2*E(3)^2,3,-6*E(3)^2,E(3)-E(3)^2,6*E(3)^2,6*E(3)^2,
-3*E(3)+3*E(3)^2,-6*E(3),-6,9*E(3)+21*E(3)^2,-2*E(3)+2*E(3)^2,3,-E(3)+E(3)^2,
-6,6*E(3),21*E(3)+9*E(3)^2,6*E(3)-18*E(3)^2],[30,3,3,-6,2*E(3)-5*E(3)^2,
E(3)+5*E(3)^2,15*E(3)+6*E(3)^2,-5*E(3)+2*E(3)^2,5*E(3)+E(3)^2,6*E(3)+15*E(3)^2
 ,-6*E(3)+3*E(3)^2,5*E(3)+E(3)^2,-9,3,3,3,-2*E(3)-E(3)^2,-E(3)-2*E(3)^2,3,3,6,
3*E(3)-6*E(3)^2,E(3)+5*E(3)^2,-18*E(3)-12*E(3)^2,6*E(3),3,2*E(3)+4*E(3)^2,
6*E(3)+3*E(3)^2,-6*E(3)^2,E(3)+5*E(3)^2,9*E(3)-3*E(3)^2,6*E(3)^2,3,-6*E(3),
-12*E(3)+6*E(3)^2,-9*E(3)-6*E(3)^2,4*E(3)+2*E(3)^2,3*E(3)+6*E(3)^2,
5*E(3)+E(3)^2,6*E(3)-12*E(3)^2,-3*E(3)+9*E(3)^2,-6*E(3)-9*E(3)^2,
-12*E(3)-18*E(3)^2],[30,3,3,-6,-5*E(3)+2*E(3)^2,5*E(3)+E(3)^2,6*E(3)+15*E(3)^2
 ,2*E(3)-5*E(3)^2,E(3)+5*E(3)^2,15*E(3)+6*E(3)^2,3*E(3)-6*E(3)^2,
E(3)+5*E(3)^2,-9,3,3,3,-E(3)-2*E(3)^2,-2*E(3)-E(3)^2,3,3,6,-6*E(3)+3*E(3)^2,
5*E(3)+E(3)^2,-12*E(3)-18*E(3)^2,6*E(3)^2,3,4*E(3)+2*E(3)^2,3*E(3)+6*E(3)^2,
-6*E(3),5*E(3)+E(3)^2,-3*E(3)+9*E(3)^2,6*E(3),3,-6*E(3)^2,6*E(3)-12*E(3)^2,
-6*E(3)-9*E(3)^2,2*E(3)+4*E(3)^2,6*E(3)+3*E(3)^2,E(3)+5*E(3)^2,
-12*E(3)+6*E(3)^2,9*E(3)-3*E(3)^2,-9*E(3)-6*E(3)^2,-18*E(3)-12*E(3)^2],[30,12,
-6,-6,E(3)+5*E(3)^2,2*E(3)+4*E(3)^2,3,5*E(3)+E(3)^2,4*E(3)+2*E(3)^2,3,-3,
E(3)-7*E(3)^2,3,-3,-3,0,-E(3)-5*E(3)^2,-5*E(3)-E(3)^2,3,6,6,-3,-7*E(3)+E(3)^2,
6*E(3)-18*E(3)^2,6*E(3)^2,-3*E(3)+3*E(3)^2,-2*E(3)+2*E(3)^2,3,-6*E(3),
-E(3)+E(3)^2,6*E(3),6*E(3),3*E(3)-3*E(3)^2,-6*E(3)^2,-6,21*E(3)+9*E(3)^2,
2*E(3)-2*E(3)^2,3,E(3)-E(3)^2,-6,6*E(3)^2,9*E(3)+21*E(3)^2,-18*E(3)+6*E(3)^2
 ],[30,6,-6,6,-9,0,3,-9,0,3,-9,3,3,3,3,6,3,3,3,-6,-18,-9,3,18,0,-3,6,3,-12,-3,
0,0,-3,-12,-6,15,6,3,-3,-6,0,15,18],[30,-6,12,-6,4*E(3)+2*E(3)^2,
2*E(3)+4*E(3)^2,6*E(3)-12*E(3)^2,2*E(3)+4*E(3)^2,4*E(3)+2*E(3)^2,
-12*E(3)+6*E(3)^2,6,-2*E(3)+2*E(3)^2,6,0,0,6,2*E(3)-2*E(3)^2,-2*E(3)+2*E(3)^2,
-6,0,6,6,2*E(3)-2*E(3)^2,6*E(3),6*E(3)^2,6*E(3),-2*E(3)-4*E(3)^2,6*E(3)^2,
-6*E(3),-4*E(3)-2*E(3)^2,6*E(3),6*E(3),6*E(3)^2,-6*E(3)^2,24*E(3)+6*E(3)^2,
-6*E(3),-4*E(3)-2*E(3)^2,6*E(3),-2*E(3)-4*E(3)^2,6*E(3)+24*E(3)^2,6*E(3)^2,
-6*E(3)^2,6*E(3)^2],[30,-3,3,6,3*E(3)+6*E(3)^2,3*E(3)-3*E(3)^2,
6*E(3)+15*E(3)^2,6*E(3)+3*E(3)^2,-3*E(3)+3*E(3)^2,15*E(3)+6*E(3)^2,-9*E(3),3,
3,3,3,-3,3*E(3),3*E(3)^2,3,3,-18,-9*E(3)^2,3,12*E(3)+6*E(3)^2,6*E(3)-6*E(3)^2,
-3,6*E(3)^2,-9*E(3)-6*E(3)^2,6,-3,3*E(3)-3*E(3)^2,-6*E(3)+6*E(3)^2,-3,6,
6*E(3)-12*E(3)^2,-6*E(3)+3*E(3)^2,6*E(3),-6*E(3)-9*E(3)^2,-3,-12*E(3)+6*E(3)^2
 ,-3*E(3)+3*E(3)^2,3*E(3)-6*E(3)^2,6*E(3)+12*E(3)^2],[30,-6,-6,30,3,-6,3,3,-6,
3,3,3,3,3,3,-6,3,3,3,-6,30,3,3,-6,-6,3,-6,3,-6,3,-6,-6,3,-6,-6,3,-6,3,3,-6,-6,
3,-6],[30,-3,3,6,6*E(3)+3*E(3)^2,-3*E(3)+3*E(3)^2,15*E(3)+6*E(3)^2,
3*E(3)+6*E(3)^2,3*E(3)-3*E(3)^2,6*E(3)+15*E(3)^2,-9*E(3)^2,3,3,3,3,-3,
3*E(3)^2,3*E(3),3,3,-18,-9*E(3),3,6*E(3)+12*E(3)^2,-6*E(3)+6*E(3)^2,-3,6*E(3),
-6*E(3)-9*E(3)^2,6,-3,-3*E(3)+3*E(3)^2,6*E(3)-6*E(3)^2,-3,6,-12*E(3)+6*E(3)^2,
3*E(3)-6*E(3)^2,6*E(3)^2,-9*E(3)-6*E(3)^2,-3,6*E(3)-12*E(3)^2,3*E(3)-3*E(3)^2,
-6*E(3)+3*E(3)^2,12*E(3)+6*E(3)^2],[30,-6,12,-6,2*E(3)+4*E(3)^2,
4*E(3)+2*E(3)^2,-12*E(3)+6*E(3)^2,4*E(3)+2*E(3)^2,2*E(3)+4*E(3)^2,
6*E(3)-12*E(3)^2,6,2*E(3)-2*E(3)^2,6,0,0,6,-2*E(3)+2*E(3)^2,2*E(3)-2*E(3)^2,
-6,0,6,6,-2*E(3)+2*E(3)^2,6*E(3)^2,6*E(3),6*E(3)^2,-4*E(3)-2*E(3)^2,6*E(3),
-6*E(3)^2,-2*E(3)-4*E(3)^2,6*E(3)^2,6*E(3)^2,6*E(3),-6*E(3),6*E(3)+24*E(3)^2,
-6*E(3)^2,-2*E(3)-4*E(3)^2,6*E(3)^2,-4*E(3)-2*E(3)^2,24*E(3)+6*E(3)^2,6*E(3),
-6*E(3),6*E(3)],[60,-3,-3,-12,10*E(3)+2*E(3)^2,-E(3)-5*E(3)^2,6,
2*E(3)+10*E(3)^2,-5*E(3)-E(3)^2,6,-12*E(3)+6*E(3)^2,4*E(3)+8*E(3)^2,0,6,6,-3,
-4*E(3)-2*E(3)^2,-2*E(3)-4*E(3)^2,-12,-3,12,6*E(3)-12*E(3)^2,8*E(3)+4*E(3)^2,
-24*E(3)^2,-6*E(3),6*E(3),4*E(3)+8*E(3)^2,6*E(3)-6*E(3)^2,6*E(3)^2,
-4*E(3)-2*E(3)^2,-9*E(3)+3*E(3)^2,-6*E(3)^2,6*E(3)^2,6*E(3),24,
18*E(3)+6*E(3)^2,8*E(3)+4*E(3)^2,-6*E(3)+6*E(3)^2,-2*E(3)-4*E(3)^2,24,
3*E(3)-9*E(3)^2,6*E(3)+18*E(3)^2,-24*E(3)],[60,-6,-12,12,6,6*E(3),6,6,
6*E(3)^2,6,0,-6*E(3)+6*E(3)^2,-6,0,0,6,0,0,6,0,-36,0,6*E(3)-6*E(3)^2,
12*E(3)-12*E(3)^2,-12*E(3)-6*E(3)^2,6*E(3)^2,12*E(3),-6,6*E(3)-12*E(3)^2,
-6*E(3),-6*E(3)-12*E(3)^2,-6*E(3)-12*E(3)^2,6*E(3),-12*E(3)+6*E(3)^2,-12,-6,
12*E(3)^2,-6,-6*E(3)^2,-12,-12*E(3)-6*E(3)^2,-6,-12*E(3)+12*E(3)^2],[60,6,-12,
-12,10*E(3)+2*E(3)^2,-4*E(3)-2*E(3)^2,6,2*E(3)+10*E(3)^2,-2*E(3)-4*E(3)^2,6,
12,-2*E(3)+2*E(3)^2,-6,0,0,-6,-4*E(3)+4*E(3)^2,4*E(3)-4*E(3)^2,6,0,12,12,
2*E(3)-2*E(3)^2,36*E(3)+12*E(3)^2,-6*E(3),-6*E(3),-8*E(3)-4*E(3)^2,-6,
6*E(3)^2,8*E(3)-2*E(3)^2,-6*E(3)^2,-6*E(3)^2,-6*E(3)^2,6*E(3),-12,
-18*E(3)+6*E(3)^2,-4*E(3)-8*E(3)^2,-6,-2*E(3)+8*E(3)^2,-12,-6*E(3),
6*E(3)-18*E(3)^2,12*E(3)+36*E(3)^2],[60,-12,6,-12,-4*E(3)-2*E(3)^2,
-2*E(3)-4*E(3)^2,30*E(3)+12*E(3)^2,-2*E(3)-4*E(3)^2,-4*E(3)-2*E(3)^2,
12*E(3)+30*E(3)^2,-6,-10*E(3)-2*E(3)^2,6,-6,-6,0,-2*E(3)-10*E(3)^2,
-10*E(3)-2*E(3)^2,6,-6,12,-6,-2*E(3)-10*E(3)^2,12*E(3),-6*E(3)^2,0,
-4*E(3)+4*E(3)^2,6*E(3)^2,6*E(3),4*E(3)-4*E(3)^2,-6*E(3),-6*E(3),0,6*E(3)^2,
-24*E(3)+12*E(3)^2,6*E(3),4*E(3)-4*E(3)^2,6*E(3),-4*E(3)+4*E(3)^2,
12*E(3)-24*E(3)^2,-6*E(3)^2,6*E(3)^2,12*E(3)^2],[60,-3,-3,-12,6,-3,6,6,-3,6,
-6,12,-12,0,0,9,-6,-6,-12,9,12,-6,12,-24,12,0,0,6,-12,0,-15,12,0,-12,24,6,0,6,
0,24,-15,6,-24],[60,6,-12,-12,2*E(3)+10*E(3)^2,-2*E(3)-4*E(3)^2,6,
10*E(3)+2*E(3)^2,-4*E(3)-2*E(3)^2,6,12,2*E(3)-2*E(3)^2,-6,0,0,-6,
4*E(3)-4*E(3)^2,-4*E(3)+4*E(3)^2,6,0,12,12,-2*E(3)+2*E(3)^2,12*E(3)+36*E(3)^2,
-6*E(3)^2,-6*E(3)^2,-4*E(3)-8*E(3)^2,-6,6*E(3),-2*E(3)+8*E(3)^2,-6*E(3),
-6*E(3),-6*E(3),6*E(3)^2,-12,6*E(3)-18*E(3)^2,-8*E(3)-4*E(3)^2,-6,
8*E(3)-2*E(3)^2,-12,-6*E(3)^2,-18*E(3)+6*E(3)^2,36*E(3)+12*E(3)^2],[60,-15,-3,
12,6,-3,6,6,-3,6,0,0,12,0,0,-3,0,0,-12,9,-36,0,0,0,-18,6,12,-6,-6,-6,9,-18,6,
-6,24,-6,12,-6,-6,24,9,-6,0],[60,-12,6,-12,-2*E(3)-4*E(3)^2,-4*E(3)-2*E(3)^2,
12*E(3)+30*E(3)^2,-4*E(3)-2*E(3)^2,-2*E(3)-4*E(3)^2,30*E(3)+12*E(3)^2,-6,
-2*E(3)-10*E(3)^2,6,-6,-6,0,-10*E(3)-2*E(3)^2,-2*E(3)-10*E(3)^2,6,-6,12,-6,
-10*E(3)-2*E(3)^2,12*E(3)^2,-6*E(3),0,4*E(3)-4*E(3)^2,6*E(3),6*E(3)^2,
-4*E(3)+4*E(3)^2,-6*E(3)^2,-6*E(3)^2,0,6*E(3),12*E(3)-24*E(3)^2,6*E(3)^2,
-4*E(3)+4*E(3)^2,6*E(3)^2,4*E(3)-4*E(3)^2,-24*E(3)+12*E(3)^2,-6*E(3),6*E(3),
12*E(3)],[60,-6,-12,12,6,6*E(3)^2,6,6,6*E(3),6,0,6*E(3)-6*E(3)^2,-6,0,0,6,0,0,
6,0,-36,0,-6*E(3)+6*E(3)^2,-12*E(3)+12*E(3)^2,-6*E(3)-12*E(3)^2,6*E(3),
12*E(3)^2,-6,-12*E(3)+6*E(3)^2,-6*E(3)^2,-12*E(3)-6*E(3)^2,-12*E(3)-6*E(3)^2,
6*E(3)^2,6*E(3)-12*E(3)^2,-12,-6,12*E(3),-6,-6*E(3),-12,-6*E(3)-12*E(3)^2,-6,
12*E(3)-12*E(3)^2],[60,-3,-3,-12,2*E(3)+10*E(3)^2,-5*E(3)-E(3)^2,6,
10*E(3)+2*E(3)^2,-E(3)-5*E(3)^2,6,6*E(3)-12*E(3)^2,8*E(3)+4*E(3)^2,0,6,6,-3,
-2*E(3)-4*E(3)^2,-4*E(3)-2*E(3)^2,-12,-3,12,-12*E(3)+6*E(3)^2,4*E(3)+8*E(3)^2,
-24*E(3),-6*E(3)^2,6*E(3)^2,8*E(3)+4*E(3)^2,-6*E(3)+6*E(3)^2,6*E(3),
-2*E(3)-4*E(3)^2,3*E(3)-9*E(3)^2,-6*E(3),6*E(3),6*E(3)^2,24,6*E(3)+18*E(3)^2,
4*E(3)+8*E(3)^2,6*E(3)-6*E(3)^2,-4*E(3)-2*E(3)^2,24,-9*E(3)+3*E(3)^2,
18*E(3)+6*E(3)^2,-24*E(3)^2],[60,-12,-12,-12,6,6,6,6,6,6,-6,-6,6,-18,18,0,-6,
-6,6,0,12,-6,-6,12,-6,0,0,6,6,0,-6,-6,0,6,-12,6,0,6,0,-12,-6,6,12],[60,-12,
-12,-12,6,6,6,6,6,6,-6,-6,6,18,-18,0,-6,-6,6,0,12,-6,-6,12,-6,0,0,6,6,0,-6,-6,
0,6,-12,6,0,6,0,-12,-6,6,12]]);
ACM("elab",21,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,-E(3)^2,E(3),-1,
E(3)^2,-E(3),1,-E(3)^2,E(3),-1,E(3)^2,-E(3),1,E(3),E(3)^2,1,E(3),E(3)^2,
-E(3)^2,-1,-E(3)],[1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,
E(3)^2,E(3),1,E(3)^2,E(3),E(3),1,E(3)^2],[1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,1,1,
1,1,1,-1,-1,-1],[1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,
E(3),E(3)^2,1,E(3),E(3)^2,E(3)^2,1,E(3)],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,
-E(3),E(3)^2,-1,E(3),-E(3)^2,1,E(3)^2,E(3),1,E(3)^2,E(3),-E(3),-1,-E(3)^2],[2,
0,2*E(3),0,2*E(3)^2,0,1,2*E(3)+E(3)^2,E(3),-E(3)+E(3)^2,E(3)^2,-E(3)-2*E(3)^2,
-1,-E(3),-E(3)^2,-2,-2*E(3),-2*E(3)^2,-2*E(3)-E(3)^2,E(3)-E(3)^2,
E(3)+2*E(3)^2],[2,2*E(3),2*E(3)^2,2,2*E(3),2*E(3)^2,-1,-E(3),-E(3)^2,-1,-E(3),
-E(3)^2,-1,-E(3)^2,-E(3),2,2*E(3)^2,2*E(3),-E(3),-1,-E(3)^2],[2,0,2,0,2,0,-2,
0,-2,0,-2,0,2,2,2,-2,-2,-2,0,0,0],[2,2*E(3)^2,2*E(3),2,2*E(3)^2,2*E(3),-1,
-E(3)^2,-E(3),-1,-E(3)^2,-E(3),-1,-E(3),-E(3)^2,2,2*E(3),2*E(3)^2,-E(3)^2,-1,
-E(3)],[2,0,2*E(3)^2,0,2*E(3),0,1,E(3)+2*E(3)^2,E(3)^2,E(3)-E(3)^2,E(3),
-2*E(3)-E(3)^2,-1,-E(3)^2,-E(3),-2,-2*E(3)^2,-2*E(3),-E(3)-2*E(3)^2,
-E(3)+E(3)^2,2*E(3)+E(3)^2],[2,0,2,0,2,0,1,-E(3)+E(3)^2,1,-E(3)+E(3)^2,1,
-E(3)+E(3)^2,-1,-1,-1,-2,-2,-2,E(3)-E(3)^2,E(3)-E(3)^2,E(3)-E(3)^2],[2,0,
2*E(3),0,2*E(3)^2,0,1,-2*E(3)-E(3)^2,E(3),E(3)-E(3)^2,E(3)^2,E(3)+2*E(3)^2,-1,
-E(3),-E(3)^2,-2,-2*E(3),-2*E(3)^2,2*E(3)+E(3)^2,-E(3)+E(3)^2,
-E(3)-2*E(3)^2],[2,0,2*E(3)^2,0,2*E(3),0,1,-E(3)-2*E(3)^2,E(3)^2,-E(3)+E(3)^2,
E(3),2*E(3)+E(3)^2,-1,-E(3)^2,-E(3),-2,-2*E(3)^2,-2*E(3),E(3)+2*E(3)^2,
E(3)-E(3)^2,-2*E(3)-E(3)^2],[2,0,2,0,2,0,1,E(3)-E(3)^2,1,E(3)-E(3)^2,1,
E(3)-E(3)^2,-1,-1,-1,-2,-2,-2,-E(3)+E(3)^2,-E(3)+E(3)^2,-E(3)+E(3)^2],[2,-2,2,
-2,2,-2,-1,1,-1,1,-1,1,-1,-1,-1,2,2,2,1,1,1],[2,0,2*E(3),0,2*E(3)^2,0,-2,0,
-2*E(3),0,-2*E(3)^2,0,2,2*E(3),2*E(3)^2,-2,-2*E(3),-2*E(3)^2,0,0,0],[2,
-2*E(3),2*E(3)^2,-2,2*E(3),-2*E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,-1,
-E(3)^2,-E(3),2,2*E(3)^2,2*E(3),E(3),1,E(3)^2],[2,2,2,2,2,2,-1,-1,-1,-1,-1,-1,
-1,-1,-1,2,2,2,-1,-1,-1],[2,-2*E(3)^2,2*E(3),-2,2*E(3)^2,-2*E(3),-1,E(3)^2,
-E(3),1,-E(3)^2,E(3),-1,-E(3),-E(3)^2,2,2*E(3),2*E(3)^2,E(3)^2,1,E(3)],[2,0,
2*E(3)^2,0,2*E(3),0,-2,0,-2*E(3)^2,0,-2*E(3),0,2,2*E(3)^2,2*E(3),-2,-2*E(3)^2,
-2*E(3),0,0,0]]);
ACM("elab",36,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1],[1,E(3)^2,E(3),1,E(3)^2,E(3),-E(3),-1,-E(3)^2,-E(3),-1,-E(3)^2,
E(3)^2,E(3),1,E(3)^2,E(3),1,-1,-E(3)^2,-E(3),-1,-E(3)^2,-E(3),E(3),1,E(3)^2,
E(3),1,E(3)^2,-E(3)^2,-E(3),-1,-E(3)^2,-E(3),-1],[1,-E(3)^2,E(3),-1,E(3)^2,
-E(3),1,-E(3)^2,E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3),-1,E(3)^2,-E(3),1,-E(3)^2,
E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3),-1,E(3)^2,
-E(3)],[1,E(3),E(3)^2,1,E(3),E(3)^2,E(3)^2,1,E(3),E(3)^2,1,E(3),E(3),E(3)^2,1,
E(3),E(3)^2,1,1,E(3),E(3)^2,1,E(3),E(3)^2,E(3)^2,1,E(3),E(3)^2,1,E(3),E(3),
E(3)^2,1,E(3),E(3)^2,1],[1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),
E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,
1,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2],[1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,1,1,
1,1,1,1,-1,-1,-1,-1,-1,-1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1],[1,-1,1,-1,1,-1,1,-1,
1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1],[1,
E(3)^2,E(3),1,E(3)^2,E(3),E(3),1,E(3)^2,E(3),1,E(3)^2,E(3)^2,E(3),1,E(3)^2,
E(3),1,1,E(3)^2,E(3),1,E(3)^2,E(3),E(3),1,E(3)^2,E(3),1,E(3)^2,E(3)^2,E(3),1,
E(3)^2,E(3),1],[1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,
E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),1,E(3)^2,
E(3),1,E(3)^2,E(3),1,E(3)^2,E(3)],[1,E(3),E(3)^2,1,E(3),E(3)^2,-E(3)^2,-1,
-E(3),-E(3)^2,-1,-E(3),E(3),E(3)^2,1,E(3),E(3)^2,1,-1,-E(3),-E(3)^2,-1,-E(3),
-E(3)^2,E(3)^2,1,E(3),E(3)^2,1,E(3),-E(3),-E(3)^2,-1,-E(3),-E(3)^2,-1],[1,
-E(3),E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,-1,
E(3),-E(3)^2,1,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,
-E(3),E(3)^2,-1,E(3),-E(3)^2],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,-E(3),E(3)^2,-1,
E(3),-E(3)^2,1,E(3)^2,-1,E(3),-E(3)^2,1,-E(3),-1,E(3),-E(3)^2,1,-E(3),E(3)^2,
E(3),-E(3)^2,1,-E(3),E(3)^2,-1,-E(3)^2,1,-E(3),E(3)^2,-1,E(3)],[1,E(3)^2,E(3),
1,E(3)^2,E(3),E(3)^2,E(3),1,E(3)^2,E(3),1,E(3),1,E(3)^2,E(3),1,E(3)^2,1,
E(3)^2,E(3),1,E(3)^2,E(3),E(3)^2,E(3),1,E(3)^2,E(3),1,E(3),1,E(3)^2,E(3),1,
E(3)^2],[1,-1,1,-1,1,-1,-1,1,-1,1,-1,1,1,-1,1,-1,1,-1,-1,1,-1,1,-1,1,1,-1,1,
-1,1,-1,-1,1,-1,1,-1,1],[1,E(3),E(3)^2,1,E(3),E(3)^2,E(3),E(3)^2,1,E(3),
E(3)^2,1,E(3)^2,1,E(3),E(3)^2,1,E(3),1,E(3),E(3)^2,1,E(3),E(3)^2,E(3),E(3)^2,
1,E(3),E(3)^2,1,E(3)^2,1,E(3),E(3)^2,1,E(3)],[1,-E(3)^2,E(3),-1,E(3)^2,-E(3),
-E(3)^2,E(3),-1,E(3)^2,-E(3),1,E(3),-1,E(3)^2,-E(3),1,-E(3)^2,-1,E(3)^2,-E(3),
1,-E(3)^2,E(3),E(3)^2,-E(3),1,-E(3)^2,E(3),-1,-E(3),1,-E(3)^2,E(3),-1,
E(3)^2],[1,-1,1,-1,1,-1,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3),
-E(3),E(3),-E(3),E(3),-E(3),1,-1,1,-1,1,-1,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,
E(3)^2,-E(3)^2,E(3),-E(3),E(3),-E(3),E(3),-E(3)],[1,1,1,1,1,1,-E(3),-E(3),
-E(3),-E(3),-E(3),-E(3),E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,-1,-1,-1,-1,
-1,-1,E(3),E(3),E(3),E(3),E(3),E(3),-E(3)^2,-E(3)^2,-E(3)^2,-E(3)^2,-E(3)^2,
-E(3)^2],[1,-E(3)^2,E(3),-1,E(3)^2,-E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3),1,
-E(3)^2,E(3),-1,E(3)^2,-E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3),1,-E(3)^2,E(3),-1,
E(3)^2,-E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3)],[1,-E(3)^2,E(3),-1,E(3)^2,-E(3),
-E(3),1,-E(3)^2,E(3),-1,E(3)^2,E(3)^2,-E(3),1,-E(3)^2,E(3),-1,-1,E(3)^2,-E(3),
1,-E(3)^2,E(3),E(3),-1,E(3)^2,-E(3),1,-E(3)^2,-E(3)^2,E(3),-1,E(3)^2,-E(3),
1],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,E(3),-E(3)^2,1,-E(3),E(3)^2,-1,E(3)^2,-1,
E(3),-E(3)^2,1,-E(3),1,-E(3),E(3)^2,-1,E(3),-E(3)^2,E(3),-E(3)^2,1,-E(3),
E(3)^2,-1,E(3)^2,-1,E(3),-E(3)^2,1,-E(3)],[1,E(3),E(3)^2,1,E(3),E(3)^2,-E(3),
-E(3)^2,-1,-E(3),-E(3)^2,-1,E(3)^2,1,E(3),E(3)^2,1,E(3),-1,-E(3),-E(3)^2,-1,
-E(3),-E(3)^2,E(3),E(3)^2,1,E(3),E(3)^2,1,-E(3)^2,-1,-E(3),-E(3)^2,-1,-E(3)],[
1,-1,1,-1,1,-1,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,E(3),-E(3),E(3),
-E(3),E(3),-E(3),-1,1,-1,1,-1,1,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,
-E(3),E(3),-E(3),E(3),-E(3),E(3)],[1,-1,1,-1,1,-1,-E(3),E(3),-E(3),E(3),-E(3),
E(3),E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,-1,1,-1,1,-1,1,E(3),-E(3),
E(3),-E(3),E(3),-E(3),-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2],[1,E(3),
E(3)^2,1,E(3),E(3)^2,-1,-E(3),-E(3)^2,-1,-E(3),-E(3)^2,1,E(3),E(3)^2,1,E(3),
E(3)^2,-1,-E(3),-E(3)^2,-1,-E(3),-E(3)^2,1,E(3),E(3)^2,1,E(3),E(3)^2,-1,-E(3),
-E(3)^2,-1,-E(3),-E(3)^2],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,E(3)^2,-1,E(3),
-E(3)^2,1,-E(3),E(3),-E(3)^2,1,-E(3),E(3)^2,-1,1,-E(3),E(3)^2,-1,E(3),-E(3)^2,
E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3),-E(3)^2,1,-E(3),E(3)^2,-1],[1,1,1,1,1,1,
E(3),E(3),E(3),E(3),E(3),E(3),E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,1,1,1,
1,1,1,E(3),E(3),E(3),E(3),E(3),E(3),E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,
E(3)^2],[1,1,1,1,1,1,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3),E(3),E(3),
E(3),E(3),E(3),1,1,1,1,1,1,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3)^2,E(3),
E(3),E(3),E(3),E(3),E(3)],[1,E(3)^2,E(3),1,E(3)^2,E(3),-E(3)^2,-E(3),-1,
-E(3)^2,-E(3),-1,E(3),1,E(3)^2,E(3),1,E(3)^2,-1,-E(3)^2,-E(3),-1,-E(3)^2,
-E(3),E(3)^2,E(3),1,E(3)^2,E(3),1,-E(3),-1,-E(3)^2,-E(3),-1,-E(3)^2],[1,
-E(3)^2,E(3),-1,E(3)^2,-E(3),E(3)^2,-E(3),1,-E(3)^2,E(3),-1,E(3),-1,E(3)^2,
-E(3),1,-E(3)^2,1,-E(3)^2,E(3),-1,E(3)^2,-E(3),E(3)^2,-E(3),1,-E(3)^2,E(3),-1,
E(3),-1,E(3)^2,-E(3),1,-E(3)^2],[1,-E(3)^2,E(3),-1,E(3)^2,-E(3),E(3),-1,
E(3)^2,-E(3),1,-E(3)^2,E(3)^2,-E(3),1,-E(3)^2,E(3),-1,1,-E(3)^2,E(3),-1,
E(3)^2,-E(3),E(3),-1,E(3)^2,-E(3),1,-E(3)^2,E(3)^2,-E(3),1,-E(3)^2,E(3),-1],[
1,E(3)^2,E(3),1,E(3)^2,E(3),-1,-E(3)^2,-E(3),-1,-E(3)^2,-E(3),1,E(3)^2,E(3),1,
E(3)^2,E(3),-1,-E(3)^2,-E(3),-1,-E(3)^2,-E(3),1,E(3)^2,E(3),1,E(3)^2,E(3),-1,
-E(3)^2,-E(3),-1,-E(3)^2,-E(3)],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,-E(3)^2,1,
-E(3),E(3)^2,-1,E(3),E(3),-E(3)^2,1,-E(3),E(3)^2,-1,-1,E(3),-E(3)^2,1,-E(3),
E(3)^2,E(3)^2,-1,E(3),-E(3)^2,1,-E(3),-E(3),E(3)^2,-1,E(3),-E(3)^2,1],[1,
-E(3),E(3)^2,-1,E(3),-E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,1,-E(3),E(3)^2,-1,
E(3),-E(3)^2,-1,E(3),-E(3)^2,1,-E(3),E(3)^2,1,-E(3),E(3)^2,-1,E(3),-E(3)^2,-1,
E(3),-E(3)^2,1,-E(3),E(3)^2],[1,1,1,1,1,1,-E(3)^2,-E(3)^2,-E(3)^2,-E(3)^2,
-E(3)^2,-E(3)^2,E(3),E(3),E(3),E(3),E(3),E(3),-1,-1,-1,-1,-1,-1,E(3)^2,E(3)^2,
E(3)^2,E(3)^2,E(3)^2,E(3)^2,-E(3),-E(3),-E(3),-E(3),-E(3),-E(3)],[1,-1,1,-1,1,
-1,E(3),-E(3),E(3),-E(3),E(3),-E(3),E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,
-E(3)^2,1,-1,1,-1,1,-1,E(3),-E(3),E(3),-E(3),E(3),-E(3),E(3)^2,-E(3)^2,E(3)^2,
-E(3)^2,E(3)^2,-E(3)^2]]);
ACM("elab",9,[[1,1,1,1,1,1,1,1,1],[-E(9)^2-E(9)^5,E(9)^2,E(9)^5,E(9)^5,
-E(9)^2-E(9)^5,E(9)^2,E(9)^2,E(9)^5,-E(9)^2-E(9)^5],[-E(9)^4-E(9)^7,E(9)^4,
E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7],[E(9)^7,
E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,E(9)^4,-E(9)^4-E(9)^7,
E(9)^7],[E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,
-E(9)^2-E(9)^5,E(9)^5],[1,E(3)^2,E(3),E(3)^2,E(3),1,E(3),1,E(3)^2],[1,E(3),
E(3)^2,E(3),E(3)^2,1,E(3)^2,1,E(3)],[E(9)^2,E(9)^2,E(9)^2,E(9)^5,E(9)^5,
E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5],[E(9)^7,E(9)^7,E(9)^7,
E(9)^4,E(9)^4,E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7]]);
ACM("elab",36,[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,
1,1,1,1,1],[-E(9)^4,E(9)^4+E(9)^7,-E(9)^7,-E(9)^4,E(9)^4+E(9)^7,-E(9)^7,
E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,
-E(9)^7,-E(9)^4,E(9)^4+E(9)^7,-E(9)^7,-E(9)^4,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,
E(9)^4,-E(9)^4-E(9)^7,E(9)^7,-E(9)^7,-E(9)^4,E(9)^4+E(9)^7,-E(9)^7,-E(9)^4,
E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,E(9)^4],[
-E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,
E(9)^2+E(9)^5,E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,E(9)^2+E(9)^5,
E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,
-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,
-E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,-E(9)^2-E(9)^5],[-E(9)^2-E(9)^5,
E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,
E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,
-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,
E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^2,E(9)^5,
-E(9)^2-E(9)^5,E(9)^2,E(9)^5,-E(9)^2-E(9)^5],[-E(9)^4-E(9)^7,E(9)^4,E(9)^7,
-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,
E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,
-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,
E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,
-E(9)^4-E(9)^7,E(9)^4,E(9)^7],[-E(3),-E(3),-E(3),-E(3),-E(3),-E(3),E(3),E(3),
E(3),E(3),E(3),E(3),-E(3),-E(3),-E(3),-E(3),-E(3),-E(3),E(3),E(3),E(3),E(3),
E(3),E(3),-E(3),-E(3),-E(3),-E(3),-E(3),-E(3),E(3),E(3),E(3),E(3),E(3),E(3)],[
-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,
-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,
-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,
-E(3)^2,E(3)^2,-E(3)^2,E(3)^2,-E(3)^2,E(3)^2],[E(9)^7,E(9)^4,-E(9)^4-E(9)^7,
E(9)^7,E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,-E(9)^4-E(9)^7,
E(9)^7,E(9)^4,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,
E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,
E(9)^7,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,E(9)^4,E(9)^4,-E(9)^4-E(9)^7,E(9)^7,
E(9)^4,-E(9)^4-E(9)^7,E(9)^7],[E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,
-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,
E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,
-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,
E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,-E(9)^2-E(9)^5,E(9)^5,E(9)^2,
-E(9)^2-E(9)^5,E(9)^5],[-E(9)^2,-E(9)^5,E(9)^2+E(9)^5,-E(9)^2,-E(9)^5,
E(9)^2+E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,
-E(9)^5,E(9)^2+E(9)^5,-E(9)^2,-E(9)^5,E(9)^2+E(9)^5,-E(9)^2,E(9)^2,E(9)^5,
-E(9)^2-E(9)^5,E(9)^2,E(9)^5,-E(9)^2-E(9)^5,E(9)^2+E(9)^5,-E(9)^2,-E(9)^5,
E(9)^2+E(9)^5,-E(9)^2,-E(9)^5,E(9)^5,-E(9)^2-E(9)^5,E(9)^2,E(9)^5,
-E(9)^2-E(9)^5,E(9)^2],[-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4,E(9)^7,E(9)^4+E(9)^7,
E(9)^4,-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4,E(9)^7,E(9)^4+E(9)^7,E(9)^4,-E(9)^7,
-E(9)^4-E(9)^7,-E(9)^4,E(9)^7,E(9)^4+E(9)^7,E(9)^4,-E(9)^7,-E(9)^4-E(9)^7,
-E(9)^4,E(9)^7,E(9)^4+E(9)^7,E(9)^4,-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4,E(9)^7,
E(9)^4+E(9)^7,E(9)^4,-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4,E(9)^7,E(9)^4+E(9)^7,
E(9)^4],[1,-E(3),E(3)^2,-1,E(3),-E(3)^2,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,E(3)^2,
-1,E(3),-E(3)^2,1,-E(3),-1,E(3),-E(3)^2,1,-E(3),E(3)^2,E(3),-E(3)^2,1,-E(3),
E(3)^2,-1,-E(3)^2,1,-E(3),E(3)^2,-1,E(3)],[1,E(3)^2,E(3),1,E(3)^2,E(3),E(3)^2,
E(3),1,E(3)^2,E(3),1,E(3),1,E(3)^2,E(3),1,E(3)^2,1,E(3)^2,E(3),1,E(3)^2,E(3),
E(3)^2,E(3),1,E(3)^2,E(3),1,E(3),1,E(3)^2,E(3),1,E(3)^2],[1,-1,1,-1,1,-1,-1,1,
-1,1,-1,1,1,-1,1,-1,1,-1,-1,1,-1,1,-1,1,1,-1,1,-1,1,-1,-1,1,-1,1,-1,1],[1,
E(3),E(3)^2,1,E(3),E(3)^2,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3)^2,1,E(3),E(3)^2,1,
E(3),1,E(3),E(3)^2,1,E(3),E(3)^2,E(3),E(3)^2,1,E(3),E(3)^2,1,E(3)^2,1,E(3),
E(3)^2,1,E(3)],[1,-E(3)^2,E(3),-1,E(3)^2,-E(3),-E(3)^2,E(3),-1,E(3)^2,-E(3),1,
E(3),-1,E(3)^2,-E(3),1,-E(3)^2,-1,E(3)^2,-E(3),1,-E(3)^2,E(3),E(3)^2,-E(3),1,
-E(3)^2,E(3),-1,-E(3),1,-E(3)^2,E(3),-1,E(3)^2],[-E(9)^7,E(9)^7,-E(9)^7,
E(9)^7,-E(9)^7,E(9)^7,-E(9)^4,E(9)^4,-E(9)^4,E(9)^4,-E(9)^4,E(9)^4,
E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,
-E(9)^4-E(9)^7,-E(9)^7,E(9)^7,-E(9)^7,E(9)^7,-E(9)^7,E(9)^7,-E(9)^4,E(9)^4,
-E(9)^4,E(9)^4,-E(9)^4,E(9)^4,E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,
-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^4-E(9)^7],[-E(9)^2,-E(9)^2,-E(9)^2,-E(9)^2,
-E(9)^2,-E(9)^2,E(9)^5,E(9)^5,E(9)^5,E(9)^5,E(9)^5,E(9)^5,E(9)^2+E(9)^5,
E(9)^2+E(9)^5,E(9)^2+E(9)^5,E(9)^2+E(9)^5,E(9)^2+E(9)^5,E(9)^2+E(9)^5,E(9)^2,
E(9)^2,E(9)^2,E(9)^2,E(9)^2,E(9)^2,-E(9)^5,-E(9)^5,-E(9)^5,-E(9)^5,-E(9)^5,
-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,
-E(9)^2-E(9)^5,-E(9)^2-E(9)^5],[E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,
-E(9)^2-E(9)^5,-E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,E(9)^2+E(9)^5,
E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,-E(9)^2,
-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,E(9)^2+E(9)^5,E(9)^5,E(9)^2,E(9)^2+E(9)^5,
E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,-E(9)^2,-E(9)^2-E(9)^5,-E(9)^5,E(9)^2,
E(9)^2+E(9)^5,E(9)^5],[E(9)^7,-E(9)^4,-E(9)^4-E(9)^7,-E(9)^7,E(9)^4,
E(9)^4+E(9)^7,E(9)^4+E(9)^7,E(9)^7,-E(9)^4,-E(9)^4-E(9)^7,-E(9)^7,E(9)^4,
E(9)^4,E(9)^4+E(9)^7,E(9)^7,-E(9)^4,-E(9)^4-E(9)^7,-E(9)^7,-E(9)^7,E(9)^4,
E(9)^4+E(9)^7,E(9)^7,-E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^7,E(9)^4,
E(9)^4+E(9)^7,E(9)^7,-E(9)^4,-E(9)^4,-E(9)^4-E(9)^7,-E(9)^7,E(9)^4,
E(9)^4+E(9)^7,E(9)^7],[-E(3)^2,1,-E(3),E(3)^2,-1,E(3),-1,E(3),-E(3)^2,1,-E(3),
E(3)^2,-E(3),E(3)^2,-1,E(3),-E(3)^2,1,-E(3)^2,1,-E(3),E(3)^2,-1,E(3),-1,E(3),
-E(3)^2,1,-E(3),E(3)^2,-E(3),E(3)^2,-1,E(3),-E(3)^2,1],[-E(3),-E(3)^2,-1,
-E(3),-E(3)^2,-1,E(3)^2,1,E(3),E(3)^2,1,E(3),-1,-E(3),-E(3)^2,-1,-E(3),
-E(3)^2,E(3),E(3)^2,1,E(3),E(3)^2,1,-E(3)^2,-1,-E(3),-E(3)^2,-1,-E(3),1,E(3),
E(3)^2,1,E(3),E(3)^2],[-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^4-E(9)^7,
E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^7,E(9)^7,-E(9)^7,E(9)^7,
-E(9)^7,E(9)^7,E(9)^4,-E(9)^4,E(9)^4,-E(9)^4,E(9)^4,-E(9)^4,E(9)^4+E(9)^7,
-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^4-E(9)^7,E(9)^4+E(9)^7,-E(9)^4-E(9)^7,
E(9)^7,-E(9)^7,E(9)^7,-E(9)^7,E(9)^7,-E(9)^7,-E(9)^4,E(9)^4,-E(9)^4,E(9)^4,
-E(9)^4,E(9)^4],[-E(9)^2-E(9)^5,E(9)^2+E(9)^5,-E(9)^2-E(9)^5,E(9)^2+E(9)^5,
-E(9)^2-E(9)^5,E(9)^2+E(9)^5,-E(9)^2,E(9)^2,-E(9)^2,E(9)^2,-E(9)^2,E(9)^2,
E(9)^5,-E(9)^5,E(9)^5,-E(9)^5,E(9)^5,-E(9)^5,E(9)^2+E(9)^5,-E(9)^2-E(9)^5,
E(9)^2+E(9)^5,-E(9)^2-E(9)^5,E(9)^2+E(9)^5,-E(9)^2-E(9)^5,E(9)^2,-E(9)^2,
E(9)^2,-E(9)^2,E(9)^2,-E(9)^2,-E(9)^5,E(9)^5,-E(9)^5,E(9)^5,-E(9)^5,E(9)^5],[
-E(9)^7,E(9)^4+E(9)^7,-E(9)^4,-E(9)^7,E(9)^4+E(9)^7,-E(9)^4,E(9)^7,
-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,-E(9)^7,E(9)^4+E(9)^7,
-E(9)^4,-E(9)^7,E(9)^4+E(9)^7,-E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,
-E(9)^4-E(9)^7,E(9)^4,-E(9)^7,E(9)^4+E(9)^7,-E(9)^4,-E(9)^7,E(9)^4+E(9)^7,
-E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4,E(9)^7,-E(9)^4-E(9)^7,E(9)^4],[-E(9)^2,
E(9)^5,E(9)^2+E(9)^5,E(9)^2,-E(9)^5,-E(9)^2-E(9)^5,E(9)^2+E(9)^5,E(9)^2,
-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2,E(9)^5,-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2,E(9)^5,
E(9)^2+E(9)^5,E(9)^2,-E(9)^2,E(9)^5,E(9)^2+E(9)^5,E(9)^2,-E(9)^5,
-E(9)^2-E(9)^5,E(9)^2+E(9)^5,E(9)^2,-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2,E(9)^5,
-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2,E(9)^5,E(9)^2+E(9)^5,E(9)^2],[E(9)^2,E(9)^2,
E(9)^2,E(9)^2,E(9)^2,E(9)^2,E(9)^5,E(9)^5,E(9)^5,E(9)^5,E(9)^5,E(9)^5,
-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,
-E(9)^2-E(9)^5,E(9)^2,E(9)^2,E(9)^2,E(9)^2,E(9)^2,E(9)^2,E(9)^5,E(9)^5,E(9)^5,
E(9)^5,E(9)^5,E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,
-E(9)^2-E(9)^5,-E(9)^2-E(9)^5,-E(9)^2-E(9)^5],[E(9)^7,E(9)^7,E(9)^7,E(9)^7,
E(9)^7,E(9)^7,E(9)^4,E(9)^4,E(9)^4,E(9)^4,E(9)^4,E(9)^4,-E(9)^4-E(9)^7,
-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,
E(9)^7,E(9)^7,E(9)^7,E(9)^7,E(9)^7,E(9)^7,E(9)^4,E(9)^4,E(9)^4,E(9)^4,E(9)^4,
E(9)^4,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,-E(9)^4-E(9)^7,
-E(9)^4-E(9)^7,-E(9)^4-E(9)^7],[-E(3)^2,-E(3),-1,-E(3)^2,-E(3),-1,E(3),1,
E(3)^2,E(3),1,E(3)^2,-1,-E(3)^2,-E(3),-1,-E(3)^2,-E(3),E(3)^2,E(3),1,E(3)^2,
--> --------------------

--> maximum size reached

--> --------------------

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]