# F:=RationalField(); local result, l; result:= rec(); result.comment:= "Co3 as 23 x 23 matrices over Z.\n\ "; result.symmetricforms:= []; result.antisymmetricforms:= []; result.hermitianforms:= []; result.centralizeralgebra:= []; result.generators:= List( [ [ 0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,1,-1,1,-1,0,0,1, 1,0,0,0,0,0,0,-1,0,-1,1,0,0,0,0,0,0,0,-1,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, 1,-1,1,-1,-1,0,-1,0,-1,1,1,-1,0,1,0,-1,0,0,0,0,-1,1,1, 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,-1,0,-1,1,-1,1,0,0,0,0,0,-1,1,-1,1,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,-1,0,1,0,0,0,0,0,-1,0,0,-1,0,0,1,0,0,-1,0,-1,0, 1,-1,1,0,-1,1,0,0,-1,0,0,0,1,0,-1,-1,0,0,1,0,0,1,0, 0,-1,1,0,-1,0,0,0,0,0,0,0,1,1,0,0,-1,1,0,1,0,1,0, 1,-1,1,0,-1,1,-1,0,0,1,0,0,0,0,0,0,1,0,1,0,0,1,1, 1,-1,0,0,0,1,0,-1,0,0,0,0,0,0,0,0,0,1,-1,0,0,1,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1, 0,0,0,0,0,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,1,0,1,1,0,1,0,0,-1,0,0,0,1,1,1,-1,0,-1,0,1,0,0, 0,0,0,0,0,-1,0,0,0,0,1,-1,0,1,1,0,-1,0,-1,1,-1,0,0, -1,0,0,0,0,-1,0,1,0,0,0,-1,0,0,0,0,0,-1,0,0,-1,-1,0, -1,1,0,1,0,0,1,0,0,-1,0,0,0,0,0,0,-1,-1,0,0,1,0,-1, -1,1,0,0,0,0,1,0,-1,-1,-1,1,1,0,-1,0,-1,0,1,0,1,0,-1, 0,1,-1,0,1,0,0,0,1,0,0,0,-1,0,1,1,1,0,-1,-1,0,-1,0, 0,0,0,0,0,0,0,-1,0,0,0,0,0,-1,-1,-1,0,0,0,0,0,0,-1] ,[ -1,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,1,0,0,1,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,-1, 0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 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,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,-1,0,-1,0,0,0,0,-1, 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,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,1,0,0,0,0,0,0, 1,-1,1,0,0,0,0,0,0,-1,1,0,1,1,0,0,-1,1,-1,1,0,1,1, 1,0,1,-1,0,0,0,0,-1,-1,0,0,1,0,-1,-1,-1,0,0,0,0,0,0, 0,0,0,1,1,0,0,0,1,0,0,-1,-1,0,1,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, -1,0,-1,1,0,1,0,0,1,1,-1,0,-1,-1,1,0,1,-1,0,0,0,0,-1, 0,1,-1,0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0, 0,0,0,-1,0,-1,0,1,-1,0,0,0,1,1,0,0,-1,1,0,0,0,0,1, -1,0,0,1,-1,1,0,0,0,1,-1,0,0,0,0,0,0,-1,1,0,0,0,-1, 0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,-1,1,-1,0,0,0, 0,1,-1,-1,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,0,0,0, 0,-1,0,0,-1,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0, 1,-1,1,0,-1,1,0,-1,0,-1,0,1,1,0,-1,0,-1,1,0,1,1,1,0, -1,1,0,0,0,-1,0,1,0,0,0,0,0,1,0,1,0,0,0,0,0,-1,0, 1,-1,0,0,0,0,0,-1,1,0,1,0,0,0,0,0,0,1,-1,1,0,1,0] ], l -> List( [ 0 .. 22 ], i -> l{ [ i*23+1 .. (i+1)*23 ] } ) ); return result;