0.34/0.48	c best=?? lower=-194400 upper=0 
12.64/12.70	c
12.64/12.70	c This is cosoco 1.1 --  
12.64/12.70	c
12.64/12.70	c command line: cosoco -lc -model -restarts HOME/instance-4259992-1502022313.xml 
12.64/12.70	c enable optimization
12.64/12.70	c ========================================[ Problem Statistics ]===========================================
12.64/12.70	c |                                                                                                       
12.64/12.70	c |  Parse time        :         0.36 s 
12.64/12.70	c |
12.64/12.70	c |               Variables: 6642
12.64/12.70	c |            Domain Sizes: 8..81
12.64/12.70	c |
12.64/12.70	c |             Constraints: 3242
12.64/12.70	c |                   Arity: 3..3240  -- Ternary: 3240
12.64/12.70	c | 
12.64/12.70	c |                   Types: 
12.64/12.70	c |                          All Different: 1
12.64/12.70	c |                          Extension: 3240  (nb tuples: 6480..6480) -- (shared: 3239)
12.64/12.70	c |                          Sum: 1
12.64/12.70	c |                          
12.64/12.70	c =========================================================================================================
12.64/12.70	o -53776
12.64/12.70	c    1 calls to solver: best=-53776 lower=-53775 upper=0 
48.63/48.77	o -53549
132.02/132.16	o -53545
132.02/132.16	c    3 calls to solver: best=-53545 lower=-53544 upper=0 
962.56/962.74	o -53487
2400.06/2400.30	
2400.06/2400.30	c *** INTERRUPTED ***
2400.06/2400.30	c restarts              : 46          
2400.06/2400.30	c conflicts             : 80757        (34 /sec)
2400.06/2400.30	c decisions             : 422987       (176 /sec)
2400.06/2400.30	c propagations          : 86820174    (36180 /sec)
2400.06/2400.30	c root propagations     : 296146      
2400.06/2400.30	c filter calls          : 159083267      (66294 /sec)
2400.06/2400.30	c useless filter calls  : 145961522      (91 %)
2400.06/2400.30	c Memory used           : 401.89 MB
2400.06/2400.30	c CPU time              : 2399.67 s
2400.06/2400.30	
2400.06/2400.30	c nb Solutions = 4
2400.06/2400.30	s SATISFIABLE
2400.06/2400.30	c Best value found: -53487
2400.06/2400.30	
2400.06/2400.30	
2400.06/2400.30	v <instantiation type='solution' cost='-53487'>
2400.06/2400.30	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][4] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][5] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][6] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][7] d[0][80] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][4] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][5] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][6] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][7] d[10][80] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][4] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][5] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][6] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][7] d[11][80] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][4] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][5] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][6] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][7] d[12][80] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][4] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][5] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][6] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][7] d[13][80] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][4] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][5] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][6] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][7] d[14][80] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][4] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][5] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][6] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][7] d[15][80] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][4] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][5] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][6] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][7] d[16][80] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][4] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][5] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][6] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][7] d[17][80] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][4] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][5] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][6] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][7] d[18][80] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][4] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][5] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][6] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][7] d[19][80] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][4] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][5] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][6] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][7] d[1][80] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][4] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][5] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][6] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][7] d[20][80] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][4] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][5] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][6] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][7] d[21][80] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][4] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][5] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][6] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][7] d[22][80] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][4] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][5] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][6] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][7] d[23][80] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][4] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][5] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][6] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][7] d[24][80] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][4] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][5] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][6] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][7] d[25][80] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][4] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][5] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][6] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][7] d[26][80] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][4] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][5] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][6] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][7] d[27][80] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][4] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][5] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][6] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][7] d[28][80] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][4] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][5] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][6] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][7] d[29][80] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][4] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][5] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][6] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][7] d[2][80] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][4] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][5] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][6] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][7] d[30][80] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][4] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][5] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][6] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][7] d[31][80] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][4] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][5] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][6] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][7] d[32][80] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][4] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][5] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][6] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][7] d[33][80] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][4] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][5] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][6] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][7] d[34][80] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][4] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][5] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][6] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][7] d[35][80] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][4] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][5] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][6] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][7] d[36][80] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][4] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][5] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][6] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][7] d[37][80] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][4] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][5] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][6] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][7] d[38][80] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][4] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][5] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][6] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][7] d[39][80] d[39][8] d[39][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][4] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][5] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][6] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][7] d[3][80] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][4] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][5] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][6] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][7] d[40][80] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][4] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][5] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][6] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][7] d[41][80] d[41][8] d[41][9] d[42][0] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][1] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][2] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][3] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][4] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][5] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][6] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][7] d[42][80] d[42][8] d[42][9] d[43][0] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][1] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][2] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][3] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][4] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][5] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][6] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][7] d[43][80] d[43][8] d[43][9] d[44][0] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][1] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][2] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][3] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][4] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][5] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][6] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][7] d[44][80] d[44][8] d[44][9] d[45][0] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][1] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][2] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][3] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][4] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][5] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][6] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][7] d[45][80] d[45][8] d[45][9] d[46][0] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][1] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][2] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][3] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][4] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][5] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][6] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][7] d[46][80] d[46][8] d[46][9] d[47][0] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][1] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][2] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][3] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][4] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][5] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][6] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][7] d[47][80] d[47][8] d[47][9] d[48][0] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][1] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][2] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][3] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][4] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][5] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][6] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][7] d[48][80] d[48][8] d[48][9] d[49][0] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][1] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][2] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][3] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][4] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][5] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][6] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][7] d[49][80] d[49][8] d[49][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][4] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][5] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][6] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][7] d[4][80] d[4][8] d[4][9] d[50][0] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][1] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][2] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][3] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][4] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][5] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][6] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][7] d[50][80] d[50][8] d[50][9] d[51][0] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][1] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][2] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][3] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][4] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][5] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][6] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][7] d[51][80] d[51][8] d[51][9] d[52][0] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][1] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][2] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][3] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][4] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][5] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][6] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][7] d[52][80] d[52][8] d[52][9] d[53][0] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][1] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][2] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][3] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][4] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][5] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][6] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][7] d[53][80] d[53][8] d[53][9] d[54][0] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][1] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][2] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][3] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][4] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][5] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][6] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][7] d[54][80] d[54][8] d[54][9] d[55][0] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][1] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][2] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][3] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][4] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][5] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][6] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][7] d[55][80] d[55][8] d[55][9] d[56][0] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][1] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][2] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][3] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][4] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][5] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][6] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][7] d[56][80] d[56][8] d[56][9] d[57][0] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][1] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][2] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][3] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][4] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][5] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][6] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][7] d[57][80] d[57][8] d[57][9] d[58][0] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][1] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][2] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][3] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][4] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][5] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][6] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][7] d[58][80] d[58][8] d[58][9] d[59][0] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][1] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][2] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][3] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][4] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][5] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][6] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][7] d[59][80] d[59][8] d[59][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][4] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][5] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][6] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][7] d[5][80] d[5][8] d[5][9] d[60][0] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][1] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][2] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][3] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][4] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][5] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][6] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][7] d[60][80] d[60][8] d[60][9] d[61][0] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][1] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][2] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][3] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][4] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][5] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][6] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][7] d[61][80] d[61][8] d[61][9] d[62][0] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][1] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][2] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][3] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][4] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][5] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][6] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][7] d[62][80] d[62][8] d[62][9] d[63][0] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][1] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][2] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][3] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][4] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][5] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][6] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][7] d[63][80] d[63][8] d[63][9] d[64][0] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][1] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][2] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][3] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][4] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][5] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][6] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][7] d[64][80] d[64][8] d[64][9] d[65][0] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][1] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][2] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][3] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][4] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][5] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][6] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][7] d[65][80] d[65][8] d[65][9] d[66][0] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][1] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][2] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][3] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][4] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][5] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][6] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][7] d[66][80] d[66][8] d[66][9] d[67][0] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][1] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][2] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][3] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][4] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][5] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][6] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][7] d[67][80] d[67][8] d[67][9] d[68][0] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][1] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][2] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][3] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][4] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][5] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][6] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][7] d[68][80] d[68][8] d[68][9] d[69][0] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][1] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][2] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][3] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][4] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][5] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][6] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][7] d[69][80] d[69][8] d[69][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][4] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][5] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][6] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][7] d[6][80] d[6][8] d[6][9] d[70][0] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][1] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][2] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][3] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][4] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][5] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][6] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][7] d[70][80] d[70][8] d[70][9] d[71][0] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][1] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][2] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][3] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][4] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][5] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][6] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][7] d[71][80] d[71][8] d[71][9] d[72][0] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][1] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][2] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][3] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][4] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][5] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][6] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][7] d[72][80] d[72][8] d[72][9] d[73][0] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][1] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][2] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][3] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][4] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][5] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][6] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][7] d[73][80] d[73][8] d[73][9] d[74][0] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][1] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][2] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][3] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][4] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][5] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][6] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][7] d[74][80] d[74][8] d[74][9] d[75][0] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][1] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][2] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][3] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][4] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][5] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][6] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][7] d[75][80] d[75][8] d[75][9] d[76][0] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][1] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][2] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][3] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][4] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][5] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][6] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][7] d[76][80] d[76][8] d[76][9] d[77][0] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][1] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][2] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][3] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][4] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][5] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][6] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][7] d[77][80] d[77][8] d[77][9] d[78][0] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][1] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][2] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][3] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][4] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][5] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][6] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][7] d[78][80] d[78][8] d[78][9] d[79][0] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][1] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][2] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][3] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][4] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][5] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][6] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][7] d[79][80] d[79][8] d[79][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][4] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][5] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][6] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][7] d[7][80] d[7][8] d[7][9] d[80][0] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][1] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][2] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][3] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][4] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][5] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][6] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][7] d[80][80] d[80][8] d[80][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][4] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][5] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][6] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][7] d[8][80] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][4] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][5] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][6] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][7] d[9][80] d[9][8] d[9][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] </list>
2400.06/2400.30	v <values>* 0 0 2 5 0 1 1 3 1 1 5 1 0 0 2 2 2 0 2 5 0 1 0 1 2 1 1 0 1 2 0 2 1 0 0 0 6 1 2 10 5 1 3 0 0 10 10 1 10 0 0 0 10 0 1 0 0 0 6 0 0 0 2 0 5 5 1 2 3 0 2 5 2 0 0 2 1 4 5 2 * * 2 5 10 5 2 0 0 5 3 * 0 3 1 2 2 1 5 0 2 5 * 2 0 6 1 5 0 1 0 5 1 * 3 1 0 5 10 3 0 0 5 5 * 1 0 5 0 5 0 3 1 4 0 * 1 0 0 0 0 2 1 2 5 6 * 5 0 0 1 0 10 0 1 2 5 * 5 * * * * * 0 5 0 5 5 6 2 0 * 0 3 3 3 10 2 1 2 2 1 * 1 0 10 2 0 1 4 2 10 10 * 10 5 2 0 0 5 0 10 0 0 * 5 5 0 3 5 2 2 2 5 6 * 2 5 2 0 1 0 10 4 0 0 * 5 5 0 5 4 1 2 0 0 5 * 10 * * * * * * 2 0 2 5 2 0 1 * 5 2 5 2 2 3 5 5 0 1 * 2 4 2 5 4 5 5 5 5 10 * 1 0 0 0 3 0 0 1 10 0 * 10 5 1 0 4 3 0 2 0 2 * 4 1 10 2 1 0 5 5 10 2 * 2 0 2 0 0 1 2 1 10 0 * 10 * * * * * * * 0 10 0 0 0 3 * 2 0 0 0 10 5 0 5 1 0 * 4 2 0 4 0 0 2 5 5 1 * 5 4 1 10 6 5 10 2 5 0 * 5 10 10 0 2 5 2 3 1 0 * 5 6 5 5 0 0 2 5 0 2 * 0 2 0 2 5 0 5 1 10 5 * 5 * * * * * * * * 2 1 0 0 0 * 0 5 0 2 2 1 10 5 0 4 * 5 2 0 5 2 2 0 5 0 10 * 0 2 5 3 2 2 0 5 0 10 * 0 4 5 0 1 2 6 1 1 0 * 3 1 2 5 0 3 2 2 2 4 * 0 3 5 5 5 2 0 1 0 0 * 5 * * * * * * * * * 5 0 2 2 * 0 5 0 3 2 10 5 0 1 2 * 0 10 10 1 0 5 0 0 5 5 * 10 5 5 0 4 10 0 5 1 1 * 5 10 2 0 2 2 5 5 0 5 * 0 2 1 1 10 0 0 1 10 2 * 5 4 10 4 4 0 5 5 0 0 * 0 * * * * * * * * * * 10 2 3 * 4 0 10 0 10 1 0 1 0 5 * 2 2 5 4 5 5 10 5 0 2 * 1 10 0 0 1 1 5 0 1 5 * 10 1 5 1 0 1 0 0 5 2 * 0 5 10 3 0 0 0 4 1 0 * 10 5 5 3 2 2 0 0 2 5 * 5 * * * * * * * * * * * 2 0 * 10 1 0 0 1 0 0 0 0 3 * 5 0 0 2 4 2 5 10 6 10 * 2 4 0 1 0 5 1 4 0 2 * 0 3 5 4 2 10 10 1 5 2 * 5 0 10 1 10 0 0 2 1 5 * 0 0 2 0 0 0 5 5 3 1 * 0 * * * * * * * * * * * * 5 * 0 10 5 0 3 0 6 0 1 2 * 1 0 5 10 5 3 4 0 3 5 * 0 0 0 6 2 5 0 0 5 0 * 4 5 5 2 1 0 0 2 0 1 * 0 0 3 4 10 0 5 4 6 5 * 2 1 0 0 1 10 2 0 1 0 * 0 * * * * * * * * * * * * * * 5 0 10 2 5 0 10 0 1 3 * 6 0 5 0 1 0 2 0 2 2 * 2 0 2 2 2 4 10 0 2 0 * 0 0 2 5 2 2 0 5 10 2 * 0 0 0 10 10 2 5 5 4 2 * 0 5 0 5 3 0 6 4 0 0 * 5 * * * 1 10 5 4 2 0 2 0 0 1 * 1 5 0 0 2 2 0 0 2 2 0 3 5 0 2 5 1 0 2 2 1 0 5 3 0 0 2 5 2 1 0 1 0 10 3 1 5 1 3 5 5 0 5 0 0 0 0 10 10 0 0 1 10 2 3 0 10 2 1 5 0 10 5 1 0 5 4 3 1 * * * * * * * * * * * * * 5 2 5 5 5 0 0 1 5 * 2 10 2 1 5 2 10 5 4 2 * 2 3 3 2 4 0 1 1 2 10 * 5 4 5 5 0 2 10 2 1 1 * 5 0 2 2 1 5 2 4 10 0 * 0 1 0 5 5 1 1 5 2 0 * 0 * * * * * * * * * * * * * * * * 2 0 0 10 1 5 4 0 * 2 10 0 1 10 0 0 2 5 1 * 2 5 5 5 2 10 0 5 0 0 * 2 0 5 5 1 2 1 0 0 1 * 2 0 0 0 0 2 0 2 2 5 * 2 0 5 10 5 2 10 2 0 0 * 0 * * * * * * * * * * * * * * * * * 5 2 0 0 5 1 2 * 2 5 5 3 2 0 1 1 2 5 * 0 3 0 3 5 2 0 5 5 5 * 1 2 10 0 2 2 5 0 3 10 * 2 5 4 0 10 1 2 2 2 3 * 1 2 0 2 0 1 3 5 0 5 * 2 * * * * * * * * * * * * * * * * * * 10 5 5 0 2 2 * 0 5 0 2 10 0 1 5 5 0 * 1 0 0 2 0 4 10 1 0 5 * 2 2 5 10 1 5 0 3 10 1 * 5 0 1 0 4 5 0 1 3 2 * 5 2 0 0 1 5 4 5 3 0 * 0 * * * * * * * * * * * * * * * * * * * 2 5 10 0 2 * 5 5 2 2 5 2 0 0 1 5 * 1 5 5 1 5 2 2 1 1 0 * 2 2 1 0 1 2 0 0 0 2 * 0 0 5 2 1 1 1 2 0 2 * 5 10 2 5 1 2 0 0 2 0 * 0 * * * * * * * * * * * * * * * * * * * * 10 5 1 1 * 0 5 5 1 5 2 2 0 4 1 * 1 0 2 0 5 0 0 4 1 0 * 0 1 2 0 2 2 2 5 0 1 * 6 2 0 5 0 5 2 5 5 2 * 5 10 0 5 10 0 0 0 0 5 * 10 * * * * * * * * * * * * * * * * * * * * * 0 5 5 * 2 0 2 2 5 5 6 4 1 6 * 2 0 0 2 1 0 1 4 0 2 * 5 2 1 3 0 10 0 1 5 2 * 10 4 1 0 3 2 4 5 0 0 * 2 2 0 2 2 0 0 0 0 0 * 0 * * * * * * * * * * * * * * * * * * * * * * 0 1 * 1 1 0 2 2 10 6 0 10 0 * 10 2 0 1 1 1 5 2 2 2 * 2 0 0 0 0 10 0 3 0 10 * 2 4 5 0 2 0 1 10 1 0 * 0 0 0 3 1 1 2 5 0 5 * 5 * * * * * * * * * * * * * * * * * * * * * * * 2 * 3 1 5 2 2 1 10 3 0 0 * 2 10 5 3 0 10 0 0 2 10 * 2 0 0 0 0 0 0 5 3 5 * 0 0 5 0 5 5 0 0 3 2 * 0 5 0 0 5 0 10 0 0 10 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 10 0 2 1 0 5 * 5 3 2 1 2 0 0 3 0 5 * 5 6 10 5 0 10 0 5 5 0 * 2 0 0 5 0 0 4 5 5 5 * 0 0 2 0 0 2 3 2 1 1 * 5 * * * 0 0 5 5 0 0 2 1 2 3 * 5 0 3 2 0 2 2 10 0 2 * 3 0 2 5 10 10 10 0 1 0 5 2 0 10 0 4 5 2 0 0 0 2 4 0 0 5 1 5 10 2 0 0 0 0 5 5 10 0 5 2 2 2 1 2 0 0 0 2 0 0 10 2 0 1 6 0 5 10 * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 0 1 2 10 0 0 * 6 0 0 0 5 0 1 5 6 0 * 5 4 5 0 6 5 3 1 10 0 * 0 0 0 2 5 2 1 0 2 0 * 0 1 0 1 10 0 2 3 5 5 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 1 5 0 5 1 5 * 0 1 5 1 2 10 10 0 2 0 * 1 0 10 5 2 2 5 5 5 2 * 1 1 3 2 0 3 5 5 5 10 * 0 10 0 2 0 0 2 2 5 10 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 0 2 1 1 * 1 0 10 5 0 3 0 5 6 3 * 1 1 0 1 2 5 2 5 0 1 * 5 5 2 0 10 5 1 3 10 10 * 10 2 4 0 5 1 0 4 4 4 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 2 2 10 0 * 5 0 0 2 2 1 0 0 10 2 * 2 0 1 5 5 5 4 0 1 0 * 0 5 10 10 3 0 0 5 0 5 * 2 0 1 5 0 0 2 2 2 0 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 5 2 * 6 2 0 2 0 5 2 5 6 5 * 5 2 0 5 2 0 0 0 0 5 * 0 5 5 3 2 4 3 5 2 5 * 0 4 0 5 1 0 0 1 10 6 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 1 5 * 2 6 6 0 0 1 4 5 0 1 * 10 3 4 2 4 0 2 3 0 0 * 0 2 4 1 0 1 5 0 2 2 * 1 4 0 2 5 5 0 2 1 4 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 4 0 * 3 5 5 1 0 4 2 4 5 2 * 10 2 0 10 1 2 3 1 2 2 * 3 10 5 3 5 0 0 0 0 0 * 2 0 10 3 0 0 5 1 0 5 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 10 * 1 10 10 0 5 1 1 10 5 0 * 2 1 5 1 5 0 1 10 0 0 * 10 0 10 2 10 4 10 4 3 5 * 0 2 3 2 3 0 5 10 2 0 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * 2 0 6 2 1 0 1 2 10 2 * 6 4 0 1 2 2 1 5 5 2 * 6 4 1 6 10 5 0 0 0 0 * 0 2 5 10 1 1 0 2 1 5 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 0 0 5 10 0 5 5 0 * 5 5 10 0 10 3 2 0 2 2 * 5 0 1 2 1 1 0 0 10 10 * 0 5 5 5 5 5 1 2 2 1 * 0 * * * 4 0 0 5 2 0 0 0 5 6 * 0 6 4 2 0 10 1 5 0 0 * 0 1 1 0 0 5 5 3 0 2 * 2 5 5 1 4 3 0 2 2 5 1 4 5 2 0 1 5 0 0 5 2 5 4 1 1 2 5 0 3 0 0 10 4 5 5 2 0 0 5 1 5 0 0 0 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 0 5 4 5 0 5 * 2 5 1 5 10 2 3 0 10 0 * 6 2 5 5 2 10 5 2 1 0 * 2 5 4 0 0 2 0 2 0 5 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 0 5 2 3 0 * 0 3 5 1 2 1 3 6 0 2 * 10 5 5 5 5 0 2 10 1 1 * 0 0 2 2 0 2 0 2 10 0 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 5 1 5 2 2 * 1 0 1 5 0 0 1 1 0 0 * 4 5 2 1 2 5 10 1 5 2 * 2 2 1 10 2 5 2 0 3 5 * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 10 2 * 2 5 0 1 5 10 2 3 5 0 * 0 5 3 0 5 2 2 0 1 5 * 0 10 2 3 0 2 2 0 1 5 * 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 3 0 * 10 5 10 6 2 2 1 2 10 4 * 5 0 10 5 3 0 0 5 4 2 * 0 1 5 3 5 5 0 5 5 5 * 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 2 10 * 0 0 5 2 1 1 10 0 10 5 * 10 2 10 5 4 5 6 1 1 10 * 0 5 5 1 2 6 10 1 5 0 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 0 * 10 5 5 2 0 0 5 3 0 0 * 2 2 5 2 2 5 10 10 5 4 * 0 0 6 2 2 0 2 1 5 5 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 * 0 0 0 10 5 2 1 0 0 2 * 3 2 4 10 2 1 5 0 0 2 * 2 0 10 4 4 3 2 5 5 0 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 6 2 10 2 4 0 2 2 10 0 * 1 0 0 5 0 5 0 2 5 1 * 2 0 0 2 1 0 2 0 1 0 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 10 5 1 0 0 0 2 * 2 4 5 0 2 5 5 0 2 0 * 5 5 10 4 0 0 2 0 0 10 * 0 * * * 5 0 1 5 1 10 10 0 10 0 * 0 0 3 1 5 1 0 10 5 2 * 1 10 1 5 2 1 2 5 0 10 * 1 10 4 0 2 1 5 4 2 4 * 2 2 1 0 0 0 2 0 5 1 0 0 2 10 1 5 3 2 1 0 5 1 6 5 2 0 5 2 1 0 1 5 1 5 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 2 4 1 2 1 0 10 * 10 0 10 10 1 0 1 0 1 0 * 2 5 0 1 2 0 3 2 10 2 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 10 0 5 10 5 2 * 10 0 10 5 0 5 1 0 1 10 * 1 5 5 0 5 0 0 5 10 0 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 4 5 5 5 * 10 0 5 0 1 1 0 0 10 1 * 2 0 1 2 10 3 5 0 6 5 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 4 5 0 2 * 10 2 3 6 0 0 4 0 0 0 * 5 1 4 0 5 0 2 5 5 10 * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 5 0 0 * 2 0 0 0 0 1 2 4 5 2 * 3 5 10 2 0 0 10 5 1 1 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 4 * 2 0 0 5 0 2 3 5 5 1 * 5 10 10 6 0 2 2 0 5 10 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 0 * 0 10 0 0 10 5 5 10 0 5 * 5 1 5 0 0 1 0 5 1 1 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 * 0 1 2 0 10 5 0 6 0 5 * 1 5 0 3 0 1 10 0 1 4 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * 2 2 1 1 2 5 5 2 0 5 * 0 5 0 1 5 1 0 0 5 10 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 1 5 0 0 0 0 2 * 5 2 0 2 2 0 1 2 2 3 * 0 * * * 0 0 0 5 0 0 10 0 10 0 * 6 1 5 0 5 5 1 0 0 5 * 1 0 0 10 0 0 0 1 0 4 * 10 0 1 0 5 3 0 5 5 5 * 5 2 10 3 3 0 6 5 0 0 * 1 5 2 2 0 5 10 0 5 2 4 0 5 0 0 0 0 0 4 10 2 1 0 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 5 3 2 0 4 4 * 10 1 0 0 0 5 1 5 0 2 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 4 1 5 0 0 6 * 10 1 2 2 4 2 0 2 0 2 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 1 4 2 5 0 10 * 5 5 4 0 6 0 5 2 2 1 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 6 0 0 * 1 0 2 1 5 5 6 0 0 4 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 * 1 1 1 0 2 5 0 0 3 5 * 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 3 * 0 2 6 2 5 2 5 2 0 2 * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 * 2 1 0 2 0 5 5 1 5 5 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 * 2 5 0 1 1 5 1 4 1 5 * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 5 1 0 5 2 1 2 2 5 2 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 6 2 2 5 0 0 5 3 * 0 * * * 6 5 1 2 0 2 2 4 0 1 * 0 0 2 5 5 0 5 3 5 5 * 1 0 3 5 5 0 5 2 2 10 * 10 0 10 1 3 1 5 0 0 0 * 1 1 5 0 6 2 2 0 0 2 * 3 0 0 2 2 10 10 10 2 2 * 0 0 0 1 5 10 2 5 5 5 1 1 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 0 4 0 3 0 10 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 2 1 4 5 5 2 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 10 2 5 2 1 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 0 4 0 5 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 0 5 2 * 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 0 2 * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * 0 5 10 2 5 2 3 5 5 10 * 0 2 0 5 6 2 10 5 5 5 * 2 5 2 2 5 5 10 0 5 5 * 3 0 0 2 5 2 5 10 2 2 * 0 1 0 1 1 5 5 2 2 0 * 0 1 0 10 0 10 10 5 2 2 * 1 0 2 2 0 0 0 3 0 0 * 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 6 0 0 4 0 0 2 2 * 0 1 4 1 2 6 1 2 2 0 * 1 0 0 1 5 2 0 6 2 0 * 5 0 5 5 2 0 2 10 0 2 * 5 0 5 1 1 1 10 0 0 0 * 5 10 2 1 1 5 6 5 3 0 * 6 1 5 3 0 1 0 5 1 5 * 5 * 0 * 0 4 1 1 0 0 0 2 2 1 * 2 0 5 2 5 5 0 1 2 2 * 0 2 5 0 10 0 5 0 5 4 * 1 10 0 0 2 5 5 2 1 2 * 2 2 0 5 5 0 2 5 2 0 * 0 5 10 2 2 0 10 2 0 2 * 2 4 1 1 0 0 10 1 1 0 * 0 * * 46 79 43 4 58 66 50 44 51 28 27 15 41 33 71 38 77 25 80 8 59 34 47 52 17 11 54 69 49 16 12 10 57 24 48 67 32 39 72 36 6 20 70 22 26 0 23 74 14 76 13 55 63 9 7 21 31 65 61 35 45 3 40 30 78 62 37 73 19 68 64 53 29 75 60 42 18 5 1 2 56 </values>
2400.06/2400.30	v </instantiation>
2400.06/2400.30	

