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


Writing problem data to `adage.lp'...
1134378 lines were written
GLPK Simplex Optimizer, v4.47
385303 rows, 1480 columns, 6664668 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 =   0.000000000e+00  infeas =  0.000e+00 (0)
*  2000: obj =   4.545454545e-01  infeas =  1.203e-09 (0)
*  2500: obj =   4.705882353e-01  infeas =  1.649e-10 (0)
*  3000: obj =   4.705882353e-01  infeas =  3.196e-10 (0)
*  3500: obj =   4.705882353e-01  infeas =  8.462e-11 (0)
*  4000: obj =   4.705882353e-01  infeas =  5.224e-11 (0)
*  4500: obj =   4.705882353e-01  infeas =  7.844e-11 (0)
*  5000: obj =   4.705882353e-01  infeas =  4.053e-11 (0)
*  5500: obj =   4.705882353e-01  infeas =  5.921e-11 (0)
*  6000: obj =   4.705882353e-01  infeas =  5.383e-11 (0)
*  6500: obj =   4.705882353e-01  infeas =  3.283e-11 (0)
*  7000: obj =   4.705882353e-01  infeas =  3.040e-11 (0)
*  7500: obj =   4.705882353e-01  infeas =  5.071e-11 (0)
*  8000: obj =   4.705882353e-01  infeas =  2.097e-11 (0)
*  8500: obj =   4.705882353e-01  infeas =  3.220e-11 (0)
*  9000: obj =   4.705882353e-01  infeas =  2.445e-11 (0)
*  9500: obj =   4.705882353e-01  infeas =  1.982e-11 (0)
* 10000: obj =   4.705882353e-01  infeas =  4.460e-11 (0)
* 10500: obj =   4.705882353e-01  infeas =  3.680e-10 (0)
* 11000: obj =   4.705882353e-01  infeas =  6.337e-11 (0)
* 11500: obj =   4.705882353e-01  infeas =  1.281e-10 (0)
* 12000: obj =   4.705882353e-01  infeas =  6.257e-11 (0)
* 12470: obj =   4.705882353e-01  infeas =  4.355e-11 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4705882353

Values on the Variables:
x[0] =   -1 /    3
x[1] =    0 /    1
x[2] =    0 /    1
x[3] =  -22 /   51
x[4] =    0 /    1
x[5] =    7 /   51
x[6] =   -1 /    3
x[7] =    0 /    1
x[8] =  -10 /   51
x[9] =  -10 /   51
x[10] =   -5 /   51
x[11] =    5 /   51
x[12] =    0 /    1
x[13] =    0 /    1
x[14] =  -10 /   51
x[15] =   -1 /    3
x[16] =    0 /    1
x[17] =   -5 /   51
x[18] =  -22 /   51
x[19] =    0 /    1
x[20] =    0 /    1
x[21] =    5 /   51
x[22] =    0 /    1
x[23] =  -22 /   51
x[24] =    0 /    1
x[25] =    5 /   51
x[26] =  -20 /   51
x[27] =   -5 /   51
x[28] =    5 /   51
x[29] =   -5 /   17
x[30] =  -22 /   51
x[31] =    5 /   51
x[32] =  -10 /   51
x[33] =   -5 /   51
x[34] =  -22 /   51
x[35] =    0 /    1
x[36] =   -5 /   51
x[37] =    0 /    1
x[38] =    0 /    1
x[39] =   -9 /   17
x[40] =   -5 /   51
x[41] =    0 /    1
x[42] =  -32 /   51
x[43] =    5 /   51
x[44] =    5 /   51
x[45] =    0 /    1
x[46] =   -1 /   17
x[47] =   -5 /   51
x[48] =   -5 /   51
x[49] =    0 /    1
x[50] =    0 /    1
x[51] =    0 /    1
x[52] =    0 /    1
x[53] =   -7 /   51
x[54] =   -5 /   51
x[55] =   -2 /   51
x[56] =    5 /   51
x[57] =    0 /    1
x[58] =   -7 /   51
x[59] =    0 /    1
x[60] =   -5 /   51
x[61] =  -10 /   51
x[62] =    0 /    1
x[63] =    0 /    1
x[64] =  -10 /   51
x[65] =    0 /    1
x[66] =   -5 /   51
x[67] =  -19 /   51
x[68] =    0 /    1
x[69] =    5 /   51
x[70] =   -1 /   17
x[71] =   -5 /   51
x[72] =   -5 /   51
x[73] =    0 /    1
x[74] =   -5 /   51
x[75] =    0 /    1
x[76] =    0 /    1
x[77] =   -7 /   51
x[78] =  -10 /   51
x[79] =   -2 /   51
x[80] =    0 /    1
x[81] =   10 /   51
x[82] =  -19 /   51
x[83] =    0 /    1
x[84] =    0 /    1
x[85] =  -22 /   51
x[86] =   -5 /   51
x[87] =   -4 /   17
x[88] =    0 /    1
x[89] =   -1 /   51
x[90] =    0 /    1
x[91] =   -1 /   17
x[92] =  -10 /   51
x[93] =    0 /    1
x[94] =    0 /    1
x[95] =   -5 /   51
x[96] =    0 /    1
x[97] =    0 /    1
x[98] =   -4 /   17
x[99] =    0 /    1
x[100] =   -2 /   51
x[101] =   -1 /   51
x[102] =    0 /    1
x[103] =   -7 /   51
x[104] =  -20 /   51
x[105] =    0 /    1
x[106] =    5 /   51
x[107] =   -5 /   51
x[108] =    0 /    1
x[109] =  -10 /   51
x[110] =   -4 /   17
x[111] =    0 /    1
x[112] =   -4 /   17
x[113] =    4 /   51
x[114] =  -10 /   51
x[115] =   -1 /   17
x[116] =  -10 /   51
x[117] =   -5 /   51
x[118] =    0 /    1
x[119] =    0 /    1
x[120] =   -5 /   17
x[121] =    0 /    1
x[122] =   -4 /   17
x[123] =  -10 /   51
x[124] =   -2 /   51
x[125] =    4 /   51
x[126] =   -5 /   51
x[127] =  -19 /   51
x[128] =  -20 /   51
x[129] =    0 /    1
x[130] =   -7 /   51
x[131] =    0 /    1
x[132] =   -9 /   17
x[133] =    0 /    1
x[134] =   -5 /   51
x[135] =    0 /    1
x[136] =   -1 /   17
x[137] =   -5 /   17
x[138] =    0 /    1
x[139] =    0 /    1
x[140] =  -10 /   51
x[141] =    0 /    1
x[142] =    0 /    1
x[143] =   -1 /    3
x[144] =    0 /    1
x[145] =   -2 /   51
x[146] =   -5 /   51
x[147] =    5 /   51
x[148] =   -7 /   51
x[149] =  -10 /   51
x[150] =    5 /   51
x[151] =  -10 /   51
x[152] =  -10 /   51
x[153] =    5 /   51
x[154] =  -10 /   51
x[155] =  -10 /   51
x[156] =    5 /   51
x[157] =  -19 /   51
x[158] =    5 /   51
x[159] =  -10 /   51
x[160] =   -1 /   17
x[161] =   -5 /   51
x[162] =  -10 /   51
x[163] =    0 /    1
x[164] =    0 /    1
x[165] =   -5 /   17
x[166] =    0 /    1
x[167] =   -7 /   51
x[168] =   -5 /   17
x[169] =   -2 /   51
x[170] =    5 /   51
x[171] =   -5 /   51
x[172] =  -19 /   51
x[173] =    0 /    1
x[174] =   -5 /   51
x[175] =  -22 /   51
x[176] =    0 /    1
x[177] =   -5 /   51
x[178] =  -22 /   51
x[179] =   -1 /   51
x[180] =   -1 /    3
x[181] =   -1 /   17
x[182] =  -10 /   51
x[183] =   -1 /    3
x[184] =    0 /    1
x[185] =   -5 /   51
x[186] =   -1 /    3
x[187] =    0 /    1
x[188] =   -1 /   51
x[189] =   -4 /   17
x[190] =   -7 /   51
x[191] =  -20 /   51
x[192] =   -4 /   17
x[193] =    5 /   51
x[194] =   -5 /   51
x[195] =   -4 /   17
x[196] =  -10 /   51
x[197] =   -1 /   51
x[198] =   -1 /    3
x[199] =   -1 /   17
x[200] =  -10 /   51
x[201] =   -1 /    3
x[202] =    0 /    1
x[203] =   -5 /   51
x[204] =  -22 /   51
x[205] =    0 /    1
x[206] =    0 /    1
x[207] =    0 /    1
x[208] =   -4 /   51
x[209] =  -11 /   51
x[210] =    0 /    1
x[211] =    0 /    1
x[212] =    5 /   51
x[213] =    0 /    1
x[214] =   -4 /   17
x[215] =    0 /    1
x[216] =    0 /    1
x[217] =   -7 /   17
x[218] =    0 /    1
x[219] =    0 /    1
x[220] =   -5 /   51
x[221] =  -13 /   51
x[222] =    0 /    1
x[223] =   -5 /   51
x[224] =    5 /   51
x[225] =    0 /    1
x[226] =   -6 /   17
x[227] =    0 /    1
x[228] =    0 /    1
x[229] =   -9 /   17
x[230] =    5 /   51
x[231] =    0 /    1
x[232] =   -2 /   17
x[233] =  -16 /   51
x[234] =    5 /   51
x[235] =   -2 /   51
x[236] =    5 /   51
x[237] =   -5 /   51
x[238] =   -8 /   51
x[239] =   -5 /   51
x[240] =    0 /    1
x[241] =   -1 /    3
x[242] =    0 /    1
x[243] =    5 /   51
x[244] =  -14 /   51
x[245] =   -6 /   17
x[246] =   10 /   51
x[247] =  -14 /   51
x[248] =    5 /   51
x[249] =    5 /   51
x[250] =   -9 /   17
x[251] =   -1 /   51
x[252] =    0 /    1
x[253] =   -4 /   51
x[254] =  -11 /   51
x[255] =    0 /    1
x[256] =    0 /    1
x[257] =    0 /    1
x[258] =    0 /    1
x[259] =   -4 /   17
x[260] =    0 /    1
x[261] =    0 /    1
x[262] =   -7 /   17
x[263] =   -1 /   51
x[264] =    0 /    1
x[265] =  -10 /   51
x[266] =    0 /    1
x[267] =    0 /    1
x[268] =   -6 /   17
x[269] =    0 /    1
x[270] =    0 /    1
x[271] =   -6 /   17
x[272] =    0 /    1
x[273] =    0 /    1
x[274] =   -9 /   17
x[275] =   -1 /   51
x[276] =   -5 /   51
x[277] =   -2 /   17
x[278] =  -16 /   51
x[279] =    0 /    1
x[280] =   -2 /   51
x[281] =    0 /    1
x[282] =  -10 /   51
x[283] =   -8 /   51
x[284] =   -5 /   51
x[285] =   -5 /   51
x[286] =   -1 /    3
x[287] =   -1 /   51
x[288] =    0 /    1
x[289] =  -19 /   51
x[290] =   -5 /   51
x[291] =    5 /   51
x[292] =   -9 /   17
x[293] =    0 /    1
x[294] =    0 /    1
x[295] =   -9 /   17
x[296] =    0 /    1
x[297] =    1 /   51
x[298] =   -4 /   51
x[299] =  -11 /   51
x[300] =    1 /   51
x[301] =    0 /    1
x[302] =    0 /    1
x[303] =    0 /    1
x[304] =  -11 /   51
x[305] =    0 /    1
x[306] =    0 /    1
x[307] =  -20 /   51
x[308] =   -5 /   51
x[309] =   -6 /   17
x[310] =   13 /   51
x[311] =  -13 /   51
x[312] =   -6 /   17
x[313] =   13 /   51
x[314] =    0 /    1
x[315] =    0 /    1
x[316] =   -6 /   17
x[317] =    0 /    1
x[318] =    0 /    1
x[319] =   -9 /   17
x[320] =    0 /    1
x[321] =    0 /    1
x[322] =  -11 /   51
x[323] =  -11 /   51
x[324] =    0 /    1
x[325] =   -7 /   51
x[326] =    0 /    1
x[327] =    0 /    1
x[328] =   -6 /   17
x[329] =    0 /    1
x[330] =    0 /    1
x[331] =   -9 /   17
x[332] =   -5 /   51
x[333] =  -14 /   51
x[334] =    0 /    1
x[335] =  -13 /   51
x[336] =  -14 /   51
x[337] =    0 /    1
x[338] =    0 /    1
x[339] =    0 /    1
x[340] =   -9 /   17
x[341] =   -8 /   51
x[342] =  -31 /   51
x[343] =   -8 /   51
x[344] =    5 /   17
x[345] =    0 /    1
x[346] =   -8 /   51
x[347] =   -6 /   17
x[348] =  -31 /   51
x[349] =    5 /   17
x[350] =   -3 /   17
x[351] =    0 /    1
x[352] =    5 /   17
x[353] =  -41 /   51
x[354] =  -31 /   51
x[355] =   -6 /   17
x[356] =   23 /   51
x[357] =    0 /    1
x[358] =   -6 /   17
x[359] =   -3 /   17
x[360] =  -41 /   51
x[361] =   23 /   51
x[362] =   -3 /   17
x[363] =   -3 /   17
x[364] =   23 /   51
x[365] =  -41 /   51
x[366] =   -3 /   17
x[367] =   -3 /   17
x[368] =    8 /   51
x[369] =    8 /   17
x[370] =    8 /   51
x[371] =   -8 /   51
x[372] =   16 /   51
x[373] =    8 /   51
x[374] =    0 /    1
x[375] =    8 /   51
x[376] =    8 /   51
x[377] =    8 /   51
x[378] =   -4 /   51
x[379] =   -8 /   51
x[380] =   12 /   17
x[381] =   16 /   51
x[382] =   20 /   51
x[383] =   -4 /   17
x[384] =    8 /   51
x[385] =   20 /   51
x[386] =   -4 /   51
x[387] =    8 /   17
x[388] =    0 /    1
x[389] =    0 /    1
x[390] =   16 /   51
x[391] =   16 /   51
x[392] =   -8 /   51
x[393] =    8 /   51
x[394] =   16 /   51
x[395] =    0 /    1
x[396] =   -4 /   51
x[397] =    8 /   51
x[398] =   20 /   51
x[399] =   16 /   51
x[400] =    8 /   51
x[401] =    0 /    1
x[402] =   -4 /   17
x[403] =    0 /    1
x[404] =   12 /   17
x[405] =   -8 /   51
x[406] =   28 /   51
x[407] =    4 /   51
x[408] =    0 /    1
x[409] =   28 /   51
x[410] =   -4 /   51
x[411] =    8 /   51
x[412] =   16 /   51
x[413] =    8 /   51
x[414] =    0 /    1
x[415] =    4 /   51
x[416] =    0 /    1
x[417] =   20 /   51
x[418] =    8 /   51
x[419] =   20 /   51
x[420] =    8 /   51
x[421] =   -4 /   51
x[422] =   10 /   17
x[423] =    0 /    1
x[424] =    0 /    1
x[425] =    5 /   51
x[426] =    0 /    1
x[427] =   25 /   51
x[428] =   10 /   17
x[429] =    0 /    1
x[430] =    0 /    1
x[431] =   13 /   51
x[432] =    7 /   51
x[433] =   10 /   51
x[434] =    5 /   51
x[435] =    7 /   51
x[436] =    6 /   17
x[437] =   32 /   51
x[438] =   -2 /   51
x[439] =    0 /    1
x[440] =    1 /    3
x[441] =   23 /   51
x[442] =  -10 /   51
x[443] =    0 /    1
x[444] =    5 /   17
x[445] =    5 /   17
x[446] =    1 /    3
x[447] =   13 /   51
x[448] =    0 /    1
x[449] =    0 /    1
x[450] =    0 /    1
x[451] =    8 /   17
x[452] =    0 /    1
x[453] =   -8 /   51
x[454] =   32 /   51
x[455] =   19 /   51
x[456] =    0 /    1
x[457] =    5 /   51
x[458] =    0 /    1
x[459] =   10 /   17
x[460] =    0 /    1
x[461] =   -6 /   17
x[462] =   23 /   51
x[463] =   25 /   51
x[464] =    0 /    1
x[465] =   10 /   17
x[466] =    0 /    1
x[467] =    0 /    1
x[468] =   37 /   51
x[469] =   -7 /   51
x[470] =    0 /    1
x[471] =   10 /   17
x[472] =    0 /    1
x[473] =    2 /   51
x[474] =   28 /   51
x[475] =    0 /    1
x[476] =   25 /   51
x[477] =    5 /   17
x[478] =  -10 /   51
x[479] =    0 /    1
x[480] =    5 /   17
x[481] =    5 /   17
x[482] =   25 /   51
x[483] =   -1 /   51
x[484] =    0 /    1
x[485] =   25 /   51
x[486] =   -8 /   51
x[487] =    7 /   51
x[488] =    6 /   17
x[489] =   -8 /   51
x[490] =   14 /   51
x[491] =    9 /   17
x[492] =   -8 /   51
x[493] =    5 /   51
x[494] =   10 /   17
x[495] =    0 /    1
x[496] =    0 /    1
x[497] =   10 /   51
x[498] =   -5 /   51
x[499] =   25 /   51
x[500] =   10 /   17
x[501] =    0 /    1
x[502] =    0 /    1
x[503] =   13 /   51
x[504] =    7 /   51
x[505] =   10 /   51
x[506] =   10 /   51
x[507] =    2 /   51
x[508] =    4 /   17
x[509] =   32 /   51
x[510] =    7 /   51
x[511] =   -3 /   17
x[512] =   11 /   17
x[513] =    7 /   51
x[514] =  -10 /   51
x[515] =   10 /   51
x[516] =    5 /   51
x[517] =    5 /   17
x[518] =   11 /   17
x[519] =   -1 /   17
x[520] =    0 /    1
x[521] =   16 /   51
x[522] =  -16 /   51
x[523] =    8 /   17
x[524] =   10 /   51
x[525] =   -6 /   17
x[526] =   32 /   51
x[527] =   35 /   51
x[528] =  -16 /   51
x[529] =    5 /   51
x[530] =    2 /    3
x[531] =  -10 /   51
x[532] =    0 /    1
x[533] =    3 /   17
x[534] =  -10 /   51
x[535] =   25 /   51
x[536] =    2 /    3
x[537] =  -10 /   51
x[538] =    0 /    1
x[539] =    2 /    3
x[540] =   -1 /   17
x[541] =   -7 /   51
x[542] =    9 /   17
x[543] =   -1 /   17
x[544] =    0 /    1
x[545] =   12 /   17
x[546] =   -1 /   17
x[547] =   -3 /   17
x[548] =    2 /    3
x[549] =    0 /    1
x[550] =  -10 /   51
x[551] =    3 /   17
x[552] =    0 /    1
x[553] =    5 /   17
x[554] =    2 /    3
x[555] =  -10 /   51
x[556] =    0 /    1
x[557] =    5 /   17
x[558] =    0 /    1
x[559] =    3 /   17
x[560] =    4 /   17
x[561] =    0 /    1
x[562] =    4 /   17
x[563] =   22 /   51
x[564] =    2 /   51
x[565] =    0 /    1
x[566] =   22 /   51
x[567] =    2 /   51
x[568] =    0 /    1
x[569] =   22 /   51
x[570] =    2 /   51
x[571] =    0 /    1
x[572] =   22 /   51
x[573] =    2 /   51
x[574] =    0 /    1
x[575] =    5 /   17
x[576] =    4 /   17
x[577] =   -1 /   17
x[578] =    4 /   17
x[579] =    4 /   17
x[580] =    0 /    1
x[581] =   22 /   51
x[582] =    4 /   17
x[583] =  -10 /   51
x[584] =    8 /   17
x[585] =   -4 /   17
x[586] =    4 /   17
x[587] =    8 /   17
x[588] =   -4 /   17
x[589] =    4 /   17
x[590] =    2 /    3
x[591] =  -10 /   51
x[592] =    0 /    1
x[593] =    3 /   17
x[594] =  -10 /   51
x[595] =   25 /   51
x[596] =    8 /   17
x[597] =  -10 /   51
x[598] =   10 /   51
x[599] =    2 /    3
x[600] =  -10 /   51
x[601] =    0 /    1
x[602] =    8 /   17
x[603] =    0 /    1
x[604] =    0 /    1
x[605] =    8 /   17
x[606] =    0 /    1
x[607] =    0 /    1
x[608] =    2 /    3
x[609] =    0 /    1
x[610] =  -10 /   51
x[611] =    5 /   17
x[612] =    0 /    1
x[613] =    3 /   17
x[614] =    4 /   17
x[615] =    0 /    1
x[616] =    4 /   17
x[617] =   22 /   51
x[618] =    2 /   51
x[619] =    0 /    1
x[620] =   22 /   51
x[621] =    2 /   51
x[622] =    0 /    1
x[623] =   22 /   51
x[624] =    2 /   51
x[625] =    0 /    1
x[626] =   22 /   51
x[627] =    2 /   51
x[628] =    0 /    1
x[629] =    5 /   17
x[630] =    4 /   17
x[631] =   -1 /   17
x[632] =    4 /   17
x[633] =    4 /   17
x[634] =    0 /    1
x[635] =   22 /   51
x[636] =    4 /   17
x[637] =  -10 /   51
x[638] =    0 /    1
x[639] =    5 /   51
x[640] =    0 /    1
x[641] =    0 /    1
x[642] =    0 /    1
x[643] =    0 /    1
x[644] =    0 /    1
x[645] =    0 /    1
x[646] =    0 /    1
x[647] =    0 /    1
x[648] =    0 /    1
x[649] =    0 /    1
x[650] =    0 /    1
x[651] =    0 /    1
x[652] =   -5 /   51
x[653] =  -22 /   51
x[654] =    0 /    1
x[655] =    0 /    1
x[656] =    0 /    1
x[657] =    5 /   51
x[658] =    0 /    1
x[659] =   -5 /   51
x[660] =  -22 /   51
x[661] =   -5 /   51
x[662] =   10 /   51
x[663] =   -5 /   51
x[664] =   -5 /   51
x[665] =    0 /    1
x[666] =    0 /    1
x[667] =    0 /    1
x[668] =    0 /    1
x[669] =    0 /    1
x[670] =    0 /    1
x[671] =    0 /    1
x[672] =    0 /    1
x[673] =    0 /    1
x[674] =    0 /    1
x[675] =    0 /    1
x[676] =    0 /    1
x[677] =    0 /    1
x[678] =    0 /    1
x[679] =  -22 /   51
x[680] =    0 /    1
x[681] =    5 /   51
x[682] =    5 /   51
x[683] =    5 /   51
x[684] =    5 /   51
x[685] =    5 /   51
x[686] =    0 /    1
x[687] =   -1 /    3
x[688] =    0 /    1
x[689] =  -10 /   51
x[690] =    0 /    1
x[691] =    0 /    1
x[692] =    4 /   17
x[693] =    0 /    1
x[694] =    0 /    1
x[695] =    0 /    1
x[696] =   -5 /   17
x[697] =    0 /    1
x[698] =    0 /    1
x[699] =    0 /    1
x[700] =    0 /    1
x[701] =    0 /    1
x[702] =    0 /    1
x[703] =    0 /    1
x[704] =    0 /    1
x[705] =    0 /    1
x[706] =    0 /    1
x[707] =    0 /    1
x[708] =    0 /    1
x[709] =    0 /    1
x[710] =    0 /    1
x[711] =    0 /    1
x[712] =    0 /    1
x[713] =   -5 /   51
x[714] =    0 /    1
x[715] =    0 /    1
x[716] =   22 /   51
x[717] =    0 /    1
x[718] =   -5 /   51
x[719] =    0 /    1
x[720] =   -5 /   51
x[721] =    0 /    1
x[722] =   -5 /   51
x[723] =    0 /    1
x[724] =    4 /   17
x[725] =    0 /    1
x[726] =    0 /    1
x[727] =    0 /    1
x[728] =   -5 /   17
x[729] =    0 /    1
x[730] =    0 /    1
x[731] =    0 /    1
x[732] =    0 /    1
x[733] =    0 /    1
x[734] =    0 /    1
x[735] =    0 /    1
x[736] =    0 /    1
x[737] =    0 /    1
x[738] =    0 /    1
x[739] =    0 /    1
x[740] =    5 /   51
x[741] =    0 /    1
x[742] =    5 /   51
x[743] =    0 /    1
x[744] =    5 /   51
x[745] =    0 /    1
x[746] =    5 /   51
x[747] =    0 /    1
x[748] =    0 /    1
x[749] =   10 /   51
x[750] =    0 /    1
x[751] =    0 /    1
x[752] =    0 /    1
x[753] =    0 /    1
x[754] =    0 /    1
x[755] =    0 /    1
x[756] =   10 /   51
x[757] =    0 /    1
x[758] =    0 /    1
x[759] =    0 /    1
x[760] =    0 /    1
x[761] =    0 /    1
x[762] =    0 /    1
x[763] =    0 /    1
x[764] =    0 /    1
x[765] =    0 /    1
x[766] =    0 /    1
x[767] =    0 /    1
x[768] =    0 /    1
x[769] =    0 /    1
x[770] =    0 /    1
x[771] =    0 /    1
x[772] =    0 /    1
x[773] =    0 /    1
x[774] =    0 /    1
x[775] =    0 /    1
x[776] =    0 /    1
x[777] =    0 /    1
x[778] =    0 /    1
x[779] =    0 /    1
x[780] =  -10 /   51
x[781] =    0 /    1
x[782] =    0 /    1
x[783] =    0 /    1
x[784] =    0 /    1
x[785] =    0 /    1
x[786] =    0 /    1
x[787] =    0 /    1
x[788] =    0 /    1
x[789] =    0 /    1
x[790] =    0 /    1
x[791] =    0 /    1
x[792] =    0 /    1
x[793] =    0 /    1
x[794] =    0 /    1
x[795] =    0 /    1
x[796] =    0 /    1
x[797] =    0 /    1
x[798] =    0 /    1
x[799] =    0 /    1
x[800] =    0 /    1
x[801] =    0 /    1
x[802] =    0 /    1
x[803] =    0 /    1
x[804] =    0 /    1
x[805] =    0 /    1
x[806] =    0 /    1
x[807] =    0 /    1
x[808] =    0 /    1
x[809] =    0 /    1
x[810] =    0 /    1
x[811] =    0 /    1
x[812] =   10 /   51
x[813] =    0 /    1
x[814] =    0 /    1
x[815] =    0 /    1
x[816] =    0 /    1
x[817] =    0 /    1
x[818] =    0 /    1
x[819] =    0 /    1
x[820] =    0 /    1
x[821] =    0 /    1
x[822] =    0 /    1
x[823] =    0 /    1
x[824] =    0 /    1
x[825] =    0 /    1
x[826] =    0 /    1
x[827] =    0 /    1
x[828] =    0 /    1
x[829] =    0 /    1
x[830] =    0 /    1
x[831] =    0 /    1
x[832] =    0 /    1
x[833] =    0 /    1
x[834] =    0 /    1
x[835] =    0 /    1
x[836] =    0 /    1
x[837] =    0 /    1
x[838] =    0 /    1
x[839] =    0 /    1
x[840] =    0 /    1
x[841] =    0 /    1
x[842] =    0 /    1
x[843] =    0 /    1
x[844] =    0 /    1
x[845] =    0 /    1
x[846] =    0 /    1
x[847] =    0 /    1
x[848] =    0 /    1
x[849] =    0 /    1
x[850] =    0 /    1
x[851] =    0 /    1
x[852] =    0 /    1
x[853] =    0 /    1
x[854] =    0 /    1
x[855] =    0 /    1
x[856] =  -28 /   51
x[857] =    0 /    1
x[858] =    0 /    1
x[859] =    0 /    1
x[860] =    0 /    1
x[861] =    0 /    1
x[862] =   -3 /   17
x[863] =    0 /    1
x[864] =  -11 /   17
x[865] =    0 /    1
x[866] =    0 /    1
x[867] =    0 /    1
x[868] =   -5 /   51
x[869] =    0 /    1
x[870] =   -3 /   17
x[871] =  -16 /   51
x[872] =    0 /    1
x[873] =    5 /   51
x[874] =    0 /    1
x[875] =    0 /    1
x[876] =    0 /    1
x[877] =   -5 /   51
x[878] =    0 /    1
x[879] =  -16 /   51
x[880] =    0 /    1
x[881] =    0 /    1
x[882] =    0 /    1
x[883] =    0 /    1
x[884] =    0 /    1
x[885] =  -10 /   51
x[886] =    0 /    1
x[887] =    0 /    1
x[888] =  -28 /   51
x[889] =    0 /    1
x[890] =    0 /    1
x[891] =    0 /    1
x[892] =    0 /    1
x[893] =    0 /    1
x[894] =   -3 /   17
x[895] =    0 /    1
x[896] =  -28 /   51
x[897] =    0 /    1
x[898] =    0 /    1
x[899] =    0 /    1
x[900] =    0 /    1
x[901] =    0 /    1
x[902] =   -3 /   17
x[903] =  -16 /   51
x[904] =    0 /    1
x[905] =   10 /   51
x[906] =    0 /    1
x[907] =    0 /    1
x[908] =    0 /    1
x[909] =    0 /    1
x[910] =    0 /    1
x[911] =   -5 /   17
x[912] =    0 /    1
x[913] =    0 /    1
x[914] =    0 /    1
x[915] =    1 /   51
x[916] =    0 /    1
x[917] =  -10 /   51
x[918] =    0 /    1
x[919] =    0 /    1
x[920] =    0 /    1
x[921] =    0 /    1
x[922] =    0 /    1
x[923] =    0 /    1
x[924] =    0 /    1
x[925] =    0 /    1
x[926] =    0 /    1
x[927] =    0 /    1
x[928] =   -5 /   51
x[929] =    0 /    1
x[930] =    0 /    1
x[931] =    0 /    1
x[932] =   -5 /   51
x[933] =    0 /    1
x[934] =    0 /    1
x[935] =  -16 /   51
x[936] =    0 /    1
x[937] =    5 /   51
x[938] =    0 /    1
x[939] =    0 /    1
x[940] =    0 /    1
x[941] =   -5 /   51
x[942] =    0 /    1
x[943] =  -16 /   51
x[944] =    0 /    1
x[945] =    0 /    1
x[946] =    0 /    1
x[947] =    0 /    1
x[948] =    0 /    1
x[949] =  -10 /   51
x[950] =    0 /    1
x[951] =    0 /    1
x[952] =    0 /    1
x[953] =    0 /    1
x[954] =    0 /    1
x[955] =    0 /    1
x[956] =    0 /    1
x[957] =    0 /    1
x[958] =    0 /    1
x[959] =    0 /    1
x[960] =    0 /    1
x[961] =    0 /    1
x[962] =    0 /    1
x[963] =    0 /    1
x[964] =    0 /    1
x[965] =    0 /    1
x[966] =    0 /    1
x[967] =  -16 /   51
x[968] =    0 /    1
x[969] =   10 /   51
x[970] =    0 /    1
x[971] =    0 /    1
x[972] =    0 /    1
x[973] =    0 /    1
x[974] =    0 /    1
x[975] =   -5 /   17
x[976] =    0 /    1
x[977] =    0 /    1
x[978] =    0 /    1
x[979] =    1 /   51
x[980] =    0 /    1
x[981] =  -10 /   51
x[982] =    0 /    1
x[983] =   10 /   51
x[984] =   -1 /   17
x[985] =    0 /    1
x[986] =    0 /    1
x[987] =   -1 /   17
x[988] =    0 /    1
x[989] =    0 /    1
x[990] =    0 /    1
x[991] =    5 /   17
x[992] =   -5 /   51
x[993] =    7 /   51
x[994] =    0 /    1
x[995] =    2 /   51
x[996] =   -2 /   51
x[997] =    7 /   51
x[998] =    0 /    1
x[999] =  -25 /   51
x[1000] =    0 /    1
x[1001] =    0 /    1
x[1002] =    0 /    1
x[1003] =    0 /    1
x[1004] =    0 /    1
x[1005] =   -7 /   51
x[1006] =    0 /    1
x[1007] =   14 /   51
x[1008] =    6 /   17
x[1009] =    0 /    1
x[1010] =   14 /   51
x[1011] =   10 /   51
x[1012] =   -1 /   17
x[1013] =    0 /    1
x[1014] =    0 /    1
x[1015] =   -1 /   17
x[1016] =    0 /    1
x[1017] =    0 /    1
x[1018] =    0 /    1
x[1019] =    0 /    1
x[1020] =    8 /   51
x[1021] =    0 /    1
x[1022] =    0 /    1
x[1023] =  -13 /   51
x[1024] =   11 /   51
x[1025] =    0 /    1
x[1026] =    0 /    1
x[1027] =  -25 /   51
x[1028] =    0 /    1
x[1029] =    0 /    1
x[1030] =    0 /    1
x[1031] =    0 /    1
x[1032] =    0 /    1
x[1033] =  -25 /   51
x[1034] =    0 /    1
x[1035] =    0 /    1
x[1036] =    0 /    1
x[1037] =    0 /    1
x[1038] =    0 /    1
x[1039] =   10 /   51
x[1040] =    2 /   51
x[1041] =    0 /    1
x[1042] =    0 /    1
x[1043] =    5 /   51
x[1044] =    2 /   51
x[1045] =    0 /    1
x[1046] =    0 /    1
x[1047] =    5 /   17
x[1048] =    0 /    1
x[1049] =    7 /   51
x[1050] =    0 /    1
x[1051] =   10 /   51
x[1052] =    0 /    1
x[1053] =    7 /   51
x[1054] =    0 /    1
x[1055] =   -6 /   17
x[1056] =    0 /    1
x[1057] =    0 /    1
x[1058] =    0 /    1
x[1059] =    0 /    1
x[1060] =    0 /    1
x[1061] =    0 /    1
x[1062] =    0 /    1
x[1063] =   14 /   51
x[1064] =    6 /   17
x[1065] =    0 /    1
x[1066] =   14 /   51
x[1067] =   10 /   51
x[1068] =    2 /   51
x[1069] =    0 /    1
x[1070] =    0 /    1
x[1071] =    5 /   51
x[1072] =    2 /   51
x[1073] =    0 /    1
x[1074] =    0 /    1
x[1075] =    0 /    1
x[1076] =   13 /   51
x[1077] =    0 /    1
x[1078] =    0 /    1
x[1079] =   -5 /   51
x[1080] =   13 /   51
x[1081] =    0 /    1
x[1082] =    0 /    1
x[1083] =   -6 /   17
x[1084] =    0 /    1
x[1085] =    0 /    1
x[1086] =    0 /    1
x[1087] =    0 /    1
x[1088] =    0 /    1
x[1089] =   -6 /   17
x[1090] =    0 /    1
x[1091] =    0 /    1
x[1092] =    0 /    1
x[1093] =    0 /    1
x[1094] =    0 /    1
x[1095] =    0 /    1
x[1096] =    0 /    1
x[1097] =    0 /    1
x[1098] =    0 /    1
x[1099] =    0 /    1
x[1100] =    0 /    1
x[1101] =    0 /    1
x[1102] =    0 /    1
x[1103] =    0 /    1
x[1104] =    0 /    1
x[1105] =    0 /    1
x[1106] =    0 /    1
x[1107] =    0 /    1
x[1108] =    0 /    1
x[1109] =    0 /    1
x[1110] =    0 /    1
x[1111] =    0 /    1
x[1112] =    0 /    1
x[1113] =    0 /    1
x[1114] =    0 /    1
x[1115] =    0 /    1
x[1116] =    0 /    1
x[1117] =    0 /    1
x[1118] =    0 /    1
x[1119] =    0 /    1
x[1120] =    0 /    1
x[1121] =    0 /    1
x[1122] =    0 /    1
x[1123] =    0 /    1
x[1124] =    0 /    1
x[1125] =    0 /    1
x[1126] =    0 /    1
x[1127] =    0 /    1
x[1128] =    0 /    1
x[1129] =    0 /    1
x[1130] =    0 /    1
x[1131] =    0 /    1
x[1132] =    0 /    1
x[1133] =    0 /    1
x[1134] =    0 /    1
x[1135] =    0 /    1
x[1136] =    0 /    1
x[1137] =    0 /    1
x[1138] =    0 /    1
x[1139] =    0 /    1
x[1140] =    0 /    1
x[1141] =    0 /    1
x[1142] =    0 /    1
x[1143] =    0 /    1
x[1144] =    0 /    1
x[1145] =    0 /    1
x[1146] =    0 /    1
x[1147] =    0 /    1
x[1148] =    0 /    1
x[1149] =    0 /    1
x[1150] =    0 /    1
x[1151] =    0 /    1
x[1152] =    0 /    1
x[1153] =    0 /    1
x[1154] =    0 /    1
x[1155] =    0 /    1
x[1156] =    0 /    1
x[1157] =    0 /    1
x[1158] =    0 /    1
x[1159] =    0 /    1
x[1160] =    0 /    1
x[1161] =    0 /    1
x[1162] =    0 /    1
x[1163] =    0 /    1
x[1164] =    0 /    1
x[1165] =    0 /    1
x[1166] =    0 /    1
x[1167] =    0 /    1
x[1168] =    0 /    1
x[1169] =    0 /    1
x[1170] =    0 /    1
x[1171] =    0 /    1
x[1172] =    0 /    1
x[1173] =    0 /    1
x[1174] =    0 /    1
x[1175] =    0 /    1
x[1176] =    0 /    1
x[1177] =    0 /    1
x[1178] =    0 /    1
x[1179] =    0 /    1
x[1180] =    0 /    1
x[1181] =    0 /    1
x[1182] =    0 /    1
x[1183] =    0 /    1
x[1184] =    0 /    1
x[1185] =    0 /    1
x[1186] =    0 /    1
x[1187] =    0 /    1
x[1188] =    0 /    1
x[1189] =    0 /    1
x[1190] =    0 /    1
x[1191] =    0 /    1
x[1192] =    0 /    1
x[1193] =    0 /    1
x[1194] =    0 /    1
x[1195] =    0 /    1
x[1196] =    0 /    1
x[1197] =    0 /    1
x[1198] =    0 /    1
x[1199] =    0 /    1
x[1200] =    0 /    1
x[1201] =    0 /    1
x[1202] =    0 /    1
x[1203] =    0 /    1
x[1204] =    0 /    1
x[1205] =    0 /    1
x[1206] =    0 /    1
x[1207] =    0 /    1
x[1208] =    0 /    1
x[1209] =    0 /    1
x[1210] =    0 /    1
x[1211] =    0 /    1
x[1212] =    0 /    1
x[1213] =    0 /    1
x[1214] =    0 /    1
x[1215] =    0 /    1
x[1216] =    0 /    1
x[1217] =    0 /    1
x[1218] =    0 /    1
x[1219] =    0 /    1
x[1220] =    0 /    1
x[1221] =    0 /    1
x[1222] =    0 /    1
x[1223] =    0 /    1
x[1224] =    0 /    1
x[1225] =    0 /    1
x[1226] =    0 /    1
x[1227] =    0 /    1
x[1228] =    0 /    1
x[1229] =    0 /    1
x[1230] =    0 /    1
x[1231] =    0 /    1
x[1232] =    0 /    1
x[1233] =    0 /    1
x[1234] =    0 /    1
x[1235] =    0 /    1
x[1236] =    0 /    1
x[1237] =    0 /    1
x[1238] =    0 /    1
x[1239] =    0 /    1
x[1240] =    0 /    1
x[1241] =    0 /    1
x[1242] =    0 /    1
x[1243] =    0 /    1
x[1244] =    0 /    1
x[1245] =    0 /    1
x[1246] =    0 /    1
x[1247] =    0 /    1
x[1248] =    0 /    1
x[1249] =    0 /    1
x[1250] =    0 /    1
x[1251] =    0 /    1
x[1252] =    0 /    1
x[1253] =    0 /    1
x[1254] =    0 /    1
x[1255] =    0 /    1
x[1256] =    0 /    1
x[1257] =    0 /    1
x[1258] =    0 /    1
x[1259] =    0 /    1
x[1260] =    0 /    1
x[1261] =    0 /    1
x[1262] =    0 /    1
x[1263] =    0 /    1
x[1264] =    0 /    1
x[1265] =    0 /    1
x[1266] =    0 /    1
x[1267] =    0 /    1
x[1268] =    0 /    1
x[1269] =    0 /    1
x[1270] =    0 /    1
x[1271] =    0 /    1
x[1272] =    0 /    1
x[1273] =    0 /    1
x[1274] =    0 /    1
x[1275] =    0 /    1
x[1276] =    0 /    1
x[1277] =    0 /    1
x[1278] =    0 /    1
x[1279] =    0 /    1
x[1280] =    0 /    1
x[1281] =    0 /    1
x[1282] =    0 /    1
x[1283] =    0 /    1
x[1284] =    0 /    1
x[1285] =    0 /    1
x[1286] =    0 /    1
x[1287] =    0 /    1
x[1288] =    0 /    1
x[1289] =    0 /    1
x[1290] =    0 /    1
x[1291] =    0 /    1
x[1292] =    0 /    1
x[1293] =    0 /    1
x[1294] =    0 /    1
x[1295] =    0 /    1
x[1296] =    0 /    1
x[1297] =    0 /    1
x[1298] =    0 /    1
x[1299] =    0 /    1
x[1300] =    0 /    1
x[1301] =    0 /    1
x[1302] =    0 /    1
x[1303] =    0 /    1
x[1304] =    0 /    1
x[1305] =    0 /    1
x[1306] =    0 /    1
x[1307] =    0 /    1
x[1308] =    0 /    1
x[1309] =    0 /    1
x[1310] =    0 /    1
x[1311] =    0 /    1
x[1312] =    0 /    1
x[1313] =    0 /    1
x[1314] =    0 /    1
x[1315] =    0 /    1
x[1316] =    0 /    1
x[1317] =    0 /    1
x[1318] =    0 /    1
x[1319] =    0 /    1
x[1320] =    0 /    1
x[1321] =    0 /    1
x[1322] =    0 /    1
x[1323] =    0 /    1
x[1324] =    0 /    1
x[1325] =    0 /    1
x[1326] =    0 /    1
x[1327] =    0 /    1
x[1328] =    0 /    1
x[1329] =    0 /    1
x[1330] =    0 /    1
x[1331] =    0 /    1
x[1332] =    0 /    1
x[1333] =    0 /    1
x[1334] =    0 /    1
x[1335] =    0 /    1
x[1336] =    6 /   17
x[1337] =   -2 /   51
x[1338] =    0 /    1
x[1339] =    0 /    1
x[1340] =    6 /   17
x[1341] =    0 /    1
x[1342] =    0 /    1
x[1343] =   -1 /    3
x[1344] =   25 /   51
x[1345] =    0 /    1
x[1346] =    0 /    1
x[1347] =   -1 /    3
x[1348] =   25 /   51
x[1349] =    2 /   51
x[1350] =    0 /    1
x[1351] =    0 /    1
x[1352] =    0 /    1
x[1353] =    2 /   51
x[1354] =    0 /    1
x[1355] =    2 /   51
x[1356] =    0 /    1
x[1357] =    2 /   51
x[1358] =    0 /    1
x[1359] =    0 /    1
x[1360] =    5 /   17
x[1361] =    0 /    1
x[1362] =    0 /    1
x[1363] =    0 /    1
x[1364] =    5 /   17
x[1365] =    0 /    1
x[1366] =    0 /    1
x[1367] =    0 /    1
x[1368] =    0 /    1
x[1369] =    0 /    1
x[1370] =    0 /    1
x[1371] =    0 /    1
x[1372] =    0 /    1
x[1373] =    2 /   51
x[1374] =    0 /    1
x[1375] =    0 /    1
x[1376] =    0 /    1
x[1377] =    0 /    1
x[1378] =    0 /    1
x[1379] =    0 /    1
x[1380] =    0 /    1
x[1381] =    0 /    1
x[1382] =    0 /    1
x[1383] =    0 /    1
x[1384] =    6 /   17
x[1385] =    0 /    1
x[1386] =    0 /    1
x[1387] =    0 /    1
x[1388] =    0 /    1
x[1389] =    0 /    1
x[1390] =    0 /    1
x[1391] =    0 /    1
x[1392] =   25 /   51
x[1393] =    0 /    1
x[1394] =    0 /    1
x[1395] =   -1 /    3
x[1396] =    7 /   51
x[1397] =    2 /   51
x[1398] =    0 /    1
x[1399] =    0 /    1
x[1400] =    0 /    1
x[1401] =    0 /    1
x[1402] =    0 /    1
x[1403] =    0 /    1
x[1404] =    0 /    1
x[1405] =    0 /    1
x[1406] =    0 /    1
x[1407] =    0 /    1
x[1408] =    5 /   17
x[1409] =    0 /    1
x[1410] =    0 /    1
x[1411] =    0 /    1
x[1412] =   -1 /   17
x[1413] =    0 /    1
x[1414] =    0 /    1
x[1415] =    0 /    1
x[1416] =    0 /    1
x[1417] =    0 /    1
x[1418] =    0 /    1
x[1419] =    0 /    1
x[1420] =   -6 /   17
x[1421] =    2 /   51
x[1422] =    0 /    1
x[1423] =    0 /    1
x[1424] =    0 /    1
x[1425] =    0 /    1
x[1426] =    0 /    1
x[1427] =    0 /    1
x[1428] =    0 /    1
x[1429] =    0 /    1
x[1430] =    0 /    1
x[1431] =    0 /    1
x[1432] =    0 /    1
x[1433] =    0 /    1
x[1434] =    0 /    1
x[1435] =    0 /    1
x[1436] =   10 /   51
x[1437] =    0 /    1
x[1438] =   10 /   51
x[1439] =    0 /    1
x[1440] =    0 /    1
x[1441] =    0 /    1
x[1442] =    0 /    1
x[1443] =    0 /    1
x[1444] =    0 /    1
x[1445] =    0 /    1
x[1446] =    0 /    1
x[1447] =    0 /    1
x[1448] =    0 /    1
x[1449] =    0 /    1
x[1450] =    0 /    1
x[1451] =    0 /    1
x[1452] =    0 /    1
x[1453] =    0 /    1
x[1454] =    0 /    1
x[1455] =    0 /    1
x[1456] =    0 /    1
x[1457] =    0 /    1
x[1458] =    0 /    1
x[1459] =    0 /    1
x[1460] =    0 /    1
x[1461] =    0 /    1
x[1462] =   10 /   51
x[1463] =    0 /    1
x[1464] =    0 /    1
x[1465] =    0 /    1
x[1466] =    0 /    1
x[1467] =    0 /    1
x[1468] =    0 /    1
x[1469] =    0 /    1
x[1470] =    0 /    1
x[1471] =    0 /    1
x[1472] =    0 /    1
x[1473] =    0 /    1
x[1474] =    0 /    1
x[1475] =    0 /    1
x[1476] =    0 /    1
x[1477] =    0 /    1
x[1478] =    0 /    1
