matrix := [
[0,0,7,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,7,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,7,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,7,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,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[7,0,0,6,7,0,0,7,6,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,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[7,6,6,0,6,6,0,7,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[0,6,0,0,6,6,0,0,6,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,0,0,0,7,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,7,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,7,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,7,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,7,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,7,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,7,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,7,0],
[5,5,7,2,10,12,10,12,1,6,12,6,10,7,1,9,8,3,2,8,5,10,0,7,1,6],
[12,12,4,12,2,0,5,0,7,0,8,3,10,8,0,8,0,9,10,11,5,5,1,4,11,4],
[7,12,1,2,0,11,4,5,2,6,10,7,9,7,8,4,10,10,3,8,8,6,0,9,3,11],
[9,0,9,5,1,2,11,9,3,0,6,10,2,6,9,9,1,6,1,3,10,1,9,2,8,1],
[4,1,0,10,12,5,7,12,8,0,2,0,5,10,12,11,9,3,2,3,4,7,3,6,7,1],
[0,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],
[7,12,7,3,8,0,8,8,1,5,0,10,5,4,8,3,1,8,3,2,1,5,12,7,2,4],
[1,7,5,7,11,1,12,8,9,1,1,11,10,1,3,12,12,5,2,3,4,0,12,2,12,1],
[0,4,10,3,10,10,4,3,10,8,8,8,12,7,0,7,2,1,5,11,12,12,9,1,12,9]
]*Z(13);