...done in 0 seconds.


Writing problem data to `adage.lp'...
83529 lines were written
GLPK Simplex Optimizer, v4.47
41188 rows, 1220 columns, 520248 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1000: obj =   3.697916667e-01  infeas =  8.271e-12 (0)
*  1500: obj =   4.081754574e-01  infeas =  2.272e-12 (0)
*  2000: obj =   4.081754574e-01  infeas =  2.337e-12 (0)
*  2500: obj =   4.550225091e-01  infeas =  4.734e-12 (0)
*  3000: obj =   4.556822919e-01  infeas =  2.588e-12 (0)
*  3500: obj =   4.644521518e-01  infeas =  2.806e-12 (0)
*  4000: obj =   4.644521518e-01  infeas =  2.959e-12 (0)
*  4500: obj =   4.663022123e-01  infeas =  9.242e-13 (0)
*  5000: obj =   4.663022123e-01  infeas =  1.069e-12 (0)
*  5500: obj =   4.666244858e-01  infeas =  6.171e-13 (0)
*  6000: obj =   4.687102797e-01  infeas =  2.292e-12 (0)
*  6500: obj =   4.697774380e-01  infeas =  5.626e-13 (0)
*  7000: obj =   4.697774380e-01  infeas =  6.657e-13 (0)
*  7500: obj =   4.703309015e-01  infeas =  9.047e-13 (0)
*  8000: obj =   4.705882353e-01  infeas =  9.887e-13 (0)
*  8500: obj =   4.705882353e-01  infeas =  6.551e-13 (0)
*  9000: obj =   4.705882353e-01  infeas =  8.168e-13 (0)
*  9500: obj =   4.705882353e-01  infeas =  8.451e-13 (0)
*  9823: obj =   4.705882353e-01  infeas =  1.281e-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] =    0 /    1
x[14] =    0 /    1
x[15] =    0 /    1
x[16] =   45 /  571
x[17] =   23 /  846
x[18] =  -77 /  929
x[19] =    0 /    1
x[20] =    0 /    1
x[21] =  -10 /   47
x[22] =   -5 /  102
x[23] =    0 /    1
x[24] =    0 /    1
x[25] =   25 /  421
x[26] =   13 /  992
x[27] =    0 /    1
x[28] =    1 /  244
x[29] =   -2 /   81
x[30] =    0 /    1
x[31] =  139 /  843
x[32] =    0 /    1
x[33] =   43 /  960
x[34] =    0 /    1
x[35] =    0 /    1
x[36] =    0 /    1
x[37] =   13 /  992
x[38] =    0 /    1
x[39] =   68 /  445
x[40] =    0 /    1
x[41] =    0 /    1
x[42] =    0 /    1
x[43] =  139 /  715
x[44] =    0 /    1
x[45] =    0 /    1
x[46] =    0 /    1
x[47] =  137 /  609
x[48] =  -28 /  183
x[49] =   21 /  620
x[50] =  -13 /  992
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] =    0 /    1
x[67] =    0 /    1
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =    0 /    1
x[71] =    0 /    1
x[72] =  -21 /  620
x[73] =    0 /    1
x[74] =    5 /  342
x[75] =  -85 /  876
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] =  -65 /  797
x[89] =    0 /    1
x[90] =   68 /  939
x[91] =   -9 /   59
x[92] =  -34 /  713
x[93] =    0 /    1
x[94] =    0 /    1
x[95] =    0 /    1
x[96] =   13 /  992
x[97] =    0 /    1
x[98] =  110 /  663
x[99] =    0 /    1
x[100] =    0 /    1
x[101] =    0 /    1
x[102] =  119 /  566
x[103] =    0 /    1
x[104] =    8 /  505
x[105] =    0 /    1
x[106] =  229 /  951
x[107] =    0 /    1
x[108] =   19 /  519
x[109] =    0 /    1
x[110] =    1 /   75
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] =  -27 /  845
x[119] =    0 /    1
x[120] =   10 /   93
x[121] =    0 /    1
x[122] =    0 /    1
x[123] =    0 /    1
x[124] =  -17 /  415
x[125] =    0 /    1
x[126] =  108 /  823
x[127] =    0 /    1
x[128] =   32 /  435
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] =    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] =    0 /    1
x[144] =    0 /    1
x[145] =    0 /    1
x[146] = -126 /  997
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] =    0 /    1
x[155] =    0 /    1
x[156] =  108 /  943
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] =   59 /  423
x[173] =    0 /    1
x[174] =    0 /    1
x[175] =    0 /    1
x[176] =   59 /  423
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] =   -8 /  675
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] =   14 /  561
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] =  108 /  917
x[218] =   -1 /    6
x[219] =   28 /  817
x[220] =  -62 /  785
x[221] =    0 /    1
x[222] =    6 /  749
x[223] =   -1 /  117
x[224] =  121 /  976
x[225] =   -4 /  879
x[226] =    0 /    1
x[227] =    0 /    1
x[228] =   -3 /  341
x[229] =    0 /    1
x[230] =  219 /  992
x[231] = -120 /  899
x[232] =   97 /  600
x[233] =    0 /    1
x[234] =   -3 /   17
x[235] =  127 /  819
x[236] = -167 /  857
x[237] =  -29 /  154
x[238] = -129 /  880
x[239] =  127 /  819
x[240] =    8 /  779
x[241] =  -17 /  140
x[242] = -121 /  427
x[243] = -115 /  984
x[244] = -106 /  497
x[245] =    8 /  867
x[246] =    3 /  388
x[247] =    8 /  867
x[248] =   -3 /  968
x[249] =    0 /    1
x[250] = -142 /  537
x[251] =  -81 /  970
x[252] = -149 /  843
x[253] = -108 /  917
x[254] =  -85 /  947
x[255] = -119 /  942
x[256] =   19 /  725
x[257] =   -4 /  879
x[258] =  -97 /  600
x[259] =    0 /    1
x[260] = -157 /  921
x[261] =    0 /    1
x[262] =   49 /  829
x[263] = -120 /  899
x[264] =    0 /    1
x[265] = -191 /  896
x[266] = -119 /  712
x[267] =  -19 /  327
x[268] = -159 /  857
x[269] = -379 /  944
x[270] =   -7 /   51
x[271] =  -19 /  327
x[272] =    0 /    1
x[273] = -101 /  773
x[274] =  -15 /  214
x[275] =  -43 /  341
x[276] =    0 /    1
x[277] =    0 /    1
x[278] =  162 /  733
x[279] =    0 /    1
x[280] =  128 /  609
x[281] =  119 /  942
x[282] =   -8 /   51
x[283] =   31 /  724
x[284] =  -11 /  159
x[285] =    1 /  117
x[286] =    7 /  393
x[287] =    0 /    1
x[288] =  101 /  755
x[289] =   -4 /  879
x[290] =  -43 /  685
x[291] =    0 /    1
x[292] =  -36 /  503
x[293] =    0 /    1
x[294] =   79 /  500
x[295] = -120 /  899
x[296] =   98 /  991
x[297] = -127 /  819
x[298] = -169 /  905
x[299] =    0 /    1
x[300] =   -8 /   39
x[301] = -262 /  763
x[302] =   -8 /   51
x[303] =    0 /    1
x[304] =    0 /    1
x[305] = -207 /  772
x[306] =  -81 /  289
x[307] = -233 /  884
x[308] = -128 /  609
x[309] = -135 /  982
x[310] =    3 /  277
x[311] = -135 /  982
x[312] =    0 /    1
x[313] =  -42 /  617
x[314] =  -59 /  203
x[315] =  -72 /  475
x[316] = -151 /  744
x[317] = -176 /  947
x[318] =  -77 /  664
x[319] = -111 /  571
x[320] =    0 /    1
x[321] =  -45 /  254
x[322] = -151 /  864
x[323] =  -29 /  168
x[324] = -105 /  572
x[325] =  -29 /  168
x[326] =   42 /  913
x[327] = -266 /  869
x[328] =  -13 /  992
x[329] = -206 /  589
x[330] =  -49 /  131
x[331] = -139 /  714
x[332] = -135 /  344
x[333] = -516 /  959
x[334] = -286 /  831
x[335] = -139 /  714
x[336] =  -59 /  315
x[337] = -101 /  773
x[338] = -124 /  883
x[339] =  -43 /  341
x[340] =  -55 /  782
x[341] =    0 /    1
x[342] =  146 /  969
x[343] =    0 /    1
x[344] =   73 /  522
x[345] =   66 /  989
x[346] =  -17 /  983
x[347] =   23 /  429
x[348] =    7 /  144
x[349] =    0 /    1
x[350] =  104 /  849
x[351] = -211 /  993
x[352] =  -69 /  778
x[353] =    0 /    1
x[354] =  -65 /  774
x[355] =  -26 /  841
x[356] =    0 /    1
x[357] =  -39 /  271
x[358] =  -13 /  992
x[359] = -269 /  926
x[360] =   -2 /  677
x[361] =   -1 /  458
x[362] =    0 /    1
x[363] =   80 /  807
x[364] =   -9 /  224
x[365] =   -1 /  458
x[366] =    0 /    1
x[367] =    0 /    1
x[368] = -166 /  947
x[369] =   90 /  611
x[370] =    0 /    1
x[371] =    0 /    1
x[372] =    0 /    1
x[373] =   13 /  992
x[374] =  -23 /  349
x[375] =    0 /    1
x[376] =    0 /    1
x[377] =  -23 /  429
x[378] =   73 /  988
x[379] = -157 /  590
x[380] =  -67 /  488
x[381] =    0 /    1
x[382] =  -79 /  975
x[383] =  -26 /  841
x[384] =    2 /  677
x[385] =  -39 /  271
x[386] =   -9 /  887
x[387] = -269 /  926
x[388] =    0 /    1
x[389] =  -64 /  621
x[390] =  -47 /  742
x[391] =   -1 /  574
x[392] =  -50 /  483
x[393] =  -64 /  621
x[394] =  -47 /  742
x[395] =  -23 /  228
x[396] =  -21 /   88
x[397] =   31 /  725
x[398] =   13 /  992
x[399] =    0 /    1
x[400] =    0 /    1
x[401] =   16 /  891
x[402] =  -81 /  448
x[403] =    1 /  206
x[404] =  -91 /  792
x[405] =  -47 /  964
x[406] =  -34 /  829
x[407] = -151 /  578
x[408] = -201 /  797
x[409] =   76 /  581
x[410] =  -93 /  988
x[411] =   94 /  941
x[412] =   -9 /  887
x[413] =    0 /    1
x[414] =   -9 /  887
x[415] =  -73 /  498
x[416] =    0 /    1
x[417] =    0 /    1
x[418] =    0 /    1
x[419] =  100 /  987
x[420] =   -9 /  224
x[421] =    0 /    1
x[422] =    0 /    1
x[423] =    1 /  458
x[424] = -166 /  947
x[425] =   18 /  607
x[426] =    0 /    1
x[427] =    0 /    1
x[428] =    0 /    1
x[429] =    0 /    1
x[430] =  -23 /  349
x[431] =    0 /    1
x[432] =    0 /    1
x[433] =  -23 /  429
x[434] =   73 /  988
x[435] = -157 /  590
x[436] =  -67 /  488
x[437] =    7 /  864
x[438] =  -65 /  774
x[439] =    0 /    1
x[440] =    0 /    1
x[441] = -135 /  994
x[442] =    0 /    1
x[443] =  -35 /  142
x[444] =   -2 /  677
x[445] =    0 /    1
x[446] =    0 /    1
x[447] =   86 /  975
x[448] =   -9 /  224
x[449] =    0 /    1
x[450] =    0 /    1
x[451] =    1 /  458
x[452] = -166 /  947
x[453] =   18 /  607
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] =    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] =    0 /    1
x[700] = -245 /  891
x[701] =    0 /    1
x[702] =   -1 /    4
x[703] =    0 /    1
x[704] =   -1 /    4
x[705] =   55 /  537
x[706] =  -11 /   37
x[707] =   41 /  592
x[708] = -183 /  878
x[709] =  -44 /  863
x[710] =  -11 /   37
x[711] =    0 /    1
x[712] =  -11 /   37
x[713] =    0 /    1
x[714] = -145 /  589
x[715] = -143 /  955
x[716] = -133 /  867
x[717] =    0 /    1
x[718] = -133 /  867
x[719] = -133 /  867
x[720] = -133 /  867
x[721] =    0 /    1
x[722] =    1 /    4
x[723] =    0 /    1
x[724] =   -1 /   40
x[725] =    0 /    1
x[726] =    0 /    1
x[727] =    0 /    1
x[728] =    0 /    1
x[729] =    0 /    1
x[730] =    0 /    1
x[731] =  102 /  875
x[732] =   79 /  889
x[733] =   -3 /  818
x[734] =    0 /    1
x[735] =   37 /  782
x[736] =    0 /    1
x[737] =    0 /    1
x[738] =  -86 /  927
x[739] =    0 /    1
x[740] =    0 /    1
x[741] =    0 /    1
x[742] =    0 /    1
x[743] =    0 /    1
x[744] =    0 /    1
x[745] =    0 /    1
x[746] =   41 /  634
x[747] =    0 /    1
x[748] = -200 /  951
x[749] =    0 /    1
x[750] = -111 /  599
x[751] =    0 /    1
x[752] = -111 /  599
x[753] =    0 /    1
x[754] =  -79 /  889
x[755] =   36 /  169
x[756] =    0 /    1
x[757] =    0 /    1
x[758] =  -79 /  889
x[759] =   91 /  633
x[760] =  -79 /  889
x[761] =    0 /    1
x[762] =    0 /    1
x[763] =    0 /    1
x[764] = -101 /  840
x[765] =    0 /    1
x[766] =    0 /    1
x[767] =    0 /    1
x[768] =    0 /    1
x[769] =    0 /    1
x[770] =   50 /  203
x[771] =    0 /    1
x[772] =  -26 /  907
x[773] =    0 /    1
x[774] =   -3 /  818
x[775] =    0 /    1
x[776] =   -3 /  818
x[777] =    0 /    1
x[778] =    0 /    1
x[779] =    0 /    1
x[780] =   79 /  889
x[781] =    0 /    1
x[782] =    0 /    1
x[783] =   44 /  863
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] =   -8 /   47
x[797] =    0 /    1
x[798] =  -97 /  454
x[799] =    0 /    1
x[800] =  -97 /  454
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] =   43 /  990
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] =  -43 /  990
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] =   -5 /  103
x[853] =    0 /    1
x[854] =  -30 /  643
x[855] =   -4 /  301
x[856] =  -52 /  369
x[857] =  -37 /  598
x[858] =    0 /    1
x[859] =   -2 /   33
x[860] =    0 /    1
x[861] =    2 /  929
x[862] =    0 /    1
x[863] =   -2 /   33
x[864] =    0 /    1
x[865] = -121 /  915
x[866] = -156 /  787
x[867] =   -2 /   41
x[868] =    0 /    1
x[869] =  -94 /  789
x[870] = -209 /  989
x[871] =   -2 /   41
x[872] =    0 /    1
x[873] =    0 /    1
x[874] =    0 /    1
x[875] =   40 /  581
x[876] =    1 /  103
x[877] =    0 /    1
x[878] =    0 /    1
x[879] =   40 /  581
x[880] =    0 /    1
x[881] =    0 /    1
x[882] =    3 /  485
x[883] =    0 /    1
x[884] =   15 /  251
x[885] =   31 /  566
x[886] =  -83 /  963
x[887] =    0 /    1
x[888] =    0 /    1
x[889] = -143 /  912
x[890] = -107 /  931
x[891] =    0 /    1
x[892] =    0 /    1
x[893] = -143 /  912
x[894] =    2 /  737
x[895] =    0 /    1
x[896] =    0 /    1
x[897] = -113 /  694
x[898] = -213 /  911
x[899] =    1 /  103
x[900] =  -25 /  408
x[901] =  -52 /  375
x[902] = -213 /  911
x[903] =    0 /    1
x[904] =  -25 /  408
x[905] =    0 /    1
x[906] =   -2 /  217
x[907] =    0 /    1
x[908] =    0 /    1
x[909] =    0 /    1
x[910] =  -10 /  553
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] =  -82 /  801
x[919] =    0 /    1
x[920] =    0 /    1
x[921] = -173 /  911
x[922] =   -1 /  306
x[923] = -121 /  992
x[924] =    0 /    1
x[925] = -173 /  911
x[926] =   -1 /  306
x[927] = -121 /  992
x[928] =    0 /    1
x[929] =    0 /    1
x[930] =    2 /  283
x[931] = -140 /  481
x[932] = -157 /  945
x[933] =    0 /    1
x[934] =    5 /  374
x[935] =    0 /    1
x[936] = -139 /  471
x[937] =    0 /    1
x[938] =    5 /  374
x[939] =    0 /    1
x[940] = -139 /  471
x[941] =    0 /    1
x[942] =    0 /    1
x[943] =    0 /    1
x[944] = -141 /  317
x[945] =    0 /    1
x[946] =  -49 /  435
x[947] =    0 /    1
x[948] = -141 /  317
x[949] =  -86 /  631
x[950] = -109 /  546
x[951] = -150 /  781
x[952] = -145 /  576
x[953] =  -86 /  631
x[954] = -109 /  546
x[955] = -150 /  781
x[956] = -145 /  576
x[957] = -359 /  782
x[958] = -374 /  929
x[959] =    0 /    1
x[960] =   37 /  655
x[961] =    0 /    1
x[962] =    0 /    1
x[963] =    0 /    1
x[964] =  -43 /  960
x[965] =    0 /    1
x[966] =    0 /    1
x[967] =    0 /    1
x[968] =  -43 /  960
x[969] =   25 /  696
x[970] =    0 /    1
x[971] =    0 /    1
x[972] =   -5 /  103
x[973] =   25 /  696
x[974] =  -30 /  643
x[975] =   -4 /  301
x[976] =  -52 /  369
x[977] =  -37 /  598
x[978] =    0 /    1
x[979] =   -2 /   33
x[980] =    0 /    1
x[981] =    2 /  929
x[982] =    0 /    1
x[983] =   -2 /   33
x[984] =    0 /    1
x[985] = -121 /  915
x[986] = -156 /  787
x[987] =   -2 /   41
x[988] =    0 /    1
x[989] =  -94 /  789
x[990] = -209 /  989
x[991] =   -2 /   41
x[992] =    0 /    1
x[993] =    0 /    1
x[994] =   19 /  800
x[995] =   40 /  581
x[996] =    1 /  103
x[997] =    0 /    1
x[998] =   19 /  800
x[999] =   40 /  581
x[1000] =    1 /  103
x[1001] =   29 /  922
x[1002] =    3 /  485
x[1003] =  118 /  765
x[1004] =   63 /  682
x[1005] = -143 /  912
x[1006] =    0 /    1
x[1007] = -143 /  912
x[1008] =    0 /    1
x[1009] = -113 /  694
x[1010] =    1 /  103
x[1011] =    0 /    1
x[1012] =   -2 /  217
x[1013] =    0 /    1
x[1014] =    0 /    1
x[1015] =    0 /    1
x[1016] =  -10 /  553
x[1017] =    0 /    1
x[1018] =    0 /    1
x[1019] =    0 /    1
x[1020] =  -82 /  801
x[1021] =    0 /    1
x[1022] =    0 /    1
x[1023] =    0 /    1
x[1024] =  -82 /  801
x[1025] =    0 /    1
x[1026] =    0 /    1
x[1027] = -173 /  911
x[1028] =   -1 /  306
x[1029] = -121 /  992
x[1030] =    0 /    1
x[1031] = -173 /  911
x[1032] =   -1 /  306
x[1033] = -121 /  992
x[1034] =    0 /    1
x[1035] =    0 /    1
x[1036] =   19 /  942
x[1037] = -140 /  481
x[1038] = -157 /  945
x[1039] =    0 /    1
x[1040] =    5 /  374
x[1041] =    0 /    1
x[1042] = -190 /  997
x[1043] =    0 /    1
x[1044] =    5 /  374
x[1045] =    0 /    1
x[1046] = -190 /  997
x[1047] =    0 /    1
x[1048] =    0 /    1
x[1049] =    0 /    1
x[1050] = -295 /  867
x[1051] =  -86 /  631
x[1052] = -150 /  781
x[1053] =  -86 /  631
x[1054] = -150 /  781
x[1055] = -421 /  944
x[1056] =    0 /    1
x[1057] =   10 /   47
x[1058] =    1 /    6
x[1059] =   73 /  857
x[1060] =  -29 /  922
x[1061] =   10 /   47
x[1062] =    1 /    6
x[1063] =   73 /  857
x[1064] =  -29 /  922
x[1065] =  -65 /  779
x[1066] =   76 /  697
x[1067] =  -19 /  287
x[1068] =  151 /  893
x[1069] =  -65 /  779
x[1070] =  -19 /  287
x[1071] =    0 /    1
x[1072] =    7 /   46
x[1073] =    0 /    1
x[1074] =    7 /  949
x[1075] =    0 /    1
x[1076] =    7 /   46
x[1077] =    0 /    1
x[1078] =    7 /  949
x[1079] =  -23 /  499
x[1080] =    0 /    1
x[1081] =  -71 /  902
x[1082] =  -27 /  887
x[1083] =  -23 /  499
x[1084] =  -71 /  902
x[1085] =    0 /    1
x[1086] =  -47 /  808
x[1087] =    0 /    1
x[1088] =   32 /  471
x[1089] =    0 /    1
x[1090] =  -47 /  808
x[1091] =    0 /    1
x[1092] =   32 /  471
x[1093] =   36 /  619
x[1094] =    0 /    1
x[1095] = -198 /  983
x[1096] =    0 /    1
x[1097] =   36 /  619
x[1098] = -198 /  983
x[1099] =   55 /  782
x[1100] =    0 /    1
x[1101] =    0 /    1
x[1102] =    0 /    1
x[1103] =   55 /  782
x[1104] =    0 /    1
x[1105] =    0 /    1
x[1106] =    0 /    1
x[1107] =   -6 /  701
x[1108] =    0 /    1
x[1109] =   -7 /  145
x[1110] =    0 /    1
x[1111] =   -6 /  701
x[1112] =   -7 /  145
x[1113] =    0 /    1
x[1114] =  246 /  785
x[1115] =   47 /  742
x[1116] =  307 /  932
x[1117] =    0 /    1
x[1118] =  246 /  785
x[1119] =   47 /  742
x[1120] =  307 /  932
x[1121] =  -65 /  772
x[1122] =   75 /  878
x[1123] =    0 /    1
x[1124] =  217 /  827
x[1125] =  -65 /  772
x[1126] =    0 /    1
x[1127] =  197 /  890
x[1128] =  -27 /  887
x[1129] =  197 /  890
x[1130] =  -27 /  887
x[1131] =    0 /    1
x[1132] =    0 /    1
x[1133] =   11 /   48
x[1134] =  271 /  709
x[1135] =   33 /  553
x[1136] =  109 /  546
x[1137] =   11 /   48
x[1138] =   55 /  149
x[1139] =   33 /  553
x[1140] =  109 /  546
x[1141] =    0 /    1
x[1142] =   17 /  862
x[1143] =  372 /  799
x[1144] =  310 /  559
x[1145] =  -13 /  992
x[1146] =  372 /  799
x[1147] =    0 /    1
x[1148] =  -79 /  889
x[1149] =    0 /    1
x[1150] =  -79 /  889
x[1151] =  263 /  741
x[1152] =    0 /    1
x[1153] =   10 /   47
x[1154] =    1 /    6
x[1155] =   73 /  857
x[1156] =   31 /  293
x[1157] =   10 /   47
x[1158] =    1 /    6
x[1159] =   73 /  857
x[1160] =   31 /  293
x[1161] =   16 /  393
x[1162] =   76 /  697
x[1163] =  -19 /  287
x[1164] =  151 /  893
x[1165] =   16 /  393
x[1166] =  -19 /  287
x[1167] =    0 /    1
x[1168] =    7 /   46
x[1169] =    0 /    1
x[1170] =    7 /  949
x[1171] =    0 /    1
x[1172] =    7 /   46
x[1173] =    0 /    1
x[1174] =    7 /  949
x[1175] =  -23 /  499
x[1176] =    0 /    1
x[1177] =  -71 /  902
x[1178] =  -27 /  887
x[1179] =  -23 /  499
x[1180] =  -71 /  902
x[1181] =   26 /  747
x[1182] =  -47 /  808
x[1183] =   15 /  251
x[1184] =   32 /  471
x[1185] =   15 /  251
x[1186] =  -47 /  808
x[1187] =   15 /  251
x[1188] =   32 /  471
x[1189] =   37 /  353
x[1190] =   13 /  992
x[1191] = -154 /  995
x[1192] =    0 /    1
x[1193] =   55 /  782
x[1194] =    0 /    1
x[1195] =   55 /  782
x[1196] =    0 /    1
x[1197] =   -6 /  701
x[1198] =   -7 /  145
x[1199] =    0 /    1
x[1200] =  246 /  785
x[1201] =   47 /  742
x[1202] =  307 /  932
x[1203] =    0 /    1
x[1204] =  246 /  785
x[1205] =   47 /  742
x[1206] =  307 /  932
x[1207] =  -65 /  772
x[1208] =   75 /  878
x[1209] =    0 /    1
x[1210] =  217 /  827
x[1211] =  -65 /  772
x[1212] =    0 /    1
x[1213] =  197 /  890
x[1214] =  -27 /  887
x[1215] =  197 /  890
x[1216] =  -27 /  887
x[1217] =    0 /    1
x[1218] =    0 /    1
