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


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