...done in 0 seconds.


Writing problem data to `adage.lp'...
120551 lines were written
GLPK Simplex Optimizer, v4.47
59728 rows, 1232 columns, 755284 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1000: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1500: obj =   4.052287582e-01  infeas =  4.506e-12 (0)
*  2000: obj =   4.073705179e-01  infeas =  4.165e-12 (0)
*  2500: obj =   4.090909091e-01  infeas =  4.022e-12 (0)
*  3000: obj =   4.120969640e-01  infeas =  7.465e-13 (0)
*  3469: obj =   4.125000000e-01  infeas =  6.175e-13 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4125000000

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] =    0 /    1
x[14] =    0 /    1
x[15] =    0 /    1
x[16] =    0 /    1
x[17] =  -25 /  907
x[18] =   25 /  973
x[19] =    0 /    1
x[20] =   -6 /  871
x[21] =    0 /    1
x[22] =   25 /  973
x[23] =   16 /  491
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] =    0 /    1
x[32] =    0 /    1
x[33] =    0 /    1
x[34] =    0 /    1
x[35] =    0 /    1
x[36] =    0 /    1
x[37] =    0 /    1
x[38] =    0 /    1
x[39] =   53 /  936
x[40] =    0 /    1
x[41] =    0 /    1
x[42] =    0 /    1
x[43] =    6 /  871
x[44] =    0 /    1
x[45] =    0 /    1
x[46] =    0 /    1
x[47] =    0 /    1
x[48] =    0 /    1
x[49] =    0 /    1
x[50] =    0 /    1
x[51] =    0 /    1
x[52] =    0 /    1
x[53] =    0 /    1
x[54] =    0 /    1
x[55] =    0 /    1
x[56] =    0 /    1
x[57] =    0 /    1
x[58] =    0 /    1
x[59] =    0 /    1
x[60] =    0 /    1
x[61] =    0 /    1
x[62] =    0 /    1
x[63] =    0 /    1
x[64] =    0 /    1
x[65] =    0 /    1
x[66] =   39 /  538
x[67] =    6 /  871
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =  -25 /  973
x[71] =    0 /    1
x[72] =    0 /    1
x[73] =    0 /    1
x[74] =    0 /    1
x[75] =    0 /    1
x[76] =    0 /    1
x[77] =    0 /    1
x[78] =    0 /    1
x[79] =    0 /    1
x[80] =    0 /    1
x[81] =    0 /    1
x[82] =    0 /    1
x[83] =    0 /    1
x[84] =    0 /    1
x[85] =    0 /    1
x[86] =    0 /    1
x[87] =    0 /    1
x[88] =    0 /    1
x[89] =    0 /    1
x[90] =    0 /    1
x[91] =    0 /    1
x[92] =  -16 /  491
x[93] =    0 /    1
x[94] =    0 /    1
x[95] =    0 /    1
x[96] =    0 /    1
x[97] =    0 /    1
x[98] =    0 /    1
x[99] =    0 /    1
x[100] =   -9 /  830
x[101] =    0 /    1
x[102] =   10 /  847
x[103] =    0 /    1
x[104] =    0 /    1
x[105] =    0 /    1
x[106] =    2 /  407
x[107] =    0 /    1
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] =    0 /    1
x[116] =    0 /    1
x[117] =    0 /    1
x[118] =  -18 /  955
x[119] =    0 /    1
x[120] =    0 /    1
x[121] =    0 /    1
x[122] =    0 /    1
x[123] =    0 /    1
x[124] =   -3 /  260
x[125] =    0 /    1
x[126] =    0 /    1
x[127] =    0 /    1
x[128] =    0 /    1
x[129] =    0 /    1
x[130] =    0 /    1
x[131] =    0 /    1
x[132] =    0 /    1
x[133] =    0 /    1
x[134] =    0 /    1
x[135] =    0 /    1
x[136] =    1 /  117
x[137] =    0 /    1
x[138] =    0 /    1
x[139] =    0 /    1
x[140] =    0 /    1
x[141] =    0 /    1
x[142] =    0 /    1
x[143] =    0 /    1
x[144] =   37 /  977
x[145] =    0 /    1
x[146] =   -7 /  358
x[147] =    0 /    1
x[148] =   -1 / 1000
x[149] =    0 /    1
x[150] =    0 /    1
x[151] =    0 /    1
x[152] =    0 /    1
x[153] =    0 /    1
x[154] =    0 /    1
x[155] =    0 /    1
x[156] =    0 /    1
x[157] =    0 /    1
x[158] =    0 /    1
x[159] =    0 /    1
x[160] =    0 /    1
x[161] =    0 /    1
x[162] =    0 /    1
x[163] =    0 /    1
x[164] =    0 /    1
x[165] =    0 /    1
x[166] =    0 /    1
x[167] =    0 /    1
x[168] =    0 /    1
x[169] =    0 /    1
x[170] =    0 /    1
x[171] =    0 /    1
x[172] =   36 /  811
x[173] =    0 /    1
x[174] =    0 /    1
x[175] =    0 /    1
x[176] =   28 /  729
x[177] =    0 /    1
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] =   -1 /  189
x[185] =    0 /    1
x[186] =    0 /    1
x[187] =    0 /    1
x[188] =    0 /    1
x[189] =    0 /    1
x[190] =    0 /    1
x[191] =    0 /    1
x[192] =    0 /    1
x[193] =    0 /    1
x[194] =    0 /    1
x[195] =    0 /    1
x[196] =    0 /    1
x[197] =    0 /    1
x[198] =    0 /    1
x[199] =    0 /    1
x[200] =    0 /    1
x[201] =    0 /    1
x[202] =    0 /    1
x[203] =    0 /    1
x[204] =  -11 /  288
x[205] =    0 /    1
x[206] =    0 /    1
x[207] =    0 /    1
x[208] =    0 /    1
x[209] =    0 /    1
x[210] =    0 /    1
x[211] =    0 /    1
x[212] =    0 /    1
x[213] =    0 /    1
x[214] =    0 /    1
x[215] =    0 /    1
x[216] =    0 /    1
x[217] =  -29 /  519
x[218] =    0 /    1
x[219] =    4 /  159
x[220] =    0 /    1
x[221] =    4 /  159
x[222] =    0 /    1
x[223] =    0 /    1
x[224] = -258 /  971
x[225] =    0 /    1
x[226] =  -19 /  634
x[227] =    0 /    1
x[228] =   -2 /  197
x[229] =    0 /    1
x[230] =    0 /    1
x[231] =   31 /  482
x[232] =  -15 /  421
x[233] =  -35 /  737
x[234] =  -25 /  288
x[235] =    0 /    1
x[236] =   81 /  893
x[237] = -205 /  996
x[238] =  -82 /  651
x[239] =   -2 /  851
x[240] =  -75 /  416
x[241] =    0 /    1
x[242] =  -24 /  727
x[243] =  -68 /  983
x[244] =    0 /    1
x[245] =  -67 /  720
x[246] =    1 /   48
x[247] =    1 /  189
x[248] =    0 /    1
x[249] = -106 /  471
x[250] =    0 /    1
x[251] =  -71 /  493
x[252] =    0 /    1
x[253] =  -71 /  493
x[254] =    0 /    1
x[255] = -146 /  863
x[256] = -258 /  971
x[257] =    0 /    1
x[258] =  -13 /  656
x[259] =    0 /    1
x[260] =    0 /    1
x[261] =    0 /    1
x[262] =    2 /  197
x[263] =   31 /  482
x[264] =   -4 /  157
x[265] =  -47 /  681
x[266] = -161 /  907
x[267] =  -20 /  929
x[268] =    0 /    1
x[269] = -133 /  585
x[270] =  -13 /   60
x[271] =  -17 /  712
x[272] =  -71 /  262
x[273] =   68 /  983
x[274] =   -7 /  130
x[275] =    0 /    1
x[276] =    0 /    1
x[277] =  -17 /  712
x[278] =    1 /   48
x[279] =    5 /  156
x[280] =    0 /    1
x[281] =  -29 /  519
x[282] =  -43 /  780
x[283] =    4 /  159
x[284] =  -43 /  780
x[285] =    4 /  159
x[286] =  -43 /  780
x[287] =    0 /    1
x[288] =  -77 /  240
x[289] =    0 /    1
x[290] =  -13 /  656
x[291] =    0 /    1
x[292] =    0 /    1
x[293] =    0 /    1
x[294] =    2 /  197
x[295] =   31 /  482
x[296] =   -4 /  157
x[297] =  -92 /  937
x[298] =  -95 /  966
x[299] =  -40 /  789
x[300] =   19 /  240
x[301] = -246 /  959
x[302] =  -11 /   80
x[303] =  -27 /  509
x[304] = -169 /  881
x[305] =  -13 /  332
x[306] =  -24 /  727
x[307] =  -13 /  120
x[308] =    0 /    1
x[309] =  -55 /  416
x[310] =    1 /   48
x[311] =  -19 /  561
x[312] =    0 /    1
x[313] =  -50 /  617
x[314] =    0 /    1
x[315] =    0 /    1
x[316] =    0 /    1
x[317] =    0 /    1
x[318] =    0 /    1
x[319] =   -4 /  159
x[320] = -258 /  971
x[321] =  -31 /  482
x[322] =   -1 /  260
x[323] =  -31 /  482
x[324] =   13 /  814
x[325] =  -31 /  482
x[326] =   25 /  957
x[327] =    0 /    1
x[328] =   -6 /  631
x[329] =  -13 /  288
x[330] = -161 /  907
x[331] =    2 /  851
x[332] =    0 /    1
x[333] =  -82 /  403
x[334] =  -13 /   60
x[335] =    0 /    1
x[336] =  -71 /  262
x[337] =   67 /  720
x[338] =  -24 /  727
x[339] =   17 /  712
x[340] =    0 /    1
x[341] =    0 /    1
x[342] =    0 /    1
x[343] =   25 /  447
x[344] =    0 /    1
x[345] = -203 /  999
x[346] =  -13 /  332
x[347] =  -65 /  561
x[348] =    0 /    1
x[349] =    0 /    1
x[350] =    0 /    1
x[351] =  -65 /  561
x[352] = -269 /  780
x[353] =  -48 /  869
x[354] =   63 /  515
x[355] =  -48 /  839
x[356] =   22 /  683
x[357] =  -75 /  854
x[358] =   29 /  248
x[359] =  -31 /  468
x[360] =   47 /  390
x[361] = -109 /  399
x[362] =  -47 /  120
x[363] =   -7 /   40
x[364] =   -7 /   40
x[365] =  -31 /  179
x[366] =  -47 /  120
x[367] =  -65 /  383
x[368] = -407 /  775
x[369] =  -69 /  527
x[370] =  -53 /  274
x[371] = -128 /  645
x[372] = -119 /  788
x[373] = -203 /  999
x[374] =  -13 /  332
x[375] =  -65 /  561
x[376] =    0 /    1
x[377] =    0 /    1
x[378] =    0 /    1
x[379] =  -65 /  561
x[380] = -269 /  780
x[381] =    0 /    1
x[382] =   31 /  344
x[383] =   -1 /  506
x[384] =    0 /    1
x[385] =    0 /    1
x[386] =   61 /  720
x[387] =    3 /  139
x[388] =  114 /  943
x[389] = -101 /  976
x[390] =  -96 /  757
x[391] =   -1 /  189
x[392] =   54 /  601
x[393] =   -1 /  288
x[394] =  -96 /  757
x[395] =    0 /    1
x[396] = -101 /  388
x[397] =   -1 /   80
x[398] =   -3 /   40
x[399] =  -37 /  780
x[400] =    0 /    1
x[401] =  -69 /  790
x[402] =  -13 /  332
x[403] =    0 /    1
x[404] =    0 /    1
x[405] =   65 /  561
x[406] =    0 /    1
x[407] =    0 /    1
x[408] = -269 /  780
x[409] =   14 /  363
x[410] =   28 /  953
x[411] =    3 /   82
x[412] =  -29 /  632
x[413] =   -3 /  139
x[414] =   13 /  542
x[415] =    0 /    1
x[416] =    0 /    1
x[417] = -101 /  976
x[418] =  -13 /   60
x[419] =   -1 /  189
x[420] =    0 /    1
x[421] =   -1 /  288
x[422] =  -13 /   60
x[423] =    0 /    1
x[424] = -326 /  931
x[425] =   47 /  986
x[426] =    0 /    1
x[427] =  -37 /  780
x[428] =    0 /    1
x[429] =  -69 /  790
x[430] =    0 /    1
x[431] =    0 /    1
x[432] =   13 /  332
x[433] =    0 /    1
x[434] =   13 /  332
x[435] =    0 /    1
x[436] = -107 /  350
x[437] =   -1 / 1000
x[438] =   28 /  953
x[439] =   -3 /  119
x[440] =  -28 /  461
x[441] =  -28 /  461
x[442] =   13 /  542
x[443] =  -13 /  332
x[444] =    0 /    1
x[445] =   -1 /   10
x[446] =  -57 /  383
x[447] =   -1 /  551
x[448] =   50 /  737
x[449] =    0 /    1
x[450] =  -57 /  383
x[451] =    1 /  288
x[452] = -190 /  673
x[453] =   47 /  986
x[454] =   -3 /  202
x[455] =  -37 /  780
x[456] =    0 /    1
x[457] =    0 /    1
x[458] =    0 /    1
x[459] =    0 /    1
x[460] =    0 /    1
x[461] =    0 /    1
x[462] =    0 /    1
x[463] =    0 /    1
x[464] =    0 /    1
x[465] =    0 /    1
x[466] =    0 /    1
x[467] =    0 /    1
x[468] =    0 /    1
x[469] =    0 /    1
x[470] =    0 /    1
x[471] =    0 /    1
x[472] =    0 /    1
x[473] =    0 /    1
x[474] =    0 /    1
x[475] =    0 /    1
x[476] =    0 /    1
x[477] =    0 /    1
x[478] =    0 /    1
x[479] =    0 /    1
x[480] =    0 /    1
x[481] =    0 /    1
x[482] =    0 /    1
x[483] =    0 /    1
x[484] =    0 /    1
x[485] =    0 /    1
x[486] =    0 /    1
x[487] =    0 /    1
x[488] =    0 /    1
x[489] =    0 /    1
x[490] =    0 /    1
x[491] =    0 /    1
x[492] =    0 /    1
x[493] =    0 /    1
x[494] =    0 /    1
x[495] =    0 /    1
x[496] =    0 /    1
x[497] =    0 /    1
x[498] =    0 /    1
x[499] =    0 /    1
x[500] =    0 /    1
x[501] =    0 /    1
x[502] =    0 /    1
x[503] =    0 /    1
x[504] =    0 /    1
x[505] =    0 /    1
x[506] =    0 /    1
x[507] =    0 /    1
x[508] =    0 /    1
x[509] =    0 /    1
x[510] =    0 /    1
x[511] =    0 /    1
x[512] =    0 /    1
x[513] =    0 /    1
x[514] =    0 /    1
x[515] =    0 /    1
x[516] =    0 /    1
x[517] =    0 /    1
x[518] =    0 /    1
x[519] =    0 /    1
x[520] =    0 /    1
x[521] =    0 /    1
x[522] =    0 /    1
x[523] =    0 /    1
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] =    0 /    1
x[535] =    0 /    1
x[536] =    0 /    1
x[537] =    0 /    1
x[538] =    0 /    1
x[539] =    0 /    1
x[540] =    0 /    1
x[541] =    0 /    1
x[542] =    0 /    1
x[543] =    0 /    1
x[544] =    0 /    1
x[545] =    0 /    1
x[546] =    0 /    1
x[547] =    0 /    1
x[548] =    0 /    1
x[549] =    0 /    1
x[550] =    0 /    1
x[551] =    0 /    1
x[552] =    0 /    1
x[553] =    0 /    1
x[554] =    0 /    1
x[555] =    0 /    1
x[556] =    0 /    1
x[557] =    0 /    1
x[558] =    0 /    1
x[559] =    0 /    1
x[560] =    0 /    1
x[561] =    0 /    1
x[562] =    0 /    1
x[563] =    0 /    1
x[564] =    0 /    1
x[565] =    0 /    1
x[566] =    0 /    1
x[567] =    0 /    1
x[568] =    0 /    1
x[569] =    0 /    1
x[570] =    0 /    1
x[571] =    0 /    1
x[572] =    0 /    1
x[573] =    0 /    1
x[574] =    0 /    1
x[575] =    0 /    1
x[576] =    0 /    1
x[577] =    0 /    1
x[578] =    0 /    1
x[579] =    0 /    1
x[580] =    0 /    1
x[581] =    0 /    1
x[582] =    0 /    1
x[583] =    0 /    1
x[584] =    0 /    1
x[585] =    0 /    1
x[586] =    0 /    1
x[587] =    0 /    1
x[588] =    0 /    1
x[589] =    0 /    1
x[590] =    0 /    1
x[591] =    0 /    1
x[592] =    0 /    1
x[593] =    0 /    1
x[594] =    0 /    1
x[595] =    0 /    1
x[596] =    0 /    1
x[597] =    0 /    1
x[598] =    0 /    1
x[599] =    0 /    1
x[600] =    0 /    1
x[601] =    0 /    1
x[602] =    0 /    1
x[603] =    0 /    1
x[604] =    0 /    1
x[605] =    0 /    1
x[606] =    0 /    1
x[607] =    0 /    1
x[608] =    0 /    1
x[609] =    0 /    1
x[610] =    0 /    1
x[611] =    0 /    1
x[612] =    0 /    1
x[613] =    0 /    1
x[614] =    0 /    1
x[615] =    0 /    1
x[616] =    0 /    1
x[617] =    0 /    1
x[618] =    0 /    1
x[619] =    0 /    1
x[620] =    0 /    1
x[621] =    0 /    1
x[622] =    0 /    1
x[623] =    0 /    1
x[624] =    0 /    1
x[625] =    0 /    1
x[626] =    0 /    1
x[627] =    0 /    1
x[628] =    0 /    1
x[629] =    0 /    1
x[630] =    0 /    1
x[631] =    0 /    1
x[632] =    0 /    1
x[633] =    0 /    1
x[634] =    0 /    1
x[635] =    0 /    1
x[636] =    0 /    1
x[637] =    0 /    1
x[638] =    0 /    1
x[639] =    0 /    1
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] =    0 /    1
x[653] =    0 /    1
x[654] =    0 /    1
x[655] =    0 /    1
x[656] =    0 /    1
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] =    0 /    1
x[664] =    0 /    1
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] =    0 /    1
x[680] =    0 /    1
x[681] =    0 /    1
x[682] =    0 /    1
x[683] =    0 /    1
x[684] =    0 /    1
x[685] =    0 /    1
x[686] =    0 /    1
x[687] =    0 /    1
x[688] =    0 /    1
x[689] =    0 /    1
x[690] =    0 /    1
x[691] =    0 /    1
x[692] =    0 /    1
x[693] =    0 /    1
x[694] =    0 /    1
x[695] =    0 /    1
x[696] =    0 /    1
x[697] =    0 /    1
x[698] =    0 /    1
x[699] =    2 /  107
x[700] =    0 /    1
x[701] =  -16 /  385
x[702] =   58 /  967
x[703] =   -7 /  358
x[704] =    1 /   24
x[705] =  -67 /  997
x[706] =    9 /  653
x[707] =   -2 /   15
x[708] =    9 /  653
x[709] =   -9 /  289
x[710] =    0 /    1
x[711] =    0 /    1
x[712] =    3 /  104
x[713] =    0 /    1
x[714] =   16 /  195
x[715] =    0 /    1
x[716] =   -2 /   39
x[717] =    0 /    1
x[718] =    0 /    1
x[719] =    0 /    1
x[720] =  127 /  876
x[721] =    0 /    1
x[722] =  -58 /  967
x[723] =   47 /  780
x[724] =  -58 /  967
x[725] =    0 /    1
x[726] =    0 /    1
x[727] =   16 /  727
x[728] =   -7 /  382
x[729] =    0 /    1
x[730] =    0 /    1
x[731] =   -2 /   39
x[732] =    0 /    1
x[733] =   14 /  275
x[734] =   -9 /  653
x[735] =   16 /  195
x[736] =    0 /    1
x[737] =    0 /    1
x[738] =    9 /  289
x[739] =    0 /    1
x[740] =  -14 /  137
x[741] =    0 /    1
x[742] =  -25 /  907
x[743] =    0 /    1
x[744] =  127 /  876
x[745] =    0 /    1
x[746] =   -1 /   24
x[747] =    0 /    1
x[748] =   -1 /   24
x[749] =    0 /    1
x[750] =    7 /  382
x[751] =  -34 /  889
x[752] =    0 /    1
x[753] =    0 /    1
x[754] =  -26 /  863
x[755] =   -2 /   15
x[756] =  -26 /  863
x[757] =    0 /    1
x[758] =  -31 /  706
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] =  127 /  876
x[769] =    0 /    1
x[770] =  -73 /  986
x[771] =    0 /    1
x[772] =  -73 /  986
x[773] =    0 /    1
x[774] =  -11 /  783
x[775] =    0 /    1
x[776] =  -28 /  865
x[777] =    0 /    1
x[778] =   16 /  491
x[779] =    0 /    1
x[780] =   16 /  491
x[781] =    0 /    1
x[782] =   11 /  585
x[783] =    2 /   15
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] =   13 /  332
x[797] =    0 /    1
x[798] =   31 /  574
x[799] =    0 /    1
x[800] =   13 /  332
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] =    0 /    1
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] =    0 /    1
x[857] =    0 /    1
x[858] =  -43 /  780
x[859] =    0 /    1
x[860] =    0 /    1
x[861] =   -2 /  197
x[862] =    0 /    1
x[863] =    0 /    1
x[864] =    0 /    1
x[865] = -102 /  635
x[866] =  -77 /  305
x[867] =    0 /    1
x[868] =    5 /  208
x[869] =   -7 /   78
x[870] =  -77 /  305
x[871] =    0 /    1
x[872] =    5 /  208
x[873] =    0 /    1
x[874] =    0 /    1
x[875] =    0 /    1
x[876] =    0 /    1
x[877] =    0 /    1
x[878] =    0 /    1
x[879] =    0 /    1
x[880] =  -11 /  260
x[881] =    0 /    1
x[882] =    0 /    1
x[883] =    0 /    1
x[884] =    0 /    1
x[885] =    0 /    1
x[886] =    9 /  830
x[887] =    0 /    1
x[888] =    0 /    1
x[889] =    0 /    1
x[890] = -203 /  905
x[891] =  -94 /  617
x[892] =  -67 /  288
x[893] =    0 /    1
x[894] =    0 /    1
x[895] =  -94 /  617
x[896] =  -67 /  288
x[897] =  -32 /  857
x[898] =  -31 /  240
x[899] =   13 /  860
x[900] =    0 /    1
x[901] =  -92 /  937
x[902] =  -98 /  565
x[903] =   13 /  860
x[904] =    0 /    1
x[905] =    0 /    1
x[906] =    0 /    1
x[907] =    0 /    1
x[908] =    0 /    1
x[909] =    0 /    1
x[910] =    0 /    1
x[911] =    0 /    1
x[912] =    0 /    1
x[913] =    0 /    1
x[914] =    0 /    1
x[915] =    0 /    1
x[916] =    0 /    1
x[917] =    0 /    1
x[918] =    0 /    1
x[919] =    0 /    1
x[920] =    0 /    1
x[921] =   -5 /  821
x[922] = -271 /  959
x[923] =    0 /    1
x[924] =  -18 /   71
x[925] =    0 /    1
x[926] = -271 /  959
x[927] =   -3 /  202
x[928] =  -18 /   71
x[929] =  -51 /  571
x[930] = -250 /  939
x[931] =   53 /  967
x[932] =  -81 /  566
x[933] =    0 /    1
x[934] =    0 /    1
x[935] =    0 /    1
x[936] =   -3 /   40
x[937] =    0 /    1
x[938] =    0 /    1
x[939] =    0 /    1
x[940] =   -3 /   40
x[941] =    0 /    1
x[942] =    0 /    1
x[943] =    3 /   40
x[944] =    0 /    1
x[945] =    0 /    1
x[946] =    0 /    1
x[947] =    3 /   40
x[948] =    0 /    1
x[949] =    0 /    1
x[950] =  -81 /  463
x[951] =    0 /    1
x[952] = -107 /  585
x[953] =    0 /    1
x[954] = -172 /  921
x[955] =    0 /    1
x[956] = -107 /  585
x[957] =   55 /  314
x[958] =  -47 /  568
x[959] =  -13 /   76
x[960] =  -85 /  207
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] =    0 /    1
x[968] =    0 /    1
x[969] =    0 /    1
x[970] =    0 /    1
x[971] =    0 /    1
x[972] =    0 /    1
x[973] =    0 /    1
x[974] =    0 /    1
x[975] =    0 /    1
x[976] =    0 /    1
x[977] =    0 /    1
x[978] =  -43 /  780
x[979] =    0 /    1
x[980] =    0 /    1
x[981] =   -2 /  197
x[982] =    0 /    1
x[983] =    0 /    1
x[984] =    0 /    1
x[985] = -102 /  635
x[986] =  -77 /  305
x[987] =    0 /    1
x[988] =    5 /  208
x[989] =   -7 /   78
x[990] =  -77 /  305
x[991] =    0 /    1
x[992] =    5 /  208
x[993] =    0 /    1
x[994] =    0 /    1
x[995] =    0 /    1
x[996] =    0 /    1
x[997] =    0 /    1
x[998] =    0 /    1
x[999] =    0 /    1
x[1000] =  -11 /  260
x[1001] =    0 /    1
x[1002] =    9 /  830
x[1003] =    0 /    1
x[1004] =    0 /    1
x[1005] =    0 /    1
x[1006] =    9 /  830
x[1007] =    0 /    1
x[1008] =    0 /    1
x[1009] =    0 /    1
x[1010] =  -94 /  617
x[1011] =    0 /    1
x[1012] =  -94 /  617
x[1013] =  -32 /  857
x[1014] =   13 /  860
x[1015] =  -92 /  937
x[1016] =   13 /  860
x[1017] =    0 /    1
x[1018] =    0 /    1
x[1019] =    0 /    1
x[1020] =   23 /  868
x[1021] =    0 /    1
x[1022] =    0 /    1
x[1023] =    0 /    1
x[1024] =   23 /  868
x[1025] =    9 /  901
x[1026] =    0 /    1
x[1027] =    0 /    1
x[1028] =    0 /    1
x[1029] =    9 /  901
x[1030] =    0 /    1
x[1031] =    0 /    1
x[1032] =    0 /    1
x[1033] =   -5 /  821
x[1034] = -271 /  959
x[1035] =    0 /    1
x[1036] =  -18 /   71
x[1037] =    0 /    1
x[1038] = -271 /  959
x[1039] =   -3 /  202
x[1040] =  -18 /   71
x[1041] =  -51 /  571
x[1042] = -250 /  939
x[1043] =   53 /  967
x[1044] =  -81 /  566
x[1045] =    0 /    1
x[1046] =    0 /    1
x[1047] =    0 /    1
x[1048] =    0 /    1
x[1049] =    0 /    1
x[1050] =    0 /    1
x[1051] =    0 /    1
x[1052] =    0 /    1
x[1053] =    0 /    1
x[1054] =    0 /    1
x[1055] =    0 /    1
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] =    0 /    1
x[1064] =    0 /    1
x[1065] =   55 /  314
x[1066] =  -13 /   76
x[1067] =    4 /   49
x[1068] =  101 /  830
x[1069] =  131 /  614
x[1070] =   11 /  783
x[1071] =    4 /   49
x[1072] =  101 /  830
x[1073] =  131 /  614
x[1074] =   11 /  783
x[1075] =   -5 /  767
x[1076] =    0 /    1
x[1077] =   73 /  866
x[1078] =  111 /  977
x[1079] =   -5 /  767
x[1080] =   73 /  866
x[1081] =   50 /  607
x[1082] =    0 /    1
x[1083] =   35 /  288
x[1084] =    0 /    1
x[1085] =   50 /  607
x[1086] =    0 /    1
x[1087] =   35 /  288
x[1088] =    0 /    1
x[1089] =  -92 /  967
x[1090] =    0 /    1
x[1091] = -199 /  891
x[1092] = -112 /  839
x[1093] =  -92 /  967
x[1094] = -199 /  891
x[1095] =   25 /  771
x[1096] =   45 /  392
x[1097] =   17 /  141
x[1098] =  109 /  992
x[1099] =   25 /  771
x[1100] =   45 /  392
x[1101] =   17 /  141
x[1102] =  109 /  992
x[1103] =   43 /  537
x[1104] =   79 /  847
x[1105] =  125 /  933
x[1106] =  115 /  731
x[1107] =   43 /  537
x[1108] =  125 /  933
x[1109] =    0 /    1
x[1110] =   -5 /  379
x[1111] =   -5 /  468
x[1112] =    0 /    1
x[1113] =    0 /    1
x[1114] =   -5 /  379
x[1115] =   -5 /  468
x[1116] =    0 /    1
x[1117] =    9 /  155
x[1118] =    9 /  155
x[1119] =   -4 /  253
x[1120] =    7 /  724
x[1121] =    9 /  155
x[1122] =   -4 /  253
x[1123] =    0 /    1
x[1124] =    0 /    1
x[1125] =  -25 /  422
x[1126] =  -75 /  752
x[1127] =    0 /    1
x[1128] =    0 /    1
x[1129] =  -25 /  422
x[1130] =  -75 /  752
x[1131] =   70 /  493
x[1132] =    9 /   73
x[1133] =    2 /    7
x[1134] =  104 /  605
x[1135] =   70 /  493
x[1136] =    2 /    7
x[1137] =    0 /    1
x[1138] =  -79 /  410
x[1139] =    0 /    1
x[1140] =  -79 /  410
x[1141] =   13 /  860
x[1142] =    0 /    1
x[1143] =    2 /   17
x[1144] =    5 /  407
x[1145] =  237 /  997
x[1146] =   69 /  557
x[1147] =    2 /   17
x[1148] =    5 /  407
x[1149] =  237 /  997
x[1150] =   69 /  557
x[1151] =   47 /  240
x[1152] =  168 /  775
x[1153] =    0 /    1
x[1154] =    0 /    1
x[1155] =   47 /  240
x[1156] =    0 /    1
x[1157] =    0 /    1
x[1158] =   -3 /  104
x[1159] =    0 /    1
x[1160] =   -3 /  104
x[1161] = -229 /  856
x[1162] =    0 /    1
x[1163] =    0 /    1
x[1164] =    5 /  379
x[1165] =  131 /  614
x[1166] =  121 /  981
x[1167] =    0 /    1
x[1168] =    5 /  379
x[1169] =  131 /  614
x[1170] =  121 /  981
x[1171] =   66 /  677
x[1172] =   35 /  288
x[1173] =   73 /  866
x[1174] =  111 /  977
x[1175] =   66 /  677
x[1176] =   73 /  866
x[1177] =   50 /  607
x[1178] =    0 /    1
x[1179] =   35 /  288
x[1180] =    0 /    1
x[1181] =   50 /  607
x[1182] =    0 /    1
x[1183] =   35 /  288
x[1184] =    0 /    1
x[1185] =  -92 /  967
x[1186] =    0 /    1
x[1187] = -199 /  891
x[1188] = -112 /  839
x[1189] =  -92 /  967
x[1190] = -199 /  891
x[1191] =    0 /    1
x[1192] =   25 /  771
x[1193] =   39 /  347
x[1194] =  109 /  992
x[1195] =    0 /    1
x[1196] =   25 /  771
x[1197] =   39 /  347
x[1198] =  109 /  992
x[1199] =   43 /  537
x[1200] =   46 /  885
x[1201] =  125 /  933
x[1202] =  115 /  731
x[1203] =   43 /  537
x[1204] =  125 /  933
x[1205] =    0 /    1
x[1206] =   -5 /  468
x[1207] =    0 /    1
x[1208] =   -5 /  468
x[1209] =    9 /  155
x[1210] =   -4 /  253
x[1211] =   41 /  766
x[1212] =    0 /    1
x[1213] =    0 /    1
x[1214] =  -75 /  752
x[1215] =   41 /  766
x[1216] =    0 /    1
x[1217] =    0 /    1
x[1218] =  -75 /  752
x[1219] =   70 /  493
x[1220] =    9 /   73
x[1221] =    2 /    7
x[1222] =  104 /  605
x[1223] =   70 /  493
x[1224] =    2 /    7
x[1225] =    0 /    1
x[1226] =  -79 /  410
x[1227] =    0 /    1
x[1228] =  -79 /  410
x[1229] =   13 /  860
x[1230] =    0 /    1
