3.73/3.83	c best=?? lower=-173880 upper=0 
3.94/4.07	c
3.94/4.07	c This is cosoco 1.12 --  
3.94/4.07	c
3.94/4.07	c command line: cosoco -lc -model -restarts HOME/instance-4267091-1502608091.xml 
3.94/4.07	c enable optimization
3.94/4.07	c ========================================[ Problem Statistics ]===========================================
3.94/4.07	c |                                                                                                       
3.94/4.07	c |  Parse time        :         3.71 s 
3.94/4.07	c |
3.94/4.07	c |               Variables: 6641
3.94/4.07	c |            Domain Sizes: 2..161
3.94/4.07	c |
3.94/4.07	c |             Constraints: 3401
3.94/4.07	c |                   Arity: 2..81  -- Binary: 81  -- Ternary: 3241
3.94/4.07	c | 
3.94/4.07	c |                   Types: 
3.94/4.07	c |                          Intension: 3320
3.94/4.07	c |                          Sum: 81
3.94/4.07	c |                          
3.94/4.07	c =========================================================================================================
3.94/4.07	o -69064
3.94/4.07	c    1 calls to solver: best=-69064 lower=-69063 upper=0 
4.14/4.28	o -68184
4.43/4.50	o -5900
4.43/4.50	c    3 calls to solver: best=-5900 lower=-5899 upper=0 
4.63/4.72	o -5484
5.04/5.19	o -5468
5.04/5.19	c    5 calls to solver: best=-5468 lower=-5467 upper=0 
5.44/5.58	o -5136
12.13/12.24	o -4844
12.13/12.24	c    7 calls to solver: best=-4844 lower=-4843 upper=0 
13.13/13.25	o -4836
19.23/19.35	o -4484
19.23/19.35	c    9 calls to solver: best=-4484 lower=-4483 upper=0 
19.53/19.69	o -3972
19.94/20.02	o -3796
19.94/20.02	c   11 calls to solver: best=-3796 lower=-3795 upper=0 
26.33/26.40	o -3592
26.53/26.63	o -3476
26.53/26.63	c   13 calls to solver: best=-3476 lower=-3475 upper=0 
26.73/26.85	o -3212
26.94/27.07	o -2960
26.94/27.07	c   15 calls to solver: best=-2960 lower=-2959 upper=0 
27.13/27.27	o -2940
27.33/27.49	o -2896
27.33/27.49	c   17 calls to solver: best=-2896 lower=-2895 upper=0 
27.63/27.72	o -2852
27.94/28.01	o -2804
27.94/28.01	c   19 calls to solver: best=-2804 lower=-2803 upper=0 
28.13/28.30	o -2744
42.42/42.56	o -2696
42.42/42.56	c   21 calls to solver: best=-2696 lower=-2695 upper=0 
43.31/43.40	o -2656
198.18/198.39	o -2308
198.18/198.39	c   23 calls to solver: best=-2308 lower=-2307 upper=0 
202.28/202.42	o -2236
205.28/205.45	o -2152
205.28/205.45	c   25 calls to solver: best=-2152 lower=-2151 upper=0 
577.18/577.35	o -2096
584.78/584.94	o -2052
584.78/584.94	c   27 calls to solver: best=-2052 lower=-2051 upper=0 
589.68/589.89	o -1864
763.48/763.66	o -1836
763.48/763.66	c   29 calls to solver: best=-1836 lower=-1835 upper=0 
773.99/774.14	o -1716
2400.01/2400.11	
2400.01/2400.11	c *** INTERRUPTED ***
2400.01/2400.11	c restarts              : 69          
2400.01/2400.11	c conflicts             : 703520       (293 /sec)
2400.01/2400.11	c decisions             : 11776323     (4907 /sec)
2400.01/2400.11	c propagations          : 1010028433  (420866 /sec)
2400.01/2400.11	c root propagations     : 16438       
2400.01/2400.11	c filter calls          : 1438360733     (599346 /sec)
2400.01/2400.11	c useless filter calls  : 910949066      (63 %)
2400.01/2400.11	c Memory used           : 264.84 MB
2400.01/2400.11	c CPU time              : 2399.88 s
2400.01/2400.11	
2400.01/2400.11	c nb Solutions = 30
2400.01/2400.11	s SATISFIABLE
2400.01/2400.11	c Best value found: -1716
2400.01/2400.11	
2400.01/2400.11	
2400.01/2400.11	v <instantiation type='solution' cost='-1716'>
2400.01/2400.11	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[6] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[6] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][5] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][6] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[0][77] y[0][78] y[0][79] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][5] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[10][67] y[10][68] y[10][69] y[10][6] y[10][70] y[10][71] y[10][72] y[10][73] y[10][74] y[10][75] y[10][76] y[10][77] y[10][78] y[10][79] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][5] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][66] y[11][67] y[11][68] y[11][69] y[11][6] y[11][70] y[11][71] y[11][72] y[11][73] y[11][74] y[11][75] y[11][76] y[11][77] y[11][78] y[11][79] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][5] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][66] y[12][67] y[12][68] y[12][69] y[12][6] y[12][70] y[12][71] y[12][72] y[12][73] y[12][74] y[12][75] y[12][76] y[12][77] y[12][78] y[12][79] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][5] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][66] y[13][67] y[13][68] y[13][69] y[13][6] y[13][70] y[13][71] y[13][72] y[13][73] y[13][74] y[13][75] y[13][76] y[13][77] y[13][78] y[13][79] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][5] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][66] y[14][67] y[14][68] y[14][69] y[14][6] y[14][70] y[14][71] y[14][72] y[14][73] y[14][74] y[14][75] y[14][76] y[14][77] y[14][78] y[14][79] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][5] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][66] y[15][67] y[15][68] y[15][69] y[15][6] y[15][70] y[15][71] y[15][72] y[15][73] y[15][74] y[15][75] y[15][76] y[15][77] y[15][78] y[15][79] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][5] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][66] y[16][67] y[16][68] y[16][69] y[16][6] y[16][70] y[16][71] y[16][72] y[16][73] y[16][74] y[16][75] y[16][76] y[16][77] y[16][78] y[16][79] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][5] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][66] y[17][67] y[17][68] y[17][69] y[17][6] y[17][70] y[17][71] y[17][72] y[17][73] y[17][74] y[17][75] y[17][76] y[17][77] y[17][78] y[17][79] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][5] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][66] y[18][67] y[18][68] y[18][69] y[18][6] y[18][70] y[18][71] y[18][72] y[18][73] y[18][74] y[18][75] y[18][76] y[18][77] y[18][78] y[18][79] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][5] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][66] y[19][67] y[19][68] y[19][69] y[19][6] y[19][70] y[19][71] y[19][72] y[19][73] y[19][74] y[19][75] y[19][76] y[19][77] y[19][78] y[19][79] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][5] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][6] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[1][76] y[1][77] y[1][78] y[1][79] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][5] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][66] y[20][67] y[20][68] y[20][69] y[20][6] y[20][70] y[20][71] y[20][72] y[20][73] y[20][74] y[20][75] y[20][76] y[20][77] y[20][78] y[20][79] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][5] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][66] y[21][67] y[21][68] y[21][69] y[21][6] y[21][70] y[21][71] y[21][72] y[21][73] y[21][74] y[21][75] y[21][76] y[21][77] y[21][78] y[21][79] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][5] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][66] y[22][67] y[22][68] y[22][69] y[22][6] y[22][70] y[22][71] y[22][72] y[22][73] y[22][74] y[22][75] y[22][76] y[22][77] y[22][78] y[22][79] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][5] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][66] y[23][67] y[23][68] y[23][69] y[23][6] y[23][70] y[23][71] y[23][72] y[23][73] y[23][74] y[23][75] y[23][76] y[23][77] y[23][78] y[23][79] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][5] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][66] y[24][67] y[24][68] y[24][69] y[24][6] y[24][70] y[24][71] y[24][72] y[24][73] y[24][74] y[24][75] y[24][76] y[24][77] y[24][78] y[24][79] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][5] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][66] y[25][67] y[25][68] y[25][69] y[25][6] y[25][70] y[25][71] y[25][72] y[25][73] y[25][74] y[25][75] y[25][76] y[25][77] y[25][78] y[25][79] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][5] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][66] y[26][67] y[26][68] y[26][69] y[26][6] y[26][70] y[26][71] y[26][72] y[26][73] y[26][74] y[26][75] y[26][76] y[26][77] y[26][78] y[26][79] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][5] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][66] y[27][67] y[27][68] y[27][69] y[27][6] y[27][70] y[27][71] y[27][72] y[27][73] y[27][74] y[27][75] y[27][76] y[27][77] y[27][78] y[27][79] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][5] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][66] y[28][67] y[28][68] y[28][69] y[28][6] y[28][70] y[28][71] y[28][72] y[28][73] y[28][74] y[28][75] y[28][76] y[28][77] y[28][78] y[28][79] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][5] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][66] y[29][67] y[29][68] y[29][69] y[29][6] y[29][70] y[29][71] y[29][72] y[29][73] y[29][74] y[29][75] y[29][76] y[29][77] y[29][78] y[29][79] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][5] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][6] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[2][75] y[2][76] y[2][77] y[2][78] y[2][79] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][5] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][66] y[30][67] y[30][68] y[30][69] y[30][6] y[30][70] y[30][71] y[30][72] y[30][73] y[30][74] y[30][75] y[30][76] y[30][77] y[30][78] y[30][79] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][5] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][66] y[31][67] y[31][68] y[31][69] y[31][6] y[31][70] y[31][71] y[31][72] y[31][73] y[31][74] y[31][75] y[31][76] y[31][77] y[31][78] y[31][79] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][5] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][66] y[32][67] y[32][68] y[32][69] y[32][6] y[32][70] y[32][71] y[32][72] y[32][73] y[32][74] y[32][75] y[32][76] y[32][77] y[32][78] y[32][79] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][5] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][66] y[33][67] y[33][68] y[33][69] y[33][6] y[33][70] y[33][71] y[33][72] y[33][73] y[33][74] y[33][75] y[33][76] y[33][77] y[33][78] y[33][79] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][5] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][66] y[34][67] y[34][68] y[34][69] y[34][6] y[34][70] y[34][71] y[34][72] y[34][73] y[34][74] y[34][75] y[34][76] y[34][77] y[34][78] y[34][79] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][5] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][66] y[35][67] y[35][68] y[35][69] y[35][6] y[35][70] y[35][71] y[35][72] y[35][73] y[35][74] y[35][75] y[35][76] y[35][77] y[35][78] y[35][79] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][5] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][66] y[36][67] y[36][68] y[36][69] y[36][6] y[36][70] y[36][71] y[36][72] y[36][73] y[36][74] y[36][75] y[36][76] y[36][77] y[36][78] y[36][79] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][5] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][66] y[37][67] y[37][68] y[37][69] y[37][6] y[37][70] y[37][71] y[37][72] y[37][73] y[37][74] y[37][75] y[37][76] y[37][77] y[37][78] y[37][79] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][5] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][66] y[38][67] y[38][68] y[38][69] y[38][6] y[38][70] y[38][71] y[38][72] y[38][73] y[38][74] y[38][75] y[38][76] y[38][77] y[38][78] y[38][79] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][5] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][66] y[39][67] y[39][68] y[39][69] y[39][6] y[39][70] y[39][71] y[39][72] y[39][73] y[39][74] y[39][75] y[39][76] y[39][77] y[39][78] y[39][79] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][5] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][6] y[3][70] y[3][71] y[3][72] y[3][73] y[3][74] y[3][75] y[3][76] y[3][77] y[3][78] y[3][79] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][5] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][66] y[40][67] y[40][68] y[40][69] y[40][6] y[40][70] y[40][71] y[40][72] y[40][73] y[40][74] y[40][75] y[40][76] y[40][77] y[40][78] y[40][79] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][5] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][66] y[41][67] y[41][68] y[41][69] y[41][6] y[41][70] y[41][71] y[41][72] y[41][73] y[41][74] y[41][75] y[41][76] y[41][77] y[41][78] y[41][79] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][5] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][66] y[42][67] y[42][68] y[42][69] y[42][6] y[42][70] y[42][71] y[42][72] y[42][73] y[42][74] y[42][75] y[42][76] y[42][77] y[42][78] y[42][79] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][5] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][66] y[43][67] y[43][68] y[43][69] y[43][6] y[43][70] y[43][71] y[43][72] y[43][73] y[43][74] y[43][75] y[43][76] y[43][77] y[43][78] y[43][79] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][5] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][66] y[44][67] y[44][68] y[44][69] y[44][6] y[44][70] y[44][71] y[44][72] y[44][73] y[44][74] y[44][75] y[44][76] y[44][77] y[44][78] y[44][79] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][5] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][66] y[45][67] y[45][68] y[45][69] y[45][6] y[45][70] y[45][71] y[45][72] y[45][73] y[45][74] y[45][75] y[45][76] y[45][77] y[45][78] y[45][79] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][5] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][66] y[46][67] y[46][68] y[46][69] y[46][6] y[46][70] y[46][71] y[46][72] y[46][73] y[46][74] y[46][75] y[46][76] y[46][77] y[46][78] y[46][79] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][5] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][66] y[47][67] y[47][68] y[47][69] y[47][6] y[47][70] y[47][71] y[47][72] y[47][73] y[47][74] y[47][75] y[47][76] y[47][77] y[47][78] y[47][79] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][5] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][66] y[48][67] y[48][68] y[48][69] y[48][6] y[48][70] y[48][71] y[48][72] y[48][73] y[48][74] y[48][75] y[48][76] y[48][77] y[48][78] y[48][79] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][5] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][66] y[49][67] y[49][68] y[49][69] y[49][6] y[49][70] y[49][71] y[49][72] y[49][73] y[49][74] y[49][75] y[49][76] y[49][77] y[49][78] y[49][79] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][5] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][6] y[4][70] y[4][71] y[4][72] y[4][73] y[4][74] y[4][75] y[4][76] y[4][77] y[4][78] y[4][79] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][5] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][66] y[50][67] y[50][68] y[50][69] y[50][6] y[50][70] y[50][71] y[50][72] y[50][73] y[50][74] y[50][75] y[50][76] y[50][77] y[50][78] y[50][79] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][5] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][66] y[51][67] y[51][68] y[51][69] y[51][6] y[51][70] y[51][71] y[51][72] y[51][73] y[51][74] y[51][75] y[51][76] y[51][77] y[51][78] y[51][79] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][5] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][66] y[52][67] y[52][68] y[52][69] y[52][6] y[52][70] y[52][71] y[52][72] y[52][73] y[52][74] y[52][75] y[52][76] y[52][77] y[52][78] y[52][79] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][5] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][66] y[53][67] y[53][68] y[53][69] y[53][6] y[53][70] y[53][71] y[53][72] y[53][73] y[53][74] y[53][75] y[53][76] y[53][77] y[53][78] y[53][79] y[53][7] y[53][8] y[53][9] y[54][0] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][1] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][2] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][3] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][4] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][5] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][66] y[54][67] y[54][68] y[54][69] y[54][6] y[54][70] y[54][71] y[54][72] y[54][73] y[54][74] y[54][75] y[54][76] y[54][77] y[54][78] y[54][79] y[54][7] y[54][8] y[54][9] y[55][0] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][1] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][2] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][3] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][4] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][5] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][66] y[55][67] y[55][68] y[55][69] y[55][6] y[55][70] y[55][71] y[55][72] y[55][73] y[55][74] y[55][75] y[55][76] y[55][77] y[55][78] y[55][79] y[55][7] y[55][8] y[55][9] y[56][0] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][1] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][2] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][3] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][4] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][5] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][66] y[56][67] y[56][68] y[56][69] y[56][6] y[56][70] y[56][71] y[56][72] y[56][73] y[56][74] y[56][75] y[56][76] y[56][77] y[56][78] y[56][79] y[56][7] y[56][8] y[56][9] y[57][0] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][1] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][2] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][3] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][4] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][5] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][66] y[57][67] y[57][68] y[57][69] y[57][6] y[57][70] y[57][71] y[57][72] y[57][73] y[57][74] y[57][75] y[57][76] y[57][77] y[57][78] y[57][79] y[57][7] y[57][8] y[57][9] y[58][0] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][1] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][2] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][3] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][4] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][5] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][66] y[58][67] y[58][68] y[58][69] y[58][6] y[58][70] y[58][71] y[58][72] y[58][73] y[58][74] y[58][75] y[58][76] y[58][77] y[58][78] y[58][79] y[58][7] y[58][8] y[58][9] y[59][0] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][1] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][2] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][3] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][4] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][5] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][66] y[59][67] y[59][68] y[59][69] y[59][6] y[59][70] y[59][71] y[59][72] y[59][73] y[59][74] y[59][75] y[59][76] y[59][77] y[59][78] y[59][79] y[59][7] y[59][8] y[59][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][5] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][6] y[5][70] y[5][71] y[5][72] y[5][73] y[5][74] y[5][75] y[5][76] y[5][77] y[5][78] y[5][79] y[5][7] y[5][8] y[5][9] y[60][0] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][1] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][2] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][3] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][4] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][5] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][66] y[60][67] y[60][68] y[60][69] y[60][6] y[60][70] y[60][71] y[60][72] y[60][73] y[60][74] y[60][75] y[60][76] y[60][77] y[60][78] y[60][79] y[60][7] y[60][8] y[60][9] y[61][0] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][1] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][2] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][3] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][4] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][5] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][66] y[61][67] y[61][68] y[61][69] y[61][6] y[61][70] y[61][71] y[61][72] y[61][73] y[61][74] y[61][75] y[61][76] y[61][77] y[61][78] y[61][79] y[61][7] y[61][8] y[61][9] y[62][0] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][1] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][2] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][3] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][4] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][5] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][66] y[62][67] y[62][68] y[62][69] y[62][6] y[62][70] y[62][71] y[62][72] y[62][73] y[62][74] y[62][75] y[62][76] y[62][77] y[62][78] y[62][79] y[62][7] y[62][8] y[62][9] y[63][0] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][1] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][2] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][3] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][4] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][5] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][66] y[63][67] y[63][68] y[63][69] y[63][6] y[63][70] y[63][71] y[63][72] y[63][73] y[63][74] y[63][75] y[63][76] y[63][77] y[63][78] y[63][79] y[63][7] y[63][8] y[63][9] y[64][0] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][1] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][2] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][3] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][4] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][5] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][66] y[64][67] y[64][68] y[64][69] y[64][6] y[64][70] y[64][71] y[64][72] y[64][73] y[64][74] y[64][75] y[64][76] y[64][77] y[64][78] y[64][79] y[64][7] y[64][8] y[64][9] y[65][0] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][1] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][2] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][3] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][4] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][5] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][66] y[65][67] y[65][68] y[65][69] y[65][6] y[65][70] y[65][71] y[65][72] y[65][73] y[65][74] y[65][75] y[65][76] y[65][77] y[65][78] y[65][79] y[65][7] y[65][8] y[65][9] y[66][0] y[66][10] y[66][11] y[66][12] y[66][13] y[66][14] y[66][15] y[66][16] y[66][17] y[66][18] y[66][19] y[66][1] y[66][20] y[66][21] y[66][22] y[66][23] y[66][24] y[66][25] y[66][26] y[66][27] y[66][28] y[66][29] y[66][2] y[66][30] y[66][31] y[66][32] y[66][33] y[66][34] y[66][35] y[66][36] y[66][37] y[66][38] y[66][39] y[66][3] y[66][40] y[66][41] y[66][42] y[66][43] y[66][44] y[66][45] y[66][46] y[66][47] y[66][48] y[66][49] y[66][4] y[66][50] y[66][51] y[66][52] y[66][53] y[66][54] y[66][55] y[66][56] y[66][57] y[66][58] y[66][59] y[66][5] y[66][60] y[66][61] y[66][62] y[66][63] y[66][64] y[66][65] y[66][66] y[66][67] y[66][68] y[66][69] y[66][6] y[66][70] y[66][71] y[66][72] y[66][73] y[66][74] y[66][75] y[66][76] y[66][77] y[66][78] y[66][79] y[66][7] y[66][8] y[66][9] y[67][0] y[67][10] y[67][11] y[67][12] y[67][13] y[67][14] y[67][15] y[67][16] y[67][17] y[67][18] y[67][19] y[67][1] y[67][20] y[67][21] y[67][22] y[67][23] y[67][24] y[67][25] y[67][26] y[67][27] y[67][28] y[67][29] y[67][2] y[67][30] y[67][31] y[67][32] y[67][33] y[67][34] y[67][35] y[67][36] y[67][37] y[67][38] y[67][39] y[67][3] y[67][40] y[67][41] y[67][42] y[67][43] y[67][44] y[67][45] y[67][46] y[67][47] y[67][48] y[67][49] y[67][4] y[67][50] y[67][51] y[67][52] y[67][53] y[67][54] y[67][55] y[67][56] y[67][57] y[67][58] y[67][59] y[67][5] y[67][60] y[67][61] y[67][62] y[67][63] y[67][64] y[67][65] y[67][66] y[67][67] y[67][68] y[67][69] y[67][6] y[67][70] y[67][71] y[67][72] y[67][73] y[67][74] y[67][75] y[67][76] y[67][77] y[67][78] y[67][79] y[67][7] y[67][8] y[67][9] y[68][0] y[68][10] y[68][11] y[68][12] y[68][13] y[68][14] y[68][15] y[68][16] y[68][17] y[68][18] y[68][19] y[68][1] y[68][20] y[68][21] y[68][22] y[68][23] y[68][24] y[68][25] y[68][26] y[68][27] y[68][28] y[68][29] y[68][2] y[68][30] y[68][31] y[68][32] y[68][33] y[68][34] y[68][35] y[68][36] y[68][37] y[68][38] y[68][39] y[68][3] y[68][40] y[68][41] y[68][42] y[68][43] y[68][44] y[68][45] y[68][46] y[68][47] y[68][48] y[68][49] y[68][4] y[68][50] y[68][51] y[68][52] y[68][53] y[68][54] y[68][55] y[68][56] y[68][57] y[68][58] y[68][59] y[68][5] y[68][60] y[68][61] y[68][62] y[68][63] y[68][64] y[68][65] y[68][66] y[68][67] y[68][68] y[68][69] y[68][6] y[68][70] y[68][71] y[68][72] y[68][73] y[68][74] y[68][75] y[68][76] y[68][77] y[68][78] y[68][79] y[68][7] y[68][8] y[68][9] y[69][0] y[69][10] y[69][11] y[69][12] y[69][13] y[69][14] y[69][15] y[69][16] y[69][17] y[69][18] y[69][19] y[69][1] y[69][20] y[69][21] y[69][22] y[69][23] y[69][24] y[69][25] y[69][26] y[69][27] y[69][28] y[69][29] y[69][2] y[69][30] y[69][31] y[69][32] y[69][33] y[69][34] y[69][35] y[69][36] y[69][37] y[69][38] y[69][39] y[69][3] y[69][40] y[69][41] y[69][42] y[69][43] y[69][44] y[69][45] y[69][46] y[69][47] y[69][48] y[69][49] y[69][4] y[69][50] y[69][51] y[69][52] y[69][53] y[69][54] y[69][55] y[69][56] y[69][57] y[69][58] y[69][59] y[69][5] y[69][60] y[69][61] y[69][62] y[69][63] y[69][64] y[69][65] y[69][66] y[69][67] y[69][68] y[69][69] y[69][6] y[69][70] y[69][71] y[69][72] y[69][73] y[69][74] y[69][75] y[69][76] y[69][77] y[69][78] y[69][79] y[69][7] y[69][8] y[69][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][5] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][6] y[6][70] y[6][71] y[6][72] y[6][73] y[6][74] y[6][75] y[6][76] y[6][77] y[6][78] y[6][79] y[6][7] y[6][8] y[6][9] y[70][0] y[70][10] y[70][11] y[70][12] y[70][13] y[70][14] y[70][15] y[70][16] y[70][17] y[70][18] y[70][19] y[70][1] y[70][20] y[70][21] y[70][22] y[70][23] y[70][24] y[70][25] y[70][26] y[70][27] y[70][28] y[70][29] y[70][2] y[70][30] y[70][31] y[70][32] y[70][33] y[70][34] y[70][35] y[70][36] y[70][37] y[70][38] y[70][39] y[70][3] y[70][40] y[70][41] y[70][42] y[70][43] y[70][44] y[70][45] y[70][46] y[70][47] y[70][48] y[70][49] y[70][4] y[70][50] y[70][51] y[70][52] y[70][53] y[70][54] y[70][55] y[70][56] y[70][57] y[70][58] y[70][59] y[70][5] y[70][60] y[70][61] y[70][62] y[70][63] y[70][64] y[70][65] y[70][66] y[70][67] y[70][68] y[70][69] y[70][6] y[70][70] y[70][71] y[70][72] y[70][73] y[70][74] y[70][75] y[70][76] y[70][77] y[70][78] y[70][79] y[70][7] y[70][8] y[70][9] y[71][0] y[71][10] y[71][11] y[71][12] y[71][13] y[71][14] y[71][15] y[71][16] y[71][17] y[71][18] y[71][19] y[71][1] y[71][20] y[71][21] y[71][22] y[71][23] y[71][24] y[71][25] y[71][26] y[71][27] y[71][28] y[71][29] y[71][2] y[71][30] y[71][31] y[71][32] y[71][33] y[71][34] y[71][35] y[71][36] y[71][37] y[71][38] y[71][39] y[71][3] y[71][40] y[71][41] y[71][42] y[71][43] y[71][44] y[71][45] y[71][46] y[71][47] y[71][48] y[71][49] y[71][4] y[71][50] y[71][51] y[71][52] y[71][53] y[71][54] y[71][55] y[71][56] y[71][57] y[71][58] y[71][59] y[71][5] y[71][60] y[71][61] y[71][62] y[71][63] y[71][64] y[71][65] y[71][66] y[71][67] y[71][68] y[71][69] y[71][6] y[71][70] y[71][71] y[71][72] y[71][73] y[71][74] y[71][75] y[71][76] y[71][77] y[71][78] y[71][79] y[71][7] y[71][8] y[71][9] y[72][0] y[72][10] y[72][11] y[72][12] y[72][13] y[72][14] y[72][15] y[72][16] y[72][17] y[72][18] y[72][19] y[72][1] y[72][20] y[72][21] y[72][22] y[72][23] y[72][24] y[72][25] y[72][26] y[72][27] y[72][28] y[72][29] y[72][2] y[72][30] y[72][31] y[72][32] y[72][33] y[72][34] y[72][35] y[72][36] y[72][37] y[72][38] y[72][39] y[72][3] y[72][40] y[72][41] y[72][42] y[72][43] y[72][44] y[72][45] y[72][46] y[72][47] y[72][48] y[72][49] y[72][4] y[72][50] y[72][51] y[72][52] y[72][53] y[72][54] y[72][55] y[72][56] y[72][57] y[72][58] y[72][59] y[72][5] y[72][60] y[72][61] y[72][62] y[72][63] y[72][64] y[72][65] y[72][66] y[72][67] y[72][68] y[72][69] y[72][6] y[72][70] y[72][71] y[72][72] y[72][73] y[72][74] y[72][75] y[72][76] y[72][77] y[72][78] y[72][79] y[72][7] y[72][8] y[72][9] y[73][0] y[73][10] y[73][11] y[73][12] y[73][13] y[73][14] y[73][15] y[73][16] y[73][17] y[73][18] y[73][19] y[73][1] y[73][20] y[73][21] y[73][22] y[73][23] y[73][24] y[73][25] y[73][26] y[73][27] y[73][28] y[73][29] y[73][2] y[73][30] y[73][31] y[73][32] y[73][33] y[73][34] y[73][35] y[73][36] y[73][37] y[73][38] y[73][39] y[73][3] y[73][40] y[73][41] y[73][42] y[73][43] y[73][44] y[73][45] y[73][46] y[73][47] y[73][48] y[73][49] y[73][4] y[73][50] y[73][51] y[73][52] y[73][53] y[73][54] y[73][55] y[73][56] y[73][57] y[73][58] y[73][59] y[73][5] y[73][60] y[73][61] y[73][62] y[73][63] y[73][64] y[73][65] y[73][66] y[73][67] y[73][68] y[73][69] y[73][6] y[73][70] y[73][71] y[73][72] y[73][73] y[73][74] y[73][75] y[73][76] y[73][77] y[73][78] y[73][79] y[73][7] y[73][8] y[73][9] y[74][0] y[74][10] y[74][11] y[74][12] y[74][13] y[74][14] y[74][15] y[74][16] y[74][17] y[74][18] y[74][19] y[74][1] y[74][20] y[74][21] y[74][22] y[74][23] y[74][24] y[74][25] y[74][26] y[74][27] y[74][28] y[74][29] y[74][2] y[74][30] y[74][31] y[74][32] y[74][33] y[74][34] y[74][35] y[74][36] y[74][37] y[74][38] y[74][39] y[74][3] y[74][40] y[74][41] y[74][42] y[74][43] y[74][44] y[74][45] y[74][46] y[74][47] y[74][48] y[74][49] y[74][4] y[74][50] y[74][51] y[74][52] y[74][53] y[74][54] y[74][55] y[74][56] y[74][57] y[74][58] y[74][59] y[74][5] y[74][60] y[74][61] y[74][62] y[74][63] y[74][64] y[74][65] y[74][66] y[74][67] y[74][68] y[74][69] y[74][6] y[74][70] y[74][71] y[74][72] y[74][73] y[74][74] y[74][75] y[74][76] y[74][77] y[74][78] y[74][79] y[74][7] y[74][8] y[74][9] y[75][0] y[75][10] y[75][11] y[75][12] y[75][13] y[75][14] y[75][15] y[75][16] y[75][17] y[75][18] y[75][19] y[75][1] y[75][20] y[75][21] y[75][22] y[75][23] y[75][24] y[75][25] y[75][26] y[75][27] y[75][28] y[75][29] y[75][2] y[75][30] y[75][31] y[75][32] y[75][33] y[75][34] y[75][35] y[75][36] y[75][37] y[75][38] y[75][39] y[75][3] y[75][40] y[75][41] y[75][42] y[75][43] y[75][44] y[75][45] y[75][46] y[75][47] y[75][48] y[75][49] y[75][4] y[75][50] y[75][51] y[75][52] y[75][53] y[75][54] y[75][55] y[75][56] y[75][57] y[75][58] y[75][59] y[75][5] y[75][60] y[75][61] y[75][62] y[75][63] y[75][64] y[75][65] y[75][66] y[75][67] y[75][68] y[75][69] y[75][6] y[75][70] y[75][71] y[75][72] y[75][73] y[75][74] y[75][75] y[75][76] y[75][77] y[75][78] y[75][79] y[75][7] y[75][8] y[75][9] y[76][0] y[76][10] y[76][11] y[76][12] y[76][13] y[76][14] y[76][15] y[76][16] y[76][17] y[76][18] y[76][19] y[76][1] y[76][20] y[76][21] y[76][22] y[76][23] y[76][24] y[76][25] y[76][26] y[76][27] y[76][28] y[76][29] y[76][2] y[76][30] y[76][31] y[76][32] y[76][33] y[76][34] y[76][35] y[76][36] y[76][37] y[76][38] y[76][39] y[76][3] y[76][40] y[76][41] y[76][42] y[76][43] y[76][44] y[76][45] y[76][46] y[76][47] y[76][48] y[76][49] y[76][4] y[76][50] y[76][51] y[76][52] y[76][53] y[76][54] y[76][55] y[76][56] y[76][57] y[76][58] y[76][59] y[76][5] y[76][60] y[76][61] y[76][62] y[76][63] y[76][64] y[76][65] y[76][66] y[76][67] y[76][68] y[76][69] y[76][6] y[76][70] y[76][71] y[76][72] y[76][73] y[76][74] y[76][75] y[76][76] y[76][77] y[76][78] y[76][79] y[76][7] y[76][8] y[76][9] y[77][0] y[77][10] y[77][11] y[77][12] y[77][13] y[77][14] y[77][15] y[77][16] y[77][17] y[77][18] y[77][19] y[77][1] y[77][20] y[77][21] y[77][22] y[77][23] y[77][24] y[77][25] y[77][26] y[77][27] y[77][28] y[77][29] y[77][2] y[77][30] y[77][31] y[77][32] y[77][33] y[77][34] y[77][35] y[77][36] y[77][37] y[77][38] y[77][39] y[77][3] y[77][40] y[77][41] y[77][42] y[77][43] y[77][44] y[77][45] y[77][46] y[77][47] y[77][48] y[77][49] y[77][4] y[77][50] y[77][51] y[77][52] y[77][53] y[77][54] y[77][55] y[77][56] y[77][57] y[77][58] y[77][59] y[77][5] y[77][60] y[77][61] y[77][62] y[77][63] y[77][64] y[77][65] y[77][66] y[77][67] y[77][68] y[77][69] y[77][6] y[77][70] y[77][71] y[77][72] y[77][73] y[77][74] y[77][75] y[77][76] y[77][77] y[77][78] y[77][79] y[77][7] y[77][8] y[77][9] y[78][0] y[78][10] y[78][11] y[78][12] y[78][13] y[78][14] y[78][15] y[78][16] y[78][17] y[78][18] y[78][19] y[78][1] y[78][20] y[78][21] y[78][22] y[78][23] y[78][24] y[78][25] y[78][26] y[78][27] y[78][28] y[78][29] y[78][2] y[78][30] y[78][31] y[78][32] y[78][33] y[78][34] y[78][35] y[78][36] y[78][37] y[78][38] y[78][39] y[78][3] y[78][40] y[78][41] y[78][42] y[78][43] y[78][44] y[78][45] y[78][46] y[78][47] y[78][48] y[78][49] y[78][4] y[78][50] y[78][51] y[78][52] y[78][53] y[78][54] y[78][55] y[78][56] y[78][57] y[78][58] y[78][59] y[78][5] y[78][60] y[78][61] y[78][62] y[78][63] y[78][64] y[78][65] y[78][66] y[78][67] y[78][68] y[78][69] y[78][6] y[78][70] y[78][71] y[78][72] y[78][73] y[78][74] y[78][75] y[78][76] y[78][77] y[78][78] y[78][79] y[78][7] y[78][8] y[78][9] y[79][0] y[79][10] y[79][11] y[79][12] y[79][13] y[79][14] y[79][15] y[79][16] y[79][17] y[79][18] y[79][19] y[79][1] y[79][20] y[79][21] y[79][22] y[79][23] y[79][24] y[79][25] y[79][26] y[79][27] y[79][28] y[79][29] y[79][2] y[79][30] y[79][31] y[79][32] y[79][33] y[79][34] y[79][35] y[79][36] y[79][37] y[79][38] y[79][39] y[79][3] y[79][40] y[79][41] y[79][42] y[79][43] y[79][44] y[79][45] y[79][46] y[79][47] y[79][48] y[79][49] y[79][4] y[79][50] y[79][51] y[79][52] y[79][53] y[79][54] y[79][55] y[79][56] y[79][57] y[79][58] y[79][59] y[79][5] y[79][60] y[79][61] y[79][62] y[79][63] y[79][64] y[79][65] y[79][66] y[79][67] y[79][68] y[79][69] y[79][6] y[79][70] y[79][71] y[79][72] y[79][73] y[79][74] y[79][75] y[79][76] y[79][77] y[79][78] y[79][79] y[79][7] y[79][8] y[79][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][5] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[7][6] y[7][70] y[7][71] y[7][72] y[7][73] y[7][74] y[7][75] y[7][76] y[7][77] y[7][78] y[7][79] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][5] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[8][69] y[8][6] y[8][70] y[8][71] y[8][72] y[8][73] y[8][74] y[8][75] y[8][76] y[8][77] y[8][78] y[8][79] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][5] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[9][68] y[9][69] y[9][6] y[9][70] y[9][71] y[9][72] y[9][73] y[9][74] y[9][75] y[9][76] y[9][77] y[9][78] y[9][79] y[9][7] y[9][8] y[9][9] </list>
2400.01/2400.11	v <values>4 0 9 6 3 -4 3 2 -3 0 9 3 0 3 -2 7 -2 1 0 -7 -8 1 4 -4 -7 6 -5 0 -7 4 -1 -6 5 3 4 3 10 -7 8 1 2 -5 0 5 -4 0 5 4 -3 4 -5 -2 -9 6 1 -5 0 5 4 3 6 5 6 -1 0 -3 4 -4 -9 -2 -3 -2 1 2 1 2 1 -5 -6 9 16 0 81 36 9 16 9 4 9 0 81 9 0 9 4 49 4 1 0 49 64 1 16 16 49 36 25 0 49 16 1 36 25 9 16 9 100 49 64 1 4 25 0 25 16 0 25 16 9 16 25 4 81 36 1 25 0 25 16 9 36 25 36 1 0 9 16 16 81 4 9 4 1 4 1 4 1 25 36 81 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 * 1 * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 * * -1 * * * * * * * * * * -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 * * * * -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 * * * * * -1 * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 * * * * * * -1 * * * * * * * * * * -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 * 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 * * -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 * * * 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 -1 1 1 1 1 -1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 1 1 -1 1 -1 1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 1 1 -1 -1 -1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 1 -1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 -1 1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 * * * * * * -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 -1 * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 * * * * * * * * 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 * * * * * * * * * -1 -1 1 </values>
2400.01/2400.11	v </instantiation>
2400.01/2400.11	

