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


Writing problem data to `adage.lp'...
452084 lines were written
GLPK Simplex Optimizer, v4.47
451507 rows, 568 columns, 2690715 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 =   5.000000000e-01  infeas =  7.357e-11 (0)
*  2000: obj =   5.000000000e-01  infeas =  5.391e-11 (0)
*  2500: obj =   5.000000000e-01  infeas =  2.844e-11 (0)
*  3000: obj =   5.000000000e-01  infeas =  1.664e-11 (0)
*  3500: obj =   5.000000000e-01  infeas =  1.943e-11 (0)
*  4000: obj =   5.000000000e-01  infeas =  1.452e-11 (0)
*  4500: obj =   5.000000000e-01  infeas =  1.318e-11 (0)
*  5000: obj =   5.000000000e-01  infeas =  1.590e-11 (0)
*  5500: obj =   5.000000000e-01  infeas =  1.754e-11 (0)
*  6000: obj =   5.000000000e-01  infeas =  5.184e-11 (0)
*  6500: obj =   5.000000000e-01  infeas =  9.608e-12 (0)
*  7000: obj =   5.000000000e-01  infeas =  3.460e-11 (0)
*  7500: obj =   5.000000000e-01  infeas =  2.855e-11 (0)
*  7942: obj =   5.000000000e-01  infeas =  5.965e-11 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.5000000000

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