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


Writing problem data to `adage.lp'...
216439 lines were written
GLPK Simplex Optimizer, v4.47
214416 rows, 2014 columns, 857725 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 =   2.857142857e-01  infeas =  6.690e-12 (0)
*  2500: obj =   3.939393939e-01  infeas =  1.452e-12 (0)
*  3000: obj =   4.339622642e-01  infeas =  1.750e-12 (0)
*  3500: obj =   4.498269896e-01  infeas =  2.932e-12 (0)
*  4000: obj =   4.621848739e-01  infeas =  3.061e-12 (0)
*  4500: obj =   4.666666667e-01  infeas =  1.516e-12 (0)
*  5000: obj =   4.677419355e-01  infeas =  1.702e-12 (0)
*  5500: obj =   4.705882353e-01  infeas =  1.948e-12 (0)
*  6000: obj =   4.705882353e-01  infeas =  1.340e-12 (0)
*  6500: obj =   4.705882353e-01  infeas =  2.517e-12 (0)
*  7000: obj =   4.705882353e-01  infeas =  2.184e-12 (0)
*  7500: obj =   4.705882353e-01  infeas =  1.531e-12 (0)
*  8000: obj =   4.705882353e-01  infeas =  1.504e-12 (0)
*  8500: obj =   4.705882353e-01  infeas =  4.394e-12 (0)
*  9000: obj =   4.705882353e-01  infeas =  1.912e-12 (0)
*  9500: obj =   4.705882353e-01  infeas =  2.517e-12 (0)
* 10000: obj =   4.705882353e-01  infeas =  2.419e-12 (0)
* 10500: obj =   4.705882353e-01  infeas =  6.843e-12 (0)
* 11000: obj =   4.705882353e-01  infeas =  1.170e-12 (0)
* 11135: obj =   4.705882353e-01  infeas =  2.881e-12 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4705882353

Values on the Variables:
x[0] =    0 /    1
x[1] =    0 /    1
x[2] =    0 /    1
x[3] =    0 /    1
x[4] =    0 /    1
x[5] =    0 /    1
x[6] =    0 /    1
x[7] =    0 /    1
x[8] =    0 /    1
x[9] =    0 /    1
x[10] =    0 /    1
x[11] =    0 /    1
x[12] =    0 /    1
x[13] =    8 /   51
x[14] =    0 /    1
x[15] =    0 /    1
x[16] =    0 /    1
x[17] =   -8 /   51
x[18] =    0 /    1
x[19] =   23 /  153
x[20] =    0 /    1
x[21] =    0 /    1
x[22] =    0 /    1
x[23] =  -23 /  153
x[24] =    0 /    1
x[25] =    0 /    1
x[26] =    0 /    1
x[27] =    0 /    1
x[28] =    0 /    1
x[29] =    0 /    1
x[30] =    0 /    1
x[31] =    8 /  153
x[32] =    0 /    1
x[33] =    0 /    1
x[34] =    0 /    1
x[35] =    1 /  153
x[36] =   -1 /   17
x[37] =    0 /    1
x[38] =    0 /    1
x[39] =    0 /    1
x[40] =    0 /    1
x[41] =    0 /    1
x[42] =    0 /    1
x[43] =    0 /    1
x[44] =    0 /    1
x[45] =    0 /    1
x[46] =    0 /    1
x[47] =    0 /    1
x[48] =    0 /    1
x[49] =   50 /  153
x[50] =    0 /    1
x[51] =    0 /    1
x[52] =    0 /    1
x[53] =  -50 /  153
x[54] =    0 /    1
x[55] =   49 /  153
x[56] =    0 /    1
x[57] =    0 /    1
x[58] =    0 /    1
x[59] =  -49 /  153
x[60] =    0 /    1
x[61] =    3 /   17
x[62] =    0 /    1
x[63] =    0 /    1
x[64] =    0 /    1
x[65] =   -3 /   17
x[66] =    0 /    1
x[67] =   35 /  153
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =    0 /    1
x[71] =  -26 /  153
x[72] =   -1 /   17
x[73] =    8 /   51
x[74] =    0 /    1
x[75] =    0 /    1
x[76] =   -8 /   51
x[77] =    0 /    1
x[78] =    0 /    1
x[79] =   23 /  153
x[80] =    0 /    1
x[81] =    0 /    1
x[82] =  -23 /  153
x[83] =    0 /    1
x[84] =    0 /    1
x[85] =    6 /   17
x[86] =    2 /  153
x[87] =   16 /  153
x[88] =   -5 /   17
x[89] =   -3 /   17
x[90] =    0 /    1
x[91] =   52 /  153
x[92] =    2 /  153
x[93] =    1 /    9
x[94] =   -5 /   17
x[95] =  -26 /  153
x[96] =    0 /    1
x[97] =    6 /   17
x[98] =    2 /  153
x[99] =    8 /   51
x[100] =   28 /  153
x[101] =  -12 /   17
x[102] =    0 /    1
x[103] =   52 /  153
x[104] =    1 /  153
x[105] =    0 /    1
x[106] =   28 /  153
x[107] =   -9 /   17
x[108] =    0 /    1
x[109] =    0 /    1
x[110] =    0 /    1
x[111] =    0 /    1
x[112] =    0 /    1
x[113] =    0 /    1
x[114] =    0 /    1
x[115] =   -1 /  153
x[116] =    0 /    1
x[117] =    0 /    1
x[118] =    1 /  153
x[119] =    0 /    1
x[120] =    0 /    1
x[121] =    6 /   17
x[122] =    2 /  153
x[123] =    8 /  153
x[124] =   -1 /   17
x[125] =  -55 /  153
x[126] =    0 /    1
x[127] =   52 /  153
x[128] =    2 /  153
x[129] =    1 /   17
x[130] =   -1 /   17
x[131] =   -6 /   17
x[132] =    0 /    1
x[133] =    6 /   17
x[134] =    2 /  153
x[135] =   16 /  153
x[136] =   -1 /   17
x[137] =   -7 /   17
x[138] =    0 /    1
x[139] =    5 /   17
x[140] =    0 /    1
x[141] =    0 /    1
x[142] =   -1 /   17
x[143] =   -4 /   17
x[144] =    0 /    1
x[145] =    0 /    1
x[146] =    0 /    1
x[147] =    0 /    1
x[148] =    0 /    1
x[149] =    0 /    1
x[150] =    0 /    1
x[151] =    0 /    1
x[152] =    0 /    1
x[153] =    0 /    1
x[154] =    8 /   51
x[155] =    0 /    1
x[156] =    0 /    1
x[157] =    0 /    1
x[158] =   -8 /   51
x[159] =    0 /    1
x[160] =   23 /  153
x[161] =    0 /    1
x[162] =    0 /    1
x[163] =    0 /    1
x[164] =  -23 /  153
x[165] =    0 /    1
x[166] =    1 /  153
x[167] =    0 /    1
x[168] =    0 /    1
x[169] =   -1 /  153
x[170] =    0 /    1
x[171] =    0 /    1
x[172] =    1 /   17
x[173] =    0 /    1
x[174] =    0 /    1
x[175] =   -1 /  153
x[176] =    1 /  153
x[177] =   -1 /   17
x[178] =    0 /    1
x[179] =    0 /    1
x[180] =    0 /    1
x[181] =    0 /    1
x[182] =    0 /    1
x[183] =    0 /    1
x[184] =    0 /    1
x[185] =    0 /    1
x[186] =    0 /    1
x[187] =    0 /    1
x[188] =    0 /    1
x[189] =    0 /    1
x[190] =   50 /  153
x[191] =    0 /    1
x[192] =    0 /    1
x[193] =    0 /    1
x[194] =  -50 /  153
x[195] =    0 /    1
x[196] =   49 /  153
x[197] =    0 /    1
x[198] =    0 /    1
x[199] =    0 /    1
x[200] =  -49 /  153
x[201] =    0 /    1
x[202] =    3 /   17
x[203] =    0 /    1
x[204] =    0 /    1
x[205] =    0 /    1
x[206] =   -3 /   17
x[207] =    0 /    1
x[208] =   35 /  153
x[209] =    0 /    1
x[210] =    0 /    1
x[211] =    0 /    1
x[212] =  -26 /  153
x[213] =   -1 /   17
x[214] =   50 /  153
x[215] =    0 /    1
x[216] =    0 /    1
x[217] =  -50 /  153
x[218] =    0 /    1
x[219] =    0 /    1
x[220] =   49 /  153
x[221] =    0 /    1
x[222] =    0 /    1
x[223] =  -49 /  153
x[224] =    0 /    1
x[225] =    0 /    1
x[226] =    6 /   17
x[227] =    2 /  153
x[228] =   44 /  153
x[229] =  -73 /  153
x[230] =   -3 /   17
x[231] =    0 /    1
x[232] =   52 /  153
x[233] =    2 /  153
x[234] =    5 /   17
x[235] =  -73 /  153
x[236] =  -26 /  153
x[237] =    0 /    1
x[238] =    6 /   17
x[239] =    2 /  153
x[240] =    5 /   17
x[241] =    0 /    1
x[242] =  -12 /   17
x[243] =    7 /  153
x[244] =   52 /  153
x[245] =    2 /  153
x[246] =    3 /   17
x[247] =    0 /    1
x[248] =   -9 /   17
x[249] =    0 /    1
x[250] =    3 /   17
x[251] =    0 /    1
x[252] =    0 /    1
x[253] =   -3 /   17
x[254] =    0 /    1
x[255] =    0 /    1
x[256] =   26 /  153
x[257] =    0 /    1
x[258] =    0 /    1
x[259] =  -26 /  153
x[260] =    0 /    1
x[261] =    0 /    1
x[262] =    6 /   17
x[263] =    1 /  153
x[264] =    0 /    1
x[265] =    0 /    1
x[266] =  -55 /  153
x[267] =    0 /    1
x[268] =   52 /  153
x[269] =    2 /  153
x[270] =    0 /    1
x[271] =    0 /    1
x[272] =   -6 /   17
x[273] =    0 /    1
x[274] =    6 /   17
x[275] =    2 /  153
x[276] =    0 /    1
x[277] =    0 /    1
x[278] =   -7 /   17
x[279] =    7 /  153
x[280] =    4 /   17
x[281] =    0 /    1
x[282] =    0 /    1
x[283] =    0 /    1
x[284] =   -4 /   17
x[285] =    0 /    1
x[286] =    8 /   51
x[287] =    0 /    1
x[288] =   -8 /   51
x[289] =    0 /    1
x[290] =    0 /    1
x[291] =    0 /    1
x[292] =    8 /   51
x[293] =    0 /    1
x[294] =   -8 /   51
x[295] =    0 /    1
x[296] =    0 /    1
x[297] =    0 /    1
x[298] =   23 /  153
x[299] =    0 /    1
x[300] =    2 /  153
x[301] =    0 /    1
x[302] =  -25 /  153
x[303] =    0 /    1
x[304] =    3 /   17
x[305] =   -5 /  153
x[306] =    2 /  153
x[307] =    0 /    1
x[308] =   -8 /   51
x[309] =    0 /    1
x[310] =   -1 /  153
x[311] =    0 /    1
x[312] =    2 /  153
x[313] =    0 /    1
x[314] =   -1 /  153
x[315] =    0 /    1
x[316] =    7 /  153
x[317] =    0 /    1
x[318] =    2 /  153
x[319] =    0 /    1
x[320] =    0 /    1
x[321] =   -1 /   17
x[322] =   23 /  153
x[323] =    0 /    1
x[324] =  -23 /  153
x[325] =    0 /    1
x[326] =    0 /    1
x[327] =    0 /    1
x[328] =   23 /  153
x[329] =    0 /    1
x[330] =  -23 /  153
x[331] =    0 /    1
x[332] =    0 /    1
x[333] =    0 /    1
x[334] =   29 /  153
x[335] =   19 /  153
x[336] =  -22 /  153
x[337] =    0 /    1
x[338] =  -26 /  153
x[339] =    0 /    1
x[340] =    3 /   17
x[341] =   20 /  153
x[342] =  -22 /  153
x[343] =    0 /    1
x[344] =  -25 /  153
x[345] =    0 /    1
x[346] =   23 /  153
x[347] =    0 /    1
x[348] =  -22 /  153
x[349] =    0 /    1
x[350] =   -1 /  153
x[351] =    0 /    1
x[352] =    3 /   17
x[353] =    4 /  153
x[354] =  -22 /  153
x[355] =    0 /    1
x[356] =    0 /    1
x[357] =   -1 /   17
x[358] =    3 /   17
x[359] =   44 /  153
x[360] =   -5 /   17
x[361] =   -3 /   17
x[362] =    1 /  153
x[363] =    0 /    1
x[364] =    3 /   17
x[365] =   44 /  153
x[366] =   -5 /   17
x[367] =  -26 /  153
x[368] =    0 /    1
x[369] =    0 /    1
x[370] =   29 /  153
x[371] =   43 /  153
x[372] =   -1 /    9
x[373] =    5 /   17
x[374] = -100 /  153
x[375] =    0 /    1
x[376] =    3 /   17
x[377] =   44 /  153
x[378] =   -1 /    9
x[379] =    5 /   17
x[380] =  -11 /   17
x[381] =    0 /    1
x[382] =   29 /  153
x[383] =   44 /  153
x[384] =   -1 /    9
x[385] =    1 /  153
x[386] =  -64 /  153
x[387] =    7 /  153
x[388] =    3 /   17
x[389] =   26 /  153
x[390] =   -1 /    9
x[391] =    1 /  153
x[392] =  -37 /  153
x[393] =    0 /    1
x[394] =    3 /   17
x[395] =   44 /  153
x[396] =   28 /  153
x[397] =  -12 /   17
x[398] =    1 /   17
x[399] =    0 /    1
x[400] =    3 /   17
x[401] =   26 /  153
x[402] =   28 /  153
x[403] =   -9 /   17
x[404] =    0 /    1
x[405] =    0 /    1
x[406] =    0 /    1
x[407] =    0 /    1
x[408] =    0 /    1
x[409] =    0 /    1
x[410] =    0 /    1
x[411] =    0 /    1
x[412] =    0 /    1
x[413] =    0 /    1
x[414] =    0 /    1
x[415] =    0 /    1
x[416] =    0 /    1
x[417] =    0 /    1
x[418] =   -1 /   51
x[419] =    0 /    1
x[420] =   28 /  153
x[421] =    0 /    1
x[422] =  -25 /  153
x[423] =    0 /    1
x[424] =   -4 /  153
x[425] =    0 /    1
x[426] =   28 /  153
x[427] =    0 /    1
x[428] =   -8 /   51
x[429] =    0 /    1
x[430] =    0 /    1
x[431] =    0 /    1
x[432] =   28 /  153
x[433] =    0 /    1
x[434] =   -1 /  153
x[435] =    0 /    1
x[436] =  -19 /  153
x[437] =    0 /    1
x[438] =   28 /  153
x[439] =    0 /    1
x[440] =    0 /    1
x[441] =   -1 /   17
x[442] =    8 /  153
x[443] =    0 /    1
x[444] =    1 /  153
x[445] =   -1 /   17
x[446] =    0 /    1
x[447] =    0 /    1
x[448] =   -1 /  153
x[449] =    0 /    1
x[450] =    1 /  153
x[451] =    0 /    1
x[452] =    0 /    1
x[453] =    0 /    1
x[454] =   29 /  153
x[455] =   14 /  153
x[456] =   -1 /    9
x[457] =    0 /    1
x[458] =  -26 /  153
x[459] =    0 /    1
x[460] =    3 /   17
x[461] =    1 /    9
x[462] =   -1 /    9
x[463] =   -2 /  153
x[464] =  -25 /  153
x[465] =    0 /    1
x[466] =    2 /   17
x[467] =    0 /    1
x[468] =   -1 /    9
x[469] =    0 /    1
x[470] =   -1 /  153
x[471] =    0 /    1
x[472] =    3 /   17
x[473] =   -1 /  153
x[474] =   -1 /    9
x[475] =    0 /    1
x[476] =    0 /    1
x[477] =   -1 /   17
x[478] =    3 /   17
x[479] =    2 /   17
x[480] =   -1 /   17
x[481] =  -55 /  153
x[482] =   19 /  153
x[483] =    0 /    1
x[484] =    3 /   17
x[485] =    2 /   17
x[486] =   -1 /   17
x[487] =   -6 /   17
x[488] =    2 /   17
x[489] =    0 /    1
x[490] =   29 /  153
x[491] =    2 /   17
x[492] =    0 /    1
x[493] =    4 /   17
x[494] = -100 /  153
x[495] =    1 /    9
x[496] =    3 /   17
x[497] =    2 /   17
x[498] =    0 /    1
x[499] =    4 /   17
x[500] =  -11 /   17
x[501] =    2 /   17
x[502] =   29 /  153
x[503] =    2 /   17
x[504] =    0 /    1
x[505] =   -8 /  153
x[506] =  -64 /  153
x[507] =   25 /  153
x[508] =    3 /   17
x[509] =    2 /   17
x[510] =    0 /    1
x[511] =   -8 /  153
x[512] =  -37 /  153
x[513] =    0 /    1
x[514] =    3 /   17
x[515] =    2 /   17
x[516] =   -1 /   17
x[517] =   -7 /   17
x[518] =    3 /   17
x[519] =    0 /    1
x[520] =    3 /   17
x[521] =    2 /   17
x[522] =   -1 /   17
x[523] =   -4 /   17
x[524] =    0 /    1
x[525] =    0 /    1
x[526] =    0 /    1
x[527] =    0 /    1
x[528] =    0 /    1
x[529] =    0 /    1
x[530] =    0 /    1
x[531] =    0 /    1
x[532] =    0 /    1
x[533] =    0 /    1
x[534] =    3 /   17
x[535] =   23 /  153
x[536] =    0 /    1
x[537] =    0 /    1
x[538] =  -50 /  153
x[539] =    0 /    1
x[540] =   25 /  153
x[541] =    8 /   51
x[542] =    0 /    1
x[543] =    0 /    1
x[544] =  -49 /  153
x[545] =    0 /    1
x[546] =   10 /  153
x[547] =    0 /    1
x[548] =    0 /    1
x[549] =    1 /    9
x[550] =   -3 /   17
x[551] =    0 /    1
x[552] =    2 /   17
x[553] =    0 /    1
x[554] =    0 /    1
x[555] =    1 /    9
x[556] =  -26 /  153
x[557] =   -1 /   17
x[558] =   25 /  153
x[559] =   -1 /  153
x[560] =    0 /    1
x[561] =   -8 /   51
x[562] =    0 /    1
x[563] =    0 /    1
x[564] =   23 /  153
x[565] =    0 /    1
x[566] =    0 /    1
x[567] =  -23 /  153
x[568] =    0 /    1
x[569] =    0 /    1
x[570] =    3 /   17
x[571] =   28 /  153
x[572] =    1 /    9
x[573] =   -5 /   17
x[574] =   -3 /   17
x[575] =    0 /    1
x[576] =   25 /  153
x[577] =   28 /  153
x[578] =    2 /   17
x[579] =   -5 /   17
x[580] =  -26 /  153
x[581] =    0 /    1
x[582] =    3 /   17
x[583] =   28 /  153
x[584] =   25 /  153
x[585] =   28 /  153
x[586] =  -12 /   17
x[587] =    0 /    1
x[588] =   25 /  153
x[589] =   28 /  153
x[590] =    0 /    1
x[591] =   28 /  153
x[592] =   -9 /   17
x[593] =    0 /    1
x[594] =    1 /  153
x[595] =    0 /    1
x[596] =   -1 /  153
x[597] =    0 /    1
x[598] =    0 /    1
x[599] =    0 /    1
x[600] =    0 /    1
x[601] =    0 /    1
x[602] =   -1 /  153
x[603] =    1 /  153
x[604] =    0 /    1
x[605] =    0 /    1
x[606] =    3 /   17
x[607] =   28 /  153
x[608] =    1 /   17
x[609] =   -1 /   17
x[610] =  -55 /  153
x[611] =    0 /    1
x[612] =   25 /  153
x[613] =   38 /  153
x[614] =    0 /    1
x[615] =   -1 /   17
x[616] =   -6 /   17
x[617] =    0 /    1
x[618] =    3 /   17
x[619] =   28 /  153
x[620] =    1 /    9
x[621] =   -1 /   17
x[622] =   -7 /   17
x[623] =    0 /    1
x[624] =   25 /  153
x[625] =   20 /  153
x[626] =    0 /    1
x[627] =   -1 /   17
x[628] =   -4 /   17
x[629] =    0 /    1
x[630] =    0 /    1
x[631] =    0 /    1
x[632] =    0 /    1
x[633] =    8 /   51
x[634] =    0 /    1
x[635] =    0 /    1
x[636] =    0 /    1
x[637] =   -8 /   51
x[638] =    0 /    1
x[639] =   25 /  153
x[640] =   -2 /  153
x[641] =    0 /    1
x[642] =    0 /    1
x[643] =  -23 /  153
x[644] =    0 /    1
x[645] =    1 /  153
x[646] =    0 /    1
x[647] =    0 /    1
x[648] =   -1 /  153
x[649] =    0 /    1
x[650] =    0 /    1
x[651] =    1 /   17
x[652] =    0 /    1
x[653] =    0 /    1
x[654] =   -1 /  153
x[655] =    1 /  153
x[656] =   -1 /   17
x[657] =    0 /    1
x[658] =    0 /    1
x[659] =    0 /    1
x[660] =    0 /    1
x[661] =    0 /    1
x[662] =    0 /    1
x[663] =    3 /   17
x[664] =   23 /  153
x[665] =    0 /    1
x[666] =    0 /    1
x[667] =  -50 /  153
x[668] =    0 /    1
x[669] =   25 /  153
x[670] =    8 /   51
x[671] =    0 /    1
x[672] =    0 /    1
x[673] =  -49 /  153
x[674] =    0 /    1
x[675] =    3 /   17
x[676] =    0 /    1
x[677] =    0 /    1
x[678] =    0 /    1
x[679] =   -3 /   17
x[680] =    0 /    1
x[681] =   25 /  153
x[682] =   10 /  153
x[683] =    0 /    1
x[684] =    0 /    1
x[685] =  -26 /  153
x[686] =   -1 /   17
x[687] =   25 /  153
x[688] =   25 /  153
x[689] =    0 /    1
x[690] =  -50 /  153
x[691] =    0 /    1
x[692] =    0 /    1
x[693] =   25 /  153
x[694] =    8 /   51
x[695] =    0 /    1
x[696] =  -49 /  153
x[697] =    0 /    1
x[698] =    0 /    1
x[699] =    3 /   17
x[700] =   28 /  153
x[701] =    5 /   17
x[702] =  -73 /  153
x[703] =   -3 /   17
x[704] =    0 /    1
x[705] =   25 /  153
x[706] =   28 /  153
x[707] =    5 /   17
x[708] =  -73 /  153
x[709] =  -26 /  153
x[710] =    1 /  153
x[711] =    3 /   17
x[712] =   28 /  153
x[713] =    5 /   17
x[714] =    0 /    1
x[715] =  -12 /   17
x[716] =    8 /  153
x[717] =   25 /  153
x[718] =   28 /  153
x[719] =   28 /  153
x[720] =    0 /    1
x[721] =   -9 /   17
x[722] =    0 /    1
x[723] =   25 /  153
x[724] =    2 /  153
x[725] =    0 /    1
x[726] =   -3 /   17
x[727] =    0 /    1
x[728] =    0 /    1
x[729] =   25 /  153
x[730] =    1 /  153
x[731] =    0 /    1
x[732] =  -26 /  153
x[733] =    0 /    1
x[734] =    0 /    1
x[735] =    3 /   17
x[736] =   28 /  153
x[737] =    0 /    1
x[738] =    0 /    1
x[739] =  -55 /  153
x[740] =    0 /    1
x[741] =   25 /  153
x[742] =   28 /  153
x[743] =    0 /    1
x[744] =    0 /    1
x[745] =   -6 /   17
x[746] =    1 /  153
x[747] =    3 /   17
x[748] =   28 /  153
x[749] =    0 /    1
x[750] =    0 /    1
x[751] =   -7 /   17
x[752] =    8 /  153
x[753] =   25 /  153
x[754] =   11 /  153
x[755] =    0 /    1
x[756] =    0 /    1
x[757] =   -4 /   17
x[758] =    0 /    1
x[759] =    3 /   17
x[760] =   23 /  153
x[761] =  -50 /  153
x[762] =    0 /    1
x[763] =    0 /    1
x[764] =    0 /    1
x[765] =   29 /  153
x[766] =   23 /  153
x[767] =   -8 /   51
x[768] =   -1 /   51
x[769] =  -25 /  153
x[770] =    0 /    1
x[771] =   25 /  153
x[772] =    0 /    1
x[773] =   -8 /   51
x[774] =    0 /    1
x[775] =   -1 /  153
x[776] =    0 /    1
x[777] =    3 /   17
x[778] =   22 /  153
x[779] =  -49 /  153
x[780] =    0 /    1
x[781] =    0 /    1
x[782] =    0 /    1
x[783] =   29 /  153
x[784] =   14 /   51
x[785] =  -16 /   51
x[786] =    1 /   51
x[787] =  -26 /  153
x[788] =    0 /    1
x[789] =   29 /  153
x[790] =   20 /  153
x[791] =  -16 /   51
x[792] =    0 /    1
x[793] =   -1 /  153
x[794] =    0 /    1
x[795] =    3 /   17
x[796] =    5 /   17
x[797] =  -73 /  153
x[798] =   -3 /   17
x[799] =   28 /  153
x[800] =    0 /    1
x[801] =    3 /   17
x[802] =    5 /   17
x[803] =  -73 /  153
x[804] =  -26 /  153
x[805] =    3 /   17
x[806] =    0 /    1
x[807] =   29 /  153
x[808] =    5 /   17
x[809] =   -5 /   17
x[810] =    5 /   17
x[811] = -100 /  153
x[812] =   26 /  153
x[813] =   29 /  153
x[814] =    5 /   17
x[815] =   -5 /   17
x[816] =    0 /    1
x[817] =  -64 /  153
x[818] =   35 /  153
x[819] =    3 /   17
x[820] =    5 /   17
x[821] =    0 /    1
x[822] =  -12 /   17
x[823] =    4 /   17
x[824] =    0 /    1
x[825] =    3 /   17
x[826] =    5 /   17
x[827] =    0 /    1
x[828] =   -9 /   17
x[829] =    1 /   17
x[830] =    0 /    1
x[831] =    3 /   17
x[832] =    0 /    1
x[833] =   -3 /   17
x[834] =    0 /    1
x[835] =    0 /    1
x[836] =    0 /    1
x[837] =   29 /  153
x[838] =   -5 /  153
x[839] =    1 /  153
x[840] =    0 /    1
x[841] =  -25 /  153
x[842] =    0 /    1
x[843] =    0 /    1
x[844] =    0 /    1
x[845] =    1 /  153
x[846] =    0 /    1
x[847] =   -1 /  153
x[848] =    0 /    1
x[849] =   26 /  153
x[850] =    0 /    1
x[851] =  -26 /  153
x[852] =    0 /    1
x[853] =    0 /    1
x[854] =    0 /    1
x[855] =   29 /  153
x[856] =    1 /    9
x[857] =  -44 /  153
x[858] =   16 /  153
x[859] =  -26 /  153
x[860] =    8 /  153
x[861] =   28 /  153
x[862] =    1 /    9
x[863] =  -44 /  153
x[864] =    0 /    1
x[865] =   -1 /  153
x[866] =    0 /    1
x[867] =    3 /   17
x[868] =    0 /    1
x[869] =    0 /    1
x[870] =  -55 /  153
x[871] =   28 /  153
x[872] =    0 /    1
x[873] =    3 /   17
x[874] =    0 /    1
x[875] =    0 /    1
x[876] =   -6 /   17
x[877] =    3 /   17
x[878] =    0 /    1
x[879] =   29 /  153
x[880] =    0 /    1
x[881] =    1 /   17
x[882] =    4 /   17
x[883] = -100 /  153
x[884] =   26 /  153
x[885] =   29 /  153
x[886] =    0 /    1
x[887] =    8 /  153
x[888] =   -8 /  153
x[889] =  -64 /  153
x[890] =   35 /  153
x[891] =    3 /   17
x[892] =    0 /    1
x[893] =    0 /    1
x[894] =   -7 /   17
x[895] =    4 /   17
x[896] =    0 /    1
x[897] =    3 /   17
x[898] =    0 /    1
x[899] =    0 /    1
x[900] =   -4 /   17
x[901] =    1 /   17
x[902] =    0 /    1
x[903] =   29 /  153
x[904] =   -5 /  153
x[905] =   -8 /   51
x[906] =   28 /  153
x[907] =   -5 /  153
x[908] =   -8 /   51
x[909] =   11 /  153
x[910] =  -10 /  153
x[911] =    0 /    1
x[912] =   50 /  153
x[913] =   -5 /  153
x[914] =   -8 /   51
x[915] =   29 /  153
x[916] =    0 /    1
x[917] =  -50 /  153
x[918] =   28 /  153
x[919] =   -5 /  153
x[920] =   -8 /   51
x[921] =   20 /  153
x[922] =    8 /  153
x[923] =   -3 /   17
x[924] =   55 /  153
x[925] =   -5 /  153
x[926] =    2 /  153
x[927] =    7 /   51
x[928] =  -46 /  153
x[929] =   -3 /   17
x[930] =    7 /   17
x[931] =   -5 /  153
x[932] =    2 /  153
x[933] =    7 /   51
x[934] =    3 /   17
x[935] =  -12 /   17
x[936] =   55 /  153
x[937] =   -5 /  153
x[938] =    2 /  153
x[939] =   13 /   51
x[940] =   -4 /   17
x[941] =  -55 /  153
x[942] =    7 /   17
x[943] =   -5 /  153
x[944] =    2 /  153
x[945] =   13 /   51
x[946] =   -4 /   17
x[947] =   -7 /   17
x[948] =   50 /  153
x[949] =   -5 /  153
x[950] =  -23 /  153
x[951] =    0 /    1
x[952] =    2 /  153
x[953] =   -8 /   51
x[954] =   28 /  153
x[955] =   -5 /  153
x[956] =  -23 /  153
x[957] =    0 /    1
x[958] =    0 /    1
x[959] =    0 /    1
x[960] =   55 /  153
x[961] =   -5 /  153
x[962] =  -22 /  153
x[963] =    3 /   17
x[964] =  -28 /  153
x[965] =   -3 /   17
x[966] =    7 /   17
x[967] =   -5 /  153
x[968] =  -22 /  153
x[969] =    3 /   17
x[970] =    5 /   17
x[971] =  -12 /   17
x[972] =   50 /  153
x[973] =    1 /    9
x[974] =   -5 /   17
x[975] =    0 /    1
x[976] =    1 /   51
x[977] =  -25 /  153
x[978] =   28 /  153
x[979] =    1 /    9
x[980] =   -5 /   17
x[981] =    0 /    1
x[982] =    1 /  153
x[983] =   -1 /  153
x[984] =   50 /  153
x[985] =    1 /    9
x[986] =   -5 /   17
x[987] =  -26 /  153
x[988] =   10 /   51
x[989] =  -26 /  153
x[990] =   28 /  153
x[991] =    1 /    9
x[992] =   -5 /   17
x[993] =  -26 /  153
x[994] =    3 /   17
x[995] =   -1 /  153
x[996] =   55 /  153
x[997] =    1 /    9
x[998] =   -1 /    9
x[999] =    0 /    1
x[1000] =    5 /   17
x[1001] = -100 /  153
x[1002] =    7 /   17
x[1003] =    1 /    9
x[1004] =   -1 /    9
x[1005] =    0 /    1
x[1006] =    1 /  153
x[1007] =  -64 /  153
x[1008] =   50 /  153
x[1009] =    1 /    9
x[1010] =   28 /  153
x[1011] =  -13 /   17
x[1012] =   47 /  153
x[1013] =  -25 /  153
x[1014] =   28 /  153
x[1015] =    1 /    9
x[1016] =   28 /  153
x[1017] =  -13 /   17
x[1018] =    5 /   17
x[1019] =   -1 /  153
x[1020] =   10 /  153
x[1021] =  -10 /  153
x[1022] =    0 /    1
x[1023] =   50 /  153
x[1024] =  -10 /  153
x[1025] =    0 /    1
x[1026] =   10 /  153
x[1027] =    0 /    1
x[1028] =  -50 /  153
x[1029] =   28 /  153
x[1030] =  -10 /  153
x[1031] =    0 /    1
x[1032] =    1 /  153
x[1033] =    8 /  153
x[1034] =   -3 /   17
x[1035] =   55 /  153
x[1036] =  -10 /  153
x[1037] =   28 /  153
x[1038] =    0 /    1
x[1039] =  -46 /  153
x[1040] =   -3 /   17
x[1041] =    7 /   17
x[1042] =  -10 /  153
x[1043] =   28 /  153
x[1044] =    0 /    1
x[1045] =    3 /   17
x[1046] =  -12 /   17
x[1047] =   55 /  153
x[1048] =  -10 /  153
x[1049] =   28 /  153
x[1050] =    2 /   17
x[1051] =   -4 /   17
x[1052] =  -55 /  153
x[1053] =    7 /   17
x[1054] =  -10 /  153
x[1055] =   28 /  153
x[1056] =    2 /   17
x[1057] =   -4 /   17
x[1058] =   -7 /   17
x[1059] =   14 /   51
x[1060] =  -10 /  153
x[1061] =    1 /  153
x[1062] =   -1 /   17
x[1063] =    0 /    1
x[1064] =   -8 /   51
x[1065] =    2 /   17
x[1066] =  -10 /  153
x[1067] =    1 /  153
x[1068] =   -1 /   17
x[1069] =    0 /    1
x[1070] =    0 /    1
x[1071] =   55 /  153
x[1072] =  -10 /  153
x[1073] =   -1 /    9
x[1074] =    3 /   17
x[1075] =  -28 /  153
x[1076] =   -3 /   17
x[1077] =    7 /   17
x[1078] =  -10 /  153
x[1079] =   -1 /    9
x[1080] =    3 /   17
x[1081] =    5 /   17
x[1082] =  -12 /   17
x[1083] =   50 /  153
x[1084] =    1 /   17
x[1085] =   -1 /   17
x[1086] =  -28 /  153
x[1087] =    1 /   51
x[1088] =  -25 /  153
x[1089] =   28 /  153
x[1090] =    1 /   17
x[1091] =   -1 /   17
x[1092] =  -28 /  153
x[1093] =    1 /  153
x[1094] =   -1 /  153
x[1095] =   50 /  153
x[1096] =    1 /   17
x[1097] =   -1 /   17
x[1098] =   -6 /   17
x[1099] =   10 /   51
x[1100] =  -26 /  153
x[1101] =   28 /  153
x[1102] =    1 /   17
x[1103] =   -1 /   17
x[1104] =   -6 /   17
x[1105] =    3 /   17
x[1106] =   -1 /  153
x[1107] =   55 /  153
x[1108] =    1 /   17
x[1109] =    0 /    1
x[1110] =   -1 /   17
x[1111] =    5 /   17
x[1112] = -100 /  153
x[1113] =    7 /   17
x[1114] =    1 /   17
x[1115] =    0 /    1
x[1116] =   -1 /   17
x[1117] =    1 /  153
x[1118] =  -64 /  153
x[1119] =   50 /  153
x[1120] =    1 /   17
x[1121] =   -1 /   17
x[1122] =   -8 /   17
x[1123] =   47 /  153
x[1124] =  -25 /  153
x[1125] =   28 /  153
x[1126] =    1 /   17
x[1127] =   -1 /   17
x[1128] =   -8 /   17
x[1129] =    5 /   17
x[1130] =   -1 /  153
x[1131] =   23 /  153
x[1132] =    0 /    1
x[1133] =    0 /    1
x[1134] =    2 /  153
x[1135] =    0 /    1
x[1136] =  -25 /  153
x[1137] =   -1 /  153
x[1138] =    0 /    1
x[1139] =    0 /    1
x[1140] =    2 /  153
x[1141] =    0 /    1
x[1142] =   -1 /  153
x[1143] =   16 /   51
x[1144] =    0 /    1
x[1145] =    0 /    1
x[1146] =  -22 /  153
x[1147] =    0 /    1
x[1148] =  -26 /  153
x[1149] =   23 /  153
x[1150] =    0 /    1
x[1151] =    0 /    1
x[1152] =  -22 /  153
x[1153] =    0 /    1
x[1154] =   -1 /  153
x[1155] =   55 /  153
x[1156] =    0 /    1
x[1157] =    1 /    9
x[1158] =   -1 /    9
x[1159] =    5 /   17
x[1160] = -100 /  153
x[1161] =    7 /   17
x[1162] =    0 /    1
x[1163] =    1 /    9
x[1164] =   -1 /    9
x[1165] =    1 /  153
x[1166] =  -64 /  153
x[1167] =   -2 /  153
x[1168] =    0 /    1
x[1169] =   -1 /  153
x[1170] =   28 /  153
x[1171] =    0 /    1
x[1172] =  -25 /  153
x[1173] =  -26 /  153
x[1174] =    0 /    1
x[1175] =   -1 /  153
x[1176] =   28 /  153
x[1177] =    0 /    1
x[1178] =   -1 /  153
x[1179] =   44 /  153
x[1180] =    0 /    1
x[1181] =   -1 /  153
x[1182] =   -1 /    9
x[1183] =    0 /    1
x[1184] =  -26 /  153
x[1185] =   19 /  153
x[1186] =    0 /    1
x[1187] =   -1 /  153
x[1188] =   -1 /    9
x[1189] =    0 /    1
x[1190] =   -1 /  153
x[1191] =   55 /  153
x[1192] =    0 /    1
x[1193] =    1 /   17
x[1194] =    0 /    1
x[1195] =    4 /   17
x[1196] = -100 /  153
x[1197] =    7 /   17
x[1198] =    0 /    1
x[1199] =    1 /   17
x[1200] =    0 /    1
x[1201] =   -8 /  153
x[1202] =  -64 /  153
x[1203] =   55 /  153
x[1204] =    1 /   17
x[1205] =    0 /    1
x[1206] =    8 /  153
x[1207] =   -5 /   17
x[1208] =   -3 /   17
x[1209] =    7 /   17
x[1210] =    1 /   17
x[1211] =    0 /    1
x[1212] =    8 /  153
x[1213] =   28 /  153
x[1214] =  -12 /   17
x[1215] =   55 /  153
x[1216] =    1 /   17
x[1217] =    0 /    1
x[1218] =    0 /    1
x[1219] =   -1 /   17
x[1220] =  -55 /  153
x[1221] =    7 /   17
x[1222] =    1 /   17
x[1223] =    0 /    1
x[1224] =    0 /    1
x[1225] =   -1 /   17
x[1226] =   -7 /   17
x[1227] =    8 /   51
x[1228] =    0 /    1
x[1229] =    0 /    1
x[1230] =    0 /    1
x[1231] =    0 /    1
x[1232] =   -8 /   51
x[1233] =    1 /  153
x[1234] =    0 /    1
x[1235] =    0 /    1
x[1236] =    0 /    1
x[1237] =   -1 /  153
x[1238] =    0 /    1
x[1239] =   50 /  153
x[1240] =    0 /    1
x[1241] =    0 /    1
x[1242] =    0 /    1
x[1243] =    0 /    1
x[1244] =  -50 /  153
x[1245] =   10 /  153
x[1246] =    0 /    1
x[1247] =    0 /    1
x[1248] =    0 /    1
x[1249] =    1 /    9
x[1250] =   -3 /   17
x[1251] =   55 /  153
x[1252] =    1 /   17
x[1253] =    0 /    1
x[1254] =    4 /   17
x[1255] =  -73 /  153
x[1256] =   -3 /   17
x[1257] =    7 /   17
x[1258] =    1 /   17
x[1259] =    0 /    1
x[1260] =    4 /   17
x[1261] =    0 /    1
x[1262] =  -12 /   17
x[1263] =   55 /  153
x[1264] =    0 /    1
x[1265] =    0 /    1
x[1266] =    0 /    1
x[1267] =    0 /    1
x[1268] =  -55 /  153
x[1269] =    7 /   17
x[1270] =    0 /    1
x[1271] =    0 /    1
x[1272] =    0 /    1
x[1273] =    0 /    1
x[1274] =   -7 /   17
x[1275] =   49 /  153
x[1276] =    0 /    1
x[1277] =    0 /    1
x[1278] =   -8 /   51
x[1279] =    0 /    1
x[1280] =  -25 /  153
x[1281] =   25 /  153
x[1282] =    0 /    1
x[1283] =    0 /    1
x[1284] =   -8 /   51
x[1285] =    0 /    1
x[1286] =   -1 /  153
x[1287] =   50 /  153
x[1288] =    0 /    1
x[1289] =    8 /   51
x[1290] =  -16 /   51
x[1291] =    0 /    1
x[1292] =  -26 /  153
x[1293] =   28 /  153
x[1294] =    0 /    1
x[1295] =    7 /   51
x[1296] =  -16 /   51
x[1297] =    0 /    1
x[1298] =   -1 /  153
x[1299] =   55 /  153
x[1300] =    0 /    1
x[1301] =    5 /   17
x[1302] =   -5 /   17
x[1303] =    5 /   17
x[1304] = -100 /  153
x[1305] =    7 /   17
x[1306] =    0 /    1
x[1307] =    5 /   17
x[1308] =   -5 /   17
x[1309] =    1 /  153
x[1310] =  -64 /  153
x[1311] =    7 /  153
x[1312] =    0 /    1
x[1313] =    1 /    9
x[1314] =    1 /  153
x[1315] =    0 /    1
x[1316] =  -25 /  153
x[1317] =   -1 /    9
x[1318] =    0 /    1
x[1319] =    1 /    9
x[1320] =    1 /  153
x[1321] =    0 /    1
x[1322] =   -1 /  153
x[1323] =   50 /  153
x[1324] =    0 /    1
x[1325] =    1 /    9
x[1326] =  -44 /  153
x[1327] =    1 /   51
x[1328] =  -26 /  153
x[1329] =   28 /  153
x[1330] =    0 /    1
x[1331] =    1 /    9
x[1332] =  -44 /  153
x[1333] =    0 /    1
x[1334] =   -1 /  153
x[1335] =   55 /  153
x[1336] =    0 /    1
x[1337] =    0 /    1
x[1338] =    1 /   17
x[1339] =    4 /   17
x[1340] = -100 /  153
x[1341] =    7 /   17
x[1342] =    0 /    1
x[1343] =    0 /    1
x[1344] =    1 /   17
x[1345] =   -8 /  153
x[1346] =  -64 /  153
x[1347] =   50 /  153
x[1348] =    0 /    1
x[1349] =  -50 /  153
x[1350] =   37 /  153
x[1351] =   14 /  153
x[1352] =  -50 /  153
x[1353] =    2 /   17
x[1354] =    8 /  153
x[1355] =   -3 /   17
x[1356] =   64 /  153
x[1357] =   14 /  153
x[1358] =   -8 /   51
x[1359] =   19 /  153
x[1360] =  -46 /  153
x[1361] =   -3 /   17
x[1362] =   64 /  153
x[1363] =   14 /  153
x[1364] =   -8 /   51
x[1365] =   37 /  153
x[1366] =   -4 /   17
x[1367] =  -55 /  153
x[1368] =   59 /  153
x[1369] =   14 /  153
x[1370] =  -49 /  153
x[1371] =    0 /    1
x[1372] =    0 /    1
x[1373] =   -8 /   51
x[1374] =   37 /  153
x[1375] =    4 /   51
x[1376] =  -49 /  153
x[1377] =    0 /    1
x[1378] =    0 /    1
x[1379] =    0 /    1
x[1380] =   64 /  153
x[1381] =   11 /   51
x[1382] =  -16 /   51
x[1383] =    2 /   51
x[1384] =  -28 /  153
x[1385] =   -3 /   17
x[1386] =   59 /  153
x[1387] =    4 /   17
x[1388] =  -73 /  153
x[1389] =    0 /    1
x[1390] =    1 /   51
x[1391] =  -25 /  153
x[1392] =   37 /  153
x[1393] =    4 /   17
x[1394] =  -73 /  153
x[1395] =    0 /    1
x[1396] =    1 /  153
x[1397] =   -1 /  153
x[1398] =   59 /  153
x[1399] =    4 /   17
x[1400] =  -73 /  153
x[1401] =  -26 /  153
x[1402] =   10 /   51
x[1403] =  -26 /  153
x[1404] =   37 /  153
x[1405] =    4 /   17
x[1406] =  -73 /  153
x[1407] =  -26 /  153
x[1408] =    3 /   17
x[1409] =   -1 /  153
x[1410] =   64 /  153
x[1411] =    4 /   17
x[1412] =   -5 /   17
x[1413] =    0 /    1
x[1414] =    5 /   17
x[1415] = -100 /  153
x[1416] =   59 /  153
x[1417] =    4 /   17
x[1418] =    0 /    1
x[1419] =  -13 /   17
x[1420] =   47 /  153
x[1421] =  -25 /  153
x[1422] =   37 /  153
x[1423] =    4 /   17
x[1424] =    0 /    1
x[1425] =  -13 /   17
x[1426] =    5 /   17
x[1427] =   -1 /  153
x[1428] =    3 /   17
x[1429] =    0 /    1
x[1430] =   -3 /   17
x[1431] =   64 /  153
x[1432] =    8 /  153
x[1433] =    1 /  153
x[1434] =    0 /    1
x[1435] =  -46 /  153
x[1436] =   -3 /   17
x[1437] =   64 /  153
x[1438] =    8 /  153
x[1439] =    1 /  153
x[1440] =    2 /   17
x[1441] =   -4 /   17
x[1442] =  -55 /  153
x[1443] =   59 /  153
x[1444] =    0 /    1
x[1445] =  -26 /  153
x[1446] =   -1 /   17
x[1447] =    0 /    1
x[1448] =   -8 /   51
x[1449] =   35 /  153
x[1450] =    0 /    1
x[1451] =  -26 /  153
x[1452] =   -1 /   17
x[1453] =    0 /    1
x[1454] =    0 /    1
x[1455] =   64 /  153
x[1456] =    8 /  153
x[1457] =  -44 /  153
x[1458] =    3 /   17
x[1459] =  -28 /  153
x[1460] =   -3 /   17
x[1461] =   59 /  153
x[1462] =   -1 /   17
x[1463] =    0 /    1
x[1464] =  -28 /  153
x[1465] =    1 /   51
x[1466] =  -25 /  153
x[1467] =   37 /  153
x[1468] =   -1 /   17
x[1469] =    0 /    1
x[1470] =  -28 /  153
x[1471] =    1 /  153
x[1472] =   -1 /  153
x[1473] =   59 /  153
x[1474] =   -1 /   17
x[1475] =    0 /    1
x[1476] =   -6 /   17
x[1477] =   10 /   51
x[1478] =  -26 /  153
x[1479] =   37 /  153
x[1480] =   -1 /   17
x[1481] =    0 /    1
x[1482] =   -6 /   17
x[1483] =    3 /   17
x[1484] =   -1 /  153
x[1485] =   64 /  153
x[1486] =   -1 /   17
x[1487] =    1 /   17
x[1488] =   -1 /   17
x[1489] =    5 /   17
x[1490] = -100 /  153
x[1491] =   59 /  153
x[1492] =   -1 /   17
x[1493] =    0 /    1
x[1494] =   -8 /   17
x[1495] =   47 /  153
x[1496] =  -25 /  153
x[1497] =   37 /  153
x[1498] =   -1 /   17
x[1499] =    0 /    1
x[1500] =   -8 /   17
x[1501] =    5 /   17
x[1502] =   -1 /  153
x[1503] =   31 /  153
x[1504] =    2 /  153
x[1505] =    0 /    1
x[1506] =   -8 /   51
x[1507] =    0 /    1
x[1508] =   -1 /   17
x[1509] =   31 /  153
x[1510] =    2 /  153
x[1511] =   13 /   51
x[1512] =  -46 /  153
x[1513] =  -26 /  153
x[1514] =    0 /    1
x[1515] =   31 /  153
x[1516] =    2 /  153
x[1517] =    7 /   51
x[1518] =    3 /   17
x[1519] =   -9 /   17
x[1520] =    0 /    1
x[1521] =    7 /  153
x[1522] =    2 /  153
x[1523] =    0 /    1
x[1524] =    0 /    1
x[1525] =    0 /    1
x[1526] =   -1 /   17
x[1527] =   31 /  153
x[1528] =    2 /  153
x[1529] =   13 /   51
x[1530] =   -4 /   17
x[1531] =   -6 /   17
x[1532] =    2 /   17
x[1533] =   31 /  153
x[1534] =    2 /  153
x[1535] =   13 /   51
x[1536] =   -4 /   17
x[1537] =   -4 /   17
x[1538] =    0 /    1
x[1539] =   31 /  153
x[1540] =  -23 /  153
x[1541] =   -8 /  153
x[1542] =   31 /  153
x[1543] =  -23 /  153
x[1544] =    0 /    1
x[1545] =    0 /    1
x[1546] =    1 /  153
x[1547] =   -1 /   17
x[1548] =    4 /  153
x[1549] =  -23 /  153
x[1550] =    1 /   17
x[1551] =   10 /  153
x[1552] =    0 /    1
x[1553] =    0 /    1
x[1554] =   31 /  153
x[1555] =  -22 /  153
x[1556] =   25 /  153
x[1557] =  -25 /  153
x[1558] =    0 /    1
x[1559] =   -1 /   17
x[1560] =   31 /  153
x[1561] =  -22 /  153
x[1562] =   38 /  153
x[1563] =  -28 /  153
x[1564] =  -26 /  153
x[1565] =    7 /  153
x[1566] =   31 /  153
x[1567] =  -22 /  153
x[1568] =    3 /   17
x[1569] =    5 /   17
x[1570] =   -9 /   17
x[1571] =    0 /    1
x[1572] =   31 /  153
x[1573] =  -22 /  153
x[1574] =    0 /    1
x[1575] =    0 /    1
x[1576] =    0 /    1
x[1577] =   -1 /   17
x[1578] =   53 /  153
x[1579] =   -5 /   17
x[1580] =    0 /    1
x[1581] =   16 /  153
x[1582] =   -8 /   51
x[1583] =    0 /    1
x[1584] =   53 /  153
x[1585] =   -5 /   17
x[1586] =    0 /    1
x[1587] =    1 /  153
x[1588] =    0 /    1
x[1589] =   -1 /   17
x[1590] =   26 /  153
x[1591] =   -5 /   17
x[1592] =  -26 /  153
x[1593] =    3 /   17
x[1594] =    2 /   17
x[1595] =    0 /    1
x[1596] =   53 /  153
x[1597] =   -5 /   17
x[1598] =  -26 /  153
x[1599] =   43 /  153
x[1600] =  -25 /  153
x[1601] =    0 /    1
x[1602] =   53 /  153
x[1603] =   -5 /   17
x[1604] =  -26 /  153
x[1605] =    3 /   17
x[1606] =    0 /    1
x[1607] =   -1 /   17
x[1608] =   53 /  153
x[1609] =   -1 /    9
x[1610] =    5 /   17
x[1611] =  -11 /   17
x[1612] =    3 /   17
x[1613] =   -1 /   17
x[1614] =   53 /  153
x[1615] =   -1 /    9
x[1616] =    0 /    1
x[1617] =    5 /   17
x[1618] =  -11 /   17
x[1619] =    2 /   17
x[1620] =   53 /  153
x[1621] =   -1 /    9
x[1622] =    0 /    1
x[1623] =    1 /  153
x[1624] =  -37 /  153
x[1625] =    0 /    1
x[1626] =   53 /  153
x[1627] =   -1 /    9
x[1628] =    1 /  153
x[1629] =  -37 /  153
x[1630] =    1 /   17
x[1631] =   -1 /   17
x[1632] =   53 /  153
x[1633] =   28 /  153
x[1634] =  -13 /   17
x[1635] =   20 /   51
x[1636] =   -8 /   51
x[1637] =    0 /    1
x[1638] =   53 /  153
x[1639] =   28 /  153
x[1640] =  -13 /   17
x[1641] =    5 /   17
x[1642] =    0 /    1
x[1643] =   -1 /   17
x[1644] =   26 /  153
x[1645] =   28 /  153
x[1646] =   -9 /   17
x[1647] =    1 /   17
x[1648] =    2 /   17
x[1649] =    0 /    1
x[1650] =   26 /  153
x[1651] =   28 /  153
x[1652] =   -7 /   51
x[1653] =   -8 /   51
x[1654] =    0 /    1
x[1655] =   -1 /   17
x[1656] =   26 /  153
x[1657] =   28 /  153
x[1658] =    2 /   17
x[1659] =  -46 /  153
x[1660] =  -26 /  153
x[1661] =    0 /    1
x[1662] =   26 /  153
x[1663] =   28 /  153
x[1664] =    0 /    1
x[1665] =    3 /   17
x[1666] =   -9 /   17
x[1667] =    0 /    1
x[1668] =  -19 /  153
x[1669] =   28 /  153
x[1670] =    0 /    1
x[1671] =    0 /    1
x[1672] =    0 /    1
x[1673] =   -1 /   17
x[1674] =   26 /  153
x[1675] =   28 /  153
x[1676] =    4 /   17
x[1677] =   -4 /   17
x[1678] =   -6 /   17
x[1679] =    0 /    1
x[1680] =   26 /  153
x[1681] =   28 /  153
x[1682] =    2 /   17
x[1683] =   -4 /   17
x[1684] =   -4 /   17
x[1685] =    0 /    1
x[1686] =    8 /  153
x[1687] =    1 /  153
x[1688] =   -1 /   17
x[1689] =   -1 /  153
x[1690] =    1 /  153
x[1691] =    0 /    1
x[1692] =    0 /    1
x[1693] =    0 /    1
x[1694] =    0 /    1
x[1695] =   26 /  153
x[1696] =   -1 /    9
x[1697] =   16 /  153
x[1698] =  -25 /  153
x[1699] =    1 /   17
x[1700] =   -1 /   17
x[1701] =   26 /  153
x[1702] =   -1 /    9
x[1703] =    3 /   17
x[1704] =  -28 /  153
x[1705] =  -26 /  153
x[1706] =    2 /   17
x[1707] =   26 /  153
x[1708] =   -1 /    9
x[1709] =    3 /   17
x[1710] =    5 /   17
x[1711] =   -9 /   17
x[1712] =    0 /    1
x[1713] =   26 /  153
x[1714] =   -1 /    9
x[1715] =    0 /    1
x[1716] =    0 /    1
x[1717] =    0 /    1
x[1718] =   -1 /   17
x[1719] =    2 /   17
x[1720] =   -1 /   17
x[1721] =   -6 /   17
x[1722] =    3 /   17
x[1723] =    2 /   17
x[1724] =    0 /    1
x[1725] =    2 /   17
x[1726] =    0 /    1
x[1727] =    4 /   17
x[1728] =  -11 /   17
x[1729] =    3 /   17
x[1730] =    2 /   17
x[1731] =    2 /   17
x[1732] =    0 /    1
x[1733] =   -8 /  153
x[1734] =  -37 /  153
x[1735] =    1 /   17
x[1736] =    2 /   17
x[1737] =    2 /   17
x[1738] =   -1 /   17
x[1739] =   -4 /   17
x[1740] =    1 /   17
x[1741] =    2 /   17
x[1742] =    0 /    1
x[1743] =   -1 /  153
x[1744] =    1 /  153
x[1745] =  -29 /  153
x[1746] =    1 /  153
x[1747] =    0 /    1
x[1748] =    1 /  153
x[1749] =    0 /    1
x[1750] =    3 /   17
x[1751] =   22 /  153
x[1752] =    1 /  153
x[1753] =    0 /    1
x[1754] =  -23 /  153
x[1755] =    0 /    1
x[1756] =    0 /    1
x[1757] =   -5 /  153
x[1758] =    1 /  153
x[1759] =    0 /    1
x[1760] =  -23 /  153
x[1761] =    0 /    1
x[1762] =    3 /   17
x[1763] =    5 /   17
x[1764] =    1 /  153
x[1765] =    0 /    1
x[1766] =   -2 /   17
x[1767] =    5 /   17
x[1768] =  -73 /  153
x[1769] =    9 /   17
x[1770] =    1 /  153
x[1771] =    8 /  153
x[1772] =   -2 /   17
x[1773] =    1 /  153
x[1774] =  -73 /  153
x[1775] =  -55 /  153
x[1776] =    1 /  153
x[1777] =    0 /    1
x[1778] =    3 /   17
x[1779] =    0 /    1
x[1780] =    3 /   17
x[1781] =    1 /    9
x[1782] =    1 /  153
x[1783] =    0 /    1
x[1784] =   -2 /   17
x[1785] =    0 /    1
x[1786] =    0 /    1
x[1787] =  -10 /  153
x[1788] =    1 /  153
x[1789] =    0 /    1
x[1790] =   -2 /   17
x[1791] =    0 /    1
x[1792] =    3 /   17
x[1793] =   64 /  153
x[1794] =    1 /  153
x[1795] =   -1 /  153
x[1796] =   -3 /   17
x[1797] =    4 /   17
x[1798] =  -73 /  153
x[1799] =    9 /   17
x[1800] =    1 /  153
x[1801] =   26 /  153
x[1802] =   -3 /   17
x[1803] =   -8 /  153
x[1804] =  -73 /  153
x[1805] =   -4 /  153
x[1806] =  -23 /  153
x[1807] =    0 /    1
x[1808] =    0 /    1
x[1809] =    0 /    1
x[1810] =    3 /   17
x[1811] =    1 /    3
x[1812] =  -23 /  153
x[1813] =    0 /    1
x[1814] =    0 /    1
x[1815] =    5 /   17
x[1816] =  -73 /  153
x[1817] =    9 /   17
x[1818] =  -23 /  153
x[1819] =   14 /  153
x[1820] =    0 /    1
x[1821] =    1 /  153
x[1822] =  -73 /  153
x[1823] =  -31 /  153
x[1824] =  -23 /  153
x[1825] =    0 /    1
x[1826] =    3 /   17
x[1827] =    0 /    1
x[1828] =    3 /   17
x[1829] =   46 /  153
x[1830] =  -46 /  153
x[1831] =    0 /    1
x[1832] =   10 /   17
x[1833] =  -46 /  153
x[1834] =    0 /    1
x[1835] =   46 /  153
x[1836] =    3 /   17
x[1837] =  -13 /   17
x[1838] =   73 /  153
x[1839] =  -46 /  153
x[1840] =    0 /    1
x[1841] =   37 /  153
x[1842] =   -4 /   17
x[1843] =  -28 /  153
x[1844] =   10 /   17
x[1845] =  -46 /  153
x[1846] =    0 /    1
x[1847] =   64 /  153
x[1848] =   -4 /   17
x[1849] =   -8 /   17
x[1850] =   73 /  153
x[1851] =  -46 /  153
x[1852] =  -26 /  153
x[1853] =    3 /   17
x[1854] =  -28 /  153
x[1855] =    0 /    1
x[1856] =   10 /   17
x[1857] =  -46 /  153
x[1858] =  -26 /  153
x[1859] =    6 /   17
x[1860] =    5 /   17
x[1861] =  -13 /   17
x[1862] =   19 /  153
x[1863] =   -2 /   17
x[1864] =    5 /   17
x[1865] =  -73 /  153
x[1866] =    0 /    1
x[1867] =    3 /   17
x[1868] =   67 /  153
x[1869] =   -2 /   17
x[1870] =    5 /   17
x[1871] =  -11 /   17
x[1872] =    5 /  153
x[1873] =    0 /    1
x[1874] =    5 /   17
x[1875] =   -2 /   17
x[1876] =    5 /   17
x[1877] =  -11 /   17
x[1878] =    0 /    1
x[1879] =    3 /   17
x[1880] =   46 /  153
x[1881] =   -2 /   17
x[1882] =    0 /    1
x[1883] =    0 /    1
x[1884] =    5 /   17
x[1885] =  -73 /  153
x[1886] =   10 /   17
x[1887] =   -2 /   17
x[1888] =    0 /    1
x[1889] =    0 /    1
x[1890] =    1 /  153
x[1891] =  -73 /  153
x[1892] =    5 /   17
x[1893] =   -2 /   17
x[1894] =    1 /  153
x[1895] =  -73 /  153
x[1896] =    2 /   17
x[1897] =    3 /   17
x[1898] =   10 /   17
x[1899] =    3 /   17
x[1900] =  -13 /   17
x[1901] =   -3 /   17
x[1902] =    3 /   17
x[1903] =   -1 /   17
x[1904] =    3 /   17
x[1905] =    0 /    1
x[1906] =   -2 /   17
x[1907] =    0 /    1
x[1908] =    0 /    1
x[1909] =   -4 /   17
x[1910] =    3 /   17
x[1911] =    0 /    1
x[1912] =   -2 /   17
x[1913] =    0 /    1
x[1914] =    3 /   17
x[1915] =   46 /  153
x[1916] =    3 /   17
x[1917] =   -1 /   17
x[1918] =   -3 /   17
x[1919] =    4 /   17
x[1920] =  -73 /  153
x[1921] =    7 /   17
x[1922] =    3 /   17
x[1923] =    2 /   17
x[1924] =   -3 /   17
x[1925] =   -8 /  153
x[1926] =  -73 /  153
x[1927] =   46 /  153
x[1928] =   -2 /   17
x[1929] =    0 /    1
x[1930] =    0 /    1
x[1931] =    5 /   17
x[1932] =  -73 /  153
x[1933] =    7 /   17
x[1934] =   -2 /   17
x[1935] =    3 /   17
x[1936] =    0 /    1
x[1937] =    1 /  153
x[1938] =  -73 /  153
x[1939] =   64 /  153
x[1940] =   -4 /   17
x[1941] =  -28 /  153
x[1942] =   64 /  153
x[1943] =   -4 /   17
x[1944] =   -6 /   17
x[1945] =    6 /   17
x[1946] =  -28 /  153
x[1947] =    0 /    1
x[1948] =   58 /  153
x[1949] =   -3 /   17
x[1950] =    4 /   17
x[1951] =  -11 /   17
x[1952] =   32 /  153
x[1953] =    0 /    1
x[1954] =    4 /   17
x[1955] =   -3 /   17
x[1956] =    4 /   17
x[1957] =  -11 /   17
x[1958] =    3 /   17
x[1959] =    3 /   17
x[1960] =   64 /  153
x[1961] =   -3 /   17
x[1962] =   -1 /   17
x[1963] =    0 /    1
x[1964] =    5 /   17
x[1965] =  -73 /  153
x[1966] =    0 /    1
x[1967] =    3 /   17
x[1968] =    1 /   17
x[1969] =    0 /    1
x[1970] =   13 /  153
x[1971] =  -49 /  153
x[1972] =    0 /    1
x[1973] =   26 /  153
x[1974] =    0 /    1
x[1975] =    0 /    1
x[1976] =    0 /    1
x[1977] =  -26 /  153
x[1978] =    0 /    1
x[1979] =    3 /   17
x[1980] =    0 /    1
x[1981] =    5 /   17
x[1982] =  -73 /  153
x[1983] =  -26 /  153
x[1984] =    3 /   17
x[1985] =    3 /   17
x[1986] =    0 /    1
x[1987] =    5 /   17
x[1988] =    0 /    1
x[1989] =   -9 /   17
x[1990] =    1 /   17
x[1991] =    3 /   17
x[1992] =    0 /    1
x[1993] =    0 /    1
x[1994] =    0 /    1
x[1995] =   -6 /   17
x[1996] =    3 /   17
x[1997] =    3 /   17
x[1998] =    0 /    1
x[1999] =    0 /    1
x[2000] =    0 /    1
x[2001] =   -4 /   17
x[2002] =    1 /   17
x[2003] =    6 /   17
x[2004] =  -28 /  153
x[2005] =  -26 /  153
x[2006] =    6 /   17
x[2007] =    0 /    1
x[2008] =    0 /    1
x[2009] =    0 /    1
x[2010] =    5 /   17
x[2011] =  -11 /   17
x[2012] =    0 /    1
