W:=GF(9).1; gens:=[ Matrix(GF(9),45,45,[W^2, W, W^2, W^3, W^3, W^3, 1, W^3, 2, W^6, W^6, 2, 0, W^3, 0, W^5, 1, W^5, 1, 1, W^6, 2, W^5, W^6, W^5, W^7, W^2, 2, W^5, W^6, 2, 1, W^6, W^7, 1, 1, 1, W^3, W^7, W^5, 1, 2, W^5, 1, W^3, 2, W^3, W, W^5, W^5, 0, W, W^6, 1, W^3, W^7, W^7, W^2, W^7, 0, W, 1, W^7, 0, W^3, W^3, 1, 0, 2, W, 0, W^2, W^3, 2, W^3, 0, W^7, W, W^5, W, W^3, 0, W^3, W^7, W^7, 1, W, 2, 2, 1, 2, 2, W^7, 0, W^6, 2, W^6, W^5, W, 1, W, W, W^3, W^5, W^6, 1, 0, W^7, W^6, 2, 2, 2, W^6, W, W^5, W, 0, W^7, W^7, W^7, W^3, 1, W^7, W^5, W, W^7, 1, W^5, W, 1, 2, W^7, W^7, W^3, W^5, W, W^3, W^5, W^3, W^6, W^5, W, 0, W^2, W^3, W^6, W^7, 0, W^5, 1, W^7, 2, 0, W^7, W, W, W, W^5, W^5, W^2, 0, W^6, W, W^2, 0, W^7, 2, W^6, W^6, W^3, 1, W, 0, 1, W, W^7, 1, 0, W^7, W^6, W^6, W^7, W^5, 1, W^3, 0, W, W^5, 0, 1, W^2, W, W^2, W, W, 2, 2, W^6, W, W^3, 2, W^7, W, W^6, 2, W, W^3, W^2, W^2, W^7, W^6, W^6, W^5, W^3, W^3, W^7, W^5, W^6, 2, W, 0, 2, 1, 1, 1, 2, W, W^7, 1, 1, W^5, W^2, W^7, W^6, W^6, W^3, 2, 0, 0, W^3, W^7, 2, 0, W^5, W^6, W^3, 1, W^3, W^2, W^3, W^5, W^2, W^7, W^6, W^6, 2, 0, 0, W^2, W^3, 0, W^5, W^7, 2, W, 2, W^2, W^5, W, W^6, W^3, 2, W^2, W^6, W^6, W^6, W, 0, 2, W^7, W, 1, W^2, W, W^5, W^2, 2, W^3, W^5, W, 2, 1, W^3, W^7, 1, 1, 2, W^6, W^3, W^6, W^3, W^7, 0, W^5, 1, W^5, 1, 1, W^7, W^6, W^6, W^3, W^7, W^3, W, W^5, 0, W^7, W^7, 1, W^2, 2, W^6, 1, W^2, W^3, 2, W^2, W^3, W, W, W, W^3, 2, W^5, W, W, W^5, W^3, 1, 1, 0, W^2, W, W^2, W^3, 2, 1, 0, 1, W^2, 1, 2, W^2, 1, 1, W^6, W, 2, W^3, W, W^5, W^7, W^7, 2, W^6, W^2, 0, 2, 0, W^6, W, 2, W^5, W^5, W^5, W^5, W^5, W, 0, W^5, W^3, W^6, W^2, 1, W^2, 1, 0, W^6, W^5, W^2, W^3, 2, 0, 2, W^7, W, W, W, 2, W^3, W^2, W, W^7, W, W^3, W^2, W^6, W^2, 2, W^3, W^3, W^5, 2, 1, W, W^3, W^7, 2, W^3, 2, W^3, W^5, W^3, 2, W, W^5, 2, W^3, W^2, W, 1, W^2, W, W^7, 0, W^7, W, W^6, W^5, W^2, 0, 0, 0, 0, 2, W^2, W^6, W^5, 1, W, W^5, W, W^7, W^3, W^5, W^2, 1, W^2, W^6, 0, 1, 2, W^3, W, W^6, 0, 1, 0, W^2, W^5, 2, W^3, W, 1, 2, 0, W^3, 0, W, W, 0, W^3, W^7, W^2, W^6, W^5, 1, 1, W^5, W^2, W^3, W, 2, W^7, W, W^3, W^2, W, W^6, W^3, W^3, W^5, W^2, W, W^7, W^5, W^6, 2, 0, W^5, W^2, W^5, W^3, 2, 2, 0, 0, W^5, 2, W^5, W^6, W^3, W^3, W^2, W^6, 0, 1, 1, W^6, 2, 1, W^2, W^7, W, W^3, W, W^7, 2, 1, W^7, W, 0, W, 0, W^7, W, W^5, W^5, W^7, W, W^5, 1, 1, W^6, 0, W^3, W^3, W^3, 1, 2, 1, W^2, 0, 2, 1, W^6, 1, 2, W, W^6, W^6, 0, W^2, W^2, 1, W^3, 0, 1, W^2, W, 0, W^5, W^5, W, 0, W^7, W^3, W^2, 0, 0, W, 1, W^2, W, 1, W^5, 1, W^6, W^7, 2, W^3, W^7, W^6, 0, W^7, W^3, W^2, W^6, 2, W^5, W^2, W, W, 2, W^3, W^3, W^7, W^6, W, W^5, W^3, 2, W^6, W^2, W^6, W^5, W, W^5, 1, 0, W^3, W^2, 2, W^6, 0, W, W, W^7, W^5, W^3, W^3, W^2, W^7, 0, W^7, W^6, 1, W^6, W^3, W^6, 1, W, 0, 1, W^2, 1, W^3, 1, W^7, 1, 1, W^3, W^7, W^2, W^3, 0, W^3, 1, W, W^5, 2, W, W^2, 2, W, W, W^5, W^3, W^6, 2, W^6, W^3, W^5, 2, W^7, 0, W^2, W^3, 0, 2, W^2, W^6, 2, W^3, W^6, 2, 0, 2, 0, 1, W^5, W^2, W^5, 0, 2, W^5, W^2, 0, W^7, W^7, W^7, W^2, 0, 0, W^5, 1, W^5, W^6, 1, 0, W^6, W^6, W^2, W^7, 2, 2, W^6, 0, W^5, W, W, W^2, W^7, W^6, W, W^2, W^3, 0, 0, W^6, 0, 2, W^3, 0, 0, 2, W^5, 0, 0, W, W^3, 0, W^7, W^3, 0, W^3, 2, W^7, W, W^3, W^6, W, 0, W^3, W^5, 2, W^7, W^3, W^6, W^7, W^2, 0, 1, W^6, 0, W, 2, W^5, W, W^7, W^6, 1, W, W^5, W, 0, W^3, W^2, W^3, W^7, W^6, 2, W^6, 1, 2, W, W^6, 1, W^7, W^7, W^6, 2, 1, W^2, W, W^6, 2, 1, 1, W^2, W^5, 0, W, W^6, W^7, W^2, W, W^6, 2, W^3, 1, W^3, 1, 2, W^2, W^3, W^7, W^6, W^2, 1, 1, 0, W^6, W, 2, 0, W, 2, W^7, 0, W^7, W^3, W^7, W^5, 1, 2, W^2, W^6, W, 0, 2, 1, W^3, W^2, W^5, 0, 1, 1, W^3, W^2, 2, W^3, W^6, W^7, W^3, 2, W^2, W^2, W^5, W^7, 1, W, 0, W^6, 2, 0, 1, W^2, W^6, W, 2, 0, W^2, W^6, 0, W^6, 0, W^2, 0, W^7, W^6, W^5, 0, 0, 2, W^5, W^3, 2, W^2, W^6, 2, W^7, W^5, W^5, W^3, W^2, 0, 1, W^3, W^5, 2, 2, W^3, 1, W^6, W^2, W^2, W^7, W^6, W^6, 1, W^5, 0, 2, 1, W^5, W^6, 0, W, W^5, W^6, 2, W^5, W^7, W^2, W^2, 2, W^5, 0, 1, W, W^6, W, W^2, 2, W^6, W^6, W^6, 1, 0, W^7, W^5, W^6, W^6, 2, W^2, W, 1, W, W^6, W^3, 2, W, W^6, W^6, W^5, W^5, 1, W^2, W^5, W^7, 0, W, 0, 2, W^7, W^3, W^3, W^6, 2, 2, W, W, W^5, W^6, W^7, W^5, W, 2, W^5, 1, 2, W^2, W^2, 0, 2, 1, W, W^7, 0, 1, W, W^3, W^2, W^7, 0, W^7, 0, 1, W^7, W^2, 1, W, 1, W^6, W^7, 0, W^7, 2, W^5, W^2, W^3, W^5, W, W^6, W^7, 0, 1, W^3, 2, W^2, 1, 2, W^5, 1, W^3, W, W^2, 0, 0, 0, 0, 0, W^5, W^3, 0, W, W^6, W^2, 0, W^6, 1, 0, 2, 2, W^6, W^7, W^7, W^2, 1, 1, 1, 1, W, 0, W^5, 0, 2, W^3, W^2, 0, W^3, W^2, 0, W, W^3, 0, W^5, 2, 2, W^3, W^3, W^7, W^7, W^5, W^2, W^5, 2, W, 0, W^7, 2, 0, 0, W^2, W^5, W, 0, 1, 2, W^6, W^3, W^2, W^3, W^5, 2, W^3, W^5, 0, 2, W^2, 1, W^6, W^7, W^6, W^2, 0, W^5, W^6, W^7, 0, W^6, W^6, W^2, W^3, W^5, W, W^6, W, W^7, W^2, 0, 0, 0, W^2, 2, W^3, W, W^2, 0, 0, 0, 1, 1, W^2, W^3, W, W^5, W^3, 0, W^6, 1, W^6, W^7, 2, 0, W^7, W^2, W^5, W^2, W, W, 0, 0, W^7, W^7, W^3, W^6, W^6, 2, 2, W, W^3, W^2, 2, 1, 1, W, 2, 1, W^2, W^2, W^5, 1, 2, W^7, W^2, W^6, 0, 2, W^6, 2, W, 2, 1, W^5, W^6, 0, W^7, W^2, W^3, 0, W^2, W^5, W^3, W^3, W^5, W^5, W^2, W^6, 0, W^6, 1, W^6, 1, W, 1, W^6, 2, W^2, 0, 2, W^2, 0, W^3, W^2, W^5, 1, W^2, W^3, W, 0, W^6, W^6, W^3, W^2, W^6, W^3, 1, W^6, 1, W^6, 1, W, 0, W, W^3, 1, W^3, W^3, 0, 0, 1, 1, 0, W^6, W^5, W^5, 2, 1, 2, W^3, 0, W^6, 2, 0, W^5, W^7, W^5, W, W^3, W^5, W^6, 1, 2, W^7, W^3, W, 2, W^7, W^2, 2, 2, W^3, W^5, W^7, W^5, W^6, W^7, W^5, W^2, W^5, W^7, 1, 2, 2, 2, W^7, W^3, W^2, W^3, W^6, W^5, W^5, 0, 2, W, W^3, 1, W^6, 2, 2, W^3, W, W^5, W^2, W^5, W^6, 1, W^3, 2, W^2, 2, W^3, W^3, W^3, 1, W^3, W, 0, W^7, W^5, W^2, W^2, W^6, W^5, W^2, W^6, W, W, 2, 0, W^7, W^2, W^2, W^3, W^5, W^3, W^7, 0, W^3, W^6, W, 2, W^5, W^7, W, W^7, 1, 2, 2, 1, W^6, W^5, W^7, W^7, W^3, 1, W^5, 0, 2, 0, W^7, 0, W^7, W^7, 0, W, W^2, 2, W^5, 1, 2, 2, W^5, W^6, W^5, W^5, W^3, W^7, W^2, W^3, W^2, W^7, 2, W^3, 2, W^5, W^5, 2, W^5, 0, W, W^6, W, W^6, W, W^6, W, W^2, W^2, W^6, W^3, W^7, W^2, W^6, W^7, W^5, W^6, W^5, W^6, W^3, W^6, W^2, W^5, W^3, W^3, W, 0, W^3, 0, W^7, W^6, 0, 2, 0, W^5, W^6, W^7, 2, W^5, W^5, W^3, W^6, W^7, W^5, W^2, W^7, W^7, W^7, W^2, W^7, W^7, W^2, 0, W^6, W^2, W, 0, W^2, 0, W^5, W^5, W^3, W^7, W^7, W^2, W^6, 1, 2, W^5, 1, W^5, W^5, W^2, W^5, 0, W^5, W^5, W, W^3, W^5, W^6, W^6, W^2, W^6, 0, W^3, 0, W^7, W^2, W, 1, 0, W^2, 2, W^7, 2, 1, W^6, 0, W, 0, W^7, W^3, 2, 0, W^7, 0, W, W^5, W^5, W, W^5, W^6, W^3, W, W^7, W, W^2, W, W^7, 1, 0, 2, W^7, 0, 0, W^5, W^2, 0, 0, W^5, W^6, 1, W, W^5, W^6, W^6, 1, W^2, W, 1, W^5, W, W^6, W^6, W^6, 0, W^3, 0, 0, W^7, W, W, W^5, W, 1, W^5, W^6, 1, 0, W, W^5, 2, W^2, W^5, W^6, 1, 2, W^2, W^7, 0, W^2, 1, W^7, 1, W^3, 1, 1, 0, 1, 0, 1, W^7, W^5, 0, 0, W^6, 0, W^5, W^2, W^2, W^5, W^6, W^3, W^5, 0, W, W^3, 1, 1, W^6, W, W^7, 1, W^2, W, W, 0, W, 1, W^2, W^7, W^7, 0, 2, W^5, W, 1, W^6, W^3, 2, W^3, W^7, W, W^5, W^3, 1, W^5, W^6, W^2, W^2, W^2, W, W^5, W^3, W^6, W^7, W^3, W^6, W^3, 1, W^3, W, W^7, W^7, W, W^2, 2, W^7, 2, W^6, 2, 2, W, 0, W^2, 1, W^7, 2, W^3, W^3, W^2, 1, W^7, 0, W, W, 2, 0, W^2, W^6, W^5, W^2, W^7, W^5, W, W^2, W^5, W^5, 0, W^5, 1, W^2, W^5, 1, 2, 2, 0, 0, 0, W, W^7, 2, W^2, W^3, 1, W^6, W^3, W^2, W^6, 0, 2, 2, W^5, W^6, 0, W, W^7, W^5, 1, W^5, W, W^6, W^5, W^5, 0, W^3, 0, 1, W^6, 0, W^7, W^6, W^7, W^2, 0, 1, 2, W^5, W, 0, W, W^5, W^3, W^6, 0, W^6, W^7, W^6, W^3, W^3, W^5, W^3, 0, W^3, W^2, W^5, W^5, 2, 2, 0, 2, W^6, W^6, W, W^6, W, 2, W, W^5, W^6, W^2, W^6, W^2, W^2, W, W^6, W^6, W^3, 1, 0, W^2, 1, W^3, W^3, 0, W^7, 0, W, W^6, 0, W^2, 1, W^3, W^7, W^7, W^3, W^7, W^5, W^6, W^2, W, W^3, 2, 2, 1, W^2, 1, W^2, 1, W, W^6, 2, W, W^5, W^5, W^7, W^2, W^2, W^5, W^7, W^5, W^7, 0, W^2, 0, W^3, W, W^3, W^7, 2, W^5, W^6, 0, W^5, W^6, W, W^2, W^6, W^2, 2, 1, W^6, W^7, W^5, W^7, W^7, 0, 0, 0, 0, W^5, W^6, 2, 0, W, W^7, W, 0, 2, 1, W^2, W^5, W^2, 1, W^2, W^5, W^7, 2, W^6, W^2, W^3, W^2, W^3, W^3, W^7, W^7, 2, W^2, W, 2, W^2, W^3, W, 1, W^6, 2, W^5, 0, W^6, W^5, W^6, W^7, W^5, W^7, W^3, W^7, W^7, 1, W^3, W, W^2, W, W^7, W^6, W^6, W^3, W^5, 0, W, W^3, W, W, 2, 2, 1, W^2, 2, W, W^2, W, W, W^2, W, 2, 0, 1, W^5, W^2, W^5, W^2, W, W^7, 0, W^7, W, 0, W, 0, 2, W^7, 0, W^3, 0, W^7, 1, W^7, W^6, W, W^6, W^6, W^5, W^3, W^3, W^7, 1, W^7, W, W^7, W, W^2, W^3, 1, 1, 1, W^6, W^3, 1, 2, W^2, W^3, 1, 2, 1, W^5, W^3, W, W^6, 2, W^2, W^3, W^3, 0, W^7, W^5, W^6, 0, W^5, W^5, 1, W^3, W^2, W^2, 1, W, 0, W, 0, W^6, W^7, W^2, W^5, 0, W^2, W, 2, W^2, W^2, 0, W^7, W^6, 1, W^7, W^6, W, W^6, 1, W^7, 0, 1, 1, W, 0, W^5, W, W^5, 0, 0, W^5, W^6, 0, W^2 ]), Matrix(GF(9),45,45,[2, W^3, W^3, W^5, W^5, 2, 2, 2, W^6, W^6, W^7, W^6, W^6, W^2, 1, 0, W^7, W^7, 1, 1, W^2, 1, W^5, 2, W^6, W^3, 2, W^5, W^2, W^2, W^7, W, W^5, W^7, 1, W^7, W, 2, W^6, 1, W, W^7, W^3, W^5, W^5, W^6, W^6, W^5, W^6, 2, 2, W^2, W^7, 0, 1, W^2, W^7, W, W^2, W^3, 0, 1, W^6, W^5, 1, 2, W^7, W, W^6, 0, W^6, W^7, 2, W^5, 2, W^7, W^6, W^2, W^3, 0, 0, W^2, W^6, 2, 1, W, W^5, 1, W^7, W, 0, 0, W^2, W^3, W^5, 0, 2, W^3, W^5, W^6, W^3, 0, W, 2, 2, W^7, W^5, W^6, W^2, W^5, W, 0, W^5, 2, 2, W^7, W^5, W^3, W^7, W, W^7, W^2, W, W^5, W^3, W^6, 1, W^6, 2, W^7, W^3, W, W^7, W^2, W, W, W, 2, W^5, W^5, W^2, W^3, W^3, 1, 1, 1, W^3, W^7, W^5, 0, 1, 2, W^3, 2, W^3, W^6, W^3, W^2, W^3, W, W^7, W^7, W^5, 1, 0, 2, W^3, W^2, W^7, W^5, W^7, 1, W, W^3, W^5, W^2, W^3, 0, W, W^3, W^7, W^3, 0, W^7, W^3, W^3, 2, 2, 2, W^5, 2, 1, W^3, W^2, W^7, W^7, 1, W^2, 2, W^3, 1, 0, 2, W^7, W^3, 0, W^6, W^5, 1, 1, 2, W^5, W^2, W^5, W^3, W^6, 2, W^7, 0, W^5, W^7, W^3, W^3, 2, W^6, W, 0, W^2, W^3, W, W^5, W^5, W^2, W^6, 1, 2, W^6, W^7, 0, W, 2, W^3, 0, W^5, 2, W^6, W^5, W^5, W^6, W, 0, W, W^2, 0, W^6, 2, W^7, 0, 1, W^3, 0, W^6, 0, W^6, 2, W^2, 0, W^3, W^7, W^3, 0, W^6, W, W^2, W^5, W^2, 1, W^7, 2, 0, 1, W^6, W, 0, 2, 0, 0, 1, W, 2, W, W^7, W^2, 2, 1, W^3, W^5, 1, 1, W^7, 1, W^6, W^3, 0, 0, 0, 0, 1, 1, W^3, 1, W^3, W^2, W, W^3, W^7, W^3, W, 1, W, W^3, W^2, W^5, W^3, W^7, W^5, W^2, W^5, 0, W, 1, 0, W^5, 0, 0, W^3, W^5, 0, 1, W^7, W^6, W^6, 1, W^6, 2, W, W^5, W^7, 0, 2, W, W^6, W^3, W^5, 2, W^6, 1, W^7, 1, 0, W^3, W^3, W^7, W^7, 1, W^2, W^7, 0, W^5, W^3, 0, 1, W, 2, W^7, W^6, W^6, 0, W, 2, W, W^3, 2, W^7, W^2, W^5, W^3, W^7, W^6, W^2, W^6, W, 0, W^6, 0, W, 0, W^5, W^3, W^2, W^7, W^5, W^5, W^7, 1, W^5, 0, 0, 0, 0, 0, W^6, W^7, 0, 1, W, W^3, W^3, 2, 2, 1, 1, W^7, 2, W^2, 0, W^6, W^6, W^2, W^6, 2, W^7, W^6, W^5, W^5, W^5, W^7, 2, W^3, W, W^6, W^5, W^6, W^2, 1, W^2, 2, W^3, 0, W, W^2, W^6, 2, 2, 1, 2, 2, W^2, W^5, W, W^6, W^7, W^2, 1, W^6, 1, W^6, W^3, 0, W^3, W^3, W^7, W^2, W^6, W^7, 1, W^7, 1, W, W^5, W^2, 2, W^7, W^7, W^3, W, 1, W^5, W, 0, 0, W^3, W^6, W, 0, W, W^3, W^3, W^2, 0, W^6, W^6, 1, 0, W^7, W^2, W^5, 2, 2, W^6, 0, 1, 1, 0, W, 0, W^5, W^2, W^3, 1, 0, W, W^5, W, W^3, 1, W, 2, W^7, W^6, W^2, W^5, W^5, W^6, W^3, W, W^3, W^7, W^5, W^5, 2, W^6, W, 2, 2, 0, W^5, W^3, 1, W, 1, W, 1, W, W, W^5, W, 1, 0, 2, W^3, W, 0, W^3, W^7, W^6, W^5, W^5, 2, W^2, 1, W, W^5, 0, W, W^6, 1, W^3, W^3, W^5, W^3, W^7, 1, W^7, W^5, 1, W^5, W^5, W^6, 1, W^6, W^3, W^2, 2, 0, W^7, W^3, W^7, W^3, W^3, 0, W^5, 0, W^6, 0, 2, W^5, 1, W^7, W^2, 0, W^2, W, 2, W^5, 0, W, 2, W^5, W^3, 0, 0, 2, 1, W^7, W^5, 0, 2, W^5, 2, W^7, W^2, W^6, W, W^7, 0, W^6, W, W^3, W^3, W^7, 0, W^6, 0, 0, 1, 0, W^5, 2, 2, W^3, W^3, 0, W^5, W^3, 2, W^2, 0, W, 0, W^3, 2, 1, W^5, W^3, W^5, W^3, W^7, 0, W^3, W^5, 0, 1, W^2, 1, W^5, W^5, 0, 1, W^2, 1, W^6, W^2, W^6, 2, 1, 2, W, 2, W^5, W^6, W^5, W^5, 2, W, 1, W, W^7, W, W^5, W^3, W^5, W^7, W^7, W^7, W^5, W^6, W^6, 1, 2, W^3, W^7, W^3, W, W^6, W^2, 2, W^3, 1, W^5, 2, W^6, W^5, W^5, W^7, W^3, W^5, W, 2, 2, W^2, 2, 1, 0, W^3, 0, W^3, 2, W^7, W, W^5, 2, 0, 0, W^3, 0, W, W^2, W^2, W^6, 2, W^2, W, 2, 1, W^6, W, 0, W^2, 0, 2, W, W^5, W^6, 2, W^3, 1, 1, 2, W^3, 1, W^6, W^6, W^7, W, W^5, W, W^6, W^3, W^5, W^6, W^2, 2, 2, W^7, W^3, W^2, W^5, 0, 1, 1, 0, W^3, W, W^6, W^6, 0, W, W^5, W, W^2, 2, 1, W, 0, 2, 0, 0, W^7, W, 0, 1, W, W^5, W^2, 2, W^6, W^5, 1, W^6, W^6, 2, W^3, W^5, W^7, W^6, 1, 0, W, W^5, 1, 2, W, W^6, W^3, 0, 0, 0, W, W^5, 0, W^2, 1, W^6, W^2, W^3, 1, W^2, W^3, 0, W^2, W^3, W^2, W^5, 0, 2, 2, 1, W, W^5, W^5, W^7, 2, 1, W^3, W^7, 2, W^5, W^5, W^7, W, W^2, 1, W, W^7, W^5, 0, W^7, W^3, W, 1, W^3, W^5, W^7, 2, W^2, W, 0, W^7, W^2, W^5, W, 0, 2, W, 1, W^2, W^2, W^3, W^2, W^7, W^7, W^3, W^6, W^6, W^3, W^6, W^5, W^6, 0, W, 2, W^3, W^3, W^5, W^6, 2, W^7, 2, 0, W^6, W^7, W^3, W^5, W^3, W^3, W, W^2, W^7, 2, W^7, W^5, 1, W^5, W^7, W^5, W^6, 0, 0, 2, W^6, 2, 1, W^3, W, W^5, 2, 0, 1, W^7, 1, W^3, W^3, W^5, 1, W, W, W^3, W^2, W^2, 0, W^5, W, W^3, W^2, W^5, 2, W^5, W, W^3, W^5, W^5, W^3, 2, W, W^5, W, W^2, W^6, W^5, 1, 1, W^2, 2, W^5, W, 2, W^5, W^6, W, 1, 0, W^7, W^6, W^3, W, 2, W^3, 2, 0, W^3, 1, W, W^7, 1, W^7, 1, W^5, W^7, 1, W^6, 2, W^2, W^7, 0, 2, 1, W^6, W, 2, 1, 2, W^2, W, 0, 1, W^6, 2, 1, W, 0, 2, 2, W^6, W^7, 0, 2, 2, 1, W^3, 2, W^2, W^3, W^3, W^6, W^3, W^3, W^6, W^6, 0, W^5, 1, W^7, W^5, 1, 0, W^6, W^5, W, W, W^3, 2, 2, W^6, 1, 2, W^3, 0, 2, W, W^2, 0, 0, W^5, W^5, W^5, W^5, W^7, W^3, W^7, W, W^2, W, W^3, W^6, W, W^6, 0, W^3, W^7, W, W^3, W^5, 1, 2, W^7, W, 1, W^6, 1, 0, W^2, W^2, 1, W^6, 2, W^6, W^2, W^7, W^3, W^6, W^7, W^3, W^5, 2, W^2, 2, W^3, W^7, 2, W^5, 1, W^6, W, W^2, W^2, 1, W^7, W^6, W, W^6, 1, W^5, W^3, 1, W^6, 2, W^5, W^5, W^2, W^7, W^7, 1, W^7, W, 0, W, W, W^3, W, 1, 2, 0, W^6, 2, W^2, 2, 0, 1, 1, 0, 0, 1, W^7, W^7, 2, 1, W^2, W^7, W^7, W^6, W^2, 1, W^5, W^6, W, W, 1, 0, 0, 1, W^6, 1, W^6, W^5, W, 2, W^2, 2, 0, 0, W, W^6, 2, W, W^3, W, W^5, 2, W^2, W^2, 1, W^7, 0, W^6, 0, W^6, W, 2, W^5, W^2, 2, W^2, W^7, W^5, 2, 2, W^3, W^2, W, W^2, W^3, W, W^7, 1, 2, 1, W^3, W^2, 1, 0, 2, W^7, W^3, 1, W^2, W^3, W, W^6, W^6, 0, 2, W^2, W^7, W, W^6, W^3, W^5, 1, W^5, W^2, W^2, W^3, W^6, 1, W^2, W^2, W, 2, W, 2, W^3, 0, W^2, 2, W^5, 0, 2, W^3, W^5, W^7, 1, 1, W^6, W^5, W, W, W, 0, 0, W^2, W^7, W^3, 1, W^2, 1, W^7, W, 1, W^6, W^5, W^3, 2, W^3, W^5, 1, W^3, W, W^6, W^3, 0, 1, W^7, 2, 1, W^6, W^3, W^5, W, W^3, W^2, W^2, 0, W^3, W^2, 2, 1, 1, W, W^5, 2, 2, 2, W^6, W, 2, W^3, 2, W^5, 0, W^6, W^7, W, W^5, W^6, 2, 0, 1, W^6, W^5, W^5, W^3, 1, W^6, W^3, W^2, W^7, 2, W, W^6, 1, W^6, W^6, W^7, W^7, W^5, 0, W^3, W^7, W^2, W^3, W^6, W^7, 0, W^2, W^7, W^3, 1, W, 1, W^7, W^7, 0, W^2, 0, W^5, 1, W, 1, W^5, W^7, W^5, 0, W^3, W^7, W, W^2, W^2, W^3, W^2, 2, W, W^7, W^5, W^2, W^3, 0, 1, 0, W^3, W^3, W^5, 0, W^7, W^6, W^2, W^5, W^7, 2, W^7, W^3, W^3, W^5, W^2, W^3, W, W^7, W^7, W^6, W^3, W^2, W^6, 0, W^3, W^2, W^5, W, 0, W^3, 2, W^7, 1, W^7, W^3, 0, W^7, W^3, W^6, W^6, 1, W^6, 1, W, W, 1, 1, 0, W^2, 0, 1, W^5, W^2, W^3, W^5, W, 1, W^6, W^7, W^7, W^7, W^5, 2, W, W^6, 2, 2, W, 0, W^5, W^2, W^6, 0, 0, W^6, W^2, W^5, W^5, W, 0, W, W^3, W^5, 0, 2, W^7, W^5, W^5, W^3, 2, 0, 2, W^2, W^5, W^5, W^7, W^6, W^6, W^6, 2, W^7, W^2, 2, W^7, W^2, W^3, W^3, W^3, W, W^7, W^7, 0, W^5, W^6, W^6, W^6, 0, W^7, W^3, W^2, W^6, 1, 0, 1, 0, W^3, 1, W^7, W^7, 0, W^7, W^5, W^3, 2, W, W^2, W^3, 2, W^3, W^3, 1, 0, 0, W^5, 1, W, 2, 2, 0, W^7, W^7, W, W^5, W, W^2, W, W^2, 0, 0, W^3, 0, W^6, 2, 0, 2, W^5, W, W, 1, 1, 2, W^5, W, 0, W^3, W^6, 0, W^6, W, W^5, W^3, 1, W^3, 0, W^6, W, W^2, W^2, W^2, 0, W^6, W^5, W, W^5, 1, 2, 1, W^3, 2, W^7, 2, 2, 2, W, 2, W^3, 1, 1, W^7, W^7, W^6, W^5, 0, W^7, W^7, W^6, W^5, W, 0, 1, 2, W^3, W^3, W, W, W, 1, W^5, W^3, 2, W^5, W^2, W, 2, 0, W^2, W^7, 2, 2, W^5, W^5, 1, 2, W^7, 1, W, 2, 2, W, W^3, W, 2, 0, 1, W^7, 1, W^2, W^7, 0, W^6, W^2, W^2, W^5, W, W^5, W, W^2, W^7, W^3, 1, W^7, W^6, W^2, W^2, W^3, W^5, W^5, 0, W^2, W^2, W^5, W^7, W^2, W^3, W^7, W^7, 0, 1, 1, W^5, W^7, W^6, 2, 1, 0, W^7, W^2, 2, W^6, W^5, W^6, 2, W^2, W^7, W^7, W^7, W^3, 1, W^2, W^6, W^3, 1, 1, 2, 2, W^2, W^5, 2, W^6, W^3, W^6, W^2, 0, 2, W, 0, W^2, W, W^6, 0, 2, 2, 2, W^6, 2, 2, W^2, W, W, W^2, W^3, W^3, W^3, W^3, W^7, W^3, 1, W, W^6, W^7, W^7, 1, W^5, W^2, 0, W^5, W^3, 0, 2, W^3, 0, 2, 0, W^7, 0, 2, 0, W^3, 2, 1, W, W^2, W^6, 1, W^5, W^5, W^3, 0, W^6, W^3, W^2, W^6, 0, W, 1, W^6, W^5, W^6, W, W^2, W^5, 2, W, 0, W^2, W^6, W^6, W^7, W^3, 0, 2, W^3, 1, 1, W^7, 2, W, W, W, W, W^3, 1, 2, W^2, W^6, W^3, 2, W^7, 2, W, W^3, W^3, W^7, W^2, 2, 0, 1, W^6, W^6, W^2, W^3, 0, W, W^5, W, 0, W^5, W^2, W^6, W^7, 2, W^5, W^3, W^7, W, W^5, W^2, W^3, W^7, 2, W^2, 0, 1, W^5, 2, W^7, W^3, W, 2, W^3, W^3, W^7, 1, 2, W^2, W^7, 0, W, 1, W^7, W^2, 1, W^6, W, 1, W^2, W^7, 0, W, 1, 2, W^5, 1, W^7, W, W, 0, 1, 2, W^5, 2, 2, W, W^2, W^6, 2, W, 1, W^3, 0, W^2, W, 2, 0, W^6, 0, W^3, W^6, W^7, 0, W^3, W^6, W, W, 0, 1, 2, W, 1, W^6, W^6, 2, 2, W^5, W^6, W^2, W^7, W, 0, W, W^7, W^2, W^2, 2, W^6, W^5, 1, 1, W^3, W^7, W, 2, 2, W^2, 1, 0, 1, W^7, W, W^7, W^3, W^2, W^7, 2, W^6, 0, W^6, W^2, 2, 1, W^5, W^2, W^3, W^6, 0, W^3, 2, W^2, 1, W^2, W^7, W^6, W^7, W^7, W^5, W^2, W^6, W^7, 2, W^3, W, 1, W^3, 2, 1, 2, 1, W^2, 0, W^6, W, 0, 0, W^2, W^2, W^5, W^3, W^6, W, 2, 0, 0, 2, 0, W^5, W^6, W^5, W^6, W, W, W^6, W^6, W, W^3, W^6, 0, W, 2, 2, 1, W^3, W, W^2, W^6, W^3, 2 ]), Matrix(GF(9),45,45,[W^3, W^3, 2, 1, 2, W^6, W, W^7, W^6, W^5, W^6, W^3, W^3, W^7, 0, W^3, W, 2, 1, W^2, W, W, W^6, W^5, 2, W^2, 0, W^3, W^7, W^7, W^7, W^3, W^3, W^7, 0, W^5, W^2, W^3, 2, 1, 1, W^6, W^6, W^5, 1, W^2, 1, 0, W^6, 2, W^7, W^5, W^7, W^6, W^5, W^5, W^3, 0, W^2, W^7, W^7, W^2, W^3, W^5, 1, W, 0, W^5, W^2, W, W^6, W^3, 0, 0, W^3, W, 2, 2, W, W^3, W^3, 1, W^7, W, W^2, W^7, W, W^5, W^3, 2, W^3, W^5, W^7, 2, W^6, 0, 1, W^6, W^2, 0, W^7, 0, W^6, W^6, 0, W^7, W^5, W^6, 2, W, W^3, W^6, W^3, W^5, 2, 2, W, W, 2, 1, W^6, W^5, 0, 2, W^7, W^5, W, W^2, W^5, 1, 0, 0, W^6, W^7, W^6, 2, W^7, 0, 0, 1, 1, W^3, W, 2, W^5, 2, W^2, W, 2, 1, W^3, W^6, W^3, W^7, W^7, 0, W^7, 0, 1, W^5, 1, W^7, W, 1, W^5, W^6, W^5, W, W^5, W^6, W^7, W^3, 2, W^7, W^5, W^5, 2, W^6, W^3, W^6, W^2, W^3, W, 1, W^2, 0, W, 1, W, 1, 1, W^5, 2, 0, 0, W^2, W^7, W^6, 2, 0, 0, W^6, W^6, W, W^2, W^7, 0, W^7, 2, W^6, 2, W^7, 2, W^2, 0, 2, 2, W^2, W^3, W^2, W, W^7, W^6, W^6, 0, W^7, W, W^6, W, W, W^3, W^7, 1, 2, W^2, 1, 2, W^7, 2, 1, W, W, W^5, W^7, W^2, W^6, 1, 2, W^7, 1, 1, W^2, W^7, W^6, 0, W^2, W^5, 0, W^6, 2, W^5, 2, 1, W, W^5, W^7, W^3, 0, W^3, 1, 0, 2, W, W^5, W^5, 0, W^6, 1, W, W^5, W^3, 2, W^7, 0, 1, W, W^2, W, W^2, W, W, 0, 2, W^2, 0, W^5, 1, 1, W^2, W^3, 1, W^7, 0, W^6, W^5, W^7, W^6, W^3, W^3, W, W^2, W^6, W^7, W^2, 0, W, W^5, W^3, W^5, W^6, 0, W^2, 2, 2, W^6, 0, W^7, W^2, 1, W^3, W^2, 2, W^5, 1, W, W^6, 2, W^3, W^5, 1, W, W, 1, W^6, W^6, W^5, W^6, W^7, W^7, W^7, W^7, W^3, W^6, 1, W^6, W^5, W^6, W^7, 0, W^7, W^6, 0, W, W^6, W^3, W^5, W, W, W^3, 1, W, W^5, 1, W^3, W^2, W^6, W^5, 1, W^7, 0, W^3, 0, W, W^5, W^6, W^3, W, 0, W^5, 1, W^7, W^3, W^7, W, W^6, W^7, 0, W^6, 0, W^3, W^3, W^5, W, W, 1, W^6, W^7, W^2, W^5, W^5, 0, W, W, W^3, W^6, W^6, W^7, 1, 0, 0, 0, 0, 2, W^6, W^7, W, W, W^6, W, W^2, W^7, W^5, W^6, W^3, 1, W^6, W^6, 1, W^3, W^7, W^3, W^6, W^2, 0, 0, W^3, W^6, W^6, W^2, W^6, W, 0, W^6, W^6, 2, W, 1, 0, 0, W^3, 0, W^2, W^2, W^2, W, W, W^6, W^5, W, W^6, W^7, W^6, W^6, W^5, W^2, W^6, W^7, W^2, W^6, 2, W^3, W^2, W^2, 1, 0, 0, W^7, 1, W^2, W^5, W^5, W^3, 1, W^3, 0, 0, 1, W^5, 0, 2, 0, W^2, W^6, 1, W^5, 2, 0, W^5, W^3, W^7, W^2, 1, W^3, W^3, W, W^5, W^2, W^5, 1, W^5, W^6, 2, 1, W^7, W^7, 0, W^3, 1, W^3, 2, W^2, W^2, W, 0, 1, W, 2, W^3, 0, W^2, 2, W, W^7, W^7, W^6, W^5, W^7, W^3, W^5, W^7, W^2, 2, W, W^5, 1, 2, W^2, 0, W^7, W, 2, W^5, 0, W, 0, 2, W^7, 1, W^7, 0, 2, W^2, 2, W^5, W^7, W, 1, W^5, W^5, 2, W^6, W^3, W^3, 0, 1, 2, 1, 2, W^6, W^3, 1, W^3, 0, 2, 2, W^3, 1, W^6, W, W^5, 1, 0, W^5, 2, W^2, 0, 1, W^2, 1, 0, W^2, W^5, W^5, W^2, 2, 1, W, 2, W^5, W^6, 0, W, 0, W^6, W^2, W^5, W^5, 2, 1, W, W^3, W^7, 0, W, W, W^5, 0, W^6, W^6, W^5, 2, W^5, W^6, 1, 2, 1, W^6, W^5, 0, W^6, W^5, W^7, W^7, W^6, 0, W^7, W^6, W^2, 2, 0, 0, W^6, W^3, W^5, 0, W^6, W^2, W^6, 0, W^2, W, 1, 2, W^5, W^3, 0, 0, W^6, W^6, 1, 2, W^5, W^2, 0, W^2, 1, W^2, 0, W^5, W, 0, W^5, W^2, W^3, W, W^5, W, W, W^6, 1, 1, W, 1, W^5, 0, W^2, 0, W^3, W^6, W^2, W^7, W, W, W^3, W^6, W, W^3, 2, 1, W, 1, 2, W^5, W, W^7, 2, W^7, W^7, W^3, W, 2, W, W^3, 0, 0, W, W^2, W^2, W^3, W^5, 0, W^3, W^7, 0, 0, W, 2, W, 2, W, 2, W^5, W^2, 2, W^6, W^5, 1, W^7, 1, 2, W^7, W^3, W^5, W^3, W^5, 1, W, W^3, W^3, 1, 1, W^7, W^6, W^7, W, W^2, W^2, W^7, W^6, 1, W^6, 1, 1, W^3, 0, W, 1, W^2, W^6, 1, W^6, W^2, 1, W, W^6, W^2, W^7, W^6, W^2, 2, W^6, W, W^7, W^3, W^3, W^7, W^5, W^5, 2, W^7, W^2, W^6, W, W, 2, W^5, W^2, W^2, W, 2, W^5, W^2, 0, W^2, W^3, W^5, W^5, W^2, W^2, 2, W^2, 2, 0, W^7, W^5, 1, W^2, W^7, W^3, 0, 2, W^3, W^5, W^7, W^2, 0, 2, W^6, W^5, W^6, 1, W^5, W^5, 0, W^2, 0, W, W^2, 2, W^2, 2, W^2, W^6, W^2, W, 1, W, 1, W, W^3, W^6, W^2, 2, W^6, W^5, W^7, 1, 2, W^6, W^2, W^5, 0, W^7, 0, W^3, 1, 2, 2, W^5, W^6, 1, 0, 0, 1, 1, W^7, W^7, 1, W^7, W^2, W, W^2, 1, 0, 2, 2, 1, W, 1, 2, 0, W^2, W^6, W^5, W^6, W^3, W^3, W^6, W^6, W^3, W^5, W^2, W^5, W^6, W^5, W^3, W^6, W^3, 1, W^7, W^7, 0, W^5, 2, W^2, W^2, 0, 2, W, 1, W^6, W^2, W^2, W^6, 2, W^5, W^5, 1, W^2, 0, W^6, W^5, W^7, W^2, 1, 2, W^7, 1, 2, W^5, W, 1, 0, W^2, W^6, W^2, W^3, W^5, W, W^7, W, W^5, W^2, W^3, W^7, W^7, 0, 1, W^5, 1, W^5, W, W^7, W^5, 0, W^6, W^3, W^5, W^5, 2, 1, W^3, W^7, 1, 0, 1, 1, W^2, W^6, W^3, W^6, 0, W, W^6, W^2, 1, 0, W, 2, W^7, W^7, 1, W, W^7, 2, 2, W^6, 1, W^5, W^3, W, W^7, W^2, W^5, W^6, 0, W^5, 0, 1, W^7, W^7, W, 2, 0, W^5, W^2, W^7, W^3, W^7, W^7, W^7, W^6, 0, 2, W, 0, 1, W^2, W^6, 0, W, W^3, W, W^2, W, W^3, W^7, 0, 0, W^7, 0, 1, W, W^2, W^5, 1, W, 0, W, W, 1, W^2, 1, W^6, W^6, W^6, W, 0, 1, W^5, W^2, W^5, W^7, 0, 1, W^7, 0, 0, W^3, 1, W^5, W^5, W, W, W^5, W^7, 2, 1, 1, W^3, W, W^2, 1, 2, W^3, 0, W^6, 1, W, W, 0, W, 0, W, W^2, W^3, 2, 2, W^7, 2, 1, 0, W^2, W^5, 2, W^5, W^6, 1, 1, 2, 2, W^5, W, W^5, 0, 2, W^6, W^5, W^3, W^6, 1, W^7, W^7, W^6, W^6, W^6, W^2, W^3, W, 1, W^5, 2, W^3, W^3, W^6, W^2, W^7, W^3, W^3, W^6, 1, W^3, W^5, W^2, W^2, W^5, 1, 0, W^7, W^5, W^3, W^2, W^5, 1, 0, W^2, 2, W^6, W, W^7, 0, W^7, W^5, W^7, W^3, W^7, 2, 2, 2, 1, 0, W, W^3, W, W^2, W, W, W^3, W^7, 0, W, W^3, W^6, 0, 0, W^6, 2, 0, 0, W, W^3, 0, W, W, 0, W^6, 2, 2, 1, W^2, W^5, W^3, W^6, W^2, W^6, W^5, 0, W^6, W^6, W^2, W^6, W^2, W^5, 0, 0, W^6, W^7, 1, 2, W^7, W^7, W^7, 2, 0, 1, W^5, W^7, 1, W, 2, W^2, 2, W^3, W^3, 2, 2, 1, W^5, W^6, W^6, 0, W^3, 0, 1, 0, W^3, W^5, W^2, W^6, W^3, 0, W^2, 0, 1, W^5, 1, W^2, W^3, W, 2, W^6, W^7, W, W^5, 2, 0, W^2, W^6, 2, 1, 1, W^7, W^6, 1, W^2, W^7, W^7, W^7, W^3, 2, 0, W^3, W^6, W^3, W^2, 1, 0, W, W^6, W^5, W^5, W^3, W^2, W^5, W^6, W, W, 0, W^7, W^7, 2, 1, W^2, W, 2, W, W^3, W^2, W^5, W^5, W, W^6, W^6, W^6, 1, W^2, 1, W^2, W^5, 2, W^7, W^2, W^7, W^7, W^3, W^7, W^3, 1, W, W, W^6, W^6, W^6, 2, W^2, 1, W^7, W, 0, W, W^6, W^3, W^5, W^3, W^5, 0, W^2, 1, W^3, W^7, 1, 2, W^5, 2, 0, W^6, 1, W^7, 1, W^5, 1, 2, W^2, W, W^3, W, W^6, W^6, 0, W^3, W^2, W^7, W^2, W^3, W, W^6, W, W^2, 1, 0, W, W^3, W^2, W^5, W^6, 2, W^7, W^7, W^5, W^3, W^2, 1, W^7, 1, W^3, W^3, W^7, 1, W, W^6, W^5, W^3, W^7, 0, W^2, W, W^3, 2, W^6, W^5, 1, W^3, W^2, 0, W^2, 0, W, W^3, 1, 1, 0, 2, W^3, 2, W^6, W^5, 0, W^6, W^3, W^2, W^6, W^6, W^5, W^2, W^6, W^2, W^7, W^5, W^6, W^6, W^3, W^3, 0, 2, W^2, W^5, W, 2, W, W^5, 0, 1, 1, W, W^5, W^6, 0, 2, W^3, W^3, W^7, 1, W^5, 0, W^7, 2, 2, W^2, 0, 1, W^7, W^5, W^5, W^2, W^2, W^7, 0, W^2, W^7, W^6, W^7, 0, W^7, W, W, 2, 0, 2, W^2, 1, W^7, W^6, W^2, 0, 1, W^6, 1, W, 0, 1, 1, 2, 0, 1, W^6, 1, W^6, W, 0, W^6, W^5, W^2, W^2, W^3, 2, W^5, W^5, W, 0, 0, W^3, W, 0, W^2, W^6, 0, 2, W^2, W, W^6, W^6, 2, W^5, 2, 0, 2, W^5, 0, W^6, W^2, W^6, 1, 2, W^5, W^7, W, W, W, W^6, W^5, W^3, W^7, W^2, W^3, W^5, 0, W^2, W^3, 0, W^2, W^7, W^6, 1, W, 1, W^5, W^6, 2, W, W, W^6, W^6, W^7, W^3, 1, 1, W, W^2, 1, W^5, W, W^6, W^5, W^5, W^6, W^3, 1, W^3, W^6, W, 1, W^5, W, 0, W^6, 2, W^6, W^6, 0, 2, W^5, 0, 1, W^3, W^6, W^7, 1, W^7, W^6, W^3, W^5, W^3, W, W^7, W^5, W, 2, 1, 1, W^3, W, 1, W^7, W^6, W^7, W^5, W, W^7, 1, W^3, W^3, 1, W^7, W^5, W^6, W^6, 2, W^7, W^5, 2, W^6, 1, 0, 0, 0, 1, W, 1, W^2, W, W, W^7, W^3, 0, 1, W^3, W^3, W^7, W^5, 0, 2, W^2, W^6, W^7, W^3, W^3, W, 0, W^2, W^7, W^3, 1, W^7, W, W^3, W^5, W^6, W, W^7, W, W^6, W^6, W^5, 1, W^6, W^2, 0, 1, 0, W^6, W, W^7, W^2, W^7, 0, W, 1, W^7, 2, W^2, W^6, W, 0, W^5, 1, W^3, W, W^5, W^6, W^3, 1, W^2, W^6, W^6, 2, W^5, W^3, W^7, 2, W^5, W^7, W^3, W^7, 0, W^5, 1, W^7, W^2, W^7, 1, W^7, W^5, 2, 2, W^2, 2, 1, W, W^7, W^6, W^7, 1, W^2, W^7, 0, 2, W^2, W, W^6, 0, W^6, W^7, 1, 0, W, W^7, W^3, W, W, W^3, W^3, W, W^5, W^6, 0, 0, 1, 2, 2, W^3, W^6, W^3, W^3, W^3, 1, W^5, 2, W^7, W^5, W^6, W, W, W^2, W^3, W^5, W^3, 0, W^6, W^6, W^3, 0, W^3, W^6, W^7, 0, W, W^6, 1, 2, W^3, 1, W^7, W^6, W^5, W^2, 1, 2, W^3, W^6, W^6, 0, 0, W^6, W^7, 2, W, W^2, W^6, W^2, W^3, W^2, W^3, W, 2, 0, W^5, 2, 0, W^6, 1, W^6, W^6, 0, W^5, 1, W^2, W^6, 1, W^7, W^6, 2, W^2, W, 1, W^7, W^2, W^5, W^7, W^5, W^2, 1, 2, 2, W^7, 2, 0, W^7, 1, 0, 2, W^6, W^5, 2, 2, W^7, 1, W^5, W^3, 0, W^2, 1, 1, 0, 2, 0, W^7, W^6, 0, W^7, W^2, W^7, 2, 2, W, W^6, W^2, 2, W^6, W^2, W^7, 0, 0, W^3, W^2, 1, W^2, W, 2, W^7, W^7, W^3, W^3, 0, W^5, W^5, W, W^7, W, 0, W^2, W^6, W^6, W^6, W^2, W^7, W^6, W^2, W^7, W^2, W, W^6, 1, W, W^2, W^2, 1, W, W^2, W^6, W^5, W^7, W^2, W^3, W^2, 1, W, W^7, W^7, W^3, 2, W^2, W, W^7, W, W^5, W^7, W^6, W, W^3, 1, 2, W^2, W^3, W^2, W^3, 0, W^2, 1, W^2, W^3, 0, 2, 1, 2, 2, W^3, W^2, W^5, W, 1, W, W^6, W^5, W, 0, W^3, 1, 1, W^6, W^6, W^7, W, W^7, 0, W^5, W^5, W^3, 1, W, W, W^2, W^5, W^2, W^7, 0, W^3, W^3, 2, 0, W^5, W, W^5, W^7, W^7, W^3 ]) ]; G:=PermutationGroup<24| (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,22,23), (3, 17, 10, 7, 9)(4, 13, 14, 19, 5)(8, 18, 11, 12, 23)(15, 20, 22, 21, 16),(1, 24)(2, 23)(3, 12)(4, 16)(5, 18)(6, 10)(7, 20)(8, 14)(9, 21)(11, 17)(13,22)(15, 19)>; D45:=GModule(G,gens); print("the simple M24-module D45 over GF(9), and a permutation representation of M24 on 24 points");