matrix := [ [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7, 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7, 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),Z(8)^7], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), Z(8)^7,0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [Z(8)^7,0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)] ];