...added 100000 constraints in 0 seconds.
...added 200000 constraints in 0 seconds.
...added 300000 constraints in 1 seconds.
...done in 1 seconds.


Writing problem data to `adage.lp'...
382443 lines were written
GLPK Simplex Optimizer, v4.47
381795 rows, 639 columns, 2279926 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1000: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1500: obj =   4.705882353e-01  infeas =  2.155e-11 (0)
*  2000: obj =   4.705882353e-01  infeas =  6.753e-11 (0)
*  2500: obj =   4.705882353e-01  infeas =  3.344e-11 (0)
*  3000: obj =   4.705882353e-01  infeas =  2.789e-11 (0)
*  3500: obj =   4.705882353e-01  infeas =  1.418e-11 (0)
*  4000: obj =   4.705882353e-01  infeas =  1.068e-11 (0)
*  4500: obj =   4.705882353e-01  infeas =  6.797e-12 (0)
*  5000: obj =   4.705882353e-01  infeas =  1.077e-11 (0)
*  5500: obj =   4.705882353e-01  infeas =  6.733e-12 (0)
*  6000: obj =   4.705882353e-01  infeas =  4.377e-12 (0)
*  6500: obj =   4.705882353e-01  infeas =  4.214e-12 (0)
*  7000: obj =   4.705882353e-01  infeas =  6.369e-12 (0)
*  7500: obj =   4.705882353e-01  infeas =  3.096e-11 (0)
*  8000: obj =   4.705882353e-01  infeas =  6.269e-11 (0)
*  8500: obj =   4.705882353e-01  infeas =  7.905e-11 (0)
*  9000: obj =   4.705882353e-01  infeas =  1.677e-11 (0)
*  9500: obj =   4.705882353e-01  infeas =  4.400e-11 (0)
* 10000: obj =   4.705882353e-01  infeas =  8.117e-11 (0)
* 10500: obj =   4.705882353e-01  infeas =  9.474e-12 (0)
* 10971: obj =   4.705882353e-01  infeas =  1.494e-11 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4705882353

Values on the Variables:
x[0] =   -7 /   51 == -0.1372549020
x[1] =    0 /    1 == 0.0000000000
x[2] =   -2 /   17 == -0.1176470588
x[3] =   -8 /   51 == -0.1568627451
x[4] =    0 /    1 == 0.0000000000
x[5] =   -7 /   51 == -0.1372549020
x[6] =   -7 /   51 == -0.1372549020
x[7] =    0 /    1 == 0.0000000000
x[8] =  -14 /   51 == -0.2745098039
x[9] =   -8 /   51 == -0.1568627451
x[10] =   -2 /   17 == -0.1176470588
x[11] =    0 /    1 == 0.0000000000
x[12] =    0 /    1 == 0.0000000000
x[13] =   -2 /   17 == -0.1176470588
x[14] =   -7 /   51 == -0.1372549020
x[15] =   -7 /   51 == -0.1372549020
x[16] =   -2 /   17 == -0.1176470588
x[17] =   -7 /   51 == -0.1372549020
x[18] =   -8 /   51 == -0.1568627451
x[19] =   -2 /   17 == -0.1176470588
x[20] =   -2 /   17 == -0.1176470588
x[21] =    0 /    1 == 0.0000000000
x[22] =   -2 /   17 == -0.1176470588
x[23] =  -13 /   51 == -0.2549019608
x[24] =  -14 /   51 == -0.2745098039
x[25] =    0 /    1 == 0.0000000000
x[26] =   -7 /   51 == -0.1372549020
x[27] =   -7 /   51 == -0.1372549020
x[28] =    0 /    1 == 0.0000000000
x[29] =  -14 /   51 == -0.2745098039
x[30] =  -13 /   51 == -0.2549019608
x[31] =    0 /    1 == 0.0000000000
x[32] =  -14 /   51 == -0.2745098039
x[33] =   -7 /   51 == -0.1372549020
x[34] =  -13 /   51 == -0.2549019608
x[35] =   -7 /   51 == -0.1372549020
x[36] =   -7 /   51 == -0.1372549020
x[37] =  -14 /   51 == -0.2745098039
x[38] =   -7 /   51 == -0.1372549020
x[39] =   -2 /   17 == -0.1176470588
x[40] =   -7 /   51 == -0.1372549020
x[41] =   -2 /   17 == -0.1176470588
x[42] =   -7 /   51 == -0.1372549020
x[43] =  -14 /   51 == -0.2745098039
x[44] =   -2 /   51 == -0.0392156863
x[45] =    0 /    1 == 0.0000000000
x[46] =    8 /   51 == 0.1568627451
x[47] =    0 /    1 == 0.0000000000
x[48] =    0 /    1 == 0.0000000000
x[49] =   -2 /   51 == -0.0392156863
x[50] =    0 /    1 == 0.0000000000
x[51] =    0 /    1 == 0.0000000000
x[52] =    0 /    1 == -0.0000000000
x[53] =    0 /    1 == 0.0000000000
x[54] =    0 /    1 == 0.0000000000
x[55] =  -10 /   51 == -0.1960784314
x[56] =   -2 /   51 == -0.0392156863
x[57] =    2 /   17 == 0.1176470588
x[58] =   -4 /   51 == -0.0784313725
x[59] =    0 /    1 == 0.0000000000
x[60] =    2 /   17 == 0.1176470588
x[61] =   -5 /   17 == -0.2941176471
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] =    0 /    1 == 0.0000000000
x[67] =   -8 /   17 == -0.4705882353
x[68] =   -2 /   51 == -0.0392156863
x[69] =    2 /   51 == 0.0392156863
x[70] =    0 /    1 == 0.0000000000
x[71] =    0 /    1 == 0.0000000000
x[72] =    2 /   51 == 0.0392156863
x[73] =  -10 /   51 == -0.1960784314
x[74] =    0 /    1 == 0.0000000000
x[75] =    2 /   51 == 0.0392156863
x[76] =   -3 /   17 == -0.1764705882
x[77] =    0 /    1 == 0.0000000000
x[78] =    2 /   51 == 0.0392156863
x[79] =  -19 /   51 == -0.3725490196
x[80] =   -2 /   51 == -0.0392156863
x[81] =    2 /   51 == 0.0392156863
x[82] =  -11 /   51 == -0.2156862745
x[83] =    0 /    1 == 0.0000000000
x[84] =    2 /   51 == 0.0392156863
x[85] =  -22 /   51 == -0.4313725490
x[86] =    0 /    1 == 0.0000000000
x[87] =    2 /   51 == 0.0392156863
x[88] =   -7 /   17 == -0.4117647059
x[89] =   -4 /   51 == -0.0784313725
x[90] =   -2 /   17 == -0.1176470588
x[91] =    0 /    1 == 0.0000000000
x[92] =    0 /    1 == -0.0000000000
x[93] =   -2 /   17 == -0.1176470588
x[94] =   -2 /   51 == -0.0392156863
x[95] =   -1 /   51 == -0.0196078431
x[96] =   -2 /   17 == -0.1176470588
x[97] =    0 /    1 == -0.0000000000
x[98] =    0 /    1 == -0.0000000000
x[99] =   -2 /   17 == -0.1176470588
x[100] =  -10 /   51 == -0.1960784314
x[101] =   -4 /   51 == -0.0784313725
x[102] =    0 /    1 == 0.0000000000
x[103] =   -4 /   51 == -0.0784313725
x[104] =    0 /    1 == -0.0000000000
x[105] =    0 /    1 == 0.0000000000
x[106] =   -5 /   17 == -0.2941176471
x[107] =   -1 /   51 == -0.0196078431
x[108] =    0 /    1 == 0.0000000000
x[109] =  -14 /   51 == -0.2745098039
x[110] =    0 /    1 == -0.0000000000
x[111] =    0 /    1 == 0.0000000000
x[112] =   -8 /   17 == -0.4705882353
x[113] =   -4 /   51 == -0.0784313725
x[114] =   -5 /   51 == -0.0980392157
x[115] =    0 /    1 == 0.0000000000
x[116] =    0 /    1 == -0.0000000000
x[117] =   -5 /   51 == -0.0980392157
x[118] =  -10 /   51 == -0.1960784314
x[119] =   -1 /   51 == -0.0196078431
x[120] =   -5 /   51 == -0.0980392157
x[121] =   -3 /   17 == -0.1764705882
x[122] =    0 /    1 == -0.0000000000
x[123] =   -5 /   51 == -0.0980392157
x[124] =  -19 /   51 == -0.3725490196
x[125] =   -4 /   51 == -0.0784313725
x[126] =   -5 /   51 == -0.0980392157
x[127] =  -11 /   51 == -0.2156862745
x[128] =    0 /    1 == -0.0000000000
x[129] =   -5 /   51 == -0.0980392157
x[130] =  -22 /   51 == -0.4313725490
x[131] =   -1 /   51 == -0.0196078431
x[132] =   -5 /   51 == -0.0980392157
x[133] =   -7 /   17 == -0.4117647059
x[134] =   -1 /   17 == -0.0588235294
x[135] =   -7 /   51 == -0.1372549020
x[136] =    0 /    1 == 0.0000000000
x[137] =    0 /    1 == 0.0000000000
x[138] =   -7 /   51 == -0.1372549020
x[139] =   -2 /   51 == -0.0392156863
x[140] =   -1 /   51 == -0.0196078431
x[141] =   -7 /   51 == -0.1372549020
x[142] =    0 /    1 == -0.0000000000
x[143] =    0 /    1 == 0.0000000000
x[144] =   -7 /   51 == -0.1372549020
x[145] =  -10 /   51 == -0.1960784314
x[146] =   -1 /   17 == -0.0588235294
x[147] =    0 /    1 == -0.0000000000
x[148] =   -4 /   51 == -0.0784313725
x[149] =    0 /    1 == 0.0000000000
x[150] =    0 /    1 == -0.0000000000
x[151] =   -5 /   17 == -0.2941176471
x[152] =   -1 /   51 == -0.0196078431
x[153] =    0 /    1 == 0.0000000000
x[154] =  -14 /   51 == -0.2745098039
x[155] =    0 /    1 == 0.0000000000
x[156] =    0 /    1 == -0.0000000000
x[157] =   -8 /   17 == -0.4705882353
x[158] =   -1 /   17 == -0.0588235294
x[159] =   -5 /   51 == -0.0980392157
x[160] =    0 /    1 == 0.0000000000
x[161] =    0 /    1 == 0.0000000000
x[162] =   -5 /   51 == -0.0980392157
x[163] =  -10 /   51 == -0.1960784314
x[164] =   -1 /   51 == -0.0196078431
x[165] =   -5 /   51 == -0.0980392157
x[166] =   -3 /   17 == -0.1764705882
x[167] =    0 /    1 == -0.0000000000
x[168] =   -5 /   51 == -0.0980392157
x[169] =  -19 /   51 == -0.3725490196
x[170] =   -1 /   17 == -0.0588235294
x[171] =   -5 /   51 == -0.0980392157
x[172] =  -11 /   51 == -0.2156862745
x[173] =    0 /    1 == -0.0000000000
x[174] =   -5 /   51 == -0.0980392157
x[175] =  -22 /   51 == -0.4313725490
x[176] =   -1 /   51 == -0.0196078431
x[177] =   -5 /   51 == -0.0980392157
x[178] =   -7 /   17 == -0.4117647059
x[179] =  -16 /   51 == -0.3137254902
x[180] =   -7 /   51 == -0.1372549020
x[181] =    0 /    1 == 0.0000000000
x[182] =   -4 /   17 == -0.2352941176
x[183] =   -7 /   51 == -0.1372549020
x[184] =   -2 /   51 == -0.0392156863
x[185] =  -13 /   51 == -0.2549019608
x[186] =   -7 /   51 == -0.1372549020
x[187] =    0 /    1 == 0.0000000000
x[188] =  -16 /   51 == -0.3137254902
x[189] =    0 /    1 == 0.0000000000
x[190] =   -4 /   51 == -0.0784313725
x[191] =   -4 /   17 == -0.2352941176
x[192] =    0 /    1 == 0.0000000000
x[193] =   -5 /   17 == -0.2941176471
x[194] =  -13 /   51 == -0.2549019608
x[195] =    0 /    1 == 0.0000000000
x[196] =  -14 /   51 == -0.2745098039
x[197] =  -16 /   51 == -0.3137254902
x[198] =   -5 /   51 == -0.0980392157
x[199] =    0 /    1 == 0.0000000000
x[200] =   -4 /   17 == -0.2352941176
x[201] =   -5 /   51 == -0.0980392157
x[202] =  -10 /   51 == -0.1960784314
x[203] =  -13 /   51 == -0.2549019608
x[204] =   -5 /   51 == -0.0980392157
x[205] =   -3 /   17 == -0.1764705882
x[206] =    0 /    1 == -0.0000000000
x[207] =    0 /    1 == -0.0000000000
x[208] =   -1 /   17 == -0.0588235294
x[209] =  -11 /   51 == -0.2156862745
x[210] =    0 /    1 == -0.0000000000
x[211] =    0 /    1 == -0.0000000000
x[212] =   -7 /   51 == -0.1372549020
x[213] =    0 /    1 == -0.0000000000
x[214] =   -4 /   51 == -0.0784313725
x[215] =   -1 /   51 == -0.0196078431
x[216] =    0 /    1 == 0.0000000000
x[217] =  -20 /   51 == -0.3921568627
x[218] =    0 /    1 == -0.0000000000
x[219] =   -3 /   17 == -0.1764705882
x[220] =    0 /    1 == 0.0000000000
x[221] =  -11 /   51 == -0.2156862745
x[222] =   -3 /   17 == -0.1764705882
x[223] =    2 /   51 == 0.0392156863
x[224] =   -7 /   51 == -0.1372549020
x[225] =   -3 /   17 == -0.1764705882
x[226] =   -1 /   51 == -0.0196078431
x[227] =   -1 /   51 == -0.0196078431
x[228] =   -3 /   17 == -0.1764705882
x[229] =   -1 /    3 == -0.3333333333
x[230] =    0 /    1 == 0.0000000000
x[231] =   -3 /   17 == -0.1764705882
x[232] =    0 /    1 == -0.0000000000
x[233] =  -11 /   51 == -0.2156862745
x[234] =   -3 /   17 == -0.1764705882
x[235] =    1 /   17 == 0.0588235294
x[236] =   -7 /   51 == -0.1372549020
x[237] =   -3 /   17 == -0.1764705882
x[238] =    0 /    1 == 0.0000000000
x[239] =   -1 /   51 == -0.0196078431
x[240] =   -3 /   17 == -0.1764705882
x[241] =  -16 /   51 == -0.3137254902
x[242] =    0 /    1 == -0.0000000000
x[243] =    2 /   51 == 0.0392156863
x[244] =  -19 /   51 == -0.3725490196
x[245] =  -11 /   51 == -0.2156862745
x[246] =    2 /   51 == 0.0392156863
x[247] =   -1 /    3 == -0.3333333333
x[248] =   -7 /   51 == -0.1372549020
x[249] =    2 /   51 == 0.0392156863
x[250] =  -20 /   51 == -0.3921568627
x[251] =    2 /   17 == 0.1176470588
x[252] =   -8 /   51 == -0.1568627451
x[253] =   -1 /   17 == -0.0588235294
x[254] =   -1 /   17 == -0.0588235294
x[255] =   -8 /   51 == -0.1568627451
x[256] =    0 /    1 == -0.0000000000
x[257] =    0 /    1 == -0.0000000000
x[258] =   -8 /   51 == -0.1568627451
x[259] =   -4 /   51 == -0.0784313725
x[260] =    7 /   51 == 0.1372549020
x[261] =   -8 /   51 == -0.1568627451
x[262] =  -20 /   51 == -0.3921568627
x[263] =    2 /   17 == 0.1176470588
x[264] =   -1 /    3 == -0.3333333333
x[265] =    0 /    1 == 0.0000000000
x[266] =   -1 /   17 == -0.0588235294
x[267] =   -1 /    3 == -0.3333333333
x[268] =    2 /   51 == 0.0392156863
x[269] =    0 /    1 == 0.0000000000
x[270] =   -1 /    3 == -0.3333333333
x[271] =   -1 /   51 == -0.0196078431
x[272] =    7 /   51 == 0.1372549020
x[273] =   -1 /    3 == -0.3333333333
x[274] =   -1 /    3 == -0.3333333333
x[275] =    0 /    1 == 0.0000000000
x[276] =   -6 /   17 == -0.3529411765
x[277] =    0 /    1 == 0.0000000000
x[278] =   -1 /   17 == -0.0588235294
x[279] =   -6 /   17 == -0.3529411765
x[280] =    1 /   17 == 0.0588235294
x[281] =    0 /    1 == 0.0000000000
x[282] =   -6 /   17 == -0.3529411765
x[283] =    0 /    1 == -0.0000000000
x[284] =    7 /   51 == 0.1372549020
x[285] =   -6 /   17 == -0.3529411765
x[286] =  -16 /   51 == -0.3137254902
x[287] =    2 /   17 == 0.1176470588
x[288] =   -7 /   51 == -0.1372549020
x[289] =  -19 /   51 == -0.3725490196
x[290] =   -1 /   17 == -0.0588235294
x[291] =   -7 /   51 == -0.1372549020
x[292] =   -1 /    3 == -0.3333333333
x[293] =    0 /    1 == 0.0000000000
x[294] =   -7 /   51 == -0.1372549020
x[295] =  -20 /   51 == -0.3921568627
x[296] =    0 /    1 == 0.0000000000
x[297] =    0 /    1 == 0.0000000000
x[298] =   -1 /   17 == -0.0588235294
x[299] =  -10 /   51 == -0.1960784314
x[300] =    0 /    1 == 0.0000000000
x[301] =    0 /    1 == 0.0000000000
x[302] =   -7 /   51 == -0.1372549020
x[303] =    0 /    1 == -0.0000000000
x[304] =   -4 /   51 == -0.0784313725
x[305] =    0 /    1 == 0.0000000000
x[306] =    0 /    1 == 0.0000000000
x[307] =  -20 /   51 == -0.3921568627
x[308] =    0 /    1 == 0.0000000000
x[309] =  -10 /   51 == -0.1960784314
x[310] =    0 /    1 == 0.0000000000
x[311] =  -10 /   51 == -0.1960784314
x[312] =  -10 /   51 == -0.1960784314
x[313] =    2 /   51 == 0.0392156863
x[314] =   -7 /   51 == -0.1372549020
x[315] =  -10 /   51 == -0.1960784314
x[316] =   -1 /   51 == -0.0196078431
x[317] =    0 /    1 == 0.0000000000
x[318] =  -10 /   51 == -0.1960784314
x[319] =   -1 /    3 == -0.3333333333
x[320] =    0 /    1 == 0.0000000000
x[321] =  -11 /   51 == -0.2156862745
x[322] =    0 /    1 == 0.0000000000
x[323] =  -10 /   51 == -0.1960784314
x[324] =  -11 /   51 == -0.2156862745
x[325] =    1 /   17 == 0.0588235294
x[326] =   -7 /   51 == -0.1372549020
x[327] =  -11 /   51 == -0.2156862745
x[328] =    0 /    1 == 0.0000000000
x[329] =    0 /    1 == 0.0000000000
x[330] =  -11 /   51 == -0.2156862745
x[331] =  -16 /   51 == -0.3137254902
x[332] =    0 /    1 == 0.0000000000
x[333] =    0 /    1 == 0.0000000000
x[334] =  -19 /   51 == -0.3725490196
x[335] =  -10 /   51 == -0.1960784314
x[336] =    0 /    1 == -0.0000000000
x[337] =   -1 /    3 == -0.3333333333
x[338] =   -7 /   51 == -0.1372549020
x[339] =    0 /    1 == 0.0000000000
x[340] =  -20 /   51 == -0.3921568627
x[341] =   -8 /   51 == -0.1568627451
x[342] =  -16 /   51 == -0.3137254902
x[343] =   -8 /   51 == -0.1568627451
x[344] =    0 /    1 == 0.0000000000
x[345] =   -1 /    3 == -0.3333333333
x[346] =   -8 /   51 == -0.1568627451
x[347] =   -1 /   51 == -0.0196078431
x[348] =  -16 /   51 == -0.3137254902
x[349] =    0 /    1 == -0.0000000000
x[350] =   -3 /   17 == -0.1764705882
x[351] =   -1 /    3 == -0.3333333333
x[352] =    0 /    1 == 0.0000000000
x[353] =   -3 /   17 == -0.1764705882
x[354] =  -16 /   51 == -0.3137254902
x[355] =   -1 /   51 == -0.0196078431
x[356] =   -3 /   17 == -0.1764705882
x[357] =   -1 /    3 == -0.3333333333
x[358] =   -1 /   51 == -0.0196078431
x[359] =   -3 /   17 == -0.1764705882
x[360] =   -3 /   17 == -0.1764705882
x[361] =   -3 /   17 == -0.1764705882
x[362] =   -3 /   17 == -0.1764705882
x[363] =   -3 /   17 == -0.1764705882
x[364] =   -3 /   17 == -0.1764705882
x[365] =   -3 /   17 == -0.1764705882
x[366] =   -3 /   17 == -0.1764705882
x[367] =   -3 /   17 == -0.1764705882
x[368] =    8 /   51 == 0.1568627451
x[369] =   11 /   51 == 0.2156862745
x[370] =    8 /   51 == 0.1568627451
x[371] =    5 /   51 == 0.0980392157
x[372] =   16 /   51 == 0.3137254902
x[373] =    8 /   51 == 0.1568627451
x[374] =    0 /    1 == -0.0000000000
x[375] =   19 /   51 == 0.3725490196
x[376] =    8 /   51 == 0.1568627451
x[377] =   -1 /   17 == -0.0588235294
x[378] =   11 /   51 == 0.2156862745
x[379] =    5 /   51 == 0.0980392157
x[380] =    8 /   51 == 0.1568627451
x[381] =   16 /   51 == 0.3137254902
x[382] =    5 /   51 == 0.0980392157
x[383] =    1 /   17 == 0.0588235294
x[384] =   19 /   51 == 0.3725490196
x[385] =    5 /   51 == 0.0980392157
x[386] =    0 /    1 == 0.0000000000
x[387] =   11 /   51 == 0.2156862745
x[388] =    0 /    1 == 0.0000000000
x[389] =   13 /   51 == 0.2549019608
x[390] =   16 /   51 == 0.3137254902
x[391] =    0 /    1 == -0.0000000000
x[392] =    8 /   51 == 0.1568627451
x[393] =   19 /   51 == 0.3725490196
x[394] =    0 /    1 == -0.0000000000
x[395] =    5 /   51 == 0.0980392157
x[396] =   11 /   51 == 0.2156862745
x[397] =   -1 /   17 == -0.0588235294
x[398] =   16 /   51 == 0.3137254902
x[399] =   16 /   51 == 0.3137254902
x[400] =   -1 /   17 == -0.0588235294
x[401] =   11 /   51 == 0.2156862745
x[402] =    1 /   17 == 0.0588235294
x[403] =   13 /   51 == 0.2549019608
x[404] =    8 /   51 == 0.1568627451
x[405] =    8 /   51 == 0.1568627451
x[406] =   13 /   51 == 0.2549019608
x[407] =    1 /   17 == 0.0588235294
x[408] =   11 /   51 == 0.2156862745
x[409] =   13 /   51 == 0.2549019608
x[410] =    0 /    1 == -0.0000000000
x[411] =    8 /   51 == 0.1568627451
x[412] =   11 /   51 == 0.2156862745
x[413] =    8 /   51 == 0.1568627451
x[414] =    5 /   51 == 0.0980392157
x[415] =    1 /   17 == 0.0588235294
x[416] =    5 /   51 == 0.0980392157
x[417] =   16 /   51 == 0.3137254902
x[418] =    8 /   51 == 0.1568627451
x[419] =   16 /   51 == 0.3137254902
x[420] =    8 /   51 == 0.1568627451
x[421] =    0 /    1 == 0.0000000000
x[422] =    8 /   51 == 0.1568627451
x[423] =   16 /   51 == 0.3137254902
x[424] =    2 /   17 == 0.1176470588
x[425] =    8 /   51 == 0.1568627451
x[426] =   16 /   51 == 0.3137254902
x[427] =    2 /   17 == 0.1176470588
x[428] =    8 /   51 == 0.1568627451
x[429] =   16 /   51 == 0.3137254902
x[430] =    2 /   17 == 0.1176470588
x[431] =    8 /   51 == 0.1568627451
x[432] =   22 /   51 == 0.4313725490
x[433] =    0 /    1 == -0.0000000000
x[434] =    8 /   51 == 0.1568627451
x[435] =   22 /   51 == 0.4313725490
x[436] =    0 /    1 == 0.0000000000
x[437] =    8 /   51 == 0.1568627451
x[438] =   22 /   51 == 0.4313725490
x[439] =    0 /    1 == 0.0000000000
x[440] =    8 /   51 == 0.1568627451
x[441] =    7 /   51 == 0.1372549020
x[442] =    5 /   17 == 0.2941176471
x[443] =    8 /   51 == 0.1568627451
x[444] =    7 /   51 == 0.1372549020
x[445] =    5 /   17 == 0.2941176471
x[446] =    8 /   51 == 0.1568627451
x[447] =    7 /   51 == 0.1372549020
x[448] =    3 /   17 == 0.1764705882
x[449] =    8 /   51 == 0.1568627451
x[450] =   16 /   51 == 0.3137254902
x[451] =    0 /    1 == -0.0000000000
x[452] =    8 /   51 == 0.1568627451
x[453] =   16 /   51 == 0.3137254902
x[454] =    0 /    1 == 0.0000000000
x[455] =    8 /   51 == 0.1568627451
x[456] =   16 /   51 == 0.3137254902
x[457] =    0 /    1 == 0.0000000000
x[458] =    1 /   51 == 0.0196078431
x[459] =   23 /   51 == 0.4509803922
x[460] =    2 /   17 == 0.1176470588
x[461] =    1 /   51 == 0.0196078431
x[462] =   23 /   51 == 0.4509803922
x[463] =    2 /   17 == 0.1176470588
x[464] =    1 /   51 == 0.0196078431
x[465] =   23 /   51 == 0.4509803922
x[466] =    2 /   17 == 0.1176470588
x[467] =    1 /   51 == 0.0196078431
x[468] =   29 /   51 == 0.5686274510
x[469] =    0 /    1 == 0.0000000000
x[470] =    1 /   51 == 0.0196078431
x[471] =   29 /   51 == 0.5686274510
x[472] =    0 /    1 == 0.0000000000
x[473] =    1 /   51 == 0.0196078431
x[474] =   29 /   51 == 0.5686274510
x[475] =    0 /    1 == 0.0000000000
x[476] =    1 /   51 == 0.0196078431
x[477] =   14 /   51 == 0.2745098039
x[478] =    3 /   17 == 0.1764705882
x[479] =    1 /   51 == 0.0196078431
x[480] =   14 /   51 == 0.2745098039
x[481] =    5 /   17 == 0.2941176471
x[482] =    1 /   51 == 0.0196078431
x[483] =   14 /   51 == 0.2745098039
x[484] =    3 /   17 == 0.1764705882
x[485] =    1 /   51 == 0.0196078431
x[486] =   23 /   51 == 0.4509803922
x[487] =    0 /    1 == 0.0000000000
x[488] =    1 /   51 == 0.0196078431
x[489] =   23 /   51 == 0.4509803922
x[490] =    0 /    1 == 0.0000000000
x[491] =    1 /   51 == 0.0196078431
x[492] =   23 /   51 == 0.4509803922
x[493] =    0 /    1 == 0.0000000000
x[494] =    6 /   17 == 0.3529411765
x[495] =    2 /   17 == 0.1176470588
x[496] =    2 /   17 == 0.1176470588
x[497] =    6 /   17 == 0.3529411765
x[498] =    2 /   17 == 0.1176470588
x[499] =    0 /    1 == 0.0000000000
x[500] =    6 /   17 == 0.3529411765
x[501] =    2 /   17 == 0.1176470588
x[502] =    2 /   17 == 0.1176470588
x[503] =    6 /   17 == 0.3529411765
x[504] =    2 /   17 == 0.1176470588
x[505] =    0 /    1 == 0.0000000000
x[506] =    6 /   17 == 0.3529411765
x[507] =    2 /   17 == 0.1176470588
x[508] =    0 /    1 == 0.0000000000
x[509] =    6 /   17 == 0.3529411765
x[510] =    2 /   17 == 0.1176470588
x[511] =    0 /    1 == 0.0000000000
x[512] =    6 /   17 == 0.3529411765
x[513] =   -1 /   17 == -0.0588235294
x[514] =    5 /   17 == 0.2941176471
x[515] =    6 /   17 == 0.3529411765
x[516] =   -1 /   17 == -0.0588235294
x[517] =    5 /   17 == 0.2941176471
x[518] =    6 /   17 == 0.3529411765
x[519] =   -1 /   17 == -0.0588235294
x[520] =    5 /   17 == 0.2941176471
x[521] =    6 /   17 == 0.3529411765
x[522] =    2 /   17 == 0.1176470588
x[523] =    0 /    1 == 0.0000000000
x[524] =    6 /   17 == 0.3529411765
x[525] =    2 /   17 == 0.1176470588
x[526] =    0 /    1 == 0.0000000000
x[527] =    6 /   17 == 0.3529411765
x[528] =    2 /   17 == 0.1176470588
x[529] =    0 /    1 == 0.0000000000
x[530] =    3 /   17 == 0.1764705882
x[531] =    3 /   17 == 0.1764705882
x[532] =    2 /   17 == 0.1176470588
x[533] =    3 /   17 == 0.1764705882
x[534] =    3 /   17 == 0.1764705882
x[535] =    2 /   17 == 0.1176470588
x[536] =    3 /   17 == 0.1764705882
x[537] =    3 /   17 == 0.1764705882
x[538] =    2 /   17 == 0.1176470588
x[539] =    3 /   17 == 0.1764705882
x[540] =    5 /   17 == 0.2941176471
x[541] =    0 /    1 == 0.0000000000
x[542] =    3 /   17 == 0.1764705882
x[543] =    5 /   17 == 0.2941176471
x[544] =    0 /    1 == 0.0000000000
x[545] =    3 /   17 == 0.1764705882
x[546] =    5 /   17 == 0.2941176471
x[547] =    0 /    1 == 0.0000000000
x[548] =    3 /   17 == 0.1764705882
x[549] =    0 /    1 == -0.0000000000
x[550] =    5 /   17 == 0.2941176471
x[551] =    3 /   17 == 0.1764705882
x[552] =    0 /    1 == -0.0000000000
x[553] =    5 /   17 == 0.2941176471
x[554] =    3 /   17 == 0.1764705882
x[555] =    0 /    1 == -0.0000000000
x[556] =    5 /   17 == 0.2941176471
x[557] =    8 /   51 == 0.1568627451
x[558] =   16 /   51 == 0.3137254902
x[559] =    0 /    1 == 0.0000000000
x[560] =    8 /   51 == 0.1568627451
x[561] =   16 /   51 == 0.3137254902
x[562] =    0 /    1 == -0.0000000000
x[563] =    8 /   51 == 0.1568627451
x[564] =   16 /   51 == 0.3137254902
x[565] =    0 /    1 == 0.0000000000
x[566] =    8 /   51 == 0.1568627451
x[567] =   16 /   51 == 0.3137254902
x[568] =    0 /    1 == -0.0000000000
x[569] =    8 /   51 == 0.1568627451
x[570] =   16 /   51 == 0.3137254902
x[571] =    0 /    1 == -0.0000000000
x[572] =    8 /   51 == 0.1568627451
x[573] =   16 /   51 == 0.3137254902
x[574] =    0 /    1 == 0.0000000000
x[575] =    8 /   51 == 0.1568627451
x[576] =   16 /   51 == 0.3137254902
x[577] =    0 /    1 == 0.0000000000
x[578] =    8 /   51 == 0.1568627451
x[579] =   16 /   51 == 0.3137254902
x[580] =    0 /    1 == 0.0000000000
x[581] =    8 /   51 == 0.1568627451
x[582] =   16 /   51 == 0.3137254902
x[583] =    0 /    1 == 0.0000000000
x[584] =   20 /   51 == 0.3921568627
x[585] =    4 /   51 == 0.0784313725
x[586] =    0 /    1 == 0.0000000000
x[587] =   20 /   51 == 0.3921568627
x[588] =    4 /   51 == 0.0784313725
x[589] =    0 /    1 == -0.0000000000
x[590] =   20 /   51 == 0.3921568627
x[591] =    4 /   51 == 0.0784313725
x[592] =    0 /    1 == 0.0000000000
x[593] =   20 /   51 == 0.3921568627
x[594] =    4 /   51 == 0.0784313725
x[595] =    0 /    1 == -0.0000000000
x[596] =   20 /   51 == 0.3921568627
x[597] =    4 /   51 == 0.0784313725
x[598] =    0 /    1 == 0.0000000000
x[599] =   20 /   51 == 0.3921568627
x[600] =    4 /   51 == 0.0784313725
x[601] =    0 /    1 == 0.0000000000
x[602] =   20 /   51 == 0.3921568627
x[603] =    4 /   51 == 0.0784313725
x[604] =    0 /    1 == 0.0000000000
x[605] =   20 /   51 == 0.3921568627
x[606] =    4 /   51 == 0.0784313725
x[607] =    0 /    1 == 0.0000000000
x[608] =   20 /   51 == 0.3921568627
x[609] =    4 /   51 == 0.0784313725
x[610] =    0 /    1 == -0.0000000000
x[611] =    8 /   51 == 0.1568627451
x[612] =   16 /   51 == 0.3137254902
x[613] =    0 /    1 == 0.0000000000
x[614] =    8 /   51 == 0.1568627451
x[615] =   16 /   51 == 0.3137254902
x[616] =    0 /    1 == -0.0000000000
x[617] =    8 /   51 == 0.1568627451
x[618] =   16 /   51 == 0.3137254902
x[619] =    0 /    1 == 0.0000000000
x[620] =    8 /   51 == 0.1568627451
x[621] =   16 /   51 == 0.3137254902
x[622] =    0 /    1 == 0.0000000000
x[623] =    8 /   51 == 0.1568627451
x[624] =   16 /   51 == 0.3137254902
x[625] =    0 /    1 == 0.0000000000
x[626] =    8 /   51 == 0.1568627451
x[627] =   16 /   51 == 0.3137254902
x[628] =    0 /    1 == 0.0000000000
x[629] =    8 /   51 == 0.1568627451
x[630] =   16 /   51 == 0.3137254902
x[631] =    0 /    1 == -0.0000000000
x[632] =    8 /   51 == 0.1568627451
x[633] =   16 /   51 == 0.3137254902
x[634] =    0 /    1 == 0.0000000000
x[635] =    8 /   51 == 0.1568627451
x[636] =   16 /   51 == 0.3137254902
x[637] =    0 /    1 == -0.0000000000
LP took 355 seconds.
