matrix := [ [0,7,0,0], [6,0,0,0], [3,9,1,10], [6,10,8,12] ]*Z(13);