# Character: X4
# Comment: perm rep on 144 pts, vect exch
# Ind: 0
# Ring: C
# Sparsity: 67%
# Checker result: pass
# Conjugacy class representative result: pass

local b, B, w, W, i, result, delta, idmat;

result := rec();

w := E(3); W := E(3)^2;
b := E(7)+E(7)^2+E(7)^4; B := -1-b;  # b7, b7**
i := E(4);
result.comment := "M12 as 16 x 16 matrices\n";

result.generators := [
[[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[-4*E(11)-4*E(11)^3-4*E(11)^4-4*E(11)^5-4*E(11)^9,-16*E(11)-14*E(11)^2-16*E(11)^3-16*E(11)^4-16*E(11)^5-14*E(11)^6-14*E(11)^7-14*E(11)^8-16*E(11)^9-14*E(11)^10,
  11*E(11)+6*E(11)^2+11*E(11)^3+11*E(11)^4+11*E(11)^5+6*E(11)^6+6*E(11)^7+6*E(11)^8+11*E(11)^9+6*E(11)^10,
  -2*E(11)-12*E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-12*E(11)^6-12*E(11)^7-12*E(11)^8-2*E(11)^9-12*E(11)^10,
  -6*E(11)-E(11)^2-6*E(11)^3-6*E(11)^4-6*E(11)^5-E(11)^6-E(11)^7-E(11)^8-6*E(11)^9-E(11)^10,
  -14*E(11)-8*E(11)^2-14*E(11)^3-14*E(11)^4-14*E(11)^5-8*E(11)^6-8*E(11)^7-8*E(11)^8-14*E(11)^9-8*E(11)^10,
  -21*E(11)-22*E(11)^2-21*E(11)^3-21*E(11)^4-21*E(11)^5-22*E(11)^6-22*E(11)^7-22*E(11)^8-21*E(11)^9-22*E(11)^10,
  15*E(11)+16*E(11)^2+15*E(11)^3+15*E(11)^4+15*E(11)^5+16*E(11)^6+16*E(11)^7+16*E(11)^8+15*E(11)^9+16*E(11)^10,
  16*E(11)+20*E(11)^2+16*E(11)^3+16*E(11)^4+16*E(11)^5+20*E(11)^6+20*E(11)^7+20*E(11)^8+16*E(11)^9+20*E(11)^10,
  -5*E(11)-2*E(11)^2-5*E(11)^3-5*E(11)^4-5*E(11)^5-2*E(11)^6-2*E(11)^7-2*E(11)^8-5*E(11)^9-2*E(11)^10,
  7*E(11)+2*E(11)^2+7*E(11)^3+7*E(11)^4+7*E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8+7*E(11)^9+2*E(11)^10,
  2*E(11)^2+2*E(11)^6+2*E(11)^7+2*E(11)^8+2*E(11)^10,4*E(11)+5*E(11)^2+4*E(11)^3+4*E(11)^4+4*E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+4*E(11)^9+5*E(11)^10,
  23*E(11)+10*E(11)^2+23*E(11)^3+23*E(11)^4+23*E(11)^5+10*E(11)^6+10*E(11)^7+10*E(11)^8+23*E(11)^9+10*E(11)^10,
  3*E(11)-6*E(11)^2+3*E(11)^3+3*E(11)^4+3*E(11)^5-6*E(11)^6-6*E(11)^7-6*E(11)^8+3*E(11)^9-6*E(11)^10,
  -9],
[-4,3*E(11)+7*E(11)^2+3*E(11)^3+3*E(11)^4+3*E(11)^5+7*E(11)^6+7*E(11)^7+7*E(11)^8+3*E(11)^9+7*E(11)^10,
  -6*E(11)-7*E(11)^2-6*E(11)^3-6*E(11)^4-6*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-6*E(11)^9-7*E(11)^10,
  -9*E(11)-4*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-9*E(11)^9-4*E(11)^10,
  -5,7*E(11)+9*E(11)^2+7*E(11)^3+7*E(11)^4+7*E(11)^5+9*E(11)^6+9*E(11)^7+9*E(11)^8+7*E(11)^9+9*E(11)^10,
  E(11)+8*E(11)^2+E(11)^3+E(11)^4+E(11)^5+8*E(11)^6+8*E(11)^7+8*E(11)^8+E(11)^9+8*E(11)^10,
  -5*E(11)^2-5*E(11)^6-5*E(11)^7-5*E(11)^8-5*E(11)^10,2*E(11)-5*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8+2*E(11)^9-5*E(11)^10,
  -4,5,2*E(11)+E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+E(11)^6+E(11)^7+E(11)^8+2*E(11)^9+E(11)^10,
  E(11)-E(11)^2+E(11)^3+E(11)^4+E(11)^5-E(11)^6-E(11)^7-E(11)^8+E(11)^9-E(11)^10,
  -15*E(11)-17*E(11)^2-15*E(11)^3-15*E(11)^4-15*E(11)^5-17*E(11)^6-17*E(11)^7-17*E(11)^8-15*E(11)^9-17*E(11)^10,
  -9*E(11)-6*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-6*E(11)^6-6*E(11)^7-6*E(11)^8-9*E(11)^9-6*E(11)^10,
  -E(11)-4*E(11)^2-E(11)^3-E(11)^4-E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-E(11)^9-4*E(11)^10
  ],
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
[0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],
[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],
[3*E(11)+2*E(11)^2+3*E(11)^3+3*E(11)^4+3*E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8+3*E(11)^9+2*E(11)^10,
  4*E(11)+9*E(11)^2+4*E(11)^3+4*E(11)^4+4*E(11)^5+9*E(11)^6+9*E(11)^7+9*E(11)^8+4*E(11)^9+9*E(11)^10,
  -6*E(11)-7*E(11)^2-6*E(11)^3-6*E(11)^4-6*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-6*E(11)^9-7*E(11)^10,
  -8*E(11)-3*E(11)^2-8*E(11)^3-8*E(11)^4-8*E(11)^5-3*E(11)^6-3*E(11)^7-3*E(11)^8-8*E(11)^9-3*E(11)^10,
  6*E(11)+5*E(11)^2+6*E(11)^3+6*E(11)^4+6*E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+6*E(11)^9+5*E(11)^10,
  9*E(11)+11*E(11)^2+9*E(11)^3+9*E(11)^4+9*E(11)^5+11*E(11)^6+11*E(11)^7+11*E(11)^8+9*E(11)^9+11*E(11)^10,
  2*E(11)+9*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+9*E(11)^6+9*E(11)^7+9*E(11)^8+2*E(11)^9+9*E(11)^10,
  -2*E(11)-7*E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-2*E(11)^9-7*E(11)^10,
  2*E(11)-5*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8+2*E(11)^9-5*E(11)^10,
  -4,6,2*E(11)+E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+E(11)^6+E(11)^7+E(11)^8+2*E(11)^9+E(11)^10,
  E(11)-E(11)^2+E(11)^3+E(11)^4+E(11)^5-E(11)^6-E(11)^7-E(11)^8+E(11)^9-E(11)^10,
  -16*E(11)-17*E(11)^2-16*E(11)^3-16*E(11)^4-16*E(11)^5-17*E(11)^6-17*E(11)^7-17*E(11)^8-16*E(11)^9-17*E(11)^10,
  -9*E(11)-6*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-6*E(11)^6-6*E(11)^7-6*E(11)^8-9*E(11)^9-6*E(11)^10,
  -2*E(11)-5*E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8-2*E(11)^9-5*E(11)^10
  ],
[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
[0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],
[-E(11)-2*E(11)^2-E(11)^3-E(11)^4-E(11)^5-2*E(11)^6-2*E(11)^7-2*E(11)^8-E(11)^9-2*E(11)^10,
  2*E(11)-E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5-E(11)^6-E(11)^7-E(11)^8+2*E(11)^9-E(11)^10,
  E(11)+2*E(11)^2+E(11)^3+E(11)^4+E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8+E(11)^9+2*E(11)^10,
  4*E(11)+3*E(11)^2+4*E(11)^3+4*E(11)^4+4*E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8+4*E(11)^9+3*E(11)^10,
  1,-2*E(11)-4*E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-2*E(11)^9-4*E(11)^10,
  3*E(11)+3*E(11)^3+3*E(11)^4+3*E(11)^5+3*E(11)^9,-3*E(11)-E(11)^2-3*E(11)^3-3*E(11)^4-3*E(11)^5-E(11)^6-E(11)^7-E(11)^8-3*E(11)^9-E(11)^10,
  -4*E(11)-E(11)^2-4*E(11)^3-4*E(11)^4-4*E(11)^5-E(11)^6-E(11)^7-E(11)^8-4*E(11)^9-E(11)^10,
  2,E(11)+2*E(11)^2+E(11)^3+E(11)^4+E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8+E(11)^9+2*E(11)^10,
  -2*E(11)-E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-E(11)^6-E(11)^7-E(11)^8-2*E(11)^9-E(11)^10,
  -2*E(11)-E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-E(11)^6-E(11)^7-E(11)^8-2*E(11)^9-E(11)^10,
  4*E(11)+7*E(11)^2+4*E(11)^3+4*E(11)^4+4*E(11)^5+7*E(11)^6+7*E(11)^7+7*E(11)^8+4*E(11)^9+7*E(11)^10,
  -4,E(11)^2+E(11)^6+E(11)^7+E(11)^8+E(11)^10],
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0]]
,
[[-4,3*E(11)+7*E(11)^2+3*E(11)^3+3*E(11)^4+3*E(11)^5+7*E(11)^6+7*E(11)^7+7*E(11)^8+3*E(11)^9+7*E(11)^10,
  -6*E(11)-7*E(11)^2-6*E(11)^3-6*E(11)^4-6*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-6*E(11)^9-7*E(11)^10,
  -9*E(11)-4*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-9*E(11)^9-4*E(11)^10,
  -5,7*E(11)+9*E(11)^2+7*E(11)^3+7*E(11)^4+7*E(11)^5+9*E(11)^6+9*E(11)^7+9*E(11)^8+7*E(11)^9+9*E(11)^10,
  E(11)+8*E(11)^2+E(11)^3+E(11)^4+E(11)^5+8*E(11)^6+8*E(11)^7+8*E(11)^8+E(11)^9+8*E(11)^10,
  -5*E(11)^2-5*E(11)^6-5*E(11)^7-5*E(11)^8-5*E(11)^10,2*E(11)-5*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8+2*E(11)^9-5*E(11)^10,
  -4,5,2*E(11)+E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+E(11)^6+E(11)^7+E(11)^8+2*E(11)^9+E(11)^10,
  E(11)-E(11)^2+E(11)^3+E(11)^4+E(11)^5-E(11)^6-E(11)^7-E(11)^8+E(11)^9-E(11)^10,
  -15*E(11)-17*E(11)^2-15*E(11)^3-15*E(11)^4-15*E(11)^5-17*E(11)^6-17*E(11)^7-17*E(11)^8-15*E(11)^9-17*E(11)^10,
  -9*E(11)-6*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-6*E(11)^6-6*E(11)^7-6*E(11)^8-9*E(11)^9-6*E(11)^10,
  -E(11)-4*E(11)^2-E(11)^3-E(11)^4-E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-E(11)^9-4*E(11)^10
  ],
[0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[-5*E(11)-4*E(11)^2-5*E(11)^3-5*E(11)^4-5*E(11)^5-4*E(11)^6-4*E(11)^7-4*E(11)^8-5*E(11)^9-4*E(11)^10,
  -3*E(11)-7*E(11)^2-3*E(11)^3-3*E(11)^4-3*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-3*E(11)^9-7*E(11)^10,
  5*E(11)+6*E(11)^2+5*E(11)^3+5*E(11)^4+5*E(11)^5+6*E(11)^6+6*E(11)^7+6*E(11)^8+5*E(11)^9+6*E(11)^10,
  7*E(11)+3*E(11)^2+7*E(11)^3+7*E(11)^4+7*E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8+7*E(11)^9+3*E(11)^10,
  5,-6*E(11)-8*E(11)^2-6*E(11)^3-6*E(11)^4-6*E(11)^5-8*E(11)^6-8*E(11)^7-8*E(11)^8-6*E(11)^9-8*E(11)^10,
  -E(11)-7*E(11)^2-E(11)^3-E(11)^4-E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-E(11)^9-7*E(11)^10,
  5*E(11)^2+5*E(11)^6+5*E(11)^7+5*E(11)^8+5*E(11)^10,-E(11)+5*E(11)^2-E(11)^3-E(11)^4-E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8-E(11)^9+5*E(11)^10,
  3,-5,-E(11)-E(11)^3-E(11)^4-E(11)^5-E(11)^9,-E(11)+E(11)^2-E(11)^3-E(11)^4-E(11)^5+E(11)^6+E(11)^7+E(11)^8-E(11)^9+E(11)^10,
  14*E(11)+15*E(11)^2+14*E(11)^3+14*E(11)^4+14*E(11)^5+15*E(11)^6+15*E(11)^7+15*E(11)^8+14*E(11)^9+15*E(11)^10,
  8*E(11)+5*E(11)^2+8*E(11)^3+8*E(11)^4+8*E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+8*E(11)^9+5*E(11)^10,
  E(11)+3*E(11)^2+E(11)^3+E(11)^4+E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8+E(11)^9+3*E(11)^10
  ],
[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0],
[0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],
[3,-E(11)-5*E(11)^2-E(11)^3-E(11)^4-E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8-E(11)^9-5*E(11)^10,
  5*E(11)+6*E(11)^2+5*E(11)^3+5*E(11)^4+5*E(11)^5+6*E(11)^6+6*E(11)^7+6*E(11)^8+5*E(11)^9+6*E(11)^10,
  8*E(11)+4*E(11)^2+8*E(11)^3+8*E(11)^4+8*E(11)^5+4*E(11)^6+4*E(11)^7+4*E(11)^8+8*E(11)^9+4*E(11)^10,
  4,-4*E(11)-7*E(11)^2-4*E(11)^3-4*E(11)^4-4*E(11)^5-7*E(11)^6-7*E(11)^7-7*E(11)^8-4*E(11)^9-7*E(11)^10,
  E(11)-5*E(11)^2+E(11)^3+E(11)^4+E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8+E(11)^9-5*E(11)^10,
  -E(11)+3*E(11)^2-E(11)^3-E(11)^4-E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8-E(11)^9+3*E(11)^10,
  -5*E(11)+E(11)^2-5*E(11)^3-5*E(11)^4-5*E(11)^5+E(11)^6+E(11)^7+E(11)^8-5*E(11)^9+E(11)^10,
  -4*E(11)-5*E(11)^2-4*E(11)^3-4*E(11)^4-4*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8-4*E(11)^9-5*E(11)^10,
  3*E(11)+4*E(11)^2+3*E(11)^3+3*E(11)^4+3*E(11)^5+4*E(11)^6+4*E(11)^7+4*E(11)^8+3*E(11)^9+4*E(11)^10,
  -3*E(11)-2*E(11)^2-3*E(11)^3-3*E(11)^4-3*E(11)^5-2*E(11)^6-2*E(11)^7-2*E(11)^8-3*E(11)^9-2*E(11)^10,
  -2*E(11)-E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5-E(11)^6-E(11)^7-E(11)^8-2*E(11)^9-E(11)^10,
  11*E(11)+14*E(11)^2+11*E(11)^3+11*E(11)^4+11*E(11)^5+14*E(11)^6+14*E(11)^7+14*E(11)^8+11*E(11)^9+14*E(11)^10,
  7*E(11)+5*E(11)^2+7*E(11)^3+7*E(11)^4+7*E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+7*E(11)^9+5*E(11)^10,
  3*E(11)^2+3*E(11)^6+3*E(11)^7+3*E(11)^8+3*E(11)^10],
[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0],
[E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9,-2*E(11)^2-2*E(11)^6-2*E(11)^7-2*E(11)^8-2*E(11)^10,
  -2*E(11)-2*E(11)^3-2*E(11)^4-2*E(11)^5-2*E(11)^9,2*E(11)+4*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+4*E(11)^6+4*E(11)^7+4*E(11)^8+2*E(11)^9+4*E(11)^10,
  E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9,-E(11)-2*E(11)^2-E(11)^3-E(11)^4-E(11)^5-2*E(11)^6-2*E(11)^7-2*E(11)^8-E(11)^9-2*E(11)^10,
  5*E(11)+3*E(11)^2+5*E(11)^3+5*E(11)^4+5*E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8+5*E(11)^9+3*E(11)^10,
  -3*E(11)-2*E(11)^2-3*E(11)^3-3*E(11)^4-3*E(11)^5-2*E(11)^6-2*E(11)^7-2*E(11)^8-3*E(11)^9-2*E(11)^10,
  -4*E(11)-3*E(11)^2-4*E(11)^3-4*E(11)^4-4*E(11)^5-3*E(11)^6-3*E(11)^7-3*E(11)^8-4*E(11)^9-3*E(11)^10,
  0,E(11)+2*E(11)^2+E(11)^3+E(11)^4+E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8+E(11)^9+2*E(11)^10,
  -1,-E(11)-E(11)^3-E(11)^4-E(11)^5-E(11)^9,-2*E(11)+E(11)^2-2*E(11)^3-2*E(11)^4-2*E(11)^5+E(11)^6+E(11)^7+E(11)^8-2*E(11)^9+E(11)^10,
  2*E(11)+4*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+4*E(11)^6+4*E(11)^7+4*E(11)^8+2*E(11)^9+4*E(11)^10,
  1],
[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],
[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],
[E(11)+5*E(11)^2+E(11)^3+E(11)^4+E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+E(11)^9+5*E(11)^10,
  -12*E(11)-5*E(11)^2-12*E(11)^3-12*E(11)^4-12*E(11)^5-5*E(11)^6-5*E(11)^7-5*E(11)^8-12*E(11)^9-5*E(11)^10,
  4*E(11)-3*E(11)^2+4*E(11)^3+4*E(11)^4+4*E(11)^5-3*E(11)^6-3*E(11)^7-3*E(11)^8+4*E(11)^9-3*E(11)^10,
  -14*E(11)-18*E(11)^2-14*E(11)^3-14*E(11)^4-14*E(11)^5-18*E(11)^6-18*E(11)^7-18*E(11)^8-14*E(11)^9-18*E(11)^10,
  5*E(11)^2+5*E(11)^6+5*E(11)^7+5*E(11)^8+5*E(11)^10,-5*E(11)+3*E(11)^2-5*E(11)^3-5*E(11)^4-5*E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8-5*E(11)^9+3*E(11)^10,
  -20*E(11)-12*E(11)^2-20*E(11)^3-20*E(11)^4-20*E(11)^5-12*E(11)^6-12*E(11)^7-12*E(11)^8-20*E(11)^9-12*E(11)^10,
  15*E(11)+10*E(11)^2+15*E(11)^3+15*E(11)^4+15*E(11)^5+10*E(11)^6+10*E(11)^7+10*E(11)^8+15*E(11)^9+10*E(11)^10,
  19*E(11)+15*E(11)^2+19*E(11)^3+19*E(11)^4+19*E(11)^5+15*E(11)^6+15*E(11)^7+15*E(11)^8+19*E(11)^9+15*E(11)^10,
  -E(11)+2*E(11)^2-E(11)^3-E(11)^4-E(11)^5+2*E(11)^6+2*E(11)^7+2*E(11)^8-E(11)^9+2*E(11)^10,
  -5*E(11)^2-5*E(11)^6-5*E(11)^7-5*E(11)^8-5*E(11)^10,2*E(11)+3*E(11)^2+2*E(11)^3+2*E(11)^4+2*E(11)^5+3*E(11)^6+3*E(11)^7+3*E(11)^8+2*E(11)^9+3*E(11)^10,
  5*E(11)+4*E(11)^2+5*E(11)^3+5*E(11)^4+5*E(11)^5+4*E(11)^6+4*E(11)^7+4*E(11)^8+5*E(11)^9+4*E(11)^10,
  6*E(11)-10*E(11)^2+6*E(11)^3+6*E(11)^4+6*E(11)^5-10*E(11)^6-10*E(11)^7-10*E(11)^8+6*E(11)^9-10*E(11)^10,
  -9*E(11)-15*E(11)^2-9*E(11)^3-9*E(11)^4-9*E(11)^5-15*E(11)^6-15*E(11)^7-15*E(11)^8-9*E(11)^9-15*E(11)^10,
  8*E(11)+5*E(11)^2+8*E(11)^3+8*E(11)^4+8*E(11)^5+5*E(11)^6+5*E(11)^7+5*E(11)^8+8*E(11)^9+5*E(11)^10
  ],
[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]];

return result;