Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 834 | 2519.8201 | 2520 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml |
MD5SUM | 0731e2512da3574fe37fc3f03b16a729 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 782 |
Best CPU time to get the best result obtained on this benchmark | 2520.1499 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7139 |
Number of constraints | 3652 |
Number of domains | 167 |
Minimum domain size | 2 |
Maximum domain size | 167 |
Distribution of domain sizes | [{"size":2,"count":3571},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 83 |
Distribution of variable degrees | [{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 84 |
Distribution of constraint arities | [{"arity":2,"count":84},{"arity":3,"count":3487},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3569 |
Distribution of constraint types | [{"type":"intension","count":3569},{"type":"sum","count":83}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.06 c 280717 6.53/6.65 o 194054 6.63/6.72 o 180122 6.63/6.78 o 166278 6.72/6.85 o 150154 6.82/6.92 o 135806 6.82/6.98 o 123154 6.92/7.05 o 112086 7.02/7.12 o 99010 7.12/7.20 o 90342 7.12/7.27 o 88686 7.22/7.34 o 88246 7.32/7.41 o 87934 7.32/7.48 o 87702 7.43/7.55 o 87566 7.53/7.63 o 86222 7.83/7.98 o 75450 7.93/8.05 o 74474 8.13/8.21 o 55834 8.13/8.28 o 55738 8.23/8.34 o 41626 8.33/8.41 o 36166 9.13/9.24 o 31658 9.23/9.31 o 31570 9.23/9.37 o 27894 9.33/9.44 o 27294 9.43/9.51 o 27150 9.43/9.57 o 24114 9.53/9.65 o 22818 9.63/9.74 o 19918 9.84/9.95 o 16046 10.03/10.16 o 8574 10.13/10.24 o 6814 10.23/10.33 o 6350 10.33/10.40 o 5678 10.33/10.49 o 5122 10.43/10.57 o 4066 10.63/10.71 o 3946 10.63/10.78 o 3930 10.73/10.86 o 3866 10.83/10.95 o 3738 10.94/11.03 o 3238 11.04/11.17 o 3190 11.13/11.23 o 2962 11.23/11.37 o 2918 11.33/11.44 o 2874 12.14/12.29 o 2370 12.23/12.36 o 2354 12.33/12.49 o 2086 12.53/12.69 o 2022 12.63/12.75 o 1870 12.73/12.83 o 1806 12.93/13.09 o 1518 13.83/13.98 o 1506 14.13/14.20 o 1482 14.13/14.28 o 1450 14.53/14.68 o 1214 20.83/20.99 o 1174 21.03/21.11 o 1130 23.52/23.63 o 1114 73.02/73.19 o 1094 192.31/192.45 o 1082 216.81/216.97 o 1078 269.10/269.24 o 1066 313.70/313.88 o 1046 325.30/325.45 o 930 325.51/325.63 o 902 664.08/664.27 o 858 668.49/668.63 o 834 2519.80/2520.00 s SATISFIABLE 2519.80/2520.00 v <instantiation type="solution"> 2519.80/2520.00 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][80] y[0][81] y[0][82] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][80] y[1][81] y[1][82] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][80] y[2][81] y[2][82] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][80] y[3][81] y[3][82] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][80] y[4][81] y[4][82] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][80] y[5][81] y[5][82] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][80] y[6][81] y[6][82] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][80] y[7][81] y[7][82] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][80] y[8][81] y[8][82] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][80] y[9][81] y[9][82] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][80] y[10][81] y[10][82] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][80] y[11][81] y[11][82] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][80] y[12][81] y[12][82] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][80] y[13][81] y[13][82] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][80] y[14][81] y[14][82] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[15][80] y[15][81] y[15][82] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[16][79] y[16][80] y[16][81] y[16][82] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[17][78] y[17][79] y[17][80] y[17][81] y[17][82] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[18][77] y[18][78] y[18][79] y[18][80] y[18][81] y[18][82] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[19][76] y[19][77] y[19][78] y[19][79] y[19][80] y[19][81] y[19][82] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[20][75] y[20][76] y[20][77] y[20][78] y[20][79] y[20][80] y[20][81] y[20][82] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][70] y[21][71] y[21][72] y[21][73] y[21][74] y[21][75] y[21][76] y[21][77] y[21][78] y[21][79] y[21][80] y[21][81] y[21][82] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][70] y[22][71] y[22][72] y[22][73] y[22][74] y[22][75] y[22][76] y[22][77] y[22][78] y[22][79] y[22][80] y[22][81] y[22][82] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][70] y[23][71] y[23][72] y[23][73] y[23][74] y[23][75] y[23][76] y[23][77] y[23][78] y[23][79] y[23][80] y[23][81] y[23][82] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][70] y[24][71] y[24][72] y[24][73] y[24][74] y[24][75] y[24][76] y[24][77] y[24][78] y[24][79] y[24][80] y[24][81] y[24][82] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[25][70] y[25][71] y[25][72] y[25][73] y[25][74] y[25][75] y[25][76] y[25][77] y[25][78] y[25][79] y[25][80] y[25][81] y[25][82] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[26][69] y[26][70] y[26][71] y[26][72] y[26][73] y[26][74] y[26][75] y[26][76] y[26][77] y[26][78] y[26][79] y[26][80] y[26][81] y[26][82] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[27][68] y[27][69] y[27][70] y[27][71] y[27][72] y[27][73] y[27][74] y[27][75] y[27][76] y[27][77] y[27][78] y[27][79] y[27][80] y[27][81] y[27][82] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[28][68] y[28][69] y[28][70] y[28][71] y[28][72] y[28][73] y[28][74] y[28][75] y[28][76] y[28][77] y[28][78] y[28][79] y[28][80] y[28][81] y[28][82] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[29][68] y[29][69] y[29][70] y[29][71] y[29][72] y[29][73] y[29][74] y[29][75] y[29][76] y[29][77] y[29][78] y[29][79] y[29][80] y[29][81] y[29][82] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[30][68] y[30][69] y[30][70] y[30][71] y[30][72] y[30][73] y[30][74] y[30][75] y[30][76] y[30][77] y[30][78] y[30][79] y[30][80] y[30][81] y[30][82] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[31][68] y[31][69] y[31][70] y[31][71] y[31][72] y[31][73] y[31][74] y[31][75] y[31][76] y[31][77] y[31][78] y[31][79] y[31][80] y[31][81] y[31][82] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[32][68] y[32][69] y[32][70] y[32][71] y[32][72] y[32][73] y[32][74] y[32][75] y[32][76] y[32][77] y[32][78] y[32][79] y[32][80] y[32][81] y[32][82] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[33][68] y[33][69] y[33][70] y[33][71] y[33][72] y[33][73] y[33][74] y[33][75] y[33][76] y[33][77] y[33][78] y[33][79] y[33][80] y[33][81] y[33][82] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[34][68] y[34][69] y[34][70] y[34][71] y[34][72] y[34][73] y[34][74] y[34][75] y[34][76] y[34][77] y[34][78] y[34][79] y[34][80] y[34][81] y[34][82] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[35][68] y[35][69] y[35][70] y[35][71] y[35][72] y[35][73] y[35][74] y[35][75] y[35][76] y[35][77] y[35][78] y[35][79] y[35][80] y[35][81] y[35][82] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[36][68] y[36][69] y[36][70] y[36][71] y[36][72] y[36][73] y[36][74] y[36][75] y[36][76] y[36][77] y[36][78] y[36][79] y[36][80] y[36][81] y[36][82] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[37][68] y[37][69] y[37][70] y[37][71] y[37][72] y[37][73] y[37][74] y[37][75] y[37][76] y[37][77] y[37][78] y[37][79] y[37][80] y[37][81] y[37][82] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[38][68] y[38][69] y[38][70] y[38][71] y[38][72] y[38][73] y[38][74] y[38][75] y[38][76] y[38][77] y[38][78] y[38][79] y[38][80] y[38][81] y[38][82] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[39][68] y[39][69] y[39][70] y[39][71] y[39][72] y[39][73] y[39][74] y[39][75] y[39][76] y[39][77] y[39][78] y[39][79] y[39][80] y[39][81] y[39][82] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[40][68] y[40][69] y[40][70] y[40][71] y[40][72] y[40][73] y[40][74] y[40][75] y[40][76] y[40][77] y[40][78] y[40][79] y[40][80] y[40][81] y[40][82] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[41][68] y[41][69] y[41][70] y[41][71] y[41][72] y[41][73] y[41][74] y[41][75] y[41][76] y[41][77] y[41][78] y[41][79] y[41][80] y[41][81] y[41][82] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[42][68] y[42][69] y[42][70] y[42][71] y[42][72] y[42][73] y[42][74] y[42][75] y[42][76] y[42][77] y[42][78] y[42][79] y[42][80] y[42][81] y[42][82] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[43][68] y[43][69] y[43][70] y[43][71] y[43][72] y[43][73] y[43][74] y[43][75] y[43][76] y[43][77] y[43][78] y[43][79] y[43][80] y[43][81] y[43][82] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[44][68] y[44][69] y[44][70] y[44][71] y[44][72] y[44][73] y[44][74] y[44][75] y[44][76] y[44][77] y[44][78] y[44][79] y[44][80] y[44][81] y[44][82] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[45][68] y[45][69] y[45][70] y[45][71] y[45][72] y[45][73] y[45][74] y[45][75] y[45][76] y[45][77] y[45][78] y[45][79] y[45][80] y[45][81] y[45][82] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[46][68] y[46][69] y[46][70] y[46][71] y[46][72] y[46][73] y[46][74] y[46][75] y[46][76] y[46][77] y[46][78] y[46][79] y[46][80] y[46][81] y[46][82] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[47][68] y[47][69] y[47][70] y[47][71] y[47][72] y[47][73] y[47][74] y[47][75] y[47][76] y[47][77] y[47][78] y[47][79] y[47][80] y[47][81] y[47][82] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[48][68] y[48][69] y[48][70] y[48][71] y[48][72] y[48][73] y[48][74] y[48][75] y[48][76] y[48][77] y[48][78] y[48][79] y[48][80] y[48][81] y[48][82] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[49][68] y[49][69] y[49][70] y[49][71] y[49][72] y[49][73] y[49][74] y[49][75] y[49][76] y[49][77] y[49][78] y[49][79] y[49][80] y[49][81] y[49][82] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[50][68] y[50][69] y[50][70] y[50][71] y[50][72] y[50][73] y[50][74] y[50][75] y[50][76] y[50][77] y[50][78] y[50][79] y[50][80] y[50][81] y[50][82] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[51][68] y[51][69] y[51][70] y[51][71] y[51][72] y[51][73] y[51][74] y[51][75] y[51][76] y[51][77] y[51][78] y[51][79] y[51][80] y[51][81] y[51][82] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[52][68] y[52][69] y[52][70] y[52][71] y[52][72] y[52][73] y[52][74] y[52][75] y[52][76] y[52][77] y[52][78] y[52][79] y[52][80] y[52][81] y[52][82] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[53][68] y[53][69] y[53][70] y[53][71] y[53][72] y[53][73] y[53][74] y[53][75] y[53][76] y[53][77] y[53][78] y[53][79] y[53][80] y[53][81] y[53][82] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[54][68] y[54][69] y[54][70] y[54][71] y[54][72] y[54][73] y[54][74] y[54][75] y[54][76] y[54][77] y[54][78] y[54][79] y[54][80] y[54][81] y[54][82] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[55][68] y[55][69] y[55][70] y[55][71] y[55][72] y[55][73] y[55][74] y[55][75] y[55][76] y[55][77] y[55][78] y[55][79] y[55][80] y[55][81] y[55][82] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[56][68] y[56][69] y[56][70] y[56][71] y[56][72] y[56][73] y[56][74] y[56][75] y[56][76] y[56][77] y[56][78] y[56][79] y[56][80] y[56][81] y[56][82] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[57][68] y[57][69] y[57][70] y[57][71] y[57][72] y[57][73] y[57][74] y[57][75] y[57][76] y[57][77] y[57][78] y[57][79] y[57][80] y[57][81] y[57][82] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[58][68] y[58][69] y[58][70] y[58][71] y[58][72] y[58][73] y[58][74] y[58][75] y[58][76] y[58][77] y[58][78] y[58][79] y[58][80] y[58][81] y[58][82] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[59][68] y[59][69] y[59][70] y[59][71] y[59][72] y[59][73] y[59][74] y[59][75] y[59][76] y[59][77] y[59][78] y[59][79] y[59][80] y[59][81] y[59][82] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[60][68] y[60][69] y[60][70] y[60][71] y[60][72] y[60][73] y[60][74] y[60][75] y[60][76] y[60][77] y[60][78] y[60][79] y[60][80] y[60][81] y[60][82] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[61][68] y[61][69] y[61][70] y[61][71] y[61][72] y[61][73] y[61][74] y[61][75] y[61][76] y[61][77] y[61][78] y[61][79] y[61][80] y[61][81] y[61][82] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[62][68] y[62][69] y[62][70] y[62][71] y[62][72] y[62][73] y[62][74] y[62][75] y[62][76] y[62][77] y[62][78] y[62][79] y[62][80] y[62][81] y[62][82] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[63][68] y[63][69] y[63][70] y[63][71] y[63][72] y[63][73] y[63][74] y[63][75] y[63][76] y[63][77] y[63][78] y[63][79] y[63][80] y[63][81] y[63][82] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[64][68] y[64][69] y[64][70] y[64][71] y[64][72] y[64][73] y[64][74] y[64][75] y[64][76] y[64][77] y[64][78] y[64][79] y[64][80] y[64][81] y[64][82] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[65][68] y[65][69] y[65][70] y[65][71] y[65][72] y[65][73] y[65][74] y[65][75] y[65][76] y[65][77] y[65][78] y[65][79] y[65][80] y[65][81] y[65][82] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[66][29] y[66][30] y[66][31] y[66][32] y[66][33] y[66][34] y[66][35] y[66][36] y[66][37] y[66][38] y[66][39] y[66][40] y[66][41] y[66][42] y[66][43] y[66][44] y[66][45] y[66][46] y[66][47] y[66][48] y[66][49] y[66][50] y[66][51] y[66][52] y[66][53] y[66][54] y[66][55] y[66][56] y[66][57] y[66][58] y[66][59] y[66][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[66][68] y[66][69] y[66][70] y[66][71] y[66][72] y[66][73] y[66][74] y[66][75] y[66][76] y[66][77] y[66][78] y[66][79] y[66][80] y[66][81] y[66][82] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[67][28] y[67][29] y[67][30] y[67][31] y[67][32] y[67][33] y[67][34] y[67][35] y[67][36] y[67][37] y[67][38] y[67][39] y[67][40] y[67][41] y[67][42] y[67][43] y[67][44] y[67][45] y[67][46] y[67][47] y[67][48] y[67][49] y[67][50] y[67][51] y[67][52] y[67][53] y[67][54] y[67][55] y[67][56] y[67][57] y[67][58] y[67][59] y[67][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] y[67][68] y[67][69] y[67][70] y[67][71] y[67][72] y[67][73] y[67][74] y[67][75] y[67][76] y[67][77] y[67][78] y[67][79] y[67][80] y[67][81] y[67][82] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[68][9] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[68][27] y[68][28] y[68][29] y[68][30] y[68][31] y[68][32] y[68][33] y[68][34] y[68][35] y[68][36] y[68][37] y[68][38] y[68][39] y[68][40] y[68][41] y[68][42] y[68][43] y[68][44] y[68][45] y[68][46] y[68][47] y[68][48] y[68][49] y[68][50] y[68][51] y[68][52] y[68][53] y[68][54] y[68][55] y[68][56] y[68][57] y[68][58] y[68][59] y[68][60] y[68][61] y[68][62] y[68][63] y[68][64] y[68][65] y[68][66] y[68][67] y[68][68] y[68][69] y[68][70] y[68][71] y[68][72] y[68][73] y[68][74] y[68][75] y[68][76] y[68][77] y[68][78] y[68][79] y[68][80] y[68][81] y[68][82] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[69][8] y[69][9] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[69][26] y[69][27] y[69][28] y[69][29] y[69][30] y[69][31] y[69][32] y[69][33] y[69][34] y[69][35] y[69][36] y[69][37] y[69][38] y[69][39] y[69][40] y[69][41] y[69][42] y[69][43] y[69][44] y[69][45] y[69][46] y[69][47] y[69][48] y[69][49] y[69][50] y[69][51] y[69][52] y[69][53] y[69][54] y[69][55] y[69][56] y[69][57] y[69][58] y[69][59] y[69][60] y[69][61] y[69][62] y[69][63] y[69][64] y[69][65] y[69][66] y[69][67] y[69][68] y[69][69] y[69][70] y[69][71] y[69][72] y[69][73] y[69][74] y[69][75] y[69][76] y[69][77] y[69][78] y[69][79] y[69][80] y[69][81] y[69][82] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[70][7] y[70][8] y[70][9] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[70][25] y[70][26] y[70][27] y[70][28] y[70][29] y[70][30] y[70][31] y[70][32] y[70][33] y[70][34] y[70][35] y[70][36] y[70][37] y[70][38] y[70][39] y[70][40] y[70][41] y[70][42] y[70][43] y[70][44] y[70][45] y[70][46] y[70][47] y[70][48] y[70][49] y[70][50] y[70][51] y[70][52] y[70][53] y[70][54] y[70][55] y[70][56] y[70][57] y[70][58] y[70][59] y[70][60] y[70][61] y[70][62] y[70][63] y[70][64] y[70][65] y[70][66] y[70][67] y[70][68] y[70][69] y[70][70] y[70][71] y[70][72] y[70][73] y[70][74] y[70][75] y[70][76] y[70][77] y[70][78] y[70][79] y[70][80] y[70][81] y[70][82] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[71][6] y[71][7] y[71][8] y[71][9] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][20] y[71][21] y[71][22] y[71][23] y[71][24] y[71][25] y[71][26] y[71][27] y[71][28] y[71][29] y[71][30] y[71][31] y[71][32] y[71][33] y[71][34] y[71][35] y[71][36] y[71][37] y[71][38] y[71][39] y[71][40] y[71][41] y[71][42] y[71][43] y[71][44] y[71][45] y[71][46] y[71][47] y[71][48] y[71][49] y[71][50] y[71][51] y[71][52] y[71][53] y[71][54] y[71][55] y[71][56] y[71][57] y[71][58] y[71][59] y[71][60] y[71][61] y[71][62] y[71][63] y[71][64] y[71][65] y[71][66] y[71][67] y[71][68] y[71][69] y[71][70] y[71][71] y[71][72] y[71][73] y[71][74] y[71][75] y[71][76] y[71][77] y[71][78] y[71][79] y[71][80] y[71][81] y[71][82] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[72][5] y[72][6] y[72][7] y[72][8] y[72][9] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][20] y[72][21] y[72][22] y[72][23] y[72][24] y[72][25] y[72][26] y[72][27] y[72][28] y[72][29] y[72][30] y[72][31] y[72][32] y[72][33] y[72][34] y[72][35] y[72][36] y[72][37] y[72][38] y[72][39] y[72][40] y[72][41] y[72][42] y[72][43] y[72][44] y[72][45] y[72][46] y[72][47] y[72][48] y[72][49] y[72][50] y[72][51] y[72][52] y[72][53] y[72][54] y[72][55] y[72][56] y[72][57] y[72][58] y[72][59] y[72][60] y[72][61] y[72][62] y[72][63] y[72][64] y[72][65] y[72][66] y[72][67] y[72][68] y[72][69] y[72][70] y[72][71] y[72][72] y[72][73] y[72][74] y[72][75] y[72][76] y[72][77] y[72][78] y[72][79] y[72][80] y[72][81] y[72][82] y[73][0] y[73][1] y[73][2] y[73][3] y[73][4] y[73][5] y[73][6] y[73][7] y[73][8] y[73][9] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][20] y[73][21] y[73][22] y[73][23] y[73][24] y[73][25] y[73][26] y[73][27] y[73][28] y[73][29] y[73][30] y[73][31] y[73][32] y[73][33] y[73][34] y[73][35] y[73][36] y[73][37] y[73][38] y[73][39] y[73][40] y[73][41] y[73][42] y[73][43] y[73][44] y[73][45] y[73][46] y[73][47] y[73][48] y[73][49] y[73][50] y[73][51] y[73][52] y[73][53] y[73][54] y[73][55] y[73][56] y[73][57] y[73][58] y[73][59] y[73][60] y[73][61] y[73][62] y[73][63] y[73][64] y[73][65] y[73][66] y[73][67] y[73][68] y[73][69] y[73][70] y[73][71] y[73][72] y[73][73] y[73][74] y[73][75] y[73][76] y[73][77] y[73][78] y[73][79] y[73][80] y[73][81] y[73][82] y[74][0] y[74][1] y[74][2] y[74][3] y[74][4] y[74][5] y[74][6] y[74][7] y[74][8] y[74][9] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][20] y[74][21] y[74][22] y[74][23] y[74][24] y[74][25] y[74][26] y[74][27] y[74][28] y[74][29] y[74][30] y[74][31] y[74][32] y[74][33] y[74][34] y[74][35] y[74][36] y[74][37] y[74][38] y[74][39] y[74][40] y[74][41] y[74][42] y[74][43] y[74][44] y[74][45] y[74][46] y[74][47] y[74][48] y[74][49] y[74][50] y[74][51] y[74][52] y[74][53] y[74][54] y[74][55] y[74][56] y[74][57] y[74][58] y[74][59] y[74][60] y[74][61] y[74][62] y[74][63] y[74][64] y[74][65] y[74][66] y[74][67] y[74][68] y[74][69] y[74][70] y[74][71] y[74][72] y[74][73] y[74][74] y[74][75] y[74][76] y[74][77] y[74][78] y[74][79] y[74][80] y[74][81] y[74][82] y[75][0] y[75][1] y[75][2] y[75][3] y[75][4] y[75][5] y[75][6] y[75][7] y[75][8] y[75][9] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[75][20] y[75][21] y[75][22] y[75][23] y[75][24] y[75][25] y[75][26] y[75][27] y[75][28] y[75][29] y[75][30] y[75][31] y[75][32] y[75][33] y[75][34] y[75][35] y[75][36] y[75][37] y[75][38] y[75][39] y[75][40] y[75][41] y[75][42] y[75][43] y[75][44] y[75][45] y[75][46] y[75][47] y[75][48] y[75][49] y[75][50] y[75][51] y[75][52] y[75][53] y[75][54] y[75][55] y[75][56] y[75][57] y[75][58] y[75][59] y[75][60] y[75][61] y[75][62] y[75][63] y[75][64] y[75][65] y[75][66] y[75][67] y[75][68] y[75][69] y[75][70] y[75][71] y[75][72] y[75][73] y[75][74] y[75][75] y[75][76] y[75][77] y[75][78] y[75][79] y[75][80] y[75][81] y[75][82] y[76][0] y[76][1] y[76][2] y[76][3] y[76][4] y[76][5] y[76][6] y[76][7] y[76][8] y[76][9] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[76][19] y[76][20] y[76][21] y[76][22] y[76][23] y[76][24] y[76][25] y[76][26] y[76][27] y[76][28] y[76][29] y[76][30] y[76][31] y[76][32] y[76][33] y[76][34] y[76][35] y[76][36] y[76][37] y[76][38] y[76][39] y[76][40] y[76][41] y[76][42] y[76][43] y[76][44] y[76][45] y[76][46] y[76][47] y[76][48] y[76][49] y[76][50] y[76][51] y[76][52] y[76][53] y[76][54] y[76][55] y[76][56] y[76][57] y[76][58] y[76][59] y[76][60] y[76][61] y[76][62] y[76][63] y[76][64] y[76][65] y[76][66] y[76][67] y[76][68] y[76][69] y[76][70] y[76][71] y[76][72] y[76][73] y[76][74] y[76][75] y[76][76] y[76][77] y[76][78] y[76][79] y[76][80] y[76][81] y[76][82] y[77][0] y[77][1] y[77][2] y[77][3] y[77][4] y[77][5] y[77][6] y[77][7] y[77][8] y[77][9] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[77][18] y[77][19] y[77][20] y[77][21] y[77][22] y[77][23] y[77][24] y[77][25] y[77][26] y[77][27] y[77][28] y[77][29] y[77][30] y[77][31] y[77][32] y[77][33] y[77][34] y[77][35] y[77][36] y[77][37] y[77][38] y[77][39] y[77][40] y[77][41] y[77][42] y[77][43] y[77][44] y[77][45] y[77][46] y[77][47] y[77][48] y[77][49] y[77][50] y[77][51] y[77][52] y[77][53] y[77][54] y[77][55] y[77][56] y[77][57] y[77][58] y[77][59] y[77][60] y[77][61] y[77][62] y[77][63] y[77][64] y[77][65] y[77][66] y[77][67] y[77][68] y[77][69] y[77][70] y[77][71] y[77][72] y[77][73] y[77][74] y[77][75] y[77][76] y[77][77] y[77][78] y[77][79] y[77][80] y[77][81] y[77][82] y[78][0] y[78][1] y[78][2] y[78][3] y[78][4] y[78][5] y[78][6] y[78][7] y[78][8] y[78][9] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[78][17] y[78][18] y[78][19] y[78][20] y[78][21] y[78][22] y[78][23] y[78][24] y[78][25] y[78][26] y[78][27] y[78][28] y[78][29] y[78][30] y[78][31] y[78][32] y[78][33] y[78][34] y[78][35] y[78][36] y[78][37] y[78][38] y[78][39] y[78][40] y[78][41] y[78][42] y[78][43] y[78][44] y[78][45] y[78][46] y[78][47] y[78][48] y[78][49] y[78][50] y[78][51] y[78][52] y[78][53] y[78][54] y[78][55] y[78][56] y[78][57] y[78][58] y[78][59] y[78][60] y[78][61] y[78][62] y[78][63] y[78][64] y[78][65] y[78][66] y[78][67] y[78][68] y[78][69] y[78][70] y[78][71] y[78][72] y[78][73] y[78][74] y[78][75] y[78][76] y[78][77] y[78][78] y[78][79] y[78][80] y[78][81] y[78][82] y[79][0] y[79][1] y[79][2] y[79][3] y[79][4] y[79][5] y[79][6] y[79][7] y[79][8] y[79][9] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[79][16] y[79][17] y[79][18] y[79][19] y[79][20] y[79][21] y[79][22] y[79][23] y[79][24] y[79][25] y[79][26] y[79][27] y[79][28] y[79][29] y[79][30] y[79][31] y[79][32] y[79][33] y[79][34] y[79][35] y[79][36] y[79][37] y[79][38] y[79][39] y[79][40] y[79][41] y[79][42] y[79][43] y[79][44] y[79][45] y[79][46] y[79][47] y[79][48] y[79][49] y[79][50] y[79][51] y[79][52] y[79][53] y[79][54] y[79][55] y[79][56] y[79][57] y[79][58] y[79][59] y[79][60] y[79][61] y[79][62] y[79][63] y[79][64] y[79][65] y[79][66] y[79][67] y[79][68] y[79][69] y[79][70] y[79][71] y[79][72] y[79][73] y[79][74] y[79][75] y[79][76] y[79][77] y[79][78] y[79][79] y[79][80] y[79][81] y[79][82] y[80][0] y[80][1] y[80][2] y[80][3] y[80][4] y[80][5] y[80][6] y[80][7] y[80][8] y[80][9] y[80][10] y[80][11] y[80][12] y[80][13] y[80][14] y[80][15] y[80][16] y[80][17] y[80][18] y[80][19] y[80][20] y[80][21] y[80][22] y[80][23] y[80][24] y[80][25] y[80][26] y[80][27] y[80][28] y[80][29] y[80][30] y[80][31] y[80][32] y[80][33] y[80][34] y[80][35] y[80][36] y[80][37] y[80][38] y[80][39] y[80][40] y[80][41] y[80][42] y[80][43] y[80][44] y[80][45] y[80][46] y[80][47] y[80][48] y[80][49] y[80][50] y[80][51] y[80][52] y[80][53] y[80][54] y[80][55] y[80][56] y[80][57] y[80][58] y[80][59] y[80][60] y[80][61] y[80][62] y[80][63] y[80][64] y[80][65] y[80][66] y[80][67] y[80][68] y[80][69] y[80][70] y[80][71] y[80][72] y[80][73] y[80][74] y[80][75] y[80][76] y[80][77] y[80][78] y[80][79] y[80][80] y[80][81] y[80][82] y[81][0] y[81][1] y[81][2] y[81][3] y[81][4] y[81][5] y[81][6] y[81][7] y[81][8] y[81][9] y[81][10] y[81][11] y[81][12] y[81][13] y[81][14] y[81][15] y[81][16] y[81][17] y[81][18] y[81][19] y[81][20] y[81][21] y[81][22] y[81][23] y[81][24] y[81][25] y[81][26] y[81][27] y[81][28] y[81][29] y[81][30] y[81][31] y[81][32] y[81][33] y[81][34] y[81][35] y[81][36] y[81][37] y[81][38] y[81][39] y[81][40] y[81][41] y[81][42] y[81][43] y[81][44] y[81][45] y[81][46] y[81][47] y[81][48] y[81][49] y[81][50] y[81][51] y[81][52] y[81][53] y[81][54] y[81][55] y[81][56] y[81][57] y[81][58] y[81][59] y[81][60] y[81][61] y[81][62] y[81][63] y[81][64] y[81][65] y[81][66] y[81][67] y[81][68] y[81][69] y[81][70] y[81][71] y[81][72] y[81][73] y[81][74] y[81][75] y[81][76] y[81][77] y[81][78] y[81][79] y[81][80] y[81][81] y[81][82] y[82][0] y[82][1] y[82][2] y[82][3] y[82][4] y[82][5] y[82][6] y[82][7] y[82][8] y[82][9] y[82][10] y[82][11] y[82][12] y[82][13] y[82][14] y[82][15] y[82][16] y[82][17] y[82][18] y[82][19] y[82][20] y[82][21] y[82][22] y[82][23] y[82][24] y[82][25] y[82][26] y[82][27] y[82][28] y[82][29] y[82][30] y[82][31] y[82][32] y[82][33] y[82][34] y[82][35] y[82][36] y[82][37] y[82][38] y[82][39] y[82][40] y[82][41] y[82][42] y[82][43] y[82][44] y[82][45] y[82][46] y[82][47] y[82][48] y[82][49] y[82][50] y[82][51] y[82][52] y[82][53] y[82][54] y[82][55] y[82][56] y[82][57] y[82][58] y[82][59] y[82][60] y[82][61] y[82][62] y[82][63] y[82][64] y[82][65] y[82][66] y[82][67] y[82][68] y[82][69] y[82][70] y[82][71] y[82][72] y[82][73] y[82][74] y[82][75] y[82][76] y[82][77] y[82][78] y[82][79] y[82][80] y[82][81] y[82][82] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] </list> 2519.80/2520.00 v <values> -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 -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 -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 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 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 -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 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 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 -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 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 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 -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 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 -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 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 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 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 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 -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 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 * * * * * * * -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 -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 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 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 -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 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 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 -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 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 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 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 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 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 -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 * * * * * * * * * * * * * * -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 -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 -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 -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 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 -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 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 -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 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 -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 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 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 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 -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 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 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 * * * * * * * * * * * * * * * * * * * * * * * -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 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 -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 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 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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 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 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 -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 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 -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 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 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 -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 -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 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 -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 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 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 -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 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 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 -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 -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 -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 -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 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 -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 -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 -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 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 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 -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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 -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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 2 -3 4 1 2 -1 -2 -3 -2 3 0 -1 -2 -7 -2 3 4 -5 4 -1 -2 -1 -4 -3 0 3 2 5 -2 3 -2 -3 -2 -3 0 -7 0 3 -4 1 8 -1 -4 5 0 7 0 3 -2 3 -2 1 -6 3 -2 -3 -8 3 0 -3 2 -3 4 -3 0 1 -6 -1 -2 1 -4 -3 2 3 2 1 -2 -1 0 3 2 1 1 4 9 16 1 4 1 4 9 4 9 0 1 4 49 4 9 16 25 16 1 4 1 16 9 0 9 4 25 4 9 4 9 4 9 0 49 0 9 16 1 64 1 16 25 0 49 0 9 4 9 4 1 36 9 4 9 64 9 0 9 4 9 16 9 0 1 36 1 4 1 16 9 4 9 4 1 4 1 0 9 4 1 </values> 2519.80/2520.00 v </instantiation>
OK 834
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261011-1502369968/watcher-4261011-1502369968 -o /tmp/evaluation-result-4261011-1502369968/solver-4261011-1502369968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 640456328 HOME/instance-4261011-1502369968.xml pid=13762 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.05 3/180 13765 /proc/meminfo: memFree=31290488/32770624 swapFree=0/526844 [pid=13765] ppid=13762 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13765/stat : 13765 (runsolver) D 13762 13765 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 39190337 24240128 107 18446744073709551615 4194304 4338465 140732570190688 140732570188328 140412906824407 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 21196800 140732570198157 140732570198602 140732570198602 140732570202058 0 /proc/13765/statm: 5918 107 54 36 0 2156 0 [startup+0.100189 s] /proc/loadavg: 2.00 2.02 2.05 3/180 13765 /proc/meminfo: memFree=31290488/32770624 swapFree=0/526844 [pid=13765] ppid=13762 vsize=39868 CPUtime=0.03 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 3795 0 0 0 3 0 0 0 20 0 1 0 39190337 40824832 3550 18446744073709551615 4194304 7396336 140727791431184 140727791428184 140093977394149 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 9967 3550 607 782 0 2983 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 39868 [startup+0.200369 s] /proc/loadavg: 2.00 2.02 2.05 3/180 13765 /proc/meminfo: memFree=31290488/32770624 swapFree=0/526844 [pid=13765] ppid=13762 vsize=41236 CPUtime=0.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 4388 0 0 0 13 0 0 0 20 0 1 0 39190337 42225664 3997 18446744073709551615 4194304 7396336 140727791431184 140727791428184 6190432 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 10309 3997 700 782 0 3325 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 41236 [startup+0.300311 s] /proc/loadavg: 2.00 2.02 2.05 3/180 13765 /proc/meminfo: memFree=31290488/32770624 swapFree=0/526844 [pid=13765] ppid=13762 vsize=41368 CPUtime=0.23 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 4424 0 0 0 23 0 0 0 20 0 1 0 39190337 42360832 3997 18446744073709551615 4194304 7396336 140727791431184 140727791428184 6163244 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 10342 3997 700 782 0 3358 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 41368 [startup+0.700233 s] /proc/loadavg: 2.00 2.02 2.05 3/180 13765 /proc/meminfo: memFree=31290488/32770624 swapFree=0/526844 [pid=13765] ppid=13762 vsize=42032 CPUtime=0.63 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 4570 0 0 0 63 0 0 0 20 0 1 0 39190337 43040768 4195 18446744073709551615 4194304 7396336 140727791431184 140727791419992 6190566 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 10508 4195 720 782 0 3524 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 42032 [startup+1.50021 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13766 /proc/meminfo: memFree=31276088/32770624 swapFree=0/526868 [pid=13765] ppid=13762 vsize=43256 CPUtime=1.43 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 4880 0 0 0 142 1 0 0 20 0 1 0 39190337 44294144 4459 18446744073709551615 4194304 7396336 140727791431184 140727791421928 6012979 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 10814 4459 720 782 0 3830 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 43256 [startup+3.10022 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13766 /proc/meminfo: memFree=31274104/32770624 swapFree=0/526868 [pid=13765] ppid=13762 vsize=46064 CPUtime=3.03 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 6236 0 0 0 302 1 0 0 20 0 1 0 39190337 47169536 5192 18446744073709551615 4194304 7396336 140727791431184 140727791421816 6181586 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 11516 5192 720 782 0 4532 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 46064 [startup+6.30021 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13766 /proc/meminfo: memFree=31269468/32770624 swapFree=0/526860 [pid=13765] ppid=13762 vsize=50968 CPUtime=6.23 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 9477 0 0 0 622 1 0 0 20 0 1 0 39190337 52191232 6434 18446744073709551615 4194304 7396336 140727791431184 140727791421832 140093977403264 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 12742 6434 720 782 0 5758 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 50968 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13767 /proc/meminfo: memFree=31258804/32770624 swapFree=0/526864 [pid=13765] ppid=13762 vsize=59668 CPUtime=12.63 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 20332 0 0 0 1261 2 0 0 20 0 1 0 39190337 61100032 8664 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4246632 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8664 787 782 0 7933 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 59668 [startup+25.5004 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13767 /proc/meminfo: memFree=31258936/32770624 swapFree=0/526868 [pid=13765] ppid=13762 vsize=59668 CPUtime=25.42 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 32177 0 0 0 2540 2 0 0 20 0 1 0 39190337 61100032 8676 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5670398 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8676 787 782 0 7933 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 59668 [startup+51.1004 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13767 /proc/meminfo: memFree=31258608/32770624 swapFree=0/526872 [pid=13765] ppid=13762 vsize=59668 CPUtime=51.02 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 38005 0 0 0 5099 3 0 0 20 0 1 0 39190337 61100032 8676 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5839273 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8676 787 782 0 7933 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 59668 [startup+102.3 s] /proc/loadavg: 2.08 2.04 2.05 3/181 13830 /proc/meminfo: memFree=31256212/32770624 swapFree=0/526896 [pid=13765] ppid=13762 vsize=59668 CPUtime=102.22 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 38484 0 0 0 10219 3 0 0 20 0 1 0 39190337 61100032 8683 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4542516 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8683 787 782 0 7933 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 59668 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13832 /proc/meminfo: memFree=31255832/32770624 swapFree=0/526892 [pid=13765] ppid=13762 vsize=59668 CPUtime=162.21 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 38879 0 0 0 16218 3 0 0 20 0 1 0 39190337 61100032 8685 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4581738 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8685 787 782 0 7933 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 59668 [startup+222.306 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13834 /proc/meminfo: memFree=31255060/32770624 swapFree=0/526892 [pid=13765] ppid=13762 vsize=59668 CPUtime=222.21 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 39355 0 0 0 22218 3 0 0 20 0 1 0 39190337 61100032 8686 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4543827 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8686 787 782 0 7933 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 59668 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 13850 /proc/meminfo: memFree=31250312/32770624 swapFree=0/526896 [pid=13765] ppid=13762 vsize=59668 CPUtime=282.2 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 39831 0 0 0 28217 3 0 0 20 0 1 0 39190337 61100032 8687 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5578160 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8687 787 782 0 7933 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 59668 [startup+342.3 s] /proc/loadavg: 2.08 2.03 2.05 3/184 13852 /proc/meminfo: memFree=31250132/32770624 swapFree=0/526896 [pid=13765] ppid=13762 vsize=59668 CPUtime=342.2 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 40308 0 0 0 34217 3 0 0 20 0 1 0 39190337 61100032 8687 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4406471 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8687 787 782 0 7933 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59668 [startup+402.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 13854 /proc/meminfo: memFree=31254676/32770624 swapFree=0/526916 [pid=13765] ppid=13762 vsize=59668 CPUtime=402.2 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 40708 0 0 0 40217 3 0 0 20 0 1 0 39190337 61100032 8687 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4407775 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8687 787 782 0 7933 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 59668 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 13856 /proc/meminfo: memFree=31254552/32770624 swapFree=0/526924 [pid=13765] ppid=13762 vsize=59668 CPUtime=462.19 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 41108 0 0 0 46216 3 0 0 20 0 1 0 39190337 61100032 8688 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4581576 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8688 787 782 0 7933 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 59668 [startup+522.3 s] /proc/loadavg: 2.08 2.03 2.05 3/181 13858 /proc/meminfo: memFree=31254764/32770624 swapFree=0/526924 [pid=13765] ppid=13762 vsize=59668 CPUtime=522.19 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 41501 0 0 0 52216 3 0 0 20 0 1 0 39190337 61100032 8688 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5649188 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8688 787 782 0 7933 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 59668 [startup+582.3 s] /proc/loadavg: 2.07 2.04 2.05 3/180 13861 /proc/meminfo: memFree=31255668/32770624 swapFree=0/526940 [pid=13765] ppid=13762 vsize=59668 CPUtime=582.19 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 41898 0 0 0 58216 3 0 0 20 0 1 0 39190337 61100032 8688 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4542508 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8688 787 782 0 7933 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 59668 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 13948 /proc/meminfo: memFree=31251764/32770624 swapFree=0/527248 [pid=13765] ppid=13762 vsize=59668 CPUtime=1602.15 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 48750 0 0 0 160211 4 0 0 20 0 1 0 39190337 61100032 8688 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4581576 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8688 787 782 0 7933 0 Current children cumulated CPU time (s) 1602.15 Current children cumulated vsize (KiB) 59668 [startup+1662.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 13950 /proc/meminfo: memFree=31252276/32770624 swapFree=0/527268 [pid=13765] ppid=13762 vsize=59668 CPUtime=1662.14 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 49155 0 0 0 166210 4 0 0 20 0 1 0 39190337 61100032 8688 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5575227 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8688 787 782 0 7933 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 59668 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 13952 /proc/meminfo: memFree=31252276/32770624 swapFree=0/527284 [pid=13765] ppid=13762 vsize=59668 CPUtime=1722.14 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 49554 0 0 0 172210 4 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4249751 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 1722.14 Current children cumulated vsize (KiB) 59668 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 13954 /proc/meminfo: memFree=31251896/32770624 swapFree=0/527288 [pid=13765] ppid=13762 vsize=59668 CPUtime=1782.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 49953 0 0 0 178209 4 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4581738 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 1782.13 Current children cumulated vsize (KiB) 59668 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 13956 /proc/meminfo: memFree=31252024/32770624 swapFree=0/527312 [pid=13765] ppid=13762 vsize=59668 CPUtime=1842.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 50357 0 0 0 184209 4 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4543790 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 1842.13 Current children cumulated vsize (KiB) 59668 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13958 /proc/meminfo: memFree=31252404/32770624 swapFree=0/527316 [pid=13765] ppid=13762 vsize=59668 CPUtime=1902.14 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 50756 0 0 0 190209 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4406506 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 1902.14 Current children cumulated vsize (KiB) 59668 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 13960 /proc/meminfo: memFree=31252744/32770624 swapFree=0/527312 [pid=13765] ppid=13762 vsize=59668 CPUtime=1962.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 51159 0 0 0 196208 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4257837 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 1962.13 Current children cumulated vsize (KiB) 59668 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 13962 /proc/meminfo: memFree=31253364/32770624 swapFree=0/527312 [pid=13765] ppid=13762 vsize=59668 CPUtime=2022.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 51559 0 0 0 202208 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5839012 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2022.13 Current children cumulated vsize (KiB) 59668 [startup+2082.3 s] /proc/loadavg: 2.10 2.04 2.05 3/184 13978 /proc/meminfo: memFree=31248280/32770624 swapFree=0/527316 [pid=13765] ppid=13762 vsize=59668 CPUtime=2082.13 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 51952 0 0 0 208208 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5839024 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2082.13 Current children cumulated vsize (KiB) 59668 [startup+2142.3 s] /proc/loadavg: 2.04 2.04 2.05 3/184 13980 /proc/meminfo: memFree=31248912/32770624 swapFree=0/527348 [pid=13765] ppid=13762 vsize=59668 CPUtime=2142.12 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 52316 0 0 0 214207 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4406456 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2142.12 Current children cumulated vsize (KiB) 59668 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.05 3/181 13982 /proc/meminfo: memFree=31252248/32770624 swapFree=0/527356 [pid=13765] ppid=13762 vsize=59668 CPUtime=2202.12 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 52710 0 0 0 220207 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5586398 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2202.12 Current children cumulated vsize (KiB) 59668 [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/181 13984 /proc/meminfo: memFree=31252252/32770624 swapFree=0/527356 [pid=13765] ppid=13762 vsize=59668 CPUtime=2262.12 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 53099 0 0 0 226207 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5165796 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2262.12 Current children cumulated vsize (KiB) 59668 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13986 /proc/meminfo: memFree=31252128/32770624 swapFree=0/527364 [pid=13765] ppid=13762 vsize=59668 CPUtime=2322.11 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 53488 0 0 0 232206 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5578112 0 0 1 16386 0 0 0 17 1 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2322.11 Current children cumulated vsize (KiB) 59668 [startup+2382.3 s] /proc/loadavg: 2.04 2.03 2.05 3/181 13989 /proc/meminfo: memFree=31251880/32770624 swapFree=0/527384 [pid=13765] ppid=13762 vsize=59668 CPUtime=2382.11 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 53877 0 0 0 238206 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5165928 0 0 1 16386 0 0 0 17 1 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2382.11 Current children cumulated vsize (KiB) 59668 [startup+2442.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 13991 /proc/meminfo: memFree=31252252/32770624 swapFree=0/527400 [pid=13765] ppid=13762 vsize=59668 CPUtime=2442.11 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 54282 0 0 0 244206 5 0 0 20 0 1 0 39190337 61100032 8689 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4257799 0 0 1 16386 0 0 0 17 1 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8689 787 782 0 7933 0 Current children cumulated CPU time (s) 2442.11 Current children cumulated vsize (KiB) 59668 [startup+2502.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 13993 /proc/meminfo: memFree=31252044/32770624 swapFree=0/527412 [pid=13765] ppid=13762 vsize=59668 CPUtime=2502.1 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 54680 0 0 0 250205 5 0 0 20 0 1 0 39190337 61100032 8690 18446744073709551615 4194304 7396336 140727791431184 140727791426200 4406503 0 0 1 16386 0 0 0 17 1 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8690 787 782 0 7933 0 Current children cumulated CPU time (s) 2502.1 Current children cumulated vsize (KiB) 59668 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.00 2.02 2.05 3/181 13994 /proc/meminfo: memFree=31252044/32770624 swapFree=0/527424 [pid=13765] ppid=13762 vsize=59668 CPUtime=2519.8 cores=1,3,5,7 /proc/13765/stat : 13765 (MistralXCSP) R 13762 13765 16590 0 -1 4202496 55075 0 0 0 251975 5 0 0 20 0 1 0 39190337 61100032 8690 18446744073709551615 4194304 7396336 140727791431184 140727791426200 5586302 0 0 1 16386 0 0 0 17 1 0 0 6 0 0 9496464 9501696 20111360 140727791432116 140727791432265 140727791432265 140727791435721 0 /proc/13765/statm: 14917 8690 787 782 0 7933 0 Current children cumulated CPU time (s) 2519.8 Current children cumulated vsize (KiB) 59668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13765 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.82 CPU user time (s): 2519.76 CPU system time (s): 0.058997 CPU usage (%): 99.9926 Max. virtual memory (cumulated for all children) (KiB): 59668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.76 system time used= 0.058997 maximum resident set size= 34780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55112 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= 19 involuntary context switches= 1716 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.99569 second user time and 10.3417 second system time The end
Begin job on node127 at 2017-08-10 14:45:22 IDJOB=4261011 IDBENCH=127051 IDSOLVER=2649 FILE ID=node127/4261011-1502369968 RUNJOBID= node127-1502331240-8162 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-084.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-4261011-1502369968/watcher-4261011-1502369968 -o /tmp/evaluation-result-4261011-1502369968/solver-4261011-1502369968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 640456328 HOME/instance-4261011-1502369968.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0731e2512da3574fe37fc3f03b16a729 RANDOM SEED=640456328 node127.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.92 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.92 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.92 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.92 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: 31290752 kB MemAvailable: 31994144 kB Buffers: 229128 kB Cached: 765636 kB SwapCached: 0 kB Active: 509956 kB Inactive: 551752 kB Active(anon): 67284 kB Inactive(anon): 24908 kB Active(file): 442672 kB Inactive(file): 526844 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5852 kB Writeback: 0 kB AnonPages: 67008 kB Mapped: 40480 kB Shmem: 25252 kB Slab: 124300 kB SReclaimable: 99424 kB SUnreclaim: 24876 kB KernelStack: 3264 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326708 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62020 MiB End job on node127 at 2017-08-10 15:27:22