...done in 0 seconds.


Writing problem data to `adage.lp'...
81666 lines were written
GLPK Simplex Optimizer, v4.47
40373 rows, 1121 columns, 505889 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   2.500000000e-01  infeas =  3.334e-12 (0)
*  1000: obj =   4.132258065e-01  infeas =  3.914e-13 (0)
*  1500: obj =   4.844087271e-01  infeas =  1.915e-12 (0)
*  2000: obj =   4.977470597e-01  infeas =  9.580e-13 (0)
*  2500: obj =   5.000000000e-01  infeas =  3.918e-12 (0)
*  3000: obj =   5.000000000e-01  infeas =  7.325e-12 (0)
*  3500: obj =   5.000000000e-01  infeas =  1.687e-12 (0)
*  4000: obj =   5.000000000e-01  infeas =  5.367e-12 (0)
*  4452: obj =   5.000000000e-01  infeas =  6.836e-13 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.5000000000

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] =   14 /  505
x[15] =    0 /    1
x[16] =    0 /    1
x[17] =  -29 /  912
x[18] =    0 /    1
x[19] = -103 /  874
x[20] =  -43 /  517
x[21] =    0 /    1
x[22] =    0 /    1
x[23] = -107 /  775
x[24] =    0 /    1
x[25] =    0 /    1
x[26] =    0 /    1
x[27] =  -51 /  584
x[28] =    0 /    1
x[29] =  -51 /  557
x[30] =  -14 /  495
x[31] =  -51 /  584
x[32] =    0 /    1
x[33] =    0 /    1
x[34] =    0 /    1
x[35] =    1 /   20
x[36] =    0 /    1
x[37] =    0 /    1
x[38] =   26 /  627
x[39] =    0 /    1
x[40] =    0 /    1
x[41] =   13 /  131
x[42] =   34 /  985
x[43] =    1 /   20
x[44] =    0 /    1
x[45] =   29 /  654
x[46] =   14 /  505
x[47] =    7 /  471
x[48] =    0 /    1
x[49] =    0 /    1
x[50] =    0 /    1
x[51] =  -19 /  668
x[52] =    0 /    1
x[53] =    0 /    1
x[54] =    0 /    1
x[55] =    0 /    1
x[56] =    0 /    1
x[57] =   32 /  583
x[58] =    0 /    1
x[59] =    4 /  945
x[60] =    0 /    1
x[61] =    0 /    1
x[62] =  -14 /  495
x[63] =    4 /  945
x[64] =    0 /    1
x[65] =    0 /    1
x[66] =    0 /    1
x[67] =    0 /    1
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =    0 /    1
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] =  -14 /  505
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] =    7 /  447
x[92] =    0 /    1
x[93] =    0 /    1
x[94] =    0 /    1
x[95] =    7 /  447
x[96] =    0 /    1
x[97] =    0 /    1
x[98] =    0 /    1
x[99] =   -5 /   67
x[100] =    0 /    1
x[101] =    0 /    1
x[102] =    0 /    1
x[103] =  -10 /  409
x[104] =    0 /    1
x[105] =   32 /  583
x[106] =    0 /    1
x[107] =  -31 / 1000
x[108] =    0 /    1
x[109] =    0 /    1
x[110] =  -29 /  523
x[111] =  -43 /  650
x[112] =    0 /    1
x[113] =   29 /  596
x[114] =    0 /    1
x[115] =   17 /  841
x[116] =    0 /    1
x[117] =   29 /  596
x[118] =    0 /    1
x[119] =    0 /    1
x[120] =    0 /    1
x[121] =   32 /  583
x[122] =    0 /    1
x[123] =    4 /  945
x[124] =    0 /    1
x[125] =    0 /    1
x[126] =    0 /    1
x[127] =    4 /  945
x[128] =    0 /    1
x[129] =    0 /    1
x[130] =    0 /    1
x[131] =  -16 /  449
x[132] =    0 /    1
x[133] =    0 /    1
x[134] =    0 /    1
x[135] =    0 /    1
x[136] =    0 /    1
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] =  -13 /  131
x[144] =    0 /    1
x[145] =    0 /    1
x[146] =    0 /    1
x[147] =   -8 /  111
x[148] =    0 /    1
x[149] =    0 /    1
x[150] =    0 /    1
x[151] =   21 /  919
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] =   -3 /  104
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] =   -1 /  569
x[168] =    0 /    1
x[169] =    0 /    1
x[170] =    0 /    1
x[171] =    0 /    1
x[172] =    0 /    1
x[173] =    0 /    1
x[174] =    0 /    1
x[175] =  -13 /  131
x[176] =    0 /    1
x[177] =    0 /    1
x[178] =    0 /    1
x[179] =   -8 /  111
x[180] =    0 /    1
x[181] =    0 /    1
x[182] =    0 /    1
x[183] =   21 /  919
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] =    0 /    1
x[191] =   -3 /  104
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] =    7 /  337
x[200] =    0 /    1
x[201] =    0 /    1
x[202] =    0 /    1
x[203] =   20 /  543
x[204] =    0 /    1
x[205] =    0 /    1
x[206] =    0 /    1
x[207] =  -16 /  589
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] =   37 /  637
x[216] =    0 /    1
x[217] =    0 /    1
x[218] =    0 /    1
x[219] =    0 /    1
x[220] =    0 /    1
x[221] =    0 /    1
x[222] =    0 /    1
x[223] =   -3 /  104
x[224] =    0 /    1
x[225] =    0 /    1
x[226] =    0 /    1
x[227] =    0 /    1
x[228] =    0 /    1
x[229] =    0 /    1
x[230] =    0 /    1
x[231] =    0 /    1
x[232] =    0 /    1
x[233] =    0 /    1
x[234] =    0 /    1
x[235] =    0 /    1
x[236] =    0 /    1
x[237] =    0 /    1
x[238] =    0 /    1
x[239] =  -68 /  557
x[240] =    0 /    1
x[241] =    0 /    1
x[242] =    0 /    1
x[243] =    0 /    1
x[244] =    0 /    1
x[245] =    0 /    1
x[246] =    0 /    1
x[247] =    0 /    1
x[248] =    0 /    1
x[249] =    0 /    1
x[250] =    0 /    1
x[251] =    0 /    1
x[252] =    0 /    1
x[253] =    0 /    1
x[254] =    0 /    1
x[255] =    0 /    1
x[256] =    1 /   92
x[257] =  -13 /  131
x[258] =   19 /  641
x[259] =   47 /  761
x[260] =   19 /  641
x[261] =    1 /  107
x[262] =   19 /  641
x[263] =    0 /    1
x[264] =   49 /  738
x[265] =  -17 /  191
x[266] =    0 /    1
x[267] =   -2 /  927
x[268] =   51 /  947
x[269] =   -2 /  927
x[270] =   51 /  947
x[271] =    0 /    1
x[272] =    0 /    1
x[273] =  -13 /  473
x[274] =  -41 /  608
x[275] =   -1 /   40
x[276] =    2 /  695
x[277] =    0 /    1
x[278] =    7 /  376
x[279] =    7 /  337
x[280] =  -15 /  799
x[281] =  -83 /  855
x[282] =    0 /    1
x[283] =   31 /  485
x[284] =    0 /    1
x[285] =   11 /  956
x[286] =    0 /    1
x[287] =    2 /  927
x[288] =    7 /  558
x[289] =  -35 /  403
x[290] =  -51 /  947
x[291] =    0 /    1
x[292] =    0 /    1
x[293] =    0 /    1
x[294] =    0 /    1
x[295] =    0 /    1
x[296] =    0 /    1
x[297] =  -13 /  473
x[298] =  -41 /  608
x[299] =   -1 /   40
x[300] =    2 /  695
x[301] =    0 /    1
x[302] =    7 /  376
x[303] =    7 /  337
x[304] =  -15 /  799
x[305] =  -92 /  565
x[306] =    0 /    1
x[307] =   -1 /  544
x[308] =    0 /    1
x[309] =  -30 /  553
x[310] =    0 /    1
x[311] =  -47 /  739
x[312] =   17 /  263
x[313] =  -17 /  191
x[314] =   -1 /  569
x[315] =   -2 /  927
x[316] =   51 /  979
x[317] =   -2 /  927
x[318] =   51 /  979
x[319] =    0 /    1
x[320] =    0 /    1
x[321] =   28 /  915
x[322] =   -1 /  107
x[323] =    0 /    1
x[324] =   -8 /  447
x[325] =   -7 /  337
x[326] =   -2 /  927
x[327] =    0 /    1
x[328] =  -15 /  799
x[329] =  -62 /  571
x[330] =    0 /    1
x[331] =   38 /  725
x[332] =    0 /    1
x[333] =    0 /    1
x[334] =    0 /    1
x[335] =   -1 /  107
x[336] =    7 /  558
x[337] =  -35 /  403
x[338] =  -51 /  947
x[339] =    0 /    1
x[340] =    0 /    1
x[341] =    0 /    1
x[342] =    0 /    1
x[343] =    0 /    1
x[344] =   41 /  608
x[345] =   31 /  776
x[346] =    0 /    1
x[347] =    7 /  165
x[348] =   -8 /  447
x[349] =   -7 /  337
x[350] =   -2 /  927
x[351] =    0 /    1
x[352] =  -47 /  596
x[353] =  -71 /  511
x[354] =   20 /  527
x[355] =   39 /  526
x[356] =    0 /    1
x[357] =    0 /    1
x[358] =    0 /    1
x[359] =   39 /  526
x[360] =   25 /  431
x[361] =    0 /    1
x[362] =    0 /    1
x[363] =   19 /  734
x[364] =   21 /  596
x[365] =   55 /  501
x[366] =   21 /  596
x[367] =    0 /    1
x[368] =  -37 /  298
x[369] =  -79 /  875
x[370] =  -13 /  894
x[371] =  -73 /  941
x[372] =   -5 /  652
x[373] =   -2 /  927
x[374] =   -2 /  927
x[375] =    0 /    1
x[376] =  -73 /  596
x[377] = -127 /  596
x[378] =   -4 /  705
x[379] =    0 /    1
x[380] =  -13 /  298
x[381] =    0 /    1
x[382] =  -13 /  298
x[383] =    0 /    1
x[384] =    0 /    1
x[385] =  -71 /  802
x[386] =  -89 /  940
x[387] =  -28 /  447
x[388] =  -12 /  527
x[389] =   19 /  894
x[390] =  -12 /  527
x[391] =  -21 /  919
x[392] =  -79 /  596
x[393] =  -67 /  679
x[394] =  -18 /  785
x[395] =  -68 /  791
x[396] =   -1 /   18
x[397] =   -1 /   20
x[398] =   -1 /   20
x[399] =  -19 /  397
x[400] =  -47 /  596
x[401] = -127 /  596
x[402] =   20 /  527
x[403] =    0 /    1
x[404] =    0 /    1
x[405] =    0 /    1
x[406] =    0 /    1
x[407] =    0 /    1
x[408] =   12 /  527
x[409] =   -7 /   64
x[410] =  -21 /  596
x[411] =  -44 /  527
x[412] =    0 /    1
x[413] =    0 /    1
x[414] =    0 /    1
x[415] =  -42 /  961
x[416] =    0 /    1
x[417] =   27 /  797
x[418] =   49 /  447
x[419] =   32 /  687
x[420] =   -5 /  652
x[421] =   -2 /  927
x[422] =   -2 /  927
x[423] =    0 /    1
x[424] =  -51 /  584
x[425] = -127 /  596
x[426] =   25 /  848
x[427] =    0 /    1
x[428] =   -8 /  945
x[429] =    0 /    1
x[430] =   -8 /  945
x[431] =    0 /    1
x[432] =   25 /  431
x[433] =  -53 /  807
x[434] =    0 /    1
x[435] =  -15 /  377
x[436] =   21 /  596
x[437] =   43 /  975
x[438] =   21 /  596
x[439] =    0 /    1
x[440] =  -32 /  687
x[441] =   -7 /  551
x[442] =   51 /  809
x[443] =    0 /    1
x[444] =   -5 /  907
x[445] =    0 /    1
x[446] =    0 /    1
x[447] =    0 /    1
x[448] =    0 /    1
x[449] =    0 /    1
x[450] =    0 /    1
x[451] =    0 /    1
x[452] =    0 /    1
x[453] =    0 /    1
x[454] =    0 /    1
x[455] =    0 /    1
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] =  -32 /  687
x[642] =  -57 /  935
x[643] =    0 /    1
x[644] =   -5 /  596
x[645] =  -32 /  687
x[646] =    0 /    1
x[647] =    0 /    1
x[648] =    0 /    1
x[649] =  -33 /  676
x[650] =   -8 /   85
x[651] =  -66 /  767
x[652] =    0 /    1
x[653] =  -32 /  687
x[654] =  -22 /  251
x[655] =  -32 /  687
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] =   19 /  397
x[666] =  -47 /  894
x[667] =   90 /  953
x[668] =    0 /    1
x[669] =   19 /  397
x[670] =    5 /  596
x[671] =   90 /  953
x[672] =    0 /    1
x[673] =    7 /  188
x[674] =   -8 /   85
x[675] =    0 /    1
x[676] =    0 /    1
x[677] =    3 /   76
x[678] =  -22 /  251
x[679] =    5 /   67
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] =   32 /  687
x[692] =    0 /    1
x[693] =    0 /    1
x[694] =   57 /  935
x[695] =   32 /  687
x[696] =    0 /    1
x[697] =  -62 /  981
x[698] =   -8 /   85
x[699] =  -93 /  926
x[700] =    0 /    1
x[701] =  -57 /  935
x[702] =  -22 /  251
x[703] =   -4 /  155
x[704] =    0 /    1
x[705] =    0 /    1
x[706] =    0 /    1
x[707] =    8 /   85
x[708] =    0 /    1
x[709] =    0 /    1
x[710] =    0 /    1
x[711] =    0 /    1
x[712] =    0 /    1
x[713] =    0 /    1
x[714] =    0 /    1
x[715] =   32 /  687
x[716] =    0 /    1
x[717] =    0 /    1
x[718] =    0 /    1
x[719] =   32 /  687
x[720] =    0 /    1
x[721] =   -1 /  447
x[722] =    0 /    1
x[723] =   -3 /   76
x[724] =    0 /    1
x[725] =    0 /    1
x[726] =  -22 /  251
x[727] =    0 /    1
x[728] =    0 /    1
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] =    2 /  695
x[740] =    0 /    1
x[741] =    2 /  695
x[742] =    0 /    1
x[743] =  -99 /  965
x[744] =    0 /    1
x[745] =    0 /    1
x[746] =    0 /    1
x[747] =    0 /    1
x[748] =    0 /    1
x[749] =    0 /    1
x[750] =    0 /    1
x[751] =    0 /    1
x[752] =    0 /    1
x[753] =    0 /    1
x[754] =    0 /    1
x[755] =  -83 /  787
x[756] =    0 /    1
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] =  -83 /  787
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] =    0 /    1
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] =  -26 /  709
x[788] =    0 /    1
x[789] =    0 /    1
x[790] =    0 /    1
x[791] =  -26 /  709
x[792] =    0 /    1
x[793] =    0 /    1
x[794] =   13 /  298
x[795] =    0 /    1
x[796] =    0 /    1
x[797] =    0 /    1
x[798] =   13 /  298
x[799] =    0 /    1
x[800] =    0 /    1
x[801] =  -13 /  344
x[802] =    0 /    1
x[803] =   -3 /  782
x[804] =   -1 /   28
x[805] =  -13 /  344
x[806] =    0 /    1
x[807] =   -3 /  782
x[808] =  -15 /  134
x[809] = -142 /  859
x[810] =  -95 /  886
x[811] =  -37 /  428
x[812] =  -97 /  765
x[813] = -142 /  859
x[814] =  -68 /  557
x[815] =  -37 /  428
x[816] =    0 /    1
x[817] =    0 /    1
x[818] =    0 /    1
x[819] =  -17 /  999
x[820] =    0 /    1
x[821] =   -7 /  471
x[822] =    0 /    1
x[823] =  -17 /  999
x[824] =    0 /    1
x[825] =    0 /    1
x[826] =    0 /    1
x[827] =   64 /  895
x[828] =    0 /    1
x[829] =    0 /    1
x[830] =    0 /    1
x[831] =   64 /  895
x[832] =    0 /    1
x[833] =  -46 /  661
x[834] = -123 /  764
x[835] =  -62 /  283
x[836] =  -11 /  956
x[837] =  -46 /  661
x[838] = -123 /  764
x[839] =  -62 /  283
x[840] =  -94 /  549
x[841] =  -72 /  371
x[842] = -146 /  805
x[843] =  -47 /  278
x[844] = -123 /  661
x[845] =  -72 /  371
x[846] = -177 /  902
x[847] =  -47 /  278
x[848] =    0 /    1
x[849] =    0 /    1
x[850] =    0 /    1
x[851] =   56 /  501
x[852] =  -49 /  972
x[853] =    0 /    1
x[854] =    0 /    1
x[855] =   56 /  501
x[856] =    0 /    1
x[857] =    0 /    1
x[858] =  -51 /  979
x[859] =    0 /    1
x[860] =    0 /    1
x[861] =  -68 /  791
x[862] =    0 /    1
x[863] =  -32 /  447
x[864] =    0 /    1
x[865] =  -68 /  791
x[866] =    0 /    1
x[867] =  -32 /  447
x[868] =   38 /  749
x[869] =    0 /    1
x[870] =    0 /    1
x[871] =  -90 /  953
x[872] =    0 /    1
x[873] =   56 /  459
x[874] =  -56 /  459
x[875] =    0 /    1
x[876] =    0 /    1
x[877] =   53 /  233
x[878] =  -56 /  459
x[879] =    0 /    1
x[880] =  -33 /  965
x[881] =    0 /    1
x[882] =   -7 /   94
x[883] =   31 /  787
x[884] =  -30 /  779
x[885] =   -4 /   19
x[886] =  -19 /  734
x[887] =  -77 /  486
x[888] =  -30 /  779
x[889] =   -4 /   19
x[890] =  -19 /  734
x[891] =  -77 /  486
x[892] =   -9 /   73
x[893] =  -51 /  298
x[894] =    0 /    1
x[895] =   -1 /    5
x[896] =    0 /    1
x[897] =    0 /    1
x[898] =    0 /    1
x[899] =    0 /    1
x[900] =    0 /    1
x[901] =    0 /    1
x[902] =    0 /    1
x[903] =    0 /    1
x[904] =    0 /    1
x[905] =    0 /    1
x[906] =   13 /  298
x[907] =    0 /    1
x[908] =    0 /    1
x[909] =    0 /    1
x[910] =   13 /  298
x[911] =    0 /    1
x[912] =    0 /    1
x[913] =  -13 /  344
x[914] =    0 /    1
x[915] =   -3 /  782
x[916] =   -1 /   28
x[917] =  -13 /  344
x[918] =    0 /    1
x[919] =   -3 /  782
x[920] =  -15 /  134
x[921] = -142 /  859
x[922] =  -95 /  886
x[923] =  -37 /  428
x[924] =  -97 /  765
x[925] = -142 /  859
x[926] =  -68 /  557
x[927] =  -37 /  428
x[928] =    0 /    1
x[929] =    0 /    1
x[930] =    0 /    1
x[931] =   -2 /  927
x[932] =    0 /    1
x[933] =    0 /    1
x[934] =    0 /    1
x[935] =   -2 /  927
x[936] =    0 /    1
x[937] =    7 /  471
x[938] =   37 /  928
x[939] =   64 /  741
x[940] =    0 /    1
x[941] =  -46 /  661
x[942] = -123 /  764
x[943] =  -62 /  283
x[944] =  -11 /  956
x[945] =  -46 /  661
x[946] = -123 /  764
x[947] =  -62 /  283
x[948] =  -94 /  549
x[949] =  -72 /  371
x[950] = -146 /  805
x[951] =  -47 /  278
x[952] =    0 /    1
x[953] =    0 /    1
x[954] =    0 /    1
x[955] =   56 /  501
x[956] =  -49 /  972
x[957] =    0 /    1
x[958] =    0 /    1
x[959] =   56 /  501
x[960] =  -41 /  851
x[961] =    0 /    1
x[962] =  -51 /  979
x[963] =    0 /    1
x[964] =    0 /    1
x[965] =  -68 /  791
x[966] =    0 /    1
x[967] =  -32 /  447
x[968] =    0 /    1
x[969] =  -68 /  791
x[970] =    0 /    1
x[971] =  -32 /  447
x[972] =   38 /  749
x[973] =    0 /    1
x[974] =    0 /    1
x[975] =  -90 /  953
x[976] =  177 /  997
x[977] =  200 /  551
x[978] =    0 /    1
x[979] =   13 /  131
x[980] =  177 /  997
x[981] =  200 /  551
x[982] =    0 /    1
x[983] =   13 /  131
x[984] =    1 /    6
x[985] =  204 /  667
x[986] =    0 /    1
x[987] =  135 /  953
x[988] =    1 /    6
x[989] =  204 /  667
x[990] =    0 /    1
x[991] =  135 /  953
x[992] =    0 /    1
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] =   36 /  373
x[1001] =  203 /  894
x[1002] =    0 /    1
x[1003] =   71 /  447
x[1004] =   36 /  373
x[1005] =  203 /  894
x[1006] =    0 /    1
x[1007] =   71 /  447
x[1008] =    0 /    1
x[1009] =   72 /  371
x[1010] =    0 /    1
x[1011] =  123 /  764
x[1012] =    0 /    1
x[1013] =   72 /  371
x[1014] =    0 /    1
x[1015] =  123 /  764
x[1016] =    0 /    1
x[1017] =    0 /    1
x[1018] =    0 /    1
x[1019] =    0 /    1
x[1020] =    0 /    1
x[1021] =    0 /    1
x[1022] =    0 /    1
x[1023] =   25 /  242
x[1024] =  127 /  775
x[1025] =  243 /  856
x[1026] =    0 /    1
x[1027] =   52 /  405
x[1028] =  127 /  775
x[1029] =  243 /  856
x[1030] =    0 /    1
x[1031] =   52 /  405
x[1032] =    0 /    1
x[1033] =  116 /  641
x[1034] =    0 /    1
x[1035] =    3 /   25
x[1036] =    4 /  111
x[1037] =    0 /    1
x[1038] =    4 /  111
x[1039] =    0 /    1
x[1040] =    0 /    1
x[1041] =    0 /    1
x[1042] =   85 /  317
x[1043] =  243 /  643
x[1044] =   27 /  271
x[1045] =   89 /  425
x[1046] =   85 /  317
x[1047] =  243 /  643
x[1048] =   27 /  271
x[1049] =   89 /  425
x[1050] =    0 /    1
x[1051] =  136 /  667
x[1052] =    1 /  117
x[1053] =  193 /  937
x[1054] =    4 /  111
x[1055] =    4 /  927
x[1056] =    4 /  111
x[1057] =   43 /  975
x[1058] =   -1 /  834
x[1059] =    0 /    1
x[1060] =   19 /  239
x[1061] =  187 /  620
x[1062] =    0 /    1
x[1063] =   22 /   87
x[1064] =   19 /  239
x[1065] =  187 /  620
x[1066] =    0 /    1
x[1067] =   22 /   87
x[1068] =    1 /    6
x[1069] =  204 /  667
x[1070] =    0 /    1
x[1071] =  127 /  669
x[1072] =    1 /    6
x[1073] =  204 /  667
x[1074] =    0 /    1
x[1075] =  127 /  669
x[1076] =    0 /    1
x[1077] =    0 /    1
x[1078] =    0 /    1
x[1079] =    0 /    1
x[1080] =    0 /    1
x[1081] =    0 /    1
x[1082] =    0 /    1
x[1083] =    0 /    1
x[1084] =   36 /  373
x[1085] =  203 /  894
x[1086] =    0 /    1
x[1087] =   71 /  447
x[1088] =   36 /  373
x[1089] =  203 /  894
x[1090] =    0 /    1
x[1091] =   71 /  447
x[1092] =    0 /    1
x[1093] =   72 /  371
x[1094] =    0 /    1
x[1095] =  123 /  764
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] =  127 /  775
x[1103] =  243 /  856
x[1104] =    0 /    1
x[1105] =   52 /  405
x[1106] =  127 /  775
x[1107] =  243 /  856
x[1108] =    0 /    1
x[1109] =   52 /  405
x[1110] =    0 /    1
x[1111] =  116 /  641
x[1112] =    0 /    1
x[1113] =    3 /   25
x[1114] =    4 /  111
x[1115] =    0 /    1
x[1116] =    4 /  111
x[1117] =    0 /    1
x[1118] =    0 /    1
x[1119] =    0 /    1