OK	53487

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259992-1502022313/watcher-4259992-1502022313 -o /tmp/evaluation-result-4259992-1502022313/solver-4259992-1502022313 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259992-1502022313.xml 

pid=5295
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.00 1.98 3/186 5298
/proc/meminfo: memFree=31505388/32770624 swapFree=0/340756
[pid=5298] ppid=5295 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5298/stat : 5298 (runsolver) D 5295 5298 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 101884532 24240128 108 18446744073709551615 4194304 4338465 140723144760784 140723144758424 140055828562647 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21991424 140723144769730 140723144770121 140723144770121 140723144773578 0
/proc/5298/statm: 5918 108 54 36 0 2156 0

[startup+0.100196 s]
/proc/loadavg: 2.02 2.00 1.98 3/186 5298
/proc/meminfo: memFree=31505388/32770624 swapFree=0/340756
[pid=5298] ppid=5295 vsize=33892 CPUtime=0.04 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 2732 0 0 0 4 0 0 0 20 0 1 0 101884532 34705408 2546 18446744073709551615 4194304 5747388 140722449445696 140722449442344 5220061 0 0 1 0 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 8473 2546 712 380 0 1891 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 33892

[startup+0.200392 s]
/proc/loadavg: 2.02 2.00 1.98 3/186 5298
/proc/meminfo: memFree=31505388/32770624 swapFree=0/340756
[pid=5298] ppid=5295 vsize=93472 CPUtime=0.14 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 17609 0 0 0 13 1 0 0 20 0 1 0 101884532 95715328 17396 18446744073709551615 4194304 5747388 140722449445696 140722449442344 139833673377696 0 0 1 0 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 23401 17462 717 380 0 16819 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 93472

