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