0.00/0.00	c Mistral 16062018
6.18/6.22	s SATISFIABLE
6.18/6.22	v <instantiation type="solution">
6.18/6.22	v   <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] s[0][0][0] s[0][0][1] s[0][0][2] s[0][0][3] s[0][0][4] s[0][0][5] s[0][0][6] s[0][0][7] s[0][0][8] s[0][0][9] s[0][0][10] s[0][0][11] s[0][0][12] s[0][0][13] s[0][0][14] s[0][0][15] s[0][0][16] s[0][0][17] s[0][0][18] s[0][0][19] s[0][0][20] s[0][0][21] s[0][0][22] s[0][0][23] s[0][0][24] s[0][0][25] s[0][0][26] s[0][0][27] s[0][0][28] s[0][0][29] s[0][0][30] s[0][0][31] s[0][0][32] s[0][0][33] s[0][0][34] s[0][0][35] s[0][0][36] s[0][0][37] s[0][0][38] s[0][0][39] s[0][0][40] s[0][0][41] s[0][0][42] s[0][0][43] s[0][0][44] s[0][0][45] s[0][0][46] s[0][0][47] s[0][0][48] s[0][0][49] s[0][0][50] s[0][0][51] s[0][0][52] s[0][0][53] s[0][0][54] s[0][0][55] s[0][0][56] s[0][0][57] s[0][0][58] s[0][0][59] s[0][0][60] s[0][0][61] s[0][0][62] s[0][0][63] s[0][0][64] s[0][0][65] s[0][0][66] s[0][0][67] s[0][0][68] s[0][0][69] s[0][0][70] s[0][0][71] s[0][0][72] s[0][0][73] s[0][0][74] s[0][0][75] s[0][0][76] s[0][0][77] s[0][0][78] s[0][0][79] s[0][0][80] s[0][0][81] s[0][0][82] s[0][0][83] s[0][0][84] s[0][0][85] s[0][0][86] s[0][0][87] s[0][0][88] s[0][0][89] s[0][0][90] s[0][0][91] s[0][0][92] s[0][0][93] s[0][0][94] s[0][0][95] s[0][0][96] s[0][0][97] s[0][0][98] s[0][0][99] s[0][0][100] s[0][0][101] s[0][0][102] s[0][0][103] s[0][0][104] s[0][0][105] s[0][0][106] s[0][0][107] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][1][18] s[0][1][19] s[0][1][20] s[0][1][21] s[0][1][22] s[0][1][23] s[0][1][24] s[0][1][25] s[0][1][26] s[0][1][27] s[0][1][28] s[0][1][29] s[0][1][30] s[0][1][31] s[0][1][32] s[0][1][33] s[0][1][34] s[0][1][35] s[0][1][36] s[0][1][37] s[0][1][38] s[0][1][39] s[0][1][40] s[0][1][41] s[0][1][42] s[0][1][43] s[0][1][44] s[0][1][45] s[0][1][46] s[0][1][47] s[0][1][48] s[0][1][49] s[0][1][50] s[0][1][51] s[0][1][52] s[0][1][53] s[0][1][54] s[0][1][55] s[0][1][56] s[0][1][57] s[0][1][58] s[0][1][59] s[0][1][60] s[0][1][61] s[0][1][62] s[0][1][63] s[0][1][64] s[0][1][65] s[0][1][66] s[0][1][67] s[0][1][68] s[0][1][69] s[0][1][70] s[0][1][71] s[0][1][72] s[0][1][73] s[0][1][74] s[0][1][75] s[0][1][76] s[0][1][77] s[0][1][78] s[0][1][79] s[0][1][80] s[0][1][81] s[0][1][82] s[0][1][83] s[0][1][84] s[0][1][85] s[0][1][86] s[0][1][87] s[0][1][88] s[0][1][89] s[0][1][90] s[0][1][91] s[0][1][92] s[0][1][93] s[0][1][94] s[0][1][95] s[0][1][96] s[0][1][97] s[0][1][98] s[0][1][99] s[0][1][100] s[0][1][101] s[0][1][102] s[0][1][103] s[0][1][104] s[0][1][105] s[0][1][106] s[0][1][107] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][2][18] s[0][2][19] s[0][2][20] s[0][2][21] s[0][2][22] s[0][2][23] s[0][2][24] s[0][2][25] s[0][2][26] s[0][2][27] s[0][2][28] s[0][2][29] s[0][2][30] s[0][2][31] s[0][2][32] s[0][2][33] s[0][2][34] s[0][2][35] s[0][2][36] s[0][2][37] s[0][2][38] s[0][2][39] s[0][2][40] s[0][2][41] s[0][2][42] s[0][2][43] s[0][2][44] s[0][2][45] s[0][2][46] s[0][2][47] s[0][2][48] s[0][2][49] s[0][2][50] s[0][2][51] s[0][2][52] s[0][2][53] s[0][2][54] s[0][2][55] s[0][2][56] s[0][2][57] s[0][2][58] s[0][2][59] s[0][2][60] s[0][2][61] s[0][2][62] s[0][2][63] s[0][2][64] s[0][2][65] s[0][2][66] s[0][2][67] s[0][2][68] s[0][2][69] s[0][2][70] s[0][2][71] s[0][2][72] s[0][2][73] s[0][2][74] s[0][2][75] s[0][2][76] s[0][2][77] s[0][2][78] s[0][2][79] s[0][2][80] s[0][2][81] s[0][2][82] s[0][2][83] s[0][2][84] s[0][2][85] s[0][2][86] s[0][2][87] s[0][2][88] s[0][2][89] s[0][2][90] s[0][2][91] s[0][2][92] s[0][2][93] s[0][2][94] s[0][2][95] s[0][2][96] s[0][2][97] s[0][2][98] s[0][2][99] s[0][2][100] s[0][2][101] s[0][2][102] s[0][2][103] s[0][2][104] s[0][2][105] s[0][2][106] s[0][2][107] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][3][18] s[0][3][19] s[0][3][20] s[0][3][21] s[0][3][22] s[0][3][23] s[0][3][24] s[0][3][25] s[0][3][26] s[0][3][27] s[0][3][28] s[0][3][29] s[0][3][30] s[0][3][31] s[0][3][32] s[0][3][33] s[0][3][34] s[0][3][35] s[0][3][36] s[0][3][37] s[0][3][38] s[0][3][39] s[0][3][40] s[0][3][41] s[0][3][42] s[0][3][43] s[0][3][44] s[0][3][45] s[0][3][46] s[0][3][47] s[0][3][48] s[0][3][49] s[0][3][50] s[0][3][51] s[0][3][52] s[0][3][53] s[0][3][54] s[0][3][55] s[0][3][56] s[0][3][57] s[0][3][58] s[0][3][59] s[0][3][60] s[0][3][61] s[0][3][62] s[0][3][63] s[0][3][64] s[0][3][65] s[0][3][66] s[0][3][67] s[0][3][68] s[0][3][69] s[0][3][70] s[0][3][71] s[0][3][72] s[0][3][73] s[0][3][74] s[0][3][75] s[0][3][76] s[0][3][77] s[0][3][78] s[0][3][79] s[0][3][80] s[0][3][81] s[0][3][82] s[0][3][83] s[0][3][84] s[0][3][85] s[0][3][86] s[0][3][87] s[0][3][88] s[0][3][89] s[0][3][90] s[0][3][91] s[0][3][92] s[0][3][93] s[0][3][94] s[0][3][95] s[0][3][96] s[0][3][97] s[0][3][98] s[0][3][99] s[0][3][100] s[0][3][101] s[0][3][102] s[0][3][103] s[0][3][104] s[0][3][105] s[0][3][106] s[0][3][107] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][4][18] s[0][4][19] s[0][4][20] s[0][4][21] s[0][4][22] s[0][4][23] s[0][4][24] s[0][4][25] s[0][4][26] s[0][4][27] s[0][4][28] s[0][4][29] s[0][4][30] s[0][4][31] s[0][4][32] s[0][4][33] s[0][4][34] s[0][4][35] s[0][4][36] s[0][4][37] s[0][4][38] s[0][4][39] s[0][4][40] s[0][4][41] s[0][4][42] s[0][4][43] s[0][4][44] s[0][4][45] s[0][4][46] s[0][4][47] s[0][4][48] s[0][4][49] s[0][4][50] s[0][4][51] s[0][4][52] s[0][4][53] s[0][4][54] s[0][4][55] s[0][4][56] s[0][4][57] s[0][4][58] s[0][4][59] s[0][4][60] s[0][4][61] s[0][4][62] s[0][4][63] s[0][4][64] s[0][4][65] s[0][4][66] s[0][4][67] s[0][4][68] s[0][4][69] s[0][4][70] s[0][4][71] s[0][4][72] s[0][4][73] s[0][4][74] s[0][4][75] s[0][4][76] s[0][4][77] s[0][4][78] s[0][4][79] s[0][4][80] s[0][4][81] s[0][4][82] s[0][4][83] s[0][4][84] s[0][4][85] s[0][4][86] s[0][4][87] s[0][4][88] s[0][4][89] s[0][4][90] s[0][4][91] s[0][4][92] s[0][4][93] s[0][4][94] s[0][4][95] s[0][4][96] s[0][4][97] s[0][4][98] s[0][4][99] s[0][4][100] s[0][4][101] s[0][4][102] s[0][4][103] s[0][4][104] s[0][4][105] s[0][4][106] s[0][4][107] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][5][18] s[0][5][19] s[0][5][20] s[0][5][21] s[0][5][22] s[0][5][23] s[0][5][24] s[0][5][25] s[0][5][26] s[0][5][27] s[0][5][28] s[0][5][29] s[0][5][30] s[0][5][31] s[0][5][32] s[0][5][33] s[0][5][34] s[0][5][35] s[0][5][36] s[0][5][37] s[0][5][38] s[0][5][39] s[0][5][40] s[0][5][41] s[0][5][42] s[0][5][43] s[0][5][44] s[0][5][45] s[0][5][46] s[0][5][47] s[0][5][48] s[0][5][49] s[0][5][50] s[0][5][51] s[0][5][52] s[0][5][53] s[0][5][54] s[0][5][55] s[0][5][56] s[0][5][57] s[0][5][58] s[0][5][59] s[0][5][60] s[0][5][61] s[0][5][62] s[0][5][63] s[0][5][64] s[0][5][65] s[0][5][66] s[0][5][67] s[0][5][68] s[0][5][69] s[0][5][70] s[0][5][71] s[0][5][72] s[0][5][73] s[0][5][74] s[0][5][75] s[0][5][76] s[0][5][77] s[0][5][78] s[0][5][79] s[0][5][80] s[0][5][81] s[0][5][82] s[0][5][83] s[0][5][84] s[0][5][85] s[0][5][86] s[0][5][87] s[0][5][88] s[0][5][89] s[0][5][90] s[0][5][91] s[0][5][92] s[0][5][93] s[0][5][94] s[0][5][95] s[0][5][96] s[0][5][97] s[0][5][98] s[0][5][99] s[0][5][100] s[0][5][101] s[0][5][102] s[0][5][103] s[0][5][104] s[0][5][105] s[0][5][106] s[0][5][107] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][6][18] s[0][6][19] s[0][6][20] s[0][6][21] s[0][6][22] s[0][6][23] s[0][6][24] s[0][6][25] s[0][6][26] s[0][6][27] s[0][6][28] s[0][6][29] s[0][6][30] s[0][6][31] s[0][6][32] s[0][6][33] s[0][6][34] s[0][6][35] s[0][6][36] s[0][6][37] s[0][6][38] s[0][6][39] s[0][6][40] s[0][6][41] s[0][6][42] s[0][6][43] s[0][6][44] s[0][6][45] s[0][6][46] s[0][6][47] s[0][6][48] s[0][6][49] s[0][6][50] s[0][6][51] s[0][6][52] s[0][6][53] s[0][6][54] s[0][6][55] s[0][6][56] s[0][6][57] s[0][6][58] s[0][6][59] s[0][6][60] s[0][6][61] s[0][6][62] s[0][6][63] s[0][6][64] s[0][6][65] s[0][6][66] s[0][6][67] s[0][6][68] s[0][6][69] s[0][6][70] s[0][6][71] s[0][6][72] s[0][6][73] s[0][6][74] s[0][6][75] s[0][6][76] s[0][6][77] s[0][6][78] s[0][6][79] s[0][6][80] s[0][6][81] s[0][6][82] s[0][6][83] s[0][6][84] s[0][6][85] s[0][6][86] s[0][6][87] s[0][6][88] s[0][6][89] s[0][6][90] s[0][6][91] s[0][6][92] s[0][6][93] s[0][6][94] s[0][6][95] s[0][6][96] s[0][6][97] s[0][6][98] s[0][6][99] s[0][6][100] s[0][6][101] s[0][6][102] s[0][6][103] s[0][6][104] s[0][6][105] s[0][6][106] s[0][6][107] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][7][18] s[0][7][19] s[0][7][20] s[0][7][21] s[0][7][22] s[0][7][23] s[0][7][24] s[0][7][25] s[0][7][26] s[0][7][27] s[0][7][28] s[0][7][29] s[0][7][30] s[0][7][31] s[0][7][32] s[0][7][33] s[0][7][34] s[0][7][35] s[0][7][36] s[0][7][37] s[0][7][38] s[0][7][39] s[0][7][40] s[0][7][41] s[0][7][42] s[0][7][43] s[0][7][44] s[0][7][45] s[0][7][46] s[0][7][47] s[0][7][48] s[0][7][49] s[0][7][50] s[0][7][51] s[0][7][52] s[0][7][53] s[0][7][54] s[0][7][55] s[0][7][56] s[0][7][57] s[0][7][58] s[0][7][59] s[0][7][60] s[0][7][61] s[0][7][62] s[0][7][63] s[0][7][64] s[0][7][65] s[0][7][66] s[0][7][67] s[0][7][68] s[0][7][69] s[0][7][70] s[0][7][71] s[0][7][72] s[0][7][73] s[0][7][74] s[0][7][75] s[0][7][76] s[0][7][77] s[0][7][78] s[0][7][79] s[0][7][80] s[0][7][81] s[0][7][82] s[0][7][83] s[0][7][84] s[0][7][85] s[0][7][86] s[0][7][87] s[0][7][88] s[0][7][89] s[0][7][90] s[0][7][91] s[0][7][92] s[0][7][93] s[0][7][94] s[0][7][95] s[0][7][96] s[0][7][97] s[0][7][98] s[0][7][99] s[0][7][100] s[0][7][101] s[0][7][102] s[0][7][103] s[0][7][104] s[0][7][105] s[0][7][106] s[0][7][107] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][8][18] s[0][8][19] s[0][8][20] s[0][8][21] s[0][8][22] s[0][8][23] s[0][8][24] s[0][8][25] s[0][8][26] s[0][8][27] s[0][8][28] s[0][8][29] s[0][8][30] s[0][8][31] s[0][8][32] s[0][8][33] s[0][8][34] s[0][8][35] s[0][8][36] s[0][8][37] s[0][8][38] s[0][8][39] s[0][8][40] s[0][8][41] s[0][8][42] s[0][8][43] s[0][8][44] s[0][8][45] s[0][8][46] s[0][8][47] s[0][8][48] s[0][8][49] s[0][8][50] s[0][8][51] s[0][8][52] s[0][8][53] s[0][8][54] s[0][8][55] s[0][8][56] s[0][8][57] s[0][8][58] s[0][8][59] s[0][8][60] s[0][8][61] s[0][8][62] s[0][8][63] s[0][8][64] s[0][8][65] s[0][8][66] s[0][8][67] s[0][8][68] s[0][8][69] s[0][8][70] s[0][8][71] s[0][8][72] s[0][8][73] s[0][8][74] s[0][8][75] s[0][8][76] s[0][8][77] s[0][8][78] s[0][8][79] s[0][8][80] s[0][8][81] s[0][8][82] s[0][8][83] s[0][8][84] s[0][8][85] s[0][8][86] s[0][8][87] s[0][8][88] s[0][8][89] s[0][8][90] s[0][8][91] s[0][8][92] s[0][8][93] s[0][8][94] s[0][8][95] s[0][8][96] s[0][8][97] s[0][8][98] s[0][8][99] s[0][8][100] s[0][8][101] s[0][8][102] s[0][8][103] s[0][8][104] s[0][8][105] s[0][8][106] s[0][8][107] s[1][0][0] s[1][0][1] s[1][0][2] s[1][0][3] s[1][0][4] s[1][0][5] s[1][0][6] s[1][0][7] s[1][0][8] s[1][0][9] s[1][0][10] s[1][0][11] s[1][0][12] s[1][0][13] s[1][0][14] s[1][0][15] s[1][0][16] s[1][0][17] s[1][0][18] s[1][0][19] s[1][0][20] s[1][0][21] s[1][0][22] s[1][0][23] s[1][0][24] s[1][0][25] s[1][0][26] s[1][0][27] s[1][0][28] s[1][0][29] s[1][0][30] s[1][0][31] s[1][0][32] s[1][0][33] s[1][0][34] s[1][0][35] s[1][0][36] s[1][0][37] s[1][0][38] s[1][0][39] s[1][0][40] s[1][0][41] s[1][0][42] s[1][0][43] s[1][0][44] s[1][0][45] s[1][0][46] s[1][0][47] s[1][0][48] s[1][0][49] s[1][0][50] s[1][0][51] s[1][0][52] s[1][0][53] s[1][0][54] s[1][0][55] s[1][0][56] s[1][0][57] s[1][0][58] s[1][0][59] s[1][0][60] s[1][0][61] s[1][0][62] s[1][0][63] s[1][0][64] s[1][0][65] s[1][0][66] s[1][0][67] s[1][0][68] s[1][0][69] s[1][0][70] s[1][0][71] s[1][0][72] s[1][0][73] s[1][0][74] s[1][0][75] s[1][0][76] s[1][0][77] s[1][0][78] s[1][0][79] s[1][0][80] s[1][0][81] s[1][0][82] s[1][0][83] s[1][0][84] s[1][0][85] s[1][0][86] s[1][0][87] s[1][0][88] s[1][0][89] s[1][0][90] s[1][0][91] s[1][0][92] s[1][0][93] s[1][0][94] s[1][0][95] s[1][0][96] s[1][0][97] s[1][0][98] s[1][0][99] s[1][0][100] s[1][0][101] s[1][0][102] s[1][0][103] s[1][0][104] s[1][0][105] s[1][0][106] s[1][0][107] s[1][1][0] s[1][1][1] s[1][1][2] s[1][1][3] s[1][1][4] s[1][1][5] s[1][1][6] s[1][1][7] s[1][1][8] s[1][1][9] s[1][1][10] s[1][1][11] s[1][1][12] s[1][1][13] s[1][1][14] s[1][1][15] s[1][1][16] s[1][1][17] s[1][1][18] s[1][1][19] s[1][1][20] s[1][1][21] s[1][1][22] s[1][1][23] s[1][1][24] s[1][1][25] s[1][1][26] s[1][1][27] s[1][1][28] s[1][1][29] s[1][1][30] s[1][1][31] s[1][1][32] s[1][1][33] s[1][1][34] s[1][1][35] s[1][1][36] s[1][1][37] s[1][1][38] s[1][1][39] s[1][1][40] s[1][1][41] s[1][1][42] s[1][1][43] s[1][1][44] s[1][1][45] s[1][1][46] s[1][1][47] s[1][1][48] s[1][1][49] s[1][1][50] s[1][1][51] s[1][1][52] s[1][1][53] s[1][1][54] s[1][1][55] s[1][1][56] s[1][1][57] s[1][1][58] s[1][1][59] s[1][1][60] s[1][1][61] s[1][1][62] s[1][1][63] s[1][1][64] s[1][1][65] s[1][1][66] s[1][1][67] s[1][1][68] s[1][1][69] s[1][1][70] s[1][1][71] s[1][1][72] s[1][1][73] s[1][1][74] s[1][1][75] s[1][1][76] s[1][1][77] s[1][1][78] s[1][1][79] s[1][1][80] s[1][1][81] s[1][1][82] s[1][1][83] s[1][1][84] s[1][1][85] s[1][1][86] s[1][1][87] s[1][1][88] s[1][1][89] s[1][1][90] s[1][1][91] s[1][1][92] s[1][1][93] s[1][1][94] s[1][1][95] s[1][1][96] s[1][1][97] s[1][1][98] s[1][1][99] s[1][1][100] s[1][1][101] s[1][1][102] s[1][1][103] s[1][1][104] s[1][1][105] s[1][1][106] s[1][1][107] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][2][18] s[1][2][19] s[1][2][20] s[1][2][21] s[1][2][22] s[1][2][23] s[1][2][24] s[1][2][25] s[1][2][26] s[1][2][27] s[1][2][28] s[1][2][29] s[1][2][30] s[1][2][31] s[1][2][32] s[1][2][33] s[1][2][34] s[1][2][35] s[1][2][36] s[1][2][37] s[1][2][38] s[1][2][39] s[1][2][40] s[1][2][41] s[1][2][42] s[1][2][43] s[1][2][44] s[1][2][45] s[1][2][46] s[1][2][47] s[1][2][48] s[1][2][49] s[1][2][50] s[1][2][51] s[1][2][52] s[1][2][53] s[1][2][54] s[1][2][55] s[1][2][56] s[1][2][57] s[1][2][58] s[1][2][59] s[1][2][60] s[1][2][61] s[1][2][62] s[1][2][63] s[1][2][64] s[1][2][65] s[1][2][66] s[1][2][67] s[1][2][68] s[1][2][69] s[1][2][70] s[1][2][71] s[1][2][72] s[1][2][73] s[1][2][74] s[1][2][75] s[1][2][76] s[1][2][77] s[1][2][78] s[1][2][79] s[1][2][80] s[1][2][81] s[1][2][82] s[1][2][83] s[1][2][84] s[1][2][85] s[1][2][86] s[1][2][87] s[1][2][88] s[1][2][89] s[1][2][90] s[1][2][91] s[1][2][92] s[1][2][93] s[1][2][94] s[1][2][95] s[1][2][96] s[1][2][97] s[1][2][98] s[1][2][99] s[1][2][100] s[1][2][101] s[1][2][102] s[1][2][103] s[1][2][104] s[1][2][105] s[1][2][106] s[1][2][107] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][3][18] s[1][3][19] s[1][3][20] s[1][3][21] s[1][3][22] s[1][3][23] s[1][3][24] s[1][3][25] s[1][3][26] s[1][3][27] s[1][3][28] s[1][3][29] s[1][3][30] s[1][3][31] s[1][3][32] s[1][3][33] s[1][3][34] s[1][3][35] s[1][3][36] s[1][3][37] s[1][3][38] s[1][3][39] s[1][3][40] s[1][3][41] s[1][3][42] s[1][3][43] s[1][3][44] s[1][3][45] s[1][3][46] s[1][3][47] s[1][3][48] s[1][3][49] s[1][3][50] s[1][3][51] s[1][3][52] s[1][3][53] s[1][3][54] s[1][3][55] s[1][3][56] s[1][3][57] s[1][3][58] s[1][3][59] s[1][3][60] s[1][3][61] s[1][3][62] s[1][3][63] s[1][3][64] s[1][3][65] s[1][3][66] s[1][3][67] s[1][3][68] s[1][3][69] s[1][3][70] s[1][3][71] s[1][3][72] s[1][3][73] s[1][3][74] s[1][3][75] s[1][3][76] s[1][3][77] s[1][3][78] s[1][3][79] s[1][3][80] s[1][3][81] s[1][3][82] s[1][3][83] s[1][3][84] s[1][3][85] s[1][3][86] s[1][3][87] s[1][3][88] s[1][3][89] s[1][3][90] s[1][3][91] s[1][3][92] s[1][3][93] s[1][3][94] s[1][3][95] s[1][3][96] s[1][3][97] s[1][3][98] s[1][3][99] s[1][3][100] s[1][3][101] s[1][3][102] s[1][3][103] s[1][3][104] s[1][3][105] s[1][3][106] s[1][3][107] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][4][18] s[1][4][19] s[1][4][20] s[1][4][21] s[1][4][22] s[1][4][23] s[1][4][24] s[1][4][25] s[1][4][26] s[1][4][27] s[1][4][28] s[1][4][29] s[1][4][30] s[1][4][31] s[1][4][32] s[1][4][33] s[1][4][34] s[1][4][35] s[1][4][36] s[1][4][37] s[1][4][38] s[1][4][39] s[1][4][40] s[1][4][41] s[1][4][42] s[1][4][43] s[1][4][44] s[1][4][45] s[1][4][46] s[1][4][47] s[1][4][48] s[1][4][49] s[1][4][50] s[1][4][51] s[1][4][52] s[1][4][53] s[1][4][54] s[1][4][55] s[1][4][56] s[1][4][57] s[1][4][58] s[1][4][59] s[1][4][60] s[1][4][61] s[1][4][62] s[1][4][63] s[1][4][64] s[1][4][65] s[1][4][66] s[1][4][67] s[1][4][68] s[1][4][69] s[1][4][70] s[1][4][71] s[1][4][72] s[1][4][73] s[1][4][74] s[1][4][75] s[1][4][76] s[1][4][77] s[1][4][78] s[1][4][79] s[1][4][80] s[1][4][81] s[1][4][82] s[1][4][83] s[1][4][84] s[1][4][85] s[1][4][86] s[1][4][87] s[1][4][88] s[1][4][89] s[1][4][90] s[1][4][91] s[1][4][92] s[1][4][93] s[1][4][94] s[1][4][95] s[1][4][96] s[1][4][97] s[1][4][98] s[1][4][99] s[1][4][100] s[1][4][101] s[1][4][102] s[1][4][103] s[1][4][104] s[1][4][105] s[1][4][106] s[1][4][107] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][5][18] s[1][5][19] s[1][5][20] s[1][5][21] s[1][5][22] s[1][5][23] s[1][5][24] s[1][5][25] s[1][5][26] s[1][5][27] s[1][5][28] s[1][5][29] s[1][5][30] s[1][5][31] s[1][5][32] s[1][5][33] s[1][5][34] s[1][5][35] s[1][5][36] s[1][5][37] s[1][5][38] s[1][5][39] s[1][5][40] s[1][5][41] s[1][5][42] s[1][5][43] s[1][5][44] s[1][5][45] s[1][5][46] s[1][5][47] s[1][5][48] s[1][5][49] s[1][5][50] s[1][5][51] s[1][5][52] s[1][5][53] s[1][5][54] s[1][5][55] s[1][5][56] s[1][5][57] s[1][5][58] s[1][5][59] s[1][5][60] s[1][5][61] s[1][5][62] s[1][5][63] s[1][5][64] s[1][5][65] s[1][5][66] s[1][5][67] s[1][5][68] s[1][5][69] s[1][5][70] s[1][5][71] s[1][5][72] s[1][5][73] s[1][5][74] s[1][5][75] s[1][5][76] s[1][5][77] s[1][5][78] s[1][5][79] s[1][5][80] s[1][5][81] s[1][5][82] s[1][5][83] s[1][5][84] s[1][5][85] s[1][5][86] s[1][5][87] s[1][5][88] s[1][5][89] s[1][5][90] s[1][5][91] s[1][5][92] s[1][5][93] s[1][5][94] s[1][5][95] s[1][5][96] s[1][5][97] s[1][5][98] s[1][5][99] s[1][5][100] s[1][5][101] s[1][5][102] s[1][5][103] s[1][5][104] s[1][5][105] s[1][5][106] s[1][5][107] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][6][18] s[1][6][19] s[1][6][20] s[1][6][21] s[1][6][22] s[1][6][23] s[1][6][24] s[1][6][25] s[1][6][26] s[1][6][27] s[1][6][28] s[1][6][29] s[1][6][30] s[1][6][31] s[1][6][32] s[1][6][33] s[1][6][34] s[1][6][35] s[1][6][36] s[1][6][37] s[1][6][38] s[1][6][39] s[1][6][40] s[1][6][41] s[1][6][42] s[1][6][43] s[1][6][44] s[1][6][45] s[1][6][46] s[1][6][47] s[1][6][48] s[1][6][49] s[1][6][50] s[1][6][51] s[1][6][52] s[1][6][53] s[1][6][54] s[1][6][55] s[1][6][56] s[1][6][57] s[1][6][58] s[1][6][59] s[1][6][60] s[1][6][61] s[1][6][62] s[1][6][63] s[1][6][64] s[1][6][65] s[1][6][66] s[1][6][67] s[1][6][68] s[1][6][69] s[1][6][70] s[1][6][71] s[1][6][72] s[1][6][73] s[1][6][74] s[1][6][75] s[1][6][76] s[1][6][77] s[1][6][78] s[1][6][79] s[1][6][80] s[1][6][81] s[1][6][82] s[1][6][83] s[1][6][84] s[1][6][85] s[1][6][86] s[1][6][87] s[1][6][88] s[1][6][89] s[1][6][90] s[1][6][91] s[1][6][92] s[1][6][93] s[1][6][94] s[1][6][95] s[1][6][96] s[1][6][97] s[1][6][98] s[1][6][99] s[1][6][100] s[1][6][101] s[1][6][102] s[1][6][103] s[1][6][104] s[1][6][105] s[1][6][106] s[1][6][107] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][7][18] s[1][7][19] s[1][7][20] s[1][7][21] s[1][7][22] s[1][7][23] s[1][7][24] s[1][7][25] s[1][7][26] s[1][7][27] s[1][7][28] s[1][7][29] s[1][7][30] s[1][7][31] s[1][7][32] s[1][7][33] s[1][7][34] s[1][7][35] s[1][7][36] s[1][7][37] s[1][7][38] s[1][7][39] s[1][7][40] s[1][7][41] s[1][7][42] s[1][7][43] s[1][7][44] s[1][7][45] s[1][7][46] s[1][7][47] s[1][7][48] s[1][7][49] s[1][7][50] s[1][7][51] s[1][7][52] s[1][7][53] s[1][7][54] s[1][7][55] s[1][7][56] s[1][7][57] s[1][7][58] s[1][7][59] s[1][7][60] s[1][7][61] s[1][7][62] s[1][7][63] s[1][7][64] s[1][7][65] s[1][7][66] s[1][7][67] s[1][7][68] s[1][7][69] s[1][7][70] s[1][7][71] s[1][7][72] s[1][7][73] s[1][7][74] s[1][7][75] s[1][7][76] s[1][7][77] s[1][7][78] s[1][7][79] s[1][7][80] s[1][7][81] s[1][7][82] s[1][7][83] s[1][7][84] s[1][7][85] s[1][7][86] s[1][7][87] s[1][7][88] s[1][7][89] s[1][7][90] s[1][7][91] s[1][7][92] s[1][7][93] s[1][7][94] s[1][7][95] s[1][7][96] s[1][7][97] s[1][7][98] s[1][7][99] s[1][7][100] s[1][7][101] s[1][7][102] s[1][7][103] s[1][7][104] s[1][7][105] s[1][7][106] s[1][7][107] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][8][18] s[1][8][19] s[1][8][20] s[1][8][21] s[1][8][22] s[1][8][23] s[1][8][24] s[1][8][25] s[1][8][26] s[1][8][27] s[1][8][28] s[1][8][29] s[1][8][30] s[1][8][31] s[1][8][32] s[1][8][33] s[1][8][34] s[1][8][35] s[1][8][36] s[1][8][37] s[1][8][38] s[1][8][39] s[1][8][40] s[1][8][41] s[1][8][42] s[1][8][43] s[1][8][44] s[1][8][45] s[1][8][46] s[1][8][47] s[1][8][48] s[1][8][49] s[1][8][50] s[1][8][51] s[1][8][52] s[1][8][53] s[1][8][54] s[1][8][55] s[1][8][56] s[1][8][57] s[1][8][58] s[1][8][59] s[1][8][60] s[1][8][61] s[1][8][62] s[1][8][63] s[1][8][64] s[1][8][65] s[1][8][66] s[1][8][67] s[1][8][68] s[1][8][69] s[1][8][70] s[1][8][71] s[1][8][72] s[1][8][73] s[1][8][74] s[1][8][75] s[1][8][76] s[1][8][77] s[1][8][78] s[1][8][79] s[1][8][80] s[1][8][81] s[1][8][82] s[1][8][83] s[1][8][84] s[1][8][85] s[1][8][86] s[1][8][87] s[1][8][88] s[1][8][89] s[1][8][90] s[1][8][91] s[1][8][92] s[1][8][93] s[1][8][94] s[1][8][95] s[1][8][96] s[1][8][97] s[1][8][98] s[1][8][99] s[1][8][100] s[1][8][101] s[1][8][102] s[1][8][103] s[1][8][104] s[1][8][105] s[1][8][106] s[1][8][107] s[2][0][0] s[2][0][1] s[2][0][2] s[2][0][3] s[2][0][4] s[2][0][5] s[2][0][6] s[2][0][7] s[2][0][8] s[2][0][9] s[2][0][10] s[2][0][11] s[2][0][12] s[2][0][13] s[2][0][14] s[2][0][15] s[2][0][16] s[2][0][17] s[2][0][18] s[2][0][19] s[2][0][20] s[2][0][21] s[2][0][22] s[2][0][23] s[2][0][24] s[2][0][25] s[2][0][26] s[2][0][27] s[2][0][28] s[2][0][29] s[2][0][30] s[2][0][31] s[2][0][32] s[2][0][33] s[2][0][34] s[2][0][35] s[2][0][36] s[2][0][37] s[2][0][38] s[2][0][39] s[2][0][40] s[2][0][41] s[2][0][42] s[2][0][43] s[2][0][44] s[2][0][45] s[2][0][46] s[2][0][47] s[2][0][48] s[2][0][49] s[2][0][50] s[2][0][51] s[2][0][52] s[2][0][53] s[2][0][54] s[2][0][55] s[2][0][56] s[2][0][57] s[2][0][58] s[2][0][59] s[2][0][60] s[2][0][61] s[2][0][62] s[2][0][63] s[2][0][64] s[2][0][65] s[2][0][66] s[2][0][67] s[2][0][68] s[2][0][69] s[2][0][70] s[2][0][71] s[2][0][72] s[2][0][73] s[2][0][74] s[2][0][75] s[2][0][76] s[2][0][77] s[2][0][78] s[2][0][79] s[2][0][80] s[2][0][81] s[2][0][82] s[2][0][83] s[2][0][84] s[2][0][85] s[2][0][86] s[2][0][87] s[2][0][88] s[2][0][89] s[2][0][90] s[2][0][91] s[2][0][92] s[2][0][93] s[2][0][94] s[2][0][95] s[2][0][96] s[2][0][97] s[2][0][98] s[2][0][99] s[2][0][100] s[2][0][101] s[2][0][102] s[2][0][103] s[2][0][104] s[2][0][105] s[2][0][106] s[2][0][107] s[2][1][0] s[2][1][1] s[2][1][2] s[2][1][3] s[2][1][4] s[2][1][5] s[2][1][6] s[2][1][7] s[2][1][8] s[2][1][9] s[2][1][10] s[2][1][11] s[2][1][12] s[2][1][13] s[2][1][14] s[2][1][15] s[2][1][16] s[2][1][17] s[2][1][18] s[2][1][19] s[2][1][20] s[2][1][21] s[2][1][22] s[2][1][23] s[2][1][24] s[2][1][25] s[2][1][26] s[2][1][27] s[2][1][28] s[2][1][29] s[2][1][30] s[2][1][31] s[2][1][32] s[2][1][33] s[2][1][34] s[2][1][35] s[2][1][36] s[2][1][37] s[2][1][38] s[2][1][39] s[2][1][40] s[2][1][41] s[2][1][42] s[2][1][43] s[2][1][44] s[2][1][45] s[2][1][46] s[2][1][47] s[2][1][48] s[2][1][49] s[2][1][50] s[2][1][51] s[2][1][52] s[2][1][53] s[2][1][54] s[2][1][55] s[2][1][56] s[2][1][57] s[2][1][58] s[2][1][59] s[2][1][60] s[2][1][61] s[2][1][62] s[2][1][63] s[2][1][64] s[2][1][65] s[2][1][66] s[2][1][67] s[2][1][68] s[2][1][69] s[2][1][70] s[2][1][71] s[2][1][72] s[2][1][73] s[2][1][74] s[2][1][75] s[2][1][76] s[2][1][77] s[2][1][78] s[2][1][79] s[2][1][80] s[2][1][81] s[2][1][82] s[2][1][83] s[2][1][84] s[2][1][85] s[2][1][86] s[2][1][87] s[2][1][88] s[2][1][89] s[2][1][90] s[2][1][91] s[2][1][92] s[2][1][93] s[2][1][94] s[2][1][95] s[2][1][96] s[2][1][97] s[2][1][98] s[2][1][99] s[2][1][100] s[2][1][101] s[2][1][102] s[2][1][103] s[2][1][104] s[2][1][105] s[2][1][106] s[2][1][107] s[2][2][0] s[2][2][1] s[2][2][2] s[2][2][3] s[2][2][4] s[2][2][5] s[2][2][6] s[2][2][7] s[2][2][8] s[2][2][9] s[2][2][10] s[2][2][11] s[2][2][12] s[2][2][13] s[2][2][14] s[2][2][15] s[2][2][16] s[2][2][17] s[2][2][18] s[2][2][19] s[2][2][20] s[2][2][21] s[2][2][22] s[2][2][23] s[2][2][24] s[2][2][25] s[2][2][26] s[2][2][27] s[2][2][28] s[2][2][29] s[2][2][30] s[2][2][31] s[2][2][32] s[2][2][33] s[2][2][34] s[2][2][35] s[2][2][36] s[2][2][37] s[2][2][38] s[2][2][39] s[2][2][40] s[2][2][41] s[2][2][42] s[2][2][43] s[2][2][44] s[2][2][45] s[2][2][46] s[2][2][47] s[2][2][48] s[2][2][49] s[2][2][50] s[2][2][51] s[2][2][52] s[2][2][53] s[2][2][54] s[2][2][55] s[2][2][56] s[2][2][57] s[2][2][58] s[2][2][59] s[2][2][60] s[2][2][61] s[2][2][62] s[2][2][63] s[2][2][64] s[2][2][65] s[2][2][66] s[2][2][67] s[2][2][68] s[2][2][69] s[2][2][70] s[2][2][71] s[2][2][72] s[2][2][73] s[2][2][74] s[2][2][75] s[2][2][76] s[2][2][77] s[2][2][78] s[2][2][79] s[2][2][80] s[2][2][81] s[2][2][82] s[2][2][83] s[2][2][84] s[2][2][85] s[2][2][86] s[2][2][87] s[2][2][88] s[2][2][89] s[2][2][90] s[2][2][91] s[2][2][92] s[2][2][93] s[2][2][94] s[2][2][95] s[2][2][96] s[2][2][97] s[2][2][98] s[2][2][99] s[2][2][100] s[2][2][101] s[2][2][102] s[2][2][103] s[2][2][104] s[2][2][105] s[2][2][106] s[2][2][107] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][3][18] s[2][3][19] s[2][3][20] s[2][3][21] s[2][3][22] s[2][3][23] s[2][3][24] s[2][3][25] s[2][3][26] s[2][3][27] s[2][3][28] s[2][3][29] s[2][3][30] s[2][3][31] s[2][3][32] s[2][3][33] s[2][3][34] s[2][3][35] s[2][3][36] s[2][3][37] s[2][3][38] s[2][3][39] s[2][3][40] s[2][3][41] s[2][3][42] s[2][3][43] s[2][3][44] s[2][3][45] s[2][3][46] s[2][3][47] s[2][3][48] s[2][3][49] s[2][3][50] s[2][3][51] s[2][3][52] s[2][3][53] s[2][3][54] s[2][3][55] s[2][3][56] s[2][3][57] s[2][3][58] s[2][3][59] s[2][3][60] s[2][3][61] s[2][3][62] s[2][3][63] s[2][3][64] s[2][3][65] s[2][3][66] s[2][3][67] s[2][3][68] s[2][3][69] s[2][3][70] s[2][3][71] s[2][3][72] s[2][3][73] s[2][3][74] s[2][3][75] s[2][3][76] s[2][3][77] s[2][3][78] s[2][3][79] s[2][3][80] s[2][3][81] s[2][3][82] s[2][3][83] s[2][3][84] s[2][3][85] s[2][3][86] s[2][3][87] s[2][3][88] s[2][3][89] s[2][3][90] s[2][3][91] s[2][3][92] s[2][3][93] s[2][3][94] s[2][3][95] s[2][3][96] s[2][3][97] s[2][3][98] s[2][3][99] s[2][3][100] s[2][3][101] s[2][3][102] s[2][3][103] s[2][3][104] s[2][3][105] s[2][3][106] s[2][3][107] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][4][18] s[2][4][19] s[2][4][20] s[2][4][21] s[2][4][22] s[2][4][23] s[2][4][24] s[2][4][25] s[2][4][26] s[2][4][27] s[2][4][28] s[2][4][29] s[2][4][30] s[2][4][31] s[2][4][32] s[2][4][33] s[2][4][34] s[2][4][35] s[2][4][36] s[2][4][37] s[2][4][38] s[2][4][39] s[2][4][40] s[2][4][41] s[2][4][42] s[2][4][43] s[2][4][44] s[2][4][45] s[2][4][46] s[2][4][47] s[2][4][48] s[2][4][49] s[2][4][50] s[2][4][51] s[2][4][52] s[2][4][53] s[2][4][54] s[2][4][55] s[2][4][56] s[2][4][57] s[2][4][58] s[2][4][59] s[2][4][60] s[2][4][61] s[2][4][62] s[2][4][63] s[2][4][64] s[2][4][65] s[2][4][66] s[2][4][67] s[2][4][68] s[2][4][69] s[2][4][70] s[2][4][71] s[2][4][72] s[2][4][73] s[2][4][74] s[2][4][75] s[2][4][76] s[2][4][77] s[2][4][78] s[2][4][79] s[2][4][80] s[2][4][81] s[2][4][82] s[2][4][83] s[2][4][84] s[2][4][85] s[2][4][86] s[2][4][87] s[2][4][88] s[2][4][89] s[2][4][90] s[2][4][91] s[2][4][92] s[2][4][93] s[2][4][94] s[2][4][95] s[2][4][96] s[2][4][97] s[2][4][98] s[2][4][99] s[2][4][100] s[2][4][101] s[2][4][102] s[2][4][103] s[2][4][104] s[2][4][105] s[2][4][106] s[2][4][107] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][5][18] s[2][5][19] s[2][5][20] s[2][5][21] s[2][5][22] s[2][5][23] s[2][5][24] s[2][5][25] s[2][5][26] s[2][5][27] s[2][5][28] s[2][5][29] s[2][5][30] s[2][5][31] s[2][5][32] s[2][5][33] s[2][5][34] s[2][5][35] s[2][5][36] s[2][5][37] s[2][5][38] s[2][5][39] s[2][5][40] s[2][5][41] s[2][5][42] s[2][5][43] s[2][5][44] s[2][5][45] s[2][5][46] s[2][5][47] s[2][5][48] s[2][5][49] s[2][5][50] s[2][5][51] s[2][5][52] s[2][5][53] s[2][5][54] s[2][5][55] s[2][5][56] s[2][5][57] s[2][5][58] s[2][5][59] s[2][5][60] s[2][5][61] s[2][5][62] s[2][5][63] s[2][5][64] s[2][5][65] s[2][5][66] s[2][5][67] s[2][5][68] s[2][5][69] s[2][5][70] s[2][5][71] s[2][5][72] s[2][5][73] s[2][5][74] s[2][5][75] s[2][5][76] s[2][5][77] s[2][5][78] s[2][5][79] s[2][5][80] s[2][5][81] s[2][5][82] s[2][5][83] s[2][5][84] s[2][5][85] s[2][5][86] s[2][5][87] s[2][5][88] s[2][5][89] s[2][5][90] s[2][5][91] s[2][5][92] s[2][5][93] s[2][5][94] s[2][5][95] s[2][5][96] s[2][5][97] s[2][5][98] s[2][5][99] s[2][5][100] s[2][5][101] s[2][5][102] s[2][5][103] s[2][5][104] s[2][5][105] s[2][5][106] s[2][5][107] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][6][18] s[2][6][19] s[2][6][20] s[2][6][21] s[2][6][22] s[2][6][23] s[2][6][24] s[2][6][25] s[2][6][26] s[2][6][27] s[2][6][28] s[2][6][29] s[2][6][30] s[2][6][31] s[2][6][32] s[2][6][33] s[2][6][34] s[2][6][35] s[2][6][36] s[2][6][37] s[2][6][38] s[2][6][39] s[2][6][40] s[2][6][41] s[2][6][42] s[2][6][43] s[2][6][44] s[2][6][45] s[2][6][46] s[2][6][47] s[2][6][48] s[2][6][49] s[2][6][50] s[2][6][51] s[2][6][52] s[2][6][53] s[2][6][54] s[2][6][55] s[2][6][56] s[2][6][57] s[2][6][58] s[2][6][59] s[2][6][60] s[2][6][61] s[2][6][62] s[2][6][63] s[2][6][64] s[2][6][65] s[2][6][66] s[2][6][67] s[2][6][68] s[2][6][69] s[2][6][70] s[2][6][71] s[2][6][72] s[2][6][73] s[2][6][74] s[2][6][75] s[2][6][76] s[2][6][77] s[2][6][78] s[2][6][79] s[2][6][80] s[2][6][81] s[2][6][82] s[2][6][83] s[2][6][84] s[2][6][85] s[2][6][86] s[2][6][87] s[2][6][88] s[2][6][89] s[2][6][90] s[2][6][91] s[2][6][92] s[2][6][93] s[2][6][94] s[2][6][95] s[2][6][96] s[2][6][97] s[2][6][98] s[2][6][99] s[2][6][100] s[2][6][101] s[2][6][102] s[2][6][103] s[2][6][104] s[2][6][105] s[2][6][106] s[2][6][107] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][7][18] s[2][7][19] s[2][7][20] s[2][7][21] s[2][7][22] s[2][7][23] s[2][7][24] s[2][7][25] s[2][7][26] s[2][7][27] s[2][7][28] s[2][7][29] s[2][7][30] s[2][7][31] s[2][7][32] s[2][7][33] s[2][7][34] s[2][7][35] s[2][7][36] s[2][7][37] s[2][7][38] s[2][7][39] s[2][7][40] s[2][7][41] s[2][7][42] s[2][7][43] s[2][7][44] s[2][7][45] s[2][7][46] s[2][7][47] s[2][7][48] s[2][7][49] s[2][7][50] s[2][7][51] s[2][7][52] s[2][7][53] s[2][7][54] s[2][7][55] s[2][7][56] s[2][7][57] s[2][7][58] s[2][7][59] s[2][7][60] s[2][7][61] s[2][7][62] s[2][7][63] s[2][7][64] s[2][7][65] s[2][7][66] s[2][7][67] s[2][7][68] s[2][7][69] s[2][7][70] s[2][7][71] s[2][7][72] s[2][7][73] s[2][7][74] s[2][7][75] s[2][7][76] s[2][7][77] s[2][7][78] s[2][7][79] s[2][7][80] s[2][7][81] s[2][7][82] s[2][7][83] s[2][7][84] s[2][7][85] s[2][7][86] s[2][7][87] s[2][7][88] s[2][7][89] s[2][7][90] s[2][7][91] s[2][7][92] s[2][7][93] s[2][7][94] s[2][7][95] s[2][7][96] s[2][7][97] s[2][7][98] s[2][7][99] s[2][7][100] s[2][7][101] s[2][7][102] s[2][7][103] s[2][7][104] s[2][7][105] s[2][7][106] s[2][7][107] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][8][18] s[2][8][19] s[2][8][20] s[2][8][21] s[2][8][22] s[2][8][23] s[2][8][24] s[2][8][25] s[2][8][26] s[2][8][27] s[2][8][28] s[2][8][29] s[2][8][30] s[2][8][31] s[2][8][32] s[2][8][33] s[2][8][34] s[2][8][35] s[2][8][36] s[2][8][37] s[2][8][38] s[2][8][39] s[2][8][40] s[2][8][41] s[2][8][42] s[2][8][43] s[2][8][44] s[2][8][45] s[2][8][46] s[2][8][47] s[2][8][48] s[2][8][49] s[2][8][50] s[2][8][51] s[2][8][52] s[2][8][53] s[2][8][54] s[2][8][55] s[2][8][56] s[2][8][57] s[2][8][58] s[2][8][59] s[2][8][60] s[2][8][61] s[2][8][62] s[2][8][63] s[2][8][64] s[2][8][65] s[2][8][66] s[2][8][67] s[2][8][68] s[2][8][69] s[2][8][70] s[2][8][71] s[2][8][72] s[2][8][73] s[2][8][74] s[2][8][75] s[2][8][76] s[2][8][77] s[2][8][78] s[2][8][79] s[2][8][80] s[2][8][81] s[2][8][82] s[2][8][83] s[2][8][84] s[2][8][85] s[2][8][86] s[2][8][87] s[2][8][88] s[2][8][89] s[2][8][90] s[2][8][91] s[2][8][92] s[2][8][93] s[2][8][94] s[2][8][95] s[2][8][96] s[2][8][97] s[2][8][98] s[2][8][99] s[2][8][100] s[2][8][101] s[2][8][102] s[2][8][103] s[2][8][104] s[2][8][105] s[2][8][106] s[2][8][107] s[3][0][0] s[3][0][1] s[3][0][2] s[3][0][3] s[3][0][4] s[3][0][5] s[3][0][6] s[3][0][7] s[3][0][8] s[3][0][9] s[3][0][10] s[3][0][11] s[3][0][12] s[3][0][13] s[3][0][14] s[3][0][15] s[3][0][16] s[3][0][17] s[3][0][18] s[3][0][19] s[3][0][20] s[3][0][21] s[3][0][22] s[3][0][23] s[3][0][24] s[3][0][25] s[3][0][26] s[3][0][27] s[3][0][28] s[3][0][29] s[3][0][30] s[3][0][31] s[3][0][32] s[3][0][33] s[3][0][34] s[3][0][35] s[3][0][36] s[3][0][37] s[3][0][38] s[3][0][39] s[3][0][40] s[3][0][41] s[3][0][42] s[3][0][43] s[3][0][44] s[3][0][45] s[3][0][46] s[3][0][47] s[3][0][48] s[3][0][49] s[3][0][50] s[3][0][51] s[3][0][52] s[3][0][53] s[3][0][54] s[3][0][55] s[3][0][56] s[3][0][57] s[3][0][58] s[3][0][59] s[3][0][60] s[3][0][61] s[3][0][62] s[3][0][63] s[3][0][64] s[3][0][65] s[3][0][66] s[3][0][67] s[3][0][68] s[3][0][69] s[3][0][70] s[3][0][71] s[3][0][72] s[3][0][73] s[3][0][74] s[3][0][75] s[3][0][76] s[3][0][77] s[3][0][78] s[3][0][79] s[3][0][80] s[3][0][81] s[3][0][82] s[3][0][83] s[3][0][84] s[3][0][85] s[3][0][86] s[3][0][87] s[3][0][88] s[3][0][89] s[3][0][90] s[3][0][91] s[3][0][92] s[3][0][93] s[3][0][94] s[3][0][95] s[3][0][96] s[3][0][97] s[3][0][98] s[3][0][99] s[3][0][100] s[3][0][101] s[3][0][102] s[3][0][103] s[3][0][104] s[3][0][105] s[3][0][106] s[3][0][107] s[3][1][0] s[3][1][1] s[3][1][2] s[3][1][3] s[3][1][4] s[3][1][5] s[3][1][6] s[3][1][7] s[3][1][8] s[3][1][9] s[3][1][10] s[3][1][11] s[3][1][12] s[3][1][13] s[3][1][14] s[3][1][15] s[3][1][16] s[3][1][17] s[3][1][18] s[3][1][19] s[3][1][20] s[3][1][21] s[3][1][22] s[3][1][23] s[3][1][24] s[3][1][25] s[3][1][26] s[3][1][27] s[3][1][28] s[3][1][29] s[3][1][30] s[3][1][31] s[3][1][32] s[3][1][33] s[3][1][34] s[3][1][35] s[3][1][36] s[3][1][37] s[3][1][38] s[3][1][39] s[3][1][40] s[3][1][41] s[3][1][42] s[3][1][43] s[3][1][44] s[3][1][45] s[3][1][46] s[3][1][47] s[3][1][48] s[3][1][49] s[3][1][50] s[3][1][51] s[3][1][52] s[3][1][53] s[3][1][54] s[3][1][55] s[3][1][56] s[3][1][57] s[3][1][58] s[3][1][59] s[3][1][60] s[3][1][61] s[3][1][62] s[3][1][63] s[3][1][64] s[3][1][65] s[3][1][66] s[3][1][67] s[3][1][68] s[3][1][69] s[3][1][70] s[3][1][71] s[3][1][72] s[3][1][73] s[3][1][74] s[3][1][75] s[3][1][76] s[3][1][77] s[3][1][78] s[3][1][79] s[3][1][80] s[3][1][81] s[3][1][82] s[3][1][83] s[3][1][84] s[3][1][85] s[3][1][86] s[3][1][87] s[3][1][88] s[3][1][89] s[3][1][90] s[3][1][91] s[3][1][92] s[3][1][93] s[3][1][94] s[3][1][95] s[3][1][96] s[3][1][97] s[3][1][98] s[3][1][99] s[3][1][100] s[3][1][101] s[3][1][102] s[3][1][103] s[3][1][104] s[3][1][105] s[3][1][106] s[3][1][107] s[3][2][0] s[3][2][1] s[3][2][2] s[3][2][3] s[3][2][4] s[3][2][5] s[3][2][6] s[3][2][7] s[3][2][8] s[3][2][9] s[3][2][10] s[3][2][11] s[3][2][12] s[3][2][13] s[3][2][14] s[3][2][15] s[3][2][16] s[3][2][17] s[3][2][18] s[3][2][19] s[3][2][20] s[3][2][21] s[3][2][22] s[3][2][23] s[3][2][24] s[3][2][25] s[3][2][26] s[3][2][27] s[3][2][28] s[3][2][29] s[3][2][30] s[3][2][31] s[3][2][32] s[3][2][33] s[3][2][34] s[3][2][35] s[3][2][36] s[3][2][37] s[3][2][38] s[3][2][39] s[3][2][40] s[3][2][41] s[3][2][42] s[3][2][43] s[3][2][44] s[3][2][45] s[3][2][46] s[3][2][47] s[3][2][48] s[3][2][49] s[3][2][50] s[3][2][51] s[3][2][52] s[3][2][53] s[3][2][54] s[3][2][55] s[3][2][56] s[3][2][57] s[3][2][58] s[3][2][59] s[3][2][60] s[3][2][61] s[3][2][62] s[3][2][63] s[3][2][64] s[3][2][65] s[3][2][66] s[3][2][67] s[3][2][68] s[3][2][69] s[3][2][70] s[3][2][71] s[3][2][72] s[3][2][73] s[3][2][74] s[3][2][75] s[3][2][76] s[3][2][77] s[3][2][78] s[3][2][79] s[3][2][80] s[3][2][81] s[3][2][82] s[3][2][83] s[3][2][84] s[3][2][85] s[3][2][86] s[3][2][87] s[3][2][88] s[3][2][89] s[3][2][90] s[3][2][91] s[3][2][92] s[3][2][93] s[3][2][94] s[3][2][95] s[3][2][96] s[3][2][97] s[3][2][98] s[3][2][99] s[3][2][100] s[3][2][101] s[3][2][102] s[3][2][103] s[3][2][104] s[3][2][105] s[3][2][106] s[3][2][107] s[3][3][0] s[3][3][1] s[3][3][2] s[3][3][3] s[3][3][4] s[3][3][5] s[3][3][6] s[3][3][7] s[3][3][8] s[3][3][9] s[3][3][10] s[3][3][11] s[3][3][12] s[3][3][13] s[3][3][14] s[3][3][15] s[3][3][16] s[3][3][17] s[3][3][18] s[3][3][19] s[3][3][20] s[3][3][21] s[3][3][22] s[3][3][23] s[3][3][24] s[3][3][25] s[3][3][26] s[3][3][27] s[3][3][28] s[3][3][29] s[3][3][30] s[3][3][31] s[3][3][32] s[3][3][33] s[3][3][34] s[3][3][35] s[3][3][36] s[3][3][37] s[3][3][38] s[3][3][39] s[3][3][40] s[3][3][41] s[3][3][42] s[3][3][43] s[3][3][44] s[3][3][45] s[3][3][46] s[3][3][47] s[3][3][48] s[3][3][49] s[3][3][50] s[3][3][51] s[3][3][52] s[3][3][53] s[3][3][54] s[3][3][55] s[3][3][56] s[3][3][57] s[3][3][58] s[3][3][59] s[3][3][60] s[3][3][61] s[3][3][62] s[3][3][63] s[3][3][64] s[3][3][65] s[3][3][66] s[3][3][67] s[3][3][68] s[3][3][69] s[3][3][70] s[3][3][71] s[3][3][72] s[3][3][73] s[3][3][74] s[3][3][75] s[3][3][76] s[3][3][77] s[3][3][78] s[3][3][79] s[3][3][80] s[3][3][81] s[3][3][82] s[3][3][83] s[3][3][84] s[3][3][85] s[3][3][86] s[3][3][87] s[3][3][88] s[3][3][89] s[3][3][90] s[3][3][91] s[3][3][92] s[3][3][93] s[3][3][94] s[3][3][95] s[3][3][96] s[3][3][97] s[3][3][98] s[3][3][99] s[3][3][100] s[3][3][101] s[3][3][102] s[3][3][103] s[3][3][104] s[3][3][105] s[3][3][106] s[3][3][107] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][4][18] s[3][4][19] s[3][4][20] s[3][4][21] s[3][4][22] s[3][4][23] s[3][4][24] s[3][4][25] s[3][4][26] s[3][4][27] s[3][4][28] s[3][4][29] s[3][4][30] s[3][4][31] s[3][4][32] s[3][4][33] s[3][4][34] s[3][4][35] s[3][4][36] s[3][4][37] s[3][4][38] s[3][4][39] s[3][4][40] s[3][4][41] s[3][4][42] s[3][4][43] s[3][4][44] s[3][4][45] s[3][4][46] s[3][4][47] s[3][4][48] s[3][4][49] s[3][4][50] s[3][4][51] s[3][4][52] s[3][4][53] s[3][4][54] s[3][4][55] s[3][4][56] s[3][4][57] s[3][4][58] s[3][4][59] s[3][4][60] s[3][4][61] s[3][4][62] s[3][4][63] s[3][4][64] s[3][4][65] s[3][4][66] s[3][4][67] s[3][4][68] s[3][4][69] s[3][4][70] s[3][4][71] s[3][4][72] s[3][4][73] s[3][4][74] s[3][4][75] s[3][4][76] s[3][4][77] s[3][4][78] s[3][4][79] s[3][4][80] s[3][4][81] s[3][4][82] s[3][4][83] s[3][4][84] s[3][4][85] s[3][4][86] s[3][4][87] s[3][4][88] s[3][4][89] s[3][4][90] s[3][4][91] s[3][4][92] s[3][4][93] s[3][4][94] s[3][4][95] s[3][4][96] s[3][4][97] s[3][4][98] s[3][4][99] s[3][4][100] s[3][4][101] s[3][4][102] s[3][4][103] s[3][4][104] s[3][4][105] s[3][4][106] s[3][4][107] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][5][18] s[3][5][19] s[3][5][20] s[3][5][21] s[3][5][22] s[3][5][23] s[3][5][24] s[3][5][25] s[3][5][26] s[3][5][27] s[3][5][28] s[3][5][29] s[3][5][30] s[3][5][31] s[3][5][32] s[3][5][33] s[3][5][34] s[3][5][35] s[3][5][36] s[3][5][37] s[3][5][38] s[3][5][39] s[3][5][40] s[3][5][41] s[3][5][42] s[3][5][43] s[3][5][44] s[3][5][45] s[3][5][46] s[3][5][47] s[3][5][48] s[3][5][49] s[3][5][50] s[3][5][51] s[3][5][52] s[3][5][53] s[3][5][54] s[3][5][55] s[3][5][56] s[3][5][57] s[3][5][58] s[3][5][59] s[3][5][60] s[3][5][61] s[3][5][62] s[3][5][63] s[3][5][64] s[3][5][65] s[3][5][66] s[3][5][67] s[3][5][68] s[3][5][69] s[3][5][70] s[3][5][71] s[3][5][72] s[3][5][73] s[3][5][74] s[3][5][75] s[3][5][76] s[3][5][77] s[3][5][78] s[3][5][79] s[3][5][80] s[3][5][81] s[3][5][82] s[3][5][83] s[3][5][84] s[3][5][85] s[3][5][86] s[3][5][87] s[3][5][88] s[3][5][89] s[3][5][90] s[3][5][91] s[3][5][92] s[3][5][93] s[3][5][94] s[3][5][95] s[3][5][96] s[3][5][97] s[3][5][98] s[3][5][99] s[3][5][100] s[3][5][101] s[3][5][102] s[3][5][103] s[3][5][104] s[3][5][105] s[3][5][106] s[3][5][107] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][6][18] s[3][6][19] s[3][6][20] s[3][6][21] s[3][6][22] s[3][6][23] s[3][6][24] s[3][6][25] s[3][6][26] s[3][6][27] s[3][6][28] s[3][6][29] s[3][6][30] s[3][6][31] s[3][6][32] s[3][6][33] s[3][6][34] s[3][6][35] s[3][6][36] s[3][6][37] s[3][6][38] s[3][6][39] s[3][6][40] s[3][6][41] s[3][6][42] s[3][6][43] s[3][6][44] s[3][6][45] s[3][6][46] s[3][6][47] s[3][6][48] s[3][6][49] s[3][6][50] s[3][6][51] s[3][6][52] s[3][6][53] s[3][6][54] s[3][6][55] s[3][6][56] s[3][6][57] s[3][6][58] s[3][6][59] s[3][6][60] s[3][6][61] s[3][6][62] s[3][6][63] s[3][6][64] s[3][6][65] s[3][6][66] s[3][6][67] s[3][6][68] s[3][6][69] s[3][6][70] s[3][6][71] s[3][6][72] s[3][6][73] s[3][6][74] s[3][6][75] s[3][6][76] s[3][6][77] s[3][6][78] s[3][6][79] s[3][6][80] s[3][6][81] s[3][6][82] s[3][6][83] s[3][6][84] s[3][6][85] s[3][6][86] s[3][6][87] s[3][6][88] s[3][6][89] s[3][6][90] s[3][6][91] s[3][6][92] s[3][6][93] s[3][6][94] s[3][6][95] s[3][6][96] s[3][6][97] s[3][6][98] s[3][6][99] s[3][6][100] s[3][6][101] s[3][6][102] s[3][6][103] s[3][6][104] s[3][6][105] s[3][6][106] s[3][6][107] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][7][18] s[3][7][19] s[3][7][20] s[3][7][21] s[3][7][22] s[3][7][23] s[3][7][24] s[3][7][25] s[3][7][26] s[3][7][27] s[3][7][28] s[3][7][29] s[3][7][30] s[3][7][31] s[3][7][32] s[3][7][33] s[3][7][34] s[3][7][35] s[3][7][36] s[3][7][37] s[3][7][38] s[3][7][39] s[3][7][40] s[3][7][41] s[3][7][42] s[3][7][43] s[3][7][44] s[3][7][45] s[3][7][46] s[3][7][47] s[3][7][48] s[3][7][49] s[3][7][50] s[3][7][51] s[3][7][52] s[3][7][53] s[3][7][54] s[3][7][55] s[3][7][56] s[3][7][57] s[3][7][58] s[3][7][59] s[3][7][60] s[3][7][61] s[3][7][62] s[3][7][63] s[3][7][64] s[3][7][65] s[3][7][66] s[3][7][67] s[3][7][68] s[3][7][69] s[3][7][70] s[3][7][71] s[3][7][72] s[3][7][73] s[3][7][74] s[3][7][75] s[3][7][76] s[3][7][77] s[3][7][78] s[3][7][79] s[3][7][80] s[3][7][81] s[3][7][82] s[3][7][83] s[3][7][84] s[3][7][85] s[3][7][86] s[3][7][87] s[3][7][88] s[3][7][89] s[3][7][90] s[3][7][91] s[3][7][92] s[3][7][93] s[3][7][94] s[3][7][95] s[3][7][96] s[3][7][97] s[3][7][98] s[3][7][99] s[3][7][100] s[3][7][101] s[3][7][102] s[3][7][103] s[3][7][104] s[3][7][105] s[3][7][106] s[3][7][107] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][8][18] s[3][8][19] s[3][8][20] s[3][8][21] s[3][8][22] s[3][8][23] s[3][8][24] s[3][8][25] s[3][8][26] s[3][8][27] s[3][8][28] s[3][8][29] s[3][8][30] s[3][8][31] s[3][8][32] s[3][8][33] s[3][8][34] s[3][8][35] s[3][8][36] s[3][8][37] s[3][8][38] s[3][8][39] s[3][8][40] s[3][8][41] s[3][8][42] s[3][8][43] s[3][8][44] s[3][8][45] s[3][8][46] s[3][8][47] s[3][8][48] s[3][8][49] s[3][8][50] s[3][8][51] s[3][8][52] s[3][8][53] s[3][8][54] s[3][8][55] s[3][8][56] s[3][8][57] s[3][8][58] s[3][8][59] s[3][8][60] s[3][8][61] s[3][8][62] s[3][8][63] s[3][8][64] s[3][8][65] s[3][8][66] s[3][8][67] s[3][8][68] s[3][8][69] s[3][8][70] s[3][8][71] s[3][8][72] s[3][8][73] s[3][8][74] s[3][8][75] s[3][8][76] s[3][8][77] s[3][8][78] s[3][8][79] s[3][8][80] s[3][8][81] s[3][8][82] s[3][8][83] s[3][8][84] s[3][8][85] s[3][8][86] s[3][8][87] s[3][8][88] s[3][8][89] s[3][8][90] s[3][8][91] s[3][8][92] s[3][8][93] s[3][8][94] s[3][8][95] s[3][8][96] s[3][8][97] s[3][8][98] s[3][8][99] s[3][8][100] s[3][8][101] s[3][8][102] s[3][8][103] s[3][8][104] s[3][8][105] s[3][8][106] s[3][8][107] s[4][0][0] s[4][0][1] s[4][0][2] s[4][0][3] s[4][0][4] s[4][0][5] s[4][0][6] s[4][0][7] s[4][0][8] s[4][0][9] s[4][0][10] s[4][0][11] s[4][0][12] s[4][0][13] s[4][0][14] s[4][0][15] s[4][0][16] s[4][0][17] s[4][0][18] s[4][0][19] s[4][0][20] s[4][0][21] s[4][0][22] s[4][0][23] s[4][0][24] s[4][0][25] s[4][0][26] s[4][0][27] s[4][0][28] s[4][0][29] s[4][0][30] s[4][0][31] s[4][0][32] s[4][0][33] s[4][0][34] s[4][0][35] s[4][0][36] s[4][0][37] s[4][0][38] s[4][0][39] s[4][0][40] s[4][0][41] s[4][0][42] s[4][0][43] s[4][0][44] s[4][0][45] s[4][0][46] s[4][0][47] s[4][0][48] s[4][0][49] s[4][0][50] s[4][0][51] s[4][0][52] s[4][0][53] s[4][0][54] s[4][0][55] s[4][0][56] s[4][0][57] s[4][0][58] s[4][0][59] s[4][0][60] s[4][0][61] s[4][0][62] s[4][0][63] s[4][0][64] s[4][0][65] s[4][0][66] s[4][0][67] s[4][0][68] s[4][0][69] s[4][0][70] s[4][0][71] s[4][0][72] s[4][0][73] s[4][0][74] s[4][0][75] s[4][0][76] s[4][0][77] s[4][0][78] s[4][0][79] s[4][0][80] s[4][0][81] s[4][0][82] s[4][0][83] s[4][0][84] s[4][0][85] s[4][0][86] s[4][0][87] s[4][0][88] s[4][0][89] s[4][0][90] s[4][0][91] s[4][0][92] s[4][0][93] s[4][0][94] s[4][0][95] s[4][0][96] s[4][0][97] s[4][0][98] s[4][0][99] s[4][0][100] s[4][0][101] s[4][0][102] s[4][0][103] s[4][0][104] s[4][0][105] s[4][0][106] s[4][0][107] s[4][1][0] s[4][1][1] s[4][1][2] s[4][1][3] s[4][1][4] s[4][1][5] s[4][1][6] s[4][1][7] s[4][1][8] s[4][1][9] s[4][1][10] s[4][1][11] s[4][1][12] s[4][1][13] s[4][1][14] s[4][1][15] s[4][1][16] s[4][1][17] s[4][1][18] s[4][1][19] s[4][1][20] s[4][1][21] s[4][1][22] s[4][1][23] s[4][1][24] s[4][1][25] s[4][1][26] s[4][1][27] s[4][1][28] s[4][1][29] s[4][1][30] s[4][1][31] s[4][1][32] s[4][1][33] s[4][1][34] s[4][1][35] s[4][1][36] s[4][1][37] s[4][1][38] s[4][1][39] s[4][1][40] s[4][1][41] s[4][1][42] s[4][1][43] s[4][1][44] s[4][1][45] s[4][1][46] s[4][1][47] s[4][1][48] s[4][1][49] s[4][1][50] s[4][1][51] s[4][1][52] s[4][1][53] s[4][1][54] s[4][1][55] s[4][1][56] s[4][1][57] s[4][1][58] s[4][1][59] s[4][1][60] s[4][1][61] s[4][1][62] s[4][1][63] s[4][1][64] s[4][1][65] s[4][1][66] s[4][1][67] s[4][1][68] s[4][1][69] s[4][1][70] s[4][1][71] s[4][1][72] s[4][1][73] s[4][1][74] s[4][1][75] s[4][1][76] s[4][1][77] s[4][1][78] s[4][1][79] s[4][1][80] s[4][1][81] s[4][1][82] s[4][1][83] s[4][1][84] s[4][1][85] s[4][1][86] s[4][1][87] s[4][1][88] s[4][1][89] s[4][1][90] s[4][1][91] s[4][1][92] s[4][1][93] s[4][1][94] s[4][1][95] s[4][1][96] s[4][1][97] s[4][1][98] s[4][1][99] s[4][1][100] s[4][1][101] s[4][1][102] s[4][1][103] s[4][1][104] s[4][1][105] s[4][1][106] s[4][1][107] s[4][2][0] s[4][2][1] s[4][2][2] s[4][2][3] s[4][2][4] s[4][2][5] s[4][2][6] s[4][2][7] s[4][2][8] s[4][2][9] s[4][2][10] s[4][2][11] s[4][2][12] s[4][2][13] s[4][2][14] s[4][2][15] s[4][2][16] s[4][2][17] s[4][2][18] s[4][2][19] s[4][2][20] s[4][2][21] s[4][2][22] s[4][2][23] s[4][2][24] s[4][2][25] s[4][2][26] s[4][2][27] s[4][2][28] s[4][2][29] s[4][2][30] s[4][2][31] s[4][2][32] s[4][2][33] s[4][2][34] s[4][2][35] s[4][2][36] s[4][2][37] s[4][2][38] s[4][2][39] s[4][2][40] s[4][2][41] s[4][2][42] s[4][2][43] s[4][2][44] s[4][2][45] s[4][2][46] s[4][2][47] s[4][2][48] s[4][2][49] s[4][2][50] s[4][2][51] s[4][2][52] s[4][2][53] s[4][2][54] s[4][2][55] s[4][2][56] s[4][2][57] s[4][2][58] s[4][2][59] s[4][2][60] s[4][2][61] s[4][2][62] s[4][2][63] s[4][2][64] s[4][2][65] s[4][2][66] s[4][2][67] s[4][2][68] s[4][2][69] s[4][2][70] s[4][2][71] s[4][2][72] s[4][2][73] s[4][2][74] s[4][2][75] s[4][2][76] s[4][2][77] s[4][2][78] s[4][2][79] s[4][2][80] s[4][2][81] s[4][2][82] s[4][2][83] s[4][2][84] s[4][2][85] s[4][2][86] s[4][2][87] s[4][2][88] s[4][2][89] s[4][2][90] s[4][2][91] s[4][2][92] s[4][2][93] s[4][2][94] s[4][2][95] s[4][2][96] s[4][2][97] s[4][2][98] s[4][2][99] s[4][2][100] s[4][2][101] s[4][2][102] s[4][2][103] s[4][2][104] s[4][2][105] s[4][2][106] s[4][2][107] s[4][3][0] s[4][3][1] s[4][3][2] s[4][3][3] s[4][3][4] s[4][3][5] s[4][3][6] s[4][3][7] s[4][3][8] s[4][3][9] s[4][3][10] s[4][3][11] s[4][3][12] s[4][3][13] s[4][3][14] s[4][3][15] s[4][3][16] s[4][3][17] s[4][3][18] s[4][3][19] s[4][3][20] s[4][3][21] s[4][3][22] s[4][3][23] s[4][3][24] s[4][3][25] s[4][3][26] s[4][3][27] s[4][3][28] s[4][3][29] s[4][3][30] s[4][3][31] s[4][3][32] s[4][3][33] s[4][3][34] s[4][3][35] s[4][3][36] s[4][3][37] s[4][3][38] s[4][3][39] s[4][3][40] s[4][3][41] s[4][3][42] s[4][3][43] s[4][3][44] s[4][3][45] s[4][3][46] s[4][3][47] s[4][3][48] s[4][3][49] s[4][3][50] s[4][3][51] s[4][3][52] s[4][3][53] s[4][3][54] s[4][3][55] s[4][3][56] s[4][3][57] s[4][3][58] s[4][3][59] s[4][3][60] s[4][3][61] s[4][3][62] s[4][3][63] s[4][3][64] s[4][3][65] s[4][3][66] s[4][3][67] s[4][3][68] s[4][3][69] s[4][3][70] s[4][3][71] s[4][3][72] s[4][3][73] s[4][3][74] s[4][3][75] s[4][3][76] s[4][3][77] s[4][3][78] s[4][3][79] s[4][3][80] s[4][3][81] s[4][3][82] s[4][3][83] s[4][3][84] s[4][3][85] s[4][3][86] s[4][3][87] s[4][3][88] s[4][3][89] s[4][3][90] s[4][3][91] s[4][3][92] s[4][3][93] s[4][3][94] s[4][3][95] s[4][3][96] s[4][3][97] s[4][3][98] s[4][3][99] s[4][3][100] s[4][3][101] s[4][3][102] s[4][3][103] s[4][3][104] s[4][3][105] s[4][3][106] s[4][3][107] s[4][4][0] s[4][4][1] s[4][4][2] s[4][4][3] s[4][4][4] s[4][4][5] s[4][4][6] s[4][4][7] s[4][4][8] s[4][4][9] s[4][4][10] s[4][4][11] s[4][4][12] s[4][4][13] s[4][4][14] s[4][4][15] s[4][4][16] s[4][4][17] s[4][4][18] s[4][4][19] s[4][4][20] s[4][4][21] s[4][4][22] s[4][4][23] s[4][4][24] s[4][4][25] s[4][4][26] s[4][4][27] s[4][4][28] s[4][4][29] s[4][4][30] s[4][4][31] s[4][4][32] s[4][4][33] s[4][4][34] s[4][4][35] s[4][4][36] s[4][4][37] s[4][4][38] s[4][4][39] s[4][4][40] s[4][4][41] s[4][4][42] s[4][4][43] s[4][4][44] s[4][4][45] s[4][4][46] s[4][4][47] s[4][4][48] s[4][4][49] s[4][4][50] s[4][4][51] s[4][4][52] s[4][4][53] s[4][4][54] s[4][4][55] s[4][4][56] s[4][4][57] s[4][4][58] s[4][4][59] s[4][4][60] s[4][4][61] s[4][4][62] s[4][4][63] s[4][4][64] s[4][4][65] s[4][4][66] s[4][4][67] s[4][4][68] s[4][4][69] s[4][4][70] s[4][4][71] s[4][4][72] s[4][4][73] s[4][4][74] s[4][4][75] s[4][4][76] s[4][4][77] s[4][4][78] s[4][4][79] s[4][4][80] s[4][4][81] s[4][4][82] s[4][4][83] s[4][4][84] s[4][4][85] s[4][4][86] s[4][4][87] s[4][4][88] s[4][4][89] s[4][4][90] s[4][4][91] s[4][4][92] s[4][4][93] s[4][4][94] s[4][4][95] s[4][4][96] s[4][4][97] s[4][4][98] s[4][4][99] s[4][4][100] s[4][4][101] s[4][4][102] s[4][4][103] s[4][4][104] s[4][4][105] s[4][4][106] s[4][4][107] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][5][18] s[4][5][19] s[4][5][20] s[4][5][21] s[4][5][22] s[4][5][23] s[4][5][24] s[4][5][25] s[4][5][26] s[4][5][27] s[4][5][28] s[4][5][29] s[4][5][30] s[4][5][31] s[4][5][32] s[4][5][33] s[4][5][34] s[4][5][35] s[4][5][36] s[4][5][37] s[4][5][38] s[4][5][39] s[4][5][40] s[4][5][41] s[4][5][42] s[4][5][43] s[4][5][44] s[4][5][45] s[4][5][46] s[4][5][47] s[4][5][48] s[4][5][49] s[4][5][50] s[4][5][51] s[4][5][52] s[4][5][53] s[4][5][54] s[4][5][55] s[4][5][56] s[4][5][57] s[4][5][58] s[4][5][59] s[4][5][60] s[4][5][61] s[4][5][62] s[4][5][63] s[4][5][64] s[4][5][65] s[4][5][66] s[4][5][67] s[4][5][68] s[4][5][69] s[4][5][70] s[4][5][71] s[4][5][72] s[4][5][73] s[4][5][74] s[4][5][75] s[4][5][76] s[4][5][77] s[4][5][78] s[4][5][79] s[4][5][80] s[4][5][81] s[4][5][82] s[4][5][83] s[4][5][84] s[4][5][85] s[4][5][86] s[4][5][87] s[4][5][88] s[4][5][89] s[4][5][90] s[4][5][91] s[4][5][92] s[4][5][93] s[4][5][94] s[4][5][95] s[4][5][96] s[4][5][97] s[4][5][98] s[4][5][99] s[4][5][100] s[4][5][101] s[4][5][102] s[4][5][103] s[4][5][104] s[4][5][105] s[4][5][106] s[4][5][107] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][6][18] s[4][6][19] s[4][6][20] s[4][6][21] s[4][6][22] s[4][6][23] s[4][6][24] s[4][6][25] s[4][6][26] s[4][6][27] s[4][6][28] s[4][6][29] s[4][6][30] s[4][6][31] s[4][6][32] s[4][6][33] s[4][6][34] s[4][6][35] s[4][6][36] s[4][6][37] s[4][6][38] s[4][6][39] s[4][6][40] s[4][6][41] s[4][6][42] s[4][6][43] s[4][6][44] s[4][6][45] s[4][6][46] s[4][6][47] s[4][6][48] s[4][6][49] s[4][6][50] s[4][6][51] s[4][6][52] s[4][6][53] s[4][6][54] s[4][6][55] s[4][6][56] s[4][6][57] s[4][6][58] s[4][6][59] s[4][6][60] s[4][6][61] s[4][6][62] s[4][6][63] s[4][6][64] s[4][6][65] s[4][6][66] s[4][6][67] s[4][6][68] s[4][6][69] s[4][6][70] s[4][6][71] s[4][6][72] s[4][6][73] s[4][6][74] s[4][6][75] s[4][6][76] s[4][6][77] s[4][6][78] s[4][6][79] s[4][6][80] s[4][6][81] s[4][6][82] s[4][6][83] s[4][6][84] s[4][6][85] s[4][6][86] s[4][6][87] s[4][6][88] s[4][6][89] s[4][6][90] s[4][6][91] s[4][6][92] s[4][6][93] s[4][6][94] s[4][6][95] s[4][6][96] s[4][6][97] s[4][6][98] s[4][6][99] s[4][6][100] s[4][6][101] s[4][6][102] s[4][6][103] s[4][6][104] s[4][6][105] s[4][6][106] s[4][6][107] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][7][18] s[4][7][19] s[4][7][20] s[4][7][21] s[4][7][22] s[4][7][23] s[4][7][24] s[4][7][25] s[4][7][26] s[4][7][27] s[4][7][28] s[4][7][29] s[4][7][30] s[4][7][31] s[4][7][32] s[4][7][33] s[4][7][34] s[4][7][35] s[4][7][36] s[4][7][37] s[4][7][38] s[4][7][39] s[4][7][40] s[4][7][41] s[4][7][42] s[4][7][43] s[4][7][44] s[4][7][45] s[4][7][46] s[4][7][47] s[4][7][48] s[4][7][49] s[4][7][50] s[4][7][51] s[4][7][52] s[4][7][53] s[4][7][54] s[4][7][55] s[4][7][56] s[4][7][57] s[4][7][58] s[4][7][59] s[4][7][60] s[4][7][61] s[4][7][62] s[4][7][63] s[4][7][64] s[4][7][65] s[4][7][66] s[4][7][67] s[4][7][68] s[4][7][69] s[4][7][70] s[4][7][71] s[4][7][72] s[4][7][73] s[4][7][74] s[4][7][75] s[4][7][76] s[4][7][77] s[4][7][78] s[4][7][79] s[4][7][80] s[4][7][81] s[4][7][82] s[4][7][83] s[4][7][84] s[4][7][85] s[4][7][86] s[4][7][87] s[4][7][88] s[4][7][89] s[4][7][90] s[4][7][91] s[4][7][92] s[4][7][93] s[4][7][94] s[4][7][95] s[4][7][96] s[4][7][97] s[4][7][98] s[4][7][99] s[4][7][100] s[4][7][101] s[4][7][102] s[4][7][103] s[4][7][104] s[4][7][105] s[4][7][106] s[4][7][107] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][8][18] s[4][8][19] s[4][8][20] s[4][8][21] s[4][8][22] s[4][8][23] s[4][8][24] s[4][8][25] s[4][8][26] s[4][8][27] s[4][8][28] s[4][8][29] s[4][8][30] s[4][8][31] s[4][8][32] s[4][8][33] s[4][8][34] s[4][8][35] s[4][8][36] s[4][8][37] s[4][8][38] s[4][8][39] s[4][8][40] s[4][8][41] s[4][8][42] s[4][8][43] s[4][8][44] s[4][8][45] s[4][8][46] s[4][8][47] s[4][8][48] s[4][8][49] s[4][8][50] s[4][8][51] s[4][8][52] s[4][8][53] s[4][8][54] s[4][8][55] s[4][8][56] s[4][8][57] s[4][8][58] s[4][8][59] s[4][8][60] s[4][8][61] s[4][8][62] s[4][8][63] s[4][8][64] s[4][8][65] s[4][8][66] s[4][8][67] s[4][8][68] s[4][8][69] s[4][8][70] s[4][8][71] s[4][8][72] s[4][8][73] s[4][8][74] s[4][8][75] s[4][8][76] s[4][8][77] s[4][8][78] s[4][8][79] s[4][8][80] s[4][8][81] s[4][8][82] s[4][8][83] s[4][8][84] s[4][8][85] s[4][8][86] s[4][8][87] s[4][8][88] s[4][8][89] s[4][8][90] s[4][8][91] s[4][8][92] s[4][8][93] s[4][8][94] s[4][8][95] s[4][8][96] s[4][8][97] s[4][8][98] s[4][8][99] s[4][8][100] s[4][8][101] s[4][8][102] s[4][8][103] s[4][8][104] s[4][8][105] s[4][8][106] s[4][8][107] s[5][0][0] s[5][0][1] s[5][0][2] s[5][0][3] s[5][0][4] s[5][0][5] s[5][0][6] s[5][0][7] s[5][0][8] s[5][0][9] s[5][0][10] s[5][0][11] s[5][0][12] s[5][0][13] s[5][0][14] s[5][0][15] s[5][0][16] s[5][0][17] s[5][0][18] s[5][0][19] s[5][0][20] s[5][0][21] s[5][0][22] s[5][0][23] s[5][0][24] s[5][0][25] s[5][0][26] s[5][0][27] s[5][0][28] s[5][0][29] s[5][0][30] s[5][0][31] s[5][0][32] s[5][0][33] s[5][0][34] s[5][0][35] s[5][0][36] s[5][0][37] s[5][0][38] s[5][0][39] s[5][0][40] s[5][0][41] s[5][0][42] s[5][0][43] s[5][0][44] s[5][0][45] s[5][0][46] s[5][0][47] s[5][0][48] s[5][0][49] s[5][0][50] s[5][0][51] s[5][0][52] s[5][0][53] s[5][0][54] s[5][0][55] s[5][0][56] s[5][0][57] s[5][0][58] s[5][0][59] s[5][0][60] s[5][0][61] s[5][0][62] s[5][0][63] s[5][0][64] s[5][0][65] s[5][0][66] s[5][0][67] s[5][0][68] s[5][0][69] s[5][0][70] s[5][0][71] s[5][0][72] s[5][0][73] s[5][0][74] s[5][0][75] s[5][0][76] s[5][0][77] s[5][0][78] s[5][0][79] s[5][0][80] s[5][0][81] s[5][0][82] s[5][0][83] s[5][0][84] s[5][0][85] s[5][0][86] s[5][0][87] s[5][0][88] s[5][0][89] s[5][0][90] s[5][0][91] s[5][0][92] s[5][0][93] s[5][0][94] s[5][0][95] s[5][0][96] s[5][0][97] s[5][0][98] s[5][0][99] s[5][0][100] s[5][0][101] s[5][0][102] s[5][0][103] s[5][0][104] s[5][0][105] s[5][0][106] s[5][0][107] s[5][1][0] s[5][1][1] s[5][1][2] s[5][1][3] s[5][1][4] s[5][1][5] s[5][1][6] s[5][1][7] s[5][1][8] s[5][1][9] s[5][1][10] s[5][1][11] s[5][1][12] s[5][1][13] s[5][1][14] s[5][1][15] s[5][1][16] s[5][1][17] s[5][1][18] s[5][1][19] s[5][1][20] s[5][1][21] s[5][1][22] s[5][1][23] s[5][1][24] s[5][1][25] s[5][1][26] s[5][1][27] s[5][1][28] s[5][1][29] s[5][1][30] s[5][1][31] s[5][1][32] s[5][1][33] s[5][1][34] s[5][1][35] s[5][1][36] s[5][1][37] s[5][1][38] s[5][1][39] s[5][1][40] s[5][1][41] s[5][1][42] s[5][1][43] s[5][1][44] s[5][1][45] s[5][1][46] s[5][1][47] s[5][1][48] s[5][1][49] s[5][1][50] s[5][1][51] s[5][1][52] s[5][1][53] s[5][1][54] s[5][1][55] s[5][1][56] s[5][1][57] s[5][1][58] s[5][1][59] s[5][1][60] s[5][1][61] s[5][1][62] s[5][1][63] s[5][1][64] s[5][1][65] s[5][1][66] s[5][1][67] s[5][1][68] s[5][1][69] s[5][1][70] s[5][1][71] s[5][1][72] s[5][1][73] s[5][1][74] s[5][1][75] s[5][1][76] s[5][1][77] s[5][1][78] s[5][1][79] s[5][1][80] s[5][1][81] s[5][1][82] s[5][1][83] s[5][1][84] s[5][1][85] s[5][1][86] s[5][1][87] s[5][1][88] s[5][1][89] s[5][1][90] s[5][1][91] s[5][1][92] s[5][1][93] s[5][1][94] s[5][1][95] s[5][1][96] s[5][1][97] s[5][1][98] s[5][1][99] s[5][1][100] s[5][1][101] s[5][1][102] s[5][1][103] s[5][1][104] s[5][1][105] s[5][1][106] s[5][1][107] s[5][2][0] s[5][2][1] s[5][2][2] s[5][2][3] s[5][2][4] s[5][2][5] s[5][2][6] s[5][2][7] s[5][2][8] s[5][2][9] s[5][2][10] s[5][2][11] s[5][2][12] s[5][2][13] s[5][2][14] s[5][2][15] s[5][2][16] s[5][2][17] s[5][2][18] s[5][2][19] s[5][2][20] s[5][2][21] s[5][2][22] s[5][2][23] s[5][2][24] s[5][2][25] s[5][2][26] s[5][2][27] s[5][2][28] s[5][2][29] s[5][2][30] s[5][2][31] s[5][2][32] s[5][2][33] s[5][2][34] s[5][2][35] s[5][2][36] s[5][2][37] s[5][2][38] s[5][2][39] s[5][2][40] s[5][2][41] s[5][2][42] s[5][2][43] s[5][2][44] s[5][2][45] s[5][2][46] s[5][2][47] s[5][2][48] s[5][2][49] s[5][2][50] s[5][2][51] s[5][2][52] s[5][2][53] s[5][2][54] s[5][2][55] s[5][2][56] s[5][2][57] s[5][2][58] s[5][2][59] s[5][2][60] s[5][2][61] s[5][2][62] s[5][2][63] s[5][2][64] s[5][2][65] s[5][2][66] s[5][2][67] s[5][2][68] s[5][2][69] s[5][2][70] s[5][2][71] s[5][2][72] s[5][2][73] s[5][2][74] s[5][2][75] s[5][2][76] s[5][2][77] s[5][2][78] s[5][2][79] s[5][2][80] s[5][2][81] s[5][2][82] s[5][2][83] s[5][2][84] s[5][2][85] s[5][2][86] s[5][2][87] s[5][2][88] s[5][2][89] s[5][2][90] s[5][2][91] s[5][2][92] s[5][2][93] s[5][2][94] s[5][2][95] s[5][2][96] s[5][2][97] s[5][2][98] s[5][2][99] s[5][2][100] s[5][2][101] s[5][2][102] s[5][2][103] s[5][2][104] s[5][2][105] s[5][2][106] s[5][2][107] s[5][3][0] s[5][3][1] s[5][3][2] s[5][3][3] s[5][3][4] s[5][3][5] s[5][3][6] s[5][3][7] s[5][3][8] s[5][3][9] s[5][3][10] s[5][3][11] s[5][3][12] s[5][3][13] s[5][3][14] s[5][3][15] s[5][3][16] s[5][3][17] s[5][3][18] s[5][3][19] s[5][3][20] s[5][3][21] s[5][3][22] s[5][3][23] s[5][3][24] s[5][3][25] s[5][3][26] s[5][3][27] s[5][3][28] s[5][3][29] s[5][3][30] s[5][3][31] s[5][3][32] s[5][3][33] s[5][3][34] s[5][3][35] s[5][3][36] s[5][3][37] s[5][3][38] s[5][3][39] s[5][3][40] s[5][3][41] s[5][3][42] s[5][3][43] s[5][3][44] s[5][3][45] s[5][3][46] s[5][3][47] s[5][3][48] s[5][3][49] s[5][3][50] s[5][3][51] s[5][3][52] s[5][3][53] s[5][3][54] s[5][3][55] s[5][3][56] s[5][3][57] s[5][3][58] s[5][3][59] s[5][3][60] s[5][3][61] s[5][3][62] s[5][3][63] s[5][3][64] s[5][3][65] s[5][3][66] s[5][3][67] s[5][3][68] s[5][3][69] s[5][3][70] s[5][3][71] s[5][3][72] s[5][3][73] s[5][3][74] s[5][3][75] s[5][3][76] s[5][3][77] s[5][3][78] s[5][3][79] s[5][3][80] s[5][3][81] s[5][3][82] s[5][3][83] s[5][3][84] s[5][3][85] s[5][3][86] s[5][3][87] s[5][3][88] s[5][3][89] s[5][3][90] s[5][3][91] s[5][3][92] s[5][3][93] s[5][3][94] s[5][3][95] s[5][3][96] s[5][3][97] s[5][3][98] s[5][3][99] s[5][3][100] s[5][3][101] s[5][3][102] s[5][3][103] s[5][3][104] s[5][3][105] s[5][3][106] s[5][3][107] s[5][4][0] s[5][4][1] s[5][4][2] s[5][4][3] s[5][4][4] s[5][4][5] s[5][4][6] s[5][4][7] s[5][4][8] s[5][4][9] s[5][4][10] s[5][4][11] s[5][4][12] s[5][4][13] s[5][4][14] s[5][4][15] s[5][4][16] s[5][4][17] s[5][4][18] s[5][4][19] s[5][4][20] s[5][4][21] s[5][4][22] s[5][4][23] s[5][4][24] s[5][4][25] s[5][4][26] s[5][4][27] s[5][4][28] s[5][4][29] s[5][4][30] s[5][4][31] s[5][4][32] s[5][4][33] s[5][4][34] s[5][4][35] s[5][4][36] s[5][4][37] s[5][4][38] s[5][4][39] s[5][4][40] s[5][4][41] s[5][4][42] s[5][4][43] s[5][4][44] s[5][4][45] s[5][4][46] s[5][4][47] s[5][4][48] s[5][4][49] s[5][4][50] s[5][4][51] s[5][4][52] s[5][4][53] s[5][4][54] s[5][4][55] s[5][4][56] s[5][4][57] s[5][4][58] s[5][4][59] s[5][4][60] s[5][4][61] s[5][4][62] s[5][4][63] s[5][4][64] s[5][4][65] s[5][4][66] s[5][4][67] s[5][4][68] s[5][4][69] s[5][4][70] s[5][4][71] s[5][4][72] s[5][4][73] s[5][4][74] s[5][4][75] s[5][4][76] s[5][4][77] s[5][4][78] s[5][4][79] s[5][4][80] s[5][4][81] s[5][4][82] s[5][4][83] s[5][4][84] s[5][4][85] s[5][4][86] s[5][4][87] s[5][4][88] s[5][4][89] s[5][4][90] s[5][4][91] s[5][4][92] s[5][4][93] s[5][4][94] s[5][4][95] s[5][4][96] s[5][4][97] s[5][4][98] s[5][4][99] s[5][4][100] s[5][4][101] s[5][4][102] s[5][4][103] s[5][4][104] s[5][4][105] s[5][4][106] s[5][4][107] s[5][5][0] s[5][5][1] s[5][5][2] s[5][5][3] s[5][5][4] s[5][5][5] s[5][5][6] s[5][5][7] s[5][5][8] s[5][5][9] s[5][5][10] s[5][5][11] s[5][5][12] s[5][5][13] s[5][5][14] s[5][5][15] s[5][5][16] s[5][5][17] s[5][5][18] s[5][5][19] s[5][5][20] s[5][5][21] s[5][5][22] s[5][5][23] s[5][5][24] s[5][5][25] s[5][5][26] s[5][5][27] s[5][5][28] s[5][5][29] s[5][5][30] s[5][5][31] s[5][5][32] s[5][5][33] s[5][5][34] s[5][5][35] s[5][5][36] s[5][5][37] s[5][5][38] s[5][5][39] s[5][5][40] s[5][5][41] s[5][5][42] s[5][5][43] s[5][5][44] s[5][5][45] s[5][5][46] s[5][5][47] s[5][5][48] s[5][5][49] s[5][5][50] s[5][5][51] s[5][5][52] s[5][5][53] s[5][5][54] s[5][5][55] s[5][5][56] s[5][5][57] s[5][5][58] s[5][5][59] s[5][5][60] s[5][5][61] s[5][5][62] s[5][5][63] s[5][5][64] s[5][5][65] s[5][5][66] s[5][5][67] s[5][5][68] s[5][5][69] s[5][5][70] s[5][5][71] s[5][5][72] s[5][5][73] s[5][5][74] s[5][5][75] s[5][5][76] s[5][5][77] s[5][5][78] s[5][5][79] s[5][5][80] s[5][5][81] s[5][5][82] s[5][5][83] s[5][5][84] s[5][5][85] s[5][5][86] s[5][5][87] s[5][5][88] s[5][5][89] s[5][5][90] s[5][5][91] s[5][5][92] s[5][5][93] s[5][5][94] s[5][5][95] s[5][5][96] s[5][5][97] s[5][5][98] s[5][5][99] s[5][5][100] s[5][5][101] s[5][5][102] s[5][5][103] s[5][5][104] s[5][5][105] s[5][5][106] s[5][5][107] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][6][18] s[5][6][19] s[5][6][20] s[5][6][21] s[5][6][22] s[5][6][23] s[5][6][24] s[5][6][25] s[5][6][26] s[5][6][27] s[5][6][28] s[5][6][29] s[5][6][30] s[5][6][31] s[5][6][32] s[5][6][33] s[5][6][34] s[5][6][35] s[5][6][36] s[5][6][37] s[5][6][38] s[5][6][39] s[5][6][40] s[5][6][41] s[5][6][42] s[5][6][43] s[5][6][44] s[5][6][45] s[5][6][46] s[5][6][47] s[5][6][48] s[5][6][49] s[5][6][50] s[5][6][51] s[5][6][52] s[5][6][53] s[5][6][54] s[5][6][55] s[5][6][56] s[5][6][57] s[5][6][58] s[5][6][59] s[5][6][60] s[5][6][61] s[5][6][62] s[5][6][63] s[5][6][64] s[5][6][65] s[5][6][66] s[5][6][67] s[5][6][68] s[5][6][69] s[5][6][70] s[5][6][71] s[5][6][72] s[5][6][73] s[5][6][74] s[5][6][75] s[5][6][76] s[5][6][77] s[5][6][78] s[5][6][79] s[5][6][80] s[5][6][81] s[5][6][82] s[5][6][83] s[5][6][84] s[5][6][85] s[5][6][86] s[5][6][87] s[5][6][88] s[5][6][89] s[5][6][90] s[5][6][91] s[5][6][92] s[5][6][93] s[5][6][94] s[5][6][95] s[5][6][96] s[5][6][97] s[5][6][98] s[5][6][99] s[5][6][100] s[5][6][101] s[5][6][102] s[5][6][103] s[5][6][104] s[5][6][105] s[5][6][106] s[5][6][107] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][7][18] s[5][7][19] s[5][7][20] s[5][7][21] s[5][7][22] s[5][7][23] s[5][7][24] s[5][7][25] s[5][7][26] s[5][7][27] s[5][7][28] s[5][7][29] s[5][7][30] s[5][7][31] s[5][7][32] s[5][7][33] s[5][7][34] s[5][7][35] s[5][7][36] s[5][7][37] s[5][7][38] s[5][7][39] s[5][7][40] s[5][7][41] s[5][7][42] s[5][7][43] s[5][7][44] s[5][7][45] s[5][7][46] s[5][7][47] s[5][7][48] s[5][7][49] s[5][7][50] s[5][7][51] s[5][7][52] s[5][7][53] s[5][7][54] s[5][7][55] s[5][7][56] s[5][7][57] s[5][7][58] s[5][7][59] s[5][7][60] s[5][7][61] s[5][7][62] s[5][7][63] s[5][7][64] s[5][7][65] s[5][7][66] s[5][7][67] s[5][7][68] s[5][7][69] s[5][7][70] s[5][7][71] s[5][7][72] s[5][7][73] s[5][7][74] s[5][7][75] s[5][7][76] s[5][7][77] s[5][7][78] s[5][7][79] s[5][7][80] s[5][7][81] s[5][7][82] s[5][7][83] s[5][7][84] s[5][7][85] s[5][7][86] s[5][7][87] s[5][7][88] s[5][7][89] s[5][7][90] s[5][7][91] s[5][7][92] s[5][7][93] s[5][7][94] s[5][7][95] s[5][7][96] s[5][7][97] s[5][7][98] s[5][7][99] s[5][7][100] s[5][7][101] s[5][7][102] s[5][7][103] s[5][7][104] s[5][7][105] s[5][7][106] s[5][7][107] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][8][18] s[5][8][19] s[5][8][20] s[5][8][21] s[5][8][22] s[5][8][23] s[5][8][24] s[5][8][25] s[5][8][26] s[5][8][27] s[5][8][28] s[5][8][29] s[5][8][30] s[5][8][31] s[5][8][32] s[5][8][33] s[5][8][34] s[5][8][35] s[5][8][36] s[5][8][37] s[5][8][38] s[5][8][39] s[5][8][40] s[5][8][41] s[5][8][42] s[5][8][43] s[5][8][44] s[5][8][45] s[5][8][46] s[5][8][47] s[5][8][48] s[5][8][49] s[5][8][50] s[5][8][51] s[5][8][52] s[5][8][53] s[5][8][54] s[5][8][55] s[5][8][56] s[5][8][57] s[5][8][58] s[5][8][59] s[5][8][60] s[5][8][61] s[5][8][62] s[5][8][63] s[5][8][64] s[5][8][65] s[5][8][66] s[5][8][67] s[5][8][68] s[5][8][69] s[5][8][70] s[5][8][71] s[5][8][72] s[5][8][73] s[5][8][74] s[5][8][75] s[5][8][76] s[5][8][77] s[5][8][78] s[5][8][79] s[5][8][80] s[5][8][81] s[5][8][82] s[5][8][83] s[5][8][84] s[5][8][85] s[5][8][86] s[5][8][87] s[5][8][88] s[5][8][89] s[5][8][90] s[5][8][91] s[5][8][92] s[5][8][93] s[5][8][94] s[5][8][95] s[5][8][96] s[5][8][97] s[5][8][98] s[5][8][99] s[5][8][100] s[5][8][101] s[5][8][102] s[5][8][103] s[5][8][104] s[5][8][105] s[5][8][106] s[5][8][107] s[6][0][0] s[6][0][1] s[6][0][2] s[6][0][3] s[6][0][4] s[6][0][5] s[6][0][6] s[6][0][7] s[6][0][8] s[6][0][9] s[6][0][10] s[6][0][11] s[6][0][12] s[6][0][13] s[6][0][14] s[6][0][15] s[6][0][16] s[6][0][17] s[6][0][18] s[6][0][19] s[6][0][20] s[6][0][21] s[6][0][22] s[6][0][23] s[6][0][24] s[6][0][25] s[6][0][26] s[6][0][27] s[6][0][28] s[6][0][29] s[6][0][30] s[6][0][31] s[6][0][32] s[6][0][33] s[6][0][34] s[6][0][35] s[6][0][36] s[6][0][37] s[6][0][38] s[6][0][39] s[6][0][40] s[6][0][41] s[6][0][42] s[6][0][43] s[6][0][44] s[6][0][45] s[6][0][46] s[6][0][47] s[6][0][48] s[6][0][49] s[6][0][50] s[6][0][51] s[6][0][52] s[6][0][53] s[6][0][54] s[6][0][55] s[6][0][56] s[6][0][57] s[6][0][58] s[6][0][59] s[6][0][60] s[6][0][61] s[6][0][62] s[6][0][63] s[6][0][64] s[6][0][65] s[6][0][66] s[6][0][67] s[6][0][68] s[6][0][69] s[6][0][70] s[6][0][71] s[6][0][72] s[6][0][73] s[6][0][74] s[6][0][75] s[6][0][76] s[6][0][77] s[6][0][78] s[6][0][79] s[6][0][80] s[6][0][81] s[6][0][82] s[6][0][83] s[6][0][84] s[6][0][85] s[6][0][86] s[6][0][87] s[6][0][88] s[6][0][89] s[6][0][90] s[6][0][91] s[6][0][92] s[6][0][93] s[6][0][94] s[6][0][95] s[6][0][96] s[6][0][97] s[6][0][98] s[6][0][99] s[6][0][100] s[6][0][101] s[6][0][102] s[6][0][103] s[6][0][104] s[6][0][105] s[6][0][106] s[6][0][107] s[6][1][0] s[6][1][1] s[6][1][2] s[6][1][3] s[6][1][4] s[6][1][5] s[6][1][6] s[6][1][7] s[6][1][8] s[6][1][9] s[6][1][10] s[6][1][11] s[6][1][12] s[6][1][13] s[6][1][14] s[6][1][15] s[6][1][16] s[6][1][17] s[6][1][18] s[6][1][19] s[6][1][20] s[6][1][21] s[6][1][22] s[6][1][23] s[6][1][24] s[6][1][25] s[6][1][26] s[6][1][27] s[6][1][28] s[6][1][29] s[6][1][30] s[6][1][31] s[6][1][32] s[6][1][33] s[6][1][34] s[6][1][35] s[6][1][36] s[6][1][37] s[6][1][38] s[6][1][39] s[6][1][40] s[6][1][41] s[6][1][42] s[6][1][43] s[6][1][44] s[6][1][45] s[6][1][46] s[6][1][47] s[6][1][48] s[6][1][49] s[6][1][50] s[6][1][51] s[6][1][52] s[6][1][53] s[6][1][54] s[6][1][55] s[6][1][56] s[6][1][57] s[6][1][58] s[6][1][59] s[6][1][60] s[6][1][61] s[6][1][62] s[6][1][63] s[6][1][64] s[6][1][65] s[6][1][66] s[6][1][67] s[6][1][68] s[6][1][69] s[6][1][70] s[6][1][71] s[6][1][72] s[6][1][73] s[6][1][74] s[6][1][75] s[6][1][76] s[6][1][77] s[6][1][78] s[6][1][79] s[6][1][80] s[6][1][81] s[6][1][82] s[6][1][83] s[6][1][84] s[6][1][85] s[6][1][86] s[6][1][87] s[6][1][88] s[6][1][89] s[6][1][90] s[6][1][91] s[6][1][92] s[6][1][93] s[6][1][94] s[6][1][95] s[6][1][96] s[6][1][97] s[6][1][98] s[6][1][99] s[6][1][100] s[6][1][101] s[6][1][102] s[6][1][103] s[6][1][104] s[6][1][105] s[6][1][106] s[6][1][107] s[6][2][0] s[6][2][1] s[6][2][2] s[6][2][3] s[6][2][4] s[6][2][5] s[6][2][6] s[6][2][7] s[6][2][8] s[6][2][9] s[6][2][10] s[6][2][11] s[6][2][12] s[6][2][13] s[6][2][14] s[6][2][15] s[6][2][16] s[6][2][17] s[6][2][18] s[6][2][19] s[6][2][20] s[6][2][21] s[6][2][22] s[6][2][23] s[6][2][24] s[6][2][25] s[6][2][26] s[6][2][27] s[6][2][28] s[6][2][29] s[6][2][30] s[6][2][31] s[6][2][32] s[6][2][33] s[6][2][34] s[6][2][35] s[6][2][36] s[6][2][37] s[6][2][38] s[6][2][39] s[6][2][40] s[6][2][41] s[6][2][42] s[6][2][43] s[6][2][44] s[6][2][45] s[6][2][46] s[6][2][47] s[6][2][48] s[6][2][49] s[6][2][50] s[6][2][51] s[6][2][52] s[6][2][53] s[6][2][54] s[6][2][55] s[6][2][56] s[6][2][57] s[6][2][58] s[6][2][59] s[6][2][60] s[6][2][61] s[6][2][62] s[6][2][63] s[6][2][64] s[6][2][65] s[6][2][66] s[6][2][67] s[6][2][68] s[6][2][69] s[6][2][70] s[6][2][71] s[6][2][72] s[6][2][73] s[6][2][74] s[6][2][75] s[6][2][76] s[6][2][77] s[6][2][78] s[6][2][79] s[6][2][80] s[6][2][81] s[6][2][82] s[6][2][83] s[6][2][84] s[6][2][85] s[6][2][86] s[6][2][87] s[6][2][88] s[6][2][89] s[6][2][90] s[6][2][91] s[6][2][92] s[6][2][93] s[6][2][94] s[6][2][95] s[6][2][96] s[6][2][97] s[6][2][98] s[6][2][99] s[6][2][100] s[6][2][101] s[6][2][102] s[6][2][103] s[6][2][104] s[6][2][105] s[6][2][106] s[6][2][107] s[6][3][0] s[6][3][1] s[6][3][2] s[6][3][3] s[6][3][4] s[6][3][5] s[6][3][6] s[6][3][7] s[6][3][8] s[6][3][9] s[6][3][10] s[6][3][11] s[6][3][12] s[6][3][13] s[6][3][14] s[6][3][15] s[6][3][16] s[6][3][17] s[6][3][18] s[6][3][19] s[6][3][20] s[6][3][21] s[6][3][22] s[6][3][23] s[6][3][24] s[6][3][25] s[6][3][26] s[6][3][27] s[6][3][28] s[6][3][29] s[6][3][30] s[6][3][31] s[6][3][32] s[6][3][33] s[6][3][34] s[6][3][35] s[6][3][36] s[6][3][37] s[6][3][38] s[6][3][39] s[6][3][40] s[6][3][41] s[6][3][42] s[6][3][43] s[6][3][44] s[6][3][45] s[6][3][46] s[6][3][47] s[6][3][48] s[6][3][49] s[6][3][50] s[6][3][51] s[6][3][52] s[6][3][53] s[6][3][54] s[6][3][55] s[6][3][56] s[6][3][57] s[6][3][58] s[6][3][59] s[6][3][60] s[6][3][61] s[6][3][62] s[6][3][63] s[6][3][64] s[6][3][65] s[6][3][66] s[6][3][67] s[6][3][68] s[6][3][69] s[6][3][70] s[6][3][71] s[6][3][72] s[6][3][73] s[6][3][74] s[6][3][75] s[6][3][76] s[6][3][77] s[6][3][78] s[6][3][79] s[6][3][80] s[6][3][81] s[6][3][82] s[6][3][83] s[6][3][84] s[6][3][85] s[6][3][86] s[6][3][87] s[6][3][88] s[6][3][89] s[6][3][90] s[6][3][91] s[6][3][92] s[6][3][93] s[6][3][94] s[6][3][95] s[6][3][96] s[6][3][97] s[6][3][98] s[6][3][99] s[6][3][100] s[6][3][101] s[6][3][102] s[6][3][103] s[6][3][104] s[6][3][105] s[6][3][106] s[6][3][107] s[6][4][0] s[6][4][1] s[6][4][2] s[6][4][3] s[6][4][4] s[6][4][5] s[6][4][6] s[6][4][7] s[6][4][8] s[6][4][9] s[6][4][10] s[6][4][11] s[6][4][12] s[6][4][13] s[6][4][14] s[6][4][15] s[6][4][16] s[6][4][17] s[6][4][18] s[6][4][19] s[6][4][20] s[6][4][21] s[6][4][22] s[6][4][23] s[6][4][24] s[6][4][25] s[6][4][26] s[6][4][27] s[6][4][28] s[6][4][29] s[6][4][30] s[6][4][31] s[6][4][32] s[6][4][33] s[6][4][34] s[6][4][35] s[6][4][36] s[6][4][37] s[6][4][38] s[6][4][39] s[6][4][40] s[6][4][41] s[6][4][42] s[6][4][43] s[6][4][44] s[6][4][45] s[6][4][46] s[6][4][47] s[6][4][48] s[6][4][49] s[6][4][50] s[6][4][51] s[6][4][52] s[6][4][53] s[6][4][54] s[6][4][55] s[6][4][56] s[6][4][57] s[6][4][58] s[6][4][59] s[6][4][60] s[6][4][61] s[6][4][62] s[6][4][63] s[6][4][64] s[6][4][65] s[6][4][66] s[6][4][67] s[6][4][68] s[6][4][69] s[6][4][70] s[6][4][71] s[6][4][72] s[6][4][73] s[6][4][74] s[6][4][75] s[6][4][76] s[6][4][77] s[6][4][78] s[6][4][79] s[6][4][80] s[6][4][81] s[6][4][82] s[6][4][83] s[6][4][84] s[6][4][85] s[6][4][86] s[6][4][87] s[6][4][88] s[6][4][89] s[6][4][90] s[6][4][91] s[6][4][92] s[6][4][93] s[6][4][94] s[6][4][95] s[6][4][96] s[6][4][97] s[6][4][98] s[6][4][99] s[6][4][100] s[6][4][101] s[6][4][102] s[6][4][103] s[6][4][104] s[6][4][105] s[6][4][106] s[6][4][107] s[6][5][0] s[6][5][1] s[6][5][2] s[6][5][3] s[6][5][4] s[6][5][5] s[6][5][6] s[6][5][7] s[6][5][8] s[6][5][9] s[6][5][10] s[6][5][11] s[6][5][12] s[6][5][13] s[6][5][14] s[6][5][15] s[6][5][16] s[6][5][17] s[6][5][18] s[6][5][19] s[6][5][20] s[6][5][21] s[6][5][22] s[6][5][23] s[6][5][24] s[6][5][25] s[6][5][26] s[6][5][27] s[6][5][28] s[6][5][29] s[6][5][30] s[6][5][31] s[6][5][32] s[6][5][33] s[6][5][34] s[6][5][35] s[6][5][36] s[6][5][37] s[6][5][38] s[6][5][39] s[6][5][40] s[6][5][41] s[6][5][42] s[6][5][43] s[6][5][44] s[6][5][45] s[6][5][46] s[6][5][47] s[6][5][48] s[6][5][49] s[6][5][50] s[6][5][51] s[6][5][52] s[6][5][53] s[6][5][54] s[6][5][55] s[6][5][56] s[6][5][57] s[6][5][58] s[6][5][59] s[6][5][60] s[6][5][61] s[6][5][62] s[6][5][63] s[6][5][64] s[6][5][65] s[6][5][66] s[6][5][67] s[6][5][68] s[6][5][69] s[6][5][70] s[6][5][71] s[6][5][72] s[6][5][73] s[6][5][74] s[6][5][75] s[6][5][76] s[6][5][77] s[6][5][78] s[6][5][79] s[6][5][80] s[6][5][81] s[6][5][82] s[6][5][83] s[6][5][84] s[6][5][85] s[6][5][86] s[6][5][87] s[6][5][88] s[6][5][89] s[6][5][90] s[6][5][91] s[6][5][92] s[6][5][93] s[6][5][94] s[6][5][95] s[6][5][96] s[6][5][97] s[6][5][98] s[6][5][99] s[6][5][100] s[6][5][101] s[6][5][102] s[6][5][103] s[6][5][104] s[6][5][105] s[6][5][106] s[6][5][107] s[6][6][0] s[6][6][1] s[6][6][2] s[6][6][3] s[6][6][4] s[6][6][5] s[6][6][6] s[6][6][7] s[6][6][8] s[6][6][9] s[6][6][10] s[6][6][11] s[6][6][12] s[6][6][13] s[6][6][14] s[6][6][15] s[6][6][16] s[6][6][17] s[6][6][18] s[6][6][19] s[6][6][20] s[6][6][21] s[6][6][22] s[6][6][23] s[6][6][24] s[6][6][25] s[6][6][26] s[6][6][27] s[6][6][28] s[6][6][29] s[6][6][30] s[6][6][31] s[6][6][32] s[6][6][33] s[6][6][34] s[6][6][35] s[6][6][36] s[6][6][37] s[6][6][38] s[6][6][39] s[6][6][40] s[6][6][41] s[6][6][42] s[6][6][43] s[6][6][44] s[6][6][45] s[6][6][46] s[6][6][47] s[6][6][48] s[6][6][49] s[6][6][50] s[6][6][51] s[6][6][52] s[6][6][53] s[6][6][54] s[6][6][55] s[6][6][56] s[6][6][57] s[6][6][58] s[6][6][59] s[6][6][60] s[6][6][61] s[6][6][62] s[6][6][63] s[6][6][64] s[6][6][65] s[6][6][66] s[6][6][67] s[6][6][68] s[6][6][69] s[6][6][70] s[6][6][71] s[6][6][72] s[6][6][73] s[6][6][74] s[6][6][75] s[6][6][76] s[6][6][77] s[6][6][78] s[6][6][79] s[6][6][80] s[6][6][81] s[6][6][82] s[6][6][83] s[6][6][84] s[6][6][85] s[6][6][86] s[6][6][87] s[6][6][88] s[6][6][89] s[6][6][90] s[6][6][91] s[6][6][92] s[6][6][93] s[6][6][94] s[6][6][95] s[6][6][96] s[6][6][97] s[6][6][98] s[6][6][99] s[6][6][100] s[6][6][101] s[6][6][102] s[6][6][103] s[6][6][104] s[6][6][105] s[6][6][106] s[6][6][107] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][7][18] s[6][7][19] s[6][7][20] s[6][7][21] s[6][7][22] s[6][7][23] s[6][7][24] s[6][7][25] s[6][7][26] s[6][7][27] s[6][7][28] s[6][7][29] s[6][7][30] s[6][7][31] s[6][7][32] s[6][7][33] s[6][7][34] s[6][7][35] s[6][7][36] s[6][7][37] s[6][7][38] s[6][7][39] s[6][7][40] s[6][7][41] s[6][7][42] s[6][7][43] s[6][7][44] s[6][7][45] s[6][7][46] s[6][7][47] s[6][7][48] s[6][7][49] s[6][7][50] s[6][7][51] s[6][7][52] s[6][7][53] s[6][7][54] s[6][7][55] s[6][7][56] s[6][7][57] s[6][7][58] s[6][7][59] s[6][7][60] s[6][7][61] s[6][7][62] s[6][7][63] s[6][7][64] s[6][7][65] s[6][7][66] s[6][7][67] s[6][7][68] s[6][7][69] s[6][7][70] s[6][7][71] s[6][7][72] s[6][7][73] s[6][7][74] s[6][7][75] s[6][7][76] s[6][7][77] s[6][7][78] s[6][7][79] s[6][7][80] s[6][7][81] s[6][7][82] s[6][7][83] s[6][7][84] s[6][7][85] s[6][7][86] s[6][7][87] s[6][7][88] s[6][7][89] s[6][7][90] s[6][7][91] s[6][7][92] s[6][7][93] s[6][7][94] s[6][7][95] s[6][7][96] s[6][7][97] s[6][7][98] s[6][7][99] s[6][7][100] s[6][7][101] s[6][7][102] s[6][7][103] s[6][7][104] s[6][7][105] s[6][7][106] s[6][7][107] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][8][18] s[6][8][19] s[6][8][20] s[6][8][21] s[6][8][22] s[6][8][23] s[6][8][24] s[6][8][25] s[6][8][26] s[6][8][27] s[6][8][28] s[6][8][29] s[6][8][30] s[6][8][31] s[6][8][32] s[6][8][33] s[6][8][34] s[6][8][35] s[6][8][36] s[6][8][37] s[6][8][38] s[6][8][39] s[6][8][40] s[6][8][41] s[6][8][42] s[6][8][43] s[6][8][44] s[6][8][45] s[6][8][46] s[6][8][47] s[6][8][48] s[6][8][49] s[6][8][50] s[6][8][51] s[6][8][52] s[6][8][53] s[6][8][54] s[6][8][55] s[6][8][56] s[6][8][57] s[6][8][58] s[6][8][59] s[6][8][60] s[6][8][61] s[6][8][62] s[6][8][63] s[6][8][64] s[6][8][65] s[6][8][66] s[6][8][67] s[6][8][68] s[6][8][69] s[6][8][70] s[6][8][71] s[6][8][72] s[6][8][73] s[6][8][74] s[6][8][75] s[6][8][76] s[6][8][77] s[6][8][78] s[6][8][79] s[6][8][80] s[6][8][81] s[6][8][82] s[6][8][83] s[6][8][84] s[6][8][85] s[6][8][86] s[6][8][87] s[6][8][88] s[6][8][89] s[6][8][90] s[6][8][91] s[6][8][92] s[6][8][93] s[6][8][94] s[6][8][95] s[6][8][96] s[6][8][97] s[6][8][98] s[6][8][99] s[6][8][100] s[6][8][101] s[6][8][102] s[6][8][103] s[6][8][104] s[6][8][105] s[6][8][106] s[6][8][107] s[7][0][0] s[7][0][1] s[7][0][2] s[7][0][3] s[7][0][4] s[7][0][5] s[7][0][6] s[7][0][7] s[7][0][8] s[7][0][9] s[7][0][10] s[7][0][11] s[7][0][12] s[7][0][13] s[7][0][14] s[7][0][15] s[7][0][16] s[7][0][17] s[7][0][18] s[7][0][19] s[7][0][20] s[7][0][21] s[7][0][22] s[7][0][23] s[7][0][24] s[7][0][25] s[7][0][26] s[7][0][27] s[7][0][28] s[7][0][29] s[7][0][30] s[7][0][31] s[7][0][32] s[7][0][33] s[7][0][34] s[7][0][35] s[7][0][36] s[7][0][37] s[7][0][38] s[7][0][39] s[7][0][40] s[7][0][41] s[7][0][42] s[7][0][43] s[7][0][44] s[7][0][45] s[7][0][46] s[7][0][47] s[7][0][48] s[7][0][49] s[7][0][50] s[7][0][51] s[7][0][52] s[7][0][53] s[7][0][54] s[7][0][55] s[7][0][56] s[7][0][57] s[7][0][58] s[7][0][59] s[7][0][60] s[7][0][61] s[7][0][62] s[7][0][63] s[7][0][64] s[7][0][65] s[7][0][66] s[7][0][67] s[7][0][68] s[7][0][69] s[7][0][70] s[7][0][71] s[7][0][72] s[7][0][73] s[7][0][74] s[7][0][75] s[7][0][76] s[7][0][77] s[7][0][78] s[7][0][79] s[7][0][80] s[7][0][81] s[7][0][82] s[7][0][83] s[7][0][84] s[7][0][85] s[7][0][86] s[7][0][87] s[7][0][88] s[7][0][89] s[7][0][90] s[7][0][91] s[7][0][92] s[7][0][93] s[7][0][94] s[7][0][95] s[7][0][96] s[7][0][97] s[7][0][98] s[7][0][99] s[7][0][100] s[7][0][101] s[7][0][102] s[7][0][103] s[7][0][104] s[7][0][105] s[7][0][106] s[7][0][107] s[7][1][0] s[7][1][1] s[7][1][2] s[7][1][3] s[7][1][4] s[7][1][5] s[7][1][6] s[7][1][7] s[7][1][8] s[7][1][9] s[7][1][10] s[7][1][11] s[7][1][12] s[7][1][13] s[7][1][14] s[7][1][15] s[7][1][16] s[7][1][17] s[7][1][18] s[7][1][19] s[7][1][20] s[7][1][21] s[7][1][22] s[7][1][23] s[7][1][24] s[7][1][25] s[7][1][26] s[7][1][27] s[7][1][28] s[7][1][29] s[7][1][30] s[7][1][31] s[7][1][32] s[7][1][33] s[7][1][34] s[7][1][35] s[7][1][36] s[7][1][37] s[7][1][38] s[7][1][39] s[7][1][40] s[7][1][41] s[7][1][42] s[7][1][43] s[7][1][44] s[7][1][45] s[7][1][46] s[7][1][47] s[7][1][48] s[7][1][49] s[7][1][50] s[7][1][51] s[7][1][52] s[7][1][53] s[7][1][54] s[7][1][55] s[7][1][56] s[7][1][57] s[7][1][58] s[7][1][59] s[7][1][60] s[7][1][61] s[7][1][62] s[7][1][63] s[7][1][64] s[7][1][65] s[7][1][66] s[7][1][67] s[7][1][68] s[7][1][69] s[7][1][70] s[7][1][71] s[7][1][72] s[7][1][73] s[7][1][74] s[7][1][75] s[7][1][76] s[7][1][77] s[7][1][78] s[7][1][79] s[7][1][80] s[7][1][81] s[7][1][82] s[7][1][83] s[7][1][84] s[7][1][85] s[7][1][86] s[7][1][87] s[7][1][88] s[7][1][89] s[7][1][90] s[7][1][91] s[7][1][92] s[7][1][93] s[7][1][94] s[7][1][95] s[7][1][96] s[7][1][97] s[7][1][98] s[7][1][99] s[7][1][100] s[7][1][101] s[7][1][102] s[7][1][103] s[7][1][104] s[7][1][105] s[7][1][106] s[7][1][107] s[7][2][0] s[7][2][1] s[7][2][2] s[7][2][3] s[7][2][4] s[7][2][5] s[7][2][6] s[7][2][7] s[7][2][8] s[7][2][9] s[7][2][10] s[7][2][11] s[7][2][12] s[7][2][13] s[7][2][14] s[7][2][15] s[7][2][16] s[7][2][17] s[7][2][18] s[7][2][19] s[7][2][20] s[7][2][21] s[7][2][22] s[7][2][23] s[7][2][24] s[7][2][25] s[7][2][26] s[7][2][27] s[7][2][28] s[7][2][29] s[7][2][30] s[7][2][31] s[7][2][32] s[7][2][33] s[7][2][34] s[7][2][35] s[7][2][36] s[7][2][37] s[7][2][38] s[7][2][39] s[7][2][40] s[7][2][41] s[7][2][42] s[7][2][43] s[7][2][44] s[7][2][45] s[7][2][46] s[7][2][47] s[7][2][48] s[7][2][49] s[7][2][50] s[7][2][51] s[7][2][52] s[7][2][53] s[7][2][54] s[7][2][55] s[7][2][56] s[7][2][57] s[7][2][58] s[7][2][59] s[7][2][60] s[7][2][61] s[7][2][62] s[7][2][63] s[7][2][64] s[7][2][65] s[7][2][66] s[7][2][67] s[7][2][68] s[7][2][69] s[7][2][70] s[7][2][71] s[7][2][72] s[7][2][73] s[7][2][74] s[7][2][75] s[7][2][76] s[7][2][77] s[7][2][78] s[7][2][79] s[7][2][80] s[7][2][81] s[7][2][82] s[7][2][83] s[7][2][84] s[7][2][85] s[7][2][86] s[7][2][87] s[7][2][88] s[7][2][89] s[7][2][90] s[7][2][91] s[7][2][92] s[7][2][93] s[7][2][94] s[7][2][95] s[7][2][96] s[7][2][97] s[7][2][98] s[7][2][99] s[7][2][100] s[7][2][101] s[7][2][102] s[7][2][103] s[7][2][104] s[7][2][105] s[7][2][106] s[7][2][107] s[7][3][0] s[7][3][1] s[7][3][2] s[7][3][3] s[7][3][4] s[7][3][5] s[7][3][6] s[7][3][7] s[7][3][8] s[7][3][9] s[7][3][10] s[7][3][11] s[7][3][12] s[7][3][13] s[7][3][14] s[7][3][15] s[7][3][16] s[7][3][17] s[7][3][18] s[7][3][19] s[7][3][20] s[7][3][21] s[7][3][22] s[7][3][23] s[7][3][24] s[7][3][25] s[7][3][26] s[7][3][27] s[7][3][28] s[7][3][29] s[7][3][30] s[7][3][31] s[7][3][32] s[7][3][33] s[7][3][34] s[7][3][35] s[7][3][36] s[7][3][37] s[7][3][38] s[7][3][39] s[7][3][40] s[7][3][41] s[7][3][42] s[7][3][43] s[7][3][44] s[7][3][45] s[7][3][46] s[7][3][47] s[7][3][48] s[7][3][49] s[7][3][50] s[7][3][51] s[7][3][52] s[7][3][53] s[7][3][54] s[7][3][55] s[7][3][56] s[7][3][57] s[7][3][58] s[7][3][59] s[7][3][60] s[7][3][61] s[7][3][62] s[7][3][63] s[7][3][64] s[7][3][65] s[7][3][66] s[7][3][67] s[7][3][68] s[7][3][69] s[7][3][70] s[7][3][71] s[7][3][72] s[7][3][73] s[7][3][74] s[7][3][75] s[7][3][76] s[7][3][77] s[7][3][78] s[7][3][79] s[7][3][80] s[7][3][81] s[7][3][82] s[7][3][83] s[7][3][84] s[7][3][85] s[7][3][86] s[7][3][87] s[7][3][88] s[7][3][89] s[7][3][90] s[7][3][91] s[7][3][92] s[7][3][93] s[7][3][94] s[7][3][95] s[7][3][96] s[7][3][97] s[7][3][98] s[7][3][99] s[7][3][100] s[7][3][101] s[7][3][102] s[7][3][103] s[7][3][104] s[7][3][105] s[7][3][106] s[7][3][107] s[7][4][0] s[7][4][1] s[7][4][2] s[7][4][3] s[7][4][4] s[7][4][5] s[7][4][6] s[7][4][7] s[7][4][8] s[7][4][9] s[7][4][10] s[7][4][11] s[7][4][12] s[7][4][13] s[7][4][14] s[7][4][15] s[7][4][16] s[7][4][17] s[7][4][18] s[7][4][19] s[7][4][20] s[7][4][21] s[7][4][22] s[7][4][23] s[7][4][24] s[7][4][25] s[7][4][26] s[7][4][27] s[7][4][28] s[7][4][29] s[7][4][30] s[7][4][31] s[7][4][32] s[7][4][33] s[7][4][34] s[7][4][35] s[7][4][36] s[7][4][37] s[7][4][38] s[7][4][39] s[7][4][40] s[7][4][41] s[7][4][42] s[7][4][43] s[7][4][44] s[7][4][45] s[7][4][46] s[7][4][47] s[7][4][48] s[7][4][49] s[7][4][50] s[7][4][51] s[7][4][52] s[7][4][53] s[7][4][54] s[7][4][55] s[7][4][56] s[7][4][57] s[7][4][58] s[7][4][59] s[7][4][60] s[7][4][61] s[7][4][62] s[7][4][63] s[7][4][64] s[7][4][65] s[7][4][66] s[7][4][67] s[7][4][68] s[7][4][69] s[7][4][70] s[7][4][71] s[7][4][72] s[7][4][73] s[7][4][74] s[7][4][75] s[7][4][76] s[7][4][77] s[7][4][78] s[7][4][79] s[7][4][80] s[7][4][81] s[7][4][82] s[7][4][83] s[7][4][84] s[7][4][85] s[7][4][86] s[7][4][87] s[7][4][88] s[7][4][89] s[7][4][90] s[7][4][91] s[7][4][92] s[7][4][93] s[7][4][94] s[7][4][95] s[7][4][96] s[7][4][97] s[7][4][98] s[7][4][99] s[7][4][100] s[7][4][101] s[7][4][102] s[7][4][103] s[7][4][104] s[7][4][105] s[7][4][106] s[7][4][107] s[7][5][0] s[7][5][1] s[7][5][2] s[7][5][3] s[7][5][4] s[7][5][5] s[7][5][6] s[7][5][7] s[7][5][8] s[7][5][9] s[7][5][10] s[7][5][11] s[7][5][12] s[7][5][13] s[7][5][14] s[7][5][15] s[7][5][16] s[7][5][17] s[7][5][18] s[7][5][19] s[7][5][20] s[7][5][21] s[7][5][22] s[7][5][23] s[7][5][24] s[7][5][25] s[7][5][26] s[7][5][27] s[7][5][28] s[7][5][29] s[7][5][30] s[7][5][31] s[7][5][32] s[7][5][33] s[7][5][34] s[7][5][35] s[7][5][36] s[7][5][37] s[7][5][38] s[7][5][39] s[7][5][40] s[7][5][41] s[7][5][42] s[7][5][43] s[7][5][44] s[7][5][45] s[7][5][46] s[7][5][47] s[7][5][48] s[7][5][49] s[7][5][50] s[7][5][51] s[7][5][52] s[7][5][53] s[7][5][54] s[7][5][55] s[7][5][56] s[7][5][57] s[7][5][58] s[7][5][59] s[7][5][60] s[7][5][61] s[7][5][62] s[7][5][63] s[7][5][64] s[7][5][65] s[7][5][66] s[7][5][67] s[7][5][68] s[7][5][69] s[7][5][70] s[7][5][71] s[7][5][72] s[7][5][73] s[7][5][74] s[7][5][75] s[7][5][76] s[7][5][77] s[7][5][78] s[7][5][79] s[7][5][80] s[7][5][81] s[7][5][82] s[7][5][83] s[7][5][84] s[7][5][85] s[7][5][86] s[7][5][87] s[7][5][88] s[7][5][89] s[7][5][90] s[7][5][91] s[7][5][92] s[7][5][93] s[7][5][94] s[7][5][95] s[7][5][96] s[7][5][97] s[7][5][98] s[7][5][99] s[7][5][100] s[7][5][101] s[7][5][102] s[7][5][103] s[7][5][104] s[7][5][105] s[7][5][106] s[7][5][107] s[7][6][0] s[7][6][1] s[7][6][2] s[7][6][3] s[7][6][4] s[7][6][5] s[7][6][6] s[7][6][7] s[7][6][8] s[7][6][9] s[7][6][10] s[7][6][11] s[7][6][12] s[7][6][13] s[7][6][14] s[7][6][15] s[7][6][16] s[7][6][17] s[7][6][18] s[7][6][19] s[7][6][20] s[7][6][21] s[7][6][22] s[7][6][23] s[7][6][24] s[7][6][25] s[7][6][26] s[7][6][27] s[7][6][28] s[7][6][29] s[7][6][30] s[7][6][31] s[7][6][32] s[7][6][33] s[7][6][34] s[7][6][35] s[7][6][36] s[7][6][37] s[7][6][38] s[7][6][39] s[7][6][40] s[7][6][41] s[7][6][42] s[7][6][43] s[7][6][44] s[7][6][45] s[7][6][46] s[7][6][47] s[7][6][48] s[7][6][49] s[7][6][50] s[7][6][51] s[7][6][52] s[7][6][53] s[7][6][54] s[7][6][55] s[7][6][56] s[7][6][57] s[7][6][58] s[7][6][59] s[7][6][60] s[7][6][61] s[7][6][62] s[7][6][63] s[7][6][64] s[7][6][65] s[7][6][66] s[7][6][67] s[7][6][68] s[7][6][69] s[7][6][70] s[7][6][71] s[7][6][72] s[7][6][73] s[7][6][74] s[7][6][75] s[7][6][76] s[7][6][77] s[7][6][78] s[7][6][79] s[7][6][80] s[7][6][81] s[7][6][82] s[7][6][83] s[7][6][84] s[7][6][85] s[7][6][86] s[7][6][87] s[7][6][88] s[7][6][89] s[7][6][90] s[7][6][91] s[7][6][92] s[7][6][93] s[7][6][94] s[7][6][95] s[7][6][96] s[7][6][97] s[7][6][98] s[7][6][99] s[7][6][100] s[7][6][101] s[7][6][102] s[7][6][103] s[7][6][104] s[7][6][105] s[7][6][106] s[7][6][107] s[7][7][0] s[7][7][1] s[7][7][2] s[7][7][3] s[7][7][4] s[7][7][5] s[7][7][6] s[7][7][7] s[7][7][8] s[7][7][9] s[7][7][10] s[7][7][11] s[7][7][12] s[7][7][13] s[7][7][14] s[7][7][15] s[7][7][16] s[7][7][17] s[7][7][18] s[7][7][19] s[7][7][20] s[7][7][21] s[7][7][22] s[7][7][23] s[7][7][24] s[7][7][25] s[7][7][26] s[7][7][27] s[7][7][28] s[7][7][29] s[7][7][30] s[7][7][31] s[7][7][32] s[7][7][33] s[7][7][34] s[7][7][35] s[7][7][36] s[7][7][37] s[7][7][38] s[7][7][39] s[7][7][40] s[7][7][41] s[7][7][42] s[7][7][43] s[7][7][44] s[7][7][45] s[7][7][46] s[7][7][47] s[7][7][48] s[7][7][49] s[7][7][50] s[7][7][51] s[7][7][52] s[7][7][53] s[7][7][54] s[7][7][55] s[7][7][56] s[7][7][57] s[7][7][58] s[7][7][59] s[7][7][60] s[7][7][61] s[7][7][62] s[7][7][63] s[7][7][64] s[7][7][65] s[7][7][66] s[7][7][67] s[7][7][68] s[7][7][69] s[7][7][70] s[7][7][71] s[7][7][72] s[7][7][73] s[7][7][74] s[7][7][75] s[7][7][76] s[7][7][77] s[7][7][78] s[7][7][79] s[7][7][80] s[7][7][81] s[7][7][82] s[7][7][83] s[7][7][84] s[7][7][85] s[7][7][86] s[7][7][87] s[7][7][88] s[7][7][89] s[7][7][90] s[7][7][91] s[7][7][92] s[7][7][93] s[7][7][94] s[7][7][95] s[7][7][96] s[7][7][97] s[7][7][98] s[7][7][99] s[7][7][100] s[7][7][101] s[7][7][102] s[7][7][103] s[7][7][104] s[7][7][105] s[7][7][106] s[7][7][107] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][8][18] s[7][8][19] s[7][8][20] s[7][8][21] s[7][8][22] s[7][8][23] s[7][8][24] s[7][8][25] s[7][8][26] s[7][8][27] s[7][8][28] s[7][8][29] s[7][8][30] s[7][8][31] s[7][8][32] s[7][8][33] s[7][8][34] s[7][8][35] s[7][8][36] s[7][8][37] s[7][8][38] s[7][8][39] s[7][8][40] s[7][8][41] s[7][8][42] s[7][8][43] s[7][8][44] s[7][8][45] s[7][8][46] s[7][8][47] s[7][8][48] s[7][8][49] s[7][8][50] s[7][8][51] s[7][8][52] s[7][8][53] s[7][8][54] s[7][8][55] s[7][8][56] s[7][8][57] s[7][8][58] s[7][8][59] s[7][8][60] s[7][8][61] s[7][8][62] s[7][8][63] s[7][8][64] s[7][8][65] s[7][8][66] s[7][8][67] s[7][8][68] s[7][8][69] s[7][8][70] s[7][8][71] s[7][8][72] s[7][8][73] s[7][8][74] s[7][8][75] s[7][8][76] s[7][8][77] s[7][8][78] s[7][8][79] s[7][8][80] s[7][8][81] s[7][8][82] s[7][8][83] s[7][8][84] s[7][8][85] s[7][8][86] s[7][8][87] s[7][8][88] s[7][8][89] s[7][8][90] s[7][8][91] s[7][8][92] s[7][8][93] s[7][8][94] s[7][8][95] s[7][8][96] s[7][8][97] s[7][8][98] s[7][8][99] s[7][8][100] s[7][8][101] s[7][8][102] s[7][8][103] s[7][8][104] s[7][8][105] s[7][8][106] s[7][8][107] s[8][0][0] s[8][0][1] s[8][0][2] s[8][0][3] s[8][0][4] s[8][0][5] s[8][0][6] s[8][0][7] s[8][0][8] s[8][0][9] s[8][0][10] s[8][0][11] s[8][0][12] s[8][0][13] s[8][0][14] s[8][0][15] s[8][0][16] s[8][0][17] s[8][0][18] s[8][0][19] s[8][0][20] s[8][0][21] s[8][0][22] s[8][0][23] s[8][0][24] s[8][0][25] s[8][0][26] s[8][0][27] s[8][0][28] s[8][0][29] s[8][0][30] s[8][0][31] s[8][0][32] s[8][0][33] s[8][0][34] s[8][0][35] s[8][0][36] s[8][0][37] s[8][0][38] s[8][0][39] s[8][0][40] s[8][0][41] s[8][0][42] s[8][0][43] s[8][0][44] s[8][0][45] s[8][0][46] s[8][0][47] s[8][0][48] s[8][0][49] s[8][0][50] s[8][0][51] s[8][0][52] s[8][0][53] s[8][0][54] s[8][0][55] s[8][0][56] s[8][0][57] s[8][0][58] s[8][0][59] s[8][0][60] s[8][0][61] s[8][0][62] s[8][0][63] s[8][0][64] s[8][0][65] s[8][0][66] s[8][0][67] s[8][0][68] s[8][0][69] s[8][0][70] s[8][0][71] s[8][0][72] s[8][0][73] s[8][0][74] s[8][0][75] s[8][0][76] s[8][0][77] s[8][0][78] s[8][0][79] s[8][0][80] s[8][0][81] s[8][0][82] s[8][0][83] s[8][0][84] s[8][0][85] s[8][0][86] s[8][0][87] s[8][0][88] s[8][0][89] s[8][0][90] s[8][0][91] s[8][0][92] s[8][0][93] s[8][0][94] s[8][0][95] s[8][0][96] s[8][0][97] s[8][0][98] s[8][0][99] s[8][0][100] s[8][0][101] s[8][0][102] s[8][0][103] s[8][0][104] s[8][0][105] s[8][0][106] s[8][0][107] s[8][1][0] s[8][1][1] s[8][1][2] s[8][1][3] s[8][1][4] s[8][1][5] s[8][1][6] s[8][1][7] s[8][1][8] s[8][1][9] s[8][1][10] s[8][1][11] s[8][1][12] s[8][1][13] s[8][1][14] s[8][1][15] s[8][1][16] s[8][1][17] s[8][1][18] s[8][1][19] s[8][1][20] s[8][1][21] s[8][1][22] s[8][1][23] s[8][1][24] s[8][1][25] s[8][1][26] s[8][1][27] s[8][1][28] s[8][1][29] s[8][1][30] s[8][1][31] s[8][1][32] s[8][1][33] s[8][1][34] s[8][1][35] s[8][1][36] s[8][1][37] s[8][1][38] s[8][1][39] s[8][1][40] s[8][1][41] s[8][1][42] s[8][1][43] s[8][1][44] s[8][1][45] s[8][1][46] s[8][1][47] s[8][1][48] s[8][1][49] s[8][1][50] s[8][1][51] s[8][1][52] s[8][1][53] s[8][1][54] s[8][1][55] s[8][1][56] s[8][1][57] s[8][1][58] s[8][1][59] s[8][1][60] s[8][1][61] s[8][1][62] s[8][1][63] s[8][1][64] s[8][1][65] s[8][1][66] s[8][1][67] s[8][1][68] s[8][1][69] s[8][1][70] s[8][1][71] s[8][1][72] s[8][1][73] s[8][1][74] s[8][1][75] s[8][1][76] s[8][1][77] s[8][1][78] s[8][1][79] s[8][1][80] s[8][1][81] s[8][1][82] s[8][1][83] s[8][1][84] s[8][1][85] s[8][1][86] s[8][1][87] s[8][1][88] s[8][1][89] s[8][1][90] s[8][1][91] s[8][1][92] s[8][1][93] s[8][1][94] s[8][1][95] s[8][1][96] s[8][1][97] s[8][1][98] s[8][1][99] s[8][1][100] s[8][1][101] s[8][1][102] s[8][1][103] s[8][1][104] s[8][1][105] s[8][1][106] s[8][1][107] s[8][2][0] s[8][2][1] s[8][2][2] s[8][2][3] s[8][2][4] s[8][2][5] s[8][2][6] s[8][2][7] s[8][2][8] s[8][2][9] s[8][2][10] s[8][2][11] s[8][2][12] s[8][2][13] s[8][2][14] s[8][2][15] s[8][2][16] s[8][2][17] s[8][2][18] s[8][2][19] s[8][2][20] s[8][2][21] s[8][2][22] s[8][2][23] s[8][2][24] s[8][2][25] s[8][2][26] s[8][2][27] s[8][2][28] s[8][2][29] s[8][2][30] s[8][2][31] s[8][2][32] s[8][2][33] s[8][2][34] s[8][2][35] s[8][2][36] s[8][2][37] s[8][2][38] s[8][2][39] s[8][2][40] s[8][2][41] s[8][2][42] s[8][2][43] s[8][2][44] s[8][2][45] s[8][2][46] s[8][2][47] s[8][2][48] s[8][2][49] s[8][2][50] s[8][2][51] s[8][2][52] s[8][2][53] s[8][2][54] s[8][2][55] s[8][2][56] s[8][2][57] s[8][2][58] s[8][2][59] s[8][2][60] s[8][2][61] s[8][2][62] s[8][2][63] s[8][2][64] s[8][2][65] s[8][2][66] s[8][2][67] s[8][2][68] s[8][2][69] s[8][2][70] s[8][2][71] s[8][2][72] s[8][2][73] s[8][2][74] s[8][2][75] s[8][2][76] s[8][2][77] s[8][2][78] s[8][2][79] s[8][2][80] s[8][2][81] s[8][2][82] s[8][2][83] s[8][2][84] s[8][2][85] s[8][2][86] s[8][2][87] s[8][2][88] s[8][2][89] s[8][2][90] s[8][2][91] s[8][2][92] s[8][2][93] s[8][2][94] s[8][2][95] s[8][2][96] s[8][2][97] s[8][2][98] s[8][2][99] s[8][2][100] s[8][2][101] s[8][2][102] s[8][2][103] s[8][2][104] s[8][2][105] s[8][2][106] s[8][2][107] s[8][3][0] s[8][3][1] s[8][3][2] s[8][3][3] s[8][3][4] s[8][3][5] s[8][3][6] s[8][3][7] s[8][3][8] s[8][3][9] s[8][3][10] s[8][3][11] s[8][3][12] s[8][3][13] s[8][3][14] s[8][3][15] s[8][3][16] s[8][3][17] s[8][3][18] s[8][3][19] s[8][3][20] s[8][3][21] s[8][3][22] s[8][3][23] s[8][3][24] s[8][3][25] s[8][3][26] s[8][3][27] s[8][3][28] s[8][3][29] s[8][3][30] s[8][3][31] s[8][3][32] s[8][3][33] s[8][3][34] s[8][3][35] s[8][3][36] s[8][3][37] s[8][3][38] s[8][3][39] s[8][3][40] s[8][3][41] s[8][3][42] s[8][3][43] s[8][3][44] s[8][3][45] s[8][3][46] s[8][3][47] s[8][3][48] s[8][3][49] s[8][3][50] s[8][3][51] s[8][3][52] s[8][3][53] s[8][3][54] s[8][3][55] s[8][3][56] s[8][3][57] s[8][3][58] s[8][3][59] s[8][3][60] s[8][3][61] s[8][3][62] s[8][3][63] s[8][3][64] s[8][3][65] s[8][3][66] s[8][3][67] s[8][3][68] s[8][3][69] s[8][3][70] s[8][3][71] s[8][3][72] s[8][3][73] s[8][3][74] s[8][3][75] s[8][3][76] s[8][3][77] s[8][3][78] s[8][3][79] s[8][3][80] s[8][3][81] s[8][3][82] s[8][3][83] s[8][3][84] s[8][3][85] s[8][3][86] s[8][3][87] s[8][3][88] s[8][3][89] s[8][3][90] s[8][3][91] s[8][3][92] s[8][3][93] s[8][3][94] s[8][3][95] s[8][3][96] s[8][3][97] s[8][3][98] s[8][3][99] s[8][3][100] s[8][3][101] s[8][3][102] s[8][3][103] s[8][3][104] s[8][3][105] s[8][3][106] s[8][3][107] s[8][4][0] s[8][4][1] s[8][4][2] s[8][4][3] s[8][4][4] s[8][4][5] s[8][4][6] s[8][4][7] s[8][4][8] s[8][4][9] s[8][4][10] s[8][4][11] s[8][4][12] s[8][4][13] s[8][4][14] s[8][4][15] s[8][4][16] s[8][4][17] s[8][4][18] s[8][4][19] s[8][4][20] s[8][4][21] s[8][4][22] s[8][4][23] s[8][4][24] s[8][4][25] s[8][4][26] s[8][4][27] s[8][4][28] s[8][4][29] s[8][4][30] s[8][4][31] s[8][4][32] s[8][4][33] s[8][4][34] s[8][4][35] s[8][4][36] s[8][4][37] s[8][4][38] s[8][4][39] s[8][4][40] s[8][4][41] s[8][4][42] s[8][4][43] s[8][4][44] s[8][4][45] s[8][4][46] s[8][4][47] s[8][4][48] s[8][4][49] s[8][4][50] s[8][4][51] s[8][4][52] s[8][4][53] s[8][4][54] s[8][4][55] s[8][4][56] s[8][4][57] s[8][4][58] s[8][4][59] s[8][4][60] s[8][4][61] s[8][4][62] s[8][4][63] s[8][4][64] s[8][4][65] s[8][4][66] s[8][4][67] s[8][4][68] s[8][4][69] s[8][4][70] s[8][4][71] s[8][4][72] s[8][4][73] s[8][4][74] s[8][4][75] s[8][4][76] s[8][4][77] s[8][4][78] s[8][4][79] s[8][4][80] s[8][4][81] s[8][4][82] s[8][4][83] s[8][4][84] s[8][4][85] s[8][4][86] s[8][4][87] s[8][4][88] s[8][4][89] s[8][4][90] s[8][4][91] s[8][4][92] s[8][4][93] s[8][4][94] s[8][4][95] s[8][4][96] s[8][4][97] s[8][4][98] s[8][4][99] s[8][4][100] s[8][4][101] s[8][4][102] s[8][4][103] s[8][4][104] s[8][4][105] s[8][4][106] s[8][4][107] s[8][5][0] s[8][5][1] s[8][5][2] s[8][5][3] s[8][5][4] s[8][5][5] s[8][5][6] s[8][5][7] s[8][5][8] s[8][5][9] s[8][5][10] s[8][5][11] s[8][5][12] s[8][5][13] s[8][5][14] s[8][5][15] s[8][5][16] s[8][5][17] s[8][5][18] s[8][5][19] s[8][5][20] s[8][5][21] s[8][5][22] s[8][5][23] s[8][5][24] s[8][5][25] s[8][5][26] s[8][5][27] s[8][5][28] s[8][5][29] s[8][5][30] s[8][5][31] s[8][5][32] s[8][5][33] s[8][5][34] s[8][5][35] s[8][5][36] s[8][5][37] s[8][5][38] s[8][5][39] s[8][5][40] s[8][5][41] s[8][5][42] s[8][5][43] s[8][5][44] s[8][5][45] s[8][5][46] s[8][5][47] s[8][5][48] s[8][5][49] s[8][5][50] s[8][5][51] s[8][5][52] s[8][5][53] s[8][5][54] s[8][5][55] s[8][5][56] s[8][5][57] s[8][5][58] s[8][5][59] s[8][5][60] s[8][5][61] s[8][5][62] s[8][5][63] s[8][5][64] s[8][5][65] s[8][5][66] s[8][5][67] s[8][5][68] s[8][5][69] s[8][5][70] s[8][5][71] s[8][5][72] s[8][5][73] s[8][5][74] s[8][5][75] s[8][5][76] s[8][5][77] s[8][5][78] s[8][5][79] s[8][5][80] s[8][5][81] s[8][5][82] s[8][5][83] s[8][5][84] s[8][5][85] s[8][5][86] s[8][5][87] s[8][5][88] s[8][5][89] s[8][5][90] s[8][5][91] s[8][5][92] s[8][5][93] s[8][5][94] s[8][5][95] s[8][5][96] s[8][5][97] s[8][5][98] s[8][5][99] s[8][5][100] s[8][5][101] s[8][5][102] s[8][5][103] s[8][5][104] s[8][5][105] s[8][5][106] s[8][5][107] s[8][6][0] s[8][6][1] s[8][6][2] s[8][6][3] s[8][6][4] s[8][6][5] s[8][6][6] s[8][6][7] s[8][6][8] s[8][6][9] s[8][6][10] s[8][6][11] s[8][6][12] s[8][6][13] s[8][6][14] s[8][6][15] s[8][6][16] s[8][6][17] s[8][6][18] s[8][6][19] s[8][6][20] s[8][6][21] s[8][6][22] s[8][6][23] s[8][6][24] s[8][6][25] s[8][6][26] s[8][6][27] s[8][6][28] s[8][6][29] s[8][6][30] s[8][6][31] s[8][6][32] s[8][6][33] s[8][6][34] s[8][6][35] s[8][6][36] s[8][6][37] s[8][6][38] s[8][6][39] s[8][6][40] s[8][6][41] s[8][6][42] s[8][6][43] s[8][6][44] s[8][6][45] s[8][6][46] s[8][6][47] s[8][6][48] s[8][6][49] s[8][6][50] s[8][6][51] s[8][6][52] s[8][6][53] s[8][6][54] s[8][6][55] s[8][6][56] s[8][6][57] s[8][6][58] s[8][6][59] s[8][6][60] s[8][6][61] s[8][6][62] s[8][6][63] s[8][6][64] s[8][6][65] s[8][6][66] s[8][6][67] s[8][6][68] s[8][6][69] s[8][6][70] s[8][6][71] s[8][6][72] s[8][6][73] s[8][6][74] s[8][6][75] s[8][6][76] s[8][6][77] s[8][6][78] s[8][6][79] s[8][6][80] s[8][6][81] s[8][6][82] s[8][6][83] s[8][6][84] s[8][6][85] s[8][6][86] s[8][6][87] s[8][6][88] s[8][6][89] s[8][6][90] s[8][6][91] s[8][6][92] s[8][6][93] s[8][6][94] s[8][6][95] s[8][6][96] s[8][6][97] s[8][6][98] s[8][6][99] s[8][6][100] s[8][6][101] s[8][6][102] s[8][6][103] s[8][6][104] s[8][6][105] s[8][6][106] s[8][6][107] s[8][7][0] s[8][7][1] s[8][7][2] s[8][7][3] s[8][7][4] s[8][7][5] s[8][7][6] s[8][7][7] s[8][7][8] s[8][7][9] s[8][7][10] s[8][7][11] s[8][7][12] s[8][7][13] s[8][7][14] s[8][7][15] s[8][7][16] s[8][7][17] s[8][7][18] s[8][7][19] s[8][7][20] s[8][7][21] s[8][7][22] s[8][7][23] s[8][7][24] s[8][7][25] s[8][7][26] s[8][7][27] s[8][7][28] s[8][7][29] s[8][7][30] s[8][7][31] s[8][7][32] s[8][7][33] s[8][7][34] s[8][7][35] s[8][7][36] s[8][7][37] s[8][7][38] s[8][7][39] s[8][7][40] s[8][7][41] s[8][7][42] s[8][7][43] s[8][7][44] s[8][7][45] s[8][7][46] s[8][7][47] s[8][7][48] s[8][7][49] s[8][7][50] s[8][7][51] s[8][7][52] s[8][7][53] s[8][7][54] s[8][7][55] s[8][7][56] s[8][7][57] s[8][7][58] s[8][7][59] s[8][7][60] s[8][7][61] s[8][7][62] s[8][7][63] s[8][7][64] s[8][7][65] s[8][7][66] s[8][7][67] s[8][7][68] s[8][7][69] s[8][7][70] s[8][7][71] s[8][7][72] s[8][7][73] s[8][7][74] s[8][7][75] s[8][7][76] s[8][7][77] s[8][7][78] s[8][7][79] s[8][7][80] s[8][7][81] s[8][7][82] s[8][7][83] s[8][7][84] s[8][7][85] s[8][7][86] s[8][7][87] s[8][7][88] s[8][7][89] s[8][7][90] s[8][7][91] s[8][7][92] s[8][7][93] s[8][7][94] s[8][7][95] s[8][7][96] s[8][7][97] s[8][7][98] s[8][7][99] s[8][7][100] s[8][7][101] s[8][7][102] s[8][7][103] s[8][7][104] s[8][7][105] s[8][7][106] s[8][7][107] s[8][8][0] s[8][8][1] s[8][8][2] s[8][8][3] s[8][8][4] s[8][8][5] s[8][8][6] s[8][8][7] s[8][8][8] s[8][8][9] s[8][8][10] s[8][8][11] s[8][8][12] s[8][8][13] s[8][8][14] s[8][8][15] s[8][8][16] s[8][8][17] s[8][8][18] s[8][8][19] s[8][8][20] s[8][8][21] s[8][8][22] s[8][8][23] s[8][8][24] s[8][8][25] s[8][8][26] s[8][8][27] s[8][8][28] s[8][8][29] s[8][8][30] s[8][8][31] s[8][8][32] s[8][8][33] s[8][8][34] s[8][8][35] s[8][8][36] s[8][8][37] s[8][8][38] s[8][8][39] s[8][8][40] s[8][8][41] s[8][8][42] s[8][8][43] s[8][8][44] s[8][8][45] s[8][8][46] s[8][8][47] s[8][8][48] s[8][8][49] s[8][8][50] s[8][8][51] s[8][8][52] s[8][8][53] s[8][8][54] s[8][8][55] s[8][8][56] s[8][8][57] s[8][8][58] s[8][8][59] s[8][8][60] s[8][8][61] s[8][8][62] s[8][8][63] s[8][8][64] s[8][8][65] s[8][8][66] s[8][8][67] s[8][8][68] s[8][8][69] s[8][8][70] s[8][8][71] s[8][8][72] s[8][8][73] s[8][8][74] s[8][8][75] s[8][8][76] s[8][8][77] s[8][8][78] s[8][8][79] s[8][8][80] s[8][8][81] s[8][8][82] s[8][8][83] s[8][8][84] s[8][8][85] s[8][8][86] s[8][8][87] s[8][8][88] s[8][8][89] s[8][8][90] s[8][8][91] s[8][8][92] s[8][8][93] s[8][8][94] s[8][8][95] s[8][8][96] s[8][8][97] s[8][8][98] s[8][8][99] s[8][8][100] s[8][8][101] s[8][8][102] s[8][8][103] s[8][8][104] s[8][8][105] s[8][8][106] s[8][8][107] </list>
6.18/6.22	v   <values> 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 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 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 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 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 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 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 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 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 0 1 1 1 1 1 1 1 1 1 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 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 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 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 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 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 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 1 1 1 1 1 1 1 1 0 0 0 0 0 1 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 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 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 1 1 1 1 1 0 0 0 0 1 1 1 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 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 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 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 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 1 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 1 1 1 1 1 1 1 1 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 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 0 0 0 0 1 1 1 1 1 1 1 1 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 1 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 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 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 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 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 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 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 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 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 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 1 1 1 1 1 1 1 0 0 0 0 0 1 1 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 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 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 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 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 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 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 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 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 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 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 1 1 1 1 1 1 1 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 1 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 1 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 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 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 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 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 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 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 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 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 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 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 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 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 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 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 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 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 1 1 1 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 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 1 1 0 0 0 0 0 1 1 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 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 0 0 0 1 1 1 1 1 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 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
6.18/6.26	v </instantiation>