[startup+0.300422 s]
/proc/loadavg: 2.02 2.00 1.98 3/186 5298
/proc/meminfo: memFree=31505388/32770624 swapFree=0/340756
[pid=5298] ppid=5295 vsize=120976 CPUtime=0.24 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 24553 0 0 0 22 2 0 0 20 0 1 0 101884532 123879424 24336 18446744073709551615 4194304 5747388 140722449445696 140722449442344 5437073 0 0 1 0 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 30244 24336 717 380 0 23662 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 120976

[startup+0.700341 s]
/proc/loadavg: 2.02 2.00 1.98 3/186 5298
/proc/meminfo: memFree=31505388/32770624 swapFree=0/340756
[pid=5298] ppid=5295 vsize=290552 CPUtime=0.64 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 66976 0 0 0 57 7 0 0 20 0 1 0 101884532 297525248 66773 18446744073709551615 4194304 5747388 140722449445696 140722449440904 4894084 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 72638 66773 756 380 0 66056 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 290552

[startup+1.50034 s]
/proc/loadavg: 2.02 2.00 1.98 3/187 5299
/proc/meminfo: memFree=31241324/32770624 swapFree=0/340788
[pid=5298] ppid=5295 vsize=294908 CPUtime=1.44 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 68092 0 0 0 137 7 0 0 20 0 1 0 101884532 301985792 67895 18446744073709551615 4194304 5747388 140722449445696 140722449442712 4893095 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 73727 67895 763 380 0 67145 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 294908