OK	1716

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 (15417 MiB free)
  memory of node 1: 16384 MiB (15659 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267091-1502608091/watcher-4267091-1502608091 -o /tmp/evaluation-result-4267091-1502608091/solver-4267091-1502608091 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15986 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267091-1502608091.xml 

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

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

solver pid=18354, runsolver pid=18351

[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31817168/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=31944 memory=8224 CPUtime=0.05 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 2256 0 0 0 5 0 0 0 20 0 1 0 49149754 32710656 2056 18446744073709551615 4194304 5748600 140725759761904 140725759758552 140496941415397 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 7986 2056 698 380 0 1404 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 31944 KiB
Current children cumulated memory: 8224 KiB

[startup+0.209208 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31814192/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=35624 memory=12184 CPUtime=0.15 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 3219 0 0 0 15 0 0 0 20 0 1 0 49149754 36478976 3046 18446744073709551615 4194304 5748600 140725759761904 140725759755464 140496941415397 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 8906 3046 775 380 0 2324 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 35624 KiB
Current children cumulated memory: 12184 KiB

[startup+0.308796 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31809356/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=40348 memory=16928 CPUtime=0.25 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 4424 0 0 0 25 0 0 0 20 0 1 0 49149754 41316352 4232 18446744073709551615 4194304 5748600 140725759761904 140725759755464 140496951224918 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 10087 4232 775 380 0 3505 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 16928 KiB

[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31799684/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=58976 memory=35364 CPUtime=0.64 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 9062 0 0 0 63 1 0 0 20 0 1 0 49149754 60391424 8841 18446744073709551615 4194304 5748600 140725759761904 140725759755464 140496941463456 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 14744 8841 775 380 0 8162 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 58976 KiB
Current children cumulated memory: 35364 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31775876/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=97624 memory=74084 CPUtime=1.43 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 18738 0 0 0 141 2 0 0 20 0 1 0 49149754 99966976 18521 18446744073709551615 4194304 5748600 140725759761904 140725759755368 140496941415397 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 24406 18521 775 380 0 17824 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 74084 KiB

[startup+3.10907 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31678940/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=175484 memory=152088 CPUtime=3.04 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 38567 0 0 0 299 5 0 0 20 0 1 0 49149754 179695616 38022 18446744073709551615 4194304 5748600 140725759761904 140725759755464 140496941463456 0 0 1 0 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 43871 38022 775 380 0 37289 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 175484 KiB
Current children cumulated memory: 152088 KiB

[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31591172/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=258784 memory=234760 CPUtime=6.24 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 73364 0 0 0 615 9 0 0 20 0 1 0 49149754 264994816 58690 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5025695 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 64696 58690 826 380 0 58114 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 258784 KiB
Current children cumulated memory: 234760 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31591500/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=262664 memory=238512 CPUtime=12.63 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 85609 0 0 0 1254 9 0 0 20 0 1 0 49149754 268967936 59628 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4995528 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 65666 59628 826 380 0 59084 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 262664 KiB
Current children cumulated memory: 238512 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18355
/proc/meminfo: memFree=31584332/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=266276 memory=241788 CPUtime=25.42 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 105154 0 0 0 2532 10 0 0 20 0 1 0 49149754 272666624 60447 18446744073709551615 4194304 5748600 140725759761904 140725759749176 5025715 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 66569 60447 826 380 0 59987 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 266276 KiB
Current children cumulated memory: 241788 KiB

[startup+51.109 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 18356
/proc/meminfo: memFree=31582028/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=269028 memory=244572 CPUtime=51.02 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 120190 0 0 0 5091 11 0 0 20 0 1 0 49149754 275484672 61143 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5025668 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67257 61143 826 380 0 60675 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 269028 KiB
Current children cumulated memory: 244572 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 18359
/proc/meminfo: memFree=31581460/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=269028 memory=244572 CPUtime=102.2 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 126232 0 0 0 10208 12 0 0 20 0 1 0 49149754 275484672 61143 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4906294 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67257 61143 826 380 0 60675 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 269028 KiB
Current children cumulated memory: 244572 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 18361
/proc/meminfo: memFree=31581020/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=269028 memory=244784 CPUtime=162.17 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 131034 0 0 0 16205 12 0 0 20 0 1 0 49149754 275484672 61196 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4940474 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67257 61196 826 380 0 60675 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 269028 KiB
Current children cumulated memory: 244784 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 18363
/proc/meminfo: memFree=31580304/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=270096 memory=246444 CPUtime=222.18 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 132618 0 0 0 22205 13 0 0 20 0 1 0 49149754 276578304 61611 18446744073709551615 4194304 5748600 140725759761904 140725759749176 5144157 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67524 61611 826 380 0 60942 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 246444 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 18366
/proc/meminfo: memFree=31579792/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=270096 memory=246496 CPUtime=282.18 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 133416 0 0 0 28205 13 0 0 20 0 1 0 49149754 276578304 61624 18446744073709551615 4194304 5748600 140725759761904 140725759749176 4940455 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67524 61624 826 380 0 60942 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 246496 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 18368
/proc/meminfo: memFree=31580172/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=270096 memory=246496 CPUtime=342.18 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 134192 0 0 0 34205 13 0 0 20 0 1 0 49149754 276578304 61624 18446744073709551615 4194304 5748600 140725759761904 140725759749176 4873900 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67524 61624 826 380 0 60942 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 246496 KiB

[startup+402.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/184 18384
/proc/meminfo: memFree=31575608/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=270096 memory=246888 CPUtime=402.18 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 134856 0 0 0 40205 13 0 0 20 0 1 0 49149754 276578304 61722 18446744073709551615 4194304 5748600 140725759761904 140725759749176 4940973 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67524 61722 826 380 0 60942 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 246888 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 2.06 3/184 18410
/proc/meminfo: memFree=31574340/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=270096 memory=246888 CPUtime=462.18 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 135080 0 0 0 46205 13 0 0 20 0 1 0 49149754 276578304 61722 18446744073709551615 4194304 5748600 140725759761904 140725759749176 4906294 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67524 61722 826 380 0 60942 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 270096 KiB
Current children cumulated memory: 246888 KiB


################
# More data... #
################

/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/181 18480
/proc/meminfo: memFree=31577104/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=1722.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 139545 0 0 0 172206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4906277 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/181 18482
/proc/meminfo: memFree=31577056/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=1782.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 139716 0 0 0 178206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4941455 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 18484
/proc/meminfo: memFree=31577824/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=1842.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 139889 0 0 0 184206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5144157 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 18487
/proc/meminfo: memFree=31577700/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=1902.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140062 0 0 0 190206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4954393 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 18489
/proc/meminfo: memFree=31577936/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=1962.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140235 0 0 0 196206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5025659 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2022.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/181 18552
/proc/meminfo: memFree=31586868/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2022.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140406 0 0 0 202206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5122362 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2082.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 18555
/proc/meminfo: memFree=31587320/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2082.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140581 0 0 0 208206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4906294 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/181 18801
/proc/meminfo: memFree=31586512/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2142.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140754 0 0 0 214206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4906340 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2202.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/184 18817
/proc/meminfo: memFree=31581168/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2202.19 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 140922 0 0 0 220206 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 5000368 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2262.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 18819
/proc/meminfo: memFree=31581208/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2262.2 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 141066 0 0 0 226207 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4903082 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 18821
/proc/meminfo: memFree=31584256/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2322.2 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 141210 0 0 0 232207 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4942748 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 18823
/proc/meminfo: memFree=31584832/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2382.2 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 141397 0 0 0 238207 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4973063 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 18824
/proc/meminfo: memFree=31584832/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2400.01 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 141556 0 0 0 239988 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4873945 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.11 s]
# the end of solver process 18354 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.88 s, system=0.139001 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 18824
/proc/meminfo: memFree=31584832/32770624 swapFree=67108860/67108860
[pid=18354] ppid=18351 vsize=271188 memory=247932 CPUtime=2400.01 cores=1,3,5,7
/proc/18354/stat : 18354 (cosoco) R 18351 18354 11586 0 -1 4202496 141556 0 0 0 239988 13 0 0 20 0 1 0 49149754 277696512 61983 18446744073709551615 4194304 5748600 140725759761904 140725759759432 4873945 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 7849824 7854664 20746240 140725759762889 140725759762984 140725759762984 140725759766478 0
/proc/18354/statm: 67797 61983 826 380 0 61215 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 271188 KiB
Current children cumulated memory: 247932 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.02
CPU user time (s): 2399.88
CPU system time (s): 0.139001
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 271188
Max. memory (cumulated for all children) (KiB): 247932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.139001
maximum resident set size= 248000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141607
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= 116
involuntary context switches= 631


# summary of solver processes directly reported to runsolver:
#   pid: 18354
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.88
#   total CPU system time (s): 0.139001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.59099 second user time and 16.5249 second system time

The end

Begin job on node124 at 2017-08-13 08:53:55
IDJOB=4267091
IDBENCH=127072
IDSOLVER=2657
FILE ID=node124/4267091-1502608091
RUNJOBID= node124-1502597167-15986
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-081.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267091-1502608091/watcher-4267091-1502608091 -o /tmp/evaluation-result-4267091-1502608091/solver-4267091-1502608091 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15986 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267091-1502608091.xml

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

MD5SUM BENCH= 30f67468f9f3ef5a617cbd1472c869c8
RANDOM SEED=567641342

node124.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.51
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.51
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.51
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.51
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:        31822904 kB
MemAvailable:   31993612 kB
Buffers:          152852 kB
Cached:           308116 kB
SwapCached:            0 kB
Active:           369136 kB
Inactive:         153264 kB
Active(anon):      12676 kB
Inactive(anon):    73940 kB
Active(file):     356460 kB
Inactive(file):    79324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1968 kB
Writeback:             0 kB
AnonPages:         61064 kB
Mapped:            43700 kB
Shmem:             25320 kB
Slab:             127716 kB
SReclaimable:     101516 kB
SUnreclaim:        26200 kB
KernelStack:        3168 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 62028 MiB
End job on node124 at 2017-08-13 09:33:55