OK	

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13147 MiB free)
  memory of node 1: 16384 MiB (13893 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289431-1532196123/watcher-4289431-1532196123 -o /tmp/evaluation-result-4289431-1532196123/solver-4289431-1532196123 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532190501-29367 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1038530398 HOME/instance-4289431-1532196123.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30189, runsolver pid=30186

[startup+0.10031 s]*
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27678304/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=40632 memory=15064 CPUtime=0.09 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 4256 0 0 0 9 0 0 0 20 0 1 0 37175537 41607168 3766 33554432000 4194304 7498468 140727779532512 140727779525752 6015990 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 10158 3766 716 807 0 3149 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40632 KiB
Current children cumulated memory: 15064 KiB

[startup+0.209918 s]*
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27676180/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=42660 memory=17440 CPUtime=0.2 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 4813 0 0 0 20 0 0 0 20 0 1 0 37175537 43683840 4360 33554432000 4194304 7498468 140727779532512 140727779525752 140392504028133 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 10665 4360 738 807 0 3656 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 17440 KiB

[startup+0.309238 s]*
/proc/loadavg: 2.13 2.06 2.02 4/193 30190
/proc/meminfo: memFree=27673204/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=45832 memory=20344 CPUtime=0.3 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 5584 0 0 0 30 0 0 0 20 0 1 0 37175537 46931968 5086 33554432000 4194304 7498468 140727779532512 140727779525752 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 11458 5086 738 807 0 4449 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45832 KiB
Current children cumulated memory: 20344 KiB

[startup+0.700291 s]
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27665932/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=58572 memory=33280 CPUtime=0.69 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 8769 0 0 0 68 1 0 0 20 0 1 0 37175537 59977728 8320 33554432000 4194304 7498468 140727779532512 140727779523064 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 14643 8320 738 807 0 7634 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 58572 KiB
Current children cumulated memory: 33280 KiB

[startup+1.50036 s]
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27650680/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=88324 memory=62924 CPUtime=1.49 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 16256 0 0 0 147 2 0 0 20 0 1 0 37175537 90443776 15731 33554432000 4194304 7498468 140727779532512 140727779523416 4564592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 22081 15731 746 807 0 15072 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88324 KiB
Current children cumulated memory: 62924 KiB

[startup+3.10981 s]
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27611604/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107136 memory=81820 CPUtime=3.1 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 35205 0 0 0 306 4 0 0 20 0 1 0 37175537 109707264 20455 33554432000 4194304 7498468 140727779532512 140727779527144 4542238 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26784 20455 776 807 0 19775 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 81820 KiB

[startup+6.27023 s]
# the end of solver process 30189 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.19995 s, system=0.062989 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20041 s]
/proc/loadavg: 2.13 2.06 2.02 3/193 30190
/proc/meminfo: memFree=27611604/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107136 memory=81820 CPUtime=3.19 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 35205 0 0 0 315 4 0 0 20 0 1 0 37175537 109707264 20455 33554432000 4194304 7498468 140727779532512 140727779527144 5161513 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26784 20455 776 807 0 19775 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 81820 KiB

[startup+4.80035 s]
/proc/loadavg: 2.12 2.05 2.02 3/193 30190
/proc/meminfo: memFree=27611604/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107136 memory=81820 CPUtime=4.79 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 49393 0 0 0 474 5 0 0 20 0 1 0 37175537 109707264 20455 33554432000 4194304 7498468 140727779532512 140727779527144 4246842 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26784 20455 776 807 0 19775 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 81820 KiB

[startup+5.60032 s]
/proc/loadavg: 2.12 2.05 2.02 3/193 30190
/proc/meminfo: memFree=27610980/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107136 memory=81820 CPUtime=5.59 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 49412 0 0 0 554 5 0 0 20 0 1 0 37175537 109707264 20455 33554432000 4194304 7498468 140727779532512 140727779527144 4580806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26784 20455 776 807 0 19775 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 81820 KiB

[startup+6.00038 s]*
/proc/loadavg: 2.12 2.05 2.02 3/193 30190
/proc/meminfo: memFree=27611188/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107136 memory=81820 CPUtime=5.99 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 49800 0 0 0 594 5 0 0 20 0 1 0 37175537 109707264 20455 33554432000 4194304 7498468 140727779532512 140727779527144 5597942 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26784 20455 776 807 0 19775 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 81820 KiB

[startup+6.20029 s]
/proc/loadavg: 2.12 2.05 2.02 3/193 30190
/proc/meminfo: memFree=27611188/32770624 swapFree=67108860/67108860
[pid=30189] ppid=30186 vsize=107328 memory=81980 CPUtime=6.18 cores=1,3,5,7
/proc/30189/stat : 30189 (MistralXCSP) R 30186 30189 29334 0 -1 4202496 50031 0 0 0 613 5 0 0 20 0 1 0 37175537 109903872 20495 33554432000 4194304 7498468 140727779532512 140727779527144 5161526 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 23777280 140727779538029 140727779538179 140727779538179 140727779540937 0
/proc/30189/statm: 26832 20495 776 807 0 19823 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 107328 KiB
Current children cumulated memory: 81980 KiB

Child status: 0
Real time (s): 6.27029
CPU time (s): 6.26294
CPU user time (s): 6.19995
CPU system time (s): 0.062989
CPU usage (%): 99.8829
Max. virtual memory (cumulated for all children) (KiB): 107328
Max. memory (cumulated for all children) (KiB): 81980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19996
system time used= 0.062989
maximum resident set size= 82296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 30189
#   total CPU time (s): 6.26294
#   total CPU user time (s): 6.19995
#   total CPU system time (s): 0.062989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046285 second user time and 0.091495 second system time

The end

Begin job on node134 at 2018-07-21 20:02:03
IDJOB=4289431
IDBENCH=141328
IDSOLVER=2741
FILE ID=node134/4289431-1532196123
RUNJOBID= node134-1532190501-29367
PBS_JOBID= 21018933
Free space on /tmp= 55988 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Bibd/Bibd-sc-09-03-09_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289431-1532196123/watcher-4289431-1532196123 -o /tmp/evaluation-result-4289431-1532196123/solver-4289431-1532196123 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532190501-29367 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1038530398 HOME/instance-4289431-1532196123.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 14461c5e126fcf4565f37d2e3313bad0
RANDOM SEED=1038530398

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27690772 kB
MemAvailable:   31967524 kB
Buffers:          123684 kB
Cached:          4419584 kB
SwapCached:            0 kB
Active:          1312156 kB
Inactive:        3301740 kB
Active(anon):      16684 kB
Inactive(anon):    73264 kB
Active(file):    1295472 kB
Inactive(file):  3228476 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9016 kB
Writeback:             0 kB
AnonPages:        112068 kB
Mapped:            36184 kB
Shmem:             17056 kB
Slab:             164452 kB
SReclaimable:     137276 kB
SUnreclaim:        27176 kB
KernelStack:        3664 kB
PageTables:         4844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55976 MiB
End job on node134 at 2018-07-21 20:02:10