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