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