...done in 0 seconds.


Writing problem data to `adage.lp'...
2454 lines were written
GLPK Simplex Optimizer, v4.47
1600 rows, 842 columns, 10852 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   4.285714286e-01  infeas =  1.533e-14 (0)
*  1000: obj =   4.686825054e-01  infeas =  3.354e-15 (0)
*  1141: obj =   4.705882353e-01  infeas =  7.938e-15 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4705882353

Values on the Variables:
x[0] =   -1 /   51 == -0.0196078431
x[1] =    0 /    1 == 0.0000000000
x[2] =    0 /    1 == 0.0000000000
x[3] =   -1 /   51 == -0.0196078431
x[4] =    0 /    1 == 0.0000000000
x[5] =    0 /    1 == 0.0000000000
x[6] =    1 /   17 == 0.0588235294
x[7] =    2 /   51 == 0.0392156863
x[8] =    0 /    1 == 0.0000000000
x[9] =    0 /    1 == 0.0000000000
x[10] =   -1 /   51 == -0.0196078431
x[11] =   11 /   51 == 0.2156862745
x[12] =    0 /    1 == 0.0000000000
x[13] =   -1 /   51 == -0.0196078431
x[14] =   11 /   51 == 0.2156862745
x[15] =    0 /    1 == 0.0000000000
x[16] =    0 /    1 == 0.0000000000
x[17] =    0 /    1 == 0.0000000000
x[18] =   13 /   51 == 0.2549019608
x[19] =    0 /    1 == 0.0000000000
x[20] =    0 /    1 == 0.0000000000
x[21] =   -1 /   51 == -0.0196078431
x[22] =   11 /   51 == 0.2156862745
x[23] =    0 /    1 == -0.0000000000
x[24] =    0 /    1 == 0.0000000000
x[25] =    0 /    1 == 0.0000000000
x[26] =    0 /    1 == -0.0000000000
x[27] =    0 /    1 == 0.0000000000
x[28] =    0 /    1 == 0.0000000000
x[29] =    1 /   51 == 0.0196078431
x[30] =    0 /    1 == 0.0000000000
x[31] =   -2 /   51 == -0.0392156863
x[32] =    0 /    1 == 0.0000000000
x[33] =    0 /    1 == 0.0000000000
x[34] =    0 /    1 == 0.0000000000
x[35] =    3 /   17 == 0.1764705882
x[36] =   -1 /   17 == -0.0588235294
x[37] =    4 /   17 == 0.2352941176
x[38] =    0 /    1 == 0.0000000000
x[39] =   10 /   51 == 0.1960784314
x[40] =    0 /    1 == -0.0000000000
x[41] =    4 /   17 == 0.2352941176
x[42] =    0 /    1 == 0.0000000000
x[43] =   10 /   51 == 0.1960784314
x[44] =   -2 /   51 == -0.0392156863
x[45] =   13 /   51 == 0.2549019608
x[46] =    0 /    1 == 0.0000000000
x[47] =   10 /   51 == 0.1960784314
x[48] =    0 /    1 == -0.0000000000
x[49] =    4 /   17 == 0.2352941176
x[50] =   -1 /   17 == -0.0588235294
x[51] =    0 /    1 == 0.0000000000
x[52] =    0 /    1 == 0.0000000000
x[53] =   -1 /   17 == -0.0588235294
x[54] =    0 /    1 == 0.0000000000
x[55] =    0 /    1 == 0.0000000000
x[56] =    1 /   51 == 0.0196078431
x[57] =    0 /    1 == 0.0000000000
x[58] =    1 /   51 == 0.0196078431
x[59] =    0 /    1 == 0.0000000000
x[60] =   -1 /   17 == -0.0588235294
x[61] =    0 /    1 == 0.0000000000
x[62] =    0 /    1 == 0.0000000000
x[63] =    0 /    1 == 0.0000000000
x[64] =   14 /   51 == 0.2745098039
x[65] =    0 /    1 == 0.0000000000
x[66] =    1 /   17 == 0.0588235294
x[67] =    2 /   51 == 0.0392156863
x[68] =   14 /   51 == 0.2745098039
x[69] =    0 /    1 == 0.0000000000
x[70] =    0 /    1 == 0.0000000000
x[71] =    0 /    1 == 0.0000000000
x[72] =    5 /   17 == 0.2941176471
x[73] =    0 /    1 == 0.0000000000
x[74] =    1 /   17 == 0.0588235294
x[75] =    2 /   51 == 0.0392156863
x[76] =   14 /   51 == 0.2745098039
x[77] =    0 /    1 == 0.0000000000
x[78] =    0 /    1 == 0.0000000000
x[79] =    0 /    1 == 0.0000000000
x[80] =    0 /    1 == -0.0000000000
x[81] =    0 /    1 == 0.0000000000
x[82] =    1 /   51 == 0.0196078431
x[83] =    0 /    1 == 0.0000000000
x[84] =    0 /    1 == 0.0000000000
x[85] =    0 /    1 == 0.0000000000
x[86] =    0 /    1 == 0.0000000000
x[87] =    0 /    1 == 0.0000000000
x[88] =    1 /   51 == 0.0196078431
x[89] =    0 /    1 == 0.0000000000
x[90] =   -2 /   51 == -0.0392156863
x[91] =    0 /    1 == 0.0000000000
x[92] =    0 /    1 == 0.0000000000
x[93] =    0 /    1 == 0.0000000000
x[94] =    7 /   51 == 0.1372549020
x[95] =    0 /    1 == 0.0000000000
x[96] =    4 /   17 == 0.2352941176
x[97] =    0 /    1 == 0.0000000000
x[98] =   10 /   51 == 0.1960784314
x[99] =    0 /    1 == 0.0000000000
x[100] =    4 /   17 == 0.2352941176
x[101] =    0 /    1 == 0.0000000000
x[102] =    7 /   51 == 0.1372549020
x[103] =    0 /    1 == 0.0000000000
x[104] =   13 /   51 == 0.2549019608
x[105] =    0 /    1 == 0.0000000000
x[106] =   10 /   51 == 0.1960784314
x[107] =    0 /    1 == 0.0000000000
x[108] =    4 /   17 == 0.2352941176
x[109] =    0 /    1 == 0.0000000000
x[110] =    0 /    1 == 0.0000000000
x[111] =    0 /    1 == 0.0000000000
x[112] =    0 /    1 == 0.0000000000
x[113] =    0 /    1 == 0.0000000000
x[114] =    0 /    1 == -0.0000000000
x[115] =    0 /    1 == 0.0000000000
x[116] =    0 /    1 == 0.0000000000
x[117] =    0 /    1 == 0.0000000000
x[118] =  -11 /   51 == -0.2156862745
x[119] =    0 /    1 == 0.0000000000
x[120] =   -7 /   51 == -0.1372549020
x[121] =    0 /    1 == 0.0000000000
x[122] =    0 /    1 == 0.0000000000
x[123] =    0 /    1 == 0.0000000000
x[124] =   14 /   51 == 0.2745098039
x[125] =    0 /    1 == 0.0000000000
x[126] =    1 /   17 == 0.0588235294
x[127] =    0 /    1 == 0.0000000000
x[128] =   14 /   51 == 0.2745098039
x[129] =    0 /    1 == 0.0000000000
x[130] =    0 /    1 == 0.0000000000
x[131] =    0 /    1 == 0.0000000000
x[132] =    0 /    1 == 0.0000000000
x[133] =    0 /    1 == 0.0000000000
x[134] =    0 /    1 == 0.0000000000
x[135] =    0 /    1 == 0.0000000000
x[136] =    2 /   51 == 0.0392156863
x[137] =    0 /    1 == 0.0000000000
x[138] =    0 /    1 == 0.0000000000
x[139] =    0 /    1 == 0.0000000000
x[140] =    2 /   51 == 0.0392156863
x[141] =    0 /    1 == 0.0000000000
x[142] =    0 /    1 == 0.0000000000
x[143] =    0 /    1 == 0.0000000000
x[144] =    0 /    1 == 0.0000000000
x[145] =    0 /    1 == 0.0000000000
x[146] =   -4 /   17 == -0.2352941176
x[147] =    0 /    1 == 0.0000000000
x[148] =  -10 /   51 == -0.1960784314
x[149] =    0 /    1 == 0.0000000000
x[150] =    0 /    1 == 0.0000000000
x[151] =    0 /    1 == 0.0000000000
x[152] =   14 /   51 == 0.2745098039
x[153] =    0 /    1 == 0.0000000000
x[154] =    0 /    1 == 0.0000000000
x[155] =    0 /    1 == 0.0000000000
x[156] =   14 /   51 == 0.2745098039
x[157] =    0 /    1 == 0.0000000000
x[158] =    0 /    1 == 0.0000000000
x[159] =    0 /    1 == 0.0000000000
x[160] =    0 /    1 == 0.0000000000
x[161] =    0 /    1 == 0.0000000000
x[162] =    0 /    1 == 0.0000000000
x[163] =    0 /    1 == 0.0000000000
x[164] =    0 /    1 == 0.0000000000
x[165] =    0 /    1 == 0.0000000000
x[166] =    0 /    1 == 0.0000000000
x[167] =    0 /    1 == 0.0000000000
x[168] =   -1 /   17 == -0.0588235294
x[169] =    0 /    1 == 0.0000000000
x[170] =    0 /    1 == 0.0000000000
x[171] =    0 /    1 == 0.0000000000
x[172] =  -11 /   51 == -0.2156862745
x[173] =    0 /    1 == 0.0000000000
x[174] =    0 /    1 == 0.0000000000
x[175] =    0 /    1 == 0.0000000000
x[176] =   -4 /   17 == -0.2352941176
x[177] =    0 /    1 == 0.0000000000
x[178] =    0 /    1 == 0.0000000000
x[179] =    0 /    1 == 0.0000000000
x[180] =    0 /    1 == 0.0000000000
x[181] =    0 /    1 == 0.0000000000
x[182] =    0 /    1 == 0.0000000000
x[183] =    0 /    1 == 0.0000000000
x[184] =   11 /   51 == 0.2156862745
x[185] =    0 /    1 == 0.0000000000
x[186] =    0 /    1 == 0.0000000000
x[187] =    0 /    1 == 0.0000000000
x[188] =    0 /    1 == 0.0000000000
x[189] =    0 /    1 == 0.0000000000
x[190] =    0 /    1 == 0.0000000000
x[191] =    0 /    1 == 0.0000000000
x[192] =    0 /    1 == 0.0000000000
x[193] =    0 /    1 == 0.0000000000
x[194] =    0 /    1 == 0.0000000000
x[195] =    0 /    1 == 0.0000000000
x[196] =    0 /    1 == 0.0000000000
x[197] =    0 /    1 == 0.0000000000
x[198] =    0 /    1 == 0.0000000000
x[199] =    0 /    1 == 0.0000000000
x[200] =    0 /    1 == 0.0000000000
x[201] =    0 /    1 == 0.0000000000
x[202] =    0 /    1 == 0.0000000000
x[203] =    0 /    1 == 0.0000000000
x[204] =   -4 /   17 == -0.2352941176
x[205] =    0 /    1 == 0.0000000000
x[206] =    0 /    1 == 0.0000000000
x[207] =    0 /    1 == 0.0000000000
x[208] =    0 /    1 == 0.0000000000
x[209] =    0 /    1 == 0.0000000000
x[210] =    0 /    1 == 0.0000000000
x[211] =    0 /    1 == 0.0000000000
x[212] =    0 /    1 == 0.0000000000
x[213] =    0 /    1 == 0.0000000000
x[214] =    0 /    1 == 0.0000000000
x[215] =    0 /    1 == 0.0000000000
x[216] =    0 /    1 == 0.0000000000
x[217] =   -8 /   51 == -0.1568627451
x[218] =   -7 /   51 == -0.1372549020
x[219] =   -1 /    3 == -0.3333333333
x[220] =   -4 /   17 == -0.2352941176
x[221] =  -11 /   51 == -0.2156862745
x[222] =   -5 /   17 == -0.2941176471
x[223] =  -11 /   51 == -0.2156862745
x[224] =   -3 /   17 == -0.1764705882
x[225] =  -10 /   51 == -0.1960784314
x[226] =   -3 /   17 == -0.1764705882
x[227] =   -4 /   17 == -0.2352941176
x[228] =  -10 /   51 == -0.1960784314
x[229] =  -10 /   51 == -0.1960784314
x[230] =  -10 /   51 == -0.1960784314
x[231] =  -10 /   51 == -0.1960784314
x[232] =   -8 /   17 == -0.4705882353
x[233] =   -5 /   51 == -0.0980392157
x[234] =   -4 /   51 == -0.0784313725
x[235] =  -14 /   51 == -0.2745098039
x[236] =   -3 /   17 == -0.1764705882
x[237] =   -8 /   51 == -0.1568627451
x[238] =   -4 /   17 == -0.2352941176
x[239] =   -8 /   51 == -0.1568627451
x[240] =   -2 /   17 == -0.1176470588
x[241] =   -7 /   51 == -0.1372549020
x[242] =   -2 /   17 == -0.1176470588
x[243] =   -3 /   17 == -0.1764705882
x[244] =   -7 /   51 == -0.1372549020
x[245] =   -7 /   51 == -0.1372549020
x[246] =   -7 /   51 == -0.1372549020
x[247] =   -7 /   51 == -0.1372549020
x[248] =   -7 /   17 == -0.4117647059
x[249] =    1 /   51 == 0.0196078431
x[250] =    2 /   51 == 0.0392156863
x[251] =   -8 /   51 == -0.1568627451
x[252] =   -1 /   17 == -0.0588235294
x[253] =   -2 /   51 == -0.0392156863
x[254] =   -2 /   17 == -0.1176470588
x[255] =   -2 /   51 == -0.0392156863
x[256] =    0 /    1 == 0.0000000000
x[257] =  -10 /   51 == -0.1960784314
x[258] =   -3 /   17 == -0.1764705882
x[259] =   -4 /   17 == -0.2352941176
x[260] =  -10 /   51 == -0.1960784314
x[261] =   -7 /   51 == -0.1372549020
x[262] =   -7 /   51 == -0.1372549020
x[263] =   -7 /   51 == -0.1372549020
x[264] =   -7 /   17 == -0.4117647059
x[265] =   -5 /   51 == -0.0980392157
x[266] =   -4 /   51 == -0.0784313725
x[267] =  -14 /   51 == -0.2745098039
x[268] =   -3 /   17 == -0.1764705882
x[269] =   -8 /   51 == -0.1568627451
x[270] =   -4 /   17 == -0.2352941176
x[271] =   -8 /   51 == -0.1568627451
x[272] =   -2 /   17 == -0.1176470588
x[273] =  -10 /   51 == -0.1960784314
x[274] =   -3 /   17 == -0.1764705882
x[275] =  -14 /   51 == -0.2745098039
x[276] =  -10 /   51 == -0.1960784314
x[277] =  -10 /   51 == -0.1960784314
x[278] =  -10 /   51 == -0.1960784314
x[279] =  -10 /   51 == -0.1960784314
x[280] =   -8 /   17 == -0.4705882353
x[281] =   -3 /   17 == -0.1764705882
x[282] =   -8 /   51 == -0.1568627451
x[283] =   -6 /   17 == -0.3529411765
x[284] =  -13 /   51 == -0.2549019608
x[285] =   -4 /   17 == -0.2352941176
x[286] =  -16 /   51 == -0.3137254902
x[287] =   -4 /   17 == -0.2352941176
x[288] =  -10 /   51 == -0.1960784314
x[289] =  -13 /   51 == -0.2549019608
x[290] =   -4 /   17 == -0.2352941176
x[291] =   -5 /   17 == -0.2941176471
x[292] =  -13 /   51 == -0.2549019608
x[293] =  -13 /   51 == -0.2549019608
x[294] =  -13 /   51 == -0.2549019608
x[295] =  -13 /   51 == -0.2549019608
x[296] =   -9 /   17 == -0.5294117647
x[297] =   -1 /   51 == -0.0196078431
x[298] =    0 /    1 == 0.0000000000
x[299] =  -10 /   51 == -0.1960784314
x[300] =   -5 /   51 == -0.0980392157
x[301] =   -4 /   51 == -0.0784313725
x[302] =   -8 /   51 == -0.1568627451
x[303] =   -4 /   51 == -0.0784313725
x[304] =   -2 /   51 == -0.0392156863
x[305] =  -10 /   51 == -0.1960784314
x[306] =   -1 /   17 == -0.0588235294
x[307] =   -4 /   17 == -0.2352941176
x[308] =   -4 /   51 == -0.0784313725
x[309] =  -10 /   51 == -0.1960784314
x[310] =   -4 /   51 == -0.0784313725
x[311] =  -10 /   51 == -0.1960784314
x[312] =   -5 /   17 == -0.2941176471
x[313] =   -4 /   51 == -0.0784313725
x[314] =   -1 /   17 == -0.0588235294
x[315] =  -13 /   51 == -0.2549019608
x[316] =   -8 /   51 == -0.1568627451
x[317] =   -7 /   51 == -0.1372549020
x[318] =  -11 /   51 == -0.2156862745
x[319] =   -7 /   51 == -0.1372549020
x[320] =   -5 /   51 == -0.0980392157
x[321] =  -13 /   51 == -0.2549019608
x[322] =   -4 /   17 == -0.2352941176
x[323] =   -5 /   17 == -0.2941176471
x[324] =  -13 /   51 == -0.2549019608
x[325] =  -13 /   51 == -0.2549019608
x[326] =  -13 /   51 == -0.2549019608
x[327] =  -13 /   51 == -0.2549019608
x[328] =   -9 /   17 == -0.5294117647
x[329] =   -7 /   51 == -0.1372549020
x[330] =   -2 /   17 == -0.1176470588
x[331] =  -16 /   51 == -0.3137254902
x[332] =  -11 /   51 == -0.2156862745
x[333] =  -10 /   51 == -0.1960784314
x[334] =  -14 /   51 == -0.2745098039
x[335] =  -10 /   51 == -0.1960784314
x[336] =   -8 /   51 == -0.1568627451
x[337] =   -5 /   17 == -0.2941176471
x[338] =   -8 /   51 == -0.1568627451
x[339] =   -1 /    3 == -0.3333333333
x[340] =   -3 /   17 == -0.1764705882
x[341] =   -5 /   17 == -0.2941176471
x[342] =   -3 /   17 == -0.1764705882
x[343] =   -5 /   17 == -0.2941176471
x[344] =  -23 /   51 == -0.4509803922
x[345] =  -14 /   51 == -0.2745098039
x[346] =  -11 /   51 == -0.2156862745
x[347] =   -1 /    3 == -0.3333333333
x[348] =  -11 /   51 == -0.2156862745
x[349] =   -1 /    3 == -0.3333333333
x[350] =  -23 /   51 == -0.4509803922
x[351] =  -14 /   51 == -0.2745098039
x[352] =   -5 /   17 == -0.2941176471
x[353] =   -8 /   17 == -0.4705882353
x[354] =   -9 /   17 == -0.5294117647
x[355] =  -26 /   51 == -0.5098039216
x[356] =   -8 /   17 == -0.4705882353
x[357] =   -8 /   17 == -0.4705882353
x[358] =   -8 /   17 == -0.4705882353
x[359] =   -8 /   17 == -0.4705882353
x[360] =  -38 /   51 == -0.7450980392
x[361] =   -4 /   17 == -0.2352941176
x[362] =   -3 /   17 == -0.1764705882
x[363] =   -5 /   17 == -0.2941176471
x[364] =   -3 /   17 == -0.1764705882
x[365] =   -5 /   17 == -0.2941176471
x[366] =   -4 /   17 == -0.2352941176
x[367] =   -4 /   17 == -0.2352941176
x[368] =   -7 /   51 == -0.1372549020
x[369] =   -8 /   17 == -0.4705882353
x[370] =  -26 /   51 == -0.5098039216
x[371] =  -22 /   51 == -0.4313725490
x[372] =  -22 /   51 == -0.4313725490
x[373] =   -5 /   17 == -0.2941176471
x[374] =   -4 /   17 == -0.2352941176
x[375] =   -5 /   17 == -0.2941176471
x[376] =   -4 /   17 == -0.2352941176
x[377] =   -6 /   17 == -0.3529411765
x[378] =   -7 /   17 == -0.4117647059
x[379] =   -5 /   17 == -0.2941176471
x[380] =  -16 /   51 == -0.3137254902
x[381] =  -28 /   51 == -0.5490196078
x[382] =  -10 /   17 == -0.5882352941
x[383] =  -10 /   17 == -0.5882352941
x[384] =  -25 /   51 == -0.4901960784
x[385] =  -25 /   51 == -0.4901960784
x[386] =  -25 /   51 == -0.4901960784
x[387] =  -25 /   51 == -0.4901960784
x[388] =  -13 /   17 == -0.7647058824
x[389] =  -14 /   51 == -0.2745098039
x[390] =  -11 /   51 == -0.2156862745
x[391] =   -1 /    3 == -0.3333333333
x[392] =  -11 /   51 == -0.2156862745
x[393] =   -1 /    3 == -0.3333333333
x[394] =  -14 /   51 == -0.2745098039
x[395] =  -14 /   51 == -0.2745098039
x[396] =   -3 /   17 == -0.1764705882
x[397] =   -8 /   17 == -0.4705882353
x[398] =  -26 /   51 == -0.5098039216
x[399] =   -8 /   17 == -0.4705882353
x[400] =   -8 /   17 == -0.4705882353
x[401] =  -14 /   51 == -0.2745098039
x[402] =  -11 /   51 == -0.2156862745
x[403] =  -14 /   51 == -0.2745098039
x[404] =  -11 /   51 == -0.2156862745
x[405] =   -1 /    3 == -0.3333333333
x[406] =  -20 /   51 == -0.3921568627
x[407] =  -14 /   51 == -0.2745098039
x[408] =   -5 /   17 == -0.2941176471
x[409] =   -8 /   17 == -0.4705882353
x[410] =   -9 /   17 == -0.5294117647
x[411] =  -26 /   51 == -0.5098039216
x[412] =   -8 /   17 == -0.4705882353
x[413] =   -8 /   17 == -0.4705882353
x[414] =   -8 /   17 == -0.4705882353
x[415] =   -8 /   17 == -0.4705882353
x[416] =  -38 /   51 == -0.7450980392
x[417] =  -14 /   51 == -0.2745098039
x[418] =  -11 /   51 == -0.2156862745
x[419] =  -14 /   51 == -0.2745098039
x[420] =  -11 /   51 == -0.2156862745
x[421] =   -1 /    3 == -0.3333333333
x[422] =  -14 /   51 == -0.2745098039
x[423] =  -14 /   51 == -0.2745098039
x[424] =   -3 /   17 == -0.1764705882
x[425] =   -8 /   17 == -0.4705882353
x[426] =  -26 /   51 == -0.5098039216
x[427] =   -8 /   17 == -0.4705882353
x[428] =   -8 /   17 == -0.4705882353
x[429] =  -14 /   51 == -0.2745098039
x[430] =  -11 /   51 == -0.2156862745
x[431] =  -14 /   51 == -0.2745098039
x[432] =  -11 /   51 == -0.2156862745
x[433] =   -1 /    3 == -0.3333333333
x[434] =  -20 /   51 == -0.3921568627
x[435] =  -14 /   51 == -0.2745098039
x[436] =   -5 /   17 == -0.2941176471
x[437] =   -8 /   17 == -0.4705882353
x[438] =  -29 /   51 == -0.5686274510
x[439] =  -26 /   51 == -0.5098039216
x[440] =   -8 /   17 == -0.4705882353
x[441] =   -8 /   17 == -0.4705882353
x[442] =   -8 /   17 == -0.4705882353
x[443] =   -8 /   17 == -0.4705882353
x[444] =  -38 /   51 == -0.7450980392
x[445] =    0 /    1 == 0.0000000000
x[446] =    1 /   17 == 0.0588235294
x[447] =    0 /    1 == 0.0000000000
x[448] =    1 /   17 == 0.0588235294
x[449] =   -1 /   17 == -0.0588235294
x[450] =    0 /    1 == 0.0000000000
x[451] =    0 /    1 == 0.0000000000
x[452] =    5 /   51 == 0.0980392157
x[453] =  -10 /   51 == -0.1960784314
x[454] =   -4 /   17 == -0.2352941176
x[455] =  -10 /   51 == -0.1960784314
x[456] =  -10 /   51 == -0.1960784314
x[457] =    0 /    1 == 0.0000000000
x[458] =    0 /    1 == 0.0000000000
x[459] =    0 /    1 == 0.0000000000
x[460] =    0 /    1 == 0.0000000000
x[461] =    0 /    1 == 0.0000000000
x[462] =    0 /    1 == 0.0000000000
x[463] =    0 /    1 == 0.0000000000
x[464] =    0 /    1 == 0.0000000000
x[465] =    0 /    1 == 0.0000000000
x[466] =    0 /    1 == 0.0000000000
x[467] =    0 /    1 == 0.0000000000
x[468] =    0 /    1 == 0.0000000000
x[469] =    0 /    1 == 0.0000000000
x[470] =    0 /    1 == 0.0000000000
x[471] =    0 /    1 == 0.0000000000
x[472] =    0 /    1 == 0.0000000000
x[473] =    0 /    1 == 0.0000000000
x[474] =    0 /    1 == 0.0000000000
x[475] =    0 /    1 == 0.0000000000
x[476] =    0 /    1 == 0.0000000000
x[477] =    0 /    1 == 0.0000000000
x[478] =    0 /    1 == 0.0000000000
x[479] =    0 /    1 == 0.0000000000
x[480] =    0 /    1 == 0.0000000000
x[481] =    0 /    1 == 0.0000000000
x[482] =    0 /    1 == 0.0000000000
x[483] =    0 /    1 == 0.0000000000
x[484] =    0 /    1 == 0.0000000000
x[485] =    0 /    1 == 0.0000000000
x[486] =    0 /    1 == 0.0000000000
x[487] =    0 /    1 == 0.0000000000
x[488] =    0 /    1 == 0.0000000000
x[489] =    0 /    1 == 0.0000000000
x[490] =    0 /    1 == 0.0000000000
x[491] =    0 /    1 == 0.0000000000
x[492] =    0 /    1 == 0.0000000000
x[493] =    0 /    1 == 0.0000000000
x[494] =    0 /    1 == 0.0000000000
x[495] =    0 /    1 == 0.0000000000
x[496] =    0 /    1 == 0.0000000000
x[497] =    0 /    1 == 0.0000000000
x[498] =    0 /    1 == 0.0000000000
x[499] =    0 /    1 == 0.0000000000
x[500] =    0 /    1 == 0.0000000000
x[501] =    0 /    1 == 0.0000000000
x[502] =    0 /    1 == 0.0000000000
x[503] =    0 /    1 == 0.0000000000
x[504] =    0 /    1 == 0.0000000000
x[505] =    0 /    1 == 0.0000000000
x[506] =    0 /    1 == 0.0000000000
x[507] =    0 /    1 == 0.0000000000
x[508] =    0 /    1 == 0.0000000000
x[509] =    0 /    1 == 0.0000000000
x[510] =    0 /    1 == 0.0000000000
x[511] =    0 /    1 == 0.0000000000
x[512] =    0 /    1 == 0.0000000000
x[513] =    0 /    1 == 0.0000000000
x[514] =    0 /    1 == 0.0000000000
x[515] =    0 /    1 == 0.0000000000
x[516] =    0 /    1 == 0.0000000000
x[517] =    0 /    1 == 0.0000000000
x[518] =    0 /    1 == 0.0000000000
x[519] =    0 /    1 == 0.0000000000
x[520] =    0 /    1 == 0.0000000000
x[521] =    0 /    1 == 0.0000000000
x[522] =    0 /    1 == 0.0000000000
x[523] =    0 /    1 == 0.0000000000
x[524] =    0 /    1 == 0.0000000000
x[525] =    0 /    1 == 0.0000000000
x[526] =    0 /    1 == 0.0000000000
x[527] =    0 /    1 == 0.0000000000
x[528] =    0 /    1 == 0.0000000000
x[529] =    0 /    1 == 0.0000000000
x[530] =    0 /    1 == 0.0000000000
x[531] =    0 /    1 == 0.0000000000
x[532] =    0 /    1 == 0.0000000000
x[533] =    0 /    1 == 0.0000000000
x[534] =    0 /    1 == 0.0000000000
x[535] =    0 /    1 == 0.0000000000
x[536] =    0 /    1 == 0.0000000000
x[537] =    0 /    1 == 0.0000000000
x[538] =    0 /    1 == 0.0000000000
x[539] =    0 /    1 == 0.0000000000
x[540] =    0 /    1 == 0.0000000000
x[541] =    0 /    1 == 0.0000000000
x[542] =    0 /    1 == 0.0000000000
x[543] =    0 /    1 == 0.0000000000
x[544] =    0 /    1 == 0.0000000000
x[545] =    0 /    1 == 0.0000000000
x[546] =    0 /    1 == 0.0000000000
x[547] =    0 /    1 == 0.0000000000
x[548] =    0 /    1 == 0.0000000000
x[549] =    0 /    1 == 0.0000000000
x[550] =    0 /    1 == 0.0000000000
x[551] =    0 /    1 == 0.0000000000
x[552] =    0 /    1 == 0.0000000000
x[553] =    0 /    1 == 0.0000000000
x[554] =    0 /    1 == 0.0000000000
x[555] =    0 /    1 == 0.0000000000
x[556] =    0 /    1 == 0.0000000000
x[557] =    0 /    1 == 0.0000000000
x[558] =    0 /    1 == 0.0000000000
x[559] =    0 /    1 == 0.0000000000
x[560] =    0 /    1 == 0.0000000000
x[561] =    0 /    1 == 0.0000000000
x[562] =    0 /    1 == 0.0000000000
x[563] =    0 /    1 == 0.0000000000
x[564] =    0 /    1 == 0.0000000000
x[565] =    0 /    1 == 0.0000000000
x[566] =    0 /    1 == 0.0000000000
x[567] =    0 /    1 == 0.0000000000
x[568] =    0 /    1 == 0.0000000000
x[569] =    0 /    1 == 0.0000000000
x[570] =    0 /    1 == 0.0000000000
x[571] =    0 /    1 == 0.0000000000
x[572] =    0 /    1 == 0.0000000000
x[573] =    0 /    1 == 0.0000000000
x[574] =    0 /    1 == 0.0000000000
x[575] =    0 /    1 == 0.0000000000
x[576] =    0 /    1 == 0.0000000000
x[577] =    0 /    1 == 0.0000000000
x[578] =    0 /    1 == 0.0000000000
x[579] =    0 /    1 == 0.0000000000
x[580] =    0 /    1 == 0.0000000000
x[581] =    0 /    1 == 0.0000000000
x[582] =    0 /    1 == 0.0000000000
x[583] =    0 /    1 == 0.0000000000
x[584] =    0 /    1 == 0.0000000000
x[585] =    0 /    1 == 0.0000000000
x[586] =    0 /    1 == 0.0000000000
x[587] =    0 /    1 == 0.0000000000
x[588] =    0 /    1 == 0.0000000000
x[589] =    0 /    1 == 0.0000000000
x[590] =    0 /    1 == 0.0000000000
x[591] =    0 /    1 == 0.0000000000
x[592] =    0 /    1 == 0.0000000000
x[593] =    0 /    1 == 0.0000000000
x[594] =    0 /    1 == 0.0000000000
x[595] =    0 /    1 == 0.0000000000
x[596] =    0 /    1 == 0.0000000000
x[597] =    0 /    1 == 0.0000000000
x[598] =    0 /    1 == 0.0000000000
x[599] =    0 /    1 == 0.0000000000
x[600] =    0 /    1 == 0.0000000000
x[601] =    0 /    1 == 0.0000000000
x[602] =    0 /    1 == 0.0000000000
x[603] =    0 /    1 == 0.0000000000
x[604] =    0 /    1 == 0.0000000000
x[605] =    0 /    1 == 0.0000000000
x[606] =    0 /    1 == 0.0000000000
x[607] =    0 /    1 == 0.0000000000
x[608] =    0 /    1 == 0.0000000000
x[609] =    0 /    1 == 0.0000000000
x[610] =    0 /    1 == 0.0000000000
x[611] =    0 /    1 == 0.0000000000
x[612] =    0 /    1 == 0.0000000000
x[613] =    0 /    1 == 0.0000000000
x[614] =    0 /    1 == 0.0000000000
x[615] =    0 /    1 == 0.0000000000
x[616] =    0 /    1 == 0.0000000000
x[617] =    0 /    1 == 0.0000000000
x[618] =    0 /    1 == 0.0000000000
x[619] =    0 /    1 == 0.0000000000
x[620] =    0 /    1 == 0.0000000000
x[621] =    0 /    1 == 0.0000000000
x[622] =    0 /    1 == 0.0000000000
x[623] =    0 /    1 == 0.0000000000
x[624] =    0 /    1 == 0.0000000000
x[625] =    0 /    1 == 0.0000000000
x[626] =    0 /    1 == 0.0000000000
x[627] =    0 /    1 == 0.0000000000
x[628] =    0 /    1 == 0.0000000000
x[629] =    0 /    1 == 0.0000000000
x[630] =    0 /    1 == 0.0000000000
x[631] =    0 /    1 == 0.0000000000
x[632] =    0 /    1 == 0.0000000000
x[633] =    0 /    1 == 0.0000000000
x[634] =    0 /    1 == 0.0000000000
x[635] =    0 /    1 == 0.0000000000
x[636] =    0 /    1 == 0.0000000000
x[637] =    0 /    1 == 0.0000000000
x[638] =    0 /    1 == 0.0000000000
x[639] =    0 /    1 == 0.0000000000
x[640] =    0 /    1 == 0.0000000000
x[641] =    0 /    1 == 0.0000000000
x[642] =    0 /    1 == 0.0000000000
x[643] =    0 /    1 == 0.0000000000
x[644] =    0 /    1 == 0.0000000000
x[645] =    0 /    1 == 0.0000000000
x[646] =    0 /    1 == 0.0000000000
x[647] =    0 /    1 == 0.0000000000
x[648] =    0 /    1 == 0.0000000000
x[649] =    0 /    1 == 0.0000000000
x[650] =    0 /    1 == 0.0000000000
x[651] =    0 /    1 == 0.0000000000
x[652] =    0 /    1 == 0.0000000000
x[653] =    0 /    1 == 0.0000000000
x[654] =    0 /    1 == 0.0000000000
x[655] =    0 /    1 == 0.0000000000
x[656] =    0 /    1 == 0.0000000000
x[657] =    0 /    1 == 0.0000000000
x[658] =    0 /    1 == 0.0000000000
x[659] =    0 /    1 == 0.0000000000
x[660] =    0 /    1 == 0.0000000000
x[661] =    0 /    1 == 0.0000000000
x[662] =    0 /    1 == 0.0000000000
x[663] =    0 /    1 == 0.0000000000
x[664] =    0 /    1 == 0.0000000000
x[665] =    0 /    1 == 0.0000000000
x[666] =    0 /    1 == 0.0000000000
x[667] =    0 /    1 == 0.0000000000
x[668] =    0 /    1 == 0.0000000000
x[669] =    0 /    1 == 0.0000000000
x[670] =    0 /    1 == 0.0000000000
x[671] =    0 /    1 == 0.0000000000
x[672] =    0 /    1 == 0.0000000000
x[673] =    0 /    1 == 0.0000000000
x[674] =    0 /    1 == 0.0000000000
x[675] =    0 /    1 == 0.0000000000
x[676] =    0 /    1 == 0.0000000000
x[677] =    0 /    1 == 0.0000000000
x[678] =    0 /    1 == 0.0000000000
x[679] =    0 /    1 == 0.0000000000
x[680] =    0 /    1 == 0.0000000000
x[681] =    0 /    1 == 0.0000000000
x[682] =    0 /    1 == 0.0000000000
x[683] =    0 /    1 == 0.0000000000
x[684] =    0 /    1 == 0.0000000000
x[685] =    0 /    1 == 0.0000000000
x[686] =    0 /    1 == 0.0000000000
x[687] =    0 /    1 == 0.0000000000
x[688] =    0 /    1 == 0.0000000000
x[689] =    0 /    1 == 0.0000000000
x[690] =    0 /    1 == 0.0000000000
x[691] =    0 /    1 == 0.0000000000
x[692] =    0 /    1 == 0.0000000000
x[693] =    0 /    1 == 0.0000000000
x[694] =    0 /    1 == 0.0000000000
x[695] =    0 /    1 == 0.0000000000
x[696] =    0 /    1 == 0.0000000000
x[697] =    0 /    1 == 0.0000000000
x[698] =    0 /    1 == 0.0000000000
x[699] =    1 /   51 == 0.0196078431
x[700] =    0 /    1 == 0.0000000000
x[701] =   -2 /   51 == -0.0392156863
x[702] =    0 /    1 == -0.0000000000
x[703] =    0 /    1 == -0.0000000000
x[704] =  -14 /   51 == -0.2745098039
x[705] =    0 /    1 == 0.0000000000
x[706] =    0 /    1 == -0.0000000000
x[707] =    0 /    1 == 0.0000000000
x[708] =  -14 /   51 == -0.2745098039
x[709] =    0 /    1 == 0.0000000000
x[710] =  -14 /   51 == -0.2745098039
x[711] =  -14 /   51 == -0.2745098039
x[712] =    0 /    1 == 0.0000000000
x[713] =    0 /    1 == 0.0000000000
x[714] =   -2 /   51 == -0.0392156863
x[715] =   -2 /   51 == -0.0392156863
x[716] =    0 /    1 == 0.0000000000
x[717] =    0 /    1 == 0.0000000000
x[718] =    0 /    1 == -0.0000000000
x[719] =    0 /    1 == 0.0000000000
x[720] =  -14 /   51 == -0.2745098039
x[721] =    0 /    1 == 0.0000000000
x[722] =    2 /   51 == 0.0392156863
x[723] =    1 /   17 == 0.0588235294
x[724] =    0 /    1 == 0.0000000000
x[725] =    0 /    1 == 0.0000000000
x[726] =    2 /   51 == 0.0392156863
x[727] =    2 /   51 == 0.0392156863
x[728] =   -4 /   17 == -0.2352941176
x[729] =    0 /    1 == 0.0000000000
x[730] =    2 /   51 == 0.0392156863
x[731] =    2 /   51 == 0.0392156863
x[732] =   -4 /   17 == -0.2352941176
x[733] =    2 /   51 == 0.0392156863
x[734] =   -4 /   17 == -0.2352941176
x[735] =   -4 /   17 == -0.2352941176
x[736] =    0 /    1 == 0.0000000000
x[737] =    0 /    1 == 0.0000000000
x[738] =   -1 /   17 == -0.0588235294
x[739] =    0 /    1 == 0.0000000000
x[740] =    0 /    1 == -0.0000000000
x[741] =    0 /    1 == 0.0000000000
x[742] =    0 /    1 == 0.0000000000
x[743] =    0 /    1 == 0.0000000000
x[744] =  -14 /   51 == -0.2745098039
x[745] =    0 /    1 == 0.0000000000
x[746] =   -1 /   51 == -0.0196078431
x[747] =    0 /    1 == 0.0000000000
x[748] =   -1 /   51 == -0.0196078431
x[749] =    0 /    1 == 0.0000000000
x[750] =   -1 /   51 == -0.0196078431
x[751] =   -1 /   51 == -0.0196078431
x[752] =   -5 /   17 == -0.2941176471
x[753] =    0 /    1 == 0.0000000000
x[754] =   -1 /   51 == -0.0196078431
x[755] =    1 /   17 == 0.0588235294
x[756] =  -11 /   51 == -0.2156862745
x[757] =    0 /    1 == 0.0000000000
x[758] =  -11 /   51 == -0.2156862745
x[759] =   -4 /   17 == -0.2352941176
x[760] =    0 /    1 == 0.0000000000
x[761] =    0 /    1 == 0.0000000000
x[762] =    0 /    1 == 0.0000000000
x[763] =    0 /    1 == 0.0000000000
x[764] =    0 /    1 == -0.0000000000
x[765] =    0 /    1 == 0.0000000000
x[766] =    0 /    1 == 0.0000000000
x[767] =    0 /    1 == 0.0000000000
x[768] =  -14 /   51 == -0.2745098039
x[769] =    0 /    1 == 0.0000000000
x[770] =    0 /    1 == -0.0000000000
x[771] =    0 /    1 == 0.0000000000
x[772] =    0 /    1 == -0.0000000000
x[773] =    0 /    1 == 0.0000000000
x[774] =    0 /    1 == 0.0000000000
x[775] =    0 /    1 == 0.0000000000
x[776] =  -14 /   51 == -0.2745098039
x[777] =    0 /    1 == 0.0000000000
x[778] =    0 /    1 == 0.0000000000
x[779] =    0 /    1 == 0.0000000000
x[780] =  -14 /   51 == -0.2745098039
x[781] =    0 /    1 == 0.0000000000
x[782] =  -14 /   51 == -0.2745098039
x[783] =  -14 /   51 == -0.2745098039
x[784] =    0 /    1 == 0.0000000000
x[785] =    0 /    1 == 0.0000000000
x[786] =    0 /    1 == 0.0000000000
x[787] =    0 /    1 == 0.0000000000
x[788] =    0 /    1 == 0.0000000000
x[789] =    0 /    1 == 0.0000000000
x[790] =    0 /    1 == 0.0000000000
x[791] =    0 /    1 == 0.0000000000
x[792] =    0 /    1 == 0.0000000000
x[793] =    0 /    1 == 0.0000000000
x[794] =    0 /    1 == 0.0000000000
x[795] =    0 /    1 == 0.0000000000
x[796] =    0 /    1 == -0.0000000000
x[797] =    0 /    1 == 0.0000000000
x[798] =    0 /    1 == 0.0000000000
x[799] =    0 /    1 == 0.0000000000
x[800] =  -14 /   51 == -0.2745098039
x[801] =    0 /    1 == 0.0000000000
x[802] =    0 /    1 == 0.0000000000
x[803] =    0 /    1 == 0.0000000000
x[804] =    0 /    1 == 0.0000000000
x[805] =    0 /    1 == 0.0000000000
x[806] =    0 /    1 == 0.0000000000
x[807] =    0 /    1 == 0.0000000000
x[808] =    0 /    1 == -0.0000000000
x[809] =    0 /    1 == 0.0000000000
x[810] =    0 /    1 == 0.0000000000
x[811] =    0 /    1 == 0.0000000000
x[812] =  -14 /   51 == -0.2745098039
x[813] =    0 /    1 == 0.0000000000
x[814] =    0 /    1 == 0.0000000000
x[815] =    0 /    1 == 0.0000000000
x[816] =    0 /    1 == 0.0000000000
x[817] =    0 /    1 == 0.0000000000
x[818] =    0 /    1 == 0.0000000000
x[819] =    0 /    1 == 0.0000000000
x[820] =    0 /    1 == 0.0000000000
x[821] =    0 /    1 == 0.0000000000
x[822] =    0 /    1 == 0.0000000000
x[823] =    0 /    1 == 0.0000000000
x[824] =  -14 /   51 == -0.2745098039
x[825] =    0 /    1 == 0.0000000000
x[826] =    0 /    1 == 0.0000000000
x[827] =    0 /    1 == 0.0000000000
x[828] =    0 /    1 == 0.0000000000
x[829] =    0 /    1 == 0.0000000000
x[830] =    0 /    1 == 0.0000000000
x[831] =    0 /    1 == 0.0000000000
x[832] =    0 /    1 == 0.0000000000
x[833] =    0 /    1 == 0.0000000000
x[834] =    0 /    1 == 0.0000000000
x[835] =    0 /    1 == 0.0000000000
x[836] =    0 /    1 == 0.0000000000
x[837] =    0 /    1 == 0.0000000000
x[838] =    0 /    1 == 0.0000000000
x[839] =    0 /    1 == 0.0000000000
x[840] =    0 /    1 == 0.0000000000
LP took 0 seconds.
