W:=GF(9).1; gens:=[ Matrix(GF(9),56,56,[2, W^6, W, W^2, W^3, W^6, W^2, 1, W^2, 1, W^2, W^6, W^3, W^3, 2, 0, 0, W^6, W^7, 1, 2, 1, W, 0, W^6, 1, W^5, W^7, 0, W^2, 1, 1, W, 2, W^2, W^6, W^6, 1, W^3, W, 1, W^7, W^6, 0, 2, W^5, 1, 2, 2, W^2, 0, W^2, W^5, 2, W, W, W^3, 1, 1, 0, 2, 2, W^6, W, W^3, W^7, 0, W^7, W^3, W^7, W, W^6, W^5, 1, W^6, 2, W^2, W^7, W^5, W, 1, W^3, W^2, 1, W^5, W^7, W^2, W^6, W^3, W^6, W^6, W^7, 2, W^2, 2, W^7, W^3, W^3, W^2, W^6, 0, W^6, 0, W^2, 2, W^6, W^7, W^5, W^3, 1, W^7, W^3, W^7, W^5, 1, W^6, 2, W^7, W^5, W^6, 2, W^3, W, W^7, W^7, 2, W^7, W^6, W^2, W, W^2, W^6, W^7, W^5, W^7, W^3, W^3, W^3, W^6, W^3, 0, W^7, W, W^7, W^3, W^7, 1, W^2, W^2, 2, 2, W^7, W^2, W^3, 2, W^5, W^2, W^2, W^6, 2, 2, 0, W^3, W^5, W, 1, 2, W^7, W^5, W, 0, W^7, W^2, 2, 2, W^5, W^7, W^6, 2, W^2, 0, W^2, 0, W^2, 1, W^7, 1, 2, W^5, 1, W^3, W^2, 2, 0, W^2, W, W^2, 1, W^6, W^3, 1, W^7, W^5, W^6, 2, W^3, 1, 1, 1, W^7, W^2, 0, W, W^7, W^2, W^3, W^5, W^2, W^7, W^3, W^2, W^2, 0, W^2, 0, W^5, 2, W^6, W^6, W, W^5, W^2, 1, 1, 2, W^3, 2, W^6, 2, W^7, 2, 1, W^5, W, 0, W^2, W^2, W^3, W, 2, W^2, W^7, 1, 2, W, W^2, W^3, W^7, W, 0, 0, W^6, W^5, W^5, W^5, W^6, W^6, 0, W^3, 1, W, W^6, W^7, W^2, W^6, 0, W^2, W^7, 1, W^5, W^5, 2, W, W^7, W, W^7, 2, 2, W^6, 1, 0, 0, W^7, 1, W, W, 1, 1, W^3, 1, 0, W^2, W^2, 2, 2, 0, W^7, W^7, W^2, W^5, 2, 0, 1, W^2, W^2, W, W^6, W^5, 2, 1, W^7, 0, 2, 0, 1, W, W^6, W^3, 2, W^3, 0, W^3, W^2, 2, W^3, W, W^3, 1, W^5, W^6, W^6, W^7, W^2, W^3, W^3, 2, W^3, W^7, W^6, W, W^6, W^7, W^5, W^6, W^2, W^3, W^5, W, W^6, W^2, W^3, W^3, 2, 0, W^6, 2, W^2, W^5, 0, W^6, W^2, 1, W^6, W^6, 0, 0, W^7, W^2, 2, W^6, 1, W, W^3, 2, W^2, 0, 1, W^6, 2, W^6, 0, 1, W^2, 2, 2, 2, W, 0, 1, 0, W^2, 0, 1, 0, W^5, W, 1, W^2, 2, W^7, W^7, W^3, W, W, W^2, 0, W^2, W^5, 0, W^3, 0, W^2, W^3, W^3, W, W^5, W^2, W^7, 2, W, W^7, W^6, 0, W^3, 0, W, W^7, 0, W^2, W^7, W, W^3, W^6, 2, W, 1, W^5, 1, W^5, W^7, W^2, 2, W^7, 0, W^7, W^7, W, W^3, W^3, W^6, W^7, W, 2, 0, W^7, W^6, 1, W, W^7, W^3, W^3, W^5, W, W^5, W^5, W^6, W^5, 1, W, 2, W, W^5, 1, 1, W^2, W^7, W^6, W^2, 1, 2, W^6, 0, 0, W, 2, 1, 0, W, 0, W^7, W^6, 2, W^6, 1, W, W^7, W^2, W^2, W^3, W^2, W, W^2, W^2, W^3, 2, 0, W^3, W^3, W^3, W^6, W^3, W^5, W, W, W^5, 0, W^3, W^6, W, W^2, 0, W^6, W^5, W, W^2, 1, 2, W^5, 2, W^5, 1, W^6, W^7, W, W^3, W, 0, W^5, W^7, 1, W^2, W^5, 0, 2, W^2, W^3, W^3, W^6, 1, W^2, 1, W^5, W^2, W^5, W^2, 0, 0, W^6, 2, 2, 0, W, W, W^2, W^6, W^7, W^7, W^2, W^6, W^3, W^2, W^3, W, W^3, W^7, W^3, W^3, W^7, 0, W^7, 2, W^2, 1, W^7, W^6, W^3, W^6, 2, 0, W^7, W^2, 2, W^7, W^7, W^2, W^2, 2, W^3, W^2, 1, W^7, 0, W^5, W, 2, W^3, W^2, W^2, W^6, W^3, W^5, 2, 0, 2, 1, W, 1, 0, W^3, W^6, W, 1, W^3, W^6, W^7, 0, 1, 1, W^2, W^3, W^5, W^3, W^7, W, 2, 0, W^5, 1, W^3, 2, W^6, W^7, 2, 0, W, 0, 0, W^7, 2, W^7, W^7, 1, 1, W^3, 1, W, W, 1, W, 0, W^6, W^3, W^6, W, 1, W^6, 1, 2, W^2, W, 0, W, 2, W^6, W^2, W^6, W^5, W^6, W, W^7, 1, W^5, W, 2, W^3, 0, 2, W^3, 1, 2, W^7, W^6, 0, W^3, W^7, W^7, W^6, W^6, W^5, 1, W^5, 1, W^2, W^2, 1, W^3, 2, W^5, 2, W^2, 2, W^5, W, W^2, W^6, 2, W^5, W^6, 1, W^2, W^3, 1, 0, W^5, W^5, 2, W^3, W, W^5, 2, W^2, W, W^5, W, W^2, W^3, W^6, W^7, 2, W^5, W, W^5, 0, W^3, W^5, 0, W^2, 1, W^6, W^2, W^7, W^3, W^5, W^6, W^3, W^7, W, 1, W, 2, W^7, W^5, W^3, 2, 1, W, W^3, W^7, W^3, W^5, 2, 1, W^5, 2, 0, 2, 1, W, 0, W, 0, W^7, 2, 2, 2, 0, 1, 1, 0, W^2, W^3, W^5, W^7, W^2, 1, W^7, W^5, 2, W^3, W^5, W, 0, W^7, W, W^7, W^3, W^3, W^7, W, W, W^7, W, W^6, W^7, W^7, W, W^3, W, W^2, W^5, 1, W^3, W, W^7, W, W^2, 2, W^2, 2, 2, W^7, 1, 2, W, 0, 0, 0, W^6, W^6, W^3, W^7, W^5, 0, W^7, 2, 2, W^2, 0, W^2, W, W^6, 0, W^2, 1, W, W^5, 2, W^5, 2, W, W^7, W^6, W^3, 2, W, W^2, 0, W^2, 2, W^2, W^2, 2, 2, 1, 1, W^7, W^2, W^3, W^7, W^2, W^7, W^3, 1, 1, W^7, W, W^5, W^6, W^7, W^3, W, W^3, W^3, W^5, W, W^3, 0, W^2, W^2, W^2, 0, W^5, W^3, W^3, W^7, W, 0, W, W, W^2, W^7, W^5, 1, W^3, W, 0, W^6, W^5, W, W, W, W, W^3, W^3, 0, W, 1, W, W^6, 2, W^5, W^2, W^3, W^6, 1, W^6, W^6, 0, W^3, W, 2, W^3, W^6, W^6, 1, W^5, W^2, W^7, W, 2, W^7, W^5, W^7, W, W^3, W^7, W^3, W, 2, W^6, 1, 0, W^6, W^2, 1, W, 0, W^6, W^5, 2, W^5, W^5, W^7, W^5, 2, 1, W^2, W^5, W^7, 1, W^6, 0, W^6, W^2, W^5, W, 2, W^7, W^6, W, W, W^5, 0, 0, 2, 2, 0, 1, W, W, 0, 0, W^5, 0, 1, W^7, W^7, W^2, W^5, W^2, 0, W^7, W^6, W^6, 2, W^6, W^6, W^5, W^7, W^6, 2, W^7, W^6, 2, W^5, 1, 0, 2, W^5, W, W^3, W^3, W^3, W^3, W^6, W^3, W^2, W, W^3, 1, W^7, W^5, 0, W^2, 2, 2, W^5, W^2, 1, 2, W^2, W^3, W^2, 1, W^5, W^2, 1, 0, 1, W, W^7, 2, W^5, W^5, W^2, W^5, 1, W^6, W, 2, W^7, W^6, W, W^3, W, W^2, W^6, W^2, W^2, W^2, W, 2, W^7, W^7, W^7, 1, W, W, W, W^7, W^3, 1, W^6, W^6, 1, 1, W, W^5, W^5, W^5, 2, W^3, 2, 1, W^2, W^7, W^3, W^2, W^3, W^2, W^2, 1, W^6, 1, W^7, W, W^3, W^7, 2, 2, W^5, W^7, W^3, W^3, W^6, W^7, 2, W^3, W^5, W^6, W^6, W^5, W^5, W^2, 1, W^7, W^2, W^6, 1, W, 0, W, 1, W^2, W^3, 0, 0, W^5, W, W^2, W^6, W^6, 0, W^3, 0, W^6, 2, 1, W, W^2, 0, W, W^3, 2, W^7, W^5, W^3, 2, 2, 0, W^3, W^3, 1, W^5, W^2, W^5, W^2, W^6, 2, W^3, 2, W^5, W^6, W, W^7, W, W^2, 0, W^7, W^6, W^2, 0, 0, 2, 0, W^6, 0, 2, W^3, W^2, W^6, W^5, W^6, W^7, W, W^7, 2, W^6, W^7, W, W^3, W^5, W^6, 1, W^7, W^5, 2, 2, W, W^3, W, W^2, W^2, W^6, 2, 0, 1, W, W^7, W^3, 0, W^5, W^6, W^5, 1, 2, W^6, W, W^3, 0, W, 1, 1, 1, W, W^5, 2, W, 1, W^5, 0, 1, W^7, 1, W^2, 0, W^5, 1, 0, W^6, W^3, W^3, W^5, W^6, 0, W^3, 1, W^7, 1, 0, 1, W^3, W, W^6, W^5, 2, 2, 1, W, 1, W^7, W, 1, W, 2, W^3, W^3, W^6, 1, 2, W, 2, W, W^5, W, 1, 2, 1, W^7, W^2, 2, W, W^7, W^5, W, W^7, W^7, W^5, 2, 0, W^6, 2, 1, W^5, W^6, 0, 2, W, W^7, W^3, W^5, W^7, W, W^5, W^6, W^5, 2, W, W^7, W^6, W^6, 0, W^5, W^3, W^6, W^6, W^2, W^2, W^3, W^3, 1, W^5, 0, W^2, W^3, W^3, W^2, 2, W^3, 2, W, W^7, W^2, 2, W^2, W^5, W^2, W^7, 2, 2, W^6, 1, 0, 0, W^6, W^5, W^2, 0, 0, W^2, 2, W^7, W, W^7, W^2, 1, W^2, W^7, 2, W^7, W^2, W, 0, W^3, W^6, W^7, 1, W^7, 1, 0, 0, W, W, W^6, 0, 2, W^6, W^5, W^7, W^6, W^2, 1, W^7, W^2, W^3, W^5, 0, 2, W^3, 1, W^6, W, 1, W, 2, 2, W, W^5, W, 0, 1, W^3, 0, 2, W, W, 2, W^3, 1, 2, W^3, W^6, 1, W^6, 0, W^5, W, 1, 2, W^3, W^7, W^5, W^5, 0, W^7, 1, 1, 0, 2, W, 1, 0, W^7, 0, W^2, 2, 0, W^5, 0, W^3, 0, W, 0, W^2, W, 2, W^5, W^3, W^7, W^6, 1, W^5, W^2, W^6, W^7, W^7, W^5, W, W^3, W^3, W^5, 2, W^6, W^6, W^2, 1, W^7, 2, W^2, 0, 1, W^7, 2, 1, W^2, W, W^2, 2, W^7, W^7, W, W^3, 2, W^5, W^3, W^3, W, W^2, W^5, 1, 0, W, 2, 1, W^3, W^2, W^2, 1, 2, W^3, W^5, 1, 1, W^7, W, 1, 2, W^3, W^7, W^2, 1, W^6, W^7, W^5, W^2, 1, 1, W^5, 1, W^5, W^7, W^7, W^3, W^3, 0, W^2, W^2, W^3, 2, 1, W^3, W, W^7, 2, 2, 2, W, 2, W^6, W^6, 1, W^3, 2, 2, 1, W, W^2, W^3, W^3, W, W^3, 0, W^6, W^6, W^3, W^2, 1, 1, 0, W, W^7, W^6, W^6, W, W^3, W, 1, W^7, W^5, W^5, W^2, W^7, W^3, 1, 2, 1, W^3, W^3, 1, W^3, 0, W^7, W^6, W^2, 2, 2, W^5, 2, W^7, 0, W^3, W^2, W^7, W, W^6, 2, W^5, W^7, 2, W^5, 0, W^6, W^3, W^7, 1, 1, 2, W^5, W^3, 1, W, W^5, W^3, W^3, 0, W^5, W^3, W^2, W^6, W^3, 2, W^7, 1, 2, 0, W^7, W^6, W, W^5, 0, W^5, 1, 1, W, 2, W^2, W^5, W^7, W^3, W^7, 0, W, W^7, 1, 0, W^6, 1, W^3, 0, W^6, 1, W, W^6, W^6, 2, W^3, 1, W^2, W^5, W^7, W^3, W^7, W^3, 1, 2, W^6, 0, W^2, W^7, 0, 1, W^3, W^2, 0, W^7, W, W^3, W, W^5, W^7, W^7, W^2, W^3, 1, 0, W^6, W^2, W^6, 2, W^3, W^3, W^3, W, 2, W^7, W^5, W^3, 2, W^2, W^2, W, W, W^6, W^5, W^5, W^5, W, 2, W^6, W^5, W^5, 0, W^6, 0, W, W^5, W^2, W, 1, W, 1, 0, W^6, W^2, W^6, W^6, 0, W^6, W^6, 2, W^3, 0, W^5, W, W^3, 0, W^6, W^7, W^7, 1, W^2, W^5, W^2, 0, 1, W^6, 1, W^6, 2, 0, W^2, W^2, W^7, 1, W^5, W, W^5, W^6, 0, W^5, W^6, W^3, W, W^5, W^7, W^2, 1, W, W^2, W, 2, 2, W, W^5, W^2, W^5, W^6, 1, W^7, W, 1, W^5, 2, W, W^2, W^3, W^6, W^7, W^2, 2, 1, W^3, 2, 2, W^2, 0, W^7, W^2, W, W, W^5, W, W^3, W^6, W^5, W^2, W^2, W^7, W^2, 0, W^5, W^6, 2, W^2, 1, 1, W^2, W^6, 0, 0, 0, 0, 1, 0, W^2, W^5, 2, W^2, 0, 0, 2, 2, 2, W, 0, W^7, 0, 1, W^3, W^6, W^5, W^5, W^2, 2, W^6, W^5, 1, 1, 1, W^5, W^5, W^2, W, W^3, W^7, W, W^2, W^3, W^2, W^6, 0, W^5, W^3, W, W^2, 1, W^3, W^6, W^2, W^3, W, W^3, W^6, W^3, 1, 1, W^3, 2, W^3, W, 2, W^2, W^6, 0, 0, W^3, 1, W^3, W^7, W, W^5, W, 2, 1, W^5, W^6, W^2, W^2, 1, W^3, W^6, 2, W^5, W, W^3, W^3, 2, W, W^7, W^2, 2, W^2, W^2, W^5, W, W^7, W, W, W, 0, W^3, 1, W^7, W^2, W^7, W^6, W^2, W^2, W^3, 0, 0, 2, W^5, W, W^2, W^6, W^3, W^7, W^7, W^2, W^7, W^6, W^6, W^7, W^7, W^6, W, 2, W, W^7, 1, W^7, W^6, 0, 1, 1, W^3, W, W^6, W^5, W^7, W^2, W^6, W, W^2, W^2, 2, W^7, W^2, W^5, 0, 1, W^7, W^2, 1, 2, 1, W^6, W, 1, W^5, W^7, W^7, 0, 2, W^3, 0, 1, W^3, W^6, 0, W^2, 0, W^7, W^5, W^7, W^7, W^5, W^6, 1, W^3, W, 0, 0, 0, 1, W, W^2, W, 2, W, W^5, W^7, W^2, W^3, W^3, W^3, W^3, W^6, W^3, 0, 2, W^7, W^6, W^2, 0, W, 1, 2, W^3, W^5, W^7, 0, W^2, W, 2, 2, W^2, 1, W^2, 0, 1, 0, 1, 2, 0, 2, 2, W^2, W^3, W, 1, W^7, W^3, W^6, W, W^3, 1, 2, W, W^7, W^2, W, W^6, W^5, W, W^6, 1, W, 0, W^3, W, W^7, 1, W^7, W^3, W^2, W^3, 0, 0, 1, 1, 0, 1, W, 0, W^6, W^3, W^6, 0, W^7, W^3, 2, 0, 0, W^2, W^7, W^7, W^5, W^7, W^5, 1, W^7, W^7, 0, W^3, 2, 1, 1, W^7, W, W^6, W^2, W^3, W, W^7, W^7, W^6, W^7, 2, W^3, W, W, W, W^7, W^5, 2, W^3, W^3, W^7, W, W^3, 2, W^5, 1, 2, W, 1, 2, 1, 2, W^2, W^5, 0, W^6, W^5, W^2, W^6, W, W^2, 2, 0, 0, W, W^3, W^6, W^5, W^2, 0, 0, W^6, 2, W^5, W, 1, W, 2, W^7, W^7, 2, W^6, W^2, 0, W^6, W^5, W^6, W^3, 1, 0, 2, W, W^3, W^3, W^5, W^5, W^3, W^5, 1, W^2, 2, W, W^6, 2, W^6, W^5, W^6, W^6, 0, W^5, W^5, W^5, 2, W^5, W^5, 2, W^3, W^6, 2, W^3, W, W^5, 1, 0, W^7, W^2, W^6, W^5, 0, W, W^5, W, W, W^6, W, 0, W^5, 0, W^2, W, W^6, 1, W^3, W^3, 2, W^7, 0, W, W^7, W^7, W^3, W^3, W^5, 1, 2, W^3, W, 1, W^7, W^2, W^3, 1, W^6, W^2, W^6, W^6, 0, W, W, W^7, W^2, W^5, 0, 1, W^3, W^3, W^5, 2, W^7, W, W, W^3, W^3, 0, W^5, 1, W^7, W^7, W^7, W, W, W^3, 1, 0, W^3, W^2, 1, W^6, 1, 1, W^5, 2, W^2, W^6, 2, 0, 1, 0, W^6, W, 1, 2, W, W^3, 1, 2, W^2, W^7, 0, W^6, 1, 0, 1, 0, 1, W^3, W^5, W^5, 0, 0, 0, W^7, 2, W^3, W^7, 1, W^3, 1, 1, 0, W^7, W^7, W, W^7, W^7, 0, 0, W^5, W^3, 2, W^2, 2, W^7, W^5, W^5, W^2, W^7, W^5, W^3, W^5, W^2, W^2, W^3, 0, W^5, 0, 1, W, W^5, W^5, 1, W^3, W^3, W, W^5, 2, W^7, W^3, W^6, 0, W^3, W^6, W, W^3, W^7, W^6, 2, W, W^5, W^7, 1, W^2, W, W^2, 1, W^3, 0, W, 2, 2, W^5, 1, W^5, W^2, W^7, W^7, W^3, W^2, W^7, 2, 0, W^2, W^3, W, W^2, W^6, 0, 1, 0, W^7, W^5, W^2, W^7, W, W^7, W^6, 1, 2, W^3, W^6, 0, W^3, 0, 0, W^2, W^6, W^7, W^7, W^7, W^7, 0, 1, W^6, W^2, 0, W^2, W^2, W^3, W^7, 2, W^3, 2, 1, 0, 2, 2, W^2, W^2, W^3, 0, 2, W^7, W, W^3, W^5, 0, W^2, 2, W, W^2, 0, W^3, 2, 1, W^7, W, W^2, W^5, W^5, W^6, W^2, 0, W^3, W^7, 0, 0, 1, W^5, 0, W^2, W^3, W^6, 0, W^6, W^5, 1, W^3, W^6, W, 2, 2, 2, W^5, W^7, W^7, 2, W, W^5, W^6, W, 0, W, W^7, W, W^7, 1, W^3, W, W^7, W, 0, W^3, 0, W^3, W^7, W^5, W, W, W^2, W^6, 2, 1, W, W^3, W^3, 2, W^7, 2, W^6, W^5, W^2, 2, W^2, W^2, 1, 1, W^3, W^7, W^6, W^5, W^7, 1, W, 0, W^7, W, W^5, W^5, 0, W^5, W^6, W^7, W^5, W^5, W^5, W^3, 0, W^2, W^7, 2, W^3, W, W^5, W^2, W^5, W, W, W^5, W^2, 2, W^2, 1, W^5, 2, W^6, W^6, W^2, W^3, W^7, W, 0, W^6, W^6, 1, W^5, W, 0, 1, W^6, 2, 2, W^2, W, W^7, W, W^5, W^5, 2, W^2, 0, 1, W^3, 1, 1, W^5, 2, W, W^6, W^6, W^3, W^2, W, 2, W, W^6, 1, 2, W^5, W^5, W^2, W^2, W^2, 1, W^5, W^5, W^2, W^3, W^6, 1, W^7, W, W^6, 2, W^3, W^6, W^7, 1, 0, W^7, W^7, 1, W^3, W^2, W^6, W^3, W^5, W^5, W^7, W^3, W^7, W^3, W^5, W^2, 2, W^7, 1, W, 0, W^6, W^7, 0, 1, 2, 1, W^7, W^7, W, W^7, W^6, 1, W, W^7, 2, W, W, W, 0, W, W^2, 2, W^5, 0, W^5, 0, W^5, W^2, W, W^5, 0, 2, W^3, W^6, 2, 1, W, W^6, 2, 0, W^2, 2, 0, 1, W^3, 1, 0, W, W^2, W^5, W^2, W^3, W, W^5, W^6, W^2, W^7, W, W, W^3, W, 0, 2, 1, W, 1, 2, W^7, W^2, 1, W^6, 1, W^6, 1, W^6, 2, 0, W^3, 1, 1, W^2, W^7, 2, W^3, W^3, W, W^3, W^7, W, 0, W^2, W^5, 2, 2, W^2, 0, W^2, W^2, W^5, W^2, 0, W, W, 0, W^3, W^2, 2, W^5, W^6, W^3, 0, W^5, W^5, W, W^6, W^2, 0, W^3, W^5, 2, W^2, W^3, W^7, W, W^7, 1, W^3, 0, 1, W^5, W^6, W^3, W^6, W^5, W^7, W^5, 1, W^2, 1, 0, W, 1, W^5, W^7, W^2, 1, 0, 2, W^3, 2, W^3, 1, W, 2, W^5, 2, 1, 0, 2, 1, 0, W, 2, W^7, 1, W^6, W^2, W^6, W^2, W^5, 2, W, 1, 1, W^6, W^3, 0, W^6, 1, 0, 0, W, W^2, W^3, W^2, W^7, W^5, W^3, 0, W^3, W^7, W^3, W, 2, W^5, 0, W^2, 1, W^6, W^5, 1, W^5, 2, 0, W^7, W^6, 2, W, 1, W^5, 1, W^7, 1, 1, 2, W, W^3, W^7, W^5, W, W, W, 1, 2, W^7, W^3, W^5, 1, 2, W^7, W^5, W^3, W^5, W^6, W^6, W, W^7, W^5, W^7, W^5, W^7, W, W^7, 2, W^7, 1, W^5, W, 2, W^5, W^7, W^6, 0, W^6, W^6, W, W, 0, W^7, 1, W^2, 0, 2, W^2, W^2, 2, 1, W, 2, W^3, 0, 2, W^3, W^7, 1, 2, W^6, W^7, W, 2, W^6, W^6, W^3, 2, 0, W^5, W^2, W^7, 0, W^6, W^7, 2, 0, 1, 0, W^2, W^2, W^3, W^6, 0, 2, W^7, W, 2, 2, W^2, W^7, 2, W^5, W^2, W^2, 2, 2, W^6, W, W^5, W^7, 1, W^7, 1, W^3, W, W^3, W^5, 2, W^3, W, W^5, 2, W^5, W^7, W, W^3, 2, 0, W^2, W^2, W^2, 0, W^7, 2, W^3, 0, 1, 2, W^6, W^7, W^7, W^2, W^5, W^3, 0, 0, W^2, W^3, W^5, W^3, W^5, W, W^2, W^6, W^6, W^6, W^2, 2, W^3, W^3, W^5, 0, W^7, W^2, W^6, W^3, 1, W^6, W, W^6, W, 2, 0, 2, W^3, 0, W^5, W^3, W^7, W^5, 2, 2, 1, W^3, W, W^3, 2, W^7, W, W^2, 0, W, 1, 0, 2, W^6, W^5, W^5, W, 2, W, 0, W^6, 2, W^7, W^2, 1, W^2, 2, 1, W^6, 2, W^3, W^2, W^5, W^5, W^6, W^2, W^3, W^7, W^3, W^3, W, 2, 2, W^5, 2, W^6, W^5, 1, W, 0, 2, 0, 2, 0, W^3, W^5, W, W^2, W^5, W^3 ]), Matrix(GF(9),56,56,[W^5, W^6, W^7, W^7, W^7, W^7, 1, 0, 0, W, 1, W, 0, W^2, W^7, 1, W^7, 0, W^2, W, W, W^3, W^7, W^7, W^6, W, 1, W^2, W^7, W, 2, 0, W, W, W^7, W^5, W^2, W, 1, W^6, W, W^7, 0, W^7, 0, 1, 0, W^7, W^7, W^7, 1, W^3, W, 2, W^6, W^2, 2, 1, 1, W^3, W^7, W^3, W^6, 0, 0, W^5, W^5, W^6, W^5, W^7, 0, 0, W, 1, 0, W^5, W, W^5, W^3, 1, W^6, W, W, W^3, W^6, W^6, W, W^7, 1, 2, W^6, 0, W, 2, W^3, W^7, W^6, 2, W, 0, 0, 1, W^7, W^2, 1, W^2, 2, W^5, W^7, 2, 2, W, W^7, 0, 1, W^3, W^5, W^2, W^7, W, 2, W^6, W^3, W^3, 1, 0, 0, W^7, 0, 1, W, 0, 1, 1, 2, W^2, W^6, W^6, W^5, W^2, W^2, 1, 1, W, W^3, W^3, W^7, 2, W^2, W^3, W^5, W^5, W^3, W^2, W^2, W^3, W, 0, W^7, W^7, W^5, 2, W^2, 0, W^7, W, W, W^5, 2, W^3, W^7, W^2, W, 2, 1, W^5, 1, W^5, W^6, W^3, 2, W^6, W^5, 2, 0, W^5, W^5, W^3, W^2, 0, W^2, 2, W^2, W^2, W^6, 2, W^5, W, W^2, W^2, W^5, 2, 1, W, W, 0, W^3, W^7, W^6, W^2, 0, W, W^5, W, W^6, W^2, W, 2, W, W^7, 2, W^3, W^6, 1, W^6, W, W^5, W^6, W, 2, W^3, W^3, 1, W^3, 2, W^6, W^3, 2, W^3, 2, W^5, W^2, W^5, W^3, 2, 0, W^2, W^6, W^3, 2, 2, W, W^5, 1, 2, W^5, 0, 1, 0, 0, W^6, W, 2, W^6, W^2, W^5, 2, W^6, W^7, 1, W, W^7, W^3, 0, W^3, 0, W^7, W, W^6, W^6, W, W, W^6, W, 2, W^3, W^5, 2, 2, W^5, W^7, W, 0, W, W^5, 0, W^5, 2, W^3, 1, W^7, W^3, W^5, W^6, W^6, W^3, W^2, W^6, W^5, W^5, W, W^2, W^6, W^6, W^6, W^5, W^6, W^2, W, W^2, W^6, 2, 0, 2, 2, W^5, W^3, W^2, 2, 0, 0, W^7, W^3, 1, W, 0, W^7, 0, W^3, W, W^3, W^3, W^2, W, 1, W^7, 2, W^3, 2, W^3, W^2, W^3, W^3, W^7, W^3, W^5, W^5, W^6, W, W^5, W, 2, W^7, W^2, 2, 1, 2, 1, 2, W^3, W, W^2, W, W^3, W^5, W, W^3, W, W^3, W, W^2, 1, W^3, 0, 0, 2, W^6, W^6, 1, W, W^2, W^2, 2, W, 1, 2, W^5, W^2, W^5, W^2, W^6, W^3, W, 1, W^5, W^7, W^6, W^6, W^5, 2, W^2, W, 1, W, 2, W^3, W^2, W^5, 1, W^2, W^3, 1, W^5, W^2, W^2, W^2, 0, W^5, 0, 2, W^5, W^7, W^2, W^6, 2, 1, W^2, W^6, W, 1, W^5, W^2, 1, 2, W^2, W, W^2, 1, W, W^2, W^2, W^3, W^5, 0, W^7, 1, W^5, 0, W^2, W^2, W^7, W^7, W^5, 1, 1, W, W^3, 2, W^5, W^5, W, W^3, W^6, W^3, W, W^6, W^7, W, 2, W^2, W^6, W^3, W^3, 2, W^3, 1, 1, W^2, 1, W^5, W^7, W^7, W^3, W^3, W^2, 1, W^2, 1, 0, 2, W^7, W^2, W^6, W^3, W^7, W^7, 2, 0, W, W, 1, 1, 0, 1, W^5, W^6, W^3, 2, 0, W^6, 1, 0, W, 0, 2, 2, W^5, 0, W^2, W^5, 0, W, W, W, W^7, W^3, W, 2, W^2, W^6, W^2, W^6, 1, W^2, W^7, W^5, 2, 2, W^2, 2, 0, W^2, W^7, 2, W^2, W^7, W, W^6, W^7, W, W^6, W, W^3, 0, W^3, W^7, W^6, W^2, W, W^7, W^7, W, 0, 2, W, W^7, W^6, W^2, W^3, 0, W^3, W^5, W^7, W^2, W^3, W^3, W^3, W^2, 0, W^2, W^7, W^2, W^6, W^3, W^7, W^6, W^3, W^6, W^7, W^5, W^2, 2, W, W^3, W^7, 1, W^5, W^6, 1, W^3, W^2, W^7, W^7, 1, W^2, W^7, W^7, 1, W^7, W^3, 0, 0, W, 0, 2, W^2, W^7, 2, W, W^3, W, W^7, W^3, W^2, 1, W^5, W^3, W^3, W^3, 0, 0, W^6, W^2, W^3, W^5, W^7, W^2, W^6, W^5, 1, W^7, 0, W^2, W, W^2, 1, W^3, W^7, W^2, W^3, W^2, W^6, W, 1, W^5, 1, W^2, W^5, 2, 1, W, W^5, W^7, W^7, 0, W^6, 1, 2, W^7, W^6, W^2, 2, W^7, W^6, W^3, W^7, W^7, W^5, W^3, 0, 1, 0, 0, W^5, W^2, W^5, W, 0, W^7, W^7, 2, 2, W^7, W^5, W^7, 2, 2, 1, W^3, W^3, 0, 1, W^3, 1, W^2, W^3, W, W^5, W^5, 0, W^5, W^2, W, 0, 2, W^7, 1, 2, 1, W^6, W^5, W^7, W^3, W^6, W^7, 2, W^3, W^6, 0, 0, W^3, W^3, 1, W, W^6, W^7, W^7, W^6, 1, W^7, W^2, W^7, W, 1, W, 1, W, W, W^6, 1, W^7, W^6, W^3, W^7, 2, W^7, W^7, W, W, W^3, 0, 0, W^3, W^2, W^5, W^6, W^6, W, W^6, W^7, 0, W^3, W^6, W, 2, W^7, W^2, W^2, W^6, W^5, W^2, W^3, W^6, 1, W, W^3, W^3, W, W^6, W, 0, W^5, 0, W^5, 1, W^7, W^5, W^3, 0, W^5, 0, W, W^5, W^5, 1, 2, 2, W^2, W^6, W^6, 2, W^3, W^6, 0, W^5, 1, W^6, 2, 2, W, 0, W^7, W^5, W^2, W^3, W^3, W^2, W^6, W^3, W^6, 1, 1, W^6, W^7, W^7, W^7, W^3, W^5, W^5, 2, W^7, W^5, 1, 0, W^3, W^2, W^3, W^7, W^5, W^5, W^2, W^2, 2, 2, W^3, W^3, W^2, W^2, W^3, W^6, W, 0, 0, W^7, W^6, W, 1, W^7, 0, W^7, W^5, W^5, 1, 1, W^6, 0, W, 2, W^6, W^3, W^2, W^3, W^5, W, W^6, 0, W^7, 0, 1, W^3, W^7, W^7, W^2, W^7, W, W^5, W^6, 2, W, W^2, 1, W^7, W^7, 1, 1, W^7, 2, 2, 1, W^6, W, W^3, 2, W, 1, W^6, W^6, W^2, 0, 1, W^6, 2, 1, W^7, W^2, W, W^6, 0, W, 0, 2, W^5, W^2, W^3, 2, W^6, W^6, W^3, W^5, W^7, 0, W, W^6, W^6, 0, W^5, W^7, W^6, 0, W^5, 2, W^3, W^7, 2, 0, W^5, W^6, W^3, W, W^3, W^5, W^7, W^7, W^2, W^5, 2, 2, 0, 1, 1, W^5, W^2, W^2, W^3, 1, W^2, 1, W^7, W^3, W^7, W^6, W^5, W^6, W^5, W^6, W^5, W^3, 0, W^5, 0, W^2, W^5, W^6, 1, W, W^3, W^2, 0, 1, W^3, W^2, W^6, W^3, 2, W^5, 1, 1, 1, W^7, W^6, W^5, W^7, 2, W^2, 0, W, W, W^3, W, W^2, W^5, 1, W^6, W^3, 1, W^7, W^5, W, 1, 1, W^7, 0, W, 2, W^3, W^3, W^3, 1, W^5, W^5, 0, W^5, 2, W^5, 1, 1, W^5, W, 1, 1, W, 1, W^5, 1, W, 1, W^7, W^2, 1, W^7, W^2, 2, W, W^7, W^6, W, W, 1, 1, W^7, 1, 1, 0, W, W^3, W^6, W^2, 1, W^3, W^6, W, W^5, W^5, 1, 0, W^3, 2, 1, W^5, 0, W^5, W^5, W^5, W^3, 1, W^3, 1, W^6, 1, W^6, W^6, W, W^5, W^6, W^2, W^3, W^5, W^5, 2, W^2, W^2, 1, 2, 2, W, 1, W^7, W^7, W, 1, W^7, W^7, W^7, 1, W^6, 0, 2, W, 2, W^7, 2, W^5, W^6, W, 1, W, W, W^6, W^6, 2, 1, W^3, 1, W^6, W^2, W^2, W^2, W^6, W^6, W^3, W^3, W, W, W^2, W, W, W^3, W, 1, W^5, W^6, W, W^3, W^3, W^2, 0, W^2, 1, W^6, 1, W^5, 0, W^5, W, 2, W^2, W^7, W^6, 2, W, 2, W^6, W^6, 2, 0, 0, W^6, W^2, 2, 2, 2, W, 0, 0, 0, W^5, 1, 0, W^7, W, W^3, 1, W^2, W, W^6, W^3, W^3, W^6, W^2, W^7, W^5, 2, W, W^3, W^2, W, W^2, W^3, W^7, W^2, W^6, W^7, 2, W^7, 0, W^3, W^7, W^3, W^5, 2, W^7, 2, W^6, W^5, W^7, 1, W^5, W^7, W^6, W^5, 1, W^5, W^5, 0, 2, W^3, 0, W^3, 0, W^6, 2, W^6, W^3, W^6, W^3, 0, 0, W^3, 0, 1, W, W^6, W^6, W^7, W, W^3, W^6, 0, W, W^3, W^7, W^7, W^2, W^6, 0, 0, W^2, W, W^5, W, 0, 2, 0, W^2, W^6, W, W^3, 2, W, 2, 2, W, W^6, 2, W^5, W^6, 1, 2, W^6, 1, 2, W^3, W^2, W^3, W^7, W^5, W^6, W^6, W^2, 0, W^7, W^6, 2, 0, W^6, W^2, W^3, W, W^3, 1, W^6, W^5, W^3, 0, W, W^7, 1, W^7, W^6, W^6, W, 0, 2, W, W, 0, W^2, 1, W^7, W, 2, W^2, 0, 2, W^3, 1, W, 2, W^6, W^5, W^6, W^6, W^3, W^2, 2, W, 0, W^6, W, 0, 1, 1, 2, 2, 2, 2, 0, W^5, W^7, W^6, W^3, W, 2, 0, W^2, W^7, W^6, 0, W^6, W^5, W^7, 0, W^3, 2, 1, 2, W^6, 0, 0, 1, 0, W^2, W^3, W^2, W, W^6, 1, 0, W, W^6, W^6, W^6, W^6, W^6, W, W^7, W^5, 0, W^2, W^3, W^7, W^3, 2, 2, W^2, W^6, W^5, 0, 1, 0, 1, W, W^7, W^7, 2, 2, W, W^3, 0, W^2, 1, W^7, W^5, W^3, W^6, W^7, W^7, W^7, W^7, 1, W^3, W, W^7, 0, W^3, 0, W^3, 0, W^2, W, W^6, W^3, W^7, W^2, W^7, W, W^2, W^7, W^6, W, W^3, 2, 2, W^6, W^7, 2, W^2, W^6, 1, W, W^6, 2, W, W, 0, W^6, W^5, W^6, W^6, W^3, W^3, 0, W^6, 2, W^7, 2, 1, W^3, W^3, W^2, 0, 0, W^6, W^6, W^3, 0, W^2, W^3, W^7, W^7, W^2, 2, W, 1, W^3, W^3, W^2, W^6, W^3, W^6, W^5, W^3, 1, W^6, 1, 1, W^2, W, 0, W^7, W^3, W^5, W, 2, W^5, W^6, 1, W^2, W, 0, 2, W^6, 2, 1, W^3, W^2, 1, 2, W^3, 2, W^2, W, 0, W^3, W^5, W^5, 0, W^2, 2, W^3, W^2, W, W^2, W^5, W^2, W, W^6, 0, 1, W^7, W^6, W^2, 1, W^3, W^5, W^2, 0, W^3, 1, W^2, W^7, W, W^5, W^2, W^7, 1, W^3, W^6, W, W^6, W^2, W^3, W^6, W^7, W^5, W^7, W, W^6, W^6, W^7, W^7, W, 2, W^3, W^5, W, 1, 2, W^5, 1, 0, W^6, W^6, W^5, W^5, 1, W, 1, 1, 0, W, W^3, W^7, 1, W^3, W^5, 1, W, W^6, W^7, W^6, W^7, W^5, W^2, W^5, W^5, W, W^6, W, W^6, W^7, W^5, W^7, 2, W^3, W^6, W^5, 2, W^6, 2, W^7, W^3, 1, W^5, 1, W^6, W^5, 2, W^6, W^7, W^5, W^6, 2, 2, W^3, 0, W^5, W^3, W^2, W^7, W^2, W^3, W^2, W^2, W^2, 2, W^2, W, 2, 1, 0, W^5, 1, 2, 2, 0, 2, W, 1, W^5, W^5, W^7, W^7, W^5, 2, W^3, 2, W^7, W^3, W^2, 2, W^2, 0, W^5, W^6, 0, W^2, W^7, W^6, W^3, 1, W^3, W^7, 1, W^2, 0, W^3, 2, W^3, W^2, W^2, 1, W^2, W^2, W^6, W^2, W^2, W^6, W^6, W^7, 1, W^2, W^2, W^2, W^6, 0, 1, 0, 1, W^6, W, W, W^3, W^2, W^6, 2, W^3, W^6, W^3, W, W^7, 1, 2, 2, 2, 2, W, 1, W^7, W^2, 0, 0, W^5, W^7, W^2, W^3, W^3, W^3, W^7, W^5, 1, W^2, W^6, W^7, 0, W^2, W^3, W^5, W, W^5, 1, 1, 0, W^5, W^3, W^2, W^6, W^7, W^3, W^7, 1, W^6, 2, W^6, W^7, 1, 0, W^5, W^2, W^2, 2, W, W^5, 2, 0, W, W^5, 0, 2, 1, W, W^6, W^5, 2, W, W^3, W^2, W, W^2, W^3, W^5, W, W^2, W^3, W^3, W^6, W^3, W^6, W^7, 1, W^2, W^2, W, W^3, 2, W, W^2, W^5, W^6, W^2, 0, W^6, W^2, W^6, W^5, W^6, W^5, W^6, 0, W^7, W^2, 2, W^2, W^2, W, 1, W^3, 0, W^6, W^6, 2, 0, 1, W^6, W, 1, 1, W^5, 1, 0, 0, W^6, W^3, W^3, W^2, W^2, 0, W^7, W, 0, 1, W^7, W^2, W, W^7, W^3, W^2, 2, W^5, 0, 0, W^5, W^7, W^5, 1, 0, W^5, 2, 2, W^5, W^2, W^7, W^3, 0, W^6, W^3, W^2, 2, W^3, W^2, W^3, W^6, 2, 2, W, W^5, W^7, W^3, W^6, W^3, 0, 2, 2, W^6, 1, W^7, 2, W, 0, W^7, W^6, W^7, W^6, W, 0, 2, W^6, W^3, W^2, W^3, W^7, W^3, 1, 2, W^7, W^2, W^5, W^3, W^3, W^5, W^3, W^2, 1, W^7, 2, 1, W^5, W^7, W^7, W^2, 0, 2, W^5, W^2, W^2, W^6, W^7, W^2, 2, W^3, W^5, W^6, W, 0, W^2, W^2, 2, 0, 2, 2, W^2, 2, 1, 0, 0, W^5, 0, W^2, W^6, 1, W^7, W^5, W^2, W^6, W, W, 1, W, W^2, 2, W^5, 1, 0, 2, 2, W^6, W^3, 2, W^5, 2, W, W^6, 2, W^7, W^3, 0, W, W^2, 0, W, W^7, W^6, W^2, W^5, W^7, 0, 1, 1, W^3, 0, W^3, W, W^6, W^3, W^5, 2, W, W^2, W^6, W^2, W^7, 0, W^6, 0, W^7, W^2, 0, W^7, W^5, W^5, W^7, W, W^3, 0, W, W^7, W^7, W^7, W, 2, W^6, W^5, W^6, 0, 0, W, W, W, W^7, W^6, 0, W^5, W^3, 0, W^5, W^5, W^6, 2, W^2, W, 0, W^5, W^7, 1, W^3, 2, W, W^7, W^3, W, 1, W, 2, 0, 2, W^5, W, W^3, W^5, 0, W^7, W^7, W^3, W^5, W^6, W^5, 2, W^3, W^6, 0, W^6, W^7, W^6, W^7, W^2, W^7, W^7, W^3, 0, 2, W^7, W^7, W^2, W^5, W, W^7, 2, 2, W^7, W^5, W^5, W^7, 0, 0, 0, W^5, W^5, W^3, W^5, W^6, W^2, 2, W^5, 0, W^5, W^5, 0, W^7, W^6, 0, W^5, W, W^2, W^7, 0, W^3, W, 0, 2, W^2, W^6, 0, W^5, 0, W^6, W^2, W^3, W^2, 0, W^5, 1, 0, 2, W^3, W^6, W^7, W^6, 0, W^3, 0, W, W^5, 2, W^5, 0, W, 1, W^6, W^5, 0, W^6, W^5, 0, W^3, W, 2, W^2, W^5, W, W, W, W^2, 0, W^6, W^7, W^3, W^3, 1, 2, 2, W^7, W, 1, W^2, W^2, W^3, W^5, W^2, W^7, W^3, 1, W^3, W^2, 0, W^2, 0, W^6, W^5, W^2, W^2, 1, 0, W^5, 2, W^5, W^3, 1, W, 0, W^6, 1, W, W^2, W, 1, W^2, W^2, 2, 1, W^5, W, 0, 2, W^6, 1, 1, W^6, 1, 0, 2, W^7, W^3, 0, W^5, W^6, W^2, W^2, 1, W^6, 2, W, W^7, 1, W^7, W^7, W^6, W^6, 0, W^3, W, W, W^3, W^6, W, W^3, W, W^7, 0, W^6, 1, W^2, W^2, 1, W, 1, 1, 1, W^7, 2, W^5, W^5, 2, W^2, W^2, 2, W^5, W, 1, W^7, W^5, 2, W^7, 2, W, W^5, W, 2, W, W^2, W^2, W^6, 1, W^5, 1, 0, W^6, 2, W^3, 2, W^5, W^2, W^6, W^2, W^6, W^3, W, 0, W^6, 1, W^6, W^2, W, W^2, 1, 2, W^2, 0, 2, 1, 1, W^2, W^6, 0, W^2, 2, W^5, W^6, 0, 1, 0, 1, W, W^7, W^7, W, W^5, 2, W^6, W^5, 2, W^3, 2, W, W^5, W^6, W^3, 0, 0, W^3, 2, 1, 1, W^7, W^6, W, W^6, W^3, W^6, W^5, 0, 0, W^7, W^6, W, W^7, W, 2, W, 0, W^7, W^2, W^2, W^5, W^7, 0, W^7, W^7, 2, 1, W^3, W^5, W^3, W^3, 0, W^2, W^7, W^5, W^5, W^6, W, W^6, W^7, W^2, 2, W^7, W^6, W^3, 2, W, W^3, W^6, W^6, 0, W^5, W^3, 0, W, 2, W^5, 0, W^2, W^3, W, W^2, W^3, W^5, 2, 0, 2, W^3, W^6, W^2, 1, 0, 1, W, W^3, W^7, W^5, W^2, W, 1, W^5, W^3, 1, W^7, W^5, W^7, W^2, W^5, 2, W^7, 0, W, W^2, 1, 2, 1, W^2, 2, 2, 1, W^7, W^6, 2, 2, W^6, W^3, 0, W^2, W^7, W^3, W, 2, W^7, W^7, 2, W, 1, W^7, 1, W, W, W^7, W^5, 0, W^5, W^2, 0, W^7, 1, W^6, W^7, W^3, W^7, W^5, 1, 2, W, W^6, W^3, W^2, 1, W^2, W^3, 1, W, 1, W, 2, W^5, 0, W^3, W^5, W^3, 2, 1, W^2, 1, W^3, 2, 0, W^3, W^7, 1, 1, W^5, 2, W^3, W^5, W^2, W^6, 1, 0, W^5, W^6, 2, W, 0, W, 2, W^6, W, 0, W^7, W^5, 0, W^2, 0, W^2, W^6, W^2, 1, W, 0, W^2, W, W^7, W^6, W^3, W, W^5, W^2, W^7, W, W^3, W^6, W^5, 1, W^3, W^6, W^3, W^5, 0, 2, W^3, W, W^3, 0, 0, 1, W^7, W^3, W, W^6, W^2, 0, W^3, W, W^7, W, W^7, W^3, 0, 1, 0, 0, W^2, W^2, W, 0, W^7, 0, W^2, 1, W^5, W^2, 0, W^2, W^5, W^2, W^2, W^5, W^2, W, W^2, W^3, W^2, W^7, W^3, W^5, W^6, 2, 2, W^2, W^3, W^5, W^3, W, W^6, W^5, 1, 2, W^3, W^6, W^7, W^7, W^3, 2, 1, 2, 1, W^2, 1, W^6, W^5, W^3, W^7, W^6, W^3, W^6, 2, 0, 2, 2, 2, W, W^3, 2, W^3, 0, 1, 2, W, W, 0, W, W^2, W^5, 1, W^2, W^2, W^5, W, W^2, W^7, W^6, 1, 2, 1, 2, W, W^3, W, W^2, W^5, 0, W^6, 1, W^3, W^3, 2, 1, W^3, W, W, 2, W^3, W^5, W^6, W, 1, 2, 1, W^7, W^5, W, W^5, W^2, W^2, W^2, 0, 2, W^3, 2, 1, W^3, W^2, W^3, 2, 2, 0, W^7, W^5, W^5, 0, W^5, W^5, 0, W^6, W^7, 2, W^5, W^2, W^5, W^7, W^3, W^5, W, 2, 2, 1, 2, 0, W, W^2, 1, W^2, W^6, W^7, W^3, W^6, W, 2, 0, 0, W^3, W^2, W^5, W, W^6, W, 2, 1, W^7, 0, W^3, W^7, 1, 1, W^3, W^5, W^7, W^2, 0, W^5, W^5, W^2, 2, W^7, 1, W^3, 0, W^7, W^2, 2, W, 1, 2, W^3, 0, 1, W^7, 1, W, W^6, W, W, W^6, W^5, W, W^2, W^3, 2, W^6, W^6, 0, 2, W, 0, 0, W^5, 2, W^6, 2, W^5, W^2, W^3, W^3, W, 1, W^2, W, W^6, W^5, 0, W^2, W^7, 0, W^7, 0, W^6, W^7, W^5, W, 1, W^7, W^7, W, W, 2, W, W^2, W^5, W, W^6, 2, 1, W^2, W, 1, W^2, W^7, W^7, W, W, W^3, 0, W^7, W^3, W^2, W^6, 2, W^7, 2, W^6, W^2, W^5, 1, W^2, 0, 1, W^2, W^5, 1, 2, W^3, 1, 1, W^6, W^7, 1, W^6, W^7, W^2, 0, 1, W^6, W^5, W^3, W^3, 0, W, 1, W^7, W^3, 0, W^6, 1, 0, W^5, W^3, W^3, W^6, 1, W^7, W^3, W, 0, W^5, 2, W^3, W, W^5, W^3, W^6, W^3, W^3, 2, 2, W^6, W^5, 2, 2, W^3, 0, W^7, W^7, 2, W, W^5, W, W^3, 0, W^2, 1, W^7, 1, W^3, 2, W^7, W^7, W, W^5, 0, 1, W^6, 1, 0, 1, W^5, W^3, 1, 1, W, W, W^7, W^5, 2, W, 1, W^3, W^7, W^3, W^7, 0, W^5, 0, W^5, W^5, W, W, W^6, 2, W^7, W, W, W^3, W^2, W^5, W, 2, W^2, W^2, 1, W^2, W^3, 2, W^6, 0, W^6, W, W, 0, W^3, 2, 1, W^5, W^2, W^5, 0, 2, W^6, 2, 0, W^5, 2, W^7, 1, W^7, W, 0, W^3, W^6, 2, W^2, W, W^3, W^2, 1, 0, 2, W^2, 0, W, W^5, 0, W^5, 1, 2, W^5, W^7, W^7, W^3, W^2, 1, W^5, W^3, W^3, W^7, 1, 1, W^7, W^5, 1, 0, 1, W^5, 0, W^5, 1, W, 1, 0, W^3, 1, W^7, W, W^2, 1, W^6, W^2, W^2, W^5, W^2, W^5, 1, W^7, 2, W^6, 1, 1, W^5, W^3, W^7, 0, 2, 1, W^6, W^5, 0, 1, W^7, W^7, W^5, 0, W^7, 2, 1, W, 0, W, W, W^7, W^3, W^3, W^7, 2, 2, W^7, W^7, W^3, 1, W^3, 1, 1, W^3, W^5, W^3, W^6, W^3, 1, W^5, 0, 0, W ]) ]; print("representing matrices for the simple 4.M22-module D56_1d=D56_1^* over GF(9)");