# Character: X31 # Comment: got rid of denom of 1072 # Ind: 0 # Ring: Z(w) # Sparsity: 81% 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 := "2U42 as 60 x 60 matrices\n"; result.generators := [ [[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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0,0,0,0,0,0,0], [-15*w+26*W,33*w-20*W,91*w+32*W,-13*w-68*W,7*w-62*W,49*w-10*W,39*w+22*W, -14*w-W,37*w+27*W,27*w+12*W,-40*w+6*W,-39*w-67*W,-4*w-5*W,-34*w-12*W, 9*w+51*W,12*w+38*W,-48*w-66*W,-26*w-14*W,32*w-14*W,-8*w+28*W,-58*w-6*W, -25*w+10*W,12*w+28*W,36*w+54*W,10*w+20*W,15*w-10*W,-92*w-12*W,-16*w+38*W, -18*w+4*W,-16*w+18*W,-17*w+22*W,9*w+24*W,-w+42*W,57*w+54*W,13*w-28*W, -23*w-38*W,18*w-38*W,66*w+74*W,-30*w+44*W,42*w+38*W,-64*w+7*W,-49*w-30*W, 20*w+42*W,81*w+54*W,-38,19*w+26*W,36*w+24*W,-w+20*W,-2*w-92*W,-36*w-52*W, -12*w+38*W,-14*w-28*W,56*w+14*W,-28*w+10*W,14*w-25*W,2*w+48*W,14*w+40*W, 64*w+58*W,88*w+70*W,26*w+18*W], [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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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, 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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0,0,0,0,0], [70*w+28*W,-89*w-57*W,-101*w-155*W,-92*w+23*W,-116*w-9*W,-101*w-80*W, -27*w-65*W,22*w+24*W,-17*w-64*W,-25*w-47*W,78*w+68*W,-48*w+65*W, -3*w+6*W,37*w+58*W,68*w-15*W,42*w-20*W,-32*w+80*W,19*w+42*W,-78*w-54*W, 60*w+13*W,89*w+98*W,59*w+40*W,31*w-18*W,29*w-62*W,19*w-17*W,-41*w-25*W, 136*w+155*W,91*w+27*W,38*w+31*W,60*w+27*W,66*w+28*W,27*w-14*W,73*w+2*W, -7*w-97*W,-70*w-21*W,-27*w+36*W,-95*w-30*W,12*w-112*W,124*w+49*W, -5*w-71*W,119*w+108*W,31*w+82*W,36*w-33*W,-47*w-138*W,-w-66*W,12*w-32*W, -22*w-63*W,36*w+2*W,-151*w+5*W,-26*w+61*W,86*w+23*W,-22*w+25*W,-70*w-93*W, 65*w+46*W,-64*w-22*W,77*w-5*W,45*w-24*W,-12*w-110*W,-31*w-148*W, -14*w-44*W], [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,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0], [40*w+86*W,-19*w-104*W,100*w-92*W,-129*w-131*W,-111*w-154*W,3*w-113*W, 58*w-21*W,-9*w+23*W,66*w-5*W,35*w-21*W,-8*w+86*W,-139*w-81*W,-12*w-5*W, -37*w+34*W,95*w+98*W,74*w+63*W,-141*w-63*W,-37*w+15*W,-10*w-89*W, 47*w+77*W,-37*w+91*W,8*w+68*W,56*w+43*W,114*w+57*W,42*w+29*W,-12*w-50*W, -63*w+140*W,61*w+115*W,-w+42*W,27*w+71*W,32*w+81*W,47*w+39*W,76*w+97*W, 123*w+18*W,-45*w-87*W,-79*w-46*W,-60*w-118*W,164*w+48*W,66*w+154*W, 88*w+11*W,-16*w+132*W,-77*w+20*W,85*w+60*W,135*w-25*W,87*w+17*W, 56*w+25*W,60*w-12*W,36*w+47*W,-169*w-205*W,-111*w-53*W,63*w+109*W, -57*w-37*W,51*w-69*W,7*w+74*W,-39*w-81*W,88*w+105*W,79*w+65*W,134*w+14*W, 166*w-2*W,44*w-7*W], [24*w+18*W,-28*w-29*W,-17*w-57*W,-43*w-9*W,-48*w-21*W,-31*w-39*W,-2*w-21*W, 5*w+9*W,4*w-19*W,-2*w-16*W,22*w+30*W,-31*w+8*W,-2*w+W,5*w+20*W,31*w+6*W, 20*w+W,-26*w+15*W,2*w+14*W,-24*w-27*W,22*w+12*W,21*w+41*W,18*w+21*W, 15*w+W,23*w-11*W,11*w-W,12,32*w+62*W,33*w+21*W,11*w+15*W,20*w+17*W, 24*w+18*W,14*w+2*W,30*w+12*W,13*w-26*W,-26*w-18*W,-16*w+6*W,-36*w-24*W, 23*w-27*W,45*w+33*W,10*w-18*W,32*w+46*W,26*W,20*w-4*W,3*w-43*W,11*w-17*W, 10*w-7*W,2*w-19*W,14*w+6*W,-64*w-23*W,-21*w+12*W,31*w+19*W,-14*w+3*W, -15*w-35*W,20*w+23*W,-24*w-16*W,34*w+12*W,22*w+2*W,14*w-30*W,10*w-43*W, 2*w-13*W], [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,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,0,0,0], [-25*w+93*W,78*w-83*W,261*w+49*W,-76*w-216*W,-20*w-211*W,125*w-64*W, 117*w+48*W,-39*w+5*W,116*w+67*W,79*w+22*W,-104*w+44*W,-145*w-195*W, -14*w-15*W,-97*w-18*W,55*w+160*W,57*w+117*W,-167*w-187*W,-77*w-29*W, 77*w-64*W,-5*w+96*W,-157*w+16*W,-58*w+50*W,48*w+85*W,130*w+155*W, 39*w+61*W,32*w-43*W,-253*w+16*W,-19*w+135*W,-46*w+23*W,-31*w+72*W, -33*w+83*W,37*w+73*W,24*w+138*W,186*w+141*W,17*w-100*W,-83*w-111*W, 26*w-134*W,221*w+202*W,-52*w+164*W,134*w+99*W,-167*w+62*W,-148*w-68*W, 79*w+126*W,251*w+128*W,126*w+102*W,67*w+74*W,112*w+56*W,10*w+66*W, -63*w-302*W,-129*w-149*W,-11*w+131*W,-54*w-83*W,158*w+12*W,-67*w+52*W, 22*w-89*W,35*w+156*W,63*w+123*W,208*w+150*W,278*w+176*W,81*w+42*W ], [-68*w-29*W,84*w+59*W,89*w+149*W,95*w-12*W,116*w+19*W,93*w+83*W,24*w+64*W, -20*w-24*W,12*w+59*W,22*w+45*W,-73*w-69*W,52*w-58*W,3*w-6*W,-33*w-56*W, -71*w+8*W,-45*w+16*W,37*w-72*W,-17*w-42*W,73*w+55*W,-59*w-17*W,-80*w-95*W, -55*w-42*W,-30*w+16*W,-34*w+54*W,-19*w+15*W,41*w+26*W,-123*w-153*W, -89*w-31*W,-35*w-31*W,-56*w-28*W,-64*w-32*W,-26*w+12*W,-72*w-6*W, -w+90*W,67*w+25*W,30*w-33*W,91*w+35*W,-21*w+102*W,-121*w-56*W,w+66*W, -112*w-109*W,-26*w-79*W,-41*w+27*W,36*w+131*W,-4*w+60*W,-14*w+29*W, 17*w+59*W,-36*w-4*W,152*w+8*W,32*w-54*W,-84*w-26*W,25*w-20*W,63*w+92*W, -61*w-48*W,62*w+26*W,-77*w-2*W,-45*w+20*W,4*w+102*W,19*w+139*W,11*w+42*W ], [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,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,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,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,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,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,0,0,0,0,1,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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, 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,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,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], [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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [39*w-26*W,-69*w+7*W,-144*w-86*W,-13*w+91*W,-44*w+74*W,-91*w-13*W, -59*w-48*W,25*w+9*W,-51*w-53*W,-42*w-29*W,74*w+13*W,35*w+104*W,5*w+9*W, 54*w+32*W,11*w-67*W,-2*w-54*W,51*w+107*W,39*w+31*W,-63*w+W,28*w-31*W, 97*w+36*W,47*w-W,-7*w-42*W,-36*w-86*W,-8*w-31*W,-31*w+6*W,155*w+61*W, 48*w-40*W,33*w+4*W,37*w-16*W,42*w-18*W,-3*w-34*W,23*w-53*W,-73*w-96*W, -36*w+29*W,20*w+60*W,-51*w+37*W,-79*w-126*W,76*w-39*W,-55*w-69*W, 117*w+24*W,71*w+63*W,-12*w-63*W,-116*w-109*W,-48*w-67*W,-20*w-43*W, -52*w-48*W,11*w-26*W,-43*w+117*W,37*w+84*W,41*w-42*W,10*w+41*W,-91*w-47*W, 54*w+W,-37*w+23*W,21*w-60*W,-6*w-58*W,-84*w-105*W,-119*w-132*W,-37*w-35*W ], [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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,0,0,0], [15*w-26*W,-33*w+20*W,-91*w-32*W,13*w+68*W,-7*w+62*W,-49*w+10*W,-39*w-22*W, 14*w+W,-37*w-27*W,-27*w-12*W,40*w-6*W,39*w+67*W,4*w+5*W,34*w+12*W, -9*w-51*W,-12*w-38*W,48*w+66*W,26*w+14*W,-32*w+14*W,8*w-28*W,58*w+6*W, 25*w-10*W,-12*w-28*W,-36*w-54*W,-10*w-20*W,-15*w+10*W,92*w+12*W, 16*w-38*W,18*w-4*W,16*w-18*W,17*w-22*W,-9*w-24*W,w-42*W,-57*w-54*W, -13*w+28*W,23*w+38*W,-18*w+38*W,-66*w-74*W,30*w-44*W,-42*w-38*W, 64*w-7*W,49*w+30*W,-20*w-42*W,-81*w-54*W,38,-19*w-26*W,-36*w-24*W, w-20*W,2*w+92*W,36*w+52*W,12*w-38*W,14*w+28*W,-56*w-14*W,28*w-10*W, -14*w+25*W,-2*w-48*W,-14*w-40*W,-64*w-58*W,-88*w-70*W,-26*w-18*W ], [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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0], [9*w+79*W,23*w-83*W,152*w-24*W,-91*w-150*W,-59*w-159*W,53*w-77*W,76*w+10*W, -21*w+13*W,78*w+24*W,48*w-2*W,-46*w+58*W,-126*w-118*W,-12*w-9*W, -57*w+9*W,67*w+112*W,59*w+79*W,-135*w-107*W,-49*w-5*W,26*w-68*W, 19*w+76*W,-80*w+50*W,-20*w+52*W,47*w+55*W,107*w+90*W,36*w+38*W,7*w-42*W, -134*w+71*W,22*w+110*W,-19*w+29*W,w+63*W,71*W,38*w+47*W,46*w+102*W, 134*w+67*W,-14*w-81*W,-72*w-68*W,-17*w-109*W,167*w+105*W,9*w+139*W, 96*w+45*W,-77*w+88*W,-97*w-18*W,72*w+81*W,166*w+41*W,91*w+49*W,54*w+42*W, 73*w+16*W,21*w+49*W,-104*w-220*W,-104*w-85*W,25*w+105*W,-48*w-52*W, 89*w-27*W,-24*w+56*W,-8*w-73*W,55*w+112*W,64*w+81*W,148*w+67*W,193*w+73*W, 54*w+14*W], [61*w+79*W,-53*w-106*W,35*w-138*W,-139*w-93*W,-134*w-124*W,-39*w-120*W, 34*w-44*W,2*w+28*W,45*w-31*W,16*w-37*W,27*w+96*W,-129*w-36*W,-11*w-W, -13*w+52*W,103*w+71*W,76*w+42*W,-124*w-15*W,-21*w+29*W,-41*w-92*W, 62*w+66*W,9*w+112*W,31*w+69*W,58*w+26*W,102*w+19*W,41*w+15*W,-27*w-50*W, 8*w+174*W,87*w+102*W,15*w+45*W,46*w+67*W,52*w+75*W,48*w+24*W,90*w+77*W, 94*w-26*W,-65*w-77*W,-74*w-21*W,-87*w-105*W,133*w-10*W,103*w+141*W, 67*w-22*W,37*w+149*W,-48*w+50*W,82*w+34*W,86*w-77*W,67*w-14*W,49*w+7*W, 37*w-36*W,44*w+38*W,-195*w-158*W,-97*w-15*W,86*w+95*W,-53*w-19*W, 11*w-93*W,32*w+77*W,-57*w-72*W,100*w+79*W,81*w+41*W,100*w-35*W,117*w-63*W, 28*w-24*W], [-3*w+44*W,24*w-41*W,101*w+6*W,-39*w-88*W,-17*w-88*W,44*w-31*W,49*w+16*W, -15*w+4*W,47*w+22*W,31*w+5*W,-37*w+24*W,-67*w-77*W,-7*w-6*W,-38*w-2*W, 28*w+67*W,27*w+49*W,-75*w-72*W,-32*w-10*W,25*w-32*W,4*w+42*W,-57*w+16*W, -19*w+24*W,25*w+35*W,57*w+60*W,19*w+24*W,10*w-22*W,-94*w+21*W,60*W, -15*w+13*W,-7*w+33*W,-9*w+36*W,19*w+29*W,17*w+60*W,77*w+51*W,-44*W, -38*w-45*W,2*w-59*W,94*w+75*W,-13*w+72*W,57*w+35*W,-61*w+36*W,-61*w-22*W, 35*w+51*W,102*w+42*W,52*w+37*W,-29,45*w+17*W,8*w+29*W,-39*w-127*W, -55*w-57*W,4*w+59*W,-24*w-32*W,61*w-2*W,-23*w+25*W,4*w-39*W,21*w+64*W, 32*w+50*W,86*w+53*W,115*w+62*W,33*w+14*W], [-27*w-46*W,19*w+58*W,-40*w+62*W,74*w+63*W,68*w+78*W,9*w+65*W,-26*w+17*W, 2*w-14*W,-32*w+9*W,-15*w+15*W,-4*w-50*W,74*w+34*W,6*w+2*W,15*w-23*W, -54*w-47*W,-41*w-29*W,74*w+23*W,16*w-12*W,13*w+50*W,-30*w-40*W,10*w-55*W, -10*w-38*W,-31*w-20*W,-60*w-22*W,-23*w-13*W,10*w+27*W,17*w-86*W, -40*w-60*W,-3*w-24*W,-20*w-39*W,-23*w-44*W,-26*w-18*W,-45*w-49*W, -61*w+W,30*w+46*W,42*w+19*W,40*w+63*W,-83*w-12*W,-46*w-82*W,-44*w+W, -4*w-77*W,35*w-18*W,-46*w-26*W,-63*w+27*W,-44*w-2*W,-29*w-9*W,-28*w+12*W, -22*w-24*W,100*w+102*W,58*w+20*W,-40*w-57*W,31*w+16*W,-18*w+44*W, -10*w-42*W,26*w+43*W,52,-44*w-30*W,-66*w+4*W,-80*w+16*W,-20*w+8*W ], [50*w+33*W,-59*w-55*W,-44*w-113*W,-81*w-11*W,-93*w-37*W,-60*w-69*W, -6*w-44*W,12*w+20*W,2*w-40*W,-10*w-33*W,46*w+58*W,-56*w+26*W,-4*w+3*W, 16*w+42*W,61*w+9*W,41*w,-47*w+37*W,5*w+29*W,50,46*w+24*W,50*w+78*W, 39*w+38*W,29*w-4*W,40*w-28*W,19*w-5*W,-29*w-26*W,71*w+122*W,69*w+39*W, 23*w+26*W,42*w+31*W,46*w+33*W,25*w-3*W,59*w+19*W,20*w-56*W,-52*w-30*W, -32*w+14*W,-69*w-40*W,39*w-60*W,89*w+60*W,13*w-42*W,70*w+92*W,5*w+55*W, 39*w-9*W,-2*w-89*W,15*w-37*W,18*w-15*W,-3*w-41*W,29*w+11*W,-125*w-37*W, -36*w+28*W,64*w+34*W,-25*w+7*W,-34*w-71*W,41*w+42*W,-46*w-28*W,64*w+16*W, 44*w-2*W,18*w-66*W,13*w-91*W,-29*W], [16*w+27*W,-10*w-33*W,24*w-34*W,-42*w-38*W,-37*w-45*W,-2*w-35*W,16*w-10*W, -2*w+8*W,18*w-4*W,9*w-8*W,w+28*W,-43*w-20*W,-4*w-W,-9*w+13*W,31*w+29*W, 24*w+18*W,-43*w-14*W,-11*w+6*W,-6*w-28*W,17*w+23*W,-7*w+30*W,4*w+21*W, 18*w+11*W,34*w+14*W,13*w+7*W,-6*w-16*W,-12*w+48*W,22*w+34*W,2*w+14*W, 10*w+21*W,12*w+25*W,14*w+10*W,26*w+29*W,36*w+W,-16*w-26*W,-25*w-12*W, -21*w-35*W,48*w+9*W,24*w+47*W,25*w-W,w+44*W,-21*w+10*W,27*w+17*W, 37*w-13*W,25*w+3*W,17*w+6*W,16*w-6*W,13*w+14*W,-56*w-60*W,-33*w-13*W, 23*w+33*W,-18*w-10*W,12*w-24*W,4*w+23*W,-14*w-25*W,28*w+30*W,25*w+17*W, 38*w-W,47*w-7*W,12*w-4*W], [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,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,0,0,0,0,0,0,0], [-33*w-29*W,36*w+46*W,10*w+75*W,65*w+25*W,69*w+44*W,34*w+57*W,-4*w+28*W, -6*w-15*W,-10*w+24*W,2*w+22*W,-25*w-45*W,50*w-4*W,3*w-2*W,-4*w-28*W, -49*w-19*W,-34*w-8*W,46*w-12*W,w-20*W,29*w+41*W,-32*w-25*W,-22*w-57*W, -24*w-32*W,-23*w-3*W,-40*w+8*W,-16*w-W,18*w+21*W,-30*w-88*W,-48*w-39*W, -12*w-20*W,28,31,-21*w-4*W,-43*w-23*W,-29*w+29*W,35*w+29*W,29*w-2*W, 47*w+40*W,-46*w+26*W,-61*w-56*W,-19*w+21*W,-38*w-71*W,7*w-34*W,-35*w-3*W, -18*w+54*W,-21*w+19*W,-18*w+5*W,-7*w+25*W,-20*w-12*W,95*w+50*W,37*w-9*W, -45*w-34*W,22*w+2*W,12*w+51*W,-25*w-35*W,32*w+28*W,-49*w-25*W,-35*w-8*W, -29*w+35*W,-32*w+52*W,-6*w+18*W], [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, 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,0,0], [43*w-15*W,-68*w-3*W,-131*w-94*W,-23*w+76*W,-50*w+60*W,-88*w-21*W, -50*w-48*W,22*w+10*W,-43*w-52*W,-36*w-31*W,70*w+20*W,19*w+91*W,3*w+8*W, 48*w+35*W,18*w-55*W,4*w-45*W,36*w+97*W,33*w+31*W,-62*w-8*W,30*w-24*W, 91*w+44*W,46*w+5*W,w-35*W,-24*w-77*W,-2*w-27*W,-30*w,145*w+71*W, 51*w-27*W,33*w+9*W,39*w-8*W,43*w-11*W,3*w-28*W,30*w-41*W,-59*w-91*W, -40*w+20*W,11*w+52*W,-55*w+26*W,-61*w-117*W,78*w-24*W,-44*w-66*W, 110*w+35*W,60*w+62*W,-5*w-54*W,-99*w-107*W,-38*w-64*W,-14*w-38*W, -44*w-48*W,15*w-20*W,-56*w+94*W,25*w+75*W,46*w-29*W,6*w+38*W,-82*w-50*W, 53*w+8*W,-39*w+16*W,28*w-49*W,3*w-49*W,-68*w-100*W,-100*w-126*W, -31*w-34*W], [-138*w+W,199*w+63*W,308*w+301*W,134*w-141*W,201*w-79*W,238*w+118*W, 111*w+145*W,-59*w-43*W,85*w+145*W,86*w+96*W,-191*w-102*W,15*w-215*W, -3*w-21*W,-116*w-113*W,-103*w+102*W,-53*w+93*W,-26*w-237*W,-74*w-95*W, 176*w+66*W,-110*w+22*W,-233*w-167*W,-134*w-51*W,-27*w+79*W,6*w+184*W, -12*w+62*W,93*w+24*W,-365*w-271*W,-175*w+15*W,-89*w-42*W,-120*w-14*W, -135*w-14*W,-29*w+61*W,-120*w+65*W,99*w+242*W,133*w-10*W,9*w-123*W, 181*w-10*W,82*w+298*W,-252*w-15*W,78*w+177*W,-298*w-167*W,-130*w-184*W, -34*w+119*W,204*w+310*W,61*w+166*W,9*w+93*W,93*w+138*W,-59*w+31*W, 245*w-152*W,-12*w-182*W,-160*w+26*W,15*w-82*W,202*w+177*W,-149*w-60*W, 127*w-W,-122*w+81*W,-48*w+104*W,121*w+270*W,188*w+352*W,64*w+100*W ], [-148*w-51*W,192*w+117*W,222*w+327*W,194*w-54*W,247*w+17*W,215*w+170*W, 65*w+142*W,-49*w-52*W,40*w+136*W,58*w+98*W,-169*w-142*W,94*w-148*W, 4*w-16*W,-83*w-122*W,-147*w+37*W,-90*w+48*W,59*w-178*W,-45*w-93*W, 166*w+111*W,-128*w-25*W,-192*w-205*W,-126*w-84*W,-58*w+46*W,-59*w+136*W, -36*w+39*W,91*w+51*W,-295*w-327*W,-195*w-52*W,-80*w-63*W,-126*w-54*W, -141*w-59*W,-53*w+34*W,-153*w+3*W,19*w+209*W,147*w+41*W,54*w-84*W, 200*w+59*W,-19*w+244*W,-266*w-101*W,19*w+154*W,-261*w-228*W,-73*w-178*W, -78*w+74*W,107*w+296*W,6*w+141*W,-24*w+70*W,51*w+133*W,-74*w,319*w-20*W, 51*w-135*W,-181*w-40*W,47*w-52*W,155*w+200*W,-139*w-96*W,137*w+45*W, -161*w+14*W,-90*w+57*W,33*w+237*W,75*w+321*W,33*w+95*W], [-16*w+14*W,30*w-6*W,66*w+34*W,-45*W,13*w-39*W,39*w-W,27*w+20*W,-11*w-3*W, 25*w+23*W,20*w+12*W,-33*w-2*W,-20*w-48*W,-2*w-4*W,-25*w-13*W,-w+32*W, 4*w+25*W,-27*w-49*W,-18*w-12*W,27*w-4*W,-11*w+16*W,-44*w-12*W,-20*w+4*W, 4*w+20*W,20*w+39*W,5*w+15*W,13*w-4*W,-70*w-21*W,-19*w+21*W,-15*w, -15*w+10*W,-16*w+12*W,3*w+17*W,-7*w+26*W,37*w+42*W,14*w-16*W,-11*w-27*W, 20*w-21*W,41*w+57*W,-29*w+24*W,27*w+31*W,-51*w-5*W,-33*w-26*W,9*w+29*W, 56*w+46*W,25*w+30*W,11*w+19*W,26*w+21*W,-4*w+13*W,11*w-59*W,-21*w-39*W, -16*w+22*W,-7*w-19*W,41*w+17*W,-23*w+3*W,14*w-13*W,-5*w+31*W,5*w+28*W, 42*w+46*W,58*w+57*W,18*w+15*W], [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,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,0,0,0,0,0,0], [-34*w-73*W,14*w+86*W,-86*w+74*W,106*w+112*W,90*w+129*W,-8*w+92*W, -50*w+17*W,8*w-19*W,-56*w+2*W,-30*w+17*W,9*w-71*W,116*w+70*W,10*w+4*W, 32*w-28*W,-78*w-84*W,-62*w-55*W,118*w+54*W,33*w-12*W,6*w+73*W,-38*w-64*W, 34*w-72*W,-4*w-55*W,-47*w-36*W,-95*w-50*W,-35*w-24*W,10*w+42*W,56*w-114*W, -49*w-96*W,2*w-34*W,-21*w-59*W,-25*w-68*W,-38*w-33*W,-63*w-82*W, -104*w-18*W,36*w+72*W,67*w+40*W,47*w+98*W,-138*w-44*W,-52*w-129*W, -74*w-10*W,17*w-109*W,66*w-15*W,-71*w-53*W,-115*w+18*W,-74*w-17*W, -47*w-22*W,-51*w+8*W,-31*w-40*W,139*w+174*W,94*w+48*W,-52*w-92*W, 47*w+32*W,-46*w+55*W,-3*w-61*W,30*w+68*W,-71*w-88*W,-65*w-54*W,-113*w-15*W, -141*w-3*W,-37*w+5*W], [17*w+72*W,7*w-81*W,119*w-44*W,-94*w-127*W,-70*w-139*W,28*w-82*W,61*w-W, -15*w+14*W,66*w+12*W,39*w-8*W,-28*w+61*W,-117*w-94*W,-10*w-7*W,-45*w+16*W, 69*w+95*W,56*w+64*W,-122*w-82*W,-39*w+2*W,11*w-68*W,26*w+67*W,-58*w+59*W, -9*w+52*W,45*w+46*W,98*w+70*W,34*w+31*W,w-39*W,-96*w+86*W,32*w+99*W, -11*w+31*W,8*w+58*W,11*w+67*W,37*w+40*W,50*w+89*W,116*w+44*W,-22*w-75*W, -66*w-53*W,-30*w-101*W,147*w+74*W,27*w+128*W,84*w+30*W,-49*w+91*W, -80*w-4*W,68*w+64*W,137*w+15*W,80*w+33*W,48*w+31*W,61*w+5*W,23*w+43*W, -113*w-190*W,-95*w-64*W,34*w+94*W,-46*w-42*W,66*w-38*W,-11*w+56*W, -18*w-68*W,61*w+98*W,61*w+68*W,128*w+43*W,162*w+40*W,45*w+6*W]]]; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ ]; result.centralizeralgebra := [ ]; return result;