Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | SAT (TO) | 63495 | 2400.13 | 2400.16 |
Name | QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml |
MD5SUM | e1bd5b7e730358cb8a15a6f1e37f47a5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 62971 |
Best CPU time to get the best result obtained on this benchmark | 2520.12 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 8190 |
Number of constraints | 4006 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 90 |
Distribution of domain sizes | [{"size":8,"count":4005},{"size":90,"count":90}] |
Minimum variable degree | 0 |
Maximum variable degree | 90 |
Distribution of variable degrees | [{"degree":0,"count":4095},{"degree":2,"count":4005},{"degree":90,"count":90}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 90 |
Distribution of constraint arities | [{"arity":3,"count":4005},{"arity":90,"count":1}] |
Number of extensional constraints | 4005 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4005},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018 10.19/10.23 o 67152 10.29/10.35 o 67054 10.49/10.51 o 66997 10.69/10.77 o 66815 10.89/10.97 o 66786 11.39/11.42 o 66689 11.49/11.59 o 66670 11.89/11.91 o 66569 22.00/22.03 o 66447 24.69/24.76 o 66435 24.89/24.93 o 66425 25.00/25.05 o 66415 33.19/33.23 o 66277 33.39/33.40 o 66266 33.69/33.79 o 66264 45.59/45.66 o 66245 46.59/46.67 o 66227 46.79/46.90 o 66179 47.00/47.07 o 66175 60.79/60.85 o 66173 61.28/61.39 o 66147 63.69/63.77 o 66039 64.99/65.07 o 65967 65.09/65.19 o 65889 65.39/65.48 o 65863 80.58/80.61 o 65817 84.98/85.07 o 65685 101.99/102.07 o 65647 102.18/102.24 o 65512 102.28/102.37 o 65488 102.48/102.52 o 65392 107.68/107.79 o 65347 108.08/108.17 o 65236 129.88/129.96 o 65036 130.09/130.16 o 65008 130.68/130.75 o 64971 130.78/130.89 o 64965 146.58/146.69 o 64929 146.78/146.85 o 64915 146.88/146.99 o 64907 168.48/168.60 o 64835 168.88/168.98 o 64646 209.09/209.15 o 64624 209.58/209.69 o 64618 210.09/210.15 o 64616 212.18/212.24 o 64490 212.28/212.36 o 64434 212.58/212.62 o 64418 213.18/213.22 o 64350 215.78/215.86 o 64260 272.87/272.95 o 64206 276.17/276.21 o 64198 277.17/277.21 o 64186 285.37/285.41 o 64170 285.47/285.56 o 64152 308.77/308.86 o 64148 309.47/309.55 o 64130 309.57/309.69 o 64128 309.77/309.81 o 64120 357.57/357.68 o 64119 358.67/358.72 o 64082 358.87/358.90 o 64052 456.78/456.85 o 64013 457.48/457.53 o 64005 571.16/571.27 o 63965 573.36/573.41 o 63889 761.26/761.32 o 63876 950.26/950.38 o 63814 953.36/953.45 o 63800 955.16/955.23 o 63750 969.15/969.24 o 63745 1329.05/1329.18 o 63705 1605.85/1605.91 o 63682 1606.06/1606.16 o 63674 1607.15/1607.23 o 63644 1609.15/1609.20 o 63636 1609.75/1609.86 o 63600 1610.15/1610.22 o 63592 1616.55/1616.66 o 63585 2161.07/2161.18 o 63570 2163.36/2163.46 o 63562 2168.66/2168.72 o 63519 2176.36/2176.47 o 63495 2400.07/2400.11 s SATISFIABLE 2400.07/2400.11 v <instantiation type="solution"> 2400.07/2400.11 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] x[84] x[85] x[86] x[87] x[88] x[89] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[0][81] d[0][82] d[0][83] d[0][84] d[0][85] d[0][86] d[0][87] d[0][88] d[0][89] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[1][81] d[1][82] d[1][83] d[1][84] d[1][85] d[1][86] d[1][87] d[1][88] d[1][89] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[2][81] d[2][82] d[2][83] d[2][84] d[2][85] d[2][86] d[2][87] d[2][88] d[2][89] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[3][81] d[3][82] d[3][83] d[3][84] d[3][85] d[3][86] d[3][87] d[3][88] d[3][89] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[4][81] d[4][82] d[4][83] d[4][84] d[4][85] d[4][86] d[4][87] d[4][88] d[4][89] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[5][81] d[5][82] d[5][83] d[5][84] d[5][85] d[5][86] d[5][87] d[5][88] d[5][89] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[6][81] d[6][82] d[6][83] d[6][84] d[6][85] d[6][86] d[6][87] d[6][88] d[6][89] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[7][81] d[7][82] d[7][83] d[7][84] d[7][85] d[7][86] d[7][87] d[7][88] d[7][89] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[8][81] d[8][82] d[8][83] d[8][84] d[8][85] d[8][86] d[8][87] d[8][88] d[8][89] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[9][81] d[9][82] d[9][83] d[9][84] d[9][85] d[9][86] d[9][87] d[9][88] d[9][89] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[10][81] d[10][82] d[10][83] d[10][84] d[10][85] d[10][86] d[10][87] d[10][88] d[10][89] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[11][81] d[11][82] d[11][83] d[11][84] d[11][85] d[11][86] d[11][87] d[11][88] d[11][89] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[12][81] d[12][82] d[12][83] d[12][84] d[12][85] d[12][86] d[12][87] d[12][88] d[12][89] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[13][81] d[13][82] d[13][83] d[13][84] d[13][85] d[13][86] d[13][87] d[13][88] d[13][89] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[14][81] d[14][82] d[14][83] d[14][84] d[14][85] d[14][86] d[14][87] d[14][88] d[14][89] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[15][81] d[15][82] d[15][83] d[15][84] d[15][85] d[15][86] d[15][87] d[15][88] d[15][89] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[16][81] d[16][82] d[16][83] d[16][84] d[16][85] d[16][86] d[16][87] d[16][88] d[16][89] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[17][81] d[17][82] d[17][83] d[17][84] d[17][85] d[17][86] d[17][87] d[17][88] d[17][89] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[18][81] d[18][82] d[18][83] d[18][84] d[18][85] d[18][86] d[18][87] d[18][88] d[18][89] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[19][81] d[19][82] d[19][83] d[19][84] d[19][85] d[19][86] d[19][87] d[19][88] d[19][89] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[20][81] d[20][82] d[20][83] d[20][84] d[20][85] d[20][86] d[20][87] d[20][88] d[20][89] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[21][81] d[21][82] d[21][83] d[21][84] d[21][85] d[21][86] d[21][87] d[21][88] d[21][89] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[22][81] d[22][82] d[22][83] d[22][84] d[22][85] d[22][86] d[22][87] d[22][88] d[22][89] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[23][81] d[23][82] d[23][83] d[23][84] d[23][85] d[23][86] d[23][87] d[23][88] d[23][89] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[24][81] d[24][82] d[24][83] d[24][84] d[24][85] d[24][86] d[24][87] d[24][88] d[24][89] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[25][81] d[25][82] d[25][83] d[25][84] d[25][85] d[25][86] d[25][87] d[25][88] d[25][89] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[26][81] d[26][82] d[26][83] d[26][84] d[26][85] d[26][86] d[26][87] d[26][88] d[26][89] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[27][81] d[27][82] d[27][83] d[27][84] d[27][85] d[27][86] d[27][87] d[27][88] d[27][89] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[28][81] d[28][82] d[28][83] d[28][84] d[28][85] d[28][86] d[28][87] d[28][88] d[28][89] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[29][81] d[29][82] d[29][83] d[29][84] d[29][85] d[29][86] d[29][87] d[29][88] d[29][89] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[30][81] d[30][82] d[30][83] d[30][84] d[30][85] d[30][86] d[30][87] d[30][88] d[30][89] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[31][81] d[31][82] d[31][83] d[31][84] d[31][85] d[31][86] d[31][87] d[31][88] d[31][89] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[32][81] d[32][82] d[32][83] d[32][84] d[32][85] d[32][86] d[32][87] d[32][88] d[32][89] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[33][81] d[33][82] d[33][83] d[33][84] d[33][85] d[33][86] d[33][87] d[33][88] d[33][89] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[34][81] d[34][82] d[34][83] d[34][84] d[34][85] d[34][86] d[34][87] d[34][88] d[34][89] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[35][81] d[35][82] d[35][83] d[35][84] d[35][85] d[35][86] d[35][87] d[35][88] d[35][89] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[36][81] d[36][82] d[36][83] d[36][84] d[36][85] d[36][86] d[36][87] d[36][88] d[36][89] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[37][81] d[37][82] d[37][83] d[37][84] d[37][85] d[37][86] d[37][87] d[37][88] d[37][89] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[38][81] d[38][82] d[38][83] d[38][84] d[38][85] d[38][86] d[38][87] d[38][88] d[38][89] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[39][81] d[39][82] d[39][83] d[39][84] d[39][85] d[39][86] d[39][87] d[39][88] d[39][89] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[40][81] d[40][82] d[40][83] d[40][84] d[40][85] d[40][86] d[40][87] d[40][88] d[40][89] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[41][81] d[41][82] d[41][83] d[41][84] d[41][85] d[41][86] d[41][87] d[41][88] d[41][89] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[42][81] d[42][82] d[42][83] d[42][84] d[42][85] d[42][86] d[42][87] d[42][88] d[42][89] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[43][81] d[43][82] d[43][83] d[43][84] d[43][85] d[43][86] d[43][87] d[43][88] d[43][89] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[44][81] d[44][82] d[44][83] d[44][84] d[44][85] d[44][86] d[44][87] d[44][88] d[44][89] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[45][81] d[45][82] d[45][83] d[45][84] d[45][85] d[45][86] d[45][87] d[45][88] d[45][89] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[46][81] d[46][82] d[46][83] d[46][84] d[46][85] d[46][86] d[46][87] d[46][88] d[46][89] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[47][81] d[47][82] d[47][83] d[47][84] d[47][85] d[47][86] d[47][87] d[47][88] d[47][89] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[48][81] d[48][82] d[48][83] d[48][84] d[48][85] d[48][86] d[48][87] d[48][88] d[48][89] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[49][81] d[49][82] d[49][83] d[49][84] d[49][85] d[49][86] d[49][87] d[49][88] d[49][89] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[50][81] d[50][82] d[50][83] d[50][84] d[50][85] d[50][86] d[50][87] d[50][88] d[50][89] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[51][81] d[51][82] d[51][83] d[51][84] d[51][85] d[51][86] d[51][87] d[51][88] d[51][89] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[52][81] d[52][82] d[52][83] d[52][84] d[52][85] d[52][86] d[52][87] d[52][88] d[52][89] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[53][81] d[53][82] d[53][83] d[53][84] d[53][85] d[53][86] d[53][87] d[53][88] d[53][89] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[54][81] d[54][82] d[54][83] d[54][84] d[54][85] d[54][86] d[54][87] d[54][88] d[54][89] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[55][81] d[55][82] d[55][83] d[55][84] d[55][85] d[55][86] d[55][87] d[55][88] d[55][89] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[56][81] d[56][82] d[56][83] d[56][84] d[56][85] d[56][86] d[56][87] d[56][88] d[56][89] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[57][81] d[57][82] d[57][83] d[57][84] d[57][85] d[57][86] d[57][87] d[57][88] d[57][89] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[58][81] d[58][82] d[58][83] d[58][84] d[58][85] d[58][86] d[58][87] d[58][88] d[58][89] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[59][81] d[59][82] d[59][83] d[59][84] d[59][85] d[59][86] d[59][87] d[59][88] d[59][89] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[60][81] d[60][82] d[60][83] d[60][84] d[60][85] d[60][86] d[60][87] d[60][88] d[60][89] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[61][81] d[61][82] d[61][83] d[61][84] d[61][85] d[61][86] d[61][87] d[61][88] d[61][89] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[62][81] d[62][82] d[62][83] d[62][84] d[62][85] d[62][86] d[62][87] d[62][88] d[62][89] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[63][81] d[63][82] d[63][83] d[63][84] d[63][85] d[63][86] d[63][87] d[63][88] d[63][89] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[64][81] d[64][82] d[64][83] d[64][84] d[64][85] d[64][86] d[64][87] d[64][88] d[64][89] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[65][81] d[65][82] d[65][83] d[65][84] d[65][85] d[65][86] d[65][87] d[65][88] d[65][89] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[66][81] d[66][82] d[66][83] d[66][84] d[66][85] d[66][86] d[66][87] d[66][88] d[66][89] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[67][81] d[67][82] d[67][83] d[67][84] d[67][85] d[67][86] d[67][87] d[67][88] d[67][89] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[68][81] d[68][82] d[68][83] d[68][84] d[68][85] d[68][86] d[68][87] d[68][88] d[68][89] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[69][81] d[69][82] d[69][83] d[69][84] d[69][85] d[69][86] d[69][87] d[69][88] d[69][89] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[70][81] d[70][82] d[70][83] d[70][84] d[70][85] d[70][86] d[70][87] d[70][88] d[70][89] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[71][81] d[71][82] d[71][83] d[71][84] d[71][85] d[71][86] d[71][87] d[71][88] d[71][89] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[72][81] d[72][82] d[72][83] d[72][84] d[72][85] d[72][86] d[72][87] d[72][88] d[72][89] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[73][81] d[73][82] d[73][83] d[73][84] d[73][85] d[73][86] d[73][87] d[73][88] d[73][89] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[74][81] d[74][82] d[74][83] d[74][84] d[74][85] d[74][86] d[74][87] d[74][88] d[74][89] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[75][81] d[75][82] d[75][83] d[75][84] d[75][85] d[75][86] d[75][87] d[75][88] d[75][89] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][80] d[76][81] d[76][82] d[76][83] d[76][84] d[76][85] d[76][86] d[76][87] d[76][88] d[76][89] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][80] d[77][81] d[77][82] d[77][83] d[77][84] d[77][85] d[77][86] d[77][87] d[77][88] d[77][89] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][80] d[78][81] d[78][82] d[78][83] d[78][84] d[78][85] d[78][86] d[78][87] d[78][88] d[78][89] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][80] d[79][81] d[79][82] d[79][83] d[79][84] d[79][85] d[79][86] d[79][87] d[79][88] d[79][89] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] d[80][81] d[80][82] d[80][83] d[80][84] d[80][85] d[80][86] d[80][87] d[80][88] d[80][89] d[81][0] d[81][1] d[81][2] d[81][3] d[81][4] d[81][5] d[81][6] d[81][7] d[81][8] d[81][9] d[81][10] d[81][11] d[81][12] d[81][13] d[81][14] d[81][15] d[81][16] d[81][17] d[81][18] d[81][19] d[81][20] d[81][21] d[81][22] d[81][23] d[81][24] d[81][25] d[81][26] d[81][27] d[81][28] d[81][29] d[81][30] d[81][31] d[81][32] d[81][33] d[81][34] d[81][35] d[81][36] d[81][37] d[81][38] d[81][39] d[81][40] d[81][41] d[81][42] d[81][43] d[81][44] d[81][45] d[81][46] d[81][47] d[81][48] d[81][49] d[81][50] d[81][51] d[81][52] d[81][53] d[81][54] d[81][55] d[81][56] d[81][57] d[81][58] d[81][59] d[81][60] d[81][61] d[81][62] d[81][63] d[81][64] d[81][65] d[81][66] d[81][67] d[81][68] d[81][69] d[81][70] d[81][71] d[81][72] d[81][73] d[81][74] d[81][75] d[81][76] d[81][77] d[81][78] d[81][79] d[81][80] d[81][81] d[81][82] d[81][83] d[81][84] d[81][85] d[81][86] d[81][87] d[81][88] d[81][89] d[82][0] d[82][1] d[82][2] d[82][3] d[82][4] d[82][5] d[82][6] d[82][7] d[82][8] d[82][9] d[82][10] d[82][11] d[82][12] d[82][13] d[82][14] d[82][15] d[82][16] d[82][17] d[82][18] d[82][19] d[82][20] d[82][21] d[82][22] d[82][23] d[82][24] d[82][25] d[82][26] d[82][27] d[82][28] d[82][29] d[82][30] d[82][31] d[82][32] d[82][33] d[82][34] d[82][35] d[82][36] d[82][37] d[82][38] d[82][39] d[82][40] d[82][41] d[82][42] d[82][43] d[82][44] d[82][45] d[82][46] d[82][47] d[82][48] d[82][49] d[82][50] d[82][51] d[82][52] d[82][53] d[82][54] d[82][55] d[82][56] d[82][57] d[82][58] d[82][59] d[82][60] d[82][61] d[82][62] d[82][63] d[82][64] d[82][65] d[82][66] d[82][67] d[82][68] d[82][69] d[82][70] d[82][71] d[82][72] d[82][73] d[82][74] d[82][75] d[82][76] d[82][77] d[82][78] d[82][79] d[82][80] d[82][81] d[82][82] d[82][83] d[82][84] d[82][85] d[82][86] d[82][87] d[82][88] d[82][89] d[83][0] d[83][1] d[83][2] d[83][3] d[83][4] d[83][5] d[83][6] d[83][7] d[83][8] d[83][9] d[83][10] d[83][11] d[83][12] d[83][13] d[83][14] d[83][15] d[83][16] d[83][17] d[83][18] d[83][19] d[83][20] d[83][21] d[83][22] d[83][23] d[83][24] d[83][25] d[83][26] d[83][27] d[83][28] d[83][29] d[83][30] d[83][31] d[83][32] d[83][33] d[83][34] d[83][35] d[83][36] d[83][37] d[83][38] d[83][39] d[83][40] d[83][41] d[83][42] d[83][43] d[83][44] d[83][45] d[83][46] d[83][47] d[83][48] d[83][49] d[83][50] d[83][51] d[83][52] d[83][53] d[83][54] d[83][55] d[83][56] d[83][57] d[83][58] d[83][59] d[83][60] d[83][61] d[83][62] d[83][63] d[83][64] d[83][65] d[83][66] d[83][67] d[83][68] d[83][69] d[83][70] d[83][71] d[83][72] d[83][73] d[83][74] d[83][75] d[83][76] d[83][77] d[83][78] d[83][79] d[83][80] d[83][81] d[83][82] d[83][83] d[83][84] d[83][85] d[83][86] d[83][87] d[83][88] d[83][89] d[84][0] d[84][1] d[84][2] d[84][3] d[84][4] d[84][5] d[84][6] d[84][7] d[84][8] d[84][9] d[84][10] d[84][11] d[84][12] d[84][13] d[84][14] d[84][15] d[84][16] d[84][17] d[84][18] d[84][19] d[84][20] d[84][21] d[84][22] d[84][23] d[84][24] d[84][25] d[84][26] d[84][27] d[84][28] d[84][29] d[84][30] d[84][31] d[84][32] d[84][33] d[84][34] d[84][35] d[84][36] d[84][37] d[84][38] d[84][39] d[84][40] d[84][41] d[84][42] d[84][43] d[84][44] d[84][45] d[84][46] d[84][47] d[84][48] d[84][49] d[84][50] d[84][51] d[84][52] d[84][53] d[84][54] d[84][55] d[84][56] d[84][57] d[84][58] d[84][59] d[84][60] d[84][61] d[84][62] d[84][63] d[84][64] d[84][65] d[84][66] d[84][67] d[84][68] d[84][69] d[84][70] d[84][71] d[84][72] d[84][73] d[84][74] d[84][75] d[84][76] d[84][77] d[84][78] d[84][79] d[84][80] d[84][81] d[84][82] d[84][83] d[84][84] d[84][85] d[84][86] d[84][87] d[84][88] d[84][89] d[85][0] d[85][1] d[85][2] d[85][3] d[85][4] d[85][5] d[85][6] d[85][7] d[85][8] d[85][9] d[85][10] d[85][11] d[85][12] d[85][13] d[85][14] d[85][15] d[85][16] d[85][17] d[85][18] d[85][19] d[85][20] d[85][21] d[85][22] d[85][23] d[85][24] d[85][25] d[85][26] d[85][27] d[85][28] d[85][29] d[85][30] d[85][31] d[85][32] d[85][33] d[85][34] d[85][35] d[85][36] d[85][37] d[85][38] d[85][39] d[85][40] d[85][41] d[85][42] d[85][43] d[85][44] d[85][45] d[85][46] d[85][47] d[85][48] d[85][49] d[85][50] d[85][51] d[85][52] d[85][53] d[85][54] d[85][55] d[85][56] d[85][57] d[85][58] d[85][59] d[85][60] d[85][61] d[85][62] d[85][63] d[85][64] d[85][65] d[85][66] d[85][67] d[85][68] d[85][69] d[85][70] d[85][71] d[85][72] d[85][73] d[85][74] d[85][75] d[85][76] d[85][77] d[85][78] d[85][79] d[85][80] d[85][81] d[85][82] d[85][83] d[85][84] d[85][85] d[85][86] d[85][87] d[85][88] d[85][89] d[86][0] d[86][1] d[86][2] d[86][3] d[86][4] d[86][5] d[86][6] d[86][7] d[86][8] d[86][9] d[86][10] d[86][11] d[86][12] d[86][13] d[86][14] d[86][15] d[86][16] d[86][17] d[86][18] d[86][19] d[86][20] d[86][21] d[86][22] d[86][23] d[86][24] d[86][25] d[86][26] d[86][27] d[86][28] d[86][29] d[86][30] d[86][31] d[86][32] d[86][33] d[86][34] d[86][35] d[86][36] d[86][37] d[86][38] d[86][39] d[86][40] d[86][41] d[86][42] d[86][43] d[86][44] d[86][45] d[86][46] d[86][47] d[86][48] d[86][49] d[86][50] d[86][51] d[86][52] d[86][53] d[86][54] d[86][55] d[86][56] d[86][57] d[86][58] d[86][59] d[86][60] d[86][61] d[86][62] d[86][63] d[86][64] d[86][65] d[86][66] d[86][67] d[86][68] d[86][69] d[86][70] d[86][71] d[86][72] d[86][73] d[86][74] d[86][75] d[86][76] d[86][77] d[86][78] d[86][79] d[86][80] d[86][81] d[86][82] d[86][83] d[86][84] d[86][85] d[86][86] d[86][87] d[86][88] d[86][89] d[87][0] d[87][1] d[87][2] d[87][3] d[87][4] d[87][5] d[87][6] d[87][7] d[87][8] d[87][9] d[87][10] d[87][11] d[87][12] d[87][13] d[87][14] d[87][15] d[87][16] d[87][17] d[87][18] d[87][19] d[87][20] d[87][21] d[87][22] d[87][23] d[87][24] d[87][25] d[87][26] d[87][27] d[87][28] d[87][29] d[87][30] d[87][31] d[87][32] d[87][33] d[87][34] d[87][35] d[87][36] d[87][37] d[87][38] d[87][39] d[87][40] d[87][41] d[87][42] d[87][43] d[87][44] d[87][45] d[87][46] d[87][47] d[87][48] d[87][49] d[87][50] d[87][51] d[87][52] d[87][53] d[87][54] d[87][55] d[87][56] d[87][57] d[87][58] d[87][59] d[87][60] d[87][61] d[87][62] d[87][63] d[87][64] d[87][65] d[87][66] d[87][67] d[87][68] d[87][69] d[87][70] d[87][71] d[87][72] d[87][73] d[87][74] d[87][75] d[87][76] d[87][77] d[87][78] d[87][79] d[87][80] d[87][81] d[87][82] d[87][83] d[87][84] d[87][85] d[87][86] d[87][87] d[87][88] d[87][89] d[88][0] d[88][1] d[88][2] d[88][3] d[88][4] d[88][5] d[88][6] d[88][7] d[88][8] d[88][9] d[88][10] d[88][11] d[88][12] d[88][13] d[88][14] d[88][15] d[88][16] d[88][17] d[88][18] d[88][19] d[88][20] d[88][21] d[88][22] d[88][23] d[88][24] d[88][25] d[88][26] d[88][27] d[88][28] d[88][29] d[88][30] d[88][31] d[88][32] d[88][33] d[88][34] d[88][35] d[88][36] d[88][37] d[88][38] d[88][39] d[88][40] d[88][41] d[88][42] d[88][43] d[88][44] d[88][45] d[88][46] d[88][47] d[88][48] d[88][49] d[88][50] d[88][51] d[88][52] d[88][53] d[88][54] d[88][55] d[88][56] d[88][57] d[88][58] d[88][59] d[88][60] d[88][61] d[88][62] d[88][63] d[88][64] d[88][65] d[88][66] d[88][67] d[88][68] d[88][69] d[88][70] d[88][71] d[88][72] d[88][73] d[88][74] d[88][75] d[88][76] d[88][77] d[88][78] d[88][79] d[88][80] d[88][81] d[88][82] d[88][83] d[88][84] d[88][85] d[88][86] d[88][87] d[88][88] d[88][89] d[89][0] d[89][1] d[89][2] d[89][3] d[89][4] d[89][5] d[89][6] d[89][7] d[89][8] d[89][9] d[89][10] d[89][11] d[89][12] d[89][13] d[89][14] d[89][15] d[89][16] d[89][17] d[89][18] d[89][19] d[89][20] d[89][21] d[89][22] d[89][23] d[89][24] d[89][25] d[89][26] d[89][27] d[89][28] d[89][29] d[89][30] d[89][31] d[89][32] d[89][33] d[89][34] d[89][35] d[89][36] d[89][37] d[89][38] d[89][39] d[89][40] d[89][41] d[89][42] d[89][43] d[89][44] d[89][45] d[89][46] d[89][47] d[89][48] d[89][49] d[89][50] d[89][51] d[89][52] d[89][53] d[89][54] d[89][55] d[89][56] d[89][57] d[89][58] d[89][59] d[89][60] d[89][61] d[89][62] d[89][63] d[89][64] d[89][65] d[89][66] d[89][67] d[89][68] d[89][69] d[89][70] d[89][71] d[89][72] d[89][73] d[89][74] d[89][75] d[89][76] d[89][77] d[89][78] d[89][79] d[89][80] d[89][81] d[89][82] d[89][83] d[89][84] d[89][85] d[89][86] d[89][87] d[89][88] d[89][89] </list> 2400.07/2400.11 v <values> 32 1 18 9 63 81 66 39 47 24 4 30 38 71 25 5 31 42 51 49 41 61 52 2 72 27 68 55 17 56 14 44 34 6 50 48 8 67 57 26 64 35 23 20 36 13 74 43 58 54 28 88 15 0 16 12 59 33 70 29 84 89 3 45 53 11 10 60 82 78 19 65 46 76 69 80 87 21 40 85 86 83 79 77 62 7 75 37 73 22 * 1 0 0 2 4 0 2 0 0 5 0 5 0 5 3 10 6 5 0 5 4 0 5 0 2 2 2 2 2 4 3 10 0 2 0 1 1 5 5 2 5 5 0 10 0 1 5 0 0 5 0 10 3 0 5 1 1 0 0 5 6 0 5 0 1 2 0 5 1 10 4 10 2 6 0 4 0 0 3 1 0 5 0 2 0 5 0 0 2 * * 0 5 5 5 2 2 1 5 0 10 5 5 5 3 2 1 2 5 10 2 0 5 0 2 2 1 0 1 0 0 5 10 0 1 2 5 2 2 2 0 5 5 0 0 0 1 1 1 6 3 5 2 10 0 0 1 5 2 0 0 10 0 1 0 1 6 0 2 0 1 6 2 4 1 5 0 2 1 0 0 0 0 0 1 0 4 5 0 * * * 0 0 0 1 0 0 1 1 0 5 4 4 10 6 0 0 1 0 0 5 10 0 5 10 0 0 10 10 0 2 10 2 2 2 1 10 1 10 5 2 2 5 2 2 2 5 2 0 2 1 0 4 10 1 3 1 1 2 0 1 0 3 5 2 0 5 6 1 5 0 5 2 2 2 1 2 5 2 1 2 5 0 2 4 5 0 0 * * * * 10 2 0 5 6 2 5 5 0 1 0 5 6 0 2 3 5 0 0 2 5 2 2 1 5 2 5 10 1 1 4 2 10 1 0 0 5 2 0 3 5 1 1 0 0 0 2 10 5 6 2 2 5 0 5 2 0 5 5 0 2 5 0 1 2 2 2 2 1 2 5 10 0 5 0 0 0 1 0 1 5 2 2 0 2 2 * * * * * 10 5 10 0 2 10 2 0 1 1 2 1 1 0 0 2 0 6 0 1 2 2 2 2 1 2 1 0 3 1 0 2 0 5 2 0 5 2 5 2 0 0 0 5 10 5 5 0 6 5 5 2 0 0 0 1 1 5 0 1 6 10 0 1 4 0 2 1 4 2 5 1 5 0 6 5 2 0 5 1 0 2 0 5 2 * * * * * * 2 5 0 0 2 0 0 1 0 2 10 10 1 0 4 1 5 2 2 0 2 2 0 2 1 1 0 0 2 5 2 5 3 2 10 0 4 0 0 5 5 5 1 0 5 0 5 5 1 5 1 2 3 0 1 2 1 2 1 2 0 2 5 2 1 5 0 3 0 5 2 0 5 2 1 1 1 2 5 0 2 2 0 0 * * * * * * * 0 0 0 10 0 10 1 0 2 0 0 2 2 2 5 0 4 10 2 4 2 10 5 0 1 5 2 0 1 1 0 1 0 0 1 5 0 1 2 0 2 1 10 5 5 0 0 5 0 0 3 1 2 2 3 2 0 0 5 0 5 6 0 1 0 0 10 1 10 1 2 0 3 0 1 1 0 0 0 4 2 2 1 * * * * * * * * 10 2 2 2 5 2 4 2 0 0 10 3 0 0 5 1 2 5 1 5 1 10 0 0 5 3 0 2 0 5 0 10 0 0 2 2 5 10 4 10 2 0 0 3 0 0 0 0 3 3 5 0 3 2 4 0 0 3 5 10 0 1 1 5 2 5 0 10 0 0 2 0 1 5 5 0 5 1 0 0 2 2 * * * * * * * * * 5 0 6 2 2 1 4 1 0 5 10 0 10 0 5 2 5 2 10 2 0 0 10 0 0 5 1 1 0 5 2 5 6 2 0 0 0 10 5 10 2 0 2 2 5 2 0 0 5 1 3 5 0 1 0 2 0 1 2 5 0 1 0 1 0 1 0 5 0 4 10 1 0 0 0 10 0 1 3 1 1 * * * * * * * * * * 3 0 0 1 0 2 0 10 3 2 0 6 10 0 1 0 0 0 5 5 0 1 10 2 0 0 1 0 1 0 2 0 0 5 3 5 0 4 4 5 5 0 2 2 6 0 5 0 5 0 0 0 0 0 2 5 2 5 2 2 2 5 1 0 0 1 1 2 0 0 5 5 1 2 5 5 2 5 5 5 * * * * * * * * * * * 2 0 5 1 2 0 0 1 0 5 2 3 0 5 5 0 0 6 0 0 0 1 2 2 0 2 0 0 0 2 2 5 2 5 0 0 0 2 1 2 1 0 4 5 0 2 0 5 2 2 2 3 2 3 2 0 0 10 10 0 0 10 0 2 3 0 1 0 0 0 0 0 0 2 2 0 2 1 2 * * * * * * * * * * * * 2 0 0 5 2 5 1 5 1 3 5 2 5 5 2 3 6 0 10 0 5 6 2 5 1 5 0 2 3 0 1 5 2 0 0 1 5 4 2 0 5 0 1 0 5 10 3 6 5 2 2 1 0 1 0 0 5 0 0 0 1 0 1 5 0 0 2 6 5 1 5 1 0 0 0 2 2 0 * * * * * * * * * * * * * 10 2 10 10 2 1 5 5 10 2 5 5 1 1 5 0 2 3 5 10 0 0 5 1 2 0 0 3 0 2 3 4 0 3 5 0 5 1 5 0 5 1 1 0 3 0 0 1 5 10 3 0 0 1 0 1 0 5 2 1 0 2 5 0 1 0 0 0 2 2 2 0 0 2 5 3 5 * * * * * * * * * * * * * * 1 0 5 3 2 1 0 2 2 10 0 5 2 0 0 0 0 0 1 2 0 5 5 10 3 0 3 5 0 6 3 5 1 5 0 0 0 5 0 4 0 2 2 4 0 0 10 5 2 3 0 2 5 0 1 0 5 0 6 2 1 2 2 0 1 0 2 2 0 4 0 10 2 5 5 0 * * * * * * * * * * * * * * * 0 2 1 0 5 0 0 0 2 10 5 2 0 5 0 0 10 1 1 10 10 0 5 1 0 2 1 5 2 2 0 1 0 0 0 5 2 2 1 6 1 5 0 0 5 2 10 10 10 10 5 0 5 5 2 0 0 3 1 0 5 5 0 0 2 0 2 0 1 5 1 2 5 6 0 * * * * * * * * * * * * * * * * 2 0 10 1 5 5 5 2 10 5 5 3 10 10 0 1 5 2 5 2 2 5 1 5 0 1 0 2 10 2 0 5 5 3 10 0 1 2 5 10 2 5 2 0 0 5 0 2 5 10 1 0 5 2 3 5 4 0 0 2 0 0 4 0 2 10 0 5 5 0 1 5 1 2 * * * * * * * * * * * * * * * * * 5 10 2 2 10 5 0 10 1 4 2 0 2 5 1 5 5 0 0 2 5 3 10 2 2 1 1 2 0 1 2 1 5 2 5 0 2 2 2 5 1 5 0 5 5 1 0 10 0 0 0 0 2 5 0 0 0 2 2 10 2 1 0 0 5 0 5 5 2 0 2 0 2 * * * * * * * * * * * * * * * * * * 1 10 5 2 5 5 0 4 0 10 0 0 1 0 0 5 5 0 0 5 5 0 0 10 5 5 0 10 10 2 1 3 0 0 6 4 3 5 0 2 0 5 0 0 0 0 4 0 0 3 0 5 4 5 2 2 2 0 0 2 5 5 5 0 3 5 10 0 2 1 5 0 * * * * * * * * * * * * * * * * * * * 0 0 5 0 5 0 5 1 2 0 0 3 5 2 5 5 4 1 2 0 2 5 0 2 5 2 4 0 0 2 5 0 2 2 0 3 5 2 0 2 0 5 0 1 1 0 2 3 5 0 5 1 0 5 2 0 0 10 2 3 2 2 2 0 2 10 10 10 5 0 2 * * * * * * * * * * * * * * * * * * * * 0 0 5 2 5 10 0 5 0 0 1 2 0 2 0 5 4 2 0 2 0 5 2 1 5 0 0 1 1 2 1 5 2 1 2 5 2 3 4 2 0 5 2 2 0 5 1 0 2 1 1 5 0 1 0 0 0 0 5 5 2 5 4 2 3 2 3 1 2 0 * * * * * * * * * * * * * * * * * * * * * 5 10 6 0 0 1 1 5 2 2 6 10 2 0 0 0 0 2 0 0 5 10 5 0 5 0 5 0 5 10 1 2 0 1 5 5 0 1 0 10 0 0 0 5 4 1 1 1 2 2 0 0 0 0 2 0 2 2 0 2 2 1 0 0 6 0 4 0 2 * * * * * * * * * * * * * * * * * * * * * * 2 5 1 0 2 0 2 0 2 2 10 1 1 0 5 5 2 0 5 0 2 5 1 10 0 0 0 5 5 1 2 6 5 2 0 2 0 4 5 3 2 0 2 1 2 2 1 0 5 2 0 5 2 5 0 6 10 4 10 5 1 2 0 2 0 0 4 2 * * * * * * * * * * * * * * * * * * * * * * * 1 2 1 1 0 1 0 5 5 2 3 1 5 2 1 0 5 4 2 2 0 5 1 5 5 0 3 5 0 5 5 1 5 0 4 5 0 2 5 10 3 2 0 0 0 1 2 5 3 0 5 2 0 0 0 0 2 0 0 5 0 0 0 0 2 1 2 * * * * * * * * * * * * * * * * * * * * * * * * 1 5 10 2 5 2 2 10 5 5 10 3 2 5 1 5 5 5 0 0 6 10 5 0 0 5 5 2 10 10 5 2 5 2 0 5 0 5 0 4 5 0 0 0 0 1 0 0 0 5 5 0 5 0 0 5 0 10 10 2 2 5 3 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 0 0 3 0 5 1 5 2 0 0 6 0 2 0 2 4 0 10 0 1 0 2 6 10 0 5 6 4 5 1 0 0 5 10 2 3 2 2 1 0 0 0 2 4 0 5 5 5 0 1 4 2 0 2 5 1 0 2 0 5 6 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 0 0 4 10 10 5 5 10 5 0 1 2 5 0 0 5 5 0 10 3 4 1 1 1 0 0 4 0 1 0 0 2 10 0 2 10 3 0 0 10 2 5 3 5 5 2 0 0 0 2 1 2 0 10 5 6 0 3 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 10 0 2 5 0 5 0 2 3 3 1 5 2 0 4 5 0 0 5 1 0 3 0 0 5 1 10 0 10 5 0 0 0 0 2 10 0 1 0 2 0 0 2 5 5 0 0 0 4 0 2 2 5 1 0 2 2 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 10 6 2 0 5 1 3 0 0 4 2 10 2 0 1 5 5 0 4 4 0 4 1 1 0 2 3 2 2 1 1 4 10 10 0 4 5 0 2 0 3 0 0 2 3 2 5 5 4 3 0 0 10 2 1 5 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 1 0 1 2 0 10 0 1 3 1 1 2 5 0 2 1 5 2 0 2 0 0 2 2 6 0 5 10 1 1 5 10 0 1 5 5 4 0 5 5 0 0 2 5 0 2 0 0 2 5 0 0 2 5 0 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 10 0 5 5 0 3 0 5 2 0 2 5 4 0 10 5 1 5 1 5 3 5 0 5 5 3 1 3 2 2 4 2 5 5 2 10 10 2 2 5 0 2 0 2 5 2 2 3 2 10 4 10 2 2 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 1 5 5 2 2 0 2 2 5 5 4 5 5 3 4 5 10 3 10 0 3 10 0 2 1 2 2 0 3 0 5 5 5 1 5 0 1 10 3 0 10 0 1 0 10 0 5 2 0 5 5 2 1 4 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 0 5 5 3 5 0 1 2 0 0 5 5 0 2 0 4 2 4 1 0 1 5 5 0 5 5 2 0 5 0 2 0 1 5 0 1 2 5 4 5 2 5 1 0 1 5 3 2 0 3 0 2 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 1 0 10 2 0 3 0 5 1 4 5 0 3 0 2 5 5 5 2 1 0 4 0 0 0 10 0 0 2 1 0 1 2 5 0 0 5 6 0 2 0 3 5 0 1 0 0 1 0 5 2 6 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 6 0 2 0 1 2 0 10 0 5 2 0 1 0 10 5 1 5 5 0 0 5 5 5 5 0 0 0 1 0 1 5 0 0 4 0 5 5 2 5 3 2 5 0 0 5 1 0 5 2 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 10 4 1 10 0 0 2 10 0 0 1 5 2 0 6 10 2 0 0 5 5 1 5 0 3 2 1 5 2 3 3 2 6 5 5 6 2 5 10 10 1 5 1 2 0 10 5 3 0 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 2 6 5 10 4 0 5 0 10 0 1 2 0 0 5 3 4 0 5 0 2 2 2 2 1 2 3 1 5 0 5 0 2 2 0 10 5 5 5 0 4 0 0 3 2 5 2 0 2 4 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 5 5 2 4 1 1 5 2 3 5 1 6 5 0 0 4 4 1 2 4 2 0 5 0 1 6 2 4 0 0 0 2 0 0 2 2 10 2 5 6 0 0 2 3 0 1 5 10 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 4 10 0 0 10 4 2 1 2 0 2 10 5 5 5 1 2 0 2 0 5 10 0 3 2 0 10 10 0 3 4 2 0 2 1 0 0 10 5 0 5 0 2 2 2 0 0 2 3 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 5 2 0 0 1 10 0 1 4 5 1 5 2 3 0 0 1 5 0 5 6 0 5 3 0 10 0 1 0 2 0 0 2 0 5 0 0 0 5 0 5 4 6 5 5 5 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 1 2 1 3 10 2 0 1 2 0 3 0 2 0 2 1 10 2 4 2 10 1 1 5 2 0 10 1 1 1 1 5 2 10 0 0 5 2 5 0 1 1 1 5 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 1 10 5 1 2 3 0 2 1 4 3 0 5 0 0 0 5 10 10 1 3 3 5 2 2 0 5 5 0 5 0 5 5 1 2 0 0 10 2 5 2 0 1 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 5 0 0 0 10 0 10 5 0 2 0 2 10 1 5 5 2 4 1 1 5 5 3 2 0 0 2 5 10 10 10 0 0 0 5 5 2 0 0 2 2 0 3 0 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 2 3 0 5 2 0 1 5 1 0 10 2 2 2 2 10 5 10 0 0 4 0 2 1 0 4 0 2 0 5 1 0 0 5 1 3 2 4 5 10 0 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 5 1 5 5 0 5 10 2 0 10 1 3 0 0 10 5 5 5 0 5 2 2 0 0 0 0 5 5 2 0 0 5 2 0 0 5 2 5 4 4 1 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 5 1 1 5 0 0 1 0 10 0 0 2 5 0 0 5 10 1 1 0 0 0 0 1 2 10 0 0 6 2 10 10 2 0 10 5 3 1 0 5 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 2 0 2 6 0 10 10 2 6 1 1 4 0 1 1 2 0 10 1 0 5 0 4 5 2 1 2 1 1 2 5 1 5 2 0 5 4 0 0 10 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 10 5 0 5 0 4 0 1 0 1 5 0 10 1 10 5 3 5 5 1 2 1 0 0 0 3 5 10 0 4 0 3 10 2 2 0 1 2 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 2 0 5 1 1 1 0 5 5 1 1 0 0 5 2 0 5 5 0 2 0 10 5 5 0 3 3 10 5 2 0 5 0 2 10 0 6 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 0 1 1 0 10 0 5 5 5 0 3 0 4 2 0 10 0 2 0 5 5 0 0 1 0 5 2 5 5 10 0 2 0 5 0 10 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 2 1 10 0 2 1 10 5 0 2 0 0 4 2 0 10 0 5 0 0 0 5 0 4 4 1 2 0 2 5 5 2 2 0 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 2 6 1 0 1 0 0 0 2 10 2 5 3 1 5 0 1 0 1 4 10 0 5 3 0 0 5 0 0 4 2 4 3 3 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 2 5 5 6 2 5 5 10 5 3 0 2 2 2 1 5 5 0 0 2 5 3 0 2 2 0 10 4 5 0 3 5 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 2 0 3 1 2 4 0 0 0 2 0 5 5 6 5 2 0 10 2 0 5 0 3 4 0 0 4 5 2 4 10 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 4 0 0 5 4 2 0 5 0 0 0 5 1 1 0 5 5 2 5 5 2 5 1 0 1 5 0 0 2 5 5 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 10 5 5 0 2 0 0 5 0 5 6 2 10 5 2 0 5 4 5 2 0 1 0 4 2 0 10 5 2 4 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 1 0 5 1 0 5 2 0 10 5 10 2 5 0 5 1 1 5 0 1 5 0 0 2 10 4 2 0 6 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 0 5 10 2 1 2 5 10 0 2 2 2 5 0 2 5 5 2 0 0 2 0 5 5 5 0 0 0 5 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 0 5 5 5 0 5 0 5 5 1 0 0 3 0 2 5 2 10 0 0 0 0 1 5 0 2 4 0 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 2 4 0 1 5 5 0 5 5 2 6 0 1 0 0 5 2 0 0 5 3 4 1 1 1 1 10 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 1 0 0 5 0 0 2 4 2 4 0 0 2 5 5 2 0 1 0 0 2 5 5 2 2 5 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 10 10 2 2 2 10 0 5 2 1 0 5 1 2 1 5 2 10 0 2 0 0 0 5 2 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 5 1 2 0 2 1 0 2 0 5 1 5 1 5 2 0 5 5 4 2 2 1 1 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 0 10 5 4 1 5 10 5 10 1 2 0 0 2 10 10 0 0 0 5 5 5 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 5 0 2 0 4 2 0 0 0 1 5 0 0 0 1 2 0 5 5 5 0 2 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 10 10 5 0 5 5 0 5 2 1 3 0 3 0 2 5 4 5 2 0 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 3 5 5 4 10 0 2 2 5 0 2 5 0 2 5 5 0 4 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 4 5 2 0 10 2 2 2 2 1 0 0 1 4 2 5 1 1 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 5 0 0 0 1 5 0 1 5 1 5 0 5 4 2 2 0 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 10 0 0 5 1 0 5 5 5 10 0 4 3 1 2 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 1 10 0 1 5 4 10 0 10 3 5 1 5 0 2 2 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 4 3 5 0 1 2 0 5 0 10 6 5 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 10 10 5 3 6 1 2 10 2 0 10 5 0 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 10 10 2 2 2 5 0 6 1 5 5 4 3 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 4 0 5 2 0 3 2 5 0 5 1 1 5 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 10 2 4 0 0 0 0 2 0 10 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 1 5 0 0 10 10 5 0 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 10 2 10 10 3 2 0 5 2 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 2 2 2 0 0 0 4 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 5 2 0 5 10 10 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 0 2 5 1 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 0 0 0 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 2 0 1 0 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 4 2 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 3 0 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 5 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 2400.07/2400.11 v </instantiation>
OK 63495
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9766 MiB free) memory of node 1: 16384 MiB (14835 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289395-1532195325/watcher-4289395-1532195325 -o /tmp/evaluation-result-4289395-1532195325/solver-4289395-1532195325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532190500-24635 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1143073342 HOME/instance-4289395-1532195325.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25381, runsolver pid=25378 Current StackSize limit: 8192 KiB [startup+0.100165 s]* /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=25178216/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=42044 memory=16548 CPUtime=0.1 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 4515 0 0 0 10 0 0 0 20 0 1 0 37095617 43053056 4137 33554432000 4194304 7498468 140736528868400 140736528865400 139960103476224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 10511 4137 687 807 0 3502 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 42044 KiB Current children cumulated memory: 16548 KiB [startup+0.209663 s]* /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=25133204/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=94048 memory=68556 CPUtime=0.21 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 17540 0 0 0 19 2 0 0 20 0 1 0 37095617 96305152 17139 33554432000 4194304 7498468 140736528868400 140736528865400 139960103037925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 23512 17139 696 807 0 16503 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 94048 KiB Current children cumulated memory: 68556 KiB [startup+0.309622 s]* /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=25056200/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=170732 memory=145116 CPUtime=0.31 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 36700 0 0 0 27 4 0 0 20 0 1 0 37095617 174829568 36279 33554432000 4194304 7498468 140736528868400 140736528865400 5790441 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 42683 36279 696 807 0 35674 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 170732 KiB Current children cumulated memory: 145116 KiB [startup+0.700376 s] /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=24902192/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=464244 memory=438684 CPUtime=0.69 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 110086 0 0 0 57 12 0 0 20 0 1 0 37095617 475385856 109671 33554432000 4194304 7498468 140736528868400 140736528859480 139960103037925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 116061 109671 696 807 0 109052 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 464244 KiB Current children cumulated memory: 438684 KiB [startup+1.50037 s] /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=24523752/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=1081620 memory=1056180 CPUtime=1.49 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 264430 0 0 0 117 32 0 0 20 0 1 0 37095617 1107578880 264045 33554432000 4194304 7498468 140736528868400 140736528859480 139960103037925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 270405 264045 696 807 0 263396 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 1081620 KiB Current children cumulated memory: 1056180 KiB [startup+3.1095 s] /proc/loadavg: 2.16 2.05 1.97 3/187 25382 /proc/meminfo: memFree=22976084/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=2323044 memory=2297584 CPUtime=3.09 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 575483 0 0 0 242 67 0 0 20 0 1 0 37095617 2378797056 574396 33554432000 4194304 7498468 140736528868400 140736528859480 139960103085984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 580761 574396 696 807 0 573752 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 2323044 KiB Current children cumulated memory: 2297584 KiB [startup+6.30038 s] /proc/loadavg: 2.15 2.05 1.97 3/187 25382 /proc/meminfo: memFree=21216108/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=3996036 memory=3970764 CPUtime=6.29 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 1519262 0 0 0 492 137 0 0 20 0 1 0 37095617 4091940864 992691 33554432000 4194304 7498468 140736528868400 140736528859896 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 999009 992691 732 807 0 992000 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 3996036 KiB Current children cumulated memory: 3970764 KiB [startup+12.7004 s] /proc/loadavg: 2.22 2.06 1.98 3/187 25382 /proc/meminfo: memFree=20691544/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4519800 memory=4494560 CPUtime=12.69 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 1801022 0 0 0 1108 161 0 0 20 0 1 0 37095617 4628275200 1123640 33554432000 4194304 7498468 140736528868400 140736528863416 4249936 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1129950 1123640 740 807 0 1122941 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 4519800 KiB Current children cumulated memory: 4494560 KiB [startup+25.5004 s] /proc/loadavg: 2.39 2.11 1.99 3/187 25382 /proc/meminfo: memFree=20599784/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4611548 memory=4586308 CPUtime=25.49 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 2657614 0 0 0 2350 199 0 0 20 0 1 0 37095617 4722225152 1146577 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1152887 1146577 740 807 0 1145878 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 4611548 KiB Current children cumulated memory: 4586308 KiB [startup+51.1095 s] /proc/loadavg: 2.60 2.18 2.02 3/187 25382 /proc/meminfo: memFree=20496032/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4714640 memory=4689520 CPUtime=51.1 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 3603070 0 0 0 4869 241 0 0 20 0 1 0 37095617 4827791360 1172380 33554432000 4194304 7498468 140736528868400 140736528863416 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1178660 1172380 740 807 0 1171651 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 4714640 KiB Current children cumulated memory: 4689520 KiB [startup+102.3 s] /proc/loadavg: 2.26 2.15 2.02 3/189 25453 /proc/meminfo: memFree=16353744/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4762560 memory=4737408 CPUtime=102.28 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 4764193 0 0 0 9936 292 0 0 20 0 1 0 37095617 4876861440 1184352 33554432000 4194304 7498468 140736528868400 140736528862936 5164386 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1190640 1184352 740 807 0 1183631 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 4762560 KiB Current children cumulated memory: 4737408 KiB [startup+162.3 s] /proc/loadavg: 2.10 2.12 2.02 3/189 25639 /proc/meminfo: memFree=9361796/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4773252 memory=4748132 CPUtime=162.28 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 5164761 0 0 0 15919 309 0 0 20 0 1 0 37095617 4887810048 1187033 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1193313 1187033 740 807 0 1186304 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 4773252 KiB Current children cumulated memory: 4748132 KiB [startup+222.3 s] /proc/loadavg: 1.92 2.07 2.01 3/189 25822 /proc/meminfo: memFree=20543688/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4788168 memory=4763052 CPUtime=222.28 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 6206718 0 0 0 21875 353 0 0 20 0 1 0 37095617 4903084032 1190763 33554432000 4194304 7498468 140736528868400 140736528863416 5770662 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1197042 1190763 740 807 0 1190033 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 4788168 KiB Current children cumulated memory: 4763052 KiB [startup+282.3 s] /proc/loadavg: 1.97 2.06 2.01 3/189 25823 /proc/meminfo: memFree=20537068/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4794240 memory=4769124 CPUtime=282.27 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 6981427 0 0 0 27838 389 0 0 20 0 1 0 37095617 4909301760 1192281 33554432000 4194304 7498468 140736528868400 140736528863416 5791454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1198560 1192281 740 807 0 1191551 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 4794240 KiB Current children cumulated memory: 4769124 KiB [startup+342.3 s] /proc/loadavg: 1.99 2.05 2.01 3/189 25824 /proc/meminfo: memFree=20536944/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4794376 memory=4769140 CPUtime=342.28 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 7026732 0 0 0 33836 392 0 0 20 0 1 0 37095617 4909441024 1192285 33554432000 4194304 7498468 140736528868400 140736528863416 5773824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1198594 1192285 740 807 0 1191585 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 4794376 KiB Current children cumulated memory: 4769140 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.01 3/187 25826 /proc/meminfo: memFree=20530260/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4800980 memory=4775764 CPUtime=402.27 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 7832529 0 0 0 39800 427 0 0 20 0 1 0 37095617 4916203520 1193941 33554432000 4194304 7498468 140736528868400 140736528863416 4545925 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1200245 1193941 740 807 0 1193236 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 4800980 KiB Current children cumulated memory: 4775764 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.01 3/187 25827 /proc/meminfo: memFree=20523536/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4807448 memory=4782280 CPUtime=462.27 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 8577989 0 0 0 45767 460 0 0 20 0 1 0 37095617 4922826752 1195570 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1201862 1195570 740 807 0 1194853 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 4807448 KiB Current children cumulated memory: 4782280 KiB ################ # More data... # ################ /proc/25381/statm: 1208935 1202625 740 807 0 1201926 0 Current children cumulated CPU time: 1662.25 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810500 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 26192 /proc/meminfo: memFree=20486704/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810500 CPUtime=1722.25 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12004242 0 0 0 171597 628 0 0 20 0 1 0 37095617 4951797760 1202625 33554432000 4194304 7498468 140736528868400 140736528863416 5773775 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202625 740 807 0 1201926 0 Current children cumulated CPU time: 1722.25 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810500 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 26193 /proc/meminfo: memFree=20486544/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810516 CPUtime=1782.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12022664 0 0 0 177596 630 0 0 20 0 1 0 37095617 4951797760 1202629 33554432000 4194304 7498468 140736528868400 140736528863416 4580115 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202629 741 807 0 1201926 0 Current children cumulated CPU time: 1782.26 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810516 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 26194 /proc/meminfo: memFree=20486532/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810524 CPUtime=1842.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12045589 0 0 0 183594 632 0 0 20 0 1 0 37095617 4951797760 1202631 33554432000 4194304 7498468 140736528868400 140736528863416 5770693 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202631 741 807 0 1201926 0 Current children cumulated CPU time: 1842.26 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810524 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 26203 /proc/meminfo: memFree=20485332/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810528 CPUtime=1902.25 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12062818 0 0 0 189591 634 0 0 20 0 1 0 37095617 4951797760 1202632 33554432000 4194304 7498468 140736528868400 140736528863416 5772291 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202632 741 807 0 1201926 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810528 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 26204 /proc/meminfo: memFree=20485680/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810528 CPUtime=1962.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12077850 0 0 0 195590 636 0 0 20 0 1 0 37095617 4951797760 1202632 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202632 741 807 0 1201926 0 Current children cumulated CPU time: 1962.26 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810528 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 26326 /proc/meminfo: memFree=20458264/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810528 CPUtime=2022.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12091222 0 0 0 201589 637 0 0 20 0 1 0 37095617 4951797760 1202632 33554432000 4194304 7498468 140736528868400 140736528863416 5164340 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202632 741 807 0 1201926 0 Current children cumulated CPU time: 2022.26 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810528 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 26327 /proc/meminfo: memFree=20457868/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810528 CPUtime=2082.25 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12104278 0 0 0 207587 638 0 0 20 0 1 0 37095617 4951797760 1202632 33554432000 4194304 7498468 140736528868400 140736528863416 5772291 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202632 741 807 0 1201926 0 Current children cumulated CPU time: 2082.25 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810528 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.01 3/188 26328 /proc/meminfo: memFree=20457648/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4835740 memory=4810528 CPUtime=2142.25 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12114617 0 0 0 213586 639 0 0 20 0 1 0 37095617 4951797760 1202632 33554432000 4194304 7498468 140736528868400 140736528863416 5772313 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1208935 1202632 741 807 0 1201926 0 Current children cumulated CPU time: 2142.25 s Current children cumulated vsize: 4835740 KiB Current children cumulated memory: 4810528 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 26330 /proc/meminfo: memFree=20451212/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2202.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12335758 0 0 0 219575 651 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 5770712 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2202.26 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.01 3/187 26331 /proc/meminfo: memFree=20451116/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2262.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12346836 0 0 0 225574 652 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 5770681 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2262.26 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB [startup+2322.3 s] /proc/loadavg: 1.92 2.00 2.00 3/187 26332 /proc/meminfo: memFree=20451448/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2322.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12356499 0 0 0 231572 654 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 5773775 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2322.26 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB [startup+2382.3 s] /proc/loadavg: 1.97 2.00 2.00 3/187 26334 /proc/meminfo: memFree=20451424/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2382.26 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12363821 0 0 0 237571 655 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2382.26 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 1.98 2.00 2.00 3/187 26334 /proc/meminfo: memFree=20451596/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2400.07 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12365419 0 0 0 239352 655 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.16 s] # the end of solver process 25381 was just reported to runsolver # cumulated CPU time of all completed processes: user=2393.52 s, system=6.60219 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 1.98 2.00 2.00 3/187 26334 /proc/meminfo: memFree=20451596/32770624 swapFree=67108852/67108860 [pid=25381] ppid=25378 vsize=4841812 memory=4816704 CPUtime=2400.07 cores=1,3,5,7 /proc/25381/stat : 25381 (MistralXCSP) R 25378 25381 24602 0 -1 4202496 12365419 0 0 0 239352 655 0 0 20 0 1 0 37095617 4958015488 1204176 33554432000 4194304 7498468 140736528868400 140736528863416 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 10936320 140736528876653 140736528876803 140736528876803 140736528879561 0 /proc/25381/statm: 1210453 1204176 741 807 0 1203444 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 4841812 KiB Current children cumulated memory: 4816704 KiB Child status: 0 Real time (s): 2400.16 CPU time (s): 2400.13 CPU user time (s): 2393.52 CPU system time (s): 6.60219 CPU usage (%): 99.9986 Max. virtual memory (cumulated for all children) (KiB): 4841812 Max. memory (cumulated for all children) (KiB): 4816704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2393.52 system time used= 6.60219 maximum resident set size= 4816724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12365561 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= 197 involuntary context switches= 721 # summary of solver processes directly reported to runsolver: # pid: 25381 # total CPU time (s): 2400.13 # total CPU user time (s): 2393.52 # total CPU system time (s): 6.60219 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.10566 second user time and 18.1481 second system time The end
Begin job on node148 at 2018-07-21 19:48:45 IDJOB=4289395 IDBENCH=141248 IDSOLVER=2741 FILE ID=node148/4289395-1532195325 RUNJOBID= node148-1532190500-24635 PBS_JOBID= 21018927 Free space on /tmp= 51984 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko90_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289395-1532195325/watcher-4289395-1532195325 -o /tmp/evaluation-result-4289395-1532195325/solver-4289395-1532195325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532190500-24635 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1143073342 HOME/instance-4289395-1532195325.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e1bd5b7e730358cb8a15a6f1e37f47a5 RANDOM SEED=1143073342 node148.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.50 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.50 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.50 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.50 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: 25192448 kB MemAvailable: 31818564 kB Buffers: 108908 kB Cached: 6705192 kB SwapCached: 8 kB Active: 1216776 kB Inactive: 5773028 kB Active(anon): 126420 kB Inactive(anon): 69020 kB Active(file): 1090356 kB Inactive(file): 5704008 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 9004 kB Writeback: 0 kB AnonPages: 278692 kB Mapped: 36576 kB Shmem: 17024 kB Slab: 287560 kB SReclaimable: 260212 kB SUnreclaim: 27348 kB KernelStack: 3568 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 468240 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 51976 MiB End job on node148 at 2018-07-21 20:28:45