0.34/0.44	c best=?? lower=-194400 upper=0 
12.94/13.06	c
12.94/13.06	c This is cosoco 1.12 --  
12.94/13.06	c
12.94/13.06	c command line: cosoco -lc -model -restarts HOME/instance-4267730-1502516380.xml 
12.94/13.06	c enable optimization
12.94/13.06	c ========================================[ Problem Statistics ]===========================================
12.94/13.06	c |                                                                                                       
12.94/13.06	c |  Parse time        :         0.30 s 
12.94/13.06	c |
12.94/13.06	c |               Variables: 6642
12.94/13.06	c |            Domain Sizes: 8..81
12.94/13.06	c |
12.94/13.06	c |             Constraints: 3242
12.94/13.06	c |                   Arity: 3..3240  -- Ternary: 3240
12.94/13.06	c | 
12.94/13.06	c |                   Types: 
12.94/13.06	c |                          All Different: 1
12.94/13.06	c |                          Extension: 3240  (nb tuples: 6480..6480) -- (shared: 3239)
12.94/13.06	c |                          Sum: 1
12.94/13.06	c |                          
12.94/13.06	c =========================================================================================================
12.94/13.06	o -53776
12.94/13.06	c    1 calls to solver: best=-53776 lower=-53775 upper=0 
52.03/52.15	o -53549
138.79/138.91	o -53545
138.79/138.91	c    3 calls to solver: best=-53545 lower=-53544 upper=0 
970.40/970.64	o -53487
2519.67/2520.00	
2519.67/2520.00	c *** INTERRUPTED ***
2519.67/2520.00	c restarts              : 46          
2519.67/2520.00	c conflicts             : 82873        (33 /sec)
2519.67/2520.00	c decisions             : 426282       (169 /sec)
2519.67/2520.00	c propagations          : 88990014    (35324 /sec)
2519.67/2520.00	c root propagations     : 296146      
2519.67/2520.00	c filter calls          : 166104897      (65935 /sec)
2519.67/2520.00	c useless filter calls  : 152533366      (91 %)
2519.67/2520.00	c Memory used           : 402.16 MB
2519.67/2520.00	c CPU time              : 2519.22 s
2519.67/2520.00	
2519.67/2520.00	c nb Solutions = 4
2519.67/2520.00	s SATISFIABLE
2519.67/2520.00	c Best value found: -53487
2519.67/2520.00	
2519.67/2520.00	
2519.67/2520.00	v <instantiation type='solution' cost='-53487'>
2519.67/2520.00	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>
2519.67/2520.00	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>
2519.67/2520.00	v </instantiation>
2519.67/2520.00	

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-4267730-1502516380/watcher-4267730-1502516380 -o /tmp/evaluation-result-4267730-1502516380/solver-4267730-1502516380 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267730-1502516380.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.06 2.06 4/183 1352
/proc/meminfo: memFree=31100088/32770624 swapFree=0/468768
[pid=1352] ppid=1349 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1352/stat : 1352 (runsolver) D 1349 1352 27450 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 151290859 24240128 106 18446744073709551615 4194304 4338465 140724401199744 140724401197384 140473133777623 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 26980352 140724401205441 140724401205833 140724401205833 140724401209290 0
/proc/1352/statm: 5918 106 53 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 2.25 2.06 2.06 4/183 1352
/proc/meminfo: memFree=31100088/32770624 swapFree=0/468768
[pid=1352] ppid=1349 vsize=34264 CPUtime=0.04 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 2756 0 0 0 4 0 0 0 20 0 1 0 151290859 35086336 2558 18446744073709551615 4194304 5972588 140732728854400 140732728849480 5418913 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 8566 2558 722 435 0 1929 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34264

[startup+0.200384 s]
/proc/loadavg: 2.25 2.06 2.06 4/183 1352
/proc/meminfo: memFree=31100088/32770624 swapFree=0/468768
[pid=1352] ppid=1349 vsize=96176 CPUtime=0.14 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 18256 0 0 0 12 2 0 0 20 0 1 0 151290859 98484224 18068 18446744073709551615 4194304 5972588 140732728854400 140732728849480 140038824179616 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 24077 18068 731 435 0 17440 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 96176

[startup+0.3004 s]
/proc/loadavg: 2.25 2.06 2.06 4/183 1352
/proc/meminfo: memFree=31100088/32770624 swapFree=0/468768
[pid=1352] ppid=1349 vsize=121284 CPUtime=0.24 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 24567 0 0 0 21 3 0 0 20 0 1 0 151290859 124194816 24351 18446744073709551615 4194304 5972588 140732728854400 140732728849480 140038825055234 0 0 1 0 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 30321 24351 731 435 0 23684 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 121284

[startup+0.700342 s]
/proc/loadavg: 2.25 2.06 2.06 4/183 1352
/proc/meminfo: memFree=31100088/32770624 swapFree=0/468768
[pid=1352] ppid=1349 vsize=290796 CPUtime=0.64 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 67003 0 0 0 56 8 0 0 20 0 1 0 151290859 297775104 66788 18446744073709551615 4194304 5972588 140732728854400 140732728849480 4935471 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 72699 66788 758 435 0 66062 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 290796

[startup+1.50032 s]
/proc/loadavg: 2.25 2.06 2.06 3/184 1353
/proc/meminfo: memFree=30835992/32770624 swapFree=0/468760
[pid=1352] ppid=1349 vsize=295152 CPUtime=1.44 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 68112 0 0 0 136 8 0 0 20 0 1 0 151290859 302235648 67910 18446744073709551615 4194304 5972588 140732728854400 140732728851272 140038824131557 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 73788 67910 778 435 0 67151 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 295152

[startup+3.10034 s]
/proc/loadavg: 2.25 2.06 2.06 3/184 1353
/proc/meminfo: memFree=30813052/32770624 swapFree=0/468760
[pid=1352] ppid=1349 vsize=378020 CPUtime=3.04 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 135952 0 0 0 290 14 0 0 20 0 1 0 151290859 387092480 88469 18446744073709551615 4194304 5972588 140732728854400 140732728851112 5325700 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 94505 88469 778 435 0 87868 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 378020

[startup+6.30035 s]
/proc/loadavg: 2.23 2.06 2.06 3/184 1353
/proc/meminfo: memFree=30735332/32770624 swapFree=0/468760
[pid=1352] ppid=1349 vsize=393328 CPUtime=6.23 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 236396 0 0 0 604 19 0 0 20 0 1 0 151290859 402767872 91819 18446744073709551615 4194304 5972588 140732728854400 140732728851112 4935408 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 98332 91819 778 435 0 91695 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 393328

[startup+12.7002 s]
/proc/loadavg: 2.21 2.06 2.06 3/184 1354
/proc/meminfo: memFree=30734960/32770624 swapFree=0/468760
[pid=1352] ppid=1349 vsize=393732 CPUtime=12.63 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 286232 0 0 0 1241 22 0 0 20 0 1 0 151290859 403181568 91901 18446744073709551615 4194304 5972588 140732728854400 140732728851112 4931742 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 98433 91901 779 435 0 91796 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 393732

[startup+25.5002 s]
/proc/loadavg: 2.16 2.06 2.06 3/185 1355
/proc/meminfo: memFree=30730980/32770624 swapFree=0/468752
[pid=1352] ppid=1349 vsize=397628 CPUtime=25.44 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 372663 0 0 0 2517 27 0 0 20 0 1 0 151290859 407171072 92779 18446744073709551615 4194304 5972588 140732728854400 140732728851000 5046284 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 99407 92779 780 435 0 92770 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 397628

[startup+51.1004 s]
/proc/loadavg: 2.11 2.05 2.06 3/186 1356
/proc/meminfo: memFree=30729972/32770624 swapFree=0/468744
[pid=1352] ppid=1349 vsize=401020 CPUtime=51.03 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 477184 0 0 0 5070 33 0 0 20 0 1 0 151290859 410644480 93630 18446744073709551615 4194304 5972588 140732728854400 140732728851160 5046297 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 100255 93630 780 435 0 93618 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 401020

[startup+102.3 s]
/proc/loadavg: 1.92 2.01 2.04 3/186 1358
/proc/meminfo: memFree=30720144/32770624 swapFree=0/468764
[pid=1352] ppid=1349 vsize=407340 CPUtime=102.21 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 565808 0 0 0 10184 37 0 0 20 0 1 0 151290859 417116160 95162 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4935585 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 101835 95162 780 435 0 95198 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 407340

[startup+162.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/186 1360
/proc/meminfo: memFree=30716912/32770624 swapFree=0/468780
[pid=1352] ppid=1349 vsize=409704 CPUtime=162.19 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 625985 0 0 0 16178 41 0 0 20 0 1 0 151290859 419536896 95747 18446744073709551615 4194304 5972588 140732728854400 140732728841592 4934287 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102426 95747 780 435 0 95789 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 409704

[startup+222.306 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 1363
/proc/meminfo: memFree=30716388/32770624 swapFree=0/468788
[pid=1352] ppid=1349 vsize=409988 CPUtime=222.18 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 656581 0 0 0 22175 43 0 0 20 0 1 0 151290859 419827712 95795 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4934237 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102497 95795 780 435 0 95860 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 409988

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 1365
/proc/meminfo: memFree=30713656/32770624 swapFree=0/468800
[pid=1352] ppid=1349 vsize=410560 CPUtime=282.15 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 671620 0 0 0 28171 44 0 0 20 0 1 0 151290859 420413440 96558 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4934289 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102640 96558 780 435 0 96003 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 410560

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 1381
/proc/meminfo: memFree=30709232/32770624 swapFree=0/468828
[pid=1352] ppid=1349 vsize=411108 CPUtime=342.15 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 672579 0 0 0 34171 44 0 0 20 0 1 0 151290859 420974592 96870 18446744073709551615 4194304 5972588 140732728854400 140732728851000 5327767 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102777 96870 780 435 0 96140 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 411108

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 1383
/proc/meminfo: memFree=30711536/32770624 swapFree=0/468844
[pid=1352] ppid=1349 vsize=411108 CPUtime=402.14 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 673147 0 0 0 40170 44 0 0 20 0 1 0 151290859 420974592 96870 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4935435 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102777 96870 780 435 0 96140 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 411108

[startup+462.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/184 1385
/proc/meminfo: memFree=30712160/32770624 swapFree=0/468856
[pid=1352] ppid=1349 vsize=411108 CPUtime=462.14 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 673602 0 0 0 46170 44 0 0 20 0 1 0 151290859 420974592 96870 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4934287 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102777 96870 780 435 0 96140 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 411108

[startup+522.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/184 1387
/proc/meminfo: memFree=30712120/32770624 swapFree=0/468872
[pid=1352] ppid=1349 vsize=411384 CPUtime=522.13 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 674355 0 0 0 52169 44 0 0 20 0 1 0 151290859 421257216 96929 18446744073709551615 4194304 5972588 140732728854400 140732728851000 4935596 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102846 96929 780 435 0 96209 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 411384

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 1390
/proc/meminfo: memFree=30711984/32770624 swapFree=0/468884
[pid=1352] ppid=1349 vsize=411384 CPUtime=582.13 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 674896 0 0 0 58169 44 0 0 20 0 1 0 151290859 421257216 96929 18446744073709551615 4194304 5972588 140732728854400 140732728851000 5139327 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102846 96929 780 435 0 96209 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 411384


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


[startup+1602.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/187 1639
/proc/meminfo: memFree=30713808/32770624 swapFree=0/469112
[pid=1352] ppid=1349 vsize=411808 CPUtime=1602.04 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 681053 0 0 0 160159 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935663 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 411808

[startup+1662.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 1641
/proc/meminfo: memFree=30714428/32770624 swapFree=0/469112
[pid=1352] ppid=1349 vsize=411808 CPUtime=1662.03 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 681356 0 0 0 166158 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935463 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 411808

[startup+1722.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/187 1643
/proc/meminfo: memFree=30714872/32770624 swapFree=0/469124
[pid=1352] ppid=1349 vsize=411808 CPUtime=1722.02 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 681657 0 0 0 172157 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 411808

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 1645
/proc/meminfo: memFree=30714956/32770624 swapFree=0/469144
[pid=1352] ppid=1349 vsize=411808 CPUtime=1782.02 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 681961 0 0 0 178157 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4934287 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 411808

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 1648
/proc/meminfo: memFree=30714792/32770624 swapFree=0/469164
[pid=1352] ppid=1349 vsize=411808 CPUtime=1842.02 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 682257 0 0 0 184157 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935454 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 411808

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 1650
/proc/meminfo: memFree=30715296/32770624 swapFree=0/469176
[pid=1352] ppid=1349 vsize=411808 CPUtime=1902.01 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 682560 0 0 0 190156 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935525 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 411808

[startup+1962.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/184 1652
/proc/meminfo: memFree=30715744/32770624 swapFree=0/469184
[pid=1352] ppid=1349 vsize=411808 CPUtime=1962.01 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 682854 0 0 0 196156 45 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4936000 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 411808

[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/184 1655
/proc/meminfo: memFree=30715312/32770624 swapFree=0/469196
[pid=1352] ppid=1349 vsize=411808 CPUtime=2022.01 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 683155 0 0 0 202155 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935454 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 411808

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/184 1657
/proc/meminfo: memFree=30715316/32770624 swapFree=0/469204
[pid=1352] ppid=1349 vsize=411808 CPUtime=2082.01 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 683456 0 0 0 208155 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935435 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 411808

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/189 1675
/proc/meminfo: memFree=30711412/32770624 swapFree=0/469200
[pid=1352] ppid=1349 vsize=411808 CPUtime=2142 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 683753 0 0 0 214154 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935478 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 411808

[startup+2202.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/190 1702
/proc/meminfo: memFree=30710804/32770624 swapFree=0/469200
[pid=1352] ppid=1349 vsize=411808 CPUtime=2202 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 684057 0 0 0 220154 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935478 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 411808

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 1704
/proc/meminfo: memFree=30713972/32770624 swapFree=0/469204
[pid=1352] ppid=1349 vsize=411808 CPUtime=2261.99 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 684401 0 0 0 226153 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4934289 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 411808

[startup+2322.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/187 1706
/proc/meminfo: memFree=30714336/32770624 swapFree=0/469208
[pid=1352] ppid=1349 vsize=411808 CPUtime=2321.99 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 684702 0 0 0 232153 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4934287 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 411808

[startup+2382.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 1708
/proc/meminfo: memFree=30714304/32770624 swapFree=0/469224
[pid=1352] ppid=1349 vsize=411808 CPUtime=2381.98 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 685008 0 0 0 238152 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 5319872 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 411808

[startup+2442.3 s]
/proc/loadavg: 2.18 2.05 2.05 3/185 1710
/proc/meminfo: memFree=30714588/32770624 swapFree=0/469232
[pid=1352] ppid=1349 vsize=411808 CPUtime=2441.98 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 685312 0 0 0 244152 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2441.98
Current children cumulated vsize (KiB) 411808

[startup+2502.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/184 1712
/proc/meminfo: memFree=30714696/32770624 swapFree=0/469244
[pid=1352] ppid=1349 vsize=411808 CPUtime=2501.98 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 685612 0 0 0 250152 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4934265 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 411808



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 1712
/proc/meminfo: memFree=30714696/32770624 swapFree=0/469244
[pid=1352] ppid=1349 vsize=411808 CPUtime=2519.67 cores=0,2,4,6
/proc/1352/stat : 1352 (cosoco) R 1349 1352 27450 0 -1 4202496 685613 0 0 0 251921 46 0 0 20 0 1 0 151290859 421691392 97078 18446744073709551615 4194304 5972588 140732728854400 140732728851848 4935182 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 33959936 140732728857070 140732728857165 140732728857165 140732728860622 0
/proc/1352/statm: 102952 97078 780 435 0 96315 0
Current children cumulated CPU time (s) 2519.67
Current children cumulated vsize (KiB) 411808

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 1352 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.69
CPU user time (s): 2519.22
CPU system time (s): 0.463963
CPU usage (%): 99.9874
Max. virtual memory (cumulated for all children) (KiB): 411808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.22
system time used= 0.463963
maximum resident set size= 388392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685758
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= 89
involuntary context switches= 4102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57062 second user time and 10.9251 second system time

The end

Begin job on node132 at 2017-08-12 07:25:16
IDJOB=4267730
IDBENCH=123121
IDSOLVER=2658
FILE ID=node132/4267730-1502516380
RUNJOBID= node132-1502500306-27513
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
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-4267730-1502516380/watcher-4267730-1502516380 -o /tmp/evaluation-result-4267730-1502516380/solver-4267730-1502516380 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27513 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267730-1502516380.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=1617477801

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:        31099908 kB
MemAvailable:   31961024 kB
Buffers:          306384 kB
Cached:           863472 kB
SwapCached:            0 kB
Active:           717684 kB
Inactive:         517780 kB
Active(anon):      65856 kB
Inactive(anon):    49012 kB
Active(file):     651828 kB
Inactive(file):   468768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2508 kB
Writeback:             0 kB
AnonPages:         64716 kB
Mapped:            63188 kB
Shmem:             49852 kB
Slab:             139616 kB
SReclaimable:     112712 kB
SUnreclaim:        26904 kB
KernelStack:        3280 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-12 08:07:16