[startup+3.10031 s]
/proc/loadavg: 2.02 2.00 1.98 3/187 5299
/proc/meminfo: memFree=31216436/32770624 swapFree=0/340788
[pid=5298] ppid=5295 vsize=377728 CPUtime=3.03 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 135353 0 0 0 291 12 0 0 20 0 1 0 101884532 386793472 88442 18446744073709551615 4194304 5747388 140722449445696 140722449442520 4892817 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 94432 88442 763 380 0 87850 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 377728

[startup+6.30036 s]
/proc/loadavg: 2.02 2.00 1.98 3/187 5299
/proc/meminfo: memFree=31140676/32770624 swapFree=0/340788
[pid=5298] ppid=5295 vsize=393036 CPUtime=6.24 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 234811 0 0 0 606 18 0 0 20 0 1 0 101884532 402468864 91788 18446744073709551615 4194304 5747388 140722449445696 140722449442520 4892813 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 98259 91788 763 380 0 91677 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 393036

[startup+12.7003 s]
/proc/loadavg: 2.10 2.02 1.99 3/187 5299
/proc/meminfo: memFree=31140180/32770624 swapFree=0/340796
[pid=5298] ppid=5295 vsize=393372 CPUtime=12.64 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 290040 0 0 0 1243 21 0 0 20 0 1 0 101884532 402812928 91868 18446744073709551615 4194304 5747388 140722449445696 140722449442552 5133703 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 98343 91868 763 380 0 91761 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 393372

