...added 100000 constraints in 0 seconds.
...added 200000 constraints in 0 seconds.
...added 300000 constraints in 0 seconds.
...added 400000 constraints in 0 seconds.
...added 500000 constraints in 0 seconds.
...added 600000 constraints in 0 seconds.
...done in 0 seconds.


Writing problem data to `adage.lp'...
652192 lines were written
GLPK Simplex Optimizer, v4.47
651485 rows, 698 columns, 3893869 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.000000000e-01  infeas =  6.325e-11 (0)
*  2000: obj =   4.000000000e-01  infeas =  3.391e-11 (0)
*  2500: obj =   4.064516129e-01  infeas =  6.393e-11 (0)
*  3000: obj =   4.090909091e-01  infeas =  4.118e-11 (0)
*  3500: obj =   4.090909091e-01  infeas =  2.990e-11 (0)
*  4000: obj =   4.090909091e-01  infeas =  4.163e-11 (0)
*  4500: obj =   4.117647059e-01  infeas =  3.721e-11 (0)
*  5000: obj =   4.117647059e-01  infeas =  3.154e-11 (0)
*  5500: obj =   4.125000000e-01  infeas =  1.597e-11 (0)
*  6000: obj =   4.125000000e-01  infeas =  1.630e-11 (0)
*  6102: obj =   4.125000000e-01  infeas =  2.067e-11 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4125000000

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