m := Matrix(1..70,1..70,fill=0);
m[1,2] := m[1,2] + 1;
m[1,3] := m[1,3] + 1;
m[1,4] := m[1,4] + 1;
m[2,5] := m[2,5] + 1;
m[2,6] := m[2,6] + 1;
m[2,7] := m[2,7] + 1;
m[3,8] := m[3,8] + 1;
m[3,9] := m[3,9] + 1;
m[3,10] := m[3,10] + 1;
m[4,11] := m[4,11] + 1;
m[4,12] := m[4,12] + 1;
m[4,13] := m[4,13] + 1;
m[5,14] := m[5,14] + 1;
m[5,15] := m[5,15] + 1;
m[5,16] := m[5,16] + 1;
m[6,17] := m[6,17] + 1;
m[6,18] := m[6,18] + 1;
m[6,19] := m[6,19] + 1;
m[7,20] := m[7,20] + 1;
m[7,21] := m[7,21] + 1;
m[7,22] := m[7,22] + 1;
m[8,23] := m[8,23] + 1;
m[8,24] := m[8,24] + 1;
m[8,25] := m[8,25] + 1;
m[9,26] := m[9,26] + 1;
m[9,14] := m[9,14] + 1;
m[9,27] := m[9,27] + 1;
m[10,28] := m[10,28] + 1;
m[10,29] := m[10,29] + 1;
m[10,30] := m[10,30] + 1;
m[11,31] := m[11,31] + 1;
m[11,32] := m[11,32] + 1;
m[11,33] := m[11,33] + 1;
m[12,34] := m[12,34] + 1;
m[12,35] := m[12,35] + 1;
m[12,36] := m[12,36] + 1;
m[13,37] := m[13,37] + 1;
m[13,38] := m[13,38] + 1;
m[13,14] := m[13,14] + 1;
m[14,39] := m[14,39] + 1;
m[14,39] := m[14,39] + 1;
m[14,39] := m[14,39] + 1;
m[15,39] := m[15,39] + 1;
m[15,39] := m[15,39] + 1;
m[15,40] := m[15,40] + 1;
m[16,39] := m[16,39] + 1;
m[16,41] := m[16,41] + 1;
m[16,39] := m[16,39] + 1;
m[17,39] := m[17,39] + 1;
m[17,39] := m[17,39] + 1;
m[17,42] := m[17,42] + 1;
m[18,39] := m[18,39] + 1;
m[18,39] := m[18,39] + 1;
m[18,43] := m[18,43] + 1;
m[19,28] := m[19,28] + 1;
m[19,39] := m[19,39] + 1;
m[19,44] := m[19,44] + 1;
m[20,39] := m[20,39] + 1;
m[20,45] := m[20,45] + 1;
m[20,39] := m[20,39] + 1;
m[21,34] := m[21,34] + 1;
m[21,46] := m[21,46] + 1;
m[21,39] := m[21,39] + 1;
m[22,39] := m[22,39] + 1;
m[22,47] := m[22,47] + 1;
m[22,39] := m[22,39] + 1;
m[23,39] := m[23,39] + 1;
m[23,39] := m[23,39] + 1;
m[23,48] := m[23,48] + 1;
m[24,39] := m[24,39] + 1;
m[24,39] := m[24,39] + 1;
m[24,49] := m[24,49] + 1;
m[25,39] := m[25,39] + 1;
m[25,21] := m[25,21] + 1;
m[25,50] := m[25,50] + 1;
m[26,39] := m[26,39] + 1;
m[26,39] := m[26,39] + 1;
m[26,51] := m[26,51] + 1;
m[27,52] := m[27,52] + 1;
m[27,39] := m[27,39] + 1;
m[27,39] := m[27,39] + 1;
m[28,53] := m[28,53] + 1;
m[28,32] := m[28,32] + 1;
m[28,39] := m[28,39] + 1;
m[29,54] := m[29,54] + 1;
m[29,39] := m[29,39] + 1;
m[29,39] := m[29,39] + 1;
m[30,55] := m[30,55] + 1;
m[30,39] := m[30,39] + 1;
m[30,39] := m[30,39] + 1;
m[31,39] := m[31,39] + 1;
m[31,56] := m[31,56] + 1;
m[31,39] := m[31,39] + 1;
m[32,39] := m[32,39] + 1;
m[32,57] := m[32,57] + 1;
m[32,19] := m[32,19] + 1;
m[33,39] := m[33,39] + 1;
m[33,58] := m[33,58] + 1;
m[33,39] := m[33,39] + 1;
m[34,59] := m[34,59] + 1;
m[34,39] := m[34,39] + 1;
m[34,25] := m[34,25] + 1;
m[35,60] := m[35,60] + 1;
m[35,39] := m[35,39] + 1;
m[35,39] := m[35,39] + 1;
m[36,61] := m[36,61] + 1;
m[36,39] := m[36,39] + 1;
m[36,39] := m[36,39] + 1;
m[37,39] := m[37,39] + 1;
m[37,62] := m[37,62] + 1;
m[37,39] := m[37,39] + 1;
m[38,63] := m[38,63] + 1;
m[38,39] := m[38,39] + 1;
m[38,39] := m[38,39] + 1;
m[39,64] := m[39,64] + 1;
m[39,64] := m[39,64] + 1;
m[39,64] := m[39,64] + 1;
m[40,65] := m[40,65] + 1;
m[40,64] := m[40,64] + 1;
m[40,64] := m[40,64] + 1;
m[41,66] := m[41,66] + 1;
m[41,64] := m[41,64] + 1;
m[41,64] := m[41,64] + 1;
m[42,64] := m[42,64] + 1;
m[42,58] := m[42,58] + 1;
m[42,64] := m[42,64] + 1;
m[43,52] := m[43,52] + 1;
m[43,64] := m[43,64] + 1;
m[43,64] := m[43,64] + 1;
m[44,55] := m[44,55] + 1;
m[44,64] := m[44,64] + 1;
m[44,64] := m[44,64] + 1;
m[45,64] := m[45,64] + 1;
m[45,64] := m[45,64] + 1;
m[45,49] := m[45,49] + 1;
m[46,60] := m[46,60] + 1;
m[46,64] := m[46,64] + 1;
m[46,64] := m[46,64] + 1;
m[47,63] := m[47,63] + 1;
m[47,64] := m[47,64] + 1;
m[47,64] := m[47,64] + 1;
m[48,64] := m[48,64] + 1;
m[48,41] := m[48,41] + 1;
m[48,64] := m[48,64] + 1;
m[49,61] := m[49,61] + 1;
m[49,64] := m[49,64] + 1;
m[49,64] := m[49,64] + 1;
m[50,64] := m[50,64] + 1;
m[50,47] := m[50,47] + 1;
m[50,64] := m[50,64] + 1;
m[51,64] := m[51,64] + 1;
m[51,67] := m[51,67] + 1;
m[51,64] := m[51,64] + 1;
m[52,64] := m[52,64] + 1;
m[52,68] := m[52,68] + 1;
m[52,64] := m[52,64] + 1;
m[53,64] := m[53,64] + 1;
m[53,56] := m[53,56] + 1;
m[53,64] := m[53,64] + 1;
m[54,64] := m[54,64] + 1;
m[54,64] := m[54,64] + 1;
m[54,42] := m[54,42] + 1;
m[55,64] := m[55,64] + 1;
m[55,62] := m[55,62] + 1;
m[55,64] := m[55,64] + 1;
m[56,64] := m[56,64] + 1;
m[56,64] := m[56,64] + 1;
m[56,40] := m[56,40] + 1;
m[57,64] := m[57,64] + 1;
m[57,64] := m[57,64] + 1;
m[57,43] := m[57,43] + 1;
m[58,54] := m[58,54] + 1;
m[58,64] := m[58,64] + 1;
m[58,64] := m[58,64] + 1;
m[59,64] := m[59,64] + 1;
m[59,64] := m[59,64] + 1;
m[59,48] := m[59,48] + 1;
m[60,64] := m[60,64] + 1;
m[60,64] := m[60,64] + 1;
m[60,51] := m[60,51] + 1;
m[61,64] := m[61,64] + 1;
m[61,45] := m[61,45] + 1;
m[61,64] := m[61,64] + 1;
m[62,64] := m[62,64] + 1;
m[62,64] := m[62,64] + 1;
m[62,69] := m[62,69] + 1;
m[63,64] := m[63,64] + 1;
m[63,64] := m[63,64] + 1;
m[63,70] := m[63,70] + 1;
m[64,64] := m[64,64] + 1;
m[64,64] := m[64,64] + 1;
m[65,53] := m[65,53] + 1;
m[65,56] := m[65,56] + 1;
m[65,64] := m[65,64] + 1;
m[66,59] := m[66,59] + 1;
m[66,64] := m[66,64] + 1;
m[66,48] := m[66,48] + 1;
m[67,60] := m[67,60] + 1;
m[67,46] := m[67,46] + 1;
m[67,64] := m[67,64] + 1;
m[68,64] := m[68,64] + 1;
m[68,57] := m[68,57] + 1;
m[68,43] := m[68,43] + 1;
m[69,55] := m[69,55] + 1;
m[69,64] := m[69,64] + 1;
m[69,44] := m[69,44] + 1;
m[70,64] := m[70,64] + 1;
m[70,47] := m[70,47] + 1;
m[70,50] := m[70,50] + 1;
m[64,64] := m[64,64] + 1;
u := Vector[row](70,fill=0);
u[1] := 1;
v := Vector[column](70,fill=0);
v[1] := 1;
v[2] := 1;
v[3] := 1;
v[4] := 1;
v[5] := 1;
v[6] := 1;
v[7] := 1;
v[8] := 1;
v[9] := 1;
v[10] := 1;
v[11] := 1;
v[12] := 1;
v[13] := 1;
v[14] := 1;
v[15] := 1;
v[16] := 1;
v[17] := 1;
v[18] := 1;
v[19] := 1;
v[20] := 1;
v[21] := 1;
v[22] := 1;
v[23] := 1;
v[24] := 1;
v[25] := 1;
v[26] := 1;
v[27] := 1;
v[28] := 1;
v[29] := 1;
v[30] := 1;
v[31] := 1;
v[32] := 1;
v[33] := 1;
v[34] := 1;
v[35] := 1;
v[36] := 1;
v[37] := 1;
v[38] := 1;
v[39] := 1;
v[40] := 1;
v[41] := 1;
v[42] := 1;
v[43] := 1;
v[44] := 1;
v[45] := 1;
v[46] := 1;
v[47] := 1;
v[48] := 1;
v[49] := 1;
v[50] := 1;
v[51] := 1;
v[52] := 1;
v[53] := 1;
v[54] := 1;
v[55] := 1;
v[56] := 1;
v[57] := 1;
v[58] := 1;
v[59] := 1;
v[60] := 1;
v[61] := 1;
v[62] := 1;
v[63] := 1;
v[65] := 1;
v[66] := 1;
v[67] := 1;
v[68] := 1;
v[69] := 1;
v[70] := 1;