[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 1.99 3/187 5299
/proc/meminfo: memFree=31136460/32770624 swapFree=0/340804
[pid=5298] ppid=5295 vsize=397264 CPUtime=25.44 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 371488 0 0 0 2519 25 0 0 20 0 1 0 101884532 406798336 92755 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4890275 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 99316 92755 764 380 0 92734 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 397264

[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 1.99 3/185 5300
/proc/meminfo: memFree=31133668/32770624 swapFree=0/340804
[pid=5298] ppid=5295 vsize=401756 CPUtime=51.03 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 488425 0 0 0 5072 31 0 0 20 0 1 0 101884532 411398144 93866 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4892813 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 100439 93866 764 380 0 93857 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 401756

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/185 5303
/proc/meminfo: memFree=31128764/32770624 swapFree=0/340816
[pid=5298] ppid=5295 vsize=408308 CPUtime=102.22 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 573789 0 0 0 10187 35 0 0 20 0 1 0 101884532 418107392 95433 18446744073709551615 4194304 5747388 140722449445696 140722449442408 5025409 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102077 95433 764 380 0 95495 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 408308

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/185 5306
/proc/meminfo: memFree=31127588/32770624 swapFree=0/340840
[pid=5298] ppid=5295 vsize=409560 CPUtime=162.21 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 607467 0 0 0 16184 37 0 0 20 0 1 0 101884532 419389440 95720 18446744073709551615 4194304 5747388 140722449445696 140722449432968 4892817 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102390 95720 764 380 0 95808 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 409560

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/185 5308
/proc/meminfo: memFree=31127224/32770624 swapFree=0/340880
[pid=5298] ppid=5295 vsize=409696 CPUtime=222.22 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 626948 0 0 0 22184 38 0 0 20 0 1 0 101884532 419528704 95852 18446744073709551615 4194304 5747388 140722449445696 140722449442408 5025409 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102424 95852 764 380 0 95842 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 409696

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/185 5310
/proc/meminfo: memFree=31124004/32770624 swapFree=0/340892
[pid=5298] ppid=5295 vsize=410260 CPUtime=282.2 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 634345 0 0 0 28182 38 0 0 20 0 1 0 101884532 420106240 96713 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4894191 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102565 96713 764 380 0 95983 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 410260

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/185 5312
/proc/meminfo: memFree=31123508/32770624 swapFree=0/340912
[pid=5298] ppid=5295 vsize=410836 CPUtime=342.19 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 635161 0 0 0 34181 38 0 0 20 0 1 0 101884532 420696064 96842 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4894030 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102709 96842 764 380 0 96127 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 410836

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/184 5314
/proc/meminfo: memFree=31123712/32770624 swapFree=0/340912
[pid=5298] ppid=5295 vsize=410836 CPUtime=402.19 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 635562 0 0 0 40181 38 0 0 20 0 1 0 101884532 420696064 96842 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4915020 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102709 96842 764 380 0 96127 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 410836

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/184 5316
/proc/meminfo: memFree=31123596/32770624 swapFree=0/340920
[pid=5298] ppid=5295 vsize=410836 CPUtime=462.19 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 635914 0 0 0 46181 38 0 0 20 0 1 0 101884532 420696064 96842 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4893999 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102709 96842 764 380 0 96127 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 410836

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/184 5318
/proc/meminfo: memFree=31122700/32770624 swapFree=0/340920
[pid=5298] ppid=5295 vsize=411112 CPUtime=522.18 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 636666 0 0 0 52180 38 0 0 20 0 1 0 101884532 420978688 96906 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4894018 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102778 96906 764 380 0 96196 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 411112

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/188 5335
/proc/meminfo: memFree=31118324/32770624 swapFree=0/340960
[pid=5298] ppid=5295 vsize=411112 CPUtime=582.19 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 637011 0 0 0 58180 39 0 0 20 0 1 0 101884532 420978688 96933 18446744073709551615 4194304 5747388 140722449445696 140722449442408 4893984 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102778 96933 764 380 0 96196 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 411112


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.04 3/185 5384
/proc/meminfo: memFree=31121540/32770624 swapFree=0/341244
[pid=5298] ppid=5295 vsize=411532 CPUtime=1542.12 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 641277 0 0 0 154173 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4949673 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 411532

[startup+1602.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 5386
/proc/meminfo: memFree=31121424/32770624 swapFree=0/341252
[pid=5298] ppid=5295 vsize=411532 CPUtime=1602.11 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 641513 0 0 0 160172 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4894021 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 411532

[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 5388
/proc/meminfo: memFree=31121392/32770624 swapFree=0/341280
[pid=5298] ppid=5295 vsize=411532 CPUtime=1662.1 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 641750 0 0 0 166171 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4893991 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 411532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5390
/proc/meminfo: memFree=31121664/32770624 swapFree=0/341308
[pid=5298] ppid=5295 vsize=411532 CPUtime=1722.1 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 641992 0 0 0 172171 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4893974 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 411532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 5407
/proc/meminfo: memFree=31116368/32770624 swapFree=0/341336
[pid=5298] ppid=5295 vsize=411532 CPUtime=1782.1 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 642227 0 0 0 178171 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4892815 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 411532

[startup+1842.3 s]
/proc/loadavg: 2.07 2.03 2.04 3/188 5409
/proc/meminfo: memFree=31115496/32770624 swapFree=0/341356
[pid=5298] ppid=5295 vsize=411532 CPUtime=1842.09 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 642450 0 0 0 184170 39 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4894030 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 411532

[startup+1902.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 5412
/proc/meminfo: memFree=31119464/32770624 swapFree=0/341360
[pid=5298] ppid=5295 vsize=411532 CPUtime=1902.09 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 642697 0 0 0 190169 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4892815 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 411532

[startup+1962.3 s]
/proc/loadavg: 1.98 2.02 2.04 3/186 5414
/proc/meminfo: memFree=31119844/32770624 swapFree=0/341380
[pid=5298] ppid=5295 vsize=411532 CPUtime=1962.09 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 642937 0 0 0 196169 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4894030 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 411532

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 5416
/proc/meminfo: memFree=31120436/32770624 swapFree=0/341396
[pid=5298] ppid=5295 vsize=411532 CPUtime=2022.08 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 643180 0 0 0 202168 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4894030 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 411532

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 5418
/proc/meminfo: memFree=31121032/32770624 swapFree=0/341428
[pid=5298] ppid=5295 vsize=411532 CPUtime=2082.08 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 643407 0 0 0 208168 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4893982 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 411532

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5420
/proc/meminfo: memFree=31120812/32770624 swapFree=0/341440
[pid=5298] ppid=5295 vsize=411532 CPUtime=2142.08 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 643650 0 0 0 214168 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 5121272 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 411532

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5422
/proc/meminfo: memFree=31121288/32770624 swapFree=0/341460
[pid=5298] ppid=5295 vsize=411532 CPUtime=2202.08 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 643974 0 0 0 220168 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 5121248 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 411532

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5424
/proc/meminfo: memFree=31121428/32770624 swapFree=0/341492
[pid=5298] ppid=5295 vsize=411532 CPUtime=2262.07 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 644255 0 0 0 226167 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4894053 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2262.07
Current children cumulated vsize (KiB) 411532

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 5426
/proc/meminfo: memFree=31121020/32770624 swapFree=0/341508
[pid=5298] ppid=5295 vsize=411532 CPUtime=2322.06 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 644496 0 0 0 232166 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4949508 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 411532

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 5506
/proc/meminfo: memFree=31117324/32770624 swapFree=0/341540
[pid=5298] ppid=5295 vsize=411532 CPUtime=2382.06 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 644747 0 0 0 238166 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4892815 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 411532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 5508
/proc/meminfo: memFree=31117124/32770624 swapFree=0/341544
[pid=5298] ppid=5295 vsize=411532 CPUtime=2400.06 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 644754 0 0 0 239966 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4893982 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 411532

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5298 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 5508
/proc/meminfo: memFree=31117124/32770624 swapFree=0/341544
[pid=5298] ppid=5295 vsize=411532 CPUtime=2400.06 cores=0,2,4,6
/proc/5298/stat : 5298 (cosoco) R 5295 5298 2911 0 -1 4202496 644754 0 0 0 239966 40 0 0 20 0 1 0 101884532 421408768 97044 18446744073709551615 4194304 5747388 140722449445696 140722449443224 4893982 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 38846464 140722449449454 140722449449549 140722449449549 140722449453006 0
/proc/5298/statm: 102883 97044 764 380 0 96301 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 411532

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2399.67
CPU system time (s): 0.406972
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 411532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.67
system time used= 0.406972
maximum resident set size= 388252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644815
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= 43
involuntary context switches= 4009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2241 second user time and 7.69322 second system time

The end

Begin job on node132 at 2017-08-06 14:10:53
IDJOB=4259992
IDBENCH=123121
IDSOLVER=2647
FILE ID=node132/4259992-1502022313
RUNJOBID= node132-1502014216-3974
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259992-1502022313/watcher-4259992-1502022313 -o /tmp/evaluation-result-4259992-1502022313/solver-4259992-1502022313 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4259992-1502022313.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=1217663265

node132.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.74
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.74
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.74
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.74
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:        31505780 kB
MemAvailable:   31985792 kB
Buffers:          202472 kB
Cached:           576728 kB
SwapCached:            0 kB
Active:           468464 kB
Inactive:         373384 kB
Active(anon):      63352 kB
Inactive(anon):    32628 kB
Active(file):     405112 kB
Inactive(file):   340756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2192 kB
Writeback:             0 kB
AnonPages:         62044 kB
Mapped:            50092 kB
Shmem:             33468 kB
Slab:             126356 kB
SReclaimable:      99956 kB
SUnreclaim:        26400 kB
KernelStack:        3616 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     331124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-06 14:50:53