/***the \vartheta-lattices with respect to \Q(\sqrt{-19})***/ /***the data for rank 8 can be accessed via ErgEXT, where***/ /***ErgEXT[j,1]=complex Gram matrix***/ /***ErgEXT[j,2]=real part of the Gram matrix***/ /***ErgEXT[j,3]=im. part of the Gram matrix***/ /***ErgEXT[j,4]=#roots***/ /***ErgEXT[j,5]=Auto.group***/ /***ErgEXT[j,6]=its Galois conjugate***/ S:=QuadraticField(-19); /***rank 4***/ START1Rank4:=1/19*Matrix(S,[ [ 38 , 0 , 6*w , 6*w ], [ 0 , 38 , 6*w , -6*w ], [ -6*w , -6*w , 38 , 0 ], [ -6*w , 6*w , 0 , 38 ] ]); START2Rank4:=1/19*Matrix(S,[ [ 76 , -7*w - 19 , -6*w + 76 , -16*w - 76 ], [ 7*w - 19 , 38 , 17*w + 19 , -6*w + 76 ], [ 6*w + 76 , -17*w + 19 , 190 , -38*w - 38 ], [ 16*w - 76 , 6*w + 76 , 38*w - 38 , 190 ] ]); /***the 83 lattices of rank 8, can be found in sequence "Erg"***/ masse:=(10433603234087/39813120)*2/(19^4+1); START1d4:=Matrix(S,[ [ 38, 0, 6*w, 6*w], [ 0, 38, 6*w, -6*w], [-6*w, -6*w, 38, 0], [-6*w, 6*w, 0, 38]]); START1:=ScalarMatrix(S,8,0); /*mach 8d Matrix aus der 4d STARTMATRIX*/ for i0:=1 to 4 do for i1:=1 to 4 do START1[i0,i1]:=START1d4[i0,i1]; START1[i0+4,i1+4]:=START1d4[i0,i1]; end for; end for; /*mach 8d Matrix aus der 4d STARTMATRIX*/ START2:=Matrix(S,[ [ 38, 0, 6*w, 6*w, 0, 0, 0, 0], [ 0, 38, 6*w, -6*w, 0, 0, 0, 0], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ -6*w, 6*w, 0, 38, 0, 0, 0, 0], [ 0, 0, 0, 0, 76, -7*w - 19, -6*w + 76, -16*w - 76], [ 0, 0, 0, 0, 7*w - 19, 38, 17*w + 19, -6*w + 76], [ 0, 0, 0, 0, 6*w + 76, -17*w + 19, 190, -38*w - 38], [ 0, 0, 0, 0, 16*w - 76, 6*w + 76, 38*w - 38, 190]]); START3:=Matrix(S,[ [ 76, -38, 6*w, -7*w - 19, 6*w + 76, -6*w - 76, 0, -19*w - 19], [ -38, 76, 6*w, 7*w + 19, -6*w - 76, 6*w + 76, 0, 19*w + 19], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ 7*w - 19, -7*w + 19, 0, 38, 14*w - 38, -14*w + 38, 0, 76], [ -6*w + 76, 6*w - 76, 0, -14*w - 38, 190, -152, 6*w, -35*w - 95], [ 6*w - 76, -6*w + 76, 0, 14*w + 38, -152, 190, 6*w, 35*w + 95], [ 0, 0, 0, 0, -6*w, -6*w, 38, 0], [ 19*w - 19, -19*w + 19, 0, 76, 35*w - 95, -35*w + 95, 0, 190]]); START4:=Matrix(S,[ [ 190, -152, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ -152, 190, 6*w, -17*w + 19, 12*w + 152, -12*w - 76, 0, -38*w - 38], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ -17*w - 19, 17*w + 19, 0, 76, 14*w - 38, -12*w, -7*w + 19, -6*w + 76], [ 12*w - 152, -12*w + 152, 0, -14*w - 38, 190, -6*w - 76, 6*w, -35*w - 95], [ -12*w + 76, 12*w - 76, 0, 12*w, 6*w - 76, 76, 6*w, 16*w + 76], [ 0, 0, 0, 7*w + 19, -6*w, -6*w, 38, 0], [ -38*w + 38, 38*w - 38, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START5:=Matrix(S,[ [ 76, 5*w - 19, 6*w - 38, 6*w - 38, -6*w + 76, 6*w - 76, 76, 19*w + 19], [ -5*w - 19, 38, 5*w + 19, 0, -10*w - 38, 5*w + 19, -12*w, -6*w + 38], [ -6*w - 38, -5*w + 19, 76, 38, 6*w - 76, -6*w + 76, -76, -19*w - 19], [ -6*w - 38, 0, 38, 76, 6*w - 76, -6*w + 76, -76, -19*w - 19], [ 6*w + 76, 10*w - 38, -6*w - 76, -6*w - 76, 190, -152, 18*w + 152, 41*w - 19], [ -6*w - 76, -5*w + 19, 6*w + 76, 6*w + 76, -152, 190, -6*w - 152, -41*w + 19], [ 76, 12*w, -76, -76, -18*w + 152, 6*w - 152, 190, 38*w + 38], [ -19*w + 19, 6*w + 38, 19*w - 19, 19*w - 19, -41*w - 19, 41*w + 19, -38*w + 38, 190]]); START6:=Matrix(S,[ [ 798, -760, 6*w, -7*w + 437, 12*w - 608, -34*w + 798, 190*w + 190, -76*w - 76], [ -760, 798, 6*w, 7*w - 437, -12*w + 608, 34*w - 798, -190*w - 190, 76*w + 76], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ 7*w + 437, -7*w - 437, 0, 342, 13*w - 361, -17*w + 475, 114*w + 76, -57*w - 19], [ -12*w - 608, 12*w + 608, 0, -13*w - 361, 532, 15*w - 665, -155*w - 95, 60*w], [ 34*w + 798, -34*w - 798, 0, 17*w + 475, -15*w - 665, 874, 208*w + 38, -82*w], [-190*w + 190, 190*w - 190, 0, -114*w + 76, 155*w - 95, -208*w + 38, 950, -380], [ 76*w - 76, -76*w + 76, 0, 57*w - 19, -60*w, 82*w, -380, 190]]); START7:=Matrix(S,[ [ 228, -190, 6*w, -7*w - 323, -6*w + 304, 17*w + 361, -95*w - 95, 38*w + 38], [ -190, 228, 6*w, 7*w + 323, 6*w - 304, -17*w - 361, 95*w + 95, -38*w - 38], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ 7*w - 323, -7*w + 323, 0, 646, 38*w - 494, -20*w - 608, 152*w + 228, -76*w - 76], [ 6*w + 304, -6*w - 304, 0, -38*w - 494, 532, 39*w + 551, -155*w - 95, 60*w], [ -17*w + 361, 17*w - 361, 0, 20*w - 608, -39*w + 551, 722, -172*w - 342, 70*w + 152], [ 95*w - 95, -95*w + 95, 0, -152*w + 228, 155*w - 95, 172*w - 342, 950, -380], [ -38*w + 38, 38*w - 38, 0, 76*w - 76, -60*w, -70*w + 152, -380, 190]]); START8:=Matrix(S,[ [ 798, -760, 6*w, 55*w - 133, 32*w - 532, 12*w - 608, 76*w + 684, 190*w + 190], [ -760, 798, 6*w, -55*w + 133, -32*w + 532, -12*w + 608, -76*w - 684, -190*w - 190], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ -55*w - 133, 55*w + 133, 0, 114, 32*w + 114, 40*w + 114, -66*w, -44*w + 228], [ -32*w - 532, 32*w + 532, 0, -32*w + 114, 418, 19*w + 437, -76*w - 418, -141*w + 19], [ -12*w - 608, 12*w + 608, 0, -40*w + 114, -19*w + 437, 494, -71*w - 513, -155*w - 95], [ -76*w + 684, 76*w - 684, 0, 66*w, 76*w - 418, 71*w - 513, 798, 152*w + 532], [-190*w + 190, 190*w - 190, 0, 44*w + 228, 141*w + 19, 155*w - 95, -152*w + 532, 950]]); START9:=Matrix(S,[ [ 228, 12*w + 76, 6*w - 190, 6*w - 190, 6*w - 304, -17*w + 209, 95*w + 95, -38*w - 38], [ -12*w + 76, 76, 12*w - 76, 7*w - 95, 25*w - 133, -22*w + 76, 38*w + 152, -19*w - 57], [ -6*w - 190, -12*w - 76, 228, 190, -6*w + 304, 17*w - 209, -95*w - 95, 38*w + 38], [ -6*w - 190, -7*w - 95, 190, 228, -6*w + 304, 17*w - 209, -95*w - 95, 38*w + 38], [ -6*w - 304, -25*w - 133, 6*w + 304, 6*w + 304, 532, 21*w - 361, -155*w - 95, 60*w], [ 17*w + 209, 22*w + 76, -17*w - 209, -17*w - 209, -21*w - 361, 266, 113*w - 57, -44*w + 38], [ -95*w + 95, -38*w + 152, 95*w - 95, 95*w - 95, 155*w - 95, -113*w - 57, 950, -380], [ 38*w - 38, 19*w - 57, -38*w + 38, -38*w + 38, -60*w, 44*w + 38, -380, 190]]); START10:=Matrix(S,[ [ 798, 131*w + 95, 6*w - 760, 6*w - 760, 32*w + 228, 12*w + 532, 76*w - 836, 190*w + 190], [ -131*w + 95, 456, 131*w - 95, 126*w - 114, -35*w + 133, -90*w + 114, 153*w + 133, -6*w + 646], [ -6*w - 760, -131*w - 95, 798, 760, -32*w - 228, -12*w - 532, -76*w + 836, -190*w - 190], [ -6*w - 760, -126*w - 114, 760, 798, -32*w - 228, -12*w - 532, -76*w + 836, -190*w - 190], [ -32*w + 228, 35*w + 133, 32*w - 228, 32*w - 228, 114, -17*w + 171, 64*w - 190, 49*w + 209], [ -12*w + 532, 90*w + 114, 12*w - 532, 12*w - 532, 17*w + 171, 380, 67*w - 551, 130*w + 190], [ -76*w - 836, -153*w + 133, 76*w + 836, 76*w + 836, -64*w - 190, -67*w - 551, 1102, -228*w + 152], [-190*w + 190, 6*w + 646, 190*w - 190, 190*w - 190, -49*w + 209, -130*w + 190, 228*w + 152, 950]]); START11:=Matrix(S,[ [ 798, 131*w - 57, 6*w - 760, 6*w - 760, 32*w + 228, 12*w - 608, 76*w - 836, 190*w + 190], [ -131*w - 57, 456, 131*w + 57, 126*w + 38, -42*w + 76, 102*w + 76, 134*w + 304, -44*w + 608], [ -6*w - 760, -131*w + 57, 798, 760, -32*w - 228, -12*w + 608, -76*w + 836, -190*w - 190], [ -6*w - 760, -126*w + 38, 760, 798, -32*w - 228, -12*w + 608, -76*w + 836, -190*w - 190], [ -32*w + 228, 42*w + 76, 32*w - 228, 32*w - 228, 114, 31*w - 171, 64*w - 190, 49*w + 209], [ -12*w - 608, -102*w + 76, 12*w + 608, 12*w + 608, -31*w - 171, 494, -47*w + 703, -155*w - 95], [ -76*w - 836, -134*w + 304, 76*w + 836, 76*w + 836, -64*w - 190, 47*w + 703, 1102, -228*w + 152], [-190*w + 190, 44*w + 608, 190*w - 190, 190*w - 190, -49*w + 209, 155*w - 95, 228*w + 152, 950]]); START12:=Matrix(S,[ [ 76, -7*w - 19, -6*w + 76, -16*w - 76, 0, 0, 0, 0], [ 7*w - 19, 38, 17*w + 19, -6*w + 76, 0, 0, 0, 0], [ 6*w + 76, -17*w + 19, 190, -38*w - 38, 0, 0, 0, 0], [ 16*w - 76, 6*w + 76, 38*w - 38, 190, 0, 0, 0, 0], [ 0, 0, 0, 0, 76, -7*w - 19, -6*w + 76, -16*w - 76], [ 0, 0, 0, 0, 7*w - 19, 38, 17*w + 19, -6*w + 76], [ 0, 0, 0, 0, 6*w + 76, -17*w + 19, 190, -38*w - 38], [ 0, 0, 0, 0, 16*w - 76, 6*w + 76, 38*w - 38, 190]]); START13:=Matrix(S,[ [ 190, -152, 6*w, 15*w - 171, 26*w - 114, 88*w + 152, 76*w + 76, 38*w - 342], [ -152, 190, 6*w, -15*w + 171, -26*w + 114, -88*w - 152, -76*w - 76, -38*w + 342], [ -6*w, -6*w, 38, 0, 0, 0, 0, 0], [ -15*w - 171, 15*w + 171, 0, 228, -15*w + 171, -112*w, -95*w + 57, -6*w + 456], [ -26*w - 114, 26*w + 114, 0, 15*w + 171, 190, -92*w + 190, -64*w + 190, 30*w + 380], [ -88*w + 152, 88*w - 152, 0, 112*w, 92*w + 190, 1140, 38*w + 912, 236*w + 76], [ -76*w + 76, 76*w - 76, 0, 95*w + 57, 64*w + 190, -38*w + 912, 798, 190*w + 190], [ -38*w - 342, 38*w + 342, 0, 6*w + 456, -30*w + 380, -236*w + 76, -190*w + 190, 950]]); START14:=Matrix(S,[ [ 228, -114, -7*w - 19, 10*w - 76, -6*w - 76, 18*w + 152, -19*w - 19, 38*w + 38], [ -114, 228, -7*w - 19, -24*w - 38, 18*w + 228, -6*w, -19*w - 19, -38*w - 38], [ 7*w - 19, 7*w - 19, 38, -10*w + 38, 14*w - 38, 14*w - 38, 76, 0], [ -10*w - 76, 24*w - 38, 10*w + 38, 152, 22*w - 152, -4*w - 114, 25*w + 95, -6*w + 76], [ 6*w - 76, -18*w + 228, -14*w - 38, -22*w - 152, 342, -6*w + 76, -35*w - 95, -35*w - 95], [-18*w + 152, 6*w, -14*w - 38, 4*w - 114, 6*w + 76, 228, -35*w - 95, 16*w + 76], [ 19*w - 19, 19*w - 19, 76, -25*w + 95, 35*w - 95, 35*w - 95, 190, 0], [ -38*w + 38, 38*w - 38, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START15:=Matrix(S,[ [ 342, -152, -7*w - 95, 3*w - 133, 0, 24*w, -38*w - 38, 38*w + 38], [ -152, 190, -7*w + 57, -17*w + 19, 12*w + 152, -12*w - 76, 0, -38*w - 38], [ 7*w - 95, 7*w + 57, 76, -17*w + 57, 27*w + 19, -18*w - 38, 76, -19*w + 19], [ -3*w - 133, 17*w + 19, 17*w + 57, 152, 22*w - 152, -25*w + 57, 25*w + 95, -6*w + 76], [ 0, -12*w + 152, -27*w + 19, -22*w - 152, 342, 12*w - 152, -35*w - 95, -35*w - 95], [ -24*w, 12*w - 76, 18*w - 38, 25*w + 57, -12*w - 152, 114, 22*w - 38, 16*w + 76], [ 38*w - 38, 0, 76, -25*w + 95, 35*w - 95, -22*w - 38, 190, 0], [ -38*w + 38, 38*w - 38, 19*w + 19, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START16:=Matrix(S,[ [ 342, -76, 31*w - 133, 31*w + 95, -24*w - 304, 0, 38*w + 38, 38*w + 38], [ -76, 228, -7*w + 133, -10*w + 76, 6*w + 76, -18*w - 114, 19*w + 19, -38*w - 38], [-31*w - 133, 7*w + 133, 190, -24*w + 76, 40*w + 76, -12*w - 76, 76, -38*w + 38], [ -31*w + 95, 10*w + 76, 24*w + 76, 152, 22*w - 152, -11*w - 57, 25*w + 95, -6*w + 76], [ 24*w - 304, -6*w + 76, -40*w + 76, -22*w - 152, 342, 0, -35*w - 95, -35*w - 95], [ 0, 18*w - 114, 12*w - 76, 11*w - 57, 0, 114, -16*w - 76, 16*w + 76], [ -38*w + 38, -19*w + 19, 76, -25*w + 95, 35*w - 95, 16*w - 76, 190, 0], [ -38*w + 38, 38*w - 38, 38*w + 38, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START17:=Matrix(S,[ [ 190, -152, 31*w - 285, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ -152, 342, -45*w + 247, -31*w - 95, 24*w + 304, -76, -38*w - 38, -38*w - 38], [-31*w - 285, 45*w + 247, 646, -38*w + 114, 66*w + 190, -38*w - 114, 76, -76*w + 76], [ -17*w - 19, 31*w - 95, 38*w + 114, 152, 22*w - 152, -18*w, 25*w + 95, -6*w + 76], [ 12*w - 152, -24*w + 304, -66*w + 190, -22*w - 152, 342, 6*w - 76, -35*w - 95, -35*w - 95], [ -12*w + 76, -76, 38*w - 114, 18*w, -6*w - 76, 76, 3*w - 57, 16*w + 76], [ 0, 38*w - 38, 76, -25*w + 95, 35*w - 95, -3*w - 57, 190, 0], [ -38*w + 38, 38*w - 38, 76*w + 76, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START18:=Matrix(S,[ [ 798, 48*w + 152, 79*w - 285, 29*w - 247, -304, 120*w, 12*w, 70*w + 190], [-48*w + 152, 190, 31*w + 19, 19*w - 57, 24*w, 32*w + 152, 12*w, -6*w + 114], [-79*w - 285, -31*w + 19, 266, 12*w + 152, 33*w + 95, -44*w + 228, -7*w + 19, -44*w + 76], [-29*w - 247, -19*w - 57, -12*w + 152, 152, 8*w + 38, -44*w + 76, -13*w + 19, -22*w], [ -304, -24*w, -33*w + 95, -8*w + 38, 190, -41*w + 19, 6*w, -35*w - 95], [ -120*w, -32*w + 152, 44*w + 228, 44*w + 76, 41*w + 19, 380, 3*w + 57, -30*w + 190], [ -12*w, -12*w, 7*w + 19, 13*w + 19, -6*w, -3*w + 57, 38, 0], [-70*w + 190, 6*w + 114, 44*w + 76, 22*w, 35*w - 95, 30*w + 190, 0, 190]]); START19:=Matrix(S,[ [ 342, 0, 3*w - 209, 3*w - 209, 0, 24*w + 152, -38*w - 38, 38*w + 38], [ 0, 342, -45*w + 95, -31*w - 171, 24*w + 304, 0, -38*w - 38, -38*w - 38], [ -3*w - 209, 45*w + 95, 304, -38*w + 152, 54*w + 38, -17*w - 95, 6*w + 114, -44*w + 76], [ -3*w - 209, 31*w - 171, 38*w + 152, 304, 16*w - 228, -17*w - 95, 44*w + 114, -6*w + 76], [ 0, -24*w + 304, -54*w + 38, -16*w - 228, 342, 0, -35*w - 95, -35*w - 95], [-24*w + 152, 0, 17*w - 95, 17*w - 95, 0, 114, -16*w - 76, 16*w + 76], [ 38*w - 38, 38*w - 38, -6*w + 114, -44*w + 114, 35*w - 95, 16*w - 76, 190, 0], [ -38*w + 38, 38*w - 38, 44*w + 76, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START20:=Matrix(S,[ [ 342, -76, 69*w - 247, 31*w - 57, -24*w - 304, 228, 38*w + 38, 38*w + 38], [ -76, 228, -24*w + 304, -10*w, 6*w + 76, -18*w, 19*w + 19, -38*w - 38], [-69*w - 247, 24*w + 304, 874, -17*w + 133, 87*w + 133, -76*w - 76, 6*w + 152, -82*w + 114], [ -31*w - 57, 10*w, 17*w + 133, 76, 34*w, -20*w - 38, -13*w + 57, -6*w + 76], [ 24*w - 304, -6*w + 76, -87*w + 133, -34*w, 342, 18*w - 228, -35*w - 95, -35*w - 95], [ 228, 18*w, 76*w - 76, 20*w - 38, -18*w - 228, 228, 41*w - 19, 16*w + 76], [ -38*w + 38, -19*w + 19, -6*w + 152, 13*w + 57, 35*w - 95, -41*w - 19, 190, 0], [ -38*w + 38, 38*w - 38, 82*w + 114, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START21:=Matrix(S,[ [ 228, -152, -5*w + 19, 24*w + 38, -18*w - 190, 6*w + 38, 19*w + 19, 38*w + 38], [ -152, 190, 17*w - 19, -17*w + 19, 12*w + 152, -12*w - 76, 0, -38*w - 38], [ 5*w + 19, -17*w - 19, 114, -12*w + 38, -10*w - 38, 16*w - 76, 6*w + 114, 6*w - 76], [ -24*w + 38, 17*w + 19, 12*w + 38, 152, 15*w - 95, -11*w - 57, 25*w + 95, -6*w + 76], [ 18*w - 190, -12*w + 152, 10*w - 38, -15*w - 95, 228, -6*w - 38, -16*w - 76, -35*w - 95], [ -6*w + 38, 12*w - 76, -16*w - 76, 11*w - 57, 6*w - 38, 114, -16*w - 76, 16*w + 76], [ -19*w + 19, 0, -6*w + 114, -25*w + 95, 16*w - 76, 16*w - 76, 190, 0], [ -38*w + 38, 38*w - 38, -6*w - 76, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START22:=Matrix(S,[ [ 342, -228, 21*w - 95, 31*w + 95, -24*w - 228, 152, 38*w + 38, 38*w + 38], [ -228, 228, -9*w + 95, -24*w - 38, 18*w + 190, -6*w - 114, -19*w - 19, -38*w - 38], [ -21*w - 95, 9*w + 95, 190, -26*w + 76, 16*w + 76, -24*w - 76, 6*w + 114, -32*w - 38], [ -31*w + 95, 24*w - 38, 26*w + 76, 152, 15*w - 95, -25*w + 57, 25*w + 95, -6*w + 76], [ 24*w - 228, -18*w + 190, -16*w + 76, -15*w - 95, 228, 6*w - 114, -16*w - 76, -35*w - 95], [ 152, 6*w - 114, 24*w - 76, 25*w + 57, -6*w - 114, 114, 22*w - 38, 16*w + 76], [ -38*w + 38, 19*w - 19, -6*w + 114, -25*w + 95, 16*w - 76, -22*w - 38, 190, 0], [ -38*w + 38, 38*w - 38, 32*w - 38, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START23:=Matrix(S,[ [ 228, -152, 31*w - 57, 24*w - 38, -18*w - 190, 6*w + 152, 19*w + 19, 38*w + 38], [ -152, 190, -17*w + 95, -17*w + 19, 12*w + 152, -12*w - 76, 0, -38*w - 38], [ -31*w - 57, 17*w + 95, 304, 7*w + 57, 29*w - 19, -53*w + 57, 24*w + 152, -31*w + 57], [ -24*w - 38, 17*w + 19, -7*w + 57, 76, 27*w - 19, -20*w - 38, -13*w + 57, -6*w + 76], [ 18*w - 190, -12*w + 152, -29*w - 19, -27*w - 19, 228, 12*w - 152, -16*w - 76, -35*w - 95], [ -6*w + 152, 12*w - 76, 53*w + 57, 20*w - 38, -12*w - 152, 228, 41*w - 19, 16*w + 76], [ -19*w + 19, 0, -24*w + 152, 13*w + 57, 16*w - 76, -41*w - 19, 190, 0], [ -38*w + 38, 38*w - 38, 31*w + 57, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START24:=Matrix(S,[ [ 304, -38*w - 114, -42*w - 304, 87*w - 399, -9*w - 209, 66*w - 152, 76*w - 304, -57*w - 437], [ 38*w - 114, 190, -22*w + 228, -93*w - 57, -26*w + 114, -50*w - 114, -76*w - 76, -38*w + 342], [ 42*w - 304, 22*w + 228, 456, -159*w + 171, -21*w + 247, -94*w - 38, -133*w + 95, -6*w + 646], [ -87*w - 399, 93*w - 57, 159*w + 171, 1140, 78*w + 228, -50*w + 608, -19*w + 931, 225*w + 285], [ 9*w - 209, 26*w + 114, 21*w + 247, -78*w + 228, 190, -57*w + 95, -64*w + 190, 30*w + 380], [ -66*w - 152, 50*w - 114, 94*w - 38, 50*w + 608, 57*w + 95, 418, 38*w + 532, 141*w - 19], [ -76*w - 304, 76*w - 76, 133*w + 95, 19*w + 931, 64*w + 190, -38*w + 532, 798, 190*w + 190], [ 57*w - 437, 38*w + 342, 6*w + 646, -225*w + 285, -30*w + 380, -141*w - 19, -190*w + 190, 950]]); START25:=Matrix(S,[ [ 798, -38*w - 418, -16*w - 38, 43*w - 513, -158*w + 722, 82*w - 418, -76*w + 684, -152*w - 532], [ 38*w - 418, 304, 9*w + 19, -49*w + 247, 123*w - 247, -66*w + 152, 76*w - 304, 57*w + 437], [ 16*w - 38, -9*w + 19, 38, -17*w + 19, 21*w + 19, -10*w - 38, 10*w, -6*w + 76], [ -43*w - 513, 49*w + 247, 17*w + 19, 418, 61*w - 665, -34*w + 342, 5*w - 513, 130*w + 190], [ 158*w + 722, -123*w - 247, -21*w + 19, -61*w - 665, 1330, -9*w - 703, 76*w + 950, -255*w + 95], [ -82*w - 418, 66*w + 152, 10*w - 38, 34*w + 342, 9*w - 703, 418, -26*w - 532, 141*w - 19], [ 76*w + 684, -76*w - 304, -10*w, -5*w - 513, -76*w + 950, 26*w - 532, 798, -190*w - 190], [ 152*w - 532, -57*w + 437, 6*w + 76, -130*w + 190, 255*w + 95, -141*w - 19, 190*w - 190, 950]]); START26:=Matrix(S,[ [ 304, -38*w - 114, -5*w - 95, -65*w + 209, 29*w - 361, 66*w - 152, 0, -57*w - 437], [ 38*w - 114, 190, -8*w + 38, 59*w + 95, -64*w + 76, -50*w - 114, 0, -38*w + 342], [ 5*w - 95, 8*w + 38, 38, 22*w - 38, -15*w + 95, -23*w + 19, -2*w, 10*w + 152], [ 65*w + 209, -59*w + 95, -22*w - 38, 532, -68*w - 456, 14*w - 456, -7*w + 19, -155*w - 95], [ -29*w - 361, 64*w + 76, 15*w + 95, 68*w - 456, 570, -73*w + 361, 6*w, 125*w + 475], [ -66*w - 152, 50*w - 114, 23*w + 19, -14*w - 456, 73*w + 361, 418, 6*w, 141*w - 19], [ 0, 0, 2*w, 7*w + 19, -6*w, -6*w, 38, 0], [ 57*w - 437, 38*w + 342, -10*w + 152, 155*w - 95, -125*w + 475, -141*w - 19, 0, 950]]); START27:=Matrix(S,[ [ 456, -38*w - 646, 50*w - 76, 99*w + 513, -15*w - 475, 72*w + 608, 38*w + 228, 133*w - 247], [ 38*w - 646, 1102, -82*w, -105*w - 969, -20*w + 760, -56*w - 1064, -38*w - 418, -228*w + 152], [ -50*w - 76, 82*w, 152, -81*w + 171, 59*w + 19, -85*w + 57, -39*w + 57, 10*w + 342], [ -99*w + 513, 105*w - 969, 81*w + 171, 1140, 90*w - 684, -56*w + 1064, -13*w + 475, 225*w + 285], [ 15*w - 475, 20*w + 760, -59*w + 19, -90*w - 684, 570, -60*w - 722, -29*w - 285, -160*w + 190], [ -72*w + 608, 56*w - 1064, 85*w + 57, 56*w + 1064, 60*w - 722, 1140, 22*w + 456, 236*w + 76], [ -38*w + 228, 38*w - 418, 39*w + 57, 13*w + 475, 29*w - 285, -22*w + 456, 228, 95*w + 95], [-133*w - 247, 228*w + 152, -10*w + 342, -225*w + 285, 160*w + 190, -236*w + 76, -95*w + 95, 950]]); START28:=Matrix(S,[ [ 304, -38*w - 114, -25*w - 323, -27*w + 57, -123*w + 247, 66*w - 152, -76*w + 304, -57*w - 437], [ 38*w - 114, 190, -32*w + 190, 21*w + 57, 88*w + 228, -50*w - 114, 76*w + 76, -38*w + 342], [ 25*w - 323, 32*w + 190, 418, 39*w - 19, 164*w - 76, -93*w + 57, 115*w - 209, 26*w + 608], [ 27*w + 57, -21*w + 57, -39*w - 19, 114, -9*w + 285, -2*w - 190, 5*w + 247, -60*w], [ 123*w + 247, -88*w + 228, -164*w - 76, 9*w + 285, 1330, -9*w - 703, 76*w + 950, -255*w + 95], [ -66*w - 152, 50*w - 114, 93*w + 57, 2*w - 190, 9*w - 703, 418, -26*w - 532, 141*w - 19], [ 76*w + 304, -76*w + 76, -115*w - 209, -5*w + 247, -76*w + 950, 26*w - 532, 798, -190*w - 190], [ 57*w - 437, 38*w + 342, -26*w + 608, 60*w, 255*w + 95, -141*w - 19, 190*w - 190, 950]]); START29:=Matrix(S,[ [ 798, -38*w - 418, -144*w - 646, 81*w - 855, -6*w - 646, -32*w + 608, 0, -152*w - 532], [ 38*w - 418, 304, 49*w + 475, -87*w + 399, -29*w + 361, 48*w - 304, 0, 57*w + 437], [ 144*w - 646, -49*w + 475, 1102, -228*w + 456, -120*w + 532, 138*w - 418, -9*w + 19, 26*w + 988], [ -81*w - 855, 87*w + 399, 228*w + 456, 1140, 72*w + 684, -32*w - 760, -7*w + 19, 225*w + 285], [ 6*w - 646, 29*w + 361, 120*w + 532, -72*w + 684, 570, 32*w - 494, 6*w, 125*w + 475], [ 32*w + 608, -48*w - 304, -138*w - 418, 32*w - 760, -32*w - 494, 532, 6*w, -144*w - 304], [ 0, 0, 9*w + 19, 7*w + 19, -6*w, -6*w, 38, 0], [ 152*w - 532, -57*w + 437, -26*w + 988, -225*w + 285, -125*w + 475, 144*w - 304, 0, 950]]); START30:=Matrix(S,[ [ 304, -38*w - 114, -25*w - 323, 11*w - 95, -9*w - 209, -10*w + 152, 76*w - 304, -57*w - 437], [ 38*w - 114, 190, -32*w + 190, -17*w + 19, -26*w + 114, 26*w - 38, -76*w - 76, -38*w + 342], [ 25*w - 323, 32*w + 190, 570, -24*w + 152, -13*w + 209, 21*w - 209, -133*w + 247, 26*w + 608], [ -11*w - 95, 17*w + 19, 24*w + 152, 76, 8*w + 38, -6*w - 76, -19*w + 171, 35*w + 95], [ 9*w - 209, 26*w + 114, 13*w + 209, -8*w + 38, 190, 13*w - 95, -64*w + 190, 30*w + 380], [ 10*w + 152, -26*w - 38, -21*w - 209, 6*w - 76, -13*w - 95, 114, 38*w - 228, -49*w - 209], [ -76*w - 304, 76*w - 76, 133*w + 247, 19*w + 171, 64*w + 190, -38*w - 228, 798, 190*w + 190], [ 57*w - 437, 38*w + 342, -26*w + 608, -35*w + 95, -30*w + 380, 49*w - 209, -190*w + 190, 950]]); START31:=Matrix(S,[ [ 1102, 152*w + 608, 216*w + 38, -47*w - 703, -18*w - 1178, 18*w + 646, -76*w - 836, 228*w - 152], [-152*w + 608, 798, 118*w + 608, 71*w - 513, 158*w - 722, -82*w + 418, 76*w - 684, 152*w + 532], [ -216*w + 38, -118*w + 608, 912, 139*w - 171, 234*w - 152, -136*w + 76, 158*w - 304, 42*w + 874], [ 47*w - 703, -71*w - 513, -139*w - 171, 532, -44*w + 760, 14*w - 456, 5*w + 627, -155*w - 95], [ 18*w - 1178, -158*w - 722, -234*w - 152, 44*w + 760, 1330, -9*w - 703, 76*w + 950, -255*w + 95], [ -18*w + 646, 82*w + 418, 136*w + 76, -14*w - 456, 9*w - 703, 418, -26*w - 532, 141*w - 19], [ 76*w - 836, -76*w - 684, -158*w - 304, -5*w + 627, -76*w + 950, 26*w - 532, 798, -190*w - 190], [-228*w - 152, -152*w + 532, -42*w + 874, 155*w - 95, 255*w + 95, -141*w - 19, 190*w - 190, 950]]); START32:=Matrix(S,[ [ 304, -38*w - 114, -45*w - 551, 49*w - 247, 29*w - 361, -10*w + 152, 0, -57*w - 437], [ 38*w - 114, 190, -56*w + 342, -55*w - 19, -64*w + 76, 26*w - 38, 0, -38*w + 342], [ 45*w - 551, 56*w + 342, 1406, -139*w + 399, -125*w + 589, 39*w - 323, -16*w + 38, 42*w + 1064], [ -49*w - 247, 55*w - 19, 139*w + 399, 418, 37*w + 399, -22*w - 190, -7*w + 19, 130*w + 190], [ -29*w - 361, 64*w + 76, 125*w + 589, -37*w + 399, 570, -3*w - 209, 6*w, 125*w + 475], [ 10*w + 152, -26*w - 38, -39*w - 323, 22*w - 190, 3*w - 209, 114, 6*w, -49*w - 209], [ 0, 0, 16*w + 38, 7*w + 19, -6*w, -6*w, 38, 0], [ 57*w - 437, 38*w + 342, -42*w + 1064, -130*w + 190, -125*w + 475, 49*w - 209, 0, 950]]); START33:=Matrix(S,[ [ 1102, 152*w + 608, 100*w + 190, 67*w + 551, 58*w - 342, 56*w + 1064, -38*w - 418, 228*w - 152], [-152*w + 608, 798, 30*w + 380, -43*w + 513, 82*w - 38, -120*w + 760, 38*w - 342, 152*w + 532], [-100*w + 190, -30*w + 380, 266, -35*w + 247, 38*w + 38, -96*w + 304, 32*w - 114, 58*w + 380], [ -67*w + 551, 43*w + 513, 35*w + 247, 418, 49*w - 133, -40*w + 608, -w - 247, 130*w + 190], [ -58*w - 342, -82*w - 38, -38*w + 38, -49*w - 133, 190, -76*w - 266, 41*w + 95, -65*w + 285], [-56*w + 1064, 120*w + 760, 96*w + 304, 40*w + 608, 76*w - 266, 1140, -10*w - 456, 236*w + 76], [ 38*w - 418, -38*w - 342, -32*w - 114, w - 247, -41*w + 95, 10*w - 456, 228, -95*w - 95], [-228*w - 152, -152*w + 532, -58*w + 380, -130*w + 190, 65*w + 285, -236*w + 76, 95*w - 95, 950]]); START34:=Matrix(S,[ [ 304, -38*w - 114, -8*w - 342, 49*w - 247, -47*w - 57, 66*w - 152, -38*w + 152, -57*w - 437], [ 38*w - 114, 190, -42*w + 152, -55*w - 19, 12*w + 152, -50*w - 114, 38*w + 38, -38*w + 342], [ 8*w - 342, 42*w + 152, 456, -61*w + 285, 51*w + 95, -92*w + 152, 51*w - 133, 58*w + 570], [ -49*w - 247, 55*w - 19, 61*w + 285, 418, 49*w - 133, -34*w + 342, -w - 247, 130*w + 190], [ 47*w - 57, -12*w + 152, -51*w + 95, -49*w - 133, 190, -41*w - 171, 41*w + 95, -65*w + 285], [ -66*w - 152, 50*w - 114, 92*w + 152, 34*w + 342, 41*w - 171, 418, -10*w - 266, 141*w - 19], [ 38*w + 152, -38*w + 38, -51*w - 133, w - 247, -41*w + 95, 10*w - 266, 228, -95*w - 95], [ 57*w - 437, 38*w + 342, -58*w + 570, -130*w + 190, 65*w + 285, -141*w - 19, 95*w - 95, 950]]); START35:=Matrix(S,[ [ 304, -38*w - 114, -8*w - 342, 87*w - 399, -123*w + 247, -10*w + 152, -76*w + 304, -57*w - 437], [ 38*w - 114, 190, -42*w + 152, -93*w - 57, 88*w + 228, 26*w - 38, 76*w + 76, -38*w + 342], [ 8*w - 342, 42*w + 152, 608, -117*w + 513, 151*w - 285, 8*w - 228, 87*w - 285, 58*w + 570], [ -87*w - 399, 93*w - 57, 117*w + 513, 1140, 96*w - 1140, -38*w - 304, 5*w - 893, 225*w + 285], [ 123*w + 247, -88*w + 228, -151*w - 285, -96*w - 1140, 1330, 61*w + 247, 76*w + 950, -255*w + 95], [ 10*w + 152, -26*w - 38, -8*w - 228, 38*w - 304, -61*w + 247, 114, -26*w + 228, -49*w - 209], [ 76*w + 304, -76*w + 76, -87*w - 285, -5*w - 893, -76*w + 950, 26*w + 228, 798, -190*w - 190], [ 57*w - 437, 38*w + 342, -58*w + 570, -225*w + 285, 255*w + 95, 49*w - 209, 190*w - 190, 950]]); START36:=Matrix(S,[ [ 798, -38*w - 418, -120*w - 722, 81*w - 855, -158*w + 722, 120*w - 760, -76*w + 684, -152*w - 532], [ 38*w - 418, 304, 32*w + 494, -87*w + 399, 123*w - 247, -104*w + 304, 76*w - 304, 57*w + 437], [ 120*w - 722, -32*w + 494, 1216, -207*w + 627, 253*w - 247, -240*w + 304, 163*w - 361, 58*w + 950], [ -81*w - 855, 87*w + 399, 207*w + 627, 1140, 96*w - 1140, -56*w + 1064, 5*w - 893, 225*w + 285], [ 158*w + 722, -123*w - 247, -253*w - 247, -96*w - 1140, 1330, -44*w - 1178, 76*w + 950, -255*w + 95], [-120*w - 760, 104*w + 304, 240*w + 304, 56*w + 1064, 44*w - 1178, 1140, -26*w - 912, 236*w + 76], [ 76*w + 684, -76*w - 304, -163*w - 361, -5*w - 893, -76*w + 950, 26*w - 912, 798, -190*w - 190], [ 152*w - 532, -57*w + 437, -58*w + 950, -225*w + 285, 255*w + 95, -236*w + 76, 190*w - 190, 950]]); START37:=Matrix(S,[ [ 190, -38*w - 190, 66*w - 380, 93*w + 57, -88*w - 228, 50*w + 114, -76*w - 76, 38*w - 342], [ 38*w - 190, 456, -173*w + 133, -99*w - 513, 53*w + 703, -34*w - 380, 76*w + 456, -133*w + 247], [ -66*w - 380, 173*w + 133, 1634, -252*w + 684, 304*w - 228, -179*w + 95, 201*w - 399, 58*w + 1140], [ -93*w + 57, 99*w - 513, 252*w + 684, 1140, 96*w - 1140, -50*w + 608, 5*w - 893, 225*w + 285], [ 88*w - 228, -53*w + 703, -304*w - 228, -96*w - 1140, 1330, -9*w - 703, 76*w + 950, -255*w + 95], [ -50*w + 114, 34*w - 380, 179*w + 95, 50*w + 608, 9*w - 703, 418, -26*w - 532, 141*w - 19], [ 76*w - 76, -76*w + 456, -201*w - 399, -5*w - 893, -76*w + 950, 26*w - 532, 798, -190*w - 190], [ -38*w - 342, 133*w + 247, -58*w + 1140, -225*w + 285, 255*w + 95, -141*w - 19, 190*w - 190, 950]]); START38:=Matrix(S,[ [ 1102, 152*w + 608, 146*w - 228, -9*w - 285, 20*w - 760, -20*w + 228, -38*w - 418, 228*w - 152], [-152*w + 608, 798, 116*w + 266, 33*w - 171, 120*w - 380, -44*w + 76, 38*w - 342, 152*w + 532], [-146*w - 228, -116*w + 266, 456, 39*w + 57, 98*w + 190, -30*w - 114, 60*w, -25*w + 627], [ 9*w - 285, -33*w - 171, -39*w + 57, 114, -15*w + 171, 4*w - 76, -w + 133, -60*w], [ -20*w - 760, -120*w - 380, -98*w + 190, 15*w + 171, 570, 10*w - 152, 41*w + 285, -160*w + 190], [ 20*w + 228, 44*w + 76, 30*w - 114, -4*w - 76, -10*w - 152, 76, -10*w - 76, 46*w - 114], [ 38*w - 418, -38*w - 342, -60*w, w + 133, -41*w + 285, 10*w - 76, 228, -95*w - 95], [-228*w - 152, -152*w + 532, 25*w + 627, 60*w, 160*w + 190, -46*w - 114, 95*w - 95, 950]]); START39:=Matrix(S,[ [ 190, -38*w - 190, 8*w - 190, 55*w + 19, -12*w - 152, 88*w + 152, 76*w + 76, 38*w - 342], [ 38*w - 190, 456, -53*w + 171, -61*w - 285, -23*w + 247, -72*w - 608, -76*w - 456, -133*w + 247], [ -8*w - 190, 53*w + 171, 380, -69*w + 95, 18*w + 114, -115*w - 133, -109*w + 19, -25*w + 437], [ -55*w + 19, 61*w - 285, 69*w + 95, 418, 49*w - 133, -40*w + 608, -19*w + 551, 130*w + 190], [ 12*w - 152, 23*w + 247, -18*w + 114, -49*w - 133, 190, -76*w - 266, -64*w - 190, -65*w + 285], [ -88*w + 152, 72*w - 608, 115*w - 133, 40*w + 608, 76*w - 266, 1140, 38*w + 912, 236*w + 76], [ -76*w + 76, 76*w - 456, 109*w + 19, 19*w + 551, 64*w - 190, -38*w + 912, 798, 190*w + 190], [ -38*w - 342, 133*w + 247, 25*w + 437, -130*w + 190, 65*w + 285, -236*w + 76, -190*w + 190, 950]]); START40:=Matrix(S,[ [ 456, -38*w - 646, 69*w - 171, 61*w + 285, -53*w - 703, 34*w + 380, 38*w + 228, 133*w - 247], [ 38*w - 646, 1102, -120*w + 114, -67*w - 551, 18*w + 1178, -18*w - 646, -38*w - 418, -228*w + 152], [ -69*w - 171, 120*w + 114, 304, -69*w + 95, 133*w + 95, -80*w - 38, -53*w + 57, -9*w + 513], [ -61*w + 285, 67*w - 551, 69*w + 95, 418, 61*w - 665, -34*w + 342, -13*w + 285, 130*w + 190], [ 53*w - 703, -18*w + 1178, -133*w + 95, -61*w - 665, 1330, -9*w - 703, -29*w - 475, -255*w + 95], [ -34*w + 380, 18*w - 646, 80*w - 38, 34*w + 342, 9*w - 703, 418, 22*w + 266, 141*w - 19], [ -38*w + 228, 38*w - 418, 53*w + 57, 13*w + 285, 29*w - 475, -22*w + 266, 228, 95*w + 95], [-133*w - 247, 228*w + 152, 9*w + 513, -130*w + 190, 255*w + 95, -141*w - 19, -95*w + 95, 950]]); START41:=Matrix(S,[ [ 304, -38*w - 114, -24*w - 152, -65*w + 209, -85*w + 95, -48*w + 304, -38*w + 152, -57*w - 437], [ 38*w - 114, 190, -8*w + 114, 59*w + 95, 50*w + 190, 64*w, 38*w + 38, -38*w + 342], [ 24*w - 152, 8*w + 114, 228, 53*w + 57, 47*w + 57, 46*w - 114, 21*w + 19, -9*w + 323], [ 65*w + 209, -59*w + 95, -53*w + 57, 532, -50*w + 456, 32*w + 456, -w + 323, -155*w - 95], [ 85*w + 95, -50*w + 190, -47*w + 57, 50*w + 456, 570, 80*w + 418, 41*w + 285, -160*w + 190], [ 48*w + 304, -64*w, -46*w - 114, -32*w + 456, -80*w + 418, 532, -10*w + 304, -144*w - 304], [ 38*w + 152, -38*w + 38, -21*w + 19, w + 323, -41*w + 285, 10*w + 304, 228, -95*w - 95], [ 57*w - 437, 38*w + 342, 9*w + 323, 155*w - 95, 160*w + 190, 144*w - 304, 95*w - 95, 950]]); START42:=Matrix(S,[ [ 798, -38*w - 418, -28*w + 190, 43*w - 513, -120*w + 380, -32*w + 608, 76*w - 684, -152*w - 532], [ 38*w - 418, 304, 27*w - 95, -49*w + 247, 85*w - 95, 48*w - 304, -76*w + 304, 57*w + 437], [ 28*w + 190, -27*w - 95, 114, -5*w - 133, -23*w + 171, 9*w + 171, -9*w - 209, -60*w - 38], [ -43*w - 513, 49*w + 247, 5*w - 133, 418, 55*w - 399, -16*w - 456, -19*w + 551, 130*w + 190], [ 120*w + 380, -85*w - 95, 23*w + 171, -55*w - 399, 570, 80*w + 418, -64*w - 570, -160*w + 190], [ 32*w + 608, -48*w - 304, -9*w + 171, 16*w - 456, -80*w + 418, 532, 38*w - 608, -144*w - 304], [ -76*w - 684, 76*w + 304, 9*w - 209, 19*w + 551, 64*w - 570, -38*w - 608, 798, 190*w + 190], [ 152*w - 532, -57*w + 437, 60*w - 38, -130*w + 190, 160*w + 190, 144*w - 304, -190*w + 190, 950]]); START43:=Matrix(S,[ [ 456, -38*w - 646, 85*w - 361, -53*w - 399, 23*w - 247, -4*w + 152, 0, 133*w - 247], [ 38*w - 646, 1102, -162*w + 380, 47*w + 703, -58*w + 342, 20*w - 228, 0, -228*w + 152], [ -85*w - 361, 162*w + 380, 798, 122*w + 190, 25*w + 247, -34*w - 190, -16*w + 38, -60*w + 722], [ 53*w - 399, -47*w + 703, -122*w + 190, 532, -56*w + 152, 20*w - 152, -7*w + 19, -155*w - 95], [ -23*w - 247, 58*w + 342, -25*w + 247, 56*w + 152, 190, -6*w - 76, 6*w, -65*w + 285], [ 4*w + 152, -20*w - 228, 34*w - 190, -20*w - 152, 6*w - 76, 76, 6*w, 46*w - 114], [ 0, 0, 16*w + 38, 7*w + 19, -6*w, -6*w, 38, 0], [-133*w - 247, 228*w + 152, 60*w + 722, 155*w - 95, 65*w + 285, -46*w - 114, 0, 950]]); START44:=Matrix(S,[ [ 456, -38*w - 646, 20*w - 190, 23*w + 57, -15*w - 475, -80*w - 304, 76*w + 456, 133*w - 247], [ 38*w - 646, 1102, -46*w + 228, -29*w - 133, -20*w + 760, 96*w + 608, -76*w - 836, -228*w + 152], [ -20*w - 190, 46*w + 228, 228, -11*w + 57, 22*w + 152, 41*w + 19, -66*w - 76, -44*w + 228], [ -23*w + 57, 29*w - 133, 11*w + 57, 76, 20*w - 114, -152, -19*w + 171, 35*w + 95], [ 15*w - 475, 20*w + 760, -22*w + 152, -20*w - 114, 570, 80*w + 418, -64*w - 570, -160*w + 190], [ 80*w - 304, -96*w + 608, -41*w + 19, -152, -80*w + 418, 532, 38*w - 608, -144*w - 304], [ -76*w + 456, 76*w - 836, 66*w - 76, 19*w + 171, 64*w - 570, -38*w - 608, 798, 190*w + 190], [-133*w - 247, 228*w + 152, 44*w + 228, -35*w + 95, 160*w + 190, 144*w - 304, -190*w + 190, 950]]); START45:=Matrix(S,[ [ 304, -38*w - 114, -58*w + 152, -27*w + 57, -9*w - 209, -10*w + 152, -38*w + 152, -57*w - 437], [ 38*w - 114, 190, 50*w + 76, 21*w + 57, -26*w + 114, 26*w - 38, 38*w + 38, -38*w + 342], [ 58*w + 152, -50*w + 76, 456, 3*w + 209, -60*w - 114, 18*w + 114, 2*w + 304, -130*w - 38], [ 27*w + 57, -21*w + 57, -3*w + 209, 114, -27*w - 57, 10*w + 38, -w + 133, -60*w], [ 9*w - 209, 26*w + 114, 60*w - 114, 27*w - 57, 190, 13*w - 95, 41*w - 95, 30*w + 380], [ 10*w + 152, -26*w - 38, -18*w + 114, -10*w + 38, -13*w - 95, 114, -10*w + 114, -49*w - 209], [ 38*w + 152, -38*w + 38, -2*w + 304, w + 133, -41*w - 95, 10*w + 114, 228, -95*w - 95], [ 57*w - 437, 38*w + 342, 130*w - 38, 60*w, -30*w + 380, 49*w - 209, 95*w - 95, 950]]); START46:=Matrix(S,[ [ 798, -114*w + 266, -103*w - 551, -71*w + 513, -44*w - 304, 120*w - 760, 76*w - 684, -152*w - 532], [ 114*w + 266, 456, -113*w + 95, 53*w + 399, -61*w + 19, -72*w - 608, -76*w - 456, -133*w + 247], [ 103*w - 551, 113*w + 95, 684, 118*w - 152, -12*w + 304, -189*w + 209, -152*w + 304, 36*w + 760], [ 71*w + 513, -53*w + 399, -118*w - 152, 532, -62*w - 152, 8*w - 760, -19*w - 589, -155*w - 95], [ 44*w - 304, 61*w + 19, 12*w + 304, 62*w - 152, 190, -92*w + 190, -64*w + 190, 30*w + 380], [-120*w - 760, 72*w - 608, 189*w + 209, -8*w - 760, 92*w + 190, 1140, 38*w + 912, 236*w + 76], [ -76*w - 684, 76*w - 456, 152*w + 304, 19*w - 589, 64*w + 190, -38*w + 912, 798, 190*w + 190], [ 152*w - 532, 133*w + 247, -36*w + 760, 155*w - 95, -30*w + 380, -236*w + 76, -190*w + 190, 950]]); START47:=Matrix(S,[ [ 190, 76*w - 76, -35*w - 323, 55*w + 19, 26*w - 114, 88*w + 152, -76*w - 76, 38*w - 342], [ -76*w - 76, 798, 173*w - 171, -43*w + 513, 44*w + 304, -120*w + 760, 76*w - 684, 152*w + 532], [ 35*w - 323, -173*w - 171, 798, -102*w - 266, -82*w + 114, -148*w - 684, 134*w + 494, -152*w + 532], [ -55*w + 19, 43*w + 513, 102*w - 266, 418, 43*w + 133, -40*w + 608, 5*w - 513, 130*w + 190], [ -26*w - 114, -44*w + 304, 82*w + 114, -43*w + 133, 190, -92*w + 190, 76*w - 190, 30*w + 380], [ -88*w + 152, 120*w + 760, 148*w - 684, 40*w + 608, 92*w + 190, 1140, -26*w - 912, 236*w + 76], [ 76*w - 76, -76*w - 684, -134*w + 494, -5*w - 513, -76*w - 190, 26*w - 912, 798, -190*w - 190], [ -38*w - 342, -152*w + 532, 152*w + 532, -130*w + 190, -30*w + 380, -236*w + 76, 190*w - 190, 950]]); START48:=Matrix(S,[ [ 190, 24*w - 304, -18*w - 152, 29*w + 57, -12*w - 152, 44*w - 76, 0, 38*w + 38], [-24*w - 304, 722, 79*w + 285, -72*w - 38, 45*w + 247, -88*w + 304, -7*w + 19, -82*w + 38], [ 18*w - 152, -79*w + 285, 342, -24*w - 152, -12*w + 152, -76*w - 76, -12*w, -32*w - 152], [ -29*w + 57, 72*w - 38, 24*w - 152, 152, 20*w - 114, 32*w + 152, -w + 19, 10*w + 152], [ 12*w - 152, -45*w + 247, 12*w + 152, -20*w - 114, 190, -41*w + 19, 6*w, -35*w - 95], [ -44*w - 76, 88*w + 304, 76*w - 76, -32*w + 152, 41*w + 19, 380, 3*w + 57, -30*w + 190], [ 0, 7*w + 19, 12*w, w + 19, -6*w, -3*w + 57, 38, 0], [ -38*w + 38, 82*w + 38, 32*w - 152, -10*w + 152, 35*w - 95, 30*w + 190, 0, 190]]); START49:=Matrix(S,[ [ 228, 17*w - 19, 6*w + 76, 24*w + 76, -18*w - 228, 6*w, 19*w + 19, 38*w + 38], [ -17*w - 19, 114, -11*w + 95, -14*w + 152, 21*w - 57, -6*w - 114, 18*w + 76, -18*w + 38], [ -6*w + 76, 11*w + 95, 190, 14*w + 190, -12*w - 152, -12*w - 152, 38*w + 38, 0], [ -24*w + 76, 14*w + 152, -14*w + 190, 304, 16*w - 228, -10*w - 190, 44*w + 114, -6*w + 76], [ 18*w - 228, -21*w - 57, 12*w - 152, -16*w - 228, 342, -6*w + 76, -35*w - 95, -35*w - 95], [ -6*w, 6*w - 114, 12*w - 152, 10*w - 190, 6*w + 76, 228, -35*w - 95, 16*w + 76], [ -19*w + 19, -18*w + 76, -38*w + 38, -44*w + 114, 35*w - 95, 35*w - 95, 190, 0], [ -38*w + 38, 18*w + 38, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START50:=Matrix(S,[ [ 228, -16*w - 152, 6*w - 38, 10*w - 76, -6*w - 190, 18*w, -19*w - 19, 38*w + 38], [ 16*w - 152, 190, -9*w + 57, -19*w + 95, -15*w + 133, -32*w, 18*w + 114, -25*w - 57], [ -6*w - 38, 9*w + 57, 76, 7*w + 57, -6*w + 38, -6*w + 76, 19*w + 19, 0], [ -10*w - 76, 19*w + 95, -7*w + 57, 152, w + 19, -32*w + 114, 25*w + 95, -6*w + 76], [ 6*w - 190, 15*w + 133, 6*w + 38, -w + 19, 228, 0, 22*w - 38, -35*w - 95], [ -18*w, 32*w, 6*w + 76, 32*w + 114, 0, 228, 41*w - 19, 16*w + 76], [ 19*w - 19, -18*w + 114, -19*w + 19, -25*w + 95, -22*w - 38, -41*w - 19, 190, 0], [ -38*w + 38, 25*w - 57, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START51:=Matrix(S,[ [ 190, -48*w, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ 48*w, 342, 7*w - 19, -14*w, -66*w + 114, 32*w - 152, 12*w + 76, 12*w - 228], [ -6*w, -7*w - 19, 76, -7*w - 95, 6*w - 76, 6*w + 76, -19*w - 19, 0], [ -17*w - 19, 14*w, 7*w - 95, 304, -12*w + 152, -10*w - 190, 44*w + 114, -6*w + 76], [ 12*w - 152, 66*w + 114, -6*w - 76, 12*w + 152, 342, -30*w - 228, 41*w - 19, -35*w - 95], [ -12*w + 76, -32*w - 152, -6*w + 76, 10*w - 190, 30*w - 228, 228, -35*w - 95, 16*w + 76], [ 0, -12*w + 76, 19*w - 19, -44*w + 114, -41*w - 19, 35*w - 95, 190, 0], [ -38*w + 38, -12*w - 228, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START52:=Matrix(S,[ [ 190, -48*w, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ 48*w, 380, 21*w - 57, 18*w - 114, -64*w + 76, 39*w - 171, 12*w + 114, 12*w - 228], [ -6*w, -21*w - 57, 190, -14*w + 114, 12*w - 76, 12*w + 152, -38*w - 38, 0], [ -17*w - 19, -18*w - 114, 14*w + 114, 152, 19*w - 95, 14*w + 114, -32*w + 38, -6*w + 76], [ 12*w - 152, 64*w + 76, -12*w - 76, -19*w - 95, 228, -24*w - 152, 22*w - 38, -35*w - 95], [ -12*w + 76, -39*w - 171, -12*w + 152, -14*w + 114, 24*w - 152, 228, -35*w - 95, 16*w + 76], [ 0, -12*w + 114, 38*w - 38, 32*w + 38, -22*w - 38, 35*w - 95, 190, 0], [ -38*w + 38, -12*w - 228, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START53:=Matrix(S,[ [ 228, -28*w - 76, 6*w - 38, 10*w - 76, -6*w - 114, 18*w, -19*w - 19, 38*w + 38], [ 28*w - 76, 190, 3*w + 57, 6*w, -38*w + 38, 10*w + 38, 24*w, -152], [ -6*w - 38, -3*w + 57, 76, 7*w + 57, -6*w - 38, -6*w + 76, 19*w + 19, 0], [ -10*w - 76, -6*w, -7*w + 57, 152, 15*w - 95, -32*w + 114, 25*w + 95, -6*w + 76], [ 6*w - 114, 38*w + 38, 6*w - 38, -15*w - 95, 228, 12*w - 152, -16*w - 76, -35*w - 95], [ -18*w, -10*w + 38, 6*w + 76, 32*w + 114, -12*w - 152, 228, 41*w - 19, 16*w + 76], [ 19*w - 19, -24*w, -19*w + 19, -25*w + 95, 16*w - 76, -41*w - 19, 190, 0], [ -38*w + 38, -152, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START54:=Matrix(S,[ [ 342, 8*w - 152, 6*w - 152, 31*w + 95, -24*w - 152, 76, 38*w + 38, 38*w + 38], [ -8*w - 152, 836, 25*w - 133, -39*w + 133, -5*w + 285, -27*w - 209, 30*w + 152, -70*w - 152], [ -6*w - 152, -25*w - 133, 190, -14*w - 114, 12*w, 12*w, -38*w - 38, 0], [ -31*w + 95, 39*w + 133, 14*w - 114, 152, 8*w - 38, -18*w, 25*w + 95, -6*w + 76], [ 24*w - 152, 5*w + 285, -12*w, -8*w - 38, 190, -6*w - 76, 3*w - 57, -35*w - 95], [ 76, 27*w - 209, -12*w, 18*w, 6*w - 76, 76, 3*w - 57, 16*w + 76], [ -38*w + 38, -30*w + 152, 38*w - 38, -25*w + 95, -3*w - 57, -3*w - 57, 190, 0], [ -38*w + 38, 70*w - 152, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START55:=Matrix(S,[ [ 228, -51*w - 19, 6*w + 76, 24*w + 76, -18*w - 76, 6*w, 19*w + 19, 38*w + 38], [ 51*w - 19, 532, 9*w + 171, 11*w + 95, -44*w + 342, -6*w - 266, 42*w, -13*w - 247], [ -6*w + 76, -9*w + 171, 190, 14*w + 190, -12*w + 152, -12*w - 152, 38*w + 38, 0], [ -24*w + 76, -11*w + 95, -14*w + 190, 304, -12*w + 152, -10*w - 190, 44*w + 114, -6*w + 76], [ 18*w - 76, 44*w + 342, 12*w + 152, 12*w + 152, 342, -30*w - 228, 41*w - 19, -35*w - 95], [ -6*w, 6*w - 266, 12*w - 152, 10*w - 190, 30*w - 228, 228, -35*w - 95, 16*w + 76], [ -19*w + 19, -42*w, -38*w + 38, -44*w + 114, -41*w - 19, 35*w - 95, 190, 0], [ -38*w + 38, 13*w - 247, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START56:=Matrix(S,[ [ 228, 23*w - 209, 6*w + 38, 10*w, -6*w - 76, 18*w + 152, -19*w - 19, 38*w + 38], [-23*w - 209, 342, 2*w - 38, -3*w + 57, 41*w - 19, -24*w - 152, 24*w + 76, -43*w + 95], [ -6*w + 38, -2*w - 38, 76, -7*w + 19, 6*w + 76, 6*w + 76, -19*w - 19, 0], [ -10*w, 3*w + 57, 7*w + 19, 76, 34*w, 8*w + 38, -13*w + 57, -6*w + 76], [ 6*w - 76, -41*w - 19, -6*w + 76, -34*w, 342, -6*w + 76, -35*w - 95, -35*w - 95], [-18*w + 152, 24*w - 152, -6*w + 76, -8*w + 38, 6*w + 76, 228, -35*w - 95, 16*w + 76], [ 19*w - 19, -24*w + 76, 19*w - 19, 13*w + 57, 35*w - 95, 35*w - 95, 190, 0], [ -38*w + 38, 43*w + 95, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START57:=Matrix(S,[ [ 228, -10*w - 114, 6*w + 76, 24*w, -18*w - 190, 6*w + 114, 19*w + 19, 38*w + 38], [ 10*w - 114, 494, -10*w + 190, -8*w + 38, -10*w + 114, -26*w - 38, 42*w + 76, -44*w - 114], [ -6*w + 76, 10*w + 190, 190, 14*w + 38, -12*w - 76, -12*w + 76, 38*w + 38, 0], [ -24*w, 8*w + 38, -14*w + 38, 76, 21*w - 57, -19*w + 19, 6*w + 76, -6*w + 76], [ 18*w - 190, 10*w + 114, 12*w - 76, -21*w - 57, 228, 6*w - 114, -16*w - 76, -35*w - 95], [ -6*w + 114, 26*w - 38, 12*w + 76, 19*w + 19, -6*w - 114, 114, 22*w - 38, 16*w + 76], [ -19*w + 19, -42*w + 76, -38*w + 38, -6*w + 76, 16*w - 76, -22*w - 38, 190, 0], [ -38*w + 38, 44*w - 114, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START58:=Matrix(S,[ [ 456, 77*w - 475, -32*w - 228, 99*w + 513, 61*w - 19, -4*w + 152, 38*w + 228, 133*w - 247], [ -77*w - 475, 912, 81*w + 133, -198*w - 190, -74*w + 228, -34*w - 190, -87*w - 57, -101*w + 741], [ 32*w - 228, -81*w + 133, 228, -6*w - 456, -35*w - 95, 16*w - 76, -190, -95*w - 95], [ -99*w + 513, 198*w - 190, 6*w - 456, 1140, 78*w + 228, -44*w + 152, -13*w + 475, 225*w + 285], [ -61*w - 19, 74*w + 228, 35*w - 95, -78*w + 228, 190, -22*w, -29*w + 95, 30*w + 380], [ 4*w + 152, 34*w - 190, -16*w - 76, 44*w + 152, 22*w, 76, 22*w + 76, 46*w - 114], [ -38*w + 228, 87*w - 57, -190, 13*w + 475, 29*w + 95, -22*w + 76, 228, 95*w + 95], [-133*w - 247, 101*w + 741, 95*w - 95, -225*w + 285, -30*w + 380, -46*w - 114, -95*w + 95, 950]]); START59:=Matrix(S,[ [ 798, 26*w - 190, 6*w, 41*w - 19, -304, 120*w, 12*w, 70*w + 190], [-26*w - 190, 190, -7*w + 19, -6*w + 76, 0, -36*w + 76, -14*w + 38, -12*w], [ -6*w, 7*w + 19, 38, 0, 0, 0, 0, 0], [ -41*w - 19, 6*w + 76, 0, 76, 14*w - 38, -6*w + 114, -7*w + 19, -6*w + 76], [ -304, 0, 0, -14*w - 38, 190, -41*w + 19, 6*w, -35*w - 95], [ -120*w, 36*w + 76, 0, 6*w + 114, 41*w + 19, 380, 3*w + 57, -30*w + 190], [ -12*w, 14*w + 38, 0, 7*w + 19, -6*w, -3*w + 57, 38, 0], [-70*w + 190, 12*w, 0, 6*w + 76, 35*w - 95, 30*w + 190, 0, 190]]); START60:=Matrix(S,[ [ 190, 3*w - 133, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ -3*w - 133, 152, -14*w + 38, -17*w + 57, 13*w + 57, -11*w - 57, 6*w + 38, -25*w - 19], [ -6*w, 14*w + 38, 76, 7*w + 95, -6*w - 76, -6*w, 19*w + 19, 0], [ -17*w - 19, 17*w + 57, -7*w + 95, 304, 16*w - 228, -24*w, 44*w + 114, -6*w + 76], [ 12*w - 152, -13*w + 57, 6*w - 76, -16*w - 228, 342, 6*w - 76, -35*w - 95, -35*w - 95], [ -12*w + 76, 11*w - 57, 6*w, 24*w, -6*w - 76, 76, 3*w - 57, 16*w + 76], [ 0, -6*w + 38, -19*w + 19, -44*w + 114, 35*w - 95, -3*w - 57, 190, 0], [ -38*w + 38, 25*w - 19, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START61:=Matrix(S,[ [ 342, 17*w - 95, 6*w + 76, 31*w + 19, -24*w - 304, 228, 38*w + 38, 38*w + 38], [ -17*w - 95, 266, -9*w + 57, -7*w + 57, 20*w + 38, -22*w + 38, 18*w, -37*w + 57], [ -6*w + 76, 9*w + 57, 76, 7*w + 19, -6*w - 76, -6*w + 76, 19*w + 19, 0], [ -31*w + 19, 7*w + 57, -7*w + 19, 76, 28*w - 76, -26*w + 38, 6*w + 76, -6*w + 76], [ 24*w - 304, -20*w + 38, 6*w - 76, -28*w - 76, 342, 18*w - 228, -35*w - 95, -35*w - 95], [ 228, 22*w + 38, 6*w + 76, 26*w + 38, -18*w - 228, 228, 41*w - 19, 16*w + 76], [ -38*w + 38, -18*w, -19*w + 19, -6*w + 76, 35*w - 95, -41*w - 19, 190, 0], [ -38*w + 38, 37*w + 57, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START62:=Matrix(S,[ [ 190, -21*w - 57, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [ 21*w - 57, 228, -21*w + 57, -24*w + 76, -47*w + 95, 4*w - 76, 12*w + 114, -114], [ -6*w, 21*w + 57, 76, 7*w + 95, -6*w + 76, -6*w, 19*w + 19, 0], [ -17*w - 19, 24*w + 76, -7*w + 95, 304, -12*w + 152, -24*w, 44*w + 114, -6*w + 76], [ 12*w - 152, 47*w + 95, 6*w + 76, 12*w + 152, 342, -18*w - 76, 41*w - 19, -35*w - 95], [ -12*w + 76, -4*w - 76, 6*w, 24*w, 18*w - 76, 76, 3*w - 57, 16*w + 76], [ 0, -12*w + 114, -19*w + 19, -44*w + 114, -41*w - 19, -3*w - 57, 190, 0], [ -38*w + 38, -114, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START63:=Matrix(S,[ [ 190, 27*w - 361, 6*w, 17*w - 19, -12*w - 152, 12*w + 76, 0, 38*w + 38], [-27*w - 361, 950, -16*w + 76, -28*w + 114, 32*w + 380, -37*w - 247, 24*w + 76, -88*w + 38], [ -6*w, 16*w + 76, 76, 7*w + 19, -6*w + 76, -6*w - 76, 19*w + 19, 0], [ -17*w - 19, 28*w + 114, -7*w + 19, 76, 0, 2*w - 38, 6*w + 76, -6*w + 76], [ 12*w - 152, -32*w + 380, 6*w + 76, 0, 342, -30*w - 228, 41*w - 19, -35*w - 95], [ -12*w + 76, 37*w - 247, 6*w - 76, -2*w - 38, 30*w - 228, 228, -35*w - 95, 16*w + 76], [ 0, -24*w + 76, -19*w + 19, -6*w + 76, -41*w - 19, 35*w - 95, 190, 0], [ -38*w + 38, 88*w + 38, 0, 6*w + 76, 35*w - 95, -16*w + 76, 0, 190]]); START64:=Matrix(S,[ [ 1140 , -1102 , 6*w , 156*w + 988 , 224*w - 76 , -268*w + 266 , 38*w + 38 , -171*w + 589 ], [ -1102 , 1140 , 6*w , -156*w - 988 , -224*w + 76 , 268*w - 266 , -38*w - 38 , 171*w - 589 ], [ -6*w , -6*w , 38 , 0 , 0 , 0 , 0 , 0 ], [ -156*w + 988 , 156*w - 988 , 0 , 1406 , 256*w + 532 , -318*w - 494 , 4*w + 190 , -243*w + 171 ], [ -224*w - 76 , 224*w + 76 , 0 , -256*w + 532 , 1292 , -29*w - 1425 , -35*w - 95 , -160*w - 760 ], [ 268*w + 266 , -268*w - 266 , 0 , 318*w - 494 , 29*w - 1425 , 1634 , 44*w + 38 , 149*w + 969 ], [ -38*w + 38 , 38*w - 38 , 0 , -4*w + 190 , 35*w - 95 , -44*w + 38 , 190 , 0 ], [ 171*w + 589 , -171*w - 589 , 0 , 243*w + 171 , 160*w - 760 , -149*w + 969 , 0 , 950 ] ]); START65:=Matrix(S,[ [ 76 , 102*w + 190 , -12*w - 114 , 10*w + 38 , -41*w - 95 , -55*w + 285 , -18*w + 152 , 6*w - 76 ], [ -102*w + 190 , 7486 , 291*w - 1197 , -61*w + 1159 , 86*w - 3154 , -1256*w - 1596 , -606*w - 266 , 240*w + 76 ], [ 12*w - 114 , -291*w - 1197 , 456 , -35*w - 171 , 114*w + 570 , 261*w - 665 , 108*w - 418 , -51*w + 171 ], [ -10*w + 38 , 61*w + 1159 , 35*w - 171 , 266 , -6*w - 494 , -208*w - 38 , -94*w + 38 , 25*w - 19 ], [ 41*w - 95 , -86*w - 3154 , -114*w + 570 , 6*w - 494 , 1368 , 549*w + 399 , 261*w - 19 , -104*w ], [ 55*w + 285 , 1256*w - 1596 , -261*w - 665 , 208*w - 38 , -549*w + 399 , 4370 , 85*w + 1995 , -41*w - 779 ], [ 18*w + 152 , 606*w - 266 , -108*w - 418 , 94*w + 38 , -261*w - 19 , -85*w + 1995 , 950 , -380 ], [ -6*w - 76 , -240*w + 76 , 51*w + 171 , -25*w - 19 , 104*w , 41*w - 779 , -380 , 190 ] ]); START66:=Matrix(S,[ [ 76 , 34*w + 38 , -19*w - 133 , -58*w - 114 , 61*w + 133 , -55*w + 285 , -18*w + 152 , 6*w - 76 ], [ -34*w + 38 , 798 , 121*w - 475 , 41*w - 1235 , -46*w + 1406 , -382*w - 722 , -190*w - 190 , 76*w + 76 ], [ 19*w - 133 , -121*w - 475 , 722 , 166*w + 950 , -178*w - 988 , 343*w - 665 , 146*w - 456 , -70*w + 190 ], [ 58*w - 114 , -41*w - 1235 , -166*w + 950 , 2166 , 15*w - 2375 , 666*w + 836 , 322*w + 114 , -139*w - 19 ], [ -61*w + 133 , 46*w + 1406 , 178*w - 988 , -15*w - 2375 , 2736 , -762*w - 912 , -363*w - 133 , 142*w ], [ 55*w + 285 , 382*w - 722 , -343*w - 665 , -666*w + 836 , 762*w - 912 , 4370 , 85*w + 1995 , -41*w - 779 ], [ 18*w + 152 , 190*w - 190 , -146*w - 456 , -322*w + 114 , 363*w - 133 , -85*w + 1995 , 950 , -380 ], [ -6*w - 76 , -76*w + 76 , 70*w + 190 , 139*w - 19 , -142*w , 41*w - 779 , -380 , 190 ] ]); START67:=Matrix(S,[ [ 7486 , -136*w + 2736 , -171*w - 399 , 27*w + 1387 , 16*w - 4484 , 1256*w + 1596 , 606*w + 266 , -240*w - 76 ], [ 136*w + 2736 , 1102 , -67*w - 95 , 41*w + 513 , -76*w - 1672 , 492*w + 152 , 226*w - 114 , -88*w + 76 ], [ 171*w - 399 , 67*w - 95 , 114 , 31*w - 57 , -100*w + 228 , -29*w - 627 , -25*w - 285 , 6*w + 114 ], [ -27*w + 1387 , -41*w + 513 , -31*w - 57 , 342 , 30*w - 836 , 229*w + 399 , 114*w + 76 , -57*w - 19 ], [ -16*w - 4484 , 76*w - 1672 , 100*w + 228 , -30*w - 836 , 2736 , -762*w - 912 , -363*w - 133 , 142*w ], [ -1256*w + 1596 , -492*w + 152 , 29*w - 627 , -229*w + 399 , 762*w - 912 , 4370 , 85*w + 1995 , -41*w - 779 ], [ -606*w + 266 , -226*w - 114 , 25*w - 285 , -114*w + 76 , 363*w - 133 , -85*w + 1995 , 950 , -380 ], [ 240*w - 76 , 88*w + 76 , -6*w + 114 , 57*w - 19 , -142*w , 41*w - 779 , -380 , 190 ] ]); START68:=Matrix(S,[ [ 836 , -228*w - 456 , 127*w - 209 , 202*w + 190 , -124*w - 494 , 124*w + 684 , 190*w - 190 , 19*w + 779 ], [ 228*w - 456 , 1862 , -145*w - 589 , -31*w - 1387 , -56*w + 1064 , 122*w - 1254 , -190*w - 950 , 266*w - 494 ], [ -127*w - 209 , 145*w - 589 , 456 , -92*w + 532 , 114*w - 266 , -149*w + 209 , -18*w + 646 , -126*w - 190 ], [ -202*w + 190 , 31*w - 1387 , 92*w + 532 , 1178 , 76*w - 760 , -124*w + 874 , 114*w + 836 , -228*w + 342 ], [ 124*w - 494 , 56*w + 1064 , -114*w - 266 , -76*w - 760 , 722 , 37*w - 855 , -155*w - 475 , 125*w - 475 ], [ -124*w + 684 , -122*w - 1254 , 149*w + 209 , 124*w + 874 , -37*w - 855 , 1064 , 208*w + 418 , -136*w + 684 ], [ -190*w - 190 , 190*w - 950 , 18*w + 646 , -114*w + 836 , 155*w - 475 , -208*w + 418 , 950 , -190*w - 190 ], [ -19*w + 779 , -266*w - 494 , 126*w - 190 , 228*w + 342 , -125*w - 475 , 136*w + 684 , 190*w - 190 , 950 ] ]); START69:=Matrix(S,[ [ 5358 , 760*w + 3040 , -108*w + 114 , -45*w + 2679 , 322*w - 798 , -830*w - 3306 , 1140*w - 760 , -76*w - 836 ], [ -760*w + 3040 , 3838 , -78*w - 228 , -411*w + 1425 , 298*w + 418 , -2*w - 4142 , 760*w + 2660 , 76*w - 684 ], [ 108*w + 114 , 78*w - 228 , 76 , 44*w + 76 , -10*w - 114 , -86*w + 228 , 12*w - 456 , -19*w - 19 ], [ 45*w + 2679 , 411*w + 1425 , -44*w + 76 , 1444 , 168*w - 456 , -453*w - 1539 , 570*w - 570 , -57*w - 399 ], [ -322*w - 798 , -298*w + 418 , 10*w - 114 , -168*w - 456 , 532 , 325*w - 475 , -125*w + 1425 , 60*w ], [ 830*w - 3306 , 2*w - 4142 , 86*w + 228 , 453*w - 1539 , -325*w - 475 , 4522 , -827*w - 2907 , -82*w + 760 ], [ -1140*w - 760 , -760*w + 2660 , -12*w - 456 , -570*w - 570 , 125*w + 1425 , 827*w - 2907 , 4750 , 190*w - 190 ], [ 76*w - 836 , -76*w - 684 , 19*w - 19 , 57*w - 399 , -60*w , 82*w + 760 , -190*w - 190 , 190 ] ]); START70:=Matrix(S,[ [ 2128 , -190*w - 3230 , -168*w - 152 , -501*w - 1767 , -23*w - 1843 , -432*w - 304 , 665*w - 1235 , -76*w - 456 ], [ 190*w - 3230 , 5358 , 248*w + 494 , 615*w + 3591 , -132*w + 2888 , 640*w + 1216 , -1140*w + 760 , 76*w + 836 ], [ 168*w - 152 , -248*w + 494 , 304 , -118*w + 874 , -148*w + 190 , 5*w + 665 , -143*w - 931 , -32*w + 114 ], [ 501*w - 1767 , -615*w + 3591 , 118*w + 874 , 3838 , -411*w + 1653 , 285*w + 2223 , -855*w - 1995 , -57*w + 741 ], [ 23*w - 1843 , 132*w + 2888 , 148*w + 190 , 411*w + 1653 , 1672 , 378*w + 342 , -600*w + 950 , 60*w + 380 ], [ 432*w - 304 , -640*w + 1216 , -5*w + 665 , -285*w + 2223 , -378*w + 342 , 1748 , -352*w - 2432 , -82*w + 380 ], [ -665*w - 1235 , 1140*w + 760 , 143*w - 931 , 855*w - 1995 , 600*w + 950 , 352*w - 2432 , 4750 , 190*w - 190 ], [ 76*w - 456 , -76*w + 836 , 32*w + 114 , 57*w + 741 , -60*w + 380 , 82*w + 380 , -190*w - 190 , 190 ] ]); START71:=Matrix(S,[ [ 1102 , 222*w + 646 , -62*w - 1900 , -109*w - 2413 , -26*w - 1178 , -492*w - 152 , -226*w + 114 , 88*w - 76 ], [ -222*w + 646 , 1292 , 357*w - 1425 , 440*w - 1900 , 232*w - 836 , -270*w - 2052 , -164*w - 836 , 69*w + 323 ], [ 62*w - 1900 , -357*w - 1425 , 3534 , 34*w + 4446 , -30*w + 2166 , 874*w + 874 , 416*w + 76 , -164*w ], [ 109*w - 2413 , -440*w - 1900 , -34*w + 4446 , 5738 , -51*w + 2755 , 1103*w + 1273 , 530*w + 152 , -221*w - 19 ], [ 26*w - 1178 , -232*w - 836 , 30*w + 2166 , 51*w + 2755 , 1368 , 549*w + 399 , 261*w - 19 , -104*w ], [ 492*w - 152 , 270*w - 2052 , -874*w + 874 , -1103*w + 1273 , -549*w + 399 , 4370 , 85*w + 1995 , -41*w - 779 ], [ 226*w + 114 , 164*w - 836 , -416*w + 76 , -530*w + 152 , -261*w - 19 , -85*w + 1995 , 950 , -380 ], [ -88*w - 76 , -69*w + 323 , 164*w , 221*w - 19 , 104*w , 41*w - 779 , -380 , 190 ] ]); START72:=Matrix(S,[ [ 7486 , -924*w + 760 , 74*w - 5092 , 95*w - 3705 , -86*w + 3154 , 1256*w + 1596 , 606*w + 266 , -240*w - 76 ], [ 924*w + 760 , 2280 , -623*w - 665 , -452*w - 570 , 384*w + 532 , 325*w - 2793 , 96*w - 1406 , -39*w + 551 ], [ -74*w - 5092 , 623*w - 665 , 3534 , -34*w + 2546 , 30*w - 2166 , -874*w - 874 , -416*w - 76 , 164*w ], [ -95*w - 3705 , 452*w - 570 , 34*w + 2546 , 1938 , 9*w - 1577 , -645*w - 475 , -302*w , 107*w - 19 ], [ 86*w + 3154 , -384*w + 532 , -30*w - 2166 , -9*w - 1577 , 1368 , 549*w + 399 , 261*w - 19 , -104*w ], [ -1256*w + 1596 , -325*w - 2793 , 874*w - 874 , 645*w - 475 , -549*w + 399 , 4370 , 85*w + 1995 , -41*w - 779 ], [ -606*w + 266 , -96*w - 1406 , 416*w - 76 , 302*w , -261*w - 19 , -85*w + 1995 , 950 , -380 ], [ 240*w - 76 , 39*w + 551 , -164*w , -107*w - 19 , 104*w , 41*w - 779 , -380 , 190 ] ]); START73:=Matrix(S,[ [ 3268 , -106*w - 2280 , 74*w - 3344 , 10*w + 912 , 65*w - 4617 , 819*w + 1159 , 398*w + 228 , -158*w - 76 ], [ 106*w - 2280 , 1710 , -158*w + 2318 , 26*w - 608 , -188*w + 3192 , -537*w - 1311 , -272*w - 418 , 101*w + 171 ], [ -74*w - 3344 , 158*w + 2318 , 3534 , -34*w - 950 , 30*w + 4826 , -874*w - 874 , -416*w - 76 , 164*w ], [ -10*w + 912 , -26*w - 608 , 34*w - 950 , 342 , 47*w - 1311 , 229*w + 399 , 114*w + 76 , -57*w - 19 ], [ -65*w - 4617 , 188*w + 3192 , -30*w + 4826 , -47*w - 1311 , 6688 , -1199*w - 1349 , -571*w - 171 , 224*w ], [ -819*w + 1159 , 537*w - 1311 , 874*w - 874 , -229*w + 399 , 1199*w - 1349 , 4370 , 85*w + 1995 , -41*w - 779 ], [ -398*w + 228 , 272*w - 418 , 416*w - 76 , -114*w + 76 , 571*w - 171 , -85*w + 1995 , 950 , -380 ], [ 158*w - 76 , -101*w + 171 , -164*w , 57*w - 19 , -224*w , 41*w - 779 , -380 , 190 ] ]); START74:=Matrix(S,[ [ 494 , 223*w - 285 , 18*w + 456 , -33*w - 285 , 234*w + 114 , -4*w - 532 , -120*w , 44*w - 76 ], [ -223*w - 285 , 3572 , -302*w - 190 , 214*w + 152 , -252*w + 2736 , 388*w + 456 , 128*w - 1748 , -52*w + 684 ], [ -18*w + 456 , 302*w - 190 , 570 , -13*w - 361 , 266*w + 266 , 15*w - 665 , -155*w - 95 , 60*w ], [ 33*w - 285 , -214*w + 152 , 13*w - 361 , 342 , -174*w - 304 , -17*w + 475 , 114*w + 76 , -57*w - 19 ], [ -234*w + 114 , 252*w + 2736 , -266*w + 266 , 174*w - 304 , 2660 , 340*w - 190 , -30*w - 1520 , 30*w + 570 ], [ 4*w - 532 , -388*w + 456 , -15*w - 665 , 17*w + 475 , -340*w - 190 , 874 , 208*w + 38 , -82*w ], [ 120*w , -128*w - 1748 , 155*w - 95 , -114*w + 76 , 30*w - 1520 , -208*w + 38 , 950 , -380 ], [ -44*w - 76 , 52*w + 684 , -60*w , 57*w - 19 , -30*w + 570 , 82*w , -380 , 190 ] ]); START75:=Matrix(S,[ [ 3838 , 182*w - 152 , -374*w + 3420 , 601*w - 3135 , -488*w + 1292 , 572*w - 988 , -760*w - 2660 , -76*w + 684 ], [ -182*w - 152 , 380 , -156*w - 456 , 104*w + 646 , -50*w - 418 , 30*w + 532 , 156*w - 608 , -31*w - 171 ], [ 374*w + 3420 , 156*w - 456 , 3838 , 228*w - 3952 , -310*w + 2090 , 416*w - 1976 , -950*w - 950 , 760 ], [ -601*w - 3135 , -104*w + 646 , -228*w - 3952 , 4446 , 209*w - 2527 , -319*w + 2527 , 1045*w - 95 , -57*w - 779 ], [ 488*w + 1292 , 50*w - 418 , 310*w + 2090 , -209*w - 2527 , 1672 , 68*w - 1748 , -600*w + 950 , 60*w + 380 ], [ -572*w - 988 , -30*w + 532 , -416*w - 1976 , 319*w + 2527 , -68*w - 1748 , 1900 , 598*w - 1482 , -82*w - 380 ], [ 760*w - 2660 , -156*w - 608 , 950*w - 950 , -1045*w - 95 , 600*w + 950 , -598*w - 1482 , 4750 , 190*w - 190 ], [ 76*w + 684 , 31*w - 171 , 760 , 57*w - 779 , -60*w + 380 , 82*w - 380 , -190*w - 190 , 190 ] ]); START76:=Matrix(S,[ [ 1862 , 229*w - 627 , -70*w - 456 , -121*w + 475 , 132*w - 608 , -274*w + 342 , 190*w + 950 , -266*w + 494 ], [ -229*w - 627 , 1178 , 57*w - 57 , -47*w - 361 , 79*w + 627 , -2*w - 950 , -211*w + 247 , -6*w - 684 ], [ 70*w - 456 , -57*w - 57 , 228 , 57*w - 19 , -60*w , 82*w + 190 , -380 , 95*w + 95 ], [ 121*w + 475 , 47*w - 361 , -57*w - 19 , 342 , 13*w - 361 , -74*w + 456 , 114*w + 76 , -38*w + 532 ], [ -132*w - 608 , -79*w + 627 , 60*w , -13*w - 361 , 532 , 75*w - 665 , -155*w - 95 , 30*w - 570 ], [ 274*w + 342 , 2*w - 950 , -82*w + 190 , 74*w + 456 , -75*w - 665 , 1064 , 208*w - 342 , 54*w + 874 ], [ -190*w + 950 , 211*w + 247 , -380 , -114*w + 76 , 155*w - 95 , -208*w - 342 , 950 , -190*w - 190 ], [ 266*w + 494 , 6*w - 684 , -95*w + 95 , 38*w + 532 , -30*w - 570 , -54*w + 874 , 190*w - 190 , 950 ] ]); START77:=Matrix(S,[ [ 228 , -76*w - 266 , 83*w + 589 , -45*w - 361 , -82*w + 228 , -21*w + 323 , -95*w - 95 , 38*w - 342 ], [ 76*w - 266 , 1140 , 109*w - 1501 , -107*w + 893 , 202*w + 532 , 161*w - 247 , 95*w + 855 , -228*w + 152 ], [ -83*w + 589 , -109*w - 1501 , 2622 , 17*w - 1425 , -333*w + 19 , -202*w + 836 , -259*w - 1083 , 270*w - 684 ], [ 45*w - 361 , 107*w + 893 , -17*w - 1425 , 988 , 250*w + 38 , 126*w - 494 , 152*w + 608 , -171*w + 589 ], [ 82*w + 228 , -202*w + 532 , 333*w + 19 , -250*w + 38 , 1292 , 119*w + 627 , -155*w + 665 , -160*w - 760 ], [ 21*w + 323 , -161*w - 247 , 202*w + 836 , -126*w - 494 , -119*w + 627 , 608 , -172*w + 38 , 16*w - 684 ], [ 95*w - 95 , -95*w + 855 , 259*w - 1083 , -152*w + 608 , 155*w + 665 , 172*w + 38 , 950 , -190*w - 190 ], [ -38*w - 342 , 228*w + 152 , -270*w - 684 , 171*w + 589 , 160*w - 760 , -16*w - 684 , 190*w - 190 , 950 ] ]); START78:=Matrix(S,[ [ 836 , 151*w + 361 , -32*w + 342 , -83*w - 855 , 76*w + 646 , 233*w - 627 , -57*w + 323 , -152*w - 532 ], [ -151*w + 361 , 1216 , -76*w , 97*w - 627 , -97*w + 741 , 167*w + 779 , -128*w - 266 , 44*w - 684 ], [ 32*w + 342 , 76*w , 228 , -76*w - 304 , 60*w + 190 , 70*w - 532 , 190 , -95*w - 95 ], [ 83*w - 855 , -97*w - 627 , 76*w - 304 , 1102 , -6*w - 798 , -312*w + 304 , 76*w - 228 , 114*w + 874 ], [ -76*w + 646 , 97*w + 741 , -60*w + 190 , 6*w - 798 , 722 , 229*w + 19 , -95*w + 95 , -65*w - 665 ], [ -233*w - 627 , -167*w + 779 , -70*w - 532 , 312*w + 304 , -229*w + 19 , 2090 , -102*w - 570 , 301*w - 399 ], [ 57*w + 323 , 128*w - 266 , 190 , -76*w - 228 , 95*w + 95 , 102*w - 570 , 380 , -95*w - 95 ], [ 152*w - 532 , -44*w - 684 , 95*w - 95 , -114*w + 874 , 65*w - 665 , -301*w - 399 , 95*w - 95 , 950 ] ]); START79:=Matrix(S,[ [ 2964 , 152*w + 38 , 463*w - 2337 , 273*w + 2831 , 260*w + 2014 , -69*w - 4085 , 779*w + 19 , 342*w + 722 ], [ -152*w + 38 , 228 , 131*w + 475 , -141*w + 361 , -108*w + 342 , 211*w - 133 , 19*w + 779 , -38*w + 342 ], [ -463*w - 2337 , -131*w + 475 , 3344 , -664*w - 1368 , -541*w - 741 , 701*w + 3021 , -608*w + 2356 , -393*w + 437 ], [ -273*w + 2831 , 141*w + 361 , 664*w - 1368 , 3306 , 52*w + 2470 , 314*w - 4104 , 765*w + 1425 , 260*w + 1292 ], [ -260*w + 2014 , 108*w + 342 , 541*w - 741 , -52*w + 2470 , 1938 , 313*w - 2945 , 551*w + 1311 , 163*w + 1083 ], [ 69*w - 4085 , -211*w - 133 , -701*w + 3021 , -314*w - 4104 , -313*w - 2945 , 5738 , -1090*w - 380 , -459*w - 1159 ], [ -779*w + 19 , -19*w + 779 , 608*w + 2356 , -765*w + 1425 , -551*w + 1311 , 1090*w - 380 , 3990 , -190*w + 1710 ], [ -342*w + 722 , 38*w + 342 , 393*w + 437 , -260*w + 1292 , -163*w + 1083 , 459*w - 1159 , 190*w + 1710 , 950 ] ]); START80:=Matrix(S,[ [ 2128 , 318*w - 1368 , -374*w - 2280 , 289*w + 1235 , -17*w - 1653 , -213*w - 2983 , 304*w + 3496 , 665*w - 1235 ], [ -318*w - 1368 , 2052 , 597*w + 399 , -382*w + 76 , 261*w + 969 , 588*w + 1330 , -753*w - 1387 , -246*w + 2736 ], [ 374*w - 2280 , -597*w + 399 , 3838 , -88*w - 2356 , -282*w + 1862 , -310*w + 3990 , 304*w - 4864 , -950*w - 950 ], [ -289*w + 1235 , 382*w + 76 , 88*w - 2356 , 1520 , 217*w - 1045 , 283*w - 2337 , -306*w + 2888 , 567*w + 1007 ], [ 17*w - 1653 , -261*w + 969 , 282*w + 1862 , -217*w - 1045 , 1330 , 146*w + 2394 , -206*w - 2812 , -536*w + 874 ], [ 213*w - 2983 , -588*w + 1330 , 310*w + 3990 , -283*w - 2337 , -146*w + 2394 , 4674 , -77*w - 5567 , -1075*w + 475 ], [ -304*w + 3496 , 753*w - 1387 , -304*w - 4864 , 306*w + 2888 , 206*w - 2812 , 77*w - 5567 , 6726 , 1292*w - 228 ], [ -665*w - 1235 , 246*w + 2736 , 950*w - 950 , -567*w + 1007 , 536*w + 874 , 1075*w + 475 , -1292*w - 228 , 4750 ] ]); START81:=Matrix(S,[ [ 342 , 19*w - 361 , 31*w - 171 , -72*w + 152 , 35*w - 285 , 110*w - 228 , -95*w + 285 , -57*w - 437 ], [ -19*w - 361 , 3154 , -123*w + 19 , 198*w - 722 , -166*w + 1178 , -314*w + 874 , 126*w - 950 , 61*w + 1045 ], [ -31*w - 171 , 123*w + 19 , 228 , -4*w - 266 , 49*w + 247 , -2*w + 418 , -304 , 95*w + 95 ], [ 72*w + 152 , -198*w - 722 , 4*w - 266 , 608 , -60*w - 570 , 16*w - 874 , 37*w + 703 , -155*w - 95 ], [ -35*w - 285 , 166*w + 1178 , -49*w + 247 , 60*w - 570 , 722 , -108*w + 798 , 35*w - 665 , 125*w + 475 ], [ -110*w - 228 , 314*w + 874 , 2*w + 418 , -16*w - 874 , 108*w + 798 , 1292 , -67*w - 1007 , 236*w + 76 ], [ 95*w + 285 , -126*w - 950 , -304 , -37*w + 703 , -35*w - 665 , 67*w - 1007 , 950 , -190*w - 190 ], [ 57*w - 437 , -61*w + 1045 , -95*w + 95 , 155*w - 95 , -125*w + 475 , -236*w + 76 , 190*w - 190 , 950 ] ]); START82:=Matrix(S,[ [ 2964 , 152*w + 38 , 319*w - 8949 , 1052*w + 2850 , 1818*w + 2052 , -1627*w - 4123 , 399*w - 7391 , 342*w + 722 ], [ -152*w + 38 , 228 , 504*w + 228 , -122*w + 1140 , -70*w + 1900 , 173*w - 1691 , 399*w + 209 , -38*w + 342 ], [ -319*w - 8949 , -504*w + 228 , 28538 , -3546*w - 6422 , -5828*w - 2394 , 5421*w + 9063 , -370*w + 23484 , -1124*w - 1596 ], [ -1052*w + 2850 , 122*w + 1140 , 3546*w - 6422 , 10146 , 1031*w + 14611 , -126*w - 15314 , 3090*w - 4560 , 70*w + 3002 ], [ -1818*w + 2052 , 70*w + 1900 , 5828*w - 2394 , -1031*w + 14611 , 23142 , 1391*w - 22287 , 4921*w - 589 , -217*w + 4503 ], [ 1627*w - 4123 , -173*w - 1691 , -5421*w + 9063 , 126*w - 15314 , -1391*w - 22287 , 23218 , -4725*w + 6175 , -79*w - 4579 ], [ -399*w - 7391 , -399*w + 209 , 370*w + 23484 , -3090*w - 4560 , -4921*w - 589 , 4725*w + 6175 , 19950 , -950*w - 950 ], [ -342*w + 722 , 38*w + 342 , 1124*w - 1596 , -70*w + 3002 , 217*w + 4503 , 79*w - 4579 , 950*w - 950 , 950 ] ]); START83:=Matrix(S,[ [ 4408 , 564*w + 1368 , 2523*w - 2299 , 1052*w + 9272 , -811*w - 7809 , 197*w - 6023 , -2318*w - 3762 , 2090*w - 4560 ], [ -564*w + 1368 , 2052 , 1194*w + 5700 , -874*w + 5548 , 753*w - 4503 , 834*w - 1406 , -261*w - 6859 , 1245*w + 3705 ], [ -2523*w - 2299 , -1194*w + 5700 , 29982 , -5931*w + 6669 , 4954*w - 4864 , 3363*w + 5263 , 3359*w - 23579 , 1531*w + 25289 ], [ -1052*w + 9272 , 874*w + 5548 , 5931*w + 6669 , 24548 , 155*w - 20311 , 1866*w - 11894 , -4024*w - 18582 , 5537*w - 133 ], [ 811*w - 7809 , -753*w - 4503 , -4954*w - 4864 , -155*w - 20311 , 16834 , -1468*w + 10070 , 3450*w + 14896 , -4581*w + 779 ], [ -197*w - 6023 , -834*w - 1406 , -3363*w + 5263 , -1866*w - 11894 , 1468*w + 10070 , 8474 , 3365*w + 3211 , -2675*w + 8075 ], [ 2318*w - 3762 , 261*w - 6859 , -3359*w - 23579 , 4024*w - 18582 , -3450*w + 14896 , -3365*w + 3211 , 26638 , -4218*w - 17138 ], [ -2090*w - 4560 , -1245*w + 3705 , -1531*w + 25289 , -5537*w - 133 , 4581*w + 779 , 2675*w + 8075 , 4218*w - 17138 , 23750 ] ]); Erg:=[ ]; d:=19; Include(~Erg,START1/d); Include(~Erg,START2/d); Include(~Erg,START3/d); Include(~Erg,START4/d); Include(~Erg,START5/d); Include(~Erg,START6/d); Include(~Erg,START7/d); Include(~Erg,START8/d); Include(~Erg,START9/d); Include(~Erg,START10/d); Include(~Erg,START11/d); Include(~Erg,START12/d); Include(~Erg,START13/d); Include(~Erg,START14/d); Include(~Erg,START15/d); Include(~Erg,START16/d); Include(~Erg,START17/d); Include(~Erg,START18/d); Include(~Erg,START19/d); Include(~Erg,START20/d); Include(~Erg,START21/d); Include(~Erg,START22/d); Include(~Erg,START23/d); Include(~Erg,START24/d); Include(~Erg,START25/d); Include(~Erg,START26/d); Include(~Erg,START27/d); Include(~Erg,START28/d); Include(~Erg,START29/d); Include(~Erg,START30/d); Include(~Erg,START31/d); Include(~Erg,START32/d); Include(~Erg,START33/d); Include(~Erg,START34/d); Include(~Erg,START35/d); Include(~Erg,START36/d); Include(~Erg,START37/d); Include(~Erg,START38/d); Include(~Erg,START39/d); Include(~Erg,START40/d); Include(~Erg,START41/d); Include(~Erg,START42/d); Include(~Erg,START43/d); Include(~Erg,START44/d); Include(~Erg,START45/d); Include(~Erg,START46/d); Include(~Erg,START47/d); Include(~Erg,START48/d); Include(~Erg,START49/d); Include(~Erg,START50/d); Include(~Erg,START51/d); Include(~Erg,START52/d); Include(~Erg,START53/d); Include(~Erg,START54/d); Include(~Erg,START55/d); Include(~Erg,START56/d); Include(~Erg,START57/d); Include(~Erg,START58/d); Include(~Erg,START59/d); Include(~Erg,START60/d); Include(~Erg,START61/d); Include(~Erg,START62/d); Include(~Erg,START63/d); Include(~Erg,START64/d); Include(~Erg,START65/d); Include(~Erg,START66/d); Include(~Erg,START67/d); Include(~Erg,START68/d); Include(~Erg,START69/d); Include(~Erg,START70/d); Include(~Erg,START71/d); Include(~Erg,START72/d); Include(~Erg,START73/d); Include(~Erg,START74/d); Include(~Erg,START75/d); Include(~Erg,START76/d); Include(~Erg,START77/d); Include(~Erg,START78/d); Include(~Erg,START79/d); Include(~Erg,START80/d); Include(~Erg,START81/d); Include(~Erg,START82/d); Include(~Erg,START83/d); dim:=8; mul:=5; ErgEXT:=[* *]; /*zugehörige Z-Gitter, durch Re-Form, Im-Form*/ Ergliste:=[* *]; /*da werden die Listen von Skalarproduktlisten reingeschrieben*/ lisg:=[* *]; Append(~lisg,{@ @}); Append(~lisg,[* *]); /*für jedes Gitter wird ein lisg an die Ergliste gehängt*/ ERedux:=[* *]; /*LISTE mit den MENGEN der reduzierten Vektoren der äußersten Schleife*/ allcoeffs:={ }; for indx:=1 to #Erg do VGRAMST:=Erg[indx]; RealGRAMST:=ScalarMatrix(Rationals(),2*dim,0); ImGRAMST:=ScalarMatrix(Rationals(),2*dim,0); for j:=0 to (dim-1) do for k:=0 to (dim-1) do RealGRAMST[1+j,1+k]:=VGRAMST[1+j,1+k][1]; RealGRAMST[dim+1+j,dim+1+k]:=mul*VGRAMST[1+j,1+k][1]; RealGRAMST[1+j,dim+1+k]:=(1/2)*VGRAMST[1+j,1+k][1]+(1/2)*d*VGRAMST[1+j,1+k][2]; RealGRAMST[dim+1+j,1+k]:=(1/2)*VGRAMST[1+j,1+k][1]-(1/2)*d*VGRAMST[1+j,1+k][2]; end for; end for; for j:=0 to (dim-1) do for k:=0 to (dim-1) do ImGRAMST[1+j,1+k]:=VGRAMST[1+j,1+k][2]; ImGRAMST[dim+1+j,dim+1+k]:=mul*VGRAMST[1+j,1+k][2]; ImGRAMST[1+j,dim+1+k]:=(1/2)*VGRAMST[1+j,1+k][2]-(1/2)*VGRAMST[1+j,1+k][1]; ImGRAMST[dim+1+j,1+k]:=(1/2)*VGRAMST[1+j,1+k][2]+(1/2)*VGRAMST[1+j,1+k][1]; end for; end for; ImGRAMST:=d*ImGRAMST; /*sieht besser aus und rechnet sich besser!*/ for trid:=1 to 10 do RealGRAMST, TrafoS:=SeysenGram(RealGRAMST); RealGRAMST, TrafoL:=LLLGram(RealGRAMST); RealGRAMST, TrafoP:=PairReduceGram(RealGRAMST); ImGRAMST:=TrafoP*TrafoL*TrafoS*ImGRAMST*Transpose(TrafoP*TrafoL*TrafoS); end for; A:=AutomorphismGroup([MatrixRing(Integers(),2*dim) ! RealGRAMST , MatrixRing(Integers(),2*dim) ! ImGRAMST]: ShortVectorsLimit:=10^9); S22:=#ShortVectors(LatticeWithGram(RealGRAMST),2,2); /*S44:=#ShortVectors(LatticeWithGram(RealGRAMST),4,4);*/ Liste:=[* *];Append(~Liste,Erg[indx]);Append(~Liste,RealGRAMST);Append(~Liste,ImGRAMST);Append(~Liste,S22);Append(~Liste,A);/*Append(~Liste,S44);*/ Append(~ErgEXT,Liste); delete RealGRAMST;delete ImGRAMST;delete Liste; end for; Append(~ErgEXT[ 1 ], 1 ); Append(~ErgEXT[ 2 ], 2 ); Append(~ErgEXT[ 3 ], 3 ); Append(~ErgEXT[ 4 ], 6 ); Append(~ErgEXT[ 5 ], 72 ); Append(~ErgEXT[ 6 ], 4 ); Append(~ErgEXT[ 7 ], 7 ); Append(~ErgEXT[ 8 ], 8 ); Append(~ErgEXT[ 9 ], 75 ); Append(~ErgEXT[ 10 ], 10 ); Append(~ErgEXT[ 11 ], 69 ); Append(~ErgEXT[ 12 ], 12 ); Append(~ErgEXT[ 13 ], 13 ); Append(~ErgEXT[ 14 ], 14 ); Append(~ErgEXT[ 15 ], 15 ); Append(~ErgEXT[ 16 ], 16 ); Append(~ErgEXT[ 17 ], 17 ); Append(~ErgEXT[ 18 ], 18 ); Append(~ErgEXT[ 19 ], 19 ); Append(~ErgEXT[ 20 ], 37 ); Append(~ErgEXT[ 21 ], 21 ); Append(~ErgEXT[ 22 ], 52 ); Append(~ErgEXT[ 23 ], 79 ); Append(~ErgEXT[ 24 ], 24 ); Append(~ErgEXT[ 25 ], 25 ); Append(~ErgEXT[ 26 ], 26 ); Append(~ErgEXT[ 27 ], 71 ); Append(~ErgEXT[ 28 ], 28 ); Append(~ErgEXT[ 29 ], 46 ); Append(~ErgEXT[ 30 ], 30 ); Append(~ErgEXT[ 31 ], 44 ); Append(~ErgEXT[ 32 ], 32 ); Append(~ErgEXT[ 33 ], 58 ); Append(~ErgEXT[ 34 ], 34 ); Append(~ErgEXT[ 35 ], 35 ); Append(~ErgEXT[ 36 ], 36 ); Append(~ErgEXT[ 37 ], 20 ); Append(~ErgEXT[ 38 ], 39 ); Append(~ErgEXT[ 39 ], 38 ); Append(~ErgEXT[ 40 ], 40 ); Append(~ErgEXT[ 41 ], 53 ); Append(~ErgEXT[ 42 ], 42 ); Append(~ErgEXT[ 43 ], 43 ); Append(~ErgEXT[ 44 ], 31 ); Append(~ErgEXT[ 45 ], 45 ); Append(~ErgEXT[ 46 ], 29 ); Append(~ErgEXT[ 47 ], 47 ); Append(~ErgEXT[ 48 ], 48 ); Append(~ErgEXT[ 49 ], 49 ); Append(~ErgEXT[ 50 ], 50 ); Append(~ErgEXT[ 51 ], 55 ); Append(~ErgEXT[ 52 ], 22 ); Append(~ErgEXT[ 53 ], 41 ); Append(~ErgEXT[ 54 ], 54 ); Append(~ErgEXT[ 55 ], 51 ); Append(~ErgEXT[ 56 ], 56 ); Append(~ErgEXT[ 57 ], 60 ); Append(~ErgEXT[ 58 ], 33 ); Append(~ErgEXT[ 59 ], 59 ); Append(~ErgEXT[ 60 ], 57 ); Append(~ErgEXT[ 61 ], 61 ); Append(~ErgEXT[ 62 ], 62 ); Append(~ErgEXT[ 63 ], 63 ); Append(~ErgEXT[ 64 ], 64 ); Append(~ErgEXT[ 65 ], 65 ); Append(~ErgEXT[ 66 ], 66 ); Append(~ErgEXT[ 67 ], 67 ); Append(~ErgEXT[ 68 ], 68 ); Append(~ErgEXT[ 69 ], 11 ); Append(~ErgEXT[ 70 ], 70 ); Append(~ErgEXT[ 71 ], 27 ); Append(~ErgEXT[ 72 ], 5 ); Append(~ErgEXT[ 73 ], 73 ); Append(~ErgEXT[ 74 ], 74 ); Append(~ErgEXT[ 75 ], 9 ); Append(~ErgEXT[ 76 ], 76 ); Append(~ErgEXT[ 77 ], 77 ); Append(~ErgEXT[ 78 ], 78 ); Append(~ErgEXT[ 79 ], 23 ); Append(~ErgEXT[ 80 ], 80 ); Append(~ErgEXT[ 81 ], 81 ); Append(~ErgEXT[ 82 ], 82 ); Append(~ErgEXT[ 83 ], 83 );