matrix := [ [0,0,7,0,0], [7,12,1,0,0], [1,5,1,0,0], [0,0,0,0,7], [12,1,12,6,6] ]*Z(